 be h(-5). Suppose z*v + 2*i = 8*v, 3*i + 4 = 4*v. Is 63*(v - -5)/9 a composite number?
True
Is 30536/56 + (-2)/7 composite?
True
Suppose -123 = s - 628. Is s a composite number?
True
Let q(w) be the first derivative of 3*w**2/2 + 13*w - 2. Is q(11) a composite number?
True
Suppose -4011 = -2*h - 5*c, 4*c = h + h - 3966. Is h prime?
True
Let s = 8 + -5. Suppose s*p - 30 = 2*l, 3*p + 2*l = -l + 30. Is p composite?
True
Suppose -346 + 38 = -4*z. Is z composite?
True
Suppose -3*m - 6 = -z, m - 5*m - 7 = -z. Suppose -3*n = -z*i + 6, -n + 3 = -3*i + 5. Suppose g + i*g - 93 = 0. Is g prime?
False
Let w(m) be the first derivative of m**4/4 - 2*m**3/3 - m**2 + 6*m - 1. Is w(7) composite?
True
Let j be 5/(-3)*(-2 + -1). Let v = 2 + j. Is v a composite number?
False
Let b = -2088 + 3572. Suppose -5*x + x + b = 0. Is x composite?
True
Let p(l) = 13 - 5 + l + 2. Let o be (12/(-14))/(1/7). Is p(o) composite?
True
Let k = -13 - -18. Suppose k*i = 547 + 268. Let r = 272 - i. Is r composite?
False
Let h = -7 - -35. Suppose 0 = -u - 3*u - h. Let a = 120 - u. Is a a prime number?
True
Let k be 209/4 + 15/20. Let i = -32 + k. Is i a prime number?
False
Suppose 0 = 2*h - 2611 - 811. Is h composite?
True
Let u(t) = 3*t + 1. Let c(g) = -g**2 - g. Let s(v) = -3*c(v) - u(v). Let d be s(1). Suppose 4*i - 38 = -2*k, -5*i - 38 = -0*k - d*k. Is k a prime number?
True
Suppose 0 = x - 0*x - 624. Let d = -441 + x. Is d a prime number?
False
Let w be -2*(2 + (2 - 3)). Is w/((-6)/3) + 30 prime?
True
Let u(k) be the first derivative of -11/2*k**2 + 3 - k. Is u(-1) a prime number?
False
Let d(x) = -16*x**3 - x**2 + 4*x + 2. Is d(-2) a prime number?
False
Suppose -55 = -4*q + 3*q. Is q a prime number?
False
Suppose -91 = -3*p + 20. Is 0/4 + -2 + p prime?
False
Suppose 26*v = 31*v - 2785. Is v a prime number?
True
Let r(x) = x**2 + 2*x + 11. Suppose -30 = -8*k + 11*k. Is r(k) prime?
False
Let z(k) = -11*k + 29. Is z(-14) a composite number?
True
Suppose w + 2*w = 4*j - 54, j = 5*w + 22. Let g = j + 11. Is g prime?
True
Let g(a) = -28*a + 1. Suppose v + 0*v + 1 = 0. Let y be g(v). Suppose -q = 0, 5*q + 7 = -2*r + y. Is r a composite number?
False
Let z(l) = l - l**2 - l**3 + 0*l - 4*l - l + 7. Is z(-5) prime?
True
Suppose 0 = -5*c - z + 24, 4*c + 3*z - 3 = 25. Suppose k = -c*k + 110. Let a = k - 3. Is a a composite number?
False
Suppose -3*s = -5*g + 2*g + 555, 925 = 5*g + 5*s. Is g composite?
True
Let l = -83 + 134. Is l a composite number?
True
Let z(w) be the third derivative of -17*w**7/5040 - w**6/240 + w**5/30 - 3*w**2. Let a(h) be the third derivative of z(h). Is a(-4) a composite number?
True
Suppose 8 = -3*h - 19. Is -3*-5*(-15)/h a prime number?
False
Suppose -7*y = -5*y + 24. Let n(q) = -5*q - 5. Is n(y) a composite number?
True
Suppose -2*j = -2*w - 12, 5*w + 23 = -2*j - 0*w. Let a(g) be the third derivative of 2*g**5 + g**4/12 - g**3/6 - 14*g**2. Is a(j) a prime number?
False
Suppose 2*d = 4*d - 8. Let m = d - 4. Is (-1 + m - -1) + 26 composite?
True
Suppose -44 = -k - 0*k. Suppose -2*s + 4*s = k. Suppose 0*a + s = 2*a. Is a prime?
True
Let g(z) be the second derivative of z**5/20 - 7*z**4/6 + 5*z**3/2 + 5*z**2/2 - 6*z. Is g(13) a prime number?
True
Let q = -4 - 0. Is ((-58)/q)/(2/12) a prime number?
False
Let q = -565 - -805. Let z be (-15)/(-6)*(2 + 0). Suppose -3*a + z*c + q = 0, 293 = 3*a - 3*c + 47. Is a a composite number?
True
Suppose -4*o = -2*o - 6. Suppose -5*v + 0*g = o*g + 5, -g = v - 1. Is v*(-3)/(24/110) a composite number?
True
Suppose -4*b + 0*b = 8. Let u be 7*3 + 2 + -2. Is u/b*(-10)/3 a prime number?
False
Let q(g) = -16*g + 3. Let o(j) = -63*j + 12. Let u(y) = -4*o(y) + 15*q(y). Let m be 15/6 + (-2)/(-4). Is u(m) a composite number?
True
Suppose -5*f + 4*x = 3*x - 10, 0 = 2*x. Suppose 40 = -3*n - f*n. Let q(a) = a**3 + 9*a**2 - 9*a + 9. Is q(n) composite?
True
Let w(m) = -7*m + 47. Let f(j) = -8*j + 47. Let p(v) = -6*f(v) + 7*w(v). Is p(0) a prime number?
True
Let l(w) = -w**3 + 4*w**2 + 4*w + 7. Let k be l(5). Let h be 0*(1/k + -1). Suppose -2*b + 4*b - 20 = h. Is b a composite number?
True
Let x(w) = -66*w + 7. Let r be (-25)/(-15)*3/(-1). Is x(r) a prime number?
True
Suppose -12 = -3*q - q. Let s(g) = 3*g**3 + g**2 - 2*g - 5. Is s(q) a composite number?
False
Let c = 159 - 70. Is c a prime number?
True
Let t(p) = 11*p - 4. Let r be 5 - -1*(2 + -1). Let j be t(r). Let g = 49 + j. Is g a prime number?
False
Suppose -3*q + 15 = -0. Let d(a) = -a**3 - 6*a**2 - 6 + 13 + 10*a**2 + 4*a**2 + q*a. Is d(7) a composite number?
True
Let x be 2 - (-1 + 1 - 1). Suppose o - 36 = x*o. Let z = o - -53. Is z a composite number?
True
Suppose -3223 = 4*h - 7*h + 4*n, 4*h + 5*n - 4349 = 0. Is h prime?
False
Suppose -3*i = -7*i + 8, y + 2*i - 12 = 0. Suppose 0 = -4*s + y*s - 220. Is s a prime number?
False
Let c = 1044 + -725. Is c prime?
False
Let c(l) = 8*l**3 - 4*l**2 - l + 4. Let b = 6 - 3. Is c(b) prime?
True
Let z(h) = -15*h**2 + 6. Let o(l) = 16*l**2 - 5. Let v(t) = 6*o(t) + 5*z(t). Is v(1) a prime number?
False
Let p(x) = x**2 + 4*x - 6. Let f be p(9). Let q = f - 32. Is q a composite number?
False
Suppose 5*r + q + 0*q - 21 = 0, -r - 1 = -5*q. Suppose 0*u = -2*u - o + 84, -5*u = -o - 203. Suppose 66 = r*w + 5*p - 132, 3*p = w - u. Is w a composite number?
False
Let c be (1/((-3)/(-12)))/2. Suppose c*j - 12 = 24. Suppose -r - 2*r = -j. Is r a composite number?
True
Let g be (-2)/10 + 11/5. Suppose 4*u = 2*s + g*u - 8, -u - 4 = 5*s. Suppose 4*w + 458 - 1518 = s. Is w prime?
False
Suppose 3*s - 9 = -3. Suppose s*z = 3*y - 367, -4*z + 0*z + 218 = 2*y. Is y a composite number?
True
Suppose -j - 14 = -3*j. Let y = 70 + j. Is y prime?
False
Let a = -450 - -785. Is a a prime number?
False
Suppose 3*j - 4*z - 18 - 15 = 0, 0 = 5*z. Let c(y) = 44*y + 15. Is c(j) composite?
False
Suppose t = 1 + 1. Suppose t*x - 3*i + 1 = 33, -i = 2*x - 40. Is x composite?
False
Let g = -586 - -261. Let x = -219 - g. Is x a composite number?
True
Suppose -3*h - 2*h - 4*t = -2235, 1319 = 3*h - 2*t. Is h a prime number?
True
Let h(g) = 3*g**2 - 7*g - 4. Let r be h(-13). Let w = r - 287. Is w prime?
True
Suppose 0 = 5*w + 4*z - 9*z - 110, -2*w + 46 = -3*z. Let a be ((-24)/(-3))/(4/2). Suppose 4*r - a*g = 172, r + 4*g = 3 + w. Is r composite?
True
Let o = -101 + 300. Let q = o - 68. Is q a composite number?
False
Suppose -4*c + 3*c + v + 86 = 0, -4*c - 5*v + 317 = 0. Is c*1/((-2)/(-2)) a prime number?
True
Let z = 3925 + -1874. Is z a prime number?
False
Let u(l) = -13*l - 47. Is u(-20) composite?
True
Let x(v) = -2*v**2 + 1. Let q be x(-3). Let r = 100 + q. Is r prime?
True
Suppose 7*t = 5*t + 206. Is t composite?
False
Let z(h) = -h**2 - 3*h - 2. Let x be z(-2). Suppose x = -4*d + 811 - 159. Is d a prime number?
True
Let x(k) = -9*k - 9. Let c(v) = -5*v - 4. Let h(z) = -11*c(z) + 6*x(z). Let u be h(7). Let o = u - -74. Is o a composite number?
False
Let l(j) = 9*j**3 - j**2 + 5*j - 10. Let k(v) = 17*v**3 - 2*v**2 + 10*v - 21. Let b(x) = -6*k(x) + 13*l(x). Is b(3) a prime number?
False
Suppose 1487 = -4*l - q, -4*l = 4*q + 44 + 1452. Let d = -170 - l. Is d/(-6)*2/(-1) prime?
True
Suppose 30 = 5*h + 10. Suppose -2*j + 28 = 3*i - 4*j, 4*i - h*j = 44. Suppose -r = -i*r + 195. Is r prime?
False
Suppose -12 = -x - 6. Suppose 3*w = x + 24. Is w a composite number?
True
Let u(y) = -y**3 + 12*y**2 - 6*y + 2. Let q be 4/(-14) + (-195)/(-21). Is u(q) prime?
True
Is 240810/21 + (-2)/14 prime?
True
Let o(b) = 2*b**3 - 9*b**2 + 2*b - 2. Let m be o(6). Suppose l = -l + m. Is l composite?
False
Let o(r) = 8*r**2 + 4*r - 8. Let j be o(-14). Suppose -5*y = 49 - j. Is y a composite number?
True
Let o = -5 + 7. Let a(u) = 8*u**2 - 1 - u**o + 0 + 0*u**2 + 4*u. Is a(4) a composite number?
False
Let i = -19 + 58. Suppose i + 288 = 3*h. Is h composite?
False
Suppose 0 = -z - 42 + 121. Is z composite?
False
Suppose -195 = -4*g + 709. Is g prime?
False
Let v(r) = -10*r - 10*r + 90*r**2 + 1 + 18*r. Is v(1) a prime number?
True
Let g = -5 + 7. Let z be g/(-1) + 1 - -3. Suppose -4*i = -z*l + 66, 5*l + 2*i + 26 = 191. Is l a composite number?
True
Let n(v) = 115*v**3 + 3*v**2 - 5*v + 2. Is n(3) a prime number?
True
Is 30/5*(6543/6)/3 a prime number?
False
Suppose -4*i + 17 = 5. Suppose 0 = -f - i*v + 13, 2*v = -v