20 = 0. Let m(z) = 2*z - 5. Let g be m(x). Suppose y = -4, g*k + 3*y - 6 = 3. Is k composite?
False
Let p = -10 + 10. Suppose j - 74 = -p*j. Is j prime?
False
Let b = -5 - -9. Suppose 3*h - b*i = 20, 3*i = -5*h - 0*i + 43. Suppose -h + 52 = 4*d + 2*z, 2*d - 22 = 3*z. Is d composite?
False
Suppose 5*x - 758 = -138. Suppose 0 = -y - 0*y + x. Is ((-4)/8)/((-2)/y) a composite number?
False
Let j(s) = -s**3 + 10*s**2 - 8*s + 4. Suppose 9 = t - 3*p, t + t - 5*p = 17. Suppose -c + r + 8 = 0, t*r + 18 = 2*c + 2*r. Is j(c) composite?
True
Is -4 + 3*(-2095)/(-15) composite?
True
Suppose b + 3430 = 11059. Is b prime?
False
Let t(y) = 2*y**3 + 4*y**2 - 3. Is t(3) composite?
True
Suppose -b + 3*b = -s + 301, -4*b + 4*s = -584. Is b prime?
True
Let g = 844 + -386. Let n = g + -291. Is n a prime number?
True
Let m = -8 + 153. Is m a prime number?
False
Let d(z) = z - 1. Let m be d(3). Suppose 4*h - m*h + 2 = 0, -3*t + 322 = 5*h. Is t prime?
True
Suppose -3*z - 5*n - 25 = 0, -2*n - 3 = -z + 7. Suppose z*c + 3*c = 0. Is (-201)/(-6)*(2 - c) a prime number?
True
Let n = 177 + -28. Is n composite?
False
Suppose 5*c - 15 = 5*a, 0*a + 4 = c - 2*a. Let n = 120 - -318. Suppose 0 = -v - 5*m + 139, 4*v - c*m - n = 30. Is v a composite number?
True
Suppose 5*p + g = 1123, g = p - 5*p + 898. Suppose -4*m - m - p = 0. Let y = m - -80. Is y prime?
False
Suppose -4*m - 2*m = -3162. Is m composite?
True
Let u(p) = 2*p**2 + 3*p + 5. Let g be (-9)/1 - (9 + -12). Is u(g) a prime number?
True
Let o(s) = s - 1. Let y be o(-3). Let v be (-9)/y - 5/20. Suppose -37 = -i - v. Is i composite?
True
Let m be (-5)/(-2)*(-12)/(-15). Suppose 0 = -3*a + 4 + m. Suppose -4*r + 48 = a*u, 4*r - 6*r + 44 = -4*u. Is r composite?
True
Is -3*((-41960)/(-15))/(-8) a prime number?
True
Let l(d) = 149*d - 17. Is l(6) prime?
True
Suppose -3*m - 33 = 3*a, 0 = -2*a - 0*m + 2*m - 2. Let p = a + 21. Is p prime?
False
Suppose 3*n = 2*x - 5045, -5*n + 7558 = 5*x - 2*x. Is x composite?
False
Suppose 0 = 3*u + 4*n + 1, -8 = 4*n + 8. Let w be 128/(-7) + 2/7. Let m = u - w. Is m a composite number?
False
Suppose -f + 521 = 204. Is f prime?
True
Let v = 4 + -4. Suppose v = -d - 2 + 3. Is -3 + 2 + 5/d composite?
True
Let m be 1/(3/6) + 3. Suppose 0 = -3*j - m*z + 31, 0 - 27 = -5*j + 4*z. Is j prime?
True
Let n = 41 - 18. Is n prime?
True
Suppose 755 = 3*i - y, -4*i + y + 1008 = -y. Is i a prime number?
True
Let l = 6 + -4. Is -1 + 251 + 1 + l a composite number?
True
Let i(z) = 84*z**3 + 2*z**2 - z. Let n = -4 - -5. Is i(n) composite?
True
Let o be ((-3)/(-5))/((-2)/(-10)). Is o/((-6)/(-4)) + 17 prime?
True
Suppose 0 = -5*y + 6989 + 3646. Is y a composite number?
True
Suppose 0 = q - 7. Let o be (-3)/2*40/(-3). Let s = o - q. Is s prime?
True
Let v be (-4)/10 + (-528)/30. Let g be (v/12)/(6/(-68)). Let a = g + 9. Is a a composite number?
True
Let i(q) = q**3 - 4*q**2 - 6*q - 5. Is i(6) a composite number?
False
Let g = 835 + 708. Is g a prime number?
True
Let k be (-3 - 0) + 444*1. Suppose 4*t - k + 85 = 0. Is t prime?
True
Suppose -3*u - 3*m + 17 + 1 = 0, -2*m + 10 = 0. Let g = u - 1. Suppose -4*l + 2*f = -695 + 245, 3*l - 4*f - 335 = g. Is l a composite number?
False
Let l be (-2)/5 - (-27)/5. Let z(h) = -4*h**3 - l - 2*h**2 + 5*h**3 + 0*h**3 + h. Is z(4) a prime number?
True
Suppose -3*b - 2*b = 90. Let f = b - -29. Suppose 2*r - f - 11 = 0. Is r composite?
False
Let f = 196 + -98. Let g = 165 + f. Is g a composite number?
False
Let m = 7 - 4. Suppose d - 133 = m*b, 0 = b - d - d + 51. Let g = b - -76. Is g composite?
True
Let h(a) = -5*a**3 - 2*a**2 + 12*a + 7. Is h(-6) a prime number?
False
Let w be (-2 + 2)*(-2)/4. Let o(s) = -s**2 + 57. Is o(w) prime?
False
Let h be (15/(-25))/((-2)/10). Suppose 5*j + 3*b - 171 = 1909, 4*b = -h*j + 1259. Is j a composite number?
True
Let c be (-4)/(-3)*6/1. Suppose -c*j = -4*j - 100. Is j a prime number?
False
Let c(x) = 74*x - 3. Let y be c(3). Suppose -4*v + 3*v + 91 = 5*n, -426 = -5*v + 4*n. Let q = y - v. Is q prime?
False
Let j = 12 + -8. Suppose -j*r + 265 = r. Is r composite?
False
Suppose 3*l - 3*f - 2232 = 0, -3670 = -5*l - 0*f - 5*f. Is l prime?
True
Suppose -3*s - 28 = 53. Let y = -13 - s. Is y a prime number?
False
Let a(z) = -50*z - 1. Let g be a(-4). Suppose -2*u - q + 158 + g = 0, 3*u = -4*q + 543. Is u composite?
True
Let b(l) = 36*l + 13. Is b(8) a composite number?
True
Let a be (-4)/6 - (-17)/3. Suppose -a*u + 137 + 248 = 0. Is u a prime number?
False
Let c = 4429 + -2598. Is c a prime number?
True
Let y be (-12)/(-2)*(-1)/(-2). Is (19/4)/(y/24) a composite number?
True
Let u(r) be the first derivative of 8*r**3/3 - r**2/2 - 4*r - 6. Is u(5) prime?
True
Let b(s) = -6*s - 1. Let j be b(-7). Suppose -401 = -2*o + j. Is o composite?
True
Let f(b) = b**3 + 11*b**2 + 13*b + 9. Let l be f(-10). Let v = 9 + l. Is 51/2 + (-6)/v composite?
True
Let o = 4826 - 2247. Is o composite?
False
Suppose -29 = y + 30. Is 1*(-1 + 1 - y) composite?
False
Let o be (0/(-2) + -73)*-1. Let x(b) = 3*b**2 - 2*b**2 - o*b**3 + 9*b**3. Is x(-1) prime?
False
Suppose -4*n + 2*u + u + 1 = 0, n - 6 = -5*u. Is (-256 + n)*(-3)/9 a prime number?
False
Is (-8)/12*107631/(-6) a composite number?
False
Suppose x - 2*x = -365. Let p be 1/5 - 14/(-5). Suppose -4*q + w + x = -2*w, -5*w = p*q - 252. Is q a prime number?
True
Let c(f) = -4*f**2 - f + 5. Let m(i) = 11*i**2 + 2*i - 14. Let r(u) = -8*c(u) - 3*m(u). Let h be r(2). Is ((-12)/(-8))/(h/164) prime?
False
Let i(w) = -w - 5. Let o be i(-8). Suppose o*k - 84 = 2*k + q, -2*k = 2*q - 188. Is k composite?
False
Let k(p) = 2*p + 0*p - 3*p - 2. Is k(-11) prime?
False
Let w = 7 - 8. Is w/2*-4 + 51 a composite number?
False
Let i(w) = -6*w**2 + 0*w**2 - w**2 + w**2. Let r be i(-1). Let d = r - -41. Is d a composite number?
True
Let w(u) be the first derivative of 4*u**3/3 - 5*u**2 + 7*u - 4. Is w(10) a composite number?
False
Let z(k) = k**3 + k**2 - k - 1. Let m(g) = 3*g**3 - 4*g**2 - 4*g - 1. Let b(s) = -2*s + 3. Let q be b(2). Let h(v) = q*m(v) + 2*z(v). Is h(6) composite?
False
Suppose 32 - 5 = 4*m - d, 5*m + 2*d - 37 = 0. Is (-14)/(-1) + (7 - m) a composite number?
True
Suppose 2*b + 2*b - 844 = -2*i, b - 3*i - 211 = 0. Is b composite?
False
Suppose -42 = -3*o + 2*p, 6*o - o = 4*p + 68. Suppose -5*m = 3*a - 81 + o, -m + 4*a = -13. Is m composite?
False
Suppose 3*f - 1531 = -2*f - h, -2*h = 2*f - 606. Is f composite?
False
Suppose g - c - 76 = 0, 0*c - 243 = -3*g - 2*c. Is g a prime number?
True
Let s be 4/14 - 95/(-35). Suppose -10 - s = -b. Is b prime?
True
Suppose 101 = 5*f - 24. Suppose f = -s + 227. Let r = -117 + s. Is r prime?
False
Let l(q) = -q**2 - 12*q - 1. Let d be l(-9). Suppose -i + 15 = 2*k, k - d = -2*i + 13. Is i a prime number?
False
Let u(x) = -x - 6. Let z be u(-12). Suppose z*h - h = 605. Is h prime?
False
Let o(p) = 13*p**2 + 9*p**2 + 5 - 6*p**2 - 6*p + 0. Is o(4) a composite number?
True
Suppose 2*x + 585 = -3*x. Is 2/(111/x - -1) prime?
False
Let w(p) = p + 4. Let n be w(-7). Let l(z) = 75*z**2 + z + 7. Is l(n) a composite number?
True
Let w be 0 + (0 + -2 - -4). Suppose w*r - 39 = 53. Let u = 68 - r. Is u a composite number?
True
Let q(c) = -43 + 9 + c + 389. Is q(0) a composite number?
True
Suppose 0*h - 3*h = -9093. Is h composite?
True
Let w = -6 - -11. Suppose w*q - 609 = n, -2*q + 154 = 5*n - 68. Is q prime?
False
Let q = 14 + -9. Is (q/3)/(3/99) a composite number?
True
Suppose 4*p - f = 421, 0*f - 433 = -4*p - 3*f. Is p prime?
False
Let q be (-6 - 2) + 3/3. Let s(d) = d**3 + 9*d**2 - 2*d - 9. Is s(q) a composite number?
False
Is (-295)/(-2)*(-36)/(-45) a prime number?
False
Let i(z) = -6*z**2 + 6 + 5 + 8*z**2 - 2 - 8*z. Is i(11) composite?
False
Is (-34)/17 - (211*-3 + 0) a prime number?
True
Suppose -2*l + 11 = 1. Suppose 0 = -2*x + 2*p + 54, 3*x - l*p = 2*x + 35. Is x a composite number?
True
Let m(y) = 3*y**2 + 1 + 0*y**2 - 2*y - 2*y**3 + 3*y. Suppose -5*h - t - 16 = 3, 3*h = -5*t - 29. Is m(h) prime?
True
Let a(j) = -22*j**3 - 3*j**2 + 12*j + 7. Is a(-4) a composite number?
False
Suppose -2*q - 5*k + 99 + 170 = 0, -5*q + 2*k + 716 = 0. Is q composite?
True
Suppose -3*q - 2*q + 165 = 0. Is q composite?
True
Is 4380/9 + 3/9 a composite number?
False
Let w(o) be the second derivative of o**5/10 + o**4/6 + o**