et d = 66 + -21. Suppose 3*w - 4*s = d, s - 36 = -3*w + 2*s. Is w prime?
True
Let l = 526 + -272. Suppose -2*b + 270 + l = 0. Is b a prime number?
False
Let g be 19/7 + (-4)/(-14). Suppose k - 133 = -2*k + 4*d, -g*d - 90 = -2*k. Is k composite?
True
Suppose 1270 + 175 = -5*g. Let a = -162 - g. Is a a composite number?
False
Let o be ((-10)/(-4))/(5/10). Suppose j - 319 = -o*c - 53, 2*j - 592 = 2*c. Is j a prime number?
False
Suppose -v - 4*v - 2128 = -o, -2*v = -4*o + 8602. Is o composite?
False
Let z(k) be the third derivative of 3/2*k**4 + 0*k + 7/6*k**3 - 3*k**2 + 0. Is z(5) a prime number?
False
Let i(u) = 4*u + 5. Let f be i(-5). Let g(o) = 8*o - 2. Let h be g(-3). Let x = f - h. Is x composite?
False
Let h(x) = -18*x + 2. Let g be h(-2). Suppose 2*s = 5*q + g, 0 = -4*s - 3*q + 5 + 45. Suppose 0 = 3*w - 5*d - 34, -52 + s = -3*w + d. Is w a composite number?
False
Let u(b) = 2*b**3 - b**2 - 3*b - 3. Is u(4) prime?
True
Suppose -t + 7*t - 30 = 0. Suppose -5*k - t*m + 400 = 0, -4*k + 345 = -0*k - m. Is k prime?
False
Let n = -4 - -10. Suppose p = 5*z + n + 1, z = 4*p + 10. Let y = p - -6. Is y composite?
False
Is (-502)/3*(780/8)/(-13) a prime number?
False
Suppose -p + 15 = 4*p. Suppose -155 = -5*v + 2*v + 2*n, -3 = p*n. Is v a composite number?
True
Let f(w) = 14*w**3 + 2*w**2 - 3*w + 2. Let d be (-2)/(-3*(-6)/(-9)). Is f(d) a composite number?
True
Let j(w) = 61*w - 4*w - 7 + 40*w. Is j(4) a composite number?
True
Suppose 2*t - 798 = -2*z, -2*z - 3*t + 280 = -514. Is z a prime number?
False
Let w = -29 + 47. Suppose 0*n + 73 = 4*n + 3*v, n + v = w. Is n a composite number?
False
Suppose 4*c - 2*a - 1272 = 0, 0 = 4*a - 9 + 1. Is c composite?
True
Suppose -3*f - 2*f = 4*i - 44, -4*i - 4*f + 40 = 0. Is 113/3 + (-4)/i prime?
True
Suppose -41 = j + 105. Let y = j - -205. Is y prime?
True
Let s = 8 - 11. Let m = 3 + s. Suppose m = 3*r - 15, -5*t + 3*r = -2*t - 78. Is t composite?
False
Is 3004/12 + 4/6 prime?
True
Let g(x) = x**3 + 13*x**2 + 13*x + 11. Let a be g(-12). Is a/(-2*(-2)/(-580)) a composite number?
True
Let w(c) be the third derivative of c**6/120 - 2*c**5/15 - 5*c**4/12 + 11*c**3/6 - 3*c**2. Is w(9) prime?
True
Let k(u) = 4*u**2 + 12*u + 19. Is k(13) composite?
True
Let d(x) = x**3 - 4*x**2 - x + 5. Is d(7) a prime number?
False
Suppose -3*m = 1 + 2. Let a(d) = -61*d**3 + d**2 + d + 6. Let v(t) = 60*t**3 - t**2 - t - 5. Let h(z) = -5*a(z) - 6*v(z). Is h(m) a prime number?
False
Suppose 5*q - 57 = -h, -2*q + 3*q + 3 = -5*h. Suppose 5*l = -2 + q. Suppose -l*c + b + 37 = 0, -7 - 13 = -4*b. Is c a prime number?
False
Let c(v) = -20*v - 1 + 0*v + 4. Is c(-4) prime?
True
Let h(r) = 3 + 0 - 4 - 10*r - 16*r. Is h(-2) a composite number?
True
Let t(r) = -r - 2*r + 0*r**2 + 2*r**2 + 4*r. Let b be t(-1). Is -22*(b + -4 - -2) prime?
False
Let t be (-4)/6*-3*1. Suppose 4*u - 40 = 5*b, 5*b - 22 = -t*u - 2. Suppose 2*w - 30 = -w - 4*n, -u = -w - 2*n. Is w a prime number?
False
Let u(o) = 1499*o**3 - o**2 + 1. Is u(1) a composite number?
False
Let q(r) = r**3 - 3*r**2 + r + 2. Let m = 2 - 0. Let n be q(m). Suppose n = -0*a - a + 51. Is a prime?
False
Let i = 4 + -5. Is (-1)/1 + i + 201 a prime number?
True
Let m(k) = 84*k + 1. Is m(1) a composite number?
True
Suppose -1262 = 4*l + x - 4409, l = -5*x + 782. Is l a composite number?
False
Let u = -816 - -1219. Is u a prime number?
False
Suppose 6*b - 2050 = b + 5*a, -813 = -2*b - 5*a. Is b a prime number?
True
Suppose 2*w + 672 = -2*u + 4*u, -3*u = 2*w - 993. Suppose 2*a = -a + u. Is a composite?
True
Let d be (2/2)/((-1)/(-5)). Is 326/5 + (-1)/d prime?
False
Is (-12)/8*(4036/(-6) + 0) composite?
False
Suppose 0 = -4*j - 0*j + 2736. Suppose -5*b - 4*a + j = 0, b - 4*b + 409 = a. Is ((-6)/(-4))/(4/b) a prime number?
False
Suppose 0 = -a - 4*a - 2*c + 5213, -2*a + 3*c + 2089 = 0. Is a prime?
False
Suppose 7 = 2*r + 1. Suppose 4*o + 3*d - 211 = 0, -2*o + r*d - 6 + 125 = 0. Is o a prime number?
False
Let c = 137 - 82. Is c composite?
True
Let s(x) = 8*x**2 + 2. Let b be s(3). Suppose -82 = -4*a + b. Suppose 0 = 5*m - a - 56. Is m a composite number?
False
Let z(h) = h**3 - 4*h**2 + 3. Let v be z(4). Let m be ((0 - 2) + 3)*56. Suppose -v*a + m = a. Is a composite?
True
Is ((-1054 + -1)/5)/(-1) a prime number?
True
Let w(m) = -16*m - 1. Let j be w(-2). Let n(p) = -p**3 + 14*p**2 - 14*p + 15. Let q be n(13). Suppose i = q*b + j, 2*b = -2*i - 0*b + 38. Is i prime?
True
Let h(j) = j**3 - 10*j**2 - 10*j + 4. Let w be h(11). Let y = 82 + w. Is y a prime number?
True
Suppose -4*p + 70 = p. Suppose r - 99 = -p. Is r prime?
False
Let t(a) = -118*a - 1. Let c(g) = -g**3 - 5*g**2 + g + 3. Let w be c(-5). Is t(w) composite?
True
Is ((1 - 2686) + -1)/((-2)/1) composite?
True
Is (-8 - -9)/((-24915)/12459 - -2) prime?
True
Let q(x) = -x**3 + 11*x**2 + x - 10. Let f be q(11). Let t(m) = 37*m**2 + 2*m - 2. Is t(f) a composite number?
False
Let q be ((-14)/(-8) - 3)*-28. Suppose -q = 2*d - 189. Is d composite?
True
Let a be -28*(10/2 + 0). Let c(r) = 18*r + 5. Let d be c(-5). Let k = d - a. Is k prime?
False
Let v(x) be the third derivative of x**6/120 + 2*x**5/15 + x**4/12 - 4*x**3/3 + 2*x**2. Let z be v(-8). Let o = 45 + z. Is o a prime number?
False
Suppose -3*k = -0*k - 1443. Is k prime?
False
Let w(q) = q**2 - 8*q + 6. Let k be w(6). Let g = 10 + k. Is (175/(-20))/((-1)/g) a prime number?
False
Suppose -1237 = -2*j - 11. Let t = j + -415. Is 4/3*t/12 a composite number?
True
Let a(o) = o**3 - 8*o**2 + 2*o + 5. Suppose 16 = -5*f + 7*f. Is a(f) a composite number?
True
Suppose 2*x + x = -9. Let i be 13/x - 2/(-6). Is i/(-10) + 146/10 composite?
True
Let d = -584 + 1108. Is ((-4)/(-16))/(1/d) prime?
True
Suppose 4 = o - 0*o. Suppose -5*d + 1 + 0 = 2*r, o*d - 5 = -3*r. Is -3 + 1 - d - -192 prime?
True
Suppose -4*f = 4*v - 888, -5*v = f - v - 216. Let x = f + -13. Is x a composite number?
False
Let m = -58 + 175. Let x = -50 + m. Suppose -2*d - j = 3*j - 50, -3*d = -2*j - x. Is d a composite number?
False
Suppose 2*m - 3*m + a + 7 = 0, -a + 9 = 3*m. Let p(y) be the second derivative of -y**5/20 + y**4/2 - 5*y**3/6 + 3*y**2/2 + y. Is p(m) a composite number?
True
Let h(j) = -143*j - 2. Is h(-3) a composite number?
True
Let u be ((-30)/(-9))/(1/(-57)). Let x = u + 102. Let s = -33 - x. Is s prime?
False
Suppose 0 = -2*v + 35 + 75. Is v a composite number?
True
Let x(m) = -3 + 1 - 5*m**3 + 1 + 2*m - 3*m**2 + 6*m**3. Is x(5) prime?
True
Let i = -258 + -54. Let r = i + 491. Let x = r - 16. Is x composite?
False
Let a = 2965 + -1596. Is a a prime number?
False
Is (2/4)/(6951/(-6954) - -1) a composite number?
True
Suppose 0*p - 2*p = -10. Suppose 143 = p*l + 13. Is l a composite number?
True
Let q(o) = -o. Let t be q(-2). Suppose 41 - 155 = -t*h. Is h a prime number?
False
Let m(p) = p**2 - p - 1. Suppose 0 = -2*y - 19 - 11. Let f = -10 - y. Is m(f) a prime number?
True
Let q(w) = -2*w - 12. Let j be q(-8). Suppose 0 = 3*s - c - 3, j*c = 3*s - 0*s - 12. Suppose 3*n - 2*n - 79 = s. Is n a composite number?
False
Let q = 133 - 36. Is q composite?
False
Let b = 27 - 16. Is (-10)/(-2)*(b - 0) prime?
False
Suppose -3*n + 597 = -5*v, 958 = 5*n + 6*v - 2*v. Is n composite?
True
Is (-3 + 268)*-6*2/(-20) prime?
False
Let i(m) = 2*m - 1. Let z(h) = 3*h - 2. Let t(d) = 5*i(d) - 4*z(d). Let r be t(6). Is 3/r + (-19)/(-3) prime?
False
Let x(l) = 3*l**2 + 8*l + 6. Let i = -16 + 9. Is x(i) a composite number?
False
Suppose 895 = 2*l - 3*q, 3*l = -5*q + 678 + 636. Is l composite?
False
Let y be -2 - 5/(5/3). Let x(k) = k**3 + 6*k**2 + 3*k - 5. Let g be x(y). Suppose 9*d - g*d = 60. Is d a prime number?
False
Suppose -5*m - 169 - 167 = -z, 3*m + 1020 = 3*z. Is z prime?
False
Suppose j - 42 = 4*j. Is (2/1)/(j/(-175)) composite?
True
Let o(k) be the third derivative of 27*k**4/4 + k**3/6 + k**2. Suppose -u + 3 = 2*u. Is o(u) composite?
False
Suppose -3*i + 91 = -272. Is i composite?
True
Let d(x) = -x**2 + x + 127. Let t(o) = -o - 5. Let w be t(-5). Is d(w) prime?
True
Let r = 453 + -235. Is r a prime number?
False
Let q(d) = -57*d + 6. Is q(-3) a composite number?
True
Let n = -33 + 113. Let g = -23 + n. Suppose d + g = 4*d. Is d composite?
False
Suppose -4*g = d - 379, -1137 = -2*d - d + 5*g. Is d prime?
True
Let c be (18*-1)/((-3)/8). Supp