be the second derivative of 13*y**3/6 - 3*y. Let g(c) = d(c) - 3*r(c). Is g(5) a composite number?
True
Suppose 0 = -p - x + 66, 0 = 2*p + p - x - 202. Is p composite?
False
Let b = -85 + 147. Is b a composite number?
True
Suppose -3*f + 5*i + 51 = 0, -3*f + 57 = -0*i - 3*i. Suppose d + 1 = 4*z, -4*d - z + 69 = f. Suppose 0 = 2*s + 5*y - 11, 0 = 2*s - 2*y - d - 21. Is s composite?
False
Suppose 0*v - 5*v = -275. Is v a composite number?
True
Suppose -4*u - 2*j = 40, -3*u - 4 = -j + 16. Let y = -8 - -35. Let o = y - u. Is o a prime number?
False
Is (-401050)/(-170) + (-2)/17 prime?
False
Let l(x) = -x**3 - 5*x**2 + 8*x + 6. Let u be l(-6). Let s = u - -8. Suppose -41 = -s*g - 5*y, 3*g - 7*g + y = -49. Is g a composite number?
False
Suppose 2*j = 8, 5*j - 15 + 5 = 5*v. Is v/((24/(-201))/(-4)) composite?
False
Let f be (-240)/(-7) + 4/(-14). Let c = 67 - f. Is c prime?
False
Let n(r) = 19*r + 1. Is n(4) a prime number?
False
Suppose -5*t = -219 + 59. Suppose 622 - t = 5*q. Is q a prime number?
False
Let d = -3 - -7. Suppose 2*p + d*m - 23 = 21, -100 = -4*p - 2*m. Is p a composite number?
True
Let d(m) be the first derivative of 2/3*m**3 - 3 - 9*m - 4*m**2. Is d(-6) composite?
True
Let z(h) = h**3 + 13*h**2 + 5*h + 7. Let n be z(-9). Suppose -n = -2*f - 0*f. Is f composite?
True
Suppose 0 = -o + 3*o - 68. Suppose -3*r = -2*j - o, j - 13 = -r - 0*j. Suppose -5*y - r = -2*y, 2*d - 3*y = 170. Is d a prime number?
True
Suppose 4*l - 369 = 5*x, -4*l = 3*x - 2*l + 239. Let g = -46 - x. Is g a composite number?
False
Let w = 1 + 10. Let f(y) = y**3 - 11*y**2 + y + 2. Is f(w) prime?
True
Suppose -f - 3*u + 889 = 0, -u + 2667 = f + 2*f. Is f a composite number?
True
Let a(u) = -10*u**2 + 13*u**2 + 4 - 2 - 2*u + 1. Let b be (-4)/18 + (-40)/(-18). Is a(b) a composite number?
False
Suppose -14 = -2*o + 2*t, -4*o - 6 = -2*o + 2*t. Suppose -o*l = -x + 241, -3*x = -5*l - 935 + 208. Is x a composite number?
True
Let f(l) = 10*l - 1. Let j be f(-1). Let k be -2 - j*(5 - -1). Suppose 3*v - 47 = k. Is v prime?
True
Suppose 2123 = 3*g - 5*v, -g + v + 705 = -0*v. Is g a prime number?
True
Let x = -259 - -364. Let a = x + -58. Is a a composite number?
False
Let i be (-1)/(-1 - 797/(-796)). Let m be i/(-18) + (-2)/9. Suppose -m - 13 = -3*z. Is z composite?
False
Let f(v) be the first derivative of 2 - 85/2*v**2 + 0*v. Is f(-1) prime?
False
Suppose -2*b = 8 + 26. Let d = 32 - b. Is d prime?
False
Let j = 3 + 13. Let g(u) = u**3 - 17*u**2 + 20*u - 11. Is g(j) prime?
True
Suppose 8*k - 19*k + 5797 = 0. Is k prime?
False
Suppose 0 = 10*y - 3*y - 595. Is y prime?
False
Suppose 0*m + 5*m = t - 16, 0 = 5*m - 10. Is t a composite number?
True
Let s = 338 - 115. Is s a prime number?
True
Let q(p) = 169*p**2 - 4*p - 4. Is q(-3) a composite number?
True
Let l = 68 - -95. Suppose 2*p = p + l. Is p composite?
False
Suppose 6*a - 18317 = -7*a. Is a a composite number?
False
Is (3 - -191)*4/8 a prime number?
True
Let w(i) = -71*i + 3. Suppose 6 = -2*l - 0*l. Let u be w(l). Suppose -4*a - o = -279, 4*a - 4*o - 48 - u = 0. Is a prime?
False
Suppose r - 22 = -4*o - 2, -2*r + 25 = 3*o. Is 4/r*212/2 prime?
True
Let a(p) be the second derivative of p**4/4 - p**3/3 - p**2 + 3*p. Suppose 0 = -3*v + 15, 3*v + 19 - 46 = 4*g. Is a(g) prime?
True
Let i(q) = 13*q - 3. Let d = 3 + -7. Let u = 6 - d. Is i(u) a composite number?
False
Let g(o) = o**3 + 26*o**2 + 17*o + 1. Is g(-15) a prime number?
True
Let a = 112 - -135. Is a prime?
False
Suppose 5*b + 1695 = 5*a, -2*b = a - 2*a + 337. Is a a prime number?
False
Let v = 14 + -6. Is 45/60 + 418/v prime?
True
Let j = 6 - 4. Suppose 7*p - j*p - 765 = 0. Let q = p + -88. Is q a prime number?
False
Suppose 6 = 2*q, 3*v + 15 = -q + 4*q. Is (v - 21/12)*-4 a prime number?
False
Suppose 4*d - 2*d + 3*u - 999 = 0, 3*d = -u + 1502. Is d a composite number?
True
Suppose -2*b + 0*x = -4*x + 144, -72 = b + x. Let o = b - -245. Suppose -z = 3, -3*l + o = 2*l - z. Is l prime?
False
Let y(s) = 8*s + 1055. Is y(0) a composite number?
True
Let s = -164 - -396. Let v = s - 9. Is v prime?
True
Suppose 6 = 3*c - 0. Is (11/c)/(1/4) a prime number?
False
Let n = 235 + 474. Is n a prime number?
True
Suppose 3*l - 7*k + 16 = -2*k, 2*k - 13 = -l. Suppose 4*a = 3*a - 5, l*a = -v - 3. Suppose 5*s - 553 = v. Is s a composite number?
False
Suppose -9*r = -13*r. Suppose 975 = 5*b - 5*w, r*b - 171 = -b - 5*w. Is b a prime number?
True
Suppose -3*y = -y + 40. Let x be (6/5)/((-8)/y). Suppose 0 = 3*n - x*l - 162, 2*n - 5*l - 44 - 67 = 0. Is n a composite number?
False
Let j(i) be the first derivative of -i**4/12 + 4*i**3/3 - 3*i**2 + 3*i + 2. Let l(n) be the first derivative of j(n). Is l(5) a prime number?
False
Let n be ((-5)/(-2))/(2/4). Let o(x) = -3 + 4*x**2 + 4 - 3*x**2 - 2 - x. Is o(n) a prime number?
True
Let f = 5 + -4. Let y = f + -1. Suppose m = -y*m + 19. Is m prime?
True
Let k = -12 + 18. Suppose -5*r + 108 = b, -r = -k*r - 4*b + 102. Is r a composite number?
True
Suppose 0 = 2*n + h - 17, -4*n + h = -4*h - 27. Let x(w) = 2*w**2 + 11*w - 11. Is x(n) a composite number?
True
Let z = 43 - -26. Is z composite?
True
Is 59 - (-5)/((-20)/8) composite?
True
Let l = 7 - 10. Let a(x) = x + 2. Let h be a(l). Is 1*(48 + (-1)/h) composite?
True
Let h be (-2)/(-1) + 0 + 0. Is (-1962)/(-15) - h/(-10) composite?
False
Suppose 2*v = 4*u + 86, -3*u - 2 = -8. Is v prime?
True
Let k = -1515 + 2782. Is k composite?
True
Let w = -10 - -4. Suppose 0 = -5*r - 89 - 46. Let n = w - r. Is n prime?
False
Let k(a) = -50*a - 2. Let g be k(-3). Suppose 2*o + 2*o = g. Is o a prime number?
True
Let m(d) = d - 8. Let a be m(9). Is a*(2 + 0) - -47 prime?
False
Suppose -2*k + 0*k = 8. Let g(f) = -f**3 + 11*f**2 - 2*f + 1 - 4*f**3 + 6*f**3 - 6*f**2. Is g(k) prime?
False
Suppose 4*h - 439 = -4*u + u, -287 = -2*u + 3*h. Is u a prime number?
False
Let i(s) = -3*s + 303. Is i(0) a composite number?
True
Let j = -9 + 16. Suppose -9*b + 706 = -j*b. Is b prime?
True
Suppose 4*n - 4*i = -104, 4*n + n + 112 = -4*i. Let x = n - -34. Is x composite?
True
Suppose 0*m - 22 = -2*m + k, -4*k = 0. Suppose j - m - 42 = 0. Is j a composite number?
False
Suppose -5*s - 2*t + 10494 + 6215 = 0, -s + 3339 = -t. Is s a composite number?
True
Let k = 809 + -412. Is k a prime number?
True
Suppose 371 = 7*r - 6*r. Is r prime?
False
Let f be (6/3)/((-2)/(-5)). Suppose 382 = f*r - 3*r. Is r a composite number?
False
Let d = 1 - -1. Let f = -4 + d. Is f/(63/65 + -1) prime?
False
Suppose 4*x = 13 + 11. Suppose -t = -x*t + 255. Is t a composite number?
True
Let p(v) = 5 - 1 + 14*v - 1 + 38*v. Is p(4) a composite number?
False
Let r = 289 + -153. Suppose 0*c + 5*n = 3*c + r, -4*c = -n + 153. Let u = 20 - c. Is u prime?
False
Suppose 49 - 7 = r. Suppose 3*h - r = h. Is h a composite number?
True
Let m(i) = -89*i + 17. Is m(-4) prime?
True
Is (24/(-8))/(3/(-2857)) a composite number?
False
Let d(v) = -122*v - 5. Is d(-8) prime?
True
Suppose 0 = -s + 2 - 0. Suppose -s*u - 3*u - 69 = -2*k, -35 = -k + 2*u. Is k a composite number?
False
Let f = -1387 - -2702. Is f a composite number?
True
Suppose 0 = 2*k + 2*d - 615 - 863, k - 739 = d. Is k a prime number?
True
Let j = -3 + 8. Suppose 2*v = j*u - 21, -3*u + 2*u = v. Is 125 - v*(-6)/(-9) a composite number?
False
Let v = 7079 + -4772. Is v a composite number?
True
Let g = 11 - -42. Is g prime?
True
Let n(j) = j + 2. Let b be n(3). Is b*4/((-16)/(-428)) a prime number?
False
Let o(j) be the first derivative of j**4/4 + j**2/2 + 97*j + 1. Is o(0) composite?
False
Suppose 0 = -4*g + 698 + 42. Suppose 0*l - 5*l = -g. Is l composite?
False
Suppose 5*t + j = 4*j + 3332, 1336 = 2*t + 2*j. Is t composite?
True
Let s(t) = -t**3 - 5*t**2 - 5*t. Let m be s(-4). Is 3/(6/m) + 29 a prime number?
True
Suppose -m + 0*h = 2*h - 205, -2*m + 5*h + 437 = 0. Is m composite?
False
Suppose -2*f - 2*f + 124 = 0. Is f a composite number?
False
Suppose 28*r + 2631 = 31*r. Is r prime?
True
Let t = 19 + -12. Let b(h) = 11*h**2 - 8*h - 16. Is b(t) a prime number?
True
Let g(i) = i**2 - 2*i + 1. Let a be g(1). Let z be (0*1/2)/3. Suppose z = -a*j - j + 55. Is j a prime number?
False
Is (374/10 - -3)*5 prime?
False
Suppose 116 = -0*a + 5*a - 3*h, -5*a = 5*h - 140. Is a a composite number?
True
Let h be (-6)/36 - 62/(-1