9*h**2 + 30*h - 850. Is w(17) composite?
True
Suppose 4*w - 2520424 = -5*b + 1757217, -4*w = 2*b - 1711042. Is b composite?
True
Let x = 712 - 588. Suppose 130*r = x*r + 108318. Is r a composite number?
True
Let l(q) be the second derivative of q**4/6 - 5*q**3/6 + 11*q**2/2 + 116*q. Let f be 2/2 + (4 - 1). Is l(f) composite?
False
Let c(t) = 37*t + 5. Let a be c(0). Suppose -a*j + 32862 + 27083 = 0. Is j prime?
False
Suppose 4*p - 282848 = 5*x, -122*p - x = -119*p - 212155. Is p a prime number?
True
Suppose 3*a + 171 + 24 = 0. Let n = a + 58. Is (-2149)/n - (-3 + 3) a prime number?
True
Let r(l) = 1163*l**2 - 663*l + 6741. Is r(10) prime?
True
Let i(x) = 78*x**2 - 31*x - 21. Let t be (-4 - 80/(-8))*2. Is i(t) prime?
False
Let z be (2/(-6))/(1 + (-167495)/167490). Suppose 11*j - z = 9349. Is j a composite number?
True
Let k = 16050 + 2145. Let f = 37034 - k. Is f prime?
True
Let h(t) = -77*t + 2. Suppose -31 + 9 = 11*y. Let b be h(y). Let s = -69 + b. Is s a prime number?
False
Let z = -13458 - -33301. Is z composite?
False
Suppose 0 = 3*z - 0*z + y - 157485, 4*y = 0. Is z prime?
False
Let p = 578236 - 242169. Is p prime?
False
Let b(h) = 2*h + 1. Let g be b(1). Suppose -5*i = -7*s + 3*s - 2487, -g*s = -6. Suppose -3*d = 3*o - d - 403, -4*o + i = -5*d. Is o a prime number?
True
Suppose 92*x - 82*x - 80 = 0. Is -6854*((-4)/x + 0) a composite number?
True
Suppose -r + 6 = 0, -531*r + 60669 = 3*u - 529*r. Is u prime?
True
Suppose 6*z - 3*z - 549 = 0. Suppose -3*d - 92 = -2*h, -4*d + 4*h - z = -59. Is 33/(-2)*220/d composite?
True
Is 4*3057/3 + -2 + -1 a composite number?
False
Let c be 10/(-4)*(-44)/10. Let v(y) = -y**3 + 13*y**2 - 24*y + 22. Let m be v(c). Suppose -5*s + m*s + 5 = 0, b = -s + 188. Is b a prime number?
False
Let b = -16032 + 23449. Is b prime?
True
Let q = 110276 + -42679. Is q prime?
False
Suppose -136 = -4*u - 2*d, 3*u - 120 = d - 8. Suppose -u*q = 6*q - 692790. Is q a prime number?
False
Let j = -220228 - -312002. Is j prime?
False
Let f(j) = -j**3 + 19*j**2 - 16*j - 45. Let i be f(18). Is -5 - i - 4 - (-2798)/1 a prime number?
False
Let t(a) = 197074*a + 5501. Is t(20) a prime number?
True
Let b = -27 + 31. Suppose 4 = -45*i + 47*i. Suppose -f - 2*y + 18485 = b*f, -7395 = -i*f - y. Is f prime?
False
Suppose 0 = -3*s - 2*l - 2, -3*l = 4*s + 7 - 5. Let r(n) = -904*n + 9. Is r(s) a composite number?
True
Suppose 2*k - 1 = 7. Suppose 4*w + 3 = u + 12, 3*u - 21 = -k*w. Suppose -1061 = -4*p - 0*p - u*h, 3*p - 3*h = 822. Is p composite?
False
Suppose 14603 = i + 6*b, -43875 = 26*i - 29*i + 4*b. Is i composite?
False
Let q(a) = 285*a**2 + 66*a - 2209. Is q(-63) a prime number?
False
Suppose -5*l + t - 5574712 + 590588 = 0, -3*t - 3 = 0. Let h be (-2 - l/35) + (-6)/(-21). Is h/9 - (1 - 2/(-6)) prime?
True
Let q(k) = -122*k + 5. Let c be 61/(-3) - (-5)/15. Let z be q(c). Suppose -5*t - 790 + z = 0. Is t prime?
True
Suppose -6*x + 1888023 = 3*m - 3*x, -x + 2 = 0. Is m prime?
True
Let z(u) = u**3 - 6*u**2 + 17*u - 45. Let q be 2 + -9 + 20 + 1. Is z(q) composite?
True
Is (2 - 283251/(-6))*11/((-66)/(-12)) a prime number?
True
Let d = -43 + 167. Suppose 322 + 1638 = 8*t. Let s = t - d. Is s prime?
False
Suppose -4561 = -r + y, -3*r - y + 22805 = 2*r. Let h = 7950 - r. Is h prime?
True
Suppose c - 43664 = -5*b, 77*c + 2*b = 78*c - 43643. Is c a prime number?
True
Let t = -161 - -164. Suppose 2590 = t*g + 4*o, 2*g + 3*g = -4*o + 4314. Is g composite?
True
Let y = -129 - -129. Suppose 87*u - 81*u - 36762 = y. Is u a composite number?
True
Let k(m) = -m**3 + 4*m**2 + 6*m - 3. Let v be k(5). Suppose -v*f - 3*f = 5*i - 1990, -2*i + 4*f = -772. Let d = 816 - i. Is d composite?
True
Suppose 101 = 4*a + 85, -4*a = -3*d + 3417137. Is d prime?
False
Let q = -67 + 84. Let m(g) = -8*g - 17 - q*g + 49. Is m(-11) composite?
False
Let d(n) = 1. Let t(h) = 133*h**2 - 11*h + 23. Let l(c) = -4*d(c) + t(c). Let s be l(6). Suppose -2*v + 3*b = 4*b - s, 4*b + 4746 = 2*v. Is v prime?
True
Let z = -10189 + 10762. Is z prime?
False
Let r(v) = 15358*v - 73. Let m(n) = -15363*n + 73. Let i(f) = 4*m(f) + 3*r(f). Is i(-1) prime?
True
Suppose 28*m + u + 191650 = 31*m, 0 = 4*m + 2*u - 255530. Is m composite?
True
Let m = -915184 - -1616265. Is m a prime number?
False
Suppose -63271018 - 10610171 = -340*j + 42854071. Is j a prime number?
False
Let o(z) = 289*z**3 + 2*z**2 - 2*z + 1. Suppose -1 + 2 = p. Let h be o(p). Let r = -199 + h. Is r a composite number?
True
Let c be 221954/(-38) - (-18)/(-171). Suppose -3*r + 150 + 752 = 4*j, 5*j = 3*r - 884. Let a = r - c. Is a a prime number?
False
Suppose -176*z + 4*o - 44851 = -177*z, -44815 = -z + 2*o. Is z composite?
True
Is 2/18 + (-6076)/(-882) - (-221400)/2 a composite number?
True
Let l(u) = 116*u**2 + 5*u + 7. Let z = 122 - 99. Suppose 17*v - z*v = 36. Is l(v) composite?
False
Let h be 72/18*(2 - 1). Suppose -h*v + 12 = -56. Suppose v*j - 12*j = 635. Is j a composite number?
False
Let n(c) = -c**3 - 24*c**2 - 78*c + 68. Is n(-35) prime?
True
Let b(a) = a + 3. Let v be b(2). Is (-2)/(v - (-4 + 13))*4162 a composite number?
False
Suppose 0 = -i - 2*j + 17, -4*i - j + 71 = -18. Is (20/(-8)*-5458)/(i/23) prime?
False
Let k(g) = -615*g + 32. Let h(j) = -1234*j + 65. Let a(d) = 3*h(d) - 7*k(d). Is a(4) prime?
True
Suppose 26*b = -20*b + 12926. Suppose -2*c - b = 5*f - 857, -3*f = 6. Is c a composite number?
False
Suppose 5*t = 4*w - 7*w + 12, -4*t + 16 = 4*w. Suppose 0 = 3*i - 335 - 16. Suppose -3*x + 525 + i = t. Is x a prime number?
False
Suppose -432*j - 4729857 = -465*j. Is j a prime number?
True
Let v = -24 + 28. Suppose -4 = v*n - 12. Suppose -6*q + n*q = -2332. Is q prime?
False
Let h(k) = 34*k**2 - 4*k - 293. Is h(-17) composite?
False
Let f be -216*(-290)/87*(11 - 0). Let i = 440 - -115. Suppose i - f = -3*m. Is m a composite number?
True
Suppose f - 3258016 = 5*a, -a + 8281905 = 3*f - 1492191. Is f a composite number?
True
Is ((-9882072)/(-396))/(3/(-33)*-2) prime?
True
Suppose 16*b = 451660 + 426500. Suppose -x = -4*x + b. Is x prime?
False
Let q be (7 + -34)/(-3) - 9. Suppose q = -60*r + 57*r, 0 = -5*f - r + 69815. Is f prime?
True
Let z = 41153 + -1206. Let b = -18328 + z. Is b composite?
True
Is (-405534)/6*(-1 - 6)/7 composite?
False
Suppose -2*f - 60 - 4 = -i, 0 = -3*f - i - 91. Let q = f + 45. Let g(t) = 21*t + 41. Is g(q) a prime number?
False
Let x = -21341 + 75462. Is x a composite number?
False
Is 12812*(-5)/(-40)*(3 - -43) prime?
False
Let j(w) = 229*w**2 - w - 1. Let z be j(-1). Let t = -29 + 29. Suppose 5*l - z - 2926 = t. Is l a composite number?
False
Is -1*(-572235)/(-20)*(15 - 19) a composite number?
True
Let d = -186764 - -328525. Is d composite?
False
Let h(k) = -23*k**2 + 35*k - 181. Let j be h(5). Suppose -3*r - 8 - 4 = 0, 0 = 5*u - 4*r + 7384. Let o = j - u. Is o a composite number?
True
Let c = 130 + -9. Let o = 230 - c. Suppose -3*p + o = s, -s - s + 5*p = -174. Is s a prime number?
True
Let v be 6/14 - (-3)/(-7). Let l be v + 2 - (5 + -5). Suppose b - 2*b = -5*w + 3989, 1610 = l*w - 4*b. Is w a prime number?
True
Let q = -12424 - -29195. Let l = -6588 + q. Is l composite?
True
Let k(a) = 15451*a**2 - 10*a + 13. Is k(-2) a prime number?
True
Let t be (2 - 0)/((13/2)/13). Suppose -3164 = -10*d - t*d. Suppose -5*i - 5*l + 305 = -330, 0 = -2*i + 5*l + d. Is i prime?
False
Let d(m) = -6*m + 2 + 10*m + 4*m**2 - 5*m. Let x be d(1). Suppose -4*g + 427 = 5*q - 854, 2*g = x*q - 1257. Is q composite?
True
Let j(y) be the first derivative of 483*y**2/2 - 56*y - 132. Is j(11) a composite number?
True
Is 113453*-1*(1 + 1 - (26 - 23)) composite?
False
Let b(c) = 12*c - 1. Let x be b(3). Suppose 0 = 2*w - 7*w + x. Suppose -w*r - 1024 = -16991. Is r a prime number?
True
Let v = -43 - -45. Let m(o) = 2 + v*o + 6*o + 3 + 21*o. Is m(6) composite?
False
Is ((-114)/4)/(8/(-14) + 18584/32816) a composite number?
True
Let l = -169 - -168. Let c(h) = -17457*h + 10. Is c(l) a prime number?
True
Is (-2)/14 + (-4104)/378 + 1188564 a composite number?
False
Let g = -344058 - -708857. Is g a prime number?
False
Let w(h) = 53*h**2 + 2*h + 26. Let f be (2/6)/((-4)/(-108)) + -4. Is w(f) a prime number?
True
Suppose -1103844 = -3*q - 119*w + 114*w, 4*w + 1471824 = 4*q. Is q composite?
True
Let n(b) be the second derivat