et p = 3912 - a. Is p prime?
True
Suppose 2*w = -2*q + 852 + 4454, 4*w - 2*q = 10624. Suppose -13*a + 28*a = -w. Let m = a + 442. Is m prime?
False
Let b(h) be the third derivative of h**5/15 - 35*h**4/24 - 37*h**3/6 - 7*h**2 - 4*h. Is b(31) composite?
True
Let p(g) = 2*g**2 - 21*g - 8. Suppose 0 = -2*q + 9*q - 77. Let k be p(q). Suppose t = 7*b - k*b + 695, -3403 = -5*t + 2*b. Is t prime?
False
Let q(m) = 99*m**2 - 5*m + 1. Let h be q(-4). Suppose -j + 3*j - c - h = 0, 3*j - 2406 = c. Is 2/(-2 - 0) - (-3 - j) a composite number?
True
Let y = 51588 + -28440. Suppose 0 = -9*t + y + 20475. Suppose -5*o + 17152 = t. Is o composite?
True
Let h(p) = 26*p - 16 - 10 - 15. Is h(14) a composite number?
True
Let g(c) = 6*c**2 - c + 1. Let z be g(-1). Suppose -z*s + 2498 + 4862 = 0. Let f = -511 + s. Is f a composite number?
False
Is 78397/88*88 - (-4 + 0) prime?
True
Suppose -a - 3*z - 72 = 0, 4*a - 62 = 5*a + z. Let y = -163 - a. Is (-6 + 1)/10*y prime?
True
Suppose 78767 = -7*z + 896290. Is z a prime number?
True
Let r be 299/(-26)*-1*1386. Suppose 2624 = 19*u - r. Is u prime?
True
Suppose 5*c - t - 474621 = 479105, -2 = 2*t. Is c a composite number?
True
Suppose 0 = -3*r + 5*h + 43, -13 = -r - 2*r - h. Suppose 14*o - r = 12*o. Suppose y - 1464 = -o*y + p, 0 = 2*y - 2*p - 738. Is y composite?
True
Let n = 92671 + -1130. Is n a composite number?
False
Let c(i) = -6678*i + 535. Is c(-29) a composite number?
False
Let o = -759 - -505. Suppose -5*i = -5*c + 2365, 2*c - i - 507 = 446. Let a = c + o. Is a prime?
False
Suppose -95 = -16*f + 11*f. Suppose -10*n = -1 - f. Is (1 - 8060/(-8))*n composite?
False
Let i = -1333 + 818. Let l = i - -9118. Is l prime?
False
Suppose 14*n - 258659 = 241547. Is n prime?
True
Suppose 3*x + 3*z - 30633 = 0, -22147 - 28908 = -5*x + 5*z. Is x a composite number?
False
Suppose -9*l = -14*l - 30. Is (6/l*1637)/(-1) prime?
True
Let d(c) = 17 + 250*c - 1496*c - 408*c. Is d(-6) composite?
False
Let w be 3/8 + (-170)/(-16). Suppose m - 3169 = 4*d, -6*m + m = 2*d - 15735. Suppose w*i - m = 4650. Is i composite?
False
Suppose 2*h - 13*u - 367307 = -10*u, -3*h + 4*u + 550963 = 0. Is h prime?
True
Suppose 4*x + 5 = 5*x. Suppose 0 = -g - x*d + 1397, g + g - d = 2816. Suppose 0 = -5*l + 2*l + g. Is l composite?
True
Let f(o) = 18 + 45 + 214 + 254*o. Is f(8) composite?
False
Let g(p) = p**3 - 2*p - 3. Let z be g(0). Let n be 1*-9*1/z. Is n/(21/10201) - (-18)/(-63) a prime number?
False
Let s(g) = 2*g**2 - 24*g - 67. Let i be (-25 + 0)*(1 + (-3)/15). Is s(i) a prime number?
True
Let i(l) = -48393*l + 3779. Is i(-6) prime?
False
Let o(b) = -70 + 7*b**2 - 7*b**2 + 9*b**2 - 16*b. Is o(-18) composite?
True
Is 500238/3*88/48 composite?
True
Let h(y) = y**3 + y**2 + 5*y + 6405. Let j be h(0). Let b = j + -4538. Is b prime?
True
Let b(o) = 11 - 15 + 97*o + 4. Let n be b(-1). Let p = n - -166. Is p a prime number?
False
Let m = 86235 - 35036. Is m composite?
False
Suppose 552*j - 833692 = 436*j. Is j a composite number?
False
Let p = 2427 + -692. Is p a prime number?
False
Let p(n) = -2*n**2 - 6*n + 22. Let i be p(-5). Suppose -4*l = -i*w - 30522, -6*l + 9*l - 22891 = 2*w. Is l prime?
False
Let j(v) = 419*v**2 + 29*v - 75. Let d be j(3). Suppose 0 = 2*b + u - d, b - 2566 = -u - 676. Is b composite?
True
Let h = 154057 - -45588. Is h composite?
True
Let z be 4701/(-4)*96/(48/(-6)). Suppose 6*r = z + 9519. Is r a composite number?
True
Let h be 14 - ((-88)/11 + -3401). Let v(q) = 8*q**2 - 4*q - 1. Let x be v(3). Suppose 56*p - x*p = -h. Is p prime?
False
Let z = 20317 + 29512. Is z a composite number?
True
Let t be 1628988/868 - (-2)/7. Let b = t + 7362. Is b a prime number?
True
Is (-2)/4*(-140903 - 155) a composite number?
False
Suppose 42 = -9*w + 11*w. Suppose -26*i + w*i = -8465. Is i a composite number?
False
Suppose 4*b = 2*n - 166034, -3*b + 29860 = -n + 112876. Is n composite?
True
Let g = -68614 - -186983. Is g a composite number?
False
Is (200373/5)/(2/10) a composite number?
True
Suppose 11*u - 36*u = 14*u - 1729221. Is u a prime number?
False
Let o be -6*(81/(-18))/9. Suppose -o*w + 11099 = 4*l, 7*w = 3*w + 20. Is l a composite number?
True
Let b = -1707 - -1794. Is b composite?
True
Suppose -2*q - o + 28728 = o, 0 = 5*q - 4*o - 71838. Suppose -4*a - 3394 + q = 0. Is a composite?
True
Let i = 3142 + -1017. Suppose -2*c - 5*y + i = 0, -3*y = 5 - 2. Suppose -c - 1360 = -5*o. Is o composite?
True
Suppose 15*t + 1001697 - 1014263 = 4461349. Is t a prime number?
True
Is (10/25)/((-2)/(-91505)) a composite number?
False
Suppose 7*j = -23 + 65. Suppose -3*z - 4*a + 1522 = -j*z, 0 = 2*a - 2. Let l = 5661 + z. Is l composite?
True
Suppose 522 = 13*t - 42*t. Is -1 + (-19215)/t - (-1)/2 prime?
False
Suppose 3*n - u = -9407, -3*u = 2 - 8. Let w be 2/((-3137)/n - 1). Suppose -p + w = 4*v, p = 2*v + 4565 - 1400. Is p a composite number?
True
Suppose -8*n = 6*n - 126. Suppose 4*v + n*c - 9839 = 6*c, -2*v + c + 4927 = 0. Is v a prime number?
False
Suppose 114 = -3*k + 30. Is (-1241772)/(-49) + 8/k a composite number?
True
Suppose -3135 = 3*k - 3*d, -8 = -3*d + 7. Let c = k + 2401. Is c a prime number?
True
Let q(f) = 9*f + 70. Let n be q(-9). Is (7 - 3)*((-1206788)/16)/n composite?
False
Let p = -865185 - -452499. Is 3*p/(-243) - 2/(-18) prime?
False
Let c(f) be the first derivative of f**3/3 - 19*f**2/2 - 15*f + 15. Let o be c(20). Suppose 22 - 7 = 3*b, 0 = -3*w + o*b + 422. Is w a prime number?
True
Is 11006237/129 - (-6)/(-9) a prime number?
False
Let f be 1 - -30086 - (-1 + 2). Let l = f - 10774. Suppose -1236 = -5*x - 3*t + l, -t + 1 = 0. Is x composite?
True
Suppose -4*v + 579738 = 5*c, -463782 = -10*c + 6*c + v. Is c prime?
False
Suppose 0 = 5*l - 2*o + 31, 0 = l - 6*l - 5*o - 45. Let x(c) = -82*c**3 - 2*c**2 - 3*c + 8. Let m be x(l). Suppose 0 = 5*y + 2582 - m. Is y a prime number?
False
Suppose -5*t - t = -162. Let m = t - 23. Is m/(-6)*(-978)/4 a prime number?
True
Let s(f) = 27948*f - 2597. Is s(12) composite?
False
Let x(h) = 157*h**3 - 45*h**2 + 96*h + 35. Is x(9) composite?
True
Let k = -102 + 157. Suppose -3990 = -5*x - k. Is x composite?
False
Let f(a) = -17*a**3 - 7 - 9*a - 11 + 5*a**2 + 20*a**3. Is f(11) a composite number?
False
Suppose -2*l + 3*v + 2393 = 6*v, 0 = 3*l + 2*v - 3597. Let u = -269 - l. Let a = u + 2557. Is a a prime number?
True
Suppose -c + 429 = -4*u, 4*c - 1694 = 4*u + u. Is -2 - 0 - c*7/(-7) a composite number?
False
Let p(z) = -33*z + 26. Let j(f) = 1. Suppose 22 = 6*a - 8. Let k(q) = a*j(q) + p(q). Is k(-32) prime?
True
Let u = -263 + 385. Let m = 4457 + u. Is m composite?
True
Let q(j) = 7*j + 13 - 4*j - 10 + 714*j**2 - 12. Let u be q(3). Let f = u + -3565. Is f a composite number?
False
Let f = 568 + -563. Suppose -13950 + 2203 = -2*o - r, 5*r - 29370 = -f*o. Is o prime?
False
Suppose -4*m - 2*j - 28 = -0*j, -3*j = -4*m - 38. Let d be ((-12)/(-15))/(m/(-1120)). Suppose 0 = v - 15 - d. Is v prime?
True
Suppose 3*i + 24 = -2*i + 3*v, 2*i - 9 = -5*v. Is 8/2 + i - -90 a prime number?
False
Let s(n) = 1889*n**2 + 109*n - 69. Is s(-11) composite?
True
Suppose 4*n + 14 = 11*n. Let a be (-4)/(-10) + -237*n/(-15). Is (-23)/(a/(-28) + 1 + 0) a prime number?
False
Suppose 80 = -4*s + 4*m, 5*m = -40*s + 42*s + 55. Let w(z) = 13*z**2 + 9*z + 7. Is w(s) composite?
False
Let g(l) = 60*l - 31. Let u(r) = -3*r**3 - 5*r**2 + 1. Let v be u(-2). Suppose 0 = v*a + 1 - 16. Is g(a) a composite number?
False
Let n = -6309 + 2184. Let v = n + 15152. Is v a prime number?
True
Let f = -117332 - -175809. Is f a composite number?
False
Suppose 4*n - 12 = 0, p = -2*p + 4*n + 3004101. Is p a prime number?
False
Suppose 0 = 22*l + 34 - 78. Is 2/4*(1168 - l) prime?
False
Is (6/10)/((-16)/(-276560)) a composite number?
True
Suppose 16962 = 12*f - 32332 + 850. Is f prime?
False
Suppose 4*h + 2960 + 1388 = 0. Let g be 1068060/560 + (-3)/(-4). Let f = h + g. Is f composite?
False
Suppose 47420 = -25*a + 29*a. Suppose 3*d = 2*d + a. Is d prime?
False
Let m be (-2 + 9/6)*-22. Let p = -1 + m. Suppose -p - 6235 = -5*n. Is n a composite number?
False
Let q(t) = 30*t**3 - 4*t**2 + 14*t + 19. Is q(12) a prime number?
False
Suppose -4*j - 5*q - 4466 = 0, -2*q - 2*q = -8. Let x = 6825 - 4205. Let t = x + j. Is t composite?
True
Let s = 333 - 789. Let