et s = b - a. Is s a composite number?
False
Let b(z) be the first derivative of 7*z**3 - z**2 + 6*z + 10. Is b(-5) composite?
False
Let u(y) = y**3 + 10*y**2 + 15*y - 5. Let j be u(-8). Suppose -i - j*i = 2*p - 328, 2*p = 0. Is i composite?
True
Let f be 0 - ((-33)/(-77) - 28984/(-7)). Let w = -2452 - f. Is w prime?
False
Let y(z) = -10*z**2 - 19*z - 8. Let w(o) = -o**2 - o. Let f(k) = 6*w(k) - y(k). Let r be f(-12). Suppose 907 = 2*d + 3*g - r, 0 = 3*g + 3. Is d a prime number?
False
Is 6 + -2 - (-51372)/(-1 + 5) a composite number?
True
Let z(v) = v**3 + v**2 + 1. Let x(b) = 5*b**3 - 4*b**2 + 5*b - 9. Let a(u) = x(u) - 2*z(u). Is a(9) a prime number?
False
Let y be (-6)/(((-3)/120)/((-3)/(-18))). Suppose -42*x + y*x = -1042. Is x a prime number?
True
Suppose 3*s + 3*p + 4 + 5 = 0, -9 = 2*s + 5*p. Suppose f = 2*f - 1. Is f/(s/(-164)) + -3 a prime number?
True
Let x(c) = 2*c**2 + 2*c + 2. Let b be x(-2). Let o(t) = t**2 - 6*t. Let q be o(b). Suppose q*a + 5*a - 395 = 0. Is a a prime number?
True
Suppose -5*s = 5*k + 170, -k = k + 4*s + 68. Let p = 107 + k. Suppose -2*m + p = -101. Is m composite?
True
Let b(f) = f**2 + f. Let y(p) = -8*p**2 - 36*p + 20. Let k(t) = -5*b(t) - y(t). Is k(9) composite?
True
Let x(z) = 120*z**3 + 13*z**2 - 42*z + 12. Is x(5) a composite number?
True
Suppose 3*u - 9*m - 4539 = -14*m, -u + m = -1513. Is u a prime number?
False
Suppose 0*m + 5*h = -2*m + 745, m - 5*h - 350 = 0. Suppose -s + 5*s = -5*f + m, -2*f + 3*s = -169. Is f prime?
False
Suppose 0 - 9 = 4*i - k, 3*k - 1 = -i. Let t be 7*(i - 72/(-21)). Is 693/15 - 2/t prime?
False
Let a(j) = -j**3 - 13*j**2 + 15*j + 10. Let p be a(-14). Let y be (-65)/(-15) - p/6. Suppose y*m - 528 = -4*b + m, 2*b + 3*m - 263 = 0. Is b a composite number?
True
Let q(m) = -8*m**2 - 2*m - 2. Let k be q(-6). Is ((-1)/2)/(8/(k*56)) a composite number?
True
Suppose -r + 2*r - 5*g - 29 = 0, 4*r + 3*g - 1 = 0. Suppose 0 = h - r*f - 217, 4*f = 5*h - 0*h - 1165. Is h composite?
True
Let q = -1392 + 5741. Is q composite?
False
Let f(i) be the second derivative of 3*i**4/4 + 21*i**3/2 - 5*i**2/2 + 18*i - 1. Is f(22) a composite number?
False
Let u be 88/56 + 3/7. Suppose -2*w - u*w = -16. Suppose w*s = -2*v + 204, -3*v - 12 = -0*v. Is s prime?
True
Let m be (-26)/(-6 - -4)*2*28. Suppose -2*p = -r + m + 2037, 0 = -r + 5*p + 2762. Is r composite?
False
Let w be 1*-372 + -2 + -2. Let b = 695 + w. Is b prime?
False
Let h(m) = -m**2 + 13*m - 1. Let x be h(8). Suppose 4*l - 2*z - 3*z + 79 = 0, -2*l = -3*z + x. Is -3386*(l/(-6) - 4) prime?
True
Suppose 0 = -5*q - 3*g - 44, -q = -2*g + 11 + 3. Let r be (8/q)/((-34)/11645). Let x = 29 + r. Is x prime?
False
Let y = 33 + -62. Let h be 4/(-10) + 102/5. Is (-5)/h + y/(-4) a composite number?
False
Suppose -v = -2*v. Suppose 5*k + 5*m - 20 = v, 2*k = -k + m + 4. Let u(q) = 17*q**3 - q**2 - 4*q + 3. Is u(k) prime?
True
Let q(y) = -y**3 + 2*y**2 + 2*y + 1916. Let u be q(0). Is (-1)/((4/u)/(-1)) a composite number?
False
Let x be (-20)/50 + (-2571)/(-15) + 0. Suppose k - 860 = x. Is k prime?
True
Suppose 4*u + 98*n - 93*n = 60474, 0 = -5*n - 10. Is u prime?
True
Suppose -6*n + 92*n - 2976374 = 0. Is n prime?
False
Suppose -5*j - 2*a + 51 = 0, -2 - 28 = -4*j + 2*a. Let t = -4 + j. Suppose 0 = 4*v + 3*m - 39, t*v + 0*v - 47 = -2*m. Is v a composite number?
True
Is (-6 + 27/6)*42086/(-3) a composite number?
True
Let d = -7159 + 12692. Is d a composite number?
True
Let h be 2 - ((-18)/6 + 136/2). Let r = h - -152. Is r composite?
False
Suppose y + 0*q = 5*q + 2718, -y + 2728 = 5*q. Is y a composite number?
True
Suppose -12*j = -364442 - 51586. Is j prime?
False
Suppose 0 = 6*w - w - 15. Let q(t) = 33*t**3 + 2*t**2 - 4*t. Let b be q(w). Suppose -230 = i - b. Is i prime?
False
Let o(y) = 588*y - 23. Let m be o(6). Suppose 7*v = 2*v + m. Is v a composite number?
False
Let o be (1 - (-1)/6*-3)*-2. Is -7*o/(-2)*-314 a prime number?
False
Suppose -3*r - n + 12305 = 0, r - 2*n = -6*n + 4098. Suppose -4102 = -2*q + 4*x - 5*x, -2*q - 3*x = -r. Is q a composite number?
True
Is ((-21933)/(-18) + 0)*2 composite?
False
Let l(c) = -c**3 - 5*c**2 + 4*c - 7. Let m be l(-6). Suppose 0 = 5*v + 2*p + 3*p - 95, m*v - 71 = p. Is (-1)/(-5) - (-1452)/v prime?
True
Let c = 2425 - 1101. Suppose 0 = -2*b + 3*j + 889, -5*j + c = 2*b + b. Is b a composite number?
False
Suppose -5*x + 0*s = -3*s + 310, 3*s + 186 = -3*x. Let l = -39 + x. Let w = l + 250. Is w a prime number?
True
Let o(r) = -2*r**3 - 5*r**2 + 13. Let s(t) = 2*t - 2. Let k be s(-2). Is o(k) a prime number?
False
Let l = -62 - -255. Let o = -8 + l. Is o a composite number?
True
Let n = 65090 - 38917. Is n prime?
False
Let q = -41442 + 58601. Is q a prime number?
True
Let c(y) = 3*y + 3. Let x be c(-5). Let q = 19 + x. Let w(p) = 3*p**3 - 5*p**2 - p + 10. Is w(q) composite?
False
Suppose w - 1172 - 1299 = 0. Is w a composite number?
True
Suppose -3*k + 116 = -4*l, 0 = -3*l - k - 4*k - 87. Let a = 728 - l. Is a a composite number?
False
Let j be (-4)/6 + (-22)/(-6). Suppose -2*o = -c + 32, -c + 25 = -0*c + 5*o. Suppose 28 = 2*r + 5*n, -12 - c = -3*r + j*n. Is r prime?
False
Is (-8321)/(-2)*(-74)/(-37) prime?
False
Let d(v) = -616*v + 187. Is d(-22) prime?
False
Is 22*(-3)/30*52100/(-20) a composite number?
True
Let x = 2 - -2. Is (1 - 11140/(-16)) + (-1)/x composite?
True
Suppose 2*a = -4*q + 22, 0 = -4*a + 2*q - 3*q + 23. Suppose 5*k = a*d + 2910, 4*k - 625 = 2*d + 1713. Is k a composite number?
False
Let d(n) = 3*n**2 - 4*n + 3. Let s = 28 - 16. Let c be d(s). Suppose -c = -4*p + 193. Is p a composite number?
True
Let b = -94 - -318. Suppose -5*c = -1049 + b. Suppose 3*u - c = -3*l, u + 0*l - 5*l = 55. Is u prime?
False
Suppose 0 = -12*w + 7*w - 235. Let o = w + 69. Is o a prime number?
False
Is (255 + -7949)/(-2*(1 - 0)) prime?
True
Let d(z) = 5*z**2 - z + 1. Let p = 19 + -14. Is d(p) a composite number?
True
Let c(s) = 11 - 9 + 3*s**3 - 3 - 3*s - 4*s**2. Is c(6) a prime number?
False
Let l(s) = 449*s + 3. Let y be l(-2). Let h = y + 1524. Is h a prime number?
False
Suppose -r - 5147 = -u - 15390, -5*r + 2*u + 51227 = 0. Is r a prime number?
True
Let f(a) = -2681*a + 130. Is f(-11) a prime number?
False
Let p = -948 + 457. Let h be (9 + 3)/4 + p. Let o = -325 - h. Is o a prime number?
True
Is 9/(-21) - (-3110276)/182 a prime number?
False
Let s be 3/1 - (6 + -7). Suppose -g - 2*m + 0*m + 519 = 0, -s*m = 5*g - 2589. Is g prime?
False
Let o be (-6 - -4)*1511/2. Is o/(-5) + (-13)/65 composite?
True
Is ((-4)/6 - 1)/(73/(-221847)) a prime number?
False
Let n be (8/(-10))/((-8)/40). Suppose -n*f + 2*p - 144 = 0, -4*p - 60 = 2*f - 2*p. Let m = 48 + f. Is m composite?
True
Let k(h) = -h**3 + 5*h**2 - 5*h + 5. Let u be k(4). Is 3 - (-3 - (u + 2310)) a prime number?
False
Suppose -3*d - o + 1 = 0, -2*o - 10 = -0*o. Let a(u) = -3 - 88*u**3 + 2 + 0 + u**d - 73*u**3. Is a(-1) a composite number?
True
Let p(j) = -116*j**3 + 8*j**2 - 5*j - 44. Is p(-5) a prime number?
False
Suppose 351 = -17*v + 20*v. Let r = 41 + -79. Let h = v + r. Is h a prime number?
True
Suppose -3*x + 2*v + 28 = 0, x = -6*v + 3*v + 13. Let n be 10/(-4)*(-8)/x. Suppose n*h = 6*h - 1604. Is h a composite number?
False
Suppose -q + h = 1, 35 = q + 4*h + 11. Suppose 0 = q*w + 8, f - 5*w = -0*f + 392. Is f prime?
False
Let y = -271 + 67. Suppose 4*h - 315 = 3*f, -4*f + 2*f - 206 = -4*h. Let q = f - y. Is q composite?
True
Suppose 0 = -p - 5*c - 21, -4*p + 5*c = -0*p - 41. Suppose -p*a + m = -36, -2 = -m + 2. Let k(v) = v**2 - 2*v + 7. Is k(a) a prime number?
False
Suppose -1893 = 2*h - 5*h. Is h prime?
True
Let p = -11 + 17. Suppose -496 - 302 = -p*m. Is m a prime number?
False
Suppose -5*o + j + 3625 = -3540, 0 = -3*o + 3*j + 4311. Suppose 4*q + o = r + r, 3*q = 4*r - 2869. Suppose 132 = -2*m + r. Is m prime?
True
Suppose -11915 = -49*c + 48*c. Is c a composite number?
True
Let x(u) = -75*u**2 + 2*u - 1. Let y(c) = -150*c**2 + 5*c - 1. Let a(h) = -5*x(h) + 3*y(h). Let i be a(-3). Let v = 93 - i. Is v prime?
False
Let i(r) = 26*r - 89. Is i(12) prime?
True
Suppose 2*u = 714 - 192. Let y = u + 476. Is y composite?
True
Suppose 5*n = g + 8551, -8*n - 5*g = -6*n - 3442. Is n a composite number?
True
Suppose 0*b - 156 = -3*b. Let j = b - 17. Is 12544/j - (-6)/10 compos