be a(f). Let o = 146 - q. Is o a prime number?
True
Suppose 2*t = t + 2*r + 963, 1971 = 2*t + 5*r. Is t a composite number?
True
Let o = -10 - -8. Let j be (16/12)/(o/(-15)). Suppose -20 = -3*g + j. Is g a composite number?
True
Let r = 1 - 2. Let c be 12 - -3*r/3. Suppose 4*t + 4*w - 36 = 0, 4*t - t - c = 5*w. Is t a prime number?
True
Suppose -5*o = -o - 472. Let f(w) = w + 190. Let u be f(0). Suppose -4*y + u = -o. Is y composite?
True
Is -11*-2*7/2 a prime number?
False
Let v be (-4 - -4)*1/(-2). Suppose 3*c - 1253 = t - v*t, 0 = -4*c + 3*t + 1664. Is c prime?
True
Suppose -12*v + 13*v - 77 = 0. Is v composite?
True
Let v = 19 - -5. Suppose -4*h - 160 = -4*x, 2*h - 139 = -3*x - v. Is x composite?
True
Let u = 1 + 3. Let z be (-3 - -1)/(u/(-82)). Let i = 78 - z. Is i a composite number?
False
Let v(w) = -w + 14. Let b be v(7). Let r(s) = s - 5. Let y be r(b). Suppose 2*f = -y*l + 100 - 18, -174 = -4*f - 2*l. Is f prime?
False
Suppose 3145 = 5*k - 0*k. Is k prime?
False
Suppose 5*w - 35 = -2*x - 3*x, -5*x + w = -11. Suppose 52 + 95 = x*a. Is a prime?
False
Let l(v) be the first derivative of -25*v**2/2 - 9*v + 2. Is l(-8) a prime number?
True
Let v be -139 + -2 + 0 + 1. Let j be (30/25)/((-6)/v). Let o = j + -15. Is o a prime number?
True
Let i = -17 + 11. Is 978/9*i/(-4) a composite number?
False
Suppose -4*s + 282 = 34. Is s a prime number?
False
Let s = -37 - -156. Is s a prime number?
False
Let z = -379 + 3396. Is z a composite number?
True
Let y(o) = o**2 - 8*o - 9. Let j be y(7). Let w be (292/j)/((-1)/4). Let i = 116 - w. Is i a composite number?
False
Let n = 12 + 41. Is n composite?
False
Let i = 7 + -4. Suppose 5*w = 5*y, -7*y = -3*y - 5*w. Suppose 2*x - 57 = -y*x + 5*d, -i*x + 5*d = -88. Is x prime?
True
Let s(d) be the third derivative of 4*d**5/15 + d**4/24 + d**3/3 + 4*d**2. Is s(-3) composite?
True
Let b(z) = 19*z**3 - 8*z**2 + 8*z + 6. Is b(5) composite?
False
Let q(p) = -p + 463. Let g be q(0). Let a = g - 300. Is a a composite number?
False
Suppose -3583 = -6*j + 431. Is j prime?
False
Suppose d - 3*d = 12. Let r = d + 9. Is r composite?
False
Let r = -5 + 4. Let a be (r/3)/((-1)/27). Suppose 5*g = a + 86. Is g a prime number?
True
Suppose 8*q + 1 = 2*o + 3*q, 5*o = -2*q + 46. Suppose 5*h - o = -3, -2*u + 2*h + 152 = 0. Is u a composite number?
True
Suppose 0 = 3*m - 5 - 7, -5*m = b - 20. Suppose 0 = p - b*p - 373. Is p prime?
True
Let m be 8*(-4)/(-40)*-5. Is 805/14 + 2/m a prime number?
False
Suppose -5*v + 2*v = 0. Let s(w) = 2*w + 295. Is s(v) a prime number?
False
Let g = -5 - -9. Let s = 10 + -6. Suppose 5*a + 2*o - s*o = 57, g*a - o - 45 = 0. Is a prime?
True
Suppose 1519 = 4*j + 3*z, j - 77 - 297 = 5*z. Is j prime?
True
Let h(j) = 17*j - 1. Is h(4) prime?
True
Let g(f) = -f**2 + 3*f + 5. Let u be g(4). Let a(j) = -j**2 + 23*j**2 + j + 14*j**2. Is a(u) a prime number?
True
Suppose -5*x + 987 = -2*x. Is x composite?
True
Suppose 3*q - 194 = q. Is q prime?
True
Suppose -t = 5*d - 27, t - 5*d = -2*t - 19. Suppose b - 47 = t*k - 155, -2*b - 4 = 0. Is k composite?
False
Suppose 9*j = 3*j + 294. Is j a composite number?
True
Suppose 838 = j - 5*u, 4*u - 865 = -j - 0*j. Is j a prime number?
True
Let h be 0 - -3 - (2 - -1). Suppose -3*l + 11 + 136 = h. Is l a composite number?
True
Let h(m) be the first derivative of 4 + 4*m + 37/2*m**2. Is h(7) prime?
True
Suppose 13*h - 6890 = 3*h. Is h a composite number?
True
Suppose -b = 4*j - 0*j + 19, 0 = j + 5. Let t be (-6 - -6)/(b - -2). Suppose 0 = -4*d + 4 + 8, t = -4*o - 2*d + 82. Is o a prime number?
True
Suppose 8*l = 4*l + 7180. Is l a composite number?
True
Suppose -5*b = -3*o - 615, 2*o - 6*o - 369 = -3*b. Is b composite?
True
Let o = -88 + 137. Is o a prime number?
False
Suppose 3*u + 12 = 2*y - u, -3*u - 9 = -4*y. Suppose y*x - 2*x = -8. Suppose f + 4*r + 167 = x*f, -2*f - 2*r = -102. Is f prime?
True
Let y(f) = f**2 + f + 7. Let q be y(0). Let l = -26 + 30. Let z = q + l. Is z composite?
False
Suppose 2*v = 3*d + 1591, -3*v + d + 2394 = 4*d. Is v composite?
False
Suppose 2*r = -0*r - 5*u + 1893, -4*r - u + 3741 = 0. Let p = r - 608. Is (p/(-4))/(6/(-12)) a composite number?
False
Suppose -4*f + 203 = t, -f - 2*t + 46 = 3*t. Let u be 1/(-3) - 669/(-9). Let v = u - f. Is v prime?
True
Suppose 21*b - 60165 = 14238. Is b composite?
True
Suppose -9 - 111 = -12*x. Is x composite?
True
Let p(l) = l**3 + 7*l**2 + 7*l - 1. Let s be p(-6). Let b = -5 - s. Is (254/b)/1 - 0 a prime number?
True
Let m(k) = 21*k + 1. Let u(x) = -x**2 + 15*x - 16. Let q be u(13). Is m(q) prime?
True
Suppose -6849 = -3*g - 2*l, 0 = g - 5*l - 1360 - 940. Is g prime?
False
Suppose 3*d - m - 3*m - 375 = 0, 2*d - 2*m = 248. Is d composite?
True
Suppose 228 = 3*l + d, -2*d = l + 4*l - 379. Is l a composite number?
True
Let l be 1034/3 - 2/3. Suppose -5*d = -4*w + l, 0*d - 3*d + 344 = 4*w. Let f = -17 + w. Is f prime?
False
Suppose -4*c - o + 700 = 2*o, -c = 2*o - 175. Let y = c - 124. Is y composite?
True
Suppose 0 = -0*b - 8*b + 1192. Is b a composite number?
False
Suppose v = 2*j + 2159, 2*j + 2*j = -20. Is v a prime number?
False
Let r(y) = y**2 - y - 2. Let f = 0 - 2. Let w be r(f). Is (-341)/(-7) - w/(-14) a prime number?
False
Suppose -5*p + 2732 = -2543. Is p composite?
True
Suppose -4*a + 3*a = -53. Suppose -s + a = 10. Is s a composite number?
False
Let x(h) = h**2 - h. Let r be x(2). Suppose -r*v = -4*b + 3*v + 1459, 5*b = -4*v + 1875. Is b prime?
False
Let q = -4 + 6. Suppose z = -q*d + 327, -3*z - 810 = -5*d + 2*z. Is d a prime number?
True
Let v(b) = b**3 - 8*b**2 + 11*b - 3. Is v(8) prime?
False
Suppose f = 3*f - 266. Suppose 1205 = 5*w + 85. Let q = w - f. Is q a composite number?
True
Let m(d) = 1 + 4*d**2 - 4*d - 6 - 3*d**2. Let h be m(5). Suppose 0 = 5*c + 3*o - 404, 3*c - o - 2*o - 228 = h. Is c a prime number?
True
Let f = -12 - -13. Is (-1 + 143)*f/2 a prime number?
True
Let q be 3/6*(-3 + 15). Suppose -4*n = 5*l - 459, q*n - 4*n - 225 = -l. Is (-1 - -2)/(3/n) a composite number?
False
Let n = 1019 + -576. Is n a prime number?
True
Let w(k) = -k**2 + k**2 + 9*k**2 - 4 - 4*k - 4*k**2. Is w(-3) a prime number?
True
Let v(d) = d**3 + 11*d**2 - 14*d - 18. Let r be v(-12). Suppose -4*u + 4 = 2*f, -4*u + 8 = -2*f + r*f. Suppose u = 4*j - 5*j + 10. Is j composite?
True
Let n be -2 - (-650 - -1)*-1. Let q = -460 - n. Is q composite?
False
Suppose 5*y - 264 = -5*o + 4*y, o = -2*y + 51. Let j = 99 - o. Is j a prime number?
False
Suppose -3*c + 3*j + 888 = 0, -5*c + 6*j = 2*j - 1483. Is c prime?
False
Suppose -3*d - 2*s + 13 = 0, -3*d + 4*s = 2*d - 7. Suppose -g + 438 = 3*q - 0*g, 2*g + 6 = 0. Suppose 0*r - d*r + q = 0. Is r prime?
False
Let i(y) = 2*y**2 - 3*y - 3. Let j be i(-4). Let v = j + -27. Is v a prime number?
False
Suppose -3*n + n + 1794 = 0. Let x = -480 + n. Is x composite?
True
Let k(l) = 224*l**2 + l. Is k(-1) a prime number?
True
Suppose -4*t + 4*f + 1927 = f, -3*t + 1442 = f. Is t a composite number?
True
Is (232/(-24))/(1*1/(-57)) a composite number?
True
Suppose c = 3*d + 5648, 9*c = 13*c - d - 22581. Is c a composite number?
True
Suppose -6*l + 1115 = -l. Is l a prime number?
True
Suppose -y = -2 - 4. Suppose 2*a - 3*a + y = 0. Is 3/(-3 - (-27)/a) prime?
True
Suppose -25 = -9*c + 4*c. Suppose -c*w + 4*w + 4 = 0. Let m(f) = 5*f**2 + 3. Is m(w) prime?
True
Let j(w) = 168*w**2 + 6*w - 1. Is j(3) a prime number?
False
Let u be (-14)/(-3) - (-2)/6. Let h(b) = 8*b**2 + 8*b - 5. Is h(u) prime?
False
Let h(b) = 43*b**2 - b - 3. Is h(4) a composite number?
True
Suppose 3*p = 952 + 89. Is p composite?
False
Let v(z) = z**3 + 11*z**2 + 1. Is v(-9) composite?
False
Let b(m) = 44*m + 11. Is b(3) composite?
True
Let q(y) = -3*y - 11. Let f(z) = 2*z + 11. Let b(u) = -2*f(u) - 3*q(u). Is b(8) a composite number?
True
Suppose t - 5*w = 6*t - 35, 4*t - 5*w = -17. Suppose 4*b + 3*i - 17 = 0, -2*i = -t*b - 4*i + 10. Is ((-38)/(-4))/(1/b) a composite number?
False
Suppose -3*x + 458 = 5*s, 4*x + 75 = s - 35. Let b = 65 + s. Is b composite?
True
Let v(t) = 2*t + 5. Let m be v(-4). Let f = -1 - m. Suppose -p = -f*p + 7. Is p prime?
True
Let h = 497 - 355. Is h prime?
False
Let k = 18 + -18. Suppose 2*f - 4*b - 42 = k, 24 = 2*f - b - 3. Is f prime?
True
Let b(j) = -8 + 3*j**2 - 8*j + j**2 - 3*j**2