z**3 - 4*z**2 + 2*z + 3. Let a be g(3). Is 1/(-3)*(a + -471) a prime number?
True
Let v(z) = -z**2 + 6*z + 3. Let q be v(5). Suppose q = 7*h - 3*h. Suppose -39 = h*o - 181. Is o composite?
False
Is 1/(4/(896 - 4)) a prime number?
True
Suppose 5*q - 4*a = -2, -3*a + 8 + 3 = q. Let k be (q + -18)/(12/66). Let p = k - -131. Is p a prime number?
True
Let c = -13 + -15. Is ((-317)/(-4))/((-7)/c) prime?
True
Let t(m) = m - 6. Let q = 2 - -2. Let v be t(q). Is ((-1)/v)/((-2)/(-52)) a composite number?
False
Let y(m) be the first derivative of -m**4/4 + m**3 + m**2/2 - m + 1. Let f be y(3). Let l = f - -20. Is l a composite number?
True
Suppose -4*s + 3*s + 289 = 3*x, -200 = -2*x + 3*s. Let t = x - 64. Is t composite?
True
Suppose -5*z - 728 + 2251 = f, -4*z + 4613 = 3*f. Is f a composite number?
False
Let v = -8 + 12. Suppose 3*s + 209 = v*z, 3*z - s + 2*s = 160. Is z composite?
False
Is -24 + 24 + (-1 - -192) prime?
True
Let z(y) = 2*y**2 - y - 1. Let w be z(2). Let r(g) = -3*g - w + 0*g + 5*g. Is r(6) a composite number?
False
Suppose -q - 2*q - 4*l = -5845, -5*q + 2*l + 9707 = 0. Is q prime?
False
Suppose -3*g - 19 = 4*y, -2*g = -5*y + 2*y - 27. Let n(u) = u + 6. Let k be n(y). Is (k - 585)*(-1)/2 a prime number?
True
Let c = -226 - -711. Is c prime?
False
Suppose v + 0*v = 389. Is v a composite number?
False
Suppose h - 7 = -3, 3*h - 16 = 4*n. Let l(f) = 31*f**2 + 2*f + 1. Let r be l(n). Suppose 2*y + 2*m = r, 2*y - 2*m + 16 = 3*y. Is y prime?
False
Let m be 2/3 + (-35)/(-15). Let h = 818 + -376. Suppose n + 0*n = 5*f - h, m*n = -4*f + 365. Is f a prime number?
True
Let z(s) be the second derivative of s**7/840 - s**6/72 + s**5/30 - 5*s**4/24 - s**3/3 - s. Let i(m) be the second derivative of z(m). Is i(5) a prime number?
False
Suppose 5*l + 2365 = 5*m, l + 233 = 5*m - 2116. Is m prime?
False
Is (2796/8)/3*(1 + 1) composite?
False
Let q(c) = 671*c**3 - 2*c + 2. Is q(1) prime?
False
Let f(p) = 3*p - 5. Is f(18) a prime number?
False
Suppose 5*o = 67 + 18. Let x = o + 4. Is x composite?
True
Is ((-129)/(-9))/(5/15) a prime number?
True
Suppose -q - 18 = -4*k, 22 = 3*q - 5*q + k. Let z(l) = -6*l - 14. Is z(q) prime?
False
Let r(w) = 7*w - 8. Suppose 4*y - 10 = -3*t, 5 = -t + 4*y + 3. Suppose 2*d - 4*m = -t, 2*d - m - 13 + 0 = 0. Is r(d) composite?
True
Suppose 0 = 5*w - 92 - 23. Is w a composite number?
False
Is (-93)/2*(-8 + 6) prime?
False
Let l(j) = j + 1. Let u(o) = 55*o - 2. Let d(t) = -4*l(t) - u(t). Let p(r) = -3*r + 1. Let c be p(2). Is d(c) composite?
False
Let a be (1 + (-6)/15)*5. Suppose 0 = -0*x - 3*x + 5*l + 197, 3*l = a*x - 207. Is x a composite number?
True
Let k = 5 - 13. Let r(y) = -y**3 - 7*y**2 + 4*y + 11. Is r(k) a prime number?
True
Suppose -3*c + 2694 = 4*v - c, 3363 = 5*v - 2*c. Is v composite?
False
Suppose -4*i - 175 = -527. Suppose 3*b - 4*r - r = 77, 0 = 4*b - 3*r - i. Is b a prime number?
True
Let w be -57*(2 + -1)/(-3). Is w + -1 - (-2 - 1) a composite number?
True
Is 541 - 0*2/(-6) a composite number?
False
Suppose -20745 = -5*i + 5560. Is i a prime number?
True
Let c = 11 - 9. Suppose -4*d = -16, -s + 2*d + 49 = 3*d. Suppose -c*y + 49 = -4*v - s, -v = 2*y - 69. Is y a prime number?
True
Let q = 8 + -6. Is -2 - (q*-4 + 0) a prime number?
False
Is ((-134)/3)/((-14)/21) a composite number?
False
Suppose -62 = 3*b + 5*r, -2*b = b - r + 74. Let h = b - -37. Is h a prime number?
True
Let r(q) = q**2 + 16. Is r(25) a composite number?
False
Let h(z) = -2*z**3 - 4*z**2 + 2. Let s(p) = 5*p**3 + 13*p**2 + p - 6. Let n(i) = 8*h(i) + 3*s(i). Is n(7) a prime number?
True
Let w be 2 - (0 + 1 + -284). Suppose t = -2*t + w. Is t a composite number?
True
Let v = 23 + -13. Suppose -2*p = -g + v, 3*p = 3*g - 2*p - 26. Is g composite?
False
Let i = 127 + 1612. Is i a composite number?
True
Is -3 + ((-15)/(-10))/((-3)/(-260)) composite?
False
Let q(v) = -17*v - 1. Suppose 2*s + 5 = 1. Let c(m) = -m**3 - 2*m**2 + m - 2. Let y be c(s). Is q(y) composite?
False
Is -2 + (111/(-2)*-26 - 2) a composite number?
False
Let g(s) = s**3 + 5*s**2 - 3*s - 2. Suppose -56 = -5*m + 9. Let o = -18 + m. Is g(o) a composite number?
False
Let g be (2 + 1/(-2))*2. Suppose 4*p + 5*w - 25 = 0, 0*p + 4*w = 2*p - 6. Suppose -4*f = p*b - 275 + 94, g*f - 71 = -2*b. Is b a composite number?
False
Let m = -390 + 2079. Is m composite?
True
Suppose 0 = -81*d + 79*d + 1606. Is d a composite number?
True
Let u(d) = -68*d - 8. Let r be u(-6). Suppose -r = -5*z + 375. Is z a composite number?
True
Let z = -318 - -169. Let q(c) = -2*c**2 + c. Let s be q(0). Let y = s - z. Is y composite?
False
Suppose 2*z + l = 11425, -z + 4*l + 1563 = -4136. Is z a composite number?
False
Suppose 0 = -2*f - 0*f - 4. Let k be (-1)/((-2)/(-2)) - f. Is 1 + k + 31 + -2 composite?
False
Suppose 21 = 4*r + 1. Let s(f) = -8*f + 6. Let b(d) = -16*d + 11. Let m(t) = -3*b(t) + 5*s(t). Is m(r) composite?
False
Is (-10)/5 - (-24 + 1) prime?
False
Let s be ((-4)/(-16))/(1/20). Suppose -d = 1, -s*d = p + 4*p + 15. Is 180 + (-1 + p - -2) composite?
False
Let t = 4 + -7. Let z(k) = 105*k - 3. Let y(m) = -53*m + 2. Let i(n) = t*z(n) - 5*y(n). Is i(-3) a prime number?
True
Suppose 15 = z + 5. Suppose 4*v = -4*m + 120, m + 5*v - z = -0. Is m a prime number?
False
Is (50*-2)/(-4) + -4 a prime number?
False
Let z(b) = -71*b - 31. Is z(-4) composite?
True
Let x(s) = -2*s**3 + 2*s**2 + 2*s - 3. Is x(-4) prime?
True
Suppose -6 = j + j. Let m = j + 1. Is m*(-1 + (-174)/4) composite?
False
Suppose z = -3*z + 32. Suppose -5*j + 15 - 7 = -t, 3*t + j - z = 0. Is t a composite number?
False
Suppose 2*j = 0, -4*j + 3*j + 3 = u. Suppose 12 = 4*t, 4*t + 14 = -z + u*z. Is z a composite number?
False
Let m = -364 + 549. Is m a composite number?
True
Let l(z) = -5*z**3 - z**2. Let d be l(-1). Suppose a + 4 = 6. Suppose -7*k + 4*i = -2*k - 655, 0 = d*k - a*i - 524. Is k a prime number?
True
Let v be ((-14)/6)/((-2)/6). Suppose 4*z = v*z - 489. Is z a prime number?
True
Suppose 5*c - 3*i = -0*c + 1000, 0 = -5*c + 2*i + 1005. Is (c/(-3))/((-1)/3) composite?
True
Suppose -612 = w - 3*w. Suppose w = 2*t + 4*x, -3*t - 4*x = -194 - 269. Is t a composite number?
False
Suppose -4*g - 2*p = -74, 2*g - 8*p - 12 = -4*p. Suppose -5*f + 10*f - 3*m + g = 0, 0 = 3*f + 3*m. Is (195/(-6))/5*f composite?
False
Let l = -50 + -50. Let o = 407 + l. Is o a composite number?
False
Suppose -1621 = -3*g + 50. Is g prime?
True
Let j(i) = 9*i**2 + 9*i - 1. Is j(-14) a prime number?
True
Let h be (1 + 1)*(-4 - -5). Let s(d) = -3 - 5*d + 7*d + 7*d. Is s(h) a composite number?
True
Let d(q) = -q**3 + q**2 - q - 3. Let b be d(0). Is 46 - b*(-1)/1 a prime number?
True
Suppose c + 152 = 4*l, 90 = 2*l + 3*c - 0*c. Is l a composite number?
True
Suppose -3*o + 45 = 2*o. Let w be (6/o)/((-4)/(-30)). Suppose -136 = -4*x - 4*s, 2*x - 42 = -w*s + 11. Is x a composite number?
True
Let q = 1096 + -743. Let h = q + -219. Suppose -r = -3*r + h. Is r composite?
False
Suppose 3*h + h - 4 = 0. Let i(f) = 6*f. Let k be i(h). Suppose 0 = 3*d - 57 - k. Is d prime?
False
Let o(h) = 4 + 4*h - 1 - 1. Let q be o(8). Suppose -q = -3*w - g + 36, 117 = 5*w + 2*g. Is w a prime number?
True
Is ((-24)/(-40))/(2/410) a composite number?
True
Let r = 139 + 1154. Is r prime?
False
Suppose 3*a = a + 678. Is a prime?
False
Let h(v) = -v**3 + 4*v**2 - 4. Let w be h(3). Suppose -2*m + 2*x + 244 = 2*m, 0 = -w*m + 3*x + 307. Is m a prime number?
True
Let m = -10 + 6. Let r(f) = -3*f**3 - 7*f**2 - 3*f + 4. Let h be r(m). Suppose 3*b + 44 - 139 = 5*l, 4*b = -l + h. Is b a composite number?
True
Suppose -z - 3*z - y = -224, 293 = 5*z - 2*y. Is z a composite number?
True
Let o = 36 + -21. Let w = 22 - o. Suppose 0 = -2*m + 4*z + 7 + w, -5*m + z = -35. Is m prime?
True
Let a = 23 - 23. Suppose a = 6*g + g - 1337. Is g composite?
False
Is (-42)/28*(-166)/3 composite?
False
Let h = 304 - 161. Is h a composite number?
True
Let j be 0/((-1)/(0 - -1)). Suppose j = -4*g - 6 - 14. Is (-2)/(2/g)*3 prime?
False
Let p = -376 + 167. Let h = p - -400. Is h prime?
True
Let i(q) be the second derivative of -q**5/20 + q**4/12 + q**3/6 + 13*q**2/2 + q. Let y be i(0). Suppose y + 40 = t. Is t a composite number?
False
Let b be 1/(0 + 1)*0. Suppose -f + 0*f + 2 = b. Suppose -987 = -f*i - i. Is i composite?
True