- 8878 = 24931, -4*a - 33815 = -3*w. Is w a prime number?
False
Let g = 56 - 11. Suppose t + 0 = 8. Let p = g + t. Is p prime?
True
Let o(c) be the third derivative of -13*c**4/3 - 17*c**3/2 + 35*c**2. Is o(-8) prime?
False
Suppose 5*z = -5*q + 17160, 0 = -5*z - 4*q + 5*q + 17130. Is z prime?
False
Is ((-24)/144)/((-1)/37302) prime?
True
Let n(s) = 139*s**2 + 17*s + 6. Let z be n(7). Suppose -b + 4 - 5 = 0, 5*b = -f + z. Is f composite?
True
Let j(d) = 709*d + 31. Let r be j(11). Suppose 7*a - r + 977 = 0. Is a a prime number?
False
Let o(t) = t**2 + 4*t - 6. Let w be (-7 - -6) + 14 + -2. Is o(w) composite?
True
Let u(v) = 17*v**2 + 37*v - 22. Is u(-12) a composite number?
True
Suppose 0 = -p + 2. Let o = p - 0. Suppose 0*c + o*c = 4*f - 2524, -3*f + c = -1893. Is f prime?
True
Let n(b) = 921*b + 220. Is n(9) a composite number?
True
Let x(n) = 8*n**2 - 16*n - 9. Is x(-8) a composite number?
False
Let z(o) = 2*o**3 - 2*o**2 + 2*o + 1. Suppose 4*q - 18 = q + g, -q - 4*g - 7 = 0. Is z(q) a composite number?
False
Let n be (-2 + (-2)/2)/(-3). Is 751*((4 - 4) + n) prime?
True
Let c be (-52)/(-3) - (-8)/12. Let g be c/(-12) + (-6)/(-4). Suppose 0 = 5*z - k - 96 - 645, g = 3*z - 2*k - 439. Is z prime?
True
Let c = 1752 + 14503. Is c prime?
False
Suppose -20 = 5*w, 4*n - 872 = 5*w + 2692. Let q = n + -252. Is q composite?
True
Is 12802/12 + (-109)/(-654) composite?
True
Let a(h) = -25*h**3 - 6*h**2 + 22*h + 10. Is a(-9) a composite number?
False
Let g = 4 - 1. Suppose r - h - 20 = 0, 0 = g*h - 6*h - 15. Suppose -r - 11 = -p. Is p prime?
False
Let k = 75216 + -44923. Is k composite?
False
Let j = -6 - -9. Suppose 2*t - 2*w - 24 - 266 = 0, -442 = -j*t - 4*w. Is t composite?
True
Suppose -3*m - 2*m + 5*g - 10 = 0, 4*m - 2*g = 0. Let p be -3 + 9/6*m. Is 40 - 0 - (p + -3) prime?
True
Suppose 384*d = 386*d - 130. Is d composite?
True
Suppose 5*l = 2*x - 22, -5*x - 2*l + 27 = 1. Let i(v) = 3*v**2 - v + 4. Let g be i(x). Let r = g - 3. Is r composite?
False
Let x(n) = -22*n**3 + 5*n**2 + 3*n + 1. Is x(-3) a prime number?
True
Suppose -6*j + 476 = -14002. Let f = j + -1130. Is f a composite number?
False
Suppose 0 = 27*n - 28*n - m + 8713, 0 = -n - 2*m + 8709. Is n composite?
True
Let o(d) = d**2 - 4*d + 5381. Is o(0) prime?
True
Suppose 0 = 4*k - 34 + 10. Suppose 4*i = 4*v + 208, -4*v - 2 = -k. Is i composite?
False
Let n = 97 - 95. Suppose 0 = 2*t + n*a - 778, -4*a = -3*t + 1666 - 485. Is t a prime number?
False
Suppose -k + 4*k = 0. Suppose -2*u - 2*u + 28 = -4*r, k = -5*r - 20. Let f(a) = 19*a**3 + a**2 - 1. Is f(u) a prime number?
True
Let c be 1 - (3 - -1)/(-4). Suppose c*z - 54 = 90. Is (-18)/z - (-6394)/8 composite?
True
Let g = -8 - -6. Let r be (-3)/4*g*4. Is (26/r)/(2/66) prime?
False
Let i = 40 + -38. Suppose i*v + 455 = 1793. Is v prime?
False
Suppose 2*y - 1875 = -445. Suppose -5*q + s + 1774 = 0, -2*q + 4*q - y = -5*s. Is q a prime number?
False
Let n = -1 - -3. Let c be 3 - n/((-4)/6). Is (-3)/c*-302 + -2 prime?
True
Let o(a) = 24*a - 13. Let m(n) = -n**2 - n - 20. Let i be m(0). Let g be -5*4*14/i. Is o(g) a prime number?
False
Suppose 11 = w - l - 59, 4*l - 65 = -w. Let v = 34 + w. Is v a prime number?
True
Let v(j) = 11*j**2 - j. Let s be v(1). Suppose -s = -2*c + 10. Is (9 - c)/(1/(-59)) a composite number?
False
Let k be (1 - 2)/(1/(-811)). Let j = -42 + k. Is j a prime number?
True
Let u be 3/((-18)/(-32)) + (-16)/(-24). Let y(w) = 37*w**2 + 6*w - 7. Is y(u) a prime number?
True
Suppose 82*s + 202244 - 4235742 = 0. Is s prime?
False
Let v = -17 + 11. Let c(d) = -141*d + 5. Is c(v) composite?
True
Let j be (-33)/(-44) - 1250/(-8). Suppose f - 357 = 5*i + j, -4*i = 4*f - 2128. Is f a prime number?
False
Suppose 6*l = l - 15, -2*d = 2*l - 12200. Suppose -d + 1921 = -6*m. Is m a composite number?
True
Let l = 19 - 18. Let a be (8/4 + l)/1. Suppose 2481 = 5*w + 2*v, a*v + 516 = 2*w - 484. Is w prime?
False
Let k = -30 + 32. Suppose 5*v + 2*z = 1775, 5 = k*z - z. Is v a prime number?
True
Is 8/(-10) - (56816/(-20) - -3) a composite number?
False
Suppose 0*l - 6522 = -2*a - 4*l, -3*a + 9798 = 3*l. Is a prime?
True
Let q = 3 + -1. Suppose m = -q*m + 15. Suppose 0*o + 75 = m*o. Is o prime?
False
Suppose -4*r - 3121 = -u, 59 - 2391 = 3*r + u. Let h be 1/4 + (-8930)/8. Let q = r - h. Is q a prime number?
True
Suppose -27*w = -30*w + 15. Suppose 4*r - 2810 = -2*j + r, -2*j + 2818 = w*r. Is j a prime number?
True
Let s = -13323 + 69776. Is s prime?
True
Let a(n) = -1072*n + 227. Is a(-8) composite?
False
Let a(d) = 25184*d**2 + 8*d - 13. Is a(2) a composite number?
True
Suppose 12 = -4*n, 4*j - n = -3 + 6. Suppose 3*a - 4 - 13 = 2*c, a - 3*c - 15 = j. Is a/2*76/6 prime?
True
Is (2 + (-49)/21)/(2/(-2658)) composite?
False
Suppose c + 8 = 2*q, c + 12 = 3*q - 2*c. Suppose 1388 = 5*k - k. Suppose -4*x = q*m - 1128, 222 = 2*x + m - k. Is x a prime number?
False
Let q(x) = x - 3. Let p be q(5). Suppose 3*t - 4*k - 741 = 0, 0*t - p*k = t - 257. Is t composite?
False
Let v = -11755 - -26916. Is v composite?
False
Is 85*(100 + -1) - (-12 - -16) prime?
False
Suppose -f + 14 = -3*p, -f = -p + 2 - 8. Suppose 5*y = -3*o + 71, -f*o + 1 = y + 3*o. Suppose 4*j + 5*v = 204, v = -2*j + 80 + y. Is j composite?
True
Let o(l) be the second derivative of l**3/2 - 2*l. Let s be o(1). Suppose -4*h + 290 = 3*t, 3*h - s*t - 376 = -2*h. Is h a prime number?
False
Let w be (-222)/2*(3 - (-30)/(-9)). Let o = 228 - w. Is o prime?
True
Let h = -15 - -19. Suppose -4 = n - h*f - 8, -4*f = 0. Suppose 0 = d - n*d + 165. Is d a prime number?
False
Suppose 4283 = 2*q + x, -x + 5493 + 3070 = 4*q. Suppose -3*r + q = 2*v, r = 5*v + 2*r - 5337. Is v a prime number?
False
Let x be 665/(-75) - 2/15. Is 5339/8 + x/24 a composite number?
True
Suppose 248 = 2*q - 0*p - 2*p, -2*q + 266 = 4*p. Is q a composite number?
False
Let u be ((-2)/3)/((-13)/39). Is ((-266)/(-4))/(1/u) a prime number?
False
Let f(h) = 60*h**2 - 1. Let i = -12 + 4. Let j = 9 + i. Is f(j) a composite number?
False
Let q be 56/14 + 0 + 2 + 1. Let f(d) = 5*d**3 + 8*d**2 + 9*d + 4. Is f(q) a prime number?
False
Suppose -5*m - 45*m = -239150. Is m a prime number?
True
Let b(v) be the first derivative of -1427*v**2/2 - 21*v + 23. Is b(-2) a composite number?
False
Let l(k) = -11*k - 9. Let w be 1/1 + -4 + -1. Is l(w) composite?
True
Let b(v) = 2*v**3 - 37*v**2 + 2*v - 6. Let y be b(16). Is 5/25 - y/5 prime?
True
Let l(h) be the first derivative of h**3/3 + 4*h + 5. Let g be l(0). Suppose -g*w - 21 + 173 = 0. Is w composite?
True
Is 16194 + (-5 - 6) + 0 a composite number?
False
Let q(z) = 803*z + 18. Is q(7) composite?
False
Let r(o) be the third derivative of -4/3*o**3 + 1/30*o**5 - o**2 + 0 + 17/24*o**4 + 0*o. Is r(-15) a prime number?
False
Let f = 13 + -7. Suppose 0 = -2*o + f*o - 1696. Let d = o + -125. Is d composite?
True
Let d(x) = -x + 3. Let b(r) = r - 3. Let w(a) = -6*b(a) - 5*d(a). Let y be w(0). Suppose -79 = -y*q + u + 9, -5*q - 4*u = -175. Is q a prime number?
True
Let y(r) = r**3 - 8*r**2 + 4*r + 7. Suppose -2*f = -0*f - 16. Is y(f) composite?
True
Suppose c + 266 + 343 = 0. Let s = -247 + 1299. Let u = s + c. Is u a prime number?
True
Let r be 0 + (3 + 4/(-2))*0. Suppose -3674 = -4*c - 2*l - 1192, 3*c + 3*l - 1854 = r. Is c a composite number?
True
Let p(n) = -465*n + 427. Is p(-18) a prime number?
False
Let d = 2185 - 1306. Is d composite?
True
Let a = -1186 + 3488. Is a a prime number?
False
Let v be 5/15 + (-866)/6. Let n = 293 + v. Is n composite?
False
Let d(t) = 4*t - 9 + 1 + 2 + 3*t**2 + 4*t**2. Is d(4) a prime number?
False
Let c be 0 + 1 - (0 + -3). Suppose -2*i = m - 2233, c*i + m = 2*m + 4469. Is i a composite number?
False
Suppose -t + 15 = 4*t. Suppose -3*z - t*r - r + 2173 = 0, -4*z + r + 2891 = 0. Is z/5 + (-2)/(-5) a prime number?
False
Let t(g) be the first derivative of -185*g**2/2 + 2*g - 5. Is t(-1) prime?
False
Suppose -2709 = 5*g - 319. Let p = g - -1185. Is p a composite number?
True
Let o(r) = -29*r**2 + 7*r - 1. Let q be o(-3). Let h = -142 - q. Is h a prime number?
False
Suppose -75 = -n - 2*n. Suppose -d - 5*l - n = 0, -3 = -5*l - 28. Suppose d = -o + 297 - 46. Is o prime?
True
Let a(b) = 7502*b**2 + 2*b + 1. Let n be a(2). Suppose 13*q + 6002 - n = 0. Is q a composite number?
False