ose -4*b = -v*m - 1914, -5*b - m + 2380 = -6*m. Is b a prime number?
False
Let t be (-9)/6 - 1609/(-2). Let m = t + -78. Suppose -v - m = -6*v. Is v composite?
True
Suppose 5*j + o - 22 = -6, -3*j - 3*o + 12 = 0. Suppose 3*g = -2*x - x - 3213, -j*g = x + 3223. Is 4/(-6) - g/12 a composite number?
False
Suppose a + 0*m = 5*m - 25, 0 = 4*a - 4*m + 20. Let q = a - -3. Suppose -630 = -q*u + 87. Is u a composite number?
False
Let o(r) be the third derivative of r**6/8 + 7*r**5/60 - 17*r**3/6 + 33*r**2. Is o(4) composite?
True
Let s(c) = 1583*c**2 + 33*c + 187. Is s(-6) a prime number?
False
Let f = -467 - -657. Suppose 5*p = 10*p - f. Suppose 0 = -3*w - 4*b + 51, 0 = 2*w - 0*w + 4*b - p. Is w composite?
False
Suppose 0 = -10*z + 17052 + 10138. Is z composite?
False
Let d = 627 - 86. Is d a composite number?
False
Let q be 392/22 + 6/33. Is 8/36 - (-17870)/q a composite number?
True
Let w(h) = 207*h + 254. Is w(15) prime?
True
Is (-580491)/(-29) + 4 + 8/116 a composite number?
False
Suppose -18 = 6*o - 0*o. Let b(c) = -19*c**3 - 2*c**2 + 4*c + 3. Let p be b(o). Suppose 2*u = 812 + p. Is u a prime number?
False
Let m(s) = 4*s + 69 + 226 - s**3 - s**2 - 3*s. Is m(0) a prime number?
False
Is 21509/4 - (-36)/48 a prime number?
False
Let b(v) be the second derivative of 1/20*v**5 + 0 + v**4 - 8*v - 2*v**2 - v**3. Is b(-9) a prime number?
True
Suppose 6*z + n + 9883 = 10*z, -2*z + 4946 = 4*n. Is z prime?
False
Is 12/16*45896/6 a prime number?
True
Let z(b) = -b**2 + 7*b + 2. Let x be z(8). Let i be (44/x)/(10/(-15)). Suppose 10*f = i*f - 33. Is f composite?
True
Let a(q) = -q**3 + 3*q - 13. Suppose 10*o + 60 = -0*o. Is a(o) a prime number?
False
Is 21/(-12)*4*(-6 - 2693) composite?
True
Let y = 35 - 35. Suppose -9*p + 605 + 1213 = y. Is p a prime number?
False
Suppose 2*v - 42 = -2*w, -3*w + 75 = w - 5*v. Suppose 0*y = 5*y - w. Suppose -58 = -3*c + y*q, 3*c = 3*q - 6*q + 30. Is c a prime number?
False
Let b(a) = 24*a**2 - a - 2. Let l(w) = 23*w**2 - w - 1. Let j(q) = -5*b(q) + 6*l(q). Is j(3) a prime number?
True
Let q be 7*3*248/(-12). Let o = 787 + q. Is o composite?
False
Let p be -1 + -92 + (-5)/5. Suppose 4*k + 140 = -0*k. Let f = k - p. Is f a prime number?
True
Let j(n) = -26*n**3 - 5*n**2 + 14*n. Let l be j(6). Let k = l + 9823. Is k a prime number?
True
Is (-2 - -2)/(-2) + (-4683)/(-3) a composite number?
True
Suppose -15*b = -12650 - 31465. Is b prime?
False
Let p(h) be the first derivative of 305*h**3 - 3*h**2/2 - h + 35. Is p(-1) composite?
True
Let i(u) = 8*u + 5. Let w be ((-2)/(-6))/(3/36). Suppose z + 1 + 1 = 0, 0 = -w*f + z + 18. Is i(f) prime?
True
Suppose -3*k - 27 = -4*k. Is (k*28)/4 - 4 a prime number?
False
Let q(a) = 29*a**2 - 5*a - 27. Let o be q(-11). Let r = o + -1220. Is r composite?
True
Suppose -13*t + 6*t + 28 = 0. Is (-7428)/(-9)*3/t a composite number?
False
Suppose -4*p = 3*l + 355, 11*p + 420 = 6*p + l. Is 1 + 17/(p/(-2400)) composite?
True
Let u(y) = -2*y + 14. Let j be u(-7). Suppose -j*x + 2037 = -25*x. Is x prime?
False
Suppose -3*x = -k + 955, 3*k - 2873 = 3*x + 2*x. Let o = k - 197. Suppose 0 = 23*z - 19*z - o. Is z composite?
False
Suppose 3*r + 8 = 2*w - 0*r, -w + 2*r = -5. Is 380 - w/(2 - 1) a prime number?
True
Let v(b) = -4*b**3 + 85*b**2 - 30*b + 22. Is v(13) prime?
True
Let o(v) = 7*v - 10. Let s be o(2). Suppose -j = 2*y - 191 - 176, -1486 = -s*j - 2*y. Is j a composite number?
False
Let c(j) = 12*j + 3*j**2 + 4 - 2 + j**2 - j**3. Let b be c(6). Suppose -674 = -b*z - 0*k + k, 662 = 2*z + 2*k. Is z prime?
False
Let r be (2/(-3))/((-2)/723). Suppose 29*v + 640 = 24*v. Let c = r + v. Is c composite?
False
Let j(i) = 18152*i - 195. Is j(2) prime?
True
Let a be (-4)/6 + (31306/6 - 0). Suppose -2*i - a = -5*v, -5*v - 3*i + i = -5213. Is v a prime number?
False
Suppose c = -1446 + 4739. Is c a prime number?
False
Let r(n) = -1 + n**2 + 2 + 63*n - 67*n + 2. Let s be r(4). Suppose -z - s*z = -1468. Is z a composite number?
False
Let v = -2520 - -23291. Is v a prime number?
True
Suppose w + 12420 = 3*x, -w - 12087 = -4*x + 4472. Is x a prime number?
True
Let m = 2600 - -38477. Is m a prime number?
True
Let t = -194 - -188. Let m(h) = 4*h**2 - 5*h - 6. Let w(o) = -8*o**2 + 10*o + 11. Let d(p) = 5*m(p) + 2*w(p). Is d(t) prime?
False
Suppose -15071 = -27*d + 20*d. Is d a composite number?
False
Let t(n) = 84*n - 119. Let w(a) = -7*a + 10. Let u(o) = 3*t(o) + 35*w(o). Is u(2) prime?
True
Is (-10)/(-4)*(-108006)/(-235) a prime number?
False
Suppose -4*b = -9640 - 57744. Is b a prime number?
False
Suppose 4*w = -2*o - 20, -4*w - 25 = -4*o + w. Suppose o = -x + 93 + 174. Is (-1)/(-3)*1*x composite?
False
Let n(r) = -r - 6. Let x be n(-11). Suppose 2*i + 13 = 5*g + 50, i = -x*g - 19. Suppose -i*v + 265 = -v. Is v composite?
False
Let g = 145 - 58. Is g prime?
False
Let u(g) = 5 - 7 - 123*g - 15 - 2. Is u(-6) composite?
False
Let m(u) = 4 + 3*u - 5 - 22*u. Let g be m(-14). Let t = 392 - g. Is t composite?
False
Let w(j) = j - 5. Let l be w(5). Suppose l = 4*f + 98 - 598. Let c = 178 - f. Is c composite?
False
Let w(g) = g - 8. Let c be w(0). Suppose 2*t - 129 = 5*r, 4*r = 3*t - 193 + 10. Let u = t - c. Is u composite?
True
Suppose -639 = -o + 118. Is o a composite number?
False
Suppose -5095909 = -56*p - 35*p. Is p a composite number?
True
Let o(l) = -3*l**3 - l - 4*l**3 - 1 + 8*l**3. Suppose 4*b - 2*b = 10. Is o(b) composite?
True
Let j(m) be the first derivative of 26*m**3/3 - m**2/2 - m + 4. Let a(z) be the first derivative of j(z). Is a(3) prime?
False
Suppose 27*i = 765803 + 35746. Is i prime?
False
Suppose 0 = -2*n - 2, 11*o + 5*n = 15*o - 30337. Is o composite?
False
Suppose 5*y - y = -4. Let w(r) = -212*r + 11 - 3 - 4 - 5. Is w(y) a composite number?
False
Suppose 3*u + 4*h = -2, 2*h = -0 - 4. Suppose u*b + 8 = 0, 3*d - b = 2*b + 393. Is d a composite number?
False
Suppose 0 = -11*o - 31*o + 358764. Is o composite?
True
Suppose 5*t + 2 - 27 = 0. Suppose -635 = -t*s - o, s - 2*o + 40 = 167. Is s prime?
True
Suppose -27929 = -2*x + q, 0*x + 4*x - 4*q - 55852 = 0. Is x prime?
False
Let k(p) = -3*p**3 + 4*p**2 + 3*p. Let u be k(-2). Suppose -2*c + u = 5*h - 23, -h = -4*c + 103. Is 6998/26 + (-4)/c prime?
True
Let f(h) = -h + 1 + 9*h - h**2 - 2*h. Let b = -5 + 10. Is f(b) prime?
False
Let r = -694 - -1023. Suppose -a = r - 1810. Is a a composite number?
False
Suppose 2*t - 5*k - 80168 = -2*t, 4*t + 2*k = 80196. Is t composite?
False
Let c(r) be the third derivative of r**5/30 + r**4/8 - 5*r**3/3 + 5*r**2. Is c(8) composite?
True
Let w = 1814 - -357. Let k = w - 964. Is k composite?
True
Suppose t - 4189 = -4*y, 0 = -t + 3*y + 815 + 3395. Is t composite?
False
Let j = 25730 - 3619. Is j prime?
True
Suppose 2*g - 3*v = g - 223, -25 = -5*v. Let b = g - -130. Let p = b + 109. Is p composite?
False
Let f = 16278 - 7417. Is f a prime number?
True
Suppose 8*z - 76613 = -5229. Is z a composite number?
False
Let g be (3/(-3) + -1)*-1. Suppose 449 = 4*b + 3*v, -g*v + 334 = 3*b + 3*v. Is b a prime number?
True
Let c(w) = 5*w + 4*w - 3 - 5. Let q be c(-9). Let h = q - -208. Is h a prime number?
False
Let h = -4787 - -8770. Is h prime?
False
Suppose -5*q - 13 - 2 = 0, p - 2*q + 44 = 0. Let l be (p/(-6))/((-4)/(-348)). Suppose -z + 6*z = l. Is z composite?
True
Let r be ((-12)/9)/((-16)/(-216)). Let u = r - -100. Is u prime?
False
Let g be 2/6*3 - -1. Suppose -3*f + 0*f = -g*n - 5601, n = -3. Suppose -2*j + 793 = 2*d + 55, -5*j + 5*d + f = 0. Is j a prime number?
False
Let q(u) = -u**3 + 5*u**2 + 6*u + 2. Let b(w) = -w**3 + w**2 + 6. Let c be b(0). Let l be q(c). Suppose 0*v - l*v + 74 = 0. Is v composite?
False
Is (-2)/(24/(-8007)) + (-4)/16 a composite number?
True
Suppose -4*c + 74672 = -4*d, 2*d = -2 - 0. Is c composite?
True
Suppose 237 - 57 = -5*m. Is (4 - 2/1)/(m/(-5958)) prime?
True
Suppose -1129 + 359 = -2*y. Suppose -4*q - q = -y. Is q a composite number?
True
Suppose -3*i - 3*p = -8793, -100*i - 8761 = -103*i + 5*p. Is i prime?
True
Suppose l - 5*h = 196 + 6893, 0 = l + h - 7077. Is l prime?
True
Let b be (5 + -1 - (-28)/(-8))*0. Suppose 2*o + b*o + 2*k = 792, -2*k + 1983 = 5*o. Is o a prime number?
True
Let v be 5 + (-2)/1 + 168. Let x = 776 + v. Is x composite?
False
Let u(t) = -t**3 - 2*t + 4. Let s be u(0). Suppose -o