**2/2 + 5*w - 24. Is l(-3) prime?
True
Let p be 3/2*(-4)/(-3). Let o(l) = -2*l - 74 + 4*l + 8*l**2 + 71 + 0*l. Is o(p) a composite number?
True
Suppose -5*f - 12 = -3*s, 4*f + 4 = 4*s - 12. Let d be s/10 + 8/(-20). Suppose -3*t - 2*t + 35 = d. Is t a prime number?
True
Suppose l = 5*x - 562 + 4960, 870 = -x + 5*l. Let p = -549 + 88. Let u = p - x. Is u a composite number?
False
Let u(b) = 2574*b**2 + 3*b + 7. Is u(-2) prime?
False
Suppose -g - 2128 = -4*l - 3*g, g - 2128 = -4*l. Suppose -2*p + 5*y = 196 - l, 2*p = -4*y + 372. Is p composite?
True
Is 15*(11 - (-6444)/15) composite?
True
Let z be 248871/91 - (-4)/26. Suppose 6*q = q + z. Is (-8)/20 - q/(-5) a prime number?
True
Let f = 5605 - 1610. Let l = -2056 + f. Is l a prime number?
False
Suppose 5*h - 3*g = 3511, -26*h + 25*h + 695 = 3*g. Is h prime?
True
Let l(z) = 2928*z + 17. Is l(2) composite?
True
Suppose 0 = -13*k + 8*k + 13015. Is k a composite number?
True
Let o = 40 + -56. Is 2 + 8847/6 + (-8)/o a composite number?
True
Suppose 2*b = 1 + 9. Suppose 2*v + y = 6, 2*v - 4 = -b*y + 2. Is (-3)/v*2098/(-2) a prime number?
True
Suppose 0 = 927*j - 923*j - 180. Suppose 2*c - 7*c + 15 = 0. Suppose -c*t + 0*t = -j. Is t composite?
True
Let b = -36 + 28. Let y(z) = -133*z + 27. Is y(b) prime?
True
Let y(u) = -91*u - 4. Let j = 25 + -23. Let q = -5 - j. Is y(q) prime?
False
Let q(i) = i**3 - 5. Let s be q(5). Suppose -10*h = -5*h + s. Is 634/8 + 6/h prime?
True
Suppose -3*m - i + 9196 = -2*m, -5*i + 9216 = m. Let c = m + -4620. Is c prime?
False
Suppose -37900 - 77632 = -4*m. Is m a prime number?
False
Let u(q) = 2*q - 12. Let i(d) = -5*d + 25. Let m(x) = -3*i(x) - 5*u(x). Is m(14) a composite number?
True
Suppose -y + 2*y = -3*f + 16834, 0 = 4*f + 2*y - 22446. Is f a composite number?
True
Suppose 72*i - 43*i - 1159159 = 0. Is i a prime number?
True
Let w be (-46)/184 + 2*(-23234)/(-16). Let a = w + -925. Is a a prime number?
True
Is 1142841/13 + (0 - (-24)/156) prime?
True
Suppose -2*p + 18476 = 4*y + 6790, 2*p = 5*y - 14585. Let i = 4676 - y. Is i prime?
False
Suppose 2*v = -6, -111*v = 3*g - 110*v - 7155. Is g a prime number?
False
Let l(d) = -3*d**2 + 3*d - 2. Let j(w) = -4*w**2 + 4*w - 2. Let a(m) = -4*j(m) + 5*l(m). Let s be a(4). Let g = 23 + s. Is g a composite number?
True
Suppose 28*f = 29*f - 335. Is f a prime number?
False
Let c(x) = -8*x + 4. Let q be c(0). Suppose 0 = 2*l - 3*y - 1, 1 = l + 2*y - 3. Suppose q*s = -l*a - s + 128, 5*a + 5*s = 335. Is a a composite number?
True
Let u(m) = 14*m**2 + 3*m + 5. Let r be u(3). Let z = r - 45. Is z a prime number?
False
Let a(h) = -h**2 + 13*h + 18. Let x be a(14). Suppose 0 = 11*o - x*o - 1043. Is o prime?
True
Let p = 117382 - 65225. Is p a composite number?
True
Let y be (-1)/2*(-5 - -7). Let d be 43 + (y - 2/(-1)). Suppose 2*h + 0*h - d = 0. Is h a composite number?
True
Let y(f) = 33*f**2 - 35*f + 244. Is y(13) prime?
False
Let k(a) = -a**2 - 4*a - 3. Let f be k(-2). Let j(i) = -6*i**3 - 1. Let r be j(f). Is 4/(-14) + (-555)/r prime?
True
Let v = -7249 + 16718. Is v prime?
False
Suppose 0 = 18*r - 20*r + 64836. Is r/30 + (-2)/(-5)*1 a prime number?
False
Let c = 26 + -24. Suppose -2*y + 4162 = 4*w, 8324 = -c*y + 6*y - 5*w. Is y prime?
True
Let n(a) be the first derivative of 31*a**3/6 - 3*a**2/2 + 7*a + 6. Let r(o) be the first derivative of n(o). Is r(10) a prime number?
True
Let c(t) = t**2 - 14*t + 1501. Is c(0) composite?
True
Let j = -6237 - -34178. Is j a prime number?
True
Suppose 23 = -0*w - w. Let a = 92 + w. Suppose 3*g = 4*m - 46 + 263, 2*m = -g + a. Is g composite?
False
Suppose 24420 = 3*o + 3*a, -5*o + 0*o + 40709 = 2*a. Is o a prime number?
False
Let r(d) = d**3 + 5*d**2 + 4*d. Let i be r(-4). Is (i - 4) + 4 + 341 composite?
True
Suppose -2*s = 3*n - 3*s + 31, 3*n - 3*s + 21 = 0. Let q(o) = 5*o**2 + 12*o - 11. Is q(n) prime?
False
Let r(v) = -v**2 - 4*v - 15. Let q be r(11). Let s = q - -348. Suppose -s = 2*i - y - 755, 0 = 5*y + 5. Is i composite?
False
Suppose -2*w - 141784 = -2*k, 5*w = -k + 2*w + 70888. Is k composite?
False
Suppose -5*s + 32*d = 35*d - 175, -5*d - 105 = -3*s. Is s composite?
True
Suppose 0 = -0*g + 4*g + 3*r - 35, 4*g - 15 = r. Suppose -16475 = -g*s + 6260. Is s a prime number?
True
Let q = -20 + 24. Suppose q*h - 24 = -0*h. Is -3*(-1)/h*806 prime?
False
Let q(o) = 514*o**3 + 2*o**2 - 2*o - 1. Is q(2) a prime number?
False
Let s be (17/(-34))/((1/38)/(-1)). Suppose t = j + 3*j + s, 5*j = -15. Is t prime?
True
Suppose 5*l + j = -3*j + 24, 4 = -l - 3*j. Suppose -l*r + 22552 = -0*r. Is r prime?
True
Let a(y) be the second derivative of 0 + 19/10*y**5 - 2*y + 0*y**2 + 0*y**4 - 1/6*y**3. Is a(1) a prime number?
True
Suppose 4*m + 1 - 25 = 0. Let r be (-2625 - m)*2/6. Let a = -242 - r. Is a prime?
False
Suppose -4*c - 2*t + 42 = -0*t, t = 3*c - 19. Is (-6)/c - (-847)/4 composite?
False
Let v(o) = -514*o + 1. Is v(-3) a prime number?
True
Let m(f) = -f**2 + 44. Let n = 18 - 18. Let z be m(n). Let a = 69 + z. Is a composite?
False
Let d(a) = -518*a + 9. Let s be d(-4). Let i = s + -886. Is i a composite number?
True
Let l be (13476/12)/(-2 + (-14)/(-6)). Is 1/(4 - 13473/l) composite?
False
Let a be 1252/(-3)*9/(-6). Suppose 176 = -d + a. Let w = -301 + d. Is w a composite number?
False
Suppose 4 = a - 0*a. Suppose -a*k + 3*k - 5*l + 282 = 0, 5*l = -5*k + 1510. Is k a prime number?
True
Suppose 5 = -x + 1. Let y(v) = 6*v**2 - 8*v - 15. Is y(x) a composite number?
False
Let c be (-10)/(-45) + (-79)/(-9). Suppose 2*b + 1 = c. Suppose 5*t - 50 = -5*f, -t + 26 = -3*f + b. Is t a composite number?
False
Is 10900/1 - -5*27/45 prime?
True
Suppose 0 = -2*y + 143 + 395. Suppose 0 = 3*o - h - 607, -3*o + 342 = -2*h - y. Is o a prime number?
False
Let z(j) = 4*j**2 - 38*j - 15. Let o be z(26). Is o*(-2 + 7) - (-20)/(-5) a prime number?
True
Let u = 31 - 26. Suppose u*t + 5*n = -209 + 1129, -t = -3*n - 168. Let j = t + -122. Is j prime?
False
Let d(p) = p**3 - p**2 + p - 7. Let l be d(6). Suppose -640 = -2*g + 2*j, -2*g + g + 330 = 4*j. Let m = g - l. Is m prime?
False
Suppose -368951 = -3*n - 14*n. Is n composite?
True
Let c be (-13 - (0 - 3))/(-2). Suppose -3*b + 2*b - 3*f = 301, 5*b + 1545 = c*f. Let g = 542 + b. Is g composite?
True
Let f be (3 + (-5)/2 + 4)*4. Suppose f*k - 15*k = 1839. Is k a prime number?
True
Let i(q) = -13*q + 7. Let k be (-1)/(20/6 - 3). Let f be -4 + 3/(k/2). Is i(f) a composite number?
True
Let l = 102 + -98. Is 1*(2657 + 0)*l/4 composite?
False
Let p(a) = a + 1. Let u be p(1). Is 394/10 + u/(-5) a prime number?
False
Suppose -24*o + 10*o = -4102. Is o a composite number?
False
Suppose 2*j + 18 = 5*j. Let k(u) = -u**2 + 10*u + 2. Is k(j) a composite number?
True
Suppose -2368 - 13599 = -i. Is i a prime number?
False
Let l = -13522 - -40649. Is l a prime number?
True
Suppose -5*x = -5*j - 30, -3*j + 3 + 4 = 2*x. Is 4 - (0 - (-197)/j) - -2 composite?
True
Let s(v) be the third derivative of 19*v**4 + 11*v**3/6 - 33*v**2. Is s(5) prime?
False
Suppose 7205 + 85397 = 2*l - 4*b, 46301 = l + 4*b. Is l composite?
False
Let r = 141 - 38. Let n = 286 - 102. Let y = n + r. Is y a composite number?
True
Is (3*8/12 + -1)*14543 a prime number?
True
Is 0 + (-5 - (-697 - -3)) prime?
False
Suppose 10*d + 17*d = 278829. Is d composite?
True
Suppose 0 = -2*p + 1 + 3. Suppose 4*o - 58 = -p. Is 3004/o + (-12)/(-28) a composite number?
True
Is (-301779)/(-36) + 2/8 a composite number?
True
Let c = -5645 + 8028. Is c a composite number?
False
Suppose -25 = 5*a, 4*v + v - 2120 = 5*a. Let k = 375 + v. Is k prime?
False
Let l(f) = -4*f**3 - f**2 - 19*f - 80. Is l(-6) a composite number?
True
Let d = -963 - -1623. Suppose 220 = 5*z + d. Let v = z - -159. Is v prime?
True
Let k be (-57)/5 + 2/5. Let l(t) = 81*t - 7. Let b(n) = -121*n + 10. Let c(x) = -5*b(x) - 8*l(x). Is c(k) a composite number?
False
Suppose 0 = -11*b - 10*b + 84945. Is b composite?
True
Suppose -4*m + g = m + 21, -m = -5*g + 9. Is (3 - m - 6) + 1397 + -1 prime?
False
Let x(u) = 19*u**2 - 16*u + 6. Is x(-34) composite?
True
Let h(k) = 47*k - 6. Let r(m) = -16*m + 1. Let p(l) = -2*h(l) - 7*r(l). Suppose -j - 1 + 25 = q, 0 = -2*j + 4*q + 18. Is p(j) prime?
True
Suppose -4*g + 7 = 3*l, 0 = -4*l - g - g + 6. Let f(y) = 1507*y**3 - y. Let a be f(l