667 = n*v + 2*v. Is q a composite number?
True
Let o be (-708)/(0 - 4) + 0. Let c = o - -82. Is c prime?
False
Let b(i) = -215*i + 12. Is b(-5) prime?
True
Suppose -81 - 3 = -3*n. Let r be (3 - 132/n)*-7. Is ((-422)/(-4))/(6/r) a prime number?
True
Let l = -466 - -29204. Is l prime?
False
Suppose -3*l = -5*t + 6310, -t + 824 = -2*l - 445. Is t a composite number?
False
Suppose s - 4*t + 4 - 5 = 0, s + 4*t - 9 = 0. Suppose -4*w = 4*i + 524, -s*i - 663 = -6*w + 3*w. Is (-2 - -4) + -1 - i a composite number?
True
Suppose -a + 2*s = 6*s - 57909, -4*s + 289625 = 5*a. Is a composite?
True
Suppose -6996 = -2*h - 4*h. Suppose b - h = -b. Is b a composite number?
True
Suppose -5*s = -2*h - 7*s + 7690, -11519 = -3*h + s. Let k = h + -620. Is k composite?
False
Let z = 73311 + -34032. Is z prime?
False
Let m be -1 + 2/((-6)/(-15)). Is (-4)/(96/(-6438))*m a composite number?
True
Suppose -5*c + 13 = 5*n - 17, 5*c - 5*n = 0. Let t be c/(0 - (2 + -3)). Suppose -m + 65 = t*o, 2*o = -3*o + 10. Is m composite?
False
Let c(t) = 17*t + 3. Let u be c(6). Suppose -2*z + 4*s = 0, -5*z + 0*s - 3*s = -26. Suppose -109 = -3*r + z*q, -2*r = -5*r + 3*q + u. Is r a composite number?
False
Suppose -c + 1204 = 154. Suppose -5*z + 3335 = -c. Is z a composite number?
False
Suppose 17762 = 5*t - 203. Is t composite?
False
Let i(q) = q**2 - 3*q - 1. Let r be i(4). Let z(w) = 43*w + 2. Let l be z(r). Let d = l - 16. Is d prime?
False
Let s(w) = -31*w - 15. Let l be s(-2). Let t = -22 + l. Is t composite?
True
Let h(w) = 4*w**2 - 16*w + 8. Let y(o) = -2*o**2 + 8*o - 4. Let b(p) = -4*h(p) - 7*y(p). Let v be b(3). Suppose -21 = -v*s + 277. Is s a prime number?
True
Let y be -4*(-1)/14 - 234/(-63). Suppose 0 = y*o + 4*o - 7624. Is o composite?
False
Suppose 6385 = -53*j + 58*j. Is j a composite number?
False
Suppose c = g + g - 519, c = -4*g + 1023. Is g a composite number?
False
Let v = -1474 + 4285. Is v prime?
False
Let v be (2/(-3))/((-4)/18). Suppose -2*q - v*h + 19 = 0, h + 2*h = -q + 17. Suppose q*o + 575 = 7*o. Is o a composite number?
True
Suppose g - 2371 = 3*w, -2*w + 4318 = 5*g - 7503. Let q = -900 + g. Suppose r - 3*r + 586 = -4*i, -5*r = -i - q. Is r a composite number?
False
Let l = 747 + -46. Is l a composite number?
False
Let m be 20/90 - (-68)/18. Suppose 0 = -4*v + 5*t + 1303 + 554, 1850 = m*v + 2*t. Is v a composite number?
False
Suppose -56 = -4*g - 36. Is (-2 + g)/(1/19) a composite number?
True
Let d(a) = 2*a**2 - 25*a + 112. Is d(33) prime?
False
Let g(w) = 423*w**3 - 2*w**2 - 5. Suppose 0 = -s - 0*s + 2. Is g(s) a composite number?
False
Let g = 33095 + -18952. Is g composite?
False
Is (-39 - 0 - 2)/((-13)/12961) prime?
False
Suppose 2*y - 6*y = -36. Suppose -y - 3 = -3*b. Let d = 30 + b. Is d a prime number?
False
Let a = -4998 - -13401. Is a a prime number?
False
Let o(w) = 2*w - 6 + 5*w**2 - 6 - 4*w**2. Let g be o(-5). Is (326/6*g)/1 prime?
True
Let m(y) be the third derivative of 13*y**5/4 + y**4/6 - y**3/6 - 16*y**2. Is m(2) a composite number?
False
Let v(s) = -2*s**3 - 14*s**2 + s + 11. Let l be v(-7). Is 3/(-4) - ((-10555)/l + -3) composite?
True
Let j(i) = -111*i - 76. Is j(-9) prime?
False
Let a(f) = f**2 - 15*f + 17. Let u be a(14). Let m = 5 - u. Is 237/(-9)*(-6)/m prime?
True
Suppose -y + 5 = 5*z - 0, 3*y = 4*z - 23. Suppose 5*m + 2277 = -3*w, -m - 1 = -z*w + 444. Let k = m - -664. Is k prime?
True
Let v(t) = 10*t**2 - 3*t - 30. Let q be v(8). Suppose -3*p + 5*p = q. Is p composite?
False
Let o = -58 - -58. Suppose o*l = -4*l + 14876. Is l a prime number?
True
Suppose 3*k - 9788 = -b, -2*b + 9787 = 2*k + k. Is k composite?
True
Suppose -367*x - 8302 = -374*x. Is x a composite number?
True
Let q(x) = 3*x**2 - 3*x - 2. Let m = -7 + 7. Suppose 4*g - z + 18 = m, 0 = g + 2*z - 7*z + 14. Is q(g) a composite number?
True
Let r be (-10)/(((-40)/(-268))/(-5)). Suppose u = 2*u - r. Suppose u = 5*w - 0*w. Is w a prime number?
True
Let v(c) = 5*c + 154. Let o be v(0). Suppose -5*d + 16 = -o. Is d a prime number?
False
Suppose 3*p + 3*s = 0, -2*p + 13 + 12 = -3*s. Suppose -3*x = -5*x + j + 4, p*x - j = 16. Suppose 1324 + 1480 = x*l. Is l prime?
True
Let p(q) be the first derivative of 20*q**3/3 + 5*q**2/2 - 4*q + 2. Let a = -6 - -9. Is p(a) a prime number?
True
Suppose -r + 4 = 3*i, 3*i = -4*r - 4 - 7. Let v(w) = -2*w - 10. Let s be v(r). Suppose 4*z - 209 - 963 = s. Is z composite?
False
Is (-242872)/(-40) - (-12)/(-15) composite?
True
Let c(y) be the first derivative of -3*y**4/2 + y**3/3 + 5*y**2/2 + 3*y + 128. Suppose 8 + 1 = -3*z. Is c(z) prime?
False
Let v = -4 + 3. Let d(p) = 406*p**3 + p**2 - 1. Let m be d(v). Is (-7)/2*m/7 a prime number?
False
Let k = 4399 - 2168. Is k a composite number?
True
Let x be ((-8)/6)/((-8)/12). Let u be (377/(-2))/(x/12). Is (-5)/10 + u/(-2) prime?
False
Is (110632/(-40))/((-3)/15) a composite number?
False
Let f = 454 + -261. Let q = 522 - f. Is q a composite number?
True
Suppose 109*d - 116*d = -12299. Is d a composite number?
True
Suppose -30*i - 5*c = -25*i - 9580, -4*i = -4*c - 7688. Is i composite?
True
Let f(c) = -66*c + 1 + 1 + 44*c - 6. Let r be f(-6). Is (3 - (-4)/(-1)) + r a prime number?
True
Suppose -70*c - 17798 = -72*c. Is c a composite number?
True
Suppose -4*d - 4 = 4*t, -3*t + 0*d = 5*d + 13. Let a(b) = 2*b - 1. Let k be a(t). Let m(r) = 4*r**2 - 5*r + 8. Is m(k) prime?
False
Is (72/9 + -1267)/(-2 - -1) prime?
True
Suppose 2*m = m - 21. Let z(u) = u**2 + 16*u - 31. Is z(m) a composite number?
True
Let l(h) = -10*h**2 - 4*h + 2. Let a be l(-3). Let c = -9 - a. Is c a composite number?
False
Let h = -1782 - 91. Let s = h + 2828. Is s composite?
True
Suppose 0 = 2*r + 2*r + 4, w + 6 = -3*r. Is 1 + (-2 - w - -20) a composite number?
True
Is 9*(-4105)/(-75) + 2/5 a prime number?
False
Suppose -4*g - 31 = 9. Let u(d) = d + 12. Let f be u(g). Is (2 - f - -20) + -1 a prime number?
True
Suppose -4*l = -4*g + 20, 2*l - 5*g + 0 = -25. Is -10*-2*(41/4 - l) prime?
False
Let s(a) = -810*a - 113. Is s(-4) a prime number?
False
Let r = 16 + -14. Suppose 5*u - 7 = -r*w, -5*w - 13 + 42 = u. Suppose -w*x - 506 = -8*x. Is x a composite number?
True
Let u be (-274)/(-5) + 6/30. Suppose 3*f = -u - 53. Let k = 155 - f. Is k a prime number?
True
Suppose 0*b = b - 15. Suppose x = b - 7. Suppose t + 3*t - x = 0. Is t composite?
False
Let l(m) = 123*m + 4. Let z = -6 + 9. Is l(z) a composite number?
False
Let c be (6/(-9))/(2/36). Is 2 + 2*c/8 - -212 composite?
False
Suppose -q = q - 10. Suppose y = -2*p + 8 - q, -3*y - 3 = 0. Is p + -2 + 196 + 3 prime?
True
Let m(p) = 101*p**2 + 17*p - 147. Is m(10) a composite number?
True
Let m = 21572 + -13873. Is m a composite number?
False
Let n(f) = -5*f**3 - 4*f**2 - 2*f - 2. Let b be n(4). Let h be (12/3)/((-4)/b). Let x = -231 + h. Is x a prime number?
True
Let l(s) = -33*s**3 + 15*s**2 - 6*s + 17. Is l(-5) composite?
False
Let g = 3293 - 1293. Let d = g - 1157. Is d a composite number?
True
Suppose 569963 = 71*q - 48*q. Is q a prime number?
True
Let g(j) = j**3 - 34*j**2 - 40*j - 22. Is g(37) prime?
False
Let h = -84 - -86. Is (-1 + 1 + h)/((-46)/(-5083)) a composite number?
True
Let u = -12 - -17. Suppose 0 = -u*o + 9*o - 364. Is o a prime number?
False
Suppose -3*j + 61 = -4*h - 66, -2*j = -5*h - 87. Suppose -j = -4*p + 79. Let w = p - 8. Is w composite?
True
Let l(y) = -3*y - 1. Let i be l(-1). Let z(k) = 0 - 1113*k + i + 198*k - 26*k. Is z(-1) a composite number?
True
Suppose k = -u + 7927, 0*u + 15 = -5*u. Suppose -a = -2*v + a + k, -11885 = -3*v + 5*a. Suppose -v = -5*n + 1335. Is n a composite number?
False
Suppose h + 4*z - 19450 - 41873 = 0, -3*h + z = -183995. Is h a composite number?
False
Let y be (-2)/(-4) - (-35)/10. Suppose 5*d = -0*d - 4*o + 23, y*d + 5*o = 22. Suppose -d*m = -m - 682. Is m a prime number?
False
Let y(d) = -d + 1. Let q be y(2). Let s(j) = 9*j**3 - 3*j**2 + 1. Let b(h) = -h**2. Let r(n) = q*s(n) + 2*b(n). Is r(-3) composite?
False
Let t(u) = -165*u**3 + 2*u**2 + 40*u + 2. Is t(-5) prime?
True
Let m be (-2380)/(-252) - 4/9. Let o(l) = 149*l + 26. Is o(m) a prime number?
True
Suppose 227 + 597 = 8*z. Is z composite?
False
Let b = 10 + -3. Suppose -5*d + b*d = 7278. Is d composite?
True
Let k = 4 + -2. Suppose 0 = -k*h + h. Suppose -3*x + 27 = -h*x. 