0835, -3*c - 2103 + 26740 = 4*f. Is f a multiple of 104?
False
Let y be 8/(-44) - (-228)/88*2. Suppose -3*d + 3*l + 101 = -l, 5*d - 165 = y*l. Is 23 a factor of d?
False
Let z = 748 + 588. Is z a multiple of 8?
True
Let h(y) = -y - 6. Let f(m) = -m - 6. Let w(n) = 4*f(n) - 5*h(n). Let v be w(-7). Is 18 a factor of (v - -4)*(-19)/(-3)?
False
Let r = 1645 + -847. Is 21 a factor of r?
True
Suppose -20*d + 22*d = -570. Is d/(-5) + (-8)/(-2) a multiple of 16?
False
Let a = 19 + -17. Let y be 2 - a*(-9)/6. Suppose 3*o = -y*n + 95, o + 26 + 1 = n. Is n a multiple of 22?
True
Let a = 210 + 299. Does 6 divide a?
False
Suppose -3*h = -4*p - 61 - 11, 2*h = -4*p + 28. Is 15 a factor of -29*32/h*5/(-2)?
False
Suppose -3*b + 5*z + 55 = 0, 3*b = 2*z + 18 + 22. Let r = b + -7. Suppose 6*s = r*s + 24. Is s a multiple of 6?
False
Suppose 25 = -5*b, -p + 3*b = p - 15. Is 11 a factor of (86 - (2 + p)) + (0 - 1)?
False
Let s = 85 - 10. Let q = 93 - s. Does 9 divide q?
True
Let b = -52 + 115. Suppose -b - 47 = 2*c. Is 8 a factor of (-1805)/c - 2/(-11)?
False
Let q(v) = v + 4. Let w be q(-5). Let s = w - -25. Is 17 a factor of s?
False
Suppose -3*r + 6 = -0. Suppose -u + r*u - 10 = 0. Suppose 4*l = u + 14. Is 4 a factor of l?
False
Let z(t) = 60*t**2 - 2*t - 18. Does 7 divide z(5)?
False
Let m(b) = 8*b**2 - 17*b + 101. Is m(6) a multiple of 21?
False
Let r(o) = 47*o + 29. Let g be r(9). Suppose 666 = 5*c + 2*i, 3*c = -i + g - 53. Is 22 a factor of c?
True
Is 27 a factor of 2324/(-21)*-39 + 2?
False
Let b(v) = -87*v + 230. Is 22 a factor of b(2)?
False
Let j be (77/(-14) + 5)/(2/160). Does 4 divide ((-16)/(-10))/((-84)/j - 2)?
True
Let x(h) = h**2 + 7*h - 6. Let k be x(-8). Suppose 163 = 3*c + 5*o, -111 = -0*c - 2*c - o. Suppose 4*l - k*b = -0*b + c, -40 = -2*l - 2*b. Is 8 a factor of l?
True
Suppose 2*l - 13 = 3. Does 10 divide (-2)/(-8) - (-718)/l?
True
Let w(l) = -l**3 + 4*l**2 + 5*l - 7. Let y be w(5). Let k be (y - -12) + 1/1. Suppose -k*c = -c - 110. Does 11 divide c?
True
Let b(p) = 9*p**2 + 98*p - 59. Does 11 divide b(-26)?
False
Let m be 1*-5 + -30 + 282. Suppose 0 = 5*d - m - 113. Is 18 a factor of d?
True
Suppose 0 = -2*j + 14 + 12. Let k be 356/(-801) + (-1970)/(-18). Let m = k - j. Is m a multiple of 24?
True
Suppose 4*b + 2*j = 5*j + 660, -5*b - 4*j = -856. Does 12 divide b?
True
Suppose -4*r - 6 = -2*v, -11 = -4*v - r + 10. Suppose 2*i - 5*i - z - 71 = 0, -v*i - z - 119 = 0. Let c = -14 - i. Is 8 a factor of c?
False
Let f = 1 + 23. Suppose -7*i - f = -9*i. Is 8 a factor of i?
False
Let u(g) = -84*g**2 - 10 + 8*g - 77*g**2 + 164*g**2. Is 12 a factor of u(6)?
False
Suppose 2*f + 2 = 2*o, -2*o + 1 - 5 = -5*f. Let y be 0/(1 + 2) + f. Suppose -z - 20 = -n + 23, y*z = 4*n - 170. Does 21 divide n?
True
Suppose -2*d + 4*d - 246 = 0. Suppose -4*j + 21 = -d. Is 25 a factor of ((-60)/j)/((-1)/30)?
True
Suppose -12*o + 2678 = -6778. Is 54 a factor of o?
False
Let o be 2/6 + (-254)/6. Let u be 5 - (-6 + 7)*16. Let s = u - o. Does 7 divide s?
False
Let t(c) be the third derivative of c**6/40 - c**5/60 - c**4/6 + c**3/2 - 4*c**2. Let k be t(2). Does 13 divide (-6)/k + 428/20?
False
Let t = 434 + -113. Is t a multiple of 14?
False
Suppose 243*o - 239*o - 2576 = 0. Is o a multiple of 23?
True
Suppose 260 = -k - 3*u, -5*u + 6 = 1. Let v = -175 - k. Suppose -92 = -3*l + v. Is 20 a factor of l?
True
Let d(w) = w**3 + 5*w**2 - w - 2. Let x be d(-5). Suppose -3*j - x*c = -18, 4*j - 2*j - 2 = -4*c. Let y = 9 + j. Does 10 divide y?
True
Let v(u) = -2*u**3 + u**2 + u + 10. Let m be v(-3). Suppose 2*t = c - m, c = t + 3*t + 70. Is c a multiple of 12?
False
Let i be (-2)/4*(-4 + 108). Let j be (2375/(-5))/(-5) - 4. Let o = i + j. Does 23 divide o?
False
Suppose -5*m = -3*c + 134, 4*c = -m + 5 - 18. Let f = 1 - m. Is f a multiple of 8?
False
Suppose -3*s + 5*s = 2*p, 3*s - 5*p = 0. Let l be (-98 + s + -4)/(-2). Let z = 102 - l. Is 8 a factor of z?
False
Let z = 1141 + -877. Is 22 a factor of z?
True
Let q = 3678 - 1407. Is 14 a factor of q?
False
Let g = 20 - 17. Suppose 2*a + 8 = g*a. Is 15 a factor of ((-12)/10)/(a/(-140))?
False
Let p be -3 + 1186/14 - 4/(-14). Suppose -2*b - 10 = -4*x - p, 144 = 4*b + 3*x. Does 18 divide b?
True
Let s(x) = 5*x - 5. Suppose -3*p - 2*p = 5. Let t(h) = -1. Let f(u) = p*s(u) + 4*t(u). Does 6 divide f(-1)?
True
Suppose 4*w - 4732 = -924. Is w a multiple of 18?
False
Let k = -57 - -59. Let p(j) = 38*j**2 + j + 1. Is p(k) a multiple of 31?
True
Suppose -3*g + 8*g - 5*b = 275, 2*b = -g + 70. Suppose -5*x + 3*s + 782 = 0, -2*s - g = -x + 102. Is x a multiple of 22?
True
Let x(y) = y**2 + 12*y + 2. Let f = 13 - 25. Is x(f) a multiple of 2?
True
Let v(x) = 6*x + 52. Is v(-3) a multiple of 17?
True
Let v be -80 + 11 - (-2)/1. Let c = v - -158. Is 13 a factor of c?
True
Suppose -7*c - 460 = 212. Let o = -68 - c. Is o a multiple of 17?
False
Let g be (1 - -7)*(-217)/(-28). Let z = 10 + g. Is z a multiple of 18?
True
Suppose -4*b - 5*k - 5 = 0, 3*b - 49 + 9 = 5*k. Let f(l) = 5*l - 4. Does 5 divide f(b)?
False
Suppose -3*x + 2*x = -2*g - 25, 0 = 2*x + g - 55. Let l = -17 + x. Let f = 25 - l. Is 3 a factor of f?
True
Let h = -153 - -54. Let f = h - -163. Is 16 a factor of f?
True
Suppose -1 = -3*t + 4*t. Let g be (t + 1)*(-3)/6. Suppose 2*v - 2*r - 48 = g, -14 = -5*v + 4*v - r. Is v a multiple of 9?
False
Let y(q) = -q**3 - 16*q**2 - 13*q + 33. Let k be y(-15). Is (k - 44)*2*(-2)/4 a multiple of 6?
False
Suppose 10*v - 1258 = -2*a + 11*v, 3*a - 1892 = -v. Is a a multiple of 35?
True
Let l = -433 - -1433. Suppose -i - 4*x = 3*i - l, -3*i + 2*x + 760 = 0. Suppose 0 = -2*w + 5*w - i. Is 21 a factor of w?
True
Let h(l) = -97*l + 2. Let o be h(-1). Let t = o + -35. Does 24 divide t?
False
Suppose 432 = s + 2*h - 72, h + 1512 = 3*s. Does 72 divide s?
True
Suppose 0 = 4*g - 4, -12 = -y + g - 3*g. Let b(r) = 3*r**2 - 14*r - 4. Let n be b(y). Is 3 a factor of n/27 + (-4)/(-18)?
True
Let t be (-8)/3*72/(-48). Let z = 12 - 8. Suppose o + 43 = t*r - 43, -z*r - 4*o = -96. Does 19 divide r?
False
Suppose 12*s - 21*s + 4410 = 0. Is s a multiple of 49?
True
Let i = -20 + 25. Suppose -i*f + 3*f + 2*j = -14, -12 = -2*f + 4*j. Does 12 divide (-7)/28 + 250/f?
False
Let x = 2509 - 800. Is 16 a factor of x?
False
Let q(a) = -a**3 - 29*a**2 - 24*a - 114. Is 9 a factor of q(-29)?
False
Let l(x) be the third derivative of -5*x**4/24 - 29*x**3/6 + 2*x**2. Is l(-13) a multiple of 24?
False
Suppose 3*c - s + 0*s - 2 = 0, -2*s + 8 = 0. Is 46 - 16/(8/c) a multiple of 14?
True
Suppose 2*d = -2*o + 1035 + 215, -3*o = 2*d - 1247. Is 9 a factor of d?
False
Let p = 115 + 224. Let f = p - 195. Is 36 a factor of f?
True
Let q(r) = -2*r**2 + 3*r - 8. Let m(c) = -3*c**2 + 5*c - 12. Let j(i) = -5*m(i) + 7*q(i). Suppose -x = 3*x - 20. Is j(x) a multiple of 5?
False
Let y(l) = -l**2 - 14*l + 22. Let g(b) = -b**3 - 3*b**2 + 4*b + 1. Let p be g(-3). Is 10 a factor of y(p)?
False
Let m(g) = -5*g + 14. Let v be m(4). Is 2 a factor of 204/9 - 2/v?
False
Let n(s) = -s**3 + 19*s**2 - 33*s + 4. Let b be n(16). Let t = b + -109. Does 14 divide t?
False
Let f be -6*-2*4/24. Suppose y - 5*m - 1080 = -4*y, 0 = f*y + 4*m - 456. Suppose -4*g + y - 24 = 0. Does 10 divide g?
False
Let m be (0 - -1) + 56 + -7. Suppose j = 2*s - 23, 5*s - m + 0 = j. Is 9 a factor of 2/(-9) - (-110)/s?
False
Suppose -206*v - 1628 = -210*v. Is v a multiple of 27?
False
Suppose 2727 = 2*v - 5*a, 3*v + 2*a = 8*v - 6807. Is 24 a factor of v?
False
Let r(u) = u**3 - 9*u**2 + 13*u + 7. Let t be r(7). Suppose 4*l - 20 = t, -5*z + 3*l - 5 = -0*z. Let q(g) = 14*g**3 - g**2 - g. Does 35 divide q(z)?
False
Let g(u) = -u**3 + 4*u**2 + 5*u - 1. Let s be g(-7). Suppose 4*t - 3*w = -s, w = -2*t - 2*w - 229. Let j = -86 - t. Is j a multiple of 9?
True
Suppose 13*s - 2093 = 1560. Is s a multiple of 9?
False
Let v = -1 + 4. Suppose 5*u = -5*h + 525, -5*u + h + 477 = -48. Suppose -u + 24 = -v*f. Does 9 divide f?
True
Is (154/(-21))/((-2)/78) - 0 a multiple of 5?
False
Let h(u) = 0*u**2 + 3*u**2 - 5 + 4*u**2 + 14*u - 7*u. Let p(k) = 13*k**2 + 14*k - 10. Let m(v) = -11*h(v) + 6*p(v). Is m(-8) a multiple of 3?
True
Suppose 115*y = 103*y + 5376. Is y a multiple of 19?
False
Suppose 25*y - 30*y = -280. Suppose -7*q + 1519 = y. Does 19 divide q?
True
Sup