et f(m) = -m + 3. Let w be f(6). Is (-76)/3*w/2 composite?
True
Let n(l) = l**2 - 7*l - 8. Let a be n(10). Let o = a - 11. Is o composite?
False
Let l(q) = 81*q + 4. Is l(1) prime?
False
Let k = -98 + 397. Is k prime?
False
Let j(r) = -r**3 + 6*r**2 + 2*r - 8. Let s be j(6). Suppose -m + 27 = -s. Is m a prime number?
True
Suppose 3*f = -5*g + 2214, -7*f + 2917 = -3*f - 5*g. Is f composite?
False
Let m(h) = -3*h**2 + 57*h + 51. Let t(i) = -2*i**2 + 38*i + 34. Let x(j) = -5*m(j) + 8*t(j). Is x(18) prime?
False
Is (0 - -1)*(415 - (-4)/1) composite?
False
Suppose 2*x - 5143 = 3511. Is x composite?
False
Let v be (-5)/25 + 42543/15. Suppose -v = -5*x + x. Is x a prime number?
True
Suppose -10*c = -3*c - 11683. Is c a prime number?
True
Let x = 9 - 6. Suppose x*n = -3, -3*n = w - n + 46. Let s = w - -79. Is s a composite number?
True
Let t be ((-4)/16)/(3/(-348)). Let m = 24 + t. Is m a composite number?
False
Let d = 128 - -683. Is (-64)/(-80) + d/5 composite?
False
Let l(q) = -q**2 + 7*q - 2. Let y(g) = g**3 - 8*g**2 - 8*g - 3. Let h be y(9). Let t be l(h). Is (-38)/(-4) - 2/t prime?
False
Suppose -4*l - 4*t = -8*l + 596, -3*t + 705 = 5*l. Suppose 2*q = 3*f - 1 + 20, 5*f + 17 = -4*q. Suppose -14 = q*x - l. Is x composite?
True
Let a(w) = -w**3 + 17*w**2 + 11*w - 8. Is a(17) composite?
False
Let m = -1 - -1. Let a = -4 - -6. Is (-1 - -5)/(a - m) composite?
False
Let u = 322 - 203. Is u composite?
True
Let d(t) = t**2 + 23. Let j be d(0). Let s be 160/5*1/(-2). Let h = s + j. Is h a prime number?
True
Suppose -5*d + 42 - 12 = 0. Let p = d + -4. Suppose -p*v - 200 = -4*w + v, -2*v = 4*w - 180. Is w a composite number?
False
Suppose -4*c + a + 7 = -0*a, 0 = c - 5*a + 22. Let q be 2/6 + 62/c. Is (203/q)/(2/30) composite?
True
Let n be (-18 - 0) + 2 + -4. Let o = n - -53. Is o prime?
False
Let t(a) = -5*a**2 - 40*a**3 + 10*a - 3*a - 2 + 39*a**3. Is t(-7) a composite number?
False
Let f(y) = -26*y - 3. Let r(k) = -k**2 - 3*k - 2. Let d(u) = u**2 - 5*u - 3. Let z be d(5). Let s be r(z). Is f(s) a prime number?
False
Suppose 5*m + 3*l = 53, -m + 3*m - 34 = 2*l. Let o(y) = -2*y + 8. Let z be o(-10). Let w = z - m. Is w composite?
True
Let o(y) = y - 1. Let c be o(3). Let b be (c - 534/(-15))*10. Suppose b = 2*p + f + 2*f, p - 3*f - 179 = 0. Is p a composite number?
True
Suppose -5*z + 24 = -z. Suppose 3*d + 6 - 78 = -3*o, -d - z = -5*o. Is d prime?
True
Let d be -251*1*(2 - 0). Is (1 - (-6)/(-4))*d a prime number?
True
Let n = 13 - 9. Is (-1)/n - (-282)/8 a composite number?
True
Suppose 273 = 2*s - 149. Is s prime?
True
Let g = -127 - -342. Is g a prime number?
False
Suppose -3*f = 3*l + 159, 141 + 67 = -4*l - 5*f. Let y = l - -94. Is y a prime number?
True
Let u = -86 + 455. Let s = 518 - u. Is s a composite number?
False
Let z(a) = -a**2 - 6*a + 8. Let p be z(-7). Let x(g) = g**3 + 4*g**2 + 3*g. Let o be x(-2). Suppose 2*r + 2*n = 30, -o*n = -r + p + 2. Is r a composite number?
False
Let a(l) = -21*l - 1. Let u(k) = -4*k**2 - k + 1. Let t be u(1). Is a(t) a prime number?
True
Suppose 4*k = k + 2127. Is k a prime number?
True
Let t(j) = j. Let x = 0 + -1. Let l be t(x). Is 2/(42/38 + l) a prime number?
True
Suppose 740 = 6*m - 2*m. Is m a prime number?
False
Let g be 6/(-4)*12/(-9). Suppose -3*h + 13 = -g*h + 3*d, 5*h = -3*d + 113. Is h prime?
False
Let o(t) = 4*t**3 - 5*t - 3. Is o(4) prime?
True
Let d(k) = 47*k**2 - 2*k - 7. Is d(4) prime?
False
Is (5 - -1)/(6/2721) prime?
False
Let t be (-1 - 0 - 0) + 1. Suppose t*j - 2*j = -12. Is (-101)/(-2) + j/(-4) a composite number?
True
Is (-2)/((-8)/2514)*(-8)/(-12) composite?
False
Let y(o) be the second derivative of -o**3/6 - 2*o. Let m be y(4). Is m/18 - (-994)/18 a composite number?
True
Let i = 2709 - 556. Is i a composite number?
False
Suppose 3*w = -3*q, 4*w - q - 6 - 4 = 0. Let n(c) = 9 + 4*c - 3*c**w + 3*c**2 - c**3 + 10*c**2. Is n(10) prime?
False
Let w(p) be the second derivative of p**5/20 + 11*p**4/12 - p**3/2 + 8*p**2 - 3*p. Is w(-11) prime?
False
Suppose 828 = -3*v - 0*x + 2*x, -2*v = -x + 553. Let s = v - -423. Is s a prime number?
False
Suppose 2*m - 7*m + 4*p = -31, -5*m = 2*p - 7. Suppose m*o + k - 575 = 0, 7*k - 581 = -3*o + 3*k. Is o composite?
False
Suppose -10*s = -4*s - 18. Let q = 17 - 2. Suppose q = -s*z, -2*r + 2*z + 2 = -46. Is r prime?
True
Suppose 77 = o - 710. Is o a composite number?
False
Suppose m + 8 = 4*w, 2 = -w + 2*w - 3*m. Let d = -4 - -6. Suppose -2*v + v + 5*f = -w, -4*f - 28 = -d*v. Is v composite?
True
Let t = -27 + 116. Is t a prime number?
True
Let s(b) = -5 + b - 5*b + b**2 - b. Suppose -3*q = -4*t + 35, -2*t - q - 17 = -4*t. Is s(t) a prime number?
True
Let c(p) = 2*p - 3. Let a be c(6). Let b be 9/a - 312/(-2). Suppose -2*q + b = -213. Is q prime?
False
Let t(m) = 4*m - 2. Let k be t(1). Suppose -743 = -k*f + 3*g, 0*g - 2*g - 744 = -2*f. Is f a prime number?
True
Suppose 0 = -3*p - 2*l - 2, -2*l = -p - 0 + 2. Suppose 4*j + 188 - 484 = 0. Suppose t - 3*t + j = p. Is t a composite number?
False
Let r(s) = -s**3 + s + 2. Let h be r(0). Is -1*110*h/(-4) prime?
False
Suppose -7 = q - 7*w + 4*w, 0 = 2*q - w - 1. Suppose -2*i + 3 = -j + q, -27 = -4*i - 3*j. Suppose 255 = -0*d + i*d. Is d a prime number?
False
Let q be (-2)/7 + (-531)/(-21). Suppose -2*w - q = -183. Is w composite?
False
Let o(a) = 7*a**2 - 9*a - 7. Is o(-6) prime?
False
Suppose 0 = -3*h + 4*g - 12, -16 = -5*g - 1. Suppose 28 = 2*k - h. Is k composite?
True
Let u(i) = 11*i - 10. Is u(7) a composite number?
False
Suppose -6*x = -x - 29065. Is x a composite number?
False
Suppose -6 = 3*d, -7*d = 5*v - 2*d - 25. Let x be 2 + 7/(v/24). Let y = 9 + x. Is y prime?
False
Let a = 5 - 2. Suppose -a*q - 77 = -4*q. Is q a prime number?
False
Suppose -y = 2*y. Suppose -5759 = -5*c + m, -c - m - 3*m + 1135 = y. Is c a composite number?
False
Let y = -1117 - -2372. Is y a prime number?
False
Let g = 2 + 0. Let o = g - -19. Is o composite?
True
Is 1133/2 - 12/8 a prime number?
False
Suppose -10 = -2*q, 3*t + q - 19 = -q. Suppose 0 = t*p + p - 20. Suppose p*n = -4*j + 65, -j = j. Is n a prime number?
True
Let g = 35 - 25. Suppose -5*l + 0 = -g. Suppose -v = -2 - l. Is v a composite number?
True
Let l(r) = -r**2 + 9*r - 5. Let u be l(9). Let s(y) = 10*y**2 - 46*y - 11. Let v(n) = 2*n**2 - 9*n - 2. Let g(d) = -2*s(d) + 11*v(d). Is g(u) prime?
False
Let h = -163 - -304. Is h a prime number?
False
Suppose -820 = -2*f + 178. Is f a composite number?
False
Let p(b) = -124*b - 91. Is p(-12) a prime number?
False
Let j(n) = -6 + 5*n**2 + 0*n + 3*n + 3. Is j(2) composite?
False
Suppose 52 = -5*i + 32. Let j(q) be the first derivative of -9*q**2/2 + q + 1. Is j(i) prime?
True
Let m(s) = -7*s**3 - 9*s**2 - 3*s + 5. Is m(-6) a prime number?
False
Let q(f) = -f**3 + 7*f**2 - f - 7. Let b(d) = d**2 + 4*d + 1. Let t be (4 - 2) + 0 + -7. Let w be b(t). Is q(w) a composite number?
False
Suppose -2 = 4*d - 14. Suppose d*c = -0 + 12. Is c a prime number?
False
Suppose 3*i - 20 - 4 = 0. Let f = 13 - i. Suppose -f*p = 5*t - 345, -t = 2*t + 4*p - 205. Is t prime?
True
Suppose -2*u = -3*j - 291, 3*u = -3*j + 61 + 338. Suppose 4*b - 50 - u = 0. Is b prime?
True
Let g = -11 - -15. Suppose -43 = -g*t + 81. Is t composite?
False
Let f = 4 + 2. Suppose f*h - h - 1325 = 0. Is h prime?
False
Let n = 52 + -31. Let u = 12 + n. Is u composite?
True
Let m = -841 + 1532. Is m prime?
True
Let d(n) = -n**3 - 5*n**2 + 5*n - 3. Let k be d(-6). Suppose 5*r - r + k*q - 2587 = 0, 0 = -r + 4*q + 661. Is r prime?
False
Let f = 503 - 340. Is f a prime number?
True
Let m = 22 + -27. Is 2/m - 7962/(-30) a prime number?
False
Is (2/4 + 0)*(-1 + 9943) composite?
True
Let u = -866 - -1335. Is u a composite number?
True
Suppose 5*p + w - 1465 = 0, 2*w = 2*p + w - 586. Is p prime?
True
Is 14/4*(-1 + 23) prime?
False
Let j = 2 - 0. Suppose 0 = -j*n + n + 3*w + 58, 5*w = n - 68. Is n prime?
True
Let k(p) be the second derivative of p**4/4 - 5*p**3/6 + 3*p**2/2 - 3*p. Is k(4) composite?
False
Suppose 3*z - 5*z + 10 = 0. Let o = 54 + z. Is o prime?
True
Suppose h = -6*g + 2*g + 18, -5*g + 2*h = -16. Suppose 4*x - 11 + 3 = -g*k, 2*k - 7 = x. Suppose -k*m - 116 = -r, -4*r - 2*m = 2*m - 544. Is r composite?
False
Suppose -3*l + 1885 = -5*c, 4*c - 2*c + 735 = 5*l. Let o = c