105 - t**5/60 - t**4/24 + 4*t**3/3 + 1. Let m(z) be the third derivative of j(z). Is m(-1) prime?
False
Let u(o) be the second derivative of o**4/6 + o**3/3 - o**2/2 - 2*o. Let g be u(-2). Suppose -2*i = -0*i - 4*x - 2, -3*x - 12 = -g*i. Is i prime?
True
Is 2/(-3)*(-17895)/10 prime?
True
Let z(n) = -122*n**3 - n**2 + 2*n - 1. Let i be z(1). Let k = 5 - i. Is k a composite number?
False
Let u(p) be the first derivative of p**3/3 + 7*p**2/2 + 3*p + 1. Let a be u(-6). Is (15/(-6))/(a/138) a composite number?
True
Suppose -3*v + 242 = -232. Suppose f + v = 3*f. Is f a prime number?
True
Suppose 0 = -x - 3*x + 212. Is x a composite number?
False
Is 1*17*(-12)/(-4) prime?
False
Suppose 4*x - 177 = 3*x. Is x prime?
False
Suppose -8*k + 3*k = 2*i - 28, 0 = i - k - 14. Let c be (-77)/(-4) + 2/(-8). Suppose i = l - c. Is l a composite number?
True
Suppose -s - 9 + 1 = 0. Let i be (18/(-12))/(6/s). Suppose 0 = -i*v - 3*h + 64, -4*v + 183 = v - 4*h. Is v prime?
False
Let u(x) = 2*x - 5. Let i be u(4). Suppose i*s - 3 = 0, -k - s + 5 = 4*s. Suppose k*p = -2*p + 42. Is p composite?
True
Let s = -239 + 402. Is s composite?
False
Suppose -1 = -5*l + 24, 0 = d - 2*l + 22. Let s = d + 17. Suppose -s*y + 2193 = 658. Is y a composite number?
False
Let h(p) = 3*p**3 + p**2. Let s be h(1). Suppose 2*m + s*r = 318, 0*m + 2*r = m - 167. Is m a composite number?
False
Is 3/(-5 + 2)*-887 composite?
False
Suppose 5*n = 20, -4*z = -0*z - 5*n. Let h(v) = z + 2 - 2*v + 12*v. Is h(6) prime?
True
Let u = 4 - 7. Let d = 5 + u. Suppose -263 = -3*z + d*z. Is z prime?
True
Let k(b) = 1 - 2 - 2 + 8*b. Let m = 3 + 2. Is k(m) a composite number?
False
Let j(o) = o - 10. Let q(d) = d - 9. Let y(w) = 5*j(w) - 6*q(w). Let s be y(5). Is -5*(-114)/3 - s a composite number?
False
Let l(j) = -j**2 - 5*j + 2. Let p be l(-5). Suppose -p*c + 204 = -586. Is c a prime number?
False
Let u(h) = 3*h**3. Let q be u(1). Suppose -2*o = q*o - 10. Is 171/o - 7/14 a prime number?
False
Let b be ((-489)/(-3))/(1/1). Let t = 386 - b. Is t composite?
False
Suppose 3093 = 5*v + 308. Is v a composite number?
False
Let w = 54 - 37. Suppose x - w = 3*b - 8*b, -2 = -2*b. Suppose -x - 2 = -2*j. Is j composite?
False
Suppose 4*a - a - 18 = 0. Let m be 358/a + (-2)/(-6). Let x = -29 + m. Is x a prime number?
True
Let n be (-26)/(-22) + (-8)/44. Suppose -3*q - 3*x - 5 = -x, -5*q = -4*x + n. Let a = q - -8. Is a a composite number?
False
Suppose 5*k - 184 = -i + 172, 0 = -3*i + 5*k + 1028. Is i composite?
True
Let n(r) = 25 + r - 25 + 36*r**2. Suppose z - 1 = -2. Is n(z) a prime number?
False
Let m = -70 + 127. Is m a composite number?
True
Suppose 0 = -7*t + 18*t - 2563. Is t prime?
True
Let c = 400 + -81. Is c a composite number?
True
Let x(n) = -89*n + 10. Let i be x(-7). Suppose i = 4*k - k. Is k a prime number?
True
Suppose -5*g + 1 = 11. Let p be 23/(g*2/(-32)). Suppose -p = -4*w + 4*y, 6*w - 2*w - 3*y = 187. Is w a prime number?
False
Suppose 4*d + d - 25 = 0. Suppose 71 = -d*m + 276. Let a = 120 - m. Is a composite?
False
Let x be (5 - 6)/(2/(-8)). Suppose -3*d - x*z = -263, 0 = 4*d + 3*z - 262 - 84. Is d composite?
True
Let c(x) = 6*x**3 - 5*x**2 + x + 4. Let w be c(7). Suppose -4*f + f = -w. Suppose -3*g = 4*p - 605, 5*p - p + 4*g - f = 0. Is p composite?
False
Suppose 9 = 4*m - 11. Let v(z) = z**3 - 2*z**2 - 4*z + 4. Is v(m) prime?
True
Let l be (0 - 0 - 0) + 5. Let n(w) = 4*w**2 - w - 8. Let i be n(6). Suppose -5*z - l*y = -i, 44 = 2*z + 4*y - 18. Is z composite?
True
Let l = 34 + 141. Suppose l = v + 4*v. Is v prime?
False
Suppose 2*a + 5*a - 1897 = 0. Is a a composite number?
False
Let c(y) = 42*y**2 - 5*y - 4. Is c(-3) a composite number?
False
Is 397 - 3/9*6 prime?
False
Let q = 76 + -37. Is q composite?
True
Let a(m) = m**2 - 4*m + 2. Let w be -1*2 - (-6)/1. Let p be a(w). Is p/4 - 15/(-6) a prime number?
True
Let x(j) = 5*j**3 - 3*j**2 + 1. Let v be x(3). Let z = v - -2. Is (-3)/(-9)*1*z prime?
True
Let k = -875 + 454. Let m = -290 - k. Is m a composite number?
False
Let o(h) = -h**2 - 7*h - 10. Let l be o(-8). Let x = 109 - l. Is x a composite number?
False
Let t be 4/(-6) - (-76)/(-12). Let j = t - -19. Suppose 4*d + j = 0, -2*w - 4*d + 40 - 14 = 0. Is w a composite number?
False
Let t(f) = -3*f**3 - 10*f**2 - 7*f - 3. Let r(g) = -10*g**3 - 30*g**2 - 20*g - 8. Let j(v) = 2*r(v) - 7*t(v). Is j(-6) prime?
False
Let a be (-2)/3 - 6/(-9). Suppose -2*d = 4*c + 14, a = -c + 5*c - 3*d + 39. Is 9/c*(-104)/6 prime?
False
Let w(o) = o**3 + 20*o**2 - 10*o + 14. Is w(-10) a prime number?
False
Suppose 233 = 2*b + 5*y - 558, -2*y = 2. Suppose b = j + j. Is j a composite number?
False
Is (5 + -4)*-2 + 1265 prime?
False
Let y = 5 + -3. Suppose -70 = -y*z - 0*z. Suppose 0*a = a - z. Is a prime?
False
Let c(d) = 10*d**2 + 19*d - 46. Is c(-17) a prime number?
True
Let r(s) = 1 - 2*s - 3*s**2 + 7*s**2 - 7 - 3*s. Let c = 11 + -16. Is r(c) prime?
False
Let i = 358 - 147. Is i prime?
True
Suppose -25 = -5*m, -j - 3*m - 2*m = -25. Suppose a - 30 = 5*t - 2*t, j = 5*a - 2*t - 111. Is a prime?
False
Let t = 6 + -4. Suppose -4*c - 2 = -5*c. Suppose 2*w - 2 = 0, -42 - 114 = -t*v + c*w. Is v composite?
False
Let p(w) = 15*w**2 - 4*w + 25. Is p(6) prime?
True
Let w(i) = -i**2 - 2*i + 3. Let d be w(-4). Let f(p) = -p**2 - 5*p + 4. Let v be f(d). Suppose -2*k + 276 = 3*k - l, v*k - 219 = -l. Is k a composite number?
True
Let t(j) = -j**3 - 6*j**2 - 6*j. Let w be t(-5). Let p = w + -9. Is -2*2/p - -110 prime?
False
Let g(s) = s**2 + 1. Let m(d) = -8*d**2 - 3. Let u(a) = -4*g(a) - m(a). Is u(2) composite?
True
Let v be (4*-3)/4 - 13. Let y be (-2)/(-3) + 345/9. Let u = v + y. Is u composite?
False
Let d(g) = g - 3. Let o be d(6). Suppose -j + 460 = o*j. Let w = -72 + j. Is w prime?
True
Let v(b) = 5*b**3 - b. Let y be v(3). Suppose 2*p - s - y - 4 = 0, 2*p - 144 = 5*s. Suppose 4*a - 17 = p. Is a composite?
True
Suppose -5*y - 3*k + 261 = k, -2*k + 51 = y. Is y a composite number?
False
Let a(h) = -12 + 4*h + 4 - 3*h. Let m be a(-6). Let r = m + 73. Is r a prime number?
True
Suppose -3*v + v + 2 = 0. Let t be (v + 1 - 2) + -4. Is 118/8 - 1/t prime?
False
Suppose u = -3*g + 466, 0 = 4*g + 4. Is u prime?
False
Suppose -5*v = 4*j + 37, j + 3*v = -2*v - 13. Let r = 23 - j. Is r a composite number?
False
Let i = 7 + -5. Suppose -5*n = -3*g - 2*g - 35, 5*g + 21 = -i*n. Suppose 3*z - n*z = 127. Is z prime?
True
Let y(v) = -v + 12. Let i be y(8). Suppose 0 = -0*u + i*u - 4, -l - 3 = -5*u. Is 2/(12/(-9) + l) composite?
False
Let b(a) be the second derivative of 20*a**3/3 - a**2/2 + 3*a. Is b(1) a composite number?
True
Let k(t) = t**2 - 11*t + 1. Let j be k(11). Let a(n) = n**3 + n**2. Let b be a(j). Suppose v + 12 = -2*v, 3*w - b*v = 83. Is w prime?
False
Let i = 162 + -83. Is i a composite number?
False
Suppose -15*d + 19*d = 232. Is d a prime number?
False
Suppose -3*s - 1838 = -5*s. Is s prime?
True
Let g = 657 - 404. Is g a composite number?
True
Let o be ((-2)/(-2))/((-4)/(-16)). Suppose -o*s + 466 = -122. Suppose -j = 2*j - s. Is j a prime number?
False
Let t(q) = 12*q**2 + 2*q + 7. Let c = 6 + -1. Let l be t(c). Suppose 73 - l = -2*k. Is k prime?
False
Let i = 235 + -158. Is i composite?
True
Let k(j) = j**2 + 6*j + 7. Let s be k(-5). Let d be s/2 + (-518)/(-2). Suppose -h = -5*h + d. Is h a composite number?
True
Let m(j) = j**3 - 6*j**2 + 4*j + 7. Let v be m(5). Suppose 0 = 3*r + v*r - 5. Is 87/6*4*r composite?
True
Let x be 4/(-10)*(29 + 1). Let d = -6 - x. Is d composite?
True
Let c be (-3 - 224)/(-1) + 1. Suppose 4*d - c = 8. Is d prime?
True
Suppose -3 = 3*s - 0. Let b be ((-1 - -2) + s)*-1. Suppose b*p + 255 = 3*p. Is p a composite number?
True
Let u(b) = 9*b**2 - 4*b - 4. Is u(-3) a composite number?
False
Let s be -2 - 399/(9/3). Let x = 218 + s. Is x prime?
True
Let r(v) = -11*v**2 + 10*v + 1. Let p(b) = -12*b**2 + 11*b. Let n = -2 + -3. Let u(l) = n*r(l) + 4*p(l). Is u(-4) prime?
True
Let o(y) = 69*y - 2. Is o(3) composite?
True
Let u = 15 + -11. Suppose 0 = -u*a - 4*y + 20, -2*a + 4*y + 6 = -10. Is (-3)/a - (-107)/2 a composite number?
False
Let j = 45 - -633. Suppose 2*y - 4*v = -0*y + 434, -j = -3*y - 3*v. Is y prime?
True
Let v(c) = -20*c - 37*c + 15*c + 5 - 19*c. Is v(-6) prime?
False
Suppose 0 = 4*m - 20, 2*u