Is m/(-2) - 1/2 prime?
False
Suppose -8043 = -3*c - 2196. Is c composite?
False
Suppose 3 = 2*u - 5. Is -4 + ((-492)/(-3))/u prime?
True
Let v(w) = -w - 2. Let r be v(-4). Let l = 118 - 118. Suppose 3*a + 5*m - 1565 = l, -1018 = -r*a + 2*m + m. Is a prime?
False
Let i be 756/35*(62 - 2). Let o = 921 - i. Let a = -164 - o. Is a a composite number?
False
Let p = -22 - 125. Let i = p + 634. Is i prime?
True
Let f = 2924 - -2057. Is f composite?
True
Let v(m) = -22*m**3 - 18*m**2 - m + 44. Is v(-15) a prime number?
False
Let b = 1056 - 675. Is b a prime number?
False
Let x be 112/(-20)*(3 - 0 - 163). Suppose 5*t = -x + 10761. Is t prime?
True
Let d(k) = -k**3 - 2*k**2 + k + 1. Let i be d(-3). Let g = i + -2. Suppose 0 = 3*o + 2*o + 2*p - 393, -g*o - 3*p = -397. Is o prime?
False
Let r(y) = -253*y + 1. Let w be r(-1). Let u be w/(-4) - (-2)/4. Is (-619)/(-9) + (-14)/u a composite number?
True
Let q = -5668 + 11587. Is q composite?
True
Let k = 8821 - 6174. Is k composite?
False
Suppose 0 = c + 3*l + 208 - 767, 5*l = 5*c - 2855. Let m = c + 1533. Is m composite?
True
Let h(k) = k**2 + 9*k + 8. Let z be h(-7). Let i(w) = -w**3 - 2*w**2 - 3*w - 3. Is i(z) a prime number?
False
Is (-14786)/4*(-1 + -1) a prime number?
True
Let l(b) = 5*b**2 + 9. Let m(i) = i**2 + 11*i - 4. Let f be m(-11). Is l(f) a prime number?
True
Let n be -25 - (0 - 1)*2. Let k = n + 29. Suppose -3*l + 493 = 4*m - k*m, 660 = 4*l - 4*m. Is l a composite number?
False
Let g be -3 + (-4 - (-6)/(-2)). Is (-9226)/g - (-12)/30 composite?
True
Let t be (-855)/(-65) - 2/13. Let a = -12 + t. Let o(j) = 184*j**3 + j. Is o(a) prime?
False
Let p(i) = 19*i**3 - i**2 - 2*i - 1. Let g be p(-1). Let z = g + 17. Is 1*((256 - 3) + z) prime?
True
Let a(h) = 4698*h**3 + 2*h**2 - 3*h + 2. Is a(1) a prime number?
False
Suppose 0*w - 8 = -4*w. Suppose -w*m = -0*m - 3530. Is m composite?
True
Let h be (-8 + -4)/(0 + -1). Let q be 69/h - (-3)/12. Suppose 0 = 5*a - 5, -3*p + q*a - 2*a = -1253. Is p a composite number?
False
Suppose 2*p - 6 = -p. Let r(v) = p*v**2 - 4*v**2 - v**3 + 4*v**2 + 5*v - 5. Is r(-5) composite?
True
Suppose 333 = 8*l - 9*l. Is 10/25 + (-2)/(10/l) a composite number?
False
Let b be 22/33*(-21)/2. Let q(w) = 2*w**2 - 4*w + 8. Is q(b) prime?
False
Suppose 3*t - 8 = 7*t. Is (794/4)/(t/(-4)) a composite number?
False
Let u(i) = -4 + 3 - 19*i**2 - 29*i**2 - i + 244*i**2. Is u(-2) prime?
False
Suppose 116*k - 118*k + 10666 = 0. Is k prime?
True
Suppose 0 = -4*c - y + 18332, 3*y - 9166 = -2*c + 6*y. Is c prime?
True
Let b be (15/6)/((-1)/(-2)). Suppose 3*z + 15 = 0, k = b*k - 3*z - 2683. Is k composite?
True
Let g = 7837 - -5662. Is g prime?
True
Let z be 18/(-12)*8/(-6). Suppose 4*x - 3*x = z. Is 3/(6/x)*89 prime?
True
Let b(t) = 5*t**2 + 15*t - 19. Let j = -28 - -11. Is b(j) composite?
False
Suppose -2*a + 3*m - 9 = 0, -5*m = 3*a - 2*a - 15. Suppose 0*b + b = a. Suppose p = -4*s + 231, 3*p + s = -b*p + 671. Is p a composite number?
False
Suppose -3139 = -u - x + 419, 0 = x - 1. Is u composite?
False
Suppose -4*y = 2*x - 2074 - 11200, -4*x - 9972 = -3*y. Let u = 4917 - y. Is u a prime number?
True
Let d(r) = 2*r**2 + 22*r. Let b be d(-11). Suppose b = -2*u + 3 + 3, 2*u = -o + 9. Is o a prime number?
True
Suppose 0 = -0*c + 12*c - 48. Suppose c*o - 9403 = -687. Is o a composite number?
False
Let q(h) = 2*h**3 - 7*h**2 + 2*h + 2. Let i be q(7). Suppose -911 = -2*k + i. Is k composite?
True
Let n be (-14)/(-8)*(0 + -4). Let o = n + 10. Is o - 0/2 - -19 a composite number?
True
Is -3 + (-6)/(30/(-325)) prime?
False
Let j = -5119 - -824. Is -4*(j/12)/((-11)/(-33)) a composite number?
True
Let f = 21 + -18. Suppose -8751 = x - f*p, -3*p = 3*x + 2*p + 26197. Is (x/(-27))/((-1)/(-3)) composite?
False
Let a = -2238 - -10621. Suppose -2300 = 7*r - a. Is r a prime number?
False
Let d = 530 - 855. Let z = d + 474. Is z composite?
False
Is 0/(20/4) - (4 - 73725) a prime number?
True
Let m(f) be the first derivative of 35*f**4/4 + 4*f**3/3 + 6*f**2 + 5. Let l be m(5). Suppose l = 2*c + 3*c. Is c a composite number?
False
Suppose l = 2*l + 5, -3*l = -2*n + 3945. Let h = n - 1378. Is h a prime number?
True
Suppose 15*i - 14*i = 10603. Is i a composite number?
True
Is 10/(-2) - -8915 - 7 prime?
False
Suppose -t + 7 + 11 = 0. Let i(l) = l**3 - 14*l**2 - 56*l + 7. Is i(t) prime?
False
Let u be ((-16)/14)/(24/(-84)). Suppose -8 = u*d + 24. Let b(q) = q**3 + 8*q**2 - 10*q + 11. Is b(d) prime?
False
Let p(o) = -o**2 + 6*o. Let t be p(3). Let u(f) = -8*f + 2 - t*f**2 + f**3 - 9 - 2. Is u(11) a prime number?
False
Suppose 0*p + 5 = -5*p. Is p/((-5)/1685*1) prime?
True
Let s = 22 + -19. Suppose -s*j = -1295 + 221. Suppose -7*r + j = -3*r - 5*v, 5*v = -3*r + 251. Is r prime?
False
Let p = 30 + -16. Let c be (-41)/(-13) - p/91. Suppose 4*m = 4*s - 388, -c*s + 4*m = -s - 198. Is s a prime number?
False
Is (29/(-3))/((-51580)/5730 - -9) composite?
True
Suppose 4*r - 20 = 2*c, 0*c = -r + 3*c + 10. Is 20/r - -76 - -4 prime?
False
Suppose 3*o = 2*o - 2. Is o/4*2 - -684 a composite number?
False
Let w(b) = 1730*b - 3. Is w(1) prime?
False
Let m(k) = -k**2 - 15*k + 20. Let x be m(-17). Let i be (4/x)/((-2)/(-14)). Is (-6)/i + 3910/17 prime?
True
Let g be (-110)/33*18/(-10). Suppose 514 = -4*x + g*x. Is x composite?
False
Let j be (-9)/(-1)*1/3. Is j*(10/3 + 3) a prime number?
True
Suppose -438 - 454 = -4*a. Is a a prime number?
True
Let u(o) = o**2 - o - 83. Let v be u(0). Let x = -16 - v. Is x prime?
True
Suppose 4*x - 17 = 3. Suppose -k = -v + 122, 0*v + 5*v - 600 = -x*k. Let l = v - 24. Is l composite?
False
Suppose 0 = p - 0*p + 10. Is 267/(-2)*p/15 a prime number?
True
Let m(t) = 10*t + 1 + 2*t**3 - 2 - 9 + 0*t**3 - 15*t**2. Is m(13) prime?
True
Suppose 3*u = 2*u + 3. Suppose 5*s - u*s + 166 = 0. Is -1 - s - (1 + -2) a prime number?
True
Suppose 2*v = 269 + 331. Let d = v - 109. Is d a prime number?
True
Let k = 74 + -69. Is (20/6)/k + 5822/6 a composite number?
False
Let p be 0/1*1/3. Suppose 0 = -2*k + 4*k - 10, -3*u + 2*k + 5 = p. Suppose u*y - 3*b = 4*y + 70, 4*b + 130 = 2*y. Is y a composite number?
True
Suppose 0 = y + 5*y - 6228. Suppose 2*q - n - y = 0, 5*q + n - 2581 = -0*n. Is q prime?
False
Let m = -5 - -9. Suppose 13 = -m*q - 11. Is (q/(-2))/((-12)/(-724)) composite?
False
Suppose -111819 = 20*t - 23*t. Is t prime?
True
Suppose -5 = 2*d + 13. Let a be 36/(((-108)/304)/d). Is (a - 2/2)/1 a prime number?
True
Let g(r) = -64*r + 1. Let a = -66 - -56. Is g(a) a prime number?
True
Suppose -14 = 4*f + 10. Let x be (6/10)/(f/90). Is 4 - (x - (-6)/(-3)) prime?
False
Suppose -2*i + 9 = -5*y, -5 = 2*y - 2*i + 1. Let p be (-285)/y - (0 - 1). Let z = -101 + p. Is z prime?
False
Suppose 5*t - 4*x - 18031 = 0, x + 3*x = t - 3603. Is t composite?
False
Is 180732/21 + (-6)/21 - -3 composite?
False
Let a be (-4)/46 + 52949/299. Suppose -77 = -3*b + w + a, 0 = 3*w + 15. Is b a prime number?
True
Suppose 0 = t + 8 - 38. Is 3*(638/t + (-10)/(-25)) prime?
False
Suppose -885 = 10*k - 2375. Is k prime?
True
Suppose 3*n - 9 = -0*n. Suppose -5*j + s + 4839 = 0, -4*s + 2107 = n*j - 778. Is j prime?
True
Let r(y) = -39*y - 4. Suppose 3*b + 8 = -b. Let q be r(b). Suppose 3*h - 5*h = -q. Is h a prime number?
True
Suppose -b - 3*a = -4*a + 437, -2*a = 5*b + 2199. Let y(l) = -l**3 - 17*l**2 + 4. Let m be y(-13). Let q = b - m. Is q composite?
False
Suppose 5*h - 103142 = -8*h. Is h composite?
True
Let h = 14 - 5. Suppose 3*g - h = 9. Suppose -3*r - g = -5*r. Is r a composite number?
False
Let m(o) be the second derivative of o**5/10 - o**4 + 5*o**3/3 + 7*o**2/2 + 5*o. Is m(6) composite?
False
Let m = -6 + 6. Let o(i) = i**2 + 223. Is o(m) prime?
True
Let m(x) = 2*x**2 - 11*x + 6. Suppose -2*f + 3*f - 11 = 0. Is m(f) a composite number?
False
Let j(d) = 35247*d + 4. Is j(3) prime?
False
Let f(t) = 1 - 2*t - 8*t**2 + t - t**2 - 2*t - 2*t**3. Is f(-6) composite?
False
Let c(z) = 51*z**3 - 23*z**2 - 20*z + 20. Let g(b) = -17*b**3 + 8*b**2 + 7*b - 7. Let u(p) = 6*c(p) + 17*g(p). Is u(2) prime?
True
Let p = -2 + -2. Is 0 - -1174*p/(-8) a composite number?
False
Suppose 13*t - 11*t = -2*n + 2310, -1143 = -t - 4*n. Is t a prime number?
False
Let l = 4957 + 940. Is l prime?
True
Let y = 11 + -6. Let v(i) = 12*i**2 - i - 3. Let r be v(5). Is 