rue
Let s(g) = -4*g**2 + g + 4. Let l be s(5). Let r be (2 + -3 + (-562)/(-10))*5. Let m = l + r. Is m composite?
True
Suppose l - 781 = -0*l. Is l prime?
False
Let u(v) = 94*v - 69. Is u(4) a composite number?
False
Suppose -2*a + 868 + 450 = 0. Let t = -287 + a. Is t/(-18)*(-6)/4 composite?
False
Suppose -3*u - 1772 = -7*u. Is u a prime number?
True
Let g(i) = -i**2 - i + 1. Let t(n) = n**2 + 5*n - 5. Let q(s) = -2*g(s) - t(s). Let u = -2 - -7. Is q(u) prime?
True
Let p = -58 + 113. Is p prime?
False
Suppose 10*n = 22772 + 558. Is n a composite number?
False
Is (-2010)/(-4)*(-6)/(-9) a composite number?
True
Is -4*6/(-84) + (-44838)/(-14) a prime number?
True
Let r(f) = 9*f**2 + 2*f - 2. Let s be (0 - 2)*(-1 + 0). Let l be r(s). Suppose d - o - 4 = 0, 5*d = -3*o + 2*o + l. Is d prime?
True
Let k(g) = -g**3 - 2*g - 1. Let i be k(-1). Let m be i/(-1)*(0 - 2). Suppose -m*d + 66 = -4*z + 206, 5*z + d = 187. Is z prime?
True
Let g(b) = -56*b + 5 - 14*b + 7*b. Suppose -2*s + 3*s + 4 = 0. Is g(s) a composite number?
False
Let p be -1*((0 - 1) + -2). Suppose 144 = -2*b - p*u, -4*b + 3*u - 282 = 6*u. Let k = b + 238. Is k prime?
False
Suppose 5*u + t - 2210 = 0, -5*u + t + 1243 + 977 = 0. Is u composite?
False
Let u = -47 - -54. Let p = -3 + 5. Suppose p*c + 615 = u*c. Is c a composite number?
True
Is (-13 + 7)/((-2)/541) a composite number?
True
Let c(z) = -7*z**2 + 6*z - 1. Let y be c(5). Let o = y + 257. Suppose -i + o = 2*i. Is i a prime number?
True
Suppose -4255 = 4*p - 9*p. Is p a composite number?
True
Suppose 0 = t + 3*t + 28. Let p = t - -11. Is (10/p)/(2/8) prime?
False
Let i(w) be the first derivative of 2*w**2 - 13*w - 2. Is i(11) prime?
True
Suppose -38 = -d - 2*v, -74 = -3*d - 0*d + 4*v. Let y = d - -21. Is y a composite number?
True
Suppose -2*l + 4 = -16. Is (-11 + l)*(0 - 199) prime?
True
Is ((-14)/4 + 2)*(-24044)/6 prime?
True
Suppose 0*r + 5*r - 2*q = 1265, -4*q = r - 231. Suppose 3*g - r - 118 = 0. Is g composite?
True
Let t = -106 + 180. Is t composite?
True
Is (-1 + (2 - -366))*(9 + -4) prime?
False
Suppose -3*p + 3 - 7 = -5*f, -4*f - 4*p + 16 = 0. Suppose -7*w = -f*w - 635. Is w composite?
False
Let m(r) = -1 - 6 + 2 - 47*r + 1. Is m(-9) prime?
True
Let c(u) = -u**3 + 10*u**2 + 13*u + 15. Is c(11) composite?
False
Let z = 2 + 1. Suppose -5*h + 2*h + 1558 = 5*v, 0 = 3*h - z*v - 1566. Is h a prime number?
True
Suppose 4*r - 993 = -4*n + 339, -2*r - 3*n + 664 = 0. Suppose 0 = -3*i + 100 + r. Is i a prime number?
False
Let j = -131 - -198. Is j prime?
True
Let f(w) = -42*w + 17. Is f(-6) prime?
True
Let i = -351 - -562. Is i composite?
False
Suppose -3*n = 47 - 842. Suppose 3*g + 2*g = n. Is g a prime number?
True
Is 5/20 + (44898/(-8))/(-3) composite?
False
Let o(t) = -381*t - 17. Is o(-10) prime?
True
Suppose 14*f + 4137 = 17*f. Is f a composite number?
True
Is 6/18 + 1522/6 a composite number?
True
Suppose 5*h - 290 = 155. Let t = h + -46. Is t prime?
True
Is 5549 + 1 - 85/17 prime?
False
Let d be (2/(-4))/(1/(-2)). Let v(q) = d + 0*q + 6*q + 0*q. Is v(2) composite?
False
Let t(o) be the third derivative of 0*o - 7/6*o**3 + 13/24*o**4 + 5*o**2 + 0. Is t(5) composite?
True
Suppose -2*n + 5*m - 30 = 0, 3*n - m = -20 + 1. Let t(d) = d**3 - 2 - 2*d**3 + 7*d + 0*d**2 + d**2. Is t(n) prime?
True
Let g be 14/8 - (-2)/8. Suppose -7*a + g*a = 2*p - 21, -3*a + 2*p + 19 = 0. Suppose 0 = a*f - 3*v - 202, 0*v - 4*v - 206 = -5*f. Is f a prime number?
False
Let t = 7 - 7. Suppose -n - 4 = l - 0*n, t = -2*l + n + 4. Suppose -387 = -l*y - 3*y. Is y prime?
False
Suppose 4*t + 2*h - 105 = -h, t = 5*h + 9. Suppose 2*x + x - 3 = 0. Is 1 - t/(-2*x) a prime number?
True
Suppose 5*l + 4 = -6. Let c be (-38)/4*l*1. Suppose 143 - c = 4*b. Is b a composite number?
False
Let o(u) = 3 - 4 + 3*u + 4 - 2*u. Let j be o(0). Is 80 - ((-9)/j - -4) a prime number?
True
Let x(d) = d. Is x(10) a prime number?
False
Suppose -2*i + 6 = i. Suppose 2*z = -2, -a - 4*z + 11 = -i*z. Is a prime?
True
Suppose -3 = 3*g - 6. Is (g*-674)/((-26)/13) composite?
False
Let j(w) = -6*w**3 - w**2 + 8*w + 13. Let k(p) = -5*p**3 - 2*p**2 + 8*p + 14. Let h(i) = -4*j(i) + 5*k(i). Is h(-13) composite?
False
Let o(y) = 11*y - 1. Suppose -45 = -3*x - 3*z, z + 12 = -3*z. Suppose -5*f = -2*q - 2*f + x, f - 28 = -5*q. Is o(q) prime?
False
Suppose 5*f - 94 = 2*h + 8, -f = 2. Let q = 102 + h. Is q prime?
False
Let t(k) = 38*k**2 - 2*k + 1. Let z(c) = 39*c**2 - 2*c + 2. Let d(m) = 3*t(m) - 2*z(m). Is d(-1) a composite number?
False
Suppose 0 = -24*o + 29*o - 995. Is o a prime number?
True
Let a(p) = 2*p + 4 + 0*p**2 + p + 6*p**2. Let j be (6/4)/((-2)/4). Is a(j) composite?
True
Is 2/((-4)/12430*-5) a composite number?
True
Let n(k) = k**2 - 5*k + 6. Let s be n(5). Suppose s*w - 805 = w. Is w a prime number?
False
Let c = 1439 + -798. Suppose 5*s + 510 = 5*i, 4*i = -2*s + c - 209. Is i a composite number?
True
Let b(n) be the first derivative of 119*n**4/4 - n**2/2 + n - 2. Let o = -2 + 3. Is b(o) prime?
False
Suppose -679 = 3*h + 4640. Let f = -1025 - h. Suppose -f = -3*v - 133. Is v prime?
False
Is (-10317)/(-9) + ((-14)/3)/(-7) a prime number?
False
Let b(y) = y**3 + 7*y**2 + 4*y + 3. Let l be b(-6). Let o(x) = 9*x - l + 10 + 8. Is o(6) a prime number?
False
Let d(f) = 47*f**3 - f + 5. Is d(2) prime?
True
Let w(j) = -j**3 - 7*j**2 - 7*j - 5. Let m be w(-6). Let x(t) be the second derivative of 6*t**5/5 - t**4/12 - t**3/6 + t**2/2 + 2*t. Is x(m) composite?
False
Suppose -3*g + 39 = -4*m, 3*g + 8*m = 4*m + 15. Let i = -6 + g. Suppose -i*l + 0*l + 147 = 0. Is l composite?
True
Suppose -10*b - 9474 = -16*b. Is b a composite number?
False
Suppose 2*o = 3*o - 5. Suppose 154 = -o*a - 276. Is a*(-3)/2 + -2 prime?
True
Suppose 0 = -3*i + 5*n + 2759, -5*i - 2*n + 3*n + 4613 = 0. Is i a prime number?
False
Is (-11457)/(-30) + (-5)/(-50) composite?
True
Is 3/(-1) + 817 + 7 prime?
True
Let o be (-2)/8 + 1306/8. Let c = 248 - o. Is c a composite number?
True
Let i = 80 + 88. Suppose 0 = m + 23 - i. Is m composite?
True
Let h = -1776 - -2593. Is h a prime number?
False
Let c = -559 + 2000. Is c a composite number?
True
Let p = -11 - -37. Is p prime?
False
Suppose -6*s + 198 = -0*s. Is s prime?
False
Suppose 4 = 2*p - 6. Let j = 5 - p. Suppose 2*z + 2*k - 102 = 3*k, j = 4*z - k - 204. Is z prime?
False
Suppose -3*u + 7*u = 656. Let k = u - -42. Is k a prime number?
False
Suppose -2*r + 5*r - 2*m = 583, 0 = 4*r - m - 769. Is r composite?
False
Let o(u) = 442*u + 5. Is o(2) a composite number?
True
Suppose 5*j - 505 - 50 = 0. Suppose -3*d = 2*l - 64, -4*d + d = -3*l + j. Is l a composite number?
True
Let a be (-269)/3 - (-6)/(-18). Let b = -135 + a. Let p = -142 - b. Is p a prime number?
True
Suppose -v - 1 = -3*y - 5*v, -v + 4 = 0. Is 31 - (2 + y + 3) a composite number?
False
Suppose -2*d = 2*h - 1013 + 15, 4*h - 1980 = 4*d. Is h a composite number?
True
Let d = 68 + -35. Suppose 0*i + d = i. Is i a prime number?
False
Let t(j) = 27*j + 10. Let k(g) = -82*g - 31. Let m(x) = 2*k(x) + 7*t(x). Is m(9) prime?
True
Is 36/(-90) + (-1607)/(-5) prime?
False
Let c(a) = a**2 + 8*a - 2. Let t be c(-8). Let q(l) be the second derivative of l**5/20 + l**4/3 + l**2/2 + l. Is q(t) composite?
True
Suppose 2*r = 4*k + 812, -k - 2*k = -4*r + 609. Suppose 4*q + 454 = 2*j, -q - 5*j - 575 = 4*q. Let t = q - k. Is t a prime number?
True
Is 518/4*(-14)/(-7) a composite number?
True
Let y = -48 - -99. Is y a prime number?
False
Let t = 957 - 188. Is t prime?
True
Suppose -3*w = -4*w. Suppose w = -5*g - 92 + 357. Is g composite?
False
Let u = 64 + -7. Let t = u - 35. Is t a composite number?
True
Suppose -3*i = -41 - 4. Suppose -3*x + i = 0, -5*m + 95 = 2*x + 3*x. Is m a prime number?
False
Let a(q) = 389*q**3 + q**2 - 3*q + 2. Is a(1) prime?
True
Suppose 2*n - 508 - 318 = 0. Is n prime?
False
Let s = -1 + -3. Let t = -6 - s. Is ((-45)/(-10))/((-1)/t) prime?
False
Let g = 165 + -250. Let l = g - -200. Is l a composite number?
True
Let s = 404 + -283. Suppose -4*l - 2*f = -663 + s, -15 = -5*f. Is l a composite number?
True
Suppose -2*n - 4*k = n - 96, k - 177 = -5*n. Suppose -102 - n = -2*j. Is j composite?
True
Let g = -193 + 690. Is g prime?
False
Let n(k) = -118*k - 9. Is n(-25) a composite number?
True
Let r be ((-16)/(-40))/