 i?
True
Let n be ((-24)/(-60))/((-4)/(-7030)). Let f = n + 0. Does 39 divide f?
False
Suppose 12982 + 14746 = 5*r - 4*m, 0 = -5*r - m + 27718. Is r a multiple of 56?
True
Is 79 a factor of 5869 + ((-420)/(-7))/15?
False
Suppose 5*q - 1785 = -4*t + 417, 2*t = 3*q + 1090. Let l = -44 + t. Is l a multiple of 21?
True
Suppose -14 = 47*l - 155. Let v(z) = 2*z**3 - 3*z**2 + 6*z + 3. Does 16 divide v(l)?
True
Suppose -3*h = w + 90 + 67, -5*w = h + 771. Let v = w + 278. Is 31 a factor of v?
True
Let b(s) = 126*s**2 - 13*s**2 - 5*s**2 - s. Is 4 a factor of b(-1)?
False
Suppose -4*z + 4 = 4*f, 10*z - 5*z - 55 = 5*f. Let t(r) = 12*r + 4. Is 19 a factor of t(z)?
True
Suppose -3*u - 2*g + 14408 = -5950, -9 = -3*g. Does 45 divide u?
False
Suppose -5*h - 4*v + 25720 = 0, h + 3*v - 1548 = 3607. Is h a multiple of 30?
False
Suppose -n - 172 = v, 2*v + v + 2*n = -518. Let j = v - -431. Does 6 divide j?
False
Let t be (16 - -4) + 6/2. Suppose 4*y = -4*c + 84, y - t - 10 = 3*c. Is 22 a factor of y?
False
Let h(s) be the first derivative of -s**3/3 - 11*s**2/2 + 1377*s - 292. Is h(0) a multiple of 25?
False
Let g(s) = 5*s**2 + s - 10. Let c be g(-5). Suppose -c*p - 420 = -120*p. Is p a multiple of 4?
False
Let m = 241 + -125. Let p = m - 105. Suppose -p*g = -961 - 7. Does 22 divide g?
True
Let y = -4197 + 5181. Is 4 a factor of y?
True
Let j(t) = 2*t**3 + 146*t**2 + 66*t - 11. Is 59 a factor of j(-72)?
True
Suppose -9*d + 5*d = -5*h + 11410, 2*h - 4564 = -3*d. Suppose -j = -4*u - 3*j + h, u + j = 572. Is 66 a factor of u?
False
Let b be (2 + -4 - -8) + (-4)/2. Suppose 30 = -r + b*q, -r - 4 + 10 = 5*q. Is (-4)/r - (-1652)/49 a multiple of 15?
False
Let i = 9788 - 4654. Does 28 divide i?
False
Suppose -92*l = 73*l - 1947000. Is 108 a factor of l?
False
Let h = -5974 + 13776. Is h a multiple of 47?
True
Suppose 0 = -4*m + 24 - 8. Suppose 5*n - 4*w = 1133, m*n + 0*w = 5*w + 901. Suppose 0 = 3*j + 15, 4*a + j - 6*j - n = 0. Is 17 a factor of a?
True
Let o be (2/((-1)/(-1)))/((-4)/(-6)). Suppose -o*j + 7 + 6 = -v, -4*v - 17 = -5*j. Suppose j*q = 3*z - 65, q - 127 = z - 6*z. Is z a multiple of 4?
False
Suppose -57803 = -19*c + 46049 + 99220. Is c a multiple of 4?
True
Suppose -8*t = -46 + 6. Suppose -2*q = 3*j - 242, t*q = 3*q + 8. Is 10 a factor of j?
False
Suppose -37*z - 2035 = -23421. Is z a multiple of 2?
True
Let h(s) be the second derivative of s**5/20 - 3*s**4/4 - s**3/6 - 6*s. Let t be h(9). Does 4 divide 24/(-18) - 309/t?
False
Let c(m) = -6*m**3 - 2*m**2 + 6*m - 14. Let t be c(3). Does 11 divide ((-33)/(-6) + -3)/((-8)/t)?
True
Let l(u) = -53*u**3 - u**2 + 7*u + 9. Does 15 divide l(-3)?
True
Let w be (20/(-30))/(2/12) - 900. Is w/(-8) + 3 + (0 - -1) a multiple of 3?
True
Let h be (-15)/(-3) - ((-18 - 4) + 11). Let k = -3 - -6. Suppose 0*q = -k*q - 2*p + h, -2*q - 4*p = -24. Is q even?
True
Suppose 0 = 7*d - 116 + 319. Let q = d - -35. Is 20 - (4/q - (-8)/(-12)) a multiple of 8?
False
Let y = -242 + 322. Let c = y + 70. Is c even?
True
Is 2 a factor of ((-1)/(-4))/(29/(-3886))*-24?
True
Let s be 20/60*(-1 - 2). Does 13 divide 5 + (-4 - (-44 + s))?
False
Does 113 divide ((-16445)/(-69))/((-15)/(-18))?
False
Is ((-63244)/(-20) + 21)*25 a multiple of 12?
False
Let r(y) = 579*y + 13985. Does 109 divide r(-17)?
True
Let n = 7792 + -4502. Is n a multiple of 35?
True
Let x = -1562 + 3218. Does 46 divide x?
True
Suppose -5*b + 87 = 7. Does 42 divide (-40)/b*2 - -551?
True
Let l = -57 + 71. Let o = 19 - l. Suppose -o*r + 9*r = 344. Is r a multiple of 11?
False
Let h(r) = 1957*r + 78. Is 19 a factor of h(1)?
False
Let z(j) = 10*j**2 - 14*j - 42. Let f = 444 - 450. Is 12 a factor of z(f)?
False
Does 132 divide (-17563 - 147)*(-6)/5?
True
Let t = -1207 - -2751. Is 12 a factor of t?
False
Let s(y) = -18*y + 113. Let h be s(7). Does 16 divide 64/(-832) + (-9244)/h?
False
Let z(o) = -23*o**3 - o - 1. Let q be (10 + -7)*(8/(-6) - -1). Let c be z(q). Suppose m - 3*y = 83 - c, -3*m = y - 200. Does 11 divide m?
True
Suppose -2*b = 2*j + 978, 914 + 1531 = -5*b + 2*j. Let z = -292 - b. Does 31 divide z?
False
Let k be 262 + 55 + 1*9. Suppose 5*l - 38 = -13. Suppose -3*o + j + k = 0, l*o - 132 = -j + 406. Is o a multiple of 8?
False
Let d = 3533 - 1504. Suppose -5*w + r + d = 0, 0 = -2*w + 3*w - r - 409. Is 38 a factor of w?
False
Let u(n) = 13*n - 110. Let y(g) = g + 1. Let h(p) = -u(p) + 6*y(p). Is 40 a factor of h(-11)?
False
Is (-2 + 4)*(111/4 - 6)*120 a multiple of 6?
True
Suppose 3*g = -g + 16. Suppose -t + 4 = a, 4*t + 2 = 7*a - 8*a. Does 5 divide (-2)/((a/12)/((-10)/g))?
True
Suppose 5*a = -2*r + 32 - 5, -5*a - r + 31 = 0. Let y(g) = -g**3 + 8*g**2 - 8*g - 5. Let z be y(a). Let t(d) = d**3 + 15*d**2 + 20*d + 27. Does 18 divide t(z)?
False
Let a = 1985 + -1301. Is 6 a factor of a?
True
Suppose -9*q = -j - 10*q + 3469, 2*j - 4*q = 6914. Is 21 a factor of j?
True
Let x(m) = -19*m - 53. Let a be x(-3). Does 3 divide 1/2*(a - 6)*-169?
False
Suppose -3*x - 116318 = -4*h - 24104, 0 = 4*x + 8. Is h a multiple of 12?
True
Let w(v) = -3*v**2 + 48*v + 134. Let h be w(26). Let j = -74 - h. Does 52 divide j?
True
Let m be 10737/(-6)*(30/9 + -4). Suppose 4*p - m = 5*v - 0*v, 5*p = -4*v - 938. Let b = v - -332. Is 19 a factor of b?
True
Suppose 521 + 181 = 18*w. Suppose x - 29 - w = 3*r, -2*r = 3*x - 226. Is x a multiple of 8?
False
Suppose 49*l - 432 = 53*l. Is 14 a factor of ((-351)/l)/(2/696)?
False
Suppose 38445 = 5*g + 8620. Suppose 3611 = 28*k - g. Does 6 divide k?
True
Let r(c) be the third derivative of c**6/180 + c**5/60 - c**4/4 - 5*c**3/3 + 3*c**2. Let b(k) be the first derivative of r(k). Is 28 a factor of b(4)?
False
Suppose 5488 + 8456 = 42*h. Is h a multiple of 38?
False
Let w = 26707 - 10486. Does 36 divide w?
False
Let f(o) be the third derivative of -11/2*o**3 + 7/12*o**4 + 1/120*o**6 + 0*o + 31*o**2 + 0 + 7/20*o**5. Is 9 a factor of f(-20)?
False
Suppose 0 = -11*v + 7*v + 324. Suppose v = 16*t - 7*t. Is 3 a factor of t?
True
Let p = -501 + 501. Suppose q - 1918 = -2*w - p*q, 5*q = -3*w + 2863. Is w a multiple of 55?
False
Suppose -565248 = -193*i + 2339065 + 759599. Does 113 divide i?
True
Let v(f) = 0*f + f + 3 - 4*f**3 - 3. Suppose -4*k = -3*z - 7 - 14, 0 = 4*z - 3*k + 21. Is v(z) a multiple of 21?
True
Suppose -f = -p - 1, 2*f + 2 = 2*p - f. Let t(r) = -3*r**3 - 7*r**2 - 8*r - 12. Is 6 a factor of t(p)?
True
Let l = -618 - -622. Suppose -l*b + 4779 = -3*d, -3*d - 1216 = -b + 2*d. Is 71 a factor of b?
False
Suppose 3*k = 21*w - 16*w + 14850, 0 = 3*k + w - 14868. Is k a multiple of 9?
False
Let f(q) = -q**3 - 6*q**2 + 3*q - 15. Let c be f(-7). Is c/(-143) + 10299/33 a multiple of 12?
True
Does 8 divide (4 + -1)*(-1953896)/(-111)?
True
Let s(t) = 19*t**3 - t - 13*t**3 - 7*t**3 + 13*t**2 + 16. Let l be s(13). Is 6 a factor of 1/(((-9)/(-141))/l)?
False
Suppose -4*g = -2*p - 58, 0*g = -4*g - 4*p + 52. Suppose u = -k + 1, -8*u + 3*u = -4*k - g. Is 1/((-146)/74 + u) a multiple of 37?
True
Suppose 3*w + 8220 + 2823 = 5*m, 0 = -3*m + w + 6629. Is 33 a factor of m?
True
Let y(w) be the first derivative of w**6/360 + w**5/120 + w**4/4 - 2*w**3/3 - 9. Let b(u) be the third derivative of y(u). Does 3 divide b(3)?
True
Let f = 1069 - 739. Let h = 0 - 0. Suppose h = -8*m + 11*m - f. Is 22 a factor of m?
True
Suppose 3*u - 5158 = 2*c, -4*u = -7*u + c + 5162. Suppose 3*o + u = -501. Is (18/(-8))/9 - o/4 a multiple of 37?
True
Suppose -3*q - 27371 = -4*k, -30*k + 5*q + 34210 = -25*k. Does 23 divide k?
False
Let a = -571 + 747. Does 37 divide (8 - a/24)/((-2)/(-1599))?
False
Suppose 0 = t - y - 1, 4*t - 2*t - 3*y - 1 = 0. Let u(s) = 4*s**2 - s - 1. Let i be u(t). Is 36 a factor of (-8)/10*(-1170)/i?
True
Suppose -24*d = -20*d - 16. Let m be (4 + 1)/(5 - d). Is (-2)/(m/265*-1) a multiple of 9?
False
Is 18 a factor of (19515 - -9)*1/(-5)*(-20)/6?
False
Let z be (-7)/((-42)/(-24)) - 1. Is (50/(-2))/(z/50) a multiple of 10?
True
Let y(t) = -115*t + 21. Let f(u) = 173*u - 32. Let h(c) = -5*f(c) - 8*y(c). Let s be h(4). Suppose -s - 12 = -4*x. Is 28 a factor of x?
True
Let x be (-35)/(-7)*3/25*25. Suppose 13*n - x*n = 2*j - 206, 3*j + 226 = 2*n. Is 19 a factor of n?
False
Suppose 0 = -2*q - l + 687, -4*q - l = 3*l - 1368. Let t = q - 617. Let c = t - -401. Does 52 divide c?
False
Suppos