57. Is j a prime number?
True
Suppose 2*t + 4*y + 230 = t, -1214 = 5*t + 4*y. Let x = -27 - t. Is x prime?
False
Suppose 0 = -5*s + 3*w + 17165, -5*w = -s - 4*s + 17165. Is s a prime number?
True
Let j = 404 - -185. Let m = -372 + 374. Suppose 4*k + c = m*k + 587, 2*k - j = -3*c. Is k a prime number?
True
Let a(v) = 3557*v + 1. Is a(2) prime?
False
Is (-1)/(0 - -1) + (-12 - -344) a composite number?
False
Suppose -11*w + 16 = -39. Suppose -s + 26283 = w*h, -4*h - 5*s + 22945 = 1927. Is h a composite number?
True
Suppose 0 = -w + 3*w - 1788. Suppose -2*o = 3*o + 2*o. Suppose -w = -6*f - o*f. Is f prime?
True
Let b = -8 - -4. Let l(h) = -h**2 + h + 1. Let o(f) = f**3 + 10*f**2 + f - 5. Let c(d) = b*l(d) - o(d). Is c(-7) a prime number?
False
Let u(c) = 1 + 2 + 157*c**2 - 4. Let k be u(-1). Suppose -3*i = -r - 467, -2*r - 464 = -4*i + k. Is i composite?
False
Suppose -6999 = -117*i + 114*i. Is i prime?
True
Let i(o) = -36*o**2 + 9*o + 14. Let u(x) = -7*x**2 + 2*x + 3. Let y(d) = 2*i(d) - 11*u(d). Is y(-4) prime?
False
Suppose -50 = 5*y - 0*y. Let r be (-1396)/(-10) - 4/y. Is (r/49)/(4/14) composite?
True
Suppose 11*g = 9*g. Suppose -2*r - 1168 + 3890 = g. Is r prime?
True
Suppose -82 = -5*v - m, 3*v - 3*m = -6*m + 42. Suppose -v = -r - 5*t + 74, -t = 0. Is r a composite number?
True
Suppose 338*d - 337*d = 6609. Is d prime?
False
Let o be (-2)/(-4) - (-2045)/10. Suppose -102 - o = -d. Is d composite?
False
Suppose -4*y = -9*y - 8275. Let s = y - -3040. Is s a prime number?
False
Suppose -3*g = k - 536, -1995 = -4*k + 2*g + 163. Let w = k - 380. Is w a composite number?
True
Is 8 + (-88)/10 + 176489/5 a composite number?
True
Suppose -4*p - 36 = -0*p. Let t be (-122)/(-12) + p/54. Let a(b) = -b**3 + 14*b**2 + 9*b - 3. Is a(t) a composite number?
False
Let g be 3/(-4) + -1 + 4470/(-24). Let n = 487 + g. Is n prime?
False
Suppose -m + 14634 = 4*q - 3197, 3*m - 53538 = 3*q. Is m a prime number?
False
Suppose 2*v - 3070 = 4*c, -7*v = -4*v - 4*c - 4599. Is v composite?
True
Suppose 3*m - 15 = -2*a - 0*m, 2*a = 2*m + 10. Let p be (-234 + 1)*(1 - a). Suppose u - 580 = -o, u - p = -u + 3*o. Is u prime?
False
Let c = 4240 + -2831. Is c a prime number?
True
Let o = 15 + -22. Is -4*1 + (o - -70) a composite number?
False
Suppose -5*n = -0*n + 2*l - 21421, -3*n = 2*l - 12855. Is n prime?
True
Suppose 0*x - 60 = -2*x - 4*y, 2*x - 5*y = 51. Suppose -2939 = x*g - 29*g. Is g a prime number?
True
Let p be (-41)/(-6) - 8/(-48). Let i(v) = 40*v**2 - v - 4. Is i(p) a prime number?
True
Let i = -5178 - -8261. Is i a prime number?
True
Let g(w) = 145*w**3 - 7*w**2 + 83*w + 15. Is g(8) a prime number?
True
Let x(c) = -c**3 + 10*c**2 - 2*c - 1. Let h = 27 - 19. Is x(h) a prime number?
False
Let u = 16 + -8. Suppose 0 = 4*i - u*i + 3284. Is i a prime number?
True
Let i(z) = -z**3 + 4*z**2 - 4*z - 3. Let m(g) = 2*g**3 - 4*g**2 + 4*g + 3. Let d(l) = 3*i(l) + 2*m(l). Let h be d(-5). Is 27/(-72) - 5419/h a composite number?
False
Suppose 5*s + 340 = 5*o, 183 = 3*o + 5*s - s. Suppose 5*l - 2*b - o = 0, 3*l - 31 + 11 = 5*b. Is l a prime number?
False
Let x be 2/(-3) - (-42432)/36. Suppose 0 = -5*c + 617 + x. Is c a composite number?
False
Let v be ((-3)/1)/12 + (-4065)/(-20). Let h = 882 - v. Is h a prime number?
False
Suppose -q = a - 106, 2*a = q + 6*a - 109. Suppose -q = -g - 2. Is g composite?
False
Suppose 0 = -6*y + 3*y - 33. Let r be (y + 3)*(-1)/2. Suppose -3*m = -5*g - 86, -4*m = -7*g + r*g - 133. Is m prime?
True
Let w = -152 + 407. Suppose 153 = -2*d - 163. Let q = d + w. Is q a prime number?
True
Suppose 4*o = 30 - 50. Let i(q) = q**2 + 4*q - 5. Let v be i(o). Suppose v = 5*u - u - 156. Is u prime?
False
Let l(y) be the third derivative of -2*y**5/15 + y**4/6 - 11*y**2. Let z be l(5). Let n = 269 + z. Is n a prime number?
True
Suppose -d + 2*d - 2 = 0. Is (1/(-2))/(d/(-1356)) composite?
True
Is ((-3)/(-2))/(21/63658) a prime number?
True
Suppose 13*o + 115940 = 17*o - 4*l, 4*o = -5*l + 115904. Is o a composite number?
True
Let i(b) = -132*b**3 + 3*b**2 - 5*b - 3. Is i(-3) a composite number?
True
Suppose 4*b = 5*v + 183166, -v - 317645 + 134487 = -4*b. Is b prime?
False
Suppose -t - 3*t = -136. Suppose v = -2*j - t - 168, -4*v - 822 = j. Let s = v - -465. Is s composite?
True
Suppose 3*k = s + 6*k - 3134, 4*s = -5*k + 12543. Is s prime?
True
Suppose -22*m + 404942 = -211696. Is m a prime number?
False
Suppose 0 = 31*l - 32*l + 4855. Is l a prime number?
False
Let u = 17 + -12. Suppose -5*z - 1030 = -10*z + u*w, 3*w + 1026 = 5*z. Let l = 409 + z. Is l composite?
False
Suppose 5*v + 5010 - 487 = 2*i, -5*i = -5*v - 11270. Is i prime?
False
Suppose 2*u = u + 28. Let s be u/98 - (-58529)/(-7). Is 4/(-10) + s/(-15) a prime number?
True
Let l be (-3 + 5 + 1)*18. Let g = 377 - l. Is g composite?
True
Let g(z) = 78*z + 3. Let s be g(-3). Let i = s - -530. Is i prime?
False
Let m = -1206 - -1905. Suppose -5*s - 5*n + 894 = 19, -m = -4*s - 5*n. Suppose -5*v = -s - 69. Is v prime?
False
Let o = 31 + -22. Suppose -3*m - 3 = -o. Suppose 29 + 153 = m*n. Is n a composite number?
True
Suppose -2*q - 50 = -3*q. Let d be 1 - 5/((-10)/304). Let w = d - q. Is w prime?
True
Let k(t) = 5*t - 5*t + 15 + 40 + t. Let d be k(0). Suppose d = a - 5*g, 0 = -2*g + 4. Is a prime?
False
Let o be (0 + 4 - 3)*-2. Is (51/18*3)/(o/(-20)) composite?
True
Let u = 1279 + 1930. Is u composite?
False
Let b = -688 - -1301. Let d = 340 + b. Is d prime?
True
Let j(q) = 10*q**2 + q + 43. Is j(8) a composite number?
False
Let u = -21 - -24. Suppose u*f - 4*a - 857 = 0, -4*f + 7*f - 858 = 3*a. Is f a prime number?
False
Suppose 0 = 8*q + 224 - 1264. Let t = 225 - q. Is t a prime number?
False
Let d(c) be the third derivative of 3*c**4 - c**3/2 + 15*c**2. Is d(10) prime?
False
Suppose -2*a - 2*a = 16, 5*a = -f + 709. Let i(s) = -190*s - 22. Let t be i(-6). Let o = t - f. Is o a composite number?
False
Let v(x) = -917*x + 4. Let d be v(6). Is (-2)/(-7) - (-3)/((-42)/d) composite?
True
Let k be (-2)/(5229/(-2613) - 0 - -2). Suppose j - k = -j. Is j prime?
False
Is ((-6537)/4)/(48/(-64)) a composite number?
False
Let o = 35 + -37. Is (3/(-6))/(o/796) composite?
False
Suppose 3*v - 5*p = 6*v + 185, 4 = -p. Let w = v + 77. Is w a composite number?
True
Suppose 3*h + 398 = 2*t - 3797, 5*t - 2*h = 10493. Suppose -t = -5*w + 2666. Is w prime?
True
Suppose 4*h = 6*h + 20. Let k(i) = i**2 + 11*i - 5. Let b be k(h). Let g = 70 + b. Is g a prime number?
False
Let q = -46 + 44. Let w(b) = -74*b**3 - b**2 + 4*b + 7. Is w(q) composite?
False
Let u(f) = -36*f**3 - 4*f**2 + 5. Let x(a) = a**3 - 5*a**2 - 7*a + 3. Let i be x(6). Is u(i) prime?
True
Let p = 5 + -2. Let r be (p - 43)*(-114)/15. Is 1 + -2 + (r - 4) a composite number?
True
Let p be (7 - 7)/(-1 - 1). Suppose p*y - 4*y + 20 = 0, -3*f = 2*y - 25. Is f*(389/5)/1 a prime number?
True
Let v(t) be the third derivative of 1/15*t**5 + t**2 + 0 + 1/12*t**4 + 0*t + 5/6*t**3. Is v(5) a prime number?
False
Suppose 3*j = 19 - 7. Suppose -33 = a - 5*c - 320, c + 1110 = j*a. Is a composite?
False
Let c be (-4)/6*(-12)/2. Let i be 7873/5 - (-12)/30. Is i/20 - (-1)/c a composite number?
False
Let r(n) = -n**3 + 22*n**2 + 17*n + 27. Let b be r(20). Suppose 3*d = -4*z + b, -7*z + 2*z = 0. Is d a prime number?
True
Let l(k) = -k**3 - 11*k**2 + 2*k + 1. Let a be l(-12). Suppose a*g = 116*g + 265. Is g a composite number?
False
Let f = -120 - -35. Let q = -57 - f. Is ((-152)/(-16))/(2/q) a composite number?
True
Suppose -4 = 2*l - 0. Let b be -1 + (l - 65 - 0). Let z = b - -121. Is z composite?
False
Suppose -39*h = -51*h + 109812. Is h a prime number?
True
Suppose -39178 - 24385 = -17*m. Is m composite?
False
Suppose -1150 = -303*w + 293*w. Is w a prime number?
False
Suppose -3*q = 2*q - 20. Let d be 0 + 3 - q - -449. Let s = d - 197. Is s a composite number?
False
Let l be (-24)/(-10) + 33/55. Suppose -l*i = -6*i + 327. Is i a composite number?
False
Let z = -218 - -60. Let h = z + 484. Is h composite?
True
Suppose 3 + 7 = 5*v. Suppose 4 = -3*n + 4. Suppose 0*x - f = -v*x + 289, n = -x - 2*f + 137. Is x a prime number?
False
Let f = -17962 - -32115. Let p = f - 8490. Is p a prime number?
False
Suppose -g = 5*y - 21, 4*y + 0*g + g - 16 = 0. Suppose -y*v = 292 + 418. Let i = -11 - v. Is