
True
Let b(t) = -t**2 - t + 2. Let p be b(-2). Let y(s) = s**3 + 3*s - 4 + 3 + p*s + 7*s**2. Is y(-5) a prime number?
False
Let n be 2/(((-16)/18)/4). Let q(k) = -k**3 - 8*k**2 + 8*k + 13. Let o be q(n). Let c = o - 0. Is c a prime number?
False
Let u(w) be the second derivative of -w + 7/2*w**2 + 2/3*w**3 + 7/12*w**4 + 0 + 1/20*w**5. Is u(-5) composite?
False
Let t be (-1)/4 + (-314)/(-8). Let j = 22 + t. Suppose -7 = -2*o + j. Is o a prime number?
False
Let f(b) = -b - 6. Let p be f(-8). Suppose 5*l - 40 = -7*r + 2*r, 32 = 4*r - p*l. Suppose 2*u - r + 20 = 2*j, 3*u - 32 = -2*j. Is j a composite number?
True
Suppose -5*g = -0 - 10. Suppose 0*w - g*r = -w + 62, 0 = -4*w - 5*r + 235. Suppose -k + w = 3*k. Is k composite?
True
Suppose -f + 32 = 2*n + 3*f, -5*f = 4*n - 55. Is (-4)/10 - (-894)/n a composite number?
False
Suppose -5*w = 22 - 7, -5*g = -3*w - 24. Suppose 4*n - 81 = -2*v + 3, 4*n + g*v - 88 = 0. Is n composite?
False
Let p(a) = 52*a - 1. Let k be p(1). Suppose -k = -j - 0*d + d, -5*j = 5*d - 275. Is j a prime number?
True
Let q be (-1)/(1/(-562)) + 0. Let s = q + -315. Is s composite?
True
Let g = -6 + 6. Let c(k) = k + 89. Is c(g) prime?
True
Let k = 82 - 8. Let r = 27 + -24. Suppose r*x - x = k. Is x prime?
True
Let p(q) be the second derivative of q**5/20 + q**4/2 + 3*q**2/2 - 3*q. Let o be p(-6). Suppose 0 = 3*l - o*r - r - 73, 2*l - 43 = -3*r. Is l a prime number?
True
Let t = -19 + 11. Let a = 3 + t. Let n(b) = b**3 + 5*b**2 - 4*b - 5. Is n(a) a prime number?
False
Let v = 307 - 210. Let l = v + 52. Is l prime?
True
Let n(v) = -v**2 - 8*v - 3. Let u be n(-7). Let i be 2/u + (-22)/(-4). Let s(m) = -m**3 + 8*m**2 - 2*m - 3. Is s(i) composite?
True
Suppose 0 = -8*c + 3*c + 1270. Suppose -b + c - 99 = 0. Is b prime?
False
Let s = 4 - 5. Is 12 + -1 + (-2)/s a composite number?
False
Let p(k) be the second derivative of k**5/5 + k**4/4 + k**3/3 + 2*k**2 + 2*k. Is p(3) a prime number?
False
Let g be ((-4)/(-6))/(2/12). Suppose g*x - 18 = -2. Is x a prime number?
False
Let z(x) = -x**3 - 7*x**2 - 6*x + 7. Let w be z(-6). Let c = w - -3. Suppose 4*p = 8, -4*i + 5*p + c + 128 = 0. Is i a composite number?
False
Let c be 1/4 - (-12)/16. Is (c/1)/((-1)/(-53)) prime?
True
Let w(a) = 5*a**2 + 9*a + 6. Is w(8) prime?
False
Let o(q) = -7*q + 4*q**2 - 13*q**2 - q**3 - q. Let t be o(-8). Suppose 2*x + t*x = -5*d + 175, -5*x - 2*d + 427 = 0. Is x composite?
True
Suppose -2*a - 4*n = 4 + 14, -3*n = -5*a + 7. Let d be 1/(2 + a)*3. Suppose d*i - 161 = 52. Is i composite?
False
Suppose -5*f = 5*x - 1875, 0*x + 2*x - 746 = -f. Is x composite?
True
Suppose 0*u = -2*u + 356. Suppose 376 = -5*s - 89. Let p = u + s. Is p a prime number?
False
Let t(u) = u**3 - 4*u**2 + 3*u + 1. Suppose 7*d - 6*d = 5. Let s be t(d). Suppose -4*k - s = -p, -3*p + 0*p = 2*k - 151. Is p prime?
False
Let t(i) = i**3 - 6*i**2 - 3*i + 9. Is t(8) prime?
True
Let g = 858 + -479. Is g a prime number?
True
Let t = 380 + -198. Let x = 41 + t. Is x composite?
False
Let m be 5 + 0 - 12/6. Let v(r) = 3*r**2 - 3*r + 3. Is v(m) prime?
False
Let h = 12 + -8. Suppose 278 = 4*o + 2*z, h*o + 2*z - 209 = o. Is o a prime number?
False
Is (24/(-9))/(-8)*483 prime?
False
Suppose 0*a - 3*a + 921 = 0. Let l = a + -186. Let p = l + -74. Is p prime?
True
Let o be (-4)/(16/(-12)) + -2. Is 12/30*(54 + o) prime?
False
Let z be ((-2)/2)/((-5)/15). Suppose -z*r + 4*r - 191 = 0. Is r prime?
True
Suppose -n - 1 = -2*b, 0 = b + 4*n - n - 11. Suppose 678 = b*v - 952. Is v composite?
True
Let r(l) = 207*l**2 + 16*l - 5. Is r(4) composite?
False
Suppose d - 6*d + 955 = 0. Is d a prime number?
True
Suppose -v + 7 = 4*q, 5*q + v - 6 = -3*v. Suppose w - 337 = -q*t - 136, 0 = -4*w + t + 813. Is w composite?
True
Suppose 0 = 5*p + g - 586, -p + 110 = 2*g - 0*g. Is p a composite number?
True
Let l(z) = 118*z**2 + 3*z + 3. Is l(4) prime?
False
Let l = -7 + 16. Let y = l + 6. Is y a prime number?
False
Let l = 6 + -2. Suppose -l*u = 1 - 77. Is u prime?
True
Let y(a) be the first derivative of -a**2/2 + 21*a + 6. Is y(0) composite?
True
Is 16/56 + (-20070)/(-21) + -1 composite?
True
Suppose -2*g = 5*o - 9200, -5*o + 3853 + 5332 = -g. Is o a composite number?
True
Let l(d) = 115*d**3 + d**2 - 1. Let n(t) = t**3 + 3*t**2 + 2*t + 1. Let s be n(-2). Let o be l(s). Suppose 5*x - 6*i = -i + o, -3*x = -i - 73. Is x composite?
True
Let a be (2/4)/(2/84). Let q = -7 + a. Is q a prime number?
False
Suppose 3*s - 10 = -4*r + 119, 5*r + 24 = s. Let t be 8/(-6)*12/8. Let n = t + s. Is n a prime number?
True
Let h(j) = j**3 + 2*j**2 - 1. Let o be h(1). Let u = 4 - o. Suppose -5*c + 91 = 2*v, u*v + c + 3*c - 86 = 0. Is v prime?
False
Let w be (-5 + 2)*(4 - 3). Let f be (1/w)/(1/(-6)). Suppose f*m + 5*k = 90, -3*k - k - 159 = -5*m. Is m a prime number?
False
Let f(k) = 0 - 3 + 5*k - 5*k + 10*k. Let o(h) = -h**3 + 5*h**2 + 4. Let i be o(5). Is f(i) composite?
False
Let v(o) = 2*o**2 + 10*o + 7. Is v(9) a composite number?
True
Let u(d) = 4*d**2 + 9*d. Let x(q) = -q - 2. Let f be x(5). Is u(f) composite?
True
Is 2 + -1 + 2 + 1 + 249 prime?
False
Let v = 458 - 327. Is v composite?
False
Let m(l) = 31*l - l + 23*l + 3 - 5. Is m(11) a composite number?
True
Let d = -66 - -353. Is d a prime number?
False
Suppose 4*h + 4*m - 96 = -0*m, -2*h + 50 = m. Let k = -5 + 2. Let n = k + h. Is n a prime number?
True
Suppose 6 = -5*n + 4*n. Let p(w) = -8*w - 8. Let z be p(n). Suppose 5*i - 235 = z. Is i prime?
False
Suppose o + 6 = -x, 5*o - 3*x = -0*x - 14. Let f(l) = -l**3 - 3*l**2 - 4*l - 6. Is f(o) a prime number?
False
Let o = -19 + 7. Suppose -114 = 4*z + 3*p, -p = 2*z - 0*p + 56. Is (-1)/((o/z)/(-4)) prime?
False
Let c(j) = -j**3 - 10*j**2 - 6*j - 6. Let a be c(-7). Is 2 + -2 - a/3 a composite number?
False
Suppose 0*v - 5*k = -v + 23, 8 = 4*v + k. Is -2 + (-1 + 71 - v) a prime number?
False
Let t be (8/(-12))/(3/18). Let w = -1 - t. Is w a composite number?
False
Let d be (3 - 2) + 4 - 0. Let f(q) = 54*q - 7. Is f(d) composite?
False
Is 2759*(3 + 6/(-3)) a prime number?
False
Let w be 5/1*(-48)/(-20). Suppose -2*u - w = -2*s, 2*u + u = -s - 10. Suppose 5*p - s*x = 79 - 13, -4*p + 4*x = -48. Is p prime?
False
Let j(t) = t + 2. Let n be j(0). Let i = 4 + 0. Suppose -5*d + 89 = 4*b, i*d + 29 - 75 = -n*b. Is b a composite number?
True
Let v = 2054 - -2261. Is v prime?
False
Let y(x) = 0 - x**2 - 7*x - 5 + 25*x. Is y(12) prime?
True
Let g = 200 - 119. Suppose m - g = 2*m. Let i = -46 - m. Is i a composite number?
True
Let g = -11 - -6. Let i = g - -228. Is i prime?
True
Let m = 0 - 2. Let z(c) = 34*c - 12. Let d be z(-7). Is m/(-12) - d/12 prime?
False
Suppose -3*k + 92 = k. Is k composite?
False
Suppose -5*z - 831 = -13416. Is z composite?
True
Let t(m) = 5*m - 4*m - 1 - 2*m - m**2 + 3*m**2. Let p be t(-1). Suppose -5*d + 3*j = -3*d - 53, -p*j + 130 = 4*d. Is d prime?
True
Let v = -1 - 0. Let r be ((-1 - 1)*v)/1. Is r - (1 - 8)*5 a composite number?
False
Let r(c) = -2*c**3 - c**2 + 2*c + 2. Let n be 10/(-35) + (-12)/7. Let f be r(n). Let z = 75 - f. Is z a composite number?
True
Suppose 3*w + 3*f - 1326 = 0, 2 = 2*f + 10. Is w a composite number?
True
Let s = 21 - 15. Suppose -3*m + s = -99. Is m a composite number?
True
Let u = -7 - -11. Let t(z) = z**3 - 4*z**2 + 1. Let m be t(u). Suppose -19 = -a - 3*f, -2*a + 3*a - 3*f - m = 0. Is a a composite number?
True
Let x = 1440 + 95. Is x composite?
True
Suppose -2*u + l + 23 = 0, -4*l + 68 - 16 = 4*u. Let t = u + 107. Let x = t + -30. Is x a prime number?
True
Let k(u) = -22*u**3 - 2*u**2 - 2*u - 1. Let o = -2 - -1. Is k(o) a composite number?
True
Let m = -6 - -6. Suppose 2*f = -m + 4. Suppose c + 2*d - 23 = 7*d, 0 = c + f*d + 5. Is c composite?
False
Let l = 18 - 12. Let n(z) = 5*z**2 - z + 89 + 2*z - l*z**2. Is n(0) a composite number?
False
Let p = -119 + 202. Is p prime?
True
Suppose 25 = 5*z, 3*w = 5*z - 3*z + 32. Let h = w - 1. Is h a prime number?
True
Suppose 4*s + s = 5965. Is s composite?
False
Suppose -4*d = 4*w - 12, -w - w = -5*d - 6. Suppose 2*h - 1174 = -d*h. Is h a composite number?
False
Let a = -3 - -18. Let k = a + -10. Suppose k*d = d + 1060. Is d prime?
False
Is 1/(0 - 3)*-942 prime?
False
Suppose 450 = -s + 3*s - 4*z, -2*s = 4*z - 434. Suppose k - s = -60. Is k a prime num