-4*o = -5*o - 3*b + 92. Is o composite?
True
Let h = 2511 + -1696. Suppose 10*d - 5*d = 4*i + 815, -5*d + 5*i + h = 0. Is d composite?
False
Is (-17)/((-2)/178*1) prime?
False
Let y = 46 + -87. Is 88/(-4)*y/2 a composite number?
True
Let h(l) = l**3 - 10*l**2 - 4*l + 4. Let o be h(6). Let b = 321 + o. Is b a prime number?
True
Suppose -66 = k + 4*u, 3*u - 144 - 9 = 3*k. Let j = k - -92. Is j a composite number?
True
Let v(n) = -8*n + 3. Let q(m) = 8*m - 2. Let l(g) = -4*q(g) - 3*v(g). Is l(-4) composite?
False
Let k(a) = -3*a**3 + 3*a**2 + 4*a - 6. Let l be k(-6). Let z = l - 257. Is z composite?
True
Let y(f) = f**3 + 3*f**2 + 3*f - 3. Let w be y(-3). Let t be (296/w)/((-4)/18). Suppose t = c - 196. Is c composite?
False
Let s = -64 + 159. Let v = s - 48. Is v composite?
False
Suppose -9*w + 25*w = 544. Is w a composite number?
True
Suppose 7 + 17 = -4*p. Let b be 1 - (-3)/p*-2. Suppose b*d = 4 + 10. Is d composite?
False
Is 1*2*223/2 composite?
False
Let v(s) be the third derivative of 25*s**4/24 + s**3/3 - 5*s**2. Is v(5) prime?
True
Let l = 6 - 0. Suppose -11 = -p + 4*v, 4*v + l = -2. Suppose 194 - 29 = p*o. Is o a prime number?
False
Suppose -436 = 6*g - 6838. Is g composite?
True
Let f be ((-5)/2)/((-4)/56). Suppose -g = -f - 71. Is g a composite number?
True
Suppose -k + 253 = -5*v, 3*v = -v + 20. Let q = 633 - k. Is q a prime number?
False
Suppose 5*c = -90 + 315. Suppose -4*l = l + 2*j - 61, 3*l = -4*j + c. Is l a composite number?
False
Let y(d) = -8*d - 4. Let s(o) = -24*o - 11. Let h(a) = -2*s(a) + 7*y(a). Is h(-5) composite?
True
Let g be (2 - -212) + 2 - -3. Suppose -y + 221 = b - 6*b, y = 4*b + g. Is y composite?
False
Suppose -4*c = 4*u - 32, 2*u - 12 = -4*c + 4. Is 2/u - (-993)/12 composite?
False
Let x be -2*(-2 + 3) + 32. Suppose x + 7 = -5*v - 4*r, 5*v + 41 = -2*r. Let a = 16 - v. Is a a prime number?
False
Suppose -b = -2*b - 8. Let i be 2/b - 102/(-24). Suppose 0 = -i*g - 5*s + 217, 0*s - 55 = -g - 2*s. Is g prime?
True
Suppose 2*k + 2*k - 29 = 3*n, 3*k + 2*n = 26. Suppose -2*h + 0 + k = 0. Suppose -2*l = -4*b - 118, -l - 162 = -h*l + 3*b. Is l a prime number?
False
Suppose a - z + 3*z + 86 = 0, 5*a - 3*z + 482 = 0. Let y = 137 + a. Is y a prime number?
True
Let q(u) = 7*u**3 - 6*u**2 - 6*u + 6. Is q(5) a prime number?
True
Suppose -n + 4*n = -18. Is n/2 + (64 - 4) a prime number?
False
Let r(n) = 14*n**2 - n. Suppose -7*y = -4*y + 4*h - 17, -10 = -2*h. Is r(y) prime?
False
Suppose -q = 4*a - 11, -q + 5*q = 4*a - 16. Suppose -k - k - 15 = -a*h, 3*k - 4*h = -24. Let f = 21 - k. Is f a prime number?
False
Suppose -n = -3 - 0. Suppose x - n*x + 338 = -4*j, -5*j = -20. Is x a prime number?
False
Suppose -7 = -2*m + 3. Suppose m*o - 1407 = 2*o. Is o a composite number?
True
Suppose 0*q + 6 = c + 2*q, -5*c - 3*q = -58. Is c a composite number?
True
Let a = 20 + 17. Is a a composite number?
False
Is ((-12)/4 - -2) + 75 a composite number?
True
Suppose -3*o = 4*s - 11, 5*s - 4*o - 40 = o. Suppose 0 = 2*u + 8, -u = s*i - 2931. Is i a composite number?
False
Let r = 215 + -66. Is r prime?
True
Let n = -8 + 13. Suppose -4*p = -2*b + 28, -5*p - 64 = -n*b - 19. Suppose -45 + 210 = 3*h + 5*s, b*h - 5*s - 220 = 0. Is h composite?
True
Is 65704/32 + 2/(-8) a prime number?
True
Suppose -9 = 3*y - 6*y. Suppose -5*p + 277 = 5*a - 368, y*a + 411 = 3*p. Is p composite?
True
Suppose 0*s = -2*s - 10. Let a(q) = -7913*q + 369. Let m(p) = -43*p + 2. Let o(r) = -2*a(r) + 369*m(r). Is o(s) a composite number?
True
Suppose -9*p = 10*p - 3401. Is p composite?
False
Let d be (-6)/(-9)*18/4. Let i(o) = 3*o**2 + o - 4. Let g be i(d). Suppose 5*n = j - g, 4*j - 2*n - 40 = 2*n. Is j composite?
True
Let b(i) = 5*i**2 + 1. Let s be b(-1). Is (-6)/(-18) + 130/s composite?
True
Suppose 92 = 3*z + f, f = -3*z + 4*f + 96. Suppose 3*m = 62 + z. Suppose 0 = 3*c + b - 14, m = 4*c - 2*b - 1. Is c prime?
False
Let m be (2 + 18)*(-6)/(-15). Suppose -3*x + m - 35 = 0. Is -21*(3/x - 2) prime?
False
Is (-9)/(-3) + 0 - -116 a composite number?
True
Let n(o) = 299*o - 8. Is n(3) composite?
True
Let t(y) = -21*y + 1. Suppose -o - 2*k = -2, 0*o + 3*o = -5*k + 5. Suppose o = -q - q - 4. Is t(q) composite?
False
Suppose -112 = -l + 105. Is l prime?
False
Suppose -3*v = -0*v - 4*p - 1103, -5*p = 25. Let r = v - 170. Is r composite?
False
Suppose n - 5*n - 3*j + 153 = 0, -4*n + 148 = 4*j. Suppose 226 = 4*k - n. Is k prime?
True
Let f be 1034 - (-3)/(9/(-6)). Let m = f - 692. Suppose -5*c = x - 417, 0 = 7*c - 3*c + 4*x - m. Is c a composite number?
False
Suppose 2*i - 10 = -3*i. Let v(c) = 3*c + 5*c**2 - 5*c**3 + 1 - 7*c**2 - i*c. Is v(-2) a prime number?
True
Suppose 0 = 2*y + 3 + 7. Let j(x) be the third derivative of -x**4/4 + x**3/6 + x**2. Is j(y) prime?
True
Let t = 1062 - 2398. Suppose 0 = 5*z - 5*y, 0 = 2*z - y + 1 - 2. Is (t/(-24))/(z/3) a composite number?
False
Suppose 2*o = -5*f + 379, -2*f + 4*o + 92 = -74. Is f a composite number?
True
Suppose -8*r + 2030 = 2*r. Is r composite?
True
Suppose 5*r - 2*z = z - 41, 0 = -4*r + 2*z - 34. Let f be r/1*64/(-10). Suppose o - 4*j = -0*j + 73, -5*j + f = o. Is o prime?
False
Let b = -26 + 18. Let n(m) = -30*m + 11. Is n(b) a composite number?
False
Is ((-330)/24)/(1/(-4)) prime?
False
Let c(l) = -19*l + 13. Is c(-6) prime?
True
Suppose 3*b + 212 = 4*d, -4*d - 2*b = -d - 176. Suppose d = -0*r - r - 2*k, -2*r - 106 = k. Is 18/(-12)*r/3 prime?
False
Let h(z) = 5*z**2 - 4*z - 14. Let q be 11 - 0 - 6/2. Is h(q) a prime number?
False
Suppose 0 = 4*r + 8 + 8. Let i be (-15)/(-12)*1*r. Is 5 + -3 - (i + 1) a composite number?
True
Suppose 5*v + 30 = -0*v. Is ((-118)/v)/((-4)/(-12)) a composite number?
False
Let a(t) = t**2 - 10*t - 14. Let y be a(11). Let h = y - -58. Is h composite?
True
Suppose 39 = 2*u + u. Suppose 2*w - 31 = u. Is w composite?
True
Let n(h) be the third derivative of -h**6/240 - h**4/24 + h**2. Let u(t) be the second derivative of n(t). Is u(-7) composite?
True
Suppose 198 = 8*r - 2*r. Is r prime?
False
Let y(w) = 2*w**2 + 2*w**2 - 6 - 5*w - 2*w**2. Suppose 0 = k - 3*k + 14. Is y(k) composite?
True
Suppose -4*d = -4*m + 640, m + m = d + 319. Is m prime?
False
Is 1/2*-8 - -1167 a composite number?
False
Suppose 2*d + 481 = 3*d. Is d a composite number?
True
Let d(n) = n**3 - 4*n**2 - 14*n - 7. Let c = 13 - 3. Is d(c) composite?
True
Suppose -7814 = 20*j - 22*j. Is j a composite number?
False
Suppose 3*c - 3*q = -0*q - 18, -3*c = -4*q + 17. Let x(u) = u**3 + 9*u**2 + 6*u - 9. Is x(c) prime?
True
Suppose 0*y - 60 = -3*y. Let z be 472/y - (-2)/5. Is ((-18)/z)/((-2)/40) composite?
True
Suppose -16*t + 18*t + 3222 = 4*i, 4*i = 4*t + 3216. Is i prime?
False
Suppose -2*l + 2286 = -k - k, -3*k = 2*l - 2261. Is l prime?
False
Suppose -4*s - 8 = 0, -3*n + 2 = 3*s + 5. Let v be 194 + (-1)/(1/n). Suppose 0*x + 2*y = -3*x + 131, -4*x + y + v = 0. Is x composite?
False
Let a = 115 + -64. Is a prime?
False
Let m(a) = -2*a - 2. Let r be m(-3). Suppose -6*s + 190 = -r*s. Suppose -4*h - s + 235 = 0. Is h a composite number?
True
Let d = -112 + 69. Let i = d - -28. Is (-28)/(-6)*i/(-2) composite?
True
Let v = 989 - 520. Is v prime?
False
Let i(a) = 46*a - 3. Is i(1) a composite number?
False
Let x = -4 + 7. Suppose -x*n + 228 = n. Suppose 2*a + n = 667. Is a prime?
False
Let w(u) be the third derivative of 223*u**5/60 - u**4/24 + u**3/6 + u**2. Is w(1) composite?
False
Let j(q) = 6*q - q**2 - 2 + 1 - 16*q. Let m be j(-8). Is 140/3 + (-10)/m prime?
False
Let z be 7998/30 - 2/(-5). Let m = 470 - z. Is m prime?
False
Suppose 2*s - 3*s + 387 = 0. Let o = s - 170. Is o a prime number?
False
Let a = 4 + -2. Suppose -4*l - 3*g + 181 = 0, l = a*l + 5*g - 24. Is l a prime number?
False
Let l(j) = -j**3 + 11*j**2 + 4*j + 9. Suppose -f + 5 = 0, 0 = 7*r - 3*r + 2*f - 10. Suppose 4*s = 2*w - 30, -2*w - 5*s + 2 + 10 = r. Is l(w) a composite number?
False
Let y = 267 - 146. Suppose -y = 5*r - 756. Is r composite?
False
Let t = -6 - -10. Suppose -h = t*h - 15. Is h a prime number?
True
Let m be (-2)/((-3)/2 + 1). Suppose 5*u + 2*w - 281 = 4, -m*u + 200 = -4*w. Is u composite?
True
Suppose 0 = -z - 1, -2 = 4*w + z + z. Is ((-83)/(-1) - w) + 0 prime?
True
Suppose b = 4*b - 945. Let r = b + -128. Is r a prime number?
False
Suppose 15*z - 37790 = 17