er?
True
Let k = 14 + 59849. Is k prime?
True
Let r = 73 + -70. Suppose -4*d = -3*z - 18, -r*z - 7 = -5*d - 7*z. Suppose -4*t + 5273 = 3*l, -d*l + 3*t = -2*t - 5282. Is l a prime number?
True
Let t(o) = -24*o**2 + 13*o - 28. Let j(v) = -2*v - 37. Let l be j(-21). Let w be t(l). Let u = -298 - w. Is u a prime number?
False
Let v(h) = 5*h + 17. Let z be v(-3). Suppose 0 = z*b - 18 + 10. Suppose 4*p + b*j = 288 + 520, 4*j - 396 = -2*p. Is p a prime number?
False
Let k(r) = 20*r**2 + 190*r + 511. Is k(45) composite?
True
Let i(c) = -2 + 2 + 15*c**2 - 2 - 3*c + c**3. Let d(j) = -j**3 + 34*j**2 - 122*j - 7. Let n be d(4). Is i(n) a composite number?
False
Let t be (3/3 - 1) + (1 - -2). Let h be -1465*(t - ((-152)/(-20))/2). Let r = h + -817. Is r prime?
False
Let c(f) = -1 + 2*f**2 + 20*f + 8*f + 5*f**2 + 13*f**2 - 15*f. Is c(-18) composite?
True
Suppose -2*p - 5*g + 16 = -4*g, -2*p + 5*g = -16. Let j(b) = 29001 + b - 29000 + b**3 + 3*b**2 + b - 6*b. Is j(p) composite?
False
Let y(n) = 1013*n**2 + 90*n + 886. Is y(-9) prime?
True
Let r = 76 + -79. Let f(d) = 4*d**3 - 12*d**3 - d**2 - 4 + d - d**2. Is f(r) prime?
True
Suppose -5*t = -5*b - 5342840, -2926102 - 1348224 = -4*t - 2*b. Is t a composite number?
False
Let p(v) = -v**3 - 11*v**2 + 10*v + 7. Let i(q) = -4*q + 4. Let n be i(-14). Suppose -n = 5*a - 0. Is p(a) prime?
True
Let i be (4308/(-5))/((-57)/(-190)). Let r = -904 - i. Let y = -683 + r. Is y composite?
True
Let d be 9 - (0 + 1 + -5). Suppose -d = s - 8. Is (-8)/(-20) - 6593/s composite?
False
Let a be (3 + 0)/(5 - (-85)/(-20)). Suppose 3*r + 5 = a*r. Suppose -x = -b - 36, x + r*b - 28 = 2*b. Is x composite?
True
Let x = 194 + -192. Suppose 0 = -2*i - 10, -m - 5826 = -5*m + x*i. Is m prime?
False
Suppose -2*s - 10707 - 14474 = -5*c, 10082 = 2*c + 4*s. Let g = c + -2942. Is g a prime number?
False
Let r = 21974 + -21165. Is r composite?
False
Suppose 2*w + 3 = 5*d, -18 = -2*w + 3*d - 5*d. Let s be w/15 + 77/(-5) + 0. Let r(l) = -105*l + 2. Is r(s) composite?
True
Suppose 227 - 67 = 5*n. Let o = n - 24. Suppose 0 = o*t - 7*t - 9. Is t composite?
True
Let a = 11578 + -5073. Is a a prime number?
False
Let i(c) be the third derivative of -19*c**4/24 + 5*c**3/2 - 16*c**2. Let o be i(9). Is (-24)/o + (-7666)/(-26) a composite number?
True
Let a = -44 - -44. Suppose n + 3*b - 80 = 0, a*b + 3*b + 305 = 4*n. Is n a composite number?
True
Let a(u) be the third derivative of -u**6/120 + 7*u**5/15 + 7*u**4/12 - 17*u**3/3 - 13*u**2 - 3*u. Is a(27) prime?
False
Suppose -61*w + 112*w - 59*w = -560792. Is w composite?
False
Let c(z) = z - 7. Let l be c(12). Suppose -l*o + 2*q - 52 = -2*o, -q + 5 = 0. Is 2421/21 - (-4)/o composite?
True
Let c(i) = -4112*i - 11 + 355*i + 315*i. Is c(-1) a prime number?
False
Is -4*(13 + -2 - (-16049781)/(-44)) composite?
False
Let u(i) = 6*i**3 + 21*i**2 - 21*i - 1. Let y(m) = 11*m**3 - 33*m**3 + 17*m**3 + 20*m - 20*m**2. Let w(t) = -6*u(t) - 7*y(t). Is w(7) a composite number?
False
Let b = -16 + 21. Suppose -b*c = -2723 - 2757. Let g = c + -327. Is g a prime number?
True
Suppose 2*z + 1 - 4 = 5*k, -5*z + 2*k + 18 = 0. Suppose 2*i + 2722 = -3*r + 17949, -5*r = z*i - 25377. Is r prime?
True
Suppose s = -z + 2148, s - z = 2*z + 2152. Suppose -3*u + 12 = -7*u, -1598 = -2*v - 4*u. Suppose 2*b - s = v. Is b a prime number?
False
Let r = 45 + -35. Let f(y) = -y**2 + 12*y - 16. Let g be f(r). Suppose -4*m + a + 1223 = -925, -2148 = -g*m - 3*a. Is m composite?
True
Let s be 57708/133 + 14/133. Let q be (-13 - -1)*35/(-4). Let m = s - q. Is m prime?
False
Suppose -2*x = 7048 + 104. Let t = x - -9289. Is t composite?
True
Suppose -318 + 56 = -s. Let j(k) = -3*k - 12. Let c be j(-4). Suppose -4*g + c*z + 1035 = z, s = g - 3*z. Is g prime?
False
Suppose m + 23*u - 206617 = 20*u, 4*u = -2*m + 413242. Is m a composite number?
True
Let j = 3328052 + -2129989. Is j a prime number?
True
Let t(i) = 167*i**3 + 4*i**2 + i - 43. Let z be t(6). Suppose -2384 + z = 15*j. Is j prime?
False
Let o be -706 + (-6 - -7)*2. Let c = -73 - o. Is c a prime number?
True
Suppose 2*y = 7*y - 770. Let m = y + 1863. Is m a composite number?
False
Suppose -5*k - 2007541 = -4*w, -5*w - 14*k + 2509451 = -12*k. Is w prime?
True
Suppose 0 = n + 337 + 14. Suppose -28*h + 11*h = 2822. Let u = h - n. Is u a prime number?
False
Suppose 4*o - 5*o + 5*b - 13722 = 0, 0 = 5*o - 4*b + 68505. Let s = o - -29068. Is s a prime number?
False
Let g be 81/12*(-24)/6. Let v(w) = -164*w - 277. Is v(g) prime?
False
Let a(w) = 19421*w + 1736. Is a(73) a prime number?
True
Suppose 0 = 7*n - 22*n + 45. Suppose -1371 - 5400 = -n*d. Is d a composite number?
True
Let q(f) = f**3 - 22*f**2 + 20*f + 21. Let i be q(21). Suppose -d = 3*v + 18 - 7, i = 5*d + 25. Is v/15 - (-7577)/15 a composite number?
True
Suppose 34*x - 24775689 = -39*x. Is x composite?
True
Let v be (-8 - -7)*4*-2291. Suppose -158*a = -162*a + v. Is a composite?
True
Suppose 43*y + t = 45*y - 1324710, -3*y - 3*t + 1987029 = 0. Is y a composite number?
False
Let c(l) = -2*l**3 - 4*l - 3. Let f be c(-2). Let p be (-2381819)/(-231) + 22/231. Suppose p = 24*x - f*x. Is x a prime number?
False
Suppose 134*l - 79*l + 3897820 = 75*l. Is l a composite number?
False
Suppose 0 = 25*q + 184732 - 3761732. Let v = q + -86585. Is v a composite number?
True
Let w be 23/((-690)/140) + 10/6. Let x(o) = -154*o + 185. Is x(w) a composite number?
False
Let i(f) = 26167*f + 6263. Is i(6) prime?
False
Suppose a + 2*k - 73593 + 8022 = 0, -5*a = k - 327891. Is a a prime number?
True
Suppose 3*y - 87 = 120. Let g = 69 - y. Suppose -799 = -z - 3*u, -2*z - 9*u + 8*u + 1578 = g. Is z prime?
True
Let y(d) be the third derivative of -8/3*d**3 - 13*d**2 + 0 - 29/24*d**4 + 0*d. Is y(-7) prime?
False
Suppose 3*o - 6*o + 4269 = 0. Suppose -2025 - o = -3*b + 2*y, y = -4*b + 4579. Let w = -809 + b. Is w prime?
True
Let c(i) = 15749*i**2 - 4*i + 1. Let u be c(1). Let v = u + -9147. Is v prime?
True
Let o = -2986 + 54237. Is o a prime number?
False
Let s = 241 - 113. Let p be s/(-12) + (-4)/3 + 0. Let b(q) = 8*q**2 + 27*q + 10. Is b(p) a prime number?
False
Suppose -2*h + 138006 = 2*w, -5*w + 2*h + 156421 + 188622 = 0. Is w prime?
False
Let i = 137 - 17. Let o = 85 - i. Let b = o - -106. Is b prime?
True
Suppose -39*l + 5245605 = -5623113 + 3379587. Is l composite?
False
Suppose -8541292 + 474302 = -8*a + 1293354. Is a composite?
True
Let r(o) = -28*o**2 + 10*o - 55. Let v(f) = -53*f**2 + 20*f - 111. Let n(i) = -13*r(i) + 6*v(i). Is n(-9) prime?
False
Let k(m) = 2*m**2 - 21*m - 22. Let x be k(13). Let c = x + -40. Suppose 7566 = c*t + 1233. Is t prime?
True
Let j = 25 + -27. Let o be 16/(-20)*(-15)/j. Is (256/12 - 0) + (-4)/o composite?
True
Let z = -5514 - -9680. Let w be (-18)/(-36)*z*1. Is w/4 + (-1)/(-4) a prime number?
True
Let q(m) = 3024*m**2 - 36*m - 371. Is q(-11) a composite number?
False
Suppose -3*c = 2*t - 1, t - 16 = 3*c - 2. Let x(o) = 264*o**2 + 6*o + 8. Is x(t) composite?
True
Suppose -2*d + 72 - 78 = 0, 237410 = i - 3*d. Is i composite?
False
Suppose 18631150 = 117*o + 4909273. Is o prime?
True
Suppose w = -3*u + 6694 + 82712, 149000 = 5*u + 5*w. Is u prime?
True
Suppose 3*f + 23506 = 1234. Let g = 3573 - f. Is g prime?
False
Suppose 5*v + 3*m - 18432 = 0, -v - 2*m + 3915 - 223 = 0. Suppose v = 36*y - 24*y. Is y composite?
False
Let r(i) = -i**2 + 18*i + 28. Let f be r(16). Let c be ((-8)/(-5))/(-4)*f. Is (-16002)/c - (-1)/4 prime?
False
Let u = -11609 + 52704. Is u a composite number?
True
Let t(o) = 9216*o + 1541. Is t(4) prime?
False
Suppose -352*o = -354*o + 33590. Suppose 4*a = r + o, -5*a - 2*r + 25337 = 4353. Is a prime?
False
Suppose s + 5*k + 13 = 22, 0 = -5*s + 2*k + 126. Suppose -175541 = -s*b + 5*b. Is b a composite number?
False
Suppose 3*j = -5*s - 14907, 9821 = -3*j + 3*s - 5086. Let f = j + 9711. Is f prime?
False
Suppose 0 = 4*a - 3*n - 510061, 2*n - 191865 = -a - 64358. Is a composite?
True
Suppose 0 = 2*a - 1824 - 41578. Is a a prime number?
True
Let o = 69871 + 45786. Is o a composite number?
False
Suppose 160948644 - 9724111 = 317*j. Is j a composite number?
True
Let t(w) be the first derivative of -w**4 + w**3/3 - w + 18. Let v be t(-1). Is ((-6)/(-9))/(v/2082) composite?
False
Suppose 85*z - 364439 = -u + 86*z, 0 = 