 -4889262 = -139*z + 97*z. Is z a prime number?
True
Let v(l) be the first derivative of 2*l**3 - 4*l**2 + 9*l - 144. Let j = 10 + 1. Is v(j) prime?
True
Suppose 16*t - 26*t - 168691 = -1232181. Is t a prime number?
True
Suppose -3*m - 3*m = 4*m. Suppose 5*d - 520 - 10 = m. Let p = d + 2055. Is p prime?
True
Let s = 56 - 169. Let p = -205 + 41. Let h = s - p. Is h prime?
False
Let o be 1*4 + (16 + -5 - 11). Is -1 + (o - (-5 - 0 - 9279)) a composite number?
True
Let n(f) = 34*f**3 - 5*f**2 - 6*f - 33. Is n(10) a prime number?
False
Let r be (-2018)/(-6)*(1374 - -30). Suppose 5*c + r = 41*c. Is c a composite number?
True
Suppose -l - 4*a = 237, -2*l - a + 931 = -6*l. Let x = 918 + l. Is x a prime number?
False
Let v(b) = 87*b - 97. Let a(d) = 43*d - 49. Let z(o) = -11*a(o) + 6*v(o). Is z(5) composite?
True
Let o = 785531 + -484933. Is o prime?
False
Let b = 96 + -91. Suppose 4*c - 1422 = -3*z - 146, -c - 4*z = -319. Suppose -b*f + c = -4*f. Is f prime?
False
Suppose -1345425 = -57*m - 57*m + 39*m. Is m a composite number?
False
Let s(x) be the third derivative of 203*x**4/2 + x**3/6 + 3*x**2 - 2*x. Is s(4) prime?
False
Suppose 2*z - 13 - 3 = 0. Suppose -z*v + 5377 = -1015. Let q = v - 306. Is q composite?
True
Let d(i) = -42942*i**3 + 16*i**2 + 3*i - 14. Is d(-1) a prime number?
False
Suppose 6*u = 9851 + 9715. Let m = 5570 - u. Is m a composite number?
False
Is 1/(10 - (-152682)/(-1236726)*81) prime?
False
Suppose 0 = -7*m + 3*m + 12. Suppose -4*n + 78560 = 2*i, 0*n + 58922 = m*n + i. Suppose -3*v + n + 11711 = 0. Is v composite?
True
Let v(a) = -4*a**2 - 23*a + 3. Let h be v(-7). Let t = 34 + h. Suppose -t*d - d + 561 = -4*n, 0 = 4*d + 3*n - 773. Is d a prime number?
True
Let r = -52 + 30. Let g = 1560 + -1489. Let p = g - r. Is p prime?
False
Let f = -3532 - -5169. Suppose f + 1568 = s. Is s prime?
False
Let l = -18 + 20. Let u be (-84393)/(-36) + (-2 - 7/(-4)). Suppose -2*o = -4*a - 1742, -u - 281 = -3*o + l*a. Is o a composite number?
False
Suppose 241849 = 5*q - 2*j, 4*j + 73199 = 4*q - 120297. Is q prime?
False
Suppose -1932 = 2*v - 5*c, -2*v = 3*v - c + 4784. Let m = 467 + v. Let z = -116 - m. Is z a prime number?
True
Let s(b) = -2073*b**2 - 10*b + 17. Let w be s(3). Is (-6)/15 + w/(-50) composite?
False
Let l(h) be the third derivative of -h**6/60 - h**5/60 - h**4/24 - 13*h**3/6 - 4*h**2 + 76*h. Let r = 1 + -8. Is l(r) a composite number?
False
Suppose -2*t = 6 - 16, 3*i = -3*t + 84618. Is i a prime number?
True
Let m(v) = 21435*v**2 + 52*v - 179. Is m(4) prime?
True
Let v be (6/1 - 5)/((-2)/(-2)). Is (0 - v)/(5/(25640/(-8))) composite?
False
Let k(m) be the second derivative of 401*m**3/6 + 3*m**2 + 4*m. Let j be k(-2). Let g = 1665 + j. Is g composite?
True
Let x(c) = 2*c**2 + 2*c - 5. Let k = -27 - -23. Let q be x(k). Suppose -4*t + 95 = q. Is t composite?
False
Let n(d) be the first derivative of -11*d**4/4 + 5*d**3/3 - 9*d**2/2 - 5*d + 16. Let h(u) = -u**3 + u**2 - u - 1. Let v(i) = -6*h(i) + n(i). Is v(-4) prime?
True
Let x(r) = -r**3 + 6*r**2 + 15*r + 1075361. Is x(0) a composite number?
True
Suppose 270*j + 24 = 276*j. Suppose -p = -j*a + 8625, 10770 = -4*a + 9*a + p. Is a prime?
False
Let c be ((-6404)/(-3) + 0)*(-528)/(-352). Is c - (5 - -1 - -2) prime?
False
Let s(i) = -i**2 - 10*i + 18. Let k be s(-16). Is 3707 - (-13)/(k/(-12)) prime?
True
Suppose 2*y - 4024 = -4*w - 2*y, w = -4*y + 1000. Suppose -4*k + w = 4*v - 0*k, 4*v - 3*k - 980 = 0. Let g = v + 593. Is g prime?
False
Suppose 28521 + 188098 = -3*n + 22*n. Is n a prime number?
False
Let u(d) = -4 + 0 + d**2 + 2 - 4. Let o be u(3). Suppose 0 = -3*b - 3, -2*x - 5*b = o*x - 3340. Is x a composite number?
True
Is 79/((-457527)/(-76251) - 6) composite?
True
Suppose 6*z - 6 = 12. Let a(c) = 9*c**3 + 4*c**2 - 3*c - 2. Let g be a(z). Suppose -4*y = 2*n - 3506, g - 1122 = -y - 5*n. Is y a composite number?
True
Let p(v) = -8*v - 7. Suppose -2*n + 1 = -9, -3*l - 5*n - 23 = 0. Is p(l) a composite number?
True
Let j = 366 + -1956. Let c = 4651 + j. Is c a composite number?
False
Let v be ((-7822)/(-16) - -1) + 12/96. Suppose -v = -11*f + 31707. Is f a composite number?
False
Let v be (0 + -1)*43*(-17 - -18). Let c be (v/(-2))/((-3)/84) + -2. Let x = -273 - c. Is x prime?
True
Suppose -2*a + 6*t = t - 35, 5*t = a - 30. Suppose -a*m = 5*g - 3770, 0 = -3*m + m + 6. Is g a prime number?
True
Let u = 169444 + -118341. Is u a composite number?
True
Let o = -271177 + 397040. Is o a prime number?
True
Let l = -132 - -130. Let d(k) = -3*k**3 + k**2 + k - 4. Let f be d(l). Is (-189)/18*f/(-3) a prime number?
False
Let a = 148 + -164. Is (-17 - a)/((-1)/3989) composite?
False
Suppose 3*y = t + 13027, -20*y = -15*y + 20. Let j = -7508 - t. Is j a composite number?
False
Let z = -653622 + 997391. Is z composite?
False
Is -2 - ((-2 - -1) + (10 - 29391) - 3) composite?
False
Suppose -2*n + 60 = -12*t + 16*t, -4*n + 42 = 2*t. Is t - -10652 - (-9 - -1) a composite number?
True
Suppose -3*p = -85491 + 22875. Let m = p - 6729. Is m prime?
True
Let a be (0 - 11/(-4))/((-10)/(-40)). Suppose -a*g - 170 - 490 = 0. Is (g/(-80))/(6/3352) composite?
False
Let j(b) = -9*b**3 + 2*b**2 - 5*b - 5. Let h(k) = k**3 - 25*k**2 + 5. Let v be h(25). Suppose -z = -3*x - 11, 0*x - v = 5*z - 3*x. Is j(z) a prime number?
False
Let t = 5116 + -11356. Let y = -1973 - t. Suppose 2*v - y = -477. Is v composite?
True
Suppose f - 154518 - 6815 = 0. Is f composite?
False
Let g(k) = 2008 + 65*k**2 - k**2 - 1968 - 4*k - k. Is g(11) composite?
True
Let c(v) = -v**3 - 12*v**2 - 10*v + 21. Let k be c(-11). Suppose o + 1986 = k*b - 5*b, -5*o + 1980 = 5*b. Is b composite?
False
Let j(c) = -c**3 - 14*c**2 - 13*c + 1. Suppose -13 = -0*x + x. Let f be j(x). Is 637*1 - (3 - f) composite?
True
Suppose 3*f = -5*y + 1309, 874 = 3*f - f + 2*y. Suppose 2*k - 458 = -2*a, -2*k + a + 2*a = -f. Suppose -5*u + 220 = -k. Is u composite?
False
Let y(b) = 70*b**2 + 17*b + 73. Let x be y(15). Is (6/(-2))/(8 + (-128630)/x) a composite number?
False
Suppose 2*k - 8*k + 24 = 0. Suppose -k*s + 4876 = -4508. Suppose 0 = -3*x + 9*x - s. Is x a composite number?
True
Let a be (-2)/(-8) - 2/((-48)/32730). Let w = a - 735. Suppose 4*t - 1047 = -5*r, 4*r + t - 213 - w = 0. Is r prime?
True
Let s(x) = -25*x + 7*x**3 + 24*x + 12*x**2 - 8 - 21*x**2. Is s(11) a prime number?
True
Suppose 124 = 8*f - 164. Suppose 0*w = -w + 129. Suppose 0 = 3*t - f - w. Is t a composite number?
True
Let d(p) = 2*p**3 + p**2 + p + 9. Let n be d(-2). Is 3/n - (-346732)/170 prime?
True
Let h = 6446 + -3349. Let l = 17240 - h. Is l a prime number?
True
Let f be (6*1244/(-18))/((-1)/21). Suppose 22760 + f = 4*c. Is c a prime number?
True
Let b(h) = 4*h**2 - 20*h + 17. Let a be b(-16). Is (a/4)/(1/4) a prime number?
True
Suppose -13627 = 25*k + 32473. Let r = 1055 - k. Is r prime?
False
Let c = -557 + 577. Suppose c*r - 28109 = -9769. Is r composite?
True
Let i(u) = 2030*u + 77. Let k be i(8). Let n = k + -6478. Is n composite?
False
Let b be 1*-2487*(-45)/27. Let i = b - 2324. Is i prime?
False
Suppose -22*i = -3600924 - 3419210. Is i a prime number?
True
Let s(j) be the first derivative of j**2/2 + 3*j - 21. Let g be s(3). Is 6/g + -334*(-12)/4 prime?
False
Let h = -399 + 397. Is h - 6/(-8) - 629419/(-28) a prime number?
False
Is (-11)/(440/(-30)) + (-25162423)/(-44) a composite number?
True
Let v(b) = -11*b**3 - 75*b**2 - 71*b - 183. Is v(-40) a prime number?
False
Let r = -40 - 1. Let v = 42 + r. Is (0 - 4 - -893)*v prime?
False
Let r(n) = -2*n**2 - 8*n + 49. Let j be r(-11). Is (-191425)/j + 4/(-42) a composite number?
False
Let v(q) = -289*q + 11. Suppose 0 = 2*y - 4*n + 8, 4*y + 47 = -y + n. Let w be (1 - -2 - (-35)/y)*4. Is v(w) a prime number?
False
Suppose -72 = -2*i + 248. Suppose 0 = 5*w + 3*w - i. Suppose 14*u - w*u = -6342. Is u a composite number?
True
Let o(y) = -19611*y - 6013. Is o(-6) prime?
True
Let w = 109289 + -9778. Is w composite?
True
Let y(i) = 13802*i**2 - 150*i - 455. Is y(-3) composite?
False
Let y(g) = g**3 - 12*g**2 - 2*g + 29. Let v be y(12). Let l(w) = -w**3 + 6*w**2 - 5*w - 2. Let x be l(v). Is (0 - 257)*(x - -1) a prime number?
True
Is ((-459)/(-612))/((-6)/(-9029528) - 0) a prime number?
True
Let s(m) = -4 + 2*m**2 + 19*m - 3 - 13 - 4. Let t be s(-