*z + y. Is z composite?
True
Suppose 2*q + 4 = -2. Let m be (-33)/9 - (-1)/q. Is 602/(1/((-2)/m)) a composite number?
True
Suppose -3*w + 4*w + 1 = 0. Let a be 1 + -1 - (-11)/w. Let k = 15 + a. Is k composite?
True
Let w be 2*(2 - (3 - -1)). Is -332*w/(64/28) a composite number?
True
Let r(t) be the second derivative of 5*t**4/6 - t**3/2 + t**2/2 - t. Is r(4) composite?
False
Suppose 37 = -3*s - 2*r, -3*r + 29 = -s - s. Let d = 82 + s. Is d prime?
False
Let f = 4 + -2. Let z(m) = m - f*m - 8*m + 10 + m. Is z(-8) prime?
False
Suppose 2 = q, -3*d - 2*q = 2*d - 399. Is d composite?
False
Let n be 1/(-1)*(-3 + 1). Suppose -c - 35 = -n*c. Is c a composite number?
True
Suppose i + 2*i - 5115 = 0. Suppose 8*o = 3*o + i. Is o prime?
False
Suppose -4*u + 2*n + 3696 = 0, -2762 = 8*u - 11*u - n. Is u composite?
True
Suppose -4*n + 36 = h + 3*h, h + 6 = 2*n. Suppose -1162 = -2*m - 3*d + 5*d, 0 = m - h*d - 575. Is m a prime number?
False
Suppose 0 = -z - 3*z + 12. Let t be 50 + (2 - 4) + z. Let a = 170 - t. Is a prime?
False
Let v = 7 + -5. Suppose 380 = -2*b - v*b. Let n = b + 162. Is n a composite number?
False
Let i = 8 + -15. Let n = 7 - i. Suppose 2*p - n = 8. Is p a prime number?
True
Suppose 0 = 4*h + y - 6 + 18, -h + 4*y = -14. Is (79/h)/(5/(-10)) a prime number?
True
Let d(a) = a**3 - 13*a**2 + 12*a + 11. Is d(15) a composite number?
False
Let h = 15 - 10. Suppose 5*m + 4 = m - h*x, -2*m + 3*x = -20. Suppose -b - m*o = o - 29, -2*o = -b + 15. Is b a prime number?
True
Let m = -5 + 17. Let p be (-4)/m - (-128)/6. Is p + (-2 + 0 - -3) composite?
True
Suppose 0 = -4*f + 16, 0*s = 5*s - 3*f + 7. Let i = 1 - s. Is 4/((-4)/(-85)) - i prime?
False
Suppose 0 = -5*b + 2*i - 35, 0 = -2*b - i + 4*i - 14. Let l = b + 42. Is l a composite number?
True
Let k = -73 + 136. Is (-14)/k - (-1469)/9 prime?
True
Let i be 1759/7 - (-2)/(-7). Let m be (-2)/(-6) - i/(-3). Let g = 149 - m. Is g prime?
False
Suppose -129*o + 7724 = -125*o. Is o composite?
False
Let h = -1 + 12. Let m(w) = w**3 - 8*w**2 - 6*w - 4. Is m(h) a prime number?
True
Let v(u) = 141*u. Let f(y) = 1550*y. Let s(q) = 4*f(q) - 45*v(q). Is s(-1) prime?
False
Let g be (-8)/(-4)*(-3)/2. Let h(j) = -j**2 - 9*j + 3. Let z(q) = -q**2 - 8*q + 3. Let i(y) = g*z(y) + 2*h(y). Is i(-8) a prime number?
True
Let i(c) = -c**3 + 6*c**2 + 8*c - 1. Let q be i(7). Suppose -4*j - 154 = -q*j. Is j a composite number?
True
Let v(c) = 45*c**2 + 2*c - 10. Let a be v(-5). Let d = a - 692. Is d a composite number?
True
Suppose 0 = -s + 62 - 26. Suppose 4*g - 460 = -s. Is g a prime number?
False
Let i(g) = 5*g - 6. Is i(13) a composite number?
False
Let v(h) = -h**2 + 9*h - 8. Let c be v(8). Suppose -4*p - 2*s + 128 = 0, c*s + 2*s = -p + 35. Suppose 3 - p = -2*y. Is y composite?
True
Let n be 6/15 + (-18)/(-5). Suppose 63 = n*f - 701. Is f a prime number?
True
Let v(m) = m**2 - 7*m + 9. Let s be v(6). Suppose -4 = s*g - 79. Is g composite?
True
Let v = -348 - -1021. Is v prime?
True
Let g(c) = -c**3 + 17*c**2 - 8*c + 14. Is g(13) a composite number?
True
Let f = -297 + 928. Is f prime?
True
Let w(d) = d**2 + 5*d - 3. Let u be w(-7). Let h(n) = 3*n - 8. Is h(u) prime?
False
Is (586*5/(-10))/(0 - 1) composite?
False
Let s(g) = 20*g**2 + 8*g + 5. Let k(i) = -7*i**2 - 3*i - 2. Let x(m) = -17*k(m) - 6*s(m). Let z be x(4). Suppose -2*t + 12 = -z*t. Is t a prime number?
False
Is -259*(3 + -5 + 1) a prime number?
False
Suppose 3*k + 3 + 0 = 0. Let d be (-6)/k*(-4)/(-6). Suppose -d*j + 0*j = 2*w - 154, 3*j + 5*w - 126 = 0. Is j a composite number?
False
Let o(v) = 22*v**2 + 2*v + 1. Suppose h + 2*h = -3. Is o(h) a composite number?
True
Suppose 0 = 2*l + r + 3*r - 14, r = 4*l - 10. Suppose 4*s - 26 = l*s. Is s a prime number?
False
Suppose 4167 = 9*r - 0*r. Is r prime?
True
Suppose 0*y - y - 15 = 0. Is y/9*1*-159 a prime number?
False
Let a(b) = -3*b**2 + 8*b - 10. Let l be a(4). Is (l/(-6))/((-1)/(-15)) a prime number?
False
Suppose -2*l = l - 12. Let t = 15 - l. Let p = t - -36. Is p a prime number?
True
Suppose -2*q + 154 = 5*y, -12 = -q + 3*y + 76. Suppose -q = -0*s - s. Is s composite?
True
Let m(u) = -u - 1. Let s be m(4). Let y = 28 - s. Is y a prime number?
False
Let a(g) = -10*g**3 - g**2 - 3*g - 23. Is a(-4) composite?
False
Let l(s) = -41*s - 25. Is l(-4) composite?
False
Suppose -5*g + 491 = 3*w, -5*g + 2*w + 524 = 43. Is g prime?
True
Suppose -h + 1342 = 5*q, -5*q - 8*h + 1330 = -3*h. Is q prime?
True
Is (-10)/(-85) + (-4265)/(-17) prime?
True
Let x = -5 - 1. Let h(f) = -f**2 + 9*f - 2. Let s be h(4). Is (14/(-6))/(x/s) composite?
False
Let f(i) = 2*i**2 + 3*i + 3. Suppose -3*x - 3 = 3. Let a be f(x). Suppose -3*k + 91 = a*q - k, -2*q = k - 36. Is q composite?
False
Let r(z) be the first derivative of 9*z**4/4 - 2*z**3 + 3*z**2/2 - 3*z - 9. Is r(4) composite?
True
Suppose -4 = -4*w - 0. Is 3 + 3*22*w a composite number?
True
Let v(f) = -248*f + 1. Is v(-2) prime?
False
Let s(b) = -3*b**3 + 4*b**2 - b - 3. Let d(v) = -4*v**3 + 4*v**2 - 2*v - 4. Let u(c) = -4*d(c) + 5*s(c). Let l be u(-2). Suppose 45 = l*w - 0*w. Is w composite?
True
Let p(r) = -57*r + 13. Is p(-2) a composite number?
False
Let l(g) be the first derivative of -g**2/2 + 5*g - 1. Let j(p) = -1. Let v(r) = -6*j(r) - l(r). Is v(5) a composite number?
True
Let r = 97 - -65. Let w = r - 93. Is w a composite number?
True
Let n(p) = -18*p + 3. Is n(-2) composite?
True
Let s(j) = 19*j**3 + j**2 + 3. Let c(t) = t**3 - 9*t**2 + 9*t - 6. Let b be c(8). Is s(b) prime?
False
Let n = 1 - 3. Let c be 0*(0 + -1) - n. Suppose 4*u = p + 335 + 169, c*u + 4*p = 270. Is u composite?
False
Let j(y) = -6*y**3 - 3*y + 1. Let s be j(2). Let l(k) = k + 4. Let b be l(-6). Is -3*(s + 0) + b a prime number?
True
Suppose 5*z = -u - 50, 2*u = 5*z + 28 + 37. Let y(g) = -g - 1. Let a(v) = 11*v + 14. Let c(p) = -a(p) - y(p). Is c(z) a prime number?
True
Suppose -13*l = -8*l - 1795. Is l a composite number?
False
Let v = 6 - 4. Suppose 2*x - 952 = -v*x. Suppose 2*m + x = 4*m. Is m a composite number?
True
Suppose -41 = -3*i - 4*g, -4*i = -0*i + 3*g - 57. Let u be 6/i + 46/10. Suppose u*n = 825 - 120. Is n a prime number?
False
Let h = -7 - -4. Is 179/(-3)*(0 + h) a composite number?
False
Let t(j) = j**3 + 6*j**2 + 2. Let l be t(-6). Let q be ((-4)/6)/((-2)/6). Suppose -q*x + 7*x - l*f = 265, x = 4*f + 35. Is x composite?
True
Let v be -2 + -1 + -194 + -2. Let o = 596 + v. Is o composite?
False
Let q = 18 + 95. Is q a composite number?
False
Let p = 31 + -9. Is p a composite number?
True
Suppose 0 = 4*m - 319 - 141. Is m prime?
False
Let p(s) be the second derivative of -5/6*s**3 + 2*s - 3/2*s**2 + 0 + 1/12*s**4. Is p(7) prime?
True
Is (-1 + -1)*8690/(-20) prime?
False
Let k(h) = -49*h**3 - h**2 - 3*h - 1. Let u be k(-2). Suppose -4*d = -d - u. Is d prime?
True
Suppose 5*b = -1 + 11. Suppose -b*t = -4*t. Suppose 4*o + 95 - 307 = t. Is o composite?
False
Let j(z) be the third derivative of -z**4/12 + z**2. Let h be j(-5). Let k = 0 + h. Is k a composite number?
True
Is 48/120 - (-96486)/10 a composite number?
False
Let g be (-1)/5 + 8/(-10). Let n(u) = 77*u**2 - u - 1. Is n(g) prime?
False
Suppose 5*v = 140 + 95. Is v a composite number?
False
Let c = 2 - -2. Suppose 4*l - 217 = 3*j, -c*l + 2*j + 12 = -206. Is l a prime number?
False
Let m be 8/(-3) - 4/(-6). Let i(b) = -6*b**3 - b**2 - 2*b - 1. Is i(m) a composite number?
False
Is 3 + 2 + 5141 + (3 - 2) a composite number?
False
Let q be 10/14 + 2/7. Suppose -j - 10 = -3*z, -z - 2*j + 4*j - 5 = 0. Is q/(-5) + 96/z composite?
False
Let f(i) = i**3 - 8*i**2 + 7*i. Let o be f(7). Suppose p + p - 8 = o. Suppose 0 = p*x + 281 - 1045. Is x a composite number?
False
Let n = -283 - -614. Is n a composite number?
False
Is -1*47314/(-12) - 2/(-12) a prime number?
True
Suppose v = 3*t - 1562, 2*v - 1615 = -4*t + 471. Is t a composite number?
False
Is (-14 - 0)/(3/((-2259)/6)) a composite number?
True
Let z = -10 + 34. Is (-2 + z)/(4/10) a composite number?
True
Let t = 831 + -578. Is t prime?
False
Let r = 5 + -3. Suppose 4*m - r = 5*m + t, -5 = 4*m + 3*t. Is 3*(176/6 + m) composite?
True
Let t(m) = 13*m**2 - 3*m. Let x be t(2). Suppose k - 2*p - x = -0*p, -2*p = 0. Is k prime?
False
Suppose 4*z = -803 + 2439. Is z prime?
True
Let b = 52 + 59. Suppos