1 + -4)*(1 - 0). Let b = k - -1. Is r(b) prime?
False
Let y = 11 - 6. Is 1*y*(-186)/(-30) prime?
True
Suppose 0 = b - 2*b + 2. Let p(d) be the first derivative of 15*d**2 - 2*d - 4. Is p(b) a prime number?
False
Suppose m - 337 = -4*a + 38, -3*a + 284 = -2*m. Let n = a - 11. Is n prime?
True
Let o(t) = -12*t + 3*t**2 + 9*t + 8*t + 3. Let m be (-1)/4 - (-30)/(-8). Is o(m) prime?
True
Suppose 0 = -4*u - 0 + 8. Suppose -u*z + 66 = -m, -3*m - 101 = -3*z - m. Is z composite?
False
Let n(q) = -q**3 - 5*q**2 - 3*q + 3. Let b be n(-3). Let x = 11 + b. Suppose -x*z - 2 = -32. Is z composite?
True
Let o(s) = 175*s - 1. Is o(8) a prime number?
True
Let r(a) = a + 51. Let w be 1/(-2)*-4 + -2. Is r(w) a prime number?
False
Let v = 3 - 0. Let u be (3 + 2)*v + 1. Is ((-4)/6)/(u/(-3576)) prime?
True
Is (-4610)/(-15) - (-3)/(-18)*2 prime?
True
Let i be (-2)/(-11) + 4698/(-66). Let m(j) = -139*j**2 + 1. Let q be m(-1). Let y = i - q. Is y composite?
False
Let c = -7161 + 12124. Is c composite?
True
Let q = -2774 + 4135. Is q composite?
False
Suppose -5*v - 606 = 44. Let m = v + 221. Is m composite?
True
Suppose 3*a = -5*f + 3*f + 1016, a - f = 337. Let m = a - 181. Is m composite?
False
Let y be 8/(-3) - (-6)/9. Let q(t) = -7*t**3 + 2*t**2 - t + 1. Is q(y) a prime number?
True
Let v be (10 - 9)/((-1)/3). Is (28/8 + v)*514 a composite number?
False
Suppose 220 = 6*g - 746. Is g a prime number?
False
Suppose 4*i = 4*y + 2 + 2, 4*y = 2*i + 8. Is 2*16 - (-18)/i a prime number?
False
Let k be 4/(-18) + 6/27. Let l be (-1 - 1) + k - -3. Is (l - -6)/((-2)/(-22)) a composite number?
True
Let m(z) = -z**2 - 4*z. Let c be m(-3). Let v be (265/c)/(1/3). Suppose -3*i - i + v = 3*x, i = 5*x - 457. Is x composite?
True
Let j(b) = -b - 5. Let m be j(-5). Suppose m*k = 4*k - 308. Suppose 2*d - k = -3. Is d prime?
True
Is (-376)/(-12)*(5 - 2) a composite number?
True
Let o(t) = 4*t**2 - 4*t - 11. Is o(-6) prime?
True
Let k(u) = 8*u**3 + 4*u**2 + 9*u - 3. Is k(8) a prime number?
True
Suppose -2*o + 5*v + 604 = 0, 2*o - 3*v = -2*v + 612. Is o a composite number?
False
Let z(n) = -19*n + 2. Suppose 0 = -5*k - 5 - 10. Is z(k) prime?
True
Let s(r) = r**2 + r + 1. Let d be s(2). Let v(p) = 4 - 1 - d*p + 6 + p**2. Is v(6) a prime number?
True
Suppose 3*t = 4*t + 4*g - 133, -5*t - 3*g + 733 = 0. Is t prime?
True
Suppose -421 = -5*c + 109. Is c a composite number?
True
Suppose 22 = -4*m + 3*u, -4*m - 7*u + 2*u = 6. Is (59/(-2))/(m/8) composite?
False
Let s(k) = 12*k**3 + k**2 + k - 5. Is s(3) prime?
True
Is 2*((-510)/4)/(-3) a composite number?
True
Suppose y = -3*y + 24. Let c(t) = t**3 - 8*t**2 + 6*t + 3. Let o be c(y). Is (-687)/o + 4/22 a composite number?
True
Let u(a) = -a**3 - 3*a**2 - 2*a - 3. Let f be u(-3). Suppose -2*p + 0*p = 0. Is (p - f)*175/(-21) composite?
True
Let z(x) = -x**3 - 1. Let d be z(-1). Suppose 4*l = 3*l - 6. Is (d + -2)/(l/111) a composite number?
False
Suppose -2*w + 43 = -r, 2*w + 5*r - 39 = 22. Is w a composite number?
False
Let c(l) = -l - 2. Let w be c(-4). Let i(u) = -u**3 + u - 2. Let s be i(-2). Suppose -s*h + w*h = -266. Is h a composite number?
True
Suppose -4*z - 5108 + 15436 = 0. Is z composite?
True
Is 3 + -7 + 0 + 41 a prime number?
True
Let x be 4/(-10) + (-6)/10. Let q be (0 - x) + -5 + 0. Let c(u) = 2*u**2 - u + 3. Is c(q) prime?
False
Suppose -61 = 3*a - 355. Suppose 345 = q + a. Let m = 356 - q. Is m composite?
False
Suppose 8 = d - 1. Suppose -4*i + d = -7. Suppose i*s - 4*z - 44 = 0, -s - z + 15 = -3*z. Is s composite?
False
Let w be (-3 + -2 + 4)*-1. Is w + -5 - -2 - -121 composite?
True
Let m(l) = l**2 - 7*l - 6. Let h be m(8). Suppose -h*k - 435 = -7*k. Is k prime?
False
Let h = 1021 - 410. Is h composite?
True
Let g = -2301 - -1419. Is 1 + (-5)/(15/g) composite?
True
Let a(m) = m**3 + 5*m**2 - 2. Let g be a(-5). Is ((-57)/(-6))/(g/(-4)) composite?
False
Let r(c) = -4*c - 3. Let l(p) = p + 1. Let s(z) = -2*l(z) + r(z). Let h be s(-5). Suppose -5*u - h = -3*t - 135, -52 = -3*u - t. Is u prime?
True
Let j = -2541 - -4960. Is j a prime number?
False
Suppose q - 232 = 4*g - 1161, 0 = 4*g - 5*q - 949. Let r = -120 + g. Is r composite?
True
Suppose 2274 = -2*u + 8*u. Is u prime?
True
Let q(k) = k + 4. Let j be q(-5). Is (12/(0 + -2))/j composite?
True
Let s be 15/6*4/(-5). Is (1 + (-207)/6)*s composite?
False
Is (-10178)/(-3 + -2 + 3) composite?
True
Suppose 0 = -2*o, -2*h = -0*h - 2*o. Suppose 2*k - 4*k + 4 = h. Suppose 3*i = -k*l + 77 + 66, 0 = 5*l - 3*i - 410. Is l prime?
True
Let j(q) be the second derivative of 5*q**3/3 - 3*q**2/2 - 3*q. Let g(a) = 5*a**2 - a + 1. Let w be g(1). Is j(w) a composite number?
False
Let p = 3434 - 1039. Is p a composite number?
True
Let k(l) = -l**2 - 2*l. Let d be k(-2). Is d + 15/2*2 composite?
True
Let m = 0 - -1. Let c be (0 + m)/((-1)/(-84)). Suppose 0 = 3*r - 7*r + c. Is r prime?
False
Suppose 4*i - 8*i - 4*h + 1672 = 0, h - 1256 = -3*i. Suppose 0*z + i = z. Is z a composite number?
False
Suppose 0*a + 2*a + 6 = 0, 0 = -4*u - 4*a + 2776. Is u composite?
True
Suppose 4 = 4*o - 4, -3*u + 4*o + 9133 = 0. Is u composite?
True
Let a(o) be the third derivative of o**5/10 - o**3/6 + 2*o**2. Let z be a(1). Suppose -2*j + z*h + 97 + 34 = 0, -3*j + 169 = -2*h. Is j a prime number?
True
Let r(a) = 4*a**3 + a**2 - 10*a - 6. Let q(l) = l**3 - l**2 - l. Let j(d) = -3*q(d) + r(d). Is j(-4) a prime number?
False
Let p be 0 + (1 - (-197 + 1)). Let i = 337 - p. Suppose -124 = -5*b - h + i, 0 = h + 1. Is b a prime number?
True
Suppose 3*z - 2*j + 9 = -0*j, -6 = -2*j. Is 0 + z + (123 - 1) a composite number?
True
Is (-1)/1 - 5280/(-6) a prime number?
False
Let d(z) = 18*z**2 - 2*z + 1. Let i(p) = -p**3 + 4*p**2 - 2*p + 6. Let o be i(4). Is d(o) a composite number?
True
Let f = 231 - 91. Let k = f + -221. Let q = 148 + k. Is q prime?
True
Is (-1921)/(-17) - (0 + 0) prime?
True
Suppose -6*i + 295 = -95. Let r = -34 + i. Is r composite?
False
Suppose -3*j - j = -12. Let h(b) = -b**3 + b**2 - b**3 + 1 + b + 0*b**j. Is h(-2) a composite number?
False
Let y be (-4)/8*(-4)/1. Let n be 0/((-3)/(-3)) + 193. Suppose -n = -3*m + c + 3*c, -y*c + 294 = 4*m. Is m a prime number?
True
Let w = 24 + -5. Is w a prime number?
True
Suppose 0 = g + g - 4. Suppose 2*d + m - 216 = 2*m, -4*m = g*d - 196. Is d prime?
False
Suppose 2*q - 128 = 4*c, -4*q + c + 74 = -217. Is q a prime number?
False
Let s = 13 - 7. Let d = -26 - -54. Suppose d = g - s. Is g prime?
False
Suppose -2*t - 110 = -498. Is t prime?
False
Let b(g) = 8*g - 4. Let i be b(3). Suppose -4*j + 3*a = -i - 26, -5*a + 49 = 3*j. Is j a composite number?
False
Suppose 4*y = 2*b - 100, -b - 3*y = y - 74. Is b prime?
False
Suppose -3*c + 19 = 2*w, c - 4*w + 18 = 1. Let g(f) = 15*f**2 + 4*f - 6. Is g(c) composite?
True
Let l = 2462 - -260. Is l prime?
False
Let c(z) = 19*z**2 + z - 21. Is c(13) a prime number?
True
Suppose -i - 91 = -j - 0*i, 5*i - 20 = 0. Suppose 3*a = 3*n - 549, 285 + j = 2*n + 5*a. Is n a prime number?
False
Let p be ((-2)/(-4))/(2/552). Let h = p + -83. Is h prime?
False
Let h(y) = y**3 - 2*y**2 - 3*y - 1. Let q be h(3). Let r(t) = t - 6*t**3 + 1 - 25*t**3 + 0*t. Is r(q) composite?
False
Let i(h) = -h**3 + 2*h**2 + h - 2. Let o be i(3). Let p = -4383 + 6732. Is p/15 + o/(-20) composite?
False
Is -317*-2*(-1)/(-2) composite?
False
Let w = -32 + 29. Suppose -v - 5*d = -6*v - 20, 6 = -v + 2*d. Is -2*(w + 217/v) a prime number?
True
Suppose -4*o - 4 = -2*g, 0*g - 19 = -2*g - o. Suppose -q - q = -g. Suppose q*a = 4, -5*r + a + 160 = 6*a. Is r a composite number?
False
Suppose -3*v = -v - 2. Suppose 2*d - 11 = -v. Is 31 - d/(10/(-4)) composite?
True
Suppose 0 = -p + 5*l - 12, -p - 3*l + 28 = 2*l. Let g(k) = 0*k + 8*k**2 - 2 - k**3 + k + k. Is g(p) composite?
True
Suppose -8*s + 485 = -771. Is s composite?
False
Suppose k - 407 = n + 62, -2*n = -4*k + 1880. Is k a composite number?
True
Let c(d) = 7*d**3 + d**2 - 7*d. Is c(3) a prime number?
False
Let j(p) = -p**2 + 7*p + 8. Let q be j(7). Suppose 345 = 11*a - q*a. Is a a composite number?
True
Let y(j) = -210*j + 13. Is y(-4) a prime number?
True
Let h(c) = 2*c - 7. Let d be h(7). Let b(a) = -a - d*a + 2 - a. Is b(-4) a composite number?
True
Let i = -800 + 1794. Is 6/(-27) - i/(-18) a composite number?
True
Suppose 