 u composite?
True
Suppose 3*x = 8*x - 1845. Let c = -178 + x. Is c composite?
False
Let f = 221 + -496. Let i = f - -762. Is i a composite number?
False
Let b(o) = -o**2 - o + 8. Let c be b(0). Let z(x) = -3*x**2 - 18*x + 11. Let h(s) = 5*s**2 + 34*s - 21. Let a(y) = -6*h(y) - 11*z(y). Is a(c) composite?
False
Suppose -2*n + 2438 = -7096. Suppose 82*x - 79*x = n. Is x composite?
True
Let a = -17903 + 31188. Suppose 2*p - 7*p = -a. Is p prime?
True
Let u = 83 + -12. Let m = 1144 - u. Is m a prime number?
False
Suppose 38195 + 71411 = 14*o. Is o composite?
False
Suppose -4*w - 2*a + 3494 = 0, -4*w + 3519 = -17*a + 14*a. Let d = w - 487. Is d a composite number?
False
Suppose q - 7 = -4. Suppose -q*r + 129 = -132. Is r prime?
False
Suppose 6*i + 2*y = 3*i + 2529, -4*i + 4*y + 3392 = 0. Suppose -4*o - k = i, 405 = o - 3*o + 3*k. Let a = 353 + o. Is a a composite number?
True
Let g(x) = -203*x + 47. Is g(-4) composite?
False
Is (-5 - 1571)/(-8) + 2 a prime number?
True
Let q be (886/10)/(-1) - 36/(-60). Let n = q - -98. Is n a prime number?
False
Let l(h) = -h**2 + 15*h. Let a(n) = 2. Let d(o) = -1. Let y(c) = -2*a(c) - 3*d(c). Let q(r) = l(r) + 3*y(r). Is q(7) a composite number?
False
Let v(f) = -70*f + 683. Is v(-38) composite?
False
Let u(o) = o**3 + 5*o**2 - 6*o + 7. Let i be u(-6). Let w = 1 - 6. Let n = i + w. Is n composite?
False
Suppose 3*p = 2*d - 15740, -10822 = -2*d - 4*p + 4904. Is d a prime number?
True
Suppose 81 = 5*l - l + f, 5*f = 5*l - 95. Suppose -5*r = 3*d - 7*d + l, 4*r + 24 = 4*d. Suppose -d*x + 385 = -5*x. Is x a composite number?
True
Suppose 0 = -6*h + 12. Suppose -3*b = 4*i - 1483, 3*i = h*b - 5*b + 1110. Is i composite?
False
Let p be (-274)/8 - 3/4. Let k(x) = -29*x**3 - x**2 + 2*x + 2. Let z be k(-2). Let j = p + z. Is j a composite number?
False
Suppose 8*x - 35206 = -4*u + 6*x, -5*x = 4*u - 35197. Suppose -4*t - 1787 = -u. Is (-11)/66 + t/12 a composite number?
True
Let i = -3 - 0. Let b = i - -3. Is 254 + b*4/16 prime?
False
Let l(y) = -y**3 + 5*y**2 + 8*y + 2. Let v be l(6). Let u = 17 - v. Is -3 + u/(3/254) composite?
False
Let l = -3 - -8. Let z be (-6)/(-4)*(1 - -1). Suppose 123 = 3*r - 0*r + z*i, 5*i = l*r - 255. Is r a composite number?
True
Suppose 10*f = 11*f - 41. Suppose -38*z = -f*z + 627. Is z prime?
False
Let d = -54654 + 134813. Is d composite?
True
Let m(r) = 7*r**2 - 6*r + 22*r**2 + 7 - 7*r**2 + 14*r**2. Is m(2) a composite number?
False
Suppose 8 + 0 = 4*g. Suppose 410 = -q + g*q + 3*o, -o = 3. Is q composite?
False
Is (3 + (-19390)/6)/(8/(-12)) a composite number?
True
Let c be (-42)/28*(-8)/6. Suppose -5*y = 2*r - c*y - 283, -556 = -4*r - 4*y. Is r a composite number?
True
Is (-3 + -1)*(-3 + (-16435)/20) composite?
False
Suppose -4*i - 4*y = -2720, -4*i + 2702 = -0*y - 5*y. Suppose -8*m - i = -10*m. Suppose 2*c - m + 41 = 0. Is c prime?
True
Let c be (1 - 2469/(-12))/((-3)/(-12)). Suppose -5*o + c = -828. Is o prime?
True
Let j(d) = 3*d**2 + 27*d. Let x be j(-9). Is (-8 - -574) + x + -4 composite?
True
Let b be 10/20*3*2. Suppose 3*p = -b, -3206 = c - 4*c + 2*p. Suppose -w + c = 3*w. Is w a composite number?
True
Let l(r) = -r - 2. Let v be l(-5). Let a(u) = -52 - 47 + 24*u - 52 + 144. Is a(v) prime?
False
Suppose 3*l = 8*l - 5*k - 6045, -2*l = -4*k - 2408. Is l composite?
True
Is 3303/1 - (5 - 1) composite?
False
Suppose -p = -5*s + 2*p - 37, 3*s = -4*p - 28. Let u(w) = -96*w - 17. Is u(s) a prime number?
True
Let w = 6675 + -3946. Is w composite?
False
Let i(w) = w - 7. Let g be i(-14). Let v = 23 + g. Suppose -5*r + 170 = t, -v*t + 124 = 3*r + 3*t. Is r a composite number?
True
Let a(s) = 469*s**2 - 1. Suppose 0 = -2*o, 5*o - 4 - 1 = 5*c. Let p be a(c). Suppose 69 - p = -3*r. Is r a prime number?
False
Let a = 1212 + -2396. Let w = a + 722. Is w/(-15) + 2/10 composite?
False
Let m(i) = -9*i**3 + 35*i**2 + 3*i + 15. Let v(s) = 13*s**3 - 52*s**2 - 4*s - 22. Let r(u) = 7*m(u) + 5*v(u). Is r(10) a composite number?
True
Is 76/190 - (-13446)/10 a composite number?
True
Is (-41367)/(-9)*3 + 5 + -5 a prime number?
True
Let s(a) = -5*a**2 - 3*a + 5. Let f be s(-6). Let c = f - -530. Is c composite?
False
Suppose -9707 = -4*y + 365. Is y a composite number?
True
Let k = -66 - -68. Suppose -k*z = -2*a + 4, 5*a + 4*z = 2*a + 34. Is a prime?
False
Let l(r) = 5964*r + 17. Is l(1) composite?
False
Suppose -2*a + 986 = -6996. Is a composite?
True
Suppose -2 = -2*t + 10. Suppose 5*d = 4*n + t, 15 = 5*d - 0*n + 5*n. Suppose -d*r = -5*x + 663, -2*x + 5*r = -0*x - 261. Is x a composite number?
True
Let z = 5859 + -1776. Is z a composite number?
True
Let w be (-2 + 120)*(-13)/(-2). Let p = w - -1432. Is p composite?
True
Is ((-1*30948)/6)/(2 + -4) a prime number?
True
Let r = -16 - -22. Is 22/(-66) + 5516/r composite?
False
Let w be 6/8*(3 + 1). Is -15*(-183)/w + -3 + 7 a prime number?
True
Suppose 0 = 5*h - i + 5*i, 5*i = -3*h. Suppose 398 = 2*t + 3*y, -4*t + 796 = -h*t + 3*y. Is t a prime number?
True
Let a(s) = 16*s**3 + 3*s**2 + 8*s - 10. Let r(p) = -47*p**3 - 9*p**2 - 25*p + 31. Let t(q) = -7*a(q) - 2*r(q). Is t(-5) prime?
True
Let w = 1125 + -688. Is w composite?
True
Suppose -3542 - 1130 = -4*u. Suppose 4*f - u - 6556 = 0. Is f composite?
False
Suppose -15*i - 48967 = -38*i. Is i a composite number?
False
Let m(z) = 4*z**2 - 9*z - 16. Let l be m(18). Let k = l + -197. Is k prime?
False
Let o(u) = u**2 - 11*u - 6. Let i be o(12). Let p(x) = -x + 1. Let k(g) = -g**2 + 13*g - 7. Let m(z) = k(z) + 4*p(z). Is m(i) composite?
True
Let t = -1350 + 1961. Suppose 2*i - t = 51. Is i a prime number?
True
Let f be 47/7 - 16/(-56). Is 1284/(f + -4) - 1 composite?
True
Suppose -3933 = -5*j - 113. Suppose 4*v + q - j = v, -3*v + 769 = 2*q. Is v prime?
False
Let l = -17 + 11. Is 7944/16*(-4)/l prime?
True
Let o = -969 + 1528. Is o a prime number?
False
Let a(b) be the second derivative of -23*b**3/6 - 25*b**2/2 + 15*b. Is a(-12) composite?
False
Suppose 10*i + 17*i = 143073. Is i a composite number?
True
Let z = 0 - -8. Suppose 0 = y + 2*q + 2, -4*q + 0 - z = y. Suppose -g = k + y*g - 68, -409 = -5*k - 2*g. Is k a prime number?
True
Let l(r) = -5*r. Let p be l(2). Let w(o) = 0*o + 3*o + 19*o**2 - 11 + o**3 - 2*o - 3*o - 8*o**2. Is w(p) prime?
True
Let y = 1960 - -718. Suppose -5*q + y = -857. Is q prime?
False
Let g(j) = -33*j - 13. Suppose 3*m - 23 = 4*i, -38 = 4*i + 3*m - m. Is g(i) composite?
False
Suppose -4*r - 248*x = -251*x - 164528, 5*r = x + 205649. Is r prime?
False
Let d(i) = 9*i - 49. Let k be d(8). Suppose k*n = 28*n - 2605. Is n prime?
True
Let v(f) = f**3 + 16*f**2 - 1 - 2 - 2*f - 1 - f**2. Let u be v(-8). Let y = u - 273. Is y composite?
True
Suppose -3*a + 3*n = -4*a - 161, -5*a + 3*n - 841 = 0. Let z be (-2)/(-2)*(-319 - -3). Let r = a - z. Is r a prime number?
True
Suppose -x = 4*x, -5*b + x + 176695 = 0. Is b prime?
True
Suppose -45272 + 2080 = -8*k. Is k a prime number?
True
Let n = -251 + 561. Let p = -178 + n. Suppose 0 = 2*u + 2*u - p. Is u a prime number?
False
Let v(s) = 7*s**2 + s - 15. Is v(-22) prime?
False
Let s = 732 - 401. Is s prime?
True
Is (-92571)/(-13) + 380/(-65) + 6 a composite number?
False
Let b = -8103 - -16162. Is b a prime number?
True
Let a(z) = -z**3 + 49*z**2 + 54*z - 91. Is a(50) composite?
False
Let p(o) = o**3 - 6*o**2 - 8. Suppose -5*v - 3*d + 34 = -5, 2*v - 18 = -2*d. Let l be p(v). Let q(a) = -a**3 - 4*a**2 - 5*a + 3. Is q(l) prime?
False
Let j be 1935 - (0 - 1 - 2). Suppose j = 3*u - 3*t, u + 2*u + t = 1942. Suppose -297 = -c - 2*i, -2*i = -4*c + u + 521. Is c composite?
False
Let j = 27172 - 15570. Is j a prime number?
False
Let s(p) = -27*p + 7. Let l be 230/(-18) - 12/54. Is s(l) a prime number?
False
Suppose -b - 4*l = -8, -2*b - b - 4*l + 56 = 0. Let z = -20 + b. Suppose 4*u - 5*n - 396 = 2*u, 0 = -3*u - z*n + 617. Is u prime?
False
Let u = 6 + -17. Let j = u + 18. Suppose 3*v - j*v + 284 = 0. Is v a composite number?
False
Suppose 2*h - 17 - 19 = 0. Is (h/15)/(10052/(-10060) - -1) prime?
False
Suppose -5*j = 3*j - 8. Is 1680/(2 - -1) + -2 + j composite?
True
Suppose 4*x - 18 = 4*q + 6, 2*q = 4*x - 18. Let l be 29/x + 2/(-3). Is 2*30 + -10 + l composite?
False
Let k be 360/(-26) + (-4)/26. Is 49/k*(-37 - 1) prime?
False
Let g = 708 + 905. Suppose 1995 = 5*b 