a prime number?
True
Let s be 3 + 0 + 1*-1. Let t(o) = -2*o - 2. Let c be t(-1). Suppose -7*l + s*l + 445 = c. Is l prime?
True
Suppose 70 = 5*d - 3*d. Let s(a) = -a**3 - 2*a**2 + 3*a + 6. Let j be s(-2). Suppose -5*z - d + 130 = j. Is z a prime number?
True
Let o be (6 - 7) + (1347 - 0). Is (-10)/(-30) + o/3 a composite number?
False
Let j(m) = -m**3 - m + 5. Let s be j(0). Suppose -k + 3*c - 2*c - 7 = 0, -s*k - 3*c = 43. Let q = 43 - k. Is q prime?
False
Let q = -10 + 15. Suppose b - 3*n + 14 - 34 = 0, -b = -q*n - 28. Suppose -b*w = -9*w + 97. Is w composite?
False
Let m = -133 - -133. Suppose m = -2*v + 5*v - 2274. Is v a prime number?
False
Suppose -5*n = 5*n - 15110. Is n prime?
True
Suppose 5*f = -734 + 5049. Is f prime?
True
Let q = 5563 + 5202. Is q a composite number?
True
Is 20/(-270) + 503201/27 composite?
False
Let p be -5*(0 + 4 + -6). Is p/(-100) - 4263/(-30) a composite number?
True
Is 730945/21 - 11*(-26)/3003 composite?
False
Suppose -72*j = -60*j - 297060. Is j a prime number?
False
Let l(g) = g**2 + 0*g - 9 + 5*g**2 - 2*g. Let c = -8 - -13. Is l(c) prime?
True
Suppose 2*i = -3*i + 15. Suppose 0*p = 5*h - 5*p - 1875, -4*h = i*p - 1514. Is h a prime number?
False
Let h = 871 + -424. Is h composite?
True
Suppose -5*y + 13759 = 3*i, -2*i + 9162 = 3*y - 5*y. Let q = 7356 - i. Is q composite?
True
Let c be 9 - 5/((-3)/(-3)). Suppose 12398 = 5*m - 3*u - 8367, 4*u + 16612 = c*m. Is m a prime number?
True
Let u = 285467 + -191886. Is u a prime number?
True
Let w be 17/17 + (-13)/(1 - 0). Is w/(-8)*118*(-4)/(-6) composite?
True
Let c(q) = 15*q**2 + 4*q + 23. Is c(10) a prime number?
False
Let t(b) = -86 - b + 111 + 49*b**2 + 186*b**2. Is t(-5) prime?
False
Let b = 42 - 44. Is (b/8 + (-3009)/(-12))*2 a composite number?
True
Suppose -2*q + 11 = -25. Is (-18)/q + 3*53 a prime number?
False
Let b = 545 - -3512. Is b a prime number?
True
Suppose -88467 = -5*o - 2*x, 3*o + 3*x + 6441 = 59523. Is o composite?
True
Let m(n) = -n**3 - 13*n**2 + 17. Let d be 1/(((-2)/6)/((-15)/(-3))). Is m(d) a composite number?
False
Let a(o) = o**3 + 89*o**2 + 83*o - 79. Is a(-86) composite?
True
Let p = -6 + 8. Let x be (-2)/p + (-10 - -17). Suppose 3*i - 160 = -g, -3*i - g = -x*i + 158. Is i a composite number?
False
Suppose -6*l = -1074 - 2268. Suppose -l = v - 2*v. Is v prime?
True
Suppose 18 = r + 71. Is r/((-4 - -7) + -4) composite?
False
Let x be 0 + (-2 - -3)*4. Let p(k) = 1 + 4 - x + 18*k. Is p(7) a prime number?
True
Let i(a) = -a**3 - 11*a**2 + 11*a - 23. Let f be i(-12). Let u(d) = -d**3 - 4*d**2 + 41*d - 15. Is u(f) a composite number?
True
Suppose -2*f + 3 = -1, 5*f = j + 5. Suppose 10*w = j*w - 3*x + 25, -4*w - 2*x = -18. Suppose 5*u = w*u + 261. Is u composite?
True
Let t(h) = h**2 + h - 1. Let y be t(-3). Suppose -y*r + 1069 = -4*l, r + 39 = -3*l + 268. Is r prime?
False
Let s(l) = -2*l**2 - 3*l + 10. Let k be s(6). Let g = -191 - k. Let t = 196 + g. Is t a prime number?
False
Let o(g) be the third derivative of -g**6/40 - g**5/15 + g**4/6 - 4*g**3/3 - 3*g**2. Let t be o(-7). Let i = t - 328. Is i prime?
False
Let u(b) = 10*b**2 + 2 - 8 + b**3 - 14*b**2 + 3*b. Let h be u(4). Suppose 0 = h*x - 3*x - 645. Is x prime?
False
Let j(n) = 72*n**2 - 25*n - 14. Is j(-9) composite?
False
Let v = 6467 - 2913. Is v a prime number?
False
Let i(j) = 4945*j - 45. Let s be i(-7). Is 3/(-2)*s/30 a composite number?
False
Let k be ((-5)/2)/(6/(-72)). Let r be (-2)/6*k/(-5). Suppose -l + r*l = 397. Is l a composite number?
False
Suppose -74926 = 122*v - 124*v. Is v composite?
False
Let y(q) = -q**3 - 5*q**2 - 5*q. Let r be y(-4). Suppose -5*n = r*x - 118, -2*n + 52 = -x + 5*x. Suppose -3*l - n = -4*l. Is l a composite number?
True
Let g = -9 + 9. Let q = -40 - -68. Suppose 2*v - 6*v + q = g. Is v prime?
True
Let r = -22 - -16. Let u be -116 - 1/(3/r). Is ((-2)/3)/(4/u) prime?
True
Let v(h) = 35*h**3 + h**2. Let p be v(1). Let s = 0 + p. Suppose 3*k - 2*q - 36 = -2, -2*q + s = 2*k. Is k a composite number?
True
Let t(l) = -4*l**3 + l**3 - 30 - 2*l + 13 - 9*l**2 + 4*l**3. Is t(11) a composite number?
True
Suppose 3*j = -6 + 18, 0 = 4*d - 2*j - 17060. Suppose -3*l + 3 = -0*l, -4*g + l = -d. Is g composite?
True
Suppose 8*n - 6972 - 556 = 0. Is n prime?
True
Let j be (0 - 1)*4 - -57. Suppose 2*c - 269 = j. Is c a prime number?
False
Let c(b) = -b**3 + 10*b**2 + 10*b - 14. Let d be c(8). Suppose 4 = -5*i + d. Is i prime?
False
Let h = 126289 + -68538. Is h a composite number?
False
Suppose 0 = -7*d + 64410 + 68821. Is d composite?
True
Let z = -3 - -6. Suppose -5 = -2*u + 70*i - 71*i, 0 = -5*u - i + 14. Suppose -8*c + 3*c + 2*t = -565, u*t = z*c - 330. Is c a composite number?
True
Let b be (8/(-10))/(6/(-45)). Is b/4*(-3556)/(-42) composite?
False
Let m(u) = u - 2. Let w be m(-6). Let b = w + 8. Suppose s = -b*s + 143. Is s a composite number?
True
Suppose 18*a + a - 70243 = 0. Is a prime?
True
Suppose m - 3*m + 2*r = 24, 0 = -5*m + 3*r - 66. Let l(c) = c**2 - 7*c + 1. Is l(m) a composite number?
False
Suppose 0 = 6*f - 2*f + 4*y, 4*y = -5*f + 4. Suppose f*s = 7*s - 633. Is s a prime number?
True
Let d = -8 - -13. Let k(f) = 2 - 1 - d*f - 17*f + 0. Is k(-1) a prime number?
True
Let p(n) = 144*n**2 - 11*n - 17. Is p(-8) a composite number?
True
Let l = 12 - 15. Let j = 5 + l. Suppose 4*x + j*w = 3*w + 329, 4*x - 5*w = 317. Is x a prime number?
True
Let i be (-2)/(-4) + 1503/18. Let m = i - 40. Is (-3075)/(-33) + (-8)/m prime?
False
Suppose -4*g = -4*q, -2 = 2*q - 0. Is (2/4)/g*-354 composite?
True
Let d be (-187596)/(-84) + (-4)/14. Suppose -d = -14*x + 7*x. Is x prime?
False
Let b = -41 + 51. Let w(t) = 14*t**2 - 3. Is w(b) prime?
False
Let z(y) = 3*y**2 - 1. Let c be z(7). Let s = c + -72. Is s a composite number?
True
Is 10 - -819 - (2 + (-2)/1) prime?
True
Let q = -525 + 1163. Suppose -g = 5*v - q, -4*g - g - 366 = -3*v. Is v a prime number?
True
Suppose -8*k + 7*k = -60213. Suppose -13*w + k = 15272. Is w composite?
False
Let y = -297 - -1038. Suppose -54*t + y = -51*t. Is t a prime number?
False
Let g(u) = 2*u**2 - 35*u + 55. Let x be g(-30). Let n = 4446 - x. Is n composite?
True
Let i(h) = 571*h + 271*h + 17 - 8. Is i(2) prime?
True
Let f(v) = 4*v**3 - 12*v**2 + 109*v + 9. Is f(10) composite?
True
Let y be ((-75)/10 - -5)/((-2)/(-172)). Let n(a) = 16*a**3 - 2. Let v be n(-2). Let l = v - y. Is l a composite number?
True
Let r(g) = 356*g**2 - 3*g + 8. Is r(-2) prime?
False
Let l = -156 + 480. Suppose -5*u + 4*v + l = -u, -v + 5 = 0. Let d = u - 15. Is d composite?
False
Let f be 2 + 2 + -1 + (-2 - -4). Is 2/(f + (-27666)/5534) a composite number?
False
Let h(m) = -m**3 + 6*m**2 - 3*m - 6. Let u be h(5). Suppose -u - 6 = -5*b. Suppose b*c - 8*c = -942. Is c a prime number?
True
Let r(a) = -a**2 - 3*a - 9 + 5*a**2 - 10*a**2 - a**3. Is r(-11) composite?
True
Let u(z) = -154*z + 31. Let w(h) = -153*h + 31. Let y(s) = -5*u(s) + 6*w(s). Is y(-4) a prime number?
False
Let o be 3 + (-5)/15*3. Suppose 0*j + 4*j = o*v + 236, 0 = j + v - 53. Is j prime?
False
Let o = 8811 + -5168. Is o composite?
False
Suppose 42*j - 6912 - 84354 = 0. Is j composite?
True
Is ((-473192)/(-20) + 3/(-5))/1 a prime number?
False
Is ((-70)/15 - -3)/(60/(-132156)) composite?
False
Let d = 31 + -58. Let v = d - -78. Is v composite?
True
Let c(w) = -17*w**3 + 4*w - 1. Let z(h) = -h**3 + 22*h**2 - 2. Let s be z(22). Is c(s) a composite number?
False
Suppose 0 = -6*j + 4*j + 12142. Is j a composite number?
True
Let m = 12003 + 3416. Is m a composite number?
True
Let q(g) = g**3 + 6*g**2 - 2*g - 19. Is q(16) a composite number?
False
Let n(x) = x - 1. Let r(z) = z**2 + 20*z - 1. Let b(f) = 6*n(f) - r(f). Let h(u) = -u**2 - 5*u. Let w be h(-6). Is b(w) a composite number?
False
Suppose 0 = 3*n + 4*b - 5037, 8 = 4*b - 4. Suppose 0 = 18*y - 13*y - n. Is y a prime number?
False
Is (-185)/111 + (-9332)/(-3) a composite number?
False
Suppose 0 = -5*r + 10. Suppose -x + 302 = i, 2*i + 311 = 3*x - r*x. Is x a composite number?
True
Let l be (-46)/(-12) - (-1)/6. Suppose 5*o - 2227 = -2*k + l*o, 2*o = -6. Is k a composite number?
True
Let f be -8 - (1 - 2/2). Let t be 2 - (f/1)/4. Suppose -t*x = -35 - 17. Is x prime?
True
Let n = 15 - 11. Suppose -c - n*a = c - 606, -c + 278 = -3*a. Is c prime?
True
