ite?
True
Let l = 8558 + -5076. Is l composite?
True
Let z = 21 - 17. Suppose -w = -1 - z. Suppose 16 = 2*y + w*b - 27, -b = -5. Is y composite?
True
Let l = 9 - 6. Suppose 4*y = 1 + l. Is (1/(-3))/(y/(-57)) composite?
False
Suppose 3*n + 2*b - b = 119, 61 = n - 5*b. Let m = n + -23. Is (-2)/(-4) + 2925/m composite?
False
Let v be -1 + -20 - (-15 + 11). Let c = v - -22. Suppose 0 = 5*d - 5*k - 2104 - 816, 4*d - 2339 = c*k. Is d composite?
True
Let a = -75 + 221. Suppose -105 = -y + 4*d + a, 5*d = 4*y - 1004. Is y prime?
True
Let z(t) = -t**3 - 4*t**2 - 2*t - 5. Let g be z(-4). Suppose -2*y - 5*s = -1185, 0 = -g*y - 2*s + 2042 - 292. Let p = -313 + y. Is p prime?
False
Let l(m) = -14*m**3 - 3*m**2 + 8*m + 9. Let d be l(-7). Suppose -2*x - 410 = -d. Is x a composite number?
False
Let j = 494 - 166. Suppose 6*i - 1646 = j. Is i a composite number?
True
Suppose t - 397 = -2*w, -104 = -5*t + 3*w + 1842. Is t composite?
True
Let t = 4729 - 3239. Let b = -681 + t. Is b a prime number?
True
Suppose u - 2*g + 2 = -0, -3*u - g = -15. Suppose u*o - 1090 = 130. Is o a prime number?
False
Let s(q) = -6*q**3 + 10*q**2 - 63*q + 57. Is s(-16) composite?
False
Let f(t) = -367*t**3 + 16*t**2 + 17*t - 5. Is f(-7) prime?
True
Let n = -25 + 13. Let w be (-8 - n)/(1*2). Suppose -w*g - 1034 = -4*b, -b - 3*g = -g - 251. Is b composite?
False
Let m(s) = -13*s - 62 + 18 + 10*s - 12*s. Is m(-10) prime?
False
Suppose 2*b = 6*b - 6172. Is b composite?
False
Suppose 0 = 5*n - n - 8. Suppose 3*i = -n*i + 25. Suppose -i*p + 79 = -4*p. Is p a prime number?
True
Let u(h) be the third derivative of h**2 + 5/6*h**3 + 7/24*h**4 + 0*h + 0. Is u(6) a prime number?
True
Suppose 4*a + 2*m - 3651 = 3*a, -5*a = -3*m - 18190. Is a composite?
True
Let l(s) = 3*s - 22. Let j be l(6). Is ((-7)/(42/j))/(4/3462) a composite number?
False
Let m(u) = -4*u - 19. Let y be m(-6). Suppose 0 = y*t - c - 1763, -4*t + 1408 = -0*t - 2*c. Is t a composite number?
False
Let k be 2/((32/2292)/4). Suppose 2*w - k = -3*u, -195 = -2*u + 4*w + 187. Is u prime?
True
Suppose o - 22 = 5*k, -4*k - 24 = -2*o + k. Suppose -d + o*d - 5*q - 873 = 0, 5*d - 4249 = -4*q. Is d a composite number?
False
Suppose -c + 8 = c. Suppose -z + 6950 = c*z + v, 3*z - 4148 = -5*v. Is z a composite number?
True
Let h = -21 - -32. Suppose -2*v + 2*f = -12, -5*v + f + h = -15. Suppose -118 - 1143 = -p - 3*b, v*b = -4*p + 5058. Is p a composite number?
True
Suppose 20 = -4*l, 4*r + l + 782 = -l. Let x = 350 + r. Is x a prime number?
True
Let v(s) = -74*s - 53. Let g(o) = -10*o + 41. Let h be g(5). Is v(h) a prime number?
True
Is 1 + 3 - 5550/((-2)/1) a composite number?
True
Suppose -2*z = -2*t + 5*t + 565, -z + 2*t - 286 = 0. Let i = z + -10. Let j = i - -531. Is j a composite number?
True
Let y = -3728 - -8511. Is y a prime number?
True
Is (-243)/((-3)/3)*43 + 2 a composite number?
True
Suppose 186*s - 3379999 = 145*s. Is s a composite number?
True
Let g = 106 + -103. Is -1 + g + 7 - (2 - 3) prime?
False
Suppose -5*a = y + 61, 5*y - 1 = -4*a - 54. Is 2*a/8 - -706 a prime number?
False
Let b be 2/(-6) - 62/(-6). Let z(m) be the first derivative of -m**4/4 + 14*m**3/3 - 7*m**2/2 - 13*m + 4. Is z(b) composite?
False
Let w(u) = -u**3 + 6*u**2 + 7*u - 3. Let v be w(6). Let m = -219 + v. Let o = m + 365. Is o a composite number?
True
Suppose -3*o + 19 = 4. Suppose y - 5*x = -x + 281, -4*y = -o*x - 1080. Is y composite?
True
Suppose -8 = -4*a - b - 3, 0 = b + 3. Let y = -6 - -11. Suppose 0 = -q + 2, a*n = n + y*q + 25. Is n composite?
True
Let u(i) = i**3 + 10*i**2 - 23*i + 5. Suppose 5 = 11*k + 104. Is u(k) composite?
False
Let b(n) be the second derivative of 40*n**3/3 + 23*n**2/2 - 8*n. Let x(w) = 53*w + 15. Let f(y) = 5*b(y) - 8*x(y). Is f(-9) prime?
True
Let n(w) = -485*w - 195. Is n(-20) prime?
False
Suppose 5*m + 3*y - 19393 = 0, 3*m = -4*y + 19139 - 7512. Is m prime?
True
Let n = -13625 - -31744. Is n a prime number?
True
Suppose 0*n + 5*n - 15 = 3*r, -5*n + 15 = 3*r. Is ((-28330)/(-5) - n) + 0 prime?
False
Let u = -12546 - -21143. Is u prime?
True
Suppose 52343 = 16*s + s. Is s composite?
False
Suppose -2*z - 3548 = 2*z. Let s = 1520 + z. Suppose 3*k = -5*g + 633, 3*k + 2*g = g + s. Is k a prime number?
True
Suppose 0 = 5*n - 3*k + 2*k - 14499, 16 = -4*k. Is n composite?
True
Suppose 4 = -2*h, -h = 2*v - 3*h - 8. Suppose -3*g = -v*i + 38, 2*i = 2*g + i + 24. Let x(k) = 2*k**2 + 10*k + 3. Is x(g) a composite number?
False
Let p be (-2 + (-21)/(-9))*(7 - 1). Suppose -3*w = j + p*j - 2559, 2*j = 0. Is w composite?
False
Let m = -1 - -5. Let s = -11 + m. Is (1 + s)/(1 + -2) prime?
False
Suppose -61 - 11 = 9*d. Is (-5914)/d + 5/(-20) a prime number?
True
Let n = -24 + -89. Suppose -2*z = 31 + 125. Let p = z - n. Is p a prime number?
False
Is ((-26)/(-52))/(1/11626) prime?
True
Suppose 3*g + 0*g = 3. Let u = g + -4. Is -3 + (-266)/(-2) + u composite?
False
Let t be (-3)/((-52)/(-40) - 1). Let u be t/3*(-276)/8. Suppose -3*i + i = -3*s - u, 12 = -4*s. Is i a prime number?
True
Is 2/4 - 43092/(-8) a composite number?
False
Is -5 + (8/4)/(2/13396) prime?
False
Suppose 23*h = 22*h + 759. Suppose -d - o + h = 0, 3*d + 2*d - 3793 = -3*o. Is d prime?
False
Let x(k) = k**2 + 2*k - 3. Let v be x(8). Is (47/(-1))/((21/(-3))/v) a composite number?
True
Suppose -17*t = -10*t - 3808. Let y = t + 411. Is y prime?
False
Let i be 12/60 - 6/5. Let u be (5 + -3 - i) + 75. Is ((-176)/24)/((-4)/u) a prime number?
False
Suppose 6*y - 1588 = 3548. Suppose 4*a - 3*m - 1715 = 0, 3*a = a + 2*m + y. Is a a prime number?
True
Let o = 5 - 6. Let c = o + 12. Suppose 5*s - c = 19. Is s composite?
True
Let c be (-10 - 9) + -1*2. Is (c/(-14))/((-1)/(-156)) + 3 prime?
False
Let k be ((-32268)/(-15))/((-2)/(-40)). Suppose 4*f + s = -f + k, -4 = -s. Is 1/(3/f*4) a composite number?
True
Let t(x) = x. Let q(g) = 266*g. Let j(o) = -q(o) - 21*t(o). Let i(s) = s**2 - 10. Let m be i(3). Is j(m) composite?
True
Suppose 2*l - 4*q - 2474 = -9*q, l + q = 1243. Is l composite?
True
Let i(j) = j**3 - 5*j**2 - j - 5. Let z be i(5). Let o be ((-20)/12)/(-3 + (-196)/(-72)). Is 15/z*(-424)/o a prime number?
False
Let n be 6 + 0 - (0 + 4). Suppose -2*p + 1512 = 4*z, -2*z + z + 383 = -n*p. Is z prime?
True
Suppose -3 = -3*j, 0 = -3*r + 4*j + j + 1. Is r*(-3249)/(-6) + -1 prime?
False
Suppose -2*g = -15*g + 127283. Is g a composite number?
False
Suppose 3*f = -2*k - 5 + 209, 3*k = f + 317. Let g = -12 + k. Is g composite?
True
Let v = -17797 + 27124. Is v a composite number?
True
Let g = 67 - -2710. Is g a prime number?
True
Suppose -15*m = -13*m - 36. Is (-2217)/(-5) + m/(-45) composite?
False
Suppose u = 0, -1891 = 2*h - 4*u + 1169. Let c = -1049 - h. Suppose -c = -5*o + 4*o. Is o a composite number?
True
Let c(s) = 3*s + 17. Let z be c(-5). Is (6/4)/(z*18/6312) a composite number?
False
Let q(u) = 152*u**2 - 10*u + 19. Is q(4) a prime number?
True
Let m be ((-12)/10)/(33/(-220)). Let w(b) = 12*b - 13. Is w(m) composite?
False
Suppose -3*j + 1487 = k - 5*j, 4*k + 2*j - 5998 = 0. Is k a composite number?
True
Let x be ((-38162)/5)/(38/(-95)). Suppose -6221 = -y + i, -x = -2*y + 4*i - 6631. Is y a prime number?
True
Let c(m) = -18*m + 305. Let x be c(34). Let l = -2 + 2. Is l + (4 - 2) - x a composite number?
True
Let i = 2023 - -298. Is i a composite number?
True
Let l be 6/(-9) + 3260/(-6)*-2. Let b = -187 + l. Is b composite?
True
Suppose 0 = 2*n, -3*g = -g - 5*n. Suppose -5*p = -3*c - g*c + 4083, 0 = -4*p. Is c prime?
True
Let z(i) = -15 - 93*i - 5 - 9. Is z(-7) prime?
False
Is (16/6 + -3)*(5 + -94886) prime?
True
Suppose 4*a - 2 = 18. Suppose 0 = 5*m + 38 - 53. Suppose 170 = m*h + a. Is h prime?
False
Suppose -2*w = 5*k + 21, 2 = 3*w + 2*k + 6. Suppose -w*v = -595 - 83. Is v composite?
True
Is 1/((-627346)/(-78418) - 8) prime?
True
Let k be -1 - 31*(-1 - 0). Let o = k + -15. Is ((-63)/o)/((-6)/20) prime?
False
Let a(o) = o**2 - 3*o + 5. Suppose 6*w - 3*w - 18 = 0. Suppose 0 = -4*d + 5*d + w. Is a(d) a prime number?
True
Let t(x) = -3*x - 3. Let q be t(-3). Suppose q = y - 3*y, -2*k = 3*y - 3683. Let u = -1169 + k. Is u prime?
True
Let h(b) = b**3 - 25*b**2 - 55*b - 206. Is h(29) composite?
True
Let s = -3188 - -9167. Is s a composite number?
True
Suppose 7*x = 2*x + 65. Suppose 4