 2*k**2 + 11*k + 0*k**2 + 4*k**2. Is t(-10) a composite number?
True
Let x(z) = -5*z - 12. Let c be x(10). Is c/(4*(-3)/30) a prime number?
False
Is 1317 - -10*(0 + 6/(-15)) a composite number?
True
Let d = 318 + -225. Is d a composite number?
True
Let h(b) = -4*b**3 - 2*b**2 - 13. Is h(-4) a prime number?
True
Suppose 2*w + 2129 = -2131. Is w/4*(-8)/12 a prime number?
False
Let z(a) be the second derivative of -11*a**3/6 - a**2 + 6*a. Is z(-3) composite?
False
Suppose 0 = f - 4*f + 153. Is f a prime number?
False
Suppose 0 = -5*g + 5*c + 1240, 57 - 311 = -g - c. Is g a composite number?
False
Is (-4044)/(-9) - (-1)/(-3) composite?
False
Let j be ((-36)/14)/((-3)/14). Is (502/(-3))/(j/(-18)) a composite number?
False
Suppose 764 = 3*y + y. Is y a prime number?
True
Let c(o) = -o**3 - 9*o**2 - 13*o + 8. Is c(-13) prime?
True
Suppose -166 = 3*r + i, 5*i - 13 + 3 = 0. Let g(s) = 7*s**2 - 6*s + 1. Let o be g(4). Let u = o + r. Is u composite?
True
Let t = -12 + 24. Is 2769/7 + t/(-21) prime?
False
Let a = 666 - 465. Is a composite?
True
Suppose -j - 7*s = -4*s + 5, -10 = -4*j + 3*s. Let g(n) be the first derivative of 81*n**4/2 - 2*n**3/3 + n**2 - n + 2. Is g(j) a prime number?
False
Let c = 307 + 24. Is c composite?
False
Let p(l) be the third derivative of -1/3*l**3 - l**2 + 0 + 0*l - 29/24*l**4. Is p(-3) prime?
False
Suppose 3*h + 48 = g, 2*g = -2*h + 3*h + 81. Is (-141)/(-2)*26/g composite?
False
Suppose 3*m = -10 - 11. Let v(i) = -i**3 - 7*i**2 - 7*i + 6. Is v(m) a composite number?
True
Suppose 31 = -5*l + 1. Let w(v) = -v**3 - 6*v**2 - 5*v + 2. Let z be w(l). Suppose z = 2*n - 30. Is n prime?
True
Let z be 4/(-6)*-5*18. Let l = z + -39. Is l composite?
True
Let o(l) = -l**3 - 11*l**2 - 7*l + 2. Suppose -3*y + 3*m = -15, m + m = 4*y - 24. Suppose -4*p + y = -x, 0 = 5*p + 4 + 1. Is o(x) a prime number?
True
Let c(m) = -m**3 + 3*m**2 + 2*m + 1. Suppose 18 = i + 2*i. Let q = 9 - i. Is c(q) a prime number?
True
Let y(j) = 4*j - 6. Let i(o) = -o + 1. Let c(b) = 5*i(b) + y(b). Let v be c(-3). Suppose 3*h + 3 = 0, -v*u = 2*u + 4*h - 336. Is u a prime number?
False
Let m be 3 - (-1)/(-1)*-2. Suppose 0 = -m*d - 2*r + 5*r + 3150, -4*d + 4*r = -2520. Suppose 0 = -4*t + d + 110. Is t a prime number?
False
Let b be (-3*(1 + 0))/1. Let l = 3 + b. Suppose l = -3*c + 114 - 39. Is c composite?
True
Suppose 0 = -i - 3*q + 5, 3*i - q = -9 - 6. Is (1 - 795)*2/i prime?
True
Suppose 0 = 5*n - 20. Suppose -105 = i - n*i. Is i prime?
False
Let j = 270 + -184. Suppose 0 = 2*z - 0*z - j. Is z a composite number?
False
Is 4/(-28) - (-4266)/21 a prime number?
False
Suppose 1 + 1 = v. Is 0 + (-214 + v)/(-4) prime?
True
Let s(h) = h**3 - 3*h**2 + 20*h - 7. Is s(13) prime?
False
Suppose -i + 0*i + 214 = 0. Suppose 3*s - i = 5*d + 184, 232 = 2*s + 5*d. Suppose -2*x = -68 - s. Is x a composite number?
False
Let g = -1 + 24. Is g prime?
True
Let g(o) = 9*o**2 - o + 9. Is g(4) a composite number?
False
Let t = -52 - -110. Is t a composite number?
True
Let q = 153 + -61. Suppose q = -t + 5*t. Is t composite?
False
Suppose 51 = -3*u + 5*l, -3 + 0 = l. Let m = 8 - u. Let k = m + -15. Is k a composite number?
True
Suppose -4*c = 5*q + 7, 3*q + 1 = -4*c - 0*c. Let v(n) = -c - 3*n**3 + 4*n**3 + 3*n - n**2 + 6. Is v(3) prime?
True
Suppose 35*l - 148 = 33*l. Is l prime?
False
Let u(b) = 19 + 56*b**2 - 19 + 0*b - b. Suppose 5*q - 5 + 0 = 0. Is u(q) a prime number?
False
Let d = 227 + -130. Let o = d - -18. Is o a composite number?
True
Let g(f) = -115*f - 104. Is g(-7) prime?
True
Let j(s) = 3207*s - 10. Is j(3) composite?
True
Let f(y) = 7*y. Let a(n) = n + 1. Let j(z) = 3*a(z) - f(z). Suppose -11 = 5*r - 3*b, -2*b = -2*r + b + 1. Is j(r) a prime number?
True
Let p(v) = v**2 - 2*v + 3. Let i be p(2). Suppose 3*f - 264 = 2*s + i*s, -f + 89 = -2*s. Is f prime?
True
Suppose c + c + 85 = 5*v, 4*v + 3*c = 91. Suppose 3*g = -2*g + 170. Let q = g - v. Is q composite?
True
Is ((-3)/12*-191)/(10/200) a composite number?
True
Suppose -2*j + 0*f - 2*f + 20 = 0, 4*f = 16. Let c(q) = q**2 - 4*q - 1. Let r(t) = -5*t**2 + 20*t + 4. Let m(b) = 11*c(b) + 2*r(b). Is m(j) a composite number?
True
Let o(a) = -2*a**3 + 6*a**2 - 3*a + 11. Is o(-6) a prime number?
True
Suppose -27 - 56 = -5*i + c, 4*i + 5*c - 49 = 0. Let s = 47 - i. Is s prime?
True
Suppose 0*v = -5*v + 575. Is v a prime number?
False
Let v be 0/2*2/(-4). Let w be 5 + v + 0/3. Suppose 4*s - s - 144 = w*d, s - d = 46. Is s a prime number?
True
Let g be 1*3 + 51 + -2. Suppose -z + 5*i = -24, g + 38 = 5*z + 5*i. Is z a prime number?
True
Suppose -4*j = j. Suppose t - 9 - 42 = j. Is t composite?
True
Let c = 33 - -4. Is c a prime number?
True
Let j(i) = 22 - 11 + 4*i**2 - 11*i - 2*i**2. Is j(8) a prime number?
False
Let v = 14 - 12. Is v composite?
False
Let u = 2 + 1. Let a(l) = -u - l - 2 + 7. Is a(-5) a composite number?
False
Let o be (0 - 12)*3/6. Let l(y) = -y**2 - 19*y - 5. Let f(s) = -s**2 - 18*s - 5. Let d(n) = 4*f(n) - 3*l(n). Is d(o) a composite number?
True
Let h(b) = 1055*b**2 - b - 1. Is h(-1) composite?
True
Suppose -3*u + 193 = -4*t, 0*t - 169 = 4*t + 5*u. Let c = 84 + t. Is c composite?
True
Let z(p) = p + 1. Let o be z(4). Suppose -112 = -n + k, -2*n + k = o*k - 242. Is n a prime number?
False
Suppose 0 = -2*t + 15 + 1. Suppose 3 = o - t. Is o composite?
False
Let u(m) = -m**3 - 3*m**2 + 3*m - 4. Let p be ((-6)/9)/((-2)/(-15)). Is u(p) prime?
True
Let w = -3368 - -5731. Is w composite?
True
Let f(d) = 63*d - 12. Is f(5) a composite number?
True
Suppose -3*v = -v - 6. Is (-2 + v)/(-1) + 162 composite?
True
Suppose -h = -2*h + 335. Is h a prime number?
False
Let k be ((-16)/12)/(2/(-6)). Let a(u) = 5*u**3 + 2*u + k*u - 8*u**2 - 3*u**3 + 3 + 0*u. Is a(5) a composite number?
False
Let w = -4 + 7. Let z = w - -2. Suppose 4*l - 4*u = -2*u + 230, 2*u = -z*l + 292. Is l prime?
False
Is (4/(-10))/(9/(-1035)) a composite number?
True
Let w = 25 - 3. Let h = w - -11. Is h prime?
False
Let c(f) = 16*f**2 - 4*f + 1. Suppose -4*j + 3*x - 3 = 0, -3*j - 25 = 5*x - 1. Is c(j) prime?
True
Let g = -9225 - -15646. Is g prime?
True
Let f(p) = 3*p + 49. Is f(24) prime?
False
Let b(d) = 3*d + 209. Let u(s) = 10*s + 626. Let t(v) = 7*b(v) - 2*u(v). Is t(0) prime?
True
Let p(z) be the second derivative of z**4/3 - z**3/6 - 3*z**2 - 2*z. Is p(5) prime?
True
Suppose 0 = -2*c + 4 - 2, 3*c + 2462 = 5*i. Is i prime?
False
Let u(o) = o + 6. Let p be u(7). Let b = p + -34. Is 4/(-14) - 405/b a composite number?
False
Let o(l) = 72*l + 2. Let q(m) = -m + 1. Let k(n) = o(n) - 5*q(n). Is k(1) composite?
True
Suppose -12*v = -7*v - 4315. Is v prime?
True
Let v = 18 - 14. Suppose -5*c = -2*j - 3117, 2*c - 541 - 701 = -v*j. Is c a prime number?
False
Suppose 0*l + f + 215 = 4*l, 2*f = l - 45. Is l composite?
True
Let s(c) = 46*c - 3. Is s(2) a composite number?
False
Is (89*1)/(1 + 0) composite?
False
Let i = -5 + 0. Is (-398)/i - (-9)/(-15) a composite number?
False
Let d = -30 - -289. Is d a composite number?
True
Suppose -h + s = 2*h - 1138, 2*h = 2*s + 752. Is h prime?
False
Let q be ((-20)/(-25))/((-2)/(-5)). Let m(c) = -q*c**2 - c - 3 + 0*c**2 - c**3 - 2*c. Is m(-5) a prime number?
False
Let t = 1384 - 753. Is t prime?
True
Let c = 2854 - 707. Is 10/35 + c/7 composite?
False
Let c = -66 - -125. Is c a prime number?
True
Let w(u) = u**2 - 5 + 5*u + 9 + 3. Is w(-5) a prime number?
True
Let l(c) = 1 - 1 + 2*c**2 - c. Let i be l(-1). Suppose 82 = i*a - 179. Is a prime?
False
Suppose 3*v = 4*b - 10257, 2*v - 10282 = -4*b - 0*b. Let g(x) = -x**3 - 3*x**2 + 3*x + 6. Let j be g(-4). Is b/j - (-6)/30 a composite number?
False
Let a(o) be the third derivative of -11*o**6/15 + o**5/30 + o**4/12 + o**3/6 + o**2. Let z be a(-1). Let q = z + -40. Is q prime?
False
Let k(s) = s**2 + 4*s - 3. Let g be k(7). Is (g/(-3))/(10/(-15)) a prime number?
True
Suppose -b - 26 = -70. Suppose 0 = -4*a + b + 108. Is a prime?
False
Let z = 10 - -77. Is z a prime number?
False
Let l = 541 + -22. Suppose 5*i - 261 = l. Suppose -t - 2*t + 99 = 3*m, 4*m - i = 2*t. Is m prime?
True
Let o = 5 + -2. Let k(j) = 14*j**2 + 5*j - 2. Is k(o) prime?
True
Suppose -5*x + 4*x + 39 = -2*h, 0 = 4*x - 4*h - 156. Suppose 0 = 2*n - 4*p + 42, n - 2*p = -n - 46. Let j = x + n. Is j a prime number?
False
