Suppose 3*j = 8*j - c. Is j composite?
False
Let u(n) be the first derivative of -9*n**5/10 + n**4/12 + n**3/6 + n**2/2 - 3*n - 3. Let i(o) be the first derivative of u(o). Is i(-1) a composite number?
False
Let m(g) = g**3 - 13*g**2 + 2*g - 16. Let z be m(13). Is (z/(-6))/(2/(-138)) a composite number?
True
Is ((-42270)/(-75))/(4/10) a prime number?
True
Suppose -j + 2*q = q - 24, j - 4*q - 24 = 0. Let g be 3/(9/(-10))*-6. Suppose 2*w = j + g. Is w a composite number?
True
Let n = 15 - 10. Suppose 94 = n*m - 1. Is m a composite number?
False
Let t(k) be the first derivative of -k**2/2 + k + 3. Let w be t(1). Suppose 2*d - 114 = -4*x, 3*d + d + x - 235 = w. Is d a prime number?
True
Is (-37011)/(-143) - 2/(-11) a composite number?
True
Let t(y) = 5*y - 1. Let n be t(-1). Let i(z) = z**2 - 6*z + 7. Is i(n) composite?
False
Suppose d + 3*b = 3 - 2, 20 = 4*d - 4*b. Suppose -d*j - 6 = -3*r - 0, 4*r - 9 = 5*j. Is (r/9)/((-4)/(-1146)) a composite number?
False
Let l(n) = -n - 1. Let o(w) = -w**3 + 6*w**2 + 5*w - 3. Let m(i) = -4*l(i) - o(i). Let f be m(6). Suppose f = -b + 4. Is b composite?
False
Let g(n) = -n**3 + 6*n + 6. Is g(-3) a composite number?
True
Let g = 388 + -277. Is g prime?
False
Suppose -10*g - 14020 = -15*g. Is (-1)/(((-4)/g)/1) a composite number?
False
Let x be (-1)/(-2)*(1 + -67). Suppose -3*u + 172 = -5*u. Let r = x - u. Is r a composite number?
False
Suppose -2*l - 3*l + 30 = 5*r, -7 = -2*l - r. Let v be 1 + (-99)/(l*-3). Suppose -m - v = -111. Is m prime?
False
Let r = 7 + -38. Let q = -74 + 30. Let f = r - q. Is f composite?
False
Let s = 39 - -70. Is s composite?
False
Let o(l) be the second derivative of 4*l**4/3 - l**3/3 - 3*l**2/2 + l. Suppose 0 = -3*t - 2*t - 10. Is o(t) a composite number?
True
Let w be ((-34)/(-3))/((-1)/(-3)). Suppose 4*q = -14 - w. Let t = 25 + q. Is t a prime number?
True
Let u = 10265 + -6276. Is u prime?
True
Suppose -7*v = -2427 + 110. Is v a prime number?
True
Suppose -c - c = o - 77, 150 = 4*c - 2*o. Is c composite?
True
Let m(h) = 128*h**2 + h + 1. Let j be m(2). Let n = j - 330. Is n composite?
True
Suppose 55 = 4*w + w. Is w a prime number?
True
Let n(i) = 302*i + 3. Is n(5) a prime number?
False
Suppose t = -1 + 6. Suppose -4*g + 4 = -t*z - 3, 0 = 4*z - g + 10. Let x = z - -17. Is x prime?
False
Suppose x = -3*g + 274, 4*x + 0*x = 2*g + 1054. Is x a composite number?
True
Is (-5870)/(-15) - (1 + (-6)/9) a prime number?
False
Suppose -z + 3*z - 148 = 0. Is z a composite number?
True
Let h(f) = 0*f - 2 + 3 - 2*f - 16*f. Suppose 0 = 2*x + 1 + 9. Is h(x) prime?
False
Let g = 159 + 50. Let b = g + -94. Is b a prime number?
False
Let m(f) = 24*f**2 + 7*f + 25. Is m(10) prime?
False
Let z(l) = l**3 - 9*l**2 + 8*l + 7. Is z(13) a prime number?
True
Suppose 509 + 1640 = 7*y. Is y prime?
True
Let j be (-2 - -36)/(2/(-2)). Let q = j + 49. Suppose -3*n = -4*n + q. Is n a composite number?
True
Suppose -4*m - m - 4*g + 267 = 0, 3*m + 4*g = 157. Is m a composite number?
True
Suppose -k - 4*x - 26 = 0, x - 7 = 2*k - 0*x. Is (147 - 0) + 12/k a composite number?
True
Is -293*(0 - 1)/1 a prime number?
True
Let r = 19 + 2. Suppose r = 3*g - 5*n, 2*g + 0*n - 3*n - 13 = 0. Suppose -g*v + v = -251. Is v composite?
False
Let m = 4 + -1. Suppose -4*a - i + 802 = -m*i, 3*i = -a + 197. Is (-1)/(a/67 + -3) a composite number?
False
Let h(j) = 20*j**2 - j. Let g be h(-1). Let x be 4/(-22) + (-171)/(-33). Suppose -149 - g = -x*i. Is i a composite number?
True
Suppose 4*m - 4*z - z = 2992, -4*m - 3*z + 3024 = 0. Is m a composite number?
True
Suppose 0 = 2*f - 1048 + 210. Is f a prime number?
True
Let i = 6 + 5. Let h = i - 4. Is h a composite number?
False
Suppose -1060 - 1456 = -4*o. Is o a prime number?
False
Suppose a + v - 2 = -0*v, -5*a - 3*v = -12. Suppose a = -4*l - 5. Is 3/18*l*-435 prime?
False
Let h(y) = -7*y**2 - 6*y - 4. Let t(b) = -20*b**2 - 19*b - 11. Let z(i) = 8*h(i) - 3*t(i). Is z(-6) prime?
False
Let i = -3 - -3. Suppose 0 = -5*f - 3*d + 14, -4*f + f + 5*d - 12 = i. Is (2 + f)*33/9 prime?
True
Suppose 3*p - p + 230 = 2*y, 2*y + 2*p - 214 = 0. Is y prime?
False
Let f(w) = w**2 - 7*w - 3. Let v be f(-6). Let h = 82 + v. Is h prime?
True
Let z(i) = 16*i**2 + i. Let b(u) be the first derivative of -u**2/2 - u - 1. Let x be b(0). Is z(x) prime?
False
Suppose -2*h = 2*x - 62, -3*x + 58 = 2*h + x. Is h prime?
False
Suppose -32 = -0*h - 4*h. Let p be 118/h + 4/16. Suppose 0*l + l = 2*y + 1, 0 = -3*l + 3*y + p. Is l a prime number?
False
Let h(z) = -z**3 - 5*z**2 - 6*z + 1. Let t(l) = -l - 10. Let d be t(-5). Is h(d) a composite number?
False
Suppose 5*d + 15 = 0, 2*w = 4*d - 0*d + 22. Suppose 2*l + w*k = 31, 6 = 3*l + k - 8. Suppose 269 = l*x + 2*p, -2*x + 5*p = 2*p - 175. Is x composite?
False
Let m(y) = -y - 2. Let o be m(-5). Suppose 0 = -o*u + 22 + 32. Suppose 0 = 4*k - u - 10. Is k a prime number?
True
Let x(k) = -11*k**3 - 4*k**2 + 3*k + 1. Is x(-5) a prime number?
False
Suppose 4*h - 6 = -2. Suppose -c - h = 0, 5*y - 2*c - 397 = -0*c. Is y a composite number?
False
Let t(m) = 21*m - 4. Let l be (-16)/6 + 8/12. Let j(v) = v**3 + 3*v**2 + v + 1. Let g be j(l). Is t(g) a composite number?
False
Suppose -i = 2*i + 6. Is 33*(-3 - i)/(-1) composite?
True
Is 4 - (-5 - (1219 - -3)) composite?
False
Suppose 8634 = 4*o + 2*o. Is o a prime number?
True
Let k(i) = -i**2 + 13*i + 4. Let g be (-110)/(-15)*(-3)/(-2). Is k(g) prime?
False
Let d = 1 + -1. Suppose 2*i + 24 = -w + 5*w, 3*w - 5*i - 32 = d. Suppose -5*q + 5 = -w*l + 61, 5*l = 4*q + 79. Is l composite?
False
Let x be ((-2)/(-4))/((-4)/80). Is ((-174)/x)/((-4)/(-20)) a composite number?
True
Let v be 2 + (-1*2 - -94). Suppose -5*m + 244 = v. Suppose 1 = 2*z - 3*r - m, -5*z + 75 = -5*r. Is z a prime number?
False
Let c(u) be the second derivative of -4*u**3/3 - 5*u**2/2 + 2*u. Suppose w = -3*w - 20. Is c(w) a prime number?
False
Let t(f) = -26*f**2 - f - 4. Let i be t(4). Let r = 611 + i. Is r prime?
False
Let s(v) = 2*v**2 + 5*v + 12. Let x be s(5). Let i(b) = 4*b**2 - 6*b - 2. Let a be i(7). Let h = a - x. Is h prime?
False
Let u(l) = -2*l - 18. Let p(h) = -h - 9. Let n(d) = -7*p(d) + 3*u(d). Is n(-6) a composite number?
False
Suppose f + 24 = 5*f. Suppose f*d = d. Suppose -l - 2*b + 4 + 1 = d, -2*l + 22 = -2*b. Is l a composite number?
True
Let p = -1074 - -1589. Is p prime?
False
Let o be (3/3 + -1)/(-2). Suppose 0 = -6*v + 2*v + 460. Suppose 5*x - 5*q - v = -o*x, x - 23 = 2*q. Is x composite?
False
Let d = -384 + 642. Suppose 5*x + g - 330 = 0, 0*g - 2*g = 4*x - d. Is x a composite number?
False
Suppose 0 = 2*a + v - 5, -3*v + 13 = 4*a. Suppose 5*i - g + a = 0, 14 = -6*i + 4*i - 3*g. Is (-35 - i)/(1 - 2) a composite number?
True
Let y = 59 - 4. Let a = y - -178. Is a a prime number?
True
Let t = 3800 + -867. Is t a composite number?
True
Let b be 2*(-2 - -3) - -23. Suppose -b - 65 = -5*s. Suppose -h - 3*l + s = -26, -4*l - 12 = 0. Is h prime?
True
Suppose -3*v + 633 = 3*q, -5*q - 2*v = -4*v - 1041. Is q a composite number?
True
Let s be (24/20)/(6/2140). Suppose 2*j = 3*b + 240 + s, 343 = j + 3*b. Is j composite?
False
Suppose 2*l = 1929 + 2277. Is l a composite number?
True
Let o(q) be the third derivative of q**8/20160 - q**7/5040 + 49*q**6/720 - q**5/20 - q**2. Let d(v) be the third derivative of o(v). Is d(0) a composite number?
True
Let v(n) = -5*n**3 - 11*n**2 - 15*n + 10. Let r(o) = -o**3 - o. Let g(a) = -4*r(a) + v(a). Is g(-11) composite?
False
Let w be 1*3 + 9/(-3). Let n be 7 + (1 - -1) + w. Let s = 19 - n. Is s a composite number?
True
Let j = 747 - -92. Is j prime?
True
Let y be 2 - (3 - (-102)/(-2)). Let p = 97 - y. Is p composite?
False
Let t(z) = 4*z**3 + 7*z**2 - 8*z - 8. Is t(7) composite?
True
Let c(j) = -j**3 + 13*j**2 + 4. Let l be c(6). Suppose 22 = 2*i - l. Is i composite?
False
Let h = 613 - 54. Is h a composite number?
True
Suppose 4*l - 1095 = 6797. Is l a composite number?
False
Let w(f) = -3*f**3 + 3*f + 45. Let k(y) = -y**3 + y + 23. Let r(b) = 5*k(b) - 2*w(b). Is r(0) prime?
False
Suppose 1062 - 3017 = -5*j. Is j prime?
False
Suppose -z = -4*j + 27, -4*z + 1 + 11 = 4*j. Let g(n) = -n**3 + 4*n + 3 + 0*n**3 + 8*n**2 - 13*n - 2. Is g(j) prime?
True
Let x = -82 + 150. Let z = -31 + x. Is z prime?
True
Let m be (-8)/28 + (-2