pose -2*y - 5*g = -695, 3*y = -k*g + 1333 - 308. Is y a composite number?
True
Let z = 1202 + -1959. Let p(d) = -3*d**2 - 7*d + 2. Let n be p(9). Let g = n - z. Is g composite?
True
Suppose -1 = 2*a + 3*i - 14, 5*a = i + 75. Let y(s) = 195*s - 23. Is y(a) composite?
False
Let j(q) = 10*q**3 - 4*q**2 + 4*q + 5. Let x be j(-4). Is 3 - (x + 0 + -1) composite?
False
Let d = -6 - -6. Let y be 2*(276 + d + -1). Suppose -h - y = -5*m, -5*h = -2*h + 15. Is m prime?
True
Let w(t) = 65*t**2 - 133*t + 5. Is w(27) a prime number?
False
Let d(w) = -w**3 + 10*w**2 - 3 + 4*w + 10*w + 7. Let p = 82 - 71. Is d(p) a prime number?
True
Suppose u - 4*u = 2*t + 3349, 0 = 2*u + 2*t + 2236. Let q = u - -2212. Is q a composite number?
True
Is (-209060)/15*21/(-4) a composite number?
True
Let y(n) = 7*n - 46. Let f be y(7). Suppose w + f*b = 86, 2*w - 4*b = 4*w - 166. Is w a composite number?
True
Let i = 2969 + -2035. Is i prime?
False
Is 21/(-3) + (-24836)/(-7) composite?
False
Let u(r) = -r**3 - 12*r**2 - 12*r - 13. Let x be u(-11). Suppose 11*h - 4*h = 21. Is 89*(x + h)*1 a composite number?
False
Let d(b) = 124*b**2 - 23*b - 73. Is d(-5) a composite number?
True
Is -1*3493/((-42)/6) a prime number?
True
Let x(i) = i**3 + 10*i**2 + 7. Suppose 7 = -2*q - 2*y - 7, -5*y = 3*q + 15. Is x(q) composite?
False
Let n = -1935 + 1292. Let c = n - -3300. Is c a composite number?
False
Suppose -14 = a - 6. Let u(s) be the third derivative of s**6/120 + 3*s**5/20 - 3*s**4/8 - s**3/3 - 4*s**2. Is u(a) a composite number?
True
Let t(v) = -v**3 + v**2 + v. Let u(y) = 2*y**3 - 2*y**2 - y + 71. Let i(m) = t(m) + u(m). Let f be i(0). Suppose -4*p + 3*p + f = 0. Is p composite?
False
Suppose 56*n - 51*n - 37195 = 0. Is n a prime number?
False
Suppose 0 = -5*w + 16 - 1. Suppose -1 = -3*f + z + 9, 5*z = -w*f + 22. Suppose 5*x - 608 = x + f*m, -2*m = 6. Is x a prime number?
True
Let y be ((-2)/(-5))/((-4)/(-80)). Suppose y = 3*z + 2. Suppose -z*l = 2*l - 260. Is l prime?
False
Let j(l) = 37*l**2 - 15*l + 16. Is j(-14) a composite number?
True
Let m = 90 - 82. Suppose 13*n = m*n + 17035. Is n a prime number?
True
Let m(g) = -1108*g**2 - 2*g - 3. Let j(v) = 2216*v**2 + 5*v + 7. Let i(q) = -2*j(q) - 5*m(q). Is i(1) a prime number?
True
Suppose 0 = -5*l + 4*l + 1. Let k(a) = 0 - 59*a**3 + l - 49*a**3. Is k(-1) a composite number?
False
Suppose 2*b = 3*b. Suppose b = 5*j - j. Suppose -4*l + 12 = -l, 4*h - l - 936 = j. Is h a composite number?
True
Suppose -2*d = 4*f - 8810, 3*f = 2*d + 2023 + 4588. Suppose 0 = -p - h + f, 4406 = 2*p - 2*h - 2*h. Is p a prime number?
True
Let i(o) = -o**2 + 6*o + 2. Let z(a) = a**2 - 6*a - 1. Let j(g) = 4*i(g) + 3*z(g). Let q be j(7). Is q/7 + (-390)/(-42) a prime number?
False
Let w(b) = -4. Let v(k) = -k + 5. Let x(c) = 4*v(c) + 5*w(c). Let m be x(-1). Suppose 2*f - m*p - 160 = 0, -3*f = 2*p - p - 219. Is f prime?
False
Suppose -72 = 25*q - 33*q. Suppose v + 60 = 5*d, 0*v - q = d + 4*v. Is d a prime number?
True
Suppose -3*x + 5 = -2*j - 10, -4*j + 3 = 5*x. Suppose -b + 0*r = 2*r + 11, 3*b - 4*r - 7 = 0. Is b + -7 + x + 198 prime?
True
Suppose -4*j - 82 = 366. Let h = 37 - j. Is h a prime number?
True
Suppose q + 4*h - 4 = 3*q, -5*q + 4*h - 4 = 0. Suppose -12*a + 15*a - 717 = q. Is a a composite number?
False
Let c(u) = 73*u**2 + 14*u - 133. Is c(20) composite?
False
Let j = -61 - -858. Is j composite?
False
Let k = 1999 + 3756. Is k a composite number?
True
Let d(h) = -h**3 - 14*h**2 - 80*h - 6. Is d(-23) composite?
True
Let w(o) = o**3 - o + 493. Suppose -5*d + 22 = 2*f, -5*f = 3*d - 2 + 4. Suppose 3*g = 4*x, x = d*x + g. Is w(x) composite?
True
Let b(f) be the first derivative of 14*f**3/3 + 9*f**2/2 + 12*f + 2. Suppose v + 4*u + 5 = 0, -3*v - 3*u = -0*v + 15. Is b(v) a composite number?
False
Let w be 4492/5 + 14/(-35). Let f = w + -521. Suppose -v + f = 3*o - 3*v, 4*o = v + 506. Is o prime?
True
Suppose k - 23 = 5*v, -2*k = -4*k + v + 10. Suppose k*t + 2*r - 538 = 0, 5*t - 2*r - 77 = 809. Is t prime?
False
Suppose -8*p + 48 = -0*p. Is (1436/p)/(55/15 - 3) composite?
False
Suppose 5*d - 17 = 4*r, 2*d + 3*d - 5*r - 15 = 0. Suppose 83 + 758 = j. Suppose -206 + j = d*x. Is x composite?
False
Suppose -2592 = -5*w - 3*b + 6781, 0 = b - 1. Is w/14 - 6/(-42) composite?
True
Suppose -2*m + 6 = n, -2*n = -7*n + 10. Is 6/(6/m) - -333 a prime number?
False
Is 10712 + -1 + 0/(-9) a prime number?
True
Let w = -30191 - -88368. Is w a prime number?
False
Let x(a) = 19*a**2 - 19*a**2 + 14*a**2 + a - 2. Is x(-3) a composite number?
True
Suppose -4*b = -4247 - 5501. Is b a composite number?
False
Let y(x) = 11*x**2 + 7*x - 1. Let m(f) = -5*f**2 + f - 1. Let i be m(-1). Is y(i) composite?
True
Let h = -4811 + 9952. Is h a prime number?
False
Let f = 20 - 9. Let d(t) = 5 + 1 - 4 + f*t**2 - 5*t + t. Is d(3) prime?
True
Let h = 8 - 9. Let m be 2/h*(-3)/2. Suppose 0 = -m*b, 2*w - 547 = w + 3*b. Is w composite?
False
Suppose 5149 = 3*k - 10*n + 8*n, 0 = k - 5*n - 1712. Is k composite?
True
Let x = -50 - -74. Is (238/(-4))/((-12)/x) a composite number?
True
Let f(z) = -36*z**2 - 6*z - 16. Let h be f(6). Let a = h + 854. Let p = -349 - a. Is p a prime number?
False
Let k(l) be the second derivative of 2*l**4/3 + 20*l**3/3 + 5*l**2/2 - 13*l. Is k(-6) a composite number?
False
Suppose 0 = -2*i + 5*i - 5847. Is i a composite number?
False
Let p be (-456)/(-209) - (-4)/(-22). Suppose 3*c = -t + 629, 2*c - p*t - 438 = 2*t. Is c prime?
True
Is 70/(-20) + (-42562)/(-4) prime?
False
Let m be 4/10 - (52108/(-10))/(-2). Let w = -870 - m. Is w a composite number?
True
Let k(w) = 1183*w**3 - 3*w**2 - 15*w + 13. Let l(a) = 592*a**3 - 2*a**2 - 8*a + 7. Let r(h) = 4*k(h) - 7*l(h). Is r(1) a composite number?
True
Suppose 2*h = -5*a + 16, h + 3*a - 6 = -2*h. Let m(y) = -3*y - 44. Let p be m(-14). Is (h + p)*526/(-8) a prime number?
True
Suppose 2*f - 20913 = 6229. Is f composite?
True
Suppose 3*r + 3*l - 3 = 0, 0 = l - 2*l - 3. Suppose 76 - 15 = r*h + 5*k, 3*h - 4*k = 69. Is h composite?
False
Let i be 163/7 + (-6)/21. Suppose 4*a = 5*a - i. Let n = a + -13. Is n a prime number?
False
Let c = 10728 - 6315. Is c prime?
False
Suppose 0 = 6*p - 29905 + 8059. Is p a composite number?
True
Let i = -108 + 265. Let z = i - -57. Is z a composite number?
True
Let c(x) = 416*x**2 - 6*x - 25. Is c(8) composite?
True
Suppose -7*l - 12 = -10*l. Let h = l + -8. Is ((-191)/h)/(4/16) a prime number?
True
Let s(j) be the first derivative of 34*j**3/3 - j**2 - j + 2. Suppose -5*f = -1 + 11. Is s(f) a prime number?
True
Suppose -38*v + 1845812 = 38*v. Is v composite?
True
Suppose 0 = -3*m + 2*q + 4, 1 = q + 3. Suppose 4*h + 187 = 5*s - m*s, -4*s = -2*h - 146. Is s prime?
False
Let c = 69269 + -49350. Is c composite?
False
Let f(l) = 24882*l + 19. Is f(2) prime?
True
Let g = -3820 - -6983. Is g composite?
False
Let g(y) = -1. Let m(j) = j**2 + 15*j - 8. Let a(q) = 3*g(q) - m(q). Let v be ((-234)/27)/((-2)/(-3)). Is a(v) a prime number?
True
Let q be (-1 + 3)*50/20. Suppose c = -q*f + 1250, c - 15 = 4*c. Is f composite?
False
Suppose 2*k = -2*i + 9972, -126*i = -131*i + 5. Is k prime?
False
Let o = 10725 - 1329. Suppose 20961 = 4*f + 3*r, -o = -3*f + 5*r + 6332. Is f a prime number?
False
Let r = -4 - -7. Let t be (6/9)/(1/39). Suppose r*k - 91 - t = 0. Is k prime?
False
Suppose -8 = -4*p + 5*h, 2*h + 2 = p + 6*h. Let k(t) = 676*t**2 + 5*t - 7. Is k(p) a composite number?
False
Let i = 45 - 76. Let m = 63 - i. Suppose -2*h - m = -3*l + 79, 5*h = -5*l + 305. Is l prime?
True
Let h(q) = q**3 - 5*q**2 + 5. Let k be h(5). Suppose k*w = w + 212. Let n = w + 164. Is n a composite number?
True
Suppose a - 141 = 4*a. Let c = a - -340. Is c composite?
False
Suppose -4*h = 4*i + 40, 4*i + 30 = -5*h + 3*i. Is h*(-5)/25 + 612 composite?
False
Suppose 2*i - 4*d = -3*i - 32, 3 = d. Is ((-4)/16)/(i/112) a composite number?
False
Suppose -3*r + 13 - 43 = 0. Let f(c) = -c**3 - 14*c**2 + 3*c - 5. Let m be f(r). Is 4*2/((-24)/m) a prime number?
False
Let m be 12 - 4 - (4/(-1))/2. Let h = 29 - m. Is h composite?
False
Suppose 0 = -3*a - a + 40. Let t(g) = 8*g**2 - 10*g - 23. Is t(a) prime?
True
Let u be (4/6)/(22/5841). Let n = 210 + u. Suppose -4*d + 2*r = -240, -5*d + 3*r = 86 - n. Is d composite?
False
Let t(z) = z**3 - 6*z**2