osite number?
True
Suppose -5*u = -41 + 16. Let b = -6 + u. Is (-3)/b - (-289 + -1) composite?
False
Let z(s) be the first derivative of 9*s**3 - 3*s**2/2 - s + 15. Is z(-2) composite?
False
Let u = 42 - 47. Let v(s) = -31*s + 23. Is v(u) a composite number?
True
Suppose -y - 731 = -2212. Is y a prime number?
True
Let h(o) = 2044*o**2 + 6*o - 27. Is h(4) prime?
False
Suppose -42*k + 480454 = -8*k. Is k a composite number?
True
Let n = 12 - 18. Let p be (-12)/(-36) - 6394/n. Let m = p - 621. Is m a composite number?
True
Suppose 0 = -10*y + 25841 - 4551. Is y a composite number?
False
Suppose 32 = -5*q - 198. Let f = 65 + q. Is f a prime number?
True
Let v(g) = 1689*g - 145. Is v(2) prime?
False
Suppose 7440 = 15*b + 33*b. Is b prime?
False
Let i(j) be the third derivative of -1/6*j**3 + 33/2*j**4 + 0 + 0*j + 7*j**2. Is i(1) a prime number?
False
Let m(a) = 136*a - 6. Let o = -111 - -121. Is m(o) a prime number?
False
Let o(d) = -d**2 - 8*d - 6. Let w be o(-3). Let i(r) = 51*r - 18. Let p be i(w). Let q = p + -314. Is q prime?
True
Let b be (2 + -7)*318/(-3). Suppose 3*m - 8*m + 2650 = -4*t, 0 = m - 5*t - b. Suppose m - 1785 = -5*p. Is p prime?
True
Let n = 2319 + 4784. Is n prime?
True
Let v = 963 + 415. Is (4 + v/(-8))*-4 prime?
True
Suppose -2*m - 2*r = -12, -2*r + 7 + 11 = 4*m. Let v(b) = 5*b - 12. Is v(m) a composite number?
False
Let j be (-3 - -3)/((-2)/1) - 8. Is (-68964)/(-60) + -2 + j/(-5) a prime number?
False
Suppose -3*s + 3186 = -3*j, 1649 + 1532 = 3*s - 2*j. Is s prime?
False
Suppose 0 = -0*s + 5*s - 46350. Suppose 0*i - s = -2*i. Suppose -4*w + 3*w + 1170 = -n, 4*w + 5*n - i = 0. Is w a composite number?
True
Let k = -2 - 4. Let i(m) be the third derivative of -m**6/120 + m**5/15 - 5*m**4/24 + 5*m**3/6 - 39*m**2. Is i(k) a prime number?
False
Suppose -959652 = -29*s - 7553. Is s prime?
True
Let h be 1 - (-2 + 19 + -1). Let p = h - -72. Suppose 4*w - 181 + p = 0. Is w a composite number?
False
Let k(l) = 24 - 238*l - 26 + 9. Let g be k(4). Is 5/20 + g/(-12) composite?
False
Let o be (-10)/(-1 - 12/8). Is 651 - (-5)/(1*(-10)/o) composite?
True
Let m = -68989 - -131576. Is m prime?
False
Is (-1956)/42*693/(-18) composite?
True
Suppose 0 = 5*v - w - 715, -4*w + 56 - 628 = -4*v. Suppose v = -g + 1150. Is g composite?
True
Let m = 6 - 3. Let a(u) = -u**2 + 4*u - 1. Let h be a(m). Suppose -h*n - 3*j + 0 = -37, -2*n - 2*j + 32 = 0. Is n composite?
False
Suppose -4*u + 21 = 3*b - 25, -b + 12 = 3*u. Let r be 43/(-3) - (-6)/b. Is 6/r + (-2424)/(-21) prime?
False
Is (-1426597)/(-551) - 2/57*3 a prime number?
False
Let p = 17 + -10. Let i(d) = 106*d + 13. Is i(p) a composite number?
True
Let k = -7251 + 13767. Suppose 7*b - k = 4*b. Is b/(-8)*(-2)/3 composite?
False
Let i be 6/(-1 - -2) - -2. Suppose 3*y + i = y. Is 237*(-4*1)/y a prime number?
False
Suppose -2*s + 12 = 2. Let b be (s/(-2))/((-8)/16). Suppose 0 = b*o - o - 1388. Is o a composite number?
False
Let y = 267 + -121. Suppose 3*d - 342 = -5*l, -5*d + l + 396 + y = 0. Is d a prime number?
True
Let n(z) = -z**3 + 7*z**2 + 8*z - 31. Is n(6) a prime number?
True
Suppose 0 = 14*d - 12*d - 62. Is d prime?
True
Let q = -160 - -140. Suppose 4*i - 4 = -20, -3*n + i + 193 = 0. Let g = n + q. Is g prime?
True
Let k(w) = 14*w**3 + 2*w - 3*w**2 + 5 - 2*w**2 + w. Is k(3) composite?
False
Let a = 36640 + -20209. Is a a prime number?
False
Let f(h) be the third derivative of -7*h**5/60 - h**4/8 - h**3 + 5*h**2. Let v be f(6). Let a = v - -479. Is a prime?
False
Suppose 5*v - 24060 = -5*n, -15503 + 1065 = -3*n - v. Let m = n + -1468. Suppose 3*x - 510 = -5*y + m, 0 = -5*x. Is y prime?
False
Let q(a) be the first derivative of a**4/4 - a**3/3 + 110*a - 5. Let w be q(0). Suppose 2*i + w - 492 = 0. Is i a composite number?
False
Let p(b) = -4*b**3 - 8*b**2 - 29*b + 26. Is p(-11) prime?
False
Suppose 0 = -m - 2*g - 21 - 17, 3*g - 216 = 5*m. Let a be (-12)/(-15) - m/(-15). Is (-4 - a/1) + 399 composite?
False
Suppose 0 = 6*v - 8190 - 2766. Is -1 - 2 - (v + 2)/(-2) a composite number?
False
Let b be 52/1*(-111)/(-12). Suppose 0 = -2*o + 2*d - 6*d + 986, -o = -d - b. Is o prime?
False
Let n = 22 - 19. Suppose 5*v - 340 = -k, 4*v + n*k = 210 + 73. Let f = 192 + v. Is f a composite number?
True
Let h(c) = 188*c**2 - 20*c + 59. Is h(4) prime?
False
Is (((-302466)/7)/(-3))/(272/952) prime?
True
Let i = -55 - -56. Is 0 - (i + -286) - (-9 - -7) a prime number?
False
Let r = -2770 - -4921. Let p = -1262 + r. Is p a composite number?
True
Let q = 1952 + 22594. Suppose 0 = 16*z + 5074 - q. Is z a prime number?
True
Suppose 4*o + 16 = -2*n, 9*o - 4*o + n + 26 = 0. Let c(t) = -29*t - 13. Is c(o) prime?
False
Suppose 0*q - 2*q - 74 = 0. Let c = 11 + q. Is c*(9/(-6) - 0) a composite number?
True
Let f(p) = 137*p**2 + 9*p - 4. Is f(5) composite?
True
Let z(c) = 3*c**3 + 8*c**2 - 9*c + 11. Suppose 0 = 2*o + 5*d - 5, -5*o - 2*d + 22 = d. Is z(o) prime?
True
Suppose 0*l - l + 64 = 0. Let a be 15*5/(-20)*l. Let j = 633 + a. Is j composite?
True
Suppose 20 = 7*m - 3*m. Suppose 0 = 5*a - 15, 3*s + m*a + 2 = 17. Suppose s = -7*j + 1889 - 132. Is j a prime number?
True
Is (-112162)/(-5) + 102/170 a composite number?
False
Suppose 2*a - 10 + 2 = 0. Suppose g = -4*w + 2*g + 156, 0 = w + a*g - 39. Is w a prime number?
False
Let p(u) = -2*u**2 - 5*u + 100933. Is p(0) composite?
True
Is (-2)/7 + 432168/56 a composite number?
False
Let f = 86946 - 47269. Is f composite?
True
Suppose -5*c = 3*t + t - 30, -4*c + 2 = t. Suppose -4*j - 24 = -t*j. Suppose -j*y + 669 = -847. Is y a composite number?
False
Suppose -3*l + 285 = -3*a + 33, 0 = 2*l + 4*a - 138. Is l prime?
True
Suppose -5*r - 4*v = -6611, -4*r = -4*v - 504 - 4756. Is r a composite number?
False
Suppose 531*l - 7063 = 524*l. Is l composite?
False
Suppose 0*i + 4*a + 12500 = 4*i, i - 5*a = 3129. Suppose 0 = 3*t + t - i. Is t a prime number?
False
Let n = 510 - 298. Is ((-39)/(-6) + -3)/(2/n) composite?
True
Suppose -4*s = -2*g - 15994 - 738, -2*g = 0. Is s a composite number?
True
Let z = 9893 - 5696. Is z a prime number?
False
Let y be (5/(-2))/((-1)/2). Suppose 3*l - 4004 = y*s + 5588, 5*l + 5*s = 15960. Is l a composite number?
True
Let z(i) = 175*i + 85. Is z(10) composite?
True
Suppose 39*i + 85876 = 599623. Is i prime?
False
Suppose -2*n + 3*j = -19, -4*n = -5*j - 31 - 2. Suppose 3*q = 2*w - 373, -5*w + 5*q = -553 - 377. Suppose -w = -3*t - n*t. Is t a composite number?
False
Let y(u) = -1153*u - 14. Let d(m) = -384*m - 5. Let x(k) = 11*d(k) - 4*y(k). Suppose 10*n - 15*n - 30 = -5*z, -2*n - 14 = -4*z. Is x(z) a composite number?
False
Let z(q) = 142*q**3 + 2*q**2 + q - 2. Is z(1) composite?
True
Let l(h) = -h**3 - 24*h**2 - 24*h - 15. Let j be l(-23). Suppose 5*i - j*i = -3237. Is i prime?
False
Let h = 1734 - 2481. Let r = h + 1078. Is r composite?
False
Let u = -32 - -35. Suppose -g - 2068 = -4*n - 3*g, 3*n - 1551 = -u*g. Is n a prime number?
False
Let z(l) be the third derivative of -35*l**4/24 + l**3/6 + 15*l**2. Is z(-6) a composite number?
False
Let j(c) = 53*c**2 - 59*c - 19. Is j(-15) composite?
False
Let m be (4/10)/((-11)/(-3630)). Suppose -j - m = 44. Let h = 269 + j. Is h prime?
False
Suppose 3*z - 9277 = -j + 13525, -114024 = -5*j - z. Is j prime?
False
Suppose -2*a = 3*d - 3*a - 2284, -4*d - 3*a = -3028. Let t = -506 + d. Is t + (-3 + 9)/2 a composite number?
False
Let w = 2670 + -697. Is w composite?
False
Let f(h) = h**2 - 2*h + 3. Let z be f(2). Suppose 4*r + 5*l = 673, -2*l = -z*r + 2*l + 497. Suppose 3*w - r = -3*i - w, -4*w = -8. Is i a composite number?
False
Let s = -4524 - -10973. Is s prime?
True
Let n(v) = 298*v - 113. Is n(4) a composite number?
True
Suppose 4*m - m - 336612 = -3*q, -q + 2*m = -112189. Is q prime?
True
Suppose -2*l = 3*s - 5659, -2*s + 3782 = 3*l - 4*l. Is s composite?
False
Let t = 13662 + -5003. Is t composite?
True
Let v = 354 - -41. Is v composite?
True
Let p(b) = -b**2 + 8*b + 11. Let j be p(9). Let l(h) = -h**2 + 5*h - 2. Let r be l(j). Suppose 2*q = 4*f - 120, r*f + 0*q + 2*q - 128 = 0. Is f a prime number?
True
Let m = 80906 + -25663. Is m prime?
True
Let l(z) = -13 - 2*z + 3*z + 4 - 2*z. Let k be l(-8). Is (4 - (2 - k)) + 18 a composite number?
False
Let u be 3/(-2)*24/(-18). Suppose -4*s + 8 = 4*b, 5*b + s + u - 8