omposite number?
False
Suppose -4*u = -2*b - 9 - 13, 20 = 5*u + 5*b. Let g = u + -9. Let m(i) = -5*i + 3. Is m(g) prime?
True
Suppose 15 = 5*f, 0 = -5*l + l - 2*f - 6. Is (-2 - l)*(-166)/(-2) composite?
False
Suppose -6 + 0 = t. Let v(o) = -o**3 + 9*o**2 + 5*o + 5. Is v(t) composite?
True
Suppose o - 3*y = -7, -5*y + 65 = -o + 6*o. Suppose 16 = 2*i + 2*i. Suppose -i*d = -o - 8. Is d prime?
False
Suppose -3*a + 23 = 4*r, 5*r + 10 - 30 = 5*a. Suppose r = -0*o - o. Let n = o - -166. Is n prime?
False
Suppose -o + 20 = 4*o. Suppose -4*f - 4 - 1 = 3*y, y + o*f = -15. Let d = -2 + y. Is d composite?
False
Suppose 0 = 3*f + 2 - 11. Suppose 0 = f*h - h - 2. Is h - 1 - (-4 - 187) a prime number?
True
Let h = 1094 + -649. Suppose t + 4*b + 89 = 2*t, 5*t - 4*b - h = 0. Is t prime?
True
Suppose -2*m = -0*m + 6. Let x be (-15)/m - 3/1. Suppose 0*a = 2*h - a - 133, -x*h + 2*a + 132 = 0. Is h a prime number?
True
Suppose 0 = 5*a + 14 - 69. Let l = -1 + a. Let k = l + -6. Is k a composite number?
True
Is (97/1)/1*3 a prime number?
False
Suppose i - 305 = 5*y + 106, i - 399 = 2*y. Is i a prime number?
False
Is (-87)/6*(0 + -6) a composite number?
True
Suppose 6 = -4*i + 5*o + 47, -3*o - 48 = -5*i. Let b = i - 45. Let s = b - -85. Is s a prime number?
False
Suppose 0*s - 2*s - 4 = 0, -227 = -t + 5*s. Is t prime?
False
Let k be 835/1*(-3 + (-65)/(-25)). Suppose -2*p - 5*r = 400, 3*p = 6*p - 4*r + 600. Let u = p - k. Is u a prime number?
False
Let k be 3 - (173 + 0 + 3). Let j = 330 + k. Is j prime?
True
Let z be (12/10)/(2/(-10)). Let v = 34 + z. Let s = v - 9. Is s a composite number?
False
Let g(s) = 9*s**2 + 4*s + 6. Let n(i) = i**2 + 7*i - 5. Let d be n(-7). Is g(d) composite?
False
Suppose 1 = -3*r + d, r - 5*d - 1 = -6. Suppose -7*w + 2*w = r, -385 = -5*q - w. Is q a composite number?
True
Let y be 124/9 + 2/9. Suppose 5*l + y + 6 = 0. Is (2 + l)*(-21)/2 a prime number?
False
Let v = -1 - -26. Is v/(-3 - (-2 + -2)) prime?
False
Let n(u) = u**3 + 5*u**2 + 5*u - 6. Let z be n(-5). Let c = z + 17. Let d = c - -28. Is d a prime number?
False
Let w = 2224 + -711. Is w prime?
False
Let g be -10 - (1 - -2 - 4). Is (-6)/g + 481/3 prime?
False
Suppose -v + 0*v = -673. Suppose 0 = -3*s - 3*q + 990, 0 = -5*s - 3*q + v + 979. Is s a prime number?
True
Suppose -s + 235 = 4*s. Suppose f = -0*f + s. Is f composite?
False
Let w(k) be the second derivative of -k**3/6 - 2*k**2 - 2*k. Let s be w(-6). Suppose 4*f - 13 = -a, 5*f - 7*f + 20 = s*a. Is a composite?
True
Suppose 77 = t + 10. Let q be (-1)/((-113)/(-114) - 1). Let y = q - t. Is y prime?
True
Suppose k - 3 = 3. Suppose o + k*z + 9 = z, 25 = -5*o - 5*z. Is (-2 + 0)*174/o composite?
True
Let x(z) = 2*z - 2. Let i be x(6). Suppose 0 - 5 = -d, 5*d = 5*u + i. Is u prime?
True
Suppose -3*b = 3*q + b - 1341, 5*q + 3*b - 2246 = 0. Is q a composite number?
True
Let v(f) = -f**3 + 7*f**2 - 4*f - 8. Let l be v(6). Is 1/(6/l)*33 composite?
True
Is 134 - 0*2/6 composite?
True
Let z(y) = y**2 + 6*y - 4. Let c be z(-7). Is 146 - c/(-2 + 1) a composite number?
False
Let x(g) = g**2 + g - 1. Let l be x(2). Suppose w - 605 = -4*w - l*h, -5*h = w - 129. Is w a prime number?
False
Let d(f) = 6*f + 4. Let j(c) = -3*c - 2. Let p = 1 + -6. Let s(z) = p*j(z) - 3*d(z). Is s(-3) composite?
False
Suppose -3*z = 4*q + 48, -4*q + 0*q = -z. Is 3 - -1 - (z - 235) a composite number?
False
Let n = -12 + 14. Suppose 261 = n*g + g. Is g composite?
True
Let q = 14 + -14. Is 12/4 - (-50 + q) composite?
False
Let v be 4/(-6) - 53/(-3). Suppose 2*w = 2*t - 10, 4*t - t - 4*w = v. Is t/2*84/9 a composite number?
True
Let w be 155 + (6/(-4) - (-5)/10). Suppose 0 = -2*c + c + 114. Suppose -c = -4*k + w. Is k a prime number?
True
Let b(k) = -16*k - 13. Let c(h) = 11*h + 9. Let u(x) = 5*b(x) + 7*c(x). Suppose -13 - 27 = 5*g. Is u(g) prime?
False
Let i = -28 + 13. Is 1 + -4 + (1 - i) a composite number?
False
Let k = 57 - 19. Is k a prime number?
False
Let m(k) = k**3 + 3*k**2 - k - 2. Let r be m(-3). Suppose 0 = 2*c + r - 23. Is c a composite number?
False
Let c(d) = 3*d + 3. Suppose 0*w + 12 = 3*w. Is c(w) prime?
False
Let f(v) = -2*v - 2 - 2*v - v + 6*v. Is f(5) a composite number?
False
Let z be 5 + (1 - 3) - -2. Suppose -s + 386 = 3*n, 0*n - 2*s = z*n - 645. Is n composite?
False
Let y = 285 - 112. Suppose 0 = 2*s + 3*t - 419, -4*s + 670 = t - y. Is s prime?
True
Suppose j - 32 + 223 = 3*x, x + 4*j - 42 = 0. Is x - (1*-6 - -3) prime?
False
Suppose 3*y - 4*i = 4*y - 26, 0 = 2*y + 2*i - 28. Let n be 141/15 - (-4)/(-10). Let p = y + n. Is p composite?
False
Let q = 42 - 24. Suppose -4*u = 5*j - 4 + 28, -2*u = -5*j - q. Let f = u + 11. Is f composite?
True
Is -6*(-4 + 56/12) + 122 prime?
False
Let w(g) be the second derivative of -1/2*g**2 - 1/12*g**4 + 3/2*g**3 + 0 + g. Is w(7) prime?
True
Let r(j) = j**2 - 3*j - 2. Let f be r(6). Let a = f - 47. Is 2/4*-2*a a prime number?
True
Is (2 + -10*(-118)/24)*6 composite?
False
Suppose -q = -5*q + 2*t - 16, -4*q - 5*t - 44 = 0. Is -2 + (-441)/q*2 a prime number?
False
Let c = -192 + 36. Let v = c + 367. Is v a composite number?
False
Let t = 920 - 603. Is t composite?
False
Let k = 749 + 140. Is k a prime number?
False
Suppose 267 = o + 2*o. Is o a composite number?
False
Let l be (-1 - 1)/(6/(-9)). Suppose -41 = l*u - 4*u. Let n = u - 10. Is n a composite number?
False
Let n = -7 - -9. Suppose h + n*h = 159. Is h a prime number?
True
Let i be 9 + (-1 + 3)/(-1). Suppose 0 = -4*u + 5*u + i. Is (-2)/u - (-80)/14 a prime number?
False
Let u be ((-5)/(-2))/(2/(-20)). Let v = 2 - 17. Let f = v - u. Is f a prime number?
False
Let g be (-2 + 4/5)*-5. Suppose -q - g = -4*q. Suppose -22 = -q*i - 0*i. Is i a composite number?
False
Let n(v) = -v**3 - 5*v**2 - 5*v + 10. Let y be n(-7). Let j = -96 + y. Is j composite?
False
Let x(v) be the first derivative of 2*v**5/15 + v**4/24 - v**2 - 2. Let z(w) be the second derivative of x(w). Is z(-1) a composite number?
False
Suppose -2*r + 452 = 102. Let t = r + 28. Is t a composite number?
True
Suppose 5*d + 3*a - 1540 = 0, 0*d + 4*a + 285 = d. Let s = d + 110. Is s composite?
True
Suppose h + 4*a - 22 = 0, 0 = -h - 3*h + 4*a + 68. Suppose -h = -2*m + 12. Is m a prime number?
False
Let d(h) = h**2 - 5*h - 4. Let r(z) = -z**3 + 5*z**2 + 7*z - 3. Let n be r(6). Let w be d(n). Is ((-5)/w)/(2/24) a composite number?
True
Let l = -1 - -7. Let t be -2*21/l*-1. Suppose 14 = w - t. Is w a prime number?
False
Let t(l) be the third derivative of l**2 - 1/6*l**3 - 53/120*l**6 + 0 + 0*l**4 + 1/60*l**5 + 0*l. Is t(-1) prime?
True
Suppose -v - 3*q + 11 = 0, 2*v - q + 1 = v. Suppose u = -2*u - 3*c + 2367, 1574 = v*u + 4*c. Is u a prime number?
False
Let g(l) = -25*l**3 - 6*l - 6. Is g(-3) a prime number?
False
Let y = 703 - 458. Suppose 5*x = l + 351, -5*l = 4*x - 59 - y. Is x prime?
True
Suppose m + 0*m = 7. Suppose m*g - 2*g - 105 = 0. Is g a prime number?
False
Let v(r) = -r**2 - 8*r - 7. Let l(w) = w**3 + w**2 + w - 6. Let f be l(0). Let b be v(f). Suppose b*u + 15 = 0, -3*u = -0*t - 4*t + 165. Is t a prime number?
False
Let s = 5 + -3. Suppose s*q = 6*o - 4*o - 20, 0 = -2*o - 3*q. Is (-124)/3*(-9)/o a composite number?
True
Let i = -238 + 440. Is i a prime number?
False
Suppose -q - 10 = -d - 42, -4*q + 113 = -d. Suppose 2*m + 5 = q. Is m a composite number?
False
Suppose -w - 6 = -3*w. Suppose -4*v = 16, -w*j + 5*v - 3*v + 671 = 0. Is j composite?
True
Let y(o) = 67*o**3 + 3*o**2 - 7*o + 7. Is y(2) a prime number?
True
Suppose -2196 = -4*c + 2*f + 2*f, -4*f = 0. Suppose 0 = j + 4*k - c, -j = -0*k + 3*k - 547. Is j composite?
False
Let p = -2 - 4. Let a be 4/p*(-9)/(-1). Is 2*((-33)/a - 0) a prime number?
True
Suppose -2*m + m = 0. Suppose m*j + 255 = 3*j. Is j prime?
False
Let d be (0 - 1) + (-2)/(-2). Suppose 2*g + d*g - 32 = 0. Suppose -l - 3*n + g = -0*l, -3*l + 68 = -n. Is l prime?
False
Let p be (0/((-3)/(-1)))/(-2). Suppose 3*k - s - 3 = p, -2*s = k + 7 - 1. Suppose 4*d + t - 22 - 7 = k, -3*d = 4*t - 38. Is d composite?
True
Let y = 6 + -7. Is (7/2)/(y/(-46)) a prime number?
False
Suppose -3*u = -7*u - 24. Let o be (4/6)/((-4)/u). Suppose 0 = x + o + 2, 2*x = -4*m + 78. Is m composite?
True
Let g(w) = -w**3 + 6*w**2. Let l be g(6). Suppose l = 6*u - 7*u + 447. Is u a prime number?
