4*t. Let z = h + -14. Is z composite?
True
Let m = -23 + 42. Is m a composite number?
False
Let d(v) = v**2 - 3*v - 8. Let g(m) = 3*m**2 - 9*m - 23. Let p(a) = 11*d(a) - 4*g(a). Let w be p(3). Suppose -w*j = -0*j - 56. Is j prime?
False
Suppose -t = 4*t. Suppose t = 2*g - 3*g + 2. Suppose -5*y + 159 = -g*y. Is y a composite number?
False
Suppose 3*o = 4*f + 158, 2*f - 4 = -14. Suppose -k = k - o. Is k composite?
False
Is (5 - 8) + -2 + 342 a prime number?
True
Suppose s - 2 = -1. Is (-168)/(-4 + s) - -2 prime?
False
Suppose 2*i = i, 4*i + 509 = h. Is h a composite number?
False
Let d(r) = 12*r - 12*r + 5 - r**3 - 2*r**2. Is d(-6) prime?
True
Let z(g) = 6 + 5*g**2 + 2*g - 10 - 3 + 17*g**2. Is z(-3) a composite number?
True
Let b = 357 + -64. Is b composite?
False
Let x be (-960)/21 + 4/(-14). Let v = 77 + x. Is v a composite number?
False
Suppose -3*t = -t - 694. Is t composite?
False
Let n(b) be the first derivative of 13*b**2/2 - b - 2. Let g be n(1). Let f(p) = 11*p + 17. Is f(g) prime?
True
Let r be ((-86)/(-2))/((-2)/(-4)). Suppose -2*a + 13 + 1 = 0. Let i = r - a. Is i prime?
True
Let g be (-3)/6 + (-412)/8. Let h = g - -655. Let u = h + -400. Is u a prime number?
False
Suppose j = 2*x - 6, -4*j - 3*x = -x - 6. Suppose 0 = -0*n + 5*n - 15. Suppose -3*r - n = -j, 75 = 2*o + 3*r. Is o prime?
False
Let m = 24 + -16. Let u = m - -1. Is u a composite number?
True
Let o(i) be the first derivative of -16*i**4 + i**3/3 - i**2/2 + i + 2. Let k be o(1). Let j = -28 - k. Is j a composite number?
True
Let o = -49 - -41. Let n(f) = -2*f - 5. Let u(j) = j. Let q(d) = n(d) - u(d). Is q(o) composite?
False
Suppose -2*d - 472 = -1326. Is d a prime number?
False
Let y be 280/6 - (-6)/(-9). Suppose 2*z = -5*c - 40, y = -4*c + 3*z - 9. Let u = c + 23. Is u a prime number?
True
Let k = -47 + 156. Let o = 154 - k. Let q = o - -44. Is q a prime number?
True
Let v(b) = -b**3 + 12*b**2 - 6*b + 2. Is v(9) a prime number?
True
Let x(y) = -y - 1. Let z be x(-1). Suppose 220 = -z*l + 4*l. Is l composite?
True
Suppose x - 5186 = -3*z, -z + 3464 = z + 2*x. Is z prime?
False
Let q(j) = -j**2 + 2*j - 3. Let l be q(3). Let k(w) = -14*w + 5. Is k(l) prime?
True
Let o(l) = -l**3 - 7*l**2 - 4*l + 4. Let j be o(-6). Let g = j + 39. Is g prime?
True
Suppose -692 - 243 = -5*m. Is m a prime number?
False
Let b = -10 - -14. Suppose f - 5*d - b = 2, -4*f - 3*d + 24 = 0. Is f a prime number?
False
Let t(r) be the first derivative of -4*r**2 + 3*r + 1. Is t(-4) composite?
True
Suppose 0*v = v - 5*x - 2, 0 = 5*x. Suppose 4*q = 395 + 205. Suppose v*r + p - 3*p - 104 = 0, -3*r = -p - q. Is r prime?
False
Let t be (-2)/(-2) + (2 - 1). Suppose t*s - s + 2 = 0. Is 0 + (-2 - s) - -23 prime?
True
Suppose 5*g - 4*g = -10. Let m be (-216)/g + (-8)/(-20). Suppose -4*q + 2*q + s = -14, 0 = -5*q - 4*s + m. Is q prime?
False
Suppose 51 = 2*k + 239. Let a = k + 305. Is a composite?
False
Suppose 1 = -5*s + 11. Suppose 0*z = s*j + 2*z - 152, -z = -j + 78. Is j a prime number?
False
Suppose -2*p - 59 = -165. Is p a composite number?
False
Let u(j) = j**3 + 7*j**2 - 9*j - 2. Suppose -4*x - 31 = 1. Is u(x) a prime number?
False
Let t(p) = -4*p**3 - 2*p**2 - p. Let o be t(-1). Suppose 0*x = -o*x + 1020. Suppose -5 = 3*v - 2*v, -5*w = v - x. Is w a composite number?
True
Suppose 0 = 4*y + 2*k - 64, -k - 7 + 67 = 4*y. Let h = y + 0. Is h a composite number?
True
Suppose -4*o - 8 = -4. Let f(w) = 3*w**2 + 1. Let j be f(o). Suppose 5*t = -4*s - 10 + 2, 2*s + j*t = -10. Is s a prime number?
True
Suppose -2*q + 1 = -5. Is q + 0 - (-36 - -2) composite?
False
Suppose 1662 = 2*q + 2*s - 6*s, 3*q - 5*s - 2497 = 0. Is q a prime number?
True
Suppose -4*z + 54 + 22 = 0. Suppose 4*g - 17 = -b, g - 5*b + z = -g. Suppose 29 = g*n + u, -3*n + 3*u + 5 = -16. Is n prime?
False
Let m(w) = -38*w + 5. Let d be m(7). Is d/(-6)*12/9 a prime number?
False
Let r(n) = 98*n**3 - 2*n**2 - 2*n + 9. Is r(3) a composite number?
True
Suppose -10*i - 1223 = -7353. Is i composite?
False
Let u = 76 - -277. Is u a composite number?
False
Let t(m) be the first derivative of 2*m**3/3 + 3*m**2/2 - 1. Let i be t(-2). Suppose -s = -4 + i. Is s composite?
False
Suppose 1613 + 1782 = 7*q. Is q prime?
False
Is (4910/(-4) - 2)/(3/(-6)) a prime number?
True
Let f = 58 - -12. Let i = f - 3. Is i composite?
False
Suppose 4*g + 5*b + 12 = 0, 10 = 2*g - g - 2*b. Suppose -g*u = 2*u - 1228. Is u a composite number?
False
Suppose -4*y - 586 = -174. Let g be y + (-2)/2 + 2. Is ((-5)/15)/(1/g) a prime number?
False
Let s(k) = 29*k + 1. Is s(2) a prime number?
True
Suppose 128 = 5*q - 452. Let v = q - 57. Is v a composite number?
False
Suppose 3*l - 2718 = -2*s - l, -3*s - 3*l + 4080 = 0. Is s prime?
True
Let v(d) = -d - 1. Let g(t) = t**3 - t**2 + t + 2. Let a be g(0). Let p be v(a). Let y(k) = -5*k**3 + 2*k**2 - 5*k - 2. Is y(p) prime?
False
Suppose 55 = 3*l - 2282. Suppose 4*g - 713 = l. Is g prime?
True
Suppose -4*h - 231 = -g - 0*h, 0 = 4*g - 4*h - 984. Is g prime?
True
Suppose 2*l + 5*o - 891 = -83, 4*l - 3*o = 1642. Is l composite?
False
Suppose 0 = -2*w + 46 + 526. Suppose -22 - w = -4*i. Is i a composite number?
True
Suppose -2898 = -11*v + 1513. Is v a prime number?
True
Let z(w) = 7*w**2 - w + 1. Let h be z(-3). Let y = h - 0. Is y a composite number?
False
Let m(p) = p**3 - 2*p**2 + 4*p - 3. Let k be m(2). Suppose -5*x - 4*v = -k - 44, -x + 8 = -v. Is x a prime number?
False
Let y be 12/8 + 45/(-6). Is (-24)/(-16)*(-364)/y a composite number?
True
Let v(r) = 13*r**3 + 3*r**2 + 16*r - 47. Is v(5) composite?
False
Suppose 6*l - 316 = 2*l. Is l a prime number?
True
Let v(u) be the second derivative of -117*u**5/10 - u**4/12 + u**3/6 + u**2/2 - u. Is v(-1) composite?
False
Suppose 3*f + 43 - 529 = 0. Let p = 268 - f. Is p prime?
False
Let p(b) = 22*b + 5. Is p(4) a prime number?
False
Suppose -16*p = -14*p - 844. Is p a prime number?
False
Suppose -3*y + 5*x + 44 = 0, 4*y + x = 5*y - 12. Let a be 22*2/(y/38). Suppose -a - 173 = -2*j. Is j a prime number?
True
Suppose 247 = 3*r + 2*z, -5*r + 154 = -5*z - 266. Is (-12)/(-4) - (1 - r) composite?
True
Suppose 0 = -5*v - 4*j + 92, -3*j = -0*v + 4*v - 73. Suppose 2*n - v - 216 = -4*g, -49 = -g + 4*n. Let r = g + -20. Is r composite?
False
Let o be 32/14 - 16/56. Suppose o*u = 5*u - 15, -2*i + 780 = -2*u. Is i composite?
True
Let w(u) be the first derivative of u**6/24 - u**5/20 + u**4/8 - u**3/2 - 3*u**2/2 + 2. Let m(v) be the second derivative of w(v). Is m(2) a composite number?
False
Let k = -21 - -45. Let d be k/(-10) - 6/(-15). Is (-3)/d*52/6 a composite number?
False
Let n = -5 - -7. Suppose -11 = 5*j + 4. Is (n/j)/((-2)/111) a prime number?
True
Let c(j) = -j**3 - 10*j**2 - 10*j - 5. Let a be c(-9). Suppose -a*v = -5*v. Suppose -3*f - 2*f + 805 = v. Is f prime?
False
Let z be ((-2744)/35)/((-4)/50). Let p = z + -453. Let s = p + -366. Is s a prime number?
False
Let g = -2249 + 4050. Is g a prime number?
True
Let s = -628 - -897. Is s prime?
True
Let t = -452 - -871. Is t a composite number?
False
Let g = 715 + -422. Is g a composite number?
False
Is 3/(-3) - (-5)/(-10)*-10156 a composite number?
False
Let c(o) = 15*o**2 - 4*o - 3. Let y be c(5). Let x be 0 + y - 8/4. Is (1/(-2))/((-7)/x) a prime number?
False
Let x(w) = -2*w**3 + 9*w**2 + 5*w - 4. Let b(c) = 3*c**3 - 8*c**2 - 4*c + 3. Let q = 11 - 4. Let n(z) = q*b(z) + 6*x(z). Is n(2) a composite number?
True
Let c be (-4)/(-14) + 52/14. Suppose 14 + 50 = 4*i - 4*b, -c = 4*b. Is i prime?
False
Let b(p) = p**3 - 3*p**2 + 3*p - 2. Let j be b(2). Suppose d + 0 = 2. Suppose -4*f + 4*i + 296 = j, d*i - 4*i - 69 = -f. Is f a composite number?
False
Let z be 2/(-9) - 320/18. Let d be (-4)/z - (-306)/81. Is ((-12)/15)/(d/(-290)) prime?
False
Suppose 3*b + 53 = 20. Let k = b - -8. Is 2*(2 + k) + 57 prime?
False
Suppose 5*j - q - 701 = 0, -3 + 712 = 5*j + q. Suppose -25 = -9*t + 4*t. Suppose -3*w - 751 = -t*h, 0 = -2*h + h - 4*w + j. Is h composite?
False
Let g(n) = 31*n - 19. Is g(10) composite?
True
Let n = -8 + 5. Is 6/(-4)*(-5 - n) a prime number?
True
Suppose 7 = 2*i - 9. Suppose 6*p - 4*p + i = 0. Is (-526)/(-3)*(-6)/p composite?
False
Let k = -100 + 159. Is k composite?
False
Let x = 1 + 3. Suppose -3*y + 5*h - 14 = -101, 0 = -3*y + x*h + 84. Let