4. Let o = 10 - 7. Is h(o) composite?
True
Suppose -3*i = g + 2*g - 570, -4*g = -3*i + 577. Is i composite?
False
Let k(v) = -v**3 - 2*v**2 + v + 1. Suppose -7*y - 1 = -3*y - 5*b, 5*y - 2*b = -14. Let l be y/6*(-9)/(-2). Is k(l) a prime number?
True
Suppose -12*t + 5019 = -9*t. Is t composite?
True
Let k be 1 + -1 + (-4 - -16). Suppose 0 = 3*q + 2*f - 113, -6*f - 85 = -3*q - f. Is (q/(-4))/((-3)/k) prime?
False
Let s(q) = 28*q**2. Let u be s(1). Is 343/u + (-6)/(-8) composite?
False
Let w(g) = -2*g**2 - 3*g + 3. Let l(q) = 2*q**2 + 2*q - 2. Let d(y) = -3*l(y) - 4*w(y). Let s(n) = n**3 + 6*n**2 - 5. Let h be s(-6). Is d(h) a prime number?
False
Let a(i) = -i**2 + 12*i - 4. Let q be (8/(-12))/(4/6). Let c(o) = -o**2 - o. Let r(h) = q*a(h) + 2*c(h). Is r(-7) a prime number?
True
Let p(m) = -m**2 + 6*m - 4. Let l be p(5). Suppose 3*t = 35 - 14. Let o = t - l. Is o composite?
True
Suppose y - 2*c - 187 = 0, -3*y - 4*c + 187 = -2*y. Let z = -116 + y. Is z prime?
True
Suppose 2*v + 2 - 16 = 0. Let k(f) = 11*f**2 + 3*f - 1. Is k(v) a composite number?
True
Let x(h) = h**2 - 3*h - 2. Let c be x(6). Let n = c - -79. Is n prime?
False
Suppose -4*g = z - 9144, 0*g - 5*g - 4*z + 11441 = 0. Is g prime?
False
Let z be 1 - 1 - 0/(-1). Suppose -3*j = 2*j - 5, -5*h + 4*j + 491 = 0. Suppose z = 3*u - 6*u + h. Is u a composite number?
True
Suppose 0 = -0*n + 4*n - 632. Is n composite?
True
Let t be 1/((-1)/(-1808)*2). Let s = -509 + t. Is s prime?
False
Let i(x) = 2*x**2 - 11*x + 1. Let v be i(9). Suppose 2*g = s - 18, 4 - v = -3*s + 3*g. Is s composite?
True
Suppose 0 = -4*x + y - 427 + 1794, -2*x + 697 = -5*y. Is x prime?
False
Let c(k) = 246*k - 19. Is c(3) a prime number?
True
Let r(f) = -f. Let j be r(-3). Is (78 - -2) + (j - 0) composite?
False
Let a = -6 - 4. Let r = a - -15. Suppose 268 = r*b - b. Is b a prime number?
True
Let j(d) = 15*d**2 + 4 + 12*d + d**3 - 4*d**2 + 1. Is j(-9) a prime number?
True
Suppose n + 1847 = 2*n. Suppose 5*z + 2*j - 4*j - n = 0, j = 4. Is z prime?
False
Let i(d) = 19*d**3 + 9*d**2 - 12*d**3 - 14*d - 7 - 6*d**3. Is i(-10) a prime number?
False
Let t(v) = v**3 + 12*v**2 + 5*v + 1. Is t(-7) a prime number?
True
Suppose 4*t = -5*c + 2374, -2*t = 2*t + 16. Is c a composite number?
True
Let r = -571 + 1424. Is r composite?
False
Let m = -3 + 7. Suppose -m*v + 1063 = 5*y, y - 6*y + 3*v = -1049. Is y a prime number?
True
Let p(a) = a**3 + 8*a**2 + 2*a + 9. Let h be p(-8). Let s(t) = t**3 + 11*t**2 + t - 12. Let u(d) = d**2 - 1. Let b(j) = -s(j) + 4*u(j). Is b(h) prime?
False
Let s = 3995 - 2464. Is s a prime number?
True
Let m(i) = 9*i**2 + 11*i - i**3 + 3*i**3 + 4 - i**3. Let w = -24 - -17. Is m(w) a prime number?
False
Let h be 3*(-2)/(-6)*-4. Let b(a) = a**3 - 3*a**2 - 5*a - 1. Let o be b(h). Is o*(1/(-3) + 0) a composite number?
False
Let f be (4/4)/((-1)/(-339)). Suppose 4*z - 25 = 3*o, -5*z = -o - 6 - 17. Suppose 0 = -z*g + g + f. Is g a composite number?
False
Let b be (-16)/12*3/2. Is 4 + b/(-1) + 157 prime?
True
Suppose -5*h = -3*h - 10, 0 = 2*i - 3*h + 7. Suppose -4*k - i*u = -376, 229 = 3*k - u - 33. Is k a composite number?
False
Let u = 75 + -8. Is u a composite number?
False
Let h(f) = -f**2 + 5*f + 5. Let b be h(5). Suppose -3*q = -3*u + q + 1231, 2*q - 2069 = -b*u. Is u composite?
True
Let t = 18 + -14. Suppose 5*v = -0*v + t*x + 2341, -2*v + 936 = -2*x. Is v a composite number?
True
Let h(g) = g**2 - 3. Let p be h(-10). Suppose 14 = 3*z - p. Is z composite?
False
Let d be 2390/3*(-12)/(-4). Suppose 4*f - d = 2006. Is f a prime number?
False
Let c(p) = -18*p**3 - 5*p**2 - 6*p - 10. Is c(-3) composite?
False
Suppose -58 - 767 = -3*c. Suppose -2*r = -7*r + c. Is r prime?
False
Let k = 86 - -7. Let v = k + -62. Is v a prime number?
True
Let p be 3 + (-1 + -2 - -209). Let j = p - 142. Is j composite?
False
Suppose -2*l = -3*t - 5*l + 345, 0 = -4*l. Suppose 2*b - b = -2*c + t, 2*b + 3*c = 233. Is b prime?
False
Let n be 6*(-2 + 8/3). Suppose 94 + 46 = n*d. Is d a prime number?
False
Suppose -3*s = -3*i + 2733, 2*i = -3*i - 2*s + 4527. Is i prime?
True
Suppose -5*f + 356 = 2*q, -5*q + 924 = 4*f - 0*f. Suppose -q = -7*o + 71. Is o prime?
True
Suppose 5*m = 5, -6*m - 3584 = -x - 9*m. Is x a prime number?
True
Let n = -6 + 8. Suppose 0 = 2*u + 2*l + 4, n*l + 0*l + 2 = -3*u. Suppose 0 = x - i - 14, -4*i - 27 = -u*x - i. Is x a prime number?
False
Let o(j) be the third derivative of -71*j**4/12 + j**3/6 + 3*j**2. Is o(-1) composite?
True
Suppose 5*c = 140 + 2645. Is c prime?
True
Let n(v) = 5*v**2 + 5. Is n(6) a prime number?
False
Let k(w) = -w + 2. Let u(a) = -a**2 - 9*a + 6. Let c be u(-10). Is k(c) composite?
True
Suppose 5*c + i = 1027, -5*i - 356 = -4*c + 454. Is c a prime number?
False
Let s be ((-162)/2)/((-6)/4). Suppose 141 + s = 3*t. Is t a composite number?
True
Suppose -5204 = -4*d + 10712. Is d prime?
False
Let r = -109 + 41. Suppose 5*z = 4*o + o - 610, -2*o + 3*z + 243 = 0. Let m = r + o. Is m composite?
True
Let g be (-37 + -1)*(-58)/4. Suppose 4*m + 2 = 22, 0 = -2*o - 5*m + g. Is o composite?
False
Suppose 0 = m + 2 - 6. Let z(y) = 26*y - 10. Let b(g) = 25*g - 11. Let i(d) = -5*b(d) + 6*z(d). Is i(m) prime?
False
Let h = -8 + 12. Let j be 8 + -4*(-2)/h. Suppose -s = -0*s - j. Is s a composite number?
True
Suppose 0 = -4*f - 8*d + 3*d + 12, 4*d - 6 = -2*f. Let m be ((-7)/f)/(3/(-9)). Let v(o) = 4*o + 7. Is v(m) composite?
True
Suppose 675 + 336 = 3*p. Is p prime?
True
Let d be (-12)/2*10/15. Let l be (-5)/(-2) + 2/d. Suppose -b + 111 = l*b. Is b a composite number?
False
Let d(m) = 24*m + 11. Is d(7) a composite number?
False
Suppose 2*c - 4*z = 128, z - 206 = -c - 2*c. Suppose -c = -u - u. Is u a prime number?
False
Let j = -123 - -63. Let r = 119 + j. Suppose 0 = -3*h + r + 112. Is h prime?
False
Suppose 7 = 5*b - 68. Let i(x) = 3*x**3 - x. Let k be i(1). Is (b - 5)*11/k a prime number?
False
Let i be 1/(0 - 3/(-6)). Suppose 3*y - 10 + i = -4*q, 0 = -5*y - q + 2. Suppose 0 = -y*b + 2*b - 38. Is b composite?
False
Is (5 - (4 + 0))*763 prime?
False
Let s = -32 - -67. Is s prime?
False
Suppose 4*v - n = 4*n - 29, 2*v + 4*n + 8 = 0. Let m be 6*-158*(-1)/v. Is 0/(-2) - (m - 0) a prime number?
False
Let p = -690 + 1441. Is p a composite number?
False
Let o(z) be the second derivative of -z**5/20 - 7*z**4/6 - z**3/2 - 2*z**2 - 2*z. Is o(-14) composite?
True
Is 2/(-5) + (-4)/(-10) + 1049 a prime number?
True
Let t = -21 - -11. Let w be (9 - 1)/(2/t). Is -3 - (-1 - -1) - w prime?
True
Let u = -2 - -22. Let m be (36/30)/(6/u). Suppose -68 + 16 = -m*a. Is a a prime number?
True
Suppose 2*x = 3*x. Suppose -5*q - 2*d + 112 = x, 3*q + 4*d - 27 = 43. Is q prime?
False
Let t(m) = 161*m**2 + 5*m + 1. Is t(-2) composite?
True
Is ((-79)/5)/((-8)/40) a composite number?
False
Let b = -1 - -4. Let v be 0*(-2 - b/(-2)). Suppose 0*d - 3*d + 57 = v. Is d composite?
False
Let h(w) = 16*w**3 - 4*w**2 - 4*w - 1. Is h(8) composite?
True
Let z(k) = -k**3 - 10*k**2 + 4*k + 1. Let s be z(-8). Let m = s + 274. Is m prime?
False
Suppose -3*o - 13 = -103. Is (-53)/(-5) - (-12)/o composite?
False
Suppose 222 = 5*x + 4*v, -5*v + 117 = 5*x - 108. Let z = 27 + x. Is z prime?
False
Let t(g) = g**2 - 14*g + 13. Let p be t(13). Suppose -2*a - 3*a + 25 = p, 0 = -v + 2*a + 457. Is v composite?
False
Suppose 3*w - 8*w = 70. Is 67/(-2)*(w - -8) a composite number?
True
Suppose 0 = -5*u - 4*u + 7983. Is u a composite number?
False
Let l be 2*(-17 + 1) + 2. Let r = -7 - l. Is r a prime number?
True
Suppose 6 = 3*p - 0. Suppose p*f - 204 = -2*f. Is f composite?
True
Let m(q) = q**2 + 9*q - 1. Is m(-12) a composite number?
True
Let r(c) = c**3 + 4*c**2 - 5*c + 2. Let z be r(-5). Let y be z + (-1 + -23 - 2). Is -3*1 + 1 - y prime?
False
Let h(d) = -6*d + 2*d**2 + 1 - 59*d**3 - 2*d + 6*d + 285*d**3. Let b be h(1). Let r = 354 - b. Is r composite?
False
Suppose 5*w - 1661 = -i + 5*i, 1657 = 5*w - 3*i. Is w a composite number?
True
Suppose -4*f - 5*b + 674 = 0, -f + 5*f - 5*b = 654. Is f a composite number?
True
Let p(q) = -q**2 + 4*q + 8. Is p(5) a prime number?
True
Let w(f) = f**3 + 16*f**2 - 9. Let q be w(-16). Let p(y) = y**2 + 6*y - 8. Is p(q) prime?
True
Let a(w) = 8*w**2 + w - 1. Let l be a(3). Let m = 207 - l. Is m a prime number?
False
Let p(a) = 