-r + 1. Let a be w(-6). Let h(o) = o**3 - 5*o**2 - 6*o - 3. Is h(a) a composite number?
False
Suppose 473 = 3*o + 2*s, -2*o + 215 = 4*s - 103. Is o prime?
True
Let l(o) = 20*o**2 - 3*o - 6*o**2 + 2*o + 1. Let u be l(-2). Let d = 222 - u. Is d prime?
True
Let r(v) = 14*v - 2. Let k be r(3). Suppose -4*t + 8 = 5*j - 43, 4*j = -3*t + k. Is j a composite number?
False
Let s(a) = 96*a**2 + 2*a + 2. Is s(-2) composite?
True
Suppose -a = -3*a + 240. Let j = a - 41. Is j a composite number?
False
Suppose 3*w - 6*w = 5*j - 25, 2*j - 2*w = -6. Suppose j*v = 3*v - 2. Suppose y + 25 = v*y. Is y a composite number?
True
Let b(r) = -7*r + 9. Let j = -4 - -7. Suppose 4*w = -4*c - 52, -4*c - 43 - 4 = j*w. Is b(c) a prime number?
False
Suppose -3*n - 2*n + 35 = 5*s, -4*s = n - 22. Suppose 0 = s*o - 162 - 713. Suppose 165 = 4*l - 2*z - o, 4*l - 344 = 3*z. Is l a composite number?
False
Suppose 0 = -2*h + 371 - 115. Let f(d) = -4*d**3 + 4*d**2 - d + 2. Let u be f(3). Let p = u + h. Is p a composite number?
True
Let n(q) = -4*q - 3. Let k be 3/15 + (-22)/10. Let s be n(k). Suppose -4*h - 3*g = -75, -2*h - 2*g = -s*g - 51. Is h composite?
True
Suppose 3*c + 5*u = 624, 2*c - 806 = -2*c + 2*u. Is c a prime number?
False
Suppose -4*v + 3*v = 9. Let n(w) = -w + 13. Is n(v) a prime number?
False
Let d = -369 - -1078. Is d prime?
True
Let z be -2 + (-44)/2*-4. Suppose z + 8 = 2*y. Is y a composite number?
False
Let k be 1 - 6/(9/(-3)). Suppose 0 = -5*n + a - 9, a - 11 = k*n - a. Let l = n + 39. Is l a prime number?
False
Suppose -5*s = -s + 4. Let a be s*0/(-2) - -1. Let j(g) = 14*g - 1. Is j(a) composite?
False
Let z = -11 + 14. Is z composite?
False
Let i(a) = -a**2 - 9*a + 5. Let o be i(-9). Suppose 0 = 5*u + 4 - 14. Suppose -89 = -o*w - 3*y, 2*y = -0*w + u*w - 42. Is w prime?
True
Suppose 5*t + 588 = 3*v, -2*v - 758 = -6*v - 2*t. Is v composite?
False
Is (758 - 0)*((-21)/6)/(-7) a prime number?
True
Let i(d) = d**3 + 3*d**2 - 2*d - 3. Let f be i(-3). Suppose 4*j = -4*h + 468, j = 5*h + f*j - 597. Is h prime?
False
Let k(u) = 2*u + 4 - 14*u - 23*u. Let n be k(-6). Suppose -39 = 5*v - n. Is v a prime number?
False
Is (0 + -4 + 8 + -3)*1151 prime?
True
Is (-6)/(-15) - 59972/(-20) prime?
True
Suppose 0 = 3*r + 6, -2*r - 19 = -5*p - 0*r. Let x(a) = -a**3 + 2*a**2 + 4*a - 2. Let s be x(p). Is 228/2 - (0 + s) a composite number?
False
Let w(z) = z**3 - 6*z**2 + 5*z. Let p be w(5). Let y(l) = p + 12*l - 4 - 1. Is y(6) a composite number?
False
Let u(c) = 7*c - 5 + 2 - 1 + 2*c**2 + 2. Is u(-5) prime?
True
Let l = -5 + 158. Suppose -c + 2*y + 157 + l = 0, 3*c + y = 930. Is 1/(-2) + c/4 a composite number?
True
Suppose -3*q = -4*q + 2. Suppose -5*r + 0*f - 48 = -4*f, -3*f - q = r. Let z = 11 + r. Is z a prime number?
True
Let d be 12/(-54) - 2992/(-18). Suppose -y + 3*y - d = 0. Is y composite?
False
Let d = 759 - 42. Is d composite?
True
Suppose 5*c + 12 = 2. Let u = 5 + c. Suppose 0 = -2*s - 1 + u, 0 = -4*p - s + 153. Is p a prime number?
False
Let i = 50 - -345. Is i a prime number?
False
Let d = -134 - -231. Let q = d + -64. Is q prime?
False
Suppose -10*o - 1891 = -12761. Is o a prime number?
True
Suppose 9*o + 78 = 12*o. Is o a composite number?
True
Let z(r) = 3*r**3 + 4. Let b be z(-3). Is b/(-2)*(3 + -1) a prime number?
False
Suppose 0 = -4*u + u + 459. Let m = -100 + u. Is m a prime number?
True
Is 112 + -2*(-4)/(-8) prime?
False
Let x(s) = 74*s**2 + s - 2. Let k be x(2). Let j = -178 + k. Is j prime?
False
Suppose 4*q - b - 8409 = 0, 2*b + 1366 = -2*q + 5558. Is q prime?
False
Suppose 5*d = 2*a + 737, 8*a = 5*d + 3*a - 725. Is d a composite number?
False
Let g(q) = q**3 + 11*q**2 + 12*q + 8. Let a be g(-10). Let x(z) = -6*z - 5. Is x(a) composite?
False
Suppose 0*m + 4*w - 14 = m, 3*w = -5*m + 22. Suppose 5*a = 4*k - 144 + 367, -3*a - m*k = -147. Is a prime?
True
Let y be 348/(-9) - (-2)/3. Let w = y - -82. Suppose 50 = g - 3*t, -g + t = -4*t - w. Is g composite?
False
Let w = 264 - -823. Is w a composite number?
False
Let h = 8688 + -4705. Is h a composite number?
True
Let b(a) = -94*a + 24. Let l(m) = -19*m + 5. Let c(u) = -2*b(u) + 11*l(u). Is c(-6) composite?
True
Let f = 1 + -1. Let w = -10 + 10. Is (w + -1)*(-3 + f) prime?
True
Let j(d) = 16*d. Let a be j(1). Let w be (-1)/4 + 20/a. Is w - 2 - (0 + -20) a composite number?
False
Suppose -2*i + 10 = -d - d, 0 = -i + 4*d + 11. Let r = i + 13. Suppose -x + r = -35. Is x a composite number?
True
Let d(u) = 39*u + 2. Is d(3) a composite number?
True
Let k(a) = 2*a. Let u be k(-3). Let v be -1 - 4*9/u. Suppose 0 = v*c - 0*c - 385. Is c a composite number?
True
Let x(w) = -5*w + 2*w - w**2 + 2 + w - 3. Let k be x(-1). Suppose -5*c + 374 - 49 = k. Is c a composite number?
True
Let c = 34 + -36. Let o(w) be the first derivative of 22*w**3/3 - w**2/2 - w - 1. Is o(c) prime?
True
Suppose 3*y - 996 + 279 = 0. Is y a prime number?
True
Let c be 1/(2*(-2)/(-12)). Suppose -2*r - c*r = -1475. Is (-4)/6 + r/15 prime?
True
Suppose -4012 = -a - 807. Is a prime?
False
Suppose 2*t - 8386 = -4*d, d - 606 = -2*t + 1483. Is d composite?
False
Let t = -3 + 13. Let g be (648/15)/(2/t). Suppose 2*l - 638 = -g. Is l composite?
False
Suppose 3*v - 346 + 73 = 0. Is v composite?
True
Suppose -40 = -5*s + 5*o, -3*s - 5*o + 28 = -10*o. Is s composite?
True
Let i be ((-6)/(-4))/((-9)/(-96)). Suppose -i = -d + 23. Is d composite?
True
Let l(g) be the second derivative of g**4/2 - 2*g**3/3 + g**2 - g. Let c be l(-5). Suppose c = 4*f - 16. Is f a composite number?
False
Let h = -3 + 11. Let w = h + -4. Let o(l) = l**3 - 2*l**2 - 4*l + 3. Is o(w) a prime number?
True
Is ((-3)/9)/((-2720)/(-2721) - 1) a composite number?
False
Let s(d) = 21*d**3 + 3*d**2 - 4*d - 9. Is s(4) a prime number?
True
Suppose 0 = -2*l - l + 24. Let x be (6/l)/((-6)/(-16)). Suppose 5*p = x*p + 159. Is p a composite number?
False
Let a be (-18)/(-12)*(-20)/(-6). Suppose 0 = -a*s + 25, 4*s + 293 = 2*u + 3*s. Is u a composite number?
False
Suppose g = 2*y + 2*y - 7, 5*g - y = 41. Let i = 0 - -2. Let j = g - i. Is j a composite number?
False
Suppose 4*s - o - 325 - 2003 = 0, -o = -4. Is s a prime number?
False
Suppose -2*w + 0*w = -998. Is w prime?
True
Suppose -3*f + 6 = -2*f. Is (618 + 15)*2/f a prime number?
True
Let y be 74/10 - 12/30. Let a(w) = -w**3 + 8*w**2 - 7*w + 6. Is a(y) prime?
False
Suppose -8*j + 712 = -4*j. Is j a prime number?
False
Suppose 5 = -3*o + 4*o. Suppose u = 2*u, 0 = -3*q + o*u. Suppose -4*w + 62 + 26 = q. Is w a composite number?
True
Suppose -3*k = -b - 5*k + 14, -8 = 3*b - 4*k. Let m(n) = -n + 8. Let l be m(b). Suppose -26 = -l*v + 2*v. Is v a prime number?
True
Suppose 18 = 5*f - 8*f. Is f/9*3 - -9 prime?
True
Let g(w) = 29*w**2 - 3*w - 1. Is g(3) composite?
False
Let x(v) = 2*v**3 - 13*v**2 + 11*v - 13. Is x(8) a prime number?
False
Let u(y) = y**3 + 8*y**2 + 3*y + 5. Is u(6) a composite number?
True
Suppose 4*a = 318 - 46. Let r = -15 + a. Is r composite?
False
Let l = 12 - 9. Suppose l*z = 12, 5*x + z - 159 = -0*z. Is x prime?
True
Let u(s) = s**2 - 2*s - 4. Let p(f) = -f**2 + 7*f - 3. Let k be p(6). Let m be u(k). Is 95 - 2/(m + 0) a prime number?
True
Let v be ((-17)/4)/(4/(-32)). Suppose -3*k = -v - 53. Suppose -5*j - z = -52, -j = 3*j + 5*z - k. Is j prime?
True
Let a = -2 + 1. Let d be (5*-16 - 0)*a. Suppose d = 5*x + f, x + 3*f - 9 = 21. Is x a composite number?
True
Let g be (-26)/4 - 6/(-12). Is -57*(3 + 28/g) a prime number?
False
Suppose j + 1528 = 4*o, -3*o = -5*o - 2*j + 754. Let k(i) = 2*i**2 + i + 1. Let c be k(-1). Suppose -o = c*m - 5*m. Is m a composite number?
False
Let s = -177 - -117. Let p be (-1)/(-2)*29*2. Let b = p - s. Is b a composite number?
False
Let s(a) = a**2 - 5*a + 3. Let l be s(5). Suppose -i = -l - 1. Is i prime?
False
Let a = 117 - -74. Is a composite?
False
Is (1 - 0)*(135 - -2) - 4 prime?
False
Let j(q) = -q**2 + 7*q. Let h be j(6). Suppose 93 = h*s - 3*s. Is s prime?
True
Suppose 2*o - 670 = -224. Is o a prime number?
True
Suppose g = 5 - 3. Suppose a = v - 6*v + 71, -a + g*v = -50. Let c = a - 33. Is c a composite number?
False
Suppose 4*z = -2*h + 1286, -1278 = -2*h + 4*z - 0*z. Is h a composite number?
False
Suppose -26 - 24 = -5*q. Is q prime?
False
Is (8/(-10))/(8/(-2060)) a composite number?
Tru