s) = 5*s**2 + 3*s - 1. Let r(o) = o + 22. Let z be r(-16). Let j = z + -10. Is g(j) a prime number?
True
Let w(l) = 2*l**3 + 2*l**2 + 10*l - 7. Let g be ((-2)/(-5))/((28/(-60))/(-7)). Is w(g) composite?
False
Suppose -2*o = 0, 2*i - 84 = -3*o + 1798. Let g be 1890/4*80/60. Suppose -i = -3*c - j - 3*j, -2*c - 2*j = -g. Is c composite?
True
Let z(d) = -d + 2. Let v be z(8). Let m(h) = 20*h**2 + 2 + 3*h - 1 - 2 - 4. Is m(v) a composite number?
True
Suppose -5*t = 2*j - 4*t - 1275, 5*t + 1245 = 2*j. Is j composite?
True
Let s = 22980 - 16043. Is s a composite number?
True
Let z(h) = h**2 + 3*h - 1. Let i be z(1). Suppose -5*t + i*g - 25 = g, -3*t - 19 = -2*g. Let p(d) = -3*d**3 - 3*d**2 - 1. Is p(t) composite?
False
Let h = -1770 - -2565. Let u = h - 164. Is u composite?
False
Let m = -12 - -22. Suppose -2958 = -m*s + 8*s. Is s/27 + 2/9 prime?
False
Suppose 80 = 4*r + 4*a, -66 = -4*r - 5*a + 14. Let t be 5/((-50)/(-28))*r. Let h = t + -19. Is h composite?
False
Let s(y) = -y**3 + 7*y**2 - 7*y + 15. Let l = 4 - -2. Let m be s(l). Let x(a) = -a**3 + 11*a**2 - 6*a + 5. Is x(m) prime?
True
Suppose 15*n = 22222 + 62453. Is n composite?
True
Suppose -2*q - 43 = -5*f + q, 17 = 2*f - q. Suppose -f*j + 3540 = -7652. Is j composite?
False
Suppose -28 = 5*c - 12*c. Suppose c*i - 1912 = -4*p, -p + i = 4*i - 488. Is p a prime number?
False
Suppose p + 0*p - 4 = 0. Suppose 2*f - p*f - 4 = 0. Let a(v) = -3*v**3 - 3*v**2 + 2. Is a(f) a composite number?
True
Let n = -1758 - -14107. Is n a composite number?
True
Let m(p) = -12*p**3 + p**2 + 4*p + 3. Let l be (-2)/7 + (-120)/70. Let d be m(l). Let j = d + -52. Is j a prime number?
True
Is 39/13*((-67892)/(-12) - -2) a composite number?
False
Let y(j) = -j**3 + 12*j**2 + 13*j - 24. Let r be y(11). Suppose 4*m - 4*n = r, -n = n + 10. Is m a composite number?
True
Let m(h) be the second derivative of h**4/2 - h**3/6 - 3*h**2 - 4*h. Let z(l) = 2*l**2 - 28*l + 11. Let c be z(14). Is m(c) prime?
True
Let k = 73 - 68. Suppose -2*u - 553 = -k*f + 10, -4*f - u = -440. Is f a prime number?
False
Let s = -113 - -110. Let k(d) = -158*d + 25. Is k(s) composite?
False
Let f = 11648 - 8029. Suppose 3*w - 3*l - 2712 = 0, 5*w - w - 3*l = f. Is w a composite number?
False
Suppose -2*l + 0*l = -600. Let i = 999 - l. Suppose 5*v - 1315 = -4*h - 442, -4*v - 3*h = -i. Is v a prime number?
False
Let t = 76562 - 27289. Is t prime?
False
Is (-3)/((-27)/(-1679715)*-5) prime?
False
Let j(t) = -6*t. Let h be j(-1). Suppose -3*w + 8697 = -2*r, 4*w + h*r - 2*r - 11616 = 0. Is w a composite number?
True
Let o(p) = -p**3 + 5*p**2 + 42*p + 1. Is o(-6) composite?
True
Suppose -4*f - 1426 + 7186 = -k, -4*k - 7211 = -5*f. Is f a composite number?
False
Let g(n) = -13*n**3 + 91*n**2 + 88*n - 94. Let u(k) = 4*k**3 - 30*k**2 - 29*k + 31. Let o(l) = 2*g(l) + 7*u(l). Is o(20) prime?
True
Let a(g) = g**3 - g**2 - 4*g. Let r be a(3). Let z be (-1776 + 1)*r/(-15). Suppose 6*s - z = s. Is s composite?
True
Is (129824/(-64))/(2/(-4)) a prime number?
True
Suppose -2*s = -3*d + 4388, -5884 = -3*d - d - 4*s. Suppose -2*r + d = -332. Is r a composite number?
True
Let h(t) = -1423*t - 1. Let d = 40 - 42. Is h(d) a composite number?
True
Let q(f) = f**2 - 2*f - 1. Let k be q(-3). Let n = -11 + k. Suppose 1293 = -0*l + n*l. Is l a composite number?
False
Let v(q) = 0*q + 0*q + 46 + 84 - q. Let a be v(0). Is (-4 - -3)*(-1 - a) prime?
True
Let r(c) = -9*c**3 - 3*c**2 + 12*c - 2. Let q be r(-5). Suppose -4*y + 3*y = 5*h - q, 5*y = -4*h + 5003. Is y prime?
False
Let k(j) = -2*j + 48. Let x be k(22). Suppose x*m = -2*m + 2946. Is m a prime number?
True
Let q(h) = -h**2 - 8*h + 7. Let i be q(-9). Let l be (3 - 6 - i) + 3. Is 13998/54 + l/(-9) composite?
True
Let k(n) = n**3 - 3*n**2 - 9*n - 3. Let b be k(5). Is (6*b/(-4) - 208)*-2 composite?
True
Let u(s) = -2340*s - 49. Is u(-4) prime?
True
Let q(s) = -53*s - 39. Let h be q(-17). Let m = -563 + h. Is m a composite number?
True
Suppose 0 = -11*a + 3*a - 24. Let g = a + 22. Is g a prime number?
True
Let r = -1828 - -3132. Suppose 0 = 5*a - 1611 - r. Is a prime?
False
Let k be (-1*4 + 3)*-12. Suppose 0 = v - k + 2. Is (-6)/v + (-212)/(-20) composite?
True
Suppose 19 + 11 = 2*n. Suppose 3*x + n - 12 = 0. Is 91 + (0 - x)*-2 prime?
True
Let n(c) = -10*c**3 + 7*c**2 + 26*c - 12. Is n(-11) a prime number?
True
Suppose -5*i = 4*n + 1437, 4*n - 2 = 6. Let h be (274/4 - 1)*8. Let r = i + h. Is r a prime number?
True
Suppose h = -2, 5*o - o = -2*h + 12. Is 1030/o - 2/4 a prime number?
True
Let b(c) = -c**2 + 11*c + 31. Let p be b(13). Suppose -4*k + 1259 = p*r - k, 5*k = -10. Is r prime?
False
Suppose -4558 = 14*q - 129536. Is q composite?
True
Suppose 3700 = -6*w + 11*w. Suppose 68*d = 72*d - w. Is d prime?
False
Suppose 11*g + 3*g = 101906. Is g a prime number?
False
Suppose 0 = -2*l + u + 539, u + 58 = -2*l + 607. Suppose -2*v + 3*x - 573 = 3*v, 4*x + 16 = 0. Let j = l + v. Is j a prime number?
False
Is (3/18)/(7/(-21))*-23194 composite?
False
Suppose -j - 3*j + 8 = 0. Let s = 519 + -364. Suppose -i + j*m = -4*i + s, -i - 4*m = -35. Is i a composite number?
True
Suppose -k = -f + 9, -k + 2 = 3*f + k. Is (481/f)/((-2)/(-8)) prime?
False
Let i = 19 + -16. Suppose i*g - 1171 = 2*g. Is g composite?
False
Let y = -24 - -29. Suppose -y*i - 5*h + 6188 = -1627, 4*i - 6256 = -5*h. Is i a composite number?
False
Let u(z) = 9*z**2 + 2*z - 3. Let i = -11 + 10. Let v be -1*(i - -4) + 5. Is u(v) prime?
True
Let i(u) = -4*u - 50. Let r be i(-14). Is 15/10*r/(-15)*-1385 prime?
False
Let o be (-6 + 1)*(-48)/60. Suppose -4*p + 2427 = -o*g + 947, 0 = -5*p - 3*g + 1874. Is p a prime number?
True
Let q(p) = 19*p**2 + 24*p - 80. Is q(11) a prime number?
False
Let s = 19531 - -2929. Suppose 11*n = 7*n + s. Is n prime?
False
Let h(s) = 8252*s**2 + 2*s - 25. Is h(3) a prime number?
False
Suppose 2*q + 3*d = 3, 3*d - 8*d + 2 = 3*q. Is 371*3/q*3 composite?
True
Let m be (-14294)/(-10) - 2/5. Let u = 829 + -1549. Let b = u + m. Is b prime?
True
Suppose 4*h - 5809 = -v, 29045 = -11*v + 16*v - 2*h. Is v a composite number?
True
Let o(q) = 3*q**3 - 13*q**2 - 6*q + 3. Let d = 49 + -41. Is o(d) a prime number?
True
Let w(i) be the second derivative of 16*i**3/3 + 13*i**2 - 4*i. Is w(9) a composite number?
True
Let u be (-4)/4*(4 + -4). Suppose -12 = 3*l, -3*s + u*l - 2*l + 1915 = 0. Is s composite?
False
Let m(w) be the third derivative of 13*w**5/120 - 2*w**4/3 + w**3/3 - 4*w**2. Let r(q) be the first derivative of m(q). Is r(11) a composite number?
False
Suppose 4*m - 9971 = -2*l - 2297, -20 = -4*m. Is l prime?
False
Let h = 528 + 4699. Is h composite?
False
Let w(u) = -u**3 - 5*u**2 - 8*u - 12. Let z be w(-4). Suppose 9*k = t + 4*k - 52, -z*t + 4*k = -160. Is t a composite number?
False
Let o(x) = -x**3 + 24*x**2 + 74*x - 42. Is o(-35) a prime number?
False
Let i be (2/2)/(1/5). Is 17178/105 + (-3)/i composite?
False
Let q = -87 + 60. Let u = 30 - q. Is u composite?
True
Let u = -185 + 567. Suppose -5*s - 47 = -u. Is s a composite number?
False
Let h = 15996 - 7708. Let w = h - 5349. Is w a prime number?
True
Let t = 731 + 2388. Is t a prime number?
True
Suppose -5*x + 6*f = 2*f - 117, 2*f = -6. Let m = -67 + 72. Let s = m + x. Is s composite?
True
Suppose 3*f - 2*k + 92 = -0*k, -5 = k. Is 3421/2 - 17/f a prime number?
False
Suppose 4*h = h + 12. Suppose h*a - 4067 - 1457 = 0. Is a a prime number?
True
Suppose -h + 260 + 116 = 0. Let a(n) = -n**3 - n**2 + 2. Let w be a(-1). Suppose 5*x + 473 = 5*p + w*x, 0 = -4*p + 3*x + h. Is p composite?
False
Let l(p) = 194*p - 251. Is l(51) prime?
True
Is 4323/(-22)*(-130)/15 a prime number?
False
Let o be ((-44)/(-33))/((-4)/(-258)). Suppose -5*z + o = r - 63, -2*r + 2*z = -274. Is 3*2/3 + r composite?
True
Let k = -2573 - -8002. Is k prime?
False
Let a = 384 + 2389. Is a a composite number?
True
Let s(w) = -60*w**3 + w**2 + 12*w + 9. Is s(-4) composite?
True
Suppose 3*v = 5*v + 808. Let u = -190 - v. Is u a composite number?
True
Suppose 0 = 9*j + 6*j - 60. Suppose 3*t - 2*v = 7333, -9768 = -j*t - 2*v - 0*v. Is t a prime number?
False
Suppose -343 = -2*q + 607. Suppose 0 = -4*p + 4647 - q. Is p composite?
True
Let u(y) = -y**3 + 4*y**2 + 11*y + 19. Let a be u(-9). Let v = 666 - a. Let k = -108 - v. Is k composite?
F