**o - 4*a**2 + 0*a**3 + 7. Is d(8) a prime number?
True
Let g(i) = 4*i**3 + 2*i**2 + i + 4. Is g(3) composite?
True
Let s be (-5 - -2)*-1*7. Suppose -3*k + s = 4*d, -k - 41 = -2*d - 2*d. Is d prime?
False
Suppose -4*j + 71 = -3*q, 4*q + j = -j - 80. Is (q/(-3))/(1/3) composite?
True
Let c(o) be the third derivative of o**6/120 + o**5/60 + o**4/24 + 37*o**3/6 - o**2. Suppose 0 = -5*w - y - 5, w + 2*y + 20 = -2*y. Is c(w) a prime number?
True
Is (379/(-4))/(5/(-20)) a composite number?
False
Suppose -s - 44 = -115. Let y = s - 115. Let x = y - -65. Is x prime?
False
Let i(b) = b + 31. Is i(0) a prime number?
True
Let h(p) = -7*p + 4. Let g be h(-3). Suppose w + 92 = 3*n, g = 3*w - 8*w. Suppose 0*m = -5*m + 10, 3*m = 5*i - n. Is i a prime number?
True
Let q = 9 - 4. Suppose -5*h + 725 = -5*g, 0 = -q*h + g + g + 710. Is h/6 - 1/3 a prime number?
True
Let b = 482 - 223. Is b a prime number?
False
Let i(o) = 8*o + 3. Let m(d) = -25*d - 10. Let r(a) = -7*i(a) - 2*m(a). Is r(-2) a prime number?
True
Is (-4 - (-9)/3)*-201 composite?
True
Let b = -5 - -3. Let i be -5 + 3 + (b - 1). Is (3/i)/(4/(-20)) a prime number?
True
Let z = 5 + -3. Is ((-108)/(-30))/(z/5) prime?
False
Let i = 13 - 20. Let f(a) be the second derivative of -a**4/12 - 7*a**3/3 + 4*a**2 + a. Is f(i) a composite number?
True
Suppose y - 388 - 299 = 0. Is y a composite number?
True
Suppose -4*s + 2668 = -0*s. Is s composite?
True
Let f(r) = -r**3 - 6*r**2 + 5. Let v be f(-6). Suppose 29 = v*l + 9. Suppose l = 2*z - 34. Is z composite?
False
Let i(l) = l**3 - 11*l**2 - 14*l + 35. Is i(13) a composite number?
False
Let v(l) = 2*l. Let i be (-2)/(-7) + 198/42. Let t be v(i). Let r = t + 29. Is r prime?
False
Let z be 2/2*10/2. Let p be 718/8 - 1/(-4). Suppose 15 - 1 = q - j, -z*q + p = -j. Is q composite?
False
Let f be -1*3/1 - -5. Suppose f*u + 191 = 5*l - 2*u, 0 = -5*u - 20. Is l a composite number?
True
Let h(a) = -4*a**3 + 8*a**2 - 7*a + 5. Let j(n) = -5*n**3 + 9*n**2 - 7*n + 5. Let t(k) = -4*h(k) + 3*j(k). Let s be t(4). Is 8/28 - (-887)/s prime?
True
Let y(t) = 4*t**2 - 3*t - 2. Is y(-3) a composite number?
False
Let d be (-1)/3 + 1/3. Let h(v) = v**2 + v + 115. Is h(d) prime?
False
Suppose 2*s = -2*s - w + 91, -3*s + 65 = 4*w. Is s composite?
False
Let n(x) be the first derivative of 3*x**2 - 9*x + 8. Is n(7) composite?
True
Let u = -5 - -6. Let k be 9/(-2 - u) + -71. Let f = -23 - k. Is f prime?
False
Let l be (-32)/(-6)*(-6)/(-4). Let z(p) = 2*p**2 - 3*p + 11. Is z(l) composite?
True
Let m = -2696 + 4133. Is m a composite number?
True
Let f(i) = 3*i - 3*i + i - 7 - 5. Let o be f(11). Is (5 - (o - -4))*5 a prime number?
False
Is (-20 - -66)*6/4 a composite number?
True
Let l = 2109 + -1151. Is l a prime number?
False
Let h(p) be the second derivative of p**4/6 - p**3/3 - p**2/2 - p. Suppose -4*b - 1 = 5*l - 8, 2*l + 4*b = -2. Is h(l) prime?
True
Suppose -5*v - 2240 = -5*p, 2*v = 3*v + 5. Is p composite?
False
Suppose 3*m - 6*k = -3*k + 1020, 5*k + 1363 = 4*m. Is m a prime number?
True
Suppose -o + 3*o - 6 = 0. Suppose -714 = -o*z + 57. Is z prime?
True
Let w be (-2 - 0) + 1 - -2. Is -7*(-1 - 0/w) a composite number?
False
Let u = 4 + -6. Let t be 4*u/3*3. Let d = 61 + t. Is d prime?
True
Suppose -h + 39 = 13. Let r = h + 41. Is r a prime number?
True
Suppose -2*p - 3*p = -h + 2318, 0 = -p + 3. Is h composite?
False
Suppose w + 4963 = 3*f, 8*f - 8265 = 3*f - 5*w. Is f composite?
True
Is (-32)/(-144) - (12454/(-9) - 1) a composite number?
True
Let p = 46 + -19. Let z = 45 - p. Is (-3)/z*-2*33 a composite number?
False
Let g = -7 + 1. Let m(p) = -15*p - 1. Is m(g) prime?
True
Let s be (2 - 3)*(0 + -2). Suppose 6 = 2*g + g. Suppose g*b + 10 = y + s, 3*b + 47 = 5*y. Is y prime?
False
Let y(z) = -9*z**2 - 6*z + 7. Let s(c) = -c**2. Let w(n) = 6*s(n) - y(n). Is w(-6) prime?
False
Let x = 6 - 6. Let f = x + 39. Is f a composite number?
True
Let n = -4 - -6. Suppose 4*j + 8 = -2*x, j - 20 = n*x + 3*x. Suppose 0 = 7*c - 4*c + 15, j = 5*y - 5*c - 690. Is y composite?
True
Suppose -3 - 12 = -5*d. Suppose -a - l - 4*l = -25, -4*a - d*l = -15. Suppose a = 5*s - 3*n + 3 - 250, 0 = -s - 5*n + 27. Is s prime?
True
Suppose 4*j - 2303 = -0*j + q, 3*j = 3*q + 1725. Let k = -181 + j. Is k a composite number?
True
Is -4 + -2 + 4 + 321 prime?
False
Let q = -5 + 10. Let b(v) = v**3 - 4*v**2 + 3*v + 6. Let l be b(q). Suppose 236 = 5*h + l. Is h composite?
True
Suppose -349 = -6*j + 5633. Is j a composite number?
False
Suppose 0 = -r + 2*z + 313, -4*r + z - 5*z = -1216. Is r composite?
False
Let o = -2 - 131. Is (4/(-1) - o)*1 a prime number?
False
Is 1*(-3 + 1) - -181 composite?
False
Let a be (3 + -1)*-1 - 12. Let p = a - -20. Suppose 2*s = p + 100. Is s composite?
False
Suppose -2*p + 224 = -272. Suppose -3*u = 11 - p. Is u prime?
True
Let a be (-4)/(-6) - 8/(-6). Is 679/a*(-4 + 6) prime?
False
Suppose 2*m - 4*m = -66. Is m prime?
False
Is 10/35 + (-19797)/(-21) composite?
True
Suppose -2*t + 0*t + 36 = 0. Suppose -4*f + t = -z, -z - f + 9 = z. Is 2 - (z/(-1) - -1) a composite number?
False
Let g = 2377 - -4692. Is g a composite number?
False
Suppose 5*b - 23*b + 12438 = 0. Is b a composite number?
False
Suppose 91 - 292 = -3*n. Is n composite?
False
Suppose -3*o = -3*k + 1401, -3*o - 3568 = -5*k - 1233. Is k a composite number?
False
Let y = 84 - 120. Let x be 92 + (2 - 3)*1. Let h = x + y. Is h composite?
True
Let f = -131 + 672. Is f a composite number?
False
Let y(h) = 33*h + 5. Let s be 1 + 4 + -2 + 3. Is y(s) prime?
False
Is 2/((-6)/3)*-2323 a prime number?
False
Let y(a) = 6*a**3 - 3*a**2 - 4*a - 13. Is y(6) a composite number?
False
Suppose 0 = -5*i + 10. Suppose 3*r + 1 - 6 = -j, -i*j + 10 = 0. Suppose -4*c + 335 - 19 = r. Is c prime?
True
Let u be (-12)/20 - (-53)/5. Let q be (-8)/20 - (-4)/u. Suppose 0 = 2*o - q*o - 14. Is o a composite number?
False
Let s = -253 - -752. Is s a prime number?
True
Suppose 0 = -v + 2*k + 157, -4*v + 658 = -0*k - 2*k. Suppose 2*p = p + v. Is p prime?
True
Let p = 187 + -81. Is p a composite number?
True
Let j(m) = 149*m + 19. Is j(2) a composite number?
False
Is 4/14 + (-12472)/(-56) a prime number?
True
Let o = 472 - -207. Is o a composite number?
True
Let a(x) be the third derivative of -x**6/120 - x**5/10 + 2*x**3/3 + 2*x**2. Let t be a(-6). Suppose 0 = 2*f - 5*o - 43, 6*o + 62 = 4*f + t*o. Is f prime?
False
Let f = -372 + 1121. Is f prime?
False
Let j = 968 - 1414. Let o = 335 - 1038. Let k = j - o. Is k composite?
False
Suppose -2635 = -8*f + 3*f. Is f composite?
True
Let v(l) = 9*l**2 - 10*l + 5. Let z(p) = p**2 - 6*p + 8. Let m be z(6). Is v(m) composite?
True
Suppose -c - 561 = -4*c. Is c prime?
False
Let u(j) be the first derivative of -j**4/4 + 11*j**3/3 + 3*j**2 - 3*j + 17. Let b = 26 + -16. Is u(b) a prime number?
True
Suppose 0 = z - 45 - 112. Is z a composite number?
False
Let y be (2/2)/(3/9). Suppose -6*p = m - y*p - 281, 5*m = -p + 1461. Is m composite?
False
Let x be 636/15 + 2/(-5). Is (-12)/x + (-415)/(-7) a prime number?
True
Let x = 45 + 948. Is x a prime number?
False
Let h = -53 + -97. Let l = h - -229. Is l a composite number?
False
Let p be (1/2)/((-2)/(-8)). Suppose 5*z + 935 = 5*r, -p*r - 5*z = -560 + 158. Is r composite?
False
Let w(n) be the first derivative of -n**4/4 - 2*n**3 - n**2/2 - 5*n - 2. Is w(-7) prime?
False
Let w(l) = -l**2 - 5*l - 2. Let s be w(-5). Let q = 7 + s. Suppose q*m = -2*j + 248, -5*j + 587 = -5*m + m. Is j composite?
True
Let z = 82 + -27. Is z composite?
True
Let c(t) = 4*t**2 + t. Let i be c(-1). Suppose 11 = i*l - 28. Is l a prime number?
True
Let y(k) = -2*k**3 - 2*k**2 - 6*k - 41. Is y(-12) a prime number?
False
Let p(z) = -z**2 - 7*z. Let c be p(-6). Is c/3*(-370)/(-4) prime?
False
Suppose -x = -1 - 4. Suppose -3*q - 42 = -3*w, -x*w + 0*q = -4*q - 66. Is w prime?
False
Suppose 0 = -3*u + 4*t + 3743, -t - t = 3*u - 3767. Is u a composite number?
True
Is (-4636)/(-7) - (-12)/378*-9 prime?
False
Suppose 0 = v - 0 + 5, -2*s - 6 = 2*v. Let c be ((-1)/(-2))/(s/8). Suppose -c*z - 76 = -6*z. Is z a composite number?
False
Let k = -9272 + 13557. Is k prime?
False
Let r = 1231 - 729. Is r composite?
True
Let x = -13 - -19. Let t = x + -3. Suppose 0*s = t*s - 102. Is s composite?
True
Let u = 3 - 3. Suppose u 