
True
Let m(k) = 2*k**2 + 10*k - 8. Let l be m(-6). Suppose 16 + 658 = -3*a + l*c, 4*a = -c - 886. Is (1/(-2))/(3/a) composite?
False
Suppose -1 - 7 = -2*r. Suppose r = 3*a + m, -5*m + 2 = -18. Suppose a = -d + 2 + 13. Is d composite?
True
Suppose -316 = -w + 3*v, 652 + 567 = 4*w + 3*v. Is w a prime number?
True
Suppose -5*x + z + 54 = 3*z, -2*x + 3*z = -33. Is 45/3 + x/3 prime?
True
Let c be (1 - 1)*(-1)/2. Suppose c = -3*l + 2*r + 1091, 0 = -2*r - 8. Is l prime?
False
Let r = 410 + -212. Let i = r + -110. Let a = 89 + i. Is a a prime number?
False
Let l be 15/(-2)*14/21. Let s be ((-1)/(1/l))/1. Suppose -4*z + 194 = 3*g - 2*z, s*g = 3*z + 298. Is g a composite number?
True
Let n(a) = 498*a**2 - 2*a + 3. Is n(1) a prime number?
True
Let c be (-221)/(-34) + (-1)/2. Suppose c*a = a + 745. Is a a composite number?
False
Suppose 0 = -3*m + 4 + 11. Let p = m - 2. Suppose 0 = p*f - 1094 + 173. Is f prime?
True
Let i(b) = -b**3 + 8*b**2 + 12*b - 9. Let s be i(9). Let f be (-60)/(-24)*s/5. Suppose f*h - 10*h = -77. Is h prime?
False
Suppose -8*s + 6*s = -340. Suppose -4*y = s - 1166. Is y a prime number?
False
Let s(d) = d + 1. Let g be s(4). Suppose -g*v + 2*i = -6*v - 6, 3*i + 2 = -5*v. Suppose -a = -5*o + 1176, 0 = -o + 3*a - v*a + 236. Is o a composite number?
True
Let n(f) = 275*f**2 + 134*f + 527. Is n(-4) prime?
True
Suppose -2153 = 4*a - 5*d, -2685 = 5*a - 8*d + 3*d. Is 1/(a/(-530) + -1) prime?
False
Let g(h) = -h**2 - 8*h - 3. Let s be g(-7). Suppose s*q = 7*q + 759. Let w = q + 572. Is w composite?
True
Let f(c) be the third derivative of c**5/60 + c**4/24 - 19*c**3/6 - 6*c**2. Is f(-11) a prime number?
False
Suppose 2*d = 34042 - 6764. Suppose 4933 = x - 5*q + 376, -3*x + d = q. Is x composite?
False
Let t be 12 + -10 + (-2)/1. Suppose t*s + 4692 = 12*s. Is s composite?
True
Suppose -2*f + 46 = -5*y, 29 = 2*f - 2*y - 5. Suppose f - 306 = -c. Is c a prime number?
True
Let j be ((-1)/3)/((-22)/132). Suppose 0 = -3*c - j*c - 5*d + 1010, 0 = -3*c - 2*d + 609. Is c prime?
False
Let j(n) = n**2 + 2*n + 2933. Let i be (-3 - -3) + (4 + -4)/(-4). Is j(i) composite?
True
Let h(b) = -3*b + 5*b - 2*b + 1 + 37*b**2 + 11*b. Is h(-5) composite?
True
Suppose -4*w + 3*m + 32382 = 0, 0 = 2*w + 9*m - 7*m - 16198. Is w prime?
False
Let v(x) = 7*x**2 + 2*x - 5. Let g be v(8). Let i = 1457 - g. Let k = i - 664. Is k composite?
True
Suppose -15237 = 36*v - 45*v. Is v composite?
False
Suppose -3*c + c + 3*h + 7 = 0, c - 2*h = 4. Suppose 0 = c*g - 3*g + 31. Suppose -5 = -5*b, -g + 3179 = 3*t + b. Is t a composite number?
False
Let z(c) = 2*c. Let j(g) = -2*g - 1. Let d(b) = 2*j(b) + 3*z(b). Let h be d(4). Is 2/h*(-3 - -2034) a composite number?
False
Is 289282*(63/14 - 4) a composite number?
True
Let g = 6 - 6. Suppose g*x = -x + 4*s + 451, -x + s = -448. Is x composite?
True
Let r(s) = 2 + 3*s**2 + 3*s - 2*s**2 - 19. Let l be (-2)/5*1435/(-82). Is r(l) a composite number?
False
Suppose -1 - 1 = 2*y. Let o(u) = -210*u + 1. Is o(y) composite?
False
Suppose -4*m - 10 = -30. Suppose -756 = -m*y + 7159. Is y a composite number?
False
Let r(w) = 2*w**3 + 6*w**2 - 14*w - 4. Let a(l) = -l**3 - 7*l**2 + 13*l + 4. Let h(p) = 3*a(p) + 2*r(p). Is h(9) prime?
True
Is 2 - (12 + -13)/(1/9921) composite?
False
Let q(s) = -11104*s - 23. Is q(-1) a composite number?
True
Let u be 2 + -1 + (72 - -3). Suppose u = b - 47. Is b prime?
False
Let a be ((-3)/(-2))/(0 + 3/48). Suppose -a*b + 3945 = -19*b. Is b prime?
False
Let t = 2936 + 10281. Is t a prime number?
True
Let u = 2331 - 4150. Let b = 2892 + u. Is b composite?
True
Suppose -75*r + 79*r = 4156. Is r prime?
True
Suppose 4*c - 15 = c. Suppose 0 = o + c - 60. Is o prime?
False
Suppose 4*q + 2*n = 4*n, 0 = -3*q + 4*n. Suppose q = -3*u + 12. Suppose -u*b = -t + 2*t - 2350, -5*b + 2*t = -2931. Is b a prime number?
True
Let q(o) be the second derivative of o**4/4 + 5*o**3/6 + 5*o**2/2 - 18*o. Is q(-8) a composite number?
False
Let s = 10604 + -6123. Is s a prime number?
True
Let u = -233 - -562. Suppose u = 3*q - 2*b, 4*b - b + 438 = 4*q. Is q a prime number?
False
Let f(j) = j**3 + 30*j**2 + 40*j + 57. Is f(-28) a prime number?
False
Suppose l = -2, -5*i - 5*l + 474 = -3*i. Let f = i + 17. Is f a composite number?
True
Is -5 - -2 - (-9728)/4 composite?
True
Let v be (7 - 8)/(2/(-2938)). Suppose -5*f + 2*s + v = -0*f, -s = -3. Is f a composite number?
True
Let i = -40 + 40. Suppose -4*t - l + i*l = -1055, l = 3*t - 800. Is t composite?
True
Let z(a) be the first derivative of 2/3*a**3 - 5*a - 2*a**2 - 4. Is z(-5) prime?
False
Is 140385/4 + (-30)/(-40) a prime number?
False
Let x be 1/(3/45*-3). Is 0 + (-10)/x + 1071 a prime number?
False
Let j(z) = z**3 - 43*z**2 - 4*z - 46. Is j(44) a composite number?
True
Let o = 4897 + -1406. Is o a composite number?
False
Let h = 35 + -35. Suppose h = b - 92 - 21. Is b composite?
False
Let i(z) = 573*z**2 - 13*z + 13. Is i(5) a composite number?
True
Let a be (-2)/(-8) - 692/16. Let i = 0 - a. Is i prime?
True
Let b be (3 - 6/2)/(-5). Suppose f + 2*f + 12 = 0, 2*s - 3*f - 16 = b. Suppose 1314 = 4*o + s*y, o + 988 = 4*o + y. Is o a prime number?
True
Suppose 0 = 48*f - 704370 - 427134. Is f a prime number?
False
Let h be ((-27)/18)/((-1)/(-2)). Let p be (h/(-2))/(3/18). Is (701 + 0)/(p + -8) prime?
True
Suppose 3 = 2*o - 3*s - 3, -2*s + 4 = 0. Suppose -2 + o = -r. Is (54/r - 2)*-6 composite?
True
Suppose -v + 37443 = 2*q, 2*q - 26517 = -2*v + 48361. Is v composite?
True
Suppose 0 = -3*f + 83 + 3055. Suppose -2838 = -4*y + f. Is y prime?
True
Let r(h) = 339*h - 14. Suppose 4*i - 31 = w, 3*w - 9 = -18. Is r(i) a composite number?
True
Suppose 49 = 9*v - 23. Is ((-1759)/(-2) - 1)/(4/v) a composite number?
True
Suppose n - 5*l + 21 = 0, 0 = -4*n + l - 2*l + 21. Suppose 0*m + 59 = 3*o + 2*m, -76 = -n*o - 4*m. Is o a prime number?
False
Suppose -5*c = -q - 4410, 4*c = 2*c - 2*q + 1776. Let a = c - 439. Let p = a + -295. Is p a prime number?
True
Suppose 0 = 28*j - 29*j + 4379. Is j prime?
False
Let r = 1157 + -268. Is r a prime number?
False
Let y be 2*(4 + 4/((-8)/2063)). Let k = -370 - y. Is k prime?
False
Suppose 3*y + l = 38, y + 10 = 2*y + l. Is 4/y + (-19004)/(-28) a composite number?
True
Suppose 2*v + x = 6, v - 4*x = -2*v + 9. Let k(g) be the second derivative of 35*g**4/6 - g**3/2 + g**2 + 2*g. Is k(v) a prime number?
False
Suppose -34053 = -3*q - 2*o, -3*q - 2*o + o = -34053. Is q composite?
False
Suppose 4*w = 6*w. Suppose -7007 = -3*m + 4*p, -2*p + 2329 = m - w*m. Is m a prime number?
True
Let v = -102291 - -193346. Is v composite?
True
Let b = -7 - -10. Suppose -5*t - 2444 = -w - 0*t, 4*w - b*t - 9725 = 0. Is w a prime number?
False
Let m be 3 + 656/36 - (-4)/(-18). Is 3924/m + (-2)/(-14) prime?
False
Let a(v) = v**3 - 7*v**2 + 5*v + 4. Let o be a(6). Let r = -532 - -556. Is 2132/r + o/(-12) a prime number?
True
Let t(f) be the second derivative of 17*f**4/12 + f**3/3 - 13*f**2 + 29*f. Is t(5) a prime number?
True
Suppose -17*r + 11954 = -97985. Is r a prime number?
False
Suppose y + j + 1384 = -1113, -4980 = 2*y - 5*j. Let c = -1588 - y. Is c composite?
False
Let v = -13065 - -22738. Is v composite?
True
Suppose 3051 = 2*f - 3331. Is f composite?
False
Let m be 1/(4 + (-22)/6). Let y(u) = 3*u + 0 - m + 20*u. Is y(4) a composite number?
False
Let b(c) = -3546*c**3 + 12*c**2 + 12*c + 1. Is b(-1) prime?
True
Is (2 - -219772)*11/66 a prime number?
True
Let n = -2408 - -3529. Let o = n + 356. Is o a composite number?
True
Suppose 0 = 2*x + 17 + 11. Let v be 0 - 1 - (9 + x). Suppose 2*n = -w + 158, -w - v = -2*w. Is n a prime number?
False
Let a(l) = -623*l - 18. Is a(-11) a composite number?
True
Let b(c) be the first derivative of 20*c**3/3 + c**2/2 + 2*c + 29. Is b(-3) prime?
True
Is (-94)/(-4)*-62*-1 a prime number?
False
Let i be (-1)/6 - (-31)/6. Suppose -5*q = 10, 2*q = i*o - 3*q. Is (-3543)/(-21) - o/7 a composite number?
True
Let v(q) = q**3 - 24*q**2 + 78*q + 43. Is v(24) a prime number?
False
Is (-5 + 725)/2 + 2 prime?
False
Let w = 9080 - 5545. Suppose -q = -4, 4*q - 2077 = -4*i + w. Is i a prime number?
True
Suppose -5*i = -3*v - 6 - 0, -4*i - 2*v = -18. Suppose -5*c = -2*d, 0 = -i*d - 2*c - c + 21. Suppose -652 = d*t - 9*t. Is t a prime number?
True
Suppose q + 4 = -2*p, 0*