et x = n + 86. Is x composite?
True
Suppose 358 = -3*v + v. Let w = -52 - v. Is w composite?
False
Suppose -t + 1262 = w, 5*w - 836 = 3*t - 4598. Is t composite?
False
Let p(b) = 306*b**3 - 2*b**2 + 1. Let q be p(1). Suppose 0 = -4*a + 971 + q. Is a prime?
False
Suppose 0 = 4*x - 7409 - 2267. Is x composite?
True
Let b = -347 - -604. Is b composite?
False
Let i(w) = -2*w**3 - 3*w**2 + w - 3. Let b be i(-3). Let o = 14 + b. Is o composite?
True
Let h be -2 + 0 - (-3 - -3). Let k = h - -2. Suppose k = 4*n - 3*n - 53. Is n a prime number?
True
Let p = 6 - 1. Suppose -4*d = p*f - 644, 4*f - 21 - 301 = -2*d. Is d a composite number?
True
Suppose -2*t - 17 = 23. Is (-1630)/(-6) - t/(-30) prime?
True
Suppose 228 = -7*a - 3979. Let s = 1344 + a. Is s composite?
False
Let p = 30 + 114. Let h = 239 - p. Is h composite?
True
Suppose 3*v + 34 = -20. Let b = 17 - v. Is b composite?
True
Suppose 0 = -2*x + 358 + 64. Is x a composite number?
False
Let r(p) = 5*p**3 + 4*p + p**2 + 33 - 4*p**3 - 6*p + 3*p. Is r(0) a prime number?
False
Let g = 583 - 290. Is g a prime number?
True
Suppose 0 = 2*q + y - 804, -2*q + 2*y = -y - 796. Is q a composite number?
False
Let i(o) = o**3 - o**2 - 3*o - 4. Suppose 15 = 2*j + 3*j. Let l be i(j). Suppose 0*k - 635 = -l*k. Is k prime?
True
Let l(m) = m**3 - 3*m**2 + m + 4. Let c be l(3). Is 1111/c - (-4)/14 composite?
True
Suppose -5*c - 3*i + 1643 = -0*c, 3*c + 2*i = 985. Is c a prime number?
True
Let f = -969 - -1672. Is f a prime number?
False
Suppose -v = -4, 3*s - 2*v + 67 - 812 = 0. Is s a prime number?
True
Suppose 0 = 4*u + 4*p - 16, p - 14 = -3*u - 3*p. Suppose -2*w + 436 = u*w. Is w prime?
True
Is (-409)/((-3)/(3/1)) prime?
True
Let f = 3 + 4. Let k = f + -3. Is k a composite number?
True
Let g = 9 - 7. Suppose g*n - 4*d - 118 = 0, 56 = n + 3*d - 4*d. Is n a prime number?
True
Suppose 5*b + 2*v - 7 = -2, 0 = -4*b + 5*v + 4. Suppose 5*i - b = 24. Suppose -i*s + 191 = 2*y, 3*s + 4*y - 126 = -y. Is s a composite number?
False
Suppose 0 = 10*t - 5*t - 645. Let q be (-12)/(-10)*(-20)/(-6). Suppose t = q*f - 179. Is f a prime number?
False
Let b(j) = -2 + 9 - 5 - 52*j. Is b(-6) composite?
True
Suppose 2*c = 5*r - 13801, -2*r - 3*c - 2755 = -3*r. Is r prime?
False
Let g(o) = o**2 - o - 96. Let b be g(0). Let c be ((-12)/(-9))/(2/b). Let t = c - -107. Is t composite?
False
Let g be 6/(-15) + 25634/35. Suppose 2*s = 4*a - g, 2*s = -a + 2*a - 177. Is a a prime number?
False
Let h = 92 - -50. Is h composite?
True
Suppose -3*n + 2 = 11, 2*n - 689 = -5*y. Is y composite?
False
Let c = -4 + 0. Let q = c - -6. Let z = 5 - q. Is z prime?
True
Suppose 4*r + 5*o - 162 = 0, -5*r + 2*o - 4*o = -194. Is r a prime number?
False
Let w(n) = -22*n + 7. Let g be w(-4). Suppose g = 5*f - 190. Is f prime?
False
Is (-2)/(-3) + 161997/99 a prime number?
True
Let k = -4 + 8. Suppose 2*q = -k*p + 462, 0 = 2*q - p - 23 - 449. Is q prime?
False
Suppose o - 7113 = -2*o. Is o a composite number?
False
Suppose -2*r = -10*r + 4664. Is r a composite number?
True
Let j = 13 - 25. Let p be (15/(-12))/(3/j). Suppose -p*f = -8*f + 267. Is f a composite number?
False
Let o = 12 - 6. Suppose -3*s + c = o*c - 406, -3*c + 130 = s. Is s composite?
True
Suppose 0 = i - b - b - 162, 3*b = -2*i + 324. Suppose -m - 3*n + 2*n = -i, 0 = -m - 2*n + 159. Suppose 4*y - m = y. Is y a prime number?
False
Let l(g) = -g**3 - 8*g**2 + 2 + 0 + 9*g + 1. Let w be l(-9). Suppose w*p + 23 = 4*y, 0 = 2*y + 3*y + 4*p + 10. Is y composite?
False
Let t = 18244 - 6879. Is t prime?
False
Let h be ((-3)/1)/(6/(-274)). Let q = -72 + h. Is q prime?
False
Suppose 0 + 5 = -s. Let c = s - -18. Is c prime?
True
Let b(r) = 3*r**2 + 11*r + 9. Suppose -3*c + 2*t = 11, 2*c = 4*t + 8 - 2. Is b(c) a prime number?
True
Let q(w) = -w**2 - 7*w - 7. Let l be q(-5). Suppose l*p = -3*n - p + 107, -42 = -n + 5*p. Is n a composite number?
False
Is (-9)/15 + (-22240)/(-25) a composite number?
True
Suppose 78 = 2*r - 70. Is r a composite number?
True
Suppose 709 = 2*o - 769. Is o composite?
False
Is 13181/63 - (-2)/(-9) prime?
False
Let w = 9 - -2. Let k = 7 - w. Is k/(-6) - 2274/(-18) prime?
True
Let h(l) be the third derivative of 0 + 0*l - 2*l**2 - 2*l**3 - 1/8*l**4. Is h(-9) a composite number?
True
Let z be (0 + 0)/(4 + -6). Suppose 0 = 3*n + 3*i + i - 175, z = 3*n - i - 155. Is n prime?
True
Suppose 5*v + 574 = -0*v + 3*k, 4*v - 4*k + 456 = 0. Let d = 225 + v. Is d a composite number?
False
Let x = -38 + 22. Let b = x + 38. Is b a composite number?
True
Suppose z = 11 + 13. Suppose -4*h + h = -18. Suppose -4*l + l = i - z, 2*i - h = 0. Is l a composite number?
False
Suppose 0 = -2*u - 0*u. Let i be 3 - u - (5 - 2). Is (-1)/((-3)/63 + i) a composite number?
True
Suppose -12795 = -134*h + 131*h. Is h composite?
True
Suppose 4*l - 15 - 1 = 0. Suppose -3*v - 3 = 4*t - 0, -t = -l*v + 15. Suppose 10 = 3*n - 4*a - 15, -5*a + 16 = v*n. Is n composite?
False
Suppose 0 = m + 2 - 1. Let q(a) = -4*a**3 - a**2 - a - 1. Let s be q(m). Suppose -s*x - 9 = -51. Is x prime?
False
Let f = 4 + -6. Let u be 1/(f*2/(-60)). Suppose -4*k + 107 = u. Is k prime?
True
Let r = -7 + 12. Suppose -r*t + 3*h + 20 = 7*h, t + 5*h = 25. Suppose t = 2*u - 380 + 62. Is u a composite number?
True
Suppose -8*z + 269 = -1539. Is z a prime number?
False
Let k = 37 + -26. Is k prime?
True
Suppose -5*d + 75 = 5*n, -5*n - 31 + 94 = -d. Suppose 5*g - 2 - n = 0. Suppose -4*l - g*x = -89, -1 - 15 = -l - 2*x. Is l composite?
True
Let u = 5 - 5. Suppose -3*t + 5 = -r - u, r = 4. Suppose t*d - 4*c = 115, 2*d + 6*c - 70 = 2*c. Is d a prime number?
True
Suppose 0*f = -3*f - 6. Is 4/(-8) - 47/f prime?
True
Let p(x) = 6*x + 1. Let z be p(1). Let d = z - 2. Let n(r) = -r + 11. Is n(d) prime?
False
Suppose -162 = -2*o - o. Suppose -2*u - 22 = o. Let l = -15 - u. Is l a composite number?
False
Let a(d) = -d**2 + 3*d. Let v be a(4). Let r(u) be the third derivative of -u**6/120 - u**5/20 + u**4/12 - u**3/6 + 5*u**2. Is r(v) a prime number?
True
Let n(z) = 21*z + 11. Is n(4) a composite number?
True
Suppose 5*n = -4*y - 36, 0 = -4*n - 0*n + 4*y. Let z be (2 + -1 + n)*-1. Suppose z*s = 5*s + 3*o - 80, -66 = -2*s + 4*o. Is s composite?
False
Let j(i) be the first derivative of -7/3*i**3 + 3/2*i**2 - 1 - 1/4*i**4 + 9*i. Is j(-8) prime?
False
Let x(v) = 5*v**3 - 4*v**2 + 2*v - 15. Is x(8) a prime number?
False
Suppose 5*t + 130 = 5*c, 6*c = c - t + 130. Is c a prime number?
False
Let t(q) = q**3 + 2*q**2 - 5*q - 1. Is t(5) composite?
False
Suppose -4*n = n - 10. Suppose n*r = -0*y + 5*y + 47, r = -5*y + 16. Suppose -3*s = -r - 12. Is s prime?
True
Let b = 3 - -3. Is 645/6 - b/(-4) prime?
True
Let x(f) be the second derivative of -7*f**5/20 + f**4/6 + 2*f**3/3 + 3*f**2/2 + 5*f. Is x(-2) composite?
False
Suppose -3*f + t + 26 = 0, -13 = -f + 2*t - 1. Let k(o) = 2*o - 12. Is k(f) a composite number?
True
Let t be 3/(-4) - (-3)/(-12). Let q = t - -3. Suppose -3*d + 47 = -4*h - h, 48 = q*d + 5*h. Is d a prime number?
True
Suppose 2*k - 1 = 7. Suppose 2*l = 10, -2 - 33 = -3*y - k*l. Suppose -3*i + 61 = 5*g - 14, -y*g - 4*i = -75. Is g composite?
True
Let k = 6316 + -3555. Is k a prime number?
False
Suppose -3*m = -s - 51, 0*s + 3 = s. Let f(d) = 8*d**3 - 4*d**2 + 3*d - 1. Let k be f(2). Let t = k - m. Is t prime?
False
Let p(h) = 2*h. Let n be p(2). Suppose -n*i + 30 = -2*i. Is i a prime number?
False
Suppose 3*u = -i - u - 14, -16 = 2*i + 5*u. Suppose 4*z - 390 = -l - i*l, 2*l - z - 271 = 0. Is l a composite number?
True
Let u(h) = h - 1. Let p be u(2). Let l(z) = -12*z**2 - z + 1. Let r be l(p). Is (-2)/3 - 188/r a prime number?
False
Let q(d) = -225*d - 28. Is q(-13) a prime number?
True
Let m = 2 - 3. Let k be (-2)/5*10*m. Is 2/k + 69/2 prime?
False
Let r(f) = -7*f**2 + f**2 - f**2 + f + 3*f + 6 + f**3. Suppose -24 = 3*u - 6*u + o, 5*u - 47 = 4*o. Is r(u) a composite number?
True
Let r(k) = -k**3 + 5*k + 16*k**2 + 2 - 5 + 15 + 5. Is r(14) a prime number?
True
Is ((-10)/(-3))/(30/135) a composite number?
True
Let c(j) = -j - 2. Let p be c(-4). Suppose -p*r - 15 + 101 = 0. Is r a prime number?
True
Let j(n) be the second derivative of n**4/4 + 5*n**3/6 - n**2/2 - 5*n. Is j(4) a composite number?
False
Let s be 242/(-8) + (-2)/(-8). Let n be (12/s)/((-1)/5). Suppose 