*7/315 + b**6/144 - b**5/30 - b**4/12 + 2*b. Let i(o) be the third derivative of d(o). Is i(3) a prime number?
True
Let r be 43*(2 + 3 + -2). Let s = r + -37. Suppose 4*v = s + 120. Is v prime?
True
Is (-1 + 0)/(6 - (-8956)/(-1492)) a prime number?
True
Let u = -135 - -3162. Is u a prime number?
False
Suppose 2*k + 2*k = -3*b + 126, 2*b - 4*k = 64. Is b composite?
True
Suppose 2596 + 4005 = 7*v. Is v a prime number?
False
Suppose 0 = -2*t + j - 19, -4*j + 44 = t - 5*t. Let w(b) = -b**3 - 7*b**2 + 7*b + 3. Is w(t) composite?
False
Let f(g) = 11*g - 15*g - 22*g + 7. Let s be f(7). Is (4/10)/((-5)/s) composite?
True
Let p(j) = -1 + 2*j - 12*j - 3*j. Let t be (-1 - 3)*(-2)/(-4). Is p(t) a composite number?
True
Let v = -10 + 10. Suppose z + 2*p = 335, v = -3*z + 2*p - 0*p + 989. Is z a prime number?
True
Suppose 0 = -4*b + 6*b - 2*j - 204, -4*b + 412 = -3*j. Is b a composite number?
True
Let d = 178 + -116. Is d prime?
False
Suppose 0 = -5*s - 5 - 10. Is 31 + ((-18)/3)/s composite?
True
Suppose -2*v + 4*v - 4 = 0. Suppose -5*j + 1063 = 2*h, 0 = -3*j - v*j + 4*h + 1039. Is j prime?
True
Suppose 4*v - 385 = -v. Is v composite?
True
Let z(h) = 3*h**2 + 8*h + 5. Suppose 8 = -4*f + 32. Is z(f) composite?
True
Suppose -m = 3*m - 3*l - 1149, 4*l - 311 = -m. Is m composite?
True
Let s = 2 - -10. Let m = s - 5. Is m a prime number?
True
Let c(t) = -43*t + 3. Let a be c(-3). Let u = a - 41. Let w = -36 + u. Is w a prime number?
False
Suppose 0 = 3*m + 6, 3*t - 6*m + 7*m - 7183 = 0. Is t a composite number?
True
Let j be (-2)/(-4) - 14/(-4). Let f(n) = -n**3 + 5*n**2 - n - 1. Is f(j) a prime number?
True
Suppose -4*g = -2*g. Let l = g + 1. Is l + -1 - -2 - -11 composite?
False
Suppose -3*b = -5*l - 88, 33 = b - 0*l + 2*l. Is b a prime number?
True
Let v = 2564 + 1775. Is v prime?
True
Suppose 0*p + 3*p - 255 = 0. Let k = p + -26. Is k prime?
True
Let x(a) = -3*a + 5. Let v(g) = 5*g - 10. Let k(n) = -4*v(n) - 7*x(n). Let i be k(-5). Suppose -2*y + 5 - 22 = -u, -3*u + y + 56 = i. Is u composite?
False
Let m(k) = -6 - 5*k - 5 + 1. Let b(l) = 1. Let d(v) = -5*b(v) - m(v). Is d(6) composite?
True
Let g(l) = -2*l + 10. Let m be g(-3). Is m/4*(-478)/(-8) a prime number?
True
Let w(o) be the third derivative of -o**6/120 - o**5/10 - 5*o**4/24 - 5*o**3/6 + 2*o**2. Let f be w(-4). Let v = -10 - f. Is v a composite number?
False
Let g(l) = 8*l**2 + l + 6. Let y(c) = 17*c**2 + c + 13. Let b(j) = 5*g(j) - 2*y(j). Is b(-3) a prime number?
False
Suppose 51*r - 54*r = -1119. Is r a composite number?
False
Let v(s) = s**2 - 27*s + 1. Let g be v(18). Suppose 6*c - 2*a = 7*c - 306, 0 = -4*c - 3*a + 1234. Let m = g + c. Is m prime?
True
Let i = 10 + -7. Suppose x = i*m + 8, 0 = 3*x + x + 4*m - 16. Suppose -2*p = -x*p + 69. Is p a prime number?
True
Let y be 1/(-2)*(-3 + -11). Suppose 1075 = -2*x + y*x. Is x prime?
False
Suppose 0 = 3*w - 8*w. Suppose -g = 4*m - 95, 5*g = -w*g - 3*m + 458. Is g a prime number?
False
Let x(j) = j - 7. Let a be x(7). Suppose 2*p + a*p = 12. Is p a composite number?
True
Suppose 4*n + 4*a = 0, -3*n + 0*a = -3*a - 30. Suppose 4*q - 191 = 3*z, 193 = -0*q + 4*q - n*z. Is q prime?
True
Suppose -4*w = -2*w - 778. Is w a composite number?
False
Let v be (-4)/6*6/4. Is 11 - (2/(-2))/v prime?
False
Suppose 5*x - i - 2241 = 0, 3*i - 2257 = -3*x - 2*x. Is x prime?
True
Let w = 2 + -2. Suppose w*h = 5*h - 10. Let c(p) = 19*p - 1. Is c(h) prime?
True
Let o(t) = -t**2 - t - 4. Suppose -6 = -4*w + w. Let y(l) = -6*l**2 - 6*l - 20. Let n(m) = w*y(m) - 11*o(m). Is n(0) composite?
True
Suppose -2*y + 3*l + 34 = 0, -5*y + 3*l = -l - 92. Suppose 5*g - s + 60 = 4*s, 2*g - 5*s + 30 = 0. Is y*(g/(-8) + 0) a prime number?
False
Suppose -5*m = -4*y + 207 + 181, -5*y - 5*m + 440 = 0. Is 25/10*y/5 prime?
False
Let a = -79 - -455. Is a/11 + 4/(-22) prime?
False
Let q = 296 + -133. Is q a prime number?
True
Suppose 4*x + 1 = 17. Suppose -x*j + 10 + 2 = 0. Suppose -3*b = -5*p - 16, 0 = -2*b + 3*b + j*p - 10. Is b a composite number?
False
Is (-90590)/(-18) + (416/(-72) - -6) composite?
True
Let l(r) = r - 15. Let q be l(12). Is q + 56 + (-1 - -1) a composite number?
False
Let r = -68 + 137. Is r a prime number?
False
Let b(v) = -v**2 + 19*v - 19. Is b(14) a composite number?
True
Suppose 0 = 4*z - z + 6. Let d = 1 + z. Is (-15 - 0/(-2))*d composite?
True
Is 6/21 + 1578/14 composite?
False
Let b = -217 + 446. Let l = b - 18. Is l prime?
True
Suppose -2 - 10 = 5*t + 3*j, -4*t + 5*j + 20 = 0. Suppose 99 = 3*b - t*b. Is b composite?
True
Suppose 2*v + 134 = 4*k, 2*v = 3*k - 116 + 17. Is k a composite number?
True
Let p be 4/12 - 3/9. Suppose 2*l + 0*l - 142 = p. Is l composite?
False
Let z be 1/2 + (-165)/(-6). Suppose 3*n - 5*k + 15 = -z, -4*n - 46 = -k. Is (n/((-1)/1))/1 prime?
True
Let p(q) = -q**2 + 4*q + 1. Let s be p(2). Let g be -2 + (-279)/(-1) - 1. Suppose -s*x = 11 - g. Is x composite?
False
Let n(p) be the first derivative of p**3/3 + 3*p**2/2 + 3*p - 4. Is n(4) a composite number?
False
Let v be 60/7 - (-8)/(-14). Is ((-2044)/v)/(2/(-4)) a prime number?
False
Suppose 3*i - 8*i = 0. Suppose -x + 6*x - p - 1112 = i, -6 = -2*p. Is x a composite number?
False
Let n = 770 - 2338. Let p be n/(-6) + 4/(-12). Suppose 0 = -2*r - 103 + p. Is r prime?
True
Let l = 362 + 695. Is l composite?
True
Suppose -r = -4*d - 7 - 0, -9 = -4*r - 3*d. Suppose x = -r*x + 1196. Is x a composite number?
True
Suppose 5287 = 5*b - 2*z + 4*z, -3*b + 4*z + 3193 = 0. Is b prime?
False
Let w(r) = r**2 - 13*r + 23. Is w(-22) prime?
False
Suppose 2*j + 2*j = 32. Let p(t) = j + 5 - 3 - 2*t - 3. Is p(-6) composite?
False
Let p be 127/5 + 8/(-20). Suppose 5 = -5*j - p. Is 4 + j - (0 - 57) prime?
False
Is (12 + -11)*(0/1 + 143) a prime number?
False
Let f(z) = 3*z + 1. Let j be f(-1). Is -1 + j + 50 + -1 prime?
False
Suppose -5*r + 99 = 709. Let s = r - -369. Is s prime?
False
Let n = 3 + 0. Is n/((-61)/31 + 2) a composite number?
True
Let u be ((-8)/(-10))/(2/50). Suppose 0 = -2*y - 3*y - u. Is y*(-10)/(-16)*-6 a prime number?
False
Suppose 3*f - f - 114 = 0. Let r = 106 + f. Is r composite?
False
Suppose v + i - 1 = 2*i, -i = 3*v - 23. Is ((-63)/v - -3)*-2 composite?
True
Let p(l) be the second derivative of l**5/20 + l**4/2 - l**3/3 + 3*l**2/2 + 3*l. Is p(-6) a composite number?
True
Let z = 16 + 138. Suppose -m = -3*m + z. Is m a composite number?
True
Let y(l) = -12*l + 0 - 1 + 5 - l. Let b = 2 - 5. Is y(b) composite?
False
Let i be (12/6)/(2 + 0). Is (63 - i)/(3 + -1) composite?
False
Suppose 263 = c + 3*y, -2*y = -2*c - y + 498. Is c prime?
True
Let l be 484 + 3/(-6)*-6. Suppose -68 = c - l. Is c composite?
False
Suppose 2*c = 7*c. Let l(n) = 4*n - 59. Let k(p) = 9*p - 118. Let h(t) = 3*k(t) - 7*l(t). Is h(c) a prime number?
True
Let m(c) = 14*c**3 - 4*c**2 - 3*c - 2. Is m(5) a composite number?
True
Let b = 60 - 23. Is b prime?
True
Let g(v) be the first derivative of v**5/20 - 3*v**4/4 + v**3/6 + 6*v**2 + 2*v - 1. Let a(d) be the first derivative of g(d). Is a(9) composite?
True
Is (2 - -835) + 0 + -1 + 3 a prime number?
True
Suppose -5*i + 4*c = -2*i - 17, 0 = i - 2*c - 9. Let z = 4 + i. Suppose z*s - 76 = -13. Is s prime?
False
Is (-3)/(-8) - (-91385)/40 composite?
True
Let c = 35 + 2. Suppose 131 = -v + 4*v + 2*l, c = v - l. Suppose -3*d = 3, -2*g + 5*g = -4*d + v. Is g composite?
True
Let s(k) = -k**3 + 6*k**2 + 8*k - 2. Let z be 1*8 + -7 + 6. Let h be s(z). Is -298*(15/(-6))/h composite?
False
Suppose -10*o + 11*o - 1099 = 0. Is o composite?
True
Let h be (-363)/22*-2*1. Is h - 0*3/3 a prime number?
False
Let i(w) = -w**3 - 4*w**2 + 10*w + 9. Suppose 4*l - 2*l - 4 = 0. Let p be (12/16)/(l/(-16)). Is i(p) prime?
False
Let t(z) = -z**3 + 5*z**2 - 5*z + 5. Let k be t(6). Let v be (-6)/(-27) + k/(-9). Let a(q) = -q**3 + 8*q**2 - 6*q + 6. Is a(v) a prime number?
True
Let w = 89 + -156. Let h = 2 - w. Is h composite?
True
Suppose -1563 = -11*w + 8*w. Is w composite?
False
Let q = 46 + -30. Suppose -123 = -b + q. Is b a prime number?
True
Is (0 + 1)/((-2)/(-134)) a composite number?
False
Let g = 8 - 5. Let s = g - 4. Let l(n) = 31*n**2. Is l(s) a composite number?
False
Let r be (4/6)/(1/6). Suppose r*m - 18 - 6 = -2*p, -2*m - 2*p + 12 = 0. Is (2/(-4))/(m/(-636)) a composite number?
False
Let d