et u be o(1). Suppose 4*a - u = -1103. Is a prime?
True
Let n be (-4034 - -2)/((-1)/12). Suppose -11*a + n = -2*a. Suppose 2 = -2*c + 4, a = 4*y - 4*c. Is y prime?
False
Is (1 - 0*3/(-3)) + 1436 a composite number?
True
Let s = -5 - -19. Suppose 0 = -0*h - 2*h + s. Suppose h*a - 3*a = 2*o - 34, 4*o + 2*a - 38 = 0. Is o prime?
True
Let p(k) = k**3 + 6*k**2 + 5*k. Let t be p(-5). Let h(d) = -1 - 31*d + 2 - 5 + t. Is h(-3) prime?
True
Suppose p + 5 = 0, -83*o - 63480 = -88*o + 3*p. Is o a prime number?
False
Let h = 192 + 9. Is h prime?
False
Let z be 2/6*0/2. Suppose -k - 4*h + 19 = z, 5*k + 2*h - 27 = -h. Is 848/5 + k/(-5) composite?
True
Suppose -2*y - 3*y = -3190. Suppose -4*x + g = -853 - 423, -y = -2*x + 5*g. Is x composite?
True
Suppose q = 5*l + 30, -2*q + 150 = 3*q - 3*l. Let r = -27 + q. Suppose 1135 = r*o - 4*h, -70 = o - h - 448. Is o prime?
False
Let n = -2354 + 4087. Is n a prime number?
True
Suppose 2*l + 2*o = 3222 + 5444, 4*l - 3*o - 17325 = 0. Let b = 33 - 54. Is (-6)/b + l/28 a prime number?
False
Suppose -17*r - 25*r = -705306. Is r a prime number?
False
Let m(o) = 4*o**3 - 2*o**2 - 15*o - 16. Is m(19) composite?
True
Let p(r) = 117*r**2 + 234*r - 11. Is p(-26) prime?
True
Suppose 4*p - 351148 = 3*n, 4*p - 5*n + 351148 = 8*p. Is p prime?
False
Let v(o) = 5*o + 19. Suppose -n = 4*j + 12, 5*n + 4*j - 6*j - 6 = 0. Is v(n) a prime number?
True
Let a = 0 - -3. Let p = a + 4. Suppose 0*r = -3*w - r + p, -4*w - 9 = 5*r. Is w a composite number?
True
Let q(t) be the first derivative of 35/2*t**2 - 13*t + 5. Is q(12) composite?
True
Suppose 0 = -8*q + 14*q - 12. Suppose -5*s = -3*i + 4644, q*s + 4635 = 5*i - 3086. Is i composite?
False
Let o be 18507/9 - 1/3. Suppose -3*q + 7*q - o = 0. Is q a prime number?
False
Suppose -38984 = 93*s - 101*s. Is s a composite number?
True
Is (-48)/(-208) - 79414/(-13) composite?
True
Let o be 6/8 + 27/12. Is 33/(-9) + o - 1343/(-3) a composite number?
True
Let c(r) = r**2 + 3*r. Suppose -3*i - 20 = 2*i. Let x be c(i). Suppose 5*p = 3*a - 474, 0 = x*a - p - 0*p - 649. Is a a prime number?
True
Suppose 3*m - 4*m = -4. Suppose -5 = m*g + 23. Is 12/(4 + g) - -173 a composite number?
True
Let c(s) = -3*s**3 - 5*s**2 + 7*s + 17. Let b(q) = -9*q**3 - 15*q**2 + 20*q + 50. Let d(r) = 6*b(r) - 17*c(r). Is d(-4) a composite number?
True
Suppose 19800 = 5*l + 2*q, -11880 = -3*l + 3*q - 5*q. Let i = l + -2711. Is i a composite number?
False
Suppose -722 = 2*q - 2964. Let k = -1588 + q. Let s = 806 + k. Is s composite?
True
Let s(o) = o**3 - 13*o**2 + 11*o + 12. Let y be s(12). Suppose y = 2*l - 5 - 3. Suppose -l*q = -9*q + 3155. Is q a prime number?
True
Let h(q) = 113*q**2 + 2*q + 11. Is h(-4) a prime number?
True
Let m(s) = 49*s - 10. Let y = -99 - -108. Is m(y) a composite number?
False
Let s(f) = 64144*f + 7. Is s(1) a composite number?
False
Suppose 0 = 6*i - 100713 + 15603. Is i a prime number?
False
Let c be (4 - 0)/(-4)*(-3 + 1). Suppose -c*r = 5*r - 4711. Is r a prime number?
True
Suppose -2*n = -z - 12 - 9, -5*z - 1 = 3*n. Suppose -2 = 2*u - n. Suppose 2*l = u*b - 377 + 6, -2*b + 269 = 3*l. Is b composite?
False
Let g be (1 + 31/(-2))*-14. Let s = 324 - g. Suppose 0 = 3*u - v - 35 - s, -2*v - 100 = -2*u. Is u composite?
False
Suppose -3*v + 61 = -2*t, 76 + 25 = 5*v - 4*t. Let l = v - 17. Suppose 2*r - 1074 - 518 = -4*y, 2*y - l*r - 786 = 0. Is y composite?
False
Let g(q) = 11*q**2 - 261*q - 31. Is g(39) composite?
False
Suppose 11 = 5*a - 4. Suppose a*z - 19 = 5*z + 3*y, -24 = 2*z + 4*y. Is -3 + 0/z + 122 a prime number?
False
Let m be (2 + -10)*(-2)/8. Suppose 2*u - 3*f = 5, -m*u + 2*f + 18 = 3*u. Suppose -3*v - 4*x - 5 = -242, 329 = u*v + x. Is v prime?
True
Suppose 22 = v - 5*u, -26 = 4*v + 3*u + 1. Let a be v/(-6) - (-10)/4. Is 14/(a*6/45) composite?
True
Let d(s) be the second derivative of -5*s**2 - 11/6*s**3 + 3*s + 0. Is d(-9) composite?
False
Let k = 2531 - 10. Is k a prime number?
True
Let k be (1040/12)/(-4)*12. Let j = -93 - k. Is j a prime number?
True
Let g be ((-4)/6)/((-6)/18). Suppose u + g*w = 261, -4*u - w - 75 = -1133. Is u prime?
False
Let f = 12123 + 7951. Is f prime?
False
Suppose 4*c + 35206 = 2*q, 5*c - 56333 = -3*q - 3491. Is q a composite number?
False
Let i(x) = -2*x**3 - 24*x**2 - 29*x - 12. Is i(-25) a composite number?
False
Suppose 2*u = -3*g - 6371, -318 = -4*u - 2*g - 13072. Let r = -1091 - u. Is r prime?
True
Let o = -32369 - -62908. Is o a composite number?
False
Suppose -62*a + 5179231 + 13338247 = 0. Is a prime?
False
Suppose -13*o + 167684 + 187593 = 0. Is o a composite number?
False
Let c be 0*(2/5 - (-22)/(-30)). Suppose -6*b + 7*b - 901 = c. Is b composite?
True
Let g(t) = -4*t**2 - 14*t + 15. Let x(a) = 5*a**2 + 13*a - 15. Let b(m) = -6*g(m) - 5*x(m). Is b(17) composite?
False
Let s(m) = -m**2 + 11*m + 5. Let h be s(12). Let v = 12 - 33. Is (h/(v/(-174)))/(-1) prime?
False
Let d(y) = 12*y**3 - 32*y**2 + 37*y + 74. Is d(25) a prime number?
True
Suppose -n + 9007 = 4*n + 2*k, -4*n = -2*k - 7202. Is n composite?
False
Let t = -18 + 8. Is 357/6 + 5/t a composite number?
False
Let h be (4/(-4))/((-2)/4). Suppose -4*j + h*f = -128, -3 - 1 = 2*f. Is j a prime number?
True
Let w = 10 - 7. Suppose -4*f + 77 = -2*f - 3*v, 5*v - 87 = -w*f. Is f prime?
False
Let z(l) = -l - 3. Suppose -5 = -2*h - 19. Let j be z(h). Suppose 5*p = -3*v + 67 + 114, 0 = j*v - 3*p - 280. Is v a composite number?
False
Let g be (3/9)/(5*(-5)/(-300)). Suppose g*t = 4*h - 8816, -2*t + 8234 = 5*h - 2779. Is h prime?
True
Let b = -16 + 30. Let l = -11 + b. Is (-7)/((l/69)/(-1)) composite?
True
Suppose w + 6003 - 16242 = -3*f, -w = -3*f + 10239. Is f prime?
True
Suppose -5*t = -4*k - 10, -4*k = -2*k - 10. Let x be (3/t)/((-3)/(-18)). Is 59/x*(-27)/(-9) composite?
False
Let p = 2197 + -662. Is p prime?
False
Let r = 4640 + -2778. Suppose -i = -5*z + r, -594 = 3*z + 3*i - 1722. Is z prime?
True
Suppose -4*h = -2*u - 0 - 8, -u + 3*h = 8. Let c(x) = -5*x**3 - 5 - 7*x + u*x**3 + 11*x**2 - x. Is c(9) a prime number?
False
Let q = 6997 - -2082. Is q a composite number?
True
Let i = -164 + -41. Let u = i + -128. Let k = u + 746. Is k a composite number?
True
Let z(x) be the second derivative of -7*x**3/2 - 19*x**2/2 - 27*x. Is z(-26) a composite number?
True
Let r = 47 + 161. Suppose -2*q + 564 + r = 0. Is q composite?
True
Suppose 0 = -6*j + j + 725. Is j a prime number?
False
Suppose y + 15 = -4*y, 3*y = 4*j - 621. Suppose -2*r = r - j. Let w = 2 + r. Is w composite?
False
Suppose -2*q + 5*l + 3545 = 0, 4*q = -7*l + 4*l + 7103. Suppose 3*s - 3*i = 6165, 3*i + q = s - 284. Is s a composite number?
False
Suppose -5*c = -3*c - 4, -90 = 5*h - 5*c. Let w be (-13293)/15 + h/20. Is (w/(-2))/((-1)/(-2)) composite?
False
Let q(u) = u**2 - u + 1. Let j(w) = -2*w**2 - 3*w - 590. Let i(m) = -j(m) - 3*q(m). Is i(0) composite?
False
Let n(s) = -2361*s + 61. Is n(-2) a prime number?
True
Suppose 2*r + 2*b - 43 - 53 = 0, 2*b - 139 = -3*r. Let o be r - (-2 - (-3 + -1)). Let p = o + -4. Is p a composite number?
False
Let a(b) = -2*b - 18. Let h(x) = x. Let p(y) = -a(y) + 2*h(y). Let t be p(8). Let z = 103 - t. Is z a composite number?
False
Suppose 5*l - 4835 = -5*g, 0 = 7*g - 9*g - 3*l + 1934. Is g prime?
True
Let r be -1*2*(-36)/24. Is (-2)/1*(r + 3260/(-8)) prime?
True
Suppose 0 = 6*p - 96034 - 11756. Is p composite?
True
Suppose 7*v - 10*v + 1905 = 0. Is v composite?
True
Suppose 26*r - 153063 = -r. Is r a composite number?
False
Suppose -3*s + 5022 = -11031. Is s a composite number?
False
Let v(r) = 14*r - 3. Let b be (10 + -15)/(1 - 2). Is v(b) a prime number?
True
Let s(i) = -2*i + 44. Let m be s(21). Suppose -2*y + 926 = -5*n - 341, -4*n + 1294 = m*y. Is y a composite number?
False
Is -1907*(1 + 1)*(-14)/28 prime?
True
Suppose -2*j + 3886 = -c - c, c - 5 = 0. Suppose -z + 487 = l, -z - 2*l = -5*z + j. Is z composite?
False
Let f(r) = 158*r**2 - 7*r + 5. Let q be f(5). Suppose 4*l - q = 2348. Is l composite?
False
Let u(d) = -140*d + 2. Let b be u(-9). Suppose -5*a = -237 + b. Is (0 + -1)*(a + -6) a composite number?
False
Let r be (-6)/27 + 190/45. Suppose r*b + 1 = -5*q, 1 + 6 = -4*q + 3*b. Is q/(2/(-8)) + 70 prime?
False
Let j = 188 + -74. Suppose 5*x + 8 = i - 0, -3*i = 3*x - j. Suppose 2*h + i = 3*h. Is h a 