a prime number?
True
Suppose 0 = -3*w + 3*y, -4 - 6 = -2*w - 3*y. Let n(a) = -2 + 149*a + 2 - w - 28*a. Is n(1) prime?
False
Suppose 5*c + 644 = 2*t, -t = -c + 2*c + 133. Let o be -9*(-93 + 80/10). Let m = o + c. Is m a composite number?
True
Let j = 35 - 106. Let m = 66 + j. Is 1*-3 - (-3 + -7812 + m) prime?
True
Let i = 303612 - 105725. Is i a composite number?
False
Let u be 8/(-2 - (-10)/4). Suppose -10*f = -6*f - u. Suppose -f*b + 3*l + 5297 = -4536, 5*b - 12296 = -l. Is b a composite number?
False
Suppose 2*s = m + 454, 2*s + 2*m - 141 = 319. Suppose -231 = -3*h + 4*a + a, 0 = 3*a. Let d = s + h. Is d composite?
True
Let p = 250 + -219. Suppose 2015 = -p*l + 7068. Is l a composite number?
False
Let v = 125868 + -84831. Is v a composite number?
True
Let p = -12862 + 44525. Is p a prime number?
True
Suppose 283*k - 660833 - 508983 = -237897. Is k a composite number?
True
Let t = -1741031 + 2507914. Is t composite?
True
Let r(n) be the first derivative of 10*n**3/3 - 7*n**2/2 + 33*n - 58. Is r(16) prime?
False
Suppose a = -3*f + 7 + 3, -5*a + 18 = -f. Suppose 3*t - 21 = 4*z - 2*z, -a*z + 5*t = 47. Let o(i) = i**3 + 19*i**2 + 18*i + 14. Is o(z) a prime number?
False
Suppose -4*a - 3*f = -209, 0*a - 173 = -3*a + f. Let w = -98 + a. Let c = 27 - w. Is c composite?
True
Suppose -15*y = 8*y - 2293721. Is y a prime number?
False
Let w be ((-1)/4)/((-2)/16). Suppose w*f + 5*v = 6657, 4*f + 2*v = v + 13323. Is f a prime number?
True
Is ((-9)/6)/(15/(-396730)) a prime number?
False
Let s(x) = -140*x**3 - x**2 - 4*x - 6. Let q be s(-3). Let b = q + 2146. Is b prime?
True
Let l(q) = 7*q**2 + 11*q + 8. Let k be ((-4)/(-10))/(4 - (-1522)/(-380)). Let a = -82 - k. Is l(a) a prime number?
False
Let t(g) = 5*g**2 - 149*g - 1401. Is t(-91) prime?
False
Let i be ((-8)/6)/(((-21)/9)/7). Let z(g) = 740*g - 97. Is z(i) composite?
True
Let s be 8071 - (-33)/(-22)*(-1 - -3). Let g = s - 4511. Is g composite?
False
Let z = 1 - -9. Suppose 3*f - f = z. Suppose -n - 1854 = -3*t + 1308, -2*t + 2125 = f*n. Is t composite?
True
Suppose -10886 - 2569 + 2254 = -z. Is z composite?
True
Let m(i) = -142*i + 18. Let b be m(-7). Suppose 4*g + b = 3984. Is g a prime number?
True
Let i(g) = 1730*g**3 - g**2 - 74*g + 356. Is i(5) composite?
False
Let n(p) be the third derivative of 3/20*p**5 + 2*p**2 - 5/6*p**3 + 0 + 0*p - 1/120*p**6 + 1/4*p**4. Is n(-7) prime?
False
Let p(x) = 930*x**2 - 60*x + 737. Is p(14) a prime number?
True
Let b = 272764 - -89517. Is b composite?
False
Let y(l) = 5*l**3 - 1. Let f be y(-1). Is -12055*((-27)/(-5) + f) a prime number?
False
Suppose 3*p = -0*p + t - 881, 4*p + 1178 = -2*t. Let x be (p/4)/(42/280). Let d = x - -1149. Is d a composite number?
False
Suppose 17534*l - 1954078 = 17520*l. Is l a composite number?
True
Is 1/((-2596905)/(-129845) + -20) a prime number?
True
Let o(n) = n**2 - 13*n + 36. Let v be o(6). Is v - (7 - (637 + -2)) composite?
True
Let d = 7 + -11. Let w(j) = -j - 9. Let a be w(d). Is a*(0 - 3236/20) a composite number?
False
Suppose 3*d - 36 = -3*l, l - 2*d + 8 = d. Let q(c) = l*c + 11 - 7 - 4*c + 52*c**2. Is q(3) prime?
False
Let o(n) = -2724*n + 115. Let m(l) = -5450*l + 230. Let s(k) = -3*m(k) + 5*o(k). Is s(5) a prime number?
False
Suppose 24*q - 2828 = 20*q. Suppose -2*d = -7893 + q. Is d composite?
False
Suppose 26*l = 15*l - 41393. Let m = 18456 + l. Is m composite?
True
Suppose r + 2*t = -1 + 10, -4*r = t - 8. Let n be r*(5 + (-4 - 4)). Is 74 - (5 + -7) - n prime?
True
Let i be (132/(-18) + 7)*19617. Let p = 9946 + i. Is p a composite number?
False
Suppose 105*y = -100*y + 67829785. Is y a composite number?
False
Suppose -5*g = 4*p - 8647561, 4*p - 10*g + 12*g - 8647570 = 0. Suppose -34*x - 188228 = -p. Is x a composite number?
False
Suppose -6*r + 18*r = 23970240. Let d be 2/(-11) + r/165. Suppose -6*z = -d - 668. Is z a composite number?
False
Let k be 0 + -5 + -1 + 9. Suppose 0 = -3*g + 5*p + 373, 0 = -k*p + 12. Is g composite?
False
Let y = 253534 + -170172. Suppose -18457 + y = 3*r. Is r a prime number?
False
Suppose 0 = -p - 3*y + 24080, -24084 = -p + 21*y - 26*y. Is p prime?
False
Let b(v) = -2142*v + 1393. Is b(-9) prime?
False
Suppose 3871 = 4*c - j, -5*c + 11*j + 4840 = 10*j. Let u = c + 134. Is u a prime number?
True
Suppose -m = 5*s - 24, 2*s + 7*m - 7 = 4*m. Let y = s - 1. Suppose 2*p = y*i - 2799 - 1119, 0 = i + 2*p - 977. Is i prime?
False
Suppose -58714*f = -58727*f + 546403. Is f a prime number?
False
Suppose -976*q + 1000*q = 1991832. Is q a prime number?
False
Is (15/(-20) - (-10811)/20)*95 prime?
False
Is (0 + -2)/(156/(-546) + (-11808)/(-41342)) prime?
False
Suppose 20 = -19*t + 23*t. Let d(u) = 327*u**2 - 4*u + 9. Let k be d(t). Suppose -24*g + 28*g = k. Is g prime?
False
Suppose 11*f = 73 - 40. Suppose 7*b + f = 8*b, 3*b = -3*k + 14862. Is k a composite number?
False
Suppose 0 = 3*r - 1257 - 123. Let s be 61/(-305) + 1591/5. Suppose r = q - s. Is q prime?
False
Let v be 3*16/(-6)*5. Is (3/2)/(v/(-3568))*5 a prime number?
False
Let b be (13 - (3 + -2))*-1. Is (b + 17/(-1))/(1/(-37)) composite?
True
Let q = 53265 - 79309. Let u be (-3)/(-5) + q/(-10). Let x = 3880 + u. Is x a prime number?
False
Let o = 0 + -1. Suppose 0 = -0*n + 4*n. Is 89 + 2 + (2/o - n) prime?
True
Suppose -17*l + 210119 = -14*l + 5*z, -2*z - 560348 = -8*l. Is l composite?
True
Let h(p) be the first derivative of -p**4/2 - 10*p**3/3 - 41*p**2/2 + 32*p + 69. Is h(-15) prime?
True
Let c(m) = 13*m**3 - 8*m**2 - 24*m - 30. Let s(i) = -14*i**3 + 8*i**2 + 23*i + 30. Let d(z) = -6*c(z) - 5*s(z). Is d(-7) a composite number?
False
Suppose -318 + 222 = -6*n. Suppose 1656213 = 55*t - n*t. Is t composite?
False
Suppose -4*v - 11 = 5*n - 31, -3*n - v + 5 = 0. Suppose -w = -l + 83, 4*l = -n*l - 2*w + 308. Is l prime?
True
Is 86/(-860) + 1648811/10 a composite number?
False
Let p(v) = -3*v**3 - 5*v**2 + 12*v + 30. Let h be p(-6). Suppose -2*n + 200 = -5*w, -2*w + 448 = n + 3*n. Suppose -n = 4*r - h. Is r composite?
False
Let x(d) = -310*d**2 + 20. Let q be x(6). Let b = -6477 - q. Is b a composite number?
False
Suppose 15*b + l = 17*b - 114661, -2*b - 4*l + 114646 = 0. Is b a prime number?
True
Let s be (0 + -1)*56*-6. Suppose 9*j - 3*j - s = 0. Is (-18)/(-14) + -1 + 253944/j composite?
True
Let v be (-5810)/245 - 2/7. Is 9/3 + (250 - v) a prime number?
True
Let m = 43792 + -24021. Is m composite?
True
Suppose -17*v + 151 = -2. Suppose 10*z = v*z + 12373. Is z prime?
True
Let h = 94825 + -30398. Suppose h = 33*d - 102454. Is d a prime number?
False
Let d = 129 + -127. Suppose d*n + 2*g + 4328 = 3*n, -2*n + 2*g = -8650. Is n a composite number?
True
Suppose 2*g = 10, 5*y - 2*g + 53146 - 327921 = 0. Suppose 20*w - 6263 = y. Is w composite?
False
Let z(l) = 191*l**2 + 1079*l - 51. Is z(-38) a composite number?
True
Suppose 0 = -4*m + 90190 + 297382. Is m prime?
True
Suppose -4*p - 898092 = -4*f, -3*f - p + 81062 = -592523. Is f a prime number?
True
Let r(s) = -9*s**2 - 62*s - 3. Let l be r(-7). Let n(f) be the third derivative of -f**6/120 + 13*f**4/24 + 17*f**3/6 + 3*f**2. Is n(l) prime?
True
Let k(h) = -2*h - 7. Let c be k(-6). Let w(a) = 3*a - 29. Let y be w(11). Suppose -6*q + 2*q = y*s - 10668, -13353 = -c*s + 4*q. Is s a prime number?
False
Is (-237203)/(0 + 6 - 7) a composite number?
False
Let g = -53644 + 36392. Let s = 14 - 29. Is (-36)/s + -2 - g/20 a composite number?
False
Let s = -1386105 - -2311928. Is s composite?
False
Let t(p) = -p**3 + 3*p**2 - 2*p + 7. Let f be t(3). Let o = f - 25. Is (-16724)/o + (-6)/(-36) prime?
False
Let a(t) be the first derivative of -51*t**4/4 - 7*t**3/3 - 3*t - 62. Is a(-5) a composite number?
False
Suppose 4*f = 5*c - 30, 2*f = 5*c + 6*f + 10. Suppose -c*n + 1629 + 15073 = 0. Is n a prime number?
False
Let x = 2 - -1. Suppose 27*l + 8211 = 34*l. Suppose -a = -x*y + a + l, -y = -5*a - 404. Is y a composite number?
False
Suppose m = -2*g - g + 52556, 3*m = -4*g + 70073. Is g a composite number?
False
Suppose -45*w + 1938297 - 176682 = 0. Is w a prime number?
False
Suppose 0 = 54*o + 2325998 - 10166312 - 4096224. Is o prime?
True
Let c = -1181 - -3970. Is c prime?
True
Let a be (-6)/(-3 - -4) + 21. Is 404232/(-3)*a/(-120) prime?
True
Let n(o) = -4*o + 74. Let m be n(18). Is m + 27188/20 - (-4)/(