ite?
False
Suppose 0 = 25*f - 9*f - 109168. Is f prime?
True
Suppose 0*b + 96 = 3*b - 3*r, -38 = -b + 3*r. Suppose b*c - 32*c = -2973. Is c composite?
False
Suppose -85*z = -89*z + 36. Suppose z*c - 894 = 3*c. Is c a prime number?
True
Let l = 647 + -16. Is l a composite number?
False
Let r(d) = -d**3 + 6*d**2 - 2*d - 4. Let t = 16 + -12. Let h be r(t). Is 230*(h/(-8) + 3) a composite number?
True
Let g(u) be the first derivative of 41*u**2/2 - 7*u + 1. Let h be g(5). Suppose 773 = 5*w + 4*i, 5*i - h - 415 = -4*w. Is w a composite number?
False
Let p(c) = -128*c**3 + 15*c**2 + 17*c + 11. Is p(-5) a prime number?
True
Suppose 0 = 8*j + 32. Is 38/8 + j + (-4601)/(-4) a composite number?
False
Let q = -298 + 449. Let v = q - 72. Is v a prime number?
True
Let p = 2470 + -1663. Suppose y - 2*g - 382 = 430, y - g - p = 0. Is y a composite number?
True
Suppose 4*v = v + 6. Let w(l) = 324*l + 2. Let j be w(v). Suppose 3*x = -2*n + 477, j = -2*x + 6*x - 2*n. Is x composite?
True
Suppose -3*w = 3*q + 558 - 2814, -5*q + 3744 = -3*w. Suppose 3*m = -4*s + 1363, -403 = 2*m + 5*s - 1321. Let b = q - m. Is b composite?
True
Suppose b + 92 = -3*b. Let z = b + 1460. Is z a composite number?
True
Suppose -4*q - 5*n + 11276 = 0, -315 + 3134 = q + n. Is q a composite number?
False
Let r = 656 + -133. Let l = -298 + r. Let u = -154 + l. Is u a prime number?
True
Let y(g) = 5*g**2 + 5*g + 23. Is y(18) composite?
False
Let r = 337279 - 222493. Suppose -28*y + 10*y + r = 0. Is y a prime number?
False
Suppose 0 = -19*c + 25466 + 21141. Let n = c + -1290. Is n a prime number?
True
Let a be 6/27 - (-248)/18. Suppose 2*w + d - a = 0, -5*w + 3*d = 4 - 17. Let p = 24 - w. Is p prime?
True
Let q(f) be the second derivative of f**4/4 + f**3/3 - f**2 + 2*f. Let o be q(1). Is (2/o)/((-10)/(-705)) a composite number?
False
Let g = 890 + 3947. Is g composite?
True
Let t = 4 + 0. Suppose -a + 12 = -5*a, -t*q - 3*a - 13 = 0. Let y(n) = -1134*n**3 + 2*n**2 + 2*n + 1. Is y(q) a composite number?
True
Let n = 552 - 1152. Is (-2)/(n/148 + 4) prime?
True
Let t be 0 + 5/(10/(-4)). Let v be (-11)/2*(16 - t). Is (-1)/(v/(-25) + -4) a prime number?
False
Let v = 13 + -9. Is -2*(v - (-518)/(-4)) composite?
False
Let o be (-1)/(-3)*(-429)/(-11). Suppose 2*f = 6*f + 2*u - 150, -4*f = 4*u - 156. Let q = f - o. Is q composite?
False
Let y(m) = 8*m**2 - m - 106. Is y(-21) a prime number?
False
Let s(m) = m**2 + 5*m - 10. Let p be s(-7). Is 1104 - 4/(p - 0) composite?
False
Suppose -53*p = -26*p - 704187. Is p a composite number?
True
Let n = 17 + -8. Let f(g) = -g + 12. Let v be f(n). Suppose -v*s + 93 = z, 3*z = -0*z. Is s a prime number?
True
Let a(p) = 4*p**3 + 3*p**2 - 1. Let o be a(1). Is 3265/25 - o/(-15) a composite number?
False
Suppose 4*m = 2*v + 427951 + 78213, 0 = m + 3*v - 126541. Is m a composite number?
False
Suppose 23069 = -19*s + 428814. Is s prime?
False
Let n(f) = f**2 - 8*f + 15. Let q(j) = -2*j**2 + 23*j - 45. Let u(t) = 8*n(t) + 3*q(t). Is u(-16) a prime number?
False
Let d(v) = 18*v**2 - 5*v - 1. Suppose 3*n + 9 = n + r, 5 = 5*r. Is d(n) composite?
False
Let s(o) = 22*o**2 - 33*o + 47. Is s(-14) prime?
False
Let h = 118 - 121. Let c(t) = -178*t**3 - t**2 + t - 5. Is c(h) a prime number?
True
Suppose 8*y = 6*y - 8348. Let j = y - -2314. Is (j/24)/((-2)/4) a composite number?
True
Suppose 2*l - 11*h = -6*h + 22738, 5*l - h - 56891 = 0. Is l a prime number?
False
Let y be ((-1)/(3/6))/(2/(-4)). Let m = -11 + 16. Is 1678/y - m/10 prime?
True
Let b(y) be the first derivative of -y**4/4 - 4*y**3/3 - y**2 - 5*y + 1. Is b(-6) composite?
False
Suppose -j + 9*j - 344 = 0. Let a be 6/(-1 + 81/75). Let o = a + j. Is o prime?
False
Let g(b) = 1146*b + 101. Is g(11) a composite number?
True
Let m(w) = w**2 + 40*w - 268. Is m(29) a prime number?
True
Is ((-28901)/(-3))/((-65)/(-195)) prime?
True
Let o = -280 - -164. Let r = 1753 + o. Is r prime?
True
Let d(i) = -15*i + 19. Let l be d(-7). Let f = l + 61. Is f a prime number?
False
Suppose 6*o - 2*o + 13 = -s, -3*o + 3*s = 6. Let h(k) = -k**3 + 5*k**2 + 2*k + 1. Is h(o) composite?
False
Let x be 0 - -1 - (-148 - -1). Suppose 2403 = -15*j + 24*j. Let h = j - x. Is h a composite number?
True
Let b(w) be the first derivative of w**3/3 - 5*w**2 + 22*w - 6. Is b(-11) a composite number?
True
Let w be 3 - 0/(1 - -1). Suppose 15*g - 13*g = 13324. Suppose w*b - 9166 = -3*l - 2506, g = 3*l + 5*b. Is l composite?
True
Let m be (10/6)/(220/(-75) + 3). Is (-3 - m/(-4))*44 a composite number?
True
Let z(a) = -15*a**2 - 3*a + 2. Let j be z(1). Let h(x) = -x**2 - 14*x + 23. Let d be h(j). Let f = d - -64. Is f prime?
False
Let w(t) = -t**2 + 5*t + 14. Let k be w(7). Suppose 5*v - 501 - 214 = k. Is v a prime number?
False
Let b be (-2534)/105 + 2/15. Is 2/(-8) + (-9342)/b a prime number?
True
Let y = 590 - -581. Is y a composite number?
False
Let g(a) = 2*a**3 - 12*a**2 + 6*a - 4. Let k be g(10). Suppose -2354 = -2*q + k. Suppose 2*n - 7*n = -q. Is n composite?
True
Suppose -11*d + 104554 + 3279 = 0. Is d a composite number?
False
Suppose 0 = 3*a + 3*h + 12, 5*a - 4*a + 5*h + 4 = 0. Let s be -1 - (-250)/(-1) - a. Let m = 356 + s. Is m a prime number?
True
Suppose 2*q = 9*q. Suppose -4*b = 2*l - 1152, q = -4*b + 2*l + 1003 + 157. Is b composite?
True
Suppose 0 = -m + 5*f + 896, 5*m - 28*f - 4549 = -26*f. Is m prime?
True
Let d be 66/15 + 1*(-2)/5. Is 32 + -31 + d*489 a composite number?
True
Let o = -336 + 206. Suppose 0 = 2*s + 4*f + f - 123, 4*s = -f + 273. Let y = s - o. Is y prime?
True
Let s(c) = c**2 + 6*c + 8. Let a be s(-6). Is -1*((-1*a)/2 - 1345) prime?
False
Is (16105/(-15))/(2/(-6)) composite?
False
Suppose -2*d = 2*d - 40. Let g(j) be the third derivative of j**5/20 - j**4/24 + j**3/2 + 2*j**2. Is g(d) composite?
False
Let d be 4 - 4/(1 + 3). Let k(p) = -17*p**2 - 5*p + 3. Let o be k(d). Let v = o + 324. Is v a composite number?
True
Let l be (-152920)/(-15) + (-2)/(-6). Suppose 8*x = 365 + l. Suppose 5*h = -5*d + x, h = 3*d - 0*d + 244. Is h a prime number?
False
Suppose 14*u = 10*u - 2832. Let x = u - -3699. Suppose -x = -0*l - 3*l. Is l a composite number?
False
Let r(q) = 251*q - 29. Is r(12) a composite number?
True
Let h = -27 + 32. Suppose -3*i - 3*b + 783 = 0, -h*b = -i + 151 + 98. Is i prime?
False
Suppose 4*s - 14275 = 3*w, 0 = s + 2*w + 35 - 3612. Is s a prime number?
True
Suppose -5*s - 74 = 31. Is 381/1*(-7)/s a prime number?
True
Let n = 9 - 4. Let w(u) = 2*u - 6. Let d be w(n). Is (2 - (d + -3))*26 composite?
True
Let c(b) = -10*b**3. Let x be c(1). Let n(z) = -30*z - 29. Is n(x) composite?
False
Let n(o) = -10*o**2 - 3 + 2*o**2 + 6*o**3 + 6 + 8*o. Is n(4) prime?
False
Suppose -3*n + h = -16261, n - 10838 = -n + 2*h. Suppose 6*m - 16503 = -n. Is m a composite number?
False
Let y be (-10056)/32*8/(-3). Let u = -257 + y. Is u prime?
False
Suppose p - 4497 = 2*h, 4 = -5*h + 4*h. Is p prime?
False
Let r be 1/(6/24)*32. Let p = 62 - -1. Let a = p + r. Is a a composite number?
False
Let h(b) = -45738*b**3 - b**2 - 9*b - 7. Is h(-1) composite?
True
Let j = -78 - -36. Suppose -22*m + m = -2499. Let v = m + j. Is v a composite number?
True
Suppose -11*y + y + 54550 = 0. Is y composite?
True
Let n(m) = m**2 + m. Suppose x + 4*o - 8 = 13, 2*o = -3*x + 13. Let u be n(x). Suppose -541 = -u*y + y. Is y composite?
False
Let q be 3 + (-7 - -4 - 11854). Is (-14)/105 + q/(-30) composite?
True
Let j(b) = -8 + 13*b**2 - 4*b - 10*b**2 - 2*b. Suppose 4*d - 28 = -0*d. Is j(d) a composite number?
False
Let c be ((-16)/(-6) + 0)/(7/(-63)). Is (-46*(-6)/c)/((-1)/22) composite?
True
Let a be ((-438)/10)/(4/(-20)). Let o = 686 - a. Is o prime?
True
Let x be (-4)/6 + 350/30. Suppose 5 = -3*h + x. Suppose -5*s + 383 = 4*d, -5*s = d + h*d - 386. Is s a prime number?
True
Suppose -5*v - 14*n + 13*n = -81668, -5*v - 2*n = -81671. Is v prime?
True
Suppose 5*w - 27 = -4*h - 10, 0 = -3*h - 2*w + 11. Suppose 0 = -4*p - 2*f - h*f + 854, -p - 2*f = -215. Is p composite?
False
Let m(f) = 2*f - 8*f + 13 + f. Is m(-8) a composite number?
False
Let z = 1221 + -858. Suppose 3*b - 9996 - z = 0. Is 3/9*b - 0 composite?
False
Let o = -55 + 45. Is ((-22744)/16)/(2 + o/4) a prime number?
True
Let h(p) be the third derivative of -677*p**4/24 - 8*p**3/3 - 27*p**2. Is h(-5)