975 + -1053. Is (m/4)/((1 - 9)/(-112)) composite?
True
Let w(v) be the second derivative of 43*v**4/4 - v**3 - 3*v**2/2 - 12*v. Let t be w(-5). Let g = t + -1891. Is g a prime number?
True
Let h = 78195 - -202548. Is h composite?
True
Suppose 17*i = 763759 + 1005720. Is i a prime number?
True
Let n(u) be the first derivative of u**2 + 16*u + 12. Let y be n(-7). Suppose -423 = -3*q - 3*t, -3*t = y*t. Is q a composite number?
True
Suppose 4*r + 71 = 4*v + 159, 4*r - 74 = -3*v. Suppose 40*t = r*t + 191860. Is t composite?
True
Suppose 0 = -3*z - 4*o + 15, -5*z + 5*o + 10 = -3*z. Suppose 171 = z*u + 4*u. Suppose -u*j + 6201 = 634. Is j a prime number?
True
Suppose -13*l = -18*l + 3*d + 1295662, 3*l - 777404 = -5*d. Is l prime?
False
Suppose 4*u + 10*g = 15*g + 128539, -2*g + 10 = 0. Is u a composite number?
False
Let t(f) = -9 - 2*f + 12*f + f**2 + 28. Let j be t(-4). Let s(w) = 72*w**2 - 6*w - 1. Is s(j) a composite number?
True
Let i(k) = -k**2 + k - 1. Let x be i(1). Let j be (8/(-6) - x)*0. Suppose -w = -o - 123 - 136, j = 4*w + 2*o - 1036. Is w prime?
False
Let w = 74 + -69. Suppose -11*m + 11504 = w*m. Is m a composite number?
False
Suppose -2854722 = -180*u + 11112018. Is u a prime number?
False
Let q(y) = 4*y**3 - 29*y**2 + 16*y - 190. Is q(14) a composite number?
True
Suppose -39 - 46 = 5*n. Let p(b) = -98*b + 3. Let i be p(n). Let k = i - 998. Is k a prime number?
False
Let x = -2 - -6. Suppose 0 = -4*o + 8*u - 3*u + 30, 1 = o + 2*u. Suppose 889 = o*c - x*c. Is c a composite number?
True
Let z(g) be the third derivative of 11*g**6/720 - 3*g**5/40 - 13*g**4/8 + 4*g**2. Let i(m) be the second derivative of z(m). Is i(8) a composite number?
False
Let f be (-492)/8*(-4 - (3 + -35)). Let q = f + 2521. Is q composite?
True
Suppose 6*z - 78 = 3*z. Suppose -z*j - 5931 = -29*j. Suppose 0 = 3*t + t + u - j, t + 5*u - 518 = 0. Is t a composite number?
True
Suppose 5*d - 14400 = -5*i + 1940, 0 = 3*d + 3. Let h = i + 102. Is h a composite number?
False
Suppose -8*f + 8873 = 2*w - 11573, -w + 2*f + 10199 = 0. Is w a prime number?
False
Suppose 7*k = -j + 884549, -k + 3053189 = 4*j - 485115. Is j a composite number?
True
Suppose -9*x = -6*x - 3. Is ((-1537)/(-5) + 2/(-5))/x a prime number?
True
Let n(m) = m**3 - 6*m**2 + 5*m - 3. Let b be n(4). Let f(r) = -r**2 - 15*r + 2. Let y be f(b). Suppose 2*l - 7*l + 5337 = -y*v, -2*l = -3*v - 2137. Is l prime?
False
Let u be (56/(-35) + 2)*-30. Let c(k) = 34*k**2 + 24*k + 13. Is c(u) a composite number?
False
Suppose -2*y = 3*y + 5*x - 13640, 2*y - 3*x - 5476 = 0. Suppose -6*k = -2*k - y. Is k composite?
False
Suppose -211 - 166 = -u + 5*r, -4*u + 1383 = 5*r. Suppose -5*q + 235 = -5*m, -m + 131 = 3*q + m. Let v = u - q. Is v a prime number?
True
Let y = -44 - -49. Suppose y*t = 6*t - 407. Is t composite?
True
Is 6474674/1243 + (-1)/(-11) a prime number?
True
Let f(l) = 3*l**3 + 2*l**2 - 2*l - 5171. Let r(i) = 5*i**3 + 3*i**2 - 2*i - 5171. Let t(d) = -3*f(d) + 2*r(d). Is t(0) prime?
True
Let v be (-22612)/(-6) + 1/3. Let k be (2 - 510/4)/((-19)/(-380)). Let b = v + k. Is b composite?
False
Let d = 237 - 161. Let s be 30569/99 - ((-10)/9)/5. Let f = s - d. Is f composite?
False
Suppose o = -0*o + 2, 0 = -5*z - 4*o - 5702. Let k = -507 - z. Is k composite?
True
Is (-459)/6426 - 5016286/(-28) a composite number?
True
Suppose 4*n = y - 533135, 0 = 2*y - 36*n + 32*n - 1066266. Is y a prime number?
False
Is 7433767/(-165)*-1 + (-8)/60 a composite number?
False
Suppose 2*t + 53925 = u, 2*u - 5*u + 2*t + 161787 = 0. Is u composite?
True
Suppose -y + 3*d = 12, 0 = -4*y + 3*d - 7*d. Let s(l) = 2369*l**2 - 15*l - 17. Is s(y) a composite number?
True
Suppose -15*p = -9*p - 18. Suppose -7551 = -c - 2*y, -p*c + 20988 = 2*y - 1685. Is c composite?
False
Let f = -66 - -88. Suppose 4*d + 4*u = -20, 4*d - 2 = -3*u - f. Is (14/d)/((-28)/3710) prime?
False
Let q be (-42)/63 - (-4)/6. Suppose 8 = -g + 5*g - 4*l, -3*l + 4 = 2*g. Is g/((-8)/(-988) + q) composite?
True
Is ((2 - -30194) + ((-12)/2)/(-6))/1 a composite number?
False
Suppose -159*n + 9779962 = -44*n + 3673347. Is n a prime number?
True
Let o(z) = -z**2 - 11*z + 19. Let t be o(-6). Let s = t + -73. Is s/96 + (-2986)/(-8) composite?
False
Is -5 + 8 + -13 + (-8 - -635599) a prime number?
False
Let o be (35/(-25) - -1) + 4/10. Is 5199/(-12)*(-11 - (-7 - o)) composite?
False
Let n(t) = 2*t**2 + 14*t - 10. Let j be n(-8). Suppose -f + j*f - 310 = 0. Is f composite?
True
Let v be -2*((-36)/8)/3. Suppose -8*a = -11*a. Suppose a = -v*b + b + 586. Is b a prime number?
True
Is (57593 - 6)*8 - (7/1)/(-7) a composite number?
False
Suppose 5*k + 183 + 92 = 0. Let w = -61 - k. Let s(t) = -10*t**3 - 2*t**2 - 5*t - 19. Is s(w) composite?
False
Let h(t) = 3*t**3 + 14*t**2 - 6*t + 2. Let b be h(-5). Suppose -31451 = -b*p + 8708. Is p a composite number?
False
Suppose 42*y = 14189 + 14203. Let x be (-257)/((2 - 1) + -2). Let n = y - x. Is n a prime number?
True
Let s(o) = -401659*o + 4. Is s(-1) a prime number?
False
Suppose -4*q + 5*t = -3065626, q - 635648 - 130745 = -t. Is q a prime number?
True
Let w = 23720 + -36176. Is -8 + (4 - w - 9) a prime number?
False
Let v = -233 - -815. Suppose -v = 5*d - 4*i, 5*d - 228 = -4*i - 786. Is d/(-4)*((-40)/(-3) + -2) prime?
False
Let p = 53531 + 119270. Is p prime?
True
Suppose -38*x + 50*x - 29*x = -13473095. Is x composite?
True
Let g be (-16)/(-20)*(-8 + 3). Is (72/45)/g*(-10870)/4 composite?
False
Let j = 48 + 283. Let u = j - -556. Is u prime?
True
Let d(y) = -614*y**3 + 2*y**2 - 45*y - 335. Is d(-8) prime?
False
Suppose 99*y = 94*y. Suppose -2*r - 4*i - 19 - 29 = y, r + i = -23. Is (-4)/r + 4712/341 a composite number?
True
Is ((-8)/(-20))/((-92)/(-3917590)) a composite number?
False
Let n = -634 - -640. Is 284/(-213) + 29462/n composite?
False
Let c = 28375 + 104458. Is c composite?
False
Is (26/(-6) - (3 - 7))*-280569 composite?
False
Let i(h) = 15*h**2 - 52*h + 568. Is i(23) a prime number?
True
Let f = 1797 - 2538. Suppose 3452 = 8*v + 15612. Let c = f - v. Is c a prime number?
False
Let c be ((-16)/(-24))/((-10)/(-387915)). Let p = c - 14196. Is p prime?
False
Let s(t) = -6*t**3 + 20*t**2 + 49*t - 5. Is s(-14) composite?
True
Suppose -1927 = -5*r + 2653. Suppose 644 = -m + 5*y + 11, 0 = -2*m - y - 1244. Let k = m + r. Is k composite?
False
Let k be ((-675)/(-4))/(-9)*-20. Let d = k - 137. Is d/4 - (-1 - 9/(-6)) composite?
False
Suppose -34*q - 36360 = -36*q. Suppose -14411 = -y - 4*u, 0 = 2*y + 4*u - q - 10634. Suppose -m + y = 4418. Is m a prime number?
False
Suppose 59 = -4*q + 3*v + 778, 0 = 2*v + 10. Suppose n - 2344 = -n. Suppose 4*x - n = q. Is x composite?
False
Let f = -743 - -754. Let a(i) = 8*i**3 + 15*i**2 - 7*i + 3. Is a(f) a composite number?
True
Suppose 31*k - 119 = 24*k. Is k*6 - 17/(-17) a prime number?
True
Let q(f) = 12*f**3 - 4*f**2 - 18*f + 9. Let w(z) = -10*z**2 + 5*z + 17. Let i be w(-3). Let g = 93 + i. Is q(g) composite?
False
Suppose 0 = -a + 4*o + 5587963, 3*a + 16*o = 13*o + 16763859. Is a a prime number?
False
Let o(t) = 185*t**2 - 6*t - 78. Let s = -489 - -482. Is o(s) composite?
False
Suppose 4*s - 2876 = -4*q, 4*q = -3*s - q + 2163. Let j = s - 303. Is j composite?
True
Suppose -7*o + 10 + 39 = 0. Suppose 5757 = -o*z + 1676. Let b = z - -1140. Is b a prime number?
True
Let a(n) = 24*n**2 + 16*n - 7. Let h(c) = -c**2 + c. Let m(o) = a(o) - 2*h(o). Is m(-10) a prime number?
False
Suppose 0 = -4*d - 4*y - 4, 5*d - 2*y = -3*y - 17. Let v(h) = 25*h**2 + 7*h + 4. Let w be v(d). Is (w/(-24))/(1/(-9)) a composite number?
True
Let c = -36337 - -62490. Is c composite?
False
Suppose 0 = 5*i - i - 2444. Let s = i - 59. Let f = s + -343. Is f a prime number?
False
Let b(f) = -177349*f**3 + 76*f**2 + 67*f - 9. Is b(-1) a composite number?
True
Suppose 2*o - 226260 = -2*o - 4*k, k = -4. Is o composite?
False
Suppose 4*m - 3031 = -19*d + 14*d, -5*d = 5*m - 3030. Suppose 0 = -5*u + 5*x + 1895, -530 = -3*u - x + d. Is u a composite number?
False
Let s(n) = 57*n**2 + 35*n + 8. Let v be s(-9). Let i = v - -861. Is i a prime number?
True
Is (-304)/(-1672) - 1381/22*-1906 a prime number?
False
Let c(t) = 3*t**3 - 26*t**2 - 16*t - 16. Let p be c(18). Let n = p + -514. Is n a composite number?
True
Let r(z) = z**3 - 30*z**2 + 