 + 4 + 19*c - 6. Let s be (-8)/(-4*1) - -9. Is p(s) prime?
True
Suppose -5*p = -2*i + 14802, -5*i + 4*i = 5*p - 7431. Is i a prime number?
True
Let r(v) = -3*v + 15. Let w be r(6). Let f be 6*17 + w + -4. Suppose 3*k + f = 632. Is k a composite number?
False
Let x = 4 - 1. Let y be (-3*1)/(5 - (-3053)/(-610)). Suppose -x*f + y = -881. Is f composite?
True
Suppose 3*r + 4*r - 2009 = 0. Is r a prime number?
False
Let m be ((-15)/(-9))/(3/(-9)). Let f(n) = -n**3 - 5*n**2 + n + 4. Let h be f(m). Let u(a) = 50*a**2 + 1. Is u(h) a prime number?
False
Let k(v) = -v**2 - 15*v + 18. Let n be k(-16). Let c(f) = -n + 18*f**2 + 2*f + 16*f**2 - 4. Is c(2) a composite number?
True
Suppose 4*i = -t + 24, -2*t - 3*t + 10 = -2*i. Let o(p) = -p**3 + 3*p**2 + 5*p. Let k be o(t). Suppose 190 = k*h - 2*h. Is h a prime number?
False
Let h(m) = m**2 + 8*m - 3. Let q be h(-10). Suppose q*n - 13*n = 4348. Is n prime?
True
Let v(s) = -2*s**3 - 2*s**2 - 3*s + 3. Let t(j) = 0*j**3 + 3*j**3 - 6 - 1 + 5*j**2 + 7*j. Let a(u) = -2*t(u) - 5*v(u). Is a(4) prime?
False
Let v = 24758 + -4809. Is v composite?
False
Suppose 0 = 6*l - 2*l - 3*z - 4, -8 = 3*l - 5*z. Suppose l*d - 6620 = 9248. Is d a prime number?
True
Suppose 0 = -s + 5 + 2. Suppose s*j - 1828 = -491. Is j a prime number?
True
Let r be 2/(-8) - (-52)/16. Suppose -2*a + 1232 = r*a + 3*k, -3*k + 985 = 4*a. Suppose -3*l + a = -4*g, -2*l + 2*g + 244 = 76. Is l a composite number?
False
Let p(c) = -2661*c + 7. Let x be p(5). Let j = -9103 - x. Suppose -m + 6*m = j. Is m prime?
True
Let x(h) = 3 + 15*h - h - 4 + 21*h**2. Is x(6) a prime number?
True
Let s = -53 + 53. Is -1*(-1 - s) - -690 prime?
True
Let y = 633 + 14. Is y a composite number?
False
Let x = -385 + 5086. Is x a prime number?
False
Let k = 20 - 17. Suppose -140 + 3017 = k*n. Is n a prime number?
False
Let y(f) = 108*f - 7. Let g = -10 - -13. Is y(g) prime?
True
Let d(p) = 27*p**2 + 30*p - 416. Is d(31) a prime number?
False
Suppose -23*a + 7982 = -54923. Is a a prime number?
False
Suppose -2*g - j = j - 4, 2*g + j = 4. Suppose -1811 = -g*i - 5*v, -4*i - 3*v = -226 - 3417. Is i composite?
True
Let c(u) = 696*u**2 + u + 12. Is c(5) a composite number?
False
Suppose -t + 2*x = -6803, t - 5*t - 3*x = -27223. Suppose 37*s - 32*s = t. Is s a composite number?
False
Suppose r - 60 = 6*r. Let f(y) = -y - 9. Let m be f(r). Suppose -m*h = -304 + 58. Is h a prime number?
False
Let o(r) = -r**2 - 6*r - 8. Let n be o(-4). Suppose n = 5*k - 212 - 438. Suppose -205 = -5*b + k. Is b a prime number?
True
Let t(f) = f**3 + 31*f**2 - 117*f + 47. Is t(-26) a prime number?
True
Let a = 38 - 20. Is 798/(-9)*a/(-12) a prime number?
False
Let k(m) = 15*m**2 + 4*m + 10. Let i be k(-4). Let n = 252 - 173. Suppose -5*v + i = n. Is v a prime number?
True
Let n(y) = -y**3 - 14*y**2 - 25*y - 6. Let f be n(-12). Let k(r) = 43*r + 5. Is k(f) prime?
True
Let j(m) = m**3 + 6*m**2 + 2. Let r be j(-6). Let k = -111 + 123. Suppose -q - 3*c + 26 = 0, -k = -r*q + 3*c - c. Is q prime?
True
Suppose 4*u - 5*n = 63, 0*n + 4*n - 24 = -3*u. Is (-18)/u*4634/(-3) a prime number?
False
Let q(r) = r**3 + 16*r**2 - 20*r - 21. Let p(f) = f**2 - f - 1. Let o(n) = -4*p(n) + q(n). Let g be o(-12). Let y = g - 88. Is y a composite number?
True
Let w be 8/36 - 17108/36. Let u be (-2 + 20)*w/(-15). Suppose t - 413 = 3*c, 3*t + c - u = 689. Is t a prime number?
True
Suppose -16*w + 0 + 0 = 0. Let r be (-1)/((-2)/6)*-1. Is (-214)/(w + -1) - r a prime number?
False
Suppose 4*g + 20 = 0, -4*g - 19769 = -4*y + 20703. Is y composite?
True
Let n = -83 - -2022. Is n prime?
False
Suppose c + 4*c + 87 = -r, 0 = c + 3*r + 9. Let s = c - 130. Let g = s - -259. Is g composite?
True
Let d(r) = 14*r**3 + 2*r**2 - 2*r. Let g(s) = 15*s**3 + s**2 - s + 1. Let k(w) = -4*d(w) + 3*g(w). Let o be k(-5). Suppose -o = -3*p - p. Is p a prime number?
True
Let t(l) be the third derivative of -5/6*l**3 - 1/3*l**4 + 0 + 7*l**2 + 2/15*l**5 + 0*l. Is t(-6) prime?
True
Suppose 36 = 9*k - 45. Suppose 15*l - k*l = 9258. Is l a prime number?
True
Suppose 0 = 4*x - 5*i + 76, 3*x = -2*i - 3*i - 22. Let z = 15 + x. Let b(n) = 257*n**2 + n + 1. Is b(z) prime?
False
Let c = 119 + -48. Let j = 56 + c. Is j a composite number?
False
Let o be 40/12 + 6/(-18). Suppose 5*q + 0*p + o*p - 665 = 0, 4*q - 532 = -5*p. Is q composite?
True
Suppose -3*w + o + 1 = 0, 5 = 2*w - 5*o - 0. Suppose -2*n = 2*j - 418, 3*j + 4*n + w*n = 625. Is j a composite number?
False
Suppose -766 = -9*j + 1331. Let w = 745 + 187. Suppose q = -4*x - q + w, x + q = j. Is x a prime number?
True
Suppose -7*p + 11*p - 26960 = 0. Let u = -1831 + p. Is u composite?
False
Is (-6)/(-15) - 4/((-140)/101381) composite?
False
Suppose -10*j + 12*j = 3*b - 61, -12 = -3*j. Is b a composite number?
False
Let o(c) be the third derivative of -101*c**5/60 + c**4/12 - c**3/6 - 6*c**2. Let z be o(1). Let s = z + 206. Is s a prime number?
False
Let c = -5481 + 22352. Is c a composite number?
False
Let c = -148 - -1332. Suppose -4*k - 2*z + c = 0, -k - 2*k = 2*z - 889. Is k composite?
True
Let k be (-3 - -8) + -1 + (46 - 0). Suppose -5*r - w + 158 = 0, -5*r + 4*w + k = -3*r. Is r prime?
True
Is (-2)/(32/(-54226)) + 12/(-96) prime?
True
Let y(i) = -160*i + 10. Let o(a) = -320*a + 20. Let w(c) = -2*o(c) + 5*y(c). Let f be w(12). Is 8 + -4 + f/(-2) a composite number?
True
Let t(n) = 1660*n**2 + 11*n + 22. Is t(3) composite?
True
Let t be (-10)/(-45) + (-3 - (-151)/9). Suppose t*v - 1813 = 7*v. Is v a prime number?
False
Let o = -39 - -154. Let g(k) = 4*k - 2. Let l be g(-6). Let t = o + l. Is t a prime number?
True
Let c = -4 + 9. Suppose 0*p = c*p - 935. Is p a composite number?
True
Let n = 915 + 397. Let u = n - 841. Is u composite?
True
Suppose -434 = -5*t - q + 4*q, -4*q = -t + 97. Suppose 2*f - t = 2*h - 9, -2*h - 119 = -3*f. Is f a composite number?
False
Let p(d) = -2*d**2 + 7*d + 12. Let w be p(5). Is (-5)/(-15)*w - -1204 prime?
False
Let m(b) = -3 + 5*b + 5 + 8*b. Suppose n = -o - 4*o + 36, -6 = -n + o. Is m(n) prime?
False
Suppose 31*k + 67770 = 320327. Is k composite?
False
Let g = 49 + 23. Let u = 42 - g. Is 6/u - (-1312)/10 a composite number?
False
Let v(f) = -f**3 + 7*f**2 + 9*f - 6. Let z be v(8). Is (-21)/z*142/(-3) a prime number?
False
Let t(h) = h**3 - h**2 - 2*h + 3. Let i be t(0). Let o = 1778 + -1104. Suppose 0*q + o = i*q + a, q - 203 = 4*a. Is q a composite number?
False
Let v = -10623 + 19279. Is ((-4)/(-16))/(4/v) prime?
True
Suppose -s = -3*l - 35 + 13, -5*l = 0. Is (-4)/22 + 26778/s a prime number?
True
Suppose 2*v + 3 = 5*w, -5*v + 12 = -5*w - 3. Suppose 0 = v*k + 2*k - 3320. Is k prime?
False
Let u be (0 - -1)/((-2)/(-10)). Suppose 3*y - 2*g + 326 = u*y, g - 2 = 0. Is y composite?
True
Let r(o) = -3*o**3 + 25*o**2 - 47*o + 41. Let h(i) = 5*i**3 - 37*i**2 + 71*i - 61. Let v(t) = 5*h(t) + 8*r(t). Is v(-16) composite?
False
Suppose w = 2, 5*d + 4*w - 9803 = -2630. Suppose 2*x + 223 = -4*a + d, -4*x - a = -2448. Let t = x - 258. Is t a prime number?
False
Let p = -433 - -642. Let z = p - 90. Is z a composite number?
True
Let o = 14889 - 10562. Is o a prime number?
True
Suppose 3*z - z + 22 = 2*t, 0 = t + 2*z - 8. Suppose t - 452 = f. Let i = 633 + f. Is i a composite number?
False
Let j be 8 + 1 + -3 + -4. Let t(m) = -4 + 4*m**2 + m**2 - j - 2*m + 8*m**2. Is t(-5) a composite number?
True
Let x(j) = 8*j**2 + 4*j. Let h(k) = 8*k**2 + 4*k. Let s(i) = -3*h(i) + 4*x(i). Let z be s(5). Suppose -5*y - z = -9*y. Is y composite?
True
Suppose 0 = -21*p + 17*p + 1600. Let a = p + -215. Is a a prime number?
False
Let a = -26 - -28. Suppose -4*p = a - 1062. Is p a prime number?
False
Suppose -5*v + 3*p = -2*v + 891, -v - 5*p = 267. Let m = -81 - v. Is m a composite number?
False
Suppose 5*h = 61 - 61. Let q = 74 + -447. Is q*(-1 - h)*1 composite?
False
Let c(x) = 5*x - 26. Let k be c(8). Suppose -23938 = -k*v + 12616. Is v prime?
False
Is ((-23)/(-3) - 8)*-19407 a prime number?
True
Suppose 0 = 3*u - 2*u - 3*z + 362, 0 = u + 3*z + 368. Is u/(-15) - 4/(-6) composite?
True
Suppose 0*s + 54136 = 4*s - 3*y, 4*y + 67669 = 5*s. Is s prime?
True
Suppose -41 = -5*i - 16. Suppose 157 = y - 3*p, 0 = -3*y + i*p - 2*p + 471. Is y a composite number?
False
Suppose -6*c - c = 0. Suppose 0*k - 5*k = 3*d 