, 2*h = -y*d + 64. Is (h/3)/((-6)/(-54)) prime?
False
Let h(w) = 79*w**3 - w**2 + w. Let p = 31 + -24. Suppose -3*m + 4*m + p = 2*z, -4*m = -4*z + 24. Is h(z) a composite number?
False
Let a = 15197 - -62820. Is a a composite number?
False
Let a(v) = 8*v**2 + v + 0 + v**2 + 2 - v**3. Is a(9) a prime number?
True
Let j(b) = b**2 - 17*b + 2. Let p be j(17). Suppose 5*z - 9 = -3*w, 6 = -p*w - w. Suppose -3*d = 2*g - 1885, 8*d - z*d - 3163 = 2*g. Is d composite?
False
Suppose -4*b + 6636 = -0*b + 2*j, -5*b - j = -8289. Is b a prime number?
True
Let y = -7059 + 19818. Is y prime?
False
Let x = 16 - 12. Suppose 25 = -2*o + n + 2*n, -15 = x*o + n. Let d(a) = -11*a - 2. Is d(o) composite?
False
Let y(i) = 129*i + 1. Let k be y(1). Let w(a) = -k*a - 5 + 23*a + 8 + 0. Is w(-2) prime?
False
Suppose -8*w + 5*w = -639. Let c = 658 + w. Is c composite?
True
Let b(t) = t**2 + 4*t - 2. Let p be b(-4). Let a(j) = -1360*j + 9. Is a(p) a composite number?
False
Let a(m) = -5*m**3 + 4*m**2 - 8*m + 3. Let i(g) = 4*g**3 - 5*g**2 + 9*g - 3. Let p(h) = -5*a(h) - 4*i(h). Let r = -6 + 8. Is p(r) a prime number?
False
Let k = -2110 - -3691. Suppose -8*q + 5*q = -k. Is q a composite number?
True
Let b(n) = -n**3 + 8*n**2 + 2*n. Let r be b(8). Is (-2133)/(-15) + r/20 a prime number?
False
Let x(i) = i - 14. Suppose -b = -5*z + 29, -b - 22 = -4*z + b. Let n be x(z). Is (-6)/n - 8723/(-44) composite?
False
Suppose 0 = -3*u + 5*u. Suppose 0 = 5*a - u*a. Suppose -s = q - 12, a*s - 4*s - 17 = -q. Is q composite?
False
Let d be 39/7 - 20/35. Let j be ((-6)/8)/(d/(-20)). Suppose -j*q + 3*r + 1923 = 0, -62 - 579 = -q + 4*r. Is q composite?
False
Suppose 37022 = 16*h - 10418. Is h composite?
True
Let d = 24218 - 13927. Is d a composite number?
True
Let c = 6 - 6. Let z(d) = d + 345. Let y be z(c). Suppose 4*s - 281 = -3*m, 2*s + 3*s = -5*m + y. Is s a prime number?
False
Let f(n) = -1 - 3 + 151*n + 0 + 2. Let b = 78 + -77. Is f(b) composite?
False
Let c = 3 - 3. Suppose 6*o = -c*o. Suppose -20*n + 21*n - 59 = o. Is n prime?
True
Suppose -n = 4*g - 46, -12 = -5*g + 13. Let z be 1 + n + (-3)/(-1). Suppose -z = -2*k - 2. Is k composite?
True
Let l(p) = -45*p**2 + 4*p - 2. Let c be (-3)/6 - 5/(-2). Let f be l(c). Let x = f - -243. Is x composite?
True
Suppose 0 = 2*l - 0*l - 44. Suppose -l*r - 806 = -24*r. Is r a composite number?
True
Suppose g + 4*j + 8 = 3, 0 = -3*g + 3*j + 15. Suppose -3*r - g*r = -726. Is r prime?
False
Let j = -1545 + 16592. Is j a prime number?
False
Let d(s) = -33*s**3 + 2*s**2 + 6*s + 43. Is d(-6) a composite number?
False
Suppose 3*i - 85058 = -5*r + 165294, 3*r + 417310 = 5*i. Is i a composite number?
False
Let r(c) = 2*c**2 + 13*c - 1. Is r(-16) prime?
False
Suppose 0 = -4*i + i + 9. Is (0 + -322)*(i/6 - 1) a composite number?
True
Suppose -c - 10469 = -3*f, -10*c + 7*c = 2*f - 6994. Is f a prime number?
True
Let x(i) = -2272*i + 117. Is x(-5) a prime number?
False
Suppose 10*a + 2*n - 3631 = 5*a, 4*a - 2912 = -4*n. Let h be (-13)/((-156)/8)*1*3. Suppose -3*z - h*z = -a. Is z a composite number?
True
Let h be 7*((-9)/(-27) - (-2)/21). Suppose -7*s + 3*s - h*g + 1942 = 0, -5*g = 4*s - 1938. Is s a composite number?
False
Is (-19225717)/(-268)*(-8)/(-14) prime?
True
Suppose 3*n - n = 5*z - 569, -4*z + 448 = 2*n. Let i = 4 + -1. Suppose -2*j = -i*j + z. Is j a composite number?
False
Let i(m) be the first derivative of 17*m**5/120 + m**4/2 - 2*m**3 + 13. Let g(v) be the third derivative of i(v). Is g(5) a prime number?
True
Let l(b) = 13*b + 6. Let s be l(10). Let z = s - -27. Is z composite?
False
Let x be (-3)/(3 + 3)*-4. Let u(l) = l**3 - 2*l**2 + 2*l. Let w be u(x). Suppose w*n - 2*n = 1642. Is n prime?
True
Suppose 2*z + 44 = 154. Let q(i) = 10*i**2 - i - 1. Let w be q(-4). Suppose -2*v = -z - w. Is v prime?
True
Let t = 30 - 2. Let i(a) = -8*a**3 + t - 13 + a**3 + 15*a**2 + 6*a**3. Is i(14) composite?
False
Suppose -3*o - 105 = -354. Is o a prime number?
True
Let a(v) = 13*v**2 - 11*v - 14. Let p be a(-7). Suppose p = 8*f + 148. Is f a prime number?
False
Suppose 0 = -s + 3*n + 685, -3*n + 900 - 3595 = -4*s. Is -4 + s*(-3)/(-6) a composite number?
False
Let u be ((-339)/(-15) - -1)*85. Suppose 165 = -g + u. Is g prime?
False
Let p(l) = 191*l**3 + l**2 + l + 2. Is p(3) composite?
False
Let a(c) = 52*c**2 + c + 2. Let k(p) = -p**2 + 6. Let r be k(-3). Is a(r) a composite number?
False
Suppose -2845 = -9*c + 2978. Is c composite?
False
Let j be 3/3*-2 - -4. Suppose -3 = -j*p + 3. Suppose 0 = 4*t + p*m + 7 - 31, -4*t + 4*m + 52 = 0. Is t composite?
True
Let o(x) = -2*x**3 - 14*x**2 - 5*x - 21. Let t(q) = -q**3 - 7*q**2 - 3*q - 10. Let w(i) = 3*o(i) - 5*t(i). Is w(-9) composite?
False
Let c be 28890/35 + 6/(-14). Suppose c = -4*m + 3173. Is m prime?
True
Let b(k) = 2937*k - 130. Is b(17) a composite number?
True
Suppose 4*v = 5*j + 3, 5*j = -0*j + 5*v - 5. Let a be j/((-3)/(-717 + 0)). Suppose 2*c + 45 = a. Is c a composite number?
False
Suppose 3*o - 5*n + 13 = 0, 5*o - n = 23 - 8. Suppose 32 = -o*b + 156. Is b prime?
True
Let h(j) = -64*j**3 + 4*j - 7. Suppose 26 = -10*z - 4. Is h(z) a composite number?
False
Suppose -2*z + 20 = 3*x - 2*x, x - 8 = 2*z. Suppose 3*g = 4*y - 307, 245 - x = 3*y - 2*g. Is y composite?
False
Let c = -3 + 6. Let a(b) = b**2 - b - 6. Let l be a(c). Suppose l = -8*m + 7*m + 203. Is m composite?
True
Let v = -2906 - -12705. Is v composite?
True
Suppose 2*q - 3*l = 4*q + 77, -3*q - 2*l - 123 = 0. Let c = -12 - q. Is c a composite number?
False
Let v(j) = 7*j + 1. Let l be v(1). Suppose 0 = 4*i, 4*s + 5*i - l = 4. Suppose -u = -s*u + 3*z + 71, -5*u + 4*z + 174 = 0. Is u a composite number?
True
Let h(d) = 5*d + 2. Let j be h(2). Let c = -6 + j. Suppose -2*o + 211 = -3*w, -c*o + 221 = -4*o - w. Is o a composite number?
False
Suppose u + 2*v - 359 = 0, 0 = 4*u - u - 3*v - 1095. Let w = 890 - u. Is w prime?
False
Let m(w) = -185*w + 451. Is m(-8) a composite number?
False
Suppose 18*w - 22*w + 1280 = 0. Suppose -3*n + w = -241. Is n composite?
True
Suppose 0 = -4*r - 2*y + 23553 - 2133, -r - y = -5357. Is r prime?
False
Suppose 2*c - 2068 - 2142 = 4*m, 2*c - 3159 = 3*m. Let b = m + 1796. Is b composite?
True
Let v(b) = 7 + 6 - 5 - 17*b - 26*b. Is v(-5) a prime number?
True
Let d = 5241 + -2775. Let t = 3613 - d. Is t a prime number?
False
Suppose 4*t = -3*d + 4870, d + 2*d - 4874 = -5*t. Is d composite?
True
Let q = 2798 - 1674. Suppose 7*f = 3*f + q. Suppose 148 = t + 3*s, t + 3*s = -t + f. Is t a prime number?
False
Let d(s) be the third derivative of 3*s**4/2 + s**3 + 14*s**2. Let m be d(4). Let r = 157 + m. Is r a composite number?
False
Suppose -12 = -16*u + 12*u. Suppose -2*k = -u*k. Suppose 4*q - 5*n + k = 29, 0 = -3*n - 3. Is q a composite number?
True
Suppose -15*o + 5*o = -26270. Is o prime?
False
Let s = -16069 + 27942. Is s a composite number?
True
Suppose 16*r - 132347 = -33803. Is r composite?
True
Let p(s) = 221*s + 57. Is p(2) prime?
True
Is (-4 + 2)*(-3565)/10 a composite number?
True
Let c = -869 - -112. Let t = c + 1459. Suppose 4*w - 2*k - t = 0, -203 = -w - 2*k - 3*k. Is w a prime number?
False
Suppose a = -5*t + 1653, 3250 = a + a - 4*t. Is a a composite number?
True
Suppose -4*w + 0*r + 2*r + 14 = 0, 7 = 3*w - 5*r. Let j(h) = h - 2. Let v be j(7). Suppose -b + 2097 = v*m, -509 - 1159 = -w*m + 4*b. Is m a prime number?
True
Is 171660/16 - 5/(-20) prime?
True
Let c be 3/(-12) - (-27)/12. Suppose -3*m + 3850 = 4*g, -c*m + 2*g = 6*g - 2568. Suppose -3*j - 1376 = -5*t + 1790, 2*t - m = -4*j. Is t a composite number?
True
Let j be 2 + -1 - (-1 + -2) - -1. Suppose 0 = 9*m + j*m - 32494. Is m a prime number?
False
Suppose -y + 140 = y. Let d(k) = 9 + 12*k - y*k + 8*k. Is d(-5) a prime number?
False
Let w = -76 + 53. Is ((-111)/6 - 0)*(-3 + w) composite?
True
Suppose -4*m = -3*r - 11083 + 178350, -167275 = -3*r - 4*m. Is r a composite number?
True
Suppose -w + 4*v + 26850 = 0, 3*w - 2*w - 26838 = v. Is w a composite number?
True
Suppose 5*q + 0*m + 860 = -2*m, -4*q - 688 = 4*m. Let i = 250 + q. Suppose 2*p + 3*f - 44 = 0, 4*p + f = -0*f + i. Is p prime?
True
Let s(l) = -12217*l - 103. Is s(-5) prime?
False
Let l = -1 + -14. Suppose -57*s + 6875 = -62*s. Is s/l - 4/6 a composite number?
True
Is ((-2)/(-1))/((-118)/(-157