**2 + 8. Does 4 divide l(u)?
True
Suppose 2*u + 5*y - 58 = 0, -176 = 13*u - 17*u + 5*y. Is u a multiple of 18?
False
Suppose 130 = 4*s - 5*g, 0 = 5*s - 3*g - 1 - 155. Does 6 divide s?
True
Suppose -2*o - 4*x - 20 = -5*o, 0 = o + 5*x + 25. Let w be (o - -1)/(-7 + 6). Is 12 a factor of w*(-12)/(-2)*-6?
True
Let a(m) = m**2 + 1. Let y be a(-2). Suppose -y + 13 = h. Let z = h - 0. Is z a multiple of 8?
True
Suppose 5*z - 6 - 4 = 4*k, 6 = 3*z - 5*k. Suppose -z*s = -2*o - 7*s - 20, 2*o = 3*s + 12. Let d = 7 - o. Does 2 divide d?
False
Suppose 0 = 3*b - 4*f - 17, 1 = 3*b - f - 10. Let y(l) = 2*l + l**2 + 5*l + 16 + b*l. Does 8 divide y(-11)?
False
Suppose h - 4*h - 120 = 0. Let r = h - -14. Let c = -14 - r. Does 9 divide c?
False
Suppose 2145 = 3*i + 2*l, 89*l = -i + 88*l + 716. Is 31 a factor of i?
True
Let n(o) = -68*o - 73*o + 166*o - o**2 + 14. Is 10 a factor of n(17)?
True
Suppose x = 5*a - 540, 5*x = -4*a + 4 + 457. Is 38 a factor of a?
False
Let d = 25 + -19. Suppose 3*q = -z + 15, -2*q = z - 3*z + d. Is 6 a factor of z?
True
Let n = -3 + 6. Suppose -230 = -n*u + 46. Does 16 divide u?
False
Let k(y) be the third derivative of y**6/120 + 7*y**5/60 + 11*y**4/24 + 3*y**3/2 - 11*y**2. Is 13 a factor of k(-4)?
True
Is 4/22 + (-1269333)/(-429) a multiple of 120?
False
Let v(f) be the second derivative of 179*f**4/12 - f**3/3 + f**2/2 - 16*f. Is 23 a factor of v(-1)?
False
Let z be 33/(((-2)/(-4))/((-180)/(-40))). Suppose -3*p = -2*x - z, -5*x + 6*x = 4*p - 401. Does 4 divide p?
False
Suppose 5*y = 4*w - 215, 0 = w + 2*y + 7 - 64. Let r(a) = 21*a - 4. Let h be r(4). Let v = h - w. Is v a multiple of 10?
False
Is 13 a factor of (38 + -35)/(521/260 - 2)?
True
Let k be (-30)/20*10/(-3). Suppose -5*h - 19 = -3*f, -k*f + 9 = 5*h - 2*h. Let a(w) = 5*w**2 - 4*w. Does 15 divide a(f)?
False
Does 2 divide ((-20)/(-6))/(1 + 427/(-441))?
False
Let z = -10 - 2. Let a(q) = -15*q + 18. Is 18 a factor of a(z)?
True
Suppose 0 = 6*v - 5*v - 129. Let j = -27 + v. Is j a multiple of 34?
True
Suppose -6*k + 2567 = -727. Is k a multiple of 77?
False
Let n = 595 + -71. Is 15 a factor of n?
False
Let d be (-14)/(-70) - 18/(-10). Suppose d*g + 9 = 67. Does 3 divide g?
False
Let g(n) = -20*n + 1. Let i be g(4). Let d = i - -102. Is d a multiple of 23?
True
Let n be 1*2*(7 - 1323/18). Does 20 divide 16*(n/(-42))/(2/6)?
False
Suppose -12 + 2 = -w. Let z = w - -1. Is z a multiple of 11?
True
Let w(g) = 4*g - 3. Suppose -2 = -3*z + 4*x, 4*z = -0*x + 2*x + 6. Let v be w(z). Suppose -q - q + 2*f = -84, -f - 210 = -v*q. Does 21 divide q?
True
Suppose -5*n = -2*r - 29, 6*n - 3*n - 13 = -r. Let t(q) = 18*q - 21. Does 23 divide t(n)?
True
Suppose 2*p - 1980 = -4*l, -3*l + 266 = 4*p - 3689. Is p a multiple of 25?
False
Let y(r) = 2*r**2 + 5*r + 8. Suppose -4*f - 8 = -3*f. Is 16 a factor of y(f)?
True
Let l(y) = -2*y**2 - 6*y + 21. Let j = 21 + -31. Let i be l(j). Let v = i + 225. Does 32 divide v?
False
Suppose 5*h - 1103 = i, 3*h = 6*h + 3*i - 669. Is 2 a factor of h?
False
Let c = -743 + 843. Is 5 a factor of c?
True
Is (-1 - 75)*(8 + 222/(-24)) a multiple of 20?
False
Let o = -4 - -4. Suppose -c + 4 - 1 = o. Suppose f - 2*f + 2*i + 9 = 0, f + 4*i + c = 0. Is 5 a factor of f?
True
Suppose 0 = -14*a + 12*a + 8. Suppose -s - 319 = -3*v, -13 - 3 = a*s. Is 17 a factor of v?
False
Let y = -40 + 138. Suppose -3*g + y = 4*i, 5*i - 2 = -7. Suppose 5*j + 5*s + g - 134 = 0, 0 = 4*j + 2*s - 72. Is 12 a factor of j?
False
Suppose 5*z - 1728 = -13*z. Let g = 4 + -72. Let i = z + g. Is i a multiple of 7?
True
Let m = 60 - 51. Is 108/(m/(-15)*5/(-4)) a multiple of 11?
False
Is 100525/75 - (3/9 + -1) a multiple of 9?
True
Suppose 3 - 6 = -3*s. Is 1 + s + 14 + 4 a multiple of 3?
False
Suppose -5*v = 3*j - 13 - 1, j = -4*v - 7. Let s = 23 - j. Is s a multiple of 3?
False
Let b be (1 - 0)/((10/16)/(-5)). Is 12 a factor of (-2 + (-20)/b)*(-426)/(-3)?
False
Suppose 0*n + 2*n = 0. Suppose n = -5*a + 6*a - 40. Does 6 divide a?
False
Suppose a + 4 = 5. Suppose 4*t = -2*g + 12 + 14, -2*g = -t - a. Does 2 divide g?
False
Let b(h) = -h**3 + 2*h + 64. Let i be b(0). Suppose -2*v - 58 = -m, -5*v = m - v - i. Is 10 a factor of m?
True
Suppose 29376 = 36*l - 2*l. Is l a multiple of 33?
False
Suppose 7*m = -3*m + 10. Does 4 divide 884/(-39)*(2 - m)*-3?
True
Let w(d) = d**2 - 2*d + 1. Let m = 10 + -13. Let n be w(m). Let t = n - 6. Is t a multiple of 9?
False
Let v = 122 + -124. Is v/10 - 3755/(-25) a multiple of 25?
True
Suppose -4*k + 5*k = 2*x - 490, 0 = 2*k + 8. Suppose -5*h + 597 + x = 0. Is h a multiple of 44?
False
Suppose -s + 3 = 1. Suppose 0 = -k - 2*p + 3*p + 19, s*k = -3*p + 33. Suppose -b = -2*z - 15, b - z + 1 = k. Is 6 a factor of b?
False
Let b(v) = v**2 + 2*v + 0*v**2 + 3*v**2 + 4. Let m be b(-7). Suppose 70 + m = 4*y. Is y a multiple of 16?
True
Let q(b) = -28*b - 42. Is q(-12) a multiple of 25?
False
Let r(n) = 9*n**3 - 2*n + 4. Let s = 25 - 23. Does 12 divide r(s)?
True
Let z(b) = b - 9. Let a = 44 + -24. Is 11 a factor of z(a)?
True
Suppose 0 = h + 3, 16 = 5*z - 5*h + 3*h. Let k(f) = -5*f**3 + 4*f**2 - 4*f + 3. Let m be k(z). Let x = -16 - m. Is x a multiple of 13?
True
Let d = -30 + 33. Suppose -508 = -5*h + 2*i, 0 = -2*h - h + d*i + 303. Does 23 divide h?
False
Let z = 2688 + -1448. Does 8 divide z?
True
Let a(i) = i**2 + i + 8. Let v(j) = -j. Let s(y) = -a(y) + 6*v(y). Let r be s(-6). Is 18 a factor of (230/(-15))/(r/3)?
False
Suppose 0 = 13*l - 8*l - 16110. Is 53 a factor of l?
False
Let l be -155*(16/10 - 2). Suppose -3*h + 15 = 2*h. Suppose 3*k - h*a = 66, -a - l = -6*k + 3*k. Is 16 a factor of k?
False
Suppose 0 = -8*r - 1383 + 3463. Does 11 divide r?
False
Suppose 6*h = 112 + 254. Let c = 145 - h. Is c a multiple of 8?
False
Let g be 1/4*-2*0. Suppose 5*j - 5*y = 294 - 109, g = -3*y - 12. Is 7 a factor of j?
False
Suppose -3*t = -0*t - 4*h - 64, -3*h - 23 = -t. Does 2 divide t?
True
Suppose -5*x - 4*y + 9 = 192, -2*y = -x - 31. Let q = x + 55. Does 4 divide q?
True
Suppose -2*s = -4*z + 7*z - 165, s - 99 = 4*z. Let m = 188 - s. Is 6 a factor of m?
False
Suppose 4*j = -2*s + 114, -j - 6*s = -2*s - 39. Let m = -4 + j. Does 7 divide m?
False
Suppose 0 = -4*w + 40 + 52. Let h(z) = -z**3 + 6*z**2 + 7*z - 2. Let m be h(6). Let k = m - w. Is k a multiple of 11?
False
Suppose 3*p = v - p - 88, 2*p = -v + 94. Is v a multiple of 11?
False
Let n be 9/(-6)*2 + 2. Let c be 1*(-1 - 2)/n. Suppose -c*g = -8*g + 10. Is g even?
True
Suppose -10 - 122 = -r. Is r a multiple of 11?
True
Suppose 2*z - 4*y - 4104 = 0, 0 = -6*y + 8*y + 6. Does 6 divide z?
True
Suppose 2124 = 720*d - 711*d. Does 9 divide d?
False
Suppose 0 = x + x - 4*o - 84, -5*x + 135 = 5*o. Let m = x - 23. Is 9 a factor of m?
True
Suppose -115 = 7*l - 948. Suppose -c + 8*c - l = 0. Is c a multiple of 4?
False
Suppose 0 = -3*x - 3*m + 1023, -5*x + 2*m + 551 = -1161. Does 14 divide x?
False
Let y(x) = -x**3 - 20*x**2 - 54*x + 6. Does 2 divide y(-17)?
False
Suppose -u + 61 = -3*a, -158 = 12*u - 14*u - 3*a. Let r be 374/14 + 2/7. Let i = u - r. Is i a multiple of 14?
False
Let b(h) = 6*h**3 + 2*h**2 + 4*h - 2. Let m be b(-3). Let j = m - -362. Is j a multiple of 17?
True
Let l = -39 - -43. Suppose -w = l*d - 213, -5*w = 2*d - 382 - 593. Is w a multiple of 18?
False
Suppose -5*a - 4 = -h, -4*h - 2 = 2. Does 32 divide (30/(-24))/(a*(-1)/(-128))?
True
Suppose 0 = o + 2*f - 139, 4*o + 0*f = 4*f + 580. Let l = 95 - o. Does 5 divide (3/6)/((-4)/l)?
False
Let u be 332/(-2)*(-3)/6. Suppose -2*s = 2*w + u + 117, -112 = s - 5*w. Is 17 a factor of (s/(-4))/((-9)/(-12))?
True
Suppose -7*u + 10*u = -711. Let t = 377 + u. Suppose 4*c = 180 + t. Is 16 a factor of c?
True
Suppose 8*f - 11 - 21 = 0. Suppose 114 = f*i + 2*t, 2*i - 12 - 54 = 2*t. Does 15 divide i?
True
Suppose 0 = -5*p + 8*p + 8*p. Suppose -10*f + 16*f - 156 = p. Is 13 a factor of f?
True
Let i(g) = g**3 + 10*g**2 - 25*g - 7. Let h be i(-12). Suppose -463 + 158 = -h*x. Is x a multiple of 3?
False
Let h = -13 + -10. Let c = 17 - h. Does 20 divide c?
True
Let r = 91 + 1754. Suppose r = 4*z + 5*z. Is 43 a factor of z?
False
Suppose -5*y + 2*m + 20392 = 0, 2*y + 4033 = -5*m + 12213. Is y a multiple of 20?
True
Let v = 667 + -442. Is v a multiple of 45?
True
Is (-23 - -41)/((-3)/(-72)) a multiple of