 -2*y + 11 = -13. Suppose -5*l = 2 - y. Suppose 0 = -i - l*q + 119, 2*i - 627 = -3*i - 2*q. Is i prime?
True
Let q be -11 + 9 + 3 + 0. Let g(b) = 3066*b**3 - b + 2. Is g(q) prime?
True
Let d(v) = 19*v**2 + 4*v - 5. Let g(x) = x**3 + 2*x + 17. Let r be g(0). Let y = r + -15. Is d(y) a composite number?
False
Suppose 4*w + 3*k + 2*k = 1813, 2*w = 4*k + 926. Suppose -2*c = -a - 3*a - 244, -140 = -c - 4*a. Suppose -d - c + w = 0. Is d a prime number?
False
Let r = 40558 - 10725. Is r a prime number?
True
Let w(p) = -p**3 - 19*p**2 + 9*p - 43. Is w(-20) composite?
True
Let s = 311 - 203. Let q = 385 + s. Is q a composite number?
True
Let h(o) be the third derivative of 0*o + 0 - 1/24*o**4 + 55/6*o**3 - 2*o**2. Is h(0) a prime number?
False
Let s(p) = -16*p - 9. Is s(-12) a prime number?
False
Let y(o) = -o**2 + o + 2. Let j = -41 - -44. Let k be y(j). Is -2*((-183)/2 + k) a prime number?
True
Suppose 3 = -3*h - 15. Let v = h + 8. Is 2/((v/257)/1) prime?
True
Let g be 322 - 2 - (-2 + 0). Suppose -2*v = -p - 17 - g, v - 166 = -3*p. Is v composite?
True
Suppose 3*k - 2*a - 2117 = 0, 3*k - 2*a = -7*a + 2089. Suppose -5*z + k = p + p, 285 = 2*z - 3*p. Is z a composite number?
True
Suppose 3*j - 2*j = -4*n - 2, 0 = j + n - 1. Suppose -496 = -j*t - 2*v, -t - 4*v = -28 - 211. Is t a prime number?
True
Let z(l) = -2*l**3 - 3*l**2 + 2*l + 6. Let i be z(-2). Suppose -i*w + 1194 + 4248 = 0. Is w a composite number?
False
Suppose 2*z = -6 - 6. Let k be 954*(-2 + (-16)/z). Is k - -4*(-2)/8 prime?
False
Let f = 865 - -394. Suppose 3*g + 353 = f. Is g a prime number?
False
Suppose -l = -4 + 2, -2*k + 338 = -l. Let j = k + 147. Is j a composite number?
False
Suppose -4*x - q + 3632 = 0, -16*q - 16 = -20*q. Is x composite?
False
Let w = 12039 - 7966. Is w composite?
False
Let w(j) = j**3 + 24*j**2 + 13*j + 7. Is w(-10) a prime number?
True
Let b = 53887 - 30090. Is b composite?
True
Suppose 3*d + 4*o - 187 - 616 = 0, 4*d = -2*o + 1074. Suppose t - d = -695. Is (2 + 1)/((-18)/t) a prime number?
True
Let b be (1 - 2 - -4)/(-1) + 3. Suppose b*x + 6349 = 7*x. Is x a composite number?
False
Let o = 19 - 13. Let x(n) = n**3 + 5*n**2 - 2*n + 4. Let u be x(o). Suppose 0*f + 4*f - u = 0. Is f a composite number?
False
Let q(p) = 11*p**2 + 8*p - 62. Is q(5) composite?
True
Is (-515*(0 + -4) - 4) + -3 composite?
False
Let t be 235/75 - 4/30. Suppose -t*x = 2*n - 59, -2*n - x + 2*x + 39 = 0. Is n a prime number?
False
Let z(i) = 381*i + 4. Let f(l) = -4*l - 38. Let y be f(-10). Is z(y) a prime number?
False
Let u be (-2)/(-6) + 5280/9. Let i = 56 - u. Is 2/8 - i/4 a composite number?
True
Let n(v) = 86*v**2 + v + 26. Is n(5) composite?
True
Let u = 59 + -53. Suppose u*n = 8*n - 226. Is n prime?
True
Suppose 3*x - 6*o = -11*o + 5847, 5*x - 9745 = -4*o. Is x a prime number?
True
Suppose 1184 = -l + y, -y = -2*y + 5. Suppose -3892 = 5*q - w, 0*q - 3*w - 3106 = 4*q. Let g = q - l. Is g a prime number?
True
Let l be 6/9 - (-710)/6. Suppose 2*c + 5*u + 6 = 0, -2*c - 2*c - u = -6. Suppose 0*m - 4*m = 5*v - l, m - 32 = -c*v. Is m composite?
True
Suppose -2*h + 2*z + 1682 = -8202, -3*z + 3 = 0. Is h composite?
False
Suppose -7*k = 14333 - 37482. Is k a prime number?
True
Let v(j) = 931*j**2 - 22*j + 56. Is v(3) prime?
True
Let n(a) = -a**3 + a**2 - a + 279. Let h be n(0). Suppose -p = -262 - h. Is p a prime number?
True
Let b = 285 - 36. Let a(j) = 5*j**3 + 3*j**2 - 2*j - 4. Let s be a(-3). Let f = s + b. Is f a prime number?
False
Let c(o) = o**3 + 16*o**2 + 23*o - 5. Suppose 15 = -4*i - 25. Is c(i) a composite number?
True
Suppose -2*f + 12059 = -a, 0 = -4*a + 7 - 11. Is f a prime number?
True
Suppose b + 42 = -b. Let n = b - -21. Suppose n = -2*o, -4*c - o = -c - 1545. Is c composite?
True
Let v = -19 - -22. Suppose 0 = x + 8 - 3, -5*y + v*x + 330 = 0. Is 3*7/(y/66) composite?
True
Let i(r) = r**2 - 7*r + 13. Let k = -39 + 28. Is i(k) composite?
False
Suppose 0 = -f + 9658 + 95. Is f prime?
False
Let t = -30 - 14. Is (-110124)/t + (-2)/(-11) prime?
True
Let h be (0 - -2)/(-2) - -4. Let u be 160/15*(h - 0). Let a = u + 659. Is a composite?
False
Let t(c) = c**2 + 6*c + 5. Let w be t(-5). Let i = 110 - 49. Suppose -n = 2*g - i, w = -g - 5*n + 15 + 11. Is g a composite number?
False
Let l(g) = -163 - 106*g + 128 + 314*g. Is l(6) a prime number?
True
Let s(k) = 2407*k - 75. Is s(8) prime?
True
Let j(q) = -591*q + 13. Is j(-10) a composite number?
False
Let i(a) = 58*a**2 + 6*a + 3. Suppose 5*v - 6 = 3*v. Suppose v*d - 1 = 4*o, 2*o - 4*d - 28 = 4*o. Is i(o) a composite number?
False
Suppose -9 + 21 = 4*f + 3*j, 0 = 5*j - 20. Suppose f = 3*h - 8*h + 3475. Is h a composite number?
True
Let j = 44 + -19. Let i(b) = 7*b**2 - b - 4. Let c be i(2). Let n = j + c. Is n composite?
False
Suppose 213396 = 13*b - b. Is b a prime number?
True
Let h(j) = 1829*j**2 + 26*j + 8. Is h(5) prime?
True
Let q(y) = y**3 - 43*y**2 + 17*y + 124. Is q(51) composite?
False
Let c(n) = 36*n**3 + 29*n**2 - 10*n - 30. Is c(13) prime?
True
Let h be 2/(3 + 136/(-44)). Let y be (-336)/(-88) + (-4)/h. Is 1161/(-45)*(-1 - y) a composite number?
True
Let f = 78 + -78. Suppose -n - u + 323 = f, -u + 945 = 3*n - 4*u. Is n prime?
False
Let f = -4609 - -9972. Is f a composite number?
True
Let a(o) = o. Let l be a(2). Suppose 5*z = -5*b + 7865, 5*z - 2*b = l*z + 4694. Suppose -3*g = -2*i + z, -3929 = -5*i - 0*g + 3*g. Is i composite?
False
Let o(p) = p**2 + 18*p + 21. Let s be o(-17). Suppose d = 5*m + 1404, -s*m + 2878 = -d + 3*d. Suppose 0 = -4*i + d - 369. Is i a prime number?
False
Suppose 4*h - 2*r - 22 + 2 = 0, -h + r + 3 = 0. Suppose -h*o + 1275 = -2*o. Suppose 6*k - o = k. Is k a prime number?
False
Let x = -2774 - -7952. Let l = x - 3649. Is l a prime number?
False
Let f = 10107 + -6140. Is f composite?
False
Let b(y) = -43*y - 7. Let f(h) = -43*h - 7. Let c(t) = -4*b(t) + 5*f(t). Is c(-6) prime?
True
Let x(l) = 5*l**2 + 40*l - 23. Is x(10) composite?
False
Suppose -8 = -2*l - 4*y, 3*y + 0*y = -4*l + 6. Suppose l = 4*z - 5170 - 1002. Is z prime?
True
Suppose -5*z = -0*z - 10. Let b be 2 - (-1)/2*z. Suppose -2*s = 5*m - 362, -4*m - 577 = -b*s - 3*m. Is s a prime number?
True
Let c = 13233 - 9036. Is c composite?
True
Let t(x) = 30580*x**2 - 3*x + 2. Is t(1) a prime number?
False
Let y = 31 - 26. Let t be 9 + (y - (3 + 1)). Suppose t*u + 155 = 11*u. Is u a prime number?
False
Suppose 0 = -4*f - 40 + 52. Is 399 - 0 - 1 - f composite?
True
Let z = 1356 - 725. Is z a prime number?
True
Let x(v) = 4048*v**3 + v**2 + 4*v - 4. Is x(1) a composite number?
False
Suppose 0 = 2*p + 3*p - 4*n + 320, 5 = n. Is p/(-40)*(-526)/(-3) composite?
False
Let m(l) = 76*l + 1. Let b(f) = -5*f - 4. Let j be b(-2). Is m(j) a composite number?
False
Let y(v) = 2*v + 11. Let p be y(-4). Suppose 3*g - 558 = p*d, -4*g - g - 4*d = -975. Is g a prime number?
True
Let t(r) = 13*r - 3. Let d be t(2). Let y = d - 42. Is -22 - y - 164/(-2) a prime number?
True
Suppose 18 = 4*q + 10. Suppose -11 + 9 = -q*f. Let c(v) = 642*v**2 - 2*v + 1. Is c(f) composite?
False
Suppose 0 = -4*z - 5*g + 8241, 5*z - 15656 + 5356 = -5*g. Is z a composite number?
True
Let r = -16 + 17. Let m be (-3)/(-3)*-149*r. Let j = m - -252. Is j a composite number?
False
Suppose 130*k - 46344 = 106*k. Is k composite?
False
Let g(a) = a**3 - 7*a**2 + 7*a. Let p be g(5). Let i = 14 + p. Let n(f) = -190*f - 3. Is n(i) composite?
True
Let i = -44109 + 75118. Is i a prime number?
False
Let c(f) = -24*f**2 - f + 4. Let l be c(3). Suppose -333 = -s - 4*d + 3*d, 0 = s + 5*d - 321. Let y = s + l. Is y prime?
False
Is -14*(97563/6)/(-17) a prime number?
False
Let v(y) = -4 - 8 - y - 2*y + 4*y. Let l be v(6). Let f(i) = 6*i**2 - 2*i - 5. Is f(l) a prime number?
True
Let i(b) = -154*b**3 - 3*b**2 + 4*b + 19. Is i(-4) prime?
True
Let z = -547 - -1669. Suppose -8*b + 10634 - z = 0. Is b prime?
False
Suppose -x + 2*j + 1366 = 6*j, -5*x + 4*j = -6782. Let s = x + -559. Is s composite?
True
Let s be (8/5)/((-20)/150). Is 586*(-6)/s*7 composite?
True
Let j(t) = 64*t**2 + 3*t - 36. Is j(-7) prime?
True
Let p(j) = j**2 - 7*j + 15. Let x be p(8). Let d = -33 - -81. Let h = x + d. Is h composite?
False
Let a(u) = 588*u**2 - 16*u + 13. Is a(2) composite?
False
Let x = -1231 - -3473. Suppose -x = -11*c + 