 g = 13162 + -8705. Suppose 5*o = 582 - g. Is o/(-3) - (-20)/(-15) prime?
True
Suppose -8*f = -15060 - 51428. Is f a prime number?
True
Let d(h) = 3*h**2 + 11*h + 7. Let b be d(-5). Let p(c) = -16*c + 19 - 12*c + b*c. Is p(-12) prime?
True
Let n(y) = 20339*y - 995. Is n(6) a prime number?
True
Suppose -8*i - 707 = -9*i. Is i a composite number?
True
Is (38997 - -2)*(-29 - -30) + -6 composite?
False
Suppose 7*x + 727 = 2*x + 4*i, 725 = -5*x + 5*i. Suppose 3*z - 575 = -4*w + 2*w, -w + 4*z = -282. Let h = w + x. Is h composite?
False
Let o = 14016 + -31782. Is (-1)/(1/(-2)) + o/(-6) composite?
False
Let l = 8432 + -5887. Is l prime?
False
Let s(y) = -9*y**3 - 4*y**2 - 2*y + 2. Let i(a) = a**2 - 2*a - 11. Let c be i(4). Is s(c) a composite number?
True
Suppose 23*p - 69326 = -11*p. Is p prime?
True
Let w = -72 - -72. Let s(j) = -j**3 - j**2 + 2*j + 1371. Is s(w) composite?
True
Let r(c) = 105*c - 5. Suppose 0*v + 16 = 4*v. Is r(v) a prime number?
False
Suppose 13*b - 100005 = 30788. Is b a composite number?
False
Let m(g) be the first derivative of 2*g**3/3 + 12*g**2 + 26*g + 4. Is m(-20) a prime number?
False
Let z = -24 + 27. Let d(w) = 31*w - 2. Let o(r) = 47*r - 3. Let i(k) = -7*d(k) + 5*o(k). Is i(z) prime?
True
Let v = 113 - -380. Suppose -v - 422 = -5*a. Let j = -89 + a. Is j a composite number?
True
Let y(l) = 139*l**3 - l**2 + l - 6. Let t(o) = -o + 1. Let n(d) = -3*t(d) - y(d). Is n(-2) a prime number?
False
Suppose h + j = -0*h - 12, 4*h - 2*j = -72. Let a be (21/28)/(2/h). Is 24/(-16)*136/a a prime number?
False
Let l(g) = g**3 + 17*g + 17. Is l(20) prime?
False
Let y(p) = 300*p - 14. Let f(o) = 150*o - 7. Let i(h) = -5*f(h) + 3*y(h). Is i(2) a composite number?
False
Let g = 3060 - 1561. Is g composite?
False
Suppose 27*x + 2*v = 30*x - 50812, -84665 = -5*x - v. Is x a composite number?
True
Suppose 5*n - k = 4 + 146, -2*n + 60 = 3*k. Suppose 4*f - 2*o - n = 0, 24 = 3*f + o + 9. Is (f/(-10))/((-4)/20) prime?
True
Let d be (70 + -4)*((-23)/3 + -2). Let x = d + 1753. Is x prime?
False
Let f(y) = 30028*y**2 - 4*y + 5. Is f(1) a composite number?
False
Suppose 4*m = -m - 10. Let q = 2 + m. Suppose q = 4*k - 8, 3*r - 5*k - 12 = 227. Is r a prime number?
True
Suppose -u - 3*j = -2*u + 95512, -u = -4*j - 95508. Suppose 4*z - 76406 = -2*f, -6*z + u = -z - 3*f. Is z/56 - (-2)/(-16) composite?
True
Let y = -2196 + 1520. Let c = -267 - y. Is c a prime number?
True
Let w be (-132)/(-15) - 12/15. Let f = 14 - w. Let x(l) = 17*l + 13. Is x(f) prime?
False
Let y(s) = 5*s + 10. Let a be y(-5). Is 4 - (-54)/a - 1606/(-10) prime?
False
Let i = -4313 + 8268. Suppose 0 = -z + 5*u + 762, 5*z + 2*u + 2*u = i. Is z prime?
True
Suppose 3*d - 6 = -3. Let r be (-3)/d*(-3)/(-9). Is (-1 - (r + -166))/2 prime?
True
Let o(v) = 78*v**2 - 3*v - 13. Let g = -63 + 69. Is o(g) a prime number?
True
Suppose 4*b - b + x = 8276, 4*b - 11038 = -3*x. Suppose -2*f = -1120 - b. Is f composite?
True
Let v = -1551 + 2933. Is v prime?
False
Let u = 81761 + -47848. Is u composite?
True
Let a = -167 + 762. Suppose 4*u + 3 - 15 = -4*i, 0 = 4*u + 16. Suppose -a = -i*n + 2*n. Is n composite?
True
Suppose -1249 = -77*q + 76*q. Is q a prime number?
True
Suppose -3*y = -276 - 69. Let p = 24 + y. Is p a composite number?
False
Let t(u) = -u + 10. Let q be t(7). Suppose -98 = -q*r + r. Suppose 2*k + r = n, -n + 161 = 2*n + k. Is n a composite number?
False
Suppose -m - 3086 = -2*b, 42*m - 47*m - 7715 = -5*b. Is b composite?
False
Let q be -3*6/9*11. Let l = -10 - q. Let z(u) = 40*u + 7. Is z(l) a prime number?
True
Let z be (-48)/3*6/8. Let c = 16 + z. Is (-6)/4 - (-226)/c composite?
True
Suppose 3*h - 11 = -5. Suppose -4*t + 4252 + 226 = h*a, -3*t + a = -3346. Is t a prime number?
True
Suppose -2*j = 3*v - 7962 - 29357, 3*j = 2*v - 24875. Is v composite?
True
Is 3/2*(-1428702)/(-99) a prime number?
True
Suppose -o = -3*t - 5, 3*t - 5*t = -5*o - 1. Let j be 5 + 2 - (t + -1). Is ((-44)/j)/(8/(-40)) prime?
False
Let l = 5933 + 5798. Is l composite?
False
Let n(l) = 7*l**3 + 3*l**2 - 3*l + 5. Let q be n(4). Suppose 831 = 2*w - q. Suppose 0*z - u = 3*z - 988, 2*z + 2*u = w. Is z a composite number?
True
Let l be (-2)/9 + 87/27. Suppose 2*a + l*c - 680 = 0, -1009 = -3*a + c - 0*c. Is a a prime number?
True
Suppose 5*j - 3449 = 9301. Is (-1 - (-5 - j))/2 a composite number?
False
Suppose 2*b - 635 = -5*n, 5*b - 503 = n + 1152. Let m = -27 + b. Is m a composite number?
True
Suppose 32*i + 136243 - 1001619 = 0. Is i prime?
True
Suppose -2*j = -5*v + 6 - 0, 5*v - 12 = -j. Suppose -4*m + 153 = 2*i - 3*m, -2*m = -6. Suppose i = -j*u + 249. Is u composite?
True
Let z(k) = -239*k**3. Let j(i) = i - 6. Let x be (2 - 3 - -6)/1. Let o be j(x). Is z(o) a prime number?
True
Suppose 2*b + 0*b + 12 = 0. Let z(r) = -6*r**3 - 8*r**2 + r - 5. Let v be z(b). Suppose -318 = -5*y + v. Is y a composite number?
False
Suppose 10*b - 15330 = -2720. Is b a prime number?
False
Let b(l) be the second derivative of -l**5/20 - 3*l**4/4 + 3*l**3/2 - 5*l**2 + 2*l. Let i be b(-10). Suppose i = 4*d - 47 - 53. Is d composite?
True
Let p(c) = -115*c**3 + c**2 - c - 1. Let d be p(-2). Suppose -8*x + d = -91. Is x composite?
False
Let s = 7169 + 12770. Is s composite?
True
Let u = -254 + 671. Suppose 3*f - u = 1830. Is f prime?
False
Let n = -576 - -386. Let k = 321 + n. Is k composite?
False
Suppose -1355 = q - 2*q - 2*y, 5*q - 5*y = 6715. Is q prime?
False
Suppose 4*u = 5*q + 33, 3*u - 3*q = 4*u - 21. Suppose 15*o - u*o = 30. Suppose -7*j = -o*j + 4431. Is j composite?
True
Suppose h - 2 - 2 = 0. Suppose h*a - 2329 = 5259. Is a prime?
False
Let f = 2877 - 544. Is f a prime number?
True
Suppose -33*n - 13855 = -50914. Is n composite?
False
Let l = 119 - -33. Let i = -235 - -196. Let g = l - i. Is g a prime number?
True
Let m(p) = p**2 + 6*p - 22. Suppose -3*i + 36 = -c - 2*c, 0 = 4*i - 5*c - 45. Is m(i) prime?
True
Let x(r) = 2*r**3 + 6*r**2 + 18*r - 125. Is x(17) a prime number?
False
Let q = 87 - 50. Let b = 96 + q. Is b prime?
False
Suppose 6*i = 42427 + 34331. Is i a prime number?
False
Let h(t) = -117*t - 1 - 104*t - 7. Is h(-11) a composite number?
False
Let d = 9861 + 1912. Is d composite?
True
Let b = -62 + 74. Is ((-111)/b)/(((-27)/12)/9) prime?
True
Let v(o) = 3*o**3 - o**2 - 2*o. Let m be v(3). Suppose 4*k = -f + 1083 - m, -249 = -k + 5*f. Is k prime?
False
Let k(z) be the first derivative of 13*z**2 + 5*z + 2. Let o(i) = 51*i + 11. Let a(d) = 7*k(d) - 3*o(d). Is a(3) a composite number?
False
Let n be (-38)/(-133) - 5/(-7). Suppose -n + 15 = 7*j. Let m(a) = 39*a + 4. Is m(j) a prime number?
False
Suppose 48 = -5*d + 8. Let m be 24712/32 - (-2)/d. Suppose -m = q - 3*q. Is q a composite number?
True
Let j be (-1)/(1/(-593)) - -4. Let x = j + 880. Is x a prime number?
False
Let l = -13 + 10. Let i be l/9 + 336/9. Let j = i + 32. Is j a composite number?
True
Let h = -120 + 130. Suppose h*p - 23912 = -7902. Is p prime?
True
Suppose l - 2*o + 9113 = 2*l, -3*l - 2*o = -27331. Suppose -l = -21*f + 6032. Is f a composite number?
True
Let x = -5 - 4. Let j be (-13)/(-1) - (x + 10). Is (586/(-6))/(j/(-36)) a prime number?
True
Let g(a) be the second derivative of 13*a**4/2 - a**3/3 - a**2/2 + 9*a. Let n be -1 + -1 + 0 + 1. Is g(n) a prime number?
True
Let y be 6/(-8) + 77/28. Suppose -y*v - 3*a + 533 = 0, -5*v - 3*a + 1310 = -0*v. Is v a prime number?
False
Suppose -52727 = -6*s + 12067. Is s composite?
False
Suppose 18*f - 82654 - 1244180 = 0. Is f a composite number?
True
Let k(q) = -40*q + 3. Let s(f) = 40*f - 4. Suppose -2*n - 2*n + 8 = 0. Let w(r) = n*s(r) + 3*k(r). Is w(-4) composite?
True
Let f(v) = 1247*v**3 - 4*v**2 + 13*v - 7. Is f(2) composite?
True
Suppose 0 = -42*n + 6*n + 453780. Is n a prime number?
False
Suppose 3*h - 1616 = -4*i - h, 5 = -h. Is i a prime number?
True
Suppose -3*r + 8454 = 732. Let g = -1135 + r. Is g a composite number?
False
Let s(l) = l**2 - 8*l. Let f be s(8). Suppose 0 = -5*y + 2*h + 1375, y - 2*h - 33 - 234 = f. Is y prime?
True
Let l(u) = -63*u**3 + 3*u**2 - 4*u - 13. Let o be l(-4). Is (o/6)/((-1)/(-2)) a composite number?
False
Let i(z) = 5*z - 2. Let a be i(1). Suppose 8*d - 305 = a*d. Suppose 93 + d = 2*j. Is j a prime number?
False
Let n = 1407 + 286. Is n a prime number?
True
Le