- -179047. Is c composite?
False
Suppose 0 = -3*a + l + 24815, -3*a - 2*l + 24800 = -0*l. Is ((-15)/25)/((-2)/a) prime?
False
Let m(s) = 8856*s - 216. Let d be m(8). Suppose 3*w + 3*v - 52951 = 8*v, 0 = 4*w + v - d. Is w prime?
True
Let k(a) = -29*a**3 - 68*a**2 + 4*a + 40. Is k(-11) prime?
True
Suppose 5*t - 27219 = 20486. Let k = t - 6450. Is k a composite number?
True
Let j(c) = -c**3 - 11*c**2 + 9*c - 14. Let h be j(-12). Is -1 + (-18)/(-22) + 30562/h a composite number?
True
Suppose 47 = 4*l + 59, -4*l + 683123 = 5*n. Is n prime?
False
Suppose 2*m = 4*l + 1418218, -3*m + 2*m + l = -709113. Is m prime?
True
Suppose 4*i - 9*i = -4*v - 24, -2*i + v = -9. Is ((-67)/3)/(i/(924/(-7))) prime?
False
Let f(u) = -3*u**2 + 2*u + 7. Let t be (8/14)/((-2)/7). Let s be f(t). Is (s/((-54)/(-4748)))/((-2)/3) a composite number?
False
Let s(a) = 21*a**2 + 621*a - 191. Is s(-85) composite?
True
Let a be 17 - (-4 + 8) - 6. Suppose -4*s + 6599 = -3*t, a*s - 8240 = 2*s - 5*t. Is s a prime number?
False
Let x(m) = m**3 + 20*m**2 + 18*m - 21. Let b be x(-19). Is (b + 1*-6)*3349/(-68) composite?
True
Let l(f) = -f**2 - 18*f + 16. Let g be l(-19). Let y(d) = 59*d**2 - 14*d - 10. Is y(g) composite?
False
Suppose 5*y = 3*l - 6557, -y - 2 = -2*y. Let z = l - 1216. Is z a composite number?
True
Let g(j) = -j**2 + 28*j - 3. Let u be g(28). Is ((-2777)/u)/((-3 - -1)/(-6)) a composite number?
False
Suppose -105 = -49*w + 42*w. Let d be 45/12 + w/(-20). Suppose 0 = 3*l - 5*x - 1571, -3*x + 2641 = 8*l - d*l. Is l prime?
False
Let t(g) = 215*g**2 - 73*g - 1129. Is t(33) a composite number?
False
Suppose 2*d - 9712 = h, 3*d + 48560 = 3*h - 8*h. Let z = 4249 - h. Is z composite?
True
Let t = -70003 - -129312. Is t composite?
True
Let n = 1634 + 60825. Is n prime?
True
Let g = 37 - 37. Let p(m) = -m**3 + 3*m + 3. Let h be p(g). Suppose -1275 = -3*r - r + v, -h*r + v = -956. Is r composite?
True
Let w(p) = -40*p**3 - 31*p**2 - 37*p + 19. Is w(-12) composite?
False
Let u(b) = 245*b + 5. Let i be (-2669)/(-119) - 3/7. Let p = 26 - i. Is u(p) prime?
False
Let k(y) = -6005*y + 189. Let x(a) = 3003*a - 94. Let n(m) = -3*k(m) - 7*x(m). Is n(-5) a prime number?
True
Suppose 18*z = 13*z + 12710. Let l be z/3*1 + (-2)/(-3). Suppose 3*n - 1372 = 3*q + l, 5*n - 4*q = 3705. Is n composite?
True
Let v(t) be the second derivative of t**5/20 - t**4/2 - 2*t**3 + 19*t**2/2 - t - 98. Is v(22) a composite number?
False
Is (23 - (-6508755)/60) + 3/4 composite?
False
Suppose 49 = -2*j - 125. Let d be (-4)/18 - j/27. Suppose 2*m - 531 = x, 20 = -d*x + 5. Is m a prime number?
True
Let r(y) be the first derivative of 1014*y**2 - 445*y + 214. Is r(9) a prime number?
True
Let k(l) = 584*l**2 - 3*l. Let p be k(4). Suppose -p = 120*w - 124*w. Is w composite?
False
Suppose -2*i - m = m + 30, -78 = 5*i + 2*m. Let a(t) = t**2 - 15*t - 17. Is a(i) prime?
True
Suppose 11*d - 32 = -10. Suppose 137 = -d*t - 1451. Let h = t - -1547. Is h composite?
True
Let p = -222266 - -393705. Is p prime?
True
Let d(h) be the first derivative of -h**4/4 + 8*h**3 + 7*h**2 - 43*h - 3. Is d(18) a composite number?
False
Let i(d) = -d**3 + 4*d**2 - 5*d + 8. Let l be i(3). Is 6038 + (-5)/l*-2 a composite number?
False
Suppose 783*x - 799*x + 809072 = 0. Is x a composite number?
True
Let c(o) = o**2 + 15*o - 100. Let l be c(-20). Suppose -16*w = -l*w - 154352. Is w composite?
True
Let f = 189787 + -19854. Is f a prime number?
True
Suppose 2*k + 55547 = -22*k + 380075. Is k a prime number?
False
Suppose -1091965 = -16*h + 1082899. Is h a composite number?
False
Let b be ((-12)/15)/((-4)/10). Let m = 91 + -89. Suppose 0 = -b*a + m*o + 432 - 116, -2*a + 321 = 3*o. Is a a prime number?
False
Let z(a) = 5*a**2 - 19*a + 451. Is z(40) a composite number?
False
Let q(s) = 15137*s - 398. Is q(17) a composite number?
False
Let f = -129 + 145. Suppose 21*v - 40955 = f*v. Is v composite?
False
Let w(y) = y**3 + 8*y**2 + 2*y - 1. Let k be w(-7). Let i = 32 - k. Is (-123)/i*1*300/90 a composite number?
True
Let r = 4690 + -1239. Let d = r - 672. Is d composite?
True
Is 3/35*5 - 1135184/(-14) a composite number?
True
Let n be 9/(-2)*(1 - (6 - 1)). Suppose 29*a - n*a = 3707. Is a composite?
False
Is (-83)/(415/(-921610)) + (-18)/2 a prime number?
False
Let s(w) = w**2 - 54*w - 452. Is s(-27) a composite number?
True
Let r(m) = 55*m**2 - 83*m + 277. Is r(-37) a prime number?
True
Suppose -10*x + 23 = -17. Is x - 11 - (-1277 - 1) prime?
False
Let f(d) = -797*d**3 + 2*d**2 - 49*d - 51. Is f(-1) composite?
False
Let q(g) = 12*g + 24. Let x be q(4). Suppose 63*a = x*a - 60579. Is a prime?
False
Let s(d) = -3*d + 2. Let o be s(4). Let z(u) be the second derivative of -u**5/20 + 5*u**4/6 - u**3/3 + 31*u**2/2 + 9*u + 252. Is z(o) composite?
True
Let v = -447 - -1053. Suppose 2*b - v = -5*p + 572, 3*p = -4*b + 718. Let h = 485 - p. Is h composite?
False
Suppose -3*q - 564571 = -5*j, 13*q + 752792 = 9*q - j. Let m = 276660 + q. Is m a composite number?
False
Let h(t) be the second derivative of 0 + 43*t + 1/3*t**4 + 0*t**3 - 9/2*t**2. Is h(-4) composite?
True
Let l = -220 - -219. Let k = l + 362. Is k prime?
False
Let g be 283/3 - (-2)/3. Let a = -103 + g. Is 2/2 + (a - -1038) prime?
True
Suppose -5*o + 1040880 = 6*i - i, -3*i + 3*o = -624558. Is i composite?
True
Let f(w) = -11*w**3 - 2*w**2 + 13*w + 10. Let s be f(-4). Suppose -5*a - n + s = 0, -2*a - 2*n + 229 = 3*n. Is a a prime number?
True
Let c = -13 - -16. Suppose 4*o + w = 15, 0*o - 2*o - c*w = -5. Suppose n + 630 = 3*s - 0*n, n - 847 = -o*s. Is s a composite number?
False
Suppose 6*m = -m - 2123 - 3113. Let q = -5 + 8. Is (q + 25/(-10))*m/(-2) composite?
True
Let h(g) = -g**2 - 24*g + 23. Let b be h(-25). Is b/(-20) + 825433/370 a prime number?
False
Suppose -3*g = 5*i + g - 40330, 8057 = i - g. Let r = i + -4902. Let v = r + -2253. Is v a prime number?
True
Let j(z) = -9*z**2 + 4*z - 2 + 191*z**3 + 0*z - 193*z**3. Let b be j(-12). Suppose 42*n - b = 37*n. Is n a composite number?
True
Is (-9)/(-27)*-5 + (-8332240)/(-15) a prime number?
False
Let t(j) = -303 - 29 + 39 - 41*j - 19*j + 316*j**2. Is t(-5) composite?
False
Suppose 3*o + 96 = 321. Let s = o - 70. Is 1569 - -1*(s + -3) prime?
True
Let x(t) = 10*t - 175. Let p be x(21). Let h(u) = -u**3 + 53*u**2 - 29*u - 28. Is h(p) a composite number?
True
Let c(g) be the first derivative of 619*g**3/3 + 5*g**2/2 - 7*g - 12. Is c(3) composite?
True
Let c = 41 - 36. Suppose -5*h = -0*x - x - 52, 10 = 2*h + c*x. Let o(f) = 3*f**3 - 6*f**2 - 6*f - 7. Is o(h) a composite number?
False
Let i(v) = v**3 + 27*v + 11. Let f = 140 - 149. Let m(j) = 2*j**2 + 15*j - 15. Let n be m(f). Is i(n) composite?
False
Suppose 5*f - 94029 = 4*o, -56412 = -3*f - 29*o + 26*o. Is f prime?
False
Suppose 9 = -211*t + 214*t. Is ((t + -7)/(-4))/((-1)/(-379)) a composite number?
False
Let i = -20 - -45. Suppose -i = 2*u + 27. Is (-1 - 1)*17719/u a composite number?
True
Let s = 167 - 157. Suppose 18563 = s*u + 6933. Is u prime?
True
Let h = 146 + -258. Let p = h + 131. Let t(m) = 17*m**2 + 13*m - 31. Is t(p) a prime number?
True
Let t(y) be the first derivative of 56*y**3/3 + y**2/2 - 5*y - 44. Is t(-6) a prime number?
False
Suppose -2*b - 5*h - 13 = -3*b, -2*b + 2 = -2*h. Is ((-6)/(-15)*5)/(b/(-791)) a composite number?
True
Suppose -5*g + 31 - 7 = 4*o, 5*o = 5*g - 15. Let v be (25/5 - o) + -14. Is (-5418)/(-8) - v/(-40) composite?
False
Is -3*(-2)/(-15) - (-7695402)/1430 a composite number?
False
Suppose 9*x - 3 = -3*f + 4*x, 4 = 4*f + x. Let c be (-1 + -24*11)*(2 - f). Let m = c - -434. Is m a prime number?
False
Let d(x) = 3*x**2 + 118*x - 108. Is d(-55) composite?
False
Let c be (2/6)/((-1)/(-66)). Suppose 3*k - 332 = y, y - 203 = -4*k + 235. Is 4/c + 74670/k a composite number?
True
Let m(f) = 2*f**3 - 39*f**2 + 8*f + 52. Let i be m(19). Let o = 426 - i. Is o composite?
True
Let d = -74156 + 109927. Is d prime?
True
Let z(u) = 26*u + 61. Let l be 3/(-66)*2218 - (-6)/(-33). Let k = -68 - l. Is z(k) prime?
True
Let s(j) = j**2 + 4*j - 14. Let p be s(-7). Suppose -p*y - 2448 = -15*y. Suppose 290 = 4*b - y. Is b prime?
True
Suppose 9*z + 0*z - 54 = 0. Suppose z*o + 28 = 8*o + a, 0 = -o - 2*a + 20. Let x(u) = 2*u**2 - 13*u - 5. Is x(o) a prime number?
True
Let g(y) = 7 - 2*y*