5) a composite number?
False
Let d = -1447 + 522. Let o = d + 1392. Is o composite?
False
Suppose 2*d + 8 = -2*a + 4, 5*d - 3*a = 14. Is 77 - (-1 + (d - 2)) composite?
False
Let s be (-15)/20*(-12)/1. Let t(l) = 3*l**2 + 3*l + 7. Let m be t(-6). Is (-2)/(-9) + m/s a prime number?
True
Let m = 85 - -6. Is m a composite number?
True
Let t(l) = -l**3 - 2*l**2 - 4*l - 6. Is t(-7) a composite number?
True
Suppose 0 = 5*v + 4*l + 40, 4*v - l + 11 = -0*l. Is (558/27)/(v/(-6)) a prime number?
True
Let r(d) = 25*d**3 + 3*d - 3. Let l = -5 - -7. Is r(l) prime?
False
Let w(f) be the third derivative of f**5/60 - f**4/12 - f**3/3 + 2*f**2. Let o be w(-4). Let p = o - -13. Is p a composite number?
True
Suppose -1120 = -0*l - 4*l. Let k = l + -131. Is k a prime number?
True
Let w = -87 + 200. Suppose -4*t = -l + w, 46 = l + 3*t - 53. Let d = -52 + l. Is d a prime number?
True
Let c(s) = 55*s + 1. Let t be c(-1). Let r be (-12)/t + 3694/(-18). Let b = -18 - r. Is b a prime number?
False
Let w(u) = u**2 - 4*u - 7. Suppose -17 = 3*r + 2*r + 3*q, -4*q - 16 = 0. Let g be 2 - (-5 + 1) - r. Is w(g) prime?
False
Let g = 10 + -15. Let v = g + 8. Suppose 2*x + z = -2*z + 292, -v*z - 137 = -x. Is x composite?
True
Let k(a) be the second derivative of -a**4/12 - 5*a**3/6 + 5*a**2 + 3*a. Let z be k(-7). Is ((-19)/(-2))/(z/(-8)) prime?
True
Suppose -5*o - 129 = -8*o. Is o a composite number?
False
Suppose 0 = 4*q - 0*q + 368. Let u = -14 - q. Suppose -6*i = -4*i - u. Is i a composite number?
True
Let l = 588 + -411. Let c = l + 28. Is c prime?
False
Suppose 4*q + d - 283 - 560 = 0, 2*d + 213 = q. Is q a composite number?
False
Let j = -8 + 6. Let a be (62/3)/(j/(-6)). Suppose 3*t + k - a = 0, -t + 2*t + 2*k = 29. Is t prime?
True
Let g(i) = -i**3 + 21*i**2 + 16*i + 17. Is g(20) a composite number?
True
Let t(c) = -10*c**2 + 6*c + 1. Let z be t(-5). Let r = z - -406. Is r composite?
False
Let b be (-27)/6*24/9. Let m be (-1 - (-705)/b)*-4. Let n = m - 162. Is n composite?
True
Suppose 2*n - 5*n + 2637 = 0. Suppose 2*k - 1469 = -5*a, -2*a + n = a + 2*k. Is a prime?
False
Let r be (-15477)/(-55) - 4/10. Suppose 0 = -4*p - r + 1045. Is p prime?
True
Let w be 1*((-7 - -3) + 3). Is (356/(-4))/(w/1) composite?
False
Is (-517286)/(-110) + 2/5 prime?
True
Let w be 2/1 + (-1)/(-1). Suppose 0 = -j - w*b - b + 45, 4*j - 220 = 4*b. Is j a prime number?
True
Let j be (-8)/(-2)*35/28. Suppose -10 = -c - 6*n + 4*n, 0 = 5*c - j*n - 95. Let s = -7 + c. Is s a composite number?
True
Is (-106)/3*3/2*-1 prime?
True
Suppose 0 = 7*j - 1245 - 1324. Is j a composite number?
False
Let j(v) = -v**3 - 5*v**2 + v + 5. Let l be j(-5). Suppose l = -z + 5*t + 26, 2*z = -0*z - 5*t + 67. Is z a composite number?
False
Suppose 0 = -0*a - 4*a + 5*k + 9768, -a + 5*k + 2457 = 0. Is a a composite number?
False
Let o = -202 + 317. Is o prime?
False
Suppose 0 = -0*j + j. Suppose 2*c - c = j. Suppose 4*x + x + 4*w - 95 = c, -2*w - 56 = -2*x. Is x a composite number?
False
Let n(s) = s - 15. Let h be n(17). Let l(r) = -r**2 + 4*r - 6. Let z be l(4). Is (h - 5)/(z/44) prime?
False
Suppose -3*r = -6, -3*r + 24 = c - 3. Let l = 42 - c. Is l a composite number?
True
Let s(q) = q**2 - q + 4. Let o be s(0). Let t be (-2 - o)/(3/(-260)). Suppose 95 = -5*r + t. Is r prime?
False
Suppose 5*d = y - 229, 0*d + 3*d = 4*y - 967. Let l = y - 41. Suppose -4*p - 15 + l = 0. Is p composite?
False
Suppose o - 3 = -t + 55, -3*o - 4*t + 175 = 0. Let p = o - 22. Is p a prime number?
False
Let l(f) be the first derivative of 23*f**3/3 + f**2 + 2*f + 10. Is l(-3) a composite number?
True
Suppose -3*s + 2*h = 13, 5*s = 2*h - 7*h - 55. Let w(v) = v**3 + 9*v**2 + 6*v + 2. Is w(s) a prime number?
False
Suppose 4*p - 4 = 4. Suppose p*v - 200 - 414 = 0. Is v a composite number?
False
Let r be 4/26 + (-6753)/39. Let x = 300 + r. Is x prime?
True
Suppose 7*w - 2*w + 20 = 0. Let v = w - -71. Is v a composite number?
False
Let r = 19 - 28. Let k be 1 - r*(-134)/(-2). Let t = -389 + k. Is t a composite number?
True
Suppose 0 = -4*p + 2*o + 380, -p + 4*o = -53 - 56. Is p prime?
False
Let j = -3 + 3. Suppose j = h - 28 - 4. Is (-33)/4*h/(-12) prime?
False
Let f be 80/(-12)*(-648)/20. Suppose -4*q = -4*w + f, -4*q - 48 = -w - 9*q. Is w a prime number?
True
Let t(q) be the second derivative of q**5/4 + q**4/4 - q**3/3 + q**2/2 - 2*q. Is t(2) a composite number?
True
Let m be 1 - (-3)/((-6)/(-4)). Suppose 0 = -r + m*r - 152. Suppose 2*j - r = -2*j. Is j a composite number?
False
Suppose -80 = g - 2*z, -5*g - 418 = -5*z + z. Let p = g - -213. Is p a prime number?
True
Let r(o) = -369*o + 5. Is r(-8) a composite number?
False
Suppose 4*s = -0*s + 36. Suppose 0*d + 3*d - s = 2*n, 3*n + 15 = 5*d. Suppose i + 473 = 5*f, 4*f + 28 = -d*i + 414. Is f a composite number?
True
Let y = -22 + 22. Suppose y = 5*z - 5*d - 585, 300 = 3*z - 4*d - 47. Is z prime?
False
Let k be -6*(-2 + -1 + 1). Let l = 139 - k. Suppose 4*c = -d + 7 + l, 31 = c - d. Is c a composite number?
True
Let t(a) = a - 3. Let p be t(3). Let j = p - 4. Is (-142)/(-4) - (-2)/j a composite number?
True
Suppose 4*k = -0*k + 8. Suppose -y - 14 = -4*s + 6, -k*s = 5*y + 12. Let w = 17 + y. Is w prime?
True
Let g(n) = -n + 5. Let w be g(3). Suppose 0 = 5*q + 3*y - 583, -4*q - w*y = -6*y - 492. Suppose -5*d + i = -3*i - 110, -3*i + q = 4*d. Is d a prime number?
False
Suppose 3*m - 5*m + 4 = 0. Let t = 2 + 4. Suppose t*l = 4*l - 2*g + 68, 4*l - 136 = -m*g. Is l a composite number?
True
Let n(j) = 218*j**2 + j - 1. Is n(-2) a prime number?
False
Suppose 2*s = -10, 2*c = 2*s - 5*s + 83. Is c a prime number?
False
Is -1*1*(-1012 - -3) composite?
False
Is ((-3)/3)/(2/(-206)) prime?
True
Let f = 419 - 210. Let m = f + -120. Is m a composite number?
False
Let c = -77 - -160. Is c prime?
True
Let w = 11832 + -6521. Is w composite?
True
Let j(w) = -w**3 + 11*w**2 + 7*w - 5. Let m be j(11). Suppose 0 = 2*q - 0*f + 3*f - 169, 0 = q - f - m. Is q a prime number?
False
Let z be 4*139 + 5 + -7. Let d = -317 + z. Is d prime?
False
Let l(i) = -120*i - 1. Let z be l(1). Let h = z - -176. Is h composite?
True
Let g(t) = -t**2 + 4*t + 5. Let s be g(5). Let y(a) = -a**2 + 127. Is y(s) a composite number?
False
Let v = 5 + -3. Let z be (4/6)/(v/108). Suppose z + 56 = 2*u. Is u a composite number?
True
Let i be 378/(-22) + (-4)/(-22). Let q = i + 24. Is q a prime number?
True
Suppose 2*g + 0 = -6. Let b(y) = -4*y - 3 + 10*y**2 + 4*y. Is b(g) a composite number?
True
Let z(d) = 18*d + 3. Let t be z(5). Let k = -24 + t. Is k prime?
False
Let q = 18 + -16. Suppose 0*z + 2*z = 4. Suppose -z*j + q*c = -2*c - 158, -3*j - 5*c = -226. Is j a composite number?
True
Suppose -7*p + c + 29 = -2*p, 0 = 4*c - 4. Suppose 3*t = t + p. Is t a composite number?
False
Let p(o) be the third derivative of 29*o**4/12 + 7*o**3/6 + o**2. Let t(k) = -58*k - 6. Let d(q) = 5*p(q) + 6*t(q). Is d(-2) a prime number?
False
Suppose 0 = -5*i + 9 - 54. Is 894/i*3/(-2) prime?
True
Let j(f) = 2*f**2 - 18*f - 63. Is j(26) composite?
False
Let d(t) = -t**3 - 11*t**2 - 10*t + 11. Let y be d(-10). Let r = y - -3. Is r prime?
False
Let y be (-354)/(-4) - 3/6. Suppose -2*c + 129 = 5*o - y, 0 = -2*o - 2*c + 88. Is o composite?
False
Let f(x) = -2*x**2 - x + 43. Let w = -12 + 12. Is f(w) a prime number?
True
Suppose x - 11 + 5 = 0. Is (-3)/6 - (-1809)/x prime?
False
Suppose -2*i + 1017 = -2713. Is i prime?
False
Suppose -a + 4*t + 13 + 6 = 0, 2*a + 5*t = -27. Let i be (1/a)/(5/15). Is 21*((-5)/i - 1) composite?
True
Let j = -2 - -5. Suppose 5*a = u + u - 366, j*u - 364 = 5*a. Is a*(10/4 - 3) prime?
True
Let a(o) = 7*o - 3. Let y = 15 - 9. Is a(y) composite?
True
Suppose -5*l - 2*q - 63 + 418 = 0, -2*l + 148 = 2*q. Is l a prime number?
False
Suppose -f = -7*f + 1260. Suppose 3*i + 3*i - f = 0. Is i a prime number?
False
Suppose 0 = -2*n - 3*n + 10. Suppose -44 = -3*y + 34. Is y/(n/2 - -1) a composite number?
False
Let p be (-1 + -2)*(-6)/9. Suppose 4*g - p*g - 782 = 0. Suppose -5*c - b + 2*b + g = 0, -8 = -2*b. Is c prime?
True
Let b = 76 - -94. Let i = b + -57. Is i a composite number?
False
Let v be (12/10)/(7/35). Is (-171)/6*(-4)/v a prime number?
True
Suppose 0 = -d - q - 41 - 2, -3*d = -5*q + 113. Let m = -5 + d. Is m*(25/(-2))/5 composite?
True
Let p be (