. Suppose 40 = 4*a - r - 2*r, -l*a - 4*r = -40. Is a composite?
True
Let p(q) = 872*q**2 + 3*q + 2. Is p(-1) a composite number?
True
Suppose w - 295 = -0*y - 5*y, -w + 121 = 2*y. Is y prime?
False
Let w(u) = -u**2 + 7*u - 1. Let x be w(6). Suppose -3 = -x*o + 7. Is ((-25)/(-2))/(1/o) a prime number?
False
Suppose -2*w - 4*r = -r - 3, 4*r + 19 = 5*w. Is (2 - w)/((-7)/77) composite?
False
Suppose -2*u - 3*j - 1 = 0, 0 = -3*u + 5*j + 16 + 11. Is (-424)/((-8)/u) - 3 a prime number?
False
Let g(l) = 2*l**3 - 11*l**2 + 4*l - 14. Is g(7) a prime number?
False
Let n(j) = 304*j**2 + 3*j + 2. Is n(-3) a composite number?
False
Suppose -26 = -5*g - 11. Suppose 5*m + 180 = h + 4*h, 3*h - 102 = -g*m. Suppose -a + 6*a = h. Is a prime?
True
Suppose -176 = -4*h + 60. Is h a prime number?
True
Suppose 0 = 6*f - 135 - 147. Is f prime?
True
Let m(b) = 5*b**3 + 4*b**2 - 4*b + 4. Is m(3) composite?
False
Let w = 618 - -55. Is w a prime number?
True
Let k be 2/3*(-15)/(-5). Suppose 0 = -h + 2 + k. Suppose -2*i = -h*y + 114, 4*i + 58 + 46 = 4*y. Is y prime?
True
Suppose 5*d = -9*g + 4*g + 2320, 5*d = 3*g + 2360. Is d a prime number?
False
Let g = 4 + -1. Is 164 + (1 - 7) + g a prime number?
False
Suppose 4 = 2*i - 2. Suppose -321 = -i*x - 84. Is x a prime number?
True
Let i(w) = 3*w**3 + w**2 - w - 5. Let j be i(5). Suppose 2*y - 76 = j. Is y a composite number?
False
Suppose y = -2*b + 3713, 2*b - 13974 = -3*y - 2831. Is y composite?
True
Let h = 566 + -232. Is h a prime number?
False
Let z be (5/3)/((-13)/(-39)). Suppose -1295 = -10*a + z*a. Is a composite?
True
Let r(u) = -5*u + 1. Let v be r(2). Let o be ((-3)/v)/((-1)/(-57)). Let t = o + -8. Is t a composite number?
False
Let n(r) be the first derivative of r**4/4 + 8*r**3/3 - 11*r**2/2 - 7*r - 4. Is n(-9) prime?
True
Let t(x) = x**3 - x**2 - 21*x + 1. Is t(10) composite?
False
Let j be 4/(-10) - (-96)/15. Let z(d) = d**3 - 6*d**2 - d + 8. Let i be z(j). Suppose -2*y - i + 68 = 0. Is y composite?
True
Suppose -7*q = -0*q - 2219. Is q composite?
False
Suppose -4*w - 18 = 2*c, 3*w - 4 + 14 = 2*c. Is (-4)/w + 16 + 2 a composite number?
False
Let x(u) = -2*u**3 + u**2 + u + 6. Let m(q) = 2*q**3 - q**2 - 2*q - 7. Let z(v) = 6*m(v) + 7*x(v). Let f be z(-4). Is (f/3)/(4/6) prime?
False
Suppose -361 = 3*x - 1420. Let t = -96 + x. Is t a composite number?
False
Let q = 2 - -33. Suppose 5*u = q + 30. Is u prime?
True
Suppose -2*z - 1 = 7. Is (-4)/(-8) + (-74)/z composite?
False
Suppose 2*o + 0*o - 10 = 0. Suppose 5 = -x, o*x - 280 = -2*f + 1753. Suppose 5*w - 26 = f. Is w prime?
True
Let a = 2 + 0. Let j = a - -2. Suppose -3*y + 0*g + 47 = 4*g, -j*y = -2*g - 48. Is y prime?
True
Suppose -21 = -x + 4*x. Let c(b) = -51*b - 4. Is c(x) a prime number?
True
Let r = 2 - -3. Suppose 4*v - 686 + 70 = 4*l, -4*v + 2*l + 624 = 0. Suppose -136 = -6*k + 3*k + r*t, -v = -4*k + 2*t. Is k prime?
True
Let q(z) = -11*z - 3. Is q(-7) a composite number?
True
Suppose 2*r + 4*n = -r + 6603, -5*n = -3*r + 6603. Is r a composite number?
True
Suppose y + 5*u - 25 = 0, 0 = 2*y + y - 4*u + 20. Let p = 43 + y. Is p prime?
True
Suppose -2*d = -0*d - 4. Let q be 1*d/((-2)/(-73)). Let i = 4 + q. Is i composite?
True
Suppose -4*p - 861 = -p. Let x = p - -408. Suppose x = 2*g - 3*b, -4*g - 4*b = -0*g - 232. Is g a composite number?
False
Let x = -90 + 198. Let p = 187 - x. Is p a composite number?
False
Let q be -22*((-30)/4)/(-5). Let y be 2/11 - 60/q. Suppose -d + y*d - 2 = 0, 2*j + d = 156. Is j composite?
True
Let t = -2 - 1. Let p(y) = -2*y**3 - 3*y**2 + 4*y. Is p(t) a prime number?
False
Suppose w + 4050 - 481 = 3*q, -3575 = -3*q + 4*w. Is q prime?
False
Let t = 209 + 578. Is t a prime number?
True
Is 371/2 + 4/(-8) a composite number?
True
Let r = 147 + -86. Suppose -4*m + 709 = 33. Suppose -4*g - m = -5*w, -5*g + 107 = 4*w - r. Is w prime?
True
Suppose -2*q - 2*u + 8 = 0, -q - u + 16 = 3*u. Suppose -4*h = -h + i - 1259, -3*h + 4*i + 1249 = q. Is h prime?
True
Is ((-2047)/(-2))/(-3 + (-21)/(-6)) prime?
False
Let m be 2/9 + (-4)/18. Suppose s + 5*l = 4*l + 155, m = s - 5*l - 167. Is s a composite number?
False
Let t(n) be the first derivative of 3/2*n**2 + 2/3*n**3 + 3 + 3*n. Is t(-5) a prime number?
False
Let p(s) = s**3 + 10*s**2 - 4*s + 6. Let q be (-3 + (-27)/(-6))*2. Suppose -7 = f + q. Is p(f) prime?
False
Suppose 4*p - 656 = 504. Suppose -5*d + p = 5*n, -2*n - 269 = 3*d - 8*d. Is d a prime number?
False
Let o be (-4)/6 + 2392/6. Suppose 0*s + p + o = 4*s, 2*p = 2*s - 202. Suppose -3*w + 2*u - 30 = -s, 4*w - 3*u = 93. Is w prime?
False
Suppose -2*q + 4727 - 293 = 2*g, -g + 8874 = 4*q. Is q a prime number?
False
Suppose 7*n - 3*n = 0. Suppose -4*a + 1241 - 493 = n. Is a composite?
True
Let j be (-2)/6 + (-50)/(-15). Suppose 0 = 4*s - 3 - 5. Suppose 0 = j*y + 3, s*x - 4*y = -3*y + 5. Is x prime?
True
Let y(n) be the first derivative of -n**4/4 + 5*n**3/3 + 7*n**2/2 - 2*n + 3. Let z be y(6). Suppose -142 = -z*u + 6. Is u composite?
False
Let t = 260 + -537. Let d = -136 - t. Is d prime?
False
Let x be (-10)/(-5) - (-4)/(-2). Suppose 3*o - 123 - 84 = x. Is o a composite number?
True
Let y = 7 - 5. Suppose -y*w + 76 = -3*s + 2*s, -103 = -3*w - 4*s. Is w composite?
False
Let h be (2 - 1)*-2 - 10. Is 2/8 - 261/h a composite number?
True
Is ((-8)/12*-1)/(4/2946) a composite number?
False
Let g(p) = -30*p**3 + 3*p**2 - p + 1. Is g(-4) prime?
True
Let b = 8 - 5. Let v be 268 + b + -3 + -3. Let c = v + -132. Is c a prime number?
False
Let t(c) = 2*c + 8. Let s be t(6). Suppose u + 3*q = 2*q - 36, -u - s = 5*q. Let n = u + 195. Is n composite?
True
Let z be (2005 - -3)/2 - 3. Suppose -3*v - 248 = -z. Is v a composite number?
False
Suppose -3*a + 0*a + 12 = 0. Let z be (-3)/((-18)/(-8))*-3. Suppose -a*y + w = -41, -z*y + y + 22 = w. Is y prime?
False
Let g(v) = v**3 + 11*v**2 + 7*v + 8. Let z be g(-8). Let d be 8/(-20) - z/(-10). Let t = 63 - d. Is t composite?
True
Suppose 5*h + 40 = -6*r + r, -h + 8 = -3*r. Is (-2115)/(-27)*(-1 - r) prime?
False
Suppose -k = -5*p - 14, 0 = -4*k - 3*p - 2*p - 19. Is k/(3 + (-174)/57) prime?
True
Let q = 139 + -36. Is q prime?
True
Let l(x) = 55*x + 3. Let q be l(3). Suppose -q = -4*n + 20. Is n prime?
True
Let u = 316 - 125. Is u prime?
True
Let l(n) = n**2 + n - 6. Let j = -1 + 1. Let m be l(j). Is (-2)/m - 840/(-18) a prime number?
True
Let s = 51 + 16. Is s composite?
False
Let j(h) = h**2. Let a be j(-2). Let d(w) be the first derivative of w**3 - 5*w**2/2 + 6*w + 2. Is d(a) a prime number?
False
Let u = -96 - -181. Let a = u + -52. Is a a composite number?
True
Let c(a) = 2*a**2 + 2*a. Let g be c(-2). Let s = 17 - g. Is s prime?
True
Suppose -4*c = 318 - 2238. Suppose -3*x - 2*x = c. Let r = x + 175. Is r a composite number?
False
Is ((-3)/(-2))/((-6)/(-452)) prime?
True
Let k = 28 + -17. Let a = -7 + k. Suppose -a*o = -3*o - 35. Is o prime?
False
Let t(m) = 172*m**2 - 2*m - 7. Let a be t(3). Suppose -4*r = r - a. Is r a prime number?
True
Suppose 2935 = 3*w - 2*y, -4*y = 3*w + 1895 - 4836. Is w a composite number?
True
Let k(p) = -p**2 + 8*p - 7. Let y(d) = 6*d**2 - d. Let u be y(-1). Let w be k(u). Suppose w = -s - 2*g + 18, -4*g = -2 - 6. Is s prime?
False
Suppose -6*u + 3*v = -u - 182, 5*u = -2*v + 187. Is u a composite number?
False
Let b be (-584)/10 + (-10)/(-25). Let p = -40 - b. Suppose 0 = -2*f + 64 - p. Is f composite?
False
Let q(m) = 3*m**2 - m - 1. Let r be q(-1). Suppose -15 = -3*t, -4*c + r*t = -166 + 33. Is c composite?
False
Let s(o) = -37*o + 7. Let l(k) = -k. Let v(z) = 3*l(z) + s(z). Is v(-6) composite?
True
Let b = -5 + 12. Suppose -2*w - 875 = -b*w. Suppose -8*u + w = -3*u. Is u a prime number?
False
Let g(i) = -53*i**3 - i + 2. Let a be g(-2). Let w = a - 243. Suppose -3*u - 2*u + w = 0. Is u composite?
False
Let s(o) = 22*o + 1. Is s(1) a prime number?
True
Suppose -10*q = -8*q + 3048. Is ((-1)/(-3))/((-4)/q) a prime number?
True
Let w = 216 - -466. Suppose s + 2*c + w = 3*s, 0 = -2*s - 4*c + 682. Is s a composite number?
True
Let z(l) be the first derivative of 2*l - 1/2*l**4 + l**2 + 1 - l**3. Is z(-3) prime?
True
Let p(y) = y**3 + 7*y**2 + y - 6. Let w be p(-5). Is (3/(-9) + 1)*w a composite number?
True
Let k(v) = 23*v**2 - 3*v + 13. Is k(10) prime?
False
Let k = 364 + -213. Let 