0 = c*z - 12. Is z a composite number?
False
Suppose 5*a + 15 = 0, 2*b + 5*a + 2 - 3 = 0. Suppose -b = 2*n - 182. Is n a composite number?
True
Let p(d) = d + 7. Let z be p(-4). Suppose 5*j - 6*t - 75 = -t, -4*j + 88 = z*t. Is j prime?
True
Suppose z - 2*h = 2*h + 194, h = -2*z + 388. Is z a composite number?
True
Let y be (-5 - 1)*20/(-6). Suppose 2*p + y - 6 = -4*i, -3*p + 3*i = -24. Suppose -2*j - p*d + 71 = 0, 3*d - 99 - 46 = -4*j. Is j prime?
True
Let c be 0 - (0 - (4 + -1)). Suppose 10 = 2*v - c*v. Let y(z) = z**3 + 10*z**2 - 5*z - 7. Is y(v) composite?
False
Let p = -5857 - -8684. Is p composite?
True
Is (-15888)/(-40) + 1/(-5) prime?
True
Let t(o) = -o. Let x(k) = 4*k**2 - 7*k + 2. Let m(u) = -2*t(u) + x(u). Suppose 5*w - 4 = -29. Is m(w) a composite number?
False
Suppose -7*s + 1902 = -s. Is s composite?
False
Suppose -1695 = -6*j + 3*j. Is j a prime number?
False
Let h = 9 + -7. Let z(g) = 9*g**3 + 2*g**2 + 2*g - 2. Is z(h) composite?
True
Let t = 25 - 6. Suppose -t = -5*j + 31. Is j composite?
True
Let z = 18 - 29. Let f = z - -17. Suppose 19 + f = u. Is u prime?
False
Let o be (-2 - 1) + 9 + 0. Suppose -o = -3*g - 0*g. Suppose -g*w + 3*w - 55 = b, 4*b + 8 = 0. Is w prime?
True
Let j = 8 + -7. Let n = 90 - j. Is n a prime number?
True
Is 3715/4 + 2*(-6)/(-48) a prime number?
True
Let v = 3 + -2. Suppose 0*i + i - 12 = 0. Let q = v + i. Is q a prime number?
True
Let i(r) = -3*r + 1. Let z be i(-1). Let j(l) = l**2 - 15*l + 3. Let k be j(15). Suppose -2*b = b + k*f - 144, 5*f = z*b - 237. Is b composite?
False
Let b = 4 + 7. Suppose -48 - b = -z. Is z a prime number?
True
Let v(m) = 2*m**2 - 2*m - 1. Let n be v(-1). Let g(c) = 50*c - 2. Let l be g(n). Suppose 0 = 2*u + 2*u - l. Is u composite?
False
Let h = -1 - -1. Suppose -5 = -v - 1. Suppose h = 3*k + v*g - 42, 2*g + g - 14 = -k. Is k prime?
False
Suppose b = o + 4*o + 247, 0 = 3*b + o - 773. Is b composite?
False
Let p be ((-1)/2)/(2/8). Let a = p - -23. Suppose 4*h - 2*r = 34, 17 + a = 5*h - r. Is h a composite number?
False
Suppose -g - o = -6, 0 = 4*g + 2*o - 17 + 3. Let q be (g - (0 + 1))/1. Let x(k) = -k**3 - k**2 - k + 13. Is x(q) a prime number?
True
Let t(q) = 4*q**2 - 15*q + 12. Suppose -5*i = -58 + 8. Let n be t(i). Suppose 0*z = 2*z - n. Is z composite?
False
Suppose 5*k - 3721 = d, 3*k - 5*d = 7*k - 3000. Is k composite?
True
Let n = -1615 + 2730. Is n a composite number?
True
Suppose 5*r = 25, 4*r = 4*l + l + 10. Is 11935/22 + (-3)/l prime?
True
Let v(d) = -5*d**3 - 11*d**2 + 2*d + 3. Let f(u) = 4*u + 3 + u - 9*u**3 - 21*u**2 + 2. Let b(c) = 6*f(c) - 11*v(c). Is b(5) composite?
False
Is 4867/9 + (-3)/108*-8 a composite number?
False
Is (2/(-3))/(2/(-573)) composite?
False
Suppose 14*x - 15*x = -4289. Is x a prime number?
True
Let s(w) = -3*w + 7. Let n(d) = d. Let k(m) = 2*n(m) + s(m). Let j be k(6). Let o(a) = 36*a - 1. Is o(j) a composite number?
True
Suppose -3*p - r = 89, 4*r + 95 = -3*p - 0*r. Let h = p + 108. Is h a prime number?
True
Let i be 41/4*(5 + -1). Let r = 36 + i. Is r a composite number?
True
Let i(f) = -f**3 + 19*f**2 - 2*f - 7. Is i(9) prime?
False
Let z(h) = 3*h**3 - 7*h**2 + 14*h - 11. Let y be z(9). Suppose 4*j - y = -j. Is j prime?
True
Suppose -u - 3 = -2*g, 0 = 3*u - g - 13 - 3. Let f(r) = r - 5. Let t be f(u). Is (-11 + 0)*(-2)/t composite?
False
Let d = -522 + 1085. Is d prime?
True
Let t(l) be the second derivative of -l**4/12 + 67*l**2/2 + 2*l. Is t(0) a prime number?
True
Suppose -5*n + 10 = -5. Suppose -3*c - v - 2*v = -102, -5*c + n*v = -178. Let y = 84 - c. Is y composite?
True
Let c = 751 + -210. Is c a prime number?
True
Let k = -174 - -323. Is k prime?
True
Let l = -643 - -1144. Let i = 335 - l. Let u = -117 - i. Is u a composite number?
True
Let p(q) = 195*q - 28. Is p(3) a prime number?
True
Let i(a) = a**3 + 19*a**2 - 30*a - 37. Is i(-20) a prime number?
True
Is ((-6)/(-5))/(6684/(-3345) - -2) a prime number?
False
Let f(q) = 9*q**2 + 7*q + 5. Let d = -3 - 1. Is f(d) prime?
False
Suppose -2*y = -0*y - 74. Is y prime?
True
Suppose -m = -2*m + 491. Suppose -2*t = 2*l + 3*l - m, 942 = 4*t + 2*l. Is t a composite number?
False
Let p be -1*-21*(4 - 3). Is ((-98)/p)/(2/(-33)) a prime number?
False
Suppose 0 = h - 158 - 27. Is h prime?
False
Suppose 0 = -5*h - 3*c + 1112, h - 4*c = -2*h + 673. Is h composite?
False
Let u(a) = -a**3 + 9*a**2 - 8*a + 5. Suppose -4*x + 5*c - 6 = -18, 0 = 5*c - 20. Let o be u(x). Suppose -o*s = 13 - 78. Is s prime?
True
Let o(q) = -4*q + 3. Let z be o(4). Let v = 24 - -94. Let j = v - z. Is j a composite number?
False
Let f = -10 + 15. Suppose -f*i + 0 = -5. Is (i/1 + 0)*31 prime?
True
Let u(q) be the first derivative of -5*q**2 - 2*q - 1. Let l be u(-4). Is (l/(-4))/(3/(-6)) composite?
False
Let o = -2852 + 9439. Is o a prime number?
False
Let i(x) = x - 5. Let w be i(4). Let b be ((w + 0)*9)/1. Let f = b + 64. Is f composite?
True
Suppose 3*z + 9436 = 4*q, -2*z + 3277 - 12713 = -4*q. Is q a composite number?
True
Let c be (-2)/4 + 43/2. Suppose c - 1 = 5*p. Suppose 3*x - 2*z - 207 = 0, -p*x - 2*z = -3*x - 69. Is x composite?
True
Let p(y) = 12*y**2 - 16*y - 29. Is p(14) composite?
False
Let l = -156 - -86. Let o = -47 - l. Is o a composite number?
False
Suppose -w = -9*w + 1992. Is w a composite number?
True
Let v = -167 + 344. Is v a composite number?
True
Let o be 4/(-2)*15/10. Let s be (-158)/4 - o/6. Let w = -28 - s. Is w prime?
True
Let o(h) = h + 4. Suppose 6*m = 2*m + 24. Is o(m) prime?
False
Let b(a) = -74*a**3 - 6*a**2 - 9*a - 2. Let s(w) = 25*w**3 + 2*w**2 + 3*w + 1. Let o(v) = -2*b(v) - 7*s(v). Is o(-2) prime?
True
Let x(t) be the second derivative of 0 - 3/2*t**2 - 1/3*t**3 + 2*t. Is x(-5) composite?
False
Suppose -2*k = -k + 3*q - 1901, -2*k + 5*q + 3802 = 0. Is k prime?
True
Suppose 4*d + 0*s + s - 198 = 0, -202 = -4*d + s. Let l = d - 21. Suppose 324 = 5*t + l. Is t composite?
False
Let a(l) = -3 - 5 + 3 + l + 7*l. Let z be a(10). Let u = z + -18. Is u a prime number?
False
Suppose 2*c + c = 3*z, -2*c = 4*z - 12. Let w(t) = -25*t + 2. Let a be w(c). Let n = a - -67. Is n prime?
True
Let c be (-2)/(-4) + (-636)/(-8). Let k = c - 176. Let s = 173 + k. Is s a composite number?
True
Is 137*(7/(-28) + (-21)/(-4)) prime?
False
Suppose 2*b - 177 = b - 5*t, b + 3*t = 181. Is b prime?
False
Let x(f) = -293*f - 8. Is x(-3) a composite number?
True
Let a = 7 - 2. Suppose -5*z = 15, -4*z - a = -3*k + 16. Suppose 1 = n - k. Is n a prime number?
False
Suppose 3*w - t = -96 + 327, 231 = 3*w - 4*t. Is w prime?
False
Let u be 3/((-3)/3) - -83. Let w = u + 210. Suppose 2*t + 60 = w. Is t composite?
True
Suppose -3*s + 1324 = 445. Is s a composite number?
False
Let z be 4/2 - (0 + 0). Suppose -3*f - 3 + 39 = 0. Suppose -3*g = -f, z*g + g + 352 = 4*v. Is v composite?
True
Suppose -5*x + 560 = 5*l, 37 + 80 = x - 4*l. Is x composite?
False
Suppose -2*m + 12 = -6*m. Let s(i) = 3*i**2 + 4*i - 1. Is s(m) composite?
True
Suppose -3*w + 2*r = 6, -4*w + 3*r = 5*r - 6. Suppose 0*u + 3*u - 15 = w. Suppose 2*v + u = 81. Is v a composite number?
True
Suppose -6*h + 48 = -2*h. Let p = h - 8. Suppose -j = -c + 16, 23 = 2*c - p*j - j. Is c composite?
False
Suppose w - 91 = 68. Is w a composite number?
True
Let k(b) = b + 12. Let u be k(-8). Suppose 2*a - 3*h = -12, 4*a + 7 - 19 = -3*h. Suppose a = u*o - 3*v - 22, -6*o + 43 = -o + 4*v. Is o a composite number?
False
Suppose 9 = -2*i + 3. Is (i - -5)*106/4 prime?
True
Suppose -h + 638 = 3*k, 6*h + 407 = 2*k + 3*h. Is k prime?
True
Is ((-33)/6)/(1 + (-118)/116) a composite number?
True
Let w be (12/10)/(3/15). Let o be (-2 - 0) + w/(-3). Is (-2)/(-3)*(-186)/o a prime number?
True
Suppose 1076 + 1250 = 2*c. Is c prime?
True
Suppose -5*z + 284 = -51. Suppose -4*l + 5*l - z = 0. Is l a prime number?
True
Suppose 4*u + 152 = -4*h + 664, h = 4*u + 113. Suppose v - 2 = -0*v. Suppose m + 4*g + h = v*m, m = 3*g + 122. Is m prime?
True
Is -3 - (-1)/((-1)/(-490)) a prime number?
True
Let p(f) = -f**2 - 4*f - 3. Let j be p(-6). Let s be (-5319)/j + (-4)/(-10). Suppose 0 = -4*h - 79 + s. Is h composite?
True
Let i be (8/12)/(2/(-6)). Suppose 2*k - 10 = -6. Is -1*59*i/k a composite number?
False
Let c = 1263 + 2284. Is c a prime number?
True
Let x be (-1)/((5/(-6))/5). Suppose x*n = 2*