Let x(u) = -11*u - 13. Let j(w) = 5*w + 6. Let b(t) = -9*j(t) - 4*x(t). Is b(-12) prime?
False
Suppose 0 = -5*f - 20, 0*p - 3*p - f + 5327 = 0. Is p a composite number?
False
Suppose -4*z = -2*d + 12, -z - 1 = d + 2. Let c = -10 - -8. Is c/z + (-97)/(-3) a prime number?
False
Let h(i) be the first derivative of -11*i**2 + 3*i - 1. Is h(-3) a prime number?
False
Let a = -581 + 1320. Is a a prime number?
True
Let f be 3/((-16)/5 + 3). Let o be (f/9 - -2)*-6. Is o/(-5) + (-2026)/(-10) composite?
True
Let u(q) = -8*q**2 - 6*q - 2. Let y(t) = -24*t**2 - 17*t - 5. Let l(o) = 8*u(o) - 3*y(o). Is l(4) a composite number?
False
Let r = -176 + 90. Let b = 123 + r. Is b a composite number?
False
Let m = -6 - 4. Let a be (-26)/m - 2/(-5). Suppose -3*c = -12, g = -a*g - 5*c + 384. Is g prime?
False
Suppose -3*s = -3*c - 154 - 173, 4*s - 2*c = 440. Let j = s + -17. Let q = -29 + j. Is q a composite number?
True
Is (-802)/(-6)*3 - 4 a prime number?
True
Suppose z - 2*z + 6 = 0. Let s(q) = 5*q**2 + 11*q - 7. Let i(m) = -14*m**2 - 32*m + 20. Let g(l) = z*i(l) + 17*s(l). Is g(-4) composite?
False
Suppose -q = -5*j + 22, -j + 4*j + 19 = -4*q. Let u(s) = -4*s + 3. Is u(q) a prime number?
True
Let o be -210*(3 - 6/4). Let p = o - -572. Is p a composite number?
False
Suppose -3*f + 584 = -5*n - f, 2*n + 3*f + 245 = 0. Let u = 201 + n. Is u a composite number?
False
Let v = -75 + -4. Let t = 132 + v. Is t composite?
False
Suppose 4*d + 2*c - 4280 = 0, -3*d + 1071 = -2*d + c. Is d prime?
True
Let f(v) = -v**3 - v**2 + 1. Let q be f(-2). Let g(t) be the second derivative of 11*t**3/3 + 3*t**2/2 - 3*t. Is g(q) prime?
True
Let p(b) = 4*b**2 - 3*b + 7. Suppose k = 3*k - 12. Is p(k) prime?
False
Suppose 0*m + 2 = -2*m. Is 2 - -65 - (-1 - m) a prime number?
True
Let v be 4/22 - 8/44. Let z(m) = m**3 - m**2 - m + 451. Let f be z(v). Suppose -737 = -5*k - 3*p, -3*k + 6*k + 4*p - f = 0. Is k a composite number?
True
Suppose -2744 = 7*v - 23023. Is v prime?
True
Suppose -4*p + 925 = p. Is p a prime number?
False
Let x(a) = -21*a**3 + 3*a**2 + 3*a - 2. Is x(-3) a prime number?
False
Let c be (-1 + 61)/(3/(-3)). Is c/(-8)*(-76)/(-6) composite?
True
Let o(s) = 113*s - 78. Is o(17) a composite number?
True
Let s(a) = 81*a**3 - a**2 + 1. Let b be s(1). Let m = b + -47. Suppose 360 - m = 2*o. Is o a composite number?
False
Let b(a) = -47*a - 3. Let s(i) = i**3 - 8*i**2 - 3 + i - 1 + 6*i. Let w be s(7). Is b(w) composite?
True
Suppose 0 = -3*y + 3 + 12. Suppose -2*o + 6*p = p - 1084, 3*o = y*p + 1616. Suppose 0*d = -4*d + o. Is d a composite number?
True
Let k = -44 + 87. Is k a composite number?
False
Suppose 3*j = 4*j - 50. Let v = j + -13. Is v a prime number?
True
Let q = -62 + 172. Let c = q - 1. Is c prime?
True
Suppose m = -5*t + 288, t + 1631 = 4*m + 458. Let z = m + -172. Is z composite?
True
Let a(g) = 21*g - 10. Is a(3) a prime number?
True
Suppose 2*r + t - 1463 = 0, t + 0*t = 3*r - 2207. Is r composite?
True
Let d = 315 - 174. Is d a prime number?
False
Let j be (-308 + 1)*1/(-1). Suppose 2*f - 4*g = 202, 3*f = -0*g + 5*g + j. Let p = -75 + f. Is p a composite number?
True
Let j = -125 - -176. Is j composite?
True
Is 124 + (0 - -3)/(-3) composite?
True
Let d = 84 + 43. Is d a composite number?
False
Let b(f) = -f**3 + 11*f**2 - 11*f - 10. Is b(9) composite?
False
Let f(x) = 4*x - 3. Suppose 5*s - 3*s = 18. Is f(s) prime?
False
Is (111/(-9))/((-3)/9) prime?
True
Let g(d) = 2*d - 11. Is g(9) composite?
False
Let g(a) = -6*a + 13. Let w be g(-9). Suppose 0*p - p = -w. Is p prime?
True
Suppose -2*r - r + 2 = -2*c, 3*r = 3*c. Suppose r*h + h = 423. Is h composite?
True
Is 1 - (-5 - -7) - -1932 a composite number?
False
Suppose s + 4*s = 275. Is s a composite number?
True
Suppose 3*u + 11 = 674. Let v = u - 108. Is v a prime number?
True
Suppose -5*b - 2941 = -v - b, -5*v = 5*b - 14705. Is v prime?
False
Let n be 2 - (-1 - (-2)/(-2)). Let i(m) = -m**2 + 7*m - 6. Let f be i(n). Is f/12*(177 + 1) composite?
False
Suppose -4*c = -0*c - 1884. Is c a prime number?
False
Let a be 2 + (-22 - 3)/(-1). Let u = a - -62. Is u a composite number?
False
Let k(u) = u**3 - 8*u**2 + 8*u + 8. Suppose 7 = 3*i + 4*o - 20, 3*i = -o + 27. Is k(i) a composite number?
True
Suppose 0 = -3*f + 5*o + 5678, 13 + 2 = 3*o. Is f a prime number?
True
Let o(v) = -41*v + 6. Let j(y) = -y + 9. Let t be j(5). Let i be -3 - t/(0 - -2). Is o(i) a composite number?
False
Suppose 4*y = -205 + 2553. Is y composite?
False
Suppose 0*a = 2*y + a - 32, 25 = y - 4*a. Let v = -17 + 19. Suppose -y = v*f - 47. Is f a composite number?
True
Let g be (0 - -1) + (-6)/(-2). Let x(r) = r**2 - 2*r - 2. Let a be x(g). Suppose -a*d + 4*d + 4*f + 18 = 0, 2*f + 85 = 5*d. Is d prime?
True
Suppose 4 = 2*v - 0*v. Suppose v*z + 815 = 7*z. Is z a prime number?
True
Suppose -3*r + 61 = -o, 3*r + 3*o - 20 = 25. Let v = r - 0. Is v prime?
True
Let n(w) = 2*w - 2. Let k be n(2). Suppose -o + 63 = -k. Is o prime?
False
Let y(n) = -n - 1. Let g be y(10). Is (18 - 24)*g/2 a prime number?
False
Let i(b) = 16*b**3 - 2*b**2 + 3*b - 2. Let p(u) = u**2 + 2*u + 1. Let d be p(-2). Is i(d) a composite number?
True
Let b(s) be the third derivative of s**8/10080 - s**7/5040 - s**6/144 - s**5/60 - s**2. Let p(m) be the third derivative of b(m). Is p(-4) a composite number?
False
Let h(m) be the third derivative of m**4/24 + 4*m**3/3 + 2*m**2. Let p be h(-6). Suppose p*z - 11 = z. Is z prime?
True
Suppose 4*w = -5*r - 7, -2*r - 8 + 0 = -w. Let d(t) = -t - 4*t + 5 - 1 - w. Is d(-9) a composite number?
False
Let v be -1*(-1 + 2 + -4). Suppose -4*w + 5*g + 31 = 0, v*w - 8 = 4*g + 14. Is w a prime number?
False
Let l(n) = 246*n. Let m be l(1). Suppose -w + m + 213 = 0. Is w/15 + (-4)/(-10) a prime number?
True
Let b = 6 + -7. Is ((-445)/10)/(b/2) a composite number?
False
Let k = -12 - -17. Suppose -s - 4*s = -j - 340, -k*j = -3*s + 182. Suppose s = b - 44. Is b composite?
False
Is -6*(1 - 4/2) a prime number?
False
Suppose 5*x - 8 - 2 = 0. Suppose 40 = -x*m + 278. Is m a prime number?
False
Let s(a) = a**2 + 5*a + 13. Is s(-12) a composite number?
False
Let u(x) = -18*x + 1 - 4 + 0. Let v(m) = 37*m + 6. Let r(g) = -5*u(g) - 2*v(g). Is r(5) composite?
False
Let o = -138 - -469. Is o composite?
False
Suppose 5*c = 7207 + 7343. Suppose -h + c = 4*h. Is (-2)/4*h/(-3) composite?
False
Let p = 161 - -122. Suppose -a + 0*a = -4. Suppose -585 = -a*k + p. Is k composite?
True
Let s(g) = g**2 + 4. Let o be s(0). Let i = -12 + o. Is i/10*85/(-2) composite?
True
Let s(p) = p**3 + 2*p**2 - 2*p - 1. Let c be s(-3). Let d(l) be the second derivative of l**4/4 - l**3/2 - l**2/2 - 4*l. Is d(c) composite?
False
Let l(p) = 32*p + 15. Let c(s) = -11*s - 5. Suppose -5*w - 15 = -0*w. Let o(q) = w*l(q) - 8*c(q). Is o(-6) a prime number?
True
Let g(r) = -1 - r + 34*r**2 - 3*r + 24*r**2. Is g(-3) a composite number?
True
Let j = 16 - -111. Is j composite?
False
Let a = 1008 + -415. Is a a composite number?
False
Suppose -2*f - 2*f = -12. Suppose f*b - 1186 + 55 = 0. Is b a prime number?
False
Let r(d) = d**3 - d**2 + 5. Let n be r(0). Suppose -n*h + 3*h = -24. Is 2/6 - (-1424)/h a composite number?
True
Let g be 1/((-6)/645)*2. Let p be (-1)/(-2) - g/(-10). Let l = p + 42. Is l a composite number?
True
Suppose 2*z - 5*g + 9 = 0, 5*g = z - 0*g + 12. Suppose 0 = 2*a - 671 - 223. Suppose 0*t + a = z*t. Is t a prime number?
True
Let s(n) be the second derivative of -n**4/3 + 2*n**3/3 - n**2/2 - 3*n. Let y be s(-4). Let f = -56 - y. Is f prime?
False
Let f = 181 - -158. Is f composite?
True
Let o be -5*2*(-2)/4. Suppose 0 = -o*h + 4*h + 19. Is h a composite number?
False
Let l(c) = -21*c - 1. Let o be l(-1). Let f be 1 - (-85 - 1/1). Suppose -5*s = o, 5*z - 3*s = -0*z + f. Is z a composite number?
True
Let g = -14 + 5. Is (-708)/g + 2/6 a prime number?
True
Suppose -89*m + 341 = -88*m. Is m prime?
False
Suppose c - 8 = 5*c. Is (-471)/c*(-4)/(-6) prime?
True
Let r = -79 - -164. Suppose 2*l - r - 47 = 0. Let n = l + -29. Is n a prime number?
True
Suppose 3*a - 114 - 1038 = 0. Suppose 135 = 3*y + a. Let u = y - -174. Is u prime?
False
Suppose -2*g + 2*j = -10, 0*g + 8 = g - 4*j. Let k be (-4 - -2) + 25*2. Suppose 4*y - k = g*x, -2 = x - 0*x. Is y prime?
False
Let x(i) = 13*i + 1. Let p b