 Is o(-22) a composite number?
True
Let v = -27 - 3. Let g = v - -30. Suppose g = q + 5, -2*p - 2*p + q = -585. Is p composite?
True
Suppose 4*m - 26 = -k, -3*k = 5*m - 17 - 19. Let c(o) = 3*o - 7. Let n be c(3). Is (652/m)/(n/3) a composite number?
False
Suppose -5*q + h = -7712, 2*q + 5*h = 3131 - 30. Is q a prime number?
True
Is 16/(-40)*-5 + 3807 composite?
True
Suppose -5*f + 5*x = -6*f + 807, -2*x = -f + 807. Is f a composite number?
True
Let g(b) = 5*b + 9. Let u be g(1). Suppose u*o + 1541 = 6147. Is o prime?
False
Suppose z - i - i - 2716 = 0, 3*i = -5*z + 13645. Let h = z + -739. Is h a prime number?
True
Suppose 0 = -4*y + 2 + 46. Is (-2 + -594)*(-3)/y composite?
False
Suppose 4*x + 10 + 10 = 3*q, -x = 5. Suppose q = -5*g + 826 + 339. Is g a composite number?
False
Let o(k) = k**2 + 3*k - 10. Let f be o(-5). Let p(t) = t**3 + t + 6. Let u be p(f). Suppose u*w - 2*w = 196. Is w a prime number?
False
Let w = -338 - -859. Is w composite?
False
Let m(u) = 8*u**2 - 8*u - 2. Let f be m(11). Let s = f - 284. Let n = 857 - s. Is n composite?
False
Suppose 0 = 7*r - 5*r + 772. Suppose 59 = -3*c + o + 2277, 0 = 3*c + 2*o - 2233. Let z = c + r. Is z prime?
False
Is (-2 + -4 - 19792)*1/(-2) a composite number?
True
Let f be 0/(-1 - 0/(-1)). Suppose f = -5*a - 4 + 9. Is a + 352/(4 - 0) a prime number?
True
Let h(u) = -u**3 + 2*u**2 + 4*u + 9. Is h(-4) a prime number?
True
Let a = -35519 - -63616. Is a a prime number?
True
Let n = 37 - 39. Is n/(-15)*6387 + (-3)/5 a prime number?
False
Let u be -2 + 5 + 1 + -2. Suppose -7124 = -u*o - 2*o. Is o a prime number?
False
Let n be 1940/(15/18 - 2/(-12)). Is (7/4)/((-5)/n)*-1 a prime number?
False
Let c(y) = 2*y**3 - 2*y**2 + 6*y + 5. Let l = 7 - 26. Let v = l + 25. Is c(v) prime?
True
Suppose 4*g - 2 - 26 = 0. Suppose 3*r = g*r - 1172. Is r a composite number?
False
Suppose -122*b + 26086 = -120*b. Is b a prime number?
True
Suppose 21*v - 165250 = 258971. Is v a composite number?
False
Let i = 1130 + 1135. Suppose -n - 9070 = -4*w - 0*n, -w - n + i = 0. Is w a composite number?
False
Let c(i) be the third derivative of 0*i - 6*i**2 + 11/24*i**4 + 0 + 1/6*i**3 - 1/60*i**5. Is c(8) composite?
True
Let p(i) be the first derivative of i**6/72 - i**5/15 - i**4/24 - 4*i**3/3 + 4. Let h(w) be the third derivative of p(w). Is h(10) prime?
True
Let m = 0 - -5. Let f(v) = 78*v - 3. Let h(a) = 77*a - 3. Let r(p) = 3*f(p) - 2*h(p). Is r(m) a prime number?
True
Let a(f) = -4*f + 13650. Suppose 4 = -2*o + 4*c, -c - 5 = 3*o - 6*c. Let u be a(o). Is u/45 + (-2)/6 composite?
True
Suppose z - g - 9 = 0, -g + 4 = -2*z + 21. Suppose 50 = 2*o + z. Suppose -l + o = 2*l. Is l composite?
False
Let n(g) = 91*g**2 - 126*g - 1. Is n(-34) prime?
False
Let u be 51/(-34)*2084/3. Let a = -599 - u. Is a prime?
True
Let l = 24 - 15. Let z(p) = l*p + 13*p - 3*p. Is z(5) prime?
False
Suppose 1 = 4*p + g - 6, p + g = -2. Suppose 5*y - p*c = 3170, -3*y + 1913 = -7*c + 3*c. Is y prime?
True
Let x(r) = -401*r + 137. Is x(-4) a prime number?
True
Let v = 21 - 42. Let l be (-4)/(-14) + (-99)/v. Suppose -3*h = -5*c + 337, l*h = -2*c + 122 - 12. Is c a composite number?
True
Let v = -315 + 181. Suppose 3*j - 4*i = 11, 6*j - 2*j - 6 = i. Is v*j*(9 - 10) a prime number?
False
Is (704/2 + (-6)/4)*2 a prime number?
True
Suppose 3*c - t - 12 = 9, 2*t + 6 = 0. Suppose g = 5*a - c, 4 = -3*a + 2*g + 2. Suppose -i + 6*i - 1258 = -u, a*i = u + 499. Is i a composite number?
False
Suppose -9 = 6*g - 387. Let r = 80 + g. Is r a prime number?
False
Is (-138)/4*1*(-1 - 1) composite?
True
Let b be (-4)/6 - 40/(-15). Suppose -8*r + 2910 = b*r. Is r prime?
False
Suppose 3*c = -8*y + 3*y + 11659, 0 = -2*y - 5*c + 4656. Is y composite?
False
Let w(b) = 4 - 5 - 44*b + 425*b + 4. Let u be w(6). Suppose -4*x = -u + 341. Is x a prime number?
True
Let u(o) = 5*o - 13. Let h be u(4). Suppose h*k = 13*k - 522. Is k composite?
True
Let o be (-2 - (-1902)/(-3)) + -2. Is 9/2*o/(-33) a prime number?
False
Suppose -34*i + 3383414 = 84*i. Is i composite?
True
Suppose 0 = -0*b + 2*b - 5*o - 19, 0 = b - 5*o - 17. Let i be (-4)/b - 1 - -170. Suppose -3*x + n = -0*n - i, -45 = -x - 5*n. Is x a prime number?
False
Suppose 5258 = 453*a - 451*a. Is a a composite number?
True
Is (-90732)/(-30)*15/6 a prime number?
True
Let v be 2598/(-1)*133/(-21). Is v/26 - 2/(-13) a prime number?
False
Let p be ((-6)/12)/(3/(-52278)). Suppose 4*o + p = s + 3152, -2*s + o = -11157. Is s composite?
False
Let x be 3/((-27)/(-38)) + (-28)/126. Suppose 0 = x*i + b - 3286, -4*i = -9*i + b + 4103. Is i prime?
True
Suppose 5*a = -3*x + 5*x + 7, 3*a = 9. Suppose 10 = 5*b, x*b + 599 + 96 = u. Is u a prime number?
False
Suppose 1227 = 3*i + 354. Suppose 0 = -2*z - 4*x + 788, -2 - 2 = -2*x. Let g = i + z. Is g composite?
True
Suppose -85*h + 2967 = -82*h. Is h a prime number?
False
Suppose 0 = 9*u - 8*u - 1535. Suppose -3*j + 12 = 4*c + 3, 0 = c + 3*j. Suppose 0 = c*q + 2*q - u. Is q a composite number?
False
Let m(v) = 171*v**2 - 3. Let i be m(-3). Suppose -5*w + 5*p + 5263 = p, -3*w + 4*p = -3161. Let y = i - w. Is y prime?
False
Let v = 636 + 233. Is v composite?
True
Let x(t) = -t**3 + 9*t**2 - 19. Let p be x(9). Let q(g) = -g**3 - 14*g**2 + 7*g - 1. Is q(p) a composite number?
True
Suppose 0 = 4*z + 46 - 2. Let d(r) = -r**3 + 6*r**2 + 20*r + 10. Is d(z) prime?
True
Let l(t) = t**3 - 10*t**2 + 19*t - 11. Let f be l(17). Let h = f - 1380. Is h a prime number?
False
Let v(l) be the first derivative of 17*l**4 - 2*l**3/3 + l**2/2 - 7. Suppose 2*k - 2 = -0*k. Is v(k) a composite number?
False
Let y(u) = -2*u**2 + 45*u - 4. Let b be y(22). Let d(w) = 48*w - 61. Is d(b) a prime number?
False
Let j(o) = -199*o**3 + 2*o**2 - 68*o + 3. Is j(-8) a prime number?
True
Let k(u) = -u**2 - 2*u + 1. Let x be k(3). Let f = x + 23. Suppose -185 = -f*t + 8*t. Is t prime?
False
Suppose 4*o = -335 - 49. Is (0 - (-1100 - 1)) + o/48 a prime number?
False
Let t(c) = -2*c + 10. Let p be t(6). Let o be 6/p*(-2124)/27. Let h = -15 + o. Is h a composite number?
True
Suppose -3*c + 5020 = 2*c. Suppose -5*k = -f + 2316, -f + 3305 - c = -2*k. Is f prime?
False
Suppose 0 = h - 10 + 4. Suppose -h*x + 3*x + 4605 = 0. Is x composite?
True
Let b = 3 + -1. Suppose 0 = -2*o + 1343 - 257. Suppose -s + 553 = 3*r, -2*s - o = -3*s + b*r. Is s a composite number?
False
Suppose 2083 = 5*t - g - 2107, -g = -t + 834. Is t a prime number?
True
Let l(d) be the third derivative of -d**4/12 - 10*d**3/3 - 7*d**2. Let o be l(-11). Suppose -5*i = 5*a - 660, -o*i - 625 = -9*a + 4*a. Is a prime?
True
Let z be ((-1056)/40)/((-6)/80). Suppose -o = 3*o - z. Is -2 + 0 + o - -1 a prime number?
False
Let a = 67746 + 18959. Is a composite?
True
Let t = -1546 + 961. Let s = -115 + -213. Let l = s - t. Is l prime?
True
Suppose -2*x - 276 = -2*n + 898, n - 587 = 4*x. Is n a prime number?
True
Suppose 3931 = h + 4*h + 3*m, h - 4*m - 777 = 0. Let o(j) = j**3 + 19*j**2 + 5*j - 31. Let x be o(-20). Let f = h + x. Is f composite?
True
Let v(d) = d**3 + 8*d**2 - 7*d + 11. Let c be v(-8). Let y = 102 - c. Let u = y - 13. Is u prime?
False
Let p = 5304 - 2887. Is p composite?
False
Suppose 39*h - 268129 = 289298. Is h prime?
True
Suppose w = 3*m - m + 29783, -4*m - 148933 = -5*w. Is w composite?
False
Let s = -1 - -1. Suppose -3*k = -2*i - 26, -k + 9 = -4*i - 13. Suppose -k*p + 3*p + 33 = s. Is p prime?
True
Is 25535/(-10)*(3 - 25) a prime number?
False
Let p = -29 - -40. Let s be 8/(-12) - p/(-3). Suppose s*q = 6*q - 1623. Is q prime?
True
Let d = 20 + -25. Let o be (-110)/50 + (-1)/d. Is -141*(o - 1)/9 composite?
False
Let p(g) = 21*g**2 + 6*g - 9. Let t be p(2). Let h = t - 81. Is h composite?
True
Let l be (3 + -6 + 4)*8. Let a = -10 + l. Is a/(16/92)*-10 a prime number?
False
Suppose -27*q + 5169 = -26*q. Suppose 4*x + 1034 = b - 695, 3*b - 3*x - q = 0. Is b composite?
False
Let z(q) = -q**3 + q**2 - q + 44. Let t be z(0). Suppose -3*f + 2*h = -1471 + t, 2380 = 5*f - 3*h. Is ((-4)/(-1))/2 + f a composite number?
True
Let i(v) = 376*v**2 - 31*v + 66. Is i(5) prime?
True
Let a = 1 + -1. Suppose 3*j - 7*j + 8 = a. Suppose 3*x + 3*t = 2*t + 744, 5*x - 1229 = j*t. Is x composite?
True
Let v(d) = -24*d - 24 + 6*d + 55 - 6*d. Is v(-4) a composite number?
False
Is (12981/5)/((-