number?
True
Let w(n) = 2*n**2 + 6*n - 7. Let h be w(-5). Let x = h - 8. Suppose -2*y + a = -0*y - 76, 2*y + x*a = 88. Is y a prime number?
False
Let o(r) = -5*r**3 + 4*r**2 + 8*r - 2. Let f be o(-4). Let d = f + -117. Is d composite?
False
Suppose -u + 5*x = -6*u + 10, 4*u = 2*x + 32. Let f(y) = y**3 - 5*y**2 - 4*y - 6. Let t be f(u). Suppose -t*c + c = -70. Is c prime?
False
Suppose 2*v + 2*v = 5*m - 9, 0 = -5*m + v + 21. Let w = 13 - 5. Let c = w - m. Is c a prime number?
True
Let u be 0 + -1 + 1 - -19. Let j = 12 - 10. Suppose s - j = u. Is s composite?
True
Let i = -118 + 275. Is i prime?
True
Suppose 0 = c - 311 + 108. Is c a prime number?
False
Is 2/4*-46*-1 a composite number?
False
Let q = -100 + 543. Is q composite?
False
Suppose 0 = 4*t - 3*p - 0*p - 20, -3*t - 4*p + 40 = 0. Suppose -4*v = -f + 119 + t, v - 635 = -5*f. Is f a composite number?
False
Suppose 0 = -10*q + 6*q + 16. Let f = 0 - -2. Suppose -q*a + 44 = -f*a. Is a prime?
False
Let u(q) be the second derivative of -q**3/6 - 4*q**2 + 2*q. Let z be u(-7). Is (z + 1 - -39) + -1 a composite number?
True
Is (-47*(-40)/4)/2 a composite number?
True
Let l = 4 - 0. Suppose 0 = -0*h - l*h + 1904. Suppose -o = -5*o + h. Is o a composite number?
True
Suppose -3*z = 3*v + 12, v + v + 8 = -5*z. Is 20 + ((-3)/(-3) - z) a composite number?
True
Let p be (-4)/18 + 94/18. Suppose -p*j + 98 = -3*j. Is j a prime number?
False
Suppose -x = -3*w - 3*x + 4417, -4415 = -3*w - x. Is w composite?
False
Let o be -2 - (3 + -2) - -19. Is 1673/4 + 12/o a prime number?
True
Let d be (-74)/((-1)/(10/4)). Let m = d - 42. Is m composite?
True
Let s(f) = -2*f**3 + 5*f**2 - 2*f - 4. Let d be s(-5). Suppose -u = 2*u - d. Let q = 218 - u. Is q a composite number?
True
Let z(m) = -m**3 - 6*m**2 + 4*m - 3. Let x be z(-7). Suppose -4*o + x = 2. Suppose -k = 2*a - 31 + o, -4*k = 4*a - 52. Is a composite?
True
Let r be (-2)/2*3/1. Let p(j) = -j + 0*j + j - 3*j + 4. Is p(r) a composite number?
False
Let h(g) = 4*g**3 - 5*g**2 + 4*g - 3. Let d be h(3). Let y = d + -26. Is y composite?
True
Suppose -3*f + 912 + 165 = 0. Is f a composite number?
False
Let n(r) = r**2 - 4*r - 3. Let a be n(5). Suppose a*d = d + 4. Suppose c + 48 = x, -3*x + d*x - 40 = -3*c. Is x a prime number?
False
Let u(a) = 45*a**2 - 3*a - 1. Let z(r) = -3*r + 1. Let q be z(1). Is u(q) composite?
True
Suppose -d + 2*d = 0. Suppose x - 3 - 12 = d. Let z = x + 7. Is z a prime number?
False
Suppose 13*s = 8*s + 3175. Suppose 2*j - s = -3*j. Is j a prime number?
True
Let k(g) be the first derivative of -2 + 1/3*g**3 + 2*g - g**2. Is k(7) a composite number?
False
Let w be (-80)/(-14) + 4/14. Let a(b) = -49*b + 9. Let z be a(w). Let r = z - -412. Is r a composite number?
False
Let f(l) = -10*l**2 - l - 3. Let z be f(7). Let q = z - -723. Suppose 0 = -5*v - 4*r + q, 4*r + 247 = -0*v + 5*v. Is v a prime number?
True
Let p(k) = -4*k**3 - k**2 - 4*k + 1. Suppose -2*g - o = g + 9, 0 = -5*g + 4*o - 32. Is p(g) a prime number?
True
Let o(n) = -2*n**2 + 11*n + 3*n**2 - 6 - 5*n - 1. Is o(-10) a prime number?
False
Let u be 5/(-15) - (-1876)/(-6). Let y = 202 + u. Is (y/(-1))/(0 + 1) a composite number?
True
Suppose 0 = -y - 12*y + 24011. Is y a composite number?
False
Suppose -5*a = -159 - 371. Is a a composite number?
True
Suppose 0 = 5*v - 14 - 11. Suppose -246 = -2*o - v*g, g + 25 + 84 = o. Is o prime?
True
Is (-1746)/(-2)*(-8)/(-8) + -4 a composite number?
True
Suppose 4*w = -k + 3*k + 9812, 0 = -3*w - 2*k + 7359. Is w prime?
False
Let d(c) = c + 5. Let q = -2 + 2. Let x be d(q). Is 243/x - (-10)/25 composite?
True
Let y(b) be the first derivative of -b**4/4 - 5*b**3/3 - b**2 - b + 2. Let i be y(-5). Is 512/36 + (-2)/i prime?
False
Let p(v) = 102*v**3 - 2*v**2 - 6*v + 1. Is p(3) prime?
True
Suppose -1 = -4*i - 17. Is (38/(-4))/(2/i) prime?
True
Suppose -3*x + 63 = 3*h, -4*h = -2*h + x - 38. Let a = h - -6. Is a a composite number?
False
Let f = -7 - -11. Suppose 0 = 2*c - 4, 0*b = b - f*c + 12. Is b/10 + 554/10 a prime number?
False
Let p = -2 + 3. Is (p + -171)/(2*-1) prime?
False
Let a(j) = -j**2 + 6*j - 4. Let n be a(5). Let f = -3 - n. Let y = f + 73. Is y a composite number?
True
Suppose z = -2*v - 19, 0*v - 2*v = 3*z + 13. Is (-1 - -3) + (-1419)/v prime?
True
Let i = 626 + 855. Is i composite?
False
Let j(g) = 9 + 0*g + 2 - g. Let c be j(6). Suppose 51 = 3*h + 5*t - 340, 0 = 4*h - c*t - 498. Is h a composite number?
False
Suppose -2*i - 1386 = -2*f, 5*f + 5*i = 4796 - 1371. Is f composite?
True
Suppose 0 = 4*r - r - 4*n + 24, -2*r = -3*n + 16. Let d = r - -39. Is d composite?
False
Let t = 26 + -26. Suppose 5*c - 138 - 1107 = t. Is c prime?
False
Suppose 0 = 3*y + 2*l - 11, 5*l + 3 = -y + 3*l. Suppose 5*w - 3*u = -4*u - y, -5*w = 4*u - 2. Is 1/w - (-366)/4 a prime number?
False
Let f(m) = -m**3 + 12*m**2 - 8*m - 1. Is f(10) prime?
False
Let o(r) = -214*r - 11. Is o(-3) composite?
False
Let y(p) be the first derivative of -p**3/3 + 3*p**2 - p - 1. Suppose 3*j + 17 = 2*f, -f + 23 = 4*f - j. Is y(f) a composite number?
False
Is (-2)/((32/1348)/(-4)) a composite number?
False
Suppose -x - 3 = -0*x. Suppose 0 = d + 5*q - 23, 2*d - q - 13 = -0*q. Is 94/d*(x + 7) composite?
False
Is ((-323)/(-2))/(5/2 + -2) a prime number?
False
Let x(d) be the second derivative of 32*d**3/3 - 3*d**2/2 - 3*d. Is x(4) a composite number?
True
Let k(x) be the third derivative of x**5/6 + x**4/8 + x**3/6 + 3*x**2. Is k(-4) prime?
True
Let o be (-8)/36 - 52/9. Is 596/o*(-6)/4 a prime number?
True
Let v(b) = -4*b + 2. Let w be v(-2). Suppose -w*o + 8*o = -322. Is o prime?
False
Let i be (2/4)/((-1)/26). Let t(n) = -1 - 28*n - 2 + 6*n + 2*n. Is t(i) a prime number?
True
Let c(p) be the first derivative of 5*p**3/3 - 2*p**2 + 4*p + 10. Let f(j) = j**2 + 7*j + 5. Let o be f(-5). Is c(o) a composite number?
False
Let t = 5 + 0. Suppose t*d = 4*x - 5, 12 = 2*x + x - d. Suppose -z = x*o - 139, 0 = -2*z + 4*o + 226 + 80. Is z prime?
True
Let d(c) = -86*c**3 + 3*c**2 - c - 1. Is d(-2) composite?
False
Suppose k - 8 = -3*k. Suppose -156 = -k*o + 4*s - 3*s, 3*s = 4*o - 310. Is o a composite number?
False
Let u be (-5 - -2)/((-4)/(-12)). Let d be (-161)/(3/(u/3)). Suppose -z - z - d = -5*w, 5*w - 157 = 4*z. Is w prime?
False
Let n(s) = 33*s**3 + s**2 - 5*s + 10. Is n(3) composite?
True
Suppose -7*u + 3*u = 0. Suppose -5*q + 3*q + 20 = u. Let x = -8 + q. Is x a composite number?
False
Let i = 1 - -8. Let x be 1/(3/i) + -1. Suppose -5*d + 2*b + b + 383 = 0, -x*b + 87 = d. Is d a composite number?
False
Suppose -1072 = -12*p + 4*p. Is p composite?
True
Let g be -1*218/8*-20. Suppose r - g = -4*r. Is r prime?
True
Suppose 5*n - 10 = -f, -4*f + 50 = 4*n + 10. Let b be (34 - -2)*(-1 + 0). Is b/(-10) - (-4)/f prime?
False
Let k(q) be the third derivative of q**5/60 - q**4/24 + 2*q**3/3 + q**2. Suppose 17 = 4*v - 11. Is k(v) prime?
False
Let a(b) = -b**3 + 4. Let p be a(0). Suppose -p*c - 12 - 64 = -3*d, 5*c = -2*d + 43. Suppose -t - 2 + d = 0. Is t prime?
False
Let l = 18 + -13. Let j = 10 - l. Suppose -j*a + 8 = -187. Is a prime?
False
Is (-30)/50 + 3316/10 prime?
True
Suppose 2*y + 0 - 4 = 0. Is (-1 + y)/1 - -21 a composite number?
True
Let n = 1906 + -1187. Is n a composite number?
False
Is ((-4)/(-12))/(2/5442) a prime number?
True
Suppose 3*s + 2*s - 2020 = 0. Let y = 11 - s. Is 10/25 - y/5 prime?
True
Let m = 4 - 3. Let s be (208 - (-3 + 2))*m. Suppose 0 = -4*h + s + 419. Is h a prime number?
True
Let x(u) = -6*u**3 - 7*u**2 - 4*u + 8. Let k(o) = -o**3 - o**2 + 1. Let b(v) = 4*k(v) - x(v). Is b(3) prime?
True
Let b(h) = -25*h**3 + 3*h**2 - h - 2. Let m be b(2). Let f = 335 + m. Is f a composite number?
True
Suppose -2*a = -4*q + 4 + 434, 0 = 4*q + 3*a - 423. Suppose 0 = 2*x - 5*k + 2*k - q, -5*x - 2*k = -289. Suppose 0 = 5*g - 20, p = -0*p + 2*g + x. Is p prime?
False
Let y(c) = 54*c**2 + 7*c - 14. Let k be y(5). Is 0 + -1 + (k - 9) prime?
True
Suppose -2*q = -3*x + 4263, q + 5689 = 4*x - 0*x. Is x a composite number?
False
Let q be (-386)/(-6) - 1/3. Let t = 119 - q. Is t composite?
True
Suppose 0 = -3*f + 5*t + 8, -3*t - 42 = 3*f - 18. Let g = 4 + f. Is (-84)/8*(g + -2) composite?
True
Suppose -3*h - 131 + 407 = 0. Suppose 2*s - s - n - 46 = 0, 0 = 2*s + n - h. Is s composite?
True
Sup