+ 174. Suppose 5*j + 4056 = v*b, 4*b = 4*j + 1940 + 2112. Is b a prime number?
True
Let o be (10 + -2)*(7/(-2) - -4). Is 199236/(-9)*((-55)/10 + o) a prime number?
False
Suppose -3*u - 22 + 34 = 0. Suppose u*g - 5*a = 2725, 3*a = 3*g - 740 - 1300. Suppose 2*m = -x + g, -2424 = -5*m - 4*x - 735. Is m composite?
False
Suppose -1008*x + 1016*x + 15381 = 97229. Is x a composite number?
True
Suppose 572 - 50 = 9*q. Let g = 52 - q. Is 3*((-8)/(-4))/g - -1362 a prime number?
True
Suppose 3*l = -63721 + 6985. Let c = 33925 + l. Is c a prime number?
True
Let p(w) = w**3 + 10*w**2 - 3*w - 10. Let x be p(-10). Suppose -3*b + 32 = x. Suppose 3*f - 5138 = -5*c, -5*c - f + 1028 = -b*c. Is c a prime number?
False
Let a(h) = 171*h - 59. Let k(c) = c + 2. Let r(u) = a(u) - 3*k(u). Is r(24) prime?
True
Suppose -541*c + 227810950 = -247970959. Is c prime?
True
Let h(o) = -178*o - 9. Let q = -48 + 44. Let u be h(q). Let g = u - 230. Is g prime?
False
Let g = -12209 + 12473. Let n = 264 - 83. Suppose 0 = -b - f + n + 87, 5*f = -b + g. Is b prime?
True
Suppose -4 = u, -15868 = -x - 2*u + 4*u. Suppose 4*j = -g - 3*g + x, 2*g - 2*j - 7938 = 0. Is g composite?
False
Suppose 3*r = -11798 + 22292. Suppose -h = -0*h. Suppose -2*n - 4*n + r = h. Is n a composite number?
True
Let s be (-10)/(-10) + -2 + 3. Let v be 5578/9 - 26/(-117). Suppose -5*l + v = 3*h, -s*h + 257 = 3*l - 114. Is l prime?
True
Suppose -4*z + 7*z + 4*j - 5215 = 0, -5*z + 3*j = -8740. Suppose 7*c = 6*c + z. Is c a prime number?
False
Suppose 3*w = 4*g + 5*w - 42, -7 = g + 4*w. Is (23703/(-6))/(g/(-26)) a prime number?
True
Let b(l) = -106704*l**3 + l**2 - l - 3. Is b(-1) prime?
True
Let i(s) = -9*s**3 - 2*s**2 + 2*s + 2. Suppose j + 5*u = 14 + 15, -j + 4*u + 2 = 0. Suppose -j*d - 21 - 21 = 0. Is i(d) a composite number?
True
Suppose 28*n - 519277 = 17*n + 446710. Is n a prime number?
False
Suppose -32*b = -5*b. Suppose 3*u - 4050 = -y + 4*u, 3*y + 2*u - 12145 = b. Is y a prime number?
True
Suppose -4*l + 50 = 5*p, 4*p + 1 - 37 = -4*l. Suppose q = 3*y - 2855, p*y - 10*y - 3802 = -q. Is y composite?
True
Suppose 0 = -51*w + 135*w + 99*w - 5876679. Is w composite?
True
Let g(q) = -2*q**2 + 12*q + 25. Let l be g(-2). Is (7/14)/(l/(-230986)) a composite number?
True
Let t(x) = 2*x**3 + 36*x**2 + 25*x + 41. Let v(u) = -5*u**3 - 107*u**2 - 75*u - 123. Let l(s) = -8*t(s) - 3*v(s). Is l(-14) prime?
False
Suppose 2*h + 0*h - 1766 = 0. Let a = h - 564. Is a a prime number?
False
Let j(i) = 31041*i - 1027. Is j(20) prime?
True
Let t(d) be the second derivative of -13*d**3/6 + 27*d**2/2 - 38*d. Is t(-10) prime?
True
Let b = -8150 + 18492. Is b prime?
False
Suppose -4*t = 3*s - 87921, s + 4*t - 34204 = -4889. Is s prime?
True
Let z(s) = 5*s - 73. Let v be z(15). Is v/((-4)/6) + (-6 - -16342) prime?
True
Let a(z) be the first derivative of -129*z**2/2 + 143*z + 229. Is a(-14) a composite number?
False
Let c(w) = -w**3 - 16*w**2 - 17*w + 13. Let o be c(-16). Let m be o/25 + (-3)/(-5). Is (586/m)/(2 + (-55)/30) composite?
False
Let v(u) = 22*u**2 - 22*u + 128 + 124 - 275. Is v(-15) a prime number?
False
Let c(g) = 43*g**2 + 2*g + 23. Let b(y) be the third derivative of y**6/120 + y**5/12 + y**4/12 + y**3/3 + 4*y**2. Let v be b(-5). Is c(v) composite?
True
Let f(i) be the second derivative of -i**4/3 + i**3/3 + 8371*i**2/2 - 43*i + 2. Is f(0) composite?
True
Let f = -41 + 36. Is f/((-5)/1851) - 4 composite?
False
Let l(i) = 3608*i - 1185. Is l(23) a composite number?
False
Suppose -3003528 = -82*b + 3738266. Is b composite?
False
Suppose 4*s = 4*c - 93076, -4*c = s + 3353 + 19901. Let t = s + 34817. Is t prime?
True
Let w(h) = 13*h - 7. Let q(r) = r**3 + 8*r**2 + 8. Let g be q(-6). Let c be (2/12*3)/(8/g). Is w(c) prime?
False
Let x(f) = 230*f**2 + 12*f + 17. Let b be 5 + 77/(-14) + 14/(-4). Is x(b) composite?
True
Let b be 49902/(-21) - (-4 + (-52)/(-14)). Is (0 - 2 - b) + -3 composite?
False
Suppose 45*x - 23*x - 88 = 0. Suppose 1370 = 2*w - x*j, -4*w - 1080 = -2*j - 3838. Is w a composite number?
False
Suppose -2160 = p + 3*s, -1063 = p - 5*s + 1097. Let j = p + 4678. Is j prime?
False
Let c = 74 - 75. Is c/4*-1 + (-48870)/(-72) a prime number?
False
Let o(a) = 339*a**2 - 24*a - 9. Let k be o(-7). Let f = k + -8956. Is f a prime number?
False
Suppose -44*q = -4*q - 1040. Is (4/(-2))/(q/(-10673)) a composite number?
False
Let k = 11056 - 7651. Let v = -2402 + k. Is v a composite number?
True
Suppose 3*h + h + 2*o = 7276, 3*h - o - 5457 = 0. Let a = h - -4130. Suppose 7*k = a + 4418. Is k prime?
True
Let i = 1858 + 1112. Is i/4 + (-11)/(-22) a composite number?
False
Suppose 1990 = -70*m + 69*m. Let i = m + 3072. Is i a composite number?
True
Let n = -605 - -611. Is (-10 + 12)/(n/13179) a composite number?
True
Let z be -3 - -6 - (2 + 6/(-2)). Suppose 6*h + z*h = 5*h. Suppose h = m + 4, 4*m - 1576 = -3*a + 2137. Is a a composite number?
True
Let q = 294 + -184. Let x be q/25 - (13/(-5) + 3). Suppose 2558 = x*p - 3*b + 643, 2 = -2*b. Is p a prime number?
False
Let m(v) = -9*v. Let b be m(-1). Suppose -5*l + 305 = -3*a, 8*l - 159 = 5*l - 3*a. Suppose -2*d = -2*y + l, -b*y + 4*y = -2*d - 133. Is y a prime number?
False
Is (655/(-15))/(-4 + 7615/1905) a composite number?
True
Suppose -16151 + 233543 = -16*h. Let t = h + 20090. Is t a prime number?
False
Let w = 60277 + -16616. Is w composite?
False
Let m(u) be the third derivative of 7*u**6/8 + 7*u**5/60 - 3*u**4/2 - 5*u**3/2 - 156*u**2. Is m(8) composite?
True
Let c(j) be the third derivative of -77*j**4/4 - 37*j**3/6 + j**2 + 5*j. Is c(-11) composite?
True
Suppose 76235 = -8*v + 463891. Is 4/6 - v/(-3) a prime number?
False
Let n = 296 - 293. Suppose n*j - 2472 - 3297 = 0. Is j composite?
True
Suppose -r - 3*x + 12177 = 3*r, 15223 = 5*r + 2*x. Suppose 0 = -n + 1228 - 3386. Let d = n + r. Is d prime?
True
Suppose 0 = 5*r - 4*t - 30, 0*r - 4*t - 18 = r. Suppose -o + 2*o - 3*s - 344 = 0, -4*s = -r*o + 696. Let h = o + -215. Is h composite?
True
Let d = 311 - 582. Suppose 0 = -31*c - 69*c - 11000. Let v = c - d. Is v composite?
True
Suppose -411*c = -402*c - 530163. Is c a prime number?
True
Let m(z) = 5547*z + 19. Let q be m(4). Suppose -5*p - s = q, 3534 = -p - 5*s - 893. Is (-6)/(-14) + p/(-7) prime?
False
Suppose -5*z - 5*v = 105 - 345, 57 = z + 4*v. Suppose -12*a = -15*a - 9, 5*a = -m - 11. Is m/18 - (-103805)/z a composite number?
True
Suppose -2*l = -2*o - 276416, -4*o - 71 + 75 = 0. Is l prime?
True
Let y(d) = 144541*d - 810. Is y(5) a composite number?
True
Let h(b) = -18*b**3 - 54*b**2 - 32*b + 95. Is h(-22) a prime number?
False
Let b(t) = -13*t + 90. Let f be b(6). Let k(j) = 77*j + 17. Is k(f) a composite number?
False
Let h be (-20)/(-25)*(-5)/(-2). Suppose 3*w - h*q - 277 = 2*q, 2*w - 5*q = 187. Suppose 3*f - 1004 = 2*n - w, -4*n = -5*f + 1523. Is f prime?
False
Let k(h) = 4970*h**2 + 38*h - 29. Is k(8) a composite number?
True
Let s be (-6)/27 + (-14)/18. Let a(t) = -160*t**3 - 2*t**2 - 4*t - 3. Let z be a(s). Let i = z - 112. Is i a composite number?
False
Let m be 2354 + (3 - 8 - -4). Let q = m + -930. Is q composite?
False
Let v(u) = -1836*u - 2. Let n(h) = 1835*h + 2. Let m(d) = -6*n(d) - 5*v(d). Let x(y) = 2745*y + 3. Let i(a) = -7*m(a) - 5*x(a). Is i(-4) prime?
True
Suppose 0 = 77*r - 65*r - 1403436. Is r composite?
False
Let j(y) be the third derivative of 7/24*y**4 - 11*y**2 + 0*y + 3/2*y**3 + 0 + 13/60*y**5. Is j(-5) a prime number?
False
Suppose -i - 1 = 1, -5*j + 2*i = -5374. Suppose 5*s - j + 34 = 0. Suppose 3*o - s = 173. Is o a composite number?
False
Let y = 41 - 36. Suppose -f + 9 + 2 = 2*n, -25 = -2*f - y*n. Suppose -4*u + 1056 + 2527 = i, -u = -f*i - 880. Is u a prime number?
False
Let y(j) = -102*j**3 - 38*j**2 - 18*j - 37. Is y(-15) a composite number?
True
Suppose 2*b + c - 3*c - 32 = 0, 3*b - 48 = 5*c. Suppose -a = 3*a - b, 3*m = 2*a + 250. Suppose -2*o + q + 49 = 0, 4*o - 3*q = -5*q + m. Is o a composite number?
False
Let o be 1*(-674)/(-10) + 4/(-10). Let i = 130 - 70. Let f = o + i. Is f a composite number?
False
Suppose 5*k - 3472617 = o, -5*k - 1613*o = -1616*o - 3472621. Is k composite?
False
Let y be ((-6)/4)/((-12)/56). Suppose -5*b = y*b + 1596. Let m = b - -386. Is m prime?
False
Let k be (-3)/(1*2/(4 - 2)). Is ((-5048 - k)