Let t be j(-11). Let k = t + -129. Is k a composite number?
True
Is 2/4 + (-19495)/(-14) a prime number?
False
Let i(x) = 3*x**2 - 2*x + 3. Let m = 3 - 9. Is i(m) prime?
False
Let l = -6 + 11. Let g(c) = c**3 + c**2 - c - 5. Let s be g(0). Is (-2)/l + (-117)/s a composite number?
False
Let c(l) = l**3 - 6*l**2 - l + 3. Let b be c(6). Let n be (17/(-5) - b)*10. Is (6/n)/((-12)/88) composite?
False
Let q(i) be the third derivative of -1/60*i**5 - 3*i**2 + 1/2*i**3 - 1/6*i**4 + 0 + 0*i. Is q(-3) prime?
False
Let r(j) be the third derivative of -j**6/120 + j**4/24 + 163*j**3/6 - 5*j**2. Is r(0) prime?
True
Let b be (-2 - 0) + (1 - -1). Suppose b = -3*m - 5*v + 24, 4*v - 6 = m + v. Suppose 0 = 2*x, m*x - 345 = -3*k - 2*x. Is k composite?
True
Suppose 1506 = 7*c - 55. Is c composite?
False
Let a = -2703 - -4264. Is a a prime number?
False
Let g(r) = -437*r**3 + r + 1. Is g(-1) prime?
False
Suppose 7*n + 2116 = 3*n. Let g = 951 + n. Is g a prime number?
False
Suppose 80 = w - 5*t - 15, 4*t = -2*w + 190. Is w composite?
True
Suppose -5*w = d + 2*d - 30, w + 5*d = 28. Suppose 0 = -w*y - b + 264, y - b = 6*y - 442. Is y prime?
True
Suppose 0*t + 769 = t - 4*d, -3*d = -4*t + 3115. Is t a prime number?
False
Suppose 2*f + 8 = 4*f. Suppose f*c - 19 = 3*c. Is c prime?
True
Is 67040/28 + 1 - (-2)/(-7) composite?
True
Let n = -6 - -103. Let p = n + -66. Is p prime?
True
Suppose -2*r + 3*u = -12, 0*u = 2*u + 8. Suppose r = 4*j - 40 - 108. Is j prime?
True
Suppose 1 = -4*b - 15, 35 = -3*l + 4*b. Let q = -3 - l. Is ((-12)/(-2))/(4/q) a prime number?
False
Let r(b) be the second derivative of 19*b**4/3 - b**3/6 + b**2/2 + 3*b. Is r(-2) a prime number?
True
Let w = -8 + 11. Let x(o) = 3 - 2 + 5*o + 23*o. Is x(w) a prime number?
False
Suppose -5*z + 6*z = 2*t - 667, -5*t + 1665 = -5*z. Is t prime?
False
Let o = -14 + 22. Let r = -5 + o. Is r a prime number?
True
Let n(z) = 243*z**2 + 2. Let y be n(2). Let j = y - 346. Suppose 3*q = 7*q - j. Is q composite?
False
Let a(p) = 51*p**2 - p - 1. Let i be a(2). Suppose 0 = f - 542 - i. Is f composite?
False
Suppose -3*o + 44 - 8 = 0. Is 16/o - 95/(-3) composite?
True
Let z(n) = -n**3 + 7*n**2 + n - 2. Let a be z(7). Suppose -5*b - a*o + 361 = -2*o, 5*b - 5*o = 385. Is b a composite number?
True
Let t = -14 - -10. Let v = t + 4. Suppose v = 3*x - 0*x - 93. Is x a prime number?
True
Let u(l) = -3*l**3 + 2*l**2 + 4*l - 13. Is u(-6) composite?
False
Suppose -2*p + 6 = -6*j + 3*j, 0 = 5*j. Suppose -21 - p = -3*c + v, 23 = 2*c - 3*v. Let f = 16 + c. Is f a prime number?
True
Suppose -2*f - 2*f + 12 = 0. Let q = f - -2. Suppose -363 - 112 = -q*o. Is o prime?
False
Let i(q) = q**3 + 4*q**2 - q + 3. Let n be i(-4). Suppose -n*c + 10 = -2*c. Suppose c*l = 3*t - 3 + 12, -5*t - 17 = -4*l. Is l a prime number?
True
Suppose 5*z = -15, p - 2*p = -z - 17. Suppose 5*s = -q + 32, -3*q + 2 = -s - p. Let k = 0 + q. Is k composite?
False
Let n be -2 + 209 + 0 + 1. Suppose n = p - 156. Suppose v + p = 5*v. Is v composite?
True
Let q = 9 - -23. Let l(g) = 2*g + 1. Let s be l(1). Suppose -k - 5*j = -q, -270 = -k - 4*k - s*j. Is k a composite number?
True
Let i(h) = h**2 + 10*h**2 + 1 + 2*h - 2 - 3*h**2. Is i(-4) prime?
False
Let o(t) = t**3 + t**2 - 3*t + 2. Let j be o(-5). Is 0 - j - (-1 - 1) a prime number?
False
Suppose -f = -5*f + 12. Suppose f*q - 4*q - 4 = 3*v, -2*v - 5*q = 20. Suppose -3*k + d + 40 = v, -5*k + 4*d = -4*k + 5. Is k prime?
False
Let h = -14 + 13. Let m(u) = -446*u**3 - u**2 + u + 1. Is m(h) prime?
False
Suppose 2*j + 2*j - 92 = 0. Suppose -l = 3*l + 3*m + j, 4*l + 24 = -4*m. Is (3/l)/(2/(-230)) a prime number?
False
Suppose 0 = -r + 6*r. Let l = 7 - 5. Suppose -l*p = -r*p - 98. Is p prime?
False
Suppose -m - b + 3 = 0, 5*b = 2*b + 3. Let f be (-1*(22 - m))/(-1). Is -7*(2 - f/7) a prime number?
False
Let h(i) = -i**2 + 10*i - 17. Let k be h(7). Suppose 5*u + 650 = 5*l, -4*l - 2*u + 485 = u. Suppose -k*b + l = b. Is b a prime number?
False
Suppose -4*v - 805 = -m, -3*m - 929 + 3357 = v. Is m prime?
True
Suppose -8*b + 11125 = -8691. Is b prime?
True
Let u(i) = -i**3 - 7*i**2 - 4*i - 3. Let d be (-5 - -22)*(0 - -1). Suppose 0 = 5*v - 3*v + 3*p + d, 0 = -2*v - p - 15. Is u(v) prime?
False
Let o = 581 + -327. Is o a prime number?
False
Is 2*(-6)/4 + (1845 - 7) a prime number?
False
Let i(b) = 42*b**3 + 4*b + 3. Is i(3) a composite number?
True
Is (-1)/(-2)*5*1068/30 a composite number?
False
Suppose 10 + 1 = -k + 3*i, 13 = -3*k + 5*i. Is k a prime number?
False
Let i = 470 - 211. Is i composite?
True
Let z(s) = 3*s**2 - 5 - 2*s + 3*s**2 + 4. Let w(a) = -a**3 - 5*a**2 + 4*a - 10. Let p be w(-6). Is z(p) prime?
True
Let u = 6162 - 3629. Is u prime?
False
Suppose 3*u = -2*u + 5*t + 7000, 4*t + 4 = 0. Is u a prime number?
True
Let k be 10168/12 - 2/(-3). Suppose -2*s - 3*s - 4*a = -k, 0 = -5*a - 15. Is ((-24)/(-16))/(2/s) a prime number?
False
Suppose 2*n = -2*p + 34, 2*p - 105 = -5*n + p. Let a = n + -15. Suppose 2*u + 65 = a*u. Is u a prime number?
True
Let b be (5 + -5)*1/(-1). Let g = 10 - 6. Suppose 6 = -g*i - 2, 5*p - 3*i - 101 = b. Is p prime?
True
Let b(d) be the first derivative of -d**5/20 + 2*d**4/3 + 7*d**3/3 - 6*d**2 + 2*d + 2. Let q(y) be the first derivative of b(y). Is q(9) a composite number?
True
Let k = 20 - 16. Suppose 5*z - 3*q = 501 + 1169, 0 = -k*z - 5*q + 1373. Is z a prime number?
True
Let n = 92 - 1. Is n composite?
True
Suppose -6*v + 3*v + 771 = 0. Is v a composite number?
False
Let p be (-13)/(-3) + 8/(-24). Is ((-402)/p)/(2/(-4)) a prime number?
False
Let g = -1429 - -2936. Is g composite?
True
Suppose 0*w = -9*w + 2385. Is w prime?
False
Let u(j) = -60*j**3 - j**2 + j + 1. Is u(-1) a composite number?
False
Suppose -4*a - 1727 + 6411 = 0. Is a a prime number?
True
Suppose 10 = -n - 3*z, -n - 10 - 2 = 4*z. Is (-89)/n + 3/(-12) a prime number?
False
Let n(f) = -2*f + 85. Is n(0) prime?
False
Let i = -11 + 24. Suppose 4*j - 301 = -f, -5*j - i = -3*f + 890. Is f prime?
False
Let l(d) be the third derivative of -7/24*d**4 + 5/6*d**3 - 3*d**2 + 0 + 0*d. Is l(-4) a composite number?
True
Let f = 461 - 246. Is f prime?
False
Suppose -2*a = 2*n - 4*n + 4, 4*n - 20 = 0. Suppose a*h - 5*t = 40, -2*t = 1 - 3. Is h prime?
False
Suppose t + 0*a = -4*a + 911, 3*t - 2718 = 3*a. Is t prime?
True
Is (68/85)/(4/1390) a composite number?
True
Let g(j) = j**3 + 6*j**2 + 3*j - 4. Suppose -3*i - 1 - 11 = 0. Let n be g(i). Suppose 0 = p - n - 9. Is p prime?
False
Let t(j) = 5*j**2 - 7*j + 5. Let r(p) = -11*p**2 + 15*p - 11. Let a(g) = -6*r(g) - 13*t(g). Is a(-6) prime?
True
Suppose -4*b + 4 + 4 = 0. Suppose r - b*r + 387 = -2*m, -2*r + 5*m + 770 = 0. Suppose -2*u - 3*u = -r. Is u composite?
False
Let d = 334 + -225. Suppose -4*c + 3 = -i + 2, 5*c - 3 = 3*i. Is 2/1 - i*d composite?
True
Suppose 12 = -2*h + 50. Is h a prime number?
True
Let n(i) be the third derivative of 7/6*i**3 - 4*i**2 + 1/120*i**6 + 0 - 1/10*i**5 + 3/8*i**4 + 0*i. Is n(7) composite?
True
Let r(l) = -3*l**3 - 6*l**2 - 3*l + 4. Let y be r(-4). Suppose 0 = 2*d + 3*d + 4*j + 297, -j - 60 = d. Let a = d + y. Is a a prime number?
False
Suppose 136 = v - 67. Suppose 325 = 3*y - 4*l, v - 653 = -4*y - 3*l. Is y prime?
False
Suppose -4*l + 6 = -2. Let i be l/(-3) - 4/3. Is -2 - (i - (18 + 1)) a prime number?
True
Let w = 27 + -49. Let r = w - -73. Is r prime?
False
Let k = -2 - -2. Suppose k = -5*x + 85 - 20. Is x a composite number?
False
Is (-398)/(0 - 1) + -3 a prime number?
False
Let a(k) be the second derivative of 5*k**3/2 + k**2/2 + 2*k. Let v be 12*(2/(-4) - -1). Is a(v) prime?
False
Is 2 - -10*25/2 a composite number?
False
Let d(c) = c**3 - c**2 - c + 1. Let l be d(2). Suppose -1 = 2*b + 5*f, 0*b + 3*b = -l*f + 12. Suppose j + b = 26. Is j composite?
False
Suppose r + 70 = 307. Is r a composite number?
True
Let h(v) = v**3 - 5*v**2 + 5*v. Let u be h(4). Suppose -u*n + 35 = n. Is n a composite number?
False
Let x(q) = 13*q**2 - 6*q + 7. Is x(5) a prime number?
False
Suppose -2*y = 2*y - 748. Is y a composite number?
True
Let z(a) = -2*a - 4. Suppose 6*n - 2*n = -20. Let v = n - -1. Is z(v) a composite number?
True
Let f be 0 + 1*(-7)/1. Let h(d) be the third derivative of d**5/60 + d**4/6 - 7*d**3/6 - 5*d**2. Is h(f) composite?
True
Let l be -8*-2*(-1)