e?
False
Let x(y) = y**3 + 4*y**2 - 2*y. Let i be x(-4). Is 5940/16 + (-2)/i a composite number?
True
Let t(h) = 8073*h + 21. Is t(4) a composite number?
True
Suppose f - 5*k = 2*f - 17796, 0 = 3*f - 4*k - 53293. Is f a prime number?
False
Suppose -f - 292 = 3*f. Let s = f + -137. Let d = 371 + s. Is d prime?
False
Suppose -47*f = 5*w - 46*f - 36070, -2*w = 5*f - 14428. Is w prime?
False
Let t(x) = -x**3 - 4*x**2 + 6*x + 7. Let b be t(-5). Suppose 0 = -d + b*d. Suppose 2*z - 62 = -d*z. Is z a composite number?
False
Suppose -156 = -5*b + 89. Suppose b = p - 202. Is p a prime number?
True
Let j(d) = d + 0*d - 7*d + 64*d**2 - 2*d**2 - 1. Is j(4) prime?
True
Let t be 32/(-48) - 22/(-6). Suppose -437 = -2*v - 5*n, 0 = 2*v + t*v - 5*n - 1040. Is v a prime number?
True
Let z = 1570 - -77. Let t = -298 + z. Is t a composite number?
True
Let q(u) = u**3 - 33*u**2 + 46*u - 57. Is q(37) a composite number?
False
Let g = -81 + 63. Let q = 1 - g. Is q prime?
True
Suppose 76123 = 8*k - 15069. Is k prime?
True
Let z(i) = 2*i**3 - 9*i**2 - 10 - 5*i**2 - 3*i**3 - 17*i + 3*i. Let o be z(-13). Suppose 4*m = -0*m - 2*f + 136, -o*m + 91 = -4*f. Is m prime?
False
Let k(r) = -16*r**3 - 5*r**2 - 15*r + 15. Is k(-7) prime?
False
Let f(j) = 3*j + 91. Let g(a) be the first derivative of -7*a**2/2 - 182*a - 5. Let p(b) = 5*f(b) + 2*g(b). Is p(0) a composite number?
True
Suppose 0*w + 5*g - 10 = 2*w, 3*w + 5*g = -15. Let y(u) = u**2 + 4*u - 6. Let r be y(w). Let f(k) = 211*k**2 + k + 1. Is f(r) a composite number?
False
Let t be -6*(0 - 1) + -2. Let y(k) be the second derivative of 11*k**3/2 + k**2 - 12*k + 5. Is y(t) a composite number?
True
Let t(m) = -m**3 - m**2 + m. Let q be t(-1). Let d be q/3 - (-8068)/12. Suppose d = 4*v - 68. Is v prime?
False
Let n(p) = -63*p + 2. Suppose 5*f + 14 = 4*f. Let q = f + 11. Is n(q) a composite number?
False
Suppose -2*z + 14 - 6 = 0. Let a be (-2)/5 - 21/(-15). Is ((-12)/z)/a + 358 a prime number?
False
Is 371*(-5 + 3)/(3 - 5) composite?
True
Let b(o) = -o**3 + 17*o**2 - 24*o + 33. Is b(10) composite?
True
Suppose v = -6*q + 8*q - 47326, v = 0. Is q composite?
False
Let d(k) = -2*k + 42. Let y be d(18). Is 68/y*(-222)/(-4) a composite number?
True
Let d be 688 + (-3 - (-2 - 3)). Is (d/(-9))/((-4)/6) a prime number?
False
Suppose 764 = 22*g - 18*g. Is g a prime number?
True
Let v(k) = 95*k**2 - 18*k - 1. Is v(-4) a prime number?
False
Let q = 6635 - -6594. Is q a composite number?
False
Is ((-32)/12)/(-8) + 25960/6 composite?
False
Let a(c) = 13*c - 3. Let v be a(6). Let u be 0 + 23 - (0 + 1). Suppose u + v = q. Is q a prime number?
True
Let j(a) = -a**3 - 6*a**2 - 7*a - 5. Let h be j(-5). Suppose h*m = 2*m + 333. Suppose 2*v = 3*v - m. Is v a prime number?
False
Let v(z) = -11*z**2 - 30*z**3 - z - 13*z**2 + 0 + 3 + 21*z**2. Is v(-2) prime?
True
Let z(d) = 49*d - 30. Let u be z(17). Let f = -546 + u. Is f a composite number?
False
Let z(y) = -2*y**2 + 8*y - 1. Let h be z(4). Let r be (0/h)/4 - 3. Is (r + 1)/(2/(-113)) composite?
False
Suppose -9*y = -13*y + 71972. Is y a composite number?
True
Suppose 0 = -x - 2, 0 = -3*d - 0*d - 3*x + 21. Is (1 + -402)/((-3)/d) a prime number?
False
Suppose 0*z = -4*k - z + 17, -5*k = 5*z - 10. Suppose k*w = -5*f, 5*w + 0 = -f - 8. Suppose 2*n + 178 = 2*r + n, -f*r + 162 = 3*n. Is r prime?
False
Let s be 3/((-12)/4*1/(-113)). Suppose 0 = 5*b - 10, -3*y - 4*b - s = -376. Is y a prime number?
False
Let p = -1542 - -3227. Suppose -2*k + p = 3*x, 3*x + 3*k - 1673 = 4*k. Is x a prime number?
False
Let u(p) = -3*p**3 + 176*p**2 - 2*p - 73. Is u(54) a composite number?
True
Let c(o) be the third derivative of 13*o**4/12 - 29*o**3/6 - 4*o**2. Is c(14) a prime number?
False
Let u = -59129 + 92574. Is u prime?
False
Let h(s) = s**3 + 24*s**2 - 25*s + 2. Let i be h(-25). Suppose 0 = i*n - 2389 - 733. Is n composite?
True
Suppose 5*d - 572 - 845 = -2*g, -d + 297 = -3*g. Suppose d = 4*u - 1811. Suppose b + 3*b = u. Is b prime?
True
Is ((-34)/(-23))/(-17) + 1068446/46 composite?
False
Let d = 13 + -11. Let a(p) = -d + 2 + 2*p - 3*p + 76*p**2. Is a(-1) prime?
False
Let n = 684 - 675. Let u(i) be the first derivative of 35*i**2/2 - 16*i - 1. Is u(n) prime?
False
Let l = 81 + -95. Is 0 + (-7)/l + 6602/4 composite?
True
Suppose -3*y - 3*q = -5*q + 670, 4*y + 912 = -2*q. Let m = -67 - y. Let o = -76 + m. Is o prime?
True
Suppose 55 = 4*k + 7*k. Suppose 0*m + 5400 = 2*m - k*a, 10812 = 4*m - 4*a. Is m a composite number?
True
Suppose -4*m + 9290 = -2*z, -2315 = -m + 20*z - 22*z. Is m a composite number?
True
Suppose -4*s - 4*u + 176036 = 0, -10951 = 3*s + u - 142978. Is s prime?
False
Let y(b) = 65*b**2 - 20. Let f be y(5). Suppose -5*w = -10*w + f. Is w composite?
True
Let f(z) = 30*z**2 + z + 4. Suppose -2*y = -3*i - 9, 0*i + y = -5*i - 28. Is f(i) composite?
True
Let s be (-6)/(-10) - 3202/(-5). Suppose -s = -6*p + 5*p. Is p a prime number?
True
Suppose -3*w - 4*l + 238 = -323, w + 4*l = 179. Is w a composite number?
False
Let r = 8 - 3. Suppose -v + 2826 = 2*i, -r*v + 0*v - 2*i + 14130 = 0. Suppose -5*x = x - v. Is x prime?
False
Let q be 54*((-8)/20 - (-14)/10). Let d = q - -1781. Is d a composite number?
True
Suppose 2*a - 19129 = 3*y, 6*y + 2 = 8*y. Is a a prime number?
False
Let m = 0 - 3. Let t = -1 - m. Is (5 + -3)/(t/123) composite?
True
Suppose 0 = 5*u - 30 - 780. Let z = u + 85. Is z prime?
False
Suppose 5*u - u = q - 13, u + 2*q = -1. Let x(r) = -r**3 - r. Let z(l) = -3*l**3 - 4*l**2 - 3*l + 1. Let v(n) = x(n) + z(n). Is v(u) a composite number?
True
Is (7 - 7251)/((-6)/3) prime?
False
Let m be 2/(-4)*(12/(-6) - 8). Suppose 0 = -m*t + 533 + 902. Is t a prime number?
False
Let r(u) = u**3 + 7*u**2 - 2*u + 3. Suppose 0 = 4*h - 2*h - 3*x - 50, 102 = 5*h + 4*x. Suppose -3 = -2*a + 3*p, -h = 4*p - 2. Is r(a) composite?
True
Let v = 1182 + 1021. Is v a prime number?
True
Suppose 4*p + 54 = -2*p. Let k(z) = -15*z - 13. Is k(p) a prime number?
False
Is (-19)/(76/(-23724)) + -8 a prime number?
True
Suppose r - 2338 + 815 = 0. Is r a composite number?
False
Suppose 3*s = 4*h + s + 18, 5*s + 30 = -5*h. Is (-1)/((-118330)/23665 - h) a prime number?
True
Suppose -59 + 197 = -3*n - 3*c, 0 = -3*n + 2*c - 133. Let f be n/(-6)*6/(-9). Is f*(-1 - 9 - 3) a composite number?
True
Let t be (-1 - 1165)*(-15)/10. Suppose -x + 5*x = -f + t, 0 = x + 2. Is f prime?
False
Let n(t) = 94*t**2 - 12*t - 1. Let z(y) = 3*y + 9. Let o be z(-5). Is n(o) a composite number?
True
Suppose c + 2*k = -4*c + 30, -3*k = 2*c - 12. Let m be (10/15)/((-2)/c). Is (m + 0)*465/(-10) prime?
False
Let t be ((-6)/4)/(6/(-3732)). Let z = -20 + t. Is z a prime number?
False
Suppose 18 = 21*k - 24*k. Let y(w) = -6*w + 10. Is y(k) prime?
False
Suppose -15*i = -18*i + 6. Suppose -3*m - 5*h = -3*h - 753, -2*m = i*h - 500. Is m prime?
False
Let c = -26 + 26. Suppose c = -3*h - h + 740. Is h a prime number?
False
Suppose 10*a - 5*t = 8*a + 4358, 5*a - 5*t = 10895. Is a composite?
False
Let u(d) = 66*d + 28. Let j = -54 + 63. Is u(j) prime?
False
Is 11/33 - (3 + 132315/(-9)) a prime number?
True
Suppose -x - 182 + 661 = 0. Suppose -3*m - 244 = -4*m + 5*a, -x = -2*m + a. Is m a composite number?
False
Suppose -2*q + 312 = -5*f - 677, f + 211 = -4*q. Let d = 400 - f. Suppose -n + i + d = 3*n, 0 = 3*n - 4*i - 459. Is n a prime number?
True
Suppose -j + 5 = 2. Suppose -j*l = -l - 1382. Is l a composite number?
False
Is -3735*2/(-12)*2 - -2 composite?
True
Let l be 10/(-55) + 31/(-11). Let q(r) = 18*r**2 + 4*r + 7. Is q(l) a composite number?
False
Let q(s) = -749*s**3 + s**2 - 10*s - 25. Is q(-2) prime?
False
Let w(m) be the third derivative of m**6/120 + m**5/10 - m**4/24 - m**3/6 + 4*m**2. Let a be w(-6). Suppose -984 = -2*z + a*y - 302, 4*z + y = 1320. Is z prime?
True
Suppose 4*p - q - 64 = -5*q, 4*q + 64 = 4*p. Suppose -p = -4*j + 204. Is j prime?
False
Suppose 4*b - 12 = -44. Let v = b - -315. Is v prime?
True
Let y = -13 + 21. Suppose 0 = -4*k + y*k - 1636. Is k composite?
False
Suppose 19*v - 17*v - 1730 = 0. Is v a prime number?
False
Let v(x) = -x**3 - 9*x**2 - 42*x + 23. Let n(l) = -4*l + 3. Let s be n(6). Is v(s) composite?
False
Let i = -11123 - -20916. Is i a composite number?
True
Let j = 452 - 285. Suppose j = 2*v - 51. Is v a prime number?
True
S