s = c - 1113. Is s prime?
False
Let x(v) = -4*v + 3. Let j be x(-3). Let c = j + -15. Suppose 49 = 3*q - 5*m, 4*q + c*q - 80 = 3*m. Is q a composite number?
False
Let l = 2288 - 1050. Is l composite?
True
Suppose 3*p + 2 + 9 = -5*g, -3*g - 9 = 3*p. Is (-3 - (p - 3))/(2/499) prime?
True
Let q(x) = x + 11. Let v be q(-6). Suppose 0*u + 1220 = 5*u + v*w, 0 = 4*u - 4*w - 936. Is u a composite number?
False
Let w be (-4)/(12 + 0)*-57. Let i = -19 + w. Suppose 3*h + 3 - 156 = i. Is h a composite number?
True
Suppose 10*i = 8*i. Let m be i - (13 + -3)*-5. Suppose 2*z + 3*a = m, z - a - 12 = 4*a. Is z prime?
False
Suppose -28 = 20*u - 28. Suppose 0 = w - 5. Suppose 4*b - 4*x - 1204 = u, w*b - 2*b + 3*x - 903 = 0. Is b prime?
False
Let h = 7248 + 2484. Let r = 15905 - h. Is r composite?
False
Suppose 5*o + 10 = 3*o - 4*d, 0 = -3*o + 2*d - 31. Let b be (0 - -1)/(-8 - o). Let n = 8 - b. Is n a prime number?
True
Suppose 3*v = -4*t + 138215, -230965 = -4*v - 4*t - 46677. Is v composite?
False
Suppose 4*j - 5084 + 1512 = 0. Let o = j + -546. Is o a composite number?
False
Let q = -2565 + 4412. Is q a prime number?
True
Is 159/(1*-2 + -4 + 7) composite?
True
Suppose h = 4*h - 18. Suppose -h*y + 4*y = 12. Let o(z) = -67*z - 7. Is o(y) a prime number?
False
Let z(p) = 34*p**3 + 4*p**2 - 7*p - 5. Let r(f) = -f**2 + f + 1. Let y(i) = -i**3 - i. Let s(o) = r(o) + y(o). Let d(t) = 5*s(t) + z(t). Is d(3) a prime number?
False
Let k = -3873 - -13880. Is k composite?
False
Suppose 4*m - 4 = 4*v, 3*m = -4*v + 3*v - 9. Is m + 4 + 1067 + -2 a prime number?
False
Suppose -2880 = -7*l + 515. Let h = l + -234. Is h prime?
True
Let b(p) = 16*p + 22. Suppose -3*o - 30 = -5*s, -4*o + 65 = 3*s + 2*s. Let l be b(s). Suppose a - 97 = l. Is a a prime number?
True
Let b = -77 + -58. Let i = 244 + b. Is i a prime number?
True
Let x(p) = -51*p + 38. Let c be x(6). Let i = c + 1629. Is i prime?
True
Let j(b) be the first derivative of -b**4/4 - 4*b**3/3 - 11*b**2 - 42*b - 2. Is j(-19) prime?
True
Is 92/(-46)*5323/(-2) a composite number?
False
Let a(x) = x**3 + 27*x**2 - 34*x - 41. Is a(-28) a composite number?
False
Is (-2 - (-1648)/6)/(22/33) a composite number?
False
Let b(i) = -6*i**2 - 11*i - 27. Let o(k) = -7*k**2 - 11*k - 27. Let n(t) = 5*b(t) - 6*o(t). Is n(-12) composite?
True
Suppose 7*z - 52 = 3*z. Suppose a + 31308 = z*a. Is a composite?
False
Suppose 16*g + 5489 = 26977. Suppose -4*k = -5*t + 3939, -4*t - 3*k = -1802 - g. Is t composite?
False
Let u be (-63)/(-15) - 4 - (-2)/(-10). Suppose 2*i = 4*j - u*i - 1066, -4*j - i = -1057. Is j a composite number?
True
Let u(c) = c**3 + 15*c**2 - 42*c + 9. Is u(-13) composite?
True
Suppose 19*a = 61396 + 57297. Is a prime?
True
Let h = 1501 - 711. Is h/3*45/30 composite?
True
Let g be (-4 - -1)*2/(-2). Suppose -f + 2618 = 3*c, 5*c - 3824 = g*f + 516. Is c composite?
True
Suppose -2*f + 24 = -4*g, 0 = -4*g - 14 - 2. Suppose -3*c - 765 = -f*v, -2*v + 2*c + 951 = 3*v. Suppose -3*w = -v - 372. Is w a composite number?
True
Is -2 + -5 + 5 + 879 a composite number?
False
Let b(n) = n**3 + 9*n**2 - 11*n - 14. Let h be b(-10). Let q(a) = -15*a + 42. Let u(p) = 4*p - 12. Let w(o) = 5*q(o) + 18*u(o). Is w(h) composite?
True
Let n(y) = 1 - 30*y + 4 + 37*y + 114*y. Let h be n(4). Suppose 7*j = 4*j + h. Is j prime?
True
Let s(b) = 9*b**3 + b**2. Let c be s(1). Suppose 0 = -0*d - 2*d. Suppose d = -5*w - c, u - 90 = 2*w - 4*w. Is u prime?
False
Let o(s) = 131*s**2 - 98*s - 11. Is o(6) prime?
False
Let f = 64149 + -42608. Is f composite?
True
Let v be 3*(-11)/(5/5). Let j = 78 - v. Is j composite?
True
Let v(w) = 388*w - 95. Is v(21) composite?
False
Let x = -31 + 36. Suppose -5*f + 20 + 5 = 0, -3*d - x*f = -37. Suppose d*y = -2*y + 198. Is y composite?
True
Suppose -5*k - w = -9188, 3*k - 8*k = -3*w - 9176. Let t = 1182 + k. Is t a prime number?
True
Let z = 457 + 400. Let v = 1348 - z. Is v prime?
True
Suppose 4*d - 12904 = 4*i - i, 0 = -5*d - 5*i + 16095. Is d a composite number?
True
Let a(k) = -102*k + 2. Suppose w - 3*h = -7, 9*h - 45 = -5*w + 4*h. Let f be a(w). Let v = -349 - f. Is v a prime number?
False
Is 11/(55/(-14))*(-70790)/4 a prime number?
False
Suppose -15 = -3*y - 0*y. Suppose x + 3*j - 68 = 78, y*x - 774 = -4*j. Is x composite?
True
Let w be (8/6)/(8*3/180). Suppose w = -2*q, b + 2*q + q - 38 = 0. Is b composite?
False
Suppose 12 = -3*u, y + 2143 = 4*y + 5*u. Suppose -2*n = -3*q + 719, 2*q - 5*q = -4*n - y. Is q prime?
True
Let a = 17 + -21. Let y(d) = -83*d + 29. Let g(c) = 21*c - 7. Let z(n) = -9*g(n) - 2*y(n). Is z(a) a prime number?
True
Let u(f) be the second derivative of 13/6*f**3 - 5/4*f**4 - 1/20*f**5 + 0 + 11/2*f**2 - 9*f. Is u(-16) prime?
True
Suppose 2*a = -2*c + 54, 0*a = 3*a - 9. Is (-24)/(-32) - 18*(-507)/c composite?
True
Suppose 0 = -2*z - z + 105. Suppose -2*h = -z - 115. Suppose -378 = -3*l - v, l + 4*v = 40 + h. Is l a composite number?
False
Let w = 600 + -203. Is w prime?
True
Suppose 4 = 29*z - 27*z. Suppose -7*k + 2*k + 2277 = -3*c, 0 = 2*c - z. Suppose -k - 60 = -4*a. Is a composite?
True
Let h = -28 + 20. Let c(t) = -66*t - 19. Is c(h) composite?
False
Let k be (-57)/(-9) + 2/(-6). Suppose 11*q + 175 = k*q. Is (-5201)/q + (-2)/(-5) composite?
False
Suppose -p + 3*g + 526 = 0, 0 = -p + 5*p - 3*g - 2104. Suppose 5*m - 1116 = l + 199, p = 2*m + 2*l. Is m composite?
False
Let a(w) = -w**2 - 9*w - 10. Let x(d) = d**2 + 8*d + 6. Let i be x(-5). Let v be a(i). Is 712/4*v/(-4) prime?
False
Suppose 5*k + 3*w + 22218 = 7*w, 0 = -3*k + 2*w - 13330. Is ((-5)/(-10))/((-1)/k) a prime number?
True
Suppose -79 - 1 = -5*y. Let n = 19 - y. Let s(k) = 27*k**2 - 4*k + 2. Is s(n) a prime number?
True
Let m = 28 + -25. Suppose 3*h - 820 = 4*q, h + 546 = m*h - 2*q. Is ((-10)/8)/((-4)/h) a composite number?
True
Let g(t) = -112*t. Let y be g(-3). Let a = y - 83. Is a prime?
False
Let m(w) = -6*w**2 - w + 1. Let k(f) = f**3 + 16*f**2 - 1. Let o be k(-16). Let a be m(o). Let b(h) = -51*h - 5. Is b(a) a composite number?
False
Let i(w) = -267*w - 8. Let c = -44 - -38. Let d be i(c). Suppose -2*b - 3*b - h = -d, 0 = 4*b + 4*h - 1272. Is b a prime number?
False
Suppose -7*c + 70 = -28. Is (-27)/(-63) + 2248/c a prime number?
False
Suppose 6498 = 2*o + 25*f - 30*f, 4*f = -2*o + 6462. Is o a prime number?
False
Suppose 2*w - 5*w = 2*p - 81209, -5*w - p + 135339 = 0. Is w a prime number?
True
Let t be (-12)/(-42) + (-99)/(-21). Suppose t*j - 1276 - 519 = 0. Is j a prime number?
True
Let b(h) = h**2 + 8*h + 5. Let a = 11 + -12. Let i(g) = 8*g - 2. Let v be i(a). Is b(v) a prime number?
False
Let c be 2 + 1 + 1 + -5. Let s be -3 - (4 + -10 + c). Suppose s*v - 374 = 2*v. Is v a prime number?
False
Let y(k) = 11 - 12 - k + 11*k + 60*k. Is y(6) prime?
True
Suppose 0 = -3*a - 4*k + 14 + 14, -k - 12 = -4*a. Suppose 0 = -a*i + 20 - 4. Suppose -739 = c - i*c + 5*u, 779 = 3*c + 5*u. Is c composite?
True
Suppose 3*q - 112 = -4*l, -56 = -3*l + q + 28. Let y be (-82)/(0 + 8/l). Let b = 496 + y. Is b prime?
False
Suppose -80862 = -33*l + 783045. Is l a composite number?
True
Is (-225520)/(-40)*1*1/2 composite?
False
Let w(m) = -174*m - 9 + 21*m - 7. Is w(-9) prime?
True
Suppose 325139 = 10*g + 115209. Is g prime?
False
Let o(n) be the second derivative of 5*n**4/3 + 5*n**3/2 - n**2/2 - 13*n. Is o(-6) a prime number?
False
Suppose -5*j - 251 = -2096. Let g = j + -224. Is g a composite number?
True
Let h be (3 + 2 + 0)*1. Suppose -z - 523 = 6*o - 2*o, h*z - 398 = 3*o. Let b = 48 - o. Is b prime?
True
Suppose 3*y + 7600 = 4*q, -6*q + 7*q - 4*y = 1887. Is q a prime number?
False
Is 34*(579/6 - -2) a prime number?
False
Let g be -562 + 3 + -2 + 2. Let w be (-4)/(-20) + g/(-5). Let d = w + -66. Is d prime?
False
Suppose -3600 - 2115 = -15*n. Is n a composite number?
True
Suppose 0 = -r + m - 8, r + 14 = 2*m + 1. Is r*((-9)/6 + 499/(-2)) a composite number?
True
Suppose -2*z - 3*d = -19, 3*z - 24 = z - 4*d. Suppose 2*y - 3*u = 212 + 231, -5*u + 467 = z*y. Is y prime?
False
Let t be -3*((-2)/(-3) + 2). Let y(s) = s**3 + 10*s**2 - 5*s - 5. Is y(t) composite?
False
Let p = -8368 - -26519. Is p a composite number?
True
Let p = 105 + -3. Suppose -r = p - 325. Is r composite?
False
Suppose 16*z - 9 = 87. Suppose -2*d + 5*d - 4*x - 10159 = 0, 3*x - z = 