*y**3 - y**2 - 10*y - 2. Is s(5) a composite number?
True
Let h be 702/(-7) + 10/35. Let i = h + 143. Is i composite?
False
Let r(z) = z**2 + 10*z - 3. Let f be r(-9). Let u(v) = -5*v + 9. Is u(f) prime?
False
Let f(a) be the second derivative of -311*a**3/6 + a**2/2 + a. Is f(-2) prime?
False
Suppose 7*s = 2*s - 30. Let i = s + 13. Is i a composite number?
False
Suppose -2*z - c + 1169 = 0, 0 = 2*z + 4*c - c - 1175. Is z prime?
False
Let v(f) = 24*f - 1. Let a be v(1). Suppose 4*o - a = 3*u, 3*o + 10 = 6*o + 5*u. Suppose 5*h + 170 = o*w, 181 = -0*w + 4*w + 5*h. Is w composite?
True
Let o = 0 + -16. Let s = o - -39. Is s prime?
True
Suppose -3*z + 304 = 2*g - 83, -2*z + 277 = -5*g. Suppose 0 = 4*a - 5*j - 0*j - z, 0 = -5*j + 5. Is a a composite number?
True
Suppose y = -2*y + 6. Suppose 2*n + 1 = u, -y*u = 2*n - 3 - 11. Suppose -5*z + n*z = -12. Is z composite?
True
Suppose 3*n - 531 = -0*n. Is n a composite number?
True
Let r(u) = 6*u**3 - 17*u**2 + 9*u + 7. Is r(8) prime?
True
Let o = 16 - -20. Suppose -2*i = 3*i + 5*f - 100, 2*i - o = -4*f. Is i a prime number?
False
Let h(f) = f + 9. Let u be h(-7). Let o(g) = -4*g + 3 - 2*g**u + 5*g**2 - 2*g**2 - 1. Is o(-7) composite?
False
Suppose 2*l - 502 - 749 = 5*v, -v = -3*l + 1870. Is l prime?
False
Let a = 830 - 552. Is a a composite number?
True
Suppose -4*z + 0*z + 524 = 0. Is z a prime number?
True
Let l(t) = 21*t**3 + 2*t**2 + t - 1. Is l(2) prime?
False
Suppose -6 = 2*l - 30. Is -20*3/(l/(-7)) composite?
True
Let j = 2 + -3. Let y = 0 + j. Is (-3)/(-3) + y - -21 a prime number?
False
Let i(p) = 89*p + 34. Is i(8) prime?
False
Suppose 94 = 4*k + 6. Let y = -3 + k. Is y a composite number?
False
Let d(j) = -j - 1. Let i be d(-3). Let n(s) = -41*s + 1 + 7*s - i. Is n(-1) prime?
False
Suppose -3*y + 94 + 17 = 0. Is y prime?
True
Suppose 0*w + 4*k = -w + 507, 5*k = -3*w + 1549. Is w a composite number?
False
Let d(q) = -18*q**3 + q**2 + 3*q + 1. Is d(-3) prime?
True
Suppose 0 = -5*j + 152 + 173. Let w = j + -31. Is w a prime number?
False
Suppose 8*l - 90 = 13*l. Let j = 56 + l. Is j a prime number?
False
Let p = -11 + 23. Suppose -2*b + p = -t - t, -b - t + 14 = 0. Is b a prime number?
False
Suppose 3*m + 10 = 5*m. Suppose 4*w - m*w = 2*n - 258, 10 = 5*n. Suppose 0 = -3*s - 4*d + 130, -w = -5*s - 4*d - 48. Is s composite?
True
Suppose -4*k - 2*l + 28 = -272, -2 = -l. Is k a composite number?
True
Let m = -53 + -36. Is (-4)/(-14) + m/(-7) a composite number?
False
Let b(m) = 59*m**3 + 3*m**2 - 3*m + 1. Is b(2) a prime number?
True
Suppose -2*d - 7 = 3. Let b = 0 - d. Suppose f + 2*j = -4*f + 45, 4*j + 15 = b*f. Is f a prime number?
True
Let m = 4 - 2. Is 85 + -2 + -2 + m a prime number?
True
Let h be 2/(-6) - (-14)/6. Suppose -2*n + 20 + 14 = 0. Suppose -h*r + n = -89. Is r prime?
True
Let q be 438/9*(-3)/2. Let n = 158 + q. Is n composite?
True
Let p(i) be the first derivative of i**4/6 - i**3 - 3*i**2/2 + i + 2. Let k(b) be the first derivative of p(b). Is k(-4) composite?
False
Is -3 + 0 + 1 + 40 a prime number?
False
Let b = -76 + 121. Let r = b + -247. Let w = -105 - r. Is w a prime number?
True
Suppose -6*c = -c + 20. Let v be (-3)/c + 308/16. Let d = v - -2. Is d composite?
True
Let v(s) = 2*s**3 - 3*s**2 + 2*s + 2. Let w be v(6). Suppose 5*x - w = -4*y, y = -2*y - 2*x + 250. Is y a prime number?
False
Let s = 10 - 7. Suppose 120 - 375 = -s*z. Is z composite?
True
Suppose -2 = p, 3*p = 4*f + 2*p - 478. Is f prime?
False
Let i be 3*(-4)/6 - -6. Is 585/12 - (-1)/i prime?
False
Is 46/3*60/8 composite?
True
Let c be (168/2)/(-2 + 1). Suppose 757 = 4*p + 89. Let t = c + p. Is t a prime number?
True
Let m(y) = 12*y**2 + y + 9. Is m(-8) a prime number?
True
Suppose -i + 2*d = -8, 6*d = 5*d - 3. Suppose -4*y + 5*y - i = 0. Suppose b = -u - y, -4*b + 27 = 4*u - 7*b. Is u a composite number?
False
Suppose 0 = -2*s - s. Suppose -2*n + 2*z = -5*n + 25, 2*n + 3*z - 20 = s. Suppose -n*f = -4*f - 249. Is f prime?
True
Suppose 5*f - 25 = 0, -y - 2*f + f = -116. Is y a composite number?
True
Let y = -6 - -9. Let g(m) = 10 - 5 - y + 21*m. Is g(7) composite?
False
Let p(i) be the third derivative of -i**6/120 - 7*i**5/60 - 5*i**4/24 + i**3/3 + 2*i**2. Let t be p(-6). Is (1 + -9)*5/t a prime number?
False
Let t(y) = -y**2 - 24*y - 14. Let u be t(-11). Suppose -4*k = 3*f - 333, -u - 50 = -2*k + f. Is k a composite number?
True
Is 2*(76/8 - -2) a composite number?
False
Let k = 1204 - 81. Is k composite?
False
Let d(z) = -40*z**3 + 2*z - 3*z + z**2 - 1 - 2*z**2. Let t be (-1)/(-1) + (-1 - 1). Is d(t) a composite number?
True
Let r = 3617 + 916. Is r a prime number?
False
Let g(i) = i**3 + 15*i**2 + 5*i - 4. Let s(w) = -w**3 - 16*w**2 - 5*w + 5. Let q(b) = 6*g(b) + 5*s(b). Let f be 6 + -8 - (-2 + 4). Is q(f) prime?
False
Let h be 8/(-8)*3*-1. Is 82 + 12/4 - h prime?
False
Let b(s) = -s**2 + s + 1. Let c be b(-1). Let m = -2 - c. Is (93/9)/(m/(-3)) prime?
True
Let j be (-1)/10*2*-5. Let d = 1 + j. Suppose 102 + 28 = d*g - 2*r, 0 = -4*r. Is g composite?
True
Suppose 718 = -5*s + 4568. Suppose 5*v - 1441 = -3*c, 0 = 5*c - v - s - 1669. Is c prime?
True
Suppose 0 = -i - 5*w + 258, 5*i = -3*w + 69 + 1243. Is i composite?
False
Let k = 0 + 5. Suppose 2*q + 2*z = -z + 13, k*z = 4*q - 15. Is ((-28)/(-10))/(1/q) prime?
False
Is ((-436)/8)/(1/(-2)) composite?
False
Let a(o) = o**3 - 9*o**2 - o + 9. Let p be a(9). Suppose -f + 3*f - 134 = p. Is f a composite number?
False
Let z be 3 - (0 + -2) - -2. Suppose 26 = o - z. Suppose -m + 2*m - o = 0. Is m a composite number?
True
Suppose -5*n + 45 = -5*q, -q + 11 = -n - 4*q. Suppose -3*z = -4*z + 2*s + 127, n*z - 468 = -2*s. Is z prime?
False
Let r = 665 + -286. Is r a prime number?
True
Suppose -i = 3*y - 413, -4*i + 1613 = -5*y + 46. Is 0/1 + i + -3 prime?
False
Let q(p) = 246*p**2 - 2*p - 1. Is q(2) composite?
True
Suppose -281 = 3*q + 2*h, -293 = 3*q - 2*h - 2*h. Let f = q + 328. Is f a prime number?
True
Let b be (-9)/2*(-18 - -6). Let a = b - -13. Is a a composite number?
False
Let s be (3 - 1 - 2)/3. Let i = s - -10. Is i prime?
False
Is (2 - 1)*(1466 - -11) prime?
False
Suppose 10*k + 45 = 11*k. Suppose 3*u - k - 132 = 0. Is u a prime number?
True
Suppose c + 9 = 4*c. Suppose 4*o = -4, 2*d + c*o - 2*o - 517 = 0. Is d a prime number?
False
Suppose -8 = -4*k + 4. Suppose 256 - 56 = 4*f - k*w, 3*f - 155 = w. Is f prime?
True
Suppose 0*c = 2*c + 134. Is c*(3 - 2 - 2) a prime number?
True
Suppose 0 = 5*o - 248 - 1437. Is o a composite number?
False
Is (-32)/112 + 12450/14 prime?
False
Suppose b - 2 = 1. Suppose 448 = b*o - 7*o. Let p = o + 165. Is p prime?
True
Let j(k) be the third derivative of k**5/12 + k**4/4 - 7*k**2. Is j(-5) a prime number?
False
Suppose 4*z = -z + 15. Suppose 4*b = z*s - 5*s - 38, 0 = 5*b - 2*s + 34. Let x(p) = p**3 + 9*p**2 + 8*p + 11. Is x(b) a prime number?
True
Suppose c = 4*y + 114, 110 = c + 6*y - 11*y. Let i be (-346)/6 - (-4)/6. Let h = c - i. Is h prime?
False
Let i = -202 + 336. Is i a prime number?
False
Suppose 0 = -5*q - 4*l + 2417, -2*q + 3*l - 24 = -977. Is q a composite number?
True
Let n(z) = -3*z**2 - 3*z + 5*z + 0*z - 3 + 6*z**3 + 0*z**3. Is n(2) a composite number?
False
Let b(h) = 2*h**3 - 10*h**2 + 7*h + 5. Is b(6) a composite number?
True
Let d = 96 + 65. Is d a composite number?
True
Suppose -w + 1 = -1. Let n(j) = -w*j + 1 + j + 2*j + 5*j. Is n(5) prime?
True
Suppose 4*y = -y. Suppose n + 3*n = y. Suppose n = 2*b - 5*r - 74, 0*b + 121 = 3*b - 5*r. Is b composite?
False
Let f(a) be the second derivative of -a**5/20 + a**4/6 + a**3/6 + a**2/2 - 2*a. Let d be f(2). Suppose -2*m - 47 = -d*m. Is m prime?
True
Suppose -6 = -5*v + 4069. Is v prime?
False
Let j be -2 + (-1 - -3) + -9. Let l = j - -12. Suppose l*y - 651 = 342. Is y prime?
True
Suppose 0 = 3*u + 784 - 2293. Is u prime?
True
Suppose 0 = 4*u - 6*u + 434. Suppose z + u = 2*z. Is z composite?
True
Let t be 6759 - -6*(-3)/6. Is (2/3)/(8/t) prime?
True
Suppose 65 + 19 = -3*c. Let j = 5 - c. Is j prime?
False
Let b be -20 - 1*(-1 + 1). Let m = 22 - b. Let o = 61 - m. Is o composite?
False
Let t be (1/1)/1 - -55. Let x be t/1 - (-2 + 3). Suppose -3*z + 4*z = x. Is z a composite number?
True
Suppose r = 5*s - 15, 0*r + 3*r = -4*s + 12. Suppose -4*m - s*y + 6 = 0, 4*m + 4 = 