composite?
True
Let d(v) be the second derivative of v**5/20 + v**4/12 + v**3/6 - 61*v**2 - v. Let y be d(0). Let j = -3 - y. Is j a prime number?
False
Let p(d) = 26*d**2 + 26*d + 19. Is p(6) composite?
True
Suppose -2*i + 2*x = -202, 3*i + x - 282 = -3*x. Let l = 277 - i. Is l a composite number?
False
Let y(c) = -20204*c + 67. Is y(-6) a composite number?
False
Suppose l = -l + 3*y + 12, 5*l + y + 4 = 0. Suppose -1846 = -2*v + f, l*f = 3*v - 5*f - 2769. Is v composite?
True
Suppose 0 = -21*p + 141799 + 278180. Is p composite?
True
Suppose -5*p = -4*q + q - 16, 0 = 3*p + 3*q - 24. Let n be -5 + p + (-2)/(-1). Is 3 - ((-1268)/n - 4) a prime number?
True
Suppose 0 = 5*o - 7033 - 3732. Is o a composite number?
False
Let p = 37 + -35. Let u(c) = c**2 + c. Let g be u(p). Is 4/2*807/g prime?
True
Let q = 39951 - 23846. Is q a prime number?
False
Suppose -h - 24 = -5*h. Suppose -4*m = -h*m + 398. Is m a prime number?
True
Suppose -4782 = -17*g + 14*g. Is g prime?
False
Let k(p) = 17*p - 11. Let o(u) = -33*u + 21. Let t(r) = 9*k(r) + 4*o(r). Let n be t(-7). Let h = -103 - n. Is h prime?
True
Let h be ((-10)/(-4))/((-12)/(-72)). Suppose -24*z + 29*z - h = 0. Suppose -z*o + 1086 = -o. Is o prime?
False
Is 4/50 - (-1755153)/1525 composite?
False
Suppose g + 3250 = 4*n - n, 8 = -2*g. Is n a composite number?
True
Let o be (7 + 210/(-24))*(-5 + 1). Let w(z) = 522*z - 1. Let g be w(2). Suppose g = -0*b + o*b. Is b prime?
True
Let x(k) = 300*k**2 - 38*k + 5. Is x(-7) composite?
True
Let r(o) = o**2 - 2*o + 14. Let q(n) = -n**2 + 7*n + 3. Let i be q(5). Let y be r(i). Suppose -2*g - 41 + y = 0. Is g a prime number?
False
Suppose 0*a - 4*a = -424. Let y = -391 - -368. Let q = a + y. Is q a composite number?
False
Let c(w) = w**3 - 2*w**2 - 2*w + 1. Let f be c(0). Is f + 59 + (1 - -1) prime?
False
Is (-9987 + 0)/((-12)/8) a composite number?
True
Suppose -4*z - 2401 = 3*i, z + 601 = -0*i - i. Let r = -119 - z. Is r a prime number?
True
Suppose -a = 5*q - 45, 3*a + 4 = 5*q - 21. Is 1 - -3 - (-1016)/q prime?
True
Suppose -178349 = -5*d + 3*n - 18415, -d = 2*n - 31979. Is d prime?
False
Suppose -5*m - 51 = -16. Let g(y) = 7*y**2 + y**3 + 6*y**2 - 4*y**2 + 5*y - 6. Is g(m) a composite number?
True
Let d(b) = b**3 + 8*b**2 - 8*b + 10. Let u be d(-9). Let s = 7 + u. Is (-7)/28 - (-74)/s composite?
True
Let l(j) be the second derivative of j**5/20 - j**4/12 + j**3/3 - 3*j**2/2 - 4*j. Is l(4) composite?
False
Let q be (23 - 9)*(-30)/(-4). Let r = q - 62. Is r prime?
True
Suppose -5*b + 8*b - 5802 = -3*f, -5*b = f - 9658. Is b a prime number?
True
Let f(m) = m + 20. Let h be f(-6). Suppose -3329 = -h*o - 711. Is o a composite number?
True
Let r(p) be the third derivative of -7*p**4/2 - p**3/6 - 4*p**2. Suppose 0 = 5*f + 6 - 1. Is r(f) composite?
False
Suppose -18*c = -16*c + 1008. Let t = 885 + c. Is t composite?
True
Suppose 0 = -g + 56 - 51. Is (-546)/14*g/(-3) a composite number?
True
Let g = 28282 + -13283. Is g a composite number?
True
Let v(w) = 865*w**2 - 58*w - 268. Is v(-5) a composite number?
False
Let i(v) be the third derivative of v**4/8 + v**3 + 5*v**2. Let s be i(-4). Is 5598/42 + s/21 composite?
True
Let s be ((-10)/(-12))/(7/42). Suppose 0 = 5*y - 2*w - 1124, 6*y = 2*y + s*w + 889. Is y a prime number?
False
Let m be 4 - ((-15)/(-5) + -2). Suppose -3*h = -5*c - 12, -2*c - h = m*c - 4. Suppose c = 22*k - 17*k - 665. Is k a prime number?
False
Let h = -19 - -29. Let v = h + 178. Is v - 3*2/(-2) a composite number?
False
Suppose 2*a - 16542 - 8087 = 3*b, -b + 12302 = a. Suppose -10*z - 1697 + a = 0. Is z a prime number?
True
Suppose -5*v = 5*i - 10, -v - v = -4*i - 22. Let l = -3 + v. Suppose -u - l*u = -66. Is u composite?
True
Let o be 19/(-5) - 1/5. Let z(u) = 25*u**2 - 15*u - 16. Let p(w) = -8*w**2 + 5*w + 5. Let b(r) = -7*p(r) - 2*z(r). Is b(o) a composite number?
False
Is 5 + (2 - 3) - -1461 composite?
True
Is ((-29317)/(-38))/((-3)/(-12)) composite?
True
Let i(z) = -z**2 + 3*z + 1. Let d be i(3). Suppose d = -w - 67. Is (51/12)/((-1)/w) composite?
True
Suppose -29*t = -31*t + 1402. Is t a composite number?
False
Suppose 0 = -20*v + 91*v - 206113. Is v a prime number?
True
Let g = -12372 + 20873. Is g prime?
True
Is (1 - 2)*(-137 - (-3 + 9)) composite?
True
Is 5941/(-2)*(-3 - -1) a prime number?
False
Let t(i) = 2*i**2 + 4*i + 4. Let s be t(-5). Suppose -29*y = -s*y + 11975. Is y composite?
True
Suppose -30 = -6*c + 4*c. Suppose -c*u + 155 = -10*u. Is u a composite number?
False
Let k(z) = z**2 + 2*z. Let o be k(-3). Suppose -o*y + 3634 = 5*s, 5*y = -3*s + 6*s + 6000. Suppose -d - y = -4*d. Is d a composite number?
False
Let l(f) = -f**2 + 10*f + 15. Let t be l(12). Let k(z) = z**2 + 8*z - 7. Let y be k(t). Suppose 2*s = -y*s + 184. Is s a composite number?
True
Suppose 11*o - 8*o = 48. Suppose -o + 7 = -c. Suppose -6*g = -c*g + 711. Is g composite?
True
Suppose -5*s = 0, -2*s = 4*v - 0*v - 1784. Suppose -46*h + 47*h - v = 0. Is h a prime number?
False
Suppose 15*p - 10*p = 35465. Is p composite?
True
Let n(t) = -3*t**2 + 3*t + 1. Let g(h) = 3*h**2 - 2*h. Let o(m) = -2*g(m) - 3*n(m). Suppose -5*d + 40 = 5*w, 2*w = -d + 3*d. Is o(w) prime?
False
Let v(h) = -h**3 + 5*h**2 - 6*h - 25. Let c be v(13). Is 1/(5*(-3)/c) a prime number?
True
Let g(i) = -2*i**3 + 3*i**2 + 7*i + 9. Let p(o) = -o**2 + 8*o + 5. Let r(n) = 3*n - 24. Let y be r(11). Let x be p(y). Is g(x) composite?
False
Let p(m) = m**3 - 2*m**2 - m - 1. Let f be p(4). Let u = f - 24. Suppose -4*b - 148 = -4*x, -x - b = u*x - 158. Is x a prime number?
False
Suppose -p + 15 = 10. Suppose p*h = -2*a + 3376, -h + 2*h + 3388 = 2*a. Is a a prime number?
True
Let y(b) = 107*b + 14. Let h(l) = -36*l - 5. Let a(z) = 17*h(z) + 6*y(z). Let q = 9 + -7. Is a(q) a composite number?
False
Let s = 117614 + -41211. Is s a composite number?
False
Is (2/(-3))/(20/(-268890)) composite?
False
Suppose 177817 + 176754 = 7*c. Suppose p - 6*p + c = 4*d, 5*p - 50651 = -3*d. Is p a composite number?
True
Let a(m) = 2*m**2 - 61*m - 232. Is a(-39) composite?
False
Suppose -m = 4*i - 377, 0 = 2*m - 7*m - 15. Suppose -4*o + i = g, -g + 0*o + 95 = 3*o. Is g composite?
True
Let s be (-5)/(((-6)/2)/3). Let n(m) = 33*m - 16. Is n(s) a composite number?
False
Is -5669*(1/(-6))/((-2)/(-12)) a composite number?
False
Let m = 53579 - 27228. Is m composite?
True
Let c(l) = -2*l - 16. Let u be c(-8). Suppose 5*n + u*n = 525. Suppose -2*t + n = -397. Is t prime?
True
Let b(k) = -12*k - 12. Let h be b(-1). Suppose -o + 2*n + 641 = h, -3*o + n + 1898 = -0*o. Is o a prime number?
True
Suppose l + 12 - 29 = -3*c, c - 4*l + 16 = 0. Suppose -5*a = -c*o + 1653, 5*a = 3 + 12. Suppose 0 = 2*j + 63 - o. Is j prime?
False
Let r(v) = 2*v**2 - 3*v. Let x be r(2). Is 1*(-3 + x) - -2154 composite?
False
Let s = 15 + -13. Suppose 4*n = -38 + 122. Suppose k - n = -s*k. Is k a composite number?
False
Suppose -d = -3, -q - 10*d + 3217 = -5*d. Is q a prime number?
False
Let i(q) = -q**2 - 10*q + 3. Let y be (5 + -3 - -8)/(-1). Let g be i(y). Suppose 0 = -g*d + t + 170, 140 + 65 = 4*d + 3*t. Is d a composite number?
True
Let m = 9 + -35. Let x = m - -85. Is x a composite number?
False
Suppose -5*z = 0, -m + z = -0*z - 40. Let b be m/(-25)*15/2. Is (-2)/6*2844/b composite?
False
Is 5 - (-60)/(-5) - -183650 composite?
True
Let w(r) be the second derivative of 8*r**4/3 + r**3/3 - 3*r**2/2 - 10*r. Is w(1) a composite number?
False
Let y(q) = -2*q**3 - 22*q**2 - 16*q - 19. Let g be y(-14). Let z = 1954 - g. Suppose -4*b + z = -b. Is b a composite number?
False
Let p = -3510 + 9079. Is p composite?
False
Let p be 497/28 + 2/8. Let i be (4/8)/((-1)/p). Let s = i + 20. Is s a prime number?
True
Suppose -q - 5*d + 1 = -4*d, -d = 3*q - 9. Suppose 0 = q*l - 2*o - 8900, 0 = -4*l - 3*o + 4*o + 8896. Let w = l - 1180. Is w prime?
False
Let b = 37 + 10. Suppose 4 = k + b. Let h = k - -254. Is h composite?
False
Suppose 61*t - 45*t = 78352. Is t a composite number?
True
Let u(g) = -6*g**2 + 15*g - 9. Let a be u(4). Let w = 581 - 375. Let b = w - a. Is b a composite number?
False
Let i(z) = -2*z - 21. Let j be i(-12). Is 2919/j + (-8)/(-2) prime?
True
Let s = 2850 - 1507. Is s a prime number?
False
Suppose -4*m - 2*w + 1968 + 102 = 0, -1549 = -3*m - 5*w. Suppose -f +