 + 2*o + 748. Is s prime?
True
Let u = -58707 - -146180. Is u composite?
False
Let t(c) be the first derivative of -248*c**2 - 285*c + 193. Is t(-17) composite?
False
Suppose 0 = -17*a - 339328 + 1404939. Is a a composite number?
False
Is (205061 + -105)*(-2)/(-8) a composite number?
False
Let s = -54 - -53. Let x = 5 - s. Is x/2 + 40/12*3 a composite number?
False
Let o = -17 + 4. Let a = o + 15. Suppose 3*j = -a*j + 2185. Is j a composite number?
True
Let w(i) = 1172031*i - 116. Is w(1) prime?
False
Let y(o) = o + 10*o**2 - 27*o**2 + 12*o**2 - 641*o**3 - 3 + 11*o**2. Is y(-2) prime?
True
Suppose 2*z + 3*z - 3*n = 311, -n = -z + 63. Suppose 2*x = 505 - z. Suppose -4*d = -x - 214. Is d composite?
False
Let i(k) = 8*k**2 - 5*k - 59. Let p be i(-10). Let c = -234 + p. Is c prime?
True
Suppose -1 = x + 3, 0 = -2*k - x + 898. Is k a composite number?
True
Suppose -3*v + 12 = 0, 2*f - 4*v = 4 - 18. Suppose d - f = 0, -5*x - d + 5230 + 8381 = 0. Let r = x - -441. Is r a composite number?
False
Let v(d) = -29*d**3 + 3*d - 5. Let g be v(-5). Let y be 25825/75 + (-1)/3. Suppose -3*q + g = y. Is q a composite number?
False
Suppose 182154 = 67*i - 12*i - 34*i. Is i a prime number?
False
Suppose -3*r - 2*u + 19 = 0, 0*u = 4*r - 2*u - 2. Is (259552/48)/(r*2/9) a composite number?
False
Suppose -3*b + 85 = 22. Suppose -2*m + 72749 = b*m. Is m a prime number?
True
Suppose -5*f + 17 = -8. Let r be 3 + 0 + -3 + (-21 - -457). Is (-1)/f*-5 + r a composite number?
True
Let f(r) = -400*r + 1607. Is f(-75) a composite number?
False
Let l be (-1*2/5)/((-10)/(-150)). Let z(p) = -1212*p - 31. Is z(l) a prime number?
False
Suppose -120*v = -118*v - 6. Suppose 2*r + v*u + 2*u = 7321, -r + 4*u = -3641. Is r a composite number?
True
Let r be (-3)/(-6)*(-4 - -4). Let k(l) = 10*l**3 - 10*l**2 + 7*l + 5500. Let j(o) = 3*o**3 - 3*o**2 + 2*o + 1833. Let s(m) = 7*j(m) - 2*k(m). Is s(r) prime?
True
Suppose 5*j - 7 = 3*k - 49, -10 = -k + 3*j. Suppose 17*n + 3095 = k*n - 3*m, 0 = -n + m + 1546. Is n a prime number?
True
Let h = -211020 + 321821. Is h prime?
False
Suppose -6*w - 5*g + 3322552 = 0, 13*g - 18*g = -10. Is w a prime number?
True
Suppose 1224*z + k - 671043 = 1219*z, z - 4*k - 134175 = 0. Is z composite?
False
Is (5305/(-10))/(-1)*(-7 - (-3054)/6) prime?
False
Is ((-13109875)/375)/(1/(-3)) a prime number?
True
Suppose -2 = 3*l - 59. Suppose l*u + 27660 = 130925. Is u a prime number?
False
Let d(w) be the second derivative of -w**6/5 - w**5/20 + w**4/8 + 5*w**3/6 + w**2/2 - 21*w. Let t(p) be the first derivative of d(p). Is t(-4) composite?
False
Suppose -4*n = -5*n + 16802. Let f = n - 11497. Is f composite?
True
Is (1043175/20)/7 + (-22)/88 a composite number?
False
Let c = -308 + 309. Is 4644 - (-15 - -14)*-1*c a composite number?
False
Let u(m) = 24318*m**2 + 42*m + 73. Is u(-5) a composite number?
False
Let p(q) = -3*q - 8. Let v be p(-4). Let x(o) = -o**2 + 7*o - 8. Let u be x(v). Suppose -210 - 818 = -u*c. Is c a composite number?
False
Suppose 360 = -27*a + 7137. Let b = a - -975. Is b a composite number?
True
Suppose 8*o + 2 = 9*o. Suppose 0*s = 5*k - o*s - 1865, 2*k - 746 = -4*s. Is k prime?
True
Is -6*(-7 - 886008/18)/2 composite?
False
Is 432616/408 + (10/6 - 1) a composite number?
False
Let g be (-43)/258 - ((-9784831)/(-6))/(-7). Suppose -6*k + g = -6854. Is k prime?
True
Let k = 537 - 486. Suppose -k*b + 20854 = -49*b. Is b a prime number?
True
Suppose -5*n = b - 46333 - 46878, 18640 = n - 2*b. Suppose 0*g + n = 6*g. Is g a prime number?
False
Let z = -13 - -13. Suppose z = -5*r - 23 + 8. Is ((-1172)/(-18))/(2/(-3))*r prime?
True
Let v = 61177 + -28328. Is v prime?
False
Suppose 1545 = 5*r + 1495. Suppose 27707 = 3*w + 5*a - r*a, 3*w + a - 27719 = 0. Is w a composite number?
False
Let d(f) = f**3 - 18*f**2 - 3*f + 29101. Is d(0) a composite number?
False
Let k be (-30*8/(-84))/(4/14). Let p = k + -62. Is 2/(-13) + (-12802)/p*6 prime?
False
Let c(r) = 2*r**2 - 11*r - 37. Let y be c(-4). Suppose 151 = 2*u - 5*w + y, -5*u + 3*w + 242 = 0. Is u a composite number?
True
Let c = 7202 - 15756. Is (-5)/(-60)*-3 + c/(-8) a composite number?
False
Suppose 0 = 5*y - 10*y + 20, 0 = -3*f + 4*y + 1326266. Is f a composite number?
True
Let a be (-30)/(-4)*(58/(-10) - -5). Let f be (-5 - -2)*a/27*2763. Let d = -913 + f. Is d prime?
True
Let k(l) = -12755*l + 1169. Is k(-12) a composite number?
False
Suppose -2496*h - 454251 = -2517*h. Is h composite?
True
Let d(k) = -21*k + 6. Let r be d(-24). Suppose -2*s - 575 = -153. Let t = r + s. Is t prime?
False
Suppose -633*i + 6 = -631*i. Suppose 4*h - 9*h = i*r - 4698, 5*h = 3*r + 4692. Is h composite?
True
Let i(v) = 2*v + 3014. Let f(a) = 2*a + 3015. Let l(o) = -3*f(o) + 4*i(o). Is l(0) a composite number?
False
Suppose 717526 = 19*g - g - 241856. Is g a composite number?
False
Suppose 0 = -33*x + 7*x - 130. Let s(r) = 392*r**2 - 24*r - 21. Is s(x) composite?
True
Suppose -14*c + 1278501 = -719542 + 364145. Is c prime?
True
Let w(u) = 18846*u + 1247. Is w(2) a composite number?
True
Let h(p) = 28*p**2 + 11*p + 79. Let g be h(-8). Suppose -8*w + 4737 = -g. Is w prime?
False
Let t = -12108 + -4633. Let i = t + 25292. Is i prime?
False
Let v(n) = 1395*n**2 - 3*n + 4. Let x be v(1). Let c = 145 + x. Is c a composite number?
True
Let v = -109980 - -359683. Is v a composite number?
False
Let i = 1665206 - 1002387. Is i a prime number?
True
Let i = 27 + -27. Let x(w) = -w**3 - 4*w**2 + 3*w + 587. Is x(i) a composite number?
False
Let h = 4 - -9. Suppose -2*l + 17 = -h. Suppose -l*y = -5*y - 1870. Is y prime?
False
Is (-2 + 3)*((-21045561)/9)/29*-3 a composite number?
False
Suppose 0 = 9*p - 16*p + 21. Suppose -3*r + 6737 = -a, -p*a + 2*a = 4*r - 8978. Is r prime?
False
Let n(p) = -p**3 + 13*p**2 + 2*p - 12. Let o be n(13). Suppose 2*k - 8 = -0, 5*k - o = 3*a. Suppose a*q = v + 203 + 1053, 0 = 3*q - 5*v - 1877. Is q prime?
False
Let o(i) = -8*i**3 + 6*i**2 - 39*i - 565. Is o(-26) composite?
True
Suppose 5*a + 86710 = -d, 6*a = 5*d + 4*a + 433415. Is (48/36)/((-20)/d) a prime number?
True
Suppose 4*o - 2*x + 10 = -0*x, 20 = -5*o + 5*x. Let t be (-476 - -17) + o + 5. Is 4*(t/(-10) - 4) prime?
False
Let v = 197 + -200. Is (v/(27/(-6)))/(26/37089) a prime number?
False
Is 24681/18 + 5 - (-1)/(-6) - -3 a composite number?
True
Suppose -5*m - 2*y - 29334 = 0, -10*m + 14*m = -2*y - 23466. Let t = m - -9583. Is t prime?
False
Let k = -154934 - -251125. Is k a composite number?
True
Let s be (67/8 + (-4)/(-32))*2. Is (-33885)/(-10) + s/34 composite?
False
Let l(j) = -2*j + 14. Let c be l(5). Let n be (26/c)/((-7)/14). Let s = 40 - n. Is s a prime number?
True
Suppose -20*w = -42*w + 366278. Is w prime?
True
Let y(p) be the third derivative of -245*p**4/12 - 79*p**3/6 + 166*p**2. Is y(-11) prime?
False
Let b = 41 - 25. Suppose n = -3*n + b. Suppose -x - 5*s = -402 - 209, n*x + 4*s = 2444. Is x a composite number?
True
Is 46302 + -4 - (9 + 4) composite?
True
Let q = -502 + 505. Suppose -3*w = -q*r - 22803, -3*r = 4*w - 24235 - 6169. Is w composite?
True
Let g(x) be the first derivative of -281*x**2/2 + 180*x - 175. Is g(-11) a composite number?
False
Suppose 2*w = -3*m - 150 + 145, 4*m = -2*w - 8. Suppose -6*j = -4*j - 890. Suppose -w*q - 5*n - 445 = -7*q, -n - j = -5*q. Is q a prime number?
True
Is (4/(-16))/((-348850)/(-1046568) + (-4)/12) composite?
False
Suppose 2*h - 3*f = 17, 3*h + 0*h - 5*f - 27 = 0. Suppose -5*n = h*n - 1143. Is n a prime number?
True
Let b = 1 + 1. Suppose 0*p - b = p. Let h(r) = -432*r - 2. Is h(p) prime?
False
Let r = 177 - 125. Let t = r + 334. Suppose 0 = i - 599 - t. Is i a composite number?
True
Let c = 46627 + 182362. Is c a prime number?
True
Let k(y) = -12*y - 7. Let x = 69 + -67. Let d be x*((-2)/(-10) - 37/10). Is k(d) composite?
True
Suppose 5*s + 5*a = s - 19053, 0 = -3*s + 5*a - 14316. Let i = s + 7346. Is i composite?
False
Let u = 201 + -199. Suppose -i + 2241 = u*x, -4*i = 2*x + 3*x - 8967. Is i a composite number?
False
Let r(w) = 973*w**2. Let g be r(1). Let h = -154 + 168. Suppose 7*q = h*q - g. Is q a prime number?
True
Let h be 1*((-12)/18)/(2/15). Is (7 + h)/(2 + (-12980)/6491) prime?
True
Let b = 193 + -403. Let p be (-3106)/(-6) - 4/6. Let y = b + p. Is y prime?
True
Let n(h) be the third d