2. Is x(0) prime?
True
Suppose 15*l = -0*l + 23145. Is l a composite number?
False
Suppose -4*w = -2*i - 864, 3*w = -0*i + 5*i + 655. Suppose -3*l + 656 = 5*y - 0*y, -l + 2*y = -w. Is l a composite number?
True
Let u = 565 - 386. Is u composite?
False
Let t be ((-21)/(-12))/((-2)/(-232)). Suppose 0 = 3*m - t + 2. Is m composite?
False
Let g = -874 + 620. Is (1 - 3/2)*g composite?
False
Let h(k) = -k + 7. Let p be h(5). Suppose 4*f - 508 = p*g, -2*g + 86 = f - 41. Is f a composite number?
False
Let b(u) be the third derivative of -u**6/120 - u**5/12 + 5*u**4/24 - u**3 - u**2. Let h be b(-6). Suppose h*x + 78 = 2*x. Is x prime?
False
Suppose b = -w - 0*b + 20, 5*w = 5*b + 90. Is w composite?
False
Suppose -3*r + 1128 = 3*z, -4*z + 3*r + 342 = -1141. Is z a prime number?
True
Suppose 3*s - 830 = s. Is s composite?
True
Let z = -2 + 3. Let f = z + 30. Is f a prime number?
True
Let o be 1/(-1) + (2 - -87). Let w = -40 + o. Let l = w - 27. Is l composite?
True
Suppose 0 = -2*z - 3*x + 4 + 11, 0 = -3*z - 5*x + 24. Suppose -387 = -3*l + z*t, t - 10 - 115 = -l. Is l a composite number?
False
Let q = 5 - 6. Let t be 4 - (q + (3 - 1)). Let k(g) = 6*g**2 - g + 2. Is k(t) composite?
False
Let q(t) = -9*t - 1. Suppose 5*h = 2*v - 5, -3*h = 2*h + 3*v + 5. Let k be (h/(-2))/((-1)/12). Is q(k) a composite number?
False
Suppose -2*w + 4456 = -5*n, 2*w - n - 4416 = -6*n. Is w prime?
False
Let h = -4 - -4. Let i be (h - -1) + -1 + -3. Is (-2)/3 + (-113)/i a composite number?
False
Let h = 4 - 2. Let s = 5 - -4. Is (s/3 - h)*59 prime?
True
Let r = 130 - 45. Suppose -3*s = -194 - r. Is s prime?
False
Let i = -1 - -11. Is 2/10 + 528/i a composite number?
False
Let b be ((-274)/4 - -3)*-6. Suppose 7 + b = 5*s. Suppose s = 5*c - 3*v, -3*c - 2*v + 86 = 19. Is c composite?
False
Suppose 5*v - 3*v - 3*p - 3680 = 0, 5*v - 9175 = -5*p. Is v a prime number?
False
Suppose 20 = 5*t - k, -2*t - 2*k = 2*k - 30. Let y(w) = -3*w**2 + 6*w + 5*w**2 - w**2. Is y(t) composite?
True
Suppose 4 = 3*q - 2. Suppose -f - 172 = -2*b, f + 12 = -q*f. Suppose -3*j = j - b. Is j prime?
False
Suppose 0 = -b - 2 + 9. Is (7 + -9)/((-2)/b) composite?
False
Suppose -2*m - 5*j = -210, 3*m - 293 = 2*j - 4*j. Is m a composite number?
True
Let z(m) = 343*m**2 + 5*m + 7. Is z(-3) a prime number?
True
Suppose 0 = x + 2*x - a - 4, 2*x - 3*a - 12 = 0. Let b be (x + 1)/(3/9). Suppose 572 = 5*y - b. Is y a composite number?
True
Let x be (7 - 2)*712/10. Suppose 2*l + 88 = x. Is l composite?
True
Let m(v) = v**2 + 5*v - 1. Let x be m(-6). Suppose -5*j - x = 10, a + 5*j = 404. Is a a prime number?
True
Suppose 4*m = -4*f + 2*m - 2, -2*m + 2 = 0. Is f/((-3)/(-36)*-2) composite?
True
Let q(u) = u**2 + 3*u. Let d be q(-4). Suppose 2*g = -0 + d, -g = -4*a - 2. Let n = 19 + a. Is n a composite number?
False
Let o be 63/28*32/(-6). Let p be (-12)/(-10)*30/o. Is p/((-9)/24) + 3 prime?
True
Suppose 4*q - 4969 = 2595. Is q a prime number?
False
Is (-16)/4 + 2 + 29 + 6 a prime number?
False
Let s = 139 - 50. Is s prime?
True
Suppose 17 = 4*g - 23. Suppose -w + 0*w = -g. Is w a prime number?
False
Suppose 0 = 4*h - 5*l + 11, -8*h = -4*h + 2*l - 10. Let j be (10/(-4))/(h/(-2)). Suppose 33 = j*g - 77. Is g a composite number?
True
Let p = -69 + 113. Suppose p = -0*l + 4*l. Is l composite?
False
Suppose -350 = 3*r + 2*r. Is 1/((-212)/r + -3) prime?
False
Is 12/(-66) + 13437/33 a composite number?
True
Let s = -650 - -1040. Suppose -7*n = -2*n - s. Suppose n + 63 = 3*c. Is c a prime number?
True
Let y = 82 - -81. Suppose 60 = -7*o - 598. Let l = y + o. Is l prime?
False
Suppose t - 120 = 4*v, t + 4*v + 68 = 212. Suppose t = -n + 5*n. Suppose 0 = w + 2*w - n. Is w prime?
True
Suppose l = -2*l - 4*k - 14, 0 = 3*l + 2*k + 10. Let n = 53 - l. Is n composite?
True
Let p(x) = -x**2 - 4*x + 2. Let o be p(-4). Suppose 2*v + o*m = 16, 0*m = -5*v - 2*m + 37. Is v a composite number?
False
Let t = 10 - 5. Suppose t*o = -0*o + 95. Is o a composite number?
False
Let s(o) = 129*o + 10. Is s(1) a prime number?
True
Suppose 5*c - 321 - 1214 = 0. Is c a prime number?
True
Let k = 11 + -9. Suppose 5*d - 16 = k*f - 5*f, -13 = -4*f - 5*d. Is (-1)/(f + 65/22) composite?
True
Let g(t) = -t**2 + t + 3. Let d be g(0). Suppose -5*k - d*w + 1497 = w, -594 = -2*k - 4*w. Is k a prime number?
False
Let p(v) = 93*v**2 - 2*v. Is p(3) a composite number?
True
Suppose 4*h = 5 + 15. Let j = h + 5. Is j a prime number?
False
Let x = 0 + 17. Let k = x + -7. Is k prime?
False
Let f be (-3)/6 - 13/(-2). Suppose 0*c = -c - f. Let s(x) = -17*x - 7. Is s(c) prime?
False
Suppose 5*k - 2*d = 387, 0 = -5*k + d + 390 - 4. Is k composite?
True
Suppose -3*p + 957 = -966. Is p prime?
True
Let z(s) = -s + 2. Let k(j) = 4*j - 8. Let r(i) = 2*k(i) + 9*z(i). Let p be r(0). Suppose -3*h + 6 = -p*h. Is h a prime number?
False
Suppose 43 = l - 76. Suppose 5*s - 39 = -4*v + 255, 0 = 2*s + 3*v - l. Is s prime?
False
Let v(q) be the second derivative of q**5 - q**4/12 - q**3/6 + q**2/2 - q. Is v(2) a composite number?
True
Let x(y) = 331*y**2 + 2*y - 1. Is x(-2) a prime number?
True
Suppose -1087 = -4*o + 301. Is o composite?
False
Let o be -3*4/(-18)*3. Let u(x) be the first derivative of 3*x**4/2 + 4*x**3/3 - 3*x**2/2 + x + 5. Is u(o) prime?
True
Let z = 780 - 544. Let h = -75 + z. Is h a prime number?
False
Let s = 7 - 6. Suppose s = -5*j + 11. Is j a prime number?
True
Suppose s + 2 = -0, 4*s + 14 = 3*u. Suppose u*r + 524 = 6*r. Suppose 4*f - 6*j - 158 = -4*j, 3*f = 4*j + r. Is f prime?
True
Let n = 40 - 23. Suppose -v - 4*i - n = -98, 4*v - 4*i = 224. Suppose -298 = -3*k - v. Is k composite?
False
Let m(l) = 16*l + 13. Is m(6) a prime number?
True
Let w be (-1)/1*(2 + -1). Let o(h) = 52*h**2 + h. Let q be o(w). Suppose 3*g + 0*g - q = -2*x, 4*g + 2*x - 66 = 0. Is g a prime number?
False
Suppose -m = -13 - 25. Is m a prime number?
False
Let s be (3/(-2))/(5/(-610)). Suppose -t + s = 5*n + t, 5*n - 189 = 4*t. Is n prime?
True
Let c(j) = j**2 - 4*j. Let k be c(4). Suppose -2*o = -12 - k. Is 386/o - (-2)/3 prime?
False
Suppose 5*i = 25, -x - 3*i = 2*x - 4212. Is x composite?
False
Suppose 0 = 7*g - 2*g - 20. Let j be 38/5 + g/10. Suppose -3*o + j*o - 245 = 0. Is o prime?
False
Suppose 7*v - 6894 = v. Is v prime?
False
Suppose 0*t = 4*t + 16. Let u(o) be the first derivative of -o**3/3 - 5*o**2/2 + 3*o - 3. Is u(t) a composite number?
False
Is -4*6/4 + 2419 a composite number?
True
Suppose 300 = 4*a + 52. Let m = a + -27. Is m composite?
True
Suppose 0 = 4*k - 848 + 52. Suppose -5*r - 65 + k = -2*v, -r - 4*v = -18. Is r a composite number?
True
Suppose -411 - 1231 = -2*u. Is u prime?
True
Let m = -11 - -14. Is 1/m - (-924)/9 a composite number?
False
Suppose 0 = -11*s + 5413 - 1266. Is s a composite number?
True
Let d(h) = 92*h - 3. Let q be d(2). Let j = q + -86. Is j composite?
True
Let g(b) = -b + 2 + b**2 - 5 - 4. Is g(-6) a composite number?
True
Let c be (-8)/(-6) + 2/3. Let o(i) = 24*i + 2. Let p be o(c). Let y = p - 29. Is y a prime number?
False
Is 4/(3260/1084 + -3) a prime number?
False
Let r(t) be the first derivative of -t**4/4 - 5*t**3/3 - 3*t**2 - t + 4. Is r(-7) a prime number?
True
Let m be 894/4*12/9. Suppose 3*v - m = 2*v. Is v a prime number?
False
Is -11 + 7 + 162/2 a composite number?
True
Let q(z) = z**3 + 11*z**2 + 11*z - 5. Is q(-9) composite?
True
Suppose -2*a + 155 = y - 4*y, 2*y + 393 = 5*a. Is a prime?
True
Let s = 80 + 75. Is s composite?
True
Let w(c) = -60*c + 1. Let o be w(-1). Let d = o - 8. Is d prime?
True
Let t = -343 - -85. Let p = 481 + t. Is p a prime number?
True
Let o(d) = 25*d**2 - 10*d + 12. Is o(7) a composite number?
True
Let x = -49 - -96. Suppose s = 2*s - x. Is s prime?
True
Let k(p) = 2*p - 2. Let z be k(3). Suppose -z = x + 32. Let s = x - -51. Is s composite?
True
Let r = 1 + 5. Suppose 3*q + 12 = 0, 2*z + 612 = r*z + 5*q. Is z composite?
True
Suppose 0 = d - 1 - 1. Suppose -k - 46 = -0*k. Is 4/d*k/(-4) a prime number?
True
Is 183 - 2/(-2) - 75/25 composite?
False
Is 143/(-2)*(0 - 2) composite?
True
Let l be -1 + (2 + 846)/4. Let v be 2/8 + (-7)/(-4). Suppose 3*d = -3*y + 354, -3*d = v*y - 140 - l. Is d prime?
False
Let t = 5 - 10. Let j be (5*t - -2)*-2. Let l = j + 159. Is l prime?
False
Let x(f) = f - 1. Let t(u) = -u**2 - 