6 = -4*z. Is z a prime number?
False
Let i(b) = 23*b**3 - 6*b**2. Let q(o) = 15*o**3 - 4*o**2. Let r(p) = -5*i(p) + 8*q(p). Let l be r(3). Suppose 0 = 5*w - l - 548. Is w a composite number?
True
Let k(b) = -4 - 16*b - 6 + 3. Suppose 0 = -21*h + 31*h + 60. Is k(h) prime?
True
Let i be (-456)/9*-6 - -3. Let j = i + -180. Is j a prime number?
True
Suppose -36*q + q = -271705. Is q composite?
True
Suppose 7 = 2*z + 4*d - 7, -3*z - 5*d + 19 = 0. Let q(h) = -h**2 + 5*h - 4. Let l be q(z). Suppose r - 63 = -l*n - 0, 4*n = -r + 71. Is r a composite number?
True
Is (-26)/(-26)*(0 - 0 - -8641) composite?
False
Let j(w) = -12*w**3 + w - 4. Let c be j(-3). Is 2*3*c/6 composite?
False
Let y = -213 + 217. Let g be (-1)/((-814)/(-815) - 1). Suppose g = -y*p + 9*p. Is p prime?
True
Let o(f) = f**3 - 5*f**2 + 5*f + 9. Let r be o(4). Suppose h - 2674 = -r*h. Is h a prime number?
True
Suppose -54*k - 3317 + 299399 = 0. Is k a prime number?
True
Let o = -870 + 1425. Suppose 0 = 8*j + 7*j - o. Is j a prime number?
True
Suppose 5*y - 3*g - 996 = -0*y, 0 = 4*y - 3*g - 795. Suppose 2*k = -0 - 20. Let v = y - k. Is v prime?
True
Let l = -12305 + 17292. Is l a prime number?
True
Let w be 3/1*3/27*6. Let c(y) = 262*y - 1. Is c(w) a composite number?
False
Suppose -5*z = -2*l - 18605, -3*z + 9*l - 7*l = -11167. Is z a composite number?
False
Let c(b) = -b + 15. Let q be c(10). Is 2/q - 153/(-5) prime?
True
Is 11/((-44)/(-3)) - (-24473)/4 a prime number?
False
Suppose 0 + 16 = 4*q. Let f(u) = 0 - 3 + 14*u**2 + q. Is f(1) a composite number?
True
Let o(k) be the second derivative of 51*k**3/2 + k**2/2 + 11*k. Is o(2) a prime number?
True
Suppose -f - 9553 = -4*j, -2*j + 4771 = -2*f + 7*f. Suppose -3*x + j = 3*p, 4*p - x = -0*x + 3179. Suppose 2*h + 3*h = p. Is h prime?
False
Let b(j) = -2*j**3 + 4*j**2 + 4*j + 7. Let a(h) be the first derivative of h**3/3 + 2*h**2 + 2. Let k be a(-3). Is b(k) a prime number?
False
Suppose -2*o = -r + 10, -o = 3*o + 3*r. Let h(y) = -21*y**3 + 3*y - 1. Is h(o) composite?
False
Suppose o = 5*v - 1053, -29*v = -31*v - o + 424. Is v prime?
True
Let l = 9 + -6. Suppose y - 3 = l. Suppose -p = -4*z + 30, -4*p = -p + y. Is z composite?
False
Suppose 9*s - 11*s - 56 = 0. Let c = s - -23. Let o(w) = -19*w - 10. Is o(c) a composite number?
True
Let a(f) = 247*f + 164. Is a(5) composite?
False
Let n be -34*-1*4/8. Is (n - 31)/((-4)/346) composite?
True
Let j be (4 - 1)/(0 - -1). Suppose 843 = 3*v - 3*k, 0*k = -3*v + k + 845. Suppose d = j*d - v. Is d a composite number?
True
Let a = -9 + 16. Suppose -5 = -2*d - 3*z, -z = 2*d - a - 0. Suppose -258 = -s - d*k, 367 = 2*s - 5*k - 136. Is s a prime number?
False
Let s = -2 + -4. Let a(f) = f**3 - 4*f. Let h be a(s). Let g = 341 + h. Is g a composite number?
False
Let h = -18788 - -32925. Is h a composite number?
True
Suppose 0 = 12*g - 3102 - 58038. Is g a composite number?
True
Let i(t) = 12*t**2 + 11*t + 4. Is i(-9) prime?
True
Is 4/2 + 26482 + (-5 - 6) composite?
True
Let l(f) = 67*f**3 + 2*f**2 - 8*f + 9. Is l(4) a composite number?
False
Let h = 29 + -15. Suppose -3*k + 14 = 4*u, -3*k = 3*u + 2 - h. Suppose k*j = 5*i + 82, j = 2*i + i + 40. Is j prime?
False
Let s = -5671 + 9458. Is s prime?
False
Let k = -7 + 7. Suppose k = 14*f - 16*f - 68. Let w = f - -87. Is w prime?
True
Let x = 9 + 1376. Is x composite?
True
Let d(c) = -30*c + 1. Let q = -25 + 12. Is d(q) prime?
False
Let y(q) = q**3 - 4*q**2 + 2*q - 4. Let v be y(5). Let p = -24 + v. Suppose 0 = -3*j + p*j - 812. Is j a composite number?
True
Let c(b) = b - 11. Let t be c(15). Suppose 0 = 3*f + 4*i + t, 2*f = -2*f - 4*i - 4. Suppose 5*x = 2*m + 769 + 1326, -2*m = f. Is x a composite number?
False
Suppose 5*b = 5*f - 8225, 5*b - 2918 = -3*f + 1993. Let r = f + -1153. Is r prime?
False
Let p(d) = -68*d - 7. Let x be p(-5). Suppose 3*y - 300 = x. Is y composite?
False
Let q(a) = 4*a**2 - 34*a + 23. Is q(31) prime?
False
Let r(g) = 34*g**3 - g. Let p be r(-2). Let y = p + 594. Suppose -2*f + 0*f - 4*b + 206 = 0, 3*f - y = -b. Is f a composite number?
False
Let z(j) = -2845*j - 69. Is z(-4) a composite number?
False
Suppose 3*i = 3*x - 120 - 81, -5*x = 3*i - 303. Suppose -u + 4*j = -192, -5*u + u + j + 828 = 0. Let p = u - x. Is p a prime number?
False
Suppose 9*s - 15 = 4*s. Let l(n) = 893*n**2 - n + 2. Let t be l(s). Is (-2)/9 - t/(-36) prime?
True
Let w(j) = 4*j**3 - 2*j**2 + 1. Let r be w(1). Is r/(((-6)/(-4))/(194/4)) a prime number?
True
Let b(n) = -9240*n**3 - 2*n**2 - 9*n - 8. Is b(-1) composite?
False
Let s be (-24)/(-132) - (-42)/11. Suppose -q - 4*v = -227, 2*v + 832 = s*q - v. Is q prime?
True
Let c = 77539 - -11760. Is c prime?
False
Let g = -3003 - -5102. Is g composite?
False
Let t = -1663 - -2740. Let j = t - 596. Is j a composite number?
True
Is 2*2174*(-2)/(-8) a prime number?
True
Let k be 10 - (3/3 - 3). Let s = 16 - k. Suppose 38 = s*b - 758. Is b composite?
False
Suppose 2*y + h = 5*h - 24, 4*y = 2*h - 48. Let b = y + 17. Is -2 + 130 - (b - 4) prime?
True
Let q(d) = 51*d**2 + d - 9. Suppose 2*b - 5*p + 32 - 3 = 0, 4*b - 2*p = -18. Let x(v) = -26*v**2 - v + 4. Let c(w) = b*q(w) - 5*x(w). Is c(3) a prime number?
False
Let z(i) = 1908*i - 705. Is z(27) composite?
True
Let n = 1017 - -13250. Is n a composite number?
True
Suppose q + q = 0. Suppose -2*h + 39 = -h - 4*l, q = 4*h - l - 81. Is h composite?
False
Suppose -6*h = -3*h - 732. Let n = h + -655. Let q = n - -910. Is q prime?
True
Let h = 9369 - -3608. Is h a prime number?
False
Suppose -5*m + 3 = -22. Suppose 6 = m*u - 9. Suppose u*t - 33 = 213. Is t composite?
True
Let p be (-6)/54 + (-55)/(-9). Let g(y) = 48*y - 13. Let h be g(p). Suppose 680 + h = m. Is m a composite number?
True
Let h(m) = 2*m**2 - 7 + 35*m**3 - 2 - 34*m**3 + 8*m. Is h(4) a composite number?
True
Let x(u) = 51*u**2 + 2*u + 2. Is x(3) prime?
True
Let s = 64 - 56. Suppose -s*r + 11717 = -12435. Is r composite?
False
Suppose 4 = 2*y - 14. Suppose 3*r + y*r = 33468. Is r a prime number?
True
Let n(s) = s - 7. Let z be n(9). Suppose -4*i - 743 = -o, -3*i - 393 = z*o + 156. Is (-2)/(-4) + i/(-10) prime?
True
Let i(v) be the first derivative of v - 7/2*v**2 + 4/3*v**3 + 6 + 1/4*v**4. Is i(-5) composite?
False
Suppose -4*l + 738 = -3*q - 3434, 0 = l - 5*q - 1043. Is l a prime number?
False
Let a(m) = -2*m + 21. Let y be a(8). Suppose -2*d + 231 = -y*z, 1 = 3*z - 2. Is d a composite number?
True
Let h = -4 - -10. Let i be h/(-15) + (-288)/(-20). Suppose 2*u = u + o + 2, 2*o = -4*u + i. Is u a composite number?
False
Suppose -206 = 3*i + 121. Let q = -60 - i. Let x = q - 34. Is x a prime number?
False
Suppose -3*n = -4*n - 5. Let o = 7 + n. Suppose 114 = -0*g + o*g. Is g a prime number?
False
Let j(i) = 444*i - 3. Let v be j(2). Let m = -631 + v. Suppose -3*a = -a - m. Is a a composite number?
False
Is (69/15 - 4)/(1/1055) prime?
False
Let y = 18539 - -12742. Is y a composite number?
True
Suppose 3*q = 4*t - 10, 0 = -t - 3*t - 3*q + 22. Suppose 3 = -3*c + t*c. Suppose 4*b - 131 = -i, -i + 0*i + c*b + 124 = 0. Is i a composite number?
False
Let c be (-6)/10 + 8412/45*6. Suppose -5*a + c = 106. Is a a composite number?
True
Let d(f) = 4*f**3 - 3*f**2 - 14*f + 5. Let v(t) = -2*t - 6. Let h be 56/(-10) + 2/(-5). Let l be v(h). Is d(l) prime?
True
Let o(z) = -z**2 + 4*z. Let r(v) be the third derivative of v**5/12 - 2*v**4/3 + v**3/6 - 5*v**2. Let q(t) = 9*o(t) + 2*r(t). Is q(-5) composite?
False
Let q = 11 - 6. Suppose -4*o - q*g + 243 = -13, 252 = 4*o + 4*g. Is o prime?
True
Suppose 0 = 8*h - 7*h - 3. Suppose -31 = -2*w - h. Suppose t - w = 33. Is t a composite number?
False
Let o = 14899 - 10064. Is o a composite number?
True
Let o(c) = 6*c**2 + 5*c - 6. Let x be o(-6). Let m = x + 5. Suppose 0 = n + 4*n - m. Is n prime?
True
Let d = -148549 - -349938. Is d a composite number?
False
Let h = 1546 + -514. Suppose 4*m - 4*b - h = 0, 4*b + 1 + 3 = 0. Is m composite?
False
Let k = -2 - -4. Suppose 4*f = -a + 8*f + 96, -k*f = 2*a - 222. Is (-421)/(-9) + 24/a a prime number?
True
Suppose 6*z = 2*z - 48. Let s be (-98)/z - 3/18. Let b(u) = -u**3 + 14*u**2 - u - 5. Is b(s) composite?
True
Let c(k) = k**2 + 6*k - 4. Let j be (-12)/18 - (-74)/(-6). Is c(j) a prime number?
False
Let j be (0 + 4/10)*-5. Let g be (56/10)/(j