 f. Let i(h) = 8*h**2 + 5*h - 8. Let y(o) = i(o) + 2*j(o). Let l be y(-7). Let p = l - 166. Is p a composite number?
True
Suppose 3*d = -2*t - 2*d + 20, 16 = -5*t + 4*d. Suppose t = -5*w + 917 + 1068. Is w a prime number?
True
Suppose 33887 = 8*r - r. Is r composite?
True
Let g(z) = 748*z + 57. Is g(4) composite?
False
Let q = 2691 - -6770. Is q prime?
True
Let h(d) = 9 - 13*d + d**2 + 21*d + 0. Let l be h(-7). Suppose 2*y - 448 = -q - 7, -456 = -l*y + 2*q. Is y a prime number?
True
Suppose -2*z + 1600 = -4*j + 6*j, -3*z = 4*j - 3204. Suppose j = 4*d - 264. Suppose 4*w + 0*y - 356 = -4*y, 3*w = 4*y + d. Is w a composite number?
False
Suppose 0 = -5*j - 0*j - 4*m + 69435, 3*j - 41683 = 2*m. Is j composite?
True
Let f be (-11)/55 - 92/(-10). Let m be (f/(-12))/((-5)/(-740)). Is (m/15)/(1/(-5)) composite?
False
Let n(g) = -g + 9. Let r be n(7). Suppose -3*h + 3*a + 1748 = r*a, -4*h - 5*a = -2337. Is h composite?
True
Suppose 2*y - 55016 = 2*z, -4*y + 100391 = 2*z - 9647. Is y composite?
False
Suppose 2622 - 62 = 2*q. Is 1 - (-3)/(15/q) prime?
True
Suppose -5*g - 7453 = -6*g. Is g prime?
False
Suppose -w = 5*z - 572, 0 + 3 = -w. Let u = z + -24. Is u prime?
False
Let j(x) = 2*x + 17 - 1 - 5*x. Let g be j(0). Suppose t + 1 = g. Is t a prime number?
False
Let f(l) = 9*l - 457. Let x be f(0). Let b = 2160 - x. Is b prime?
True
Let n(q) = 2*q - 4. Let c be n(6). Let r = 6 - c. Is (r - -625)/(2 - 1) a prime number?
False
Let z(d) = 189*d - 67. Is z(10) a composite number?
False
Let z(b) be the first derivative of -b**3/3 - 3*b**2/2 + 491*b + 13. Is z(0) prime?
True
Let l = 93 - -55. Suppose r + l = 3*r. Suppose 2*g = 4*g - r. Is g a composite number?
False
Let a = -90 + 87. Is a + (-43)/(-3) - 1/3 a prime number?
True
Suppose -4*p - 2*d = 0, 3*d = -p - 4 - 6. Is (-1*1)/(2*p/(-2564)) a prime number?
True
Suppose -2*d = 38 - 328. Let a = 77 - d. Let x = a + 103. Is x composite?
True
Let u = 8278 + -4761. Is u a prime number?
True
Is (3/(132/40909))/((-1)/(-4)) a prime number?
True
Suppose -4*m + 5*j + 14273 = 3401, 5*j - 20 = 0. Is m composite?
True
Let o(q) be the second derivative of 55*q**3/3 - 7*q**2/2 - 5*q. Is o(18) a composite number?
False
Let c be 0 - 2 - -3*(-6)/(-9). Is (c/2 - (-8)/2) + 207 prime?
True
Suppose 5*i = 4*i - 1115. Suppose 0 = -2*n + y - 1301, -2*n - 2*y - 1286 = -0*n. Let o = n - i. Is o prime?
True
Suppose l + 5 - 5 = 0. Suppose 6*m + l*m = 2922. Is m a composite number?
False
Suppose 5*q + 5*w - 53 = -8, -w = -4. Is -2302*(13/(-65))/(2/q) a prime number?
True
Is (-8067)/(-12) - 6/(-8) prime?
True
Let w be 11 + (0 - 4/2). Let h = w - 9. Suppose 881 = 5*q - v, -2*q + h*v = v - 358. Is q composite?
True
Let w = 31 - 29. Suppose -w*i - 1564 = -2*n, -i + 1972 + 386 = 3*n. Is n prime?
False
Suppose -17*y = -32*y + 27915. Is y prime?
True
Let v(n) = -274*n + 2. Suppose 0*b - 3*b + 41 = -5*m, 3*b - 29 = 2*m. Let k be v(b). Let t = -1029 - k. Is t prime?
True
Let c = 6 + -1. Let w be (-1146)/(-8)*(-32)/(-12). Suppose 7*p - c*p - w = 0. Is p a prime number?
True
Let p(s) = -s**3 + 2*s**2 + 7*s + 9. Let a be p(4). Suppose 4*c - 686 = -a*d - 209, c + d = 119. Is c composite?
True
Suppose -71789 = -11*w + 36429. Is w a prime number?
False
Let z(p) = p**3 - 4*p**2. Let i be z(4). Suppose i = 5*v + 2*f - 571, f + 2 = 5. Is v - -4*(-4)/8 a composite number?
True
Let u(h) = 16*h**2 + 7*h - 7. Let z = 10 + -16. Is u(z) a prime number?
False
Suppose 0 = 3*r + v - 2752, v - 313 = -r + 601. Let g = -408 + r. Is g composite?
True
Is (-14 + 18)*(-10028)/(-16) composite?
True
Suppose 0 = -2*z - 0*z + 8. Suppose -10 = z*w + 54. Let v = w + 41. Is v a composite number?
True
Suppose 14*b + 47108 = 175166. Is b prime?
False
Let l = 59 - 21. Let u = -1 + 4. Suppose 2*f + l = u*f. Is f prime?
False
Let b(s) = 2*s**3 - s**2 + 3*s - 2. Let x be b(-3). Let y = 59 - x. Is y a prime number?
False
Suppose -2*k = 2*p - 164564, -106*k + 107*k - 82278 = 3*p. Is k prime?
False
Let i(f) = 2081*f**2 - 15*f + 11. Is i(1) a composite number?
True
Suppose 4*r = -2*p + 18756, r - 5826 = p - 1131. Is r a composite number?
False
Suppose 12 = 4*k, -2*p - 5*k = -2 - 1. Let l(c) = -35*c + 13. Is l(p) a prime number?
True
Let j be 5/(-35) - (-446)/(-14). Let b = 525 - j. Is b composite?
False
Suppose 0 = -13*z + 9398 + 11285. Is z prime?
False
Let k(u) = -8*u**3 - 5*u**2 + 2*u + 1. Suppose -q + 24 = -4*l, 2*q + 7 = -3*l - 0. Let d be k(l). Suppose 0 = 4*i + d - 3390. Is i composite?
False
Let y(s) be the second derivative of s**4/12 + 7*s**3/3 + s**2 + 5*s. Let u be y(-14). Is u/(-3) + 27013/51 a composite number?
True
Let n(d) = -4*d + 16. Let p(t) = -5*t + 16. Let m(w) = 6*n(w) - 5*p(w). Let b be m(-14). Is (-4)/b + (17 - -112) composite?
False
Let k(f) = f + 9. Let g be k(-4). Suppose -n = 2*w - 1065, 690 + 340 = n - g*w. Is n prime?
False
Suppose 18 = 3*q + 12. Suppose -q*r + 256 = -1190. Is r prime?
False
Let p be 18/3*-23 + 2. Suppose -u - 530 = 3*f, -3*f + 7*f - 12 = 0. Let i = p - u. Is i a prime number?
False
Let j(y) = 5*y + 8*y - 4*y + 0*y - 7 + 3*y**2. Is j(-11) a composite number?
False
Suppose -74*m - 536862 = -80*m. Is m prime?
True
Suppose 0 = 4*x - 4*y + 3*y - 15, -5*x + 20 = -y. Suppose 2*d + 758 + 1777 = 5*q, x*q + 3*d = 2560. Is q a prime number?
True
Suppose 0*h - 13035 = -5*j - 5*h, 0 = 2*j - 5*h - 5228. Is j prime?
True
Let v = 70 - 65. Suppose v*q - 2*o + 23928 = 86515, -2 = 2*o. Is q a prime number?
True
Let d be (-836)/7 - (-20)/(-35). Is ((-194)/3)/(16/d) prime?
False
Let m be ((35/6)/7)/(4/24). Suppose 0 = m*n - 15, 4038 = -3*d + 6*d + 3*n. Is d a composite number?
True
Suppose -1705 = -5*f + 5*n, f - 3*n - 242 - 97 = 0. Suppose i - 414 = -s, -i = -s - f - 66. Is i a composite number?
True
Let q(a) be the first derivative of a**3/3 - 2*a**2 - 3*a + 3. Let z be q(3). Is (-2)/z - 848/(-12) a prime number?
True
Let y = -19 + 21. Suppose -13 = -y*c + 4*n + 7, 5*c - 4*n - 20 = 0. Suppose 4*u - 7*u + 573 = c. Is u a composite number?
False
Let c be (103*(-2 + 1))/1. Suppose -y + 234 = 4*d, -5*d + 925 = 4*y - 0*d. Let k = y + c. Is k composite?
False
Suppose 2*j - 3*p = 124 + 280, 4*j - 824 = -2*p. Is j prime?
False
Let a = -79 + 158. Suppose -5*y + g + 395 = 5*g, y - 3*g = a. Is y a prime number?
True
Let f = 1202 + -571. Let z = f - 145. Suppose -s - i + 4*i = -z, -3*s - 3*i = -1398. Is s a prime number?
False
Suppose 7*a - 10*a + 4*h = -10268, -3*h - 13700 = -4*a. Let y = a + -157. Is y composite?
False
Let k(m) be the first derivative of -14*m**2 - 39*m - 16. Is k(-19) a composite number?
True
Let p(q) = q**3 + 32*q**2 + 33*q + 75. Suppose r - 3*v = 5*r + 115, -4*r - 5*v - 109 = 0. Is p(r) composite?
False
Let k = 10294 - 4887. Is k prime?
True
Let c be (-1036)/37 + (-5)/1. Suppose 5*i = -4*k - 520, -4*i + 3*i + k = 104. Let y = c - i. Is y composite?
False
Is (-4)/(-5)*(-840620)/(-88) prime?
False
Is 9 - (-77907)/36 - (-1)/(-12) a prime number?
False
Suppose -4*z = 3*u - u - 20, 4*z - 4 = 2*u. Suppose -2*n + 5*l + 316 = 0, 0*n + u*l + 474 = 3*n. Is n composite?
True
Let j(c) = -c**2 - 3*c + 2. Let y be j(-4). Let l be 6 + (-1 - 1)/y. Suppose l*q + 169 = 2*n + 2*q, -5*n + 470 = -3*q. Is n composite?
False
Let j = 19 - 13. Suppose 8*x - 226 = j*x. Is x a composite number?
False
Is 3 + ((-2)/4)/(1/(-5204)) composite?
True
Let h(a) = -147*a - 8. Let i(p) = 1. Let q(d) = h(d) + 3*i(d). Is q(-6) a composite number?
False
Suppose -6*r + 140 = r. Suppose r*j = 15*j + 545. Is j a composite number?
False
Let i(c) = 8*c**2 + 16*c + 283. Is i(-20) composite?
False
Let c(l) = -5*l**3 - 15*l**2 - 4*l + 3. Is c(-7) composite?
True
Let s be (-2)/7 - 244761/77. Let g = s - -5687. Is 4 + g/((-4)/(-1)) a prime number?
True
Let l(z) = 3168*z**2 + 35*z + 145. Is l(-4) prime?
False
Suppose 3*b - 2*h = 10543, -4*b + 2*h + 13907 = -147. Is b prime?
True
Let l be 3 + (0 - 2) + 0. Let y be (355/20)/(l/4). Let t = -33 + y. Is t prime?
False
Let h = 281 + -612. Is -4*(-4)/((-16)/h) prime?
True
Let o = 5415 + -2934. Is o a prime number?
False
Suppose -5*h + 4 - 19 = 0. Let o be (-9)/(3/1) - h. Suppose o = 2*t + t - 111. Is t composite?
False
Suppose 32*z = 29*z - 300. Is (80/z)/((-2)/(-5)) - -421 prime?
True
Let v(u) = u**2 + 3*u + 425. Let y be v(0). Suppose -30*k + y = -25*k