0 - (2 - (3 + o)) composite?
True
Suppose -784 = -s - 5*g, -s - g + 781 = 3*g. Is s a prime number?
True
Let o(m) = m**3 + m**2 + 4. Let y be o(0). Let s = y + -14. Is s/(-35) + (-831)/(-7) composite?
True
Suppose t - 271 = 168. Is t a composite number?
False
Suppose 0*j - j - 4 = 0. Let x(v) = -v**3 + 2*v**2 + 5*v + 3. Is x(j) composite?
False
Let k = 0 - 0. Suppose k = -4*c + 11 - 3. Suppose -5*u + 5 = -5, -5*u - 184 = -c*w. Is w prime?
True
Suppose -c = -54 - 29. Is c a composite number?
False
Let i(u) = 0*u - 1 + 3 - 3*u - 4. Let a be i(3). Let s(l) = -l**3 - 6*l**2 + 15*l - 9. Is s(a) prime?
True
Suppose -8*h + 526 = -6*h. Is h a prime number?
True
Let k = 403 - 152. Is k a composite number?
False
Let o = -133 - -294. Is o composite?
True
Let l(t) = -t**3 - 25*t**2 + 4*t + 49. Is l(-27) a composite number?
False
Is (-1268)/(-5) + (-10)/(-25) prime?
False
Let g be -3 + 1 - (-6 - 1). Suppose 0*w = -g*w + 545. Is w a prime number?
True
Let p(q) = 3*q**2 + 4*q + 1 + 4 + 21*q**2. Is p(-4) prime?
True
Suppose 2*w + 2*z - 894 = -0*z, 5*w + 3*z = 2239. Is w a prime number?
True
Let p(k) = 6*k + 1. Let u be 2 - 0/(-3) - -1. Suppose 5*a = h + 13, 0 = 2*a + u*a + 3*h - 1. Is p(a) composite?
False
Is 4*(393/12*2)/2 a prime number?
True
Let t(p) = 2*p**2 + p - 1. Let j be t(-3). Suppose 27 = 2*i - 3*l, -2*i - 2*l + j = 2*i. Let k(m) = -m**3 + 5*m**2 + 7*m. Is k(i) a prime number?
False
Let m(q) be the first derivative of -q**6/360 - q**5/12 + 7*q**4/24 + q**3 + 3. Let g(j) be the third derivative of m(j). Is g(-6) composite?
False
Let u(n) = -n**3 + 13*n**2 - 6*n + 25. Is u(12) composite?
False
Let l = -3 + -10. Let n = 9 + l. Let m(i) = -i**3 - 4*i**2 - i. Is m(n) a composite number?
True
Let p be -6*(-1 + (-4)/6). Let y = -16 - -25. Suppose -p*q = -y*q - 7. Is q prime?
True
Suppose 0*a - 4424 = -4*a. Is a/35*(-5)/(-2) a prime number?
True
Suppose 11*i = 1084 + 643. Is i composite?
False
Suppose 0 = -u - 2*s + 1, -3*u + s + 0*s = -10. Suppose -u*q + 226 + 155 = 0. Is q composite?
False
Suppose -3*s + 266 = o, -128 - 908 = -4*o - 5*s. Suppose 0 = 3*d - 5*a - o, -4*d = -9*d - 4*a + 411. Is d composite?
False
Suppose 8*h + 1540 = 3*h. Suppose 0*r = 3*r - 6. Is r/(-8) + h/(-16) prime?
True
Let c = 396 + -57. Suppose c = 3*y - 1356. Is y prime?
False
Let r = 0 + 2. Let p be 2/(-4)*r + 8. Is (-4)/14 + 93/p prime?
True
Let h = 4442 + -7472. Is (-2)/(-3) - h/18 composite?
True
Let u(f) = f**2 + 7*f + 4. Let y be u(-6). Let b(p) = -p**3 - 2*p**2 - p + 2. Let j be b(y). Is (-1 - -95) + (j - 1) prime?
True
Let u(a) be the second derivative of -a**3/2 + a**2/2 + a. Let n(p) = p - 7. Let f be n(3). Is u(f) a prime number?
True
Suppose v = -v - 16. Let y = -6 - v. Suppose -3*f - 4 + 24 = y*q, -2*f + 11 = q. Is q a composite number?
False
Is (116/8)/((-1)/(-10)) a prime number?
False
Let n(u) = 423*u**3 - u**2 + 8*u - 7. Is n(2) prime?
True
Let v(w) = -10*w + 4*w**2 + w**3 + 1 + 17*w - 10*w. Suppose -22 = 5*f - 5*l + 3, -22 = 5*f - 2*l. Is v(f) a prime number?
True
Let t = -2 + 6. Is 0 + 2/t*262 prime?
True
Suppose 0 = -2*m - 3*g + 252 + 443, 0 = 4*m - 3*g - 1435. Let x = m - 178. Is x a prime number?
False
Let i = -162 + 289. Is i a composite number?
False
Suppose -3*p = -1106 + 113. Is p composite?
False
Suppose -17410 = -6*o - 5596. Is o composite?
True
Let u(w) = 18*w + 5. Suppose -a + 15 = 3*n, -n - 11 = -0*n - 5*a. Is u(n) composite?
True
Let z(g) = g**3 + 10*g**2 + 10*g + 15. Let s be z(-6). Suppose 3*x - 3 - s = 0. Is x a composite number?
True
Let g be 350/(-12) + 1/6. Let i = g + 82. Is i a prime number?
True
Suppose 5*s = 8*s - 5283. Is s prime?
False
Let m be (14/2)/((-7)/7). Let a be -6*-7*2/4. Let v = a + m. Is v a prime number?
False
Let i = -94 + 171. Is i prime?
False
Suppose -5*u + 4378 - 33 = 0. Is u a prime number?
False
Let n be 6 + (-1 + 2 - 1). Let a(s) be the second derivative of s**4/6 - s**3/3 + 5*s**2/2 + 8*s. Is a(n) prime?
False
Suppose -853 = -5*j - 303. Let g be 10/4*(31 - 1). Let a = j - g. Is a a composite number?
True
Let o(l) be the third derivative of l**6/360 - l**5/60 + l**3/3 - l**2. Let v(m) be the first derivative of o(m). Is v(5) a prime number?
False
Is -3 - (-1 + 2) - -59 a composite number?
True
Suppose -5*a = -318 - 87. Let s = 130 - a. Is s a prime number?
False
Let z be ((-1)/2)/(2/(-40)). Suppose z = b + b. Let k(h) = h**3 - 4*h**2 - 5*h + 2. Is k(b) a prime number?
True
Suppose 3*k - 5*k = -382. Is k a composite number?
False
Let x be (-112)/3 - (-2)/6. Let s = x + 68. Is s composite?
False
Suppose 295 = -3*j + 766. Is j prime?
True
Suppose -r - 142 = -4*s + 1721, -3*s + 1396 = -r. Is s a prime number?
True
Is 0 - 1 - -1*1442 composite?
True
Let r be (-2)/4*-4 + -1. Let n(t) = 82*t + 1. Is n(r) a composite number?
False
Let s = -84 - -50. Let c = -20 - s. Is c a composite number?
True
Suppose 2 - 11 = 3*z. Let q(r) = 5*r**2 - 4*r - 2. Is q(z) composite?
True
Let s(w) = 2*w**3 + 17*w**2 - 21*w + 4. Let b(g) = g**3 + 8*g**2 - 10*g + 2. Let u(c) = 7*b(c) - 3*s(c). Is u(-5) composite?
False
Let l = -2734 - -4683. Is l prime?
True
Let i(v) = -5*v**2 + 111. Let z(h) = -h**2. Let f(m) = i(m) - 4*z(m). Is f(0) composite?
True
Let o(m) = -m**2 + 5*m - 2. Let z be o(4). Suppose w + 2*v + 69 = z*w, -3*w + 202 = -v. Is w a prime number?
True
Suppose -4 = -4*i - 0. Suppose -d = -4*f + i, 5*d - 3*f = 75 - 12. Is d - (2 - -1 - 1) prime?
True
Let k = -882 + 1697. Is k prime?
False
Let r = 0 + 1. Suppose 65 = 3*j - 70. Suppose -4*h - r = p - 20, 3*p + j = 5*h. Is h prime?
False
Let b be (-1)/4 + (-9)/(-4). Suppose 0 = -b*a + 5*a. Suppose -m + 2*m - 4*z - 75 = a, z = 2*m - 164. Is m a composite number?
False
Let n = -900 - -1397. Is n prime?
False
Suppose -57 = -t + 3*w + 20, -4*t = -w - 264. Is t a composite number?
True
Let h(g) = -3*g + 0*g + 6 + 0. Let t be h(6). Let l(r) = -r**3 - 12*r**2 - 3*r - 17. Is l(t) a prime number?
True
Suppose 0 = 9*t - 115 - 119. Is t a composite number?
True
Let j = -9 - -9. Suppose j = -3*i - 2*i + 1325. Is i a composite number?
True
Suppose 3*w - 19781 = -2*y, 0 = -2*y + 7*y + 10. Is w prime?
False
Let i(z) = -z**3 - 5*z**2 - z + 5. Let t be (3 - 2)/(1/(-6)). Is i(t) a prime number?
True
Let m = -114 - -161. Is m a prime number?
True
Let x be 14168/20 - (-6)/10. Let c = -486 + x. Is c a composite number?
False
Suppose -w - 2*o + 0 + 13 = 0, 5*w = 2*o + 41. Is 3/(-1)*(-249)/w a prime number?
True
Suppose -585 = -3*u + 1284. Is u a prime number?
False
Suppose -2*h + 10 = -0*m - 3*m, -2*h = m - 2. Suppose 4*d + h*b + 2*b = 1000, b - 1003 = -4*d. Is d a composite number?
False
Is -2*1/6*-10167 composite?
False
Let v(h) = h**2 - 5*h + 9. Suppose -7*p + 3*p + 4 = 0. Let u be ((6*1)/p)/1. Is v(u) a prime number?
False
Let f be (0 - -3)/(8/24). Is (-12)/f*-48 - -3 a prime number?
True
Suppose -5*u = -2*u - 6. Suppose u*a - 132 - 167 = -m, -a + 607 = 2*m. Is m prime?
False
Let u = -1466 + 2113. Is u a prime number?
True
Let a = -7 - -17. Let l be 24/(-10) - (-4)/a. Is (1 - 3)*53/l a prime number?
True
Let u(m) = m**3 - 5*m**2 + 8*m - 1. Suppose 5*v = s + v + 2, 2*s - 3*v = 6. Is u(s) prime?
True
Let k be 4/1*(-16)/(-1). Let m = 89 - k. Is m a composite number?
True
Let v = 9 + -3. Suppose -3*o - 2*o = 5*f - 10, 4*f = 2*o - 22. Suppose 3*q = -4*w + v*q + 75, 4*q + 93 = o*w. Is w a prime number?
False
Suppose -25 = 3*r - 4*l, -32 = 5*r + 5*l - 2*l. Suppose 0 = w + 5*g + 1, -2*w = -2*g - 2*g + 58. Is 1/r + (-780)/w a composite number?
False
Let b(f) = 2*f + 70. Let u(l) = 5*l + 209. Let j(s) = -8*b(s) + 3*u(s). Suppose 4*m = 8*m. Is j(m) prime?
True
Suppose 0*c - 2*c + 22 = -3*w, -2*c = 3*w + 2. Suppose 0 = c*j - 208 + 48. Let y = j - -5. Is y a composite number?
False
Suppose -3*k = 2*t, -6*t + 3*t + 2*k = -13. Suppose t*a = -2*j + 35, -4*a + 4*j + 20 = -0*a. Suppose -3*i = -f - 5 - a, -5*f = -2*i - 8. Is i a prime number?
False
Let v(o) = 20*o - 7*o + 8*o. Is v(1) a prime number?
False
Suppose -3*u + 1739 = -4*h, -2870 = -2*u - 3*u + h. Is u a composite number?
True
Suppose 2*j - 6*p = -2*p + 220, -3*j = -4*p - 328. Let y be 2/8 - 435/(-20). Suppose 5*g = 2*d - 128, 2*d = 4*g + j + y. Is d a prime number?
False
Suppose -8*a + 2674 = -a. Is a prime?
False
Let q(i) = 203*i**3 + 2*i - 2. Let k = 19 - 18. I