3 - 57*t**2/2 + 14*t. Is s(14) prime?
True
Let h = 15 + -12. Suppose h*g - 13 = 8. Suppose f + 1646 = 5*b, 2*b - g*f - 662 = -3*f. Is b a composite number?
True
Let o = -2 + 2. Let n = -6 - o. Is (n/9)/(4/(-618)) composite?
False
Let h = 47206 - 92072. Is 3/((-30)/h) + 6/15 a prime number?
False
Suppose -683 = -7*c - 53. Suppose 4*r = 3*m + 3*r - c, 5*m + r = 158. Is m composite?
False
Let d = 9 - 3. Suppose 0 = 4*o - 3*p + 586, 4*o - d*p = -5*p - 582. Is (-1)/(2 + -1)*o prime?
False
Suppose -283377 = -15*s - 21642. Is s a prime number?
True
Suppose -2*i + 23107 = -5*s, 4605 = i + 3*s - 6921. Suppose -2*f + 4*f - 4620 = -x, -2*x - i = -5*f. Is f a prime number?
True
Suppose 5*a - 142 = -2*o - 56, 0 = -2*o + 3*a + 70. Let h(q) = -2*q**2 - 4*q**3 + q + 0*q**2 - 2*q**3 + o*q**3. Is h(1) a composite number?
False
Let y be (-1097)/(-2) - (-4)/8. Let t = y + 3318. Is t composite?
True
Let b(z) = -z + 1576. Let q be b(0). Suppose 2*v - 3*x - 3900 = -3*v, -2*v = 2*x - q. Suppose -2*c = -0*c - 5*u - 534, -3*u = -3*c + v. Is c a prime number?
True
Let u(w) = -1 - w**2 - 5*w + 3*w + 2*w**2. Suppose -4*p + 76 = -5*d, 34 = -4*d + p - 18. Is u(d) prime?
True
Suppose -3*u + 24751 = -8060. Is u composite?
False
Suppose -j + 3*j + 5*g + 1234 = 0, -5*j + g = 3112. Let a = 1093 + j. Is a a composite number?
True
Let w(t) = -93*t**3 + 3*t**2 + 6*t + 1. Is w(-3) a composite number?
False
Let v = -4 - -8. Suppose -2*z + 1322 = v*r, z = 2*z + 1. Let x = -182 + r. Is x a prime number?
True
Suppose -3*r + 1 = 4*n + 7, 2*n = 2*r - 10. Suppose -r*i = -j + 145, -3*i - j = -i + 143. Let a = i + 169. Is a composite?
False
Let r = -19696 - -33525. Is r a prime number?
True
Let x = -5 - -7. Suppose 0*m + 606 = x*m. Is m prime?
False
Is 1 + -1 - 2 - (4 + -707) composite?
False
Is (8 + -18 - -8)*12056/(-16) prime?
False
Suppose 2*n - 1 - 7 = 0. Suppose 2294 = n*x - 726. Suppose 1473 = 4*s - x. Is s a prime number?
True
Is 4360 + 0 + (-9)/3 a prime number?
True
Suppose -2*n - 120103 = -3*r, 4*n - 111349 = -2*r - 31307. Is r a prime number?
True
Let t = -49 - -53. Is ((-2893)/(-2) + t)*(-2)/(-3) prime?
True
Let h(t) = 238*t + 3. Let v(d) = 4*d - 2. Let y be v(1). Is h(y) prime?
True
Suppose 0 = 2*a - 5*o - 33813, 0 = -5*a + 64*o - 62*o + 84585. Is a composite?
True
Let k = 9679 - 6860. Is k composite?
False
Let l = 1187 + -768. Is l composite?
False
Suppose 3*c = y - 3497, 13958 = 3*y + y + 3*c. Is y composite?
False
Suppose 0 = -t - n - 10, -3*t - 5 - 29 = 4*n. Let j(m) = 4*m**2 - 10*m + 7. Is j(t) a composite number?
False
Let w(m) = m - 19. Let g be w(11). Is 514/g*(2 + -6 + -16) prime?
False
Let y = -152 + 233. Let q = y + 78. Is q composite?
True
Let h be (6 - 10) + 2 + 2. Suppose -5*o + 1075 + 555 = h. Suppose -1559 = -3*z - o. Is z prime?
False
Let y(z) = -2*z**3 - 2*z**2 - 11*z - 4. Is y(-5) a prime number?
True
Suppose 0 = 5*y - 10*y + 2*t + 3603, t + 1442 = 2*y. Is y a composite number?
False
Suppose 18283 + 27002 = 5*o. Is o composite?
True
Suppose -18*t - 6159 = -21*t. Is t a composite number?
False
Let a = 502 - -177. Is a composite?
True
Let g be (-4)/(-18) + (-20)/90. Suppose -1 = s + 2, g = -5*l + 5*s + 860. Suppose 3*n - l = -2*d, -4*n - 4*d - 19 + 251 = 0. Is n a prime number?
True
Let s = -929 - -7000. Is s composite?
True
Let g(h) = -h**2 + 5*h - 3. Let x be g(3). Suppose -5*r - 4*j + 31 = 0, -x*r + 2 + 3 = -j. Suppose -r*p + 38 = -p. Is p a prime number?
True
Let k(s) = 2*s**2 - 22*s + 169. Is k(34) a composite number?
False
Let a be (-3 - (5 + -1))*(-12)/(-14). Is (-2 + (-4264)/6)/(4/a) a prime number?
True
Let l = 44225 + -31336. Is l a prime number?
True
Let p(q) = 2*q**3 - 53*q**2 + 72*q + 53. Let b(u) = -u**3 + 26*u**2 - 36*u - 27. Let l(t) = -9*b(t) - 4*p(t). Is l(21) composite?
True
Suppose -4*o + 25 = -3*h, 2*h + 4*o - o - 6 = 0. Let i be 0 + (h - -2) + 3. Is (-191)/((-3)/6*i) prime?
True
Suppose 0 = -3*c - 44 - 31. Let n(d) = 10*d**2 + 35*d - 30. Is n(c) a prime number?
False
Let l = 88 + -43. Is l/4 - (-4)/(-16) composite?
False
Let f = 59 - 23. Suppose 0 = c - 29 - f. Is c a composite number?
True
Let u(z) = -19*z**2 - 9 + 10*z + 0 + 52*z**2. Is u(4) a composite number?
True
Let i(p) = 514*p**2 + 4*p + 1. Let b(v) = 14*v + 17. Let y be b(-4). Let j = y - -38. Is i(j) a prime number?
False
Suppose 0 = c + 5298 - 42976. Is c a prime number?
False
Suppose 4*g + 10 = -2*r, 0 = 2*g - 0*r - 4*r - 10. Let o(x) = -78*x**3 + 1. Is o(g) a composite number?
False
Is 8 - 2 - (-11584 - 9) composite?
True
Let l(a) = -a**3 + 10*a**2 - 8*a - 6. Let h be l(9). Suppose 3*d - 11 = -h*t + 13, -3*d = 5*t - 34. Is (291/d)/(2/6) a composite number?
True
Let o = 1 + 3. Suppose q + 2*f + 407 = 4*q, -f = o*q - 528. Is q a prime number?
False
Let w = -101 - -163. Let n be -1 + -1 + (-3 - -20). Let q = w + n. Is q composite?
True
Suppose 37 = -11*v + 15. Is (11/(-33))/(v/1494) a prime number?
False
Let t be (-3)/24*2*-12. Let q(c) = -c**2 + 8*c - 8. Let p be q(6). Suppose 205 = p*b + t*a, -3*b + 100 + 90 = -5*a. Is b a prime number?
False
Let k = 54 + -35. Let m = k - 9. Let r(p) = 7*p - 3. Is r(m) a composite number?
False
Let a be (5/3)/((-22)/(-1254)). Let k = 616 - a. Is k prime?
True
Let c(g) = 4*g - 2. Let h(i) = 3*i - 2. Let v(t) = -4*c(t) + 6*h(t). Let k be v(3). Suppose -k - 35 = -w. Is w prime?
True
Let q(u) = -4*u + 16. Let p be q(-17). Let g = p + 525. Suppose 23 - g = -2*l. Is l prime?
True
Let l be (-60)/16*(-4)/3. Is 2/l - 17325/(-125) a prime number?
True
Let p(z) = -z**3 + 5*z**2 + 7*z + 8. Let d be p(11). Let t = 942 + d. Suppose -3*k = -2*i - t, 0 = -2*k + 2*i + 83 + 121. Is k composite?
False
Suppose 819 = -11*k + 2568. Is k prime?
False
Let s be -1 + (-3 - -1004) - -4. Suppose -s = 13*o - 17*o. Is o composite?
False
Let h = -187 - -441. Suppose -t = -3*t + h. Is t prime?
True
Let j be (-3)/4 - -1 - 36/16. Is (-1 - (-2 - j) - -4) + 208 a prime number?
True
Is 15*4/20 + 10390 a prime number?
False
Suppose -o - 15 + 5 = 0. Let s(u) = -7*u + 10. Let a be s(o). Suppose 0 = m - 17 - a. Is m prime?
True
Suppose 12*k - 6901 = 7223. Is k a prime number?
False
Suppose 0 = -5*m + 2*y + 28439 + 30456, -47133 = -4*m + 5*y. Is m a composite number?
False
Let i be 0/(2 - (6 + -3)). Suppose -3*g + 4*g - 2 = i. Suppose -4*j + 2*n + 20 + 112 = 0, g*j = -n + 58. Is j a prime number?
True
Suppose -5*y + 26 + 1 = -2*r, y - 2*r = 7. Suppose 7*l - 2*l = -y*m + 1110, 3*l - 220 = -m. Is m composite?
False
Let z = -1285 + 1728. Is z prime?
True
Suppose 3608 = r - 1253. Is r a composite number?
False
Let c = -107 - -155. Is c/(-72) - (-27023)/3 a composite number?
False
Let n = 106 + -106. Suppose n = -4*g + 3*v + 1388, 0 = -4*g + v - 4*v + 1388. Is g prime?
True
Let q(x) = -13*x**3 + x**2. Let a be q(1). Let j = 15 + a. Suppose t = j*w - 0*w - 364, 5 = -5*t. Is w composite?
True
Suppose -5*k - 4*g = -13 - 20, 2*k - 4*g = 2. Suppose l - k = -1. Suppose -99 = -t - l*z - 0*z, 0 = 4*t + 2*z - 382. Is t prime?
False
Let z be (-4)/(-6) - (-6)/(-9). Suppose -6*m - 56 + 236 = z. Suppose -3*p = -231 - m. Is p composite?
True
Let q = -49 - -60. Suppose 0 = -q*n - 2*n + 2093. Is n a composite number?
True
Let w = -647 - -20158. Is w prime?
False
Suppose 0*w - w + 2823 = -4*q, 3*w + 5*q - 8554 = 0. Is w a prime number?
True
Let n = -508 - -1497. Is n composite?
True
Let n(r) = 17*r**2 - 71*r - 43. Is n(25) a composite number?
False
Let k = 407 + -1099. Let f = k - -1557. Is f a prime number?
False
Let v(k) = 8*k**2 - 18*k + 221. Is v(27) prime?
False
Let y(z) = 161*z**2 - 8*z + 4. Is y(5) prime?
True
Let i(n) be the first derivative of -n**4/4 + 17*n**3/3 + 4*n**2 + 25*n - 12. Is i(17) prime?
False
Suppose 50578 = 42*p - 453884. Is p prime?
True
Suppose -5*z = 1515 + 560. Let o be 8/(-10)*z/2. Suppose 5*q = 3*a + o - 8, 3*q - 98 = a. Is q a composite number?
True
Suppose -2*c - f + 5 - 4 = 0, -3*c = -3*f - 24. Suppose 5*s + l = 81, 4*s - c*s + 4*l = 1. Is (s/1)/((-8)/(-88)) a prime number?
False
Suppose 3*w = 2*w - 157. Let q = -374 - w. Let s = 450 + q. Is s prime?
True
Is (12 + -13)/(4/966776*-2) prime?
True
Suppose 0*b - 4*b + 4 = -3*v, 0 = 4*b + 3*v + 20. Is 21/7 + (2 + b - -206) composite?
True
Let k(s) = -8*s**3 - 15*s**2 + 12*s - 36. Is k(-11) composite?
True
Suppose -2*b + 36 = 