2 + 10*s - 9. Let l be m(z). Is 1017/6*(-12)/l prime?
True
Let y(v) = -2*v - 4. Let j be y(-4). Suppose 0 = 5*i + 4*g - 2*g - 28, j*i = -2*g + 24. Suppose 0 = -i*n - 2*t - 0*t + 654, 485 = 3*n - 4*t. Is n composite?
False
Let j(s) = s**3 + 19*s**2 + 12*s - 11. Is j(-16) a prime number?
False
Let a(g) = -33*g**2 - 4*g - 4. Let d(m) = m - 18. Let p be d(15). Let b be a(p). Let v = -90 - b. Is v prime?
True
Let n(v) = v**3 - 4*v**2 - 4*v - 7. Let o be -1 + 3 - (-5 + 2). Let s be n(o). Is 4/(s - 0) + 55 prime?
True
Let f be (-1)/(-7) + (-1)/7. Suppose f = t - 2*t + 185. Is t a prime number?
False
Let t be 2/1*(-8 + 0). Let i = 20 + t. Suppose -i*f - 361 = -3*l - 1612, -3*f + l = -932. Is f a composite number?
True
Suppose 0 = 2*z + 2*q - 82, 3*q = 5*z + 5*q - 217. Suppose r - 536 - z = 0. Is r prime?
False
Is (-484)/(-8) - ((-15)/(-6) + -1) a prime number?
True
Let f(c) = -4442*c - 115. Is f(-10) prime?
False
Suppose -2*u = 5*b - 24, -2*b - b + 3*u + 6 = 0. Let v be 2/5 - (-13)/5. Is v/(6/b) + 287 composite?
True
Let c be (-7368)/(-14) - (-8)/(-28). Let p = -265 + c. Let n = p + -182. Is n composite?
False
Is 4/(-14) - ((-650808)/63 - -9) a composite number?
False
Is (-1)/((3 - 3 - -1)/(-12637)) a prime number?
True
Let c(i) = 55 + 25 + 48 - i - 34. Is c(0) prime?
False
Is (-6)/(-12) + 4/(-16)*-320282 prime?
True
Let x(g) = 4*g**2 + 3*g - 6. Suppose 2*b + 0*b - 8 = 0. Suppose 0 = -z + 3, -b*w + 0*z - 2*z = -18. Is x(w) prime?
False
Let x = -6095 + 8856. Is x a composite number?
True
Suppose 0 = -73*f + 76*f - 15909. Is f a prime number?
True
Let x = 44201 - 16260. Is x a composite number?
False
Let b = -59 - -67. Let x(d) = 11*d**2 + 11*d + 5. Is x(b) a prime number?
True
Suppose 759 = -55*z + 58*z. Is z a prime number?
False
Suppose 2*r = -3 + 11. Suppose 4*z = r*b + 3144, 5*z - 4*z + 4*b - 791 = 0. Is z a composite number?
False
Let o = 18 - 7. Let g = -20 + o. Is (-3355)/g + (-18)/(-81) a prime number?
True
Suppose 3*q - q = 10. Suppose 1356 = q*g - g. Is g a prime number?
False
Let z be (0/4 - -3) + -15. Let f be ((-117)/6)/(z/208). Suppose 2*m + 0*m - f = 0. Is m prime?
False
Let s(d) = 9432*d + 39004*d + 1 + 14971*d. Let b be s(2). Is b/143 + 2/11 a prime number?
True
Let u be (1 + -1)/(-1 + 3). Suppose -b - 3 - 7 = u. Is (-2225)/b - (-2)/4 prime?
True
Let p = 4115 - -1142. Is p a prime number?
False
Suppose 3*q + 14 = -4*h, -4*q + h + 9 = -2*q. Suppose -5*c + 2627 = 4*o, 3*c + q*o - 1052 = c. Is c a prime number?
True
Let d be ((-3)/(-2) - 1)*0. Suppose 2*x - 6 = -d*x. Is -57*(x - 30/9) composite?
False
Let a = 5 - 1. Let g be (a/6)/(3/(-9)). Is -2 - (g + -146 + 3) composite?
True
Let q(i) = i**3 - 5*i**2 - 4*i + 4. Let c be q(6). Suppose 0 = 2*u + 5*s + c, -3*u + 2 - 9 = -s. Is 114/u*26/(-4) composite?
True
Let k = 11 - 7. Let j(c) = c**3 + c**2 + 1983. Let v be j(0). Is v/6 - (-2)/k a prime number?
True
Let t = 12656 - 6493. Is t prime?
True
Let b = -110 - -2627. Is b a composite number?
True
Suppose 4*o + 3*a - 7285 = 0, -3*o + 0*a = a - 5460. Is o prime?
False
Suppose p + 191 = 1196. Suppose -3*s + p = -0*s. Is s a composite number?
True
Suppose 14*h = 17*h. Suppose h*r = -4*r + 4292. Is r a prime number?
False
Suppose 0 = -2*s + 4*w + 28, -4*s + 2*w = -3 - 59. Let u = s - 14. Suppose 1379 - 405 = u*d. Is d a composite number?
False
Let d be (3/(-2))/(9/(-24)). Let w(y) = 15*y**2 + 3*y - 2. Let j be w(2). Suppose -d*b + 164 = -j. Is b composite?
True
Let l(p) = -14*p**3 - 11*p**2 - 10*p + 34. Is l(-7) prime?
False
Suppose -10 = -4*n - 2. Suppose -3*g + n*r + 5535 = 0, 2*g - 7403 = -2*g - 5*r. Is g composite?
False
Let x be 4/(-12) - 20/(-6). Let f be x - (-1 + 0)*-1. Is f + 143 - 0 - 0 a prime number?
False
Let w(g) = g**3 + 5*g**2 + 2*g - 3. Let v be w(-4). Suppose 4*o + 0*u - 28 = 2*u, -5*o = v*u - 5. Suppose 4*h - o*h = -7. Is h a prime number?
True
Let c be (-7472)/16*6/4*2. Let g = c + 2474. Is g composite?
True
Suppose -11804 - 3795 = -19*w. Is w composite?
False
Suppose -4*u = 5*u. Suppose 3*p - 5*p + 8 = 0, -p + 5 = d. Is (-546)/(u + -3) - d prime?
True
Let i(n) be the second derivative of n**4/3 - 13*n**3/6 - 7*n**2/2 + 10*n. Is i(12) composite?
True
Let t = 35 - 35. Suppose t = p + 4*p - 2135. Is p composite?
True
Suppose 4*u + 3 = 5*u. Suppose -u*z + 0*z = -678. Suppose -2*q = -4*y - 226, -q - q + z = -3*y. Is q a composite number?
False
Let i be (-3)/6*6902/(-7). Let u = i + -56. Is u a prime number?
False
Let d = 42 - 37. Suppose 0 = d*q - 3*x - 770, -2*q - 294 = -4*q + 4*x. Is q prime?
True
Let r be (-20)/10 - (-11 + -1). Let k = r - 7. Suppose 191 - k = w - 5*u, -2*w + u = -358. Is w a prime number?
False
Let u be ((-8)/12)/((-6)/(-45)). Is (5 + u - (-2 + 1)) + 1368 a prime number?
False
Let m(j) = -j**2 - j + 6. Let h be m(-3). Is 1*(309 - h - -2) a composite number?
False
Let g = 186 - 123. Suppose -g = -5*c - 8. Suppose 0 = 2*m - 73 + c. Is m composite?
False
Let g(n) be the first derivative of -n**3/3 + 3*n**2 + 9*n + 4. Let h be g(7). Suppose 0 = 4*w + w + 4*s - 1867, -h*w - 5*s = -757. Is w a prime number?
False
Let i = 19 + -14. Suppose -i*r - 3*q = -6983, -6*r = -r - 4*q - 7011. Is r composite?
False
Let b = -132 - -135. Suppose 3034 = 2*h - b*n, -h = 3*n - 2*n - 1517. Is h a prime number?
False
Let u = -3029 + 6519. Let y = u + -1833. Is y a composite number?
False
Let n be (0 - -2 - 2)/(-2). Suppose n = 3*i - 5*i - 12. Is i/(-24) - 11385/(-12) composite?
True
Suppose 3*b = 4*b + 726. Let u = -2727 + 4594. Let a = u + b. Is a a composite number?
True
Suppose -25*y + 82*y - 2013867 = 0. Is y prime?
False
Let d = 1885 - -1376. Is d a prime number?
False
Let t(p) = 34*p**2 + 7*p + 11. Suppose -3*o = -x + 10 - 30, o - 2*x = 10. Is t(o) composite?
False
Let h(k) = 9*k - 20. Let l be h(3). Suppose 0 = -l*q + 815 + 354. Is q composite?
False
Let l(m) = -m**3 + 21*m**2 + 22*m + 8. Let c be l(22). Suppose -4*f = d - 129, -4*f = -c*d + 4*d + 436. Is d prime?
True
Let w(t) = t**2 - 12*t + 14. Let m be w(11). Suppose m*x - 2*b + 19 = 6*x, -3*x + 4*b = 11. Suppose 118 = -x*r + 4*r. Is r a composite number?
True
Suppose 8 = -2*g - 2*g. Let d be 2 + -2 - (-950)/g. Let v = 894 + d. Is v prime?
True
Let r = 23225 + -9876. Is r a composite number?
True
Suppose 0*v = -f - 2*v + 999, -3*f - v + 3017 = 0. Let d = f + -588. Is d composite?
False
Suppose -342345 = -23*w + 8*w. Is w a composite number?
True
Suppose -14*b = -27*b + 252239. Is b composite?
False
Let x(l) = 2*l**3 - 19*l**2 + 11*l - 14. Let i be x(9). Suppose 4 + 4 = 2*j + 2*a, -2*j + 22 = -5*a. Suppose -j = i*o - 242. Is o prime?
True
Let c = -20 + 23. Is (c - (-1 - -7))/(6/(-2174)) prime?
True
Suppose 5*l - 28966 = l - 3*m, 0 = -5*l + 5*m + 36225. Is l composite?
False
Let r(q) = 5*q**3 - 4*q**2 - 6*q - 4. Let h be r(-5). Is (-6)/(-3*(-2)/h) prime?
False
Let m be 1/((2/(-1))/(-4)). Suppose m*c - 13 = -5*d, 3*d - 5*c - 8 = 6. Suppose 2181 = 5*r + a, -r + d*a + 2197 = 4*r. Is r a composite number?
True
Let a(c) = -c**3 + 17*c**2 - 18*c + 33. Let d be a(16). Is (-5264)/(-21) + d/3 a composite number?
False
Let h(b) = -3*b**3 + 6*b**2 - 6*b - 6. Let o(n) = n**3 + n + 1. Let m(q) = h(q) + 5*o(q). Is m(8) a prime number?
True
Let w = -38965 - -66120. Is w composite?
True
Let h = 27013 + -14694. Is h a prime number?
False
Let s(c) = 3*c**2 - 4*c + 2. Let l = -9 - -12. Suppose l*t = f + 10 + 14, 4*t = 5*f + 43. Is s(t) a prime number?
False
Let y = 22 - 19. Suppose 2*n - 22 = -4*d - 4, -d + y*n + 15 = 0. Suppose -7 + 1688 = 3*a - 5*b, 3*b + d = 0. Is a a composite number?
False
Let b(x) = -x**3 - 7*x**2 - x - 11. Let n be b(-9). Suppose 2*h - 5*a = n, 544 = 4*h - a + 206. Is h prime?
False
Suppose 0 = -526*r + 537*r - 19745. Is r composite?
True
Is ((-287)/14)/(6/(-6756)) composite?
True
Suppose 4*q - 11*f = -14*f + 135944, 0 = -3*f. Is q a prime number?
False
Suppose 0 = -5*b + 4*w + 4736, 0*w - 1892 = -2*b + 4*w. Let i = 119 + b. Is i composite?
True
Let g be (-2)/2 + (-5)/(-1) - 1. Suppose 0 = k - 22 + g. Is k a prime number?
True
Suppose 0 = -42*v - 176261 + 1875287. Is v a prime number?
False
Suppose -2*v - 5*u + 53597 = 0, 44*v = 46*v + 4*u - 53598. Is v a composite number?
False
Suppose -1 = 2*t + i + 12, 5*i - 15 = 0. Let w(o) = -4*o - 5*o**2 - 7 + 3*o**2 + 3*o**2. 