se 0 = -2*w - j*w - 1356. Is (1/3)/((-2)/w) composite?
False
Let s be (-1682)/6 + (-2)/3. Let t = s - -493. Suppose -t = -5*b + b. Is b a prime number?
True
Let i(o) = o**2 - 6*o - 5. Let t be i(7). Suppose -t*s - 7 = -s. Let q = s - -14. Is q a composite number?
False
Suppose -265 = -4*u + 227. Is u composite?
True
Let n = -9 - -15. Let r = n + -7. Is r - (-7)/((-14)/(-24)) prime?
True
Let t(k) = k**3 + 5*k**2 - 8*k - 8. Let b be t(-6). Is b/(-14) + 2317/49 composite?
False
Let i be (8/(-6))/(4/(-6)). Let o = i + 3. Suppose 21 + o = y. Is y a composite number?
True
Let z(n) = 191*n + 7. Let m be z(5). Is (-2)/(-3) - m/(-6) a composite number?
True
Let p be 1/(-4) + 42/8. Let z(j) = 6*j - 3. Let q be z(4). Suppose w = c + p*w - q, -2*c + 4*w + 54 = 0. Is c composite?
True
Is (1 + 3/6)*3386/3 a composite number?
False
Let p(o) = 26*o**2 - o - 5. Is p(4) a prime number?
False
Let n(w) = w**3 - 2*w**2 - 3*w + 5. Let i be 1 - 1 - 6/(-3). Suppose 3*j + 2*x - 8 = 0, 5*j - 2*j - i*x - 16 = 0. Is n(j) composite?
True
Suppose 0*n = -2*n + 12. Let k(q) be the third derivative of q**4/8 - 3*q**3/2 - q**2. Is k(n) composite?
True
Suppose 4*f - 512 = -4*p, -5*f = -f - 2*p - 506. Is f a prime number?
True
Suppose 0 = -3*i + i + 96. Suppose 2*w - 2*s - 6 + i = 0, -2*w - 30 = 2*s. Let h = w + 32. Is h a composite number?
True
Let g be 27*1*(-1 - 0). Let l = g + 208. Let p = l + -54. Is p a prime number?
True
Let l(i) = 3*i**2 + 5*i + 19. Is l(-10) composite?
False
Let i(s) = -s**2 + 20*s - 6. Is i(7) a composite number?
True
Suppose 3 = -r - 3. Let v(c) be the second derivative of -c**5/20 - 7*c**4/12 - 7*c**3/6 + 5*c**2/2 - 2*c. Is v(r) a prime number?
True
Is 477 + 3 + (-4)/(-4) a prime number?
False
Is 237 - 0 - (1 - 3) a prime number?
True
Let x(p) = -p**3 - 6*p**2 + p + 8. Let b be x(-6). Suppose 0 = b*w - w. Suppose -4*o + 4 + 312 = w. Is o a composite number?
False
Let f be (-2)/7 + 80/(-14). Let u = f - -8. Suppose 0 = u*n + n - 111. Is n a composite number?
False
Suppose -3*u + 2*k + 66 = 0, 2*u - 5*k = u + 9. Suppose c - 31 - u = 0. Is c prime?
False
Let b = 119 - 22. Is b a composite number?
False
Let g be 7/(-21) + (-2)/(-6). Suppose g = s - 58 - 55. Is s a composite number?
False
Let y be (9/(-2))/(2/(-4)). Let k be 2/10 + y/5. Is k + (2 - (-83 - -2)) prime?
False
Suppose -7175 = -5*x - 4*r - 0*r, -2*r + 4307 = 3*x. Is x prime?
True
Let x be (-49)/35 + 2/5. Let i(j) = -18*j + 1. Is i(x) prime?
True
Let n be 1*(-2 + 3)*6. Suppose -n*b + 204 = -2*b. Is b a prime number?
False
Let i be 10/4*(-18)/(-15). Let j(b) = -b + 8 - i + 3*b. Is j(7) a composite number?
False
Let g(c) = -c**2 + 5*c**3 + 6*c**2 + 4 - 4*c**3. Let t be g(-5). Suppose t*d = 2*d + 158. Is d composite?
False
Let z = -1 + 7. Let h(k) be the second derivative of k**4/6 - 7*k**3/6 + 5*k**2/2 - k. Is h(z) prime?
False
Let w(x) = x**3 + 4*x**2 - 4*x - 3. Let z be w(-4). Suppose k = 4*s - z, 2*k - 4 = 4*s - 18. Is (-340)/8*(-1 + k) composite?
True
Is -1 - -88 - -4 - 2 a composite number?
False
Let h(v) = v**3 - 5*v**2 + 4*v. Suppose -4*n = 3*s - 25, s = -2*s + 9. Let c be h(n). Suppose c = -4*b + 3*j + 142, -2 = -j - 0. Is b prime?
True
Let g(x) = x + 1. Suppose -2*o + 2*i = 3*o - 31, 5*i = -3*o. Let z be g(o). Is 2/z + (-256)/(-6) composite?
False
Let b(q) = -3*q + 1. Is b(-12) composite?
False
Let t(y) = y**3 - 6*y**2 + 6*y + 2. Suppose h - 7 = -2. Is t(h) a composite number?
False
Let l(c) be the first derivative of 13*c**3/3 - c**2 + 3*c - 3. Let v be l(-3). Suppose 4*a = 2*g - v, 0 = g - 6*g + a + 351. Is g a composite number?
False
Let r(b) = -b**3 + 17*b**2 - 14*b + 11. Is r(12) prime?
True
Let f(p) = p**3 - 7*p**2 - 9*p + 11. Let d be f(8). Let m be (-2 + -1)/d - -1. Suppose -3*a = -l + a + 69, m = l - 3*a - 64. Is l composite?
True
Suppose 0 = 4*p + 4. Let u(g) be the third derivative of -3*g**4/4 + g**3/6 - g**2. Is u(p) prime?
True
Suppose -5*t = -405 - 340. Is t a composite number?
False
Let t = 30 + 39. Suppose 3*k + 1 - 139 = 0. Let y = t + k. Is y composite?
True
Suppose 3*b - p = 5 + 2, -5*b = 4*p - 40. Let m be (-4)/(-12) - 23/(-3). Suppose -x - 4*j = -0*x - 21, 0 = -b*j + m. Is x composite?
False
Is 86932/6 - ((-40)/12 - -3) prime?
True
Suppose -2*p - 4 - 4 = 0. Let c(g) = -2*g - 2. Let w be c(p). Is 4/w + (-19)/(-3) a composite number?
False
Let r(b) = 0*b**2 + b**2 - 4 + b**2 + 7*b. Let c be (12/(-10))/((-1)/(-5)). Is r(c) prime?
False
Suppose 0 = 262*y - 263*y + 19. Is y a prime number?
True
Let c(q) = 8*q - 1. Let d be c(5). Let t be 18 - (0 + (-4)/(-2)). Let w = d - t. Is w a prime number?
True
Let v = 475 - 32. Is v composite?
False
Is 3 + 1224 + 3 + -4 composite?
True
Let w(f) be the first derivative of f**2/2 + 2*f + 3. Let l be w(-5). Is (-3 - -18)*(-5)/l a prime number?
False
Let a(o) = -o**3 + 6*o**2 - 7*o - 1. Let i be a(6). Let x = 8 - i. Is (x - 2*-1)*1 composite?
False
Let k be 129/((-3)/(2 + -5)). Let g = k + -20. Is g a composite number?
False
Let n(x) = 10*x**2 + 5*x + 4. Suppose -s + 3 = z + 1, 3*s - 11 = -4*z. Is n(s) prime?
True
Let k(l) = l**3 + 3*l**2 - 7*l + 2. Let n be k(-5). Let g(v) = -57*v + 16. Is g(n) a composite number?
False
Let r(t) = -3*t**3 - 3*t**2 - 10*t - 11. Is r(-6) prime?
False
Let z(r) = 96*r + 17. Is z(8) prime?
False
Suppose -5*i - 4 = k - 3*i, -5*k - 35 = -5*i. Let s be ((-15)/6 + 2)*k. Suppose w = s*t - t - 113, 0 = t - 5*w - 70. Is t prime?
False
Suppose -c + 7*j + 3 = 2*j, 3*c + 4*j = -29. Let i be c - (1 - 2)/1. Let o(d) = -5*d - 9. Is o(i) composite?
True
Suppose -n + 0*n + 13 = 3*a, 35 = -5*n + 5*a. Let h be n/(-8) + (-5)/4. Is ((-3)/(-2))/(h/(-14)) a composite number?
True
Let m(d) = d**3 - d**2 + 4. Let n be m(0). Let u(a) be the second derivative of 3*a**3/2 + a**2/2 - 5*a. Is u(n) prime?
True
Suppose h = -0 - 6. Is (-52)/h*(-6)/(-4) composite?
False
Suppose f - 2 = -0*f. Suppose -4*c + 220 = 2*j + 2*j, 0 = -f*c. Is j a composite number?
True
Suppose -1310 = -6*p + 2854. Is p a prime number?
False
Let l(c) = -3*c - 8. Let r be l(-9). Suppose -2*k = -r - 75. Is k prime?
True
Suppose -2*w + 6778 = 4*h, -6778 = w - 3*w + 2*h. Is w composite?
False
Suppose 5*d - 7 = -2*r - 0*r, 2*d - 2*r - 14 = 0. Let f = -22 - -42. Suppose 5*z = d*z + f. Is z a prime number?
False
Is (-83*(6 + -1))/(-1 - 0) prime?
False
Is (-284)/(-8)*(-3 - -5) prime?
True
Let h(c) = 215*c + 6. Is h(11) a composite number?
False
Let o(s) = s + 1. Let j be o(1). Suppose -382 = -4*f + j*f. Is f a composite number?
False
Suppose -3*l = -6*l + o + 9, -4*o = 0. Suppose -4*g - 3 = l*h - 21, 0 = 2*g. Suppose h*a = a + 575. Is a a prime number?
False
Suppose -5*t - 4*d - 25 = -104, -3*t + 77 = -5*d. Is t a composite number?
False
Suppose -2 = -2*d + p, p + 14 = 5*d + 3*p. Suppose -d*r - 36 = -3*a, 2*r + 1 = a + 5*r. Suppose a + 0 = 5*u. Is u composite?
False
Suppose -4*a + 3*a = -9. Suppose -2*t = a - 89. Suppose 5*k - 30 = 5*i, 9 = 4*k + i - t. Is k a composite number?
False
Let t be 9/(-6)*188/(-6). Let b = t - 1. Is b a composite number?
True
Let x be 0/(-2)*(-3)/6. Suppose 0 = 5*y - 10 - x. Suppose -d + 56 = 4*a, y*a - 4*d = a - 3. Is a prime?
True
Let g(z) = 88 + z + 3 + 2*z**2 - z**2. Suppose 0 = 5*o - 10*o. Is g(o) prime?
False
Suppose 3*w + t - 2 = 0, -2*w - 2*w - 3*t = -11. Suppose 5*y = 3*q - 17, -3 = -3*y + q - 10. Is 49 - (w + 2 + y) prime?
False
Let n = 116 - 7. Is n a composite number?
False
Let f(w) = w - 4. Let a be f(6). Suppose a*g = g + 4. Suppose -3*d - 2*d = -g*p - 205, 3*d - 91 = -4*p. Is d prime?
True
Let p = -74 + 311. Is p a composite number?
True
Let j(i) = -i**2 - 12*i - 9. Let g be j(-11). Let s = 145 + 21. Suppose -s = -g*v - 0*v. Is v prime?
True
Let k(f) = 4*f - 3. Let h(a) = 15*a - 13. Let i(p) = -2*h(p) + 9*k(p). Is i(4) prime?
True
Let m = 1813 + -698. Is m composite?
True
Let k(a) = -14*a**3 + 4*a**2 + 1. Is k(-3) a prime number?
False
Let h(q) = -8*q**3 + 3*q**2 + 9*q - 15. Is h(-8) composite?
False
Suppose 6*i - 4*i = 350. Let q = i - 113. Is q composite?
True
Suppose 12 = 2*w + 2*c, -5*w + w = 3*c - 21. Suppose 4*b + 5*q - w - 4 = 0, -5*b + 2*q - 16 = 0. Is 1/b - (-75)/2 a prime number?
True
Suppose -i - 2*v = 3*v - 18, v = 3. Is i*7 + 0 + -2 a prime number?
True
Let a = -6 + 11. Suppose a*z - 3 = 2, 4*z - 15 = k. Let h