False
Let l(j) be the third derivative of 1/60*j**5 + 1/24*j**4 + 2/3*j**3 + 0*j + j**2 + 0. Is l(0) composite?
True
Let c be 6/(-39) + 154/(-13). Is c*(-26)/4 + 1 a composite number?
False
Let i(y) = -34*y - 3. Suppose 5*u + 2*h = 21, 4*h - 24 = -2*u - 2*u. Suppose 3*b + 9 = -u*j, 3*j - 3*b = -2*b - 13. Is i(j) prime?
False
Suppose -159 = -j + 80. Is j prime?
True
Let x(v) = 4*v**2 - 10*v + 1. Is x(7) prime?
True
Let d = -9502 - -22109. Is d a composite number?
True
Let s = 112 + 2179. Is s a prime number?
False
Let i(b) = -b**3 - 5*b**2 + b + 4. Let x be i(-5). Let h be 2*(2 - x) + -1. Suppose 2*d - 218 = -4*g - 0*d, 0 = 2*g - h*d - 115. Is g composite?
True
Let u(p) = 4*p**3 - 5*p**2 + 6*p + 4. Suppose -4*w - 7 = b, 3*w - 2*w + 23 = 4*b. Is u(b) prime?
True
Suppose -5*c - 1 = -4*c. Is (18/c)/(-1) - -3 composite?
True
Is 3/(-2)*(-4146)/9 prime?
True
Suppose 3*y - 15 - 15 = 0. Is y composite?
True
Let z(n) = -n - 6. Let g be z(-8). Suppose -5*m = -5*x - 410, -g*m + 168 = 3*x - x. Is m prime?
True
Suppose -4*x - 3*l = -1043, -4*l - 519 = 4*x - 1567. Is x composite?
False
Let g(b) = b**2 - b + 677. Is g(0) composite?
False
Let h(u) = -u**2 + 19*u - 5. Suppose -3*i + 40 = i. Is h(i) a composite number?
True
Let m = 3 + 22. Suppose 3*r = -5*t + m, 3 + 19 = t + 4*r. Suppose l = 2 + t, -2*l = -h + 27. Is h composite?
True
Let x = -523 + 992. Is x composite?
True
Let h(d) = -d + 1. Let z be h(-4). Let k(r) = -r**3 + 4*r**2 + r + 7. Let g be k(z). Let f = g + 19. Is f composite?
True
Let i(h) = 6*h - 20. Is i(19) composite?
True
Let b = 35 - 20. Suppose 0 = 3*h + 2*h - b. Suppose 5*k = -3*c + 43, -3*c - 2*k = -h*k - 67. Is c a prime number?
False
Suppose -4*l + 12231 = l + 4*q, 2449 = l - 2*q. Is l a composite number?
False
Let s(w) = w**3 + 9*w**2 + 9*w + 11. Let p be s(-8). Suppose p*h - 159 = -3*u, 8 = -0*u - 2*u. Is h a prime number?
False
Let q = 151 + 382. Is q a composite number?
True
Let l(o) = 1 + 7*o**2 - 3*o + 5*o - 4*o. Let p be l(1). Let z(n) = 8*n + 7. Is z(p) prime?
False
Suppose -h - 3 = -2*b, -b - 8 = -3*b. Suppose -710 - 285 = -h*x. Is x composite?
False
Suppose 0 = 2*r + 2*k - 5*k - 31, -5*k = -2*r + 37. Suppose -2*l = -6*l + 44. Let y = l + r. Is y a composite number?
True
Let c(o) be the second derivative of -3*o**3/2 - o**2 + 3*o. Is c(-4) a composite number?
True
Is 403 + 3 + (-8 - -3) a composite number?
False
Suppose 0 = -3*g - 24 + 297. Is g a prime number?
False
Suppose -3 = x - d, 0*d - 5 = -x - d. Suppose i - 2 - x = 0. Suppose -3 - 3 = -i*j - 3*o, 3*j + 4*o = 1. Is j composite?
False
Suppose -5*v - 15 = -d, 7*d = 2*d - v - 3. Suppose -4*r + 0*r + 5*g + 513 = d, -5*g + 630 = 5*r. Is r a composite number?
False
Let j = 3 + 1. Suppose -j*o + 845 = -1023. Is o + (-1 - -3 - 2) a composite number?
False
Suppose -2 = 2*a - 4*x, -4*x = -x - 6. Suppose -212 = -m - a*m. Is m a composite number?
False
Let h = 120 + -43. Is h a prime number?
False
Let z(r) = r**3 + 5*r**2 + 3*r - 1. Let y be z(-4). Suppose -t + y + 22 = 0. Is t prime?
False
Suppose -5*m = 2*r - 49, 2*r + 0*m - 84 = 2*m. Is r a composite number?
False
Let y(r) be the first derivative of 5*r**2/2 - 4*r + 3. Is y(7) a composite number?
False
Let p(u) = -32*u**3 - 3*u**2 - 2*u + 3. Is p(-2) composite?
False
Suppose -161 = -f + 19. Let q = f - 126. Suppose 2*a - 6*s = -2*s + q, 0 = a + s - 18. Is a composite?
True
Suppose 302 = 2*d - 2*y, 0*d - 2*d + 3*y = -304. Is d prime?
True
Let u = 6 + -4. Let j = u + 19. Is j prime?
False
Suppose 3*c = -c + 16. Suppose s = -c*s + 805. Is s a prime number?
False
Suppose -4*s + 13 = 5*w - 24, 0 = 5*s - 4*w + 5. Suppose s*k - 52 = -k. Suppose -3*l = 12, 4*l = -2*c + k + 9. Is c composite?
False
Let g(q) = 21*q**2 - 3*q + 6. Let m be g(-5). Suppose 2*h - m = -h. Suppose 5*d - h = 3*d. Is d a composite number?
True
Let n(j) be the second derivative of 43*j**3/3 - 3*j**2/2 + 4*j. Is n(5) prime?
False
Let l(x) = x. Suppose -r - 8 = -2*r + 3*a, 2*r = -4*a - 4. Let j be l(r). Suppose y = 3*v + 115, j*y + v = -4*v + 197. Is y prime?
False
Suppose 0 = -2*r + 3*r. Let x(l) = l + 79. Is x(r) composite?
False
Let l(z) = z**2 + 6*z. Let x be l(-5). Is x/(-3)*78/2 a composite number?
True
Is (-12)/(-3 - 0) - -885 a composite number?
True
Let z be (1 + 30)/((-2)/(-2)). Suppose -14 - 22 = 2*r. Let d = r + z. Is d a prime number?
True
Suppose 0 = -2*s + 15 - 5. Let i(h) be the third derivative of -h**6/120 + 7*h**5/60 - h**4/8 - 2*h**3/3 - 2*h**2. Is i(s) a prime number?
True
Let c(i) = i**2 - 7*i - 4. Let o be c(7). Let w = 14 + o. Suppose -2*m = -60 - w. Is m composite?
True
Suppose 5*o + 2 = -2*n, -3*n + 0*o = o - 10. Is n/(-4) - (-134)/1 a prime number?
False
Let z(i) = i**2 + 6. Is z(4) prime?
False
Suppose -10*n + 6*n + 2284 = 0. Is n prime?
True
Is 1318/3 - (-8)/(-24) a prime number?
True
Is 2*((-5697)/6)/(-9) a prime number?
True
Let f(p) = -p**2 + 6. Let l be f(0). Suppose 0 = -4*g + 4*j + 92, g = -0*g - 4*j + 13. Let i = g - l. Is i a composite number?
True
Let i(d) = -12*d - 7. Let c(t) = -35*t - 22. Suppose 2*j + 8 = -0. Let f(x) = j*c(x) + 11*i(x). Is f(9) a prime number?
True
Let v(n) = n**3 - 5*n + 3. Is v(5) prime?
True
Let q(g) = 3*g - 3. Let c be q(2). Suppose -393 = -c*b - 54. Suppose 4*i - b = -37. Is i prime?
True
Suppose 69 = 5*k - 261. Suppose -s = -5*x - k, -5*x - 279 = -4*s - 0*x. Is s composite?
False
Let h(b) = 26*b**2 + 4*b - 1. Let p = 5 + -1. Is h(p) prime?
True
Let r(f) = f**2 - 4*f - 8. Let k be r(6). Suppose -n = i - 42, -k*n + 2*i + 156 = 18. Is n prime?
True
Let n(k) = 11*k**2 + k - 1. Let o be n(3). Suppose 4*v - o - 1 = -2*u, 5*u + 5*v = 260. Is u a prime number?
True
Suppose c - 2*y = 177, -2*c - 4*y + 0*y + 346 = 0. Suppose 5*t + 5*s - c = 0, 3*t - 2*s = 25 + 90. Is t prime?
True
Let r(n) = 0 + 5*n + 10*n - 1. Is r(10) prime?
True
Suppose -15 = 2*v + 21. Let m = 151 + v. Is m prime?
False
Is 554 + -3*(6 - 3)/(-3) prime?
True
Let j(r) = -r**2 + 2*r + 3. Let l be j(3). Is (l - (-2 + 131))/(-1) a composite number?
True
Suppose -3*l = -3*t + 12, -4*t + 11 + 7 = -2*l. Suppose 676 = t*j - 134. Let c = j + -109. Is c a prime number?
True
Let v(n) = -16*n - 1. Is v(-2) composite?
False
Let l(q) = 12*q**3 + q**2 - q + 1. Let o be (1/2)/(8/16). Is l(o) composite?
False
Suppose 3*b - 4*b + 10 = 3*q, q - 8 = 2*b. Let t(x) = -5*x**2 - 2*x**3 + x**3 + q*x + 7 + 6*x. Is t(-7) a prime number?
False
Let u be (-508)/(-24) - 2/12. Is 2/((-2)/u)*-1 a prime number?
False
Suppose -8 = b + b. Let f(z) = z**2 + 2*z + 2. Let j be f(b). Suppose j + 11 = q. Is q a prime number?
False
Suppose 5*i - 847 = 4348. Is i a composite number?
False
Let t = 7 + -2. Suppose 185 = t*l - 0*l. Let n = l + 0. Is n a prime number?
True
Let m be 2 + 0*(0 + 1). Suppose m = j + j. Let q(l) = 20*l**3 + 2*l**2 - 1. Is q(j) a prime number?
False
Suppose -408 = -5*z + 37. Is z a prime number?
True
Let p(g) = -g**2 - 5*g - 4. Let i be p(-3). Suppose -477 - 593 = -i*r. Is r prime?
False
Let a = 0 - -6. Suppose -a*r + 70 = -r. Is r a composite number?
True
Let d = 8 - 6. Suppose -z + d*w + 20 = 0, 3*z = z - 2*w + 58. Is z a composite number?
True
Let d(k) = 9*k**2 + 6*k + 7. Is d(5) composite?
True
Let f(c) = c**2 - 9*c - 7. Suppose 0*i - 2*i + 6 = 0. Suppose 0 = -j - 3*j - i*a + 49, -4*j + 52 = 4*a. Is f(j) a prime number?
True
Let q be 0 + (309/1 - 1). Suppose 0*c + q = 4*c. Is c prime?
False
Let h = 2 - -1. Suppose 4*r = 12, 0*a + 3*r - 87 = -h*a. Is a a prime number?
False
Suppose 0 = m + 2*m + 9, -186 = -2*s + 4*m. Suppose -3*l + 18 = -s. Is l a prime number?
False
Suppose 4*x = n - 303, x - 5 = 6*x. Is n a prime number?
False
Suppose 5*v = -3*n - 497 - 235, -5*v - 737 = -2*n. Let s be (v - 3/3)*-2. Suppose -3*w + s + 121 = 0. Is w prime?
True
Let f = -4 - 0. Let t be 1/(-4) + (-2073)/f. Suppose -5*s - 3*y - 2*y + 520 = 0, -5*s + t = 3*y. Is s composite?
False
Let k(v) = 7*v**2 - 7*v + 7. Is k(4) a prime number?
False
Suppose -3*l + 36 - 8 = -4*d, 2*d + 4*l = 8. Suppose -4*s = -4 - 4. Is s/(-4) - 86/d a composite number?
True
Let z(k) be the first derivative of -11*k**2/2 + 2*k - 1. Is z(-7) prime?
True
Suppose 175 + 147 = 2*x. Is x prime?
False
Let b = 7 - 7. Suppose -2*u + 170 = 2*m + 2*u, -3*m - 4*u + 261 = b. Is m composite?
True
Let j be (3/4)/((-2)