**2 - 2 - 9 + 0*v**2. Let x be h(12). Let p = x - 730. Is p composite?
True
Suppose -2*j + 48 + 22 = 0. Suppose -q + 28 = -2*t + 6*t, -5*t - 2*q = -j. Let d(s) = 5*s**2 - 8*s + 2. Is d(t) composite?
False
Let x be ((-114)/(-95))/(3/25). Suppose w = -13*g + x*g + 41180, 4*w = -5*g + 68638. Is g prime?
False
Let t(c) be the second derivative of -c**5/20 + c**3/2 + 221*c**2/2 - c - 5. Is t(0) a prime number?
False
Let h(r) = -4*r**3 - 3*r**2 - 4*r - 2. Let c be h(-1). Suppose 0 = 29*s - 26*s + 3*w - 19374, -6454 = -s + c*w. Is s prime?
False
Let s be 188/12 - (3 - (-28)/(-12)). Suppose 4*k + m - s = 0, 3*k - 30 = -k + 2*m. Suppose 3 = -3*g - 4*t - 3, -5*t - k = 5*g. Is g prime?
True
Let q(p) = 74*p**2 - 25*p - 16. Suppose -y + 2*n = 5, 9*n = 5*y + 10*n - 30. Is q(y) prime?
True
Suppose 0 = -5*d + 9 + 1. Suppose -3*r + q - d*q + 5080 = 0, -8469 = -5*r - 4*q. Is r prime?
True
Let f(z) be the third derivative of -z**4/12 + 4*z**3/3 + 2*z**2. Let k be f(-4). Let a(y) = 6*y**2 + 11*y - 19. Is a(k) composite?
False
Suppose 14*l = 78*l - 14324288. Is l a prime number?
False
Let x(f) = f**2 - 3*f + 1. Suppose -s - 8 = -v - 0*s, -s = -2*v + 12. Let d be x(v). Suppose -d*j + 966 = 2*k - 6*j, 1920 = 4*k + j. Is k prime?
False
Suppose l - 27241 = 3*k, 168*l - 3*k + 27205 = 169*l. Is l composite?
True
Let w = 600992 - 366421. Is w a prime number?
True
Let s(b) = -2*b**3 - 9*b**2 + 14*b - 12. Let j be s(-6). Suppose -4*x = -j, -c + 977 = 4*x - 11492. Is c prime?
True
Suppose 2*i + 6 = -2. Let j = i + 6. Suppose -486 = -4*o + 4*p + 2758, -o + 807 = -j*p. Is o a prime number?
False
Suppose -2*i + 5*k = 3*i + 75, -2*i + k - 31 = 0. Let b(d) = 18*d + 35. Let x(h) = 29*h + 69. Let f(l) = -11*b(l) + 6*x(l). Is f(i) composite?
True
Suppose 3*g - 3173*c = -3177*c + 604179, 5*g - 3*c - 1007023 = 0. Is g a composite number?
False
Suppose -10*k - 53 + 213 = 0. Suppose 0 = k*y - 22*y + 8346. Is y composite?
True
Suppose 2*y = -4*y - 12. Let v be (3 - 8 - 1*y) + 521. Suppose -4*i - 5*d + 2124 = 0, -i + 4*d + v = 2*d. Is i composite?
True
Let j be (-1 + 0 - -3) + (-102)/(-1). Suppose -l - j = -5*o, 2*o + 2*l + l = 45. Is o a composite number?
True
Suppose -3*a + 93 = -217974. Is a composite?
False
Let a(h) = h**2 - 1. Let r(t) = -59*t**2 - 11*t + 25. Let x(s) = -a(s) - r(s). Is x(11) composite?
True
Suppose 4*l + 107934 = -h + 290944, -5*l + 3*h = -228737. Is l prime?
True
Let d(h) = 3*h**2 + 42*h + 5. Let v be d(-14). Suppose 3*l + 0*l - 6286 = -v*j, 3786 = 3*j - 3*l. Is j a prime number?
True
Is ((-3)/6)/((-6341699)/3170846 + 2) a prime number?
False
Let q = 176603 - 89862. Is q composite?
True
Let i = 459 - 459. Suppose i = 26*v - 115 - 3187. Is v prime?
True
Suppose 20*j - 21*j + 41828 = -b, -4*j + 5*b + 167309 = 0. Is j a prime number?
False
Let w(q) = 8*q + 126. Let p be w(-10). Let r(m) = 34*m + 297. Is r(p) composite?
False
Suppose 0 = 3*o + 5*f - 56391, -3*o - 94016 = -8*o + 2*f. Suppose -7*v + 3*v + 15050 = -5*r, -5*v = -r - o. Suppose -v + 1039 = -3*z. Is z prime?
True
Suppose -18*w - 7*w = 34*w - 5042789. Is w a prime number?
False
Let y(d) = -769*d - 106. Let p be y(-12). Suppose 0 = 20*r - 22*r + p. Is r a composite number?
False
Suppose 0 = 5*r + 4*i - 16, 6*r - 10*r - 5*i = -11. Suppose -47*u + r*u + 117605 = 0. Is u a composite number?
True
Let f(g) be the third derivative of -g**6/120 + g**5/4 + g**4/12 - 4*g**3 + g**2. Let q be f(15). Is (-11 + q)*(-3 + -766) a prime number?
False
Let f(y) = 33296*y**2 + 19*y + 7. Is f(-2) a prime number?
True
Suppose n - 552041 = -60689. Let b = n + -168696. Is -3*(b/(-126) - (-3)/7) a composite number?
False
Let u(h) = 2*h + 108. Let l(y) = -y. Let a(v) = 3*l(v) - u(v). Is a(-26) a composite number?
True
Suppose 0 = -t + 4*l + 27, -3*t - 3*l - 36 = -6*t. Is -1 + -1 + t/((-21)/(-4665)) prime?
True
Suppose 10805 = 24*b - 19*b. Suppose -2*p + b + 851 = 0. Suppose 11*j = 5*j + p. Is j a composite number?
False
Suppose -24*x + 472260 = 6492. Suppose -x = 36*j - 39*j. Is j prime?
True
Let k = 26657 + -17305. Suppose s - 2119 = k. Is s a composite number?
False
Let h = -25731 + 113900. Is h prime?
True
Let m be (-4 - (-15)/3) + 13. Suppose -m*d = -6*d - 24. Is 2785/(-3)*(-6 + d) a composite number?
True
Let m = -11628 - -61867. Is m a prime number?
False
Suppose -10*l + 7 = 17. Is 96/120 + l/(-5) - -3966 composite?
False
Suppose -2930 = -4*a - 4*m + m, -a - 2*m = -730. Let j = -141 + a. Is j a composite number?
False
Let a(c) = -7296*c + 2333. Is a(-5) composite?
True
Let t be (-11)/((-11)/10) + -5. Suppose t*d - 5366 - 4804 = 0. Suppose 0 = -8*v + 14*v - d. Is v a prime number?
False
Let m be (-2 - -5) + -3 - -40. Let h = -39 + m. Is ((-33)/9)/(h/(-87)) a prime number?
False
Suppose -5*b - 4*m + 130 = -5*m, -25 = -5*m. Is 6/b + (-158356)/(-36) composite?
True
Suppose 11*i - 145*i = -41261146. Is i a prime number?
True
Let t(b) = -7*b**3 - 37*b**2 + 23*b - 52. Let o be t(-32). Is o/36 + (-4)/18 composite?
False
Suppose -6*s + 81*s - 15933845 = -10*s. Is s composite?
True
Let s = -2169 + 9886. Is s a composite number?
False
Let b = -10 - -15. Let l(d) = -29 + 36 + 5*d**2 + d**3 + 8*d**2 - b*d. Is l(-12) prime?
True
Suppose -4*y + 720 = -2344. Let i = -251 + y. Is (i/5*-1)/(-1) a prime number?
True
Let y(t) = 240*t**2 + 41*t - 853. Is y(-44) composite?
False
Let k(h) = 9*h**2 - h - h**2 - 3 - 3*h**2. Let f be k(4). Suppose 0 = -5*j + f + 2. Is j prime?
False
Let y(c) = 2*c**3 - 3*c**2 - 4*c - 30. Let h be y(21). Let w = h + -8326. Is w prime?
False
Suppose -13439 = -8*q + 135801. Let a = q - 10718. Is a composite?
False
Let r(d) = -78*d**2 - d + 1. Let w be 28/16*(-2 - 2). Let g be r(w). Is (-8)/20 - g/10 prime?
False
Let h(w) = -3*w - 33. Let s be h(-11). Suppose s = 65*b - 43*b - 106942. Is b a composite number?
False
Let l = 115502 - -35099. Is l a composite number?
True
Let l(c) = c**3 + 16*c**2 + 33*c - 409. Is l(27) prime?
False
Let x = 295863 + -140816. Is x composite?
False
Let h(y) = 36*y**2 + 2*y - 41. Is h(-6) composite?
True
Let i be (-66)/(-14) - 5 - 290/14. Let m be (i/35)/((-2)/20). Suppose -4*v = -m*v + 1346. Is v composite?
False
Let z(f) = 121*f + 47893. Is z(0) composite?
True
Let r(u) = 137*u**2 - 32*u + 25. Is r(-21) composite?
True
Suppose -358*o + 363*o - 30 = 0. Suppose -5*h + 7032 = 2*c, -c = -10*h + o*h - 3503. Is c a prime number?
True
Suppose -2*i - 2*p + 8380 = 0, p = 3 - 1. Is -5 + 8 + (i + 1 - -1) a composite number?
True
Let w = 25395 + -15771. Let j be 9/(-12)*w/(-6). Is -4 - 0 - j/(-3) a prime number?
True
Let c = -105 + 114. Suppose -3*w + c = -3. Is (6/w)/(-4 + 14230/3556) a composite number?
True
Suppose w - 11 = -w + 5*r, 3*w + 3*r = 27. Suppose -2*k = -w*k + 72. Is (-1933)/(-2) - ((-12)/2)/k a prime number?
True
Suppose -2*a - 5*h + 3115557 = 0, 4*a + 6*h - 2*h = 6231084. Suppose 246521 = -13*s + a. Is s prime?
False
Let y = 34 + -34. Suppose 10*q - 282940 + 96570 = y. Is q prime?
True
Suppose -32*b + 28*b = 212572. Let y = -25532 - b. Is y a prime number?
True
Let h = 2879331 - 2005902. Is h a composite number?
True
Let f(d) = -d**3 - 6*d**2 - 4*d + 8. Let z be f(-5). Let m be (-14)/3 - z*2/18. Is 11634/30 + m - 1/(-5) a prime number?
True
Let t(l) = -3100*l**3 - 2*l**2 - 12*l - 25. Let j be 11 - 7 - (-6)/(-1). Is t(j) a prime number?
False
Let k be 2/(-8) - 255/(-12). Suppose j - k + 26 = 0. Is ((-12)/72 + j/(-12))*2636 a prime number?
True
Suppose 8*i - w + 82 = 10*i, -2*i + 4*w + 72 = 0. Is 2/20 + 555636/i prime?
False
Let l be ((-331212)/(-11))/1 - 6/33. Let k = l + -16699. Is k composite?
False
Let m be (-342)/27 - 2/6. Let y(i) = 9*i**2 + i - 19. Let q(w) = 11*w**2 - 22. Let c(u) = 5*q(u) - 6*y(u). Is c(m) prime?
True
Suppose 122*c = 114*c + 16. Is (28734/(-9))/((c/3)/(-1)) prime?
True
Let l(j) = -3*j**2 - 9411. Let x(b) = -2*b**2 - 4706. Let r(n) = -3*l(n) + 5*x(n). Is r(0) a prime number?
True
Let y(v) be the third derivative of 3*v**4/8 + 3409*v**3/6 + 63*v**2. Is y(0) a prime number?
False
Suppose 13*y + 359 = -96. Is (-3)/21 + (-1 - 223515/y) prime?
False
Let x(z) = 2*z**2 - 17*z + 49. Let r be x(5). Suppose -31*j + r*j = -6749. Is j prime?
True
Let q(v) = 9*v**3 + 7*v**2 - 3. Let s(t) = -t - 1. Let g(d) = -q(d) + 6*s(d). Let p be g(6). Is (18/(-15))/(6/p) composite?
True
L