= 3 + -1. Let u be (-596)/(-6) + d/(-6). Suppose -3*f - 2*a = -f - 66, u = 3*f - 4*a. Is f composite?
True
Suppose 2*s - 4*s + 62 = t, 3*t - 156 = -5*s. Suppose -l - 4*v + 2*v + s = 0, 3*l + 3*v - 78 = 0. Is l composite?
True
Let l(g) = 82*g - 19. Is l(6) composite?
True
Let p(o) be the second derivative of -2*o**3/3 - o**2/2 - 3*o. Is p(-5) a composite number?
False
Let z(o) = 8*o**2 + 12*o + 7. Is z(-6) prime?
True
Let v(q) = q**2 + 7*q - 3. Let t be v(-8). Suppose -3*h + t*h = 10. Suppose 20 = -h*p, b = -b + p + 18. Is b a prime number?
True
Let y(w) = 2*w + 1. Let q be y(3). Let p = q - 5. Is p/2*(39 - -4) a composite number?
False
Suppose -21 = -4*x + 19. Suppose -27 - x = -f. Is f composite?
False
Let t = 12 - 10. Suppose -s + t*w + 266 = -w, -2*w + 2 = 0. Is s prime?
True
Let v(n) = 95*n - 1. Let s be v(1). Let j = 63 + -6. Let t = s - j. Is t prime?
True
Is 8*(-3)/6 - (-1656 + 1) composite?
True
Suppose u + 1 = t - 2, 4*t + 2*u + 6 = 0. Let v = 1 + 2. Suppose 2*a - k - 10 = v, 4*a + k - 29 = t. Is a a prime number?
True
Suppose -8*k = -11111 - 977. Is k composite?
False
Suppose 5*k = -15, 3*b - 2*k = 1664 + 3595. Is b prime?
False
Let v(y) = 39*y**2 - 2*y - 4. Is v(3) a prime number?
False
Suppose -2*p - 141 = -5*p. Suppose l - 324 = -p. Let v = l - 192. Is v a prime number?
False
Suppose 2*f + 4 = -44. Let i(b) = -b**3 - 6*b**2 + 3*b + 7. Let m be i(-6). Let u = m - f. Is u a composite number?
False
Let s(b) be the third derivative of b**5/5 - b**4/24 + b**3/2 + 2*b**2. Let i be s(-4). Suppose 27 + i = 2*d. Is d prime?
True
Let y(x) = -x**2 + 2*x + 2. Let v be y(2). Let m be 0 + (17 + 1)/2. Suppose -v*g + m = -65. Is g prime?
True
Suppose 4 = 5*x - 4*x, 0 = 3*o - 5*x + 11. Suppose -3*n - o*f + 252 = 0, 0 = 2*n - n + 3*f - 94. Is n a prime number?
True
Let d(v) = 2*v - 8. Let q(j) = -6*j. Let g be q(-1). Let f be d(g). Suppose -5*p + 3*p = -f. Is p composite?
False
Is ((-89)/(-4))/(24/192) composite?
True
Let r(t) = -7*t - 14. Let k be r(-4). Let p(n) = 3*n**2 - 10*n - 17. Is p(k) composite?
False
Let z be -236*(-1)/2*2. Is z/12 + 4/(-6) a prime number?
True
Suppose -3*f + 471 = 138. Suppose g - 129 = -3*q, f = g - 2*q - q. Suppose -2*l = -2*s + 7*s - 181, 3*s = -5*l + g. Is s a prime number?
False
Let k(n) = 16*n**3 - 6*n**2 + 12*n - 7. Is k(3) a prime number?
False
Is 141113/(-38)*(-3*1 - -1) prime?
False
Suppose 5*k = x - 204, 544 = 3*x + 4*k - 68. Suppose 45 = -3*j + x. Is j a composite number?
False
Let c = 318 + -107. Is c a composite number?
False
Suppose -2*m - 5*c + 94 = 0, -4*c + 26 = m - 15. Is m composite?
True
Let j(x) = 3*x**3 - 7*x**3 - 3*x**3 - 2 + 0*x**3 + 4*x**2. Is j(-3) a composite number?
False
Let u(o) = 2*o**2 + 3*o + 2. Let g = -1 - -6. Suppose g*z + 5*h + 1 = -29, -28 = 5*z + 3*h. Is u(z) composite?
False
Suppose -4*u - 2*k + 18812 = 0, 5*u - 2*k = -4*k + 23515. Is u composite?
False
Let s = 53 - 30. Is s a prime number?
True
Is ((-6)/(-4))/(18/168) a prime number?
False
Suppose 0 = -6*c + 2*c. Let d(a) = c*a**2 - 1 - 4 + a**2 + 2*a. Is d(-6) prime?
True
Let c = 7 + 1. Suppose -u + 3 = -4*m - c, -1 = -m. Is u composite?
True
Let q(m) = -m**3 - 4*m**2 + 2. Let l be q(-4). Let w(o) = 72*o**2 + 4*o - 5. Is w(l) prime?
False
Suppose -5 - 10 = -5*c. Suppose -3*d + 5*t = -74 + 7, -c*t - 44 = -2*d. Suppose r = -0*r + d. Is r composite?
False
Suppose 2*a = -10, -u + 4*u + a = 85. Suppose -3*o = 2*o - u. Is o prime?
False
Is -3*(-138 + 1) - 2 a prime number?
True
Let k(z) = -4*z + 9 - z + 14*z**2 + 34*z + 12*z. Let m(t) = -5*t**2 - 14*t - 3. Let d(i) = -4*k(i) - 11*m(i). Is d(-4) a composite number?
True
Let s = 315 - -682. Is s prime?
True
Suppose 9*h - 4*h + 12 = b, 4*h - 2 = -5*b. Suppose 1326 = 4*i - z, -b*i + 2*z + 497 = -169. Is i composite?
False
Suppose -188*g + 191*g = 1371. Is g a prime number?
True
Is ((-8)/(-12))/((-2)/(-249)) prime?
True
Is (-8)/(-14)*(-910)/(-20) a composite number?
True
Let j(s) = s**2 + s - 8. Let p be j(4). Is (-1 + 4)/(p/184) composite?
True
Suppose -h + 0*r + 3*r = -80, -2*r = -6. Is h a prime number?
True
Let x(v) = -2*v - 3. Let j be x(-4). Suppose -2*c + 74 = 3*k, k - 2*k = -j*c + 151. Is c a prime number?
True
Let u(d) = 1 + 0 + 0 + d + 0 + 6*d**2. Is u(-2) a composite number?
False
Let i be 3 + (-3 + 2 - 0). Suppose w + i*w = 93. Is w composite?
False
Let z = -384 + 919. Is z a prime number?
False
Suppose 5*j = 622 - 137. Is j prime?
True
Is 12*(0 - (-55)/20) composite?
True
Let f(b) = -b**2 - 5*b - 3. Let h be f(-2). Suppose h*v - 94 = 71. Is v prime?
False
Let d = 150 - 85. Is d a composite number?
True
Let k(o) be the third derivative of o**5/30 + 5*o**4/12 - 11*o**3/6 - 3*o**2. Is k(-11) composite?
True
Let n be (-1 - -2) + 179 + 5. Suppose -4*w - w + n = 0. Is w a prime number?
True
Let n be 256/(0/2 + 1). Suppose 4*s - d - 17 = -0, -2*s - 3*d = -5. Suppose -j + 5*g = -58, -s*g = -5*j + n - 71. Is j a prime number?
False
Suppose 0 = -3*v + 17 + 7. Let d = 8 - v. Suppose d = 4*y - 170 - 322. Is y a prime number?
False
Let a(x) = -2*x**3 - 7*x**2 - 5*x + 14. Let m(g) = 5*g**3 + 20*g**2 + 16*g - 41. Let k(l) = -8*a(l) - 3*m(l). Is k(8) a prime number?
False
Let m(r) = 40*r**2 + 7*r - 9. Let s(q) = -20*q**2 - 3*q + 4. Let n(c) = -4*m(c) - 9*s(c). Is n(-1) composite?
True
Let t(d) = -148*d + 43. Is t(-10) composite?
False
Let z(c) = -c**3 - 6*c**2 + 10. Let y be (10 - 2 - 1)*-1. Is z(y) a prime number?
True
Let g be 4/14 + 114/42. Suppose 5*j - 4*i + 96 - 561 = 0, 0 = -g*j + 3*i + 282. Is j a composite number?
False
Let b be 8/(-20) - (-24)/10. Let z be (b/(-8) + 2)*4. Suppose -h - z = -26. Is h composite?
False
Let k(a) = -4*a**2 + 2*a + 11. Let y(l) = -5*l**2 + l + 12. Let h(j) = -4*k(j) + 3*y(j). Let b be h(6). Is 155/2 - (-1)/b a composite number?
True
Suppose 4*g - s = 1223, g - 3*g = -s - 613. Is g a composite number?
True
Let x(n) = n**3 + 4*n**2 - 9*n - 1. Is x(5) a composite number?
False
Suppose 0 = -2*c - 7 + 15. Is (c/16)/(2/1304) prime?
True
Let w = -7 + 7. Suppose -2*l + 10 = -w*l. Suppose 2*t + 2*t - a = 77, 5 = -l*a. Is t a composite number?
False
Let f be 0 + 636 - (0 + 0). Suppose -3*u = u - f. Is u prime?
False
Let j(q) = q**3 + 5*q**2 - 7*q - 8. Let l be j(-6). Is (4 + l - 12)/(-1) a prime number?
False
Let d = -23 - -28. Suppose -5*s + 3*u = -2444, -3*s + 5*u = u - 1462. Suppose d*x - s = -5*q, -x = 5*q - 259 - 219. Is q a prime number?
False
Suppose 5*f - 32 = -7. Suppose -b + 272 = 4*r + b, 4*r - f*b - 258 = 0. Is r prime?
True
Suppose -5*x + 519 = -3026. Is x a composite number?
False
Let b be -10*2/(-8)*2. Let q(f) = -f + 7. Let i be q(b). Is (-77)/2*(i + -4) a composite number?
True
Suppose -4*v - 3*s = -21, 3*v + s + 6 = 18. Suppose -v*a + 193 = b - 5*b, -16 = 4*b. Let c = a + -10. Is c prime?
False
Let o(t) = -2*t + 2. Let a be o(-4). Let s = -6 + a. Suppose -s*n + 0*n = -124. Is n a composite number?
False
Let k(h) = h**3 - h**2 - 3*h - 6. Let n be k(7). Is (n/6)/(2/4) composite?
False
Let n = -69 + 118. Is n prime?
False
Let x = 124 - -361. Is x a prime number?
False
Let p(y) = y**2 + 8*y + 9. Let g be p(-6). Let h be g/(-4) + 90/8. Is (-3)/12 - (-135)/h composite?
False
Let g = 472 + -209. Is g a composite number?
False
Is ((0 - 2) + 476)/2 a prime number?
False
Let o = 462 + -169. Is o a composite number?
False
Let f(a) be the second derivative of -13*a**5/120 - a**4/24 - a**3/3 + 2*a. Let s(y) be the second derivative of f(y). Is s(-2) prime?
False
Suppose 3*k = -2*d + 811, 3 = -4*k - 1. Is d composite?
True
Is 35154/90 - (-4)/10 prime?
False
Suppose -5*t = -2*t - 2*i - 14, -t - 2*i = -2. Let h be (t - 2)*1/2. Let c = 18 + h. Is c prime?
True
Suppose -w + 488 = -5*v - 235, w + v - 747 = 0. Is w composite?
False
Let p(y) = -7*y**2 + y. Let s be p(1). Is 774/14 + s/21 prime?
False
Suppose -223 = -5*o + 112. Is o composite?
False
Is (-890)/(-2) + (2 - -2) composite?
False
Let s(x) = -2*x**3 + 3*x - 1. Let a(z) = z**3 - z**2 + z + 1. Let p be a(0). Let y = p + -5. Is s(y) a composite number?
True
Suppose -4*a - 12 = -52. Is a a prime number?
False
Let i(j) = 108*j + 4. Let m(d) = d**2 + 8*d + 8. Let n be m(-6). Let y(x) = -108*x - 5. Let r(o) = n*i(o) - 3*y(o). Is r(-2) composite?
True
Suppose 872 + 37 = -3*i + 3*d, 905 = -3*i + d. Let o = -168 -