) = 8*d**2 - 21*d - 3. Let c(s) = 3*p(s) + 5*v(s). Is c(6) a prime number?
True
Is ((-7)/(-14))/(1/(-2))*-541 prime?
True
Suppose y = 2265 + 1522. Is y a prime number?
False
Let m be (12/20)/(2/30). Suppose 1314 = 3*q + 3*n, -m*q + 2*n + 1782 = -5*q. Is q prime?
True
Let d = 34 - 20. Is (-1110)/(-14) - 4/d a composite number?
False
Suppose -25 = -5*f, r = -3*f + 435 + 1939. Is r composite?
True
Let v = 1 - -1. Suppose 4*i + v*u - 400 = -u, 4*u = 2*i - 178. Is i prime?
True
Suppose p = -3*c - 131, 0*p + p - 127 = 3*c. Let d = 94 + c. Is d prime?
False
Suppose -d - 5*z - 12 = 0, -3*d - z + 3*z = -15. Let o(j) = j. Let q be o(d). Is 44/3 + 1/q prime?
False
Let d(v) = 2*v - 10. Let n be d(6). Suppose 3*f + 500 - 44 = 3*k, -289 = -n*k - 3*f. Is k a prime number?
True
Suppose -4*o + 8 = 4*m, -4*o - 5 + 1 = 0. Let w(j) = -4*j**2 + 3*j**2 - 6*j**2 - 3*j - 7 - j**m. Is w(-7) a prime number?
False
Suppose 4*v - 126 - 109 = -h, -4*h + 2*v + 958 = 0. Is h prime?
True
Let f = -22 - -38. Is 7*(f - 6/2) a composite number?
True
Suppose -n = -4*n + 9. Suppose 3*c - 12 = -n. Suppose -68 = -c*m + 73. Is m prime?
True
Suppose 4*z - 324 = 852. Let n = -103 + z. Is n a prime number?
True
Let t = 7 - 10. Is (-141)/t - (1 - 1) prime?
True
Suppose 4*t - 4*h - 792 = 0, -2*t + 5*h + 232 = -173. Suppose -5*r - 266 = -2*b, b - 2*r = -53 + 185. Let m = t - b. Is m prime?
True
Suppose 0*d + 14 = d. Is d prime?
False
Let a be -2 - (-8 + 3) - -1. Suppose p - 105 = -a*p. Is p prime?
False
Suppose 0*m - m - 309 = 0. Let z = 432 + m. Is z a prime number?
False
Let n(s) = -s**3 + 7*s**2 - 4*s - 1. Let l be n(6). Suppose 3*r - p = -38, 0*r + 5*r + 5*p = -30. Let w = l - r. Is w prime?
False
Suppose -118*l + 113*l + 25285 = 0. Is l a composite number?
True
Suppose -838 = j - 3*j. Is j a prime number?
True
Let g = 23 - 19. Suppose -g*s = -s - 438. Is s a prime number?
False
Let n = 27 + 424. Is n composite?
True
Let q(b) = 14*b**2 - 5*b + 5. Is q(6) prime?
True
Suppose 0*d - 3*k = -2*d + 16, -d + 2*k + 10 = 0. Let t(r) = -d*r**2 + r**2 + 10*r + 0*r**2 + 5. Is t(9) prime?
False
Let p(v) = -293*v. Suppose -2*b + 4*b - 2*f = -4, -f + 3 = -2*b. Is p(b) composite?
False
Let h(t) = 9*t + 2. Let x(a) = 17*a + 5. Let m(z) = 11*h(z) - 6*x(z). Let l(f) = -f - 4. Let q be l(5). Is m(q) a prime number?
True
Let o(j) be the third derivative of -j**5/60 + 2*j**4/3 - 7*j**3/6 - 5*j**2. Is o(6) prime?
True
Suppose -4*n = -4*h + 20, 2*h - 17 = -0*h - 5*n. Suppose -b = 2*p - 0*p - h, 5*b - 19 = p. Let w = 9 + b. Is w a prime number?
True
Let b = 828 - 502. Is b prime?
False
Let z(s) = s**2 + 2*s + 7. Let t be z(-8). Suppose 0 = -0*f + f - t. Suppose b - 7 = 2*d - 53, -2*b + f = 3*d. Is d composite?
True
Let l be 0/(5/((-15)/6)). Suppose -3*d + 114 = -l*d. Let s = -25 + d. Is s a prime number?
True
Let u be (84/18)/((-2)/(-3)). Suppose -59 + u = -2*a. Is a prime?
False
Let a(t) = 3*t + 2. Let o(c) = c. Let w(u) = a(u) - 4*o(u). Let d be w(0). Suppose -d*y + 0 - 24 = -2*f, -4*y + 22 = f. Is f composite?
True
Let j be -5*6*2/(-10). Suppose -j*f = -f - 395. Is f a prime number?
True
Let q = 12 + -8. Suppose 3*n + a = -2*a - 42, 2*n - q*a + 34 = 0. Is n/(-6)*(48 + -2) a composite number?
True
Let k(z) = -2*z - 5. Let i be k(-7). Let m(b) = -b**2 + 9*b + 2. Let d be m(i). Suppose -5*r + 93 = -d*r. Is r a composite number?
False
Suppose -764 = u - 5*u. Is u a composite number?
False
Is 1/6 - (3741/(-18) - 1) a prime number?
False
Let l(o) = o + 7. Let u be l(-9). Let h(b) = -b**2 + 9*b - 3. Let f be h(9). Is u/f*45/2 a composite number?
True
Let o(i) = -3*i + 2. Let j be o(-1). Suppose -j*x = -3*x - 298. Is x a composite number?
False
Let c be (4 - (-2 + 1)) + -1. Suppose 2*h = 3*x - h, 0 = -2*x + 3*h + c. Is (-846)/(-10) - x/10 a composite number?
True
Let w(x) = -43*x + 8. Is w(-5) composite?
False
Let w(g) = g**3 - 3*g + 2. Let v be w(3). Suppose -2*h - 8 = 5*j, 0*j - v = 5*h + 5*j. Let r(y) = -y**2 - 6*y - 5. Is r(h) prime?
True
Let u = -22 - -33. Suppose 0 = -3*j + 5*a - 70, 4*a - u = 9. Is (-2)/(-10) - 282/j a composite number?
False
Let t be (12/9)/(1/(-3)). Let d = -1 - t. Suppose r = 3*z - 0*z + 30, 2*z - 101 = -d*r. Is r a composite number?
True
Suppose 3*r = r - 24. Is (-620)/r + 4/(-6) a composite number?
True
Let u = -182 + 2047. Is u a prime number?
False
Let q = -140 - -303. Is q prime?
True
Let a(j) = 3*j**2 + 3*j - 7. Let o be a(-7). Let v = -82 + o. Is v a prime number?
True
Suppose -5*f + 12 = -8*f. Suppose 4*p = -0*p + 40. Let j = f + p. Is j a composite number?
True
Suppose 0 = 3*u - 0*u. Suppose u = 3*v - 6. Is (-19 - -5)*v/(-4) a prime number?
True
Suppose 0 = -5*q + z + 1131, -4*q + 448 = -2*q + 4*z. Is q prime?
False
Let p(v) = 4*v**2 + 9. Is p(-8) a prime number?
False
Let b = 5 - 8. Is b + 3 + -2 + 23 a prime number?
False
Let w be (-1838)/(-5) - (-12)/(-20). Let a = -176 + w. Is a a prime number?
True
Let h = -177 + 291. Suppose -2*w + 96 = 4*x - 38, -3*w = -3*x + h. Is x a prime number?
False
Let m be (-104)/6 + (-1)/(-3). Let a = -12 - m. Suppose a*q - 212 = 43. Is q composite?
True
Is (3/(-15)*-5)/((-1)/(-8263)) prime?
True
Let u be (-20)/70 - (-1880)/14. Suppose 2*d = 5*t + 78, -2*d = 5*t + 16 - u. Is d composite?
True
Let m = -101 - -258. Is m composite?
False
Let c be (9 + -15)/(-2 - 0). Is ((-577)/4 + c)*-4 a composite number?
True
Suppose -w = w - 2. Let f(j) = 80*j**3 + 6 - 2 - 5. Is f(w) a composite number?
False
Let i be (1 + -2 + 1)/2. Let j = -7 - i. Let h = j - -17. Is h prime?
False
Suppose 7 = 3*p - 2. Suppose -t + 4 = 2*j, -p*t + j + 26 + 7 = 0. Let w = 3 + t. Is w prime?
True
Let d(l) be the first derivative of -l**4/4 - l**3/3 + 7*l - 1. Let k(f) = f - 3. Let b be k(3). Is d(b) a composite number?
False
Let d = -20 - -13. Let z = d - -11. Suppose 0 = -2*k - j + 739, -k = -j - z*j - 386. Is k composite?
True
Let c(w) = w**2 + 16. Let m be c(-12). Suppose -62 = -6*y + m. Is y a prime number?
True
Let l(n) = 9*n**3 + 9*n**2 - 4*n + 23. Is l(7) prime?
False
Suppose 3*g = 4*g. Suppose g*j - 6 = -3*j. Suppose 4*h = -j*k + 44, 4*k - 11 = -2*h - 1. Is h a prime number?
True
Suppose -2*z = -9 - 3. Suppose 2*h - 2 = 2*w, -w = -4*h - z + 19. Suppose 2*j - w*j = -7. Is j a composite number?
False
Suppose -2*f = 4*x - 106, -f - 11 - 111 = -5*x. Is x a composite number?
True
Let s(r) = -9*r**3 + r**2 + r + 2. Let t(w) = w**3 - 4*w**2 + 2*w + 1. Let i be t(3). Let b be s(i). Is (b/6)/((-6)/(-9)) a prime number?
True
Let x be (6/(-8))/(3/252). Is (1 + -3)*x/6 a prime number?
False
Let a(l) = -l**3 - l**2 + 36. Let m be a(0). Suppose 0 = -2*b - b - m. Let h = b - -99. Is h a prime number?
False
Let d(k) = k**3 + 8*k**2 + 7*k + 1. Let s be d(-7). Suppose -4*c + s = -3*c. Is 127*c - (-4 - -4) a composite number?
False
Let k = -3 - -3. Suppose 5*h - 3*h = k. Suppose h = x - 2*x + 37. Is x prime?
True
Let t(y) = -8*y**3 - 2*y**2 - 6*y - 3. Is t(-5) prime?
True
Suppose -6*d - 10 = -d, 2*q = -2*d + 1246. Suppose 3*m - q = -2*b, -2*b = -5*m - 3*b + 1044. Is m a composite number?
True
Suppose 2*y - 3 - 3 = 0. Suppose -2*l - 431 = -3*r, 0*l - 3*l = y*r - 426. Is r composite?
True
Let p(a) = 5*a**3 - 6*a**2 - 8*a - 4. Is p(7) a composite number?
False
Suppose 0 = -3*q + 2579 + 2248. Suppose 46 = 5*a - q. Is a composite?
False
Is (-4721)/(-4) - (-6)/8 a composite number?
False
Let y(o) = 6*o**3 - 17*o**2 - 6*o - 5. Is y(8) a prime number?
True
Let t(p) = -p**3 - 8*p**2 - 7*p + 4. Let s be t(-7). Is ((-10)/15)/(s/(-330)) a composite number?
True
Let n = 1 + 3. Let r = -72 - -156. Suppose -40 - r = -n*s. Is s a prime number?
True
Let s(h) = h**2 - 3*h + 5. Is s(9) a prime number?
True
Let g = -1220 - -1719. Is g a composite number?
False
Suppose 5*a - 4*c = 25877, 0 = -2*a + 3*a - c - 5176. Is a composite?
True
Suppose 292 = -3*k + 5*a, k + 0*k - 3*a + 92 = 0. Suppose -5*g + 25 = 0, 0*t - 2*t - 127 = 3*g. Let o = t - k. Is o a composite number?
True
Let q(x) be the second derivative of x**6/120 - x**5/60 + 155*x**3/6 + x**2 + 4*x. Let h(d) be the first derivative of q(d). Is h(0) a composite number?
True
Is ((-12)/10)/(12/(-870)) a composite number?
True
Suppose -11*z + 6*z + 3435 = 0. Is z a composite number?
True
Let q(o) = -o**3 - 3*o**2 - 5*o - 10. Is q(-9) prime?
True
Let r = 613