30*n**2 + 4*n - 5. Let q be k(-4). Suppose -r - 2*u + 405 = 0, -5*r + u + q = -1588. Is r a composite number?
False
Let r(i) = 66*i + 13. Is r(3) prime?
True
Let y(f) = f + 3. Let m(b) = -2*b**2 - 4*b + 1. Let o be m(-3). Let q be y(o). Is (37/q)/(2/(-4)) composite?
False
Suppose -7*g + 12 = -4*g. Let n = 6 - g. Suppose 6*t - 84 = n*t. Is t a composite number?
True
Suppose -i + 4*i - 6177 = 0. Is i composite?
True
Let h(d) = 12*d - 7. Let x(t) = t + 2. Let b be x(4). Is h(b) prime?
False
Suppose 0 = -3*h + 1995 + 1212. Is h a prime number?
True
Suppose 11 = 2*v - 19. Suppose 4*n - v - 417 = -4*p, -3*p - 580 = -5*n. Is n composite?
False
Let r(x) = 21*x**2 + x - 1. Let j be r(1). Let o = 29 - 26. Suppose -l = o*b - 74, l - b + j = 115. Is l a prime number?
True
Is (11 - 9)/(2/21) a composite number?
True
Suppose -r - 34 = -6*r + a, 4*a - 39 = -5*r. Let c(k) be the first derivative of k**3/3 - 5*k**2/2 + 8*k - 1. Is c(r) prime?
False
Let k(f) be the first derivative of f**2/2 + 15*f - 3. Let i be k(-11). Suppose i*s + s = 575. Is s a composite number?
True
Let m(w) = w - 2. Let z be m(6). Let v = z - 2. Suppose -2*x - u = -12, -x + 2*u = -8 + v. Is x a prime number?
False
Is 3/18*213*10 a prime number?
False
Suppose -7*w = -3*w - 16. Suppose w*u + u - 20 = 0. Suppose -j + 86 = u*j - 4*a, 5*j - 58 = -3*a. Is j a composite number?
True
Suppose -4 = 4*k - 2*z, z - 4 = 5*k - 2*z. Is (k - (-9)/(-6))*-4 prime?
False
Let m = 2 - -3. Let n(b) = 7*b**2 - 3*b + 3. Is n(m) prime?
True
Let a(p) = -31*p**3 + p**2 + 1. Is a(-2) a composite number?
True
Suppose -223 = -t - 32. Is t a prime number?
True
Let m(k) be the first derivative of k**3/3 - 5*k + 2. Let v be m(6). Let j = v - -24. Is j prime?
False
Is (-8818)/5*(-2)/4*5 a composite number?
False
Let m(x) = 6*x**3 + x. Let h be m(1). Suppose -h*r + 30 = -2*r. Let w = -3 + r. Is w a prime number?
True
Is (-4)/(-5) + 9505/25 composite?
True
Let r(y) = y**3 + 5*y**2 + 3*y - 3. Let a be r(-3). Is 2/a + (-2800)/(-6) a composite number?
False
Let x(v) be the first derivative of 92*v**3/3 + v**2/2 - v + 1. Let w be x(1). Suppose 2*s = -0*s + w. Is s prime?
False
Let l(y) = 6*y**2 - 3*y - 4. Let h be l(-3). Suppose 3*q = 2*s - h, -4*s - q = -4*q - 133. Is s a prime number?
True
Suppose -88*r = -89*r + 57. Is r composite?
True
Suppose -3*d = 2*v - 9 - 1, -v + 2 = 0. Suppose 0 = d*f + 5 + 1, -152 = -q + f. Is q composite?
False
Let s be 18/15 + 2/(-10). Let u be (-2 - -2)*(0 + s). Suppose u*i - 2*i = -c - 47, 5 = -5*c. Is i composite?
False
Let o(v) = 1. Let h(r) = -r**2 - 4*r + 2. Let c = 11 - 7. Let j(p) = c*o(p) - h(p). Is j(-6) a composite number?
True
Suppose m - 3394 = -w, w + 3*m - 3399 = m. Is w a prime number?
True
Let s(n) = 2*n**3 - 9*n**2 - 3*n - 19. Is s(9) prime?
True
Let z(a) = 2*a**3 + 7*a - 737. Let v(c) = c**3 + 3*c - 369. Let q(d) = -9*v(d) + 4*z(d). Is q(0) a prime number?
True
Let q be 37/7 + 8/(-28). Suppose 18 = 2*w - 3*t, q*w + t + 8 = 53. Is (-130)/(-18) - 2/w a composite number?
False
Let w(m) = 5*m**3 + m**2 - m. Let f be w(1). Let n(h) = 8*h**2 + 8*h - 4. Let z be n(f). Suppose k + 0*k - 48 = l, l = 5*k - z. Is k composite?
False
Let j = -687 + 992. Is j prime?
False
Suppose 2*i + 2 = -0. Let y be ((-1)/(-2))/(i/(-12)). Suppose 4*h + 74 = y*h. Is h composite?
False
Let b(j) = -j**3 + 16*j**2 - 10*j - 12. Let q be b(10). Suppose n - q = -3*y, 2 - 1 = -n. Is y prime?
True
Let c(g) be the third derivative of g**5/30 + g**4/24 + 127*g**3/6 + g**2. Is c(0) composite?
False
Let r be 6/(-33) + (-57)/(-11). Suppose 0 = -s + r*s - 28. Is s a composite number?
False
Let u be -1 + -4 + (2 - 2). Let j(d) = -7*d + 4. Is j(u) prime?
False
Is 9*70 + -1 + 2 a composite number?
False
Is -13 + 13 - (1 - 354) prime?
True
Let x(m) = 5*m + 4. Let z(u) = -u - 4. Let f be z(-7). Is x(f) a prime number?
True
Let x = -344 + 639. Is x a prime number?
False
Let c(b) = b**3 - 3*b**2 - 2*b + 3. Let m be c(4). Let o(k) = 7*k**2 - 14*k - 4. Is o(m) composite?
True
Let y(h) = 370*h**3 + h**2 - 2*h + 1. Let k be y(1). Suppose 2*s + 0*s = -2*u + k, -u + 370 = 2*s. Is s a composite number?
True
Let b = 35 + 4. Let m = 70 - b. Is m composite?
False
Let a = 1 + -6. Let v(l) = -2*l**3 - 8*l**2 - 3*l. Is v(a) a composite number?
True
Suppose 3*x - 15 + 63 = 0. Let f = x + 22. Is 476/f + (-4)/12 prime?
True
Let q(c) = c**3 + 5*c**2 + 3*c - 4. Let d = -3 + 0. Let z be q(d). Suppose -z*l + 371 = -24. Is l prime?
True
Let i be 21/6 - (-1)/(-2). Let v = 0 + 2. Suppose 0 = -i*q - c + 80, -c + 0 + v = 0. Is q a prime number?
False
Let p(z) = -75*z + 7. Is p(-4) prime?
True
Let d = 717 + -400. Is d prime?
True
Suppose 3*p = -2*p + 750. Suppose 506 - p = 4*n. Is n a composite number?
False
Suppose 0 = -5*u - 2*q - 4, 0 = -4*u - q + 3*q + 4. Suppose 3*i - 7*i + 186 = 2*z, -5*z + 4*i + 493 = u. Is z composite?
False
Suppose -4*j - j = 270. Let b = j - -85. Is b prime?
True
Let v = 31866 - 9875. Is v a composite number?
False
Suppose 5*d = -4*q + 117, -2*q - 3*d + 5*d = -36. Suppose 5*v = q + 32. Is v a composite number?
False
Let u(c) = -c**2 - 6*c. Let n be u(-6). Suppose n = -3*g, -5*a - 3*g + 322 = -673. Is a composite?
False
Let t be 2 + 287 + 1 + 2. Let o = -173 + t. Is o a prime number?
False
Let x = 11 + -6. Suppose 2*p = p + 5*c + 29, -x*p + 5 = 3*c. Is -19*(2 - p)/2 a prime number?
True
Suppose 0*v - 23 = 4*h - v, -5*h + 5*v = 40. Let q be 176/10 - 2/h. Suppose 20 = 2*j - q. Is j a prime number?
True
Suppose 5*t - 513 = -68. Is t a prime number?
True
Suppose -2*u + 3*y + 606 = 0, y = -0*u + u - 305. Is u prime?
False
Let y be 2/(-4) + 21/(-2). Let h(a) = 9*a**3 + 29*a**2 - 29*a + 11. Let n(t) = 5*t**3 + 15*t**2 - 15*t + 6. Let o(v) = y*n(v) + 6*h(v). Is o(7) a prime number?
False
Is (7316/(-8))/((-5)/10) prime?
False
Is (6 - 3)/3*223 a prime number?
True
Is 762/(-4)*(4 + 32/(-6)) composite?
True
Suppose -4*l + 3*j = -261, 264 = 4*l - 0*j - 4*j. Suppose 7*k = 13*k - 540. Suppose -3*v = -l - k. Is v a composite number?
True
Let w(y) = 81*y + 7. Is w(4) composite?
False
Let u(x) = -x**2 - 18*x - 1. Is u(-8) a prime number?
True
Let m be (-68 + -2)/1 - 2. Let j = -47 - m. Suppose -j = -x + 28. Is x a composite number?
False
Suppose 4*w = 3*b + b + 4, -2*b + 6 = 0. Suppose -3*p - 3*n + 348 = -6*n, -p - w*n + 131 = 0. Is p a prime number?
False
Let q = -4 - -7. Suppose -5*d = q + 57. Let g = d + 35. Is g prime?
True
Let l = -34 + 56. Is l a composite number?
True
Let x be 2 - (-6)/(-3) - -64. Suppose 10 + x = 2*k. Is k prime?
True
Is (515 - 1)/(3 + (-2 - -1)) a composite number?
False
Let l = 52 + -33. Is l prime?
True
Let t(l) = -77*l. Let j be 6/(-8) - 7/28. Is t(j) prime?
False
Let h(v) = v - 5. Let w be h(5). Suppose 5*p - 25 = w, -7*t = -3*t + 2*p - 318. Is t a composite number?
True
Let u(v) = v**3 - v**2 - 8*v + 2. Suppose 3*q = -2*h, -2*h - 28 = -4*h + 4*q. Let i be u(h). Suppose 0 = 5*w - 281 - i. Is w composite?
False
Let r be (-16)/(-12)*(-3)/(-2). Suppose -8 = -r*f + 140. Is f a composite number?
True
Suppose -3 = 3*s + h, -s + 5*s + 9 = -3*h. Suppose -f + 5*f - 8 = s. Is (20 - (f + -1)) + 0 prime?
True
Suppose 0 = 3*w - 2*w + 6. Let h be (-14)/w + (-3)/9. Let s = h + 12. Is s a prime number?
False
Let f(w) = w**3 + w - 15. Let k be f(0). Suppose -4*v + 0*v = 216. Let x = k - v. Is x a composite number?
True
Is (-609)/6*(-4 - -2) a composite number?
True
Let n = 7 - 7. Suppose n*a + 16 = 3*y - 2*a, 3*a + 15 = 0. Suppose y*b - 17 = 57. Is b a prime number?
True
Let a = 5 - -18. Is a composite?
False
Let i(d) be the third derivative of d**5/60 + d**4/8 - d**3/2 - d**2. Let n be 10 + -5 - (0 - -1). Is i(n) a composite number?
True
Let b = -238 + 119. Let r = b + 304. Is r composite?
True
Is 794*-5*5/(-50) prime?
True
Let p be 5/(3 - (-402)/(-135)). Suppose -41 = 4*h - p. Is h composite?
True
Suppose 0*i + i = -2*m - 3, 4*m + i = -7. Is (-2)/(-2)*(m + 99) prime?
True
Suppose -5*x + 0*x - 25 = 0. Let w(d) = -d**3 - 3*d**2 - 5*d - 4. Let b be w(x). Let n = b - 50. Is n a prime number?
False
Let k be ((-723)/(-12))/(1/4). Suppose 4*z + 4*u = 900, -z = u + 4*u - k. Is z composite?
True
Suppose -2*c = 54 - 494. Suppose 0 = 2*k - 894 + c. Is k composite?
False
Let b(o) = 38*o**2 - o. Suppose 0 = 2*r + 4*g + 4, -3*r + 4*g = 5 +