644) prime?
False
Let s = -176837 - -311296. Is s prime?
False
Let r(z) = -17*z - 32. Let f be r(-1). Is 29905/3 + 20/f prime?
True
Let f = -32674 + 780945. Is f prime?
True
Suppose 2*o - 15*o = -622853 + 4300. Is o a prime number?
True
Suppose 5*a + 3*j = -758, 4*a - j = 2*a - 301. Let n = -40 - a. Let h = n - -44. Is h composite?
True
Let t(k) = 1012*k + 40. Let x be t(22). Is (2 - -3)/(-1 + 0) + x composite?
True
Suppose j = -3*a + 990, 3*a = 4*a + 1. Let z = j + -142. Is z a prime number?
False
Let b(i) = i**3 + 39*i**2 - 31*i + 18. Let z be b(-35). Suppose 0 = 4*s + 5*s - z. Is s a prime number?
False
Let m = 34536 - 22997. Is m composite?
True
Suppose -4*i - w = -719568, 9118 + 530543 = 3*i - 3*w. Is i a composite number?
True
Let c(z) = 34*z + 28. Let m(i) = -103*i - 84. Let u(p) = -8*c(p) - 3*m(p). Let d be u(-11). Let t = -234 - d. Is t composite?
True
Suppose -2*h = 3*h + 100. Is 4434/15*h/(-8) - 0 composite?
False
Let s(b) = -28*b**3 - 2*b**2 - 5. Suppose 0 = -q - q - h + 11, -5*h = -5*q + 20. Suppose -4*c + 10 = q*m, -3*m = -2*m + 4*c - 18. Is s(m) composite?
False
Suppose -3*f + 2091251 = 4*i, 28*i - 29*i + 522784 = -5*f. Is i prime?
False
Let s = 261808 + -98357. Is s prime?
False
Suppose -62 = 10*s + 8. Let l(i) = -8709*i - 10. Is l(s) prime?
True
Suppose l = -3*o + 244026, -162683 = -5*o + 3*o - l. Is o composite?
False
Suppose 0 = 5*p - 5, 0*p = 2*a + 4*p + 14. Let f be (24/18)/((-4)/a). Suppose -4*m - 1948 = -4*i, m = f*m - 8. Is i composite?
False
Let c(h) = -2*h**3 - 82*h**2 + 382*h + 475. Is c(-62) prime?
True
Suppose 5*a = -2 + 547. Let q = -506 + 742. Let w = q - a. Is w a prime number?
True
Suppose 64*u + 37*u - 5595299 = 0. Is u composite?
False
Suppose -6350689 = -125*v + 2106436. Is v a prime number?
False
Suppose -4*v = -6*v + 114. Let o(a) = -1 + 4*a**2 + 60*a**3 - 104*a**3 - 2*a + v*a**3. Is o(6) a composite number?
False
Let n be ((-6)/(-27))/((-2)/(-36)). Suppose -2*s + 9774 = -n*x, 3209 = 2*s - x - 6580. Is s prime?
False
Let z(x) = -x**2 + 2*x + 157. Let f be (4 - 1)*9/((-162)/(-276)). Let b = f + -46. Is z(b) composite?
False
Let n(x) = 4*x**2 + 5*x + 4. Let t be n(-2). Suppose -3*j + 8*j = t. Suppose 0 = -4*h - 4*r + 900, 3*r + 0*r - 452 = -j*h. Is h prime?
True
Let d = -139 + 820. Suppose 5 = -5*w + 15, d = q - w. Is q composite?
False
Suppose 6*n - 12 + 0 = 0. Suppose 0 = 2*w - b - 9, n*w = -5*b - 9. Suppose 2*t = -w*t + 635. Is t a prime number?
True
Let g = 4003 - -11998. Is g a composite number?
False
Is ((-3452515)/(-25 + 14))/1 a prime number?
False
Let b = 18746 + -9069. Is b a composite number?
False
Let o be (0 + 1)*(-101)/2*-202. Suppose -o = -b + y + 2015, -y + 48874 = 4*b. Suppose -5*v = -4*q - 32511, 2*v - b - 789 = -q. Is v a composite number?
True
Suppose 4*l - 6*l - 6330 = 0. Let q = l - -5096. Is q a prime number?
True
Let l(p) = 1132504*p**2 + 8*p - 13. Is l(1) a composite number?
False
Let t(l) = l**2 + 14*l - 3. Let s be t(-7). Let n be ((-26)/s)/(2/12). Is ((-1266)/(-9))/(2/n) a composite number?
False
Suppose 3*t + 5*o = 2*o + 3, 11 = -5*t + 3*o. Let q(l) be the third derivative of 919*l**5/60 - l**4/24 - l**3/6 - l**2. Is q(t) a composite number?
False
Let v = -9752 + 14449. Suppose 4*g = 3*p - v, -2*g = 5*p - 5602 - 2235. Is p composite?
False
Suppose 3*z - 20283 = -2*d, 11100 = 4*z - 3*d - 15944. Is z a prime number?
True
Let l(x) = 743*x + 60. Let s(c) = 736*c + 61. Let u(w) = 4*l(w) - 5*s(w). Is u(-7) a prime number?
False
Let h be (-32)/(-72)*(-36)/(-8). Let r be h/((-3)/(-5) - (-334571)/(-557935)). Suppose -2*y = 5*y - r. Is y composite?
False
Suppose -6*u + 26537 = 11*u. Suppose 5*f - 8277 = 2*l, -2*f - 5*l + u = -1773. Is f composite?
False
Let c(h) = 2*h**3 - 51*h**2 + 88*h - 517. Is c(40) prime?
False
Let n(s) = 12*s**3 + s**2 - s - 1. Let b be n(1). Suppose 15417 = -b*p + 67348. Is p a prime number?
True
Suppose 5*r = 21*o - 25*o - 624768, -3*r - 374846 = -5*o. Is ((-11)/22)/(4/r) prime?
True
Suppose -10*f + 4*f + 12 = 0. Let s be (f - 2)/2 - (1 + -5). Suppose 1918 + 294 = s*g. Is g composite?
True
Is (278967 + -1)*(12/(-8) + 2) a prime number?
True
Let b(a) = -a**3 + 4*a**2 - a - 3. Let f be b(3). Suppose 3*u = -5*z + 49, -f*u - 3*z = -z - 43. Suppose u + 61 = x. Is x composite?
True
Is 64/800 - (4652619/(-75) - 4) a prime number?
True
Let d(s) = 134*s**2 - 46*s + 209. Is d(11) prime?
False
Let p(b) = -7*b - 63. Let y be p(-8). Is ((-21)/(-5))/y + (-75636)/(-10) composite?
True
Suppose 0 = -21*y - 3*y + 432. Suppose 0 = -y*n + 31 + 2471. Is n a composite number?
False
Suppose -2*j + 427929 = 5*g, 0*g - 342350 = -4*g - 5*j. Is g composite?
True
Let o(y) = 765*y + 142. Is o(43) a prime number?
True
Suppose -44 = w - 50. Suppose 0 = 5*a + w*s - 2*s - 16487, -3*s - 9903 = -3*a. Is a composite?
False
Suppose 2*m + i - 148434 = -m, 3*m - 5*i = 148452. Is m a composite number?
True
Let s be 22955*(-8 + 7 - -2). Suppose -11*p + 12960 = -s. Is p a composite number?
True
Let l(f) = 76*f + 72. Let p be l(16). Let y = p - -535. Is y a composite number?
False
Let i(w) = 3*w - 5. Let v be i(3). Let x(a) = -a**2 + 9*a + 7*a**2 + 3 + 33*a**2 - a**2. Is x(v) a prime number?
True
Let b(m) = -744*m - 97. Suppose -x + 3*o = 12, -3*o = 5*x - 4*o + 32. Is b(x) composite?
True
Let m(c) = c**3 + 22*c**2 + 40*c + 10. Let v be m(-20). Suppose -52090 - 75060 = -v*n. Is n prime?
False
Let z be 5*8/4 - 6. Suppose y + 3976 = 4*d, -d - 2963 = -4*d - z*y. Is d a composite number?
True
Let d(u) = 14423*u**3 - 5*u**2 - 13*u + 20. Is d(3) a composite number?
False
Suppose 17*g - 74*g = -15229317. Is g composite?
True
Suppose 9299 = -4*z + 3*z. Let y = -4718 - z. Suppose 2*k - 324 - 1514 = -2*u, -2*k = -5*u + y. Is u a prime number?
False
Let r = 36055 + -3712. Is r a prime number?
False
Let q(y) = -513*y + 74. Let j(f) = 1029*f - 147. Let n(b) = -3*j(b) - 7*q(b). Is n(4) a prime number?
False
Let j be 6/8 + 15519/(-84). Let y = j + 629. Is y composite?
True
Let n(q) = -3*q + 55. Let v be n(17). Suppose -v*t - 936 = 2*t. Let y = t + 283. Is y a composite number?
False
Let k(i) be the first derivative of 2/3*i**3 + 7/2*i**2 - 4 - 24*i. Is k(-11) a prime number?
False
Let d(o) = 8*o**3 + 4*o**2 + 11*o + 11. Let r be d(8). Suppose 3*c + 5*v - r = 0, 0*c = -3*c + 5*v + 4411. Is c a prime number?
False
Let r = -943 + 2159. Let i = 2955 - r. Is i a composite number?
True
Suppose h + 4*p - 286813 = 0, -5*h + 22*p - 17*p + 1433990 = 0. Is h prime?
True
Let q(c) = 38527*c**3 - 12*c**2 + 10*c + 34. Is q(3) prime?
False
Let a be 1/(-4) - 648/(-32). Is ((-4)/a)/(5/(-60925)) a prime number?
True
Let h(u) = -u**2 + 5*u + 2. Let x = 7 + -2. Let c be h(x). Is 77/c*(9 + -7) composite?
True
Suppose 5*p + 5*m - 434635 = 0, -24 = -4*m - 8. Is p a composite number?
False
Suppose 0 = -3*h + 2*c - 4509 + 35786, 0 = -5*h + c + 52133. Is h composite?
False
Let f(b) = -10978*b - 3. Let o(k) = 21957*k + 6. Let h(d) = -5*f(d) - 2*o(d). Is h(1) composite?
False
Let k = 21 - 6. Let q(l) be the third derivative of 3*l**4/2 - 23*l**3/6 - 323*l**2. Is q(k) composite?
True
Let z(n) = 2*n + 49. Let w be z(-22). Suppose 3*f = 2*f + s + 508, -w*f = s - 2558. Is f prime?
False
Let m be (-426 - -1)*(-17 - -16). Let g be (-7)/(7/m) + 2. Let j = g + 1472. Is j prime?
True
Let k(q) = 255*q - 123*q - 127*q - 14 + 17*q**2 + 3. Is k(11) a prime number?
False
Let m(j) = -j**3 + 10*j**2 - 8*j + 45. Let y = -394 - -400. Is m(y) a prime number?
False
Let d(z) = 1222*z - 4 + 148*z**2 - 1219*z + 2. Let p be (-2)/(-4)*4 + -1. Is d(p) prime?
True
Suppose 2*l + 4*t = 72, 2*l - 53 = -t + 31. Suppose 39*n - l*n = -22105. Is n prime?
True
Let y = -17775 - -45548. Is y a composite number?
False
Let q(x) = -159*x**2 + 13*x + 9. Let w(i) = -160*i**2 + 15*i + 9. Let s(u) = -7*q(u) + 6*w(u). Is s(-5) a composite number?
False
Suppose 60 - 42 = -h. Is -22*2269/h + (-4)/18 a prime number?
False
Suppose -4*a + n - 9852 = 6*n, -4*a - n - 9868 = 0. Suppose 3*m + 2882 = m. Let t = m - a. Is t a composite number?
True
Suppose -334*l + 169387 - 1193880 = -371*l. Is l a prime number?
True
Let v = -487276 - -346856. Is v/(-18) - (1742/(-117) + 15) prime?
False
Let c(v) = 3*v - 3810. Let q be c(0). Let w = q + 5407. Is w composite?
False
Let w be -6 - (-5 + -4) - -3. Let t(q