 c(u) = -9367*u - 1157. Is c(-12) a composite number?
True
Let y(t) = 2872*t**2 - 11*t. Let w(b) = -b**3 - 11*b**2 - 27*b + 8. Let o be w(-7). Is y(o) prime?
True
Let b = 34 + -13. Suppose -25*f + 19496 = -b*f. Is f a composite number?
True
Let v = 1438209 - 828466. Is v prime?
True
Suppose -586955 = 21*i - 8442446. Is i prime?
False
Let n = -23741 - -72472. Is n a prime number?
True
Let l(y) be the first derivative of -y**7/420 + y**6/120 - y**4/8 - 32*y**3/3 + 16. Let p(z) be the third derivative of l(z). Is p(-6) a composite number?
True
Suppose 0 = 7*y - 41 + 6. Let f(j) = j**3 - 3*j**2 + j + 4. Let q be f(y). Suppose 0 = -61*n + q*n + 5786. Is n a composite number?
True
Let y(g) = -22*g**2 - 25*g - 16. Let q(u) = -65*u**2 - 74*u - 48. Let x(d) = -4*q(d) + 11*y(d). Is x(13) prime?
True
Let l(f) = -31*f - 10. Let d be l(-1). Is 5/(-15)*d - -5234 prime?
True
Let d be 7 - -5 - (5 + (-1 - 8)). Is d/120*10 + 1546/6 a composite number?
True
Suppose -5*w = -17*w + 166488. Let j = -8767 + w. Is j composite?
False
Let r(o) = 13138*o**2 + 185*o - 1138. Is r(7) prime?
True
Let k = -45 - -112. Suppose 6*u + 5 = -k. Is (-1 + (-2529)/u)/(2/8) a composite number?
False
Suppose 3*o = 4*n - 40, -4*n + o + 8 = -32. Let l be n/25 + 8/5 - -18. Is 10038/15 - 4/l composite?
True
Suppose 4*g - 5 + 46 = 3*s, 28 = 2*s - 3*g. Suppose 56 + 16 = 9*p. Suppose 0 = p*n - s*n + 762. Is n a composite number?
True
Let o(f) be the first derivative of f**5/20 + 2*f**4/3 + 3*f**3/2 - f**2/2 - 19*f - 31. Let x(v) be the first derivative of o(v). Is x(7) a prime number?
True
Let d(i) = -64*i**3 + 25*i**2 + 65*i + 1389. Is d(-20) a composite number?
True
Let b(u) = -u**3 + 16*u**2 - 2*u + 26. Suppose 4*p - z = 69, 2*p = -3*p - z + 75. Let s be b(p). Let q(c) = -102*c - 55. Is q(s) prime?
True
Let v be 2/(-1)*2*-1. Suppose -5*s = 2*j + j - 36, 5*s - v*j = 22. Is (9/s)/((-9)/(-762)) a composite number?
False
Is (-16915)/(-45)*890 + 4*(-8)/288 a composite number?
False
Is 803514/8*(406/(-4263))/(1/(-14)) a prime number?
True
Suppose -i + 3*n + 15 = 0, 0 = i + 2*n - 3*n - 19. Suppose i = 12*b - 3. Suppose 4*a - s = 1552, -5*a + 1961 = 2*s + b*s. Is a composite?
False
Suppose 6*c = c + f - 76, 0 = -5*c - 4*f - 71. Let r(b) be the second derivative of -b**5/20 - 4*b**4/3 - 5*b**3/2 + 7*b**2 + 25*b - 1. Is r(c) composite?
True
Let k = 1005806 + -639901. Is k a composite number?
True
Let u(v) = -2 - 17*v**3 + 3*v**2 + 9*v**3 + 6*v**3. Is u(-3) a prime number?
True
Let d(z) = z**3 + 8*z**2 + 7*z - 7. Let o be d(-7). Is ((-70)/25)/o + 36406/10 a composite number?
True
Let u(x) = 11*x + 42. Let t(f) = f**3 - 6*f**2 + 5*f + 4. Let i be t(5). Suppose 2*j = -2*j + n + 74, -2*n = -i. Is u(j) prime?
True
Let t be 86/10 + (-6)/10. Suppose 2*u = t*u + 834. Let s = 72 - u. Is s composite?
False
Suppose 3*t = -12*k + 9*k + 78990, -3*t - 5*k + 79000 = 0. Suppose q - 5*n = 6*q - t, 0 = -q - 2*n + 5261. Is q a prime number?
False
Suppose -5*n - j + 1127100 = 0, 4*j + 225441 = 90*n - 89*n. Is n composite?
True
Let r(j) = j + 8. Let y be r(12). Let u(v) = 30*v + 49. Let o(s) = -20*s - 33. Let i(a) = 7*o(a) + 5*u(a). Is i(y) a composite number?
True
Let i be (15/(-20) - (-86652)/16) + 4. Suppose -4*n - i = -f, -2*f + 2*n + 16227 = f. Is f composite?
False
Let c(m) = -223176*m - 5471. Is c(-4) a prime number?
True
Let s = -54 - -156. Suppose 0 = -2*q + 4*w + s, 4*q + 5*w - 73 - 144 = 0. Let l = q - 46. Is l a prime number?
True
Let v(s) be the second derivative of s**5/20 + s**4/2 - 5*s**3/3 - 7*s**2 - 15*s. Let d be v(-7). Is (-20428)/(-12) + d/(-3) + 3 a composite number?
True
Suppose 3211*g - 391 = 3188*g. Let f be 401 + 0 + (-1 - 1). Let v = f - g. Is v composite?
True
Is 1708/244*791409/21 composite?
False
Suppose 5348 = -5*c + 1288. Let m = c + 1219. Suppose -5*l + 3725 = 3*p, -3*l + 1828 = -4*p - m. Is l prime?
False
Suppose k - 5*l = 114153, -10*k + 228294 = -8*k - 4*l. Is k composite?
False
Let j(t) = 539*t**3 + 2*t**2 + 97*t - 409. Is j(4) a prime number?
False
Let r = -880517 + 1468864. Is r a prime number?
True
Let k(t) = 4*t**3 - 101*t**2 - 88*t + 55. Is k(42) composite?
False
Let i(r) = -21605*r**3 + r**2 + 15*r + 14. Let s be i(-1). Suppose 0 = 13*w - 18*w + s. Is w prime?
False
Suppose 13*v - b = 7*v + 716625, 3*b = -5*v + 597176. Is v a prime number?
False
Suppose -18*r + 1480413 + 1099509 = 0. Is r composite?
False
Suppose 48 = 2*w + 40. Suppose 4*k + w*f = 57092, 0 = -15*f + 11*f. Is k composite?
True
Let s(k) = k + 2. Let i(l) = 664*l + 25. Let x(m) = -i(m) - 6*s(m). Is x(-6) a composite number?
True
Suppose -5*p = 40*u - 36*u - 497530, -2*u = -3*p - 248776. Is u a prime number?
False
Let l = -10651 + 24492. Is l composite?
False
Let m = 442167 + -150244. Is m composite?
False
Let i(m) = m**3 - 35*m + 33. Is i(6) a composite number?
True
Suppose 2*n - 1550 = 812. Let w = n + 7022. Is w a prime number?
False
Let b = 374256 + -202157. Is b composite?
True
Let w(f) = 8*f + 28. Let l be w(-4). Let d be l/34 + (-53)/(-17). Suppose d*c + 100 = 769. Is c a composite number?
False
Let o be 1645/517 + (-2)/11. Suppose o*l = 22105 + 47858. Is l a composite number?
False
Suppose 64*t - 777007 + 157679 = 0. Is t composite?
False
Suppose -8798 = -2*w + 52*s - 57*s, 5*s = 3*w - 13222. Suppose -3*v = v - w. Is v composite?
True
Suppose -3*v = 10 - 10. Suppose v = 4*s - s - 12. Suppose -732 - 544 = -s*b. Is b composite?
True
Suppose 0 = -3*o + 1229 + 1693. Suppose o = 7*w - 9*w. Let v = w - -756. Is v prime?
True
Is (-4 - 360/(-88)) + (-7884300)/(-55) prime?
False
Suppose -974*n = -1049*n + 30698475. Is n prime?
False
Let l(x) = -x**3 - 29*x**2 + 29*x - 27. Let f be l(-30). Is (3*f/18)/(2/16772) prime?
False
Suppose -6*t + 4*m = -t - 21, -2*m - 8 = 0. Let o(z) = 3749*z - 34. Is o(t) a prime number?
False
Suppose 0 = 15*w + 2*w - 650927 - 479318. Is w a composite number?
True
Suppose -4939793 = -5*s - 4*t, -2*t - 832175 = -s + 155792. Is s a prime number?
False
Let y(k) = 2*k + 13. Let b be y(-7). Let q(d) = 1793*d**2 + 1 + 1 + 306*d**2 + 5 + 2*d - 5. Is q(b) a prime number?
True
Suppose -2027*y = -1956*y - 6464905. Is y a composite number?
True
Let y(m) = -505*m**3 + m + 1. Suppose 4*o - 129 = o. Let j = 42 - o. Is y(j) prime?
False
Let w = 9682 + -5754. Let z = -879 + w. Is z a composite number?
False
Suppose 52*s = -51*s + 82*s + 218379. Is s a composite number?
False
Let g = 39 - 29. Suppose 7438 = -g*k + 2868. Let r = -206 - k. Is r a prime number?
True
Let h(m) = -8*m**3 + 5*m**2 + 302*m - 3. Is h(-24) prime?
False
Let j(v) = -2 - 191*v - 35*v - 29. Is j(-8) a composite number?
False
Is 2086448/39 - 16 - (-1)/3 prime?
False
Suppose z + 5*z - 6 = 0. Let f = -3 + z. Is 222 - (-5)/(-7 - f) prime?
False
Let f = -265 - -272. Suppose 27719 = f*a - 52662. Is a prime?
True
Let a(o) = -3*o**3 + 12*o**2 - 25*o - 421. Is a(-9) prime?
True
Let j(z) = -35784*z + 4415. Is j(-8) a composite number?
True
Suppose 0 = 4*b - b + 12. Let z be 0 - (-10 + b + 4 + 4). Is 1358 - z*5/(-10) a composite number?
False
Let r be 1/(-5) + 1500454/170. Suppose -k + 7*k = r. Is k prime?
True
Let w(g) = g**2 + 6*g - 2. Let y be w(-6). Let f be y*(0 + 5)/(-5). Is f - -2 - (-530)/2 composite?
False
Let m = 1649464 + -536973. Is m composite?
True
Let i(u) = 18*u**2 - 3*u + 9*u**2 + 18*u - 9 + 0*u**2. Is i(-11) a prime number?
False
Is 69210 + 1449/276*(-8)/6 a composite number?
False
Is (-62268666)/(-36) - 4 - (-2)/(-12) a prime number?
True
Let f(c) = -c**2 - 14*c + 22. Let d be f(-15). Suppose 0*b + 22085 = d*b. Is (-3)/(3140/b + -1) a composite number?
False
Suppose 0*w = 2*w, -4*s + 3*w + 16 = 0. Suppose s*f = 2*b - 6762, -20*f - 13514 = -4*b - 17*f. Is b prime?
False
Suppose -3*p = -11*p + 48. Suppose -12*w + 180 = -p*w. Is -49*(-16)/30 - 4/w a prime number?
False
Let i = -21 + 29. Suppose -i*g = 17 - 793. Let b = g + 234. Is b prime?
True
Suppose 4*m - 52 = -0*m. Suppose m*z = 10*z + 6. Suppose 0 = z*x + 3*h - 463, 1150 = 5*x - h - 50. Is x a prime number?
True
Suppose 13*r - 19*r - 4170 = 0. Let c = r - -1846. Is c prime?
True
Let f(b) = b**2 + 3*b + 4. Let y be f(-3). Suppose -n = -y*w - w - 1, 0 = -n + 1. Suppose -3*x + 565 + 8 = w. Is x a prime number?
True
Let v(j) = 3*j**2 - 36*j - 6. Let r be v(12). Is (0 - (-5199)