Is s a composite number?
False
Let x(m) = m**2 + 16*m - 43. Let z be x(6). Suppose y - 89 = -r, 5*r + 4*y = 4*r + z. Is r composite?
False
Let b(f) = 212*f**2 + 27*f + 17. Let r be b(-7). Let w = -4577 + r. Is w a prime number?
True
Let m be 4/8*2 - 43045. Is ((-2)/6)/(4/m) composite?
True
Let m be -5 + (-2 - -14 - 3). Let w be (-84)/(-16) - 1/m. Suppose -j - 1252 = -i, -w*j - 2813 = 5*i - 9123. Is i a composite number?
True
Suppose 0 = -3*v - 10*i + 6*i + 113685, 3*i - 75788 = -2*v. Is v a prime number?
False
Let i(d) = -d**3 - d**2 - d + 1. Let g(y) = -48*y**3 - 3*y**2 - 3*y + 9. Suppose 6*b - b + 3*a = -32, -20 = 2*b + 3*a. Let c(z) = b*i(z) + g(z). Is c(-4) prime?
True
Let b = 28338 + -15542. Suppose 2*r - 83068 = v - b, -140540 = -4*r + 4*v. Is r a composite number?
True
Let b be (19 - 1)/(10/10). Suppose 6*w = -24 - b. Let t = 74 + w. Is t composite?
False
Let w(t) = -t**3 + t**2 - 4. Let f be w(0). Let q(a) be the first derivative of -118*a**2 + 9*a + 72. Is q(f) a composite number?
False
Is ((-6979)/(-35))/((-5)/(-425)) prime?
False
Suppose -3*j = 211 - 223. Suppose -j*b = -0*b - 35692. Is b composite?
False
Let k(a) be the second derivative of 13*a - 21/2*a**2 + 0 - a**3 + 1/20*a**5 + 11/6*a**4. Is k(-20) prime?
False
Let x(f) = 539*f**3 + f**2 - 37*f + 19. Is x(11) prime?
False
Is (3/2 + 0)/((-2622)/(-1233652748)) composite?
False
Suppose -l + 332 = 1336. Let t = l + 1761. Is t/2 + 3/6 composite?
False
Let s(p) be the second derivative of -p**5/20 + 25*p**4/12 - p**3 + 21*p**2/2 + 24*p - 3. Is s(18) a composite number?
True
Suppose 0 = -3*i - 15, 3*i - i + 18585 = 5*a. Let o = -1708 + a. Suppose k - o = -2*k. Is k composite?
True
Suppose -p + 25 = -o, 0*p - 21 = o + 3*p. Let c be (4/(-6))/(o/(-648)). Is 132/c*(-6)/2 a composite number?
True
Let u be (21/(-12))/(11/(-44)). Let d(t) = 58*t**3 + t**2 + 9*t - 103. Is d(u) composite?
True
Suppose 3*g - 108 = 30*g. Is (5/(100/56))/(g/(-26890)) composite?
True
Suppose -k + 350 = 3*r, 4*k - 439 = -r + 1016. Let x = k - 254. Is (x/6)/((-1)/(-46)) composite?
True
Let f(l) be the third derivative of 13*l**4/12 - 29*l**3/3 - 33*l**2. Let m be f(-6). Let d = 905 + m. Is d prime?
True
Is -194*(20530/80)/(7/(-28)) composite?
True
Suppose 0 = 14*s + 8*s + 607838. Let j = 51342 + s. Is j a composite number?
True
Suppose -5*b - y + 1341340 = 0, 449*b - 1341355 = 444*b - 4*y. Is b composite?
False
Suppose -7*o = 2*n - 1621755, -n + o = -4*o - 810886. Is n prime?
True
Let k(o) = -o + 1. Let n be k(-3). Suppose n*z - 12*i = -7*i + 13939, -5*z + 17408 = -i. Is z prime?
False
Suppose 0 = 5*f + 5*g - 668060, -4*g = -19*f + 20*f - 133609. Is f a composite number?
True
Let h be (-5 - -1) + -1 + 10. Suppose -1 = 2*z + 4*s - 21, -28 = -4*z - h*s. Suppose -2*f = z*f + 4*q - 5040, -2*f = -5*q - 2513. Is f composite?
False
Let g be 9 - 7 - (-1181 - 0). Suppose g = 2*r + 3*p, -5*r + 2938 = p - 0*p. Is r a composite number?
False
Let w(u) = -21*u**3 + 31*u**2 + 19*u + 58. Is w(-9) a composite number?
False
Let s = 1961374 + -183761. Is s a prime number?
False
Let i be (1 + -2)/(4/(-232)). Let p = i + -47. Suppose -4*f + p = -201. Is f prime?
True
Let y(l) = 3246387*l**2 + 589*l - 589. Is y(1) a composite number?
True
Let f = -186 + 189. Is (105942/10)/f*(4 + 1) prime?
True
Is (127482/(-30))/((-5)/(-5))*-35 composite?
True
Let n be (26/6)/((-4324)/1440 - -3). Let o = n - -4099. Is o composite?
False
Let i be 2 + (-3 - -1) + 5. Suppose 0 = 4*f - 3*n + n - 400, -i*f - 3*n + 489 = 0. Suppose 4*q + f = r, 0 = -5*r - 2*q + 3*q + 419. Is r a prime number?
True
Let a = -490 + 493. Suppose 2185 = a*c - 4517. Is c composite?
True
Let u be -2 - (-1167)/2*8. Suppose 3*g - 7*g + u = 3*t, -2*t = -g - 3107. Suppose 2*j = 1244 + t. Is j prime?
True
Let g(r) = -r**3 + 14*r**2 + 24*r - 43. Let x be g(14). Let j = 3980 - x. Is j a composite number?
True
Let i = 1083841 - -864708. Is i composite?
False
Let n(t) = -2*t - 14. Let l(f) = -5*f**2 - 4*f + 2. Let u be l(-2). Let z be n(u). Is (-5)/((-20)/2356) - z/(-3) a composite number?
True
Let q = 784457 - 444294. Is q a prime number?
False
Let u(o) = o - 1. Let w be u(4). Suppose 0 = -4*s + 2*q + 10, -3*q = 4*s - 14 + 19. Is s + 1970 + w - 1 a composite number?
False
Let h be (6 + 1)*(3/1 + -2). Suppose -14*n + h*n = 34146. Let z = -2173 - n. Is z a prime number?
False
Suppose -14*l = -30 - 40. Suppose 4707 = 3*n - 3*y, -l*n - y - 3*y + 7890 = 0. Is n a prime number?
False
Let z = -109 - -102. Let l(a) = -545*a - 6. Let j be l(z). Suppose 3*m + 566 = j. Is m composite?
True
Let a(p) = 48*p**2 - 4*p - 1. Let o be a(-4). Let z = 2456 - o. Is z prime?
False
Let w(g) = 6706*g**2 - 74*g - 357. Is w(-5) prime?
True
Suppose -y - 1 = 7. Let g be (y/(-10))/((-16)/40). Is (-3)/(g/((-80)/(-12))) a composite number?
True
Let x be (-1)/(-2)*-2 + 120. Suppose -4*a + 531 = x. Is a/3 + 7/(-21) a prime number?
False
Is 183135 - 3/(9/12 - 33/22) a prime number?
False
Suppose 38554 = 2*t - 4*n, -n = 11*t - 14*t + 57861. Is t a composite number?
False
Suppose 2*r - 2*v = -18, 2*v - 6*v = 4. Is (-6 + (-1015)/r)*74 a prime number?
False
Let t(u) = 229811*u - 29. Is t(2) a prime number?
True
Let d = -322747 + 492174. Is d a composite number?
False
Suppose r + 18063 = 86190. Is r prime?
False
Suppose -2*u - 5*o - 7 = -u, 2*u + 3*o = 0. Suppose 5*m + 184410 = 5*l, -u*l + 4*m + 110646 = -m. Is l/24 - 2/(-8) composite?
True
Suppose -2*l = 5*a - 34 + 5, 20 = 4*a. Let o be 14/l - (1 + 1). Suppose -o*s - 5*z = -270, -5*s + 5*z = -2*s - 154. Is s prime?
True
Suppose -7*t - 17 + 3 = 0. Is 3 + 694 + t + -4 composite?
False
Let q = 31168 + 91075. Is q prime?
False
Let d(p) = -p**3 - 32*p**2 - 3*p - 68. Let u be d(-32). Is (-26 + u)*15970/4 prime?
False
Is ((-30)/10)/(6 - 500964/83492) composite?
False
Suppose -4*k - 3*b + 22501 = 0, -5*k + b - 16872 = -8*k. Is k a prime number?
True
Let h be 4*(-3)/(-8 - -2)*2. Is 18/h*12418/21 + -2 a composite number?
False
Let u(t) be the second derivative of -1388*t**3 + 35*t**2/2 - 2*t - 25. Is u(-1) prime?
True
Let j(v) = -49*v**2 + 64*v + 10. Let t(x) = -10*x**2 + 13*x + 2. Let b(l) = 2*j(l) - 11*t(l). Is b(-15) composite?
True
Suppose 7*f - x - 423303 = 5*f, -x + 211653 = f. Suppose f = 8*g + 20*g. Is g a composite number?
False
Is -18*((-4)/(-3))/4*(-3446447)/174 a prime number?
True
Suppose 15*d - 53*d = -75620. Let x be 2320/6 + (-1)/(-3). Suppose -d = -z - x. Is z a prime number?
False
Let c(n) = -2*n + 5. Let j be c(0). Suppose 3*b = j*d - 3 - 11, 5*b = d + 6. Suppose 0 = 6*s - s - 4*l - 6957, 3*s + d*l = 4187. Is s a composite number?
True
Let g(w) = -w**3 - 11*w**2 + 19*w - 1. Let q be g(-13). Suppose 9 = q*r - 89*r. Is 2 + 2 - (-6183)/r a prime number?
True
Let a(u) = u - 10. Suppose 2*x = -8*s + 5*s + 49, -3*s + 35 = -5*x. Let t be a(s). Suppose -2*v + 4*b + 9760 = 2*v, 7330 = 3*v - t*b. Is v a prime number?
False
Suppose 15*l - 10*l + 3*t - 1511296 = 0, 9 = -3*t. Is l a prime number?
True
Suppose 3*v + u = 80433, 29*v - 134095 = 24*v + 5*u. Is v a composite number?
False
Let x(s) = s**3 + 22*s**2 - 91*s - 35. Is x(22) a prime number?
True
Suppose -30*b - 185241 = -0*b - 694611. Is b a prime number?
True
Suppose i - 2*w = 4, 7*i - 2*i = 2*w + 4. Suppose 2 = 2*k, i*y - k = -5*y + 42444. Is y composite?
True
Let m = 4910 - -3492. Is m prime?
False
Let r(d) = 95*d**2 + d + 4. Let h be r(3). Let s = -433 + h. Suppose 0*n + n - 4*x - s = 0, 1307 = 3*n - 2*x. Is n composite?
True
Let h(k) = 2*k - 30. Let j be h(15). Suppose -5*r + 2*n + 3*n + 98580 = j, 3*r + 2*n = 59153. Is r prime?
True
Suppose 0 = -o + 3*o - 6. Suppose 2*j = 5*u + 13, -2*u - 32 = -5*j - 10. Is 13 - (o/1 - u) a composite number?
True
Let g = -6 - -9. Let k(n) = -7 + 4*n**g + 10*n**2 - 4*n**3 - n**3 + 3*n + 6*n. Is k(6) prime?
True
Let y(x) = 14*x**3 + 3*x**2 - 3*x + 1. Let v be y(1). Let p(r) be the second derivative of 5*r**3 - 59*r**2/2 - 2*r. Is p(v) composite?
True
Let d(i) = 260*i - 86. Let y be d(-10). Let r = y - -6265. Is r composite?
True
Let l be -4 - -1 - (-112 - 8)/4. Suppose -l*v = -37*v + 29620. Is v a prime number?
False
Suppose -323247 + 71708 = -3*b + 195590. Is b a composite number?
True
Let u = -31534 - -16788. Let r = 4419 - u. Is r a prime number?
False
Suppose 5*n = -3*g + 6, 2*g -