 prime number?
True
Let r(p) be the third derivative of p**7/2520 + p**6/180 - p**5/60 - p**4/12 - 2*p**2. Let h(f) be the second derivative of r(f). Is h(-6) a prime number?
False
Suppose -2*b - 168 = -2*g, -g - 3*b = -122 + 22. Suppose m + g = 2*s - 0*m, -3*m = 0. Is (0 - 14/(-8))*s prime?
False
Suppose -5*z - 4*w + 461 = 0, 4*w + w = 20. Let u = 148 - z. Is u composite?
False
Let n = 4788 + -1081. Is n composite?
True
Let b = 514 + -95. Is b prime?
True
Let r(m) = m + 31. Let n = 0 + 0. Is r(n) composite?
False
Suppose 2*a + o = -3*o + 246, 4*a + 3*o - 487 = 0. Is a a prime number?
False
Suppose 4*j + 4*i - 3232 = 6*i, 5*j - 4037 = i. Is j a prime number?
False
Is ((-2154)/(-4))/((-11)/(-22)) a composite number?
True
Suppose 0 = 4*m - 45 - 111. Suppose r + 2*p - 8 = -p, 13 = 2*r + 5*p. Is (1/(-3))/(r/m) composite?
False
Let z(j) = 5*j**2 - 3*j**2 + 7 + j**2 - 2*j. Is z(-6) a prime number?
True
Let b(x) = -20*x**3 - x**2 + 5*x + 9. Is b(-4) prime?
False
Let y(t) = t**3 + 7*t**2 + 3*t - 1. Let m be y(-6). Let d = 2 + m. Is d a composite number?
False
Is (58/(-4))/((-6)/36) composite?
True
Let r(z) = -z**2 + 3*z. Let c be r(5). Let s(t) = -t**3 - 7*t**2 - t - 14. Let u be s(c). Is u/5 + 3/(-15) prime?
True
Let y(o) = 107*o - 15. Is y(7) prime?
False
Let a = -109 + 64. Let c be 2/(-1 + a/(-39)). Suppose 4*f = 3*i - 79, 0*i = i + 2*f - c. Is i prime?
False
Let h = 466 - 219. Suppose -3*q + 200 + h = 0. Is q composite?
False
Suppose -3*c = -0*c - 3*v - 21, 4*v + 14 = -3*c. Suppose 3*m = -c*u + 5*u, 4*m = -2*u. Suppose u = d + d - 66. Is d prime?
False
Let o(f) = -f + 4 + f + 4*f + 6*f**2. Is o(-3) prime?
False
Suppose 0 = 2*s - 7 - 3. Let h(u) be the first derivative of 19*u**2/2 - 6*u + 8. Is h(s) composite?
False
Let z be -1*(-1 - 0)*47. Let s = z - 33. Is s a composite number?
True
Let p be (-3)/(4/((-32)/(-6))). Is (-2 - 0)*42/p composite?
True
Let w be ((-25)/2)/(-5)*14. Suppose 0*y + w = 5*y. Suppose 5*f - 48 = y. Is f composite?
False
Suppose -5*v + 2*v + 39 = -4*g, 0 = -v - g + 13. Suppose -v*u - 195 = -18*u. Is u prime?
False
Let u(q) = -318*q + 29. Is u(-30) prime?
False
Suppose -f + 10 = -4*o, 3*f - 2*o = o + 12. Let n = 7 - 4. Suppose -5*k = -f*z - 597, k - n*z - 6 = 116. Is k composite?
True
Let y(w) = 55*w**2 - w - 1. Let t = 2 - 3. Is y(t) prime?
False
Let p(j) be the third derivative of j**8/2016 - j**7/1260 - j**6/720 + j**5/30 - 2*j**2. Let k(h) be the third derivative of p(h). Is k(4) a prime number?
False
Let n = 0 - -47. Is n composite?
False
Let o(h) = -16*h**3 + 3*h**2 - 6*h - 6. Is o(-3) a composite number?
True
Let t(c) = 10*c**2 - c + 2. Is t(3) a prime number?
True
Let o = -623 - -1070. Suppose 5*s - 82 = -o. Let b = s + 104. Is b a prime number?
True
Suppose 5*i = 7*i. Suppose 2*a + 4*f = 122, 0 = 3*f - i*f - 15. Is a a composite number?
True
Suppose 3750 = 5*w + 5*t, -206 - 1287 = -2*w + 5*t. Is w a composite number?
True
Let h(b) = 6*b**2 + b - 12. Let x be h(-5). Suppose -x = k - 8*k. Is k composite?
False
Let j = 2209 - 591. Is j prime?
False
Let p = 10127 + -6868. Is p composite?
False
Suppose -2*q = 3*r + 2, -q + 4*r = -2 + 3. Let d = 2 - q. Suppose d*h - 53 = 286. Is h a prime number?
True
Let h(p) = p**3 + 7*p**2 - 6*p + 14. Let g(q) = 3*q**2 - 3*q + 7. Let c(i) = 7*g(i) - 4*h(i). Is c(-6) composite?
False
Suppose -7*z = -77 - 8624. Is z composite?
True
Let k(d) = d**2 - d. Let z be k(2). Suppose 3 = -z*h - 1. Let l(w) = -37*w - 3. Is l(h) a prime number?
True
Let u be (-3)/12 + (-19)/4. Let r = 10 - u. Is r a prime number?
False
Let k(b) = -86*b - 5. Is k(-3) composite?
True
Let p = 31 + -24. Is p composite?
False
Suppose g + 2 = -0*g. Is (-222)/g*(-4)/(-12) composite?
False
Let j = 3 - 9. Let s be 0/(j/9*-3). Suppose -58 = -g - s. Is g composite?
True
Is (34/4)/(4/40) composite?
True
Is 1 + 33 - 12/(-4) a prime number?
True
Suppose 2*i = -0*i + 226. Is i composite?
False
Let w = 1 - -15. Suppose 4*z + w = 0, 0 = -3*f + 8*f - z - 399. Is f a prime number?
True
Suppose 0 = y - 5*h - 2912, -8766 = -3*y + h + 4*h. Is y a composite number?
False
Is (-5 + 2059)*(-1)/(-2) a prime number?
False
Suppose 5137 = 5*z - 2*z - 4*k, -2*z = -5*k - 3427. Is z prime?
False
Let l(p) = p + 19. Let h be l(-13). Suppose 2*u - h*u = -140. Is u prime?
False
Let u(h) = h**2 + 3*h - 4. Let g be u(3). Suppose y = -3*n + 28, -1 = 3*n + 4*y - g. Is n a composite number?
False
Is (721 + 0)*(2 + -1) a prime number?
False
Suppose -1 - 1 = 5*y + 2*w, -5*y - 5 = 5*w. Suppose -t + 20 + 35 = y. Is t composite?
True
Let i(n) = n + 1. Let q(z) = 10*z + 389. Let a(h) = 4*i(h) - q(h). Let u(m) = m + 77. Let b(f) = 2*a(f) + 11*u(f). Is b(0) a composite number?
True
Let v(x) be the first derivative of -x**5/10 + x**4/6 + x**2 - 2*x + 2. Let b(s) be the first derivative of v(s). Is b(-2) a prime number?
False
Suppose -q + 5*g + 14 = 0, -4*q - 2*g + 140 = -g. Is q a prime number?
False
Suppose 3*w + 0*w - 474 = 0. Let c = w - -45. Is c a prime number?
False
Let x(b) = b + 8. Let w be x(-6). Suppose 0*y + 8 = -w*y. Is (211/(-2))/(2/y) a composite number?
False
Suppose 3*a = 3 + 12. Suppose -a*f - 91 + 526 = 0. Is f a prime number?
False
Let y = -14 - -17. Suppose -2*u = 5*d - 354, -y*u + 611 = -4*d + 34. Is u prime?
False
Suppose -s = -3*x - 18, 0 = -7*s + 3*s. Is (-100)/x*(-6)/(-4) a composite number?
True
Suppose 0 = 4*w - 2*w - 48. Suppose -2*f - 66 = 4*f. Let m = w - f. Is m a prime number?
False
Let a = 920 - 609. Let i = -166 + a. Is i prime?
False
Let p be 5/2 + 2/(-4). Let i(b) = -2*b**3 - 5 + 7*b**p + b**3 + 4*b - 3*b**2. Is i(4) composite?
False
Let s be (-10)/15 - (-11)/3. Suppose u = s*u - 6. Let k = u - -32. Is k composite?
True
Suppose 54*v = 58*v - 3836. Is v composite?
True
Let p = -10 + 15. Suppose p*t + 275 = 3*o, -o - 5*t - 12 = -77. Is o prime?
False
Let y be 1/(0 - 1) - -5. Suppose 6 = y*q - 2. Suppose -q*h - 50 = -4*s - 0*s, 3*s - 5*h - 27 = 0. Is s a composite number?
True
Suppose 2*n + 2 = 4. Let l(t) = 438*t - 1. Is l(n) composite?
True
Let f(c) = 1910*c**2 + 2*c + 1. Is f(-1) a composite number?
True
Suppose 0 = -11*u + 6*u. Suppose -2*d = -3*o - 3*d + 631, u = -4*o - 3*d + 838. Is o prime?
True
Let d = -315 - -134. Let r be (-2)/8 - (-511)/(-4). Let t = r - d. Is t composite?
False
Suppose -3*i + 185 + 252 = 2*d, -d + 3*i = -196. Is d a prime number?
True
Let f(q) = 2*q - 1. Let c(k) = -k**3 - 4*k**2 + 4*k - 3. Let p be c(-5). Let h be f(p). Suppose 5*a - 3*b = 118, -h*a = -2*a + b - 22. Is a composite?
False
Suppose -38*x + 33*x = -22085. Is x a prime number?
False
Let v be (1/(-2))/((-2)/12). Suppose 0 = -5*j + 3*o + 31, -2*j + v*o + o = -18. Suppose -176 - 269 = -j*u. Is u prime?
True
Let t be 6/3 - (-8 - -1). Suppose 2*j = -u + 21, -2*u + 4*j + t = -41. Is u a prime number?
True
Suppose 0 = k + 2*r - 4, -k - 2*k - 4*r = -12. Suppose k*m + 3*g = 1310, 2*g - 10 = 7*g. Is m composite?
True
Let k be (-36)/(-15)*(3 + 2). Let a be (k/(-3))/((-2)/5). Let b(p) = 2*p**2 - 11*p + 13. Is b(a) prime?
True
Suppose 4*c - z = 504, 3*z = -5*c + 2*z + 639. Is c prime?
True
Suppose 4*o = 5*n - 9, 0*n - 4*o + 1 = 5*n. Let c be (33/(-6))/(n/(-2)). Suppose -19 = -5*j + c. Is j a composite number?
True
Suppose -2 + 5 = w. Suppose -w*t + t = -118. Is t prime?
True
Suppose 0 = -2*v - 12*v + 50302. Is v a composite number?
False
Suppose 3*y + y = r + 1415, 0 = y + 3*r - 344. Is y a prime number?
True
Suppose 3*w = -0*z - 2*z, 5*w - 4*z = 0. Suppose w*v = -a + 5*v + 77, 0 = 3*v + 6. Is a prime?
True
Suppose -6*h + 1702 = -3728. Is h composite?
True
Let i(x) = x**2 - x - 2. Let h be i(2). Suppose -201 = -5*y + 4*q, y - 6*y + 2*q + 193 = h. Is y prime?
True
Let k be 59*((-4)/(-2) + -1). Suppose -k = -0*x - x. Is x composite?
False
Suppose -4*n - y + 4607 = 0, n = -4*y + 862 + 301. Is n prime?
True
Suppose 0 = -i + 338 - 79. Is i a prime number?
False
Suppose 200 = 3*w + 3*t + 2, 2*t - 199 = -3*w. Is w prime?
True
Let f(b) = 48*b**2 - 2*b + 3. Let h = -6 + 10. Is f(h) a composite number?
True
Suppose 6739 = 2*v - 2199. Is v a composite number?
True
Suppose 274 = 6*j - 200. Is j prime?
True
Let g be 1270/(-4) - 7/14. Suppose 0 = 4*n - 24 - 0. Is (4/n)/((-4)/g) a prime number?
True
Suppose -4*b + 463 = -0*w + 5*w, -478 = -4*b - 2*w. Is b/4 + (-3)/(