pose 5*o = 47 + a. Is o a prime number?
False
Let x = 19 - 19. Suppose x = q + 100 - 23. Is (-2 + 1)*1*q a composite number?
True
Let y(z) = 140*z - 9. Suppose -2*o + 5*o - x = 17, -5*o + 4*x + 40 = 0. Suppose -o*v = -2*v - 10. Is y(v) a prime number?
True
Let o(x) = 92*x**2 + 6*x + 15. Is o(-5) a prime number?
False
Let u = 34 - 30. Suppose 2 = t - u*v, -5*t = -0*t - 3*v - 61. Is t prime?
False
Let f(c) be the first derivative of -2437*c**4/4 - c**3/3 - c**2/2 + 11. Is f(-1) composite?
False
Suppose f = -4*k - 16, k = -4*f + 6*k + 41. Suppose -801 + 3133 = f*y. Is y a prime number?
False
Let f(w) = -50*w + 21 + 29 - 612*w - 15. Is f(-6) a composite number?
False
Let x(w) be the third derivative of 8*w**5/3 - w**4/8 + 13*w**3/6 - 15*w**2 - 2. Is x(-6) prime?
True
Let g(j) = 17*j**2 + 19*j - 1. Is g(-17) a composite number?
True
Let n(m) = 217*m**2 - 11*m + 57. Is n(10) a composite number?
False
Suppose -12179 + 1055 = -9*w. Let p = -645 + w. Is p a prime number?
False
Suppose -4*y - 91*y = -3301535. Is y composite?
True
Let x(u) = 478*u**2 + 11*u - 32. Is x(3) composite?
True
Let y be (-9)/(-15) - (-20364)/(-15). Let s = -658 - y. Is s prime?
False
Let y(r) = 11*r**2 + 8*r - 27. Let b be y(9). Suppose 5*l - 6 - 9 = 0. Suppose 0 = l*k - b - 15. Is k a composite number?
False
Suppose -4*l = -5*l + 236. Suppose -2*b + 6*b = l. Is b a composite number?
False
Let c(t) = -2 - 7*t**3 + 0*t - 8*t**2 + 4*t**3 + 3 - 5*t. Let n(z) = z**2 - 5*z - 2. Let p be n(4). Is c(p) a prime number?
False
Suppose 2*u - 2*z = 3*z - 21, -20 = -4*z. Let a(v) = 0*v**2 - v**2 + 2*v**2 - 8*v + 2*v**u - 1. Is a(8) a composite number?
False
Suppose -2 = -c - 1. Suppose -d - a = -c, -3*d - a + 21 = -4*a. Suppose -f + 161 = d*o - 42, -2*f = -5*o - 406. Is f prime?
False
Suppose -6*r + 9 = -3*r. Suppose 250 + 629 = r*k. Is k prime?
True
Let c(w) = 2*w**2 + w + 12731. Is c(0) a composite number?
True
Is (((-88878)/(-4))/1)/((-90)/(-60)) composite?
False
Suppose y - 6 = 2*r + 2, 32 = 4*y + 5*r. Suppose y*q + 1563 = 11*q. Is q prime?
True
Let u(q) = -8*q + 222. Let z be u(0). Let i = z + 451. Is i a composite number?
False
Let r = -2913 - -6958. Is r a prime number?
False
Suppose -13*t + 9*t + 80 = 0. Suppose z + t = 6*z. Suppose 3*c + z*s = 649, 832 = 5*c - c - 3*s. Is c a composite number?
False
Let s(m) be the third derivative of m**8/20160 - m**7/840 - m**6/240 + m**5/15 - 4*m**2. Let l(a) be the third derivative of s(a). Is l(-6) a prime number?
False
Let n(a) = -a**2 - a. Suppose m = -4*k - 9, -m - k + 5 = -4*k. Let f be n(m). Suppose 5*v + 717 = 2*x, f = -4*x - 3*v + 901 + 468. Is x a prime number?
False
Suppose 2 = -g, 3*g + 14 = 5*v + 6*g. Suppose -2 = -2*q, -v*q = z + 983 + 2911. Is z/(-6) - 24/36 a composite number?
True
Suppose -36 = -6*r - 0*r. Suppose -4*f - 254 = -r*f. Is f a composite number?
False
Let r be 36/((4/34)/(-5 - -7)). Let y = r + -203. Is y composite?
False
Suppose 20 = 4*r - 0*r. Suppose -6*k + 2 = -r*k. Suppose -k*w = 109 - 399. Is w a prime number?
False
Let p(c) be the second derivative of c**5/30 - c**4/8 - c**3/2 - 3*c**2/2 + c. Let q(s) be the first derivative of p(s). Is q(-5) prime?
False
Let w(g) = -39*g**2 + 21*g - 1. Let p(r) = -38*r**2 + 21*r. Let v(y) = -6*p(y) + 5*w(y). Is v(-7) a prime number?
True
Let p be 6*(-4)/8 - 20. Let x = -23 - p. Suppose 5*v - 1101 - 234 = x. Is v composite?
True
Let b(g) = -17361*g**3 - 2*g**2 - 3*g - 1. Let x be b(-1). Suppose 7*p - 4640 = x. Is p a composite number?
True
Let v be (-1 - (-6596)/12) + (-4)/6. Suppose k + 5*g - v = 0, -2077 = -4*k + 3*g - 0*g. Is k a composite number?
False
Let w(r) = -9*r**2 + 21*r - 78. Let f(m) = 4*m**2 - 11*m + 39. Let a(i) = 5*f(i) + 2*w(i). Is a(-18) prime?
False
Let l be 1154/2*-1*3. Let m be (-4)/(-10)*(-30)/2. Is (l/m)/((-2)/(-4)) a composite number?
False
Let o be 189 + 1*(1 - 1). Let s(k) = k**3 + 6*k**2 - 3*k - 4. Let t be s(-7). Let z = o + t. Is z composite?
False
Let v be 5/(-2 + (-5 - -8)). Suppose -t + 5754 = 5*s, 4*t + v*s = 13523 + 9568. Is t a composite number?
False
Suppose 0 = v + 4*v + 280. Let n be (-3656)/v - 2/7. Is (-39)/n + (-3148)/(-5) a prime number?
False
Let x(f) = 2105*f**2 + f - 3. Is x(2) composite?
False
Suppose -r - 1566 = -4*r. Suppose 3*w = 2334 - r. Let v = -95 + w. Is v a prime number?
True
Suppose -3*a - 2*s + 23111 = 2056, 0 = -2*a - 3*s + 14040. Is a/9 - ((-33)/(-9) + -3) composite?
True
Let f = 9262 + -5273. Is f a prime number?
True
Let k = 16420 - -8151. Is k prime?
True
Let y = 8 + -3. Suppose u = 3*j + 1746, 4*u - 2447 = y*j + 470. Let t = -244 - j. Is t a prime number?
True
Let f = 5287 + -2187. Suppose 7*y - 813 = f. Is y a prime number?
False
Let t(s) = 1964*s**2 + 4*s - 5. Is t(4) a composite number?
True
Let s(w) be the second derivative of -w**3 + w**2/2 - 2*w. Is s(-2) a composite number?
False
Let u be 15/(-15) + (-2 - 0). Is 81/2 - u/(-2) a prime number?
False
Let f(d) = -800*d + 11. Is f(-12) composite?
True
Let u(d) = -1026*d - 62. Is u(-8) composite?
True
Let d(s) = 191*s**2 - 2*s - 38. Is d(-5) composite?
True
Let y(h) = -19 - 23*h + 24*h + 6*h**2 + 0 - 2*h**2. Is y(-6) a prime number?
False
Let h = 2 - -9. Suppose -h*o + 12 = -7*o. Suppose 475 = o*b + 2*b - c, 5*c = 5*b - 495. Is b a prime number?
False
Suppose 534 = 4*x + 158. Suppose -5*l - x + 279 = 0. Is l a composite number?
False
Let b(f) = 5*f - 10. Let c be b(4). Let p = -4 + c. Suppose p*m = 11*m - 95. Is m composite?
False
Let m be 24496/6 + 4/12. Suppose 9*v - m = 6*v. Is v prime?
True
Suppose 2*w = 3 + 1. Suppose 2278 = 4*k + 2*z, k + z = w*k - 574. Is k a prime number?
True
Let h be -4 + 457/(-4 + 5). Suppose -3*c - 16 + 487 = -2*a, -a + 152 = c. Let l = h - c. Is l a prime number?
False
Let r(j) = -j + 6 - 32*j - 11 + 3. Is r(-1) composite?
False
Let g(d) = -1880*d + 207. Is g(-2) prime?
True
Suppose 4*c - 9 = x, 5*c - x + 20 = -6*x. Is c/(-3) + 1 + (-25132)/(-12) a prime number?
False
Let k = 3 + 0. Let a be k*(-326)/(-18)*3. Suppose 0*d + a = d. Is d composite?
False
Suppose -217556 - 117854 = -10*l. Is l prime?
False
Suppose -5*t + 12553 = 4*w, 0 = -4*w - t - 4528 + 17077. Is w a prime number?
True
Suppose -3*p = -4*j + 10, p + p = 3*j - 8. Suppose 0 = j*c - 418 - 586. Is c a composite number?
False
Let r be (-8522)/(-12) + (-2)/12. Suppose 0 = 3*i - 2 - 7. Suppose 5*p = i*p + r. Is p a composite number?
True
Suppose 2*o + 50 = -5*d + 988, -4*o = -5*d + 914. Suppose 4*c - 274 = d. Is c a composite number?
True
Let p(s) = 247*s - 5. Suppose -5*t + 2*g + 2*g = 51, 0 = 2*t + 3*g + 2. Let k(v) = -123*v + 2. Let z(x) = t*k(x) - 3*p(x). Is z(1) prime?
False
Suppose g - 3*c = 8812, 40*g - c + 35209 = 44*g. Is g composite?
False
Let k(q) be the third derivative of -3*q**4/8 - q**3/3 - 17*q**2. Is k(-9) a prime number?
True
Let q(a) = a - 1. Let s be q(2). Let p be 1417 + 3/1*s. Suppose p = 5*m - m. Is m a prime number?
False
Suppose 4*v + 4*c = 0, -4*c - 12 = -2*v - 0. Suppose -3*m - v*j = 2*m - 6, -3*j + 9 = -m. Suppose m = -r + 4*r - 1563. Is r a composite number?
False
Let j(d) = -5426*d**3 - 2*d**2 - d. Let m be j(-1). Suppose -m = -11*y + 6*y. Suppose 0 = 13*v - 8*v - y. Is v a prime number?
False
Suppose -3*m + 2*y = -86439, -2*m = -3*m + 2*y + 28817. Is m prime?
False
Suppose -60849 = -73*g + 64*g. Is g composite?
False
Let a(f) = 389*f - 7. Let b(m) = -388*m + 6. Let w(k) = -5*a(k) - 6*b(k). Is w(1) prime?
False
Suppose -76*p + 219220 + 133800 = 0. Is p a prime number?
False
Suppose 0 = -3*j + 5*y + 24, 4*y = -5*j - y + 40. Is 9*173 - (4 - j) composite?
True
Suppose 13*h + 502 = 1633. Let o = -506 - -727. Let j = o - h. Is j a prime number?
False
Let y(h) = -2*h - 20. Let s be y(-16). Let v be 2/(1*2/s). Let j(i) = i**3 - 3*i**2 - 13*i + 11. Is j(v) composite?
False
Let f = -37817 - -77140. Is f a prime number?
True
Let x = 40620 - 43. Is x prime?
True
Let w(c) = -76*c + 13. Suppose -2*x + 20 = -5*u, -2*u - 2 = -x + 6. Is w(u) composite?
False
Let n be (14/21)/(3/2430). Is 15/6*(n + -2) composite?
True
Suppose 0 = 5*c - 25 - 5. Let v be (-2)/(-3) - 484/c. Let h = 201 + v. Is h a prime number?
False
Let f be 1112/(-4)*18/12. Let g = -178 - f. Is g a composite number?
False
Suppose 2 = 2*s, w - 3*s = 547 + 115. Suppose 22*x - 9*x = 13026. Let i = 