a prime number?
True
Let x(s) be the third derivative of 7*s**5/30 + 29*s**4/24 + 17*s**3/3 + 20*s**2 - s. Is x(-21) a prime number?
False
Suppose 23903 = -p + 3*o + 153328, -o = -3*p + 388211. Is p a prime number?
True
Let f(j) = -j**3 - 21*j**2 + 31*j - 4. Suppose 5*n - 4*d = -127, -2*n - 3*n - 124 = -3*d. Is f(n) a composite number?
True
Suppose -863 = 3*j - 935. Is 1232/12 - (-8)/j a composite number?
False
Suppose 1625722 = 14*m - 1326850. Is m prime?
False
Suppose 113*t + 2747026 - 5977355 - 3665044 = 0. Is t prime?
False
Let w(b) = 12551*b - 5202. Is w(19) prime?
True
Suppose -68*r + 3326527 + 32514367 = -5720910. Is r a composite number?
True
Let f(c) = 1685*c**2 - 839*c**2 - 817*c**2 - 32*c - 92. Is f(-9) a composite number?
True
Suppose 3*n = i - 9 + 12, 12 = -4*n - 4*i. Suppose o - 239 - 18 = n. Is o a composite number?
False
Suppose -5*z = -0*z - 50. Let i(p) = p - 7. Let d be i(z). Suppose d*q - 2*f = 267 + 150, -5*f = 2*q - 297. Is q a prime number?
False
Let w(s) = 10*s**2 - 8*s - 6. Let b = 6 + 6. Let q be w(b). Suppose -15*f - q = -21*f. Is f a composite number?
False
Suppose 5*w - 37505 = -4*q, -1 + 6 = w. Is 1*(-2)/((-4)/q) composite?
True
Let i be (-8 + 8)/(4/(-2)). Suppose -4*q + 5*q - 3*m - 2243 = i, m = 4*q - 8950. Is q a prime number?
True
Suppose 5*n - 31818 = -2*t, 0 = 5*t + 12*n - 11*n - 79591. Suppose -7*g = -t - 29728. Is g a composite number?
False
Is 2/(-4) - 21/((-1218)/23289523) prime?
False
Let y(b) = -b**2 + 30*b - 142. Let w be y(6). Suppose -2*a - w*p = -6*a + 9410, 2*p = -a + 2355. Is a a prime number?
False
Let s = -81317 + 122800. Is s prime?
False
Suppose 0 = -5*i - 4*n + 2105, -34*n = -4*i - 35*n + 1695. Let y = i - 16. Is y prime?
True
Let y = 255 + -246. Suppose -4*i + u = -45465, i + y*u - 11365 = 8*u. Is i prime?
False
Let t(d) be the first derivative of 103*d**3/3 + 3*d**2 - 72*d - 337. Is t(-5) composite?
False
Let v(b) = -699*b + 89. Let l(i) = -6*i + 60. Let p be l(11). Is v(p) composite?
False
Let m(v) = 10*v**2 + 18*v - 201. Is m(59) a prime number?
True
Let u(n) = -2827*n - 14. Let b = 16 - 19. Is u(b) composite?
False
Is (1 - (-10)/(-14)) + (-84494007)/(-1337) a prime number?
True
Suppose 4*r - 5*n = 26186 + 44662, -r + 17711 = -n. Is r prime?
True
Let j = -101 - -98. Let q be 5 + (-4)/(j - -5) - -8. Suppose -q*i - i = -7836. Is i a composite number?
False
Let b(m) = -3*m + 8*m - 2184 + 2*m. Let v(l) = 13*l - 4367. Let g(k) = 5*b(k) - 3*v(k). Is g(0) a composite number?
True
Let o = 38 + -31. Suppose 5*i - o*i + 2378 = 0. Is i a prime number?
False
Suppose -2*u = -g + 7227, 2*u - 3085 = 2*g - 17545. Is g a prime number?
False
Let n = 10 + -12. Let t be (4 + 14/(-3))*(-3)/n. Is ((2514/9)/t)/((-4)/6) a composite number?
False
Suppose 2*q + 2*l = 7992, -19931 = -211*q + 206*q + 2*l. Is q composite?
False
Is 6883/(11 + (-988)/91) a prime number?
False
Let v(t) = 80*t + 11. Let q(y) = -y**3 + y**2 + y - 1. Let f(x) = -x**3 - 5*x**2 - 7*x + 2. Let c(w) = -f(w) + 2*q(w). Let p be c(8). Is v(p) a prime number?
True
Let x(i) = i**3 + 129*i**2 + 135*i + 743. Is x(-108) composite?
False
Let c = 63 + -48. Let k(m) = 193*m - 9. Let b be k(c). Suppose 0 = -9*x + 3*x + b. Is x prime?
False
Is ((-4005350)/(-200))/(1/4) prime?
True
Let b = -124 - 292. Let p = b - -684. Suppose -1228 = -4*v - 3*c, 4*c + p = 4*v - 960. Is v a composite number?
False
Suppose 133745 = 28*o + 4*o - 9*o. Is o a composite number?
True
Let k(r) = 12*r + 64. Let x be k(-5). Suppose -4*t + d = -14764, t = 4*t + x*d - 11073. Is t a prime number?
True
Let w(z) = z**3 + 5*z**2 + 3*z. Let b be w(-4). Let j be -2*(-4 + b/8). Let i(x) = 47*x + 18. Is i(j) a composite number?
False
Suppose 3820 = 6*n - 5*n. Suppose 0 = 15*f - 8*f - 301. Suppose f*q - n = 39*q. Is q a composite number?
True
Suppose 5*c - 5*v = 42375, 3*c + 8*v = 6*v + 25445. Is c a prime number?
False
Let b = 10 + -7. Let s be (b*1)/(12 + -11). Is (1607/5 - s) + (-18)/(-30) prime?
False
Suppose 616890 - 9030591 = -53*i - 461528. Is i a composite number?
False
Suppose 22*t - 95280013 = -157*t + 12*t. Is t a prime number?
True
Let v = 45890 + -21609. Is v a prime number?
True
Let t = 88294 + 18227. Is t prime?
False
Let o(i) = -5*i**3 - 12*i**2 + 19*i - 25. Let z(p) = -4*p**3 - 11*p**2 + 17*p - 24. Let f(t) = 3*o(t) - 4*z(t). Is f(9) prime?
False
Let o(h) = -416*h**3 + 5*h**2 - 3*h - 21. Let w be o(-9). Is ((-4)/(-6))/1 - w/(-45) prime?
False
Suppose 330073 = 14*u - 261021. Is u a prime number?
True
Let b = 26387 - 18612. Suppose -b = -4*o + 2237. Is o composite?
False
Let r = 4226 - -2535. Is r prime?
True
Let a be (2/(-4))/(7/(-70) + 0). Let u be 1/a + (-42)/(-15). Suppose -u*f - f = -w - 1368, w = 3*f - 1027. Is f a prime number?
False
Suppose -14783*w + 6557150 = -14773*w. Is w a prime number?
False
Suppose 4*m - 2020 = -4*y, -3*m + 3*y + y = -1480. Suppose -54*v + m = -56*v. Let z = v - -405. Is z a prime number?
False
Suppose -3*w - 1 = 2*k + 3, -3*w = 3*k + 3. Is w/(-8) - 2/(-16)*12774 prime?
True
Let q be 5/(2 - (-11591)/(-5796)). Suppose 19*f = 5*f - q. Let j = f + 3977. Is j a composite number?
False
Suppose 0 = 45*w - 9*w - 1224. Suppose 35*m - 127 = w*m. Is m a prime number?
True
Let k(b) = 141*b**2 - 9*b + 269. Suppose -2*x + 49 = x + 4*z, 5*x = z + 51. Is k(x) a composite number?
False
Suppose 2*q = -2*h + 184518 + 118386, 2*h = -4*q + 302906. Is h a composite number?
False
Let h(g) = -24792*g**3 + 9*g**2 - g - 11. Is h(-1) composite?
True
Suppose -v + 5*v = -4, 0 = -4*x - 5*v + 2331. Let d = x + -67. Is d a prime number?
False
Let f(r) = -4045*r**3 - 35*r**2 - 106*r + 11. Is f(-3) composite?
False
Let y be (603/(-6))/((-1)/(-2)). Let o be (-59)/((3/y)/1). Suppose -3*q + 6*g + 2373 = 3*g, o = 5*q - 4*g. Is q composite?
True
Let i = 622 - 601. Suppose -17*l + 4*j = -i*l + 22232, 0 = -5*l - 4*j + 27793. Is l prime?
False
Let b be 2 + 0 - (-1 - 31)*1. Suppose -6*n = -166 + b. Suppose n*k - 34864 = 6*k. Is k composite?
False
Suppose -38136*x + 23560654 = -38110*x. Is x a composite number?
False
Let o be (-1 + 2 - (-6)/(-3))*0. Suppose 5*z + 288 = 2*j - o*j, 5*j = -2*z + 662. Let t = 261 - j. Is t a prime number?
True
Suppose -4 = 5*f - 19. Suppose -4*v = 3*l + 10, -5*l + 0*l + f*v + 22 = 0. Suppose i = -5*m + 592, m - l*i = -m + 244. Is m prime?
False
Suppose -3*w = 5*j - 3646963, -5*w - 7293970 = -21*j + 11*j. Is j prime?
False
Let m(j) = 475*j + 20. Let h be m(8). Is -2 + (h - 2) - -5 prime?
True
Let c = -1731434 - -3337291. Is c a composite number?
True
Let d(s) = 7*s - 54. Let j be d(8). Suppose -j*k - 23802 = -4*u, -k + 2*k - 29770 = -5*u. Is u a prime number?
True
Suppose -j - 2*j - 3*t + 69855 = 0, 4*t + 69813 = 3*j. Is j a prime number?
True
Let b(j) = -2502*j + 1. Let x(c) = -c**3 - 5*c**2 + 7*c + 5. Let m be x(-6). Let p be b(m). Suppose -7*k = -3538 - p. Is k composite?
False
Suppose -7016493 = -233*g - 227*g + 427*g. Is g a composite number?
True
Let s(k) = 13*k**3 - 12*k**2 + 12*k + 118. Let j(d) = -13*d**3 + 13*d**2 - 12*d - 116. Let y(h) = 6*j(h) + 5*s(h). Is y(-9) a composite number?
False
Let n(o) = -o**2 - 6*o - 4. Let x be n(-4). Suppose -3*d = -5*r - x*d - 24, 2*r - 3*d - 4 = 0. Is (-6)/36*-3 - 2954/r prime?
True
Is (-56986 + 14)/(-1) - 3 a prime number?
False
Let t = 166 - 163. Suppose 18549 = t*v + 3*h, -5*h - 30875 = -6*v + v. Is v a composite number?
True
Let o(m) = m**3 + 10*m**2 - 4. Let x be o(-10). Let l(v) = 123*v + 9. Let w(f) = 984*f + 72. Let u(h) = x*w(h) + 33*l(h). Is u(8) a composite number?
True
Suppose -10*j + 689 = -6031. Let h be (71/3)/((-2)/(-156)). Let l = h - j. Is l a prime number?
False
Suppose 3*u - 27 = 4*t - 5, 4*u = t + 12. Let s be u*2 + 12 + -13. Is (s/9)/(3/495) prime?
False
Is (-411)/(-548)*(-3)/((-27)/1920084) a composite number?
True
Let z(a) = -10*a**3 + 3*a**2 - 17*a - 1. Let b be z(-8). Suppose 0 = -3*u - 0*f + f + 3264, -b = -5*u + 4*f. Is u a prime number?
True
Let j be -64*((-20)/2)/(-5). Is ((-2)/(-3))/(j/(-455232)) a prime number?
True
Is ((-14 + -3)/(-17))/((-293666)/146834 - -2) prime?
True
Suppose -3*c = 3*u - 73977, -197272 = -17*u + 9*u + c. Is u a composite number?
False
Suppose -382 - 536 = -3*h. Let v(d) = 4*d**3 - 111*d**2 - 26*d - 39. Let m be v(28). Let q = h + m. Is q a prime number?
Fals