Suppose 6*z - 5352 = 6066. Is z a composite number?
True
Suppose 2*y = 3*c - 17, 0 = -5*c - 5*y + 3*y + 7. Suppose -3*w + 479 = -2*g - c*g, 0 = 3*g + 3. Is w a composite number?
True
Suppose 4*c + 1531 = 3*j, -4*j + c + 1483 = -580. Is j a prime number?
False
Let s(z) = 2*z**2 - 7*z - 3. Is s(10) prime?
True
Let g(i) = i**2 + 7*i + 4. Let j be g(-7). Let d = j + -3. Is 36/16 + d/(-4) a composite number?
False
Let o be (78/8)/(1/60). Suppose -2*j - 155 = -v, v - o = -3*v + j. Is v composite?
True
Let r(z) = 2*z**2 + 7. Suppose 26 = -p - 4*i, -i + 4 = -4*p + 3*i. Is r(p) prime?
True
Let b(v) = -8*v - 7. Let y be b(-7). Suppose 35 = 2*t - y. Suppose 0 = -3*a + a + t. Is a a prime number?
False
Let b(u) = 15*u**2 - u + 1. Let l(h) = 15*h**2 - h + 1. Let c(d) = 5*b(d) - 4*l(d). Suppose -a - 4*z = -13, -2*z + 0 + 6 = 0. Is c(a) a prime number?
False
Let g = -5 - 1. Let y be (g/4)/(5/(-10)). Suppose -y*u + 26 = -4. Is u a composite number?
True
Let s = -1714 + 3951. Is s composite?
False
Let i = -6 - -11. Let b = -4 + i. Is 105/5 + b + -3 composite?
False
Let l = -90 + 203. Is l composite?
False
Let w = 2896 + -5039. Let n = -1336 - w. Is n a prime number?
False
Let q = -2423 + 5130. Is q a prime number?
True
Let g be 2 + -3 + 1*54. Let c = 7 + -7. Let y = g - c. Is y a composite number?
False
Suppose -g - 5*k + 2924 = 0, -2*k = 3*g - 6*g + 8789. Is g a prime number?
False
Let p(h) = h**2 - 6*h - 4. Let v be p(7). Suppose n - 40 = v. Is n composite?
False
Let v be ((-1)/2)/((-2)/8). Suppose -2*s - v*s + 8 = 0. Suppose 0 = -s*f - 9 + 39. Is f a prime number?
False
Let t(r) = 3*r**2 + 3*r + 6. Suppose -5*f = -2*d - 23, -2 + 3 = d. Let i be t(f). Suppose -5*b - 26 = -i. Is b composite?
True
Let h be 78/15*(-1 + 11). Is 3150/26 - 8/h a prime number?
False
Suppose 8*c = 5*c + 171. Is c prime?
False
Let s = 145 - -106. Is s composite?
False
Suppose 0 = v - 4 + 2. Is 3 + (25 - 3)*v composite?
False
Let v = 23 - 11. Let k(s) = -s**2 - 7*s + 13. Let r be k(v). Let h = r + 364. Is h a composite number?
False
Let g(i) = 69*i**2 + 21*i - 7. Is g(-12) composite?
False
Suppose 896 = 2*n - 4*w, -3*n + 2*n + 432 = 2*w. Let h = -253 + n. Is h a prime number?
False
Suppose -476 - 31 = -3*n. Is n/9 - (-2)/9 prime?
True
Suppose 3*q + 1690 = 3*l - 2*q, -1129 = -2*l + q. Is l prime?
False
Let d(j) = j**2 - 2*j + 2. Let f be d(-3). Let k = f - -461. Suppose -3*q + k - 97 = 0. Is q a prime number?
True
Let n be (-8)/(-6)*3/2. Let z = n + 81. Is z a composite number?
False
Let j = 17 + -47. Let y = -18 - j. Is ((-42)/y)/(2/(-8)) a composite number?
True
Let o(q) = -q**2 + 7*q - 1. Let j be o(6). Suppose 2*f = -2*p + 4*p - 104, -4*p = j*f - 199. Is p a composite number?
True
Let r = 41 + 170. Is r composite?
False
Suppose -6*y - 374 = -12692. Is y composite?
False
Is (1/5 - 1)/((-2)/485) composite?
True
Let a(w) = -w**3 + 5*w**2 - 14*w - 11. Is a(-9) prime?
True
Let y(l) = -119*l**3 - 2*l**2 - 1. Is y(-2) prime?
False
Let x be (0 - 1)*26*1. Let f = x + 60. Is f prime?
False
Suppose r - 6*r + 385 = 0. Is r prime?
False
Let u be (-13)/(-4) + (-6)/24. Suppose -d - 4*o = -62, -u*d - 3*o = d - 287. Is d a composite number?
True
Let m(c) = -6*c**2 + 8*c - 6. Let n be m(6). Is n/(-8)*8/3 a prime number?
False
Let l = 3735 - 1364. Is l composite?
False
Suppose 4*c + 0 = -2*k - 18, -2*c + 10 = 0. Let f = k - 29. Let g = 17 - f. Is g prime?
False
Let l(h) = h + 1. Let w(m) = -12*m - 2. Let z(n) = 3*l(n) - w(n). Is z(4) a prime number?
False
Is -1*((-16)/(-20))/(-2)*2785 a prime number?
False
Suppose -1265 = -5*n - 2*o, -n + 5*o - 95 = -321. Is n prime?
True
Is ((-6)/3 - 1) + 82 a prime number?
True
Suppose -4 = 3*l - 2*l, -5*g + 3*l + 267 = 0. Suppose v - 3*y + 10 - g = 0, -v - 4*y + 55 = 0. Is v a prime number?
True
Let s = -86 - -337. Is s prime?
True
Suppose -4*w - 91 = -5*t + 64, 2*t - 62 = 5*w. Let y = t - -8. Is y composite?
True
Suppose 0 = 2*t + 3*r + 1 - 4, -4*t + 5*r - 49 = 0. Is (-10 - t)*49/(-4) a prime number?
False
Let j = -1 + 44. Is j a prime number?
True
Let n(m) = -691*m + 24. Is n(-7) a prime number?
True
Suppose -k - f = -2586, -4*k + 2*f + 1382 = -8932. Is k composite?
True
Let l = 14 - 25. Suppose 0 = -v - 0*v - 1795. Is v/l - 4/22 a prime number?
True
Let z = 424 - 247. Is z prime?
False
Let a = 4 - 1. Suppose -4*u + a*f + 459 = 4*f, 3*f + 463 = 4*u. Is u composite?
True
Let c(y) = 2*y**3 + y**2 + y - 1. Let p be c(1). Suppose -5*s - 3 = 3*v - 18, -3*v + p*s - 9 = 0. Suppose h = -0 + 4, r - h - 17 = v. Is r prime?
False
Let u be (20/25)/((-2)/15). Is -14*3*3/u composite?
True
Suppose -s - 5*t + 11 = 0, t + t = 2*s + 2. Is -3*5*(s + -2) a prime number?
False
Let d = 2 + -1. Is (2/(-5))/(d/(-25)) prime?
False
Let b = 22 - 12. Is b a prime number?
False
Let m(i) = 56*i + 1. Let b be m(2). Let v = 192 - b. Let n = v + -56. Is n composite?
False
Is (-2 + (-5978)/6)*(-2 + -1) composite?
True
Let l = 8 + 75. Let p = l + -37. Suppose 311 = 5*n + p. Is n a prime number?
True
Suppose 0 = -a - 4*a + 10. Suppose 5*p = -a*v + 293, 2*v - 58 = -p + v. Is p composite?
False
Suppose 4*g = -5*b - 4084, 0*g + 5105 = -5*g + 4*b. Let d = g - -1467. Is d a composite number?
True
Suppose 2*z + 2*z - 3*u = 6914, 0 = z + 3*u - 1721. Is z a composite number?
True
Let c(b) = -2*b + 1. Let y(i) = 8*i - 3. Let f(m) = -9*c(m) - 2*y(m). Let z be f(2). Suppose t + 3*k - 73 = -z, -k + 233 = 4*t. Is t a composite number?
True
Suppose 26738 - 69974 = -12*t. Is t composite?
True
Suppose 0*t + 4*t = 8. Let l be 10/3 + t/(-6). Suppose -l*w + 4*f + 111 = 0, 0*w + 185 = 5*w - f. Is w prime?
True
Suppose -172 = -g + o - 6*o, 15 = 5*o. Is g composite?
False
Is -7 - -3 - (-845 + 2) composite?
False
Let c = -15 - -14. Let l(s) be the first derivative of -4*s**2 + s + 1. Is l(c) composite?
True
Let j be -1*2 - (-12 - -7). Is (-263)/j*(-11 - -8) a composite number?
False
Suppose d - 118 = -26. Suppose u + 0*u = d. Suppose 2*q - u = -0*q. Is q composite?
True
Let q = -1652 - -3244. Suppose 0 = -0*r - 4*r + q. Is r prime?
False
Let k(a) = -25*a - 9. Let z(o) = o**3 - 8*o**2 + 7*o - 8. Let s be z(7). Is k(s) a composite number?
False
Is 5 + 0 + 1 + 3011 a prime number?
False
Let l(m) = 12*m**2 - 5*m - 2. Let t be l(5). Let o = -180 + t. Suppose -2*v - 5*p + 28 = -o, 5*v - 3*p = 256. Is v composite?
False
Suppose 2*u - 510 = 8*u. Let j = u - -144. Is j prime?
True
Let o(j) = j**3 + 5*j**2 - j - 1. Let r be o(-5). Is r/(-6) - (-233)/3 a prime number?
False
Suppose -291 + 24 = -3*u. Is u a prime number?
True
Suppose -2*y = 6, b - 2*b + 4*y + 14 = 0. Suppose f - b*f = -753. Suppose -z = 2*z - f. Is z a composite number?
False
Let i = 5 + -1. Is (-23 - (-4)/i)*-1 a prime number?
False
Is -2 + (0 + 95 - 2) composite?
True
Let j(l) = -4*l**3 + l**2 + 2*l + 1. Let x(v) = 4*v**2. Let d be x(-1). Suppose 0 = 2*a - d*a - 2. Is j(a) a prime number?
False
Let u(p) = 7*p**2 + 15. Let v(w) = 8*w**2 + w + 16. Let y(l) = 6*u(l) - 5*v(l). Is y(9) prime?
True
Is 11 + -2 + 2 + -5 composite?
True
Let b(o) = 93*o**3 + o**2 - 2*o + 1. Is b(1) a composite number?
True
Suppose -2*a = 5*k + 2 + 4, 4*a - 36 = 2*k. Let g(s) = -s**2 + 10*s - 2. Is g(a) composite?
False
Let z(w) = -4*w**3 - 3*w**2 + w. Suppose 0*p + 12 = -3*p. Let x be z(p). Let t = x + -121. Is t a prime number?
True
Suppose 3*d - 6*d = -r - 16, -15 = -4*d - 5*r. Suppose -c + 1 = -3, -d*c + 50 = 5*o. Is o a composite number?
True
Suppose 3*z - 5 - 1 = 0. Suppose z*v = v. Suppose v = -4*q + 2*q + 28. Is q composite?
True
Suppose -463 = -3*j + 320. Let a(p) = -p - 2. Let h be a(-2). Suppose h*b + j = 3*b. Is b a prime number?
False
Suppose -3*x + 3*o = -2*x - 14, 3*x = -4*o + 42. Let g = 29 - x. Is g a composite number?
True
Let b be 1/3 + 2/(-6). Suppose -3*w + w + 158 = b. Is w a composite number?
False
Suppose -627 = -3*z + 6*z. Let f = 474 + z. Is f a composite number?
True
Let a = -94 - -191. Is a a composite number?
False
Let n(r) = r**3 + 15*r**2 - 21*r - 20. Is n(-15) composite?
True
Is ((-8)/24)/((-2)/258) prime?
True
Suppose 0 = -2*a + 2, 5*w - 3*a + 68 = -25. Let n = 10 + -14. Is n/18 - 1498/w prime?
True
Suppose -4*d + 3*o = d - 897, 0 = -2*d + 2*o + 362. Is d a prime number?
False
Let n be (-3)/(-6)*-3*-2. Suppose -475 = -10*u + 5*u. Suppose n*z = u + 16. I