 680/15 + (-2)/(-3) composite?
True
Let z(i) = -135*i + 4. Let n be z(4). Is (n/(-16))/(1/14) a prime number?
False
Let y(m) be the second derivative of -3*m**4/8 - m**3/6 - m**2 - m. Let w(a) be the first derivative of y(a). Is w(-4) composite?
True
Let s(w) = 249*w + 25. Is s(2) a composite number?
False
Suppose h - 3*d = 54, -2*h - 5*d + d = -158. Is h prime?
False
Let t(o) = -3*o**3 - 6*o**2 + 3*o - 4. Let i be (-1)/3 + (-69)/9. Let b be t(i). Is 2/(-6) - b/(-6) composite?
True
Let d = -19 + 23. Suppose 0*v - 1276 = -d*v. Is v composite?
True
Let z(a) be the first derivative of 7*a**3/3 - 7*a**2 + a - 2. Let i(g) = -g**2 + g - 1. Let c(x) = -6*i(x) - z(x). Is c(4) a composite number?
True
Let r(f) = 5*f - 5. Suppose -2*g + 0*d + 4*d + 32 = 0, -g - 4*d = -16. Suppose -3*k - g = -5*k. Is r(k) prime?
False
Let b(w) = 2*w**3 + 13*w**2 - 5*w + 1. Is b(-6) a composite number?
False
Suppose 5*r + 1 = 4*r. Is 15/(2 + 0 + r) composite?
True
Suppose -t + 393 = -7. Suppose -5*b = -345 - t. Is b a composite number?
False
Is 1757/(-7)*1/(-1) a composite number?
False
Suppose 0*l = -2*l + 10. Suppose l*x - 1034 - 1741 = 0. Suppose 7*b - 2*b - x = 0. Is b a prime number?
False
Let c(w) = 139*w + 26. Is c(9) a prime number?
True
Suppose 2*t - 3*p = 1114, -3*p = -t - p + 559. Is t a prime number?
False
Let h(i) = -i - 1. Let c(p) = p**2 - 2*p. Let j(r) = c(r) - h(r). Let a be (-1*3)/(3 - 2). Is j(a) prime?
True
Let i = 7 - 12. Is i + 7 + -3 - -24 composite?
False
Let u(a) = -a**3 + 22*a**2 - 6*a - 24. Is u(17) a prime number?
True
Suppose -4*t + 13*t - 6453 = 0. Is t prime?
False
Let q(a) = -5*a**3 + 3*a**2 - 5*a + 4. Let s(d) = -2*d**3 + d**2 - 3*d + 2. Let p(m) = 3*q(m) - 7*s(m). Let r be p(4). Let v = 27 - r. Is v a prime number?
True
Let a(j) = -j**2 + 2. Let y be a(0). Suppose -y*i + 17 = -57. Is i a prime number?
True
Let h(x) = x - 8. Let w be h(0). Let v = 36 + w. Suppose -v = 4*s - 168. Is s prime?
False
Let h = 189 - 112. Is h composite?
True
Let v(y) be the second derivative of -y**4/12 + 4*y**3/3 + 5*y**2/2 + 2*y. Let p be v(9). Let r = 23 + p. Is r prime?
True
Let s(g) = -8*g**3 - 4*g**2 - 15*g - 4. Is s(-5) a prime number?
True
Let x(y) = 1008*y**3 + 2*y - 1. Suppose 5*r = 2*z + 11, -2*r = -5*r + 2*z + 9. Is x(r) prime?
True
Suppose -3*s + 0*s = 3, 3*s = 2*h - 11. Suppose h*r + r - 175 = 0. Is r prime?
False
Let i = 5 - 26. Let g = i - -55. Is g composite?
True
Let k(u) = u**3 + u**2 - 5*u + 2. Let n(s) = s**2 - s - 1. Let b be n(-2). Is k(b) prime?
True
Suppose h - 539 = -5*u, -5*u + 5*h - h + 519 = 0. Let f = u - 18. Is f composite?
False
Let a(p) = p**2 - 4*p + 21. Is a(14) a composite number?
True
Suppose 0*z + 7*z - 889 = 0. Is z a prime number?
True
Let s(k) = -373*k. Is s(-1) prime?
True
Suppose 6*p - 9 = 3*p. Suppose -p*n = -0*n - 603. Is n a prime number?
False
Let r = -204 - -469. Is r a prime number?
False
Let m(c) be the second derivative of -c**4/12 + 2*c**3 - 15*c**2/2 - 3*c. Let v be m(10). Suppose v*f = f + 124. Is f prime?
True
Suppose 2*w - 299 = -a, 1141 = 4*a - 0*a - 3*w. Is a prime?
False
Let v = 111 - 34. Is v a prime number?
False
Suppose 5*j + 408 = -4*y - 510, 0 = -5*y - j - 1137. Let l be y/5 - 4/(-10). Let k = 98 + l. Is k composite?
False
Let t(o) be the second derivative of -o**4/12 + o**3/6 + 47*o**2/2 + 3*o. Is t(0) a composite number?
False
Let b(a) = a**2 + 7*a - 9. Let k be b(-7). Let w(c) = -66*c**2 - c. Let q be w(1). Is (-3)/(k/(-6)) - q composite?
True
Let u(y) = -y**3 + 4*y**2 + 4*y - 5. Let o(z) be the second derivative of z**3/6 - z**2/2 + 3*z. Let a be o(5). Is u(a) prime?
True
Let v(d) = -8*d + 3. Let p be v(2). Let l = 9 + p. Is (l/12)/((-2)/942) a prime number?
True
Suppose -j + 217 = 16. Let i = 362 - j. Is i composite?
True
Let h be -1 + 4 + (1 - -1). Let c = -5 + 7. Suppose 0 = h*v + 4*o, -5*v + c*o = -30 - 0. Is v a composite number?
True
Suppose 2*h = -0*h - 48. Let p = -9 - h. Is p a composite number?
True
Let q = -12 - -17. Suppose 30 = -q*z - 45. Is 1/5 + (-192)/z a composite number?
False
Suppose 0 = -5*q - 2*k + 2510, -2*q - k + 1004 = -2*k. Is q composite?
True
Suppose 2*a + a = 237. Is a a composite number?
False
Let r be (-6)/(-5)*15/(-6). Let d be (9/r)/3*-1. Suppose -w + 8 = d. Is w composite?
False
Suppose -854 = -10*f + 8*f. Is f a prime number?
False
Let v(w) = w**2 - 10*w. Let l be v(10). Suppose l = -h - 4*h + 655. Is h prime?
True
Let a be ((-6)/(-10))/((-1)/(-5)). Let n(m) = -6 + 1 + 46*m + 19*m + 1. Is n(a) prime?
True
Suppose 0 = -6*b + 295 + 599. Is b a composite number?
False
Let r be (6/(-5))/((-4)/20). Suppose r = i - 4*f, -f + 31 = 3*i - 0*i. Is i a composite number?
True
Let s = -5 + 7. Suppose s*q - 2*x - 43 = -15, 4*q = -3*x + 56. Is q - 1*(-3)/(-1) composite?
False
Let w = 10 - 7. Suppose -l + t + 511 = 4*l, 405 = 4*l + w*t. Let o = l - 35. Is o a composite number?
False
Let o(x) = 7*x - 2. Let y = 6 + -4. Let u be o(y). Let f = 7 + u. Is f a composite number?
False
Let k be (4/2)/((-2)/(-179)). Suppose 3*a + 0*f - k = -4*f, -2*a + 86 = -4*f. Is a composite?
False
Suppose 0*a - 4 = -a. Suppose -k = k - 32. Suppose -k - 8 = -a*l. Is l composite?
True
Let a = -4 - -2. Let y be 5/a*(-6)/5. Suppose 3*r - 4*r + 38 = y*j, j - 154 = -3*r. Is r a composite number?
False
Suppose 0 = -i - 3, -i + 110 + 29 = 2*a. Is a a composite number?
False
Suppose -5*s + 1058 = -677. Is s a composite number?
False
Let a = 88 - 9. Is a prime?
True
Let i(c) = 177*c + 88. Is i(23) a prime number?
True
Is 1/2 - (-3 - 7135/2) a composite number?
False
Is (58/4)/((-3)/(-30)) a prime number?
False
Let l(o) = -190*o**3 + o**2 - o - 1. Is l(-1) composite?
False
Suppose -3*f - x + 800 = -874, 15 = -5*x. Let q = 132 + f. Is q composite?
False
Suppose 4*d - 3*d - 627 = 2*k, 2*d = 2*k + 1256. Is d a prime number?
False
Suppose 0*s - 3*a + 4 = -4*s, 5*s - 5*a = -10. Suppose 9 = i + f, -2*i + 0*f + s*f = 2. Suppose 4*y - 48 = -i*j + 88, -3*j - 34 = -y. Is y composite?
True
Suppose -5*h = -7*h + 1228. Is h composite?
True
Let z be -5*(14/(-10) - 3). Let k = z + 187. Is k a prime number?
False
Let v = 291 - -104. Is v composite?
True
Let l be 5 + -2 + -3 + -22. Let h = l - -99. Is h composite?
True
Let p(h) = 22*h**3 + 2*h**2 + 4*h + 5. Is p(4) composite?
True
Suppose -2*n = -0*n - 3*k, 4*n = 2*k. Suppose -3*s + n*s + 3 = 0. Is s/(2/6) - -18 composite?
True
Let h(q) = q**2 - 3*q - 10. Let u be h(12). Suppose -w = -u - 21. Is w a prime number?
False
Let b(z) = z**3 - 6*z**2 - 7*z + 1. Let g be b(7). Let m = g + -6. Let i = m + 19. Is i a prime number?
False
Is 857/15 - 6/45 a prime number?
False
Let z(x) = -4*x**2 - 4*x - 6. Let w(g) = 2*g**2 + 2*g + 3. Let n(d) = -11*w(d) - 6*z(d). Let i be n(4). Let j = i - 12. Is j prime?
True
Let b = -61 - 14. Let v be 3/((-7)/(3472/12)). Let t = b - v. Is t composite?
True
Let x(j) be the first derivative of -j**4/4 + 2*j**3/3 - j**2 + j + 1. Let s be x(2). Is ((-2)/s)/((-1)/(-15)) composite?
True
Let u be (-1074)/(-9)*(6 + -3). Suppose 90 = -2*s + u. Is s a composite number?
True
Let a(w) = w - 12. Let s be a(7). Is -139*(s - (-6 - -2)) a prime number?
True
Is 2698/2 - (-24 - -28) a composite number?
True
Let g = -131 - -294. Is g prime?
True
Let s(b) be the second derivative of -29*b**3/3 - 11*b**2/2 - b. Is s(-6) prime?
True
Let d(r) = r**2 - 49*r + 1. Is d(-23) composite?
False
Is (3 - 4716/(-16))*4 composite?
True
Suppose -2 + 10 = 4*v. Suppose v*i = -i + 240. Suppose 0 = -5*g + 450 - i. Is g composite?
True
Suppose 5*y + 0*i - 9850 = 5*i, 2*i = 5*y - 9859. Is y prime?
True
Let p(o) = -o**3 - 5*o**2 + 7*o + 8. Let k be p(-6). Suppose -3*c + k*c = -2. Is c*(-62)/(-4)*1 a composite number?
False
Let z(w) = 500*w. Let q be z(2). Let o = -503 + q. Is o a composite number?
True
Let d(y) = -10*y - 3. Let o be d(-4). Let g(s) = s**3 + s - 14. Let p be g(0). Let k = o + p. Is k a composite number?
False
Let d = -5 + 8. Suppose -4*q - 6 = -d*n, 1 + 1 = 2*q + n. Let c(p) = -p + 4. Is c(q) a prime number?
False
Suppose -n + 4 = -0. Let w be 0/(1 + -3 + n). Suppose -h + 1 = 3*p - 12, 4*h + 5*p - 38 = w. Is h a prime number?
True
Suppose -32 = -5*t - 2. Let p be 4/18*-3*t. Let m = 62 + p. Is m a prime number?
False
Let u(w) be the first derivative of -w**4/24 + w**3/3 + 3