. Is x a prime number?
False
Let g(t) = 11*t - 5. Is g(4) prime?
False
Let b(f) = f**3 + 2*f**2 - 3*f + 4. Let d be b(-3). Suppose 3*v - d*x - 79 = 0, 92 = 5*v - v - 2*x. Is v composite?
True
Suppose -3*t = -2*d - 207, -1 = 3*d + 8. Is t prime?
True
Suppose -3*m + s = 2*s + 41, 2*m + 5*s = -49. Is 2/12 - 1714/m prime?
False
Suppose -2 = a - 1. Is 62 + -9 - 0/a prime?
True
Let n = 363 - 34. Is n prime?
False
Let p = 17 - -60. Let h = 144 + p. Is h composite?
True
Suppose -4*j - 60 = -3*s, 0*s - 8 = 2*s. Let h = 49 + j. Is h a prime number?
True
Let b = -6 - -12. Let t = 17 + b. Is t prime?
True
Suppose 7*v = 299 + 366. Is v prime?
False
Let v = 35 - -18. Is v prime?
True
Let o(c) = -4*c**3 + 3*c**2 - 4*c + 3. Let g(u) = -u**3 - u. Let w(h) = 3*g(h) - o(h). Let a be w(3). Suppose -4*k + 49 + 27 = a. Is k a prime number?
True
Let d(j) = j**3 - 7*j**2 + 4. Let b be d(7). Let c(w) = -b*w + w**2 + 1 + w**2 + 2. Is c(2) a prime number?
True
Let d be -69*4/18*-6. Let f = -52 + d. Let y = f + -7. Is y a composite number?
True
Let s(n) = -149*n. Let h be s(-1). Let p = h - 96. Is p a prime number?
True
Let z = 7 - 8. Let i = z + 116. Is i composite?
True
Let w(g) = g**3 - 21*g**2 + 24*g - 23. Is w(20) prime?
False
Is -3 - -167 - (0/(-4) - -1) composite?
False
Suppose -4*b = 4*r - 0*b - 92, -b + 2 = 0. Is r prime?
False
Let x(o) = o**3 + 3*o**2 - 6*o - 3. Let u be x(-4). Suppose 3*k = -2*l + 5, 3*l = -0*k - u*k + 9. Let n(b) = 8*b**2 + b + 2. Is n(k) composite?
True
Let x(w) = 14*w - 11. Is x(9) a prime number?
False
Let a(p) = p**2 + 2*p + 1. Let m be a(-3). Let w be 116/(-10) + m/(-10). Is ((-690)/w)/(1/2) a prime number?
False
Let u(r) = -21*r - 1. Suppose -n + 4*n + 12 = 0. Let a be u(n). Suppose -4*g + a = -49. Is g a prime number?
False
Let o(g) = -g**2 + 9*g - 7. Let i be o(6). Let p = i + -15. Is p/(-22) - 810/(-22) prime?
True
Suppose 0*w = w - 4. Suppose -4*m + p - 30 = w*p, 0 = -2*m - p - 16. Let d = m - -56. Is d prime?
True
Suppose -285 = 5*w + 3*p - 4321, 4*p = -2*w + 1606. Is w a prime number?
True
Suppose 0*x + 6 = 3*x. Suppose -x*d = 1 - 67. Is d composite?
True
Let v be 4227/9 + (-2)/3. Suppose 3*b + b = y - 83, 2*b = 5*y - v. Is y composite?
True
Let h be (6 - 3) + -6 - -14. Let s be 9605/h + (-16)/88. Let v = s + -586. Is v prime?
False
Suppose -c - 37 = -5*b, b + 3*b - 32 = 2*c. Is b prime?
True
Suppose -b - 36 = 4*s, s + 4*b = -0 + 6. Let j be (-4)/(-18) + (-436)/18. Let x = s - j. Is x composite?
True
Let n(t) = -178*t + 5. Is n(-6) prime?
False
Let c = 33 - 21. Suppose a = -a + c. Is a composite?
True
Let s = -4 - -12. Suppose 3*o + 2455 = s*o. Is o composite?
False
Is ((-407)/(-22))/((-2)/(-28)) composite?
True
Is (3/(-6))/(7/(-140)) prime?
False
Suppose 5*u = -f + 175 - 42, 2*f - 5*u = 296. Is f a composite number?
True
Suppose 0 = -2*x - 4*d + 920 + 478, -2*d - 2756 = -4*x. Is x composite?
False
Let s = -17 - -240. Is s prime?
True
Let x(k) = -k**3 + k**2 - 1. Let n(t) = 7*t**3 + 3*t**2 + 2*t + 11. Let y(s) = n(s) + 6*x(s). Is y(-4) composite?
True
Suppose -4*m + 10 = -10. Suppose -5*j + 28 = -s + 67, -2*s + 63 = m*j. Suppose -s = -6*t + 2*t + 3*v, v = t - 9. Is t composite?
False
Let p be -2*((-9)/6)/3. Let n be 0/(p + -4)*1. Suppose -2*c + n*o + 62 = -4*o, 155 = 5*c - 5*o. Is c prime?
True
Suppose 2*u = -2*d - 2 + 156, -4*u = -2*d + 136. Suppose d + 44 = j. Is j composite?
True
Let k = 219 - -154. Is k a composite number?
False
Is (-7)/(-42)*6*1*23 composite?
False
Suppose 10*l + 76266 = 28*l. Is l prime?
False
Let g = -496 - -705. Is g a prime number?
False
Let y(v) = 31*v + v**3 - 2*v**3 + 10*v**2 - 21*v - 9 - 17*v. Is y(7) a prime number?
True
Let s = 4 + -1. Suppose s = b + 11. Is (-2 - 3)*(b - -1) composite?
True
Let l be (-2)/(-6) - 20/(-12). Suppose -2*j = -l*w + w - 50, 3*j - 57 = -3*w. Let d = j + -10. Is d prime?
True
Let o = 5 - 2. Is 23 - o*(-3)/(-9) composite?
True
Let f = 194 - -17. Is f composite?
False
Suppose 2*f = -5*t + 36, 0 = f + 3 - 1. Let c = -32 - -15. Let x = t - c. Is x a composite number?
True
Suppose -c + 4*u = -49, -4*c + 3*u + 154 = u. Is c a composite number?
False
Suppose -2*h - m = -1984, -h + 291 + 710 = -4*m. Is -1*(-1)/3*h prime?
True
Let w be (-2)/(-1) + 0/(-2). Suppose w*p - 3*y = -67, 0 = 4*p + y + 3*y + 164. Is p/3*(-9)/6 a composite number?
False
Let v(h) = -4*h - 5. Let d(j) = -j**3 - 5*j**2 + 6*j - 6. Let x(b) = b**2 + 5*b - 6. Let n be x(-5). Let u be d(n). Is v(u) a composite number?
False
Let t(y) = 12*y**2 - 4*y + 7. Let u be ((-2)/6)/((-2)/(-42)). Let i be t(u). Suppose s - 2*w + 21 - 182 = 0, i = 4*s - w. Is s composite?
True
Let q = 0 - -4. Suppose 3*s - 2*s = -u + 80, -q*u + 318 = 5*s. Is u a composite number?
True
Suppose -t + 14 = -4*s + 67, 3*t = -2*s + 37. Let a be (-4)/s + (-69)/(-21). Suppose a*p - 3*n + 2*n - 110 = 0, 3*n + 182 = 5*p. Is p a composite number?
False
Suppose -x + 12*x - 2453 = 0. Is x a prime number?
True
Let o be -4*(1 + (-9)/6). Suppose -3*q - q + 26 = o*m, 20 = 4*q. Suppose -4*x + m*x = -37. Is x composite?
False
Let d = 79 - -159. Let r = 75 - 70. Suppose 4*b + 5*j = d, r*j + 0 - 52 = -b. Is b composite?
True
Let i(m) = m + 4. Let a be i(-8). Is (-382)/a + 3/(-6) composite?
True
Let l be (-3)/9 - (-4)/(-6). Is l + 448/(6/3) composite?
False
Let y(t) be the third derivative of t**5/15 - t**4/24 - t**3/3 - 3*t**2. Let i be y(2). Is ((-8)/i)/((-2)/111) a prime number?
True
Suppose -93 = -21*y + 18*y. Is y a composite number?
False
Let x(c) = 50*c - 53. Is x(21) a prime number?
True
Let j(c) = c**3 + 9*c**2 + 2*c - 1. Is j(-8) a prime number?
True
Suppose -3*d + 57 = -3*z, -3*z + 8 = 5*d - 71. Suppose q = 3*n - 52, -96 = -5*n - 0*n + 4*q. Suppose 2*h + 4*w - n = 0, 3*w - 4*w = -h + d. Is h a prime number?
False
Let h = 11 + -8. Suppose 6*q = q + 2*n + 1264, -3*q + 771 = h*n. Is q composite?
True
Suppose 5*p = -15, 4*v - 9 = 4*p + 3. Suppose -2*f + 5*q + 49 = v, -2*f - 2*f - q + 153 = 0. Is f prime?
True
Let b = -261 - -632. Is b prime?
False
Let c be 1*(1 + -2) - -3. Suppose -a + n - 116 = -2*a, -c*n - 559 = -5*a. Is a prime?
True
Let i(o) = 13*o. Let c(u) = u**3 + 5*u**2 - 8*u + 4. Let s be c(-6). Suppose 5*z = -1 + s. Is i(z) a composite number?
True
Suppose -2*a + 17 = -45. Is a a prime number?
True
Let y = -24 + 28. Suppose 0 = -2*m - y*g + 28, -3*g - 2*g - 28 = -2*m. Is m a prime number?
False
Suppose 5*z = 3*z - 200. Let v = -57 - z. Is v prime?
True
Is 126/12*(-116)/(-6) composite?
True
Suppose -2*g + 4 = -3*g + 5*u, 3*g = -3*u + 6. Let r(j) be the third derivative of 3*j**5/10 + j**3/6 - j**2. Is r(g) prime?
True
Suppose -3*n - 531 = -6*n. Is n a composite number?
True
Suppose 0 = -k + 359 + 314. Is k prime?
True
Let w be (-2*(-3)/3)/1. Suppose t - 2*t = 4, -2*u + w*t = 0. Is (u/6)/((-2)/75) a prime number?
False
Is 12/20 - 152/(-5) a prime number?
True
Let t = -27 + 50. Is t a composite number?
False
Let a(t) = t**3 - t**2 - t + 2. Let s be a(0). Suppose -2 = -o - 6, -4*b = -s*o - 84. Is b a composite number?
False
Suppose 0 = 5*n - 25, 4*r = 4*n - 90 + 38. Let g = r + 13. Let k(v) = v**2 - 2*v + 7. Is k(g) composite?
True
Let t(q) be the third derivative of 2*q**5/15 + 5*q**4/24 + q**3/6 - 2*q**2. Is t(4) a composite number?
False
Suppose -5*n - 2*l = -15797, -4*l + 884 + 2261 = n. Is n prime?
False
Is (634/4)/((-16)/(-32)) prime?
True
Suppose -2*u + 523 = o - 6*o, -5*u - 3*o = -1292. Is u prime?
False
Let y = -301 + 632. Is y prime?
True
Let p = -5 - -7. Suppose -34*i = -30*i. Suppose -r + 2*f + 31 = i, -p*f - 154 + 12 = -4*r. Is r a prime number?
True
Let r be (3/(-4))/(7/(-196)). Suppose -z - 577 = 3*k - 103, 2*z = -5*k - 949. Is (-2)/(-7) - z/r composite?
False
Let m = -5 + 7. Suppose 0 = m*q - 0*q + 56. Let d = 59 + q. Is d a composite number?
False
Is 2350/15 - (-2)/6 a composite number?
False
Let w(h) = h**3 - 8*h**2 - 10*h + 13. Let c(o) = o**3 + 5*o**2 - o + 4. Let k be c(-5). Let f be w(k). Let l(x) = 21*x**2 - 2*x + 1. Is l(f) composite?
True
Is ((-4)/12)/((-1)/9) - -1738 prime?
True
Suppose 4*q + 2*z - 2369 = 1313, -2*q + z + 1835 = 0. Is q a composite number?
False
Suppose 4*g + 6*f = 4*f + 562, -3*g - 3*f = -417. Is g a composite number?
True
Let c(a) = -6*a**3 - 2*a**2 - 2*a - 1. Is c(-4) a prime number?
True
Is ((-10)/4 + 2