/3)/(s/1257) prime?
True
Let p(i) = -i**2 - i + 91. Is p(0) a composite number?
True
Let f(d) be the third derivative of -5*d**4/12 - 2*d**3/3 + d**2. Is f(-3) composite?
True
Let j be -1 + 1 + -1 + 5. Suppose 0 = -5*c + 29 - j. Suppose 4*t - 4*i - 35 = 3*t, c*i = -20. Is t a prime number?
True
Let v = 561 - 263. Is v a prime number?
False
Let s(r) = 2*r**3 - 4*r**2 - 2*r + 6. Let m(w) = w**3 + 5*w**2 - w - 1. Let j be m(-5). Let o be s(j). Let h = o - -15. Is h a prime number?
False
Let j(h) be the third derivative of 1/6*h**3 - 1/12*h**4 - 2*h**2 + 1/30*h**5 + 13/12*h**6 + 0*h + 0. Is j(1) a composite number?
False
Suppose 15 = 2*u - 59. Is u composite?
False
Let c = -51 - -28. Suppose 0 = -4*t + 150 - 46. Let d = t - c. Is d a composite number?
True
Let j(i) = i**2 + 5*i + 8. Let g be j(-6). Suppose -3*h = -3*y + 213, -2*y + 4*h = -g - 138. Let v = y + -31. Is v a prime number?
False
Let y = 443 + -301. Is y composite?
True
Let v = -7 + 7. Let k = v + 6. Is k a composite number?
True
Suppose -14 = t - m + 206, -653 = 3*t + 4*m. Let n = -98 - t. Is n a prime number?
False
Let t(x) = -x**3 + 5*x**2 + x - 3. Let j be t(5). Let k be (-1 - j)*124/(-6). Suppose -r + 3*r - k = 0. Is r a composite number?
False
Suppose 2*s - s = 122. Is s composite?
True
Suppose -4*r - 13 - 11 = 0. Let p(g) = 2*g**2 + g - 5. Let q(l) = l**2 + l - 2. Let k(z) = 3*p(z) - 5*q(z). Is k(r) prime?
True
Suppose -11*c = -12*c - 147. Let f = c - -266. Is f a composite number?
True
Suppose 5*w - 375 = -4*s, 0 = 5*s - 3*s + 5*w - 175. Let t = -41 + s. Is t a prime number?
True
Suppose 9*u - 3155 = 4*u + 3*h, 3*u + 4*h - 1893 = 0. Is u composite?
False
Suppose x = 5*n + 3*x - 3587, -2*n + 1454 = -4*x. Is n a prime number?
True
Let z be 2063/9 + 2/(-9). Let h = z + -102. Is h a prime number?
True
Suppose 0 = -4*g + 2*x + 12, -4*x - 18 = -g - g. Let u be (-7 - g)*(-27)/12. Suppose -s = -71 + u. Is s a prime number?
True
Let x = 293 - -126. Is x prime?
True
Is (-38793)/(-21) - 2/7 composite?
False
Let j = 16 - 10. Let t(p) = 4*p**2 - p + 7. Is t(j) composite?
True
Let j(q) = 4*q**3 - 4*q**2 + 5*q - 2. Let l(a) = a**2 + 5*a - 3. Let k be l(-6). Is j(k) a prime number?
False
Let x(f) = -f**3 - 6*f**2 - 8*f + 1. Let n be (-4)/(-12) - (-178)/6. Suppose 0 = -0*s + 5*s + n. Is x(s) a prime number?
False
Is (-3)/(-2)*(-764)/(-3) composite?
True
Suppose -2*b + 3 + 5 = 0. Let w = 6 - b. Suppose w*y = 6*y - 436. Is y a prime number?
True
Suppose 2*t + 4*w - 16 = -t, 20 = 5*w. Suppose t = 2*p + b - 423, p + 3*p = 2*b + 842. Is p a composite number?
False
Suppose 3*k = 2*b + 3*b + 1967, 0 = -k + 5*b + 639. Let f = 225 + k. Is f composite?
True
Suppose 5*j - 679 = 4*t, 4*t - t = -j + 151. Suppose -5*s - 4*i + 472 = j, -s - 2*i + 63 = 0. Suppose -4*b + 151 = -s. Is b prime?
False
Is 1 - 1 - 3 - -208 a prime number?
False
Suppose -4*d - 2*d + 12894 = 0. Is d a prime number?
False
Let z(o) be the third derivative of o**6/120 - o**5/30 - 5*o**4/24 - o**3/6 + o**2. Suppose 0*c + 12 = 2*c. Is z(c) prime?
True
Let o(v) = -92*v**3 + v. Let h be o(-1). Suppose 2*c - 2*t - 3*t = h, 3*c - 4*t = 119. Is c a prime number?
False
Suppose -4*c + 3*a + 724 + 1210 = 0, 4*a + 477 = c. Suppose 4*h - 263 = c. Is h composite?
True
Suppose -2*h + 4*c = 6, 5*c - 9 = -4*h + 18. Let g = 944 + -642. Suppose 0 = h*v - 79 - g. Is v a prime number?
True
Let g(n) = 47*n + 2. Let d be g(4). Let v = 2 - -33. Suppose 0 = 2*j + 4*c - 174, 3*j - v - d = 3*c. Is j a composite number?
False
Let i(z) = z**2 + 13*z - 11. Is i(8) prime?
True
Suppose -1 = -3*j + 11. Suppose -2*y + j*y = 254. Is y a composite number?
False
Let l(b) = -b + 9. Let k be l(4). Let h(x) = -x**2 + 8*x + 6. Let u be h(6). Let n = u - k. Is n a composite number?
False
Suppose -o + 28 = 3*o - 2*z, 2*z = -o + 12. Let i(v) = v**3 - 7*v**2 - 7*v - 5. Let y be i(o). Suppose y*q - 2*u + 2 = -2, -2*u = 3*q - 16. Is q a prime number?
True
Suppose -4*q + 1100 = -0*q. Is 8/(-12) + q/3 composite?
True
Suppose -7*v + 285 = 12. Is v a composite number?
True
Let b(r) = r**3 - 3*r**2 + 6*r + 5. Is b(6) a prime number?
True
Let s(z) = -9*z + 2. Let p(y) = y**3 - 7*y**2 - 8*y + 3. Let d be p(8). Let k be s(d). Let i = -11 - k. Is i prime?
False
Suppose -1 = 4*l - 9. Suppose 4 = 3*h - l. Let z(s) = 22*s + 2. Is z(h) a prime number?
False
Suppose t - 6*t - 2*x - 166 = 0, -4*t - 3*x - 130 = 0. Let p = -8 - t. Is p prime?
False
Let p(g) = g**3 + 6*g**2 + g + 6. Let u be p(-6). Suppose u*i - 5*z - 21 = -3*i, i - 3*z = 11. Suppose -7*h + i*h + 745 = 0. Is h prime?
True
Let r(p) = p**2 + p + 2. Let l be r(0). Suppose d - 213 = -l*d. Is d a composite number?
False
Suppose 1 = -4*r + 13, 4*z + r - 655 = 0. Is z a composite number?
False
Let o(t) = -2*t + 6*t - 4 - t + 6. Let y be o(-3). Is (-2)/(-7) - 47/y prime?
True
Is -1 + (-4142)/(-6) + 2/(-6) a composite number?
True
Suppose -4*y + 12 = 0, -u + 21 = 2*u + 5*y. Is ((-467)/u)/((-1)/2) a composite number?
False
Let g(k) = k**3 - k**2 + 2. Let t be g(0). Suppose 0 = -0*q + t*q - 254. Is q composite?
False
Suppose -f = -2*f + 43. Let i = f + 54. Is i prime?
True
Suppose 5*j + 3903 = 2*b, -9717 = -5*b - 4*j + 24. Is b a composite number?
False
Let n = 728 - 447. Suppose 4*q + 435 = 2*f - n, -4*q - 692 = 4*f. Let j = 296 + q. Is j prime?
False
Suppose -3*k = 3*v - 15, 4*k = -5*v + 16 + 4. Suppose -3*q - q + 316 = v. Is q a prime number?
True
Let s(b) = 2*b**2 - 9*b - 7. Let c(y) = y. Let w be c(1). Let o(v) = -5*v**3 - v. Let l be o(w). Is s(l) a composite number?
True
Suppose -o = -0*o + 2. Let t(i) = -67*i - 3. Is t(o) composite?
False
Let s = 3 - 5. Let q be (4 + 31)/(2/s). Let k = 84 + q. Is k a composite number?
True
Suppose -2126 = -0*b - 2*b - 4*c, -3*b - 3*c + 3183 = 0. Is b a prime number?
False
Let s(a) = -a**3 + 12*a**2 + 3. Is s(10) composite?
True
Let a(d) = -d**3 - d. Let l(v) = 5*v**3 + 4*v**2 + 8*v - 1. Let k(s) = 6*a(s) + l(s). Is k(3) prime?
False
Suppose 5*k + 8 = i - 5, 3*i = -5*k - 41. Let w(l) = -3*l + 2. Is w(i) a prime number?
True
Suppose -310 - 130 = -5*w. Is (w/(-10))/((-20)/50) composite?
True
Suppose m + 3*b - 155 = 45, -3*m = -5*b - 530. Is m a prime number?
False
Let c = -93 + 172. Is c a prime number?
True
Suppose 0 = 4*i - 22 - 30. Is i prime?
True
Let l be 2*(0 - -1) - -1. Suppose 2*h + 31 = l*h. Is h a composite number?
False
Suppose -2*l + 14 - 6 = 0, 442 = 2*w - l. Is w a prime number?
True
Suppose -q - 3 = -2*b, 4*q + 3*b + 30 = -15. Is 3/(-9)*q*2 prime?
False
Let v = 126 - 92. Is v composite?
True
Suppose -4*u + 2*u + 2 = 0. Let b = -576 - u. Let s = -284 - b. Is s composite?
False
Let d(z) = z**3 - 7*z**2 + z - 5. Suppose 5*y + x - 41 = 0, -4*x - 28 = -2*y - 2*y. Is d(y) a composite number?
False
Let w(j) = -6*j**3 - 2*j**2 - j - 11. Is w(-5) prime?
False
Let y(i) = i**3 + i**2 + 3259. Is y(0) a prime number?
True
Let k be (-2)/2 + 3 + 2. Suppose -3*w + k*l + 6 = -w, 2*w = 5*l + 4. Suppose 0 = w*y - 3*y - 220. Is y prime?
False
Suppose -2*k + 230 + 208 = 0. Is k a prime number?
False
Suppose 393 = -3*h + 4*h. Is h prime?
False
Suppose 4*f + 14 - 46 = 0. Suppose -f*h = -4*h - 348. Is h a composite number?
True
Let s be (4 + (-818)/10)*-5. Suppose -f - 31 = -s. Is f composite?
True
Let w(b) = b**2 - b - 4. Let y be w(7). Let j be y/8 + (-2)/(-8). Suppose j*m - 2*m = -p + 112, 5*m - 183 = 2*p. Is m a prime number?
True
Let o(v) be the second derivative of v**6/120 + 2*v**5/15 - v**4/12 - 5*v**3/6 + v**2/2 - 2*v. Let y(x) be the first derivative of o(x). Is y(-6) prime?
True
Is -3 + (3 - -746) - (3 - 0) composite?
False
Suppose -7*d - 4533 = -10*d. Is d a prime number?
True
Let a = -5 + 10. Let s = a - 8. Let u(i) = i**2 - i + 3. Is u(s) a composite number?
True
Let s = 600 + -131. Is s composite?
True
Let o(k) = -k**3 - 3*k**2 - 4*k + 12. Is o(-13) a prime number?
False
Is ((-12315)/(-30))/((-2)/(-4)) a composite number?
False
Let b be (8/16)/(3/36). Suppose 5*m - r - 15 = 0, -3*m = -0*m + 5*r - 9. Suppose b*o - 267 = m*o. Is o composite?
False
Let m = 359 + 282. Is m a prime number?
True
Is (1 + -1)/(-1) + 1691 a composite number?
True
Let w(k) = k**2 - 2*k - 4. Let i be w(4). Suppose z - i*z = -231. Is z composite?
True
Let p be (-246)/15 - 2/(-5). Is ((-4)/(-6))/(p/(-1176)) a composite number