 Is u composite?
True
Suppose -9 = 3*m, -3961 + 4 = -5*a + 4*m. Is a composite?
True
Let y = -12 - -10. Let d(q) = 49*q**2 - 2*q + 1. Is d(y) composite?
True
Let w(g) = -g**2 - 14*g - 3. Is w(-10) prime?
True
Let g(f) = 7*f**3 - f**2 + 4*f + 10. Let b(y) = -6*y**3 - 4*y - 9. Let c(h) = -6*b(h) - 5*g(h). Let t be c(-4). Is (-57)/t*16/(-4) a prime number?
False
Let z(q) = -q - 5. Let f be z(-5). Suppose f = 4*r - 7*r - 363. Let s = r - -180. Is s a composite number?
False
Let w(k) = -41*k**2 + 3*k - 1. Let c be w(2). Is -4 - c - (-1 + -1) prime?
True
Let n(f) be the first derivative of 4*f**3 + 7*f + 2. Is n(-5) a prime number?
True
Suppose 0 = 4*k - 0*k + 1012. Let i be (0 - -2) + k/(-1). Suppose 5*j = -2*l + j + 126, -5*l + i = -2*j. Is l a prime number?
True
Let k = -8 - -4. Suppose -45 = 3*y + f, -3*f = -y - y - 30. Let r = k - y. Is r a composite number?
False
Is 5 - -120 - (-2 - (1 + -1)) a prime number?
True
Let f(a) = -7*a - 29. Is f(-12) prime?
False
Let f(g) be the second derivative of -g**4/12 - 4*g**3/3 + 11*g**2/2 - 2*g. Let x be f(-9). Suppose x*z - 75 = -3*z. Is z composite?
True
Let u = -61 + 690. Is u a prime number?
False
Let g = -40 - 119. Let d = 848 + g. Is d a prime number?
False
Suppose 188 = 2*t - 5*s, -3*s = -4*t + 3*t + 95. Is t prime?
True
Let t = 11 + 108. Is t composite?
True
Is 4/(-22) - 114522/(-66) composite?
True
Is ((-34)/3)/((-22)/759) a prime number?
False
Is (246/(-8))/(2/(-200)) + -4 composite?
True
Suppose -3*w + 2*w - 5*o = 17, -o - 10 = -2*w. Suppose -5*h - c = -34, 4 = -3*h + 7*h - 5*c. Is 35 - w/((-9)/h) composite?
False
Suppose 5*x - 974 = -0*y + 2*y, 578 = 3*x + 2*y. Is x a prime number?
False
Let b(y) = 32*y**2 - 4*y + 25. Is b(7) composite?
True
Let k be ((-16)/(-20))/(4/30). Let u(o) = -3*o**3 + 6*o**2 + 3*o + 2. Let t(m) = -16*m**3 + 30*m**2 + 16*m + 11. Let c(i) = -2*t(i) + 11*u(i). Is c(k) prime?
False
Is -3 + -1 - (0 - 135) composite?
False
Let d be (8/(-6))/(4/(-12)). Is ((-3)/d)/((-1)/4) a prime number?
True
Let f(l) = 8*l**2 + 7*l - 16. Is f(-5) prime?
True
Suppose 0 = 7*p - 2*p - 2095. Is p a composite number?
False
Suppose -36 + 106 = c. Suppose -2*j + 9*j = c. Is j composite?
True
Let y = 1 - 1. Suppose 0 = -y*k - k + 9. Is (-798)/k*3/(-2) prime?
False
Let m(b) = 367*b**3 + b**2 + 2*b + 3. Is m(2) composite?
True
Let g = -87 + 163. Suppose 5*f = -0*w + w - 38, -2*w - 4*f = -g. Is w a composite number?
True
Let g(d) = -61*d + 1. Is g(-2) prime?
False
Let v(h) = -h**2 - 2*h + h + 0*h**2 - 8 - 10*h. Let l be v(-7). Let w = l - -1. Is w a prime number?
False
Suppose 3*y = -5*b + 16, 5*y + 10 = -0*b - b. Let k(x) = x**2 - 10*x - 1. Let u be k(b). Is u/(-3)*15/2 a prime number?
False
Let d be (11 + -1)*84/10. Suppose 0 = 5*f - 4*p - 137, 5*f = 2*f + 3*p + d. Is f composite?
True
Suppose 0 = -w + g + 3*g + 969, -2*g + 4889 = 5*w. Is w a prime number?
True
Let c = 685 - 408. Let t = c + -59. Is t a composite number?
True
Suppose 3*k + 103 + 95 = 0. Let p = 49 - k. Is p prime?
False
Let a = -540 - -1453. Is a a composite number?
True
Suppose 0 = 2*k + 3*k + 5*l - 4105, -4*l - 2463 = -3*k. Is k composite?
False
Let g(j) = 6*j - 5. Suppose 3*i - 28 = -i. Is g(i) a prime number?
True
Let q be (2 - 15/9)*9. Is (-1)/q + (-2968)/(-21) a composite number?
True
Let u(w) = 815*w**2 + 5*w - 5. Let a(x) = 1631*x**2 + 11*x - 11. Let q(p) = -6*a(p) + 13*u(p). Is q(1) prime?
True
Suppose 0 = -3*o + 6*o - 231. Is o prime?
False
Let f(c) = -c**2 - 2*c - 1. Let y be f(-3). Let x be -130*(10/y - -2). Let w = 154 - x. Is w prime?
True
Let c(h) = 21*h**2 - 5*h - 7. Let s be c(-6). Suppose -3*m = -2*d - s, -2*m + 526 = -0*d - 3*d. Is m composite?
False
Suppose 4*k + 22 = 402. Is k a composite number?
True
Let c(j) = 188*j**2 + j - 8. Is c(2) prime?
False
Suppose 0 = 4*m - 103 - 1573. Is m a prime number?
True
Suppose -4*q - 2*d - 2*d = 0, -q + 6 = -2*d. Suppose 0 = 6*c - q*c - 184. Is c prime?
False
Suppose 3*r - 4*r + 82 = 0. Is r a prime number?
False
Suppose x + x = -s + 25, x - 2 = -4*s. Suppose g - 32 = x. Is g prime?
False
Suppose -3*h + 3 + 0 = 0. Let k(t) be the third derivative of 19*t**5/30 + t**4/12 - t**3/6 - 3*t**2. Is k(h) prime?
False
Suppose 0 = 7*w - 3*w - 12, -3*m = 5*w - 492. Is m prime?
False
Is (-1745)/((-18)/(-3) + -7) composite?
True
Is 95*4 + (4 - 1 - 2) composite?
True
Suppose -41 = -b + 434. Suppose -4*s + b = -x - 338, -5*s = 4*x - 1011. Is s composite?
True
Suppose 2*l + 3*w - 11 = 0, 5*w - 14 + 1 = -2*l. Suppose -l*x = -140 - 8. Is x a prime number?
True
Let t(x) = 488*x - 1. Is t(1) composite?
False
Suppose 3*a = 6*a + 66. Is a/(0 - (1 + 1)) prime?
True
Let r(v) = -v**3 + 4*v**2 + 4*v + 7. Let h = 8 + -3. Let j be r(h). Suppose -3*k + 35 = -j*k. Is k prime?
False
Let v = -14748 - -30931. Is v a prime number?
True
Let a(r) = -r**2 - r + 71. Is a(0) prime?
True
Suppose -610 = 9*u - 1699. Is u a composite number?
True
Suppose 0 = 5*n - n - 1176. Is 2*3/(-6) + n composite?
False
Let h(x) = -3*x**2 - 8*x + 47. Let z(s) = -2*s**2 - 5*s + 31. Let v(n) = -5*h(n) + 8*z(n). Is v(0) composite?
False
Suppose -4*u - u = 3*k - 7324, -2*k = -2*u + 2936. Is u prime?
False
Let j be (2/4)/((-1)/(-186)). Suppose -37 = -5*q + j. Is q composite?
True
Suppose 295 = i - 0*i. Is i a prime number?
False
Let j(z) = -6*z - 5. Let f(b) = -b**3 - 5*b**2 - 5. Suppose y + 2*y = -15. Let g be f(y). Is j(g) a composite number?
True
Suppose 0*u = 2*u - 6. Suppose -263 = -u*h - 14. Is h a composite number?
False
Let l(y) = -9*y**2 - 14*y + 19. Let o(g) = 5*g**2 + 7*g - 10. Let v(k) = -4*l(k) - 7*o(k). Let i be v(-8). Suppose -148 = -i*s - 2*s. Is s composite?
False
Let u = -240 - -337. Is u a composite number?
False
Let t(d) = -d**3 - 3*d**2 + 2. Let y be t(-2). Let f be (-1094)/y + 1 + -2. Suppose 0*v + 920 = 5*v + 3*c, -3*c + f = 3*v. Is v a composite number?
True
Suppose 3*o - 4*y - 9 = -3*y, 2*o - 4*y + 4 = 0. Is (267/6)/(2/o) a composite number?
False
Let z be (-3)/6 - (-1)/(-2). Is (11/(-2))/(z/106) a composite number?
True
Suppose -164 = -4*j + 24. Is j composite?
False
Let y = -2 + -6. Let x = -5 - y. Suppose f + x*f = 104. Is f a prime number?
False
Suppose 6*g = -2 - 28. Let y(s) = 49*s + 3. Let r be y(-6). Is r/(-15) - (-2)/g a composite number?
False
Let t = -26 - -175. Is t prime?
True
Suppose 0 = 2*o + 2*o - 1676. Is o a composite number?
False
Suppose -4*u = -3*u + 12. Let h = -8 - u. Suppose -h*y = 175 - 803. Is y a prime number?
True
Let p(x) = 63*x + 1. Let j be p(1). Let g = -27 + j. Is g a composite number?
False
Let u(o) = -o**3 + 4*o**2 + 4*o + 7. Let m be u(5). Let j be m - (-3)/(-3) - 1. Suppose j*z = -5*z + 255. Is z composite?
True
Let t be (-2)/4 + 170/(-4). Let y = 124 + -30. Let w = t + y. Is w a composite number?
True
Let b(v) = v**2 - 4*v + 1. Let q be b(-3). Suppose 0 = 3*t - q - 89. Is t composite?
False
Suppose -5*l - 141 = 124. Let b = l - -214. Is b a prime number?
False
Let v(p) = p**3 + 17*p**2 + 21*p - 1. Is v(-14) a prime number?
True
Suppose -5*a = -9*a + 708. Is a prime?
False
Suppose 0 = 4*f - 4, 5*f = k + 6 + 1. Let o = -2 - k. Suppose 0 = h - 0*h - 3, 4*b - 3*h - 83 = o. Is b prime?
True
Is (-948)/(-4) + 3 + -7 a prime number?
True
Let z(i) = -2*i**3 + 6*i**2 + 2*i - 1. Let l be z(-6). Suppose -l = -5*o - 0*o - 5*w, -5*w = 2*o - 254. Is o a composite number?
False
Is 40/70 + 16106/14 a prime number?
True
Suppose -9 - 1 = -5*p. Suppose 0 = b - 2*q - 4, 0*b + 3*b + p*q = 36. Let r(y) = 7*y - 5. Is r(b) a composite number?
True
Let f(u) = 2*u**2 - 9*u + 3. Let p = -12 + 20. Is f(p) composite?
False
Let c = 25 - 14. Is c composite?
False
Suppose -97*b + 92*b + 2785 = 0. Is b prime?
True
Is 2 + (9102/8 - 3/4) a composite number?
True
Let r(x) = 10*x**2 - 4*x**3 + 6 + 7*x**3 - 21 - 13*x - 2*x**3. Is r(-10) prime?
False
Let o(t) be the second derivative of -7*t**5/60 + t**4/24 - t**3/3 + 2*t. Let x(l) be the second derivative of o(l). Is x(-1) a composite number?
True
Let w be (-3)/(18/(-16) - -1). Let l be (22/(-8))/((-3)/w). Let j = l + -7. Is j a composite number?
True
Let m(k) = -k + 1. Let p(a) = -30*a - 1. Let z(c) = 6*m(c) - p(c). Is z(5) composite?
False
Suppose -2*z - 5*u = -6*z + 636, -3*u = 2*z - 340. Suppose -134 = -2*y + z. Is y composite?
False
Let s(y) = 5*y - 7. Le