 0. Suppose k = f - 120 - 23. Is f prime?
False
Is 51/(-4*(-6)/16) prime?
False
Let a be (1 + 20/(-12))*-579. Suppose 106 - a = -5*s - 5*d, 62 = s + 3*d. Is s a prime number?
True
Let p = -2 + 7. Suppose -g + 5*w + 4 = 0, -3*w + 3 = -0*w. Suppose -p = -2*f + g. Is f composite?
False
Suppose 8*g - 804 = 4*g. Is g a prime number?
False
Let y be 0/2*(6 - 7). Suppose h - 79 = -y*h. Is h a composite number?
False
Let b(d) = -d**3 - 6*d**2 + 4*d - 7. Let c = 11 + -8. Suppose 3 = -c*j + 12, 3*j = 2*f + 25. Is b(f) a prime number?
True
Let x(u) = u**2 + 2*u - 5. Let q = 20 + -16. Is x(q) composite?
False
Suppose 0 = -2*u - 0*u - 4*o + 3514, 7037 = 4*u - o. Is u a prime number?
True
Suppose 564 = 3*z - 2*n + 5*n, 2*z - 364 = 2*n. Is z prime?
False
Suppose 3*q - 7*q + 16 = 0, -z + 2*q = -85. Suppose 6*x - 3*x - z = 0. Is x prime?
True
Suppose -982 = -3*l + 593. Is l/2 - (-5)/10 a prime number?
True
Suppose 9 = 2*w + w. Suppose 2*m - 2601 = -m + w*b, -4*b - 873 = -m. Is m prime?
False
Let b(h) = h**3 + 8*h**2 - 2*h + 9. Is b(-8) composite?
True
Let p(m) = -m - 1. Let z(w) = -2*w - 4. Let c(y) = -11*p(y) + 4*z(y). Suppose q - 2*q + 6 = 0. Is c(q) composite?
False
Let k = -369 + 715. Is (-1*1)/((-1)/k) a composite number?
True
Let d(x) = -13*x**2 - 20*x + 5. Let t(k) = -4*k**2 - 7*k + 2. Let q(g) = -4*d(g) + 11*t(g). Let w be -4*(-7)/(-2)*33/(-154). Is q(w) composite?
False
Let u(o) = -o**2 - 4*o. Let f be u(-3). Let s(p) = 3*p**2 - 4*p - p**2 + 2*p - p**f. Is s(-3) composite?
True
Suppose 0 = 3*u - 4*j - 9449, u - 3*u = 3*j - 6271. Is u a prime number?
False
Let b(x) be the second derivative of -x**5/20 + x**4/6 - x**3/6 + 3*x. Let h be b(1). Suppose -266 = -2*i - h*i. Is i a prime number?
False
Let r be -3 + (-1)/((-3)/3). Is 0/r + 0 + 37 a prime number?
True
Let x(g) = g**3 - 6*g**2 + 6*g + 14. Is x(11) a composite number?
True
Let f = 272 - -17. Is f a composite number?
True
Let s = -12 - -7. Let v(l) = -131*l - 3. Let p be v(s). Suppose p = 3*t + t. Is t a prime number?
True
Suppose -u + 5*q - 14 + 5 = 0, 0 = -2*u - 5*q + 27. Let p(k) = k - 4. Let g be p(u). Is (-4)/g*31/(-2) composite?
False
Let l(p) = -1 - 3 + 189*p + 1 + 2. Let w be l(1). Suppose -4*g = g + 3*z - w, -5*z = -2*g + 69. Is g a composite number?
False
Suppose -u + 4*a + a - 3 = 0, -2*a + 6 = -u. Let t = u - -30. Is t a composite number?
True
Let u = -156 - -40. Is u/(-36) + 2/(-9) a prime number?
True
Let x(v) = -64*v**3 + 5*v**2 + 4*v - 17. Is x(-6) a composite number?
False
Is ((-4188)/(-3) - 1) + 4 a composite number?
False
Let j be 1 + -4 - 26*-1. Suppose -4*h + 319 = 3*n, h + 5*n + j - 107 = 0. Is h composite?
False
Let m = 4333 - 2928. Is m a composite number?
True
Suppose -g = -134 - 34. Suppose 4*s + 3*m - 613 = 0, -1 + g = s - 2*m. Is s prime?
True
Let n = 338 + -1. Is n a prime number?
True
Let u = 12 - 15. Is 108 + (u - -3) + 1 a prime number?
True
Let q = -17 + -56. Let b = 144 - q. Is b prime?
False
Let y(r) = 24*r**3 + 2*r**2 + r + 1. Let d = 15 + -13. Is y(d) composite?
True
Let v = 47 + -29. Is 1 - -37 - v/6 composite?
True
Suppose 0*w = -4*w + 12. Suppose w*m = 409 - 118. Is m a prime number?
True
Let q = 11 - 5. Suppose 0 = 5*j + 81 - q. Let x = j - -24. Is x a prime number?
False
Is 14/4*(-44)/(-2) composite?
True
Let p = 6 + -6. Suppose -3*o + 0*o + 6 = p. Suppose 5*g + 67 = -0*n + 3*n, 0 = o*n - 4*g - 46. Is n prime?
True
Let b(w) = -196*w + 3. Is b(-2) prime?
False
Let p(z) = -z - 4. Let s be p(-6). Suppose 0 = 2*i + s*i - 436. Is i composite?
False
Suppose 0*q + c - 74 = -q, -5 = c. Is q composite?
False
Let m(c) = c**2 + c. Let s(d) = -2*d**3 + d**2 + 4. Let q(r) = 4*m(r) - s(r). Is q(3) composite?
False
Let g be ((-16)/(-6))/4*9. Is (-806)/(-5) + g/(-30) composite?
True
Let t(p) = 33*p**3 + p**2 + 1. Is t(2) composite?
False
Let d(s) = -167*s**2 - 5*s + 7. Let u(i) = 83*i**2 + 3*i - 4. Let n(b) = -3*d(b) - 5*u(b). Is n(-1) composite?
True
Let c be (8/20 + (-167)/5)*1. Let n(z) = z**2 + 7*z + 6. Let i be n(-6). Let r = i - c. Is r composite?
True
Let l(z) be the second derivative of -z - 1/2*z**2 - 3/5*z**5 + 0 - 1/2*z**3 - 1/3*z**4. Is l(-2) prime?
False
Let u(y) = 17*y. Let i be ((-2)/3)/((-6)/9). Let j be u(i). Let w = 28 - j. Is w prime?
True
Suppose -5*m + 7*m = 2*v + 8, -5*v = 4*m - 34. Let d(f) = -f**2 + 6*f + 2. Let q be d(m). Suppose -2*p = q*r - 296, 329 = 5*p + r - 391. Is p prime?
False
Suppose 5*i - 3*q = 428 + 821, -5*q + 261 = i. Is i prime?
True
Let f = -4 + 9. Suppose -5*s + 8 = -w, -2*w - 1 = -5*s + f. Suppose s*c - 28 = 270. Is c prime?
True
Let m(g) = g**3 + 4*g**2 - 5*g + 1. Let j be m(-5). Let l be (-10)/(4/(-2)) + j. Is 350/l - (-3)/(-9) a composite number?
True
Suppose 6*z + z = 13363. Is z prime?
False
Suppose y = d + 1587 + 951, 5*y - d - 12686 = 0. Is y prime?
False
Suppose -4*y + 180 = y. Let p = y + -17. Is p prime?
True
Let k be -2 + (2 - 3) - -11. Suppose 2*w + 2 = k. Suppose -v - 218 = -w*v. Is v composite?
False
Let o(t) = 3*t**3 + t**2 + 2. Let l be o(-2). Let p be 9/l + (-47)/(-2). Suppose 6 = u + 5*v, -p = 2*u + 4*v - 65. Is u prime?
True
Suppose 0*u + 7782 = 3*z + 3*u, -2*u + 10 = 0. Is z prime?
False
Let p(x) = x**3 - 9*x**2 - 11*x - 1. Let r(i) = -4*i - 6. Let k be r(-4). Let g be p(k). Let q = 50 + g. Is q prime?
False
Let i be (-1 - 1) + (-1695)/(-5). Let w = i - 83. Is w a prime number?
False
Let p(r) = 7*r + 6. Suppose -3*w - 5*i - 22 + 5 = 0, 3*i + 16 = 4*w. Let t be 2/(-1 - w)*-7. Is p(t) a prime number?
False
Suppose 5*n = n + 16. Let d = n - 4. Is (-2 - d) + 0 + 55 a prime number?
True
Let y be 1 + (3/(-1))/(-1). Let k = -2 + y. Suppose 2*v - s - 158 = 0, 5*v + s + k*s = 395. Is v a composite number?
False
Suppose 3*b = 21 - 6. Suppose -44 = -2*h + b*q, -4*h - 36 = -5*h - q. Suppose -m - a + h = -0*a, 0 = 5*a + 15. Is m composite?
True
Let q(r) = r**3 + 10*r**2 - 11*r + 4. Let n be q(-11). Suppose 0 = n*y - 2*w - 488, 2*y - 4*y - 5*w + 232 = 0. Is y a prime number?
False
Suppose -s = -3*s. Suppose -5*w + 10 = -s*w. Is w prime?
True
Let b be 8/(-28) - (-508)/14. Let a = 9 + b. Suppose -4*s - a = 2*j - 155, 1 = s. Is j a composite number?
False
Suppose -5*z + 2*g = -633, 2*z - 253 = g - 0*g. Is z a prime number?
True
Let h(o) = 2*o**2 + o + 87. Is h(0) a prime number?
False
Suppose -5*q = 4*s - 9761, 6*q - 7780 = 2*q + 4*s. Is q prime?
True
Let q be (-29)/(-2) - 3/(-6). Suppose -3*b + 2*b + q = -2*u, 5*b - 131 = -4*u. Is b a composite number?
False
Suppose 5*c - 9*c + 1012 = 0. Is c a composite number?
True
Suppose 3 = 2*x - 5*y, x + 4*x = -3*y - 8. Let w = x - -14. Is w composite?
False
Let c = 317 + -126. Is c a prime number?
True
Is 4058/6 - (-5)/(45/6) prime?
True
Let q(v) = v**2 + 2*v + 169. Is q(0) a composite number?
True
Let m(s) = 331*s. Is m(3) composite?
True
Suppose -2*d + d = -111. Suppose f = -3*t + 333, f + 4*f = -t + d. Is t composite?
True
Suppose 0 = 3*z - 15, 0 = 3*p - z + 17 - 6. Is 8/4 + (475 - p) prime?
True
Suppose -12 + 4 = -2*v. Let t(k) = k**3 + 4*k**2 + k + 1. Is t(v) composite?
True
Is 10/((-1)/291*-6) prime?
False
Let b be (-1 + -24)/(0 + 1). Let a be 20/b*(-550 + 0). Let j = -255 + a. Is j prime?
False
Suppose 4*f = -477 - 471. Let l = -160 - f. Is l prime?
False
Let y(b) = 2*b - 5. Is y(4) prime?
True
Suppose 4*g - 2*g - 20 = 0. Let w be 9 + (80/(-4))/5. Suppose -w*x + g = -20. Is x composite?
True
Let i(q) = -q**3 - q**2 + 3*q + 2. Let z be i(-2). Suppose z = -3*h + 5*l - 10, -25 = -3*h - l - l. Suppose -2*n + 89 = -h. Is n a prime number?
True
Suppose -13 = -2*s + 7. Let i be (208/20)/(2/s). Suppose -m = -i - 41. Is m a prime number?
False
Let d be 0/(((-12)/(-8))/(3/(-6))). Suppose 133 = o - 0*o. Suppose -f + o = -d*f. Is f a prime number?
False
Let x = -7 - -9. Suppose -x*i + 0*i = -110. Is i composite?
True
Let p(g) = -g + 3. Let w be (-2)/7 + 138/42. Let i be p(w). Suppose j = 4*j - 9, 2*r - 4*j - 30 = i. Is r composite?
True
Let f(z) = -3*z. Let p be (-2)/6*(1 - 7). Suppose 5 = -j + p*l, 5*j + 2*l = 5*l - 11. Is f(j) prime?
True
Let g(d) = 12*d - 7. Let b be g(6). Let j(l) = l**3 + 10*l**2 + 13*l + 8. Let p be j(-9). Let o = b + p. Is o a prime number?
True
Suppose -j + 8 = -2*j. Is 2/j + 1167/12 prime?
True
Suppose 2*m + 3*y - 2781 = 2*y, -2*m + 2778 = 4*y. Is m a composite 