*-1. Is x(l) composite?
False
Is (-17 + -1)/(-3)*(-127)/(-2) composite?
True
Suppose 4*r - 7958 - 11885 = 3*f, -3*r - 5*f = -14904. Is r a prime number?
False
Let z = -384 + 1118. Is z composite?
True
Is 1*(-92)/(-12) + (-6)/9 a composite number?
False
Suppose 0*f - 641 = -f. Is f a composite number?
False
Suppose 4*v - 10 = 2*v, -25 = 5*w - 4*v. Let b = -1 + w. Is (-273)/(-12) - b/8 prime?
True
Is 10/5*(-446)/(-4) composite?
False
Let h = 1235 - 837. Suppose 0 = -3*b + 5*b - h. Is b a composite number?
False
Suppose -4 = m - 3*d, -4*m + 0*d - 3*d = 31. Let r(g) = -g**3 - 7*g**2 - 3. Let x be r(m). Is 2*-1 - (-20 - x) a prime number?
False
Suppose 0 = -4*i + i - 27. Let w(o) = -o**2 - 8*o + 9. Let c(p) = 2*p**2 + 16*p - 19. Let l(k) = -2*c(k) - 5*w(k). Is l(i) prime?
True
Suppose -108 = -2*q - 2*v, -q + 3*v = -3*q + 109. Let a = 38 + q. Is a prime?
False
Let a = 12 - 22. Is a/(-45) - (-124)/9 a prime number?
False
Let z(d) = 4*d**2 - 9*d - 7. Let y(u) = 4*u**2 - 9*u - 7. Let a(s) = 3*y(s) - 2*z(s). Is a(-6) a composite number?
False
Suppose 0*p + 3*p = 0. Let i be 4/(-5)*760/(-16). Suppose -5*y = 3*d - p*d - 95, 0 = 2*y + 2*d - i. Is y composite?
False
Let q(t) = -2*t + 8. Let d be q(9). Let y(m) = m + 15. Let p be y(d). Suppose 3*x + 343 - 1127 = -g, 0 = p*g + 25. Is x a prime number?
True
Let i be (15/12)/((-1)/(-132)). Let p = i - -22. Is p composite?
True
Let c(h) = -3*h + 1867. Is c(0) composite?
False
Suppose 5*v = -s + 12540, -5*s + 0*v - 5*v + 62600 = 0. Is s a composite number?
True
Suppose -i - 4*z + 31 + 72 = 0, 3*i - 254 = -z. Is i a composite number?
False
Let g(m) = 24*m**2 + 9*m - 11. Is g(6) a prime number?
True
Suppose -3*q - 10 = -1. Is 3/(q/19)*-5 a prime number?
False
Let s(z) = -z**2 + 1. Let y be s(1). Suppose y = -2*g + 248 - 90. Is g*(-3)/6*-2 a composite number?
False
Let u(c) = -44*c - 53. Is u(-21) a prime number?
False
Let s(a) = 14*a - 7. Let v be s(6). Suppose 3*g - 232 - v = 0. Suppose 2*b = g + 3. Is b a composite number?
False
Let q be 48*((-15)/(-6) + -1). Let v be q/(-16) - 1/(-2). Is (-2)/(-4) + (-146)/v a prime number?
True
Suppose 0 = -6*z + 4*z - 358. Let y be 14/(-3 + z/(-59)). Suppose -u + y = -0*u. Is u a composite number?
True
Let r(d) = d**3 + d**2 - 2*d - 1. Let j be r(-2). Let l(q) = q + 1 - 57*q**3 + 0*q - q**2 + q**3. Is l(j) prime?
False
Suppose -1572 = 3*u - 0*u. Let p = 915 + u. Is p prime?
False
Suppose -1026 = -4*a - 262. Is a prime?
True
Let m(v) = 4*v**2 - 5*v - 4. Is m(-5) prime?
False
Suppose -6*g - 3150 = -5*n - g, -3185 = -5*n - 2*g. Is n prime?
False
Let x(q) = -6*q**2 + 11*q + 15. Let h(t) = 5*t**2 - 10*t - 14. Let j(l) = 4*h(l) + 3*x(l). Is j(10) composite?
True
Let r(y) = y**3 - 19*y**2 + 12*y + 20. Let n be r(14). Is (2/6)/((-8)/n) prime?
False
Is (-3113 - 5 - 1)*(-1 - 0) a composite number?
False
Is 0 - 2/((-4)/4854) composite?
True
Suppose t + 4*a - 258 = 23, -2*a + 281 = t. Let d(j) = -j**3 - 5*j**2 + 6*j + 4. Let r be d(-6). Suppose 99 = r*n - t. Is n a prime number?
False
Let j be (-3)/(-12) + (-662)/(-8). Suppose 0 = -z - h - 48, -z - 2*z + 5*h - 144 = 0. Let x = z + j. Is x a composite number?
True
Let u = 697 + -380. Is u a prime number?
True
Suppose 3*t - t - 1106 = 0. Is t composite?
True
Let d(k) be the third derivative of -k**6/120 - k**5/10 - 5*k**4/24 + k**3/2 - k**2. Suppose 6 = -o + 1. Is d(o) a composite number?
False
Is -1677*8/(-12) - (0 - -1) a composite number?
False
Let d(g) = 2*g**2 - 6*g + 6. Let a be d(6). Is (-5348)/a*(-3)/2 prime?
True
Suppose -698 = -2*r - 2*b - b, 5*r - 1767 = -2*b. Is r a composite number?
True
Let r(b) = -b**2 - 6*b - 6. Let y be r(-4). Let o = 5 + 3. Suppose -o = -2*k - y. Is k prime?
True
Let r(m) = -7*m**2 - m. Let t be r(1). Is (0 + 2)/(t/(-332)) composite?
False
Let v be 6/(-9) - 885/9. Is v/(-15)*1*5 prime?
False
Let k(j) = -j**3 + 8*j**2 + 6*j + 5. Let r be k(8). Suppose 0 = -i + r + 56. Is i a prime number?
True
Suppose 2*p - p = -5*a + 515, a - 114 = 2*p. Suppose -a = -4*b + 100. Is b a prime number?
False
Let q(c) = 515*c**3 + 2*c**2 - c. Suppose 4*h - 14 = 5*d, 4*h + d = 3*h - 1. Let s be q(h). Suppose -4*m = 208 - s. Is m composite?
True
Suppose -262 - 326 = -4*h + 4*x, 5*h + 2*x = 700. Suppose 13 = -5*n + 33. Suppose f - n + 0 = 0, f - h = -2*j. Is j a composite number?
True
Let c(f) = f**3 - 5*f**2 - 7*f + 12. Let x(w) = -w + 1. Let i(b) = c(b) - 5*x(b). Is i(6) composite?
False
Let f(n) = 9*n + 35. Is f(16) composite?
False
Let w be -34*(2 + (-1 - -4)). Suppose 2*k + 340 = -282. Let b = w - k. Is b a prime number?
False
Let v(a) = -a**3 + 5*a**2 + 6*a + 4. Let i be v(6). Suppose 3*o + 40 = 5*m + 8*o, 0 = -3*m + 4*o - i. Suppose -m*r = -3*r - 57. Is r composite?
True
Suppose 0 = 4*v + 3*c - 3813, 1 = -c - 0. Suppose -3*y + 2*g = -582, -v = 4*y - 9*y - 2*g. Is 1 - (-5)/(15/y) prime?
False
Let w(o) be the second derivative of -81*o**5/10 - o**4/12 - o**3/6 - o**2/2 + 3*o. Is w(-1) prime?
False
Is -1*5127*(-1)/3 prime?
True
Suppose -7*j + 18*j = 5687. Is j a prime number?
False
Suppose -3*p = -4*b - 3347, -2*p - 2*b = -1123 - 1113. Is p composite?
False
Suppose 3*r - 231 = 3*x, 4*r + 3*x - 198 - 110 = 0. Is r composite?
True
Let w = 1 - 1. Suppose 4*i + 27 + 61 = w. Is (3/2)/((-1)/i) prime?
False
Suppose 11 = y + 2. Let q(d) = -d**2 + 14*d + 6. Let p(a) = 2*a**2 - 27*a - 13. Let u(j) = -4*p(j) - 7*q(j). Is u(y) composite?
False
Suppose -2*c + 3*c + 290 = 0. Let u = -55 - c. Is u a composite number?
True
Let k(z) = 78*z**3 + z**2 + 5*z - 5. Is k(2) a prime number?
False
Let n = 7 - 7. Suppose n = 2*c + c - 483. Is c a prime number?
False
Suppose -3*z = -2*z - 89. Is z a prime number?
True
Suppose k - 4 = -k. Suppose -k*s + 5*n = -16 + 3, -2*n + 2 = s. Suppose -4*p = -2*l + 150, s*l = 4*p + 64 + 240. Is l a composite number?
True
Suppose 0*h - 3 = h, 5*n = -5*h + 320. Is n prime?
True
Let h be (3/2)/((-1)/12). Let b be (-86)/h - 2/(-9). Suppose 4*z = -3*y + 101, 4*z - 77 = b*y - 0*y. Is z a prime number?
True
Let l be (-2)/(-3)*3 + 0. Let d(c) = -5*c + 1 - l*c - 2*c. Is d(-4) a composite number?
False
Is -335*(3 + 18/(-5)) a prime number?
False
Let i be (6 - 1)*6/15. Let w(g) = 138*g**2 + g - 1. Is w(i) a composite number?
True
Let q(w) = -w**3 - 6*w**2 - 2*w + 6. Let x be q(-5). Is (3/(-2))/(x/138) prime?
True
Let u(l) = -l**3 - 7*l**2 - 11*l - 13. Is u(-10) prime?
True
Suppose -397 = -4*f + 3*f. Is f a prime number?
True
Let v(a) = -8*a**3 + 3*a**2 - 3. Let l be v(-4). Is (-3)/12 - l/(-4) a composite number?
False
Let d(g) = g**3 - 6*g**2 + 6*g - 5. Let v be d(5). Is 638 + (0 - -3) + v prime?
True
Let y = -4 - -4. Suppose -f + 3*f - 230 = y. Suppose 2*t + f = 3*t. Is t composite?
True
Let k(t) = -34*t - 7. Is k(-5) a prime number?
True
Suppose 4*o = 35 + 25. Is o composite?
True
Suppose -5*a + 29 = -4*l + 206, 0 = -2*l + 2*a + 90. Suppose -j + 4*s = l, j + 3*s + 63 = -j. Let r = 22 - j. Is r a composite number?
True
Let p(m) = 443*m - 1. Let v be p(2). Suppose 4*h - v = -221. Is h prime?
False
Suppose -9 + 382 = a. Is a a composite number?
False
Suppose -323 = -2*j + 1673. Is j a prime number?
False
Let p be (-2)/(-9) + (-2483)/117. Is 7*3*(-77)/p a composite number?
True
Let w(p) = p - 12. Let j be w(11). Let i(y) = -y**3 - y + 1. Let r(z) = -37*z**3 - 2*z**2 - 5*z + 6. Let o(a) = -5*i(a) + r(a). Is o(j) a prime number?
True
Let f = 219 - 492. Let y = 418 + f. Is y prime?
False
Let r = 6 - 4. Let b = 6 - r. Is 4*(-10)/b*-1 prime?
False
Let u(x) = 264*x**2 - 6*x. Let h(f) = -88*f**2 + 2*f. Let y(q) = 11*h(q) + 4*u(q). Let d be y(-2). Let p = d - 193. Is p a composite number?
False
Is (-250 - (-2 + 3))*(-2)/1 a composite number?
True
Let j(t) = t**2 + 2*t. Suppose -2*w - 4*u - 16 = 2*w, 5*w + 4*u + 19 = 0. Let v be j(w). Suppose -h = -l - 17, 0 = h - 8*l + v*l - 9. Is h a prime number?
True
Let g = 158 + -64. Is g prime?
False
Let q(f) be the first derivative of 15*f**2/2 - f - 1. Let s be q(-1). Let j = s + 143. Is j composite?
False
Suppose 3 = f + 5. Let x = f - -5. Suppose 2*r - 105 = -x*r. Is r a prime number?
False
Let o = 17 - -38. Is o a composite number?
True
Is (-226)/24*-4*3 a prime number?
True
Suppose -5*u + 5 = 5*w, -4*w = -3*u - 0*w + 24. Let g(l) = 4*l**2 - 3*l + 6. Is g(u) a composite number?
True
Let 