ose r*o = o + h. Is o composite?
False
Suppose 2516 = 6*b - 160. Is b composite?
True
Suppose 3*d - 20 = -d. Let b = 91 + -29. Suppose -d*x = -3*x - b. Is x composite?
False
Let m = -363 - -512. Is m composite?
False
Let s(q) = 5*q**3 - 2*q**2 - 2*q - 1. Let c be s(-1). Let y = -141 + 258. Is 2/(-4) - y/c a prime number?
True
Let f(o) = -3*o**3 + 4*o**2 + 3*o + 4. Let i be f(4). Let g = 405 + i. Is g a prime number?
True
Suppose 0 = -4*q - 8, -q = 5*u + 2*q - 3939. Is u prime?
False
Is 2/(-19) - 288054/(-494) prime?
False
Suppose -5*b - j + 1270 = 2*j, 4*b + 2*j - 1016 = 0. Is b a prime number?
False
Is (5 - 414/(-1))*3 a prime number?
False
Let g = -9 + 18. Let f = g - 13. Is (-47)/(-7) + f/(-14) a prime number?
True
Let s = 232 - 89. Is s composite?
True
Suppose -3*g + 878 = 4*n, 0 = -4*n - 0*n + g + 886. Is n composite?
True
Let s(h) = h**2 + h + 1. Let i be s(-1). Let r = 4 - i. Is r composite?
False
Let x(i) = -i**3 - 3*i**2 + 6*i - 7. Is x(-6) prime?
False
Suppose -25 = 5*k, 0 = -0*d + d + 2*k - 55. Suppose 75 = 2*y - p + 2*p, p + d = 2*y. Is y prime?
False
Suppose -3 = -4*m + 21. Let o = -3 + m. Is o/6 - 13/(-2) prime?
True
Is 4722/14 + 3/((-84)/8) a composite number?
False
Suppose -324 = -4*d - 3*r - 2*r, 12 = -3*r. Is d a composite number?
True
Suppose -2*u + 4 = 4*h, 3*h + 2*h - 10 = 0. Let j(z) = -17*z**3 - 2*z**2 - 2*z + 2. Let f be j(u). Suppose 5*l = f - 39. Is l composite?
False
Suppose 0 = -w + 1, -4*u + 5*w = 4*w - 3. Let m be (-355)/(-4) - u/(-4). Suppose -2*v = -v - m. Is v prime?
True
Suppose -3*u + 4*u - 76 = 0. Suppose u = c - 138. Is c a prime number?
False
Suppose -3*l = -8*l + 5*p - 5, 0 = 5*p - 5. Let c be (-4 - l)*(-1635)/20. Suppose -3*i + 12 = -c. Is i composite?
False
Let o(d) = d**3 - 7*d**2 - 8*d - 1. Let p = 3 + 6. Is o(p) prime?
True
Let i(f) = 87*f + 5. Let t be i(5). Suppose 4*h + 1282 = 30. Let p = t + h. Is p a composite number?
False
Suppose -s + q = 4*q - 4, 3*s + 5*q = 12. Suppose -4*m + 5*d = 7, 12 = s*d - 0. Suppose m*u + k - 31 = 0, 5*k = 3*u - 0*k - 40. Is u a composite number?
True
Let s(f) = f**3 - 12*f**2 + 13*f. Let k be s(6). Let y(i) = -12*i**2 + 7*i - 6. Let j be y(5). Let g = k - j. Is g prime?
False
Let s(c) = 7*c**3 + 2*c**2 + c + 1. Is s(3) prime?
True
Let b(f) = f**3 - 17*f**2 + 17*f + 10. Is b(17) a prime number?
False
Let y be (-10)/35 - (-2)/7. Suppose y*q = -q - 6. Is q/(-4)*498/9 a prime number?
True
Let c(h) = h + 1. Let q(i) = 2*i - 4. Let w be q(4). Let v be c(w). Suppose -5*t + 2*d + 153 = -0*d, t - 36 = -v*d. Is t composite?
False
Let j(u) = u**2 + 4*u + 2. Let c be j(-4). Suppose c*m - 3 = 1. Is ((-78)/10)/(m/(-10)) a prime number?
False
Let n(y) = -15*y - 14. Is n(-13) prime?
True
Let c(z) = z - 11. Let l be c(8). Let t be 19/(l*(-3)/9). Let y = t - 5. Is y a composite number?
True
Let w(z) = 7*z**2 - 6*z + 7. Let l be -1*(-4 - 1) + 1. Is w(l) composite?
False
Let h be ((-6)/(-4))/(2/4). Suppose -h*k - 2*k + 4528 = s, -2721 = -3*k - 2*s. Is k composite?
True
Is (-6)/15 + (-2622)/(-30) a prime number?
False
Let m(l) = -32*l + 1. Let p be m(-1). Suppose 5*g + 2*d - p = 0, 4*d = 7*g - 2*g - 9. Suppose 3*s = g*s - 106. Is s a composite number?
False
Let x(k) = k**2 + 6*k + 1. Suppose -2*d - 8 = -0*d. Let s be x(d). Is (-6 - s) + 0 + 6 a prime number?
True
Suppose f = 2*q - f - 1716, -2*q = -5*f - 1704. Is q prime?
False
Suppose -h - 2*f + 1350 - 91 = 0, 5*f = 3*h - 3722. Is h a prime number?
True
Let u(a) = -1 + 7*a**2 - 4*a**2 - a**3 + 0. Let c be u(2). Suppose 0 = -c*d + 5*z + 378, 0 = -5*d + 4*z - 6*z + 599. Is d a prime number?
False
Suppose -u = -1 - 4. Suppose u*g - 40 = g. Is g composite?
True
Let s(i) = -2*i - 4. Let q be s(10). Let r = 43 + q. Is r a prime number?
True
Let m be (-30)/20*(-2)/3. Let v = m - -4. Suppose -z = g - 19, 88 + 7 = v*g - 4*z. Is g a composite number?
False
Suppose w - 4 = -0*w. Suppose 4*p - w*j = -j + 36, 0 = 4*j + 16. Suppose -p*v + 16 = -2*v. Is v prime?
False
Let x(d) = -4*d - 3. Let w be x(-3). Let k = -5 + w. Suppose 0 = -g, -2*p - k*g + 669 = p. Is p a composite number?
False
Let p = 12 + -8. Suppose 0*g + 2*g + 15 = 5*v, -3 = -p*g - v. Suppose o + 2*w - 2 - 4 = 0, o - 5*w - 6 = g. Is o a prime number?
False
Is (-7)/(-35) + 25788/10 a composite number?
False
Let y be (-1)/2 - (-9)/6. Is y/(-1)*(-217 - -6) a prime number?
True
Suppose -3*f - 2 = 7. Let w = 3 + f. Suppose w = g + 2*g - 177. Is g a prime number?
True
Let x = 30 + 151. Is x a prime number?
True
Is 4/6 - 4130/(-6) a prime number?
False
Let b = -1836 - -2803. Is b a composite number?
False
Suppose w + 2*p - 4*p = -2, 3*p + 7 = -w. Let k(r) = -r**3 + 3*r**2 + 4*r - 2. Is k(w) a prime number?
False
Let f(y) be the first derivative of -y**4/4 + 5*y**3 - 3*y**2/2 - 20*y + 5. Is f(14) a composite number?
True
Let r(l) = 3*l**2 + 9*l + 13. Let t(s) = -2*s**2 - 5*s - 7. Let a(p) = -3*r(p) - 5*t(p). Is a(15) composite?
False
Let u(r) = -r**2 + 19. Let q(n) = -n**3 + 7*n**2 + 9*n - 8. Let i be q(8). Suppose i = -2*g + g. Is u(g) composite?
False
Suppose -2*z - 63 = 5*l + 36, -134 = 2*z - 2*l. Let n = 109 + z. Is n prime?
True
Is -5 - 10708/(-4) - 3 composite?
True
Let j(v) = v**2 - v - 5. Let u = -3 - -8. Let i be j(u). Let g = 38 - i. Is g a prime number?
True
Let f = -234 - -823. Is f a prime number?
False
Let d(l) = -l**3 + l**2 + 5*l + 6. Suppose 10 = 3*u - 5*t, 2*u = 2*t + 2*t + 6. Suppose -1 = -u*i - 3*w - 14, 0 = -2*i - w - 6. Is d(i) prime?
True
Let d(z) = -z**3 + z**2 + z + 502. Is d(0) a prime number?
False
Let y = -65 - -42. Let u = 44 + y. Is u a prime number?
False
Let u(o) = 49*o - 5. Let g(q) = q**2 + 7*q - 7. Let j be g(-8). Suppose 3 = k - j. Is u(k) a composite number?
False
Suppose 2*d - 12 = 108. Let l = -84 - -59. Let k = l + d. Is k a composite number?
True
Let d = -87 + 161. Let c be (-2)/(-6) - 22/(-6). Suppose -c*w = -2*w - d. Is w composite?
False
Suppose 0 = -5*q + 397 - 2. Is q composite?
False
Suppose -p - 6 = -2*v, -3*v + 5 + 4 = -5*p. Suppose -6*c - o - 4 = -v*c, 3*c + 5*o = -20. Suppose 0 = 2*m - l - 2*l, c = m + 4*l - 11. Is m a prime number?
True
Suppose -10 = 3*f + 5. Let k = 7 + f. Suppose 2*u + 111 = 3*s, -k*s + s - 4*u = -37. Is s composite?
False
Let t be (-8 + 8)*2/6. Suppose -4*p + 196 + 120 = t. Is p a composite number?
False
Suppose 3*k - 7014 = -3*k. Is k prime?
False
Let r = 672 + -293. Is r a prime number?
True
Let l(y) = 3*y + 23. Let i(k) = 13*k + 93. Let p(x) = -2*i(x) + 9*l(x). Let h = 3 + -3. Is p(h) a composite number?
True
Let v(f) = 2*f**3 + f. Let x be v(1). Suppose 0 = z + x - 13. Is z a composite number?
True
Suppose -3*r = -2*r - 799. Is r prime?
False
Let y = -381 - -663. Is (-1)/(-3)*y/2 composite?
False
Suppose 0 = 2*h + q - 4866, 0*q + 2*q + 8 = 0. Is h a prime number?
False
Suppose 1962 = -2*v - 3*w, -4*w = 5*v + 4633 + 286. Let p = -6 + 12. Is p/(-4) + v/(-6) a composite number?
False
Suppose -3 = -3*c - 21. Is ((-662)/c)/((-6)/(-18)) a prime number?
True
Let t = 585 + 214. Is t a prime number?
False
Suppose 3*a = -a - 4*t + 8404, t + 8394 = 4*a. Is a a composite number?
False
Suppose -j + 56 = -604. Suppose -3*k + 984 = 3*o, -2*o - j = -k - k. Suppose -n = -6*n - 3*p + 551, 3*n + p = k. Is n prime?
True
Let v = -3 + 62. Is v a prime number?
True
Let u(w) = -w**3 + 10*w**2 - w + 10. Is u(9) a composite number?
True
Let y(n) = 75*n + 10. Is y(7) prime?
False
Let y = 3 + -6. Let m(f) = 3*f**2 - 4*f. Is m(y) a composite number?
True
Let p = 139 + 18. Is p a composite number?
False
Suppose 0*i + 3*i - 12 = -2*k, -4*k = -3*i - 24. Let l = k - -68. Is l a composite number?
True
Let j(x) = -x - 6. Let g be j(-5). Let m(d) = -4*d. Let s be m(g). Suppose 0*i + 84 = s*i. Is i prime?
False
Suppose -c = 2 - 3. Is 2*(c + 34/4) prime?
True
Let l = 1249 - -634. Is l a composite number?
True
Suppose 0 = -4*b - g - 20 - 32, 2*g = 2*b + 26. Let k(m) = m**2 + 2*m - 16. Is k(b) composite?
False
Let o = 2510 + -1517. Is o composite?
True
Suppose 5*g = -20, 4*z - 2*g - 332 = -4*g. Is z a composite number?
True
Suppose 3*f + 1901 = 2*o, 3*f + 838 = 3*o - 1064. Let s = -292 - f. Is s composite?
True
Let i(v) = 3*v**2 - 2*v - 1. Let f be i(-3). Let h = 52 - f. Suppose 0 = -3*q - 2*k + 119 + h, 3*k + 238 = 5*q. Is q a composite number?
False
Let