 = v, 5*h - h - 440 = -4*j. Is j a composite number?
False
Let g(i) be the second derivative of i**5/20 - i**4/8 - i**3/3 - 3*i**2/2 + 2*i. Let k(b) be the first derivative of g(b). Is k(5) a prime number?
False
Suppose 3*i = i + 92. Suppose 138 = 4*z + i. Is z a composite number?
False
Let r = 1246 + -569. Is r prime?
True
Suppose -2*r + 10 = 3*r. Suppose -23 = -r*u + u. Is u prime?
True
Let g(s) = 7*s**2 - 4*s - 5. Is g(4) prime?
False
Let l = 3 - 3. Suppose l = 5*c - 17 - 8. Suppose 34 = 2*r - b, 2 - c = -r + 4*b. Is r prime?
True
Suppose -4*n = -305 - 227. Is n a prime number?
False
Let l(y) = 2*y**3 + 13*y**2 + 10. Let z(k) = -k**2 + k - 1. Let b(g) = -l(g) - 6*z(g). Let m be b(-5). Let j = m + -66. Is j composite?
True
Suppose -5*k - 2 = 4*m, -k + 5 = -2*m + m. Suppose 5*i = -k*r + 81, -i - 2*i = -5*r + 280. Is r a prime number?
True
Suppose 3*a = -2*k + 3 - 0, 0 = -k - 2*a + 1. Suppose 0 = h + 2*h + k*l - 222, -2*h + 148 = l. Suppose -3*w + h = -w. Is w a prime number?
True
Suppose 3355 + 5039 = 6*d. Is d a composite number?
False
Let f(u) = -220*u + 3. Is f(-1) a prime number?
True
Let h = -1 + 1. Let j = h + 1. Let f(o) = 54*o**3 + 1. Is f(j) composite?
True
Suppose 0 = 4*a + 4*s + 560, -s - 276 = 4*a - 2*a. Let w be a/(-6) + (-2)/3. Let r = w - 13. Is r a prime number?
False
Is ((-35)/10 - -3)*-1262 a composite number?
False
Let b(s) = 8*s**2 + 5*s + 3. Let d(t) = -16*t**2 - 11*t - 7. Let k(v) = 13*b(v) + 6*d(v). Let m be k(-3). Let n = 155 - m. Is n prime?
True
Let z be -1 - (-1 - (3 + 0)). Is 1310/z + (-2)/(-6) a composite number?
True
Let k = 179 + -128. Is k composite?
True
Let v(a) = 4*a**2 + 4*a + 5. Let u be v(9). Suppose -982 = -3*n + u. Is n prime?
True
Let x = 2077 + -1194. Is x a prime number?
True
Suppose -32 = -4*a + 3*g, 0*g + g = 0. Let p(b) = 16*b - 1. Is p(a) composite?
False
Suppose -7362 = -3*g - 0*m + 5*m, 4*m + 2461 = g. Is g a composite number?
True
Is (-2 + 516)/(4/2) a prime number?
True
Let u(v) = 101*v - 6. Let w be u(-4). Let l = 672 + w. Is l prime?
False
Let m(u) = 9*u. Let v be 16/(-10) - (-2)/(-5). Let t be m(v). Let s = t - -49. Is s a prime number?
True
Suppose 0 = -3*h - 0*h + 1152. Suppose 0 = -3*u + 7*u + 5*k - h, -285 = -3*u - 3*k. Is u a composite number?
True
Let x(m) = m**3 + 6*m**2 + 3*m - 1. Suppose 5*i + 3*l + 23 = 0, -13 = -5*i - l - 34. Is x(i) prime?
True
Suppose 3*p + 13 + 8 = 0. Is ((-11)/1)/(p/133) prime?
False
Let w = -866 + 1225. Suppose -n + 1487 = 4*s - 2*n, 0 = s + 4*n - w. Is s composite?
True
Let v(m) = -13*m**2 - 5*m - 2. Let r be v(-3). Let w be (117/6 - -3)*60/(-9). Let h = r - w. Is h composite?
True
Let n(y) = 2*y**3 + 7*y**2 - 2. Let q be n(-5). Is (-1 - 0)/(1/q) a composite number?
True
Let t be 4/18 + (-16)/(-9). Suppose t*n - n + 316 = 0. Is (3/(-6))/(2/n) composite?
False
Let o(s) = 9*s**3 - 3*s**2 - s - 2. Let h be o(3). Let n = h + 52. Is n a prime number?
True
Let o(w) = -w + 1. Let x be o(5). Let c be 6/x*(0 + -2). Suppose -f = 4*f - c*v - 757, -5*f + 741 = v. Is f a prime number?
True
Suppose 947 + 648 = 5*s. Is s prime?
False
Let h = 17 - 12. Suppose -2*u = -h*u + 114. Is u a composite number?
True
Suppose -3*t - 2*s - s - 27 = 0, 2*s - 10 = 5*t. Let g = 96 + -67. Let q = t + g. Is q prime?
False
Suppose -3*k + 759 = 3*o, o = -4*o + 4*k + 1301. Is o a composite number?
False
Let w be 8/(4/(3 + -1)). Suppose y - w*y + 30 = 0. Is y a composite number?
True
Suppose -2*d + 10 = 3*d. Suppose 4*x = -x + 4*j + 1240, d*x - 2*j = 498. Let n = x + -117. Is n a composite number?
False
Let x be (2 + -6)/2 - -432. Suppose -2*z = 2*k + 206, 4*z - k - k + x = 0. Let g = 159 + z. Is g composite?
False
Suppose 2*v - 342 = -z + 383, -5*z - 357 = -v. Let r = v + -151. Is r a prime number?
True
Let z = 134 - -407. Is z a composite number?
False
Let g be (-4)/(-12) + (-20)/6. Let c(p) = 5*p**2 - 4*p. Is c(g) composite?
True
Let d = 1066 + 987. Is d prime?
True
Suppose 0 = -0*w - w + 257. Is w composite?
False
Suppose 3*k + 5*v + 213 = -2313, 0 = -2*k - 4*v - 1682. Let m = k - -1400. Is m composite?
True
Suppose -3*l + 0*w = -2*w - 6163, 5*l - 10259 = -3*w. Is l a composite number?
False
Suppose -572 = 2*h - 2374. Is h prime?
False
Is -3*(-4)/24*298 a prime number?
True
Let a(v) = -v**2 - 6*v. Let z be a(-5). Suppose i - z*i = -24. Let k(m) = -m**2 + 7*m + 5. Is k(i) a prime number?
True
Suppose -3*f + 112 = 2*i, 4*f - 3*f = i + 34. Let v(c) = -87*c**3 - c**2 - c. Let h be v(-1). Let g = h - f. Is g a composite number?
True
Suppose -h - 4*q + 10 = 0, -q = -3*q + 4. Let k = 0 + h. Suppose k*x - 3*x + 4 = 0. Is x composite?
True
Is (-296)/(-2) + (-4 - -5) a composite number?
False
Suppose -18 - 7 = -5*l. Suppose 0 = b - 2*s, -2 = -2*b + 5*s - l. Is b a composite number?
True
Let q be (-978)/42 - (-2)/7. Let a = -103 + 69. Let h = q - a. Is h composite?
False
Suppose 2*h - 3*f - 13 = 4, -5*h + 4*f = -25. Suppose -g = -h - 66. Is g a composite number?
False
Let f(y) = y**3 - 3*y**2 + 1. Let v be f(3). Is (v - (-592)/4)/1 composite?
False
Suppose 3*n - 4010 = 4*u - 3*u, 2*n + 2*u = 2676. Is n composite?
True
Let n(c) = c**3 - c**2 - 9*c - 5. Is n(8) a composite number?
True
Let n(f) = 11*f**3 - 9*f**2 - 9*f + 4. Let i(o) = -6*o**3 + 4*o**2 + 4*o - 2. Let x(d) = -5*i(d) - 2*n(d). Let m be x(2). Suppose 3*k - m = -15. Is k prime?
True
Let b be ((-254)/(-5))/(2/(-10)). Is (6 + -3)/((-6)/b) a composite number?
False
Let w(o) = 10*o**2 + 5*o - 2. Let i be w(3). Let q = i - 20. Is q composite?
False
Suppose v = -2*f + 6*v + 23, 4*v = 3*f - 31. Suppose 0 = -f*x + 4*x + 235. Is x a prime number?
True
Suppose -2 = -n - 11. Is 6335/45 + (-2)/n prime?
False
Suppose 5*p + 2*p = 14833. Is p composite?
True
Suppose 0*w = i + 3*w - 236, -i + 4*w = -201. Is i prime?
False
Suppose 3*k = 5*k - 4, k = -2*g + 526. Is g a composite number?
True
Suppose -5*w = 0, -c = 4*c + 4*w + 5. Is -804*(-6)/9 + c a composite number?
True
Suppose 2*j - j = 2. Let q = 22 + -14. Is j/q - (-710)/8 composite?
False
Let v be 2/4 + 25/10. Suppose v*n + 9 = -4*u + 307, 2*n - 180 = 2*u. Is n composite?
True
Suppose -4*z + 322 = 5*d, 6*z - 2*z = -4*d + 320. Let t be 94/4*(-2 + 0). Let k = z + t. Is k composite?
False
Let b be (0 + 1 - -48) + 2. Let z(x) = -x + 15. Let r be z(11). Suppose b = r*l - 33. Is l composite?
True
Let r = -25 + 28. Suppose r*s = 3*i + 243, 3*i - 34 - 39 = -s. Is s prime?
True
Suppose -5*s = 5 + 5. Let x = 3 - s. Suppose 260 = 4*m + 5*y - 331, 4*y + 749 = x*m. Is m a prime number?
True
Let z be 105/(-14)*8/(-10). Suppose -6 = -8*f + z*f. Suppose -k = f*k - 132. Is k a prime number?
False
Let c(j) = 63*j + 7. Let l(z) = -62*z - 7. Let o(k) = -2*c(k) - 3*l(k). Is o(3) composite?
True
Let y be 2/(-5) + 18/(-5). Let v = y - 3. Is (v/3)/((-2)/42) composite?
True
Let k = -119 - -362. Let l = k - 134. Is l prime?
True
Let r = 51 + -18. Is r a composite number?
True
Let q = -14 + 201. Is q prime?
False
Let u be 4 + 0 + (-1 - 0). Let f = -3 + u. Suppose q - 3 - 18 = f. Is q a composite number?
True
Suppose 3*x - 6*x + 57 = -2*o, 4*x - 2*o = 74. Suppose t = 52 - x. Suppose -142 - t = -3*y. Is y prime?
True
Let j = 9 + -4. Suppose -952 = -4*p + 4*o + 56, 4*p - 2*o - 1016 = 0. Suppose 0 = -j*g - r + p, -3*g + 85 + 67 = -r. Is g a prime number?
False
Let n(t) = -940*t. Let q be n(-1). Suppose -b + q = 191. Is b a composite number?
True
Let p(b) = b**2 - 10*b + 13. Let a be p(9). Let y = -4 + a. Is (-4)/(2 - y) - -51 prime?
False
Suppose -25 + 221 = 4*w. Is w a composite number?
True
Suppose 16 = 4*k, 12 = 3*i + 3*k - 6. Suppose -i*b = -353 + 75. Is b a prime number?
True
Let k(f) = -2*f. Let t be k(-2). Suppose 2*q = -u + 16, 7*u - t*u = -4*q + 52. Let x = -11 + u. Is x prime?
False
Let n(a) = 5*a**3 - a**2 + 1. Let p be n(1). Suppose p*m = 2*m - 54. Is -1 - (-1 - 1) - m a prime number?
True
Suppose -5*p + 3*v = -74, p = -0*p + 5*v + 28. Suppose p = 5*g + 2*u, -2*g - 9 = g - 3*u. Is (-2)/g - (1 + -22) a prime number?
True
Suppose 2019 = 5*h - j - 559, -j + 2057 = 4*h. Is h a composite number?
True
Let c = 48 - -24. Let p = -38 + c. Is p prime?
False
Let b(g) = -g**3 + 7*g**2 - g - 2. Let l be b(4). Suppose 2*c + 0*f = -2*f + l, -2*c - 5*f = -48. Is c a prime number?
True
Let o(n) = 4*n**3 - n**2 + 3*n + 1. Is o(4) a 