093686)/(-133) + 2/(-14) a prime number?
False
Let p(t) = 462*t**2 - 433*t**2 - t**3 - 13 + 32*t + 6*t. Is p(22) prime?
True
Let d(x) = 583*x**3 + 4*x**2 + 12*x - 6. Let j be d(3). Suppose -3*s - 3157 = -2*t + t, 5*t - j = 4*s. Is t composite?
False
Let o(k) be the second derivative of 569*k**3/6 - 211*k**2/2 - 2*k - 1. Is o(13) a prime number?
False
Let y(r) be the first derivative of 25*r**2/2 - 232*r - 154. Is y(27) a composite number?
False
Let m(y) = -7*y**3 + 8*y**2 + 56*y - 83. Is m(-30) prime?
False
Let l = -159 + 151. Let k(n) = -367*n + 81. Is k(l) composite?
True
Suppose -3*z = 2*l - 52, 9*l = z + 4*l - 40. Suppose 0 = -z*d + 22*d + 1268. Is d/(-6) - (-1)/3 a composite number?
True
Let b be 7314 - ((-1)/(-3))/(10/(-120)). Suppose 0*u + 29352 = 4*u + 4*f, -u - 5*f = -b. Is u prime?
False
Suppose 3*h = -2*h + 25. Let q(v) = 23*v + 5. Let p be q(0). Suppose -1480 = -h*n + p*u, -u = u - 6. Is n a composite number?
True
Let m = 118 + -100. Suppose 5927 - 27833 = -m*p. Is p prime?
True
Let x(q) = 2*q**3 - 192*q**2 + 231*q - 604. Is x(99) prime?
True
Let u = -515 - -1177. Suppose 5*n - u = 8453. Is n prime?
True
Let m(z) = -z**3 + 3*z**2 + 4*z + 13507. Suppose -41*o + 12 = -4*x - 38*o, 4*x + 5*o = 20. Is m(x) prime?
False
Let x(c) = -c**3 - 9*c**2 - 8*c - 5. Let b be x(-8). Let f(j) = -1060*j - 7. Let y be f(b). Suppose -12297 - y = -10*i. Is i prime?
True
Suppose -8827257 = -45*a + 26720898. Is a a composite number?
False
Let q(s) be the third derivative of s**8/1440 - 31*s**7/5040 + 5*s**6/144 - 8*s**5/15 + 36*s**2. Let k(b) be the third derivative of q(b). Is k(14) composite?
True
Is 1572729*(5 + -4)*(-3)/(-9) a prime number?
True
Let t(m) = 1163*m**3 - 14*m**2 + 38*m - 7. Let s be t(4). Suppose s + 4740 = 7*y. Is y prime?
True
Suppose -u = 2*v + 5, -5*u = v + 3 - 14. Suppose 2*x = x - 2*a + 6511, -u*x = -3*a - 19578. Is x composite?
False
Suppose 0 = -3*m - 3*r, 12 = 5*m + 3*r - r. Suppose m*d + 4*h = 7*h + 5594, -h = -5*d + 6987. Is d a prime number?
False
Let z(d) = d**2 - 4*d + 2357. Suppose 4*y - 6 = -22, -4*y - 16 = 2*g. Is z(g) prime?
True
Suppose -27182 = -2*c - i, 0 = 3*c + c + 3*i - 54366. Let o be (5 - -1)*c/30. Suppose 0*t = -r - 3*t + 683, -4*r = 5*t - o. Is r prime?
True
Suppose 0 = -i - 3*z + 718596 - 92872, 5*i + 4*z = 3128653. Is i composite?
True
Suppose 8*f - 3*r - 7559 = 511415, -5*f = 3*r - 324349. Is f prime?
True
Let a(x) = -24590*x + 223. Is a(-3) composite?
True
Let g(y) = -721*y**3 - 2*y**2 - 3*y - 1. Suppose 2*d + 2*s + 0 = 8, -4*s + 16 = d. Let r(b) = -4*b - 1. Let z be r(d). Is g(z) prime?
False
Let d(x) be the second derivative of -1/6*x**3 + 7*x + 25/2*x**2 + 0 + 35/12*x**4. Is d(7) composite?
False
Suppose -4*k - 1620494 = -2*u, 3*k = -6*u + 2618557 + 2242865. Is u prime?
True
Suppose -41*g - 158270 = -1733941. Is g composite?
False
Let j(h) = 1066*h**3 + 6*h**2 - 74*h - 3. Is j(7) composite?
False
Let i be ((-578)/(-4))/((-1)/(-36)). Suppose 0*l = 5*l - 3*y - 8659, -3*l + i = -4*y. Suppose 1516 = 6*x - l. Is x a prime number?
True
Let n(m) = 127368*m**3 + 18*m - 17. Is n(1) prime?
False
Let u(z) = 3*z**3 + 7*z**2 - 8*z - 3. Let c be u(6). Suppose 0 = 3840*s - 3852*s - 6276. Let p = s + c. Is p a composite number?
True
Let o be 63508/4 + 5 + 3. Suppose -5*y + 19400 = -o. Is y a prime number?
True
Let u = 147 - 16. Suppose -271 = -2*p + u. Let y = p + 10. Is y a prime number?
True
Let s(d) = d**3 - 3*d**2 - 16. Let c be s(4). Suppose -a - 38316 = -4*x - 2*a, c = x - 5*a - 9558. Is x composite?
True
Let r(n) = -2*n**2 - 16*n + 64. Let t be r(-11). Is (451/44)/(t + 267/132) a composite number?
True
Let x(i) be the second derivative of i**7/2520 - i**6/240 + 1669*i**5/120 + 13*i**4/6 - 6*i. Let j(p) be the third derivative of x(p). Is j(0) a prime number?
True
Let z(w) = w**3 + w - 337. Let s be z(0). Let t = -125 - s. Suppose -5*h - 3*v = -239 - t, -h - 2*v + 93 = 0. Is h composite?
False
Let c = -45658 + 80597. Is c a prime number?
True
Let c(z) be the second derivative of -z**3/3 + 7*z**2/2 - 12*z. Let p be c(5). Is (310/(-15))/(p/9) a prime number?
False
Suppose -90*v = -83*v - 5*u - 122652, -3*u - 35045 = -2*v. Is v a composite number?
True
Let r(a) = 1890*a**2 + 3*a - 2. Let n = -38 + 39. Let u be r(n). Suppose u = 5*c + 4*o, 5*c - 795 - 1099 = -o. Is c a composite number?
False
Suppose -r - 1 = 0, -2*a - 165*r = -169*r - 168098. Is a prime?
True
Is (-1285240)/(-19 + 8) + -6 a composite number?
True
Let g(x) = 147*x**2 + 2*x + 28. Let h be (-6)/(-15) + 4 + 6/10. Is g(h) a composite number?
True
Is (-2661630)/(-6)*(-22)/(-110) a prime number?
True
Is ((-140)/(-1))/(-7) - -341137 a prime number?
False
Let g be (2/4)/((-14)/(-56)). Suppose 0 = -g*l + 4*a - 6, -l - 5*a = -a - 21. Suppose l*c - 2*s = 1245, -c + 5*s + 0*s = -226. Is c a prime number?
True
Let r(n) = 22*n + 90. Let i be r(0). Is ((-6243)/(-15))/(6/i) a composite number?
True
Let l(g) be the third derivative of 879*g**5/10 - g**3/6 + 3*g**2 - 3*g. Is l(-1) a composite number?
False
Let n = -61972 - -146351. Is n a prime number?
False
Is (-2)/24*12 + (-62370)/(-1) a prime number?
False
Let y = -145 - -142. Let z(s) = -416*s**3 + 5*s**2 - 20. Is z(y) a composite number?
False
Let i = 70 + -68. Suppose 22782 = i*g + 3292. Is g a composite number?
True
Suppose 5*v + 133997 = 9*v + 5*a, 3 = -a. Is v a prime number?
True
Let m = 176587 - 118346. Is m prime?
False
Is (-2999157)/(-315) - ((-5)/(-15) - (-5)/(-25)) composite?
False
Suppose 5*x - 15*x = -5*x. Suppose x = -2*t - 26 + 20. Is 3*t/(-9)*51 a prime number?
False
Suppose 3*d + 3*i = d - 32, 5*d + 5*i = -75. Let p be ((-40)/(-65))/(-4) + (-2)/d. Suppose 157 = n - p*n. Is n prime?
True
Is 14 - -433350 - 21/(-28)*-4 a composite number?
False
Suppose -4*c + 26496 = -5*p, 17*c + 5*p - 33075 = 12*c. Suppose 5*a = -5*y + 22865 - 6295, 2*y - c = -5*a. Is y composite?
True
Let y be (-136)/(-170) - ((-22)/10 - 1). Let n(q) = 294*q + 9. Let u be n(6). Let b = u + y. Is b a composite number?
False
Is ((-84727)/(-2))/(((-42)/(-12))/7) composite?
True
Suppose -4*t + 1838 = 5*f - 0*t, -5*f + 1828 = -t. Let i(r) = 6*r**2 + 27*r - 18. Let z be i(14). Suppose -6*u + z = -f. Is u prime?
True
Let z = -13187 - -205696. Is z a prime number?
False
Suppose -a - 2*y + 12981 = 680, 4*y = 3*a - 36903. Is a composite?
False
Let y be 6 - ((-9)/(-3) - 2). Suppose 4*k + 168 = 3*n - 433, 0 = y*n + k - 1017. Suppose -65*p + n = -64*p. Is p prime?
False
Let i = -321384 - -561413. Is i a prime number?
False
Suppose 5*f = 2*z + 355131 - 103328, 0 = -f + 3*z + 50371. Is f prime?
True
Let y = -1 + 7. Let z(w) = -w**2 + 8*w - 7. Let f be z(y). Is (698*(-1)/f)/((-8)/40) prime?
False
Suppose -116*w = -112*w - 5*k - 417851, -k - 104462 = -w. Is w prime?
True
Let n(s) = -2*s**2 - s + 1. Let z(i) = -2*i**2 - 20*i + 29. Let x(a) = -6*n(a) + z(a). Is x(6) a composite number?
True
Is (-12 + 78/6)*199209 prime?
False
Let p(k) = -115*k**2 + 7*k - 4. Let t be p(-6). Let v = -2277 - t. Is v a prime number?
False
Let w(b) = b**3 - 6*b**2 + 7*b - 4. Let k be w(5). Let r be (7/((-35)/(-99420)))/2. Suppose 12*f = k*f + r. Is f prime?
True
Let b = 97 - 101. Let p be -1*(-4 + 3/b*-4). Let c(h) = 813*h - 10. Is c(p) prime?
False
Suppose 28 = -2*m + c + 8, 3*c = 5*m + 50. Let s(a) = 3*a + 1. Let t be s(-5). Is (-5620)/(-28) - (m/t - 1) a prime number?
False
Let n(b) = 35*b. Let r be n(0). Suppose 0 = -2*v - 4*y + 7110 + 2960, 4*v - 3*y - 20195 = r. Is v a composite number?
True
Let m = 89051 + -14280. Is m a composite number?
False
Suppose 9*a = 2*c + 3*c - 216208, 0 = -3*c - 3*a + 129750. Is c a prime number?
False
Suppose -870*o = -889*o - 190. Let m(f) = f**2 + 2*f**3 + f + 5 + 2 - 3*f**3. Is m(o) prime?
True
Suppose -26 = 3*f - 3134. Let u be (0/(-509))/((-3)/(6/4)). Suppose u = 3*n + n - f. Is n composite?
True
Let v(z) = z**3 + 9*z**2 - 23*z - 5. Let o be v(3). Suppose o*h - 42*h = -839048. Is h composite?
True
Suppose -5 - 4 = 3*w. Let u be (-3)/12*((-45)/3 - w). Suppose -4*h + 777 = u*h. Is h prime?
False
Suppose 0 = 8*j + 9*j. Suppose -4*i + 16*i - 42684 = j. Is i composite?
False
Suppose -b + 45*a - 43*a = -43683, 0 = 5*b + 4*a - 218471. Is b a prime number?
True
Suppose -3*i - 2*f = -17, 0 = 4*i + 5*f - 5 - 27. Suppose 0 = h + 3*w - 4279