 a prime number?
False
Let b = -6110 - -10391. Is b prime?
False
Let r(k) = 92*k**2 - 2*k - 5. Is r(-2) prime?
True
Suppose 2*i + 6200 - 1326 = 0. Let o = -966 - i. Is o composite?
False
Suppose -2*v = -0*v - 594. Suppose 3*c + v = 1776. Is c prime?
False
Let w(r) = 20*r**2 + 20*r - 149. Is w(-25) a prime number?
False
Suppose 2*r - 2580 = 2*v, 0 = 3*r - 0*r - 5*v - 3880. Is r a composite number?
True
Let s be -8*4/16*4. Let u(z) = -z**2 - 7*z + 11. Let j be u(s). Suppose w + 68 = j*w. Is w prime?
False
Let r be 16/(-56) + (-16)/(-7). Let y(l) = 20*l**2 - 3 - 7*l**r - 5*l - 8*l**2. Is y(5) a prime number?
True
Let g(o) = -9*o**3 - 2*o**2 + o. Let r be g(1). Let x be 10/4*(-328)/r. Let j = x - 48. Is j a composite number?
True
Suppose 10*r = r + 313056. Is (r/80)/((-4)/(-10)) a prime number?
True
Let q(b) = 113*b - 2. Let m be q(3). Suppose -858 = -k - 3*y, 8*y - 4*y = -3*k + 2554. Suppose -a - m = -o, -4*a + 486 = 4*o - k. Is o prime?
False
Let y(r) = 2346*r**2 + 4*r + 1. Let k be y(-1). Let s = -650 + k. Is s a prime number?
True
Suppose -72496 = -d - 3*k, 0 = 2*d + d + 5*k - 217484. Is d a composite number?
False
Is (-2 - (-213)/6)/(10/5020) prime?
False
Suppose 4*v + a = -10 + 27, -22 = -4*v - 2*a. Suppose -5*g - 73 = -3*i, -4*i - 19 = -5*i + v*g. Is i a composite number?
False
Let o(r) = 10*r**3 - 5*r**2 + 2*r + 2. Let p = -7 - -10. Is o(p) a prime number?
True
Let k(n) = 10*n**2 + 32*n + 141. Is k(41) a composite number?
True
Suppose 50965 = 475*y - 470*y. Is y prime?
True
Let z = 1686 - 773. Suppose -11*d - z = -12*d. Is d composite?
True
Let q(c) = -c**3 + 7*c**2 - 7*c + 8. Let b be q(6). Suppose -8*g = -b*g - 222. Is g a prime number?
True
Let c = -48 - -299. Is c composite?
False
Suppose 8*o = 4*o + 12. Suppose o*v - v - 1018 = 0. Suppose v = -4*w + 5*w. Is w composite?
False
Let r(a) = a**3 - 5*a**2 - 2*a - 5. Let b(g) = g**3 - g**2 - 8. Let p be b(0). Let i be (-54)/24*p/3. Is r(i) composite?
False
Let k = -104 - -104. Suppose k = -4*z + 16, 0 = -4*x + 2*z - 0*z + 6620. Is x composite?
False
Let q(w) = -9*w**2 - 858 + 3*w**3 + 21*w - 4*w**3 + 865. Is q(-15) composite?
True
Let a = 24333 - 13360. Is a prime?
True
Suppose -27 = -6*y - 9. Suppose -2*l - y*l = -9600. Suppose -4*u + p + l = 2*p, -5*u = -2*p - 2387. Is u prime?
True
Let t(v) = v + 8. Let r be t(-4). Suppose -4*f = -3*c + 4, -23 = -2*c - r*f - 7. Suppose -468 = -c*u + 1120. Is u a prime number?
True
Let z = -42 - -70. Is ((-2926)/z)/((-2)/4) composite?
True
Suppose 3*d + 4*m - m = 6, -2*m = 5*d - 25. Suppose -d*n + 1271 = -3*n - v, 5 = v. Is n a composite number?
True
Let z(r) = -20*r + 25. Let l(k) = -13*k + 17. Suppose 3*i + 0*i = 24. Let d(f) = i*l(f) - 5*z(f). Is d(-8) prime?
True
Let s(a) = -1047*a + 31. Is s(-4) a composite number?
False
Let i = 1085 - -991. Let b = i + -1207. Is b composite?
True
Suppose -s + 3*s = -5*i + 5363, 4*s = -4. Is i a prime number?
False
Let z = 2795 - 2238. Is z prime?
True
Let t(k) = 2*k**2 - 26*k - 7. Is t(-16) composite?
True
Suppose -33 = -2*g - g. Let o = g + -21. Let p = o - -29. Is p a prime number?
True
Suppose 6*h + 3509 + 22357 = 0. Is 1*h*(-3 - 72/(-27)) prime?
False
Let i(k) = -17*k + 12. Let g(z) = -35*z + 24. Let v(l) = 4*g(l) - 9*i(l). Is v(23) prime?
False
Suppose d - 421 = 293. Suppose -4*r - 2*r = -d. Is r prime?
False
Let u(k) = k**3 + 7*k**2 - 23*k + 20. Let r be u(6). Suppose -4*l + 3560 = 4*j, -6*j + 4471 = -j - 2*l. Suppose -r = -b + j. Is b prime?
False
Suppose 215 = -t + 6*t. Is t a prime number?
True
Let w = -93 - -39. Let t = w - -92. Let y = t + 8. Is y composite?
True
Let l(q) = 7*q**2 - 24*q + 6. Is l(22) a prime number?
False
Let z = -70 - -332. Suppose -2*g - z = -1776. Let r = -386 + g. Is r a prime number?
False
Let t(h) = 60*h**2 - h + 99. Is t(32) composite?
False
Suppose 4*i + 4997 = -5*w + 14853, 5*w - i = 9836. Suppose 0 = h + 3, 3*z + 4*h - h - w = 0. Is z a prime number?
True
Let r(p) = 4*p - 8. Let h be r(2). Suppose -t + 6*t - 565 = h. Is t a composite number?
False
Let z = 79 + 178. Suppose 659 = a - 4*b + 127, 2*a - 4*b - 1044 = 0. Is (-2)/(a/z + -2) a composite number?
False
Let z(x) = -x**3 - x + 8. Let y be z(0). Suppose -4*j = y, -3*p + 33 = 3*j - 27. Is p prime?
False
Suppose 3*u + 26 = -4*f, 0 = -4*u + 5*f - 2*f - 18. Is 1*3/u*97*-14 composite?
True
Let b be 368 - 1*(4 + -2). Suppose -4*a + b = 3*f - a, -2*a = -5*f + 645. Is f a composite number?
False
Is -4 - 84350/(-40) - 1/(-4) prime?
False
Let k = -41 + 23. Is (1 + 1)*(-31923)/k a prime number?
True
Let y(j) = -2*j + 32*j**2 + 42 - j - 34. Is y(5) a composite number?
True
Let u = 121 + 27. Let x be (48/64 + 3/(-4))*-1. Suppose x*h = -4*h + u. Is h composite?
False
Suppose -1 = -b, 3*b + 11 = 4*c - 14. Suppose -2*p = 3*r - c, r + 3*r - 4*p - 16 = 0. Is -1 + (37 - r - 0) prime?
False
Is -1*((-2510)/4)/(9/18) a prime number?
False
Let h be (16/(-10))/(8/(-1280)). Let q = 26 + h. Is (4/(-12))/((-2)/q) prime?
True
Suppose -3*l + 53825 = 22*l. Is l composite?
False
Suppose -6838 = 28*h - 30*h. Is h a prime number?
False
Suppose 0 = 22*r + 17*r - 351663. Is r a prime number?
False
Let b = -32 - -17. Let u be (-5)/(b/6)*1. Suppose 3 = -u*s + 5, -2*a + 255 = s. Is a a composite number?
False
Let m(y) = -644*y + 11. Is m(-3) a composite number?
True
Suppose -75*l = -97*l + 187022. Is l composite?
False
Suppose -d + 3*v = 10, -4*d + 3*d + 2*v = 10. Let y(p) = -19*p + 19. Is y(d) a prime number?
False
Let g(x) = -x - 8. Let s be g(-10). Suppose 0 = -2*n + s*a + a - 19, -n - 12 = -2*a. Is 4/n - -1 - -80 a composite number?
False
Suppose -183*s - 873927 = -192*s. Is s a prime number?
True
Suppose 2*f + 15 = 5*f, -2*w + f = -5787. Let t = -5502 + w. Let i = -1857 - t. Is i a prime number?
False
Let r(c) = -c**3 - 4*c**2 + 7*c - 9. Let a be r(-7). Suppose 1336 = 4*v - 5*s, -a = 2*v - 2*s - 755. Is v composite?
True
Let r(z) = -z**2 - 11*z - 7. Let n be r(-10). Suppose -n*f + 3 = -198. Is f prime?
True
Suppose -5*n = 3*w - 68042, 0 = 5*w - 2*n + 71320 - 184713. Is w prime?
True
Let u(t) = t. Let n(j) = 5*j - 9. Let k(b) = n(b) + 3*u(b). Suppose 52 - 16 = 3*h. Is k(h) a composite number?
True
Let x(j) be the second derivative of j**6/45 - j**5/8 + j**4/3 + 3*j**3/2 - 6*j. Let d(r) be the second derivative of x(r). Is d(9) a prime number?
True
Let y(o) = -3*o**3 - 9*o**2 - 2*o + 62. Is y(-13) a prime number?
False
Suppose -3*q + 15815 = -5086. Suppose -x = 464 - q. Is x a prime number?
False
Suppose 5*y = -2*f + 7 + 16, 2 = 3*f + y. Is -5 - (-388)/16 - f/(-4) a prime number?
True
Suppose -2*j = -y - 26, -4*y - 110 = -2*j - 0*j. Let d = y - -30. Is -767*(d - 1)/(-1) a composite number?
True
Let m(y) be the first derivative of y**7/840 + y**6/60 - y**5/20 - y**4/24 - 4*y**3/3 - 3. Let q(g) be the third derivative of m(g). Is q(-6) a prime number?
False
Let v(f) = -2*f**3 - 29*f**2 - 5*f - 13. Let c(i) = i**3 + 14*i**2 + 3*i + 6. Let g(s) = 7*c(s) + 3*v(s). Is g(-10) composite?
False
Let k(b) = -b**3 + 3*b**2 - 31. Is k(-8) prime?
True
Suppose 2*m + 10919 = 3*s, 0 = 5*s - 3*m - 21561 + 3362. Is s a prime number?
False
Let f(h) be the second derivative of 29*h**4/12 + 5*h**3/6 + 6*h**2 + h. Let g be f(5). Suppose 0 = -5*l + g - 127. Is l prime?
True
Is (-6)/(-4)*37090/15 a prime number?
True
Let b(i) = 90*i - 1. Suppose 3*u = t + 5, u = -4*t + 6*u - 13. Let c(q) = -271*q + 3. Let d(w) = t*c(w) - 7*b(w). Is d(-2) prime?
False
Let y(q) = q**2 - 10*q + 7. Let x be y(10). Let a(s) = -16*s + 32. Let g be a(-15). Suppose -x*m + g = -141. Is m a prime number?
True
Suppose 7*l = 9*l + 2. Let s(r) = -128*r**3 - 2*r**2 + 1. Is s(l) composite?
False
Suppose 0 = 2*k + 13*k - 116295. Is k a composite number?
False
Let f(o) = 2029*o**3 + 2*o**2 + 16*o - 29. Is f(2) composite?
True
Suppose -3*c + 4300 = c. Suppose -5*i - c = -10*i. Is i a prime number?
False
Suppose 403 + 2534 = 3*y. Is y prime?
False
Suppose -b + 5*b = 5200. Let a(r) = 9*r**3 - 5*r**2 - 23*r + 2. Let p be a(5). Let o = b - p. Is o prime?
False
Let s(c) = 111*c**2 + 4*c - 35. Is s(4) composite?
True
Let i be (-2 - -6)*(-1)/(-4). Is (-491)/(-1)*(5 - 4)/i a prime number?
True
Suppose -4*z - 60 = -9*z. Suppose 0 = -3*g - 4*x + z, -5*g + 2*x + 12 = -2*g. Is 1/(16575/4143 - g) a prime number?
True
Suppose