ber?
False
Let d = 14 + -11. Let r(b) be the first derivative of 71*b**2/2 - 4*b - 1. Is r(d) a composite number?
True
Let a(t) = 2*t**3 - 4*t**2 + t + 2. Suppose 0*z = z + 7. Let s = -2 - z. Is a(s) prime?
True
Let t(c) = c**3 - 36*c**2 + 6*c + 472. Is t(37) a composite number?
False
Suppose -14*x = -12*x - 4. Suppose 5*w - 4*l = 170, 2*l - 86 = -x*w - 0*w. Is w a prime number?
False
Suppose -282 = -6*d + 948. Is d a prime number?
False
Suppose 5*x = -a + 25, 2*a + 10 = 2*x - 0*x. Suppose -m + 23 - 4 = a. Is m composite?
False
Is 33*(-4912)/(-96)*(1 - -1) composite?
True
Let k(g) = -25*g + 2. Let s be k(-1). Suppose -29*z = -s*z - 1354. Is z prime?
True
Let d be ((-25735)/(-20))/(-2 - 41/(-20)). Suppose 17*y - 22*y = -d. Is y composite?
False
Let i = 49 - 39. Suppose 2*p = -v + 2*v + i, -4*v - 31 = -5*p. Is p a composite number?
False
Let k(b) be the first derivative of b**4/4 - 4*b**3/3 - 3*b**2/2 + 4*b - 2. Suppose 20 = 2*w + 2*w. Is k(w) composite?
True
Suppose 0 = 22*r - 58549 - 38229. Is r composite?
True
Let f = 1 - 0. Suppose 0 = -u + f - 71. Let o = u - -128. Is o a composite number?
True
Suppose 5*y = 18*y - 62231. Let d = y + -1026. Is d a prime number?
True
Let l(k) = -20*k**3 + 10*k**2 + 13*k + 7. Let t be l(-5). Suppose t = -23*y + 25*y. Is y prime?
False
Let j = -45 - -48. Suppose j*v = 4079 - 506. Is v a prime number?
False
Let r = -32543 - -68580. Is r a prime number?
True
Suppose 20 = 2*j - 0. Is ((-479)/5*-1)/(2/j) prime?
True
Let n = 26 - 18. Let t(d) = 3*d**3 - 20*d**2 + 11*d + 2. Is t(n) prime?
False
Let j = 44 - 40. Suppose -2128 = -2*l - h - h, 5*l = j*h + 5293. Is l a composite number?
False
Let t(h) = 10*h**3 - 2*h**2 - 3*h. Let v be t(-2). Is ((-10)/(-4))/((-1)/v) a composite number?
True
Let v be 8 + (-16)/4 - 4. Suppose v = -2*s + 510 - 126. Let f = s - 113. Is f prime?
True
Suppose -m = 9 - 84. Let t = 124 - m. Suppose 4*w - 53 = -3*p, 4*w = -3*p + 2*w + t. Is p prime?
False
Let x(i) = i - 2. Let v be x(6). Let l be ((-2)/(-4))/((-9)/(-2826)). Suppose -v*j + 145 = y, 2*y = 4*j - y - l. Is j prime?
True
Let d be 6/10 + (-88)/(-20). Suppose d*b = 4*a + 2705, 2*a + 0 - 10 = 0. Is b a prime number?
False
Is -10821*((-52)/(-312) + (-2)/4) prime?
True
Suppose -650 = -v - 2*l + 7*l, -v + 4*l = -647. Is v composite?
True
Suppose 2*v = -3*d + 104122 - 32295, -71821 = -3*d + v. Is d a prime number?
False
Let u(v) = 33*v**2 - 3. Let z be u(2). Suppose 2*q + 2*q = 0. Suppose q = -4*o + h + z, 0*o + o - 16 = -3*h. Is o a prime number?
True
Let u be 176/40 - (-6)/(-15). Suppose -1647 = -4*g - 5*s + 805, 5*g - 3065 = -u*s. Is g a prime number?
True
Let d be (-4)/2 - -3 - -1. Suppose -3671 = -5*j + d*k, -3*k = 3*j + 1148 - 3338. Is j composite?
False
Suppose 6*f - 54335 = 170311. Is f composite?
False
Let g(j) = -j**2 + 73*j + 19. Is g(46) prime?
False
Suppose -33 - 3 = -r. Let v = -19 + r. Is -4 + v + 4 + 4 a prime number?
False
Let u = -5 + 10. Suppose 0 = -b + 7 - u. Is (341/(-2))/(b/(-4)) prime?
False
Let x(b) = b**3 - 12*b**2 + 13*b - 2. Let f be x(11). Suppose 3*s + s = f. Suppose 4*w - 210 = -s*t, 59 = 3*w - 2*w - 2*t. Is w a composite number?
True
Suppose -4*j = 5*q - 15, 2*j - 9 = -2*q - q. Suppose 5*d - 4*p - 80 = 0, 4*d + 3*p = -j*d + 33. Suppose d*x + 425 = 17*x. Is x prime?
False
Suppose q - 2*p - 14 = 0, q - 2*p - 18 = -4*p. Is 1756/8 + 24/q a composite number?
True
Let a be (-1 - -3 - 1)/(2 + -1). Is -1*(-521 + 4)*a prime?
False
Suppose 2*j = -3*d + 32, 0*j - 48 = -5*d - 2*j. Let m be (-8 + 7)/((-2)/d). Suppose 4*w - m*a - 828 = 0, 2*a + 1047 = 6*w - w. Is w a composite number?
False
Suppose 0*j - j + 2 = 0, -2*j = t - 7. Suppose -6*i + 3 = -15. Suppose -i*m = -t*s - 282, 6*s - 2*s - 158 = -2*m. Is m a prime number?
True
Suppose 0 = 5*m + 5*r - 25, -8 = -3*m + r + 11. Let q(t) = -5*t - 5 + 0*t**2 - m*t**2 + 7*t**2. Is q(15) a prime number?
False
Let p be 5*(-5)/25*2. Is (p + 1)*(2935/(-1))/5 composite?
False
Suppose 0 = 2*i + j + 2, 2*j - 3 = -7. Suppose 7*s - 948 - 949 = i. Is s prime?
True
Let l = 5 + 3. Suppose j = -p - 3*j + 165, 4*j - l = 0. Is p a prime number?
True
Suppose 2*s - 2*y - 11871 = -7*y, 3*s = -5*y + 17794. Is s a composite number?
False
Suppose -2*n - x - 5 = -n, 5*x = 0. Let u(k) = -2*k**3 - 8*k**2 - 5*k + 11. Is u(n) a prime number?
False
Let s be 2/1*(-3 + 5). Suppose 2*u + t = -1 + s, -3*u - 8 = 4*t. Suppose v - b - 161 = -2*b, u*v + 3*b - 644 = 0. Is v a prime number?
False
Let d be (17 - -1)*(-2)/(-4). Is (83/(-3))/((-3)/d) a prime number?
True
Let r = 452 - -189. Is r prime?
True
Let p(z) = -5*z**3 - 19*z**2 - 42*z + 27. Let y(u) = 2*u**3 + 6*u**2 + 14*u - 9. Let c(x) = -3*p(x) - 8*y(x). Is c(10) composite?
False
Let b be (-76)/(-28) - (3 + (-92)/28). Suppose -m = 5*u - 1281, u - b - 1 = 0. Is m a composite number?
True
Suppose 0 = 5*w - g - g - 10, 3*g + 15 = -5*w. Is w/29 + 0 + 1382 prime?
False
Let n(o) = -o - 3. Let a be n(-4). Let v = a + 1. Suppose 5*w - 225 = 2*i, v*w - 111 = -0*w + 5*i. Is w a prime number?
True
Suppose 0 + 3 = z, 5*z = -l + 20. Let q(x) = 2*x**3 - 7*x**2 - 3*x + 9. Is q(l) a composite number?
True
Let m(r) = 1407*r**2 - 7*r - 57. Is m(-4) composite?
False
Suppose 4554 = -4*a + 3*z - 4123, -4349 = 2*a - 5*z. Let w = 3729 + a. Let u = -861 + w. Is u a composite number?
False
Suppose 38*n - 61251 = 21*n. Is n composite?
True
Let s = -33 + 26. Suppose -4*o - 258 = 134. Let r = s - o. Is r a prime number?
False
Let q(f) = 0*f**2 - f**2 + 5*f + 10*f**2 - 3. Suppose -x + 0 = -4. Is q(x) composite?
True
Let p = 27 - 39. Let v = p + 15. Suppose -v*f = 4*r - 221, 2*f + 0*r - 119 = 3*r. Is f a prime number?
True
Suppose -9*g + 996 + 183 = 0. Is g a composite number?
False
Let r = 1039 + -536. Let l = r - 196. Is l prime?
True
Let t(c) = 3*c - 5*c + c - 2. Let s be t(8). Is 6/s + 3714/15 prime?
False
Is (217/4)/(5/(20/1)) a prime number?
False
Suppose 0*q - q - 1 = 0. Let r be (-1 + 0)*(1 + -1). Is (q + r)*-3 + 182 composite?
True
Let y = 1533 + 4646. Is y composite?
True
Suppose -3*v + 12 = 0, -5*t + 5*v - 11 = 14. Let i be (3 - 6 - t) + 223. Suppose 28 = 3*y - i. Is y a composite number?
False
Let d(v) = v**2 + 22*v + 16. Is d(27) prime?
False
Suppose 24*i = 21*i + 2721. Is i a composite number?
False
Let q(v) = v**2 - 9*v - 11. Let n be q(-10). Suppose 2*i + 24 = -y + n, -5 = -i. Is y a composite number?
True
Let m = 7632 - 4033. Is m a composite number?
True
Suppose -7 = -2*o - 0*z - z, o - 4*z + 10 = 0. Suppose -o*t - t = -6132. Is t/(-2)*4/(-8) prime?
False
Suppose -2*a - 554 = -k, 2*k + 3*a = 1597 - 461. Let p(r) = -24*r**2 + r - 5. Let f be p(4). Let i = f + k. Is i composite?
True
Let k(b) = -2374*b**3 + b**2 + 4*b + 3. Let d be k(-1). Suppose -4*s - 4 = -3*s, 2*r + 2*s = d. Is r a prime number?
False
Suppose 28 - 4 = -4*j + 3*d, 5*d - 20 = 0. Is 7636/8 - j/(-2) composite?
False
Let p(c) = -c**3 - 5*c - 2*c - 18 - 11*c**2 + 2*c**3 - 5*c. Let s be p(13). Suppose s = 3*r + 4*y + y, -3*y + 3 = 0. Is r a composite number?
False
Let v = -7676 - -20067. Is v prime?
True
Let s(y) = -y**2 + 16*y - 11. Let g be s(15). Let r be g/(-22) - (-29871)/33. Suppose -5*c = 5*j - 1295 - 205, -2*c + r = 3*j. Is j a prime number?
False
Let q(c) = -4*c**3 + 3*c**2 - 18*c + 3. Let j(t) = t**3 - t**2. Let p(g) = -5*j(g) - q(g). Is p(-8) a prime number?
False
Suppose 20 = -5*a, -4*d + 49772 = 5*a - 9*a. Is d a composite number?
True
Let b = 7231 - 4541. Suppose -3*y = 2*y - b. Suppose 2*z + 36 = y. Is z prime?
True
Is ((-1 - -2)*3)/(240/1715680) a composite number?
True
Is (-69779)/(-9) - (21/(-27) - -1) prime?
True
Let y(w) = -159*w**3 + 3*w + w**2 - 4*w + 2*w + 1 - 3*w**3. Is y(-2) composite?
True
Let z(m) = -m + 0 + 2*m - 4 + 23*m**2 - 10*m. Let q be z(-4). Suppose -n = -x + 398, 2*x - x - 3*n - q = 0. Is x a composite number?
False
Let r be 5/10*6*1. Suppose 8*g - 3*g + 721 = -4*y, 3*g = -r*y - 540. Let i = 234 - y. Is i a composite number?
True
Let q be 1/(-1) + 0 + 13. Let c = 72 - 69. Suppose 2*v + 41 = 3*l, 2*v + c = l - q. Is l composite?
False
Let d(u) = -u**2 - u - 1. Let p(y) = y**3 - 6*y - 6. Let x(o) = 6*d(o) - p(o). Let g be x(-6). Let s(c) = -c**2 + 2*c + 127. Is s(g) composite?
False
Let u(p) = 2*p**2 - 5*p - 16. Let c be u(5). Is (-3)/c + 1588/3 a prime number?
False
L