2/(-8) composite?
True
Suppose 0 = l - 4*l - 4*o + 69, -4*l + 5*o + 123 = 0. Suppose -3*v - q = -4*q - l, -5*q - 5 = 0. Suppose 0 = -3*b + v*b - 715. Is b prime?
False
Let i be (-1 + 6/9)*-3. Let q(m) = -221*m**2 - 7*m + 4. Let j(l) = -74*l**2 - 2*l + 1. Let x(z) = -7*j(z) + 2*q(z). Is x(i) prime?
False
Let g = 245 - 171. Is g prime?
False
Let p = -617 + 285. Let i = 471 + p. Is i a prime number?
True
Suppose -2*a = -a - 479. Is a prime?
True
Is (6 - 3 - 1/2)*838 prime?
False
Suppose -2*z + 264 = 4*o, -2*z = -3*o + 75 + 130. Is o prime?
True
Let h = 49 - -40. Is h a prime number?
True
Suppose 25 = -5*l, h = 3*h + 4*l + 42. Let i(a) = a**3 + 14*a**2 + 12*a - 14. Is i(h) composite?
True
Let i = -3 - -6. Let v be (-2)/i + 222/9. Suppose -5*w + 2*w = -f - 5, 0 = 4*f - w - v. Is f composite?
False
Let r = -8 + 4. Is (7 - 3)*(-131)/r prime?
True
Let x(w) = -57*w + 10. Is x(-5) composite?
True
Let x = -37 - -74. Suppose -3*a + x = -2*a - 4*d, d = -3*a + 72. Is a prime?
False
Is -2 + (3568 - 5) + -2 a composite number?
False
Let i(b) = 1065*b**2 + 5. Let f(z) = -266*z**2 - 1. Let k(x) = -9*f(x) - 2*i(x). Is k(-1) prime?
True
Suppose 5*o - 1163 = -g, -5*o + 0*g - 2*g = -1161. Is o a prime number?
True
Let z be (1/2)/((-3)/36). Suppose -2*b = -79 + 265. Is 0 - (-2)/(z/b) a composite number?
False
Let h = 5 + -2. Suppose -63 = -c + u, h*c = u + u + 191. Is c composite?
True
Let t(r) be the second derivative of 127*r**3/6 - 3*r. Is t(1) a prime number?
True
Let i(u) = -u**2 - 10*u - 7. Let c be i(-9). Suppose 2*k - c*x = 278, k = 4*k + 3*x - 441. Is k a composite number?
True
Let p(i) = -i**2 + i - 1. Let n(o) = -10*o**2 + 7*o - 5. Let l(f) = -n(f) + p(f). Is l(-9) a prime number?
True
Let y(r) = -2*r**2 - 3*r. Let h be y(-2). Let i = -23 + 20. Is (-111)/i + h - 0 a prime number?
False
Let j = -64 - -131. Is j prime?
True
Let q(w) = -4*w**3 - 3*w**2 + 3*w + 1. Let s(i) = i**3 + 1. Let u(f) = -q(f) - 2*s(f). Is u(4) a prime number?
False
Let y = -94 + 452. Suppose 0 = 5*g + 4*i - 463, -3*g + 3*i + y = g. Is g a composite number?
True
Let n(w) = -7*w + 6. Let f be n(-7). Let o = f - 33. Is o a prime number?
False
Suppose -3*o = -689 - 3508. Is o a composite number?
False
Let k(a) = 5*a**2 + 8*a - 5. Let s = 10 + 8. Let g be (-111)/18 - (-3)/s. Is k(g) composite?
False
Suppose -n - 5 = -65. Suppose -u - n = -5*z, z = -z + 3*u + 11. Is z a prime number?
True
Let w(i) = -i**3 + i**2 + i + 568. Let j be w(0). Suppose 4*n - 24 = 4*a + j, 0 = n - 4*a - 142. Suppose 2*u - 2*v = n, -u + 76 = -2*v + 5. Is u prime?
True
Let t(l) = -24*l**3 - 4*l**2 - 2*l. Let r be t(-2). Suppose 5*q = -4*p - p + r, -3*q + 115 = -4*p. Is q a prime number?
True
Let o(t) = -t**3 - 8*t**2 + 2*t + 14. Is o(-11) composite?
True
Suppose 0 = 2*c - 145 - 277. Is c a composite number?
False
Is (-52008)/(-72) + (-8)/6 composite?
True
Is -4 + (0 - -2) + 373 composite?
True
Suppose -111 = -c - 5*o, -2*c - o = -0*o - 240. Is c composite?
True
Let r = 3 - 7. Let i(x) = -29*x + 3. Is i(r) prime?
False
Let h = 80 - 43. Suppose 4*y + 10 - 30 = 0. Suppose x + 25 = 5*x + 3*n, 2*n + h = y*x. Is x prime?
True
Let v = 4 + -4. Suppose -3*t = -3 - v. Is 10 + 0 - 0/t prime?
False
Let c = 690 - 337. Is c composite?
False
Let b = 38 + -13. Is b a prime number?
False
Suppose 2 + 2 = h. Is h/(-10) + (-3470)/(-50) prime?
False
Suppose -2*g + 4 = -3*y + 3, 4*g + 8 = 4*y. Is 243/7 - 2/g composite?
True
Let o = -2 + 57. Is o composite?
True
Suppose 6 = -3*g - 0. Is 31 - 0/(4 + g) a prime number?
True
Let j = -2 + 1. Let i(t) = -2*t + 1. Let l be i(j). Is l/(-9)*(-2 - 265) a prime number?
True
Suppose 19 = 2*c - 4*x - 1, 4*c = -4*x - 8. Suppose -9 - 1 = 5*b, -186 = -c*j + 2*b. Is j composite?
True
Let m(p) = -2*p - 1. Let x be m(-3). Suppose 5*c = -x*t + 275, 2*c + 5*t - 112 = 2*t. Is c a prime number?
True
Let w = 0 - 1. Let p(v) = 6*v - 4. Let r(h) = h - 1. Let u(m) = -3*p(m) + 12*r(m). Is u(w) a composite number?
True
Suppose -m = -30 - 49. Is m prime?
True
Is ((-139)/(-3))/(1/3) a prime number?
True
Suppose -2*t - 156 = -3*t + r, -4*t + 659 = 3*r. Is t a composite number?
True
Let w be ((-2)/(-1))/(3/6). Suppose w*k + 3*l - 54 = 28, 0 = 3*k + 5*l - 67. Is k composite?
False
Suppose -440 = -5*w + 5*q, 353 = 2*w + 2*w - 3*q. Is w a composite number?
False
Let o(q) = 2*q**3 - 3*q**2. Let p be o(3). Suppose -4*a + 9 + 6 = n, 0 = n + a - p. Is n a composite number?
False
Is (-885)/9*(-1 + -2) prime?
False
Let v = 3488 - 1691. Is v composite?
True
Let v(i) = 2*i**2 - 2*i + 7. Let k = 95 + -57. Suppose -5*q = -h - k, -6*q = -q - 2*h - 36. Is v(q) composite?
True
Is 12/(-20) - 5576/(-10) prime?
True
Is (6/18)/(2/786) composite?
False
Let l(y) = y**3 + 6*y**2 + 5*y + 1. Let b be l(-5). Let h(v) be the second derivative of 4*v**3 + v**2/2 - v. Is h(b) composite?
True
Let m(d) = d**3 + 3*d**2 - 6*d - 4. Let k be m(-4). Suppose y + y = -4*z + 658, 655 = k*z + y. Is z a prime number?
True
Suppose 4*o - 5*j = -0*j + 162, 3*o + 5*j = 104. Let t be o/10 - (-3)/15. Suppose 0 = h + t*h + 5*m - 20, -4*h - 5*m = -17. Is h a composite number?
False
Suppose -5*t = -91 - 234. Let v be t - (-1 + (-3)/(-1)). Let k = 157 - v. Is k composite?
True
Let k(j) be the first derivative of j**3/3 - 5*j**2/2 + 8*j - 2. Is k(6) a composite number?
True
Let s(b) be the second derivative of b**4/12 - b**3/2 - 2*b**2 - b. Let m be s(-7). Suppose -m - 66 = -4*z. Is z a composite number?
True
Let u = 6 + -14. Let v(i) = -10*i + 9. Is v(u) composite?
False
Let k(j) = 2 + 3*j**2 - j**2 - j**2 + 3*j. Let u be k(-3). Suppose -u*v = -v - 33. Is v a composite number?
True
Suppose -2*s - 4 + 0 = 0. Let c(v) = -4*v**2 + v + 1. Let l be c(s). Let j = l - -50. Is j a prime number?
False
Let x(i) = i**2 + 5*i + 3. Let j be x(-5). Let m be (1 + 26)/j*3. Let u = -13 + m. Is u a composite number?
True
Let z be 1*(-1 + 0) + 0. Let x be 0/z*(-1)/(-2). Suppose x = -4*m + 3*k + 236, -3*k + 7*k = -4*m + 236. Is m a composite number?
False
Let z = 787 - 116. Is z a prime number?
False
Suppose 6*j = 3*j + 93. Is j prime?
True
Let t(j) = -j**3 - 7*j**2 + j + 4. Let o be (-52)/6 - (-6)/(-18). Is t(o) prime?
True
Is (-5)/((-135)/(-6)) - (-152581)/99 a prime number?
False
Let i(t) = -7*t + 2*t - 3*t + 11 - 10*t. Is i(-6) a composite number?
True
Let u(s) = s**3 + 3*s**2 - 2*s - 4. Let k be u(-3). Let v(r) = -r**2 + 2 + 4*r + 0*r + k. Is v(3) a composite number?
False
Suppose -r - 61 = -g + r, 2*g - 2*r = 114. Is g a composite number?
False
Let p = 10 + -10. Suppose p = -5*g + 10, -118 = -2*k - 3*g + 198. Is k a prime number?
False
Suppose 2*m - 4*o = 154, -2*m = -5*m - 4*o + 281. Suppose -5*t - 836 = -4*g, 4*t + 923 = 4*g + m. Is g a composite number?
True
Let o be 139/4 - (-2)/8. Suppose -3*p + 4 = -o. Suppose 4*w = p + 3. Is w prime?
False
Let m = -289 - -1440. Is m composite?
False
Suppose -4*s + 2864 = 5*k - 994, 3*s = -5*k + 2891. Is s a prime number?
True
Is ((-2)/(-4))/((-3)/(-942)) composite?
False
Let i = 432 - 275. Is i prime?
True
Let w be 5*-1 + -1 - 2. Let s(n) = 2*n**2 + 6*n + 3. Is s(w) a composite number?
False
Let d = -110 - -481. Is d composite?
True
Let h(b) = 2*b**3 + 8*b**2 - 5*b. Is h(7) a composite number?
True
Let h = 66 - 46. Let f = h - -3. Is f a composite number?
False
Let s = -137 + 322. Is s a prime number?
False
Suppose 2*a = -3*s + 3, 35 = -5*a - 4*s + 5*s. Let y be 652/a - (-8)/12. Let h = -71 - y. Is h a composite number?
False
Suppose s - 3*h + 2270 = 3*s, -5*s - h + 5701 = 0. Is s a composite number?
True
Let m(n) = n**3 + 4*n**2 - 2*n + 6. Let u be m(-6). Let a be (-1)/((-2)/4) - 35. Let l = a - u. Is l composite?
True
Let w be (-1)/(3/(-24)*2). Suppose -2*y + 4*r - 12 = 0, -5*y + w*y - 4 = -r. Is y - -2 - 259*-1 a composite number?
True
Suppose 4 = m - 1. Suppose -a - 110 = -2*r + 149, r = -m*a + 146. Is r prime?
True
Let t(l) = 27*l - 8. Let r be t(5). Suppose -2*g - 4*m - r = -5*g, -4*g - 5*m + 221 = 0. Is g a prime number?
False
Let t be 2764/8 + 2/(-4). Suppose t = 5*o + 80. Is o prime?
True
Let i be ((-4 - -8) + -1)*-5. Let k = i + 28. Is k a prime number?
True
Let s be (-21)/(-4) + 3/4. Let c = s + 2. Let l(y) = -y**2 + 9*y + 7. Is l(c) composite?
True
Let b be 3356/6*(-9)/(-2). Suppose -5*i - m = -b, -i + 998 = i - 4*m. Is i prim