z(6) a composite number?
True
Let o(j) = -2*j**3 - j**2 + j - 7. Let p be o(-5). Let x = -100 + p. Is x a prime number?
True
Let j = -65 - -104. Suppose -115 = -c + 3*l, c - 5*l + j - 154 = 0. Is c a prime number?
False
Suppose -2*i + 7 = -9. Let k(j) = j**3 - 6*j**2 + j - 9. Is k(i) a composite number?
False
Let t(x) = x**3 + 8*x**2 + 6*x + 6. Let c be t(-6). Suppose 0 = -4*r - 3*y + 21 + 16, -4*r - 2*y = -c. Is r prime?
True
Suppose -4*x - 487 = 4*k - 1339, -3*x + 6 = 0. Suppose 0 = 2*u + 3*y - k, u - 4*y = 5*u - 420. Suppose -4*m + 188 = -3*t, -3*m + u = -2*t - 37. Is m prime?
True
Let d = 13 - 19. Let a(y) = y**3 + 6*y**2 + 4. Let o be a(d). Suppose -r = o*r - 65. Is r a prime number?
True
Let m(x) be the third derivative of x**5/20 - 7*x**4/24 + x**3 - 3*x**2. Is m(5) composite?
True
Suppose -r = r - 6. Suppose 2*q + 4*t = -t + 46, -r*t + 12 = 0. Is q prime?
True
Let g = -7 + 5. Is 2/(4/g) + 16 prime?
False
Let g(s) = -4*s - 9. Let o be -10 - (0 + 6)/(-3). Is g(o) composite?
False
Let o(b) = 20*b - 5. Let q(g) = -g + 1. Let s(c) = o(c) + 4*q(c). Is s(7) a composite number?
True
Let t be (-1 - (-6)/3)*2. Suppose 4*r - 169 = -3*y, r - 274 = -5*y + t*r. Is y a composite number?
True
Let k = 260 + -54. Suppose v + 3*v = 2*c + k, 2*c - 151 = -3*v. Suppose -80 - v = -m. Is m composite?
False
Suppose -q + 1677 = -1013. Suppose 0 = k - 2*k - 4*w + 538, -5*k + 4*w = -q. Suppose -2*r + 4*f = -k, 10 = -3*f + 4. Is r composite?
True
Let s(p) = -5*p**3 + p**2 - p - 8. Is s(-3) a prime number?
True
Let l = -1209 + 2306. Is l composite?
False
Let p(m) = m**3 - 10*m**2 + 7*m + 37. Is p(11) composite?
True
Suppose -2*f = 3*f + 80. Let d = -11 - f. Suppose 0 = d*q - 80 - 255. Is q a composite number?
False
Suppose 0 = -4*y - y + 10. Suppose y*u = 4*u - 4. Let p(v) = 60*v**2 - 4*v + 3. Is p(u) a composite number?
True
Let n = 643 + -236. Is n a composite number?
True
Let f = 180 - -31. Is f prime?
True
Let a(y) = -y**3 - 19*y**2 + 2*y - 23. Is a(-20) a composite number?
False
Suppose 0 = -7*k + 2*k + 40. Suppose u = 5*u - k. Is 2 + 117 + (2 - u) composite?
True
Let l(z) = -z**3 - 6*z**2 - 5*z + 1. Let o be (-94)/18 + 4/18. Let x be l(o). Let v(r) = 4*r**2 - 1. Is v(x) composite?
False
Is -2 + 6496/10 + 33/(-55) prime?
True
Suppose 0*v - 1592 = -2*v - p, 0 = -v + p + 790. Suppose 0*t = -2*t + v. Is t prime?
True
Let h(o) be the first derivative of -o**3/3 - 3*o**2 + 7*o - 2. Let p be h(-7). Suppose w + 3*n + 9 - 74 = p, 0 = w + n - 57. Is w a composite number?
False
Let i(l) = l**2 - l - 7. Let w be i(0). Let h(j) = 2*j**2 - 3*j + 8. Is h(w) a prime number?
True
Let k = -4 + 4. Suppose 0 = 4*v + 5*s - 211, 5*v + k*v - 2*s - 239 = 0. Is v a prime number?
False
Is 1/(-2)*814/(-1) a prime number?
False
Let b = 1667 + 126. Is b composite?
True
Is (3589/5 - -3) + (-2)/(-10) prime?
False
Suppose -3*d + 8 = d. Suppose -7*x + 25 = -d*x, 4*x - 18 = a. Suppose 0 = -a*g + 163 + 3. Is g prime?
True
Suppose -5*x - 2*l - 68 = -4*l, 0 = 2*x - 5*l + 44. Let i be -2*(-4)/(x/45). Is -2 - (i/2 - -2) composite?
False
Suppose -5*k = -0*k + 10. Is k + (-6)/(-2) - -234 prime?
False
Let s = -430 - -751. Is s a composite number?
True
Let n(x) = 31*x**3 + x**2 - x. Let v = -3 - -4. Is n(v) a composite number?
False
Suppose o + m = 317, -4*o + 3*o + m + 313 = 0. Let y = 550 - o. Is y composite?
True
Let j = 820 + -501. Is j composite?
True
Let t = 3029 - 1080. Is t a composite number?
False
Suppose 1482 = 4*k + 3*o - 5*o, 3*o + 1481 = 4*k. Is k composite?
True
Let s(z) = 5*z**2 + 12*z - 6. Let n(f) = 6*f**2 + 13*f - 5. Let j(d) = -4*n(d) + 5*s(d). Is j(-11) prime?
True
Suppose 5*i - 3*k - k = 33, 5*k = 15. Let a(m) = 108*m + 19. Is a(i) prime?
True
Let o be (70/6)/(4/12). Let q be 2*(-3)/(-15)*o. Suppose 0 = l - q - 8. Is l composite?
True
Let y = 105 - -40. Is y a prime number?
False
Let p be (-12)/(-7) + 6/21. Suppose 0*w + 12 = p*w. Suppose -115 = -w*l + l. Is l a prime number?
True
Let q(x) = 5*x**3 - x**2 + 2*x - 1. Let n be q(1). Suppose n*h = -4*m + 403, 0*m - 3*m - 4*h = -302. Suppose -2*s + 4*t = -m, -t + 287 = 5*s - 3*t. Is s prime?
True
Let o(v) be the second derivative of -v**4/12 + v**3 + v**2/2 - 3*v. Suppose 5*i - 14 - 1 = 0. Is o(i) prime?
False
Let b = -5 + 9. Let k(g) = 76 - 3*g**2 + 57 + b*g**2 + 0*g**2. Is k(0) a composite number?
True
Let u = 6 - 9. Is (-214)/(-4) - u/(-6) composite?
False
Suppose -o + 12 = o. Suppose 3*g - 9 = o. Suppose -4*d + 158 = 5*q - 178, g*d = q + 391. Is d composite?
False
Let a(i) = 127*i**2 + 4*i - 4. Is a(3) a composite number?
False
Let j = 3 - 4. Is -5 + 3 + j + 16 composite?
False
Let z = -70 - -353. Suppose 5*h - z + 18 = 0. Is h a composite number?
False
Suppose 4*m - 3*v = -0*m + 1006, -757 = -3*m + v. Is m prime?
False
Suppose b - 3 - 1 = 0. Suppose 581 = b*w + 5*v, 4*w = 2*w - 3*v + 289. Is w prime?
True
Let z(i) = -6*i - 5. Let l = -8 - -3. Let o be z(l). Suppose 0*d - d + o = 0. Is d a prime number?
False
Let f be 9 + 0/(4 + -1). Suppose f = -4*h + 21. Suppose -4*j - 101 = -h*l, -j = 4*j - 20. Is l prime?
False
Let b(n) = -160*n - 3. Is b(-1) composite?
False
Suppose 173 = 4*h - 215. Is h composite?
False
Let j(g) = -2*g - 7. Suppose -5*r - 12 = -r - 4*o, -4*r - o = 27. Let t be j(r). Suppose -t*c - i + 186 = 0, -4*i - 130 = -0*c - 3*c. Is c composite?
True
Let k = 470 + -1832. Let z = k + 1945. Is z composite?
True
Suppose 4*w + 2*j + 10 = j, -4*j = -5*w - 23. Let d = w - 0. Is d/9*1*-6 composite?
False
Let o = 352 + -21. Is o a prime number?
True
Suppose -3*h + 0*h = 3*n - 63, 0 = -3*h - 9. Let j = n + 34. Is j composite?
True
Let d be (49/(-2) - -3)*2. Is -2 + -6*d/2 composite?
False
Suppose -3*c - 2*c + 3*w = -6, 3*c - 2*w = 3. Suppose 18 = c*o - 24. Is o a composite number?
True
Let h = -347 + 570. Is h a composite number?
False
Let k = 21 + -16. Suppose -3*z = -k*z + 74. Is z composite?
False
Is 3860 + (1/(-3))/((-7)/63) prime?
True
Let b = 713 - 319. Is b prime?
False
Let c = 510 + -175. Is c a composite number?
True
Let r(d) = -25*d**2 - 2*d - 1. Let k be r(-4). Let l = k - -552. Is l a composite number?
True
Let r(y) = y**2 - 4*y + 7. Suppose 2*u - 3*l - 18 = 0, u = -2*u - l + 16. Is r(u) composite?
False
Suppose -4*i - 30 = -i. Is (0 + -1)*(i - 0) prime?
False
Suppose -5*q - 2*j + 19 = 0, 5*q + 5*j + 3 = 13. Let u = -4 - -8. Suppose -q = -k + u. Is k prime?
False
Let b be 2 - (-4)/(-2) - -2. Suppose 4*s + b*u = 8, 0*s + u = -3*s + 6. Suppose 5*w - 3*o = s*o + 90, -w + 38 = 3*o. Is w a prime number?
True
Let n(t) = t + 157. Is n(0) prime?
True
Suppose 2*p - 2*h + 2 = 0, -3*p - 3*h = -16 - 5. Let q = 3 - p. Suppose q = -2*v + 7*v - 4*m - 69, v + 5*m - 8 = 0. Is v a prime number?
True
Suppose -2*x - 196 = -6*x. Is x composite?
True
Is 5 + -9 + 7 + 0 + 2894 composite?
False
Let g(x) = 37*x**3 - x + 1. Let w(i) = -i**3 - 6*i**2 + 8*i + 8. Let u be w(-7). Is g(u) a prime number?
True
Let o(l) = l + 4. Let c be o(-4). Let w be 1/(-1) - -3 - c. Suppose -w*b + 345 = 3*b. Is b a prime number?
False
Suppose -5*g + 10445 = 1690. Is g a composite number?
True
Let q(v) = v**3 + 25*v**2 + 21*v - 46. Is q(-21) composite?
False
Let f be 1*-2*(-151)/(-2). Let n = 272 + f. Is n composite?
True
Suppose 5*r + 340 = 5*a, 0*a = -3*a - 4*r + 225. Is a a composite number?
False
Let v(d) = -179*d**3 - 2*d**2 + 1. Let k be v(-1). Suppose 2*p - 8 = 0, -5*s - p + k + 11 = 0. Is s a prime number?
True
Suppose 3*k = 6, -2*g + 30 + 40 = 5*k. Suppose -g = -4*t + 302. Is t a composite number?
False
Let g = 2363 + -1612. Is g a composite number?
False
Suppose 5*p - 1725 + 70 = 0. Is p prime?
True
Let i = 0 - 14. Let w be 0 + (-2)/12 - (-1556)/(-24). Let d = i - w. Is d prime?
False
Suppose -2*n - 6 = -4. Let q(d) = 129*d**2 - 2. Is q(n) a prime number?
True
Suppose 5*p - 381 = 2*p. Is p prime?
True
Let q(w) = 8*w**2 + 10*w + 19. Is q(9) prime?
True
Let m(y) = y**3 + 5. Let j be m(0). Suppose -2*h = -j*f - h + 1065, 2*h = f - 222. Suppose -f = -p - p. Is p composite?
True
Suppose -27*t - 40168 = -35*t. Is t composite?
False
Suppose 3*o - 7*j - 10479 = -5*j, -3*o + 5*j = -10488. Is o composite?
False
Let g(m) = -m**3 - 4*m**2 + 4*m - 9. Let n be g(-9). Let w = -233 + n. Is w prime?
True
Suppose 0 = -h + 3 - 7, -5*u - 6 = -h. Is (-228)/(-9)*(-3)/u 