prime?
True
Suppose 0 = -5*s + 4*c + 127, -2*s = -3*s - 4*c + 11. Let z(l) = s*l + 2*l + l + 5. Is z(4) composite?
False
Let n(f) = 17*f**2 - 3*f - 11. Suppose 5*q = -m + 7, -5*m - 27 = -4*q + 25. Is n(m) prime?
False
Suppose 5*x - 56 = 24. Let w = 18 - x. Let v(y) = 20*y**3 - 3*y**2 + y - 1. Is v(w) a prime number?
True
Let t = -136 + 140. Let u(w) = -28*w**2 - 3*w + 14. Let r(f) = 9*f**2 + f - 5. Let d(z) = -11*r(z) - 4*u(z). Is d(t) composite?
False
Let q(j) = 11*j**2 + 40*j + 100. Is q(37) a prime number?
False
Let i = 3 + -11. Let l = 8 + i. Suppose -4*b + 4*v + 176 = l, 2*v + 0*v = 4*b - 180. Is b composite?
True
Suppose -6*y - 9179 + 58157 = 0. Suppose -5*s + 9798 = 3*o, y + 8198 = 5*o - 2*s. Is o a prime number?
True
Let x = 1064 - 507. Let j(w) = w**3 + 5*w**2 - 6*w + 2. Let f be j(-6). Suppose -f*q + x = -q. Is q composite?
False
Let d be 6/8*20/3 + -3. Suppose d*w - 1155 = b, -6*w + b = -w - 2892. Is w a prime number?
False
Suppose -4494 = -6*r - 18. Suppose r = 7*w - 5*w. Is w a composite number?
False
Let o(v) = 1460*v - 449. Is o(11) a composite number?
True
Let n(a) = 133*a - 88. Is n(9) prime?
True
Let t = 14 + -9. Suppose -q = -4*a - t*q + 2160, -3*a - 5*q = -1618. Is a a prime number?
True
Suppose -5*h - 3*b - 427 = -2954, 2019 = 4*h + 5*b. Let z = 1303 - h. Is z a composite number?
False
Let c be 30/4*(2 - (-20)/(-15)). Suppose 5*n - 769 = -2*i, -3*i + c*n + 1137 = 7*n. Is i a prime number?
False
Let o = -401 + 804. Is o prime?
False
Suppose 3*r = 316310 - 81719. Is r a composite number?
True
Let b = 4 - 7. Let f be 27*(4 - (-7)/b). Suppose -114 = -2*r - 4*p, p + f = r - 0*p. Is r a composite number?
True
Suppose 12561 = 4624*k - 4621*k. Is k a composite number?
True
Is (1 - -525)*(-41)/(-82) prime?
True
Let k(y) = -12*y - 23. Let v be k(4). Let l = v - -330. Is l prime?
False
Suppose 5*k = -0*k - 2165. Let z = 338 - k. Is z a prime number?
False
Let s(r) = -55*r**3 - 3*r**2 - 5*r - 2. Suppose t + 9 = 6. Is s(t) a prime number?
True
Let y(k) = -10 + 5*k**2 + 68 + 141 - 6*k**2. Is y(0) prime?
True
Suppose -2*w - 18234 = -2*m, 0 = -4*m - 9*w + 14*w + 36470. Is m composite?
True
Suppose -125*n = -128*n + 30. Suppose n*f - 4*f = 5802. Is f a prime number?
True
Let v(y) = -1431*y - 49. Is v(-8) a prime number?
True
Suppose -1034*l + 47855 = -1029*l. Is l prime?
False
Let z = -6 + 30. Let l be 1/(-2) - 4548/z. Let j = l - -413. Is j a composite number?
False
Suppose 0*t = -x - t + 4322, -t + 8649 = 2*x. Is x a composite number?
False
Let g = 14917 + -2666. Is g composite?
False
Let b(u) = -u**3 + 2*u**2 - 9*u + 8. Let z be b(-7). Let x be 254 + 1/(-3)*15. Let i = z - x. Is i prime?
True
Let p = 5427 - 986. Is p a prime number?
True
Let h(x) = -114*x + 2879. Is h(0) a composite number?
False
Suppose j = 2*k + 1, -2*j - 4 = -3*k - 9. Let c be 3/((-6)/14)*-1. Is 373/c - 2/j a composite number?
False
Suppose 0 = 5*i + 25, 218 = 4*u + i - 1621. Suppose -109 = 4*q - u. Suppose 3*l = k + 72, 3*l - 4*k - q = -7. Is l a prime number?
True
Let s(w) = w + 11. Suppose 5*l + 4*q - 2*q = -57, -4*q - 4 = 0. Let o be s(l). Suppose o = -4*p + 8, 5*y = p + 100 + 3. Is y a composite number?
True
Suppose -119*b + 114*b + 8285 = 0. Is b a composite number?
False
Let r = 36794 + -20935. Is r composite?
False
Let v be -30*3*2/(-12). Suppose 0 = -3*w + v. Suppose -3*j = -4*o - 0*o + 1793, -3*o + 1342 = -w*j. Is o a prime number?
True
Suppose 10*a + 6111 = a. Is a/((3 - 2) + (2 - 4)) composite?
True
Suppose -5*l + 595 + 1975 = 0. Let u = -1009 + l. Is (-9)/18 + u/(-2) composite?
True
Let y = 474 + -295. Is y composite?
False
Let u = 25 - 16. Let s = u - -102. Is s composite?
True
Suppose 3*y = 10*y - 42. Suppose 0 = z - y*z - 3*w + 389, 5*z - 3*w = 401. Is z composite?
False
Suppose -5*n = -4*m - 2610 - 235, 4*m = n - 585. Is n a composite number?
True
Suppose j = 5 - 18. Let u(b) be the second derivative of b**5/20 + 13*b**4/12 + 9*b**2/2 - 3*b. Is u(j) a composite number?
True
Let y(g) = g**3 + 11*g**2 + 3*g + 20. Let q be y(-11). Let l = 556 + q. Is l prime?
False
Suppose m = x - 7, -3*m = -2*x - 8*m - 14. Suppose x*b = -12, -z + 2*b + 249 = 3*b. Is z prime?
False
Is -633*28/(-6) + 87/29 composite?
False
Let l(g) = g**3 + 22*g**2 - 29*g - 45. Is l(-19) composite?
True
Suppose 1026 = 2*n + 3*g - 8*g, -3*g - 2024 = -4*n. Is n prime?
True
Suppose 3*z - 36 = 3*b, b = -b. Is 4/z*3579/1 prime?
True
Let j be 15/10 + 478/4 + 1. Suppose 0 = -5*g + 173 + j. Is g a prime number?
True
Let s(i) = i**3 - 6*i**2 - 11*i + 11. Let r be s(8). Let q be (4 - 0)*r/(-2). Is q*4/(-8) + 0 a prime number?
False
Suppose 13*w - w - 5028 = 0. Is w a prime number?
True
Let s = 35 + -14. Suppose -5*v + 25 = -3*l + 8*l, 5*l = -4*v + s. Suppose v*o = 742 - 2. Is o prime?
False
Let k be 57/21 + 2/7. Suppose -2*g - v + 86 = k*v, -160 = -5*g + v. Is g composite?
True
Let s = -38 - -40. Suppose -9*c = -s*c - 5803. Is c prime?
True
Let t(x) = -x**3 + 21*x**2 + 46*x + 49. Is t(20) composite?
True
Let w(i) = -i**2 - 17*i - 13. Let d be w(-16). Suppose -d*y = -2*y - 2633. Is y a composite number?
False
Suppose o - 5*u = 10, o = 5*o + 2*u + 4. Suppose 11*g - 3558 - 11369 = o. Is g a prime number?
False
Let q(o) = -72*o - 3. Let c(w) = -w + 1. Let u(l) = 2*c(l) - q(l). Let m be (1 + 0)*(-4 + 7 - -2). Is u(m) a prime number?
False
Suppose 2*f - f - 11 = 3*z, 0 = -5*f + 2*z + 3. Is 550 - (f - (-2 + -2)*1) composite?
False
Let x be (-3198)/(-1)*(-1 - -7). Suppose -i - m + 4*m = 4, -2*i + 4*m - 8 = 0. Is x/28 - i/(-14) a composite number?
True
Let y(k) = -1264*k + 10. Let s be y(-7). Let u = -4707 + s. Is u a composite number?
True
Let g = 126 + -75. Suppose 0*c = 4*c - 5*u - 11, 4*c = -3*u + g. Let f = 92 - c. Is f composite?
False
Is 7/(35/25) - (-1183320)/4 a prime number?
False
Suppose 0 = -3*y - 2 + 17. Suppose -3*w + 1133 = 2*a, 0 = 4*w + a - y*a - 1524. Is w composite?
False
Suppose -12 = -w - 22. Suppose 30 = -5*c - 170. Is 6/w - 13504/c prime?
True
Let n(o) = 8*o**2 + 24*o - 27. Is n(13) a composite number?
False
Let w(m) = m**3 - 7*m**2 - 3*m + 24. Is w(9) a prime number?
False
Suppose -5*i + 4*k + 6717 = 0, -i + 0*k + 1335 = 2*k. Let o be (-4)/14 + (-63)/(-49). Is (17/51)/(o/i) prime?
False
Let y be 0/(-2) - (12 + -12). Suppose y*d = 5*d - 15. Suppose -8*m + 595 = -d*m. Is m prime?
False
Is (4 + (-1921)/2)/((-8)/16) composite?
False
Let h = -42 + 57. Suppose -5*f + h*j - 13*j + 2035 = 0, 2*f + j - 823 = 0. Is f composite?
False
Is (-80294)/(-8) - ((-136)/32)/17 prime?
True
Let q(i) be the first derivative of -153*i**2/2 + i - 10. Is q(-6) a prime number?
True
Suppose 3*k + 14*m - 19*m = 34182, 0 = -3*k - 4*m + 34155. Is k a composite number?
True
Let t = -12 + 19. Suppose 0 = -3*p + 5*n + 332, 3*n - 610 = -t*p + 2*p. Is p a composite number?
True
Is (90 + -113)/(2/(-2846)) a composite number?
True
Let i = 20 + -15. Suppose 5*t + i = 3*z + 4, 3*t - 1 = z. Suppose -z*f + 3*d + 4 = 3*f, -3*d + 2 = -2*f. Is f composite?
False
Let l be 0 - (3 + 5)/(-1). Let p(a) = -3*a**2 - 52*a + 36. Let u(s) = -s**2 - 13*s + 9. Let h(r) = 2*p(r) - 9*u(r). Is h(l) prime?
False
Let n(f) = -271*f + 46. Is n(-15) a composite number?
False
Suppose 3*a = 5*v - 6747, -2*v = 2*v + 5*a - 5405. Is (4 - 0)*-1 + v a prime number?
False
Suppose -4*w = 4*i - 100, 3*i + 2 = w - 31. Let m = w - -19. Is (m + 7)*(0 - -7) composite?
True
Let x(g) = 4*g**2 - g - 4. Let a be x(2). Let y be (-1000)/(-12)*12/a. Suppose -y = 5*p - 470. Is p a prime number?
False
Let o(m) be the second derivative of m**6/120 - m**5/12 + 7*m**4/24 + m**3/6 - 5*m. Let q(s) be the second derivative of o(s). Is q(6) a composite number?
True
Let z = -2 + 2. Suppose -4*i - 4*r + 12 = z, 3*i + 2*r + 2*r = 9. Is (-1)/((-2 + i)/(-1099)) a prime number?
False
Let w(d) be the second derivative of -107*d**3/3 - 5*d**2/2 + 15*d. Is w(-6) composite?
False
Let f be 2/(-10) - 392/40. Let g = f + 13. Suppose g*y + y - 16 = 0. Is y a prime number?
False
Let n = 11155 + 12094. Is n a prime number?
False
Suppose -x + 30957 = -5*p, 0 = 6*x - x + 4*p - 154727. Is x prime?
False
Let q be (-3)/(20/8 + -4). Suppose -q*n = 109 + 17. Let u = n + 160. Is u prime?
True
Suppose -2*t - 19 = -5*r, -6*t + 5*r - 23 = -2*t. Let b(o) = 165*o**2 - 2*o - 5. Is b(t) composite?
Fal