Suppose 2*v + 3 = 5. Let b be f(v). Let w(z) = -201*z**3 - z - 1. Is w(b) a prime number?
False
Let w = -8 - -10. Suppose 3 = -w*c - 3. Is c/(-9) + (-1192)/(-6) a prime number?
True
Let m(u) = -198*u**3 - 4*u**2 - 7*u - 14. Is m(-3) prime?
False
Let v(t) = -t**3 - 6*t**2 + 5*t - 10. Let y be v(-7). Suppose -5*b = -3*r + 2*r + 129, y*r - 591 = -5*b. Let m = 622 + r. Is m prime?
False
Suppose -2*n + 174 + 277 = w, -2*w = 3*n - 679. Is n composite?
False
Let b = -46 - -50. Is (1 - -2) + (134 - b) prime?
False
Let t(p) = -120*p**3 - 5*p**2 - 18*p - 14. Is t(-5) composite?
False
Suppose 3*l - 4*k + 0*k = 1630, 0 = -l - 5*k + 575. Suppose 11*x = 13*x - l. Suppose 24 + x = g. Is g prime?
False
Suppose 5*c + 0*f = 2*f + 13, -c - 1 = -4*f. Suppose -3*g + 195 = -c. Let k = 172 - g. Is k composite?
True
Suppose -3*v + 17136 = -m - 4909, -3*m = -6. Is v a prime number?
True
Suppose -2*v + 30 = -2*r, 0*v = 5*v + 2*r - 96. Is 2397/v - (-2)/(-12) a composite number?
True
Let g be (-2)/(18 + -16 + (-1 - 3)). Is (-12)/3 + (g*-1990)/(-2) a prime number?
True
Let b(v) = -v + 2. Let p be b(0). Suppose 0*i = -i + 261. Suppose -p*q - 4*f + 85 = -13, 4*q - i = 5*f. Is q a composite number?
False
Let j = 50 - 46. Is -1 - -3 - (j + -447) prime?
False
Let b(r) = -r - 5. Let o be b(-8). Suppose -o - 3 = j. Is (2 - -57)/((-3)/j) composite?
True
Let f(t) = -t**3 - 3*t**2 - 2*t. Suppose -b - 3*q = -8*q - 7, 0 = -3*b - 2*q - 13. Let p be f(b). Is (4/p)/(24/2988) prime?
True
Suppose -3526 - 2226 = 4*d + 4*q, 5*q + 4308 = -3*d. Let s = -432 - d. Is s a composite number?
False
Let h be 40/50 + (-14261)/(-5). Suppose -2*p + 2858 = -3*u, -2*u + 5*u - 3*p = -h. Let g = u + 1629. Is g composite?
False
Let u(s) = 1 - 7 + 5 - 4 - 23*s. Let c be u(-7). Suppose 0 = j - c - 67. Is j a composite number?
False
Let k(r) = 86*r**2 + 40*r - 365. Is k(23) prime?
True
Let y = -7 + 15. Suppose y = -2*o - 62. Let d = -16 - o. Is d a prime number?
True
Suppose 0 = -4*y + 4*x, -5*y - 3*x + 4 = -4. Let c be 0/3 - -3 - y. Suppose 3*a - 4*m = 178, c*m + 365 = 4*a + 121. Is a a prime number?
False
Let w(b) = 124*b**3 - 7*b**2 - 12*b + 13. Is w(4) a prime number?
True
Suppose 2*x + 2*x - 108 = 0. Is 652/3*x/18 a composite number?
True
Let k = -128 + 181. Let r(h) = 7*h**2 - 16*h. Let w be r(3). Suppose -2*s - w = -k. Is s a composite number?
False
Suppose w + 6 = -13. Let v = w - -121. Suppose -v = 3*d - 303. Is d prime?
True
Suppose 2*n + 5 = x, -3*n = -3*x - 7*n - 25. Let g(f) = 4*f - 4 - 31*f - 5*f - 31*f. Is g(x) a prime number?
False
Suppose 2*q - 2744 = c, 6*q - 9*q + 4123 = 2*c. Is q composite?
False
Suppose -12*v = -36*v + 330024. Is v prime?
True
Let b(s) = -150*s + 8. Let v be b(-6). Suppose 5*r + v = 5*n + 2*r, 2*n - 348 = 5*r. Suppose -3*a + 4*h = -h - n, -3*h = -2*a + 122. Is a a prime number?
False
Let k = 69 + -31. Suppose -2*x = 4*b - 184 + k, -5*b - 10 = 0. Suppose -r + x = -0*r. Is r prime?
False
Let j(a) = -a**3 + 6*a**2 + 2*a - 4. Let q be j(6). Let n be ((-2)/3)/(5/(-90)*1). Suppose 652 = n*g - q*g. Is g prime?
True
Let y(m) = m + 13. Let p be y(-15). Let l be p/5 + (-170)/(-50). Suppose 0 = -3*s - l*h + 879, 3*h + 879 = -s + 4*s. Is s a composite number?
False
Suppose 43*p = 51*p - 84472. Is p composite?
False
Suppose -5*k + 31460 = 5*z - 0*z, -5*z + 31500 = -5*k. Is (-1)/(3 + z/(-2098)) a prime number?
True
Suppose -49*y + 4623 = -46*y. Is y prime?
False
Suppose -5*o = 2*a + 26383, 2*o + 21096 = -2*o + a. Let f = 8822 + o. Is f a composite number?
False
Suppose 27*p - 55203 = 71778. Is p a prime number?
True
Let p(q) = -9*q**3 - q + 1. Let z be p(1). Let r = z + 8. Is 286 + r - (4 + -6) a prime number?
False
Let u(l) = l**2 - 2*l + 3. Let r be u(9). Is (-2)/11 - 6*(-7449)/r a prime number?
True
Suppose -36*s + 31*s = 0, -154748 = -4*t + 5*s. Is t composite?
True
Suppose 4*x + 12 + 12 = 2*z, -3*x - 15 = 0. Suppose -3*s + 2*c = -276, 3*s - z*c = -s + 370. Is s composite?
True
Let z = 35 - 19. Suppose -t + z*t = 17895. Is t a prime number?
True
Let q(v) = 513*v**3 + 1. Is q(1) prime?
False
Let f(l) = l**3 - 4*l**2 + 3*l - 4. Let n be f(5). Let s = 67 - n. Is s a composite number?
False
Suppose -4*h = 4*r - 2481 - 1999, 4*r = 2*h + 4498. Let o = 6 - 2. Suppose r = o*d - 49. Is d a composite number?
False
Suppose -2*g + 19582 = 2*n, 3*n + 5*g + 29389 = 6*n. Is n a composite number?
True
Suppose -8 = -4*d + 2*b, 2*b = -5*d - 0*d - 8. Suppose d = 2*u - 2, -5*l - 2*u = -3*l - 20. Suppose -6*k = -l*k + 1113. Is k a prime number?
False
Is (-701)/(-1) - (5 - 5)/5 a prime number?
True
Let o = 2501 + -663. Is o a composite number?
True
Let u(s) = s**2 + 3*s - 5. Let n be u(-4). Let w be -1*(n - -1)/4. Suppose -5*b - 5*x + 1755 = 0, -b = -w*b - x - 341. Is b composite?
True
Suppose -2*n - 2*n - 216 = 0. Let l be (-6)/15 - n/10. Suppose l*b - x - 268 = 0, -6*b + 4*b - 3*x = -97. Is b composite?
False
Suppose 0*s - 12 = -5*j + s, j + 2*s + 2 = 0. Let h be (-1 - (j - 0)) + 8. Suppose -4*g - w + 147 = 9, 0 = h*w + 10. Is g composite?
True
Let o = -22 + 24. Suppose 0*p + o*p = 614. Is p composite?
False
Let k(l) be the third derivative of -l**6/120 - l**3/2 + 5*l**2. Let h be k(0). Let c(u) = -125*u - 4. Is c(h) a composite number?
True
Let o = 7716 - 11318. Let l = -2553 - o. Is l a composite number?
False
Suppose 4*i - 29640 = 5*m, 0 = -6*i + 2*i - 5*m + 29680. Is i composite?
True
Suppose 5*y - 2205 = -5*n, 2*y - 891 = 3*n - 8*n. Suppose -2*r = -y + 80. Is r a composite number?
False
Suppose -27*x + 54984 = 10623. Is x prime?
False
Suppose -16*y = 14*y - 172650. Is y prime?
False
Suppose 3088 = d + 7*d. Suppose 2*c + 3*a = -0*a + 239, 3*c - a = d. Is c composite?
False
Let l be (-6)/(-8) - (-86)/(-8). Let t = 14 + l. Suppose -5*u + 389 = t*x, 6*u = -2*x + u + 207. Is x prime?
False
Let w(p) = p + 10. Let t be w(8). Let b = t - 8. Is b a composite number?
True
Let x(a) = 1095*a + 79. Is x(6) a composite number?
True
Let o(a) = 3*a**2 - 2*a - 7. Let v be 2 - (0/2)/1. Let r be v + 5 + (-9)/3. Is o(r) a composite number?
True
Is ((-13418)/(-4))/(((-216)/16)/(-27)) composite?
False
Let z(r) = 2*r**3 - 4*r**2 + 15*r - 53. Is z(8) a prime number?
False
Suppose 4*c - 3*v - 2*v = 163, 4*c - 4*v = 160. Let r be (6 + -3)/(-3) - c. Is (-1 + 3)*r/(-4) composite?
False
Suppose 6*w + 3918 = 9*w. Let p = w - 353. Is p a prime number?
True
Let b = -108 + 119. Let j(t) = 4*t**3 - 11*t**2 + 8*t + 12. Let x(n) = -7*n**3 + 23*n**2 - 15*n - 23. Let a(p) = 5*j(p) + 3*x(p). Is a(b) a prime number?
False
Is 15662 + 0 - (6 - 5) a composite number?
False
Suppose -11*i - 123920 = -439455. Is i composite?
True
Let c = -107 - -124. Suppose c*m = 3340 + 4939. Is m composite?
False
Let r = -676 + 282. Let l = 80 + 527. Let o = l + r. Is o prime?
False
Let a(d) = 86*d**2 + 115*d - 20. Is a(-21) a prime number?
True
Let l(d) be the second derivative of -d**2 - 83/6*d**3 + 0 - 3*d. Is l(-5) composite?
True
Let v be ((-144)/(-27))/((-1)/(-393)). Let g = 475 + v. Is g composite?
True
Let y(o) be the first derivative of -o**5/20 - o**4/12 - 2*o**3/3 + 7*o**2/2 - 3*o + 9. Let t(f) be the first derivative of y(f). Is t(-5) a composite number?
False
Let m = 137 - -1907. Suppose 11*b - m = 7*b. Is b a composite number?
True
Let t be (0 - 0)/(6 + -5). Suppose t = 2*h - 4*h + 724. Suppose h = j + j. Is j composite?
False
Suppose 2*b = -2*f + 2069 + 165, b + 2*f - 1119 = 0. Is b composite?
True
Suppose -2*c - 345 = 5*t, 0 = -4*t + 2*c + 3*c - 309. Let s(l) = -7*l + 15. Let w be s(7). Let p = w - t. Is p prime?
True
Suppose 11*m = -7690 + 59797. Suppose -3*w + 0*w + m = 0. Is w a prime number?
True
Let i = 6812 - 213. Is i a prime number?
True
Let l(o) = 133*o**2 + 30*o + 216. Is l(-7) prime?
False
Let l be -2 + 1 + (-2)/1. Let m be 10*-1 + (l - -3). Is 38/95 + (-1226)/m a prime number?
False
Suppose -38*r + 3423 + 18845 = 0. Is r a composite number?
True
Let t = 21 + -17. Suppose -f - 74 = -t*f + 2*h, 2*f - 2*h = 50. Suppose f - 2 = 2*w. Is w prime?
True
Let q(l) = 219*l**2 - l + 2. Let o be q(1). Let r = 1001 - o. Is r a composite number?
True
Let z(d) be the third derivative of d**6/60 + 7*d**5/120 - d**4/3 + 5*d**3/6 + 6*d**2. Let c(n) be the first derivative of z(n). Is c(-7) a composite number?
True
Suppose 9*z - 16940 - 22579 =