d(b) be the third derivative of -b**4/3 - b**3/2 + b**2. Suppose 2*p + 3*s = -9, 0 = 4*s - 3 + 7. Is d(p) a composite number?
True
Let v = -2 + 4. Suppose -1868 = -v*s - 2*s. Is s prime?
True
Let w = 24 + -20. Suppose 5*k - 1267 = -3*i, i - w*k + 846 = 3*i. Is i a prime number?
True
Suppose -4*x + 0*x + 12 = 0. Suppose -x*d = -6, -45 = -w - 2*d + d. Suppose -2*q - w = -4*h + 11, 0 = -h - 3*q + 17. Is h prime?
False
Let n(x) = x**3 + 7*x**2 - 7*x + 11. Let m be n(-8). Suppose -u = -m*u + 18. Is 3/u + 32/3 a composite number?
False
Suppose 3*m = -m - 40. Let b be (-42)/5 - 4/m. Is b/(-12) + 206/6 a prime number?
False
Let f = -1459 - -2168. Is f a prime number?
True
Let v be 3*((-24)/(-9) - 1). Suppose -784 = -v*m + j, 3*m - 3*j - 409 = 59. Is m composite?
False
Suppose s - 6 = 2*s. Let l = 8 + s. Suppose 3*v - 293 = -3*w + 178, -3*v - l*w + 475 = 0. Is v a composite number?
True
Suppose j = g - 326, -g = -0*g + 3*j - 346. Is g a prime number?
True
Let h(b) = b**2 - 3. Let z be h(3). Suppose 2*j + 284 = z*j. Is j composite?
False
Suppose 25*t - 23*t - 530 = 0. Is t a prime number?
False
Let d be 0 - (-4 + 0/(-2)). Suppose m + 5*y + 10 = 2*m, -d*y = m + 35. Let i = 25 + m. Is i composite?
True
Suppose -19 = 3*c - 5*k, -c - c = 2*k - 14. Suppose -2*f + 4*f - 22 = -2*v, -v = c*f - 21. Is f composite?
True
Let x = 48 - -205. Is x prime?
False
Suppose 4*h + 2*a - 722 = -0*a, -5*h + 895 = a. Is h a composite number?
True
Let n = -2502 - -4597. Is n prime?
False
Let y = 516 - -37. Is y a prime number?
False
Suppose 2*f + 2*m - 3128 = 0, 1163 = 4*f - m - 5068. Is f a composite number?
False
Suppose p + 77 = 648. Is p a composite number?
False
Let g(o) be the third derivative of o**8/10080 - o**7/2520 + 7*o**6/720 + o**5/15 - 3*o**2. Let l(b) be the third derivative of g(b). Is l(5) prime?
True
Let m(g) be the third derivative of g**5/15 + 5*g**4/24 + 4*g**3/3 + g**2. Is m(-7) prime?
False
Let k be (-1 - 9)*(-492)/30. Let o = -97 + k. Is o a prime number?
True
Suppose -3*u - 164 = -8*p + 3*p, 66 = -u - 4*p. Let i = -33 - u. Suppose 2*l - 85 = k + 2*k, -i = -l - 2*k. Is l composite?
True
Suppose 5*n - 4*n = 4. Let m be (1 - n)*(-4)/12. Let z(v) = 90*v**3 - v**2. Is z(m) prime?
True
Let v = 9 - 5. Suppose 4*b - 2044 = v*f, 3*b + b - 2048 = 3*f. Is b a composite number?
True
Let t(o) = 2*o**3 + o**2 - 1. Let l be t(1). Suppose l*s + 3*s + z = 566, -5*z + 5 = 0. Is s a composite number?
False
Let c = 56 - -24. Suppose -c + 241 = f. Is f prime?
False
Let k(z) = 5*z**2 + 22*z + 4. Is k(-11) prime?
True
Let i = 345 - 243. Let h = -65 + i. Is h a prime number?
True
Let w(t) = 6*t**3 - 5*t**2 + 15*t + 20. Let i(b) = b**3 - b**2 + 3*b + 4. Let v(n) = -11*i(n) + 2*w(n). Is v(3) a composite number?
False
Let c be 1/2 + (-819)/(-6). Suppose c + 117 = b. Is b a composite number?
True
Suppose 5*c + 10 = 0, 4*n + 5*c + 4 - 14 = 0. Suppose 0 = 2*v - 2*g - 40, 2 = n*v - 2*g - 104. Suppose -b + 0*b + v = 0. Is b a prime number?
False
Let x be (1 - (1 + -1)) + -1. Suppose 3*r = -5*h + 1070, x*h - 3*h + 2*r + 623 = 0. Is h prime?
True
Let a(g) = 11*g**3 + g**2 + 3*g - 1. Let k(h) = -h**2 - 7*h + 10. Let b be k(-8). Is a(b) composite?
False
Suppose 2*x + 4*r + 22 = 0, -x - 2*r = -2*x + 9. Let h be (129/(-9))/(x/3). Suppose -5*l = 4*m - 55, 3*m + 0*m + 2*l - h = 0. Is m a prime number?
False
Let n(q) = -4*q + 12. Let i be n(8). Let y = -14 - i. Suppose 3*x + 3*h - 6 = 0, -y*x + 4*h + 41 = -3*x. Is x prime?
True
Let x(g) = -23*g. Let z(u) = -23*u + 1. Let d(i) = -2*x(i) + 3*z(i). Let y be d(-5). Suppose -y = -5*j - 4*r, -5*j + 0*r + 2*r = -106. Is j a composite number?
True
Let s(p) = -2*p**3 - 5*p**2 - 3*p - 5. Let w = 6 - 12. Let z be s(w). Suppose -2*r = -7*r + z. Is r composite?
False
Suppose -9 = 4*h + 11, 11 = 4*o - 3*h. Is 69*(o - 8/(-6)) a prime number?
True
Let c(d) be the third derivative of -5*d**4/24 - 5*d**3/6 + 4*d**2. Is c(-8) a composite number?
True
Suppose 8*k = 2247 + 2161. Is k prime?
False
Let z be -2*(2 + (-14)/4). Suppose 2*i = z*q + 645 + 1, 5*i = 3*q + 1633. Is i a composite number?
True
Suppose 2*m - 12 = 2*p - 56, 5*m = 2*p - 104. Let j = m + -2. Let y = j + 77. Is y composite?
True
Let i = 0 + 3. Suppose d + 4 = i*d. Suppose x + 10 = d*x. Is x prime?
False
Let y(v) = 55*v + 1. Is y(4) prime?
False
Let f(j) = 40*j + 13. Is f(10) a prime number?
False
Let l = 0 + 0. Suppose -f + 2*f - 77 = l. Is f prime?
False
Let j = 4 - 4. Suppose -4*u + 12 = -2*a, j = -3*a - a + 5*u - 9. Suppose a*r - 8*r = -148. Is r composite?
False
Suppose 4506 = 2*t - 160. Is t a composite number?
False
Let t be (30/(-4))/((-13)/(-26)). Let b = 22 + t. Is b composite?
False
Suppose 0*p = 8*p - 1256. Is p composite?
False
Let l(t) = t - 4. Let i be l(7). Let k(s) = 11*s - 2. Let m be k(i). Suppose -d + 22 + m = 0. Is d prime?
True
Suppose 0 = t - 33. Is t prime?
False
Let i(l) = 8*l**2 + 15*l + 2 + 4*l**2 - 2*l**2 + 2*l**2. Is i(-7) prime?
False
Suppose -3*f + 6*f = 54. Let r = 40 - f. Is r a composite number?
True
Suppose 5*a - 20 = 795. Is a a prime number?
True
Let l = -28 + 17. Let h = l - -33. Is h a prime number?
False
Let f(j) be the first derivative of -5*j**2/2 - j - 1. Let c be f(-1). Suppose 0 = n + c*m - 69, -4*n + n = 5*m - 172. Is n prime?
False
Suppose 2*c = -4*x + 390 + 8, -2*x + 3*c + 211 = 0. Suppose -3*z = -4*j - 110, -5*j = 3*z - x + 9. Is z a composite number?
True
Let q = 84 + 19. Suppose u + 1 = q. Let d = u - 49. Is d a composite number?
False
Is (-3077)/(-12)*3 - (-1)/(-4) a prime number?
True
Suppose -3*q + 8 = -q, 3*a - 4*q - 4418 = 0. Is a prime?
False
Suppose 2*x = 6, 9*x - 9 = -l + 4*x. Let b(o) = o**2 - 8*o + 5. Is b(l) a prime number?
True
Let z be ((-1)/1)/(7/329). Let l = z - -66. Is l prime?
True
Let w(k) = -k**3 + 7*k**2 + 3*k + 1. Let j = 2 + 5. Suppose -j = -5*a + 23. Is w(a) a prime number?
False
Let s be ((-6)/9)/((-1)/(-9)). Let u = -11 - -9. Is u/s + (-22)/(-6) a composite number?
True
Let z(i) = -238*i**2 - i - 1. Let x be z(-1). Is x/(-18) - 6/27 a composite number?
False
Let i(c) be the third derivative of 301*c**6/120 + c**5/30 - c**4/24 - 8*c**2. Is i(1) composite?
True
Let o(q) = 69*q - 7. Let c be o(5). Suppose -x + 1032 = 3*v + 2*x, 3*x - c = -v. Is v a composite number?
False
Let r(l) = l**2 - l + 74. Let u be r(0). Let k be u + (-2 - -1 - -1). Suppose 4*d = 14 + k. Is d composite?
True
Let b = 854 + -546. Let g = b + -123. Is g a prime number?
False
Let a be 3/(-4)*1*40. Let i = a - -139. Is i a prime number?
True
Let w = -1582 - -5279. Is w prime?
True
Suppose -4*b + 3 = -9. Is (1 - b/6)*106 prime?
True
Let p(k) = -k**3 - 8*k**2 + 8*k + 3. Let v be p(-9). Suppose 4*a + 12 = 2*t, 0 = -0*a + 4*a - 5*t + v. Is 34 + (6 + a)/3 composite?
True
Let q = -10 + 16. Let n(d) = -101*d + 2. Let p be n(4). Is 4/q*p/(-4) prime?
True
Is 4/(-8) + 1439/2 composite?
False
Let i = 5 + -1. Suppose -l + 5*h = i*l + 780, -5*h + 626 = -4*l. Let x = l - -281. Is x a prime number?
True
Suppose 5*o = 25, -2*y + 5*o - 21 = -4*y. Let c be (y + 2/3)*3. Let d = 25 + c. Is d prime?
False
Let i be 5/(-7) + (-2)/7. Is ((-44)/(-6))/(i/(-3)) composite?
True
Suppose 0 = -4*l + 7 + 9. Suppose l*b = -2*w + 210, 4*w + 0*b - 460 = 2*b. Is w prime?
True
Suppose 2*f = -8*j + 3*j + 24, 2*j - 2*f = 4. Suppose j*r + 3*z - 159 = 160, 2*z = 2*r - 156. Is r a prime number?
True
Let b(u) = -u + 3. Let l be b(-3). Let n = -39 - -112. Let g = n + l. Is g a composite number?
False
Let h(v) = -v**2 - 5*v + 4. Let b be h(-5). Suppose -b*n + 2*o + 232 = 0, 4*n + 0 = -2*o + 240. Is n a prime number?
True
Let z = 595 + -853. Let i = z - -474. Suppose -2*o + i = 3*f - 63, 4*f - 4*o - 392 = 0. Is f a composite number?
True
Suppose 2*j - 724 = -3*g, -5*j - 259 = -2*g + 192. Suppose 0 = -t + 3*t - g. Is t a composite number?
True
Let u(p) = p**2 + 10. Let z = -6 + 6. Is u(z) prime?
False
Let k = -226 - -339. Is k composite?
False
Suppose 5*x - 2*x = 0. Let f = x - 0. Is (-31 + f)/(-4 + 3) prime?
True
Let p(i) = -5 - 5*i + 10 + 15*i. Let s be 6 + (1 - 2)/1. Is p(s) prime?
False
Suppose 16*h - 118 - 22938 = 0. Is h prime?
False
Is 1/(-4) + (-17775)/(-12) a prime number?
True
Let h = 6971 - 4704. Is h a composite number?
False
Let j be 378/24*112/6. Let a = 517 - j. Is a prime?
True
Let