n prime?
False
Suppose x - 4*x + 684135 = 126426. Is x a prime number?
True
Let r(f) = -4*f + 1350. Let j be r(0). Suppose 1104 = 6*m - j. Is m a prime number?
True
Is (-18088 - 1)*(226 + -227) a prime number?
True
Suppose 5*h - 5*m = -m + 60, 2*h - 3*m - 31 = 0. Is (48796/h)/(2/4) a composite number?
True
Let r = -15 - -18. Let d be (2 + -3)/((-4)/(r - -9)). Suppose 0*m - 327 = -d*m. Is m a composite number?
False
Let j(a) = a**2 - 11*a - 37. Let u be j(-3). Suppose u*i - 20 = -5, -2*k = -4*i - 3074. Is k a composite number?
False
Let w(n) be the second derivative of -n**5/20 - 3*n**4/2 - 31*n**3/6 - 71*n**2/2 + 64*n. Is w(-29) prime?
True
Let j be (0 - 4) + (-8)/(-1). Suppose -3*k = 6*g - g - 3, -2*k + 4 = j*g. Suppose 23 + 20 = i + g*z, 2*i - 3*z - 68 = 0. Is i composite?
False
Let x(k) = -k**3 + 11*k**2 - 3*k + 15. Let o be x(11). Let j = -16 - o. Suppose -j*d = -610 + 188. Is d prime?
True
Let m(c) = -3*c - 28. Let h be m(-10). Suppose -k - 6070 = -a + 4*a, h*k = -8. Is 12/8*a/(-3) prime?
False
Let n = 8 + -6. Let o = -91 + 94. Suppose 2*j = o*k - 1067, -j + 706 = n*k + 3*j. Is k composite?
True
Suppose 5*t + 23867 = 72797. Suppose 5*k + 3721 - t = 0. Is k prime?
True
Let t(m) = m**3 + 31*m**2 - 47*m - 35. Suppose -5*s = 2*p + 168, 2*s + 84 = -p - 4*p. Is t(s) composite?
True
Let j = 426097 + -207848. Is j composite?
False
Let t = -53866 + 75528. Is t a composite number?
True
Let q be 3 - (6/2 + -858). Let r = q + -429. Suppose -645 - r = -6*z. Is z a composite number?
False
Suppose -3*k + 4*y = -166405, -k = -35*y + 33*y - 55471. Is k composite?
True
Let d = 38 + -34. Suppose -3*q + 5*f + 1922 = 0, d*q + 3*f - 1510 = 1043. Is (-6)/18*q/(-3) composite?
False
Let y be (416 - 1)*-1*1. Suppose -4*k - 581 - 2429 = 5*x, 3*x = -k - 756. Let p = y - k. Is p composite?
True
Suppose 0 = 2*n + 15 - 35. Is (n/15)/((14/(-16671))/(-7)) composite?
False
Suppose 5*y - 5539 = 3*o, 2*o - 7*o - y = 9213. Let a = 3366 + o. Suppose 4*r = a + 1641. Is r a prime number?
False
Suppose 4*h = -2*t + 2132, -t - t = -8. Suppose -18891*d = -18894*d + 30. Suppose k + d = h. Is k a composite number?
False
Let t = 116197 + -48698. Is t a composite number?
False
Suppose 181*a - 188*a - 72184 = 0. Let x = a - -20177. Is x prime?
False
Let d = 341 - 337. Is 82018/d*(-6 - (-40)/5) a composite number?
True
Let o(s) = 431*s**2 + 12*s + 2. Is o(-5) a composite number?
True
Suppose 3360715 + 3727937 = 36*q. Is q composite?
False
Let y(t) = 4*t - 7. Let p be y(3). Suppose 0*i - 2*i = -p*k + 9, 3*i + 2*k = 15. Suppose -3*a - 2*a + 4*b + 753 = 0, -5*a + 739 = i*b. Is a a prime number?
True
Let k(q) = -28*q**3 - 11*q**2 + 89*q + 753. Is k(-23) a prime number?
True
Suppose -2*v - 5 = 3*w - 2, -5*w = -4*v + 5. Is -1037*(w/6 - (-30)/(-36)) a composite number?
True
Suppose 0*y = -7*y - 16282. Let f = 5435 + y. Suppose 3*a - f = -4*i, -9 - 1 = 5*i. Is a composite?
False
Let k = -83 + 77. Let v(a) = -a**3 + 8*a**2 + 29*a - 1. Is v(k) a composite number?
True
Suppose 3*t - 4*t = -5*t. Suppose t = 4*k - 4*h - 32, 1 = -5*k - 4*h - 4. Suppose -4*a + 115 = -k*c, 0*c = 2*a - 3*c - 53. Is a a prime number?
True
Let h(c) = -2*c**2 + 0 + 3 - 2*c + 2*c**3 - 1 + 2*c**3. Let q be h(5). Suppose -a + 4 = -0*a, -q = -2*b - 5*a. Is b prime?
True
Let o(n) = 86*n**2 - n + 25. Let a = 142 + -138. Is o(a) composite?
True
Let d be 36/(-8) + (-18)/(-4). Suppose 0 = -4*t + 2*o + 534, 0*t + 5*t + 5*o = 705. Suppose -g + 5*k = -t, 5*k + 5 + 0 = d. Is g prime?
True
Suppose -140*f - 24859275 = -245*f. Is f a composite number?
True
Let r be (-74)/4 - (-4)/8. Let l be (6/(-5))/(r/60). Suppose 5*m - l*s = 437, 2*m + s = -0*m + 167. Is m prime?
False
Let p(t) = t**2 + 3*t - 20. Let o be p(-6). Let g be (9/3 - o) + -2. Suppose -328 = -3*b + 2*u, 2*b - g*u - 301 = -74. Is b composite?
True
Let o(t) = 313*t - 62. Let m be o(4). Suppose -3*p + m = 7*p. Is p composite?
True
Suppose 0*j = -4*j + 4. Let f be j + 0 - 2442/(-11). Suppose -2*b - v + 502 = 0, -f = -b - 2*v + 28. Is b prime?
True
Let z(c) = 167*c**2 - 13*c + 29. Is z(-15) a prime number?
True
Suppose 4*d + 31704 = -x, -2*x = x + 5*d + 95084. Let v = x - -50385. Is v a composite number?
True
Suppose u - 2*n = -16, 4*n = 3*u + n + 36. Let v(i) = -13*i**3 - 4*i**2 - 14*i + 9. Is v(u) a prime number?
True
Is (230/(-75))/(-23) + (-399403)/(-15) a composite number?
False
Let s(b) = 74*b**3 + 2*b**2 + 94*b - 181. Is s(17) prime?
True
Suppose 2*v - 5*u - 476 = 0, -5*v + u + 952 = -v. Is 2/(-17) - (-3 + (-1808828)/v) a prime number?
True
Let i(r) = -20*r**2 + 11*r - 14. Let z(m) = 22*m**2 - 11*m + 14. Let x(q) = -7*i(q) - 6*z(q). Is x(7) prime?
False
Suppose -x - b = -16524, -15*b + 14*b = 2*x - 33043. Is x a composite number?
False
Suppose -4*f - 16 = 12*l - 14*l, -l - 1 = f. Suppose -5*v + l = -68. Is v a prime number?
False
Let w = -10424 - -4595. Let b = w + 8908. Is b a prime number?
True
Let g(f) = -7*f + 15*f - 16*f**2 - 6*f**3 + 1 + 4*f. Is g(-11) a composite number?
True
Suppose y + 21*j - 267791 = 16*j, 0 = -5*y - 2*j + 1338909. Is y a prime number?
True
Is 3639*(23/4)/(42/56) composite?
True
Suppose -28*o = -24*o. Let w(k) = 3*k + 8247. Is w(o) prime?
False
Let l = 466 + -412. Suppose -l*g = -7*g - 2679. Is g composite?
True
Suppose 0 = -13*j - 2*j + 30. Suppose -4*l = -3*r + 30963, -r + 6641 = j*l - 3680. Is r a composite number?
False
Suppose -11*f + 4*d - 12 = -7*f, 5*f = d + 5. Is -8 + 94848/18 - f/6 a composite number?
False
Let s(u) = -28*u + 13. Let b be s(-20). Suppose 4*k = 4*g - 764, -3*g + b = -6*k + 2*k. Is g composite?
False
Suppose 15*x + 3*c - 6 = 16*x, 4 = 2*x + 2*c. Suppose 267 = 3*n + 5*i, x*i = -3*i - 9. Is n a composite number?
True
Let h = -290 + 291. Is -2 + 6387 - (-5 + h) a prime number?
True
Let y = -132 + 135. Suppose 18 = -y*q + 81. Let w(v) = 44*v + 50. Is w(q) a prime number?
False
Is (3 + (-6)/4)/(159/2026826) prime?
True
Let d(c) = 842*c - 51. Let s be d(7). Let l = s + -1060. Is l a prime number?
True
Let f = 1133820 - 781811. Is f prime?
False
Let x(l) be the first derivative of l**3/3 - 9*l**2/2 - 7*l - 1. Let c be x(10). Suppose -c*h = -14*h + 3377. Is h a composite number?
False
Suppose 121*l + 882288 - 3895556 = 457617. Is l a prime number?
False
Let n(q) be the third derivative of 0*q + 5/12*q**4 - 13*q**2 + 0 + 7/6*q**3 + 17/30*q**5. Is n(-6) prime?
True
Suppose 0 = 87*j - 2674788 - 46750347. Is j a prime number?
False
Suppose 68*l = 2665157 + 704719. Is l a prime number?
False
Let c(l) = 419*l + 7. Let f(n) = -209*n - 4. Let g(x) = 3*c(x) + 5*f(x). Is g(11) prime?
True
Let r = -416262 + 1003393. Is r a composite number?
False
Let d(o) = 7 + 6*o**2 + 34*o - 48*o + 30*o. Is d(-5) composite?
True
Let p(z) = 45*z**2 + 73*z + 185. Is p(-43) prime?
True
Suppose 7*o - 33 = -4*l + 8*o, 5*o + 21 = 2*l. Suppose -l*b = 7*b - 54015. Is b composite?
True
Suppose 4*u + 2*y - 3904 = 0, 4907 = 85*u - 80*u - 2*y. Is u composite?
True
Suppose 0 = -4*y + 20*y + 65424. Let m = -2836 - y. Is m a composite number?
True
Let c(r) = r**2 + 18*r + 90. Let y be c(-9). Suppose 0 = -10*s + y*s - 4, -4*f = -3*s - 2608. Is f prime?
False
Suppose 372*l = 514*l - 112432334. Is l a composite number?
True
Let u = 257983 + -152271. Suppose 0 = -38*h + 22*h + u. Is h composite?
False
Suppose 4*j - j + 4*p - 66081 = 0, 0 = -2*p. Let n = j - 10772. Is n a composite number?
True
Suppose -3363 = 3*c - 5*i, 4*i - 1289 = -3*c - 4679. Let m = c - -1862. Suppose -5*v = -5*b - 1493 - 332, b = -2*v + m. Is v prime?
True
Let w = -12253 + 47447. Is w composite?
True
Let q(j) be the third derivative of 1399*j**4/12 - j**3/2 - 2*j**2. Let n be q(1). Suppose h - 3*a - 551 = 0, 3*a + 2*a + n = 5*h. Is h a composite number?
False
Suppose 1319 = k - 0*d - d, 0 = 3*k - 5*d - 3951. Let o = 6401 - k. Is o a composite number?
True
Let c = 38 - 29. Let u = c - 5. Suppose 102 + 742 = u*h. Is h a prime number?
True
Let v(c) = -19*c. Let y be v(0). Suppose x - 9921 = 569. Suppose f - 3*f + x = y. Is f a composite number?
True
Suppose -4 - 6 = -5*l. Suppose -i = -4*i + 9, -6 = -2*s + l*i. Is (-45771)/(-44) - (s/(-8) - 0) a prime number?
False
Let s = -36 + 40. Suppose 71 = o - k, 4*k - 148 = -3*o + 58. Suppose s*c = 3*q - c - o, -3*c = 15. Is q composite?
True
Let r(g) = 9 + 12*