*n + 30846 = -29*n. Is n composite?
True
Let v = -66 - -803. Is v a prime number?
False
Suppose -2*w + 272 + 1062 = 0. Is w composite?
True
Let x(l) = l**3 + 8*l**2 - 29*l - 29. Is x(21) prime?
False
Let n be (1 - (-28385)/(-5))/(-1). Suppose 6*u = 2*u + n. Let c = u - 920. Is c a prime number?
True
Is (5039/5)/((-2)/(-60)*6) a prime number?
True
Let x = 59 - 16. Let f = x - 22. Suppose 24*l - f*l = 879. Is l a prime number?
True
Let k(q) = -97*q - 4. Let y be k(-3). Suppose o = -2*m + 373, 3*o = 5*m + 865 + y. Is o composite?
False
Let o be (5 - 3 - -2) + -2. Suppose 0 = -k + o*w + 4, w + 19 = k + 2*w. Suppose 13*n = k*n - 321. Is n a composite number?
True
Suppose 3*m - 5 = -2*m. Is m + 2865 + 9/(-3) a composite number?
True
Let h be 743/13 - (3 - (-333)/(-117)). Let t(u) = u - 5. Let o be t(-5). Let l = h - o. Is l composite?
False
Let l(m) = -2*m + 4. Let g be l(5). Let a be 2*1*(-69)/g. Let j = 11 + a. Is j a prime number?
False
Suppose 2*i + 141 = 5*g, 5*g + 5*i - 78 = 77. Suppose 4*h = 271 + g. Let u = h - -214. Is u composite?
True
Suppose -i + 9 = 5*m - 3*i, -5*m + 6 = -3*i. Let d(n) = 2*n**3 - 12 + 17 - 2*n + 3*n**m + 2*n**3 - 2*n**2. Is d(4) composite?
True
Let c(b) = -27*b**3 + 2*b**2 - b + 3. Suppose v = 6 - 9. Is c(v) a prime number?
False
Suppose -52302 - 38638 = -20*o. Is o a prime number?
True
Suppose 4*i - 5273 = m, -151*i - 3942 = -154*i + 5*m. Is i composite?
False
Let s = 373 - -3118. Is s prime?
True
Let r be 18/4*(1 + (-7 - 0)). Is r/(-6)*(-4)/(1 - 3) a prime number?
False
Let p = 58 - 35. Let v = p + -18. Suppose c + v = 0, 70 = 2*d - d - 3*c. Is d prime?
False
Let m(a) = 2*a**3 + 59*a**2 - 31*a + 61. Is m(-29) a prime number?
True
Suppose 3*y + 20 = i, -5*i = 2*y - 7 - 8. Suppose m = -0*m + c + 85, 5*c - 395 = -i*m. Is m a prime number?
False
Suppose -q = -2*t + 7257, -2*q - 8303 - 2582 = -3*t. Is t prime?
False
Let d(b) be the first derivative of -b**4/4 + 8*b**3/3 - 4*b**2 + 17*b - 9. Is d(7) composite?
True
Let l(y) = y**3 - 11*y**2 - 12*y + 2. Let o be l(12). Suppose -2*u - o*u + 1492 = 0. Is u prime?
True
Suppose -11*j - 20672 + 67939 = 0. Is j a composite number?
False
Suppose 0 = -7*c - 2*c + 89361. Let g = -3682 + c. Is g a composite number?
False
Suppose 3*a = 5*s - 4637 - 653, -2*s + 2117 = -a. Is s a composite number?
False
Let a = -22 + 26. Suppose 7 = 3*c - a*w, 5*c - w + 8 - 31 = 0. Suppose 5*u - 2*o - 187 = 0, -4*u + c*o = -u - 116. Is u prime?
True
Is (-1)/2 + ((-42994)/(-28) - -2) a prime number?
False
Let l(i) = 24*i**2 - 46*i + 125. Is l(31) a composite number?
True
Let x be -31 + (-1)/1 - -1. Let l = x - -36. Suppose l*s - 199 = 356. Is s composite?
True
Suppose v = 3*v + 8, -5*v - 20 = -5*g. Suppose -3*w + 4*n = -1409, g = 3*n + 6. Is w composite?
False
Let u = -105 - -342. Let p = -35 + 36. Is p/(-3 + 714/u) a prime number?
True
Let z = -2108 - -3025. Is z composite?
True
Let s = 21 + -21. Suppose 2*u + 2*z - z = s, z = 5*u - 14. Suppose -1226 = -4*n + u*f, 0*f - 2*f - 305 = -n. Is n a prime number?
True
Suppose -156 = -c + 34. Suppose 0 = -2*i + c + 228. Is i a prime number?
False
Let w be ((-24)/(-60) - (-36)/10)*2. Suppose 0*i - w*i = -5048. Is i composite?
False
Let s be (-1 + 0)/(2/(-4)). Let l be s/4*(-84)/7. Is (-214)/(((-16)/l)/(-4)) a composite number?
True
Is (2 - (5 + -1))*-9923 composite?
True
Let p(z) = -13*z**3 - 10*z**2 + z + 67. Is p(-12) a composite number?
True
Let g = 33 - 4. Let v = g + 512. Is v prime?
True
Let y(h) = h**3 - h + 797. Suppose -1 = -3*x + 4*i + 11, -2*i = 2*x + 6. Is y(x) prime?
True
Suppose 14*v - 19984 = -2*v. Is v prime?
True
Let w = 72 + -63. Suppose w*y - 767 = 8*y. Is y prime?
False
Let v(i) = -4*i**3 + 2*i**2 + 7*i + 6. Let b = 2 - -1. Let d(r) = -r - 2. Let s be d(b). Is v(s) composite?
False
Let j(v) = -v**2 - 3*v + 2. Let k be j(-3). Suppose 3*t + 11 = i, 4*i - 3*t - 27 = i. Suppose 180 = 2*o + 7*d - i*d, -k*o - 5*d + 168 = 0. Is o prime?
True
Let q(m) = m - 3. Let v be q(10). Suppose 0 = r - v + 4. Suppose 0 = -0*z + r*z - 159. Is z composite?
False
Is 84969/45 + (-12)/(-15) composite?
False
Let i(s) = 1 + 0 - 7 - 2*s**2 - s + 7*s**3 + 8. Is i(1) a composite number?
True
Let d be (3 + -75 + -1)/(5/(-145)). Suppose d + 1660 = 3*h. Is h composite?
False
Let b(c) = 22*c**2 - 15*c + 3. Let k(u) = -11*u**2 + 7*u - 1. Let x(l) = -4*b(l) - 9*k(l). Let t be (3/(-9))/(1/6). Is x(t) prime?
True
Let d(r) = 1141*r + 8. Let i be d(-6). Is ((-2)/4)/(13/i) prime?
True
Is 16143*1/(-5 - -8) a composite number?
False
Suppose u = a + 258, 3*u = -2*a + 2*u - 525. Let y be a/1*(-4 + 3). Suppose -5*j = -2*j - y. Is j composite?
True
Suppose 3*w = 4*d - 15, w + 0*d - 11 = -4*d. Let v be w + -21*(-1)/3. Suppose -4 = -j, -v*r - j + 360 = -2*r. Is r a composite number?
False
Let m(x) = -24*x - 83. Is m(-16) prime?
False
Suppose 4*v - r = 761, 4*r - 3*r - 958 = -5*v. Let g = v - 93. Suppose -5*k - g + 679 = 4*u, -k + 117 = u. Is k a composite number?
False
Suppose -5*u + 3*y - 9 = -25, 4*y - 27 = -3*u. Suppose -4135 = m - 6*m. Suppose u*t - m = 1358. Is t composite?
True
Let t be (-4)/(120/(-18)) + (-9)/15. Suppose -4*v + 85 + 351 = t. Is v a prime number?
True
Let i(f) = -42*f + 1. Let l(q) = -q**2 - 5*q + 3. Let g be l(-6). Is i(g) a composite number?
False
Let y be 1/(-2) + (-1174)/4. Suppose -2*r = -262 - 28. Let z = r - y. Is z a prime number?
True
Let n(q) = -q**3 + q**2 + 3*q - 4. Let o(x) = -6*x - 1. Let h be o(-1). Suppose -v = -h*v + 3*p - 14, -2*v - 6 = -2*p. Is n(v) prime?
True
Let q(g) = 502*g**2 + g + 15. Is q(4) prime?
False
Suppose 5*f - 12105 = -x + 6*x, 5*x = -5*f + 12065. Is f a prime number?
True
Let l = -646 - -879. Is l composite?
False
Is (-150)/180 + 7895/6 composite?
True
Let t(r) be the second derivative of r**4/12 + r**3/3 - 4*r**2 + 4*r. Is t(-9) prime?
False
Is (6/(-5))/3 + 161534/10 a prime number?
False
Let j(m) = 0*m**2 - 2 + 10*m**2 - m**2 - 4*m + 12. Is j(-7) a prime number?
True
Let n(y) = -622*y + 51. Suppose i + 4*s = 5*i + 36, 11 = -i + 2*s. Is n(i) a composite number?
True
Let n be (-44840)/6 + (-16)/24. Let l be (-3)/(-2) + n/(-4). Suppose 5*h = 5*k + l, 2*h + 5*k - 1269 = -486. Is h composite?
False
Let o be 4/(3/(-3)) - -1146. Let t = o + -609. Is t a prime number?
False
Suppose 14354 = 3*q + g + 3872, 2*q = -g + 6988. Is q composite?
True
Let v(w) = 25*w + 2. Let d be v(3). Suppose -3*o + 7*z = 3*z - 271, d = o - 4*z. Is o a prime number?
True
Let m = 919 + -384. Is m a prime number?
False
Let m = 591 - 939. Let o = m + 1891. Is o a prime number?
True
Let o(m) = 2*m + 8. Suppose 3*d + 2*b = -6, 0 = -0*d - 4*d - 2*b - 10. Let k be o(d). Suppose 3*w - 2642 + 251 = k. Is w a composite number?
False
Let c be (-1)/(-4) + (-37)/4. Let a(d) = 12*d**2 - 18*d + 13. Is a(c) a composite number?
True
Suppose -4*g + 33 - 5 = 0. Suppose 12 = g*l - 3*l. Suppose v + l*v - 748 = 0. Is v a composite number?
True
Suppose -i = 3*i + 2076. Let b be (16/(-10))/(4/1820). Let r = i - b. Is r prime?
False
Is 15 + -12 - (2 - 31376/2) prime?
False
Let h(i) = i**3 - 11*i**2 + 10*i + 1. Let q be h(10). Let o(n) = 567*n**2 - 4*n + 2. Is o(q) prime?
False
Suppose -z - 4*g = 11 + 5, 8 = -2*g. Suppose z = -0*t - 2*t - 48. Is 2/8 + (-4578)/t a prime number?
True
Let k = 631 + -1434. Is 2/(-4)*-2 - (k + -5) prime?
True
Let h be (3 - -2) + -1 + -3. Suppose 5*u + 4*n + n = 10, h = n. Let o(f) = 21*f - 2. Is o(u) composite?
False
Let c(j) = 9*j**2 - 2*j + 6. Let a be c(4). Let z = a - -619. Suppose 0 = -5*l - 186 + z. Is l prime?
False
Let f(x) = 8*x**3 + 10*x**2 - 9*x - 33. Let m(o) = o**3 - o**2 + o. Let b(w) = f(w) + 4*m(w). Is b(10) a prime number?
True
Let v(a) = 4461*a + 128. Is v(5) composite?
False
Let r(x) = 13*x**2 + 17*x**2 - 2*x**2 - 4 - x**2 - 4*x. Is r(-5) a composite number?
False
Let u be (-1 - (-2 + 3))*-9. Suppose -o - u = -4*o. Suppose 0 = -5*a + o*a - 34. Is a a prime number?
False
Let m be 3/21 + 1557778/14. Is (m/(-55))/(-6) + 2/(-11) composite?
False
Suppose 12387 = 2*p - 5*n - 10116, -p = -5*n - 11264. Is p prime?
True
Let s(g) be the second derivative of 29*g**7/2520 + g**6/720 + g**5/8 - 11*g**4/12 + 11*g. Let m(x) be the third derivative of s(x). Is m(5) a composite number?
True
Let a = 23 - 15. Suppose a*v = 10*v - 110. Is v composite?
True