posite?
False
Suppose 7*w = 12*w - 2045. Is w prime?
True
Suppose -3*u + 10*u = 8393. Is u prime?
False
Suppose q = -0*q. Suppose -3*a - 2*a + 25 = q, -365 = -5*h + 4*a. Is h a prime number?
False
Let t(y) = -y**3 + 8*y**2 - 2*y - 4. Let n(d) = 2*d**3 - 15*d**2 + 4*d + 8. Let g(i) = -3*n(i) - 5*t(i). Let x be g(5). Is (2 - 2) + (0 - x) a prime number?
False
Suppose 4*l + 8*w - 4573 = 11*w, -3*l = -2*w - 3429. Is l a prime number?
False
Suppose -9 = 2*l - 5*l. Let x be (l/6)/((-1)/12). Let o(k) = -3*k**3 - 8*k**2 - 2*k + 1. Is o(x) composite?
False
Suppose 2 = 2*f - 4. Suppose 2*r + 72 = f*p - r, 5*r = -2*p + 62. Is p a prime number?
False
Is (-1*(3 - -56))/(-1) a prime number?
True
Suppose -2*k = -o + 596 - 53, -5*k = -25. Is o a composite number?
True
Suppose -597 - 1440 = -3*q + 3*z, -4*q + z + 2716 = 0. Is q a prime number?
False
Let h(j) be the second derivative of -5*j**3/3 + 2*j**2 - j. Let i(x) = x + 1. Let f(g) = -h(g) + 5*i(g). Is f(2) prime?
True
Suppose -2*q + 165 = 3*q. Is q a prime number?
False
Suppose 6*j - 13*j = -1337. Is j composite?
False
Suppose 4*m - 3 = 9. Suppose -2*c = 5*i - 7*c - 1070, m*i - 636 = c. Is i a composite number?
False
Suppose -n = 4*n + 2*q + 36, -3*q = -n + 3. Let h(p) = -51*p - 7. Is h(n) a prime number?
False
Suppose 4*a - 5*v = -12 - 13, 4*v = -3*a - 42. Let s(c) = -13*c - 3. Is s(a) composite?
False
Suppose -5*q - 4*y = -4*q - 201, -3*q + 4*y = -651. Is q composite?
True
Suppose 2*d = -4*w + 3*d - 18, -5*d = 5*w + 35. Let k(l) = 13*l - 7. Let g(c) = 13*c - 8. Let h(x) = 3*g(x) - 4*k(x). Is h(w) a prime number?
False
Let k be 21/9 - 3/9. Suppose -a + k*a + 6 = 0. Is 474/4 - 3/a prime?
False
Suppose 5*h = 3*h. Suppose h*b = b - 143. Is b prime?
False
Suppose -b = -2*a - 8, 2*b + 5*a - 4 = -15. Suppose -4*c + 269 = 3*n, -n + 54 = -b*c - 19. Is n a composite number?
False
Let z(r) = -5*r - 1. Let k be z(-1). Suppose -k*a + a = 6. Let h = a + 9. Is h composite?
False
Let g(p) = 10*p**3 - p**2 + p - 1. Let t be g(1). Suppose -7 = -2*n - z, 2*z + z - t = 0. Suppose -14 = -n*w + 16. Is w a prime number?
False
Let b = 55 + -38. Suppose 2*f + b = 3*f. Let x = f - -4. Is x composite?
True
Let p = -2 + 4. Is p/(-2)*(-309)/3 composite?
False
Let a(m) = 136*m + 22. Is a(15) prime?
False
Let t = -184 - -332. Suppose i - 5*i = -t. Is i a composite number?
False
Suppose -4*f + 15 = f. Suppose 2*i = f*i - 21. Is i a prime number?
False
Let m(k) = 61*k**3 + 2*k - 1. Let u be m(1). Suppose 99 = 2*s + 5*o, s + 2*o + 3*o - u = 0. Is s a prime number?
True
Let h = 25 + -18. Suppose 2*k - h*k - 35 = 0. Let c(j) = j**2 + 5*j + 1. Is c(k) composite?
True
Let v = -14662 - -24819. Is v a prime number?
False
Suppose 0 = -0*n - 4*n + 820. Is n composite?
True
Let l be 2 + -2 + 0 - -74. Let w = l - 39. Is w prime?
False
Let v = 1336 - 647. Is v composite?
True
Suppose n - o = -6*o + 5, -2*n + 3*o = -10. Is 7*n + (-4 - -4) composite?
True
Let k(a) = a**3 + 8*a**2 - 2*a - 12. Let s be k(-8). Let v = 15 - s. Is v prime?
True
Is 18718/(-21)*((-9)/6 - 0) composite?
True
Is (1 + 0)/(5/485) prime?
True
Let z(b) = 200*b**2 + 2*b - 2. Let v be z(1). Suppose -5*f + 17 = -2*x + v, 5*x = 5*f + 420. Is x a prime number?
True
Let q = -1 - -3. Suppose -3*d + q + 4 = 0. Suppose -2*a + 170 = -4*r, 3*a - r + d*r - 290 = 0. Is a a prime number?
False
Suppose -2*a = -4*q - 474, 8*q = 5*a + 4*q - 1215. Is a composite?
True
Is ((-2)/(-2))/((-3)/(-3852)*6) a prime number?
False
Suppose 5*c - 253 = -2*v, 0 = -5*v - 2*c + 3*c + 673. Is v a prime number?
False
Let u = 5098 + -3501. Is u prime?
True
Suppose -2*f - 2 = -4, -3*h + 559 = 4*f. Is h prime?
False
Let y be 1/(-2)*(-1040)/8. Let t = y + -10. Is t composite?
True
Suppose 0*f = f. Let h be ((-973)/(-28)*(-7 - -3))/(-1). Suppose -z = -f*z - h. Is z composite?
False
Let g(u) = -u**3 - 6*u**2 + 7*u - 2. Let m be g(-7). Let x(z) = -8*z**3 + 2*z**2 - 2*z - 3. Let t be x(m). Suppose -t = -p - 15. Is p a composite number?
True
Suppose 134 - 365 = -3*u. Let j be (15 - 2)*-1*3. Let m = u + j. Is m a prime number?
False
Let y = 9 - 9. Suppose -5*u - 2*c = -177, 0 = -2*u + 5*c - y*c + 94. Is u a composite number?
False
Let t be (-6)/3 + (1 - -1). Suppose 3*m = -3*y - t*y, -4*m + 30 = -2*y. Let w(d) = 2*d**2 + 5. Is w(m) a composite number?
True
Let r = -6 + 8. Suppose -r*o + 60 = -118. Is o a prime number?
True
Suppose -4*s = 3*k - 16, 5*k + 6 = -5*s + 31. Is k/18 - 1425/(-27) composite?
False
Suppose -2*z - 11 = -5*z - x, 2*x = 10. Suppose -30 = -7*h + z*h. Let p(m) = -m**3 + 7*m**2 + 9*m - 3. Is p(h) a prime number?
False
Let l = 1408 - 2418. Is 6/39 + l/(-26) composite?
True
Let w = 7 + -4. Let b be 3 - (w + -2) - 2. Is 1 + (b - (-2 - 7)) a prime number?
False
Let h(o) = -2*o**3 + 11*o**2 - 25*o + 14. Let j(a) = a**3 - 5*a**2 + 13*a - 7. Let v(p) = 3*h(p) + 5*j(p). Let k = 6 + 0. Is v(k) composite?
False
Let f(r) = 9*r**2 - 13*r + 1. Let b(k) = -5*k**2 + 7*k. Let h(l) = -11*b(l) - 6*f(l). Let n be h(-5). Let g = n + -8. Is g a prime number?
False
Let a = 972 - 485. Is a prime?
True
Let j = -15 + 11. Let u = 7 + j. Suppose 0*k + 195 = u*k. Is k prime?
False
Suppose -x + 4 = -2. Is (318/(-4))/((-3)/x) a composite number?
True
Let o(h) = h**2 - 2*h + 2. Let u be o(2). Suppose 3*q = -u*q. Let c = q + 21. Is c a prime number?
False
Let g(a) = -a**3 + 4*a**2 + 3*a + 1. Let x be 224/24 - (-2)/(-6). Let l = 7 - x. Is g(l) composite?
False
Suppose 3*m - 134 = -29. Suppose -v + 2*v - m = 0. Is v composite?
True
Let v(q) = 2*q + 4. Let o(m) be the third derivative of m**4/24 + 3*m**3/2 + 2*m**2. Let h be o(0). Is v(h) a prime number?
False
Let s = 512 + -334. Is s composite?
True
Suppose 18*c = 19*c - 613. Is c prime?
True
Let k = 9 - 4. Suppose 6*t + 469 = 5*a + 2*t, -174 = -2*a + k*t. Is a a composite number?
False
Let i be -3*((-19492)/(-6) - 0). Let o be i/(-12) - 1/6. Suppose -w = 3*w - o. Is w composite?
True
Let v(i) = -3*i - 3*i**2 + 0*i**3 - 4*i**3 + 5*i**3. Let n = 14 + -9. Is v(n) prime?
False
Suppose 0*u + 2*u - 142 = 0. Is u composite?
False
Suppose 4*g = -2*f - 1 - 1, 5*g + 22 = 4*f. Suppose 0 = f*w + 260 - 1139. Is w a composite number?
False
Let v(c) = c**3 - 4*c**2 - 4*c - 2. Let k be v(5). Let a(r) = r**3 + 11*r**2 - 13*r - 10. Let g be a(-12). Suppose k*j - 30 = -g*j. Is j prime?
False
Let p(u) = -2*u + 0*u - 4 - u. Let q be p(-3). Suppose 0*n + 3*n + 6 = 0, q*v - 183 = 4*n. Is v prime?
False
Let n(z) be the third derivative of 5/3*z**3 + 3*z**2 + 0*z**4 + 1/60*z**5 + 0*z + 0. Is n(0) a composite number?
True
Suppose 107 = 9*b - 1576. Is b composite?
True
Let w(y) = 2*y + 2*y**2 - y**2 + 11 - 4*y. Is w(8) a prime number?
True
Suppose c - h + 4*h + 6 = 0, -4*c = 4*h. Suppose -14 - 4 = -c*m. Is 188/m - 1/3 a composite number?
False
Is (-2964)/(-9) - 2/6 prime?
False
Let w = -10 - -13. Suppose w*r = -294 + 837. Is r prime?
True
Suppose 2595 = 5*v + 5*g, 4*v + 5*g - 2*g - 2080 = 0. Is v a prime number?
True
Suppose 3*l - 5189 = m - 6*m, 5*l + 5*m - 8655 = 0. Is l prime?
True
Let n be (-6*3)/(5 - 7). Let s = 20 - n. Is s composite?
False
Let z = 728 + -357. Is z a composite number?
True
Suppose 4*f - 18 - 14 = 0. Suppose f*g = 3*g + 185. Is g a prime number?
True
Suppose -5*w + d + 20 = 0, -2*d - 5 = -2*w + 3. Suppose -w*c + 72 + 196 = 0. Suppose 5*u = 5*k - 255, c = 2*k - k + 3*u. Is k composite?
True
Let w = -43 - -780. Is w prime?
False
Suppose 2*u - 18 = u. Suppose -u*q = -13*q - 195. Is q prime?
False
Suppose -4*f - 4*a + 739 = -f, 4*f - 992 = -4*a. Is f prime?
False
Let f(d) = 5*d**2 + 6*d - 13. Is f(5) prime?
False
Let u be 0 - 633/(3/(-1)). Suppose -2*c = -7*c. Suppose t - u = -c*t. Is t a composite number?
False
Is 211 + 3 + -1 + -2 composite?
False
Let o = -7 - -11. Let j(k) = 2*k**2. Let t be j(o). Let w = -22 + t. Is w prime?
False
Suppose 0 = 2*s - 60. Let t(g) = -55*g**3 + 1 - s*g**3 + 3*g**2 - 4*g**2. Is t(-1) composite?
True
Let d(m) = 3*m**3 - m**2 + 10*m + 9. Is d(8) a composite number?
True
Suppose -3*z + 8*z = -10, -4*n + 4850 = z. Suppose -n - 367 = -5*f + 5*o, -f - o + 318 = 0. Is f a prime number?
True
Suppose 2*o - 4*o - 124 = 0. Is o/((-2 + 3)*-2) a prime number?
True
Let v(g) = 3*g**2 - 7*g + 1. Is v(-4) prime?
False
Let k = -12 + 16. Suppose -k*g - 33 = -7*g. Is g a prime nu