 95 + 33. Suppose -5*i = -3*i - s. Is 23 a factor of l(i)?
False
Let r be ((-24)/20)/(11/(-55)). Suppose r*k - 8 = 280. Is 3 a factor of k?
True
Suppose -5*m + 172 = -1208. Suppose -10*s + m = -12*s. Let c = 249 + s. Is 13 a factor of c?
False
Suppose -91 - 3813 = -4*x. Let g = x + -568. Does 32 divide g?
False
Let q be (1 + -2 + 2)/(3/(-12)). Let g be (1/4 + 0)*q. Let c(w) = -65*w**3 - w**2. Is 20 a factor of c(g)?
False
Let q = -76 - -76. Suppose q = -9*u + 16*u - 434. Suppose -s + 40 = -u. Is s a multiple of 13?
False
Suppose -2*l - 7*l + 1512 = 0. Suppose t - 168 = 4*f - 0*f, 0 = -t - 3*f + l. Is t a multiple of 6?
True
Let p(z) be the first derivative of 113*z**2/2 - 5*z + 5. Suppose 3*s = -5*m + 23 - 3, 0 = 3*s - 15. Does 6 divide p(m)?
True
Let j(a) = -3*a - 36. Let z(y) be the third derivative of 2*y**4/3 + 89*y**3/3 - 37*y**2. Let u(r) = -11*j(r) - 2*z(r). Is u(20) a multiple of 15?
True
Suppose -1 = 2*l - 7, 4*t + 93 = -l. Let o be 1*(-140 + t/(-6)). Let j = o + 148. Is 5 a factor of j?
False
Let q = -393 - -383. Let r(k) = -22*k + 86. Is 87 a factor of r(q)?
False
Let y(b) = b**2 + b - 8. Let d be y(-9). Let l = d + -47. Suppose 2*u - l = 263. Does 14 divide u?
True
Is (-252)/27*(-4 + 5555/(-10)) a multiple of 69?
False
Let n(x) = -23 + 3*x**2 - 10 + x**3 - 2*x**2 + 3*x - 16*x**2. Let p be n(15). Is (-16 + p)*8/(-2) a multiple of 14?
False
Let v(p) = -p**3 + 7*p**2 + 7*p + 10. Let u be v(8). Suppose -w = -5*j + 10, -7*w = 2*j - u*w - 31. Does 13 divide (-17)/2*(-14)/j*3?
False
Suppose 2*g - 14819 = -3*i + 1599, 4*g = 8*i - 43772. Is i a multiple of 72?
True
Let p(j) = 3*j**2 - 21*j - 235. Is p(-11) a multiple of 2?
False
Suppose 0 = -4*l + 90 - 90. Suppose q + 1828 = 5*b - 1160, l = 2*b - 4*q - 1188. Is b a multiple of 26?
True
Let w(g) = -g**3 - 8*g**2 - 8*g + 7. Let u be w(-7). Suppose 10*j - 194 + u = 0. Suppose 2*c + 2*i - 54 = 0, -5*i = -2 - j. Is 3 a factor of c?
False
Let z be (-126)/(-84)*((-1744)/6 - 2). Let c = z - -630. Is 15 a factor of c?
False
Suppose 2*z = -2*b - 48, -5*b - 11*z + 12*z - 132 = 0. Is 12 a factor of (b/(-65))/((-3)/(-105))?
False
Let d(h) = h**2 - 20*h + 62. Let f be d(16). Let q be (f/3)/((-1)/45). Is 4 a factor of (-189)/(-17) - (1 + q/(-34))?
False
Suppose 2*g = x - 3528, x = g + 3860 - 328. Suppose -57*r + 65*r - x = 0. Is 11 a factor of r?
False
Is 111 a factor of ((-328)/(-287))/(3/((-505785)/(-10)))?
False
Suppose 3*w + 742 = 2*a, 3*a = 5*w - 634 + 1748. Is a*6/(-30)*-5 a multiple of 16?
True
Suppose 2597 = -4*w + 8225. Let y = w - 988. Does 12 divide y?
False
Let m(z) = z**3 + 4*z**2 - 12. Let x be m(-5). Let w = x + 148. Is 5 a factor of w?
False
Suppose 2*k = -4*x + 906 - 80, 1046 = 5*x - 2*k. Let i = -1992 - -1997. Suppose i*z - x = z. Is 26 a factor of z?
True
Suppose -43*z + 10*z = -3036. Let d = z - -232. Is 6 a factor of d?
True
Let k = -283 + 429. Suppose 4*l = 2*l + 4*p + k, 4*p = -4. Let s = l - -64. Is s a multiple of 15?
True
Let x(y) = 3112*y**2 + 3. Does 35 divide x(-1)?
True
Let w(z) = 3*z + 12. Let s be w(1). Suppose 12*d - s*d + u + 814 = 0, -d - 4*u = -254. Is d a multiple of 27?
True
Suppose -5*l + 734 = -o + 9178, 25319 = 3*o - 2*l. Does 12 divide o?
False
Let u = -618 + 1086. Let f = -328 + u. Does 7 divide f?
True
Let w(l) = -2*l**2 + 103*l + 204. Let d(m) = -m**2 + 68*m + 136. Let z(o) = 7*d(o) - 5*w(o). Is 12 a factor of z(18)?
False
Let z(w) = w + 1. Let g(t) = t + 4. Let r(m) = -2*g(m) + 4*z(m). Is r(20) even?
True
Suppose 0 = -377*f + 373*f - 2*d + 35588, -5*f - 4*d = -44485. Is f a multiple of 3?
False
Let i = 23193 - 23180. Let t(g) be the third derivative of -g**5/30 + 31*g**4/24 - 16*g**3/3 + g**2. Does 5 divide t(i)?
False
Let t be (-33)/44 + (-1)/((-8)/(-42)). Let d(w) = -w**3 - 6*w**2 - 8*w - 1. Let y be d(t). Let l = y + -13. Is 17 a factor of l?
True
Let c = 71524 + -17124. Is 31 a factor of c?
False
Suppose -7*l = -362 + 47. Let u = l + 4. Let i = 119 - u. Does 38 divide i?
False
Suppose 1617 = -6*f - 59511. Let h be (-1*3)/((-54)/f). Let b = -390 - h. Is 44 a factor of b?
True
Suppose -4*s + 28 = 4*o, -4*s + 18 = 3*o - 4*o. Is ((-2139)/(-6) - -3)*o a multiple of 15?
False
Let r(k) = k**3 + 33*k**2 + 45*k - 336. Does 8 divide r(-27)?
False
Is 6 a factor of (-1678)/(-1) - (33 - 30)?
False
Let g(f) = f**3 + 13*f**2 - 23*f + 14. Suppose 3*h = 5*a - 27 - 18, -2*h - 2*a = 30. Let v be g(h). Let z = -53 - v. Is 6 a factor of z?
False
Let t(v) = 5*v - 206. Let f be t(40). Is 279*(-4 + (-82)/f + -4) a multiple of 93?
True
Let w be (1 - 3835) + (8/2)/(-1). Let q = w - -5598. Is 29 a factor of q?
False
Suppose 4*b - 3*s = 24 - 1, -5*b = -s - 26. Suppose 10 = -5*a, 4*d - b*a - 1756 = 78. Does 22 divide d?
False
Let y = 2647 - -16393. Is y a multiple of 32?
True
Suppose 7*j - 5*j + 3152 = 5*o, -3172 = -5*o - 3*j. Does 2 divide o?
True
Let s = 50 + -53. Let v be (3 - -2) + (s - -2). Suppose -3 = -a - v, -603 = -5*w + 3*a. Is 21 a factor of w?
False
Suppose 12*d = 8705 + 8107. Suppose -10*l + d = -2469. Is 67 a factor of l?
False
Suppose 0*g = 5*s + 2*g - 34, -2*g - 6 = 0. Suppose -2986 = -s*n - 810. Is 8 a factor of n?
True
Let o = 101 + 9691. Is o a multiple of 144?
True
Suppose 0 = 5*y, 0 = -z + 2*z - y - 49. Let q = z + -121. Let h = 89 + q. Is h even?
False
Let b = 381 - -114. Suppose 2*y + 3*p = -0*p + b, 3*y - p = 737. Is y a multiple of 6?
True
Let l = 20 - 2. Let r be 2 - (0 + 5) - (19 - l). Let s(g) = 3*g**2 + 2*g - 5. Does 2 divide s(r)?
False
Suppose 37*r - 35*r + 4*t + 6 = 0, -2*t = 2*r - 2. Does 37 divide (r/(-2))/(((-1740)/6768)/29)?
False
Let p(m) = -m**3 + 14*m**2 + 2*m - 165. Let k be (28/8 + -4)/((-2)/48). Is p(k) a multiple of 7?
True
Let a(j) = -551*j + 634. Is a(-4) a multiple of 150?
False
Let d = 112 - 108. Suppose -d*u + 97 = -0*u - j, 2*u + 2*j = 46. Is u a multiple of 7?
False
Suppose -3*j - 239772 = -2*j - 27*j. Does 76 divide j?
False
Suppose -2*r = -2*h + 40210, 26*h + 5*r - 20075 = 25*h. Does 112 divide h?
False
Let b = 495 - 490. Suppose 2*a - 5*a - 4535 = -5*g, b*g = -5*a + 4575. Is g a multiple of 70?
True
Suppose 2*j = 3*z - 8, -2*j + 7*z = 2*z + 16. Let i be (5 - 47)*(3 - 2 - j). Suppose 4*n = 2*s + 3*n - 80, s - n - i = 0. Is s a multiple of 12?
False
Suppose -13*d + 24 = -25*d. Let o be 6/(-18) - d/(6/433). Suppose -7*z + o = -z. Is z a multiple of 4?
True
Let n = -66 - 137. Let l = n - -1099. Is 64 a factor of l?
True
Suppose -3*z + 32 - 7 = -a, -5*a = -z + 125. Suppose -15*l + 25*l + 7 = 3*l. Is 14 a factor of (-13 - a)*(0 + l - -14)?
False
Suppose 5*v - 10 + 5 = 0. Let y be (v + (-17)/5)/((-6)/15). Let z(m) = m**3 - 5*m**2 + 9*m - 2. Is 8 a factor of z(y)?
True
Let l(r) = 192*r + 952. Is l(21) a multiple of 14?
True
Suppose 3*w - 12 = 0, -4*h + 4*w = w + 4. Suppose 3*f = -4*x + 1544, -5*x + 5*f + 1930 = h*f. Suppose -5*v = -7*v + x. Does 46 divide v?
False
Let w be -2 + -2*15/(-6). Let a be 105/28*(-2)/w*-4. Suppose -4*x = -5*x - 5*m + 14, x + m - a = 0. Is 3 a factor of x?
True
Let n = -11874 + 21412. Is n a multiple of 201?
False
Let d = -8 + 3165. Does 16 divide d?
False
Let b(m) = -55*m - 87. Let a be b(-20). Suppose c + 15 = 4*c. Suppose c*q - 437 = a. Is 42 a factor of q?
False
Is 12901 + 8 + -7 + 10 a multiple of 12?
True
Let n(b) = -2*b**2 - 143*b - 302. Is n(-44) a multiple of 18?
False
Suppose 4*l + z + 415 = 6*l, 0 = 2*l - 4*z - 412. Suppose -l - 229 = -23*d. Is d a multiple of 6?
False
Suppose 7*s = 40221 + 8702. Does 15 divide s?
False
Suppose 31282 = 4*f + 3*a, 0 = 3*f - 76*a + 75*a - 23455. Is f a multiple of 20?
False
Let u be (-1 - (-2)/3)/(15/45). Let s(a) = 190*a - 265*a**3 - 188*a - 4*a**2 + 1 + 3*a**2. Does 31 divide s(u)?
False
Let r = 40 + -26. Let b(i) = 52*i + 30*i - 7 - 66*i - i**2. Is b(r) a multiple of 4?
False
Let g = 440 - 443. Is ((-4)/(-10))/((6/(-2335))/g) a multiple of 81?
False
Let l be (-87)/(-15) - (-3 - (-70)/25). Suppose -l*j = -394 - 758. Does 48 divide j?
True
Let f be 114/133 + (-128)/(-14). Suppose -97 = -4*r + 683. Is (-4 - (-46)/f)*r a multiple of 13?
True
Let x(p) = -4*p**3 - 54*p**2 - 687*p - 10. Is 42 a factor of x(-10)?
True
Let q = -165 + 5. Let p = -81 - q. Let c = -76 + p. Is c a multiple of 3?
True
Suppose -13*z + 16*z - 141 = 0. Let v = z - 9. Let a = 122 - v. Does 6 divide 