 4*z - 5. Is 14 + -1 + (-1 - z) composite?
False
Let o = 28 + 16. Let q = o - 27. Suppose 3*z + 4*w + 0 - q = 0, -10 = -z + 3*w. Is z a prime number?
True
Suppose 3*t + 3*h - 9 = -3, -3*h = -2*t + 4. Let s be 4 + t*1/(-2). Suppose -s*d - 3 = 9, d = -4*n + 72. Is n a composite number?
False
Let k(v) = 6*v**2 + 3*v + 1. Suppose 2*f - 2 = 3*f. Let h be (-10)/6 - f/(-6). Is k(h) composite?
False
Suppose -s + 20 = 3*s. Suppose 72 = q - s. Suppose -3*l = 11 - 2, q = 2*d + 3*l. Is d a composite number?
False
Let l = 566 - 193. Is l a prime number?
True
Let b(q) = -139*q**3 - q**2 - 2*q + 5. Let m(h) = 417*h**3 + 3*h**2 + 6*h - 14. Let n(p) = -17*b(p) - 6*m(p). Is n(-1) prime?
True
Suppose 0 = 2*w + 937 - 5811. Is w a prime number?
True
Suppose 0 = 3*f - 5*o + 5, 5*o = 2*f + 2*f. Suppose -f*d - 7 - 13 = 5*i, -19 = i + 4*d. Is 109/2 + i/2 a prime number?
False
Let q = 1342 + -603. Is q a composite number?
False
Is -758*((-6)/4)/3 composite?
False
Let u(b) be the third derivative of -1/60*b**5 + 19/6*b**3 + 1/120*b**6 - 2*b**2 + 0*b**4 + 0 + 0*b. Is u(0) composite?
False
Let n(w) = 13*w - 1. Suppose -d + 3*j - 14 = -4, -4 = 4*d - 3*j. Is n(d) a prime number?
False
Suppose 2*b = 7*b - 3075. Suppose -5*q + b = -0*q. Is q composite?
True
Let k(o) = o**3 - o**2 + o. Let c(g) = -6*g**3 + 11*g**2 - 5*g + 14. Let l(z) = c(z) + 5*k(z). Is l(6) prime?
False
Suppose 0 = 4*x + 5*t - 3, -2*x - 3*t - 2 = -3. Suppose -2*v = x*v. Suppose v = -2*f - f + 237. Is f a prime number?
True
Suppose -2*a + 2 = 0, -3*a = -3*z + 2*a + 13474. Is z composite?
False
Is (-70710)/(-25)*5/3 a composite number?
True
Suppose -2*r - 2*g + 6 = 0, 2*g - 5 = -r - g. Suppose -5*n + 25 = -5*m, r*n = -3*n - 15. Is m*((-6)/4 + 1) a composite number?
True
Suppose 4*u = -5*j - 24, 4*u + 12 = -j - j. Is (-10)/j*470/25 composite?
False
Suppose 3*o + 3*k - 79 = 8, -3*k - 87 = -3*o. Suppose -24*f + o*f = 1905. Is f composite?
True
Is (-2)/(-5) + 18216/10 a composite number?
True
Let d be (-2)/(-2 - 24/(-10)). Is (-3)/(-15) - 274/d a prime number?
False
Let b(n) = 4*n + 11. Let g(v) = -v**3 + 5*v**2 + 8*v. Let i be g(6). Is b(i) composite?
False
Suppose 5*b + 1650 = 3*c + 2*b, 2*c - 1109 = -b. Is c composite?
True
Is (-933)/(-7) - (-6)/(-21) composite?
True
Let j be -5 + 2 - (-3 + -55). Suppose -m + 29 = 5*a, -4*a + 43 = 3*m - j. Is m a composite number?
True
Suppose 2322 = o + 4*m, -m = -2*o + 894 + 3705. Is o prime?
False
Let i = 255 - 373. Let k(s) = 51*s**2 + s + 1. Let f be k(-2). Let g = f + i. Is g prime?
False
Let c(q) = 10*q**2 + q - 1. Let l be c(1). Suppose l = -4*a + 142. Is (-1 - 3)/((-6)/a) composite?
True
Let z = 1705 + -632. Is z a prime number?
False
Let t = 3 + 0. Suppose 0 = -t*s + 18 - 6. Suppose s*o - 12 = 0, 3*o = -2*h - 3*h + 174. Is h a composite number?
True
Let g = -1 - -5. Is (-8)/(-12)*66/g a composite number?
False
Let f(o) = o**3 + 8*o**2 - 9*o - 1. Let y be f(-9). Let a be y + 40 + 6/2. Suppose 3*z + a = 5*z. Is z composite?
True
Suppose 2*j = 7*j + 5*c - 6830, -5*c = -15. Is j a prime number?
False
Suppose 0*o - 4*o = 0. Suppose -a + 255 = 5*x, 5*a = 4*a - x + 235. Suppose o = u + 4*u - a. Is u prime?
False
Let x be (-262)/6 - (-1)/(-3). Let t = -62 - x. Let i = t + 32. Is i prime?
False
Let m(w) = -29*w + 1. Let h(s) = 11*s - 7*s + 11*s. Let a(y) = 5*h(y) + 2*m(y). Is a(5) a composite number?
True
Let u(i) be the second derivative of -49*i**3/6 - 5*i**2/2 + 2*i. Is u(-4) a composite number?
False
Suppose -4*y + 4*h = -647 - 181, 0 = -4*h + 16. Is y composite?
False
Let c(o) = -o**3 - 15*o**2 - 19*o - 17. Let r = -21 + 7. Is c(r) a prime number?
True
Suppose -3*u + 4*x + 64 = 0, 4*u = 2*u - 4*x + 16. Is u/72 - 1202/(-18) a composite number?
False
Is (-1118)/(-8) + 9/(-12) a prime number?
True
Suppose 0*d + 3032 = 4*d. Is d composite?
True
Let t = -42 - -67. Suppose 18 + t = w. Is w prime?
True
Let y = 21 + 316. Is y a composite number?
False
Is 1657*(5 + -4) - 0 a prime number?
True
Let w be 21/(-2)*20/30. Let t(o) = 7*o**2 + 3*o - 13. Is t(w) a composite number?
True
Let c = -122 + 271. Is c composite?
False
Let k = 1010 + 247. Is k a prime number?
False
Let p = 164 - -129. Is p/1 - (0 + -2) a composite number?
True
Let d = -9 + 19. Is d a prime number?
False
Let q(a) = -a**3 - 11*a**2 + 14*a + 13. Is q(-18) a prime number?
True
Suppose -2774 = -2*v - 2*u - 3*u, -5*v - 4*u = -6969. Is v a prime number?
False
Suppose -b - 2*v + 20 = -21, -b = -2*v - 25. Suppose -b = -4*r + 3*r. Is r a composite number?
True
Let o(x) = -1121*x + 2. Is o(-3) a prime number?
False
Let z = 606 - 287. Is z a composite number?
True
Let u = -6 + 11. Suppose -u*s = -2*s + 306. Let m = s - -301. Is m a composite number?
False
Let a = 0 - 0. Let j be (3/(-2))/(6/132). Let o = a - j. Is o a composite number?
True
Let q(u) = 59*u**2 - 4*u + 2. Is q(3) a prime number?
True
Suppose -p + 6 = -44. Suppose 0 = 2*q - 224 + p. Is q a composite number?
True
Let c = -6 + 11. Let u = c + 81. Is u prime?
False
Let y(d) = -d**3 - 11*d**2 + 13*d + 14. Let p be y(-12). Suppose 2*j - 2*t + 0*t - 38 = 0, 5*j = -p*t + 95. Is j a composite number?
False
Suppose -2*k = 2*w - 0*k + 8, 4*k + 16 = w. Suppose 5*a + w + 5 = 0. Let t(n) = -53*n**3 + n**2 + n. Is t(a) composite?
False
Let f(u) = 6*u - 3. Let b be f(2). Let a = 16 + b. Is a a prime number?
False
Let l = -520 - -1233. Is l a prime number?
False
Suppose -208 = -f - 29. Is f composite?
False
Is (-3)/(-9) + 1936/6 a composite number?
True
Let m(w) = 7*w - 13. Let r(o) = 3*o - 6. Let g(z) = -2*m(z) + 5*r(z). Let h be g(6). Suppose -k = h*k - 483. Is k a composite number?
True
Suppose -2*l - w + 3 = 0, l + 5*w + 30 = 6*l. Suppose -b + 208 = -l*b. Let q = -7 - b. Is q a composite number?
False
Let p be 2*11/4*2. Let h(m) = -3 + 0*m + p*m + 0*m + 2*m**2. Is h(-8) composite?
False
Let p(d) = 182*d**2 + d. Let w be p(-1). Suppose -14 - w = -3*y. Is y prime?
False
Let h = -1 + 1. Let d = h - -5. Suppose 79 = -r + 2*r + d*k, -199 = -3*r + 4*k. Is r a prime number?
False
Suppose 5*l - 15 = 5*p - 1385, l + 2*p + 259 = 0. Let m be (-1)/(-1)*(471 - -1). Let d = m + l. Is d composite?
True
Let r(y) = y**2 - 5*y. Let b be r(3). Let s = b - -13. Let t = s - 4. Is t prime?
True
Suppose 0 = -4*w + 8*k - 4*k + 24, 2*w - 4*k - 16 = 0. Suppose w = 4*l, 3*l = -3*m + 2*l + 91. Suppose m = -x + 3*x. Is x prime?
False
Let f(s) = -2*s + 0*s**2 + 2*s**2 + 17 - 10*s - 4. Is f(9) a composite number?
False
Is (57/(-9))/((-1)/3) a prime number?
True
Let x(r) be the first derivative of 11*r**2 - 3*r - 2. Is x(4) prime?
False
Suppose 6932 = 4*q - 5*b, 4*b - 2*b + 8665 = 5*q. Is q prime?
True
Let u(k) = -4*k - 5 + k - k + 2*k. Let j be u(8). Is 4/(-6) - 497/j a prime number?
True
Let g = -3 + 6. Suppose m + 2*m - g = 0. Is -3 + 2 - (-9 - m) a composite number?
True
Suppose s + q - 1 = 3, 0 = s + 5*q. Let r be 41/s + (-2)/10. Let f(w) = w**2 - 3*w - 5. Is f(r) prime?
False
Suppose 5*h - 195 = -5*m, -2*m + 47 = h + 3*m. Is h/(16/14 - 1) prime?
False
Let c(q) = q**2 - 5*q - 8. Let f be c(6). Let r = 5 + f. Suppose -r*v + 3*g = -162, -2*g + 160 = 3*v - 3*g. Is v prime?
True
Suppose 7*o = 3*o - 2*t - 6, t + 8 = 3*o. Let m(y) = 37*y**3 + y**2 - y. Is m(o) a prime number?
True
Let u = -57 + 248. Is u a composite number?
False
Let u = 17 - 13. Suppose -5*x + 3*x + n = -249, 0 = -u*x + 3*n + 493. Is x composite?
False
Let z = 0 + 2. Suppose z*r + 4*u + 95 = 3*r, -4*u - 8 = 0. Is r a prime number?
False
Let u = -2 - -4. Suppose -5*v - 261 = -2*f, -2*v - u*v = -2*f + 266. Is f prime?
False
Suppose 0*u = a + u - 885, -3*a + 4*u = -2669. Is a composite?
False
Let s = -50 - -31. Is (-62)/(-4)*(-5 - s) composite?
True
Suppose 0 = -q - 691 + 2250. Is q a prime number?
True
Let j be 20/(-90) + (-34)/9. Let d(o) = -5*o + 1. Is d(j) prime?
False
Let u = -7 + 7. Let g(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 + 31*z - 1. Is g(u) composite?
False
Let c(s) = 2*s**2 - 4*s + 3. Let z be c(5). Let g(n) = -2*n**3 - 6*n**2 + 5*n - 5. Let h be g(-5). Let o = h - z. Is o composite?
False
Let r be (1 + 2 + -1)*-1. Let y(g) = g + 2. Let o be y(r). Suppose 4*l - 214 = z - 26, -5*z = o. Is l a prime number?
True
Let f(b) = b**3 - b**2 + 1. Let d be f(2). Suppose -5 = -5*l + d. Suppose 5*w - 15 = 0, 0 = 2*a + 