 i. Suppose 5*t + o = 2*c, -151 + 14 = -2*c + t. Is c a composite number?
True
Let m(q) = 4*q**3 + 2*q**2 + 3*q - 1. Let u be m(4). Let x = u + -209. Let h = x + 133. Is h prime?
True
Suppose 6 = 2*k + 4. Let t be (3 - 7)*(0 - k). Suppose 0 = 3*p + 3, -1 - 7 = -4*s - t*p. Is s a prime number?
True
Let u be 10/8*(5 + -1). Suppose -d - y - 50 = -3*d, 3*d - 68 = u*y. Let t = d - -23. Is t a prime number?
False
Suppose 4*n = -3*r + 109, 59 = 3*n - n + 3*r. Let y(l) = n*l**2 - 2 - 6*l + 4*l + 3. Is y(2) composite?
False
Is 138/5*(-5)/(-2) a composite number?
True
Let t(s) = 9*s + 4. Let h be t(11). Suppose -5*q = 5*x - 25, -3*q + 1 = -5*x + 2. Suppose -r + h = x*r + 2*g, -g = 1. Is r a composite number?
True
Suppose 0 = 4*x + 14 - 498. Is x composite?
True
Let q(c) = -11*c**3 - c**2. Is q(-1) prime?
False
Let k be (1 - (-16)/(-12))*-27. Suppose -p + 124 = -k. Is p composite?
True
Suppose 2*n - 4*u = 64, -5*u = 4*n - 0*u - 76. Suppose -5*k - n = -719. Is k prime?
True
Let q = 2 - 1. Let z(i) = 30*i**3 + 2*i**2 - 1. Is z(q) a prime number?
True
Suppose -g = 3*u + 6, g + 6*u - u = -8. Let f be 0 - ((g - -2) + -1). Suppose 5*t - f*t = 93. Is t prime?
True
Let h(y) be the first derivative of -17*y**4/2 + 5*y**3 - 2*y**2 - 6*y - 2. Let p(l) = 7*l**3 - 3*l**2 + l + 1. Let s(n) = 2*h(n) + 11*p(n). Is s(2) composite?
True
Suppose -2*c - 3*c + 40 = 0. Let m = c - 6. Suppose -m*a = -5*a + 195. Is a a prime number?
False
Is ((6 - 4) + (1 - -55))/1 composite?
True
Let b = 8 - 4. Let v be (-196)/(-3) - b/12. Suppose 2*h - 7*h + v = 0. Is h prime?
True
Let o(c) = -75*c + 1. Let g(m) = 38*m. Let u(a) = 5*g(a) + 3*o(a). Is u(-6) a composite number?
True
Let i be 30 + (2 - 2) + 0. Let h be (-3)/((-2)/((-32)/3)). Let f = h + i. Is f a composite number?
True
Let o be 2630/(-8) - 18/(-24). Let y = o - -591. Is y a composite number?
False
Let o be 2/6 + 11/3. Suppose 0 = -x - 4*m + 205, 0 = -2*x - 0*x + 4*m + 398. Suppose -n + o*n - x = 0. Is n composite?
False
Let w = -902 - -1280. Suppose -2602 = -4*p + w. Is p a composite number?
True
Let g = -97 - 263. Let l be g/(-14) + (-6)/(-21). Suppose -l = -n - n. Is n prime?
True
Suppose 19 = 5*t - 41. Let w be (-1 - (-453)/t)*4. Let f = 350 - w. Is f a composite number?
True
Let z = -801 + 1334. Is z composite?
True
Let a(p) = 3*p**2 + 3*p + 1. Suppose -4*f + 4*c = -16, -5*c = 4*f - 0*c + 2. Suppose -f*v - 30 = 3*v. Is a(v) a prime number?
False
Let c = -30 - -67. Is c a composite number?
False
Let r be ((-76)/4)/(2/(-2)). Suppose 0 = u + 5*i - r, u - 6 = 5*i + 3. Is u a composite number?
True
Suppose 0 = -2*u + 7 + 3. Suppose -3*d - w = -u, -w = 3*d + 2*w + 3. Suppose -v = d*v - 140. Is v composite?
True
Let d = -372 + 875. Is d prime?
True
Let l be (-160)/(-3 + (-75)/(-27)). Let h be (l - -1) + -2 + 1. Suppose -h = -z - 4*z + 5*x, -5*z + 4*x + 725 = 0. Is z a composite number?
False
Suppose 4*g - 1630 = 2*g. Is g prime?
False
Let w be 3 + 2 + 4 + -7. Suppose 4*g - 482 = 2*y - 0*y, -5*y = w*g - 223. Is g a composite number?
True
Suppose 0*c - 2*c - 4 = 0. Is c/4*-155*2 composite?
True
Let u = -14 - -25. Let r = u - 5. Is r prime?
False
Let w = -118 - 26. Let k = w - 95. Let u = -28 - k. Is u a composite number?
False
Let p(v) = 12*v + 4. Let n be p(-9). Suppose -2*h - 2*h = 276. Let q = h - n. Is q prime?
False
Let g = -341 + 841. Suppose l - 473 = -4*v + 31, 4*v = -2*l + g. Is v composite?
False
Let b be (430/(-6) + -1)*3. Let q(g) = 19*g**3 - 1. Let v be q(-2). Let o = v - b. Is o composite?
True
Let r(a) = -a**2 - 23*a - 13. Suppose -3*m + 6*m + 33 = 0. Is r(m) prime?
False
Let d(z) be the second derivative of 1/6*z**4 + 0 - 1/3*z**3 + 1/20*z**5 - 2*z**2 - 2*z. Is d(3) prime?
False
Suppose -3*x + 9*x - 11490 = 0. Is x a composite number?
True
Suppose 8*l = 3*l + 4585. Is l a prime number?
False
Let n(i) = 2*i - 4. Let f be n(3). Suppose 2*l + f = 3*l. Is l composite?
False
Let u(v) = v**2 - 3*v - 8. Let q be u(5). Suppose 4*c - 1799 = j, -7 = -q*j + 3. Is c composite?
True
Let g = 5 - 2. Let v be (2 + (-14)/6)*g. Is -2 + (-66)/v - -1 a composite number?
True
Let l = 1183 + -156. Is l prime?
False
Let h be (3 - 0 - 2)*17. Suppose -8*g + 3*g + 33 = 3*t, 5*t = -2*g + h. Suppose -3*n - g = -36. Is n composite?
True
Let c = 51 + 71. Is c a composite number?
True
Let i(c) = -3*c**2 + c + 10. Let l(v) = -v**2 + 3. Let j(x) = 2*i(x) - 7*l(x). Let r be 4/(-6) - (-220)/33. Is j(r) composite?
False
Suppose -13 = -4*q - 5. Suppose 185 = 3*z + q*z. Is z composite?
False
Let b = 9 + -9. Is 57 + (1 - b/3) prime?
False
Let s = 513 - -668. Is s composite?
False
Let m(b) = 44*b - 5. Is m(2) composite?
False
Suppose 1 = -n + 3*i, 6*i - i - 3 = n. Suppose n*h - 125 = 157. Is h composite?
True
Let p = 24 + 54. Suppose 212 + p = 5*h. Is h composite?
True
Let y(g) = -g**3 - 4*g**2 - 3*g. Let k be y(-3). Suppose 10 = 5*q - k. Suppose q*z - 29 = -3*n, -3*n - z + 5*z = -5. Is n a composite number?
False
Let u(l) = -l**3 + 7*l**2 - 6*l - 7. Let k be u(6). Let y = k + 13. Is (-2)/y + 284/6 prime?
True
Suppose 4*g - 20 = 0, 2*o - 6*g + g = 1143. Let s = -253 + o. Is s composite?
False
Let c be 1 + (3 - 3) + -46. Let r = c + 100. Is r a composite number?
True
Let d(c) = 4*c**3 + 4*c**2 - 3*c + 89. Let l(h) = 3*h**3 + 3*h**2 - 2*h + 89. Let p(m) = -2*d(m) + 3*l(m). Is p(0) composite?
False
Suppose -5*d = -24 + 4. Suppose -4*u = -6 - 10, d*v = 2*u - 16. Is (v - 3/(-3)) + 20 a prime number?
True
Is (54/(-81))/((-2)/1491) a composite number?
True
Let j = 442 - 243. Is j composite?
False
Let n = -9 + 14. Is (3 + n/(-2))*86 composite?
False
Let x(u) = -u**2 - u - 9. Let d be x(7). Let q = 154 + d. Is q a prime number?
True
Is (2334 + -1)/((-11)/(-11)) composite?
False
Suppose -5*s = -5*x - 50, -35 = 3*x - 5*s + s. Let w(b) = 5*b**2 - b - 3. Is w(x) a prime number?
True
Suppose -h + 1 = 10. Let x(w) = -10*w - 3. Is x(h) a composite number?
True
Let r(n) = 52*n + 23. Is r(9) a prime number?
True
Suppose 4*l - 856 = -3*q, 2*l - 2*q - 256 = 172. Is l a prime number?
False
Suppose -32 = -2*n + 14. Let g = 36 - n. Suppose 3*r - 20 = g. Is r a composite number?
False
Let z = 8 - 4. Suppose -w + z*w = 0. Is 0 + 1 + w + 1 prime?
True
Suppose -11*w + 5642 + 6029 = 0. Is w prime?
True
Let i(z) = z**2 - 7*z + 6. Let w be i(6). Suppose w = 5*d, -2*v - 254 = -4*v - d. Is v a prime number?
True
Suppose -2*b + 2*a - 46 = 0, -3*a + 4 = b + 47. Let g = b + 81. Is g a prime number?
True
Suppose -5*o = 4*y + 5, 2 = -4*y - 3*o + 7. Is 628 - y/((-20)/12) prime?
True
Suppose -5171 = -6*g + 2539. Is g prime?
False
Is 2/8 - 4305/(-12) a prime number?
True
Suppose -4*g + 6 + 6 = 0. Suppose u = -g*u + 236. Is u prime?
True
Let l(x) = -4*x - 4. Let u(t) = -5*t - 5. Let f(i) = 4*l(i) - 3*u(i). Let s be f(-3). Suppose 2*n - 48 = q + 3*q, s*n = 3*q + 53. Is n a prime number?
False
Suppose 5*m + 195 = 5*j, -6 = 3*m - 0*m. Is j composite?
False
Let o(m) = -m**2 + 5*m - 4. Let n be o(5). Let v(a) = -3*a**2 - 4*a - 1. Let s(f) = 2*f**2 + 2*f. Let p(h) = 5*s(h) + 3*v(h). Is p(n) a prime number?
False
Let f(p) = p**2 - 5*p + 4. Let w be f(4). Suppose w = o - 41 - 10. Suppose 4*m - 65 - o = 4*b, 3*m - 2*b = 91. Is m composite?
True
Suppose -5*i + 35 = 5*u, 4*i - 1 - 3 = 4*u. Suppose 0 = v + 5*c - 66, 80 = u*v + c - 76. Is v composite?
True
Let h(r) = -5*r - 5. Is h(-6) a prime number?
False
Suppose d + 12 = 3*d + 4*a, 6 = 3*a. Suppose -g - 3 = -3*u - d*g, 17 = 4*u - 3*g. Suppose 0*x + 50 = u*x. Is x a prime number?
False
Let y be (0/2)/((-12)/(-6)). Suppose 4*l = y, -3*r - r + 12 = -5*l. Is r composite?
False
Is (2/(-3))/((-18)/3861) a composite number?
True
Let m = -17 + 57. Let b = 99 - m. Is b composite?
False
Let h(w) = w**2 - 5*w + 5. Let b be h(5). Suppose 3*g + 11 = -0*g - b*k, -2*g = -2*k - 14. Is g a prime number?
True
Suppose s - 4*u - 18 = 0, 3*u + 4 + 7 = 2*s. Let c(x) = -4*x - 1. Is c(s) a composite number?
False
Let n(d) = d**2 - 2*d + 1. Let p be n(3). Let y be 55/(-4) + p/(-16). Let r = y + 24. Is r a prime number?
False
Let b be (-3)/1 - (0 - 17). Is (-7)/b - 846/(-4) a composite number?
False
Suppose 0 = 3*t - 2*x - 15, 0 = t - 4*x - 20 + 5. Suppose -126 = -t*f + 111. Is f a composite number?
False
Let m be (-2)/8 - (-42)/8. Let y(i) = i - 3. Is y(m) prime?
True
Suppose 