0 = s*y + x - 6*x - 331. Is y a prime number?
True
Is (-3)/(-1) - (7 - 11625/5) a composite number?
True
Suppose 9*h - 14*h + 90 = 0. Let d(x) = 203*x + 17. Is d(h) a prime number?
True
Let a be (-7 - 73)*((-25)/(-2))/(-1). Suppose -800 - a = -4*k + 2*m, -m - 1351 = -3*k. Is k a composite number?
True
Let o = -139 - -256. Let w = o + -60. Is w a prime number?
False
Is (4/(-8))/(1/(-2434)) a prime number?
True
Suppose -17*c = -13*c + 2*t - 75348, 5*t + 75376 = 4*c. Is c composite?
False
Let y(m) be the first derivative of -128*m**2 - 1. Let z be y(-2). Let r = -289 + z. Is r composite?
False
Suppose -4*h - 834 - 5194 = 0. Let b = -342 - h. Is b a composite number?
True
Let q be 2/5 - (-66014)/65. Is q/24*6/2 prime?
True
Let l(f) = -724*f**3 + 18*f + 37. Is l(-2) prime?
False
Let y = -1 - -5. Let q = 4 - y. Suppose q = 4*i - 818 - 26. Is i prime?
True
Let a = 272 - 104. Let r(u) = 12*u**3 + 3*u - 1. Let i be r(2). Let p = a - i. Is p a composite number?
False
Suppose t = 5*t + 4*p - 6948, 5*t - 3*p - 8701 = 0. Is t a prime number?
False
Suppose -k + 3*s = 7*s - 14, -5*k + s + 7 = 0. Is 5672/k - (4 + 1) a composite number?
True
Suppose -6*z = -5*z. Let y(k) = 55*k + 13. Let u be y(10). Suppose z = -5*c + 522 + u. Is c a prime number?
False
Let t(m) = -7*m + 12. Let n be t(10). Let u = n + 189. Is u composite?
False
Let w = -108 + 108. Suppose -8*c + w*c + 3032 = 0. Is c composite?
False
Suppose m = -m + 4. Suppose -5*a = -4*d + 19, -8 + 0 = m*d. Let o(t) = -15*t - 16. Is o(a) a prime number?
True
Suppose 0 = -45*i + 28*i + 276267. Is i a composite number?
True
Suppose -4*y = 304 + 320. Suppose 130 = q - 147. Let k = q + y. Is k composite?
True
Let u be (-2)/(-4)*109*-6. Is (1 - 1*u) + 3 prime?
True
Is ((-16333)/3)/((-77)/231) composite?
False
Let w(f) = 2*f + 2. Let y be w(-6). Let r = -8 - y. Suppose r*z - 3 = 3, -5*z = 5*x - 570. Is x a composite number?
True
Suppose 3*s - 2*b - 19 - 15 = 0, 2*s + 9 = -5*b. Let y(f) = 0 - f**3 - s*f**3 - 3*f**2 + 5*f + 4 + 2*f**2. Is y(-3) composite?
False
Suppose -273*x + 272*x + 3821 = 0. Is x a composite number?
False
Let m = 10 + -7. Suppose y = -2*i + 102, 163 = 5*i + m*y - 91. Suppose 0 = 4*u - 5*h - 199, 2*u - i = 3*h + 47. Is u a composite number?
True
Let v(h) = 1 - 15*h**2 + 0 - 11 - 5*h**3 - 7*h. Let l(w) = -4*w**3 - 14*w**2 - 7*w - 9. Let o(u) = -6*l(u) + 5*v(u). Is o(9) prime?
True
Let i = 10 + -8. Suppose -7 = f - 2*b - i, b - 7 = 5*f. Is ((-10)/6 - f)*-51 composite?
True
Let h = 17 + 5. Is h/((2 + (-48)/21)/(-1)) a prime number?
False
Suppose -14*g + 21*g = 8939. Is g a composite number?
False
Suppose 15*p = -34*p + 202517. Is p composite?
False
Suppose 3*c = 2*c + 2*w + 3, 0 = -4*c - 4*w + 12. Suppose -c*m + 2064 = -243. Suppose m = 6*y - 437. Is y a prime number?
False
Suppose -2*h - 9*r = -12*r - 29855, 5*h + r = 74612. Is h a composite number?
False
Let d(p) = -p - 6. Let t be d(-6). Suppose 4*r = -4*z - 4, -5*z - 5*r + 8*r + 19 = t. Suppose -11 + 97 = z*g. Is g a prime number?
True
Suppose 0*s - 2*s = 8, -2*h = -4*s - 144. Suppose -d + h = -0*d. Is (6/2 - d)*-3 composite?
True
Is ((-46956)/(-9) + 2)/(6/9) a composite number?
False
Suppose -9*x = -153892 - 1007. Is x prime?
False
Suppose 4*b + 417849 - 104409 = 0. Is b/(-36)*((-1)/(-2) + 1) a composite number?
True
Let k(v) = 876*v - 17. Is k(10) composite?
True
Suppose 4 - 3 = -n. Let t be 2656/8 - 1*n. Suppose 5*u - z - t = 0, -5*u + 498 - 171 = -4*z. Is u a prime number?
True
Let p(r) = 11*r**3 + 11*r + 11*r**2 + 3*r - r + 25 - 10*r**3. Is p(-6) composite?
False
Let h = 14633 - 10368. Is h a composite number?
True
Let i(k) = -18*k**2 + 6*k - 11. Let o(d) = 72*d**2 - 23*d + 45. Let t(n) = -9*i(n) - 2*o(n). Is t(5) prime?
True
Suppose -f = z - 2014, 3*z - 1896 = -f + 112. Is f a prime number?
True
Let y(z) = z**3 + 11*z**2 - 8*z - 5. Suppose 0 = 5*i + 17 + 13. Is y(i) composite?
False
Suppose -30 = -5*r - 5. Suppose -3*v + n + 6 = -0*n, -18 = -r*v - n. Is (-67)/(2*v/(-12)) prime?
False
Is ((-57)/38)/((-1)/(14888/6)) a prime number?
False
Let b(h) = 3*h**2 + 4*h - 5. Let l be ((-16)/10)/((-3)/45). Let c = l + -14. Is b(c) a composite number?
True
Let s(a) be the first derivative of 68*a**3 - a**2 - 2*a - 8. Let q be s(-1). Suppose -c - 43 = -q. Is c a composite number?
True
Suppose -11*m + 13*m = 18782. Is m a prime number?
True
Let w = 31403 - 15358. Is w a composite number?
True
Let m(b) = -4 - 7 - 4*b + 2*b**2 + 12. Is m(5) a prime number?
True
Is ((-614)/(-4))/((-47)/(-470)) prime?
False
Suppose -5*o = -2*j + 28572, -23*j - o - 42845 = -26*j. Is j a prime number?
True
Let m be 14/(-5) - 3/15. Let c(f) = -78*f + 17. Is c(m) a composite number?
False
Is (-151512)/(-56) + -4*1/7 a composite number?
True
Suppose -2*i = -4*t + 14072, -10543 = -3*t - 12*i + 8*i. Is t composite?
False
Suppose -4*b - 5*y + 5263 = 0, 3*b - 5283 = -b - y. Let h = -795 + b. Is h a composite number?
True
Let p(b) = -b**2 - 13*b - 12. Let a be p(-12). Suppose a = 4*t - 789 - 215. Suppose 0 = -3*u + 2*u + t. Is u a composite number?
False
Let v = -1743 + 2593. Let a = -431 + v. Is a a composite number?
False
Suppose 0 = -0*x + 4*x - 8. Suppose 0 = -3*a - 2*a + x*l + 1619, 4*l = -a + 337. Suppose 0*o = 5*o - a. Is o composite?
True
Suppose 5*x = -3*w + 9 + 19, 0 = w - 4*x + 19. Let b(d) = 855*d + 7. Is b(w) prime?
False
Let k(d) be the first derivative of d**3/3 + 6*d**2 + 4*d + 6. Let b be k(-13). Suppose 293 = -b*f + 18*f. Is f prime?
True
Suppose r = 4*v + 117 + 8228, v - 2 = 0. Is r prime?
True
Let r be (-3 + 126/10)*30. Suppose -2*w - 3*o - 4862 = -7*w, w - o = 972. Let t = w - r. Is t prime?
False
Suppose -528 - 700 = -4*k. Is k composite?
False
Let k be 7 + -2*2/4. Let a(v) = -v**3 + 7*v**2 - 5*v - 4. Let g be a(k). Is ((-376)/(-12))/(g/15) a composite number?
True
Let c = 188 - 43. Let g(f) = 0 + c*f + 0 + 3. Is g(2) composite?
False
Let k be ((-4)/6)/((-6)/27). Suppose k*o = o + 6. Is (185 - o) + 6/2 prime?
False
Let t = 7095 - 4334. Is t a composite number?
True
Let l(a) = 11*a**3 - 8*a**3 - a + 1 - 6 - 2*a**3 + 6*a**2. Let y be l(-4). Suppose -4*b - 823 - y = -2*v, -v = -b - 423. Is v a prime number?
True
Let m(z) = 1646*z**2 - 110*z - 7. Is m(8) a prime number?
False
Let k(c) = -15*c - 2. Let j be k(-12). Suppose 1361 = 4*h - 0*r - 3*r, -4*h + 4*r + 1360 = 0. Let i = h - j. Is i prime?
True
Let y be (-7)/((-21)/(-2))*(35 + -5). Is (10552/y)/(4/(-10)) a prime number?
True
Let f(t) be the third derivative of 4*t**6/15 - t**5/20 + 5*t**4/24 - t**3/3 - 2*t**2. Let r be f(3). Let o = r + -351. Is o a prime number?
True
Let l(r) = r**2 + r + 1. Let n(a) = 8*a**2 + 10*a + 7. Let t(f) = -6*l(f) + n(f). Let h = 9 + -6. Is t(h) a composite number?
False
Let l = 11401 - 7130. Is l composite?
False
Suppose 4*s = -o + 10975, -2*s + s = -3*o - 2747. Suppose -i + s = i. Suppose -5*p + 2403 = -z, 5*p - 3*z - 1027 = i. Is p composite?
True
Suppose 3*h + 5 = 20. Suppose -2*v = -4*g + 12, -5*g + 3*g = -h*v - 6. Suppose v*a - 4*a = -524. Is a a prime number?
True
Let q = 1838 - 1018. Suppose 0 = -5*s - 5*c + 3775, 2*c + q + 1425 = 3*s. Suppose 0*g = -3*f + 2*g + s, 0 = 2*g - 8. Is f composite?
True
Suppose 3*n = 15 - 6. Suppose n*r + 304 = -r. Let j = r + 141. Is j prime?
False
Suppose -1808 = -2*i + 15*r - 18*r, 6 = 3*r. Is i prime?
False
Is ((-7)/(42/(-4)))/(6/31959) composite?
True
Suppose 0 = 5*v + n - 76760, 5*v + 4*n - 46528 = 30217. Is v a composite number?
True
Let a = 28497 + -15056. Is a a prime number?
True
Suppose 0 = -2*w - 13 + 9, -4*u = -3*w - 14434. Is u a composite number?
False
Is (-3 - 14501/(-4))*(-8)/(-2) a composite number?
False
Let u = 35 - 33. Is ((-71974)/(-308) + 4/(-22))*u prime?
True
Let o(v) = v**2 - 11*v + 17. Let j be o(9). Is 1 + 3 + (288 - j) a composite number?
False
Suppose 22*x = 25522 + 4420. Is x composite?
False
Let q(f) = -7*f + 9. Let o = -1 + -10. Is q(o) prime?
False
Suppose 11 = -3*a - 7. Let q be (a + 11)*4/10. Suppose 0 = -4*x - x + 15, q*x - 751 = -5*m. Is m a composite number?
False
Let u = 3686 + -93. Is u a prime number?
True
Let u(o) = 4*o**3 - 3*o**2 - 25*o + 29. Is u(9) composite?
False
Suppose 0 = -2*k - 0*o - o + 69565, -3*k + 5*o = -104354. Is k prime?
False
Let t be -7 + (2 - 0)/2. Let q be (-644)/(-21) + 4/t. Suppo