*w**2/2 + 3. Let f(z) be the second derivative of u(z). Is f(-4) composite?
True
Let q be 6 - (-1 - -2*2). Suppose 2*n + q*c + 8 = 163, -5*c = 5. Is n prime?
True
Suppose 0 = 4*n + 2*y - 1776, 3*n - 4*y = -2*y + 1339. Is n a composite number?
True
Suppose 8*s = 5*s + 291. Is s a composite number?
False
Let v(s) be the first derivative of 2*s**3/3 - 7*s**2/2 + 6*s - 5. Is v(13) a composite number?
True
Let o(d) = 3*d - 1. Let s be o(-5). Let n be ((-3)/(-6))/(2/s). Is 46/3*(-6)/n a prime number?
True
Suppose 9*g - 1470 = 339. Is g composite?
True
Suppose 111*q - 110*q - 337 = 0. Is q prime?
True
Let p = -9 + 12. Suppose p*j + 3*i - 240 = 0, -j - 2*i = -3*j + 172. Is j a prime number?
True
Suppose -4*b = 5*r - 37, -5*r + 5*b = -0*r - 10. Suppose -4*p + o - 18 = -o, 2*p + r*o = -39. Let c(t) = -8*t - 7. Is c(p) a prime number?
False
Let o be 67/(-2)*12/(-2). Suppose -4*i - 201 = -3*p, -3*p - 3*i + 4*i + o = 0. Is p a composite number?
False
Let z = -115 - -488. Is z a composite number?
False
Suppose -2*y + 17 = -49. Is y a composite number?
True
Let s = 510 - 245. Is s a prime number?
False
Let y(m) = 3*m**3 + 3*m**2 - 2*m + 7. Let h be y(-3). Let q = h + 62. Is q composite?
True
Suppose 2*m = 4*n + 394, 2*m - 615 = -m - 2*n. Is m a prime number?
False
Suppose 0 = 34*l - 29*l - 2930. Is l a prime number?
False
Let x(n) = -n**3 + 5*n**2 - 3*n - 1. Let t be x(4). Let l(f) = 43*f**2 - 2*f - 4. Is l(t) a composite number?
True
Suppose -16*l + 23*l = 2093. Is l composite?
True
Let g be 2*(1 - 258/(-4)). Let f be 6*(0 - (-6)/9). Suppose 5*k = -f*o + 72, -g = -5*o + 3*k + k. Is o a composite number?
False
Suppose -k + 0*p - p = -6, 2 = -3*k + p. Let c = -37 - -57. Let o = c - k. Is o composite?
False
Suppose -4 = u + u - 4*o, -5*u - 3*o = -3. Suppose u = -w - 3*i + 95, -i - 291 = -5*w + 120. Is w a composite number?
False
Let h = -419 + 1088. Is h prime?
False
Let p(c) = 34*c - 42. Is p(4) a prime number?
False
Suppose 4*o - 4*n = -0*o + 152, 3*n = -9. Is o a composite number?
True
Let z(q) = -153*q + 1. Let w be z(-1). Is w/8 + 1/(-4) prime?
True
Suppose -5*j - 153 = 3*p - 605, -303 = -2*p - 5*j. Is p a prime number?
True
Is (3 + -1)*(-15592)/(-16) a composite number?
False
Let j(c) = 2*c**2 + 4*c + 13. Is j(-9) a prime number?
True
Let i = -361 + 714. Suppose i = 4*t + 37. Is t prime?
True
Let u(t) = t**2 + 8*t - 1. Let d be (-75)/(-10) - 3/2. Is u(d) prime?
True
Suppose -4*q - q - 2*x = -11, 3*x - 13 = -4*q. Let j(v) = 2 - 6 + 3 + 0 + 38*v. Is j(q) a prime number?
True
Suppose -5*f + 1227 = -1108. Is f composite?
False
Suppose -4*v + n + 0 = 7, -2*n + 5 = v. Let o be 0/((1 - v)/2). Suppose 2*a + 3*w - 1 = 8, o = 2*a - 4*w - 30. Is a a prime number?
False
Suppose 25 = -5*k, -5*s + 123 = 4*k - 242. Let n be s/5 - 4/10. Let u = n + -6. Is u composite?
True
Let c be 410/(7/((-294)/(-4))). Is c/18 + (-3)/18 a composite number?
False
Let k = 51 + 76. Is k a composite number?
False
Let o be 3*1*(-5)/(-3). Is 432/o - 2/5 composite?
True
Let d(k) = k**2 - 3*k - 7. Is d(-5) a composite number?
True
Let i be 3/12 + (-5738)/8. Suppose 3*l + t = -910, -4*l - l - 1516 = 2*t. Let q = l - i. Is q composite?
True
Let p(j) = 11*j**2 + j**3 - 4*j + 10*j + j + 3. Is p(-8) composite?
False
Let i(a) = 8*a + 1. Let t be i(1). Is (-2)/(-6) + 348/t composite?
True
Suppose 4*y + 5*o = -15, -3 - 3 = y + 2*o. Suppose 0*t + 2*t = y. Suppose 0 = -t*l - 3*l + 339. Is l prime?
True
Let s(t) = -t**3 + 4*t**2. Let g be s(4). Let o(b) = -b**3 + 6*b**2 + b - 2. Let f be o(6). Suppose -f*h - 2 = 6, g = c + 3*h - 7. Is c a prime number?
True
Let u(q) = -8*q**3 + 3*q**2 - 2*q + 2. Is u(-5) a prime number?
True
Let z = 56 - 94. Let l(o) = o**2 + 11*o + 5. Let a be l(-6). Let g = a - z. Is g composite?
False
Let g(a) = -a**2 - 8*a + 12. Let d be g(-9). Suppose -2*u + d = -5*j + 17, -j + 2 = 0. Is u/((-2)/77) + 2 composite?
False
Let k(g) = 513*g**2 - 9*g - 7. Is k(-3) a composite number?
False
Let y be (-17)/(-2)*(10 + -2). Let a = y - 44. Let u = a - -1. Is u composite?
True
Let n(k) = k - 6. Let g be n(6). Suppose 3*c = -g*c + 12. Suppose 0*f + 76 = c*f. Is f composite?
False
Let n(k) = k**3 + 6*k**2 - 4*k + 7. Is n(5) a composite number?
True
Let x(u) = u**2 + u. Let l be x(0). Let c be -1*(3 + -2)*l. Suppose c = -2*v - 2*v + 140. Is v composite?
True
Suppose 2*t + i = 3, -3*t - 5*i = -t + 1. Suppose -3*c = -3*z - 162, -t*z - 83 = -c + 25. Let p = 107 + z. Is p a composite number?
False
Is -1347*1*4/(-12) a composite number?
False
Suppose 0*x + 705 = 3*x. Is x a composite number?
True
Let y(t) = t**2 - 6*t - t - 3 + 1. Let z be y(8). Suppose -2*f + 0*f = -z. Is f a prime number?
True
Let z(w) = 11*w**2 + 12*w - 14. Let v(t) = -5*t**2 - 6*t + 7. Let f(n) = -7*v(n) - 3*z(n). Is f(-5) composite?
False
Let i(y) = 2*y**2. Suppose 0*k - 9 = 3*k. Let u = k + 4. Is i(u) composite?
False
Let v(i) = 9*i**2 - 14*i + 13. Is v(12) prime?
False
Suppose 0*p + 2*p + q - 14 = 0, 4*q = -2*p + 26. Let b(g) = 15*g + 8. Is b(p) a prime number?
True
Suppose -4*c + 141 = -5*a, -5*a - c - c - 147 = 0. Let f = a - -82. Is f composite?
False
Let j(w) = -w**2 - 11*w - 10. Let r be j(-10). Suppose r = 2*i + 43 - 173. Is i a prime number?
False
Let y = 185 + -72. Is y composite?
False
Is (2 - 1)*(1 + 148) a composite number?
False
Suppose 0 = -b + r + 62, 0 = -4*b + r - 154 + 387. Suppose 2*v = -v + b. Is v composite?
False
Is -4*683*17/(-68) prime?
True
Suppose r - 292 = -0*r - j, 1462 = 5*r + 3*j. Is r a composite number?
False
Let g be (0 + -4)/((-14)/(-4403)). Let q = -461 - g. Is q a prime number?
True
Suppose -3*f + 2267 = -256. Is f a prime number?
False
Let b = -4 + 4. Suppose 2*t - 8 = -b. Suppose 0 = t*o - 36 - 344. Is o a composite number?
True
Let t(k) = k**3 + 12*k**2 - 6*k + 13. Is t(-8) a prime number?
True
Let d(n) = 4*n**2 - 5*n + 5. Suppose 4*k = -0*k + 24. Let i be d(k). Suppose p - i = -36. Is p a prime number?
True
Is 5 + (-6 + 4)*-1164 composite?
False
Let a(o) = -448*o + 55. Is a(-4) prime?
True
Let z = 585 - 256. Is z composite?
True
Let r(y) = -2*y**2 - 1. Let n(i) = -5*i**2 - i - 1. Let b(d) = -4*n(d) + 7*r(d). Let p be b(2). Let l = p + 2. Is l prime?
True
Let g(k) = -16*k - 11. Is g(-10) a prime number?
True
Let h(z) = -z - 340. Let l be h(0). Let x = 577 + l. Is x a composite number?
True
Let s(v) = v**3 - 2*v**2 - 4*v + 4. Let z be s(3). Let q = 4 + z. Suppose -3*m = -q*j - 0*j + 96, 0 = -2*m + 6. Is j prime?
False
Suppose 2*w - 64 = -18. Let m = 246 - w. Is m composite?
False
Suppose 0 = 5*i - 10 - 0. Suppose -5*f + k = -399, i*f + 0*k = -2*k + 150. Is f a prime number?
True
Let r = -74 + 108. Let p(y) = -y + r*y**2 + 2*y - 2*y. Is p(-1) a prime number?
False
Let r = -8 + 1. Let l = r + 10. Suppose -l*f + 40 = -71. Is f composite?
False
Is (2 - 0)/(2/7) a prime number?
True
Let a(m) be the first derivative of 115*m**3/3 + 1. Is a(1) a prime number?
False
Is (1 + 472)/(1 - 0) prime?
False
Suppose -4*g = 3*j - 3685, -j + 3*g = g - 1215. Is j a prime number?
True
Let i be 2/4 - (-358)/4. Let o be ((-10)/(-3))/((-4)/i). Let m = o + 130. Is m prime?
False
Suppose -q = q + 3*v - 14, 4*v - 10 = -2*q. Suppose -3*z - 4 = -q. Suppose r + 3*i = 92, z*r = 6*r + 4*i - 271. Is r prime?
True
Let r(v) = 3*v. Let b(q) = -q - 5. Let k be b(-7). Let f be r(k). Suppose 2*g - f*g + 2*y = -196, 0 = 5*g - 5*y - 245. Is g a composite number?
True
Let k = 101 + -194. Let h be k - (-1 + 0) - -1. Let x = -14 - h. Is x a composite number?
True
Let m(k) = -k**3 + 9*k**2 + 2*k + 15. Is m(8) a composite number?
True
Let s = 74 - -23. Let r = -39 + 91. Let t = r + s. Is t prime?
True
Is (-124*5/(-30))/(2/3) a prime number?
True
Let o be 0/(-2) + -2 - 144. Let l be (o/(-8))/((-3)/(-12)). Suppose 0 = -5*v, -4*z - 17 + l = 3*v. Is z a composite number?
True
Let y(k) = -k**2 + 1. Let s be y(2). Let z = 3 + s. Suppose -5 - 9 = -2*r - 4*x, r + 5*x - 1 = z. Is r prime?
True
Let k(x) = 6*x**3 + 3*x**2 - x + 19. Is k(5) composite?
False
Let x be 2/(-3) - (-262)/6. Suppose -3*f + 66 = 2*a + a, -a + x = 2*f. Is f prime?
False
Let d(h) = 133*h + 2. Let i be d(2). Let x be 3 - (3/15)/(2/10). Suppose 0 = -2*f - j + i, 4*f - j - x*j = 526. Is f composite?
True
Suppose -p - d - 49 = -2*p, 5*p = -d + 257. Is p a prime number?
Fa