 a prime number?
True
Is (-994)/(-2) - -1 - 1 a composite number?
True
Let o(h) = -4*h**3 - 2*h**2 + 6*h + 2. Is o(-3) a composite number?
True
Suppose 3*u - 3*v = 2*u + 3250, 9711 = 3*u + 4*v. Is u composite?
True
Let k(p) = 2*p**2 - 3*p. Suppose 5*b + 10 + 3 = -3*h, 2*h - 3*b - 23 = 0. Let u be k(h). Suppose o = -o + u. Is o composite?
True
Let s be 3*32 - (-1 + 1). Let p = s - 59. Is p a prime number?
True
Let n = 2 - 2. Let f = 0 - n. Suppose r + 3*r - 140 = f. Is r a composite number?
True
Let z = -412 + 813. Is z a composite number?
False
Suppose 3*v + 3*t = 2*t + 340, 2*t = -5*v + 567. Is v composite?
False
Let u(r) = -r**3 + 21*r**2 + 15*r - 20. Is u(21) a prime number?
False
Suppose -2*q + 21 = -5*q. Suppose 7 = -b - 10. Let r = q - b. Is r composite?
True
Let v = 14 - 12. Is (v/(-4))/((-1)/74) prime?
True
Suppose 2*k = 6*k + 568. Let m be (-234)/12*(-10)/(-3). Let i = m - k. Is i composite?
True
Let v(z) = 47*z + 3. Is v(2) prime?
True
Let q(w) = -37*w + 26. Is q(-5) a prime number?
True
Let a(h) = 9*h**3 + 2*h**2 - 3*h + 3. Let r be a(6). Let i = r + -1046. Is i composite?
True
Is ((-8)/(-12))/(4/2706) a prime number?
False
Let a(n) = -n**3 - 3*n**2 + 14*n + 19. Is a(-9) a composite number?
False
Let f = 4657 + -1386. Is f a composite number?
False
Is 0 - (-139 + 1 + -5) a prime number?
False
Let v(z) = 33*z**2 + 8*z + 11. Is v(-6) composite?
False
Let x be 2*(345/2)/(-3). Let q = -82 - x. Suppose -3*f = -6*f + q. Is f prime?
True
Suppose 0 = 2*p + 3*j - 1115, p + 4*p + 3*j = 2774. Is p prime?
False
Let w(i) = 26*i**3 - 40*i**2 + 20*i + 20. Let c(z) = 5*z**3 - 8*z**2 + 4*z + 4. Let h(n) = 16*c(n) - 3*w(n). Is h(5) a prime number?
False
Let x be 0/2 + 0 + 40. Let s = x + 37. Is s prime?
False
Suppose 0 = 2*x + 4 - 6. Is 211 + (2 - x - 1) composite?
False
Suppose -3*w = 3*w - 654. Is w a prime number?
True
Suppose -12*a = -11*a - 251. Is a composite?
False
Let i be 1/(-3) + 1126/3. Suppose p - i = -2*p. Suppose p = 4*z - 107. Is z a prime number?
False
Let k(z) = -250*z + 4. Let o(y) = -125*y + 2. Let w(h) = 4*k(h) - 7*o(h). Is w(-3) a prime number?
False
Let n = 340 + -476. Let g(f) = -18*f + 1. Let m be g(5). Let p = m - n. Is p prime?
True
Suppose -3*l + 112 = 5*c, -5*c + 8 + 2 = 0. Is l prime?
False
Suppose -2*w + 0*w = 1504. Let d = 1059 + w. Is d prime?
True
Let j(s) = -s**3 + 13*s**2 - 9*s + 5. Let p(q) = -3*q - 2. Let t be p(-3). Let w be j(t). Suppose -w = -0*i - 4*i. Is i composite?
False
Suppose -x - 4*i + 101 = 0, -i - 309 = -3*x - 45. Is x prime?
True
Suppose 0 = -3*h + 1 + 11, -35 = -3*r - 5*h. Let l(p) = -p**3 + 10*p**2 + 6*p + 2. Is l(r) prime?
True
Let j(z) = -z**2 + 177. Let n be j(0). Suppose -1573 = -5*w - 463. Suppose -3*s + n = -w. Is s prime?
False
Let n(l) = l**3 + 10*l**2 + 8*l - 7. Let d be 9/12 - (-39)/(-4). Let f be n(d). Suppose 425 = f*s + 3*j, -3*s + 635 = -j + 5*j. Is s prime?
False
Let f be (-1 + -2)/(-1 - 0). Suppose -4*l - 4*v + 96 = 0, 2*v - f - 1 = 0. Is l a prime number?
False
Let g = -131 - -672. Is g prime?
True
Let g(r) be the first derivative of r**4/4 - r**3 + r**2/2 + 7*r - 6. Is g(6) composite?
True
Let g be 9/4 - (-4)/(-16). Suppose -2*c = -g*l - 7*c - 19, -5*l - 22 = 4*c. Let d = 9 - l. Is d a composite number?
False
Is -3 + 35/15 - 863/(-3) a composite number?
True
Let v = 5 + -8. Let r be (0 - 2)*9/v. Is (196/r)/(10/15) a prime number?
False
Suppose 3*h = 2*h + 253. Is h a composite number?
True
Let r(n) = -37*n - 16. Is r(-6) composite?
True
Let b = 162 - -29. Is b composite?
False
Let k = 33 - 20. Is k composite?
False
Let t(o) = -2*o**3 - 6*o**2 + 6*o + 2. Let l be t(-8). Suppose -l = -2*b - 2*g, -3*g = 8*b - 3*b - 1477. Is b composite?
False
Suppose 0 = -6*y + 2*y + 780. Let k = y - 108. Is k a composite number?
True
Suppose 5*w - 14 = -4. Let m be w/(-4) + 39/2. Suppose 0 = -3*x - m + 82. Is x a prime number?
False
Suppose -q + 16 = n, 4*q + 5*n - 64 = 10*n. Let f = q + -9. Is f composite?
False
Let f = -8741 + 12684. Is f prime?
True
Suppose -6*r - r = -2863. Is r a prime number?
True
Let b be (-6 - 6)*(-2)/4. Suppose 2*o = b*o, 5*o - 26 = -2*a. Is a a prime number?
True
Suppose 4*g + 0*g = -16, -2*g + 8 = 4*w. Is -2 + w + -2 - -293 a composite number?
False
Let g(f) = -f + 9. Let y(u) = u - 2. Let k be y(6). Let b be g(k). Suppose -b*t + 512 = -t + 4*w, -2*w + 125 = t. Is t composite?
False
Let s be (-1)/((3/419)/(-3)). Suppose -4*z + 5*h + 327 = 0, -5*z + 0*z + s = 4*h. Is z prime?
True
Suppose -7764 = -4*q + 9448. Is q composite?
True
Suppose 0 = -2*f + 3*f - 208. Suppose -4*c = -j + 33, -4*j - 2*c - c + f = 0. Is j prime?
False
Let n(w) = -2*w + 0*w + 3*w**2 - 9 - 5*w. Is n(7) a prime number?
True
Let s(c) = 21 + c + c**3 + 40 + 24 - c**2. Is s(0) prime?
False
Suppose -t - 2*t = -21. Suppose t = n + 2. Suppose 0 = -z - 5*o + 4 - 5, -n*o - 10 = 0. Is z prime?
False
Let u(o) be the third derivative of -o**6/120 + o**4/24 + o**3 - 6*o**2. Is u(0) prime?
False
Suppose -5*v - 306 = -4*f, -129 = 5*f - 4*v - 516. Is f prime?
True
Suppose -5*w + 7 = 5*c - w, 2*c + 11 = 3*w. Is -78*(-1)/(-2)*c composite?
True
Let k(g) = 7*g**3 + 5*g**2 - 4*g + 1. Let f = 12 - 9. Is k(f) a composite number?
False
Let k(f) = -f + 16. Let g be k(13). Suppose 161 = g*z - 172. Is z prime?
False
Let p(j) = 3*j**2 + 3*j + 2*j**2 + 0 - 4*j**2 + 7. Is p(5) a composite number?
False
Is (34/3)/(32/912) a prime number?
False
Let k = -54 - -257. Is k a prime number?
False
Suppose 1111 = 4*i + 267. Is i prime?
True
Let c(j) = -j**2 + 2*j. Let w be c(6). Is (-882)/w + (-2)/(-8) a prime number?
True
Let p(o) = -9*o**3 + 7*o**2 - 10*o - 2. Let l(q) = 5*q**3 - 3*q**2 + 5*q + 1. Let u(g) = -5*l(g) - 3*p(g). Let b be (2/1)/((-2)/(-4)). Is u(b) prime?
True
Let s(j) = 81*j**2 + 8*j - 2. Let l = 10 + -7. Is s(l) composite?
False
Let x = 370 - 161. Is x composite?
True
Let z(w) = 19*w**2 + w - 1. Let n be z(-3). Suppose -n = -3*a - 5*v, 3*a + v + 2*v - 159 = 0. Is a a composite number?
True
Is (-10)/4*(-6)/(-5) - -1274 composite?
True
Let a = 18 + -15. Suppose 0 = a*o - 4*o + 177. Is o a composite number?
True
Let r(v) = v**2 + 3. Let z be r(0). Suppose -y - 3*c = -119, 4*y - 320 = z*c + 231. Is y a composite number?
True
Let i(v) = v**2 - 7*v + 2. Let u be i(7). Suppose 10 = -u*n, 3*n = 2*o - 333 - 52. Is o prime?
False
Suppose 2*l + 3*l = -q + 94, 4*q = 4*l + 256. Suppose -q = -p + 5*f, 2*p - 122 = -2*f + 64. Is p prime?
True
Let h(z) be the third derivative of -z**8/6720 + z**7/360 - z**6/360 + 7*z**5/120 + z**4/12 + z**2. Let y(n) be the second derivative of h(n). Is y(6) prime?
True
Is (4 - 2)/(8/1028) a composite number?
False
Let a = 2 + 2. Let x = a + 1. Suppose x*z + 35 = 2*n - 92, 0 = 3*n - 4*z - 173. Is n a composite number?
True
Let o(t) = t**3 + 6*t**2 + t + 6. Let k be o(-6). Suppose -8 = 4*u, 5*u = -4*p - k + 2. Suppose p*y - 44 = y. Is y a composite number?
True
Is ((-1361)/(-4) - 0)/(9/36) composite?
False
Let f = 33 - -446. Is f composite?
False
Let z(s) be the first derivative of -s**3/3 - s**2/2 + 4*s - 1. Let v be z(7). Let t = 78 + v. Is t composite?
True
Let s(g) = 7*g - 2. Let d be -2*(1/2 - 2). Is s(d) composite?
False
Is 21/(-2)*(-638)/33 prime?
False
Let f(s) = -65*s + 15. Is f(-16) composite?
True
Let p = -106 - -34. Let q = 1 - p. Suppose 0 = -2*o + 5*o + t - q, 2*t = -2*o + 54. Is o prime?
True
Let a(o) = 6*o**3 - 5*o**2 + 3*o + 1. Let w be a(3). Suppose 5*t - w = 5*h + 18, -122 = -3*t - 4*h. Let k = t - -35. Is k prime?
False
Suppose -2*b = 3*b. Suppose -5*q + 120 = -5*a, -5*q + 4*a - 3*a = -100. Let c = q + b. Is c a prime number?
True
Let z be 19/(-3) + (-1)/(-3). Let r = 17 + z. Is r prime?
True
Let l(f) = -f. Let o be l(-4). Suppose -2 + 134 = o*x. Is x a composite number?
True
Suppose 0 = -2*l - 2*r - 186, 5*l - 2*l + 303 = 3*r. Let v = l + 201. Suppose 5*u - 130 = 2*d, -4*u + 2*d + v = -0*d. Is u composite?
True
Let i(j) = j**2 - 6*j. Let k be i(-5). Suppose -4*q + k = -3*r - 60, 0 = -q + 4*r + 19. Is q prime?
True
Let s be 0 - (-2)/(-3)*-3. Is (s/(-6))/((-3)/2367) composite?
False
Let d(r) = 4*r - 15. Is d(20) a prime number?
False
Let m = -4 + 4. Suppose m*q = -5*q. Let o(v) = -v**2 + 145. Is o(q) a composite number?
True
Let q = 5 + -3. Let g be 70 + 6/3 - q. Suppose 0 = 4*i + i - 