e number?
True
Suppose 2*z - 2*r = 3022, -2*r - r - 6046 = -4*z. Is z a composite number?
True
Is 2 + (-1272)/(-4) + -1 composite?
True
Let o = 6 - 3. Suppose 0 = p - 6 - 40. Suppose -5*r = -3*j + j - p, 4*r + o*j = 46. Is r composite?
True
Let v(x) = -x**3 + 5*x**2 + 8*x - 8. Let k be v(6). Suppose 0*f + k = -4*f. Is (1 - -1)/f + 79 a prime number?
False
Let n = 142 + -203. Let o = 30 - n. Is o prime?
False
Suppose -j + 5*a + 18711 = 3*j, 0 = 2*j + 4*a - 9362. Is j composite?
False
Let n(b) = 0*b**3 + 1 + 6*b**3 + b**2 - 2*b - 3*b**2. Let s(f) = 2*f - 4. Let o be s(3). Is n(o) prime?
True
Let d = -12 + 17. Suppose -d*i - 4*k + 392 = -86, 0 = 4*i - k - 374. Is i composite?
True
Let n(b) = -b**3 - 4*b**2 + 3*b + 5. Let d be n(-4). Let g = 10 + d. Suppose 0 = 4*x - g*x - 59. Is x a prime number?
True
Let c = -4 - -84. Let b = c - 40. Suppose 0 = g + 3*g + 16, -4*w - 3*g = -b. Is w a composite number?
False
Let u = 2498 + -1701. Is u composite?
False
Let r(p) = -3*p + 5. Let h(x) = -2*x + 6*x - 2 - 3 - 1. Let g(j) = 6*h(j) + 7*r(j). Is g(4) a prime number?
True
Let l = -3 + 3. Suppose l = 3*w - 3*t + 18, 0*w - 3*t = w - 2. Let v = w - -30. Is v a composite number?
True
Suppose 1045 = 4*x + 2*i - 113, 3*i + 9 = 0. Is x a prime number?
False
Let n(i) = -9*i - 7. Let w(q) = 5*q + 4. Let x(s) = -3*n(s) - 5*w(s). Let y(g) = -g + 12. Let k be y(5). Is x(k) composite?
True
Let w be 2/(-6) + (-7)/(-3). Suppose -3*z = w*g - 45, 5*g + z - 6*z - 100 = 0. Suppose 4*k + g - 65 = 0. Is k a prime number?
True
Let x(j) = 5 - 6 + j**3 + j + 0*j**3 - 5*j**2 + 12. Is x(8) prime?
True
Suppose 4*k - 20 = 0, -4*f + 768 = -0*f + 4*k. Suppose w + 24 - f = 0. Is w a composite number?
False
Let i = 375 + -166. Let b(p) = -p**3 + 2*p + 3. Let q be b(3). Is i/9 - (-4)/q a prime number?
True
Let g(o) = 22*o**2 - 7*o - 10. Is g(-7) a prime number?
True
Let b = 1085 - 655. Suppose -m + b = 4*m. Is m a prime number?
False
Suppose c - 17 = 3*b, 5*c = 2*c + 4*b + 26. Let t be c/(-9) - (-34)/(-9). Is 10*((-10)/t - -1) prime?
False
Let z(q) be the third derivative of -q**5/60 - 5*q**4/12 - 3*q**3/2 - 4*q**2. Is z(-6) prime?
False
Suppose -5*p + 17336 = -4*h + 49323, -3*p + 15977 = 2*h. Is h a prime number?
True
Suppose -5*v + 2142 = -v - g, g - 533 = -v. Is v prime?
False
Suppose -i - 3*g = -1047, -3*i = 4*g - 1606 - 1525. Is i a prime number?
False
Let j(r) = 4*r - 6. Let c be j(4). Let z(s) = 1 + 5*s**2 - 2*s**2 + c*s**2. Is z(1) a composite number?
True
Suppose 0 = 4*q - 4*t - 0*t - 3864, 0 = -5*q - t + 4830. Let v = -519 + q. Is v prime?
False
Let g be (-36)/(-10) - (-2)/5. Suppose -5*f - 2 = -2*p - 7, -2*f = 2*p - 16. Suppose g = -j, -3*t = -t + f*j - 2. Is t a prime number?
True
Suppose 3*z = -2*h - 11, 15 = 4*z + z - 5*h. Let l be (z/(-1))/(-1)*-9. Is 2/l - (-4760)/45 prime?
False
Suppose -10 = -5*l + 4*j + 2, -4*j - 12 = -4*l. Let q(v) = -v**2 - v + 46. Is q(l) a composite number?
True
Suppose 3 = -p + 2, -3*p - 92 = -c. Is c a prime number?
True
Suppose -3*p = -6*p + 15. Suppose -s = 3*n - 89, -p*n + s + 137 = -3*s. Suppose 0 = 3*g - n - 64. Is g a prime number?
True
Let c(p) = p**3 + 3*p**2 - 4*p + 3. Let i be c(3). Suppose -o + i = 2*o. Is o composite?
True
Let n(r) = r + 3. Let d be n(3). Is d/(-3)*106/(-4) prime?
True
Suppose g - 117 = -d, -3*g + 232 = -g + 3*d. Is g a composite number?
True
Suppose 0*f - 3*f = 33. Let h = f + 15. Suppose 0 = -h*j + 2*q + 506, -4*j - q + 128 = -3*j. Is j composite?
False
Suppose -2*i + 4 = -5*l, -3*i - 2*i = -l - 10. Suppose -5*t - 4 = 21, 5*a - 2*t - 665 = l. Is a a prime number?
True
Let n(v) = 306*v**2 - 2*v + 1. Is n(-3) composite?
True
Suppose -3*k + 5210 = 7*k. Is k a composite number?
False
Let f = -611 - -4554. Is f a composite number?
False
Let q(k) = -k**2 - k + 685. Is q(0) composite?
True
Let n be 13 + (0 + -1 - 0). Suppose -3*c + 9 = -0*c + 2*o, -3*o - n = -4*c. Suppose -12 = -3*y, -c*w - 3*y + 40 = -2. Is w a prime number?
False
Let h = 68 + -140. Let d = 191 + h. Is d prime?
False
Let z(o) = -73*o + 11. Let x = -21 - -15. Is z(x) prime?
True
Let m(q) = 38*q**3 + 2*q**2 - 9*q + 11. Let b(j) = -19*j**3 - j**2 + 5*j - 6. Let w(f) = -11*b(f) - 6*m(f). Let p be w(-1). Let o = p - -18. Is o composite?
False
Let b = 13 + -9. Suppose 0*h - w = b*h - 491, -2*h - w = -245. Is h composite?
True
Let m(g) = -19*g + 7. Let r be m(-8). Suppose -40 + r = i. Is i composite?
True
Let v(l) = 3*l**3 - 8*l**2 - 5*l + 9. Is v(6) composite?
True
Suppose 5*j = 3*c + 2 - 17, -4*j - 3*c = 39. Let l(y) = 4*y**2 - 1 + 4*y**2 + y**3 - 2*y - 2*y**2. Is l(j) prime?
True
Let w(f) = -f**2 - 6*f - 6. Let q be w(-4). Suppose 2*k + q*z - 396 = 0, 2*k + 5*z - 787 = -2*k. Is k a composite number?
True
Let c(n) = -n**3 - 6*n**2 + 16*n - 3. Let x(v) = -5*v**3 - 29*v**2 + 81*v - 16. Let h(u) = -11*c(u) + 2*x(u). Let r be h(-10). Let f = r - -108. Is f prime?
False
Suppose 0 = o + 5*d + 26, -2*d = -4*o - 4*d - 14. Let p be (-15)/(-2)*2*o. Let c = p + 21. Is c composite?
True
Is (-2107)/(-2) - (-6)/4 a prime number?
False
Let b(p) be the third derivative of p**6/30 + p**4/12 - p**3/3 + 2*p**2. Is b(2) prime?
False
Let m = 16 + -13. Suppose -m*k = -p + 16, -2*p - 4*k + 40 = -2*k. Is p composite?
False
Is ((-2565)/(-3) + -4)/(-1 - -2) a composite number?
True
Let b(h) = h**2 + 2*h. Suppose 0 = 4*a - 4*v, 0*a = -a - v - 8. Let q be b(a). Is (-170)/(-4)*q/10 composite?
True
Is (5/(-3))/((-8)/2424) a prime number?
False
Let t be 0 - (-2 + -3 + 5). Suppose t = -0*v - v + 3. Is v a prime number?
True
Suppose -1 = -r + 4. Suppose 3*q - 4 = 4*l, -3*q - 3*l = -8*l - r. Suppose q*j = -j + 26. Is j a composite number?
True
Let u(c) = -c**2 + 4*c + 4. Let h be u(4). Suppose -h*m + 324 + 320 = 0. Is m prime?
False
Suppose 0 = x - 27 - 23. Let c = x - 31. Is c prime?
True
Suppose -2*y - 15 = -5*y, -2*n - 2*y = -412. Is n composite?
True
Let c(i) = 37*i + 1. Suppose 4*q = p - 0*q - 20, 4*p - 36 = 5*q. Is c(p) composite?
False
Let l(i) = -22*i**2. Let w be l(1). Let c be 2/(-7) + 82/(-7). Let n = c - w. Is n prime?
False
Let m(s) = -s**3 - 10*s**2 - 9*s + 2. Let z be m(-9). Suppose -z*r + r = 0. Suppose r = -0*h + h - 2*y - 9, 5*h - 45 = -y. Is h a prime number?
False
Let u = -1984 - -3031. Is u prime?
False
Suppose 0 = 2*c - 153 + 35. Is c a composite number?
False
Let p(m) = -m**3 - 5*m**2. Suppose 0 = -3*r - 2*r - 25. Let q be p(r). Suppose q = g - 0*g - v - 11, 0 = -2*v + 8. Is g composite?
True
Suppose 0 = -4*i + 3*y + 16, 0 = -i - i + 3*y + 8. Suppose i*h - 377 = d + 20, h = -2*d + 88. Is (-1)/(h/(-97) + 1) a prime number?
True
Let m = -877 + 1394. Is m prime?
False
Let v(j) = 69*j**3 - j + 4. Let r(c) = 137*c**3 + c**2 - 2*c + 7. Let a(m) = 3*r(m) - 5*v(m). Let g be a(2). Suppose -i = 3*i + 5*b - g, -15 = -5*b. Is i prime?
True
Let h = 119 + 38. Is h a prime number?
True
Suppose 5 = 4*l + a, l + 6 = 5*l + 2*a. Suppose 0 = -b - l + 6. Suppose 4*i - 62 = 5*y, -3*y + 20 = b*i - 3*i. Is i a composite number?
False
Let v(t) = -t**2 - 10*t + 1. Let q be v(-10). Suppose -3*z = z. Is (z - 1)/(q/(-37)) prime?
True
Let g be (-2)/3 + (-40)/(-6). Is (596/g)/(2/3) a composite number?
False
Is 1 - -4 - (-1151 - 3) composite?
True
Let u(i) = -i**3 + i**2 - i. Suppose 3 = -b + 2. Let f(g) = -4*g**3 - 4*g**2 - 4*g + 7. Let a(s) = b*f(s) + 3*u(s). Is a(-6) composite?
False
Let j(d) = 263*d + 42. Is j(3) composite?
True
Let r = -13 - -8. Let m = r + 5. Is 17 + 0 + m + 2 prime?
True
Suppose 1552 = 3*w + 2*k - 449, 4*k - 1326 = -2*w. Is w a composite number?
True
Suppose 80 = -2*z + 554. Is z prime?
False
Suppose -3*r + 2*h = -6, -2*h - 20 = -2*r - 6*h. Let b(z) = -8*z + 6 + 2*z - z**3 + r - 8*z**2. Is b(-7) a prime number?
True
Let x = -2 - -4. Let z be (-2 + 0)/(-2) - -3. Suppose 2*f - 2 = z*v, f + v + 4 = x*f. Is f a prime number?
True
Let d(b) = -3*b**2 + 3*b - 1. Let a(m) = -1. Let z(v) = 3*a(v) - d(v). Let k be z(3). Is 4/k + (-763)/(-4) composite?
False
Let v = 6 - 6. Is 3 - 3 - -37 - v a prime number?
True
Suppose -4*a = -3*l - 11323, -4*a - 4*l = -1416 - 9872. Is a a composite number?
True
Is (-6377)/(-77) - (-2)/11 composite?
False
Suppose -5 = 5*a + 20. Let y = -3 - a. Is 3/(-6) + 51/y a prime number?
False
Let g(r) = -13*r + 3. Let y be (-3 - -7 - 1) + -6. Let c be g(y). Let q