v/(-4)) a prime number?
True
Suppose -3*a + 162 = 3*i, 2*i - 103 - 4 = -a. Is i prime?
True
Let f be 5/3*(2 - -1). Suppose -f*x - 3*h + 301 = 0, 0 = -2*x - 3*h - 2*h + 128. Is x prime?
True
Let l(p) = 26*p**2 - p - 17. Is l(8) composite?
True
Suppose -12 = -3*j - 0. Suppose -n + 1672 = j*v + 19, 0 = n + v - 1653. Is n/21 - 2/(-7) a composite number?
False
Suppose 3*c - 6*c = 5*w + 37, 5*c + 30 = -2*w. Let z(h) = -h**2 - h**3 + h**2 - 3*h**2 + 5. Is z(c) prime?
False
Let y be (-7)/14*6*-1. Suppose y*r - 55 - 194 = 0. Is r a prime number?
True
Let f = -59 - -280. Is f a composite number?
True
Let g(a) = -74*a - 3. Is g(-4) a prime number?
True
Let i(p) be the third derivative of 0*p**4 + 0*p + 0 + 2/3*p**3 + 1/60*p**5 + 2*p**2. Is i(-7) prime?
True
Let m(t) = 65*t**2 + 3*t. Is m(-2) prime?
False
Let h be 1 + 1/((-2)/(-10)). Let w = h - 6. Suppose 2*a - 155 - 87 = w. Is a prime?
False
Let h = -6 - -4. Is (-10)/5 - (-97 + h) composite?
False
Suppose 5*d - 30 = 7*u - 3*u, -u + 5 = 5*d. Suppose 2*s = -d*o + 168, -2*s + 3*o + 64 = -s. Is s a composite number?
False
Let z(s) = s - 7. Let n be z(6). Let w be (n/1 + 1)/2. Let b(q) = -q**2 + q + 47. Is b(w) a prime number?
True
Let m = 349 - 56. Is m a composite number?
False
Suppose -3*l + 103 - 34 = 0. Suppose k + 5 - 25 = -q, 0 = -q + 2*k + l. Is q composite?
True
Let f(i) = i**2 + 9*i - 8. Let u be f(-10). Let z be 3/4*-2*u. Is (1 + 6)/((-1)/z) a prime number?
False
Let i(d) = -d**2 - 7*d + 4. Let h be i(-7). Suppose l = -l, 0 = 5*x - h*l - 725. Is x composite?
True
Let b be -1*(-6 - (-2 + -1)). Let q(u) = 15*u**2 - 2. Is q(b) composite?
True
Let l = -346 - -128. Let s = 41 - l. Is s composite?
True
Let j = 406 - 240. Is j a prime number?
False
Suppose 0 = 2*l - l + 56. Is 2 + -1 - (l - -2) a prime number?
False
Let u(v) = -10*v**3 - v**2 - v - 1. Is u(-2) a prime number?
False
Suppose -c + 5 = -3. Let f(p) = 5*p**2 - 13*p**2 + 11 + p**3 - 2 + 6*p. Is f(c) composite?
True
Is 0 + 4 + 1 + 5074 a prime number?
False
Suppose -5*t = -13 - 2. Suppose -4*m + 2*b + 1 = -t, -m + 2*b = -7. Let g(i) = -36*i**3 + i**2 - i - 1. Is g(m) a prime number?
True
Let w(d) = d + 16. Let a be w(-8). Let r = a - 4. Suppose 0 = 3*m + 5*z - z - 311, r*z + 77 = m. Is m a composite number?
False
Let g be (5 - 3) + 1 + -1. Let x(t) = 29*t**2 - 1. Is x(g) a prime number?
False
Let z(b) = 7*b - 2. Suppose -q + 2*u = -2*u + 13, 0 = -4*q + u + 8. Is z(q) prime?
True
Suppose -z + 4*j = 42, 3*z + 114 - 28 = 4*j. Let c = 36 + z. Is c prime?
False
Is 44/198 - 2282/(-18) a prime number?
True
Let g = 1 - -2. Suppose 96 - 3 = g*d. Is d prime?
True
Suppose 4*y - 5*f = -y, 0 = -3*y + 4*f + 4. Is 2*1*(-66)/y a prime number?
False
Let m = 134 - 93. Let q = 80 - m. Is q prime?
False
Let q be (-2)/4*(-3 + 3). Suppose 2*b - 131 - 47 = q. Is b composite?
False
Is 2108/10 - (-2)/10 composite?
False
Suppose -4*a - 5 = 4*q + 3, 0 = -4*a + 3*q - 8. Let f(j) = 14*j**2 - 2*j - 1. Is f(a) a prime number?
True
Let w = 231 + -41. Is (w/(-4))/((-3)/6) a composite number?
True
Let o be ((-6)/12)/((-2)/4). Let c(t) = 9*t**2 + 2*t. Let u(a) = 90*a**2 + 21*a. Let f(q) = 21*c(q) - 2*u(q). Is f(o) composite?
True
Let u be ((-16)/20)/((-2)/35). Suppose 3*n = -9, 5*f - 4*n + 2*n + u = 0. Let b(z) = -19*z + 1. Is b(f) prime?
False
Let s(u) = -7*u**3 - 7*u**2 + 2*u + 15. Is s(-7) a prime number?
False
Let k(c) = 4*c**2 + 11*c + 1. Is k(-9) a prime number?
False
Let i be 3/(3/1) - -3. Let o(g) = -g**3 + 6*g**2 + g + 1. Is o(i) prime?
True
Let v(d) = 77*d - 5. Let y(k) = 153*k - 10. Let l(r) = 11*v(r) - 6*y(r). Is l(-4) a prime number?
False
Suppose 0 = 65*s - 61*s - 1012. Is s a composite number?
True
Let s = -2 + 3. Suppose z - 5*l = s, z - l + 34 = -z. Is (-1 - 5)*z/2 a composite number?
True
Let v = -491 + 834. Let j = v - 194. Is j a prime number?
True
Let a(z) = 2*z**2 + 7*z - 4. Let u be a(7). Is (-5 - -3)*u/(-2) composite?
True
Let b = 59 + 38. Is b a prime number?
True
Is 330 - (-1 - (-6 + 4)) a composite number?
True
Let k(u) = 183*u + 19. Is k(4) a prime number?
True
Suppose 3*k = 6 - 0. Suppose k*t + 3 = 1. Is t/(-2) - 45/(-2) composite?
False
Suppose -9*d + 2405 = -2122. Is d a prime number?
True
Let l = 8 + -17. Let i be (-2)/l - (-2480)/18. Suppose i = v + 19. Is v a composite number?
True
Suppose 0*x - 90 = -3*x. Suppose -4*s = 3*f - 2*f - 57, 2*f = -2*s + x. Is s prime?
False
Let p be (12/(-10))/((-2)/5). Let w = 7 - p. Suppose g - 5*x = 129, -480 = -w*g + 2*x - 0*x. Is g a prime number?
False
Suppose 0 = -m - 5 + 2. Let n(s) = 2*s**2 + 3*s + 2. Let t(p) = p**2 + 1. Let w(r) = n(r) + 2*t(r). Is w(m) a prime number?
True
Suppose l = 5*i - 14, l + 16 = -3*l. Suppose -i*u - 79 = -333. Is u composite?
False
Let k be (3 + -4 + 0)*3. Is 6/(-9) - 101/k a prime number?
False
Is (-35)/10*-1104 - -3 a prime number?
False
Let r = -29 - -50. Is r a prime number?
False
Let k = 64 + 62. Suppose -2*t - t = 4*q - 161, -2*t + 2*q = -k. Is t a composite number?
False
Let p = 16 + -84. Let a = -15 - p. Is a a composite number?
False
Let q(x) = x**3 + x + 5. Let m be q(0). Suppose v + m*g = 152, -158 = -v - g + 2*g. Is v composite?
False
Let p(k) = k**2 - 9*k - 2. Let u be p(9). Let x = 0 + u. Is (-1)/1 + 50 - x a prime number?
False
Let v = 132 + -78. Let k be v/24 - 2/8. Suppose k*y - 82 = 28. Is y prime?
False
Suppose 0 = 5*g - 297 + 37. Suppose 3*s + s + g = 0. Let w = -2 - s. Is w composite?
False
Suppose 2*k - 114 = -3*b + 5*k, -3*b - 5*k = -90. Suppose -91 = -2*c + 29. Let y = c - b. Is y prime?
False
Let n(k) = 4*k + 9. Is n(11) composite?
False
Suppose 4*u + 569 = 3*q - 206, -4*q + 1075 = 3*u. Is q prime?
False
Suppose 8*a + 8864 = 3*x + 3*a, -5*x - 4*a = -14761. Is x a composite number?
False
Let f be 4/22 + 20/11. Suppose 0 = f*h + 8. Let b = h + 6. Is b prime?
True
Let o(v) = 45*v**2 - 3*v - 1. Is o(-2) a prime number?
False
Is 2/(-8) - (-2292)/16 prime?
False
Suppose -5*m = g - 455, -57 = 2*m - 3*g - 256. Is m + -2*1 + 1 a prime number?
False
Suppose -2*v = -p - 4, -2*p - 8 = 3*v - 8*v. Suppose v = 2*f - 3*s + 4*s - 27, -5*f + 2*s + 81 = 0. Is f composite?
True
Suppose -18*x + 16*x = -1556. Is x prime?
False
Let h = 732 - 155. Is h a prime number?
True
Let t(h) = 3*h**2 + 8*h - 4. Let a be t(-6). Let b = a - 8. Let k = 127 - b. Is k composite?
False
Let q = 866 + -513. Is q a composite number?
False
Let l(s) = 6*s**2 + 2*s + 1. Let v be l(-1). Suppose 5*u = -v*c + 25, -3*u + 27 = -4*c + c. Is u a prime number?
True
Suppose -3*o - 15 = -8*o. Let d(r) = 22*r - 2. Let p be d(o). Let b = -15 + p. Is b composite?
True
Suppose -1761 = -3*l - 4*i, 0*i - 4*i - 2935 = -5*l. Is l prime?
True
Suppose 12661 = 13*k - 2*k. Is k prime?
True
Suppose l - 37 = -4*z, 127 = 5*l + 5*z + 17. Let b = l - 7. Let t = b - 4. Is t composite?
True
Let w = -16 + 26. Let j = -7 + w. Suppose -j*m + 26 = -79. Is m prime?
False
Is (-5)/(-10) + 218/4 a prime number?
False
Suppose -u - 3*o + o + 4 = 0, -o + 2 = -u. Let b be u + ((-2934)/(-3))/3. Is 4/(-14) + b/14 prime?
True
Is 30119/7 - -2*(-3)/(-21) a composite number?
True
Suppose 0 = -0*h + 3*h + 6. Is 2*((-33)/h - -1) prime?
False
Let t(f) = f**2 + 3*f + 1. Let y be t(-1). Is -1*(y + -2 - 4) a composite number?
False
Suppose 9*c - 801 = 6*c. Is c composite?
True
Let x = -2 - -129. Is x a composite number?
False
Let s = -1048 - -2429. Is s a prime number?
True
Suppose 2*l - 5*q = -20, -4*l - 2*q - 18 = -q. Let k be (-391)/l - 2/10. Suppose -g - g = -k. Is g prime?
False
Suppose i + 3*i - 12 = 0. Suppose 5*w = -102 - i. Let v = 44 + w. Is v a prime number?
True
Let v = 16 + -13. Suppose 2*j - 1085 = -v*j. Is j a composite number?
True
Let o be (-24)/10 - 4/(-10). Let c = o + 5. Suppose v = 2*j + 6, c*v + 3*j - 9 = 9. Is v composite?
True
Is 1*6/(24/580) composite?
True
Suppose 4*t + 20 - 80 = 0. Is t composite?
True
Let m(f) = -103*f**2 - 9*f - 2. Let u(h) = -51*h**2 - 5*h - 1. Let o(y) = -4*m(y) + 7*u(y). Is o(2) a prime number?
True
Let x be -4*(-31)/(-3)*-6. Suppose -2*i + 2*n + x = 0, -2*n + 6*n = 12. Is i a prime number?
True
Let b be 3*4/(-30)*5. Is b/5 + (-217)/(-5) a composite number?
False
Let o(t) = 258 - 129 - 19*t - 127 + 2*t. Let q(x) = -2*x + 9. Let m be q(6). Is o(m) a composite number?
False
Suppose 0 = -27*y + 19*y + 