-6*b - 4116 = 297144. Let h = b - -70363. Is h composite?
True
Let g = -366309 + 244451. Is ((-1)/2)/(29/g) a composite number?
True
Suppose -5*t - 7973 = -12*t. Suppose -4*y - y - 1444 = 3*m, -4*y = -3*m + t. Let u = -169 - y. Is u composite?
True
Let h = 10 - 10. Suppose -5*k + 70 - 10 = h. Is (3535/28)/((-9)/k + 1) composite?
True
Let j = -49 - -51. Suppose 0 = -j*o + 2*w + 6, 4*w = -4*o + 4. Suppose -5*q + 1980 = -z - 1226, -o*q + 1281 = z. Is q prime?
True
Let w = -9 + 12. Suppose -5*t - 4*m = -52, -2*m + 4*m = -5*t + 46. Suppose 898 = t*q - w*q + 4*r, 0 = -4*q - 4*r + 720. Is q prime?
False
Let w be (1 - (-7)/3)*(-48)/40. Is (-3)/((-1 - w)*(-16)/98544) a composite number?
True
Let v = 174 - 172. Suppose -r - 5288 = -a + 69, 0 = 3*a + v*r - 16081. Is a composite?
True
Suppose -3*v + 8 + 0 = o, 1 = o - 4*v. Suppose 0 = -3*y - o*n + 3403, -y - 4*y = 5*n - 5655. Let j = y + -159. Is j prime?
True
Suppose -195*g + 93870 = -189*g. Suppose 2076 = 9*u - g. Is u prime?
False
Is 2325343/31 - (-10)/(-155) prime?
True
Suppose 73 + 65 = 4*s + 2*j, -5*s - 4*j = -177. Suppose -3*v + 4*v + s = 0. Is ((-2390)/(-6))/((-11)/v) composite?
True
Suppose -11*t + 120 = -t. Is (t + -7 + -12)*-2741 prime?
False
Suppose -n - 16392 + 106423 = -2*h, 0 = -2*h + 12. Is n composite?
True
Let t = 257 + -145. Is (-3926)/(-8) - (-28)/t a composite number?
False
Suppose 2*a - 5*c + 2053 = 0, -c + 5075 = -4*a - a. Let o be -4*(242811/36)/(-17). Let t = o + a. Is t a composite number?
True
Let n = 13 + -19. Let w(d) = 73*d**2 - 13*d - 5. Is w(n) composite?
True
Let n(q) = 10*q**2 - 50*q - 11. Let k be n(13). Let o = k - 388. Is o a prime number?
True
Let o(v) = v**3 + 8*v**2 - 19*v - 12. Let q be o(-6). Suppose 6*s + q = 22836. Suppose 0 = 8*d - 2119 - s. Is d a prime number?
False
Let k(w) = 3*w**2 - 12*w + 47. Suppose -4 - 31 = -7*t. Suppose -t*i = 5*y + 115, 5*i = -2*y - y - 113. Is k(i) prime?
False
Let m(i) = i**3 + 3*i**2 - 8*i + 40. Let s be m(-6). Suppose -2*l - 2*q = -220, -5*l = q - 460 - 90. Is (l/s)/((-1)/2) a composite number?
False
Let u be (-32)/(-14) + 2/(-7). Suppose -4*j - 3*t = 0, -5 = u*j - 5*j - t. Is j + 638 - 0/(-7) a prime number?
True
Let n(t) = 859*t - 994. Is n(17) prime?
False
Let f be -2*(245/(-14))/5. Suppose -5259 = -f*m + 41074. Is m prime?
True
Suppose 65100 = 4*m + 364. Suppose 5*f - 5381 = m. Is f a prime number?
False
Suppose 0 = -16*r + 10*r + 83808. Suppose -26942 - r = -10*a. Is a prime?
True
Let u = -426 + 428. Suppose s - 30*j + 25*j = 12394, -j = -u*s + 24761. Is s a composite number?
False
Let r be (-192)/33 + 5/110*-4. Is 119030/60*r*(-3)/3 a prime number?
True
Let z = 11669 + -2022. Suppose -2*j + 4*v + 0*v = -19294, z = j - 3*v. Is j a composite number?
True
Suppose 348*i = 328*i + 1408540. Is i a composite number?
True
Is (-1)/17 - 3028064/(-986) a prime number?
False
Suppose 0 = -3*w + 5*w - 54. Let j = 30 - w. Suppose -4*l + j*l + 1313 = 0. Is l composite?
True
Suppose 6*k - k - 5*p + 4390 = 0, 0 = 2*k + 2*p + 1748. Let s = k - -1284. Let b = s + -169. Is b prime?
True
Suppose -1714922 = -4*k - 2*s, 36*s = 5*k + 41*s - 2143650. Is k a composite number?
False
Suppose 0 = 63*r - 59*r - 34696. Suppose -9*p + 12*p + r = 5*a, -p - 5202 = -3*a. Is a composite?
False
Suppose w = 5*c + 110437, 5*c - 100635 = -w + 9882. Is w composite?
False
Let k be ((-8)/5)/((-26)/65). Suppose 2*n = k*f + 4862, 5*n = f - 4012 + 16185. Is n a composite number?
True
Let t(y) = -1168*y**3 + 2*y**2 - 17*y - 9. Is t(-4) composite?
False
Is 2/(34904/(-262005) + 54/405) a composite number?
False
Let a(o) be the first derivative of 98*o**3/3 - o**2/2 + o + 2177. Let m be 2*(-1 - 0)*-1. Is a(m) a composite number?
True
Suppose -33*x + 34*x = 162. Let l = 841 - x. Is l prime?
False
Suppose -3*f - 9*v = -13*v - 100131, -v - 33377 = -f. Is f a prime number?
True
Let d(r) = 1360*r**3 + 18*r**2 - 20*r**2 + 2*r - 1365*r**3. Let m be 1 + -1 + -1 + -2. Is d(m) a composite number?
True
Let n = -362 + 820. Let w = n + -69. Is w a prime number?
True
Suppose -2448609 = -224*d + 4432223. Is d a composite number?
True
Let l = 16701 + -5390. Is l prime?
True
Let g = -75 + 86. Suppose 4*v = -2*x + 1 - 17, -3*v - 2*x - g = 0. Let i(m) = -11*m**3 - 4*m - 10. Is i(v) composite?
True
Suppose -11*b + 5*b = -9288. Let c = b + -1061. Is c prime?
True
Suppose 135*n - 144*n = -18. Suppose 2*o + 7*f = 9*f + 5802, 5*f + 5814 = n*o. Is o composite?
False
Let x(z) = 6*z**3 + 4*z**2 + 5*z + 3. Let c be x(6). Let k be 1/((-2)/16)*2107/28. Let j = k + c. Is j prime?
False
Let t(m) = 11933*m - 6. Let w be t(2). Suppose -34*j + 14*j = -w. Is j a composite number?
False
Let z(w) = -272*w**3 - 77*w**2 - 1419*w + 11. Is z(-19) a prime number?
True
Suppose 924 = -10*l + 16*l. Suppose 0 = 5*x - 3*b - l, 2*b + 0 = 4. Suppose x = 2*s + 10. Is s a composite number?
False
Let w = -355 - -358. Suppose -4*o + p = -79624, 0 = w*o - p + 5*p - 59737. Is o a composite number?
True
Let r(l) = -2431*l + 550. Is r(-1) composite?
True
Let d be 6/(24/532) + -4. Suppose 0*g - g + d = -5*f, -f = -3*g + 373. Suppose 0 = 2*j - 978 - g. Is j prime?
False
Let c(d) be the third derivative of -d**4/24 + 7*d**3/2 - 9*d**2. Let z be c(6). Is (-6)/z - (13988/(-20) - 2) a composite number?
False
Let s = 4384 - 8871. Let u = s + 6460. Is u a composite number?
False
Let l = 288 - 158. Suppose -l = -4*b + 218. Is b composite?
True
Suppose 0 = 125*o - 26*o - 2219283. Is o a prime number?
False
Suppose -12*a + 11354 = -66034. Is a composite?
False
Let d be (-1 - 1) + 3 + -18. Let h(b) = b**2 + 18*b + 20. Let n be h(d). Suppose 2*o + n*o - 1465 = 0. Is o a composite number?
False
Is (-2)/((8 - 13/2) + 685323/(-456858)) a composite number?
True
Let a(z) = z**3 - 6*z**2 - 8*z + 19. Let q be a(7). Let f = q - 10. Suppose f*s + 3*s = 17165. Is s prime?
True
Suppose -334*d = -476*d + 34397654. Is d prime?
False
Suppose 0 = -69*s + 25*s + 10860388 + 5155128. Is s a prime number?
True
Let v(a) = 21*a + 1 + 2 - 22*a - 1. Let h be v(-3). Suppose -w - 1219 = -4*f, -h*f + 3*w = w - 1523. Is f prime?
False
Suppose -4*r + 28 = -2*r + 2*h, r = -2*h + 16. Suppose 2*s = 2*m - r, -s + 6 = m + 2*s. Suppose 2*l = -m*l + 25304. Is l a prime number?
True
Let c(y) = 28*y**2 + 118*y + 1343. Is c(-11) composite?
False
Is 6/3 + 2 + 530124/28 composite?
True
Let o(s) = 914*s**2 - 13*s + 19. Let u be (5/(15/(-6)))/((-1)/2). Is o(u) a composite number?
False
Suppose 70452 = -4*b - 2*b. Let d = -5581 - b. Is d a prime number?
False
Let t(q) = 834351*q + 394. Is t(1) a prime number?
False
Suppose 8*a - 83 = 133. Suppose -5*r - a = -2, -2*l - 2*r - 8 = 0. Is (-1 + l/(-2))*(-6130)/15 prime?
True
Let u = -49 - -56. Suppose -r = -u*r + r. Suppose 4*g = -3*y - y + 3560, -5*g + 5 = r. Is y a composite number?
True
Let s(n) = 10*n**3 - 5 - 24*n**3 + 0 - n**2. Let i be s(-7). Let y = -1383 + i. Is y a prime number?
False
Is 10/1 + -9 - -13770 composite?
True
Let k(o) = 236*o**2 + 45*o - 300. Is k(11) a prime number?
True
Let g(p) = p**3 - 23*p**2 - 17*p - 75. Let a(z) = 4*z + 164. Let m be a(-33). Is g(m) a prime number?
True
Suppose 57*j - 1037802 = 2941653. Is j a prime number?
False
Suppose 9*l - 4*l = -4*a + 175, l - 224 = -5*a. Let t(s) = -694*s - 23 - 21 + a. Is t(-2) a prime number?
False
Let q(w) = -44*w + 21*w + 136 + 224*w + 192*w + 105*w. Is q(19) a prime number?
False
Let g(u) = -u**3 + 2*u. Let c(x) = 214*x**3 - 2*x**2 + 22*x - 3. Let o(d) = c(d) - 6*g(d). Is o(2) composite?
True
Let b(z) = -z**2 + 17*z - 63. Let w be b(8). Suppose 5*m + 223 = s, 6*m = w*m. Is s a composite number?
False
Suppose 13*s - 250875 = 58460. Is s a prime number?
False
Suppose 61*v + 3245 - 44786 = 0. Is v prime?
False
Let x = 401476 - 68825. Is x prime?
False
Suppose 5*c - 4*c = -0*c. Suppose -8*h - 4*h + 78492 = c. Is h composite?
True
Let i = -1965 - 2393. Let j = i - -10555. Is j a prime number?
True
Suppose 3*p = 15, 0*b + 3020 = 3*b + 4*p. Let o = -413 + b. Is o a prime number?
True
Let a be (-24944)/(-32) - -1*1/2. Suppose a + 1922 = 3*c - 5*h, 4486 = 5*c - 4*h. Suppose -y = -7*y + c. Is y a composite number?
False
Suppose -5*x = -5*i - 10, 0 = -2*x - 0*i - 4*i - 20. Let d be -106 - x/2*1. Let w = d + 328. Is w a prime number?
True
Let u(f) be the third derivative of