s w(-3) a composite number?
False
Let r(i) = -i**2 + 6*i - 4. Let f be r(6). Is (-1224)/(-16) + (-2)/f composite?
True
Let s(f) = 127*f**2 - 13*f - 9. Let v(t) = -32*t**2 + 3*t + 2. Let q(a) = -2*s(a) - 9*v(a). Is q(1) a composite number?
True
Is -1069*(5 + -2 - 4) prime?
True
Suppose 0 = -5*f + 2*s + 1531, 7*f - 1234 = 3*f - 3*s. Is f a prime number?
True
Let b = 137 - 88. Is b a prime number?
False
Let p(k) = 80*k**2 + 5*k - 2. Let z(x) = 79*x**2 + 6*x - 2. Let m(i) = 4*p(i) - 3*z(i). Is m(3) composite?
False
Let c(z) = -3 + 2*z - z**2 + 9 - 8*z. Is c(-5) composite?
False
Let a = 410 + -157. Is a composite?
True
Suppose -4*n = 5*a + 3245 - 8774, -4452 = -4*a + 4*n. Is a composite?
False
Suppose 8*r - 3810 = 2*r. Is r a composite number?
True
Let y = -2 + 9. Let v = -8 + y. Let s = 11 + v. Is s prime?
False
Let w(h) = -h - 7. Let n be w(-10). Suppose -n*k + 111 = -0*k. Is k composite?
False
Suppose 0 = -h - 0*h - 2*a + 17, 5*a = -2*h + 37. Let p = h - -4. Suppose -p = -3*q + 84. Is q composite?
True
Let x be (-9)/6*(-440)/6. Is (x/(-4))/((-2)/4) a prime number?
False
Suppose -2*g - 3*y + 957 = 0, -305 - 1088 = -3*g + 4*y. Is g a prime number?
False
Suppose 2*m - 2 = -5*k, m = -0 - 4. Is (-1 + k - 192)/(-1) composite?
False
Let w(p) = 2*p - 9. Let a be w(-12). Is (262/(-3))/(22/a) a composite number?
False
Let s(x) = x**3 - 9*x**2 + 8*x + 2. Let u be s(8). Suppose z - 5*l = 113, z - 488 = -3*z + u*l. Let q = z - 76. Is q prime?
True
Suppose -2*x + 6 - 4 = -2*b, -2*x - 1 = b. Let i(p) = 21*p**2 + 1. Is i(b) composite?
True
Let u(l) = l**3 - 2*l**2 + 2*l - 2. Let t be u(2). Suppose 4*q = -t*z + 202, 2*z + 181 = 4*z - 3*q. Is z a composite number?
True
Suppose 0 = -5*z + 2*z - 12. Let s = 10 + z. Suppose -h = -0*h - s. Is h a prime number?
False
Let q be 8/(-4) + 2*1. Suppose q*w = w. Is (-21)/(w/(-3) - 1) a composite number?
True
Let w(t) = -t**3 - t**2 - 5*t - 20. Let c = 12 - 21. Is w(c) composite?
False
Let t(b) = -b**2 - 4*b - 4. Let v be t(-2). Suppose 5*l - 10 - 25 = v. Is l composite?
False
Let g = -6948 + 10290. Suppose -5*z + g = -3*u, 0 - 1 = -u. Is z a composite number?
True
Let y(w) = 9*w**2 - 3*w + 1. Suppose -4*x = -4*d - 28, x - 7 - 5 = 2*d. Is y(x) prime?
True
Let m be 0 - (3 + -6) - -13. Let k = m - -46. Suppose 4*j - 2*j - k = 0. Is j prime?
True
Let v = 1521 - 848. Is v prime?
True
Let k = 6 + -3. Let h(y) = -y**k - 1 - 1 - y**2 - 3*y**2 - 6*y. Is h(-4) a prime number?
False
Let y = 14 - 10. Suppose 6*j - 8 = y*j. Suppose 106 = j*t - 170. Is t a prime number?
False
Suppose -n + 4*h = -12, 0 = -n - h + 2 - 0. Suppose -40 = b + 4. Is (n/(-8))/(2/b) prime?
True
Let r = -4 + 0. Let g be -4 + 3 + (-17 - -4). Is (-2484)/(-21) - r/g composite?
True
Is 2299/8 + 21/(-56) composite?
True
Let n(l) = 2*l. Let i be n(2). Suppose 4*k - x = -15, -i*k - k - x = 30. Is (0 - -1)/1 - k a composite number?
True
Suppose 3*u + 5*r - 2*r = 6, 3*u - 4*r = 6. Is (4990/15)/(u/3) prime?
True
Let n(p) = p**3 - 2*p**2 - 4*p - 5. Let j be n(6). Let m = j + -82. Is m a composite number?
True
Let l(w) = -w**2 + w + 31. Is l(0) prime?
True
Suppose r + g = 879, 0*r = -2*r - g + 1756. Is r prime?
True
Let a(t) = 532*t**2 - 3*t - 2. Is a(-1) a prime number?
False
Let o = 13 + -4. Let i be (-38)/o + (-8)/(-36). Is i/18 + (-623)/(-9) a composite number?
True
Let v(q) = -q**3 + 4*q**2 - q - 1. Let g be v(4). Let b be 5 + (-5)/(g/(-2)). Suppose -6 = b*k - 4*k. Is k a composite number?
True
Let m(g) = -g**2 - 3*g + 5. Let k be m(-4). Suppose -2*l + k + 1 = 0. Is -251*(l + (-4 - -2)) a composite number?
False
Let u be ((-698)/4)/((-3)/6). Suppose -114 + u = d. Is d a composite number?
True
Suppose 4*d = 18 + 6. Suppose -d*u + 19 = -5*u. Is u prime?
True
Let o(t) = 162*t + 25. Is o(6) prime?
True
Let m(c) = -c**2 - 5*c + 7. Let p be m(-6). Let v be p - (-1 + 1*-8). Let w = v + 4. Is w a composite number?
True
Let o = 18 + -21. Is o + (-8)/(-12)*87 a prime number?
False
Let x = -49 - -161. Let j = -23 + x. Is j composite?
False
Suppose 2*b = 57 - 711. Let w = 586 + b. Is w a prime number?
False
Let b = -204 + 427. Is b a composite number?
False
Suppose 0 = -4*b + 2*b + 8. Suppose 3 = -3*a, -b = r - a - 58. Is r a composite number?
False
Let b = -1139 - -498. Let y = 982 + b. Is y prime?
False
Let v = 1754 + -763. Is v a prime number?
True
Suppose 0 = 2*t - 4 - 0. Suppose -230 = -t*w - 0*w. Is w a prime number?
False
Let m be (-3)/(-2) - 11/(-2). Let j(d) = d**3 - 8*d**2 + 8*d - 8. Let b be j(m). Is 1 + b + (-4 - -41) a prime number?
True
Let k = 4198 - 2727. Is k a composite number?
False
Let g = 480 + 385. Is g a prime number?
False
Let b be ((-12)/(-10))/((-4)/(-10)). Suppose h + 80 = b*h. Let n = -15 + h. Is n composite?
True
Let u(z) be the second derivative of 2*z**4/3 - z**3/6 - 2*z. Is u(-2) prime?
False
Suppose 0 = 4*s - 2*c - 588, -3*s = -c + 2*c - 431. Is s a composite number?
True
Suppose -5*i - 2*h = 3*h - 1320, -266 = -i + h. Is i a prime number?
False
Let b(f) = 40*f**2 + 4*f + 1. Is b(3) a prime number?
True
Is (-3 - -6)/3 - -105 a prime number?
False
Suppose 0 = -5*y - b + 6*b + 20, 0 = -4*b - 4. Suppose -y*g - 2225 = -8*g. Is g prime?
False
Suppose -m - i = 0, 0 = -0*i + 4*i - 20. Let u(f) = 0*f - f + 4*f**2 - 6 - 2*f**2. Is u(m) prime?
False
Let p(k) = -281*k**3 - k**2 + 1. Let u be p(-1). Suppose 4*q + 1798 = 6*q. Suppose u = 4*g - q. Is g a composite number?
True
Suppose 4*d - 15953 = q, -4*d + 21081 = -5*q + 5140. Is d prime?
True
Suppose -12*p - 12 = -11*p. Is (1/2)/((-2)/p) a composite number?
False
Suppose -5*b + 0*b + 3365 = 0. Is b a composite number?
False
Let w(h) = 3*h**2 - h + 11. Let t(j) = -2*j + 14. Let q be t(12). Is w(q) prime?
False
Let f(q) = 133*q + 2. Is f(5) composite?
True
Let q = -107 - -179. Suppose 4*b + 2*l - 58 = 0, l + 15 - q = -4*b. Is b a composite number?
True
Let n = 12 + -8. Let z = -3 + n. Let h(b) = 20*b**3 - 2*b + 1. Is h(z) a composite number?
False
Let x = 12 + -9. Is (1 - 2/x)*69 prime?
True
Is -6 - -3 - (-298 - 1) - 1 composite?
True
Suppose -x + 4 = 2*s + 3*x, -5*x = 5*s - 5. Let r(n) = 6*n - n**2 + 3*n**2 + s*n**2 - 3. Is r(-7) composite?
False
Let d(i) = -3 + 0 + i**2 + i + 4. Suppose 6*q - 20 = 2*q. Is d(q) a composite number?
False
Let v = 24 + -15. Let i(n) = -n**2 + 10*n + 10. Is i(v) a prime number?
True
Let l = 11 + -5. Is (-3428)/(-36) - l/27 a prime number?
False
Let b(p) = p**2 - 4*p + 3. Let u be b(4). Suppose -w - u*w - 20 = -4*j, 0 = -4*w + 5*j - 23. Is w/(-15) + 984/45 a prime number?
False
Let l = -16 + 517. Is l prime?
False
Let d = -9953 - -16422. Is d composite?
False
Let b = 16 - 11. Suppose 2*f - 80 = 2*p, 5*p - 3*p + 209 = b*f. Is f a prime number?
True
Let w(x) = x**3 - 4*x**2 + x + 2. Let u(p) = 1 + 2*p**2 - p**3 + 5*p**3 - 3*p**2. Let z be u(1). Is w(z) composite?
True
Let n(k) = 3*k + 1. Let z be n(3). Suppose -1 + z = 3*g. Is 2/g - (-62)/6 composite?
False
Is (-4 - -2)/(-2)*(-55)/(-1) a prime number?
False
Let b(w) = -8*w - 11. Let n be 7*-1 + (-3)/1. Is b(n) a prime number?
False
Suppose -b + 8 = 2*c - 0*c, 0 = b - c - 11. Let p(y) = -b*y + 20*y + 26*y - 7*y. Is p(2) a composite number?
True
Let r = -3851 - -6430. Is r prime?
True
Suppose 0 = 2*f + 2*f - 636. Is f prime?
False
Suppose 0*v = 5*v. Suppose 2*r - 5*i - 42 = v, -2*i = r - 14 - 7. Is r a prime number?
False
Is (1/(-3))/(2/(-690)) composite?
True
Suppose -3*u = -5*d + 1151, u + 12 = 5*u. Let q = 873 - d. Is q a prime number?
True
Let f(m) = m**2 + 771. Is f(0) a prime number?
False
Let k(d) be the second derivative of 5*d**4/6 + d**3/3 + 3*d**2/2 + 6*d. Is k(-7) composite?
False
Suppose 2*u - 23 = 23. Suppose u = n - 0*n. Is n prime?
True
Let h = -544 + 767. Is h composite?
False
Suppose -5 - 1 = -3*z. Let w = 2 + -1. Suppose -3*h + 623 = 4*n, -h + z = w. Is n prime?
False
Suppose 5*b = 4*s + 199, -4*s - 4*b - 262 + 90 = 0. Let c = -25 - s. Is c composite?
True
Let v(d) = d**2 - d + 143. Suppose 4*c = -x - 4, 8 = 2*c - 3*x - 4. Is v(c) a composite number?
True
Let n(p) = -85*p + 2. Let b be 1 - (4 + -2) - 2. Is n(b) a prime number?
True
Let g(u) = -u**3 - 5*u**2 + u + 4. Is g(-6) a composite number?
True
Suppose -m - 2*m = 729. Let i = -101 - m. Is i a composite number?
True
Let y = -3 + 8. Suppose j - 2467 = 3*k, -y*k