 -26*w + 394 = -3376. Is w a composite number?
True
Suppose -4*w = 4*i - 12684, 2*w - 3168 = w + 2*i. Let n = -561 + w. Is n composite?
False
Suppose 4*j + 8 = -4*a, 1 = -2*a + 3*j + 7. Suppose 0 = -a*k - 2*k + 2198. Is k prime?
False
Suppose 0*k - 25 = -5*k, -4*k = 5*f - 100. Suppose -2*n + 2*y = -0*y - 6, f = 4*n - 2*y. Suppose t = n*v + 3, 0 = 5*t + 3*v + v - 15. Is t composite?
False
Suppose n = -3*s + 5, -5*n - s = -2*n + 1. Is 8*(-33)/12*n composite?
True
Let o(s) = 3*s**2 - 7*s - 6. Let f be o(-5). Suppose -k - 5*q = -109, -2*k - 23*q + 178 = -21*q. Suppose -4*p + f = 4*u, 2*p - u = -2*p + k. Is p prime?
False
Suppose 7*c - 3*c = -6996. Let w = -1246 - c. Is w composite?
False
Let w(p) = -p**3 - p**2. Let y be w(-1). Let z be (-3 + 3 + y)/2. Suppose -9*b + 4*b + 3*g + 416 = z, -2*b + 164 = -2*g. Is b a prime number?
False
Let w = 44 + -36. Let c(p) = 88*p - 25. Is c(w) a composite number?
True
Let p = -1152 + 7339. Is p composite?
True
Is (12 - 11)/((0 + -1)/(-1087)) composite?
False
Suppose 3*w = -5*f + 37311, 3*w + 4*f = 8*w - 62185. Is w a composite number?
False
Is -10 + 38307/(-12)*-4 a composite number?
True
Suppose 0 = 5*u - 2*x - 247233, 37215 = 2*u - 4*x - 61675. Is u a prime number?
False
Suppose 180 = -f + 6*f. Let v be (f/(-15))/((-6)/80). Is (-1)/(-4) - (-3480)/v a prime number?
True
Let i(n) = n**2 - n + 365. Let y(s) = s**3 + 2*s**2 + s. Let p be y(-1). Is i(p) composite?
True
Let f be 2 - (-2 - (1 + -3)). Suppose f*n = 6, -2*m - m + 570 = -n. Is m composite?
False
Let l(n) be the second derivative of 19*n**5/60 + n**4/24 + n**3/3 + 7*n. Let a(u) be the second derivative of l(u). Is a(5) prime?
True
Let d(o) = -o. Let i(u) = -433*u + 3. Let z(r) = 6*d(r) + i(r). Is z(-4) prime?
True
Suppose 4*b + 2*w - 6522 = 0, -4887 = -4*b - 4*w + 1637. Suppose 5*n = -2*y - 2*y + b, -10 = -2*y. Suppose 3*o = -s + n, 4*s = o - 6*o + 546. Is o prime?
False
Let f(s) be the third derivative of s**8/840 + s**7/2520 + s**6/120 + s**5/30 + 7*s**2. Let w(j) be the third derivative of f(j). Is w(-4) prime?
False
Let i(l) = 24*l**2 - 5*l + 1. Let o(b) = -49*b**2 + 10*b - 2. Let p(v) = 9*i(v) + 4*o(v). Let j = 32 + -26. Is p(j) a prime number?
True
Suppose y = 5*y - 20, i = -5*y + 389. Let c = 637 - i. Suppose 6*l = 3*l + c. Is l prime?
False
Let h = 18910 - 1761. Is h a prime number?
False
Let y(p) = 3 - 11 + 12 + 13 - 213*p. Is y(-2) a prime number?
True
Suppose 9*k + 48672 = k. Let m = k - -11875. Is m a prime number?
True
Let m(p) = 2*p**3 - 5*p**2 - 10*p + 11. Is m(10) a composite number?
True
Let i(q) = -3*q + 19. Let b be i(5). Suppose -t = j - 445, -5*j + 2253 = 2*t - b*t. Is j a prime number?
True
Let i(o) = 6181*o**2 - 12*o + 39. Is i(4) a composite number?
False
Let z(i) = 8*i**2 + 14*i - 281. Is z(-23) composite?
True
Let t(x) = 489*x**2 + 103*x - 753. Is t(7) prime?
True
Suppose -265 + 109 = -4*f. Let h = f - -358. Is h a prime number?
True
Let i be 2/(-11) + 364239/99 + 6. Suppose -3*j = 2*j - i. Is j composite?
True
Let t = 5590 - 917. Is t a prime number?
True
Suppose 0 = w - 0*w + u - 21, 5*w - 5*u = 105. Suppose 19 = 4*s - w. Suppose -3*f + 0*q + 213 = 3*q, -5*q + s = 0. Is f composite?
True
Let b = 20 - 7. Let p = b + -13. Suppose p = -4*a + 2*a + 52. Is a a prime number?
False
Let w = -49 + 94. Suppose 2*b + b = -w. Is (1 + b)*19/(-2) prime?
False
Is (-2)/(-3) - ((-5685)/(-9))/(-5) prime?
True
Suppose -15*f = -10*f - 17585. Is f a composite number?
False
Let y be 4/(-14) - 37/(-7). Suppose 0*p = -y*p + 1345. Suppose -4*g - 2*o + 251 = o, 3*o = 4*g - p. Is g composite?
True
Let q(d) = -23*d + 2*d - 27*d - 13*d - 5. Suppose 0 = -s + 4*r + 10, 4 = -s - 4*r - 18. Is q(s) composite?
True
Let l(t) = -t**3 + t**2 + 3*t + 3. Let x be l(3). Let c be 24/18 + (-4)/x. Suppose 0 = -3*m - 4*u + 29, 2*m - c*u + 25 = 5*m. Is m a prime number?
True
Is 15621 + 15/(-5 + (-120)/(-16)) composite?
True
Suppose 2*t - 16361 = -w, 3*t - 16343 = t + 5*w. Is t a prime number?
True
Suppose -5*k = -0*k - 95. Suppose 2*t + 4*c = 14 - 4, -3*t = 4*c - k. Is 6/t*(-9615)/(-10) prime?
True
Suppose 2*v - 5*s - 2334 = 0, 11*v + 4684 = 15*v - 2*s. Let f = 697 - 46. Let r = v - f. Is r a composite number?
False
Let z(m) = -m**3 - 10*m**2 + m + 12. Let l be z(-10). Suppose -l*g + 3*v = -63, -5*g + 72 = -3*v - 63. Suppose 2*j - g = 114. Is j a prime number?
False
Suppose 2*q + 8536 - 21518 = 0. Is q prime?
True
Is (-77413)/(-7) - 8/4*1 a prime number?
True
Let t = -15 - 0. Let n be 6/t - (-9)/(-15). Let j(m) = -14*m**3 - 2*m - 1. Is j(n) composite?
True
Is ((-80)/120)/((-2)/24213) a composite number?
True
Suppose m + 2*m = 3*d + 18, -m + 2*d = -10. Is 305/(m - -3) - -4 prime?
False
Suppose 4*x - f - 25 = 0, x - 20 + 0 = 3*f. Is 2/1 + (x + 700 - -2) a prime number?
True
Let b = 254 - -2523. Suppose b = 4*r - 27. Is r composite?
False
Let b(f) = -f**3 + 5*f**2 + 7*f - 4. Let w be b(6). Suppose 4*m + 8 = 0, -358 = -w*i - 0*i + m. Is i a composite number?
True
Suppose -9*x = 326 - 29. Is (-54477)/x - (-6)/33 a composite number?
True
Let h = -434 - -184. Let r = 1064 + h. Is (r/33)/((-4)/(-6)) composite?
False
Let x = 781 + -53. Suppose -4*v - 4*g = -x, -v + 43 = 2*g - 134. Is v prime?
False
Let p(m) = -8455*m + 317. Is p(-8) composite?
False
Suppose q + 2*a - 13861 = 0, -4*q + 79495 - 24040 = -3*a. Is q a composite number?
True
Let v be (-5)/(-1)*(-5)/(-5). Suppose v*j + 2*d - 1041 = 0, -1035 = -5*j + 4*d - 9*d. Is j composite?
True
Let l(h) = 1408*h**2 - 3*h + 1. Is l(2) a composite number?
True
Suppose 2*y + 6 = -0*y. Is y + (-12400)/(-9 - -5) a composite number?
True
Suppose -10*n = -6*n - 6464. Suppose 0 = -2*x - 2*x + n. Let h = x + 41. Is h a composite number?
True
Let o be (-16)/(-88) + (-4)/22. Suppose o = 5*j - 3883 - 307. Is j a prime number?
False
Let m(b) = -36*b**3 + 78*b**3 + 1 + 3*b**2 - 35*b**3 + 5*b. Is m(4) a composite number?
True
Suppose -13*x + 20*x - 15631 = 0. Suppose t - 1787 = -3*t - n, -5*t = 2*n - x. Is t a prime number?
False
Let o be ((-1000)/24)/(326/(-324) + 1). Suppose o = 9*x - 5895. Is x a prime number?
False
Let i be -4*2*(-4)/(-4). Let v(b) = b**2 + 6. Let t be v(i). Is 4/14 - (-17550)/t a composite number?
False
Let s = -4 + 8. Suppose -3*m = s*m - 399. Let x = m + 106. Is x a prime number?
True
Suppose 3*v = -4*p + 12441, -v - 3*p = 95 - 4237. Is v composite?
True
Suppose -v + 3*l = -169, -2*v + 387 = -l + 49. Is v - (-1 + -3 - -7) a composite number?
True
Let r(n) = -n**3 + n**2 - 2*n - 5. Suppose -7*y + 10 = 5*x - 2*y, 0 = -5*x - y - 6. Let h be 4 - (11 + x)*1. Is r(h) prime?
False
Let n be (-1290)/(-40) + (-3)/12. Suppose n*j - 36*j + 3004 = 0. Is j a prime number?
True
Let m(h) = -2*h - 5. Let j be m(-4). Suppose 5*t - 946 = 974. Suppose -4*c = -j*x + 581, 0*c = -2*x + c + t. Is x a prime number?
True
Suppose -o + 8407 = 4*o - 4*x, -3*x - 8404 = -5*o. Is o prime?
False
Let z(g) = 258*g**2 + 1. Suppose -3*l + 10 = -l. Suppose 0 = 5*v + l*q - 20, 3*v + 2*q - 2 - 5 = 0. Is z(v) composite?
True
Let a = 1951 - 799. Let l = a + -655. Is l a prime number?
False
Let l = -6359 - -9138. Is l a composite number?
True
Let i = 3575 + -1122. Is i composite?
True
Let h(x) = x - 7. Let w be h(7). Suppose w = 3*c + 9 + 15. Is 22*((-132)/c + 2) a prime number?
False
Let u be 2*-93*(-13)/3. Let c be (-2 - (-802)/(-4))*(8 + -6). Let j = c + u. Is j composite?
False
Let a be ((-57)/9 - -6) + 34/(-6). Let g(d) be the third derivative of -7*d**4/24 + 13*d**3/6 - 2*d**2. Is g(a) a composite number?
True
Suppose -n - 2*l + 2096 = -l, -5 = l. Suppose 5*m - x = 1408 + n, m - 4*x - 717 = 0. Is m a prime number?
True
Let o(v) = -5*v - 6. Let h be o(3). Suppose 4*q - 6*q = 116. Let j = h - q. Is j a composite number?
False
Is 660847/(-2)*(-180)/990 a composite number?
False
Let l(b) = 1 - 2 + 3 + 2 + 4*b + 3*b**3 + 3*b**2. Let t be l(-4). Let a = t - -250. Is a composite?
True
Let s(b) = 56*b + 38. Let j be s(16). Let g = -47 + j. Is g a composite number?
False
Suppose 25*q = o + 29*q - 38899, -77804 = -2*o - 2*q. Is o a composite number?
False
Let o(f) = 12*f**2 - 3*f - 4. Let c = -4 + 4. Suppose -t = -c*t - 5*w - 2, 0 = 4*t - w + 11. Is o(t) a prime number?
True
Suppose -45352 = -1224*b + 1216*b. Is b composite?
False
Let c be (2 - (3 - 11)) + 4. Let z 