Suppose 8 = -2*c + l - 5*l, 0 = -3*c - 2*l + 4. Suppose d + d = 0. Is d + 2 - -1*c a composite number?
True
Let c = -4 + 2. Let z be (-28)/6 - 6/(-9). Is (52 - z) + 2/c prime?
False
Suppose 0 = y + 2*y + 21. Let r(z) = -19*z - 6. Is r(y) a prime number?
True
Let l be (-423)/1*(-28)/21. Suppose 5*p - l = -79. Let u = p + -62. Is u a composite number?
True
Suppose 6*l - 269 = l - 2*g, -204 = -4*l + 4*g. Let i = l - 32. Is i composite?
True
Let h(i) = i**2 - 2*i + 1 + 0*i + 7*i. Is h(4) composite?
False
Suppose 5*c + 0 = 40. Suppose 0 = -3*p + 2*l - 4*l - c, -3*l = 3. Is 2 - 33/(2/p) a composite number?
True
Let h(a) = a**3 + 8*a**2 - 5*a - 5. Let i = -16 - -9. Is h(i) prime?
True
Let f(l) = -l**3 + l - 8. Let u be f(0). Let w be 104/(-10)*140/u. Suppose 6*r - 4*r = w. Is r composite?
True
Let a(t) be the second derivative of -t**5/20 - t**4/12 - t**3/6 + 13*t**2 - t. Let h be a(0). Suppose 0 = 2*d - 4*d + h. Is d composite?
False
Suppose -2*d + 558 + 56 = 0. Is d prime?
True
Suppose -3*o + 309 + 1380 = 0. Is o a prime number?
True
Let f = 37 + -18. Is f a prime number?
True
Let t = 197 + -110. Is t composite?
True
Let c(h) = -h**3 + h**2 + h + 9. Let j be c(0). Suppose 2*l - 5*l = j. Is (-5)/(-1)*l/(-1) composite?
True
Let r(a) = a**3 + 7*a**2 - 9*a - 1. Let j = 14 + -20. Is r(j) composite?
False
Suppose 2*s - 996 = -250. Is s a prime number?
True
Let y(x) = -x**2 + 8*x + 5. Let t be y(8). Is ((-11)/(-2))/(t/10) prime?
True
Let s = -1 + 3. Suppose -x = 1, c = x + s*x + 40. Is c a composite number?
False
Let p(j) = j**2 + 10. Suppose -2*h = -6*h - 32. Let z be (4/h)/(1/(-14)). Is p(z) a prime number?
True
Suppose 3*f - 166 - 47 = 0. Suppose -w + 88 = -2*q, -w = 3*q - f + 8. Suppose 5*n - 243 = 2*r, 4*r + w - 15 = n. Is n composite?
False
Let p(d) = -51*d + 1. Is p(-6) composite?
False
Let x(v) = v**2 - v + 3. Let p be x(0). Suppose 19 - 76 = -p*i. Is i a prime number?
True
Suppose 3*y - 8*y - 4*u = -146, y - 22 = u. Is y composite?
True
Suppose 3*f = 53 + 40. Is f prime?
True
Let q = 307 - 165. Is q a prime number?
False
Suppose u - 21 = -5*p + 46, -2*u + 4*p = -92. Let j(v) = -14*v**2 + v. Let o be j(-1). Let d = u + o. Is d a composite number?
False
Let d(y) = -5*y + 5. Let s be d(-8). Let p = -8 + s. Is p composite?
False
Suppose 4*z + 80 = 9*z. Suppose -z = -2*m + 36. Let c = m + -13. Is c composite?
False
Let p = 640 + 39. Is p a composite number?
True
Let f be ((-3384)/21)/((-2)/14). Is f/7 - (-15)/(-105) prime?
False
Suppose 2 = -3*q - 16. Let l(b) = 3 - b**2 + 9*b + 4*b**2 + b**2 - 2. Is l(q) prime?
False
Suppose -2*w - 2 = -o - o, -5*w + 4*o = 2. Suppose 5*f - w - 13 = 0. Suppose q = -f*k + 103, 2*q - 16 = -2*q. Is k composite?
True
Let u(c) be the third derivative of 407*c**5/60 + 10*c**2. Is u(-1) a composite number?
True
Let l be 3/2*(14 + -10). Suppose -l*s + 301 + 497 = 0. Is s prime?
False
Let z = -1667 - -2418. Is z a prime number?
True
Let j = -52 + 131. Let w = -42 + j. Is w composite?
False
Let t be (-1)/2 - 42/(-4). Suppose t = -5*u - 3*j, -7*u + 2*u - 2*j = 10. Is (2 - -89*1) + u a composite number?
False
Suppose 9*j - 3*j = 3126. Is j prime?
True
Suppose 4*d - 33 + 3 = 5*w, 3*w - 9 = -3*d. Suppose -d*c + 80 = 5*k, -k - k = 4*c - 54. Is (2 - 0) + 1*c a composite number?
False
Suppose 0 = 4*h - 5*m - 5 - 6, -5*m + 13 = 2*h. Suppose 3*j + 2*k - 18 = -j, -2*j - h*k = -12. Suppose 4*o = j*a + 20, 0*a - a = o - 15. Is o a prime number?
False
Is (-9)/(-6)*(16743/9 - 1) composite?
False
Let b = 59 - 110. Is (-34)/b*(-1326)/(-4) prime?
False
Let x(p) = -17*p - 10. Let l be x(-7). Suppose l = 4*z - 919. Is z a prime number?
True
Suppose 4*b - 430 = -2*k, -k - 2*k = 2*b - 657. Is k a composite number?
True
Suppose 2*z = q - 39, -2*z = 4*q - 42 - 124. Suppose 5*k - 89 = q. Is k a composite number?
True
Let r(w) = w**3 - w**2 - 2*w - 7. Let z be (-2)/(-6) + 14/3. Is r(z) a composite number?
False
Suppose -5*h + 25 = 10. Suppose 0 = -r + h*p + 190, 3*r + 0*p = -p + 600. Suppose 3*l - 74 = r. Is l a prime number?
False
Suppose 96 = -p + 4*p. Suppose -r - 2*m = -39, -r = 5*m - 10 - p. Is r prime?
True
Suppose -3*s + 417 = -0*s. Is s prime?
True
Let y(x) = x**3 + 2*x**2 + x - 791. Let p(m) = -3*m**3 - 5*m**2 - 3*m + 1582. Let b(w) = -2*p(w) - 5*y(w). Is b(0) composite?
True
Is (54/42 - 1) + (-355)/(-7) composite?
True
Let d(n) = -4*n**3 - 9*n**2 + 13*n - 9. Let m(c) = c**3 + 3*c**2 - 4*c + 3. Let x(t) = 2*d(t) + 7*m(t). Let z be x(2). Is (-240)/(-18) - (-2)/z a prime number?
False
Let y be 36/21 - 2/(-7). Suppose 0*m + 4 = y*m. Is 135/6 + m/(-4) prime?
False
Suppose 2*t = 11 + 69. Suppose 0*h - 3*u - 44 = -2*h, -t = -2*h + u. Is h composite?
False
Suppose -3*q + 79 + 92 = 0. Is q a prime number?
False
Let l = 260 - 151. Is l a prime number?
True
Let o(b) = 2333*b**2 + 6*b - 6. Is o(1) a composite number?
False
Let p(g) = g**3 - 8*g**2 + 4*g + 2. Let s be p(6). Let i = s - -81. Is i a prime number?
False
Suppose -5*q = -5*z - 2*q - 521, 0 = -2*z - 4*q - 198. Suppose c + 1278 = 5*n - 2*c, c = -n + 262. Let v = n + z. Is v prime?
False
Suppose w = -5*g - w + 10269, 4*g = 5*w + 8202. Is g composite?
False
Suppose -j + 2*s = 5*s - 6, -4*j + 3*s = -9. Suppose 4*r = j*l - 303, 5*l + 5*r - 2*r - 476 = 0. Is l a prime number?
True
Suppose 0 = -5*u - 746 + 2526. Suppose 0 = -3*j - j + u. Is j prime?
True
Let g = -183 + 2518. Suppose 4*j - g - 317 = 0. Is j/12 - 1/4 a composite number?
True
Let v(m) = -11*m**2 - 4*m - 1. Let q be v(-3). Let g = -45 - q. Is g a prime number?
True
Suppose -6 = f + 2*o - 69, 2*o - 275 = -5*f. Suppose 0*a + a = f. Suppose -2*q + a = -9. Is q a composite number?
False
Suppose -d - 4*w + 4 = 0, d - 4 = -0*w + 2*w. Suppose d*m - 3*v + 1089 + 102 = 0, 3*v = 5*m + 1491. Is (-1*(-2 - m))/(-2) a composite number?
False
Suppose 0 = -13*c + 3078 + 7283. Is c a prime number?
True
Let o = 830 + -289. Is o prime?
True
Is 240*1 + 3 + -6 composite?
True
Suppose b - 6 = -2*b. Suppose o + 0 - 1 = -b*w, 4*o - 5*w = -61. Is 3*((-192)/o - -1) a composite number?
False
Suppose 6*c = 3*c + 5*v + 1, 3 = 3*v. Let j be 33/5 + (-12)/20. Is c/(-6) + 68/j prime?
True
Suppose 3*i - 353 + 80 = 0. Suppose -p + i = -3*w, 4*p = p - w + 233. Is p a composite number?
False
Is (-1)/4 - (-2856)/32 a prime number?
True
Suppose -11*h + 585 = 4*h. Let s be (-2)/4 + (-1)/(-2). Suppose s*z = 3*c - 4*z - 21, -2*z = 3*c - h. Is c prime?
True
Suppose -g - 8 = -3. Let b be ((-3)/g)/(1/(-5)). Is 146 + b/((-3)/3) prime?
True
Suppose 0 = 4*r - 26 + 2. Is r + -3 + (-132)/(-3) a composite number?
False
Let h = 9 + -4. Suppose 0 = -5*a + a + 2*i + 190, h*a + i = 227. Is a a prime number?
False
Suppose 0 = -2*q + t + 2276, 4*q - 4552 = -0*q - 5*t. Is q a prime number?
False
Suppose 5*d = -2*i + 18, -3*d + 4*i = -d + 12. Suppose 0 = d*n + 2*l + 4, -2*n - 6 + 17 = -l. Suppose -g - 106 = -n*g. Is g prime?
True
Suppose -174 = m + m. Let q = 250 + m. Is q a composite number?
False
Let s be 4/(-8) - 7/(-2). Is 275 + s + (3 - 3) prime?
False
Suppose 5*h - 489 = 291. Suppose -b - h = b. Is 3 - 3 - 1 - b a composite number?
True
Suppose 446 = 5*w - 3*w. Is w prime?
True
Suppose 0 = -u + 3 - 1. Suppose 0*n + 2*n = -3*m + 656, 2*n = u. Suppose -3*s + 19 = -m. Is s a prime number?
True
Let t = 3 - 1. Suppose 0*b + t*b - 46 = 0. Is b composite?
False
Suppose 3*w + 3*d = 6*w + 177, 5*w + 283 = -d. Let a = w + 124. Is a composite?
False
Let b = 9 - -2. Is b/(3 + -1 - 1) prime?
True
Let c(g) = g**3 - 10*g**2 - 5*g + 55. Is c(16) prime?
True
Let k(c) = -2*c**3 + 7*c**2 + 7*c + 3. Let i be k(-5). Suppose -i = -2*u - u. Is u composite?
False
Suppose -3*i = 2*b - 212, 3*i - 348 = -2*i + 2*b. Suppose 4*z - 16 = 2*h, -h + 3*h - 9 = -z. Suppose -3*m + m + i = -z*f, 105 = 3*m - f. Is m a prime number?
False
Let m = 22 + -21. Is (m - -513)/(9 + -7) prime?
True
Is 4/(-6)*498/(-4) a prime number?
True
Let u be 1/((-2)/(-4)) - -1. Suppose u*n = 8*n - 30. Is n composite?
True
Let a(v) be the first derivative of 0 - 2 - v**3 + 2*v**3 + 4*v + v**2. Is a(-3) prime?
False
Let k(h) = h**3 - 8*h**2 - 6*h - 13. Is k(9) composite?
True
Let g = 56 - 37. Suppose -3*j + 4*q = 0, 5*j + 5*q = 16 + g. Suppose -j*x = -103 - 405. Is x a composite number?
False
Suppose 0 = -5*b - 4*q + 415, 0 = -3*b - 2*b + 4*q + 