ite number?
True
Suppose -12 = 3*k + 2*s, 0 = -4*k + k - 4*s - 18. Is 942/((3 - 4)*k) composite?
True
Let m(u) = 24*u - 3. Is m(6) composite?
True
Let t(z) = -28*z - 1. Let s be -2 + (3 + -2 - 2). Is t(s) a composite number?
False
Let i(g) = g**2 + 6*g + 4. Let o be i(-6). Let v be (1 + -1)*(1 - 0). Suppose 4*w + o*f - 13 = 15, v = -f. Is w composite?
False
Let h(y) = y**3 - 13*y**2 + 17*y - 7. Let c be 13/4 + 6/(-24). Suppose z - 13 = a, -5*a = -6*z + c*z + 41. Is h(z) composite?
False
Suppose 0*q - 5*q = -5. Let w be -15*(q + 12/(-9)). Suppose -3*m = -w*l + 265, 0*l + 5*m = 4*l - 212. Is l a composite number?
False
Suppose 0 = 3*l - 11 + 2. Suppose -l*u + 420 = -8*u. Let d = u - -239. Is d a prime number?
False
Let j(d) = d**3 - 6*d**2 + 2. Let o be j(6). Let f(w) = 2*w**3 - 3*w**2 + 2*w. Let a be f(o). Is (-74)/a*28/(-7) prime?
True
Suppose 6146 = 4*o - i, 4*o - 8*i = -9*i + 6150. Is o a composite number?
True
Let y(s) = s**2 + 6*s - 7. Let n be y(6). Suppose -3*w + n = -100. Is w a composite number?
True
Let t be 16 + (-5)/(10/(-4)). Suppose 4*x - 4*v - t = -3*v, 2*x - 5*v - 18 = 0. Suppose x*p = 33 + 475. Is p a composite number?
False
Let p(d) = 9*d**2 - 2. Let c = -4 + 6. Is p(c) a prime number?
False
Let s be (-1 + 0)*3*3. Let k(u) = u**2 + 8*u - 9. Let h be k(s). Suppose h = -0*n + n - 23. Is n composite?
False
Suppose -o - 2*o - 2*c + 14 = 0, -5*c = 3*o - 26. Suppose 0*u = -5*u + 4*m + 173, m = 3. Suppose -o = p - u. Is p composite?
True
Is 217 + 0 - (0 + -1) prime?
False
Suppose 2*t - 3 = 3. Suppose -w + 20 = t*w. Suppose -2*d - 66 = -4*d - 3*h, -w*d = 3*h - 165. Is d a prime number?
False
Is (-1)/(3*(-5)/10470) a prime number?
False
Suppose 0 = 5*g + 14 - 44. Let a(r) = -r**2 - 4*r + 5*r + 3 + 7*r. Is a(g) a prime number?
False
Is 18/117 - (-26152)/26 a composite number?
True
Let p = -1358 + 2269. Let w = p + -520. Is w a prime number?
False
Let i = 28 + 21. Suppose -4 = 5*u - i. Is u a composite number?
True
Let i(j) be the first derivative of 1/2*j**2 + 3 + 46*j. Is i(0) a prime number?
False
Suppose 0 = 3*y + 3*i + 3 + 3, y - 2*i = 4. Suppose -306 = -2*u - 4*a, 3*a - 93 = -u + 61. Suppose 3*z - u - 86 = y. Is z prime?
True
Let y = 1566 + -905. Suppose 5*f = -0*f + l + y, -4*l = -16. Is f a composite number?
True
Let u(b) = 4*b**3 + 3*b**2 + 8. Is u(5) prime?
False
Suppose -3*m + 1 = 4. Let h(j) be the second derivative of 37*j**4/12 + j**3/6 + j**2/2 - 2*j. Is h(m) composite?
False
Is (-2 + 0)*213/(-6) a composite number?
False
Is ((-422)/(-6))/(3/9) a prime number?
True
Let g = -36 + 15. Let a = g - -49. Let z = a - -5. Is z composite?
True
Suppose 4*k - 2*z - 208 = 0, 3*k - 2*z - 3*z = 149. Is k a prime number?
True
Let f = 1776 + -1103. Is f prime?
True
Let c = -129 - -484. Suppose c = 4*a - 1. Is a a prime number?
True
Suppose -14*l - 283 + 16509 = 0. Is l a composite number?
True
Let d(x) = -58*x + 41. Is d(-12) prime?
False
Suppose 0 = -2*j + 9 + 5. Let l = 9 - j. Suppose 0 = 4*g - 0*n - l*n - 518, g = -2*n + 137. Is g a prime number?
True
Let z(a) = -a**3 - 4*a**2 + 2*a. Let m(v) = v. Let u be m(7). Let p(c) = 3*c**3 + 11*c**2 - 6*c + 1. Let t(o) = u*z(o) + 2*p(o). Is t(-7) composite?
False
Let l(s) = -s**2 - 5*s + 2. Let c be l(-5). Suppose -5*t = -5*i - 5, 0*t + c*t + 3*i = 12. Suppose 3*g - 78 = -3*h, t*h + 3*g = 2*g + 70. Is h composite?
True
Suppose -4*s - 6 = 2. Let j be (-10)/s - (5 - 4). Suppose 2*k + 3*a - 1267 = -3*k, -3*a + 1016 = j*k. Is k composite?
False
Let c(n) be the second derivative of 2/3*n**3 - 7/2*n**2 + n + 0. Is c(8) a prime number?
False
Suppose 9*x - 4*i = 4*x + 1454, -2*x - 5*i = -608. Suppose 2*y + x = 96. Let v = 226 + y. Is v a composite number?
False
Let l be (-2 + -1)/(-3)*797. Is l/(-2 + (-9)/(-3)) a prime number?
True
Suppose -m - m = -1288. Suppose u + m = 3*u - 2*j, 2*u - 650 = -4*j. Let i = u + -144. Is i a composite number?
False
Let g(y) be the third derivative of -5*y**4/8 - 5*y**3/6 + y**2. Let j be g(-5). Suppose -3*w + j = -275. Is w prime?
False
Suppose -5*m - 26 = -o + 74, 5*o - 454 = 2*m. Let r = o - 32. Is r a composite number?
True
Let s be ((-6)/5)/(6/(-20)). Suppose s*y + y = 185. Is y a prime number?
True
Suppose -z + 5 + 0 = 0. Suppose -5*s + 10 = -5, -203 = z*x + 4*s. Let a = x - -64. Is a composite?
True
Suppose -18 + 0 = -2*q + 5*k, 0 = -q - 2*k. Suppose 2*w = w + q. Suppose w*x + 0*x = 148. Is x prime?
True
Is (-5)/25 + (-8264)/(-20) prime?
False
Suppose 2*l = -3*l + 22435. Is l a prime number?
False
Let y(b) = -3*b**3 + b**2 + 6*b + 4. Let s be y(-4). Suppose -14 = -2*g + s. Let u = 192 - g. Is u a prime number?
False
Let u = 0 - -4. Suppose -8*t = -u*t - 44. Is t composite?
False
Suppose 10*u = -952 + 6492. Is u a composite number?
True
Let t(y) be the second derivative of 17*y**3/6 - 21*y**2/2 + 2*y. Let z(i) = -4*i + 5. Let w(m) = 2*t(m) + 9*z(m). Is w(-5) a composite number?
False
Let k = -8 + 13. Suppose -9 = -4*d - k*a + 7, -3*a - 39 = -3*d. Let t = 6 + d. Is t a composite number?
True
Let d(w) = 32*w**3 + w**2 - 2*w + 1. Is d(2) prime?
True
Let w(b) = 3*b**3 + 5*b**2 - 3*b - 2. Is w(3) a composite number?
True
Let n be ((2 - 8)/3)/2. Let s = n + -3. Let o = 15 + s. Is o prime?
True
Suppose -g + 195 = -214. Is g a composite number?
False
Let z = 231 + -108. Is z a composite number?
True
Let w be (-12)/8*(-8)/6. Suppose 0 = w*g + g - 399. Is g composite?
True
Suppose 6*p - p = 1535. Is p composite?
False
Let t = 1657 - 1024. Let s be (0 - -1)*t/3. Suppose v - 2*g - 47 = -6*g, -5*v + s = -4*g. Is v a composite number?
False
Is (-10025)/(-45) - 4/(-18) a prime number?
True
Let g(b) = b**2 + 4 + b**2 - 4*b**2 - 2*b**3 + 3*b. Is g(-6) composite?
True
Is (-2)/(-2) - (1 - (146 + -5)) prime?
False
Suppose -5*g - 161 = -5*u - 1, 0 = 5*u + 3*g - 168. Is u a composite number?
True
Let w = -109 + 62. Let f = w + 84. Is f prime?
True
Suppose 0*k - 40 = -4*k. Let q(b) = 0*b**2 - k*b + 2*b**2 - b**2 + 0*b**2 + 11. Is q(-8) a prime number?
False
Suppose -3*h + 880 = -233. Is h a prime number?
False
Let v(i) = -8*i + 0*i**3 - 2*i**3 + 12*i**2 + i**3 - 1 - 4. Is v(6) a prime number?
True
Let t(v) = -v**2 - 4*v + 12. Let u be t(-6). Let a be (-1)/(-1) - 4*-1. Suppose -2*h + 2*b + 88 = -u*h, -4*h - a*b = -194. Is h composite?
True
Let t(u) = -u**3 + 8*u**2 - 6*u - 4. Let o be t(7). Suppose 3*h + 103 = 3*c - 134, -2*h + 212 = o*c. Let m = -21 + c. Is m composite?
False
Suppose 0 = -7*h - 18*h + 225. Let w(p) = -1. Let x(y) = -2*y - 7. Let k(l) = -6*w(l) - x(l). Is k(h) a prime number?
True
Is (-3351)/(-21) - (-12)/(-21) a prime number?
False
Suppose 2*p - 110 = 5*b, 0 = -2*b + 3*b. Is p prime?
False
Suppose 3*m = -79 + 2272. Is m prime?
False
Let q = -12 - -4. Let i = q - -12. Suppose 0 = i*l - 40 - 12. Is l a composite number?
False
Let k = 8 + -2. Let h(a) = -a**3 + 5*a**2 - 5*a + 6. Let l be h(4). Suppose k*z = l*z + 212. Is z a prime number?
True
Let p = -135 + 204. Suppose m + 4*w - 24 = p, w - 1 = 0. Is m a prime number?
True
Let m(a) = a**3 + 3*a + 1. Let j be -5 - 0/(1/1). Let d(p) = -p**2 - 5*p + 4. Let n be d(j). Is m(n) prime?
False
Let y be 15*-1*(-24)/(-9). Let j = y + 70. Suppose -3*t + j = -t. Is t prime?
False
Let w = -152 + 823. Is w a prime number?
False
Let d = 211 - -162. Is d prime?
True
Suppose -2*v - 315 = -2*u - v, 627 = 4*u - v. Suppose 3*r = 513 - u. Is r prime?
False
Let q(u) = -u + 39. Let j be (0 - (-1 + 2))*0. Let b be q(j). Suppose -3*g + b = -27. Is g a composite number?
True
Let n(t) = t. Suppose 5*o = 3*o + 3*s + 5, 0 = 4*o - 2*s - 6. Suppose o = 3*r + h - 0, -4*r = 5*h + 17. Is n(r) prime?
True
Let u(t) = -17*t + 6. Is u(-5) a prime number?
False
Let k(q) = 6*q**3 - 2*q**2 + 7*q - 1. Is k(8) prime?
True
Suppose 0 = -4*z - 5*q + 5806, z + 2*q - 60 - 1390 = 0. Is z a prime number?
False
Suppose 4*n - 20 = -0*n. Suppose 8 = 4*z - 4*y, -n + 0 = -5*y. Suppose -151 = -4*x + z*f, 2*x + 2*f = 7*x - 187. Is x a composite number?
False
Let n(a) be the first derivative of 2*a**3/3 + a - 1. Let q(j) = -j**3 - 5*j**2 + 5*j - 3. Let y be q(-6). Is n(y) composite?
False
Let q(w) be the third derivative of w**5/60 - w**4/24 + w**3/6 + 2*w**2. Let u be -4*(0 + 9/4). Is q(u) composite?
True
Let l be (-3)/18 - (-518)/12. Suppose 4*n - l = 141. Is n composite?
