*t - 3*t = -3*o - 1, 0 = o - 1. Let q be n(t). Let d = q + -32. Is d prime?
False
Suppose 3*b = 11 - 2. Suppose 2*g + 68 = 5*t + 179, 4*g + b*t - 235 = 0. Is g composite?
True
Suppose 3*t + 75 = 8*t. Suppose -5*s + 60 = 4*r, t = 4*r + 3*s - 45. Is (-6)/r + (-172)/(-5) composite?
True
Suppose -3*l + 3 + 9 = 0, -2*l - 2 = -2*c. Suppose -3*z = 2*o - 10 - 3, -7 = -c*z + 4*o. Is z prime?
True
Let b(x) = x**3 + x + 658. Let h be b(0). Suppose 5*o - 5*q = 1020, 5*o + 4*q - 353 = h. Is o composite?
True
Let d = 3 + -3. Let x = d - 3. Is (x/9)/1*-27 a prime number?
False
Suppose -1 - 5 = u. Let f(h) = h**3 + 6*h**2 - 2*h - 7. Let s be f(u). Suppose -s*w = 2*r - 12, -2*r = -0*r - 5*w - 32. Is r a prime number?
True
Suppose 3*t = 17 - 2. Suppose 2*k = i - k, -5*i + t*k = -10. Suppose -4*r + 21 = 3*x + i, 12 = 2*x + 5*r. Is x prime?
False
Suppose 3*u - 7*u = -6388. Is u a composite number?
False
Let h = 5977 + -1886. Is h a composite number?
False
Suppose -5*g = i - 7, 5*i - 4*i = -4*g + 5. Suppose h = 5*a - 1441, -4*h = g*a - 176 - 418. Suppose -a - 55 = -5*c + p, -c - 4*p + 73 = 0. Is c composite?
True
Let j(o) = -30*o + 6. Let r be j(-6). Suppose -a - r = -4*a. Suppose -k + a = k. Is k a prime number?
True
Let x(s) = -5*s + 7*s - s + 10. Let j(r) = -7*r**2 + 1. Let h be j(1). Is x(h) a composite number?
True
Let k = -11 + 21. Is 3/15 - (-1908)/k prime?
True
Suppose 4*w - 3*u - 11 = 2*w, -4*u = -3*w + 16. Suppose -138 = f + a - 354, 4*a = w*f - 824. Is f a composite number?
False
Let j(o) = 8*o**2 + 12*o**2 + 1 - 2*o**2 + 3*o. Suppose 5*f + 29 = -2*c, 20 - 1 = 3*c - 5*f. Is j(c) a prime number?
True
Let q(y) = 3*y**2 + 4*y - 2. Let s = -7 + 10. Is q(s) a composite number?
False
Suppose 2*f = 7*f - 10. Suppose f*r = 193 - 29. Is r a composite number?
True
Suppose -5*t = 5*v - 1060, -5*v + 6 - 11 = 0. Is t composite?
True
Suppose 2*o - g - 1182 = -o, 5*g = 5*o - 1980. Is o prime?
False
Suppose -2*o - 2*f = -464, -3*f - 963 = o - 5*o. Suppose 9*x - o = 6*x. Is x a composite number?
False
Let m be (24/(-42))/((-2)/7). Suppose 0 = m*b - 5*b + 15. Suppose 3*o - 18 = -f, -b*f + 2*o + 4 = -3*f. Is f prime?
False
Let i(x) = 5*x + 5. Let r be i(-4). Suppose -m = -2*s - 12 + 32, -2*m = 2*s + 58. Let p = r - m. Is p prime?
True
Let s be (-5310)/(-14) + (-16)/56. Suppose -y + 3*b = -s, 0 = -4*y - y + b + 1895. Is y composite?
False
Let b be ((-33)/1)/(9/(-30)). Suppose -b + 554 = -3*z. Is (-12)/(-8)*z/(-6) prime?
True
Let s be 1/2*6 + 0. Let k(g) = 5*g**2 - 5*g + 4. Is k(s) prime?
False
Suppose -192 = 3*g - 987. Is g composite?
True
Suppose -5*d + 7957 = 2382. Is d a prime number?
False
Is (-2)/(-10)*(565 + 0) a prime number?
True
Suppose 2*i - 75 = -345. Let h = 90 + i. Let m = h + 79. Is m a composite number?
True
Let v(c) = 7*c + 3. Let l(w) = 15*w + 7. Let b(n) = 2*l(n) - 5*v(n). Is b(-4) a composite number?
False
Is (-6830)/(-7 + 2) + (-4 - -1) a prime number?
False
Suppose 4*r - 16 = 4*y, -2*r = 2*r + 16. Let b(g) = -6*g + 5. Is b(y) prime?
True
Suppose -3*d + 365 = -z + 18, 2*d - 220 = -5*z. Suppose 3*n - 2*n = d. Is n prime?
False
Let a = 11 + -7. Suppose -5*o - 5*h + 175 = -0*h, a*h + 4 = 0. Suppose -o = -0*g - 4*g. Is g a prime number?
False
Suppose 10745 = 16*z - 11*z. Is z composite?
True
Suppose -11 = -2*g - 27. Let t(r) = 2*r**2 - 3*r + 11. Is t(g) a composite number?
False
Let k(f) = f**3 + f**2 - 4*f - 2. Let g(v) = -v**3 - v**2 + 4*v + 3. Let q(y) = 3*g(y) + 2*k(y). Is q(-6) composite?
True
Suppose -2051 = -3*f + 3*y - 422, 2*f + 2*y - 1078 = 0. Is f composite?
False
Let t be 9*(0 + 1)/(-3). Is t + 4/6*249 a prime number?
True
Let s(r) = -115*r - 31. Is s(-8) a prime number?
False
Let g(v) be the second derivative of v**3/6 + v**2 + v. Let m be g(-2). Suppose -4*z - z + 5*i + 35 = m, z = 4*i + 7. Is z prime?
True
Suppose -2*z - 167 = -5*f + 134, 2*f = -3*z - 499. Let b = z + 256. Is b a composite number?
True
Let u = 301 - -1492. Is u a composite number?
True
Let t(u) be the third derivative of 7*u**5/60 - u**4/12 + u**3/6 + 3*u**2. Let h be t(1). Is 914/14 + h/(-21) a composite number?
True
Let w = 14 - 11. Is (-8 + w)*-73*1 composite?
True
Let u(y) = y**2 + 12*y + 13. Let i be u(-11). Suppose -i*t - 11 = -3*z, -6*z + 3*z - 4*t + 41 = 0. Let c(w) = w**2 - 5*w + 1. Is c(z) a prime number?
False
Suppose 0 = -3*i + 4*p - 1310, 3*i + 5*p + 441 = -851. Let n = i - -625. Suppose -5*b = -916 + n. Is b a composite number?
True
Let y(i) = -i + 1. Let n be y(7). Let w(c) = c**3 + 7*c**2 + 1. Is w(n) a composite number?
False
Let f(h) = 4 + 14 - h - 2. Let i be f(12). Is (-1)/i + (-125)/(-20) a prime number?
False
Suppose 0 = -k - 3*k + 3668. Is k composite?
True
Suppose -2*v - v - 5*i = -31, 0 = v + i - 7. Suppose -f + v*o - o + 24 = 0, 4*f - 91 = 3*o. Is f a composite number?
False
Suppose -3*l - 2*l = -55. Is l composite?
False
Let a(h) = -340*h**3 - h - 1. Let m be a(-1). Suppose 0 = -4*u - 0*u + m. Is u a prime number?
False
Suppose 5*v - b - 46 = -0*b, -4*v + 4*b + 40 = 0. Let a = 30 + v. Is a composite?
True
Let m = 386 + -760. Let x be 6/(-9) + m/6. Let n = x - -94. Is n a prime number?
True
Suppose w = 4*x - 762, 0 = 4*x + 4*w - 2*w - 768. Is x prime?
True
Let a = -12 + 3. Let t = a + 9. Is 37*(0 - (t + -1)) a prime number?
True
Let k = -5 + 3. Let v = k - -7. Suppose -p = -4*g - 17, -3*p + 26 = p + v*g. Is p a composite number?
True
Suppose j + 3 = -2*j. Let w be (1/j)/(2/86). Is 1/(w/(-21) + -2) prime?
False
Let z be ((-8)/(-6))/(6/(-7389)). Is z/(-8) - (-5)/(-20) prime?
False
Is 12/48 + 11/(-4)*-57 prime?
True
Suppose 30*c - 499 = 29*c. Is c a prime number?
True
Let d(m) be the first derivative of m**3/3 - m**2/2 + 6*m - 2. Let w be d(0). Suppose -x - w = -3*x. Is x prime?
True
Let g = 582 - -5095. Is g composite?
True
Let z = -559 - -1058. Is z composite?
False
Suppose -5*y + 3*r + r + 3800 = 0, -5*y + 3*r + 3805 = 0. Suppose -3*s = -4*i - 2237, -6*s + 5*s + 5*i + y = 0. Suppose -4*h = -193 - s. Is h composite?
False
Suppose -2*f + y + 7 = 0, -2*y + 5*y = -4*f - 1. Let g(z) = z - f*z**2 - 6 + 0*z + 0*z + 2*z**3 + 1. Is g(4) a prime number?
False
Let u be 22/(-26) + (-10)/65. Let l(w) = -67*w**3 + w + 1. Is l(u) prime?
True
Is ((-2935)/(-10))/(3/6) prime?
True
Let o(w) = -184*w**2 - w + 2. Let g be o(-2). Let u = g - -1219. Is u prime?
True
Suppose 3*i = 2*n - 12, 0*n - 24 = -4*n - 4*i. Let x(h) be the third derivative of -h**6/120 + 7*h**5/60 + h**3/2 - 5*h**2. Is x(n) a composite number?
True
Let m = 25 - 14. Suppose -r - 30 = -2*w, -r - m = -4*w + 17. Is (-21)/4*r/12 a composite number?
True
Let i(k) = -6912*k - 7. Is i(-1) a composite number?
True
Let p(g) = 2*g**2 - 3*g + 3. Let s(j) = -j**3 - 6*j**2 - 5*j - 3. Let n be s(-5). Let t = n + -1. Is p(t) prime?
True
Let v = 32 + 21. Is v a prime number?
True
Let s = 106 - 85. Is s prime?
False
Let i = 5 - 3. Is i + (-9)/(-3) + 1 a composite number?
True
Let b(o) = -o**2 - 7*o - 12. Let i be b(-7). Is (i - -6)/((-2)/29) a composite number?
True
Let t(v) = 37*v**2 + 2*v - 3. Let u be (4/14)/(3/21). Is t(u) a prime number?
True
Suppose w = -1, -3*w + 2*w + 1795 = 4*g. Is g composite?
False
Let u(d) = -d**3 + 21*d**2 + 27*d - 14. Is u(21) prime?
False
Let b be 10*(15/(-6) - -3). Let n(w) be the second derivative of -w**5/20 + 5*w**4/12 + w**3/2 - w. Is n(b) a composite number?
True
Suppose 0 = -5*m + 3*t + 220, 3*m + m - 3*t - 179 = 0. Suppose -3*r - 7 = -d, 3*d + 0*r + r = m. Is d a prime number?
True
Let m(f) = 0*f + 17*f**2 - 1 + f - 4*f. Is m(-3) a composite number?
True
Suppose 0 = 4*l - 603 - 41. Is l a composite number?
True
Suppose -p - 7 = -0. Let y = 11 + p. Suppose 3*t - y*t = -13. Is t a composite number?
False
Suppose 2*g + g = 6. Suppose 0 = -4*w + g*w + 474. Is w composite?
True
Let j = 443 + -286. Is j prime?
True
Let n = -41 - -18. Suppose l = 5*l - 176. Let m = n + l. Is m a prime number?
False
Let a(c) be the third derivative of c**4/24 + 19*c**3/2 - 2*c**2. Let r(m) = m**2 + 3*m - 4. Let g be r(-4). Is a(g) composite?
True
Suppose 4*m - 3*h = -27, m - 4*m - 33 = 2*h. Let a be (0 - 1)/(3/m). Suppose -80 = -r + a*i - 12, 410 = 5*r - i. Is r a prime number?
True
Suppose -4*p = f - 1152, -5*p + 175 + 1290 = -5*f. Is p a composite number?
True
Let m be ((-18)/2)/(-1) - -1. Let s(k