Let n(y) = -y**3 - 4*y**2 - 3*y - 3. Let v be n(-3). Let x be (1/v)/(3/9). Let z(m) = -164*m**3 - m**2 - m - 1. Is z(x) prime?
True
Suppose 3 = 2*j + 129. Let y = j + 152. Suppose 4*k - 5*g = y, -3*g - 46 = -5*k + 75. Is k a composite number?
True
Let m = 5 + -1. Suppose -o + m*o = 147. Is o a composite number?
True
Let k(i) = 226*i**2 + i + 17. Is k(-6) a composite number?
False
Is (3/(-2))/((-9)/15666) prime?
False
Suppose 0 = -2*a - a + 168. Let x = a - 9. Is x a composite number?
False
Let t(q) = -3*q**3 + 2*q + q + 3*q**2 + 0*q. Let k be t(3). Let a = k - -82. Is a a composite number?
False
Suppose w = -4*w. Let v = w - 0. Suppose v = -0*a - 2*a + 66. Is a prime?
False
Suppose 5*b + 6570 = -5*z, 4*b + z = 5*z - 5288. Let l = -905 - b. Is l a composite number?
True
Let p(r) be the second derivative of -r**3/2 + 5*r**2 + r. Suppose -58 = 7*f - 9. Is p(f) prime?
True
Let t(n) = n**2 - 8*n + 8. Let d be t(8). Let k = d + 8. Let j = 35 - k. Is j composite?
False
Let h = 72 + 181. Let n = -35 + h. Is n composite?
True
Let u(l) = -6*l - 17. Is u(-14) prime?
True
Let s be -1 - (-24 + (-2)/(-2)). Suppose -a = -4*x - s, 28 = 4*a - 4*x - 0. Suppose -i - 122 = -4*d - a*i, 0 = -2*d - 4*i + 54. Is d a prime number?
True
Suppose 4*g + g - 295 = 0. Is g composite?
False
Suppose -g + 125 = 5*n - 318, 0 = 4*n + 2*g - 352. Is n composite?
False
Suppose 8*m = 6*m + 70. Suppose -m = -f - 0*f. Is f composite?
True
Is 268 + (-1)/(-3)*(-3)/(-1) a composite number?
False
Let w = 1781 - 858. Is w composite?
True
Let z(d) = d + 2. Suppose s = 3, 0*s = 2*l + 3*s - 15. Let n be z(l). Suppose n*m - 5*i - 10 = 0, -2*i - 3 = -5*i. Is m prime?
True
Is (-546)/(-10) - 4/(-10) a prime number?
False
Let j = -53 + 142. Is j prime?
True
Let c = 2 - 4. Let i be c/(-6) - 284/(-3). Suppose 5*w = -0*w + i. Is w composite?
False
Let b(q) = q**2 + 17*q + 8. Let t be b(-7). Let n = t + 277. Is n prime?
False
Let i(q) = 150*q**3 + 2*q**2 - 2*q + 1. Let z be i(1). Suppose -418 = 5*m + v, -v = 5*m + 3*v + 412. Let f = z + m. Is f a prime number?
True
Suppose -2*z - 2*z = -52. Is z a composite number?
False
Suppose 12 = 2*w + w. Suppose -d - 5 = -2, 2*x = w*d + 194. Is x a composite number?
True
Let q = -6 - -9. Is ((-1)/q)/((-6)/1746) prime?
True
Let r = 1359 + -726. Is r a composite number?
True
Let n be (3 - 0)/((-5)/60). Is n/(-24) + 382/4 a composite number?
False
Let x = -166 - -389. Is x composite?
False
Let w be (-4)/14 - 48/(-21). Let u be 3 - (-1)/((-2)/w). Is 69/u - 2/(-4) a prime number?
False
Let t be (-5)/(5/(-2))*2. Suppose 0 = 4*x - p + 5, -20 = t*x + 5*p - p. Is x/(-8) - (-438)/8 composite?
True
Let j(y) = 6*y**2 - 2*y - 1. Let p = -1 + 3. Suppose -4 = w - p*w. Is j(w) a composite number?
True
Is (-14 + 0)*73/(-2) a prime number?
False
Suppose 0 = 9*a - 5*a - 1324. Is a composite?
False
Suppose -2*t - 1012 = -2*h - 3*t, -5*h = 4*t - 2524. Suppose 0 = -i - 3*i + h. Is i a composite number?
False
Suppose 0*b - 9 = 2*b + 5*g, -3*b - 5*g = 6. Suppose c = b*z + 22 + 59, 0 = 4*c + 4*z - 356. Is c composite?
True
Suppose a - 2*a = -2*s + 4, -3*s - 3*a = -6. Is (-3)/3 - s*-28 composite?
True
Suppose -4*t - 4*f = -260, -2*f - 1 = 1. Suppose t = -2*z + 422. Is z a composite number?
True
Let i be -1 + 1 + 108 + -1. Suppose 2*k = -l - 1, -2*k - 4*l - 2 - 2 = 0. Suppose k = -j + i - 14. Is j a composite number?
True
Is (-6)/(-4)*118/3 a composite number?
False
Let j(d) = d**2 - 2*d + 6. Let y(x) = -x**3 - 4*x**2 - x. Let z(l) = -2*l + 4. Let f be z(4). Let v be y(f). Is j(v) a prime number?
False
Suppose 9*o = 6*o. Is (3 - 560)/(-1) + o a prime number?
True
Let h = 526 - 267. Is h a prime number?
False
Let x(k) = 2*k + 1. Let t be x(-1). Let b = t + -2. Let u(c) = c**2 - 2*c - 2. Is u(b) a prime number?
True
Let b(z) = z**2 + 22. Let w be b(0). Let i be (w/6)/(2/18). Is 1/((-63)/i - -2) a prime number?
True
Let l(b) = 99*b**3 - 2*b**2. Let m be 1*(0 + (3 - 2)). Is l(m) a prime number?
True
Let d = 29 + 65. Is d a composite number?
True
Suppose -5 = -10*g + 5*g. Is (g + -18)/(6/(-30)) composite?
True
Let g(z) = 2*z + 7. Let o be g(-7). Let n(q) = q**3 + 11*q**2 + 6*q - 5. Is n(o) a composite number?
False
Let s(y) = -2*y + 5. Suppose -3*d = -4*q + d + 8, 0 = -5*q - d + 10. Suppose -3*o - 35 = q*b - 8*o, -25 = 2*b - 3*o. Is s(b) a prime number?
False
Suppose -4*i + 430 + 7274 = 0. Suppose 5*r - 59 = i. Is r a composite number?
False
Let l = 5 + -11. Let k(w) = 11*w - 10. Let a(o) = -6*o + 5. Let j(d) = l*k(d) - 13*a(d). Is j(6) composite?
False
Let d = 177 - 9. Let q = 263 - d. Suppose 3*a - q = 22. Is a prime?
False
Let o(j) be the first derivative of -67*j**2/2 - j + 3. Let c(t) = 34*t + 1. Let d(k) = -7*c(k) - 4*o(k). Is d(2) a prime number?
False
Suppose 0 = 4*t - 2*o - 118, -o + 2 = -3. Suppose -t = -2*c + 266. Is c prime?
True
Let w = 958 + -651. Is w prime?
True
Suppose -1310 = -7*f + 2*f - 5*s, 271 = f + 4*s. Is f a composite number?
True
Suppose 5*a - 6*a = -57. Let x(h) = 29*h**2 + 3*h. Let y be x(-2). Let n = y - a. Is n a composite number?
False
Suppose 3*w - 2019 = -0*w. Is w a prime number?
True
Suppose -2*b = -1212 - 1874. Is b a prime number?
True
Let x(w) = w**3 + 10*w**2 - 13*w - 15. Let g be x(-10). Suppose 4*n - 25 = g. Suppose -2*s + 35 = -n. Is s composite?
True
Let u = -1091 - -1770. Is u prime?
False
Suppose -5*x + 10*x + 142 = 2*v, -5*v = -4*x - 355. Suppose v = 3*p - 58. Is p a prime number?
True
Suppose -140 = -5*m + 115. Is m a composite number?
True
Suppose -4*s = -l + 2*l - 1821, 2*l = s - 444. Is s prime?
False
Suppose 0 - 1 = -l. Let t be (-17 - l)/(4/(-10)). Let w = t - -42. Is w composite?
True
Is (-3)/4 - (-8565)/12 a composite number?
True
Is 0 + 127 + -3 + 3 a prime number?
True
Let b = 1351 + -800. Is b a prime number?
False
Let g(k) = -2*k - 4. Let z be g(-3). Suppose -u + 92 = -j, -4*u - z*j + j + 363 = 0. Suppose 0 = 2*o - 67 - u. Is o prime?
True
Let x(c) = -c**2 + c + 1. Let m be x(0). Let a(l) = 2*l - m + 2*l + 0*l. Is a(2) a prime number?
True
Suppose -3*g = -4*g + 54. Let o = 107 - g. Is o a composite number?
False
Let h(t) = 23*t**2 - t + 3. Let z be h(-3). Let b = -414 + 772. Let u = b - z. Is u a prime number?
False
Is 7998/21 + 1/7 prime?
False
Let x(v) = 122*v + 15. Let j be x(5). Let r = -368 + j. Is r prime?
True
Let y = 5 - 5. Suppose 0 = -y*o - 3*o. Suppose r = -o*r + 55. Is r a prime number?
False
Suppose 4*x + t - 2833 = 0, -3*t + 4*t + 702 = x. Is x a composite number?
True
Let v = 3 - 5. Let t be 2 + (-1)/((-3)/(-159)). Let i = v - t. Is i composite?
True
Let x(m) = 86*m**2 - 1. Suppose 5*t = -w + 1, -2*t - 11 = -t + 3*w. Is x(t) a composite number?
True
Let b be (-4)/16 + 10/8. Let i be ((-3)/4)/(b/(-4)). Suppose 4*t + i*g = 200, -3*g - 2 = -14. Is t a prime number?
True
Let i be (3 - 2)*(20 + 2). Let n = -4 - 5. Let c = n + i. Is c prime?
True
Let q be 1*(0 - -1*2). Let r be -1*q + (1 - -1). Suppose -3*p + 55 + 11 = r. Is p prime?
False
Suppose 0 = 3*k + 161 + 1165. Let m = 629 + k. Is m composite?
True
Suppose n = -3*n + 5*b - 13, 10 = 2*b. Suppose n*v = -10 + 181. Is v a composite number?
True
Let g = 10 - 8. Suppose -g*f + 213 = s, -5*f = s + s - 431. Is s composite?
True
Let r = 109 + -14. Is r a composite number?
True
Let c(d) = d**3 + 3*d**2 - d + 2. Let l be c(-3). Suppose 0*g = l*w - 4*g - 459, -3 = 3*g. Is w prime?
False
Let w(u) = u**2 - 3*u + 2. Is w(4) a prime number?
False
Let x(g) = -g**2 - 9*g. Let n be x(-6). Let q = n + -12. Let u = -2 + q. Is u a composite number?
True
Suppose 4*g - g + 2*u = 387, 4*u = -5*g + 643. Is g prime?
True
Suppose 9 = 3*z, 2147 + 2226 = 4*l - 5*z. Is l a prime number?
True
Let u(h) = -h**3 - 5*h**2 + 5*h - 5. Let o be u(-6). Suppose -3*j = -o - 17. Is 412/12 + 4/j a composite number?
True
Let h = -249 + 940. Is h prime?
True
Let k(z) = -3*z**3 + 8*z**2 - 4*z + 7. Let h(t) = -t**3 + t**2 + t. Let j(v) = h(v) - k(v). Is j(7) a prime number?
False
Let n(p) = -4*p**3 - 4*p**2 + 2*p + 5. Is n(-3) a prime number?
True
Let m be (-28)/(-6) - (-6)/(-9). Suppose -5*d + 4*n = -249, 2*d - m*n = 151 - 49. Is d prime?
False
Let m(y) = -y**2 + 9*y + 1. Let c = -11 + 19. Let s be m(c). Suppose 28 = q - s. Is q a prime number?
True
Let o(c) be the second derivative of 17*c**3/6 - c**2 + 4*c. Is