+ 4*k = 40. Let a be w(i). Suppose -2*h - a = -454. Is h a composite number?
True
Let i(a) = a - 5. Let b be i(6). Is b*(1 - 2) - -56 prime?
False
Let d = -4 + 7. Suppose 2*r = 3*r + 3*g + 36, -150 = d*r - 5*g. Is (8/(-10))/(6/r) prime?
False
Let j(w) = -w**3 + 3*w**2 + 10*w - 5. Is j(4) composite?
False
Is 0 + 1652 - (-4 + 5) a composite number?
True
Suppose -4*w = -f - 385 - 255, -3*f = 3*w - 465. Is w prime?
False
Let f(k) = -k**2 - 31*k + 9. Is f(-12) prime?
False
Let g(x) = -x**2 + 11*x + 1. Let w be (-6)/(-21) + 66/14. Suppose 0*n = w*n, 0 = -4*l - n + 32. Is g(l) a composite number?
True
Let p = 66 + -31. Let y be ((-3)/5)/((-1)/p). Suppose 2*r = c + 154 - y, c + 271 = 4*r. Is r composite?
True
Suppose -h + 6*a + 32 = a, -2*h = 3*a - 77. Is h composite?
False
Let j(f) = -5*f + 4. Suppose 5*r + 23 = -12. Is j(r) a prime number?
False
Suppose -5*h + 2920 = -1970. Let x be (-3)/(10/4*(-15)/25). Is (h/18)/(x/6) a composite number?
False
Let v(i) = 3*i**2 - 6*i - 19. Is v(-12) composite?
True
Let o be (-456)/(-9) + (-1)/(-3). Suppose -85 + 0 = -3*w + 5*i, 0 = w + 4*i - o. Is w prime?
False
Let o = 245 - 22. Is o a prime number?
True
Let r = -35 + 73. Let m be 51 - (1 + 3)/(-2). Let k = m - r. Is k a prime number?
False
Let v = -28 + 26. Is 2 + -3 - v*129 a composite number?
False
Let p = -1 - -5. Let c be -3 + 2 - p/(-1). Suppose 0*j - 138 = -c*j. Is j a prime number?
False
Is ((-3)/2)/(-4 + (-49738)/(-12436)) composite?
False
Let a(z) = z**3 + 17*z**2 + 31*z - 20. Is a(-13) a prime number?
False
Suppose 2*f = -0*f + 2586. Is f a composite number?
True
Suppose -q + 3*z = 7, 3*q - z + 7 = 5*q. Suppose -5*f + 20 = -q*m - m, -5*m = -f + 4. Is (-69)/(-5)*(5 + m) prime?
False
Let f = -541 - -938. Is f prime?
True
Let m be 9/3*(-40)/(-3). Let w = m - 5. Is w a composite number?
True
Let h = 4 + 0. Suppose 6 + 18 = h*g. Suppose -g*p + p = -155. Is p a prime number?
True
Let v be ((-8)/3)/((-12)/18). Suppose 76 + 0 = v*y. Is y composite?
False
Let j(u) be the first derivative of u**2 - u - 1. Is j(5) a prime number?
False
Suppose -5*u + 12585 = 5*k, 3*u + 2533 = -4*k + 5*k. Is k composite?
False
Is 473 - -2*(-5 + 3) prime?
False
Let b(o) be the third derivative of 2*o**4/3 - o**3/2 + 2*o**2. Is b(9) composite?
True
Suppose 3 = 5*s - 87. Let u(q) = -78*q**3 + 2*q**2 + 2. Let c be u(-2). Is (-4)/s + c/18 prime?
False
Suppose -5*b + 25 + 150 = 0. Is b composite?
True
Suppose 5*r + 2*q = 3*q + 2460, 4*q - 1968 = -4*r. Suppose 4*j = 4*d + r, 4 + 4 = -2*d. Is j prime?
False
Suppose 6*w + 4*b - 15 = w, -3*w = -b - 9. Let k = w + 32. Is k a prime number?
False
Let i = 7036 - -12697. Is i composite?
True
Suppose 2*q + 2*q + 4*s - 868 = 0, -647 = -3*q - s. Is q composite?
True
Suppose 2*z - 3*z + 11 = 2*v, 3*z - 3*v = 24. Suppose x = z - 3. Suppose s - x*y - 75 = -4*y, 0 = 3*s + y - 239. Is s a composite number?
False
Let p(h) = 2 + h - 2*h - 4 + 3*h**2 - 2*h**2. Let b be p(3). Suppose 0 = -u + 2*u - 4*l - 55, -b*u + 190 = -l. Is u composite?
False
Let k be 424/14 + (-10)/35. Is 1*(-3 + k) + -2 a prime number?
False
Suppose 0*a + 10 = 2*a. Suppose -2*o = 3*o - a*n - 275, 0 = -5*n - 10. Is o composite?
False
Let h(s) = -s**2 - s + 7. Let d(p) = -p**2 - p + 8. Let g(v) = 6*d(v) - 7*h(v). Is g(-5) a composite number?
False
Let t(z) = z**2 - 1. Let d(s) = 3*s**2 + 5*s - 14. Let c(g) = d(g) - t(g). Is c(9) prime?
False
Let x be -1 - (-2)/2 - -9. Let u(p) be the third derivative of p**4/4 + 5*p**3/6 + 9*p**2. Is u(x) a composite number?
False
Suppose -4*m = o - 324 - 2134, -4*m = -3*o - 2450. Is m prime?
False
Let b(j) = 36*j - 1. Let x(t) = -37*t + 2. Let u(g) = -3*b(g) - 2*x(g). Is u(-2) composite?
False
Let m = -7 + 11. Suppose 18 = 2*a - m. Is a prime?
True
Let h be ((-20)/(-5))/((-1)/8). Let q = h - -115. Is q a composite number?
False
Let h(u) be the third derivative of 29*u**5/15 + u**4/24 + u**3/6 - 3*u**2. Is h(2) a composite number?
False
Let j(t) = 5*t + 1. Let p be j(1). Is 842/6 + p/9 a prime number?
False
Let j(l) = 38*l - 2. Let n be j(2). Let i = n - 21. Is i a prime number?
True
Let r(q) = -q**2 - 20*q - 17. Is r(-13) a composite number?
True
Let x = 12 + -11. Is 4/6*96 + x composite?
True
Suppose -549 - 1221 = -5*b. Suppose -r - 143 = -b. Is r prime?
True
Let j(v) = 3*v - v + 3*v**2 + 1 - 3. Let d be j(-4). Suppose 4*x - 6 = 10, -2*w + d = -x. Is w a composite number?
True
Suppose -875 + 173 = -4*n - 3*b, 3*n = 4*b + 539. Is n a prime number?
False
Suppose 21 = -g - 2*g. Let h(b) = b**3 + 11*b**2 + 10*b + 7. Is h(g) a prime number?
False
Let y = 33 - 9. Suppose -2*v = 3*v - r + y, 14 = -2*v - 4*r. Let p = v + 31. Is p a composite number?
True
Suppose 3*u + 516 = -246. Let n = u - -543. Is n a composite number?
True
Suppose 4*x - 756 = 2*s, -s + 370 = 2*x - 0*s. Is x a prime number?
False
Let y(c) = -2*c - 2. Let f = -13 - -6. Let h be y(f). Suppose v = 3*n - 175, h = v - 4*v. Is n a prime number?
False
Let w(k) = -k**3 - k**2 + 37. Let q(l) = -l**2 - 8*l. Let v be q(-8). Is w(v) a composite number?
False
Let j = 61 - 90. Let t = j - -84. Is t prime?
False
Let y(i) = -i**2 - 12*i - 6. Is y(-10) a prime number?
False
Suppose -2*w - 3*k + 15 = -6*k, -20 = 5*w + 4*k. Suppose -2*u + 9 + 5 = 0. Suppose w*q + q = u. Is q prime?
True
Let t be (-6)/(-3) - 1 - -2. Suppose c - 132 = -t*i - 2*c, 2*i - 79 = -5*c. Is i a prime number?
True
Is (2 - 59)*(-93)/9 composite?
True
Suppose 16 = -4*y, y - 8 = q + 2*y. Let r = q - -4. Suppose -36 = -4*c - r. Is c prime?
False
Let g(j) = -j**2 + 31. Let d be g(0). Suppose -d = -3*a + 2*a - 5*i, -5*a + 4*i = -97. Is a composite?
True
Let i = -4 + 14. Suppose 20 + i = j. Suppose 5 - j = -w. Is w composite?
True
Let r = 12 + -9. Suppose -19 = -0*c - c - 5*d, 117 = r*c - 5*d. Is c prime?
False
Suppose -5*b = r - 6 + 1, -5*r + 77 = -b. Let u = 4 + r. Is u prime?
True
Is ((-38)/(-6))/(9/54) prime?
False
Let s(b) = -b**3 - 6*b**2 - 2*b - 9. Suppose 0 = 4*w - 2*w + 12. Let p be s(w). Suppose 0 = -n - p*f + 120, -2*n + 3*f - 140 = -389. Is n a prime number?
False
Let q be (-8)/(-52) + (-100)/(-26). Suppose 4*w + 5 = o - 4*o, 5*w = q*o - 45. Suppose -112 - 273 = -o*h. Is h composite?
True
Let c = 1 - 21. Let p = c + 111. Is p composite?
True
Suppose -90 = -3*r - 3*v, r - v - v - 27 = 0. Suppose -3*a = 5*h + 86, r = -a - 5*h + 3*h. Let n = a + 62. Is n prime?
False
Let a(q) be the second derivative of q**4/6 - q**3/3 + q**2/2 - 2*q. Is a(4) a prime number?
False
Let w be 6*(-69)/(-12)*6. Suppose 2*o = -o + w. Is o a composite number?
True
Suppose 4*s = 2*j - 1642, -2*s + 801 = 3*j - 2*j. Is j prime?
True
Let z = -6 - -3. Let v = z - -5. Suppose v*k - 12 - 10 = 0. Is k prime?
True
Suppose t - 12068 = -3*t. Is t a prime number?
False
Suppose z + 6 = 685. Is z a prime number?
False
Let n be (4/(-2) - -2) + 2. Suppose -l = -3*s - 28, n*s = -l - 0*s + 13. Is l composite?
False
Suppose 4*i - 20 = 0, 0 = 2*a + 6*i - i - 539. Is a a composite number?
False
Let n = -1 + 4. Suppose 27 = -n*i + 123. Let f = 47 - i. Is f prime?
False
Let i(u) = u**3 - 4*u**2 + 2. Let f be i(4). Let b(d) = 148*d**2 - 2*d - 1. Is b(f) prime?
True
Let b be (-133)/(-4) - 1/4. Let w = -88 + b. Let m = w + 120. Is m a composite number?
True
Suppose 3*z - 4*i = -12, -6*i + 2*i = -4*z - 12. Suppose j - 3 - 1 = z. Suppose 5*x - 29 = j*g, 5*x - 57 = -4*g + g. Is x prime?
False
Suppose 3*f = -4*v + 86, 6*f - f + 3*v = 136. Let a be f - (2 - (1 + -2)). Suppose 3*l + 3*o - 46 = a, 0 = -2*l - 5*o + 49. Is l a prime number?
False
Let r(d) = 27*d - 4. Let v be r(3). Suppose 3*w - v = 25. Is w prime?
False
Suppose -i + 3449 = 3*a, -3*i - 8 = -i. Is a a prime number?
True
Let j = -236 + 141. Let o = -57 - j. Is o prime?
False
Let r(t) = -2*t**3 + 2*t**2 - 1. Let o be r(-1). Let a = o + 20. Is a prime?
True
Suppose 147 = 5*x - 6*x. Let y = x - -352. Is y a prime number?
False
Let j(w) = 673*w**2 + w + 1. Is j(-1) composite?
False
Let g(p) = 40*p**2 + 5*p - 5. Is g(4) a composite number?
True
Let s = -108 + 343. Is s a composite number?
True
Let y = 827 + -378. Is y a composite number?
False
Suppose 0 = -3*i - 5*r + 536, -3*i = -2*i + r - 178. Is i composite?
True
Is 69 - 5/((-25)/(-20)) composite?
True
Suppose -316 - 421 = -5*k - 4*w, 3*k - 3*w = 426. Is k composite?
True
S