 0. Is n prime?
True
Let b(r) = r**3 + 14*r**2 - 9. Is b(8) a composite number?
False
Suppose 2*h = 3*h - 193. Let d = -33 + 37. Suppose -d*y + h + 482 = z, 2*y - 671 = -z. Is z a composite number?
True
Suppose 129*g - 139*g = -50170. Is g prime?
False
Let w(g) be the first derivative of -135*g**2/2 - 37*g + 2. Is w(-8) prime?
False
Is (-958421)/(-116) + (-3)/(-4) a prime number?
True
Let q(k) = k + 4. Let p be q(-2). Let g(v) = -259*v**2 - 2. Let d be g(p). Let c = 1591 + d. Is c prime?
False
Suppose -13*w + 11297 = -0*w. Is w prime?
False
Suppose -4*l + 8890 = -6874. Is l composite?
True
Let r(q) = q + 20. Let d be r(-9). Let y(h) = 13*h + 15. Let j be y(d). Let x = 105 + j. Is x a composite number?
False
Let o(d) = d**3 - 9*d**2 + 16*d - 14. Let g be o(7). Suppose g = -f + 133 + 388. Is f prime?
True
Suppose -5*m = 3*h + 2 - 43, -2*h - 10 = -2*m. Let f(w) = w**3 - 3*w**2 - 8*w - 7. Is f(m) a prime number?
False
Suppose -9*w - 2308 = -68881. Is w prime?
False
Let o(i) = -i**2 + 11*i + 4. Let h be o(11). Suppose -h*y - 3*m = -0*m - 5, -4*y = m - 7. Suppose y*b = -4*v + 1168, -v + 4*b + 0*b = -301. Is v composite?
False
Let h(c) = c**3 + 6*c**2 + 7*c. Let z be h(-4). Let y(m) = 547*m + 33. Is y(z) composite?
False
Suppose 47*x - 51*x + 7564 = 0. Let r = -980 + x. Is r a composite number?
False
Suppose -f = -5*w - 251 - 0, 5*w = -2*f - 263. Let h = w + 110. Is h prime?
True
Suppose -4*v + 0 = -4. Suppose -2*n = -n + v. Is (-2)/(8/844)*n a prime number?
True
Let f be 33455/35 - (-1)/7. Suppose -c - 292 = -f. Let k = c - 407. Is k composite?
False
Let n(w) = 430*w**3 + 2*w**2 - 3*w + 2. Suppose 22 = 2*l + 2*p + 3*p, 0 = 5*l - 5*p + 15. Is n(l) a composite number?
False
Let y = -34 - -56. Suppose -4*u = w - 13, u = -w - 3*w + y. Suppose 0*p + 4*j = -u*p + 12, -3*p - 4*j = -22. Is p composite?
True
Is (18 + -14)/(8/61262) composite?
False
Suppose 2*z - 4*j = -4, 3*z = -5*j + 19 + 19. Suppose 5*l + 3*b - 2926 = z*b, 4*b = 12. Is l a composite number?
False
Let u = 108155 + -14784. Is u a prime number?
True
Let c(r) = 3*r**2 - 2*r - 5. Let z(m) = m**3 + 13*m**2 - 14. Let d be z(-13). Is c(d) a prime number?
False
Suppose 3*o - 12 = 0, 2*a = -3*a - 3*o + 22. Suppose -5*r = -24 + 4, -c + 175 = -a*r. Let t = 518 - c. Is t composite?
True
Let p(w) = w**3 - 18*w**2 - w - 5. Let f be p(18). Let o = f - -1291. Suppose -3*z + 7*z = o. Is z composite?
False
Let n(m) = -m + 46. Let b be n(19). Suppose -6*u - b + 4089 = 0. Is u prime?
True
Let o(s) = 20*s**2 - 4*s + 12. Let r(d) = -21*d**2 + 5*d - 11. Let x(i) = 6*o(i) + 5*r(i). Is x(9) a composite number?
True
Let h = 31835 + -7704. Is h a composite number?
True
Suppose -13*s + 19*s - 55038 = 0. Is s a prime number?
True
Suppose 5*x + 19 = 29. Suppose h = 4*v + 6 + 287, x*h = -v + 577. Is h a prime number?
False
Suppose 124*t = 120*t + 41428. Is t a composite number?
False
Is 11758/(18/9 - 0) a composite number?
False
Suppose -72*w + 91*w = 679193. Is w composite?
False
Suppose 0 = y - 4*p - 24, 3*y - 5*p - 19 = 53. Let z(o) = 19*o + 8. Let i be z(2). Let h = i - y. Is h composite?
True
Let m(d) = 18*d**2 - 7 + 2*d**3 - 4*d**2 + 4*d + 4*d + 2*d**2. Is m(-7) a composite number?
True
Suppose -q + 5*k = -5899, -q = -3*q + 2*k + 11766. Is q a composite number?
False
Let t(c) = -6*c**3 + 11*c**2 + 8*c + 34. Is t(-9) composite?
False
Let n(c) = c**3 - c**2 + c + 26. Let g be n(0). Suppose 31*r - g*r = 790. Suppose -4*q = -182 - r. Is q composite?
True
Let p(c) = c**3 + 5*c**2 - 9*c - 15. Let d be p(10). Suppose 4985 - d = 5*x. Is x a composite number?
True
Let r(n) = -n**2 + 8*n + 14. Let p be r(9). Let m(a) = 15*a**2 + 7. Is m(p) composite?
True
Suppose -5*y + 10*y + k = 47034, -k + 37627 = 4*y. Is y prime?
False
Suppose 4*u = u + 16413. Is u a prime number?
True
Suppose 0 = -2*s + 2*z + 16, -z + 2*z + 13 = 2*s. Suppose -16333 = -s*p - 1148. Is p composite?
False
Let r(f) be the third derivative of -f**4/24 + 5*f**2. Let u be r(4). Let g(j) = -230*j - 1. Is g(u) a prime number?
True
Let k = -10 - 64. Let v be (-2)/6 - k/6. Let p = 62 + v. Is p prime?
False
Suppose -6*y = w - 2*y, 2*w + y = 7. Suppose w*r + 4*z - 13081 = -z, -3*r = -4*z - 9803. Is r prime?
False
Suppose -7594 = -3*x - y, 3*x - 3*y - 10147 = -x. Is x a composite number?
True
Let k(u) = -8*u**3 - 2. Let r = 15 + -18. Let f be k(r). Let i = f + -69. Is i composite?
True
Let d(n) = -n**3 - 5*n**2 + 2. Let t be (0 - -5)/(-10 + 9). Let z be d(t). Suppose 3*h - 5*q = 273, q + 94 = z*h - 88. Is h a prime number?
False
Let q(u) = -u**2 - 12*u + 28. Let g be q(-14). Suppose 3*a + g*a - w = -4543, 2*a - w = -3029. Is (10 + -12)*a/4 prime?
True
Suppose 2*c - 30 - 8 = 0. Suppose 0 = -z + q - 6*q, q - c = -4*z. Suppose -2*p + 814 = z*w - 2*w, -4*w = 5*p - 1076. Is w a composite number?
True
Suppose -14*n + 3997 + 4137 = 0. Is n a prime number?
False
Let y be (2/7)/(9/126). Suppose -y*z + 2*x + x = -251, 5*z + 3*x = 280. Is z a composite number?
False
Let u = 850 + -354. Let h = -285 + u. Is h composite?
False
Suppose 0 = -10*r - 2046 + 6276. Let m = -174 + r. Is m prime?
False
Suppose 48*n = 50*n - 8566. Is n a composite number?
False
Suppose 0 = -5*a - 5, a + 27 = 4*z - 2*a. Is (z/12)/(2/332) a composite number?
False
Let j(x) = 1069*x + 16. Is j(9) a prime number?
False
Let a(w) = 424*w + 14. Let p be a(-6). Is ((-2)/(-10))/(14/70) - p a prime number?
True
Suppose 23 = -4*l - f + 557, -4*l - 4*f + 540 = 0. Is l a composite number?
True
Let g = -18 - -19. Let r be ((1 - 4)*g)/1. Is (r/2)/((-9)/1110) composite?
True
Let d = -68235 + 101404. Is d a composite number?
True
Let u(c) = -16*c - 7. Let i be u(-1). Suppose 672 + 3208 = 3*x - 5*t, 2*x = -3*t + 2612. Suppose 3*v + x = 5*n, 25 = -i*v + 4*v. Is n composite?
False
Let m be (-14)/1*(-12)/(-24). Let g(y) be the first derivative of -3*y**2 - 8*y - 4. Is g(m) a prime number?
False
Let a = 37 + -33. Suppose a*h - 7 = 5. Suppose 0 = u + h*u - 4468. Is u prime?
True
Suppose -56690 = -q - 9*q. Is q a composite number?
False
Let m be 30/4 + (-42)/28. Suppose 4*q - 3*n = 1035, -m*q = -2*q + n - 1031. Suppose -5*h - 411 = 5*v - 1036, 2*v = 2*h + q. Is v composite?
False
Let m(o) = 46*o - 17. Let r(b) = 23*b - 9. Let i(k) = -2*m(k) + 5*r(k). Let d(n) = n. Let u(t) = -6*d(t) - i(t). Is u(-7) a composite number?
True
Let f(u) = -u**2 + 7*u + 9. Let q be f(7). Let b = q + -5. Suppose -9*v = -b*v - 75. Is v a composite number?
True
Let k(b) be the first derivative of 3*b**5/20 - 7*b**4/24 - 7*b**3/3 - 6. Let q(r) be the third derivative of k(r). Is q(7) prime?
False
Suppose -j + 2*i = 751, 2*j + 1339 = 3*i - 166. Let z = 5370 - j. Is z composite?
True
Let n(h) = -h**3 + 50*h**2 - 105*h + 7. Is n(46) prime?
False
Let g = -11531 + 21826. Suppose -j = -l + 3*l - g, -l - 3*j = -5150. Is l composite?
False
Is 5/(-4) - (-64455)/60 a prime number?
False
Let q be (-22)/((-99)/(-93) - 1). Let v = -491 - q. Is (-3)/3 + v/(-3) prime?
False
Let l = 265 - -588. Is l composite?
False
Suppose -5*f + 24 = 4*d, 4*d - 2 - 14 = -3*f. Suppose -5*c + f*c = n - 725, 2903 = 4*n + 5*c. Let y = n + -415. Is y composite?
False
Let z(f) = -245*f + 422. Is z(-21) a prime number?
False
Let t(c) = -c - 8. Let p be t(-11). Suppose r = 5*k + 2*r - 355, 0 = -2*k + p*r + 159. Suppose -106 = -a + k. Is a a prime number?
False
Suppose l = -3*l + 3*k - 8, 4*l = 4*k - 12. Suppose -11 - l = -3*x, 5*v - 4*x - 4759 = 0. Is v prime?
False
Is (-2)/(-4)*((5 - 6) + 10871) a prime number?
False
Is (1/3 + -2)/((-11)/2211) composite?
True
Is (-2 + 0)*(-1 - 240228/24) prime?
True
Let m = 1690 - -867. Is m a prime number?
True
Let z(v) = v**3 + 22*v**2 - 22*v + 25. Let m be z(-23). Suppose -2*u = 5*l - 287, 4 = m*u - 3*u. Is l composite?
False
Is (60856/16 - 2)/(1/6) a composite number?
True
Let p(c) = 1179*c - 41. Is p(6) prime?
False
Let c(z) = -964*z**3 + 9*z**2 - 3*z + 1. Is c(-4) composite?
True
Let t(f) = 64*f**2 + 1 - 19*f + 19*f. Suppose 8 = u + 3*u. Is t(u) a composite number?
False
Suppose 81 = 2*f + 3*g, -2*f + 5*f - 139 = -g. Is (-271)/(-3) - (-32)/f a prime number?
False
Let i(t) = 5*t**3 - t**2 - 8*t + 13. Is i(5) composite?
True
Let u be (-2)/(-8)*14 - (-6)/12. Suppose 4*o - j - 200 = 297, -4*o - u*j + 472 = 0. Is o a prime number?
False
Suppose -260*z +