+ 23*b. Let v(z) = -11*f(z) - 4*l(z). Does 43 divide v(3)?
False
Suppose -110*s + 2196 = -49*s. Does 3 divide s?
True
Let j = 0 + 0. Suppose -5*t + 7 + 53 = j. Is 7 a factor of t?
False
Let q = -57 + 301. Suppose 9*v = 323 + q. Is 26 a factor of v?
False
Suppose 0 = -33*g + 14*g + 2166. Is 21 a factor of g?
False
Suppose 3*b + z = -1351, 0 = b - 3*z + 5*z + 447. Let y = b - -686. Is y a multiple of 42?
False
Let h be 2/8 - 6723/(-36). Let g = h - 111. Does 13 divide g?
False
Let g be (-22)/(-55) + 13/5. Suppose -g*c - 4*r = 32, 2*c = -c + 3*r + 3. Is c - (4 + -3 + -80) a multiple of 13?
False
Let x(u) = -u**3 + 33*u**2 - 14*u - 67. Does 15 divide x(32)?
False
Let v(i) = 140*i**3 - i**2 + 3*i - 2. Let p be v(1). Suppose -4*r + 40 = -p. Is r a multiple of 2?
False
Let v(i) = -7*i - 2. Let y(a) = a + 1. Let c(f) = v(f) + 6*y(f). Let p be c(2). Suppose p*g - 90 = -3*g. Is g a multiple of 9?
True
Suppose c + 4*j + 5 = -j, 4*j = -8. Suppose x - c*u = 29, -5*x + 2*u - u = -193. Is 13 a factor of x?
True
Suppose -2*q - 5*y = q - 1521, -5*q + y = -2535. Is 24 a factor of q?
False
Is 577 + (-15)/12 + (-1)/(-4) a multiple of 23?
False
Let c = 154 + -152. Let f be 128/2 + -1 + 1. Let q = f + c. Is 15 a factor of q?
False
Let c = 230 + -158. Does 8 divide c?
True
Let c = 35 + -24. Let k = -11 + c. Suppose 2*x - 2 = 0, k = -3*y - 2*x + 3*x + 26. Does 2 divide y?
False
Let p(k) = -k**3 - 2*k**2 + 3*k - 3. Let u be (-148)/28 + ((-6)/(-21) - 0). Does 19 divide p(u)?
True
Suppose 2*d - d = -73. Let p = 5 - d. Suppose c + m - p = -0*c, 148 = 2*c + 4*m. Is 15 a factor of c?
False
Let q(l) = 31*l**2 - l - 23. Let b be q(5). Suppose -u = -4*h + 992, -4*u + b = -5*h + 1976. Is 32 a factor of h?
False
Suppose 4*j + 5*p - p = 1836, j - p - 459 = 0. Is 45 a factor of j?
False
Let q be 1 + -4 + -1 + 0. Let a be ((-8)/20)/(q/40). Suppose a*s + 1 = 21. Does 2 divide s?
False
Suppose 2*s - 4 = 0, 2*s = -4*b - s + 610. Suppose 2*w - 169 = b. Let l = -112 + w. Does 6 divide l?
True
Suppose 0 = -2*i - 5*c + 191, -3*c + 93 = -10*i + 11*i. Does 6 divide i?
True
Suppose -2*q = -0*p - 5*p - 265, -260 = -2*q + 4*p. Let s = -64 + q. Does 28 divide s?
True
Suppose -b - 10 = 4*b. Let y be -3*(b - (-3)/9). Suppose y*v + 4*s - 394 = 0, -6*v + 387 = -v - 3*s. Is 21 a factor of v?
False
Let j(x) = -x**3 + 8*x**2 - 7*x - 4. Let t be j(6). Let m be (-30)/(-20)*(-40)/3. Let r = t - m. Is r a multiple of 13?
False
Suppose -2 = o, -11*o + 756 = t - 14*o. Does 6 divide t?
True
Suppose -2*i = 3*t - 176, 116 = 2*t - i + 2*i. Let x = 10 - t. Let v = x + 90. Is v a multiple of 22?
True
Suppose 4*s + 2*v + 15 = 3, 5*s + 5*v + 25 = 0. Does 16 divide (-3*(-6)/36)/(s/(-62))?
False
Let s(u) be the second derivative of -u**5/20 - 11*u**4/12 + u**3/6 - 10*u**2 + 11*u. Is s(-12) a multiple of 14?
True
Let o = -448 + 472. Is o a multiple of 8?
True
Let r(p) = -p**2 + 6*p + 3. Let j be r(6). Suppose j*n + 0*n - 672 = 0. Suppose -4*x = 4*q - n, -20 = -4*q - 0*q. Is 12 a factor of x?
False
Let t(c) = -6*c**3 - c**2 - c + 4. Let w be 3/9 - 60/18. Let n be t(w). Suppose -9*u - n = -14*u. Does 19 divide u?
False
Let o be (-1 + 3)/((-1)/(246/(-12))). Suppose 4*k - 2*k + 6 = 0, -2*y + 5*k = -o. Does 3 divide y?
False
Let o = 124 - -4. Does 8 divide o?
True
Suppose 3*g + 12 = 1008. Does 33 divide g?
False
Let h(b) = b**2 - 16*b + 16. Let l be h(12). Let p = l - -53. Is 7 a factor of p?
True
Let d = 10 - 13. Let i(g) = -27*g. Does 14 divide i(d)?
False
Let s be (-4 - -4) + 9 - -3. Let q = 20 - s. Let h(m) = 2*m - 7. Is h(q) a multiple of 5?
False
Suppose -3*u = -307 - 74. Suppose -9*z + u + 98 = 0. Does 25 divide z?
True
Let h = -16 + 26. Suppose 3*z = 3*l - 3, -5*l - 33 = -2*z - h*l. Suppose -z*s + 28 = -2*s. Does 14 divide s?
True
Let p(r) = r**3 + r**2 - 4*r - 2. Let i be p(4). Suppose -252 = -5*k - i. Let n = k - 27. Is 4 a factor of n?
False
Let k(s) = -19*s**3 + 3*s**2 - 3*s - 4. Let y be k(-4). Suppose 11*l - y = 5*l. Is 53 a factor of l?
True
Suppose 0 = -4*m + u + 842, -3*m - 2*m + 1042 = 4*u. Is m a multiple of 9?
False
Suppose 6*h - 7*h + 10 = 0. Suppose -5*b + h*k = 9*k - 998, -5*k = 3*b - 610. Is b a multiple of 6?
False
Suppose -1651 + 403 = -6*z. Is z a multiple of 16?
True
Suppose -1459 + 514 = -5*u. Does 21 divide u?
True
Suppose 186*b - 180*b - 216 = 0. Is b a multiple of 12?
True
Is (3/(-12))/((-3)/5268) a multiple of 19?
False
Is 11 a factor of (-7 + (-339)/(-6))*(1 + 1)?
True
Suppose -3375 = -147*j + 142*j. Is 11 a factor of j?
False
Let n(k) = k - 11. Let a be n(13). Let m be a - ((-5)/(-5) - -1). Suppose 0 = -3*f - m*f + 54. Is f a multiple of 9?
True
Let g(b) = b**3 + 4*b**2 - 6*b - 3. Let s be 3*3/9 + -6. Let a be g(s). Suppose -a*t = 3*x + 1, -4*x + t = -12 - 5. Does 2 divide x?
False
Suppose -7*v + 36 = -3*v. Let w be (12/v)/(6/(-18)). Is (4/2)/(w/(-138)) a multiple of 20?
False
Let n = -19 + 23. Suppose -n*w - 3 = -11. Suppose 0 = -3*c + 4*g + 87, -2*g + 58 = w*c + 2*g. Is c a multiple of 13?
False
Suppose 5*j = 2*j - 12, 3*d - 3*j = 39. Let a(r) = -9*r - 7*r**2 + d*r**2 - 9 - 9*r**2 + 28 + r**3. Is a(8) a multiple of 5?
False
Let s(l) = 453*l + 44. Is s(2) a multiple of 19?
True
Suppose 13*h = 17*h - 516. Is h a multiple of 23?
False
Suppose -277 = 5*r - 887. Is r even?
True
Let h(s) = -s**3 - 9*s**2 - 10. Let i be h(-9). Let f(u) = 2*u**2 + 5*u + 3. Let k be f(i). Does 28 divide k/6*(-1 + 3)?
False
Let u(p) = p**3 + 2*p - 4. Let s be u(4). Suppose 14 = 2*d - 5*t, -3*d - 2*t + 28 = -d. Suppose s = 2*j - d. Is 10 a factor of j?
True
Let i = -186 - -327. Is i a multiple of 30?
False
Does 9 divide (-18 - -2421) + 9/(-1)?
True
Suppose 47 = -3*g + 2*g. Let v(d) = -d**3 - 10*d**2 + 3*d - 1. Let f be v(-10). Let k = f - g. Is 7 a factor of k?
False
Let z(j) = 10*j**2 - 6*j + 7. Let b(c) = c**2 - 2*c. Let r be b(3). Let g be z(r). Suppose 17 + g = 3*n. Is 17 a factor of n?
False
Let g(h) = -h**3 + 9*h**2 + 9*h + 14. Let n be g(10). Does 20 divide (-1)/n - (-2886)/24?
True
Is 3 a factor of (-3)/(-18)*582 + 5/(-1)?
False
Suppose 4*b - 1966 = -3*l, -4*b + 0*l - 4*l = -1968. Is b a multiple of 14?
True
Suppose k - 40 = 5*q + 17, -303 = -4*k + 5*q. Is k a multiple of 2?
True
Suppose -71 = -3*z - 5*h, -4*z - h + 87 = -2*h. Let v = 58 - z. Does 9 divide v?
True
Suppose 0 = -3*g - 3*f - f + 59, 5*g - 80 = -3*f. Suppose 288 = -g*l + 16*l. Does 24 divide l?
True
Let s(o) = o**2 - o - 1. Let h = -10 + 27. Let n = 14 - h. Is s(n) a multiple of 4?
False
Let t(d) = -d**3 - 5*d**2 - 2*d + 6. Let f be t(-4). Let s be 4 + (4 - f) + 1. Suppose 13*m - s*m - 66 = 0. Does 7 divide m?
False
Suppose 76*x - 78*x = -648. Suppose -560 = -5*b + 3*h, -2*b - 100 = 4*h - x. Is 12 a factor of b?
False
Let f(k) = -24*k - 2. Let u be f(-7). Suppose -47*t + u = -46*t. Is 16 a factor of t?
False
Let h = 0 + 2. Suppose h*x - 3 = -1, p - 142 = 3*x. Is p a multiple of 29?
True
Let a = 1558 - 917. Is a a multiple of 9?
False
Let b be (-39)/(-21) - 14/(-98). Is 14 a factor of 168*(7/b + -3)?
True
Let s(k) = k**3 - 16*k**2 + k + 12. Is s(16) a multiple of 26?
False
Suppose -3*w + 172 = 37. Suppose 9*a - 6 = 7*a. Suppose 2*m = -a*m + w. Is m a multiple of 3?
True
Let u(p) = -p**2 - 5*p + 3. Let r be u(-5). Suppose 6*g + 182 = 5*z + 4*g, r*g = -3*z + 105. Let q = 87 - z. Is q a multiple of 17?
True
Let o(p) = p**3 - 14*p**2 - 21*p - 38. Is 23 a factor of o(16)?
True
Let h = -1044 + 4093. Does 20 divide h?
False
Let f(c) = -49*c - 138. Is f(-10) a multiple of 32?
True
Let o(c) = 6*c**2 + 3*c**2 - 10 - 10*c**2 - 12 + 14*c. Let p be o(12). Suppose a + 3*a + p*j - 296 = 0, 3*j = -2*a + 148. Is a a multiple of 14?
False
Suppose 2*s + 4 + 10 = 0. Let d(v) = 5*v**2 + 14*v - 9. Is d(s) a multiple of 24?
False
Suppose 2 = -u + 4*y + 9, -3*u + 4*y + 21 = 0. Suppose a + 2 = u. Is (-54 - (3 - a))/(-1) a multiple of 11?
False
Let u(h) be the first derivative of 1/2*h**4 - 8 - h**2 - 4/3*h**3 + 3*h. Is u(3) a multiple of 8?
False
Let q be (-2 - -3)/(5/10). Suppose -3*y + b + 158 = y, -5*y = q*b - 204. Does 20 divide y?
True
Is (78/(-169))/(-3) + (-3157)/(-13) a multiple of 4?
False
Let l = 100 + -43. Suppose -5*n + 8*n = l. Suppose 0 = -x + n - 7. Does 12 divide x?
True
Is 6 a factor of 1/(1*-3)*(-630)/7?
True
Let w(t) = t**2 - 6*t + 3. Let r be 