+ 180 = 5*s. Is s a composite number?
False
Let o(f) = -12*f**2 + 3*f - 3. Suppose 2*l + 16 = 4*u, 3*u = 2*l + 2*l + 22. Let j be o(u). Let h = j - -112. Is h a composite number?
False
Suppose -57 = -q + 106. Is q a composite number?
False
Let l(c) be the second derivative of c**4/4 - 7*c**3/6 + 3*c**2/2 + 2*c. Is l(5) a prime number?
True
Suppose 0 = -2*g + 4*g - 218. Is g/(3/(-9)*-3) composite?
False
Let q = 1579 + -992. Is q a composite number?
False
Suppose 5*k + 358 = -1137. Let j = 149 + k. Let o = j + 281. Is o prime?
True
Is (-573)/3*(-5)/5 prime?
True
Suppose 2 = r - 3*o, 4*r + 3*o + 3 + 4 = 0. Let w(q) = 2*q**2 + 2*q - 1. Let k be w(-2). Is k + 23 + (r - -1) composite?
True
Suppose 5*d + 10 = 30. Suppose p + 547 = d*m + 22, p = -m + 130. Is m prime?
True
Let u be (-52)/(-8) - (-1)/(-2). Suppose 4*q + 710 = u*q. Is q prime?
False
Suppose -5*a + 7009 - 364 = 0. Is a a prime number?
False
Is (-24)/16 + (-241)/(-2) prime?
False
Suppose 2*t - 579 - 147 = 0. Let d = t - 218. Is d composite?
True
Let w(y) = -y**3 - y**2 - y + 127. Suppose 3*c = c. Suppose 2*x - 6*x + 2*a + 8 = c, -20 = 5*a. Is w(x) a prime number?
True
Suppose -3*y - 195 = -2298. Is y prime?
True
Suppose 12*y + 771 = 15*y. Is y a prime number?
True
Let x = -88 + 247. Is x a prime number?
False
Suppose -l + 138 + 478 = -3*z, l - z - 626 = 0. Is l composite?
False
Suppose -x = -102 - 25. Is x a prime number?
True
Let u(p) = p + 1. Let a(d) = 3*d - 51. Let c(z) = -3*a(z) + 6*u(z). Is c(0) a composite number?
True
Suppose -3*k + 0*r + 7 = 2*r, -5*r + 29 = -4*k. Let u be 3 + -1 - 1*k. Suppose 2*t - 5*l - 427 = 0, -3*t + 5*l = u*l - 635. Is t a composite number?
False
Let d(p) = p**3 + 7*p**2 - p. Let o(v) = -v**2 + v - 1. Let r be o(2). Is d(r) a composite number?
True
Suppose -2*f + 3*f = 95. Is f a composite number?
True
Let m be 0 + 4398/3 - 1. Suppose m = -2*s + 7*s. Is s a composite number?
False
Suppose a = 2*a - 5. Let k = 12 - a. Is k a composite number?
False
Suppose r - 8*r = -11459. Is r prime?
True
Let m(w) = -w**2 + 5*w + 8. Let v be m(6). Suppose -2*x + 5*l + 207 = 0, 0 = -5*x + v*l + 3*l + 480. Is x composite?
True
Suppose -f + 867 = -1021. Suppose -5*x = -4*c - 0*x + f, 2323 = 5*c + 3*x. Is c prime?
True
Let w = -8 + 7. Is 211/((-1 + w)/(-2)) prime?
True
Let h(n) = 2*n - 3. Let o be (-30)/7 - 2/(-7). Let d be h(o). Let m = d + 24. Is m composite?
False
Let f(d) = d - 5. Let k(h) be the third derivative of h**3/6 + h**2. Let c(n) = -f(n) + 6*k(n). Is c(-8) a composite number?
False
Let h(t) = t**3 - 8*t**2 + 3*t - 9. Let p be h(9). Suppose -z - p = -4*z. Is z prime?
False
Suppose 5*x - 5*y + 2175 - 30050 = 0, 2*x + 4*y = 11174. Is x a prime number?
False
Suppose -k - 15 = 5*d, -34 = -5*k - d - 13. Suppose -k*a = -8*a + 42. Is a composite?
True
Let k = 15 + -11. Is (23/(-4))/((-1)/k) composite?
False
Let l = 359 + -178. Is l composite?
False
Let k = 157 + -76. Let t = 20 + 146. Let s = t - k. Is s a composite number?
True
Let s(z) = 2*z + 8. Let l be s(-4). Suppose l = y, -2*t + 55 = 2*y - 11. Is t a prime number?
False
Suppose 4*b = -3*x + 301, -2*x - 4*b + 196 = b. Is x a composite number?
False
Let c(x) = 29*x. Let u(h) = -h - 1. Let j be u(-3). Is c(j) a prime number?
False
Let k(o) = -o**3 + 8*o**2 - 8*o + 7. Suppose -2 = q - 0*q. Let n(a) = 3*a**2 + 2*a - 2. Let i be n(q). Is k(i) composite?
False
Let r(g) = -5*g**3 - g**2 - g. Let b be r(-1). Let f(k) = -2 + b*k**2 + 1 + k**3 - 2*k**3. Is f(4) composite?
True
Let z(k) be the third derivative of 0*k - 1/2*k**4 + 0 + 2*k**2 - 1/3*k**3. Is z(-2) a composite number?
True
Suppose -534 = 2*r + 4*t, -t - 1317 = 4*r + r. Let a = 441 + r. Is a prime?
False
Let d(n) = -31*n - 10. Let r = 0 - 3. Is d(r) a composite number?
False
Let z(s) = s**3 - 7*s**2 + 6*s + 5. Let x be z(6). Suppose 225 = x*t + 40. Is t a prime number?
True
Suppose -9515 = -4*n - n. Is n a prime number?
False
Let k(d) = d**2 + 2*d + 2. Let y be k(-3). Suppose -2*s + 4 = -y*b + 41, 12 = 2*b + 2*s. Is b composite?
False
Let p = -119 - -3018. Is p a prime number?
False
Suppose -2*i + 11 = -5*v, v = -4*i + 2*v + 13. Suppose 0 = -i*j + 178 + 383. Is j a prime number?
False
Let q(k) be the third derivative of k**8/672 + k**7/2520 - k**5/120 - k**4/8 - 2*k**2. Let z(c) be the second derivative of q(c). Is z(2) a composite number?
False
Let d be 29/(-2)*20/5. Let i be (78/8)/(3/(-12)). Let z = i - d. Is z prime?
True
Let a(p) be the first derivative of -29*p**3 + 19*p**2/2 - 13*p - 3. Let v(x) = -58*x**2 + 13*x - 9. Let d(j) = -5*a(j) + 7*v(j). Is d(3) prime?
True
Suppose 5*y - 138 = 3*y + 5*a, 2*y - 178 = -5*a. Is y a prime number?
True
Suppose 2*m - 12280 = -3*m - 5*o, 4*m - 3*o = 9803. Is m composite?
True
Suppose -2*g - y + 1859 = 0, -5*g - 3*y + 0*y + 4648 = 0. Is g composite?
False
Let p(c) = -c**2 - 7*c - 13. Let a be p(-10). Let f = -6 - a. Is f a prime number?
True
Suppose -4*p + 5*v = 2*v - 211, -2*v = -p + 49. Is p a composite number?
True
Suppose 0 = 5*b - 44 - 6. Is b a composite number?
True
Let o be (5 - 6)/(2/(-6)). Suppose o*j + 3*k = 885, 425 = 3*j - k - 460. Is j composite?
True
Suppose 0 = -5*q - 11 - 9. Let r = 0 - q. Let v = 39 - r. Is v prime?
False
Suppose -2*g + 5*j = -4629, 4*j = -6*g + 2*g + 9188. Is g a prime number?
False
Let f(d) = 22*d**2 + 16*d + 5. Is f(-6) a prime number?
True
Suppose 30 = 7*m - 12*m. Let c(r) = 1. Let n(z) = 11*z - 3. Let s(i) = -2*c(i) - n(i). Is s(m) a prime number?
True
Suppose -705 + 2172 = 9*u. Is u a prime number?
True
Let x(r) = 2*r + 10. Let w be x(-7). Is -2*(82/w - -2) a prime number?
True
Suppose 0 = -4*u - 0*u + 10052. Is u prime?
False
Let p = 55 + -35. Let z = p + -9. Is z a prime number?
True
Suppose -11*q + 18 = -8*q. Suppose q + 9 = -3*d. Let z(n) = -10*n + 1. Is z(d) prime?
False
Suppose 6 = 4*h + 2*s, 0 = 5*h + 2*s - 3*s - 11. Suppose 0*f - h*f - 118 = -5*a, 0 = 2*a + f - 40. Is a a composite number?
True
Let i(r) = -r**2 - r. Let w(t) = -2*t**3 + 4*t**2 + 7*t - 6. Let x(v) = -3*i(v) - w(v). Let o be x(4). Is (o/9)/(4/18) composite?
True
Let f be (2/(-6))/(8/(-96)). Suppose -181 = -5*o + f. Is o a prime number?
True
Suppose 0 = -q + 5*q - 1804. Is q a prime number?
False
Let h(m) = -14*m**3 - m - 1. Is h(-2) a prime number?
True
Suppose 4*n + o - 3706 = -o, -3*n + 2790 = 5*o. Suppose g - i - 185 = 0, -n = -5*g + 2*i - 6*i. Is g a composite number?
True
Let j = -879 + 2134. Is j a composite number?
True
Let j(m) = m**3 + 3*m**2 + 4. Let a be j(-3). Suppose 4*i - a*u - 63 = -3*u, 0 = -2*i + 4*u + 14. Suppose -57 = -2*o + i. Is o a composite number?
False
Let s(k) = 2*k**3 - 7*k**2 + 7*k + 9. Is s(8) composite?
False
Let b = -8 - -10. Suppose 5 = 5*x - 2*o, 0*x = 2*x + b*o - 16. Suppose -4*w + x*q = -181, -5*w = 2*q + q - 233. Is w prime?
False
Let g = -144 + 203. Let a(p) = 3*p - 2. Let f be a(2). Suppose w + 2*o = f*w - g, 4*w - 4*o = 80. Is w a composite number?
False
Suppose -4*i + g = -4, 2*i - 4*g + 2 = -10. Suppose i*b - 3*b - 221 = -3*q, -290 = -4*q - b. Suppose q = 2*j - 0*j + 3*u, 5*j = -4*u + 179. Is j composite?
True
Let i(a) = -a**3 + 6*a**2 - 4*a + 1. Let l be i(6). Let k be 2 - (30/1)/2. Let n = k - l. Is n composite?
True
Suppose 2*c = -2*f + 26, 0 = 3*f - 2*c - c - 9. Suppose -2*g + 2 = -f. Let u(q) = -q**2 + 8*q + 4. Is u(g) prime?
True
Suppose 2*o - 5*d + 18 = -o, 0 = 3*o - d + 30. Let z(w) = -4*w**2 + 3*w**2 - 18*w + w - 15. Is z(o) a prime number?
False
Suppose -593 = 4*p + 4*c - 5, -5*c + 765 = -5*p. Let z = p - -266. Suppose 0 = 2*f - 5*k - 65, 2*f - z + 47 = k. Is f a prime number?
False
Let n be 2 - (2 - 4/2). Let o(i) = 60*i**2 + i. Let x be o(n). Suppose -4*u + x = 94. Is u prime?
True
Suppose 5*h = 10, 0*m + 133 = 3*m - 4*h. Suppose -o = -0*o - 14. Let i = m - o. Is i prime?
False
Let n = 1192 + -569. Let a = n - 432. Is a composite?
False
Let w(x) = x + 1. Let a be w(3). Let l be 2/a - 15/(-6). Suppose l*z - 6 = 39. Is z a composite number?
True
Suppose 0 = 3*j - j + 184. Let y = j - -186. Is y composite?
True
Let j = 3856 - 2013. Is j a prime number?
False
Let r = 6550 - 4593. Is r prime?
False
Suppose 8 - 3 = m. Suppose m*n - 4 = 16. Let h = 7 - n. Is h a composite number?
False
Let y(r) = 15110*r - 9. Is y(1) prime?
True
Suppose u + 52 = -29. Suppose -5