ose -3*c = 3*c + 138132. Let t = -15980 - c. Suppose -g - t = -5*q, -5*g = -3*q - 3*g + 4221. Is q a prime number?
True
Suppose 173*k - 19546614 = -173555. Is k a composite number?
True
Suppose -52*l - 5178919 = -57*l + 2*d, 2*l - 2071597 = 5*d. Is l prime?
True
Suppose -2*y = 1411 - 6719. Suppose -72*r + 71*r = -y. Is r a prime number?
False
Suppose 735 = -21*d - 777. Let n = d - -451. Is n prime?
True
Suppose -14*b = -9*b + 125. Let q be (-2)/(b/(-35) + -1). Suppose -786 - 1517 = -q*t. Is t prime?
False
Suppose -52*y + 4760351 + 6094834 = 113*y. Is y prime?
True
Suppose -3*t = -2*x - 2808309, -23*t + 4680511 = -18*t - 2*x. Is t composite?
True
Let c(k) = 1 + 1 - 3*k**2 - 11 - k**3 - 7908*k - 5 + 7910*k. Let z = -13 + 7. Is c(z) composite?
True
Let y = 12 + -10. Is (y + -7)*(-46635)/75 composite?
False
Suppose -o = -4*o + 3, 2*o = -5*y + 95272. Suppose 105*a - 103*a - y = 0. Is a a prime number?
False
Suppose -328*o + 392*o - 2324544 = 0. Is o a prime number?
False
Let y(z) = z**2 + 13*z + 15. Let m be y(-16). Let v = -57 + m. Is 1/((-9)/(-5673)) + v/9 prime?
True
Suppose -10*u = -26 - 4. Suppose -15 = u*r, -6*r - 20817 = -2*t - 11*r. Is t composite?
True
Suppose -10153072 = -54*a + 6144830. Is a composite?
False
Let p(h) = 5565*h + 248. Is p(11) a composite number?
False
Let y be (1115 + -1)/((-96)/(-8) + -10). Let u = y - 303. Is u composite?
True
Suppose 4*v - 2716 = 5*g, 8*g + 2*v = 5*g - 1634. Suppose 0*z = -5*z - 4705. Let b = g - z. Is b composite?
False
Let i(u) = -u**3 - 52*u**2 - 53*u - 2263. Is i(-65) a composite number?
True
Let c(x) = 2*x**3 - 48*x**2 + 60*x - 45. Let o be c(47). Suppose 3*y - o = 5*q - 291777, -3*y - 3 = 0. Is q composite?
True
Is ((14 - 166/12) + 4427885/6)*5 prime?
False
Let k(m) = 1212*m**2 + 146*m + 7. Is k(-9) composite?
True
Let a = 1088 + -722. Suppose -4*k = -247 + 1267. Let c = a + k. Is c composite?
True
Let k(x) = 1482*x - 7. Let p = -405 - -415. Is k(p) prime?
True
Let x(j) = 1009*j**2 + 550*j - 553*j + 19 - 99*j**2. Is x(4) a composite number?
True
Suppose -37*p = -69*p + 112352. Is p a prime number?
True
Is 2415 - (3 + -107)/(-13) a prime number?
False
Let u be 18/(-81) + (-325595)/(-9). Suppose 0 = -26*b + u + 40861. Is b prime?
True
Is (-1562925)/(-27) - -1 - (2 + -1)/9 prime?
False
Let v(p) = p + 13. Let n be v(2). Suppose n*r - 1228 = 11*r. Is r composite?
False
Let b = 6035 - 4186. Let z = -708 - -2550. Let v = z + b. Is v prime?
True
Suppose u = -4*u + 6025. Let i(y) = -43*y**2 + 2*y + 26. Let d be i(-2). Let o = d + u. Is o a composite number?
True
Suppose -2*f - 6 = -4*u - 2, -5*u = -f - 8. Suppose u*m - 30413 = -10671. Is m a prime number?
True
Suppose 4*k = 2*k + 8. Let u(o) = -131*o**3 + 154*o**3 + 9 - o**2 + 9*o**2 - 12*o. Is u(k) a prime number?
False
Suppose -2*w = -3*b - 262, 2*b + 0*w = 3*w - 173. Let f be (-2)/(-5) - b/5. Suppose -9*m + f*m - 666 = 0. Is m a composite number?
True
Suppose 25*c = 36391 + 85134. Is c a composite number?
False
Let v(o) be the third derivative of -o**6/360 + 19*o**5/120 + o**4/8 + 4*o**3 + 28*o**2. Let y(l) be the first derivative of v(l). Is y(17) a composite number?
False
Let x(c) = 2*c + 31. Let h be x(-15). Let b be (h/3 + 46/(-3))/1. Let f(d) = d**2 - 16*d - 34. Is f(b) prime?
True
Let o(n) = 25*n - 55*n + 3 - 1 + 5 - 27*n. Let y = 2 + -4. Is o(y) prime?
False
Let v be ((-32014)/8)/((-105)/1260). Suppose 9*u - 41394 - v = 0. Is u a prime number?
False
Let k = -340 + 80973. Is k composite?
True
Let c(b) = -30 - 17 + 2 + 2402*b - 12 - 16. Is c(3) a composite number?
True
Let y = 22 - 20. Suppose -2*h - 5*r = 0, -r + 2*r = -y. Is 1949*5/25*h a prime number?
True
Is 18/(648/(-6867012))*(-7 + 1) a composite number?
True
Is 1366016 + (-11)/(11/25) composite?
True
Suppose 4*i + 3 = 5*y - 6, 33 = 5*y + 2*i. Suppose 13*r - y*r = 112. Is 53595/63 + 4/r a prime number?
False
Let z(u) be the first derivative of -31*u**2 - 4*u - 9. Let x be z(-3). Suppose 4*q + 1178 = 4*r + x, -752 = -3*r + 2*q. Is r a prime number?
False
Let b = 140801 + -61230. Is b a composite number?
True
Let h(o) = o**2 - 22*o - 70. Let r be h(25). Suppose r*p - 4154 = -3*v + 28203, v = 4*p - 25872. Is p a composite number?
False
Is 22/(660/(-70))*-158811 a prime number?
False
Suppose -20 = -5*s + h, 6*s + 5*h + 13 = 2*s. Suppose -s*p + 2*a + 3*a = -3734, 3*p + 4*a = 3779. Suppose 499 = 2*i + 3*z, -5*i - z = z - p. Is i composite?
False
Let g be -31 + 1216 + (-1 - -1 - 3). Let v = 2435 - g. Is v prime?
False
Let r be ((-25)/(-20))/((-2)/(-8)). Suppose 3*l = -r*n - 15, 4*n - l + 29 = -0*n. Let a(c) = 4*c**2 + 8*c + 7. Is a(n) a composite number?
False
Let z = 376860 + 200623. Is z a composite number?
False
Let i(q) = -362*q + 37. Let k(g) = 724*g - 72. Let m(c) = -7*i(c) - 3*k(c). Is m(6) a prime number?
True
Suppose -33 = 9*y - 12*y. Suppose -y = -5*b - 1. Suppose b*d + 242 - 1036 = 0. Is d a prime number?
True
Let j = 404 - 389. Suppose j*b - 4*b = 128447. Is b prime?
True
Is 5 - 893/171 - 1*(-23943795)/27 composite?
False
Suppose -2*a - h - 18 = -0*a, -3*a - 3*h = 30. Suppose -4*u - 20 = -c + 2*c, 5 = -u - c. Is 2/(-3)*(u + 1844/a) prime?
True
Let s(p) = 52*p + 34. Let q(y) = -53*y - 34. Let m(z) = -6*q(z) - 5*s(z). Let t be m(17). Suppose t = 5*f - 12005. Is f composite?
True
Is 36/(-42) + 4202844/84 composite?
False
Let h = -45 - -43. Let b be (14 - -2)*(-1019)/h. Suppose 3*c - b = -787. Is c composite?
True
Let q be (-1 - 2 - (-1 + 7))*-3. Let s(a) be the first derivative of 32*a**2 + 49*a + 7. Is s(q) a composite number?
False
Let x = -6592 - -43059. Is x composite?
False
Let w be -3*3/(-9)*3. Let d be 220/66 + (-4)/w. Is d/(-10) - (-4224)/20 composite?
False
Suppose 3*s = -5*m + 12, -8*s - 4 = -4*s. Is -6124*(-4 + 0) + m composite?
False
Let r = 31 - 26. Let g be (-5 - r)/((-6)/177). Suppose 4*b = u + 2*b - g, -5*b = u - 323. Is u composite?
True
Suppose 0 = -r - 4*p + 14416, 0*p - 43238 = -3*r - 2*p. Let n be r/11 - (4 - 42/11). Let s = 3105 - n. Is s prime?
False
Let k = -331 - -199. Is (50402/k)/(1/(-6)) a prime number?
False
Let j(m) = 2*m**2 - m - 12. Let w be j(0). Let u be 1/w*-9 - 2002/(-8). Let h = 1546 + u. Is h composite?
True
Let d(r) = 3*r**2 + 12*r - 80. Let t be d(27). Let q = -1400 + t. Is q a prime number?
True
Is 664919/(-93)*3*-1 prime?
False
Let u(s) be the first derivative of s**4/2 + 28*s**3/3 + 8*s**2 - 5*s + 9. Is u(-12) a prime number?
True
Suppose 4*c = 6*c - p + 1, 0 = -c + p - 1. Suppose 5*g - 5*f - 30935 = 0, 3*f - 12 + c = 0. Is g composite?
True
Suppose -3*o - 4*l = 2806, -3*l = o + 4*o + 4695. Is (o/4)/(6/(-12)) composite?
True
Let c(j) = -37*j**3 + 5*j**2 + 494*j + 41. Is c(-17) a composite number?
True
Suppose -2*h - 110 = -2*p, 119 = p + p + h. Suppose -4 = 9*c - p. Suppose -c*m + m + 15 = 0, -4*q + 4*m = -12560. Is q prime?
False
Let z = 477976 + -336491. Is z composite?
True
Suppose -2*w + 673 = 4*g - 1773, 5*w = 2*g - 1205. Suppose -h = -1 - 1. Suppose -388 = -h*s + g. Is s a prime number?
True
Suppose 0 = -q - 7, 0 = 4*v - 289*q + 284*q - 193243. Is v a prime number?
False
Let r(f) = 6*f**2 - 20*f - 10 - 24*f - 20*f + 59*f. Is r(8) prime?
False
Is 117/884 - (-4)/(-16) - 3151785/(-17) a prime number?
False
Let x(c) be the second derivative of -14*c - 7/6*c**4 + 0 - 1/10*c**5 + 0*c**2 - 1/6*c**3. Is x(-11) a composite number?
True
Is ((-4)/6)/(44/(-34082862)) composite?
False
Let d(r) = 4*r**2 - 31*r + 13. Let v be d(23). Suppose v = 8*h - 592. Is h prime?
True
Let w(v) = 8*v + 237. Let h be w(-29). Suppose -27815 = -5*f + h*d, 6*f - 4*f + 4*d - 11114 = 0. Is f prime?
False
Suppose 23*b = 84*b - 2663077. Is b prime?
False
Let a(h) = 9226*h**2 + 52*h - 101. Is a(3) prime?
True
Let y be (-9)/(-21) - (-79350)/21. Let i = y - 2156. Is i a composite number?
True
Suppose -3*g = 2*g + 65. Let m(k) = -21*k + 18. Let q(d) = -21*d + 13. Let l(y) = 5*m(y) - 4*q(y). Is l(g) a prime number?
True
Let n be 5 + (35 - -5) + (-2 - 1). Suppose -40*i - 26126 = -n*i. Is i composite?
False
Let b be 12/3 + 6 + 1 + -8. Suppose -7*j = -b*j - 84044. Is j a prime number?
True
Is ((-18)/14 - 3) + 4 - (-6886590)/14 a composite number?
False
Suppose 19 = 5*x + 44. Let i(v) = -10*v**3 + 28*v + 5. Is i(x) prime?
False
Is 1 + -8 + -954 + 39312 composite?
False
Suppose -3*p