20*q + 3. Let d(s) = s**2 + s. Let b(r) = -5*d(r) - g(r). Suppose w = 6*w - 40. Is b(w) prime?
True
Let o be 9*-2*(-3)/9. Suppose 2*b = o*b + 16. Is (-7)/3*12/b a composite number?
False
Let b = 3137 + -1860. Is b composite?
False
Let n(a) = -5*a**3 - 2*a**2 + 2*a - 3. Let c be n(-3). Suppose -4*u = -0*u + c. Let b = u - -38. Is b a composite number?
False
Suppose 5*j = 3*x - 5*x + 43, -100 = -4*x + 4*j. Suppose -4*d + x = -d. Is (22/d)/((-2)/(-56)) a prime number?
False
Let t = -5 - -8. Suppose -2*a + 24 = -t*o - o, 5*a = 5*o + 45. Is a a composite number?
True
Suppose i + 1511 = 4*y + 166, 0 = -5*i - 25. Is y prime?
False
Is ((-586)/(-6))/((-2)/(-6)) composite?
False
Let d(i) = 51*i**2 - i + 4. Let b(n) = n**2 + n - 1. Let q(j) = -3*b(j) - d(j). Let o be q(-1). Is (o/(-4))/((-1)/(-4)) prime?
True
Let f(u) = -5*u**3 - 5*u**2 - 4*u + 4. Let v be f(-4). Suppose -5*q - v = -5*t, -4*t - 4*q + 12 = -156. Is t a composite number?
False
Suppose 30 = 5*y - 0*y. Let c be (21/y + -3)*-30. Is (-5)/c + 496/6 a prime number?
True
Suppose -2*b - 5*m + 422 = -472, 3*b - 1341 = m. Is b a composite number?
True
Let x(u) = -16*u. Let l be x(-1). Let z be (-6)/(-8) + (-12)/l. Is 2/1 + 53 - z composite?
True
Suppose 4*i + 0*q = -3*q - 1, -2*i - 3*q = -1. Let g(t) = 544*t**2 + t + 2. Is g(i) composite?
True
Suppose l = 4*l. Suppose 3*s = 3*g - 615, -4*s = -l*s + g + 805. Let m = -140 - s. Is m a prime number?
False
Let f = 1059 - 682. Is f prime?
False
Let f = 13 - 4. Suppose x = 4*v - 119, 3*v + f*x - 4*x = 118. Is v a prime number?
True
Suppose -3*i - i + 1574 = 3*g, 2108 = 4*g - 4*i. Is g composite?
True
Let d be 4014/14 + 22/77. Suppose -3*v + d = 4*r, -3*r = 5*v + r - 481. Is v prime?
True
Let r = 36 - -29. Suppose r = -5*n + 380. Let f = n - -16. Is f prime?
True
Let w(c) = -2*c - 1. Let x be w(1). Let q be x/1*(-41)/3. Let k = 88 - q. Is k a prime number?
True
Suppose -3*c = -15, -2*j - 4*c + 8*c = -616. Suppose j = 4*p - 3*h - 388, p - 188 = -5*h. Is p a composite number?
True
Let x(q) = 13*q**3 + 7*q**2 + 5*q - 5. Let g(k) = -6*k**3 - 4*k**2 - 3*k + 3. Let w(z) = -5*g(z) - 3*x(z). Let y be w(1). Is (-439)/(-9) - y/45 a prime number?
False
Let p(f) = f**3 - 54. Let v(r) = -r**2 - r - 1. Let a(z) = -p(z) + v(z). Let t = -16 - -16. Is a(t) a prime number?
True
Let i(w) = 2*w**2 - 8*w - 1. Is i(-8) a prime number?
True
Let w = -10 - -17. Suppose -w*f + 4*f + 267 = 0. Is f prime?
True
Suppose 4*t - 40 = 5*v, v + 5*t + 8 = -0*v. Let f = 37 + -16. Let r = f + v. Is r a prime number?
True
Let l(o) = -o**3 + 15*o**2 + 10*o - 11. Is l(12) composite?
False
Suppose 19*d - 22*d + 4137 = 0. Is d composite?
True
Let k(o) = -2*o**2 + 10*o - 7. Let u(t) = 2*t**2 - 11*t + 8. Let j(w) = -5*k(w) - 4*u(w). Is j(-6) prime?
False
Is -379*(-1 + (-15)/(-5))*-1 prime?
False
Let z = 53 + -12. Suppose 0*h = 4*h - b - 72, -z = -3*h + 4*b. Suppose -h - 14 = -s. Is s a prime number?
False
Suppose -6*q = -2*q + 2*j - 30, 0 = q + j - 5. Let t(d) = -d**3 + 10*d**2 + 2*d - 10. Is t(q) a composite number?
True
Let z be 1/(-6) + (-8135)/(-30). Suppose 0 = -3*c - 2*m - 3*m + 408, -2*c + z = 3*m. Is c a prime number?
True
Let h(q) = 2*q**2 + 6*q + 3. Let c = 19 + -27. Is h(c) a composite number?
False
Let u(b) = 4*b**2 - 9*b - 5. Is u(-10) composite?
True
Let u(v) = v + 2. Let s be u(-2). Suppose -5*n + s = -385. Is n a prime number?
False
Let r(c) be the second derivative of 11*c**5/60 - 5*c**4/24 - c**3/6 + c. Let x(b) be the second derivative of r(b). Is x(7) a prime number?
True
Let m be 3/(-2)*(-2064)/18. Suppose -3*f - 2*d + m + 387 = 0, 5*d = -5. Is f composite?
True
Is (66/(-55))/(2/(-1055)) prime?
False
Suppose -5*d = -53 - 12. Is (-269)/(-1) + (d - 11) a prime number?
True
Suppose -5*i - 118 = 3*t - 1029, -i = -4*t + 1230. Is t prime?
True
Suppose -f + 5839 = 8*g - 3*g, f = 4. Is g prime?
False
Is 30 - 0 - (-4 - -8) prime?
False
Let g = 297 - -490. Is g a prime number?
True
Let a = 5 - -106. Suppose -2*t + 103 = 4*v - a, -3*v + 158 = -t. Is v a composite number?
False
Let c = -9 - -7. Is (-107)/c + (-5)/10 composite?
False
Let i = 1 - 0. Let n be (3/(-6))/(i/(-4)). Suppose -c + 2*f + 23 = 0, -c = n*f - 3*f - 19. Is c prime?
False
Suppose -4*x + 3*z - 17 = 0, 3*x + 0*z + 3 = -z. Let c be (-806)/(-3) + x/3. Suppose i = -3*i + c. Is i a prime number?
True
Suppose 0*g - 69 = 5*b + g, 64 = -4*b - 3*g. Let h = 7 - b. Suppose 5*n + 0*n = -2*z + 60, 0 = n + 2*z - h. Is n composite?
True
Suppose -o + 526 = o. Is o prime?
True
Suppose j = 4*j + 21. Let d = -2 - j. Suppose -2*g + d*g = 9. Is g a composite number?
False
Let f be (0 + -5)*5 + -2. Let w = 82 - f. Suppose 0 = k + 2*k - 4*s - 91, 0 = 3*k + 5*s - w. Is k a prime number?
False
Suppose -f + 7 = -4*t - 9, 0 = 2*t - f + 8. Let g = t - -4. Is 13 + -1 + g - -2 composite?
True
Let f = 8 - -15. Suppose 4*y - 53 = f. Is y composite?
False
Let w(g) = g + 1. Is w(12) composite?
False
Suppose -3*a + 167 + 61 = 0. Suppose -a = -m - 3*m. Is m a composite number?
False
Is (-9888)/(-9) + (-2)/(-6) a prime number?
False
Suppose 0 = -2*c + 5*h + 3 + 3, 5*c - 5*h - 15 = 0. Is (1 - -2) + 132/c prime?
True
Is 1545 - (1 + (4 - 3)) prime?
True
Let z(b) be the third derivative of b**5/30 - b**4/6 - b**3/6 - b**2. Suppose 4*h = -3*i - 2 - 6, -2*i + 5*h + 33 = 0. Is z(i) a composite number?
True
Let s = -101 + 190. Is s prime?
True
Let q(y) = 349*y - 15. Is q(4) a composite number?
False
Let p = 383 - 198. Is p prime?
False
Let d(y) = 17*y + 2. Is d(15) a composite number?
False
Suppose -2*l - 4022 = -t - 3*t, -4*t + 4040 = 4*l. Is t a prime number?
False
Let l(w) = w**3 + 11*w**2 + 2. Let p be l(-11). Suppose 39 = x - p*u, -2*x = -u - 35 - 49. Is x a composite number?
False
Let i(g) = -25*g + 6. Is i(-13) prime?
True
Let m(t) = -t + 10. Let j be m(7). Let k(y) = 5*y**2 + 2*y + 3. Let v(b) = -6*b**2 - 3*b - 3. Let x(d) = 5*k(d) + 4*v(d). Is x(j) a composite number?
True
Suppose -659 = -3*n + 3568. Is n composite?
False
Suppose 4*q = -0*q + 8940. Is (6/(-15))/((-3)/q) prime?
False
Let s(g) = -g**2 + 3*g - 1. Let k be s(3). Is 1*(2 + k) + 22 a composite number?
False
Let p(w) = -57*w**3 + w**2 - 1. Let f be p(-1). Suppose 0 = 2*t - f - 53. Is t composite?
True
Let m be (0 + 1)*(-45)/5. Let d be 6*(m/(-6) - 1). Suppose d*n + 3*o - 58 = 4*o, -o = -2*n + 37. Is n prime?
False
Suppose 41 = -5*d + 4*r, 2*d - d + 4*r - 11 = 0. Let l(o) = o**3 + 6*o**2 - 5*o - 6. Let g be l(d). Let q = -30 + g. Is q a prime number?
False
Let s(g) = 3*g**3 + 25*g**2 - 29*g - 13. Let r(o) = 2*o**3 + 13*o**2 - 15*o - 7. Let d(v) = 5*r(v) - 3*s(v). Is d(9) a composite number?
False
Let z(r) = -r**3 - 3*r**2 + 7*r + 8. Is z(-5) a composite number?
False
Let f(y) = -14*y + 3. Let j be (-2)/(-6) - (-48)/(-9). Let c(k) = 29*k - 7. Let d(l) = j*f(l) - 2*c(l). Is d(1) composite?
False
Suppose -v - 17 = -5*a, -2*v - 3 = 3*a - 8. Let d = a + 2. Suppose 68 = z + 5*p - 35, 0 = d*z - p - 619. Is z composite?
True
Let m(p) = 3*p**2 + 6*p. Let o be m(-5). Let j = 100 - o. Is j a composite number?
True
Suppose 8 - 19 = -5*f + h, 4*f + 3*h = 24. Let r(b) = b**2 + b + 3. Is r(f) a composite number?
True
Suppose 17 = -5*z + 42. Suppose 3*c - 1129 = 2*u, -1890 = -z*c - 0*c + 5*u. Is c a composite number?
False
Let u = 49 - 83. Let v be (-7982)/143 + 4/(-22). Let l = u - v. Is l a composite number?
True
Let b = -4 + 6. Suppose -5*d = s - 18 + 72, 5*s = b*d - 135. Let v = s + 40. Is v a composite number?
False
Let f(j) = j**2 - 10*j - 16. Suppose 4*o = -36 + 8. Is f(o) composite?
False
Suppose -15 = 5*j - 2*j. Is -2 + 3/((-3)/j) a prime number?
True
Suppose s = -s + 6. Suppose -5*d + 4*u = -1941, -d - 2*d - s*u = -1170. Is d composite?
False
Is 756 - (4/1 + 0 + -1) prime?
False
Suppose -4*w - 3547 = -3*x, 1849 + 2871 = 4*x + 4*w. Is x a composite number?
False
Let o = 5 - 6. Let b be (o + 2)/((-1)/5). Let s = 50 - b. Is s a prime number?
False
Let c(p) = 2*p + p - 2*p + 374*p**3. Let z be c(1). Suppose 0 = -4*q - 43 + z. Is q composite?
False
Let f(x) = 35*x**2 + x + 1. Suppose 4*d - 5*d - 5*l - 9 = 0, 0 = 3*d + 3*l - 9. Let v = d + -7. Is f(v) a prime number?
False
Suppose -2*o - 6*b + 16 = -2*b, 4*o - 24 = -4*b. Suppose -o*k + 68 = 8. Is k prime?
False
Is 940/25 - (-3)/(-5) prime?
True
Let f be -3*(-