True
Let v be 6 - 4 - (-2 + 2). Suppose -3*o + 18 = 3*p, 0 - 4 = -v*p. Suppose -y - r + 440 = -0*r, -2*y + o*r + 910 = 0. Is y a composite number?
True
Let p be (-10)/2*(6 - 7). Let v(u) = 5*u**3 - 3*u**2 - 2*u - 8. Let c be v(p). Is (-5)/((-60)/c)*3 prime?
False
Let w(k) = -2*k**3 + 4*k**2 - 3*k - 3. Let b be w(4). Let q = -26 - b. Is q a prime number?
True
Suppose -5*s + 3*s + 4439 = 5*z, -s = -3*z + 2659. Is z a composite number?
False
Let j(v) = 2*v**3 - 3*v**2 + 10*v - 3. Let i(s) = s**3 + s**2 + s - 1. Let y(w) = -3*i(w) + j(w). Let o be y(-7). Is (-4 - o) + (305 - 6) prime?
False
Is (-7)/(-35) - 1017776/(-20) composite?
True
Suppose 33831 = 3*u - 4*m, 3*m = 5*m + 6. Is u composite?
False
Let y(x) = -x - 9. Let q be y(-9). Suppose 2*l - 190 = 2*t, 3*l - 5*t + q*t - 281 = 0. Is l a composite number?
False
Suppose 796944 = 64*q - 16*q. Is q composite?
False
Is (-99001 - -8)*(-10 - -5 - -4) a composite number?
False
Suppose -2*v + 3*v = -25. Let d = 39 + v. Is d a composite number?
True
Let k be -1 + (-6)/(-3) + 51. Let t = k - -19. Is t prime?
True
Suppose 0 = -3*u + 15, -4*u = -r - 7*u + 10816. Is r prime?
False
Let j(y) = -y**2 - 5*y + 11. Let z be j(-6). Suppose -2051 = 2*g - 6*g - r, -z*r - 1567 = -3*g. Is g composite?
True
Let k(t) = 6*t**2 - 19*t + 15. Let x be k(14). Let u = x + -544. Is u prime?
False
Suppose n = -0*n + y - 119, 5*n + 592 = 2*y. Let z = n + 252. Is z a composite number?
True
Suppose -17*c + 7428 = -14*c. Let d = c - 1038. Is d a composite number?
True
Let l(c) = 12*c**2 - 16*c - 19. Is l(-12) prime?
True
Let p(q) = -26*q**2 - 2*q - 7. Let b be ((-16)/6)/((-16)/(-24)). Let u(a) = 25*a**2 + 2*a + 7. Let r(h) = b*p(h) - 3*u(h). Is r(4) a prime number?
True
Let f(a) = 7*a**2 + a + 3. Let c be 3/(-4)*20/(-3). Suppose 2*w + 15 = c*w. Is f(w) a prime number?
False
Let q be 1720/(-50) - (-6)/(-10). Let j be (-154)/(-4)*(-60)/q. Let t = -8 + j. Is t a composite number?
True
Let f = -10730 - -16191. Is f a prime number?
False
Suppose -2 = 2*s - 10. Suppose -s*z + 1670 = 4*d - 9*z, 0 = d - 3*z - 421. Let c = d - 246. Is c prime?
False
Let p = -18 - -26. Let f(s) = -11 - p*s + 6*s + 6*s. Is f(16) a prime number?
True
Let m(v) be the third derivative of 2*v**5/15 + v**4/12 + 7*v**3/6 - 17*v**2. Is m(-4) a composite number?
False
Suppose 10*b - 17032 = 2*b. Is b prime?
True
Is (-30986)/9*423/(-94) a prime number?
True
Is (-2)/(-17) + (-841137)/(-51) a composite number?
False
Is (-28548)/(-12) + 5/(-20)*-28 prime?
False
Let q be 60/(-12)*1368/10. Let o = q + 1075. Is o a prime number?
False
Suppose 109181 = 21*y + 2*y. Is y prime?
False
Let l(s) = -s + 8. Let u be l(3). Suppose -16 = 4*n - u*k - 46, 3*n = 4*k + 22. Is n prime?
False
Let r = 4 - -2. Suppose -3*j = -3*h + 15, -2*j = h - r*h + 16. Suppose 2*f - 2*p = h*p + 182, f - 88 = 3*p. Is f a prime number?
True
Let b = 42156 + 3581. Is b a composite number?
False
Let x be 15*(3 + -4) + 13 + -16. Let l be (2 - 0 - -399)/1. Let g = l - x. Is g composite?
False
Let g(u) = 36*u - 16. Let b be g(7). Suppose f - 339 = b. Let i = -316 + f. Is i composite?
True
Suppose 20*j - 172067 = 122693. Is j composite?
True
Suppose -4*l + 6*l = 3*m + 3317, 3312 = 2*l + 2*m. Is l a prime number?
True
Suppose -20*n = -22*n - 2*k + 10672, -5*k + 16014 = 3*n. Is n a prime number?
True
Let w = 4651 + -2783. Let z = w - 837. Is z composite?
False
Let m be (-1)/(6/15)*2. Is 1684 - (0/(-3) + m) composite?
True
Suppose 4*n + 20 = -28. Is (n/16 + 2/(-8))*-161 prime?
False
Suppose -3*p + 279 = -183. Is 15/2*p/21 composite?
True
Let f(z) = z**3 - 3*z**2 + 6*z + 3. Let o be f(5). Suppose -47*g + o = -46*g. Is g a prime number?
True
Suppose 4*x = 12 + 12. Suppose 7*m = x*m + 3. Suppose 5*b - 962 = -m*d + 143, 5*b - 1105 = -d. Is b prime?
False
Let y be (-1)/(-3) - 105/45. Let c(z) be the first derivative of 16*z**3/3 + z**2 - z - 1. Is c(y) a composite number?
False
Suppose -12193 = -4*i + 3*d, 2*d + 9146 = 3*i + d. Is i prime?
True
Suppose 0 = -y + 3*y - 4, -12873 = -5*j - 4*y. Is j prime?
False
Let w(r) = -3*r**3 - 7*r**2 + 12*r - 17. Let n(l) = 4*l**3 + 7*l**2 - 12*l + 18. Let c(j) = 4*n(j) + 5*w(j). Is c(9) a composite number?
False
Let h(s) = s**2 + s - 2. Let q be h(-2). Suppose 9*u - 12*u + 459 = q. Let r = u + -76. Is r composite?
True
Let d = 156 + 2460. Suppose 4*f = 8540 - d. Is f prime?
True
Suppose -130 = 16*p - 3*p. Suppose 0 = h + 4*h - 4*s - 642, 369 = 3*h + 3*s. Is (h/(-35))/(4/p) a prime number?
False
Let k = -4597 + 10794. Is k a prime number?
True
Let i(n) = n**3 - 4*n**2 + 9*n - 5. Let p(s) = -2*s**3 - 3*s**2 - 2*s - 2. Let w(q) = q + 9. Let z be w(-11). Let m be p(z). Is i(m) a prime number?
False
Let o = -15 + 8. Let y = -5 - o. Suppose 164 - 750 = -y*q. Is q a composite number?
False
Let i(x) = 72*x**3 + 6*x**2 + 7*x - 26. Is i(7) prime?
True
Let v = 1 + 0. Suppose -3*y - 3*n = -9, -12 = 2*y - 5*n + 10. Is -1*v*37/y a composite number?
False
Suppose 49 = 5*l - 4*i, -i + 26 = l + 2*l. Suppose 3*q = 4*k - 70, -4*q = 3*k - 2*q - 44. Let j = k - l. Is j a prime number?
True
Suppose 181108 = 96*w - 58*w. Is w a composite number?
True
Is -3*(12/(-54))/(4/34674) a prime number?
True
Let b(l) = 3 + 0*l + 6*l + 8*l. Let a be b(8). Suppose 0 = -2*r + 7*r - a. Is r a composite number?
False
Let o(s) = s**3 + 8*s**2 - 9*s + 3. Let u be o(-9). Suppose d + u*d = 40. Suppose -4*b - 228 = -d*b. Is b a prime number?
False
Suppose 27*s - 24*s - 132 = 0. Let c = s + -13. Is c composite?
False
Suppose -27782 = -5*b - 24*b. Is b prime?
False
Let n = -36 - -55. Let p = n - 15. Suppose -3*w + 647 = -p. Is w prime?
False
Let w(s) = s**3 - 7*s**2 - 2*s + 3. Let o be w(6). Let n be ((-18)/o)/(2/40). Is 1*134/(n/4) composite?
False
Let y(c) = 3*c + 23. Let o be y(-7). Let a = 2 + -3. Is (a - 2) + 50 + o a composite number?
True
Suppose 2*z + 12 = 3*s + 5*z, 3*s - 12 = -2*z. Suppose 0 = 7*j + 7 - 28. Suppose -3*r = -j*f + f + 98, -f + 49 = -s*r. Is f a composite number?
True
Let k(x) = -x**3 - 5*x**2 + 4*x - 8. Let f(w) = -w**3 + 6*w**2 - 6. Let z be f(6). Let m be k(z). Suppose -m*c = -2*c - 1226. Is c composite?
False
Let j = 0 + 0. Let d be 1 + (2 + 0 - j). Suppose -4*g - 378 = -2*z, 2*g - g = d*z - 572. Is z prime?
True
Is ((-70)/3)/2*(-135 - -132) prime?
False
Suppose 2*i + 4*p - 390 = 0, 5*i + 4*p - 995 = -p. Suppose -4*j + i = 3*w, 5*j - 2*w = 341 - 70. Is j a composite number?
False
Let w(b) = -b**2 - 10*b + 6731. Is w(0) a composite number?
True
Suppose -4*v + 0 + 7 = -z, 3*z - 15 = 0. Let x(m) = -9*m + 27*m + 35*m - v - 7. Is x(9) prime?
True
Let b = -7 + 725. Is b prime?
False
Suppose 26830 = 175*l - 165*l. Is l a prime number?
True
Let u be (18 - 16)/((-2)/841). Let i = -548 - u. Is i composite?
False
Let s(u) be the second derivative of u**4/6 - 13*u**3/6 - 17*u**2/2 + 11*u. Is s(10) prime?
True
Suppose 4*s + 5*p = 134, 4*s - s - 89 = 2*p. Let g = s - -72. Is g composite?
False
Suppose -15*h + 11 = -4. Is -2*(h - 12)*(-331)/(-2) prime?
False
Let b(z) = 2*z**3 + z**2 - z - 14. Let k be b(7). Suppose -4*a = -k - 842. Let w = a + -226. Is w a composite number?
False
Let p = -43509 + 29008. Is (-2)/1 + p/(-17) prime?
False
Let a be 7 + -11 - -7*1. Suppose -a*c = 2*h + 3, 0 = -2*c + 1 - 7. Is h*-1*(-172)/12 a prime number?
True
Suppose -4*y - 4*o = -108, o = -3*y - 3*o + 81. Let i = y - 241. Let m = -81 - i. Is m prime?
False
Suppose 9*z - 6*z = 8331. Is z a composite number?
False
Suppose -7*c + 4*c + 6 = 0. Let s(j) = 130*j**2 - 4*j + 3. Let o(k) = -130*k**2 + 3*k - 2. Let n(y) = -6*o(y) - 5*s(y). Is n(c) prime?
True
Let l = -176419 + 247436. Is l a prime number?
False
Is -1*1/(-2)*(16042 - 0) composite?
True
Suppose 4*w = -2*c - c + 5, w = 2*c + 4. Suppose 0 = -w*h + 326 + 144. Is h prime?
False
Suppose 3*x - 4*q = 4 - 2, 2*q = -2*x + 6. Suppose 4*u + 486 = 4*o - x*o, 4*u - 769 = -3*o. Is o a prime number?
True
Let c be (-1 - (-11 - 3))*-1. Let v(n) = n**3 + 12*n**2 - 13*n + 2. Let g be v(c). Suppose -g*i - 3*i = -1535. Is i a composite number?
False
Let v(m) = 38*m**2 - 13*m - 34. Is v(17) a composite number?
True
Suppose -20*g + 372987 = -18553. Is g prime?
True
Let y = 52 - -1207. Is y a composite number?
False
Suppose -1 = p + 1. Let c be (-13)/p + 39/(-26). Suppose 0 = 3*b + c*x - 286, 2*b + 