- 2. Let d be s(4). Let n be 84/(-1) + 30/d. Let z = n - -566. Is z composite?
True
Let y = 13759076 - 8672431. Is y composite?
True
Let i = 1147571 + -542468. Is i a prime number?
False
Suppose 2035*i - 2021063 = 1914*i. Is i a prime number?
True
Suppose 4*m = 8*m - 20. Suppose 4*l - 44 = v, -3*l + 12 = m*v + 2. Is 4/l - 5/((-75)/1224) composite?
True
Let r(b) = -561*b - 57. Let l be r(2). Let h = l + 7676. Is h prime?
False
Suppose 239*d - 248*d = -2826. Let l = d - -1419. Is l a composite number?
False
Is ((-76)/(-57))/((-8)/(-250854)) a prime number?
True
Is (-27616)/15*18/(-4) + 56/280 prime?
False
Let v(m) = -5*m**3 - 3*m**2 - 5*m - 3. Let f be v(-1). Let t = 2187 + -1145. Suppose 2*z - 3*u = t, 4*z + 363 - 2447 = f*u. Is z a prime number?
True
Let a(o) = -4508*o + 2135. Is a(-87) a composite number?
True
Let m = 8 + 0. Let p be (-1087 - -3)*(-4)/m. Suppose -4*g - p = -4*w + 298, 0 = 3*w + 4*g - 637. Is w a composite number?
False
Suppose 0 = -4*y - 5*r + 856067 + 648924, -2*r = 5*y - 1881243. Is y a prime number?
False
Let j(f) = 125*f - 19. Let t(m) = 2*m + 38. Let c be t(-11). Is j(c) composite?
True
Is 8655/10*((-1168)/(-6) - 2/(-3)) composite?
True
Is (-38039*(0 + 1)*1)/(-1) composite?
False
Let t(s) be the first derivative of -s**4/4 - s**3/3 - s**2/2 + 163*s - 704. Let r = 0 - 0. Is t(r) a prime number?
True
Suppose -2*j + 5 = 3*w - 11, 4*w - 18 = -2*j. Suppose -2*n = 5*o - 23863, -w*o + 13144 = -5*n + 3622. Is o prime?
False
Let q(g) = 6*g**3 - 228*g**2 + 22*g - 63. Is q(44) a composite number?
True
Is 5/(-2)*1174170/(-75) composite?
False
Is (-110685292)/(-207) + 9 + 16/36 prime?
False
Let w(l) = l**3 + 7*l**2 + 4*l - 9. Let x be w(-5). Suppose x = -13*r + 6*r. Is 5766/12 + 4/(8/r) prime?
True
Let i(p) = -4*p - 2. Let c be i(-2). Let h be -545*(-3)/3 - (c - 2). Suppose -10*d + 3279 = -h. Is d a composite number?
True
Suppose -10*y + 320890 = -4*b + 6*b, -b = 3*y - 96267. Is y prime?
True
Let v(j) = -14*j - 1. Let g be v(0). Is (g/(-2))/(-1*(-4)/27112) a prime number?
True
Let x = 482 + -466. Suppose -15*s - 1693 = -x*s. Is s composite?
False
Let d be 16/88 - 1250/(-22). Suppose -2*a - d - 603 = 0. Let w = a + 989. Is w a prime number?
True
Let s be 11/(-1*1/1). Let m(q) = -q**3 - 13*q**2 - 24*q - 16. Let d be m(s). Suppose -1 = -c - 3*u + d, 2*c - 2*u - 14 = 0. Is c prime?
True
Let u(a) = -117307*a**3. Is u(-1) prime?
True
Let z(g) = -2*g**3 + 5*g**2 + 13*g - 1. Let x be z(4). Suppose -25866 = -4*o - 5*d, -o - d - x*d + 6461 = 0. Is o a prime number?
True
Suppose q + 0*q - 2 = 0, q + 33 = 5*i. Suppose i*w = 49 - 7. Is 1/w + (2 - (-5393)/6) composite?
True
Let l(i) be the third derivative of 83*i**5/60 + 7*i**4/24 - 23*i**3/6 + 56*i**2. Is l(-9) a composite number?
False
Is (17261470161/156)/67*8/6 a composite number?
True
Suppose -5*v + 3*n = -n - 3087, 2*v = -2*n + 1224. Suppose 0 = g - 4*a + 3 - 14, -3*g + 24 = -3*a. Suppose 1744 = g*z - v. Is z prime?
True
Let n(g) = 49*g - 3. Let v be n(3). Suppose 0 = -3*x - 3*x + v. Suppose i + x - 247 = 0. Is i a composite number?
False
Let n = -3015 + 65144. Is n prime?
True
Is (-1)/2 + 2121122/76 + (2 - 6) a composite number?
True
Suppose 0 = -2*y + 2 + 8. Let r(h) = -4*h - 4*h**2 - 20 + 6*h + y*h**2. Is r(-11) prime?
True
Is 425/(-170)*(-5)/(50/22556) a composite number?
False
Let b(a) = -2*a**2 - 5*a**2 - 11 - a**3 + 30*a - 49*a. Is b(-8) prime?
False
Suppose 2*a = 4*a - c, 2*c - 18 = -5*a. Suppose -4*o = -4, 4*o + a = -3*x + 6. Suppose x = -5*m - 2*j - 696 + 13599, 0 = 5*m + 3*j - 12907. Is m prime?
True
Suppose -11*w - 11119 - 112 = 0. Let g = w - -1562. Is g a prime number?
True
Suppose 0 = -232*q + 4187427 + 9032629. Is q composite?
False
Let g = -3851 + 9352. Is g a prime number?
True
Let g = 723 + -22. Let s = 525 + -593. Let t = s + g. Is t composite?
True
Is 1/2*(17697 - -25) a prime number?
True
Let m(u) = -2083*u**3 - u**2 - 68*u - 538. Is m(-6) a composite number?
True
Suppose -246333 = -22*h + 116161. Is h a composite number?
False
Suppose -10*g + 36 = -4*g. Suppose -g*x + 33 = 15. Suppose -x*u - 9 = 0, -2*z + 3*u = 8*u - 283. Is z composite?
False
Is 6/(-36)*78 + 321902 a prime number?
True
Let b = -19 - 89. Let u be (-2 - -4)/((-2)/b). Let x = 429 + u. Is x a prime number?
False
Let t(f) = -23*f**3 + 3*f**2 + 3*f - 5. Let y = 45 + -53. Let w be (1/2*y)/2. Is t(w) a composite number?
True
Suppose -13*u = 3 - 3. Let r be 4*(12/16 - u). Is ((-1366)/r)/(10/(-15)) a composite number?
False
Let p = 8655 - 3320. Let l(d) = d**2 - 3*d - 4. Let n be l(4). Suppose 2*y + 3*y - p = n. Is y a composite number?
True
Let s(g) = 17*g**2 - 6*g + 1335743. Is s(0) a composite number?
False
Suppose -p + 4*n = -63343, -56*p = -52*p - 4*n - 253336. Is p composite?
False
Let r be ((-2)/4)/(-3 - (-10886)/3628). Let y = 3276 + r. Suppose 0 = -2*v - 743 + y. Is v prime?
False
Let n = 1823843 + -381660. Is n prime?
False
Let s(j) = 2063*j**2 + 4*j - 4. Let v = 192 + -191. Is s(v) prime?
True
Suppose -3867878 = -3271*x + 3257*x. Is x composite?
False
Let j(s) = -18*s**3 + 3*s**2 - 5. Let l = -39 + 49. Suppose h - 36 = l*h. Is j(h) prime?
False
Suppose 6*u + 2*l + 691111 = 9*u, l = 2*u - 460740. Is u composite?
False
Suppose 3*u = 2*z - 5660, -4*u + 3300 - 10842 = -5*z. Let c(v) = -67*v**2 - 185*v - 17. Let k be c(-8). Let j = u - k. Is j composite?
False
Let d(b) = -2*b**3 - 21*b**2 + 45*b + 4. Let q be d(12). Let y = q - -10443. Is y a prime number?
True
Suppose -l - 1255 = -39. Suppose 12749 - 1700 = 5*r - 3*g, 5*g = -4*r + 8854. Let c = r + l. Is c composite?
True
Let z(u) = 140*u + 1 + 1932*u + 370*u. Is z(2) a composite number?
True
Let r(v) be the third derivative of -1943*v**4/12 - 7*v**3/6 - 5*v**2 + v. Is r(-2) a composite number?
True
Let y = -36 - 12. Let j be (-1)/5 + y/(-15). Suppose j*z = 5*z - 2522. Is z prime?
False
Let f be (-3)/6 - 846/12. Let q = f + 32. Let s = -17 - q. Is s a prime number?
False
Suppose 5*p + 54 = -6. Let z be (-2)/p*-3*(1 - 5). Let y(i) = 118*i**2 - 4*i + 5. Is y(z) a prime number?
False
Suppose k = -30*y + 33*y + 62668, -2*k + 125391 = 5*y. Is k composite?
False
Let w(f) = 6*f**2 - 8*f - 1 + 5*f**2 + 15*f**2 + 2*f**3 - 39*f**2. Let t be w(7). Is (-16)/t*251/2 a prime number?
True
Let g be 3*4/(-24)*(-1 + -7). Is g + (1 - -3 - 77732/(-4)) a composite number?
False
Suppose p - 64822 = -3*u, 3*p - 194486 = 4*u - 9*u. Is p composite?
True
Suppose -3*j - 53 = -3*z - 557, -z - 166 = j. Let w = z - -418. Suppose -4*p + 2301 = 3*u - w, 2*u - 2556 = -4*p. Is p a composite number?
False
Suppose 20*z - 16569445 = 2029815. Is z prime?
True
Let l(s) = -184*s**3 - 11*s**2 - 4*s - 65. Let p be l(-8). Suppose 0 = -4*n - c + 74778, 35*n + 2*c = 30*n + p. Is n composite?
True
Let j = -12336 + 194493. Is j a composite number?
True
Let j(u) = -237*u + 13. Let z be j(-8). Let m = z + 670. Is m composite?
False
Let x(f) = f**3 + 124*f**2 - 103*f - 724. Is x(-123) a composite number?
True
Suppose 0 = -4*f - 12*n + 9*n + 435281, 0 = f + n - 108820. Is f a prime number?
True
Suppose 0 = 2*k + 6*k + 928. Is k*4/32*-82 a prime number?
False
Suppose 10 = -5*z + 7*z. Suppose 4*o - 1775 = -5*y, -z*o - y + 2209 = 2*y. Let v = o + -133. Is v composite?
False
Let t(z) = 877*z**2 - 6*z + 22. Is t(3) prime?
False
Let h = 1 - 10. Is 2583/(-6)*6/h prime?
False
Let y(p) be the first derivative of -p**4/4 - 3*p**3 - 5*p**2 - 2*p + 1. Let c be y(-8). Is 9668/c + (-3)/(-28)*4 a composite number?
False
Let k be 3/((-4)/(76/(-3))). Suppose -5*a = h + h - k, -3*h = -3*a + 3. Suppose 0 = -h*b + b + 1249. Is b a prime number?
True
Let k be (-8 + 5)/((-3)/(-2)) - -6. Suppose -1277 = k*f + 759. Is f/(-2*(-4)/(-8)) prime?
True
Suppose 19840 = -5*a + 5*u, a - 7957 = 3*a + 5*u. Let o = -2626 - a. Is o a composite number?
True
Let f(x) = -x**2 + 13*x - 8. Let p be f(12). Suppose 2*k - 639 = 3*i + 1507, 0 = -p*k - i + 4264. Is (-6 - (-4 - -1)) + k + -3 a prime number?
True
Suppose 103*d = -2*c + 99*d + 5700, 0 = 4*c + 5*d - 11394. Is c composite?
True
Let j(s) be the first derivative of -s**4/4 + 4*s**3/3 - 5*s**2/2 + 4*s - 29. Let b be j(3). Is 2817 + (-4)/(-1) + b prime?
True
Let c be (-16920)/264 - (-1)/11. Let w = c + 68. Suppose w*z - 1415 = -q - 0*z, 2*q - 3*z - 2830 = 0. Is q prime?
False
Let w = 11