**2 - 16*h + 23. Let i be f(15). Let q(t) = 8*t - 17. Let c be q(i). Suppose -39 + c = 2*w. Is w composite?
True
Let r be ((-100)/15)/(-20) + 35306/(-6). Let i = 9270 + r. Is i a composite number?
True
Is (1934/(-4))/(57/(-25422)) a composite number?
True
Let v(m) = -46*m**3 + m. Let c be v(1). Let q = 296 + c. Is q a prime number?
True
Let p be 15 + 264945 + 0 + 3. Suppose 20173 = 16*f - p. Is f composite?
True
Let s = -558175 + 975042. Is s a composite number?
True
Let t(y) = -179*y - 285. Let d(c) = 178*c + 283. Let x(u) = 7*d(u) + 6*t(u). Is x(9) a prime number?
False
Let g(w) = 56*w**3 + w**2 + 2*w - 17. Let b(q) = q**3 - q**2. Let d(i) = 2*b(i) - g(i). Is d(-4) prime?
True
Let o(l) = 201*l**2 + 365*l + 11. Is o(43) a prime number?
False
Suppose 0 = -3*f - 0*f + 9. Suppose -8238 = -3*o - f*o. Is o a composite number?
False
Suppose 0*d = 3*d + 2*z - 40, 2*z + 40 = 2*d. Suppose -11*i - 11790 = -d*i. Suppose 0 = 5*b - 3*k + 291 - 6151, -2*b = -4*k - i. Is b composite?
True
Let q = 1600 - 11130. Let s = -4029 - q. Is s a prime number?
True
Suppose 3012*g = 3061*g - 13529929. Is g prime?
False
Let y be 232/6 + (-69)/9 + 7. Suppose y*h - 2157 = 35*h. Is h prime?
True
Suppose 13*d + 13965 + 9058 = 0. Let u = 3984 + d. Is u composite?
False
Let o = 32 - 28. Let z(m) = 87*m - 55. Is z(o) composite?
False
Let m be (40/(-30))/(2/(-15)). Suppose 7*b = m*b + 6. Is (-3945)/b - 16/(-32) a composite number?
False
Let h(a) = 169573*a - 1413. Is h(4) prime?
False
Suppose 47*g = 42*g, 5*g = m - 8927. Is m prime?
False
Let r(f) = f + 28. Let v be r(-31). Let j(i) = -189*i - 7. Let s(l) = l. Let p(h) = j(h) + s(h). Is p(v) composite?
False
Let y(o) = 153*o**2 + 3*o - 9. Let r be y(-5). Let b = r - -4989. Suppose -4*f - b = -2*u, -u + 4375 = -6*f + 8*f. Is u a prime number?
False
Suppose -o + 902 = -c, o - 6*c - 906 = -3*c. Suppose 3*r + 7*y - 2*y = 4468, -y + 4472 = 3*r. Suppose -3*t + r = -o. Is t prime?
True
Let h be -2 - 6/3 - 0/10. Is ((-38888)/(-20) - 0)*(-10)/h prime?
True
Suppose 3*c - r - 2801590 = -1154593, 5*c = r + 2744991. Is c a prime number?
False
Let w be (0 - -4 - 4)/1. Is w - (14 + -15)*(1061 - 0) a prime number?
True
Let u be (-2 - -1)/((-9)/(-188865)). Is 7/((-140)/u)*12/9 composite?
False
Let k(f) = 23*f**3 + 7*f**2 + 7*f + 11. Let b = -52 - -58. Is k(b) a composite number?
False
Suppose -21 = 3*h - 6*h + 3*u, -h - 2*u = 5. Suppose 4*q - h*m - 3269 = 0, 5*m + 796 = 6*q - 5*q. Is q composite?
False
Let x(o) = -2*o**3 + 12*o**2 + o - 9. Let r be x(6). Is (-2 - -261*2) + r prime?
False
Let d(x) = x**2 + 3*x. Let p be d(-3). Suppose p*s = 2*s - 4270. Suppose 6*j - j = s. Is j prime?
False
Let p(x) = 151*x + 33. Let j(q) = -755*q - 164. Let v(r) = 2*j(r) + 11*p(r). Suppose -3*t + 3*w + 27 = 0, -5*w + 20 = t + 29. Is v(t) composite?
False
Let h(c) be the first derivative of 200*c**2 - c - 29. Is h(2) a composite number?
True
Let f = 43 - 38. Suppose 3715 - 335 = -f*a. Let x = a + 1827. Is x a prime number?
True
Let c(s) = -s**3 - 4*s**2 + 4*s - 7. Let i be c(-5). Is (-1)/i*2488 + 5 a prime number?
True
Let a(k) = k - 4. Let x be a(9). Suppose x*z - 608 = 727. Suppose 3*t - z = 1122. Is t a composite number?
False
Suppose q = 5*p + 27309, 109190 = 4*q - 201*p + 204*p. Is q composite?
False
Let c(b) = 522*b - 85 - 39 - 130 + 49. Is c(6) prime?
True
Let n(d) = 2*d + 22. Let g be n(-9). Suppose t + 2*x + 396 = -t, 0 = -5*t - g*x - 986. Let y = -117 - t. Is y a prime number?
False
Suppose -17*y + 7 = 7. Suppose 5*r + 5*o - 6545 = y, -o = 2*r - 0*o - 2622. Is r prime?
False
Is 716160 - (-3 + -4)/(3 + -10 - -6) prime?
False
Let k(o) be the third derivative of -5*o**4/24 - 19*o**3/6 - 5*o**2. Let h be k(-5). Suppose -h*c = 5*c - 5269. Is c prime?
True
Suppose 28*i - 16*i + 744 = 0. Is i - -1524 - (-3 - 0) a prime number?
False
Let y be (5 - -7)/((-24)/(-9) - 2). Suppose -96102 = -0*f - y*f. Is f a composite number?
True
Suppose -4*a = 2*j - 2602, a + 4*j - 2612 = -3*a. Let x = 69 + a. Is x composite?
True
Suppose -3 = -30*l + 29*l. Is 898 + -3 + l + 1 a composite number?
True
Suppose -4*b + 54348 = 4*f, -5*f - 4*b = -91149 + 23219. Is f a prime number?
False
Let k(v) = 723*v**2 + 21*v + 227. Is k(-13) composite?
True
Suppose -2*o + 306 = -4*b + 3*b, 0 = -5*b. Let r = o - 94. Is r composite?
False
Let p(u) = -31029*u - 3385. Is p(-12) composite?
True
Let w be (-144)/60*(-5)/(-2). Is (-33)/(-9) - 5 - 16574/w a composite number?
True
Let l be (5 - 6 - 76/(-20))*930. Let q = 2230 + l. Is q composite?
True
Let f = -12546 + 70949. Is f composite?
False
Let i(m) = 9*m**3 - 8*m**2 + 24*m - 67. Let l be i(-14). Let c = 71194 + l. Is c a prime number?
False
Is 1/8 + (-203955)/(-40) composite?
False
Let a = -145 + 151. Suppose -a*h = -11*h - 100. Is (-22184)/(-20) + 4/h prime?
True
Let a(s) = -3*s**2 + s + 25*s**3 - 6*s**3 + 5394 - 9*s**3 - 9*s**3. Let h be a(0). Suppose -3*q = -3*w + h, -w - q + 1786 = -6*q. Is w prime?
True
Suppose -2*m = 5*b - 9981667 + 1809636, 0 = -4*b + 2*m + 6537632. Is b a composite number?
False
Let s(u) = -22*u**2 - 38*u + 8. Let a be s(-7). Is (-1 + 0)/(4/a) prime?
False
Let z = 115905 + -58216. Is z a composite number?
False
Let t(j) = 906*j**3 + 4*j**2 - 5*j - 11. Let p(c) = 302*c**3 + c**2 - 2*c - 4. Let y(q) = -8*p(q) + 3*t(q). Let s be y(-1). Let r = s + 509. Is r composite?
True
Suppose -367 = 14*p - 115. Is 7101/p*(-2)/3 prime?
True
Suppose 0 = 42*z - 38*z. Is -6*7/21 - (-1363 - z) prime?
True
Suppose 3*p + 38*p = -4*p + 28385865. Is p a composite number?
False
Let i = 408855 + -266558. Is i prime?
True
Let j be -9 + 959/105 - 139504/30. Let z = 10529 + j. Is z prime?
True
Let o be ((-30)/(-25))/(6/(-30)). Is (958/o)/((-22)/66) composite?
False
Let s(d) be the second derivative of -3*d**3 + d**2 - 31*d + 16. Let a = 7 + -11. Is s(a) a composite number?
True
Let k(g) = 9304*g**2 - 25*g - 128. Is k(-3) composite?
True
Let y(o) = 39*o**2 + 10*o - 2778. Is y(61) a composite number?
True
Suppose -10*h = -2*p - 7*h - 24, -p - 22 = h. Let x(a) = -78*a + 19. Is x(p) prime?
True
Let s(u) be the first derivative of 7*u**2 + 12 - 8*u**2 + 49*u - 29*u**2. Is s(-8) composite?
True
Suppose 5*f + 3*c + 60 = 0, 10 = 10*c - 12*c. Let x(z) = -424*z - 69. Is x(f) composite?
True
Is -3*-2*(-4)/(-42) - (-244920060)/294 a prime number?
False
Suppose -9*q + 16437 = -83184. Is q a composite number?
False
Suppose 1 - 16 = -5*k + 3*s, -3*k = -s - 9. Suppose 2*m - 14 = k*m. Is (-133190)/(-70) + (-4)/m composite?
True
Let s = -67676 - -138305. Let c = -46388 + s. Is c a prime number?
False
Let g(b) = 240*b**2 - 18*b - 11. Let o be 2/4*(-258)/43. Is g(o) prime?
True
Let j be (-4)/(-16) + 17*2/(-8). Let w(z) = z + 7. Let u be w(j). Suppose -3*q = u*b + b - 1160, -2*b - 2*q + 578 = 0. Is b prime?
True
Let m be (-72)/(-15)*30/24. Suppose m*a = 16317 + 27729. Is a prime?
False
Suppose -3*x + 4*x - 12 = 0. Suppose -22*h = -x*h - 44390. Is h prime?
False
Let n(k) = -k**3 + 15*k**2 - 141*k - 275. Is n(-112) composite?
True
Let c(k) = 31*k + 12. Let o(q) = -32*q - 11. Let b be 2/(-2) - 11/(33/15). Let y(u) = b*c(u) - 5*o(u). Is y(-6) prime?
True
Let c be (-3 - (-1 - 1))*2. Let u be (3 - 104) + -1 + c. Let t = 9 - u. Is t prime?
True
Let p(g) = g**3 + 3*g**2 - 5*g - 5. Let a be p(-4). Let m be a/2 + (-8910)/(-20). Let q = m - -358. Is q a composite number?
True
Suppose -427 = -71*a + 10*a. Suppose -4*c = -3*f + 10, 1 + 2 = 4*f + 5*c. Suppose -f*s - 21 = -n, -4*s - 15 = -a*s. Is n a composite number?
False
Let u = -1030 - -1054. Let y be 353 - (-1)/1*2. Let r = y + u. Is r prime?
True
Suppose -4*v = -13*v + 2439. Suppose 3*q = -5*y + 424, 2*q = 4*q + y - v. Is q prime?
False
Suppose 7949 = 4*q - 3*c, -3967 = -2*q + 4*c - 5*c. Suppose -q = -2*j + 3179. Suppose -5*t = 757 - j. Is t composite?
True
Suppose -307*m + 295*m + 248412 = 0. Is m composite?
True
Let o(f) = 361*f**2 + 20*f - 106. Is o(7) composite?
True
Is (3912567/102)/(((-12)/32)/(60/(-16))) a composite number?
True
Let c(m) = m**3 - 3*m**2 - 2*m + 3. Let x be c(7). Let t be (55/10 + -6)/((-1)/14). Suppose -x = 2*f - t*f. Is f a composite number?
False
Let l(w) = 8144*w**2 - 1253*w + 3764. Is l(3) prime?
False
Suppose 4*b - 2*k - 162414 = 0, -5*b - 8*k = -10*k - 203021. Is b composite?
True
Let c(z) = z**