t l = -3512 - -5043. Is l a prime number?
True
Suppose -b - 4*b = 4*a - 1060, -a - 653 = -3*b. Let t = 1429 - b. Is t composite?
False
Let x be -118 + 1 + 0/(0 + -2). Let m = 246 + x. Is m composite?
True
Let s(y) = -y**3 + 5*y**2 + 7*y + 3. Let f be s(7). Suppose a - g + 2 = 0, 0 = -2*a + 5*a - 2*g + 7. Is (-18)/(-12)*f/a a composite number?
False
Is 30/(-105) - 665802/(-14) prime?
False
Let v(y) = -2*y**3 - 17*y**2 - 10*y + 67. Is v(-15) prime?
False
Let l(j) = 114*j**2 - 42*j - 1. Is l(-7) prime?
True
Suppose 4*s - 678 = -g, -5*s - 123 - 591 = -g. Let t = -157 + g. Is t a prime number?
False
Let h(b) = -b**3 + b**2 - 3*b - 4. Let u be h(-2). Let v be u/6 - 14/(-21). Suppose 0*q = -2*q + c + 35, 2*q = v*c + 29. Is q prime?
True
Let q be (-9)/(-5 + -2 - -4). Suppose 0 = q*y - 4925 + 968. Is y a composite number?
False
Let q = 2192 + -1509. Is q prime?
True
Let f be ((-69)/(-6)*-1)/(3/(-216)). Let l = 2089 - f. Is l a composite number?
True
Let a = 7900 - -3767. Is a a composite number?
True
Let n(c) = 3*c**3 + 2*c + 787. Is n(0) a composite number?
False
Suppose 6*a = 1205 - 335. Is a a composite number?
True
Suppose p - 4165 - 516 = 0. Is p composite?
True
Let w = 348 - 190. Suppose 4*g = 0, w - 575 = -d - g. Suppose d = 2*k - s, 5*k + 5*s = -0*s + 1080. Is k a prime number?
True
Let p be (-1)/4 - 13/(-52). Suppose p = s + 3*q - 1685, s - 1720 = 8*q - 4*q. Is (-3)/2*s/(-30) composite?
True
Let v(m) = m**2 - 4*m - 3. Let y be v(5). Suppose 0*f + 44 = y*f. Let n = 1 + f. Is n prime?
True
Suppose 3*l = -0*l + 15. Suppose -2147 = -l*a + 2388. Is a composite?
False
Let q(t) = 2 + 5*t + 2*t**2 - 4 + 3. Is q(4) composite?
False
Suppose -1449 - 991 = -4*x. Suppose -4*i = 4, -x = -3*o + 5*i + 796. Is o prime?
True
Let s(a) = 1044*a + 5. Let j = -16 - -17. Is s(j) a prime number?
True
Let p = 6923 + -3990. Is p prime?
False
Suppose 2*o = 5*z - 171 + 2259, -4*z = 5*o - 5154. Suppose 3*v = o + 379. Suppose -20*p + 17*p = -v. Is p a composite number?
False
Let z be ((-16)/(-4))/4*3/1. Suppose 3*q = x - 115, q + z*q + 553 = 5*x. Is x prime?
True
Is (26935/(-10))/(17/(-34)) a composite number?
False
Let j(p) = p**2 - 5*p - 8. Let f be j(7). Let d be 168/32 - f/(-8). Is (0 + (-111)/(-6))*d a prime number?
False
Let n = 514 - 425. Is n prime?
True
Suppose 5*l = -5*n + 116045, 0 = 4*n - 7*n + 2*l + 69627. Is n composite?
False
Let j(x) = x**2 + 8*x + 2. Let t be j(-8). Suppose -5*m = r - 6*r - 555, t*m - r = 223. Let a = m - -51. Is a a composite number?
False
Let q(n) = -6 - 1297*n + 15 - 627*n - 136*n. Is q(-1) prime?
True
Let n = -14 - -18. Suppose n*l + 12 - 20 = 0. Is (l/3)/(24/7596) a composite number?
False
Suppose 4*m - 22 = -4*y + 2*y, 0 = 3*y + 2*m - 21. Suppose n + 4996 = y*z - z, 3*n = -z + 1249. Is z a composite number?
False
Is 16271/106*((121 - -1) + 0) a composite number?
True
Suppose -y - 2*y = -33. Let l(v) = 5*v**2 - 3*v**2 + 1 + 0*v**2 - 12*v. Is l(y) a composite number?
True
Suppose -2*o + 5872 = 3*o - 4*n, n - 5857 = -5*o. Suppose 5 - 17 = -4*q. Suppose -h + o = q*h. Is h a composite number?
False
Let b = -108 + 156. Let g = b + 245. Is g prime?
True
Suppose -h - 92 = -823. Is h prime?
False
Suppose -76 + 90 = 2*x. Is (x/(-14))/((-2)/2228) prime?
True
Let n(t) = 27*t + 12. Let j be n(8). Suppose j = 10*k - 152. Is k prime?
False
Suppose -2*o = 3*s - 9, -5*o + 2*o + s + 8 = 0. Let m(d) = 15*d**2 + 3*d + 2 - 6 - 2*d - o. Is m(5) composite?
False
Let w be 9 - 2*(-15)/10. Is (-2)/(-8) + 3633/w prime?
False
Let l(w) = 300*w - 134. Is l(12) a prime number?
False
Suppose 3*n = -4*i + 19082, 3*n + 10393 = -5*i + 34247. Is i/4 - (3 + -3)/(-2) a composite number?
False
Suppose -2*u + 5 = -u, 0 = -3*h + 2*u + 116213. Is h a prime number?
False
Suppose 0 = 43*q - 397104 + 6191. Is q a composite number?
False
Let k(f) = 26*f + 9. Suppose -r - o = 0, 0 = -5*r + 4*r - 5*o - 20. Is k(r) a composite number?
False
Suppose -246*w = -240*w - 1098. Is w prime?
False
Let w be (-83*69)/3 + (1 - -1). Let x = 3120 + w. Is x prime?
True
Suppose 0 = -r + 1329 + 1568. Is r a composite number?
False
Let r(o) = 32*o**2 - 12*o - 97. Is r(-15) composite?
False
Let z(v) = v**2 - 2*v - 14. Let y be z(4). Is (3/y)/((-4)/41224) a prime number?
True
Let s = -587 - -4690. Is s composite?
True
Let i = -9 + 17. Suppose 0 = -i*r + 10*r - 6. Suppose 2054 - 449 = r*d. Is d prime?
False
Let d = 547 - -240. Is d a composite number?
False
Suppose 5*w - 5*k - 34 = 71, w - 25 = 5*k. Let h(s) = -9*s**2 + s - 2. Let l be h(1). Let v = l + w. Is v a composite number?
True
Is 40/60 - (-6902)/6 a prime number?
True
Let g(u) = 5*u**3 + 3*u**2 + 2*u + 5. Let d be g(3). Suppose d = 5*c - 342. Is c a prime number?
True
Suppose -s - 3 = 5*f, -5*s = -0*s + f - 9. Is s - -22*(-44)/(-8) composite?
True
Let j(o) = 21*o - 4. Let d be j(4). Suppose -3*u - d = 2*u. Let g = u + 37. Is g composite?
True
Suppose 0 = q + 6*w - 3*w - 31, 2*q - 2*w = 78. Suppose -q*n = -31*n - 1614. Is n composite?
False
Suppose -6*i + 3*i + w + 52111 = 0, 4 = -4*w. Suppose 0 = -10*h - 8*h + i. Is h a composite number?
True
Let j(p) = 57*p**2 - 11*p + 31. Is j(13) a composite number?
False
Let j(h) = 3*h + 9. Let a(g) = 7*g + 19. Let f(n) = -2*a(n) + 5*j(n). Let u be f(-4). Suppose -m + 316 = u*m. Is m prime?
True
Suppose -52*f + 45*f + 24899 = 0. Is f composite?
False
Let m be 57*-35 - ((1 - 0) + -2). Let h = -1117 - m. Is h a composite number?
False
Let n = 5369 - 2148. Is n prime?
True
Let s = -218 + 487. Is s composite?
False
Let z(q) = 10*q**3 + 2*q + 1. Let s be z(-1). Let b = 2 - s. Is b a composite number?
False
Let s = -12 + 16. Suppose s*n = -n + 10. Is n/3 + 710/6 a composite number?
True
Suppose -2*b = 4*q - 10, 3*q - b = -5*b + 10. Let k be (4 - 2)/(4 + -3). Suppose q*s = -k*s + 284. Is s a composite number?
False
Let h(n) = -286*n + 807. Is h(-46) composite?
False
Let o = -7 - 17. Let s(v) = -11*v**3 + 2*v**2 + 2*v - 3. Let p be s(2). Let y = o - p. Is y a prime number?
False
Let g = 250 + -92. Suppose 7*w - 5*w = g. Is w composite?
False
Let u(w) = -2*w**3 - 18*w**2 - w + 11. Let z be u(-9). Let r be -18 + z + 1 + -3. Suppose r = 6*o - 16 - 2. Is o a prime number?
True
Let u(r) = 4*r**2 + 25*r - 39. Is u(-12) composite?
True
Suppose -3*i + 0*i + 9 = 0, -78449 = -4*w + i. Is w prime?
False
Suppose -2*c + 2 = -2. Suppose -2*x = -4*j + 2320, -5*x + c*x = 5*j - 2911. Is j a composite number?
True
Suppose -2*s - 2*c - 22898 = -6*s, -2*c - 17176 = -3*s. Is s a prime number?
False
Let n be (9/6)/((-4)/16). Let k be (2/n)/((-18)/162). Suppose -k*d - 4220 = -7*d. Is d a composite number?
True
Let g(m) = -2*m + 16. Let y be g(8). Suppose -f - 2*f - 15 = y. Let p = f + 120. Is p composite?
True
Suppose -4*u = -8 - 4. Suppose 0 = 5*v + u*w - 1052, -3*w - 236 = -2*v + 189. Is v composite?
False
Let a(p) = -816*p + 377. Is a(-27) a prime number?
True
Let g = -3380 - -5797. Is g prime?
True
Let y = -9456 - -22115. Is y a prime number?
True
Let k(s) = s**3 - 3*s**2 - s + 4. Let u be k(3). Is 339/u + 10 + -14 composite?
True
Let r be (-8)/12*18/(-6). Suppose 4*g - 1 = 3*g, r*d - 181 = g. Is d prime?
False
Let u(s) = 5*s**2 - 15*s - 13. Suppose 13 = -4*w - 31. Is u(w) composite?
False
Let q be (2 - -1)*(-1219)/(-23). Let h = q + 452. Is h composite?
True
Suppose 3*k + 5*h = 2024, 9*k + 4*h - 2029 = 6*k. Is k prime?
True
Is (-1055)/(-2)*(-85 + 87) prime?
False
Let t = 34 - 30. Let g = 12 - 8. Suppose -4*v = -t*y + 2316, 2*y - g*v = v + 1152. Is y prime?
False
Let l = -48 + 50. Is 1 + l + (1 - -75*1) a composite number?
False
Suppose 32*n - 1161 - 983 = 0. Is n a prime number?
True
Suppose -2*r + 1981 = -2*l - 3*l, 3*l = -9. Let o = 1660 - r. Is o composite?
False
Let n(g) = -7 + 114*g**2 - 8*g + 17*g**2 - 5*g**2. Is n(-3) a prime number?
True
Let y be 2/(-12) - (38/(-12) - 4). Is 806/y + 8/(-56) prime?
False
Suppose 3*m = -3*x, 0 = -2*x + 5 - 13. Let c(l) = 9*l**3 + l**2 - 2*l + 3. Is c(m) composite?
False
Suppose 171*a - 170*a - 9113 = 0. Is a a composite number?
True
Let k = -3182 - -4631. Let y = k + -958. Is y a composite number?
False
Suppose 3*p - 4*r + 0 - 8 = 0, 5*r + 10 = 2*p. Suppose 3*t - 447 + 30 = p. Is t a prime number?
True
Let b = 19 - 14. Suppose b*d - 3*l - 7892 = -0*d, -7900 = -5*d - 5*l. Is d a prime nu