a prime number?
False
Let i = -8955 + 29608. Is i prime?
False
Let b(n) = n**3 + 79*n**2 - 313*n - 393. Is b(-64) prime?
False
Let u(t) = 167889*t**3 + 7*t**2 - 615*t + 1844. Is u(3) composite?
True
Suppose 2*n - a = 71797, -5*n = 3*a - 76798 - 102678. Is n prime?
True
Suppose 4*w - 416816 = -4*x, 13*x = 12*x - 3. Is w a prime number?
True
Let n(a) = 2472*a**2 - 79*a - 59. Is n(6) composite?
True
Let r be 10/((-4998)/(-1253) - 4). Let k = r - -1368. Is k a prime number?
False
Suppose -4*j - 2*q + 4 = 0, 5*j + 3 + 5 = 4*q. Let d be (-21 + 3)*(j + (-6)/4). Suppose -21*x + d*x = 8382. Is x composite?
True
Let z(b) be the first derivative of 10*b**3 - 9*b**2/2 + 64*b + 194. Is z(7) composite?
False
Let f(c) = -2*c**2 + 20*c - 18. Let m be f(9). Let h be (12/15)/(2/5). Suppose m = 2*k + h*l - 1122, -2*l = 4*k + 3*l - 2242. Is k a prime number?
True
Let x(s) = -1449*s**2 - 2. Let u be x(-2). Suppose 2*p - 16754 = -4*o, 4*o + 15479 = -3*p + 40610. Let n = p + u. Is n a composite number?
False
Let g = -462 - -7787. Let y = -982 + 1016. Suppose -g = -39*i + y*i. Is i a prime number?
False
Let s be (1/(-4) - 2)/(14/18648). Let d = s + 8380. Is d prime?
False
Let d(u) = -u**3 + 15*u**2 + 35*u - 31. Let m be d(17). Is 24/m + (-22)/77 - -449 composite?
True
Let q = -69256 + 210965. Is q a composite number?
False
Let j = 947 - 829. Let c be 0/(-4) - 103*-1. Let o = c + j. Is o a composite number?
True
Let i = 341479 - 164108. Is i composite?
True
Is (12/(-8))/(10/2299480*-6) a prime number?
True
Let i be -16 - -3*4/12. Is ((7184/10)/(-2))/(6/i) composite?
True
Let o(c) = 240 + 2*c - 2*c**2 - 4*c + 815. Let h = 7522 + -7522. Is o(h) prime?
False
Let p(b) = 2*b**3 - 22*b**2 - b + 1. Let i be p(11). Is i*(-6)/30 - -1047 prime?
True
Let p be -3 + (-4 - 2742/3). Let o = -110 + p. Let i = -724 - o. Is i prime?
True
Let u(a) = -835*a - 56. Let n(s) = 1252*s + 85. Let v be ((-32)/12)/((-7)/(-3) - 2). Let o(w) = v*u(w) - 5*n(w). Is o(3) prime?
True
Suppose 2*u - 4*j - 18 = 0, 6*u - 3*j - 36 = 3*u. Suppose -u*h + 167289 = -81636. Is h a composite number?
True
Suppose -2*g + 3*d - 19 = 0, -5*d - 27 = 2*g + 2*g. Let o be 3/12 - g/(-32). Suppose 4*u - 4 = o, 85 = j + 4*u - u. Is j a composite number?
True
Suppose 3*p - j + 532 = 0, 14*j = 3*p + 10*j + 517. Let s = 1924 - p. Is s a prime number?
False
Let d(p) = -27*p + 28. Suppose -19 - 5 = -8*c. Let b be (-114)/9 + (-1)/c. Is d(b) prime?
True
Suppose 8*a - 5821 = -621. Suppose 2*k = 3*k + 5*o - a, 4*o + 3163 = 5*k. Is k a prime number?
False
Suppose -5*t + 705603 + 1508085 + 1158097 = 0. Is t composite?
False
Suppose -2*q = 8, 42*v = 37*v + 3*q + 371007. Is v a composite number?
True
Let y be ((-2)/3)/((-4)/30). Suppose y = 3*l - 2*l. Suppose -5*h = 4*n - 1601, 3*h = -n + l*n + 935. Is h prime?
True
Let k(z) = 17*z**3 - 12*z**2 + z - 7. Suppose 0 = -4*w - 5*i + 45, 0*w + 5*i = 5*w. Is k(w) a composite number?
False
Suppose -14*h - 3301304 = -4*k - 10*h, -3*h + 4126606 = 5*k. Is k composite?
True
Suppose 3*h = 10*h + 42. Let a(j) = -134*j + 9. Is a(h) composite?
True
Let t(d) = 8*d**2 - 19*d - 193. Suppose -17*l = -4*y - 20*l + 95, -3*y + 4*l + 90 = 0. Is t(y) composite?
False
Let z(r) = -r + 12. Suppose v - 14 + 7 = 0. Let n be z(v). Suppose -5*a - 1099 - 1081 = -n*x, -3*a + 3 = 0. Is x prime?
False
Let a(f) = 4208*f**2 + 191*f - 1376. Is a(7) a composite number?
False
Suppose 0 = 6*l - 3 + 3. Let b be (3 - l)/((-39)/26). Is (b/(-2) + 0)*(-1954)/(-2) prime?
True
Let l(v) = 767*v**3 + 6*v**2 - 45*v + 79. Is l(3) a composite number?
False
Let h(n) = 4*n - 15*n**3 + 16*n**3 - 19*n**2 + 9 + 40*n**2. Is h(-20) prime?
False
Suppose 16*m + 4074194 = 210*m. Is m a prime number?
True
Let j(x) = 2*x**2 + 15*x + 99. Let m(n) = 4*n**2 + 31*n + 196. Let a(b) = 9*j(b) - 4*m(b). Is a(-21) composite?
True
Let i = -5112 + -7960. Is -3*(i/24 - (2 - -1)) a prime number?
False
Suppose -1666936 = -2*d + 641*p - 639*p, -3*p - 3333869 = -4*d. Is d prime?
False
Is (-8)/6*6/4*(-188079149)/542 composite?
False
Let a = 25 - 46. Let t be a/9 + 2 - (-7)/3. Suppose 3*n - t*n - 293 = 0. Is n a composite number?
False
Suppose 0 = -3*p - 21, 28*p + 3000169 = 4*g + 25*p. Is g composite?
False
Let k = -36 + -40. Let p = -93 - k. Let w = 1344 + p. Is w a composite number?
False
Let t(g) = -10381*g + 344. Is t(-15) composite?
False
Let x(a) = -18*a - 17. Let l(n) be the first derivative of -n**2/2 - 5*n - 12. Let t be l(7). Is x(t) a composite number?
False
Suppose 0 = 4*p - 15 + 47. Let i(k) = 5*k**3 + 8*k**2 - 6*k - 6. Let r be i(p). Is (-10 - 2)/4*r/6 a composite number?
True
Let v = 63 - 65. Is (-270)/(-180) - 831/v a composite number?
True
Is 7 + ((1 + 0)/(7 + -6) - -79523) a composite number?
False
Suppose w - 4*l + 151 = -l, 0 = -5*w - 5*l - 755. Let s = w - -342. Is s a composite number?
False
Suppose -3*s = -t + 15505, 25*t - 20*t = -2*s + 77457. Is t prime?
True
Let v(g) = 5*g**3 - 4*g**2 + 7*g - 5. Let n be v(6). Let y be (-1 - -2)*1 - -1*n. Let b = y - 505. Is b prime?
False
Let n(y) = -4*y + 4127. Suppose 6 - 6 = -53*v. Is n(v) a composite number?
False
Let t(o) = 2200*o**3 - 9*o**2 + 54*o - 148. Is t(3) a composite number?
False
Suppose 0 = 3*z - 6*z + 4*r + 14, -r = z. Suppose -2*d = z - 10. Is (282/10)/((-4)/(-80)*d) composite?
True
Suppose -4*y + 2*d = -284, -29*y + 28*y + 5*d = -89. Suppose -y*s + 70*s - 2453 = 0. Is s a composite number?
True
Let t = -27440 + 28209. Is t prime?
True
Let g(n) = n**2 + 8*n + 17. Let b be g(-6). Suppose -47 = -b*p + 38. Let s = p + 70. Is s a prime number?
False
Is 1060/1484 - 946152/(-14) a prime number?
False
Suppose 3*z - 8 - 47 = 4*g, -2*z + 6 = 5*g. Suppose 3*v - 20 = -4*h, 5*v + 2*h = z + 11. Suppose -m = v*m - 1015. Is m a composite number?
True
Let q(v) = 2*v**2 + 6*v + 7. Let j be q(-2). Suppose -j*x + i + 1501 = 0, 2*x + i - 978 = -4*i. Is x a prime number?
True
Let u be (-1 + (-1 - -1))*-15. Let w(c) = -2*c + 30. Let z be w(u). Is ((-1492)/20)/(z - (-1)/(-5)) prime?
True
Let a(t) be the third derivative of -t**5/60 + 5*t**4/12 - 19*t**3/6 + 15*t**2. Let q be a(7). Let j(v) = 463*v**2 - 3*v + 1. Is j(q) prime?
True
Let x(y) = 7643*y**2 - 64*y + 82. Is x(7) prime?
False
Suppose -24769103 + 1846786 = -11*p. Is p composite?
False
Let v = 954 + -2945. Let q = -982 - v. Suppose -t + q = -5*z + 3*z, -4*z = -4*t + 4032. Is t composite?
True
Let j(t) = 82849*t**2 + 29*t - 31. Is j(1) a prime number?
True
Let i(v) = -3*v**3 + 18*v**2 - 13*v - 323. Is i(-21) composite?
False
Let a(w) = 74*w - 1. Let f be a(-1). Let g = f - -82. Let l(o) = 17*o + 10. Is l(g) prime?
False
Is 105/245 - 127304/(-28) a composite number?
False
Let x be 8/12 - (-16842)/9. Let r = x - -1119. Let w = r - 1622. Is w prime?
False
Suppose -68*p - 77*p = -11359735. Is p a prime number?
False
Suppose 4*m = -4*x + 683176, -5*m + 853970 = 5*x - 3*m. Suppose 12*z - x = -z. Is z prime?
False
Let w(y) = y**3 - 12*y**2 - 10*y - 10. Let i be w(9). Let j = i + 731. Let r = j + 19. Is r prime?
False
Let q be 5 + (-2 + -2 - -5). Let g be (6/(-4))/(q/16). Let r(k) = -229*k - 29. Is r(g) prime?
True
Suppose -m = 3*m - 3*v - 40, 0 = -2*v. Let k = 31 + m. Is (2 - 1) + k*24/2 a composite number?
True
Let o be (-18)/63 - (-368)/14. Suppose -2*n - 3*g = o, 2*n + 4*g + 20 = -10. Let u(l) = -199*l - 24. Is u(n) prime?
False
Let k = 601 + -598. Suppose -k*i - 674916 = -47*i. Is i composite?
True
Suppose -5*p = -2*b + 2, -b - 2*p = -4 - 6. Suppose b*x - 5*x = 5. Suppose 5*u - 455 = -2*o, -x*u + o + 0*o = -440. Is u prime?
True
Suppose -2*i = -22896 - 153526. Is i a composite number?
False
Suppose 0 = -19*w + 85 - 9. Suppose 4*m - k - 5598 = 4*k, 0 = -2*m + w*k + 2802. Is m prime?
False
Let j be 20/(-50) - (-246)/15. Suppose 5*u + 59 + j = 0. Let x(h) = -3*h - 14. Is x(u) a composite number?
False
Suppose 0 = -2*q - 4 - 8. Let s be 6/8*(-16)/q. Is 1/2 + 3021/s prime?
True
Suppose -2*f + 0*f = 54. Let z be 2/7 + f/21 + 9. Let w(c) = 25*c - 15. Is w(z) a prime number?
False
Is 2 - ((-2084540)/6)/((-36)/(-54)) a prime number?
True
Suppose -14 - 71 = 17*t. Is 9591 - 1 - (1*-2 - t) prime?
True
Suppose 0 = 5*i - 3*v - 271261, 51*i - 56*i + 4*v + 271263 = 0. Is i prime?
True
Suppose 251*r = 248*r - 6. Is (r/2)/((-1035)/(-259) + -4) prime?
False
Suppose 2*t + t