08 = 0, -2*w + 7*w - 2*s = u. Does 22 divide w?
True
Suppose 116*l - 104 = 114*l. Is 4 a factor of l?
True
Suppose 0 = -4*u + i - 13, 3*i - 9 = -3*u - 0*i. Let x(w) = w**3 + w**2 - 3*w - 1. Let v be x(u). Is 8 a factor of (-1 - v)*(2 + -14)?
True
Suppose 8*y - 5*y - 1189 = 4*b, -5*y - b + 2020 = 0. Does 36 divide y?
False
Let k = -164 + 437. Let o be k/(-14)*(-8)/6. Let t = o - 12. Is 11 a factor of t?
False
Let v be (-4)/(-4) + ((-840)/(-2) - -2). Suppose -2719 + v = -8*k. Does 20 divide k?
False
Suppose -5*t + 3670 = 5*t. Is 14 a factor of t?
False
Does 12 divide 2/((6/684)/1)?
True
Let t be -4 - (2 + -3 + -1). Let l(p) = -p. Let j(d) = -1. Let a(o) = t*l(o) - j(o). Does 9 divide a(4)?
True
Suppose 0 = -3306*z + 3313*z - 1428. Does 51 divide z?
True
Let y be ((-6)/(-9))/((-4)/(-30)). Suppose 6 = 3*m, 0 = y*d - 5*m + 17 - 7. Suppose d = -7*l + 9*l - 180. Does 15 divide l?
True
Does 68 divide 2427*4/12 - (-2 + 2)?
False
Let x = 22 - 15. Let h(n) = 5 + n + n + x*n**2 - 3. Is 27 a factor of h(-4)?
False
Is (283/(-5))/(93/(-930)) a multiple of 36?
False
Let a = 222 - -72. Let k be a/2 - -3*1. Suppose -5*p = 2*v - 4*p - k, 0 = -2*p. Is 25 a factor of v?
True
Let r(s) = s**3 - 2*s**2 + 2*s + 1. Let z be r(2). Suppose -2*x + u = -3, 2*x + x = z*u + 1. Is 11 a factor of x + -3 + 74/2?
False
Let k be (1 + (-1 - 0))/(-1 - 1). Does 12 divide (1 + 0 - 0) + k + 11?
True
Does 33 divide ((-24)/(-32))/(6*(-3)/(-6336))?
True
Does 11 divide 2/11 + 2121/11 + 3?
False
Let y be ((-3)/(-2))/((-1)/(-22)). Let k(u) = u**3 + 2*u**2 - u + 1. Let z be k(2). Let f = z + y. Does 16 divide f?
True
Let l be 6/(-12)*(-5 - 1). Suppose -l*t + 15 = -h, 4*t + 3*h - 7*h - 20 = 0. Suppose t*d - u = 184, 0*u - 3*u - 145 = -4*d. Is 12 a factor of d?
False
Let c(p) = 10*p**2 + 6*p + 24. Let n be c(12). Is ((-2)/4)/((-8)/n) a multiple of 16?
True
Let i = -2253 + 3333. Is 8 a factor of i?
True
Let s(y) = -2*y**2 - 26*y + 31. Let t be s(-14). Suppose -t*q = 3*j - 537, 4*j + 0*j = -4. Does 30 divide q?
True
Is 7 a factor of 17/(-4)*(-113 + 29)?
True
Is (-3214)/(-2) + (-1700)/170 a multiple of 21?
False
Let w = -154 - -149. Is 6 a factor of (45/w)/(2/(-40) + 0)?
True
Suppose 56 = 5*k - 204. Suppose -5*c = 3*q - 180, -3*q - k = -4*q + c. Is q a multiple of 18?
False
Suppose -4*q - 74 = 38. Let z = 117 + q. Is z a multiple of 9?
False
Suppose 9 = 4*v + 5, -5*v = -5*p + 2120. Is 42 a factor of p?
False
Let c be (-1)/6 - (-1)/6. Suppose c = -s - 4 + 7. Suppose s*i + 69 = 6*i. Is 12 a factor of i?
False
Let o(r) = 9*r**3 + 2*r**2 + 4*r + 3. Let k(v) = -v**3 - v. Let q(n) = 2*k(n) - o(n). Let j be q(-2). Suppose 14*y = 15*y - j. Does 21 divide y?
False
Let s(u) = 6*u + 110. Let b(h) = -h - 1. Let z(j) = 2*b(j) + s(j). Let f(m) = 71*m + 355. Let k be f(-5). Does 36 divide z(k)?
True
Let m(v) be the third derivative of -v**5/60 - v**4/12 + 8*v**3 + 11*v**2. Let d be m(0). Let f = 94 - d. Is 8 a factor of f?
False
Let q(a) be the second derivative of 11*a**5/20 - a**4/4 + a**2 + a. Suppose -4*v = 5*f - 19 + 1, 5*f + 5*v - 20 = 0. Is 26 a factor of q(f)?
True
Let x be (-2)/((-2)/83)*(-4 + 5). Let l = 179 - x. Is l a multiple of 14?
False
Suppose -1605 = -2*i - i + 4*m, 0 = i - 3*m - 540. Does 53 divide i?
False
Let o = -49 - -326. Does 65 divide o?
False
Is 5 a factor of (-1068)/(-15)*490/28?
False
Is (-1122)/(-5) + (-6)/15 a multiple of 28?
True
Suppose 867 = 2*h + 10*o - 15*o, h - 4*o = 426. Does 23 divide h?
False
Suppose 4*g - 3*b - 23 = -6*b, 0 = 5*g + 2*b - 20. Suppose 0 = -5*u + n + 159, -8*u + 4*u - g*n = -130. Is u a multiple of 16?
True
Suppose -3 = y - n, -2*y + 4*n = -y. Let l(a) = 6*a + 3. Let s(i) = 1. Let f(x) = -l(x) + 6*s(x). Is 9 a factor of f(y)?
True
Let b(x) = -x + 63. Let f(a) = -a + 64. Let y(p) = 6*b(p) - 5*f(p). Is y(21) a multiple of 11?
False
Let y(q) = -192*q + 8. Is 10 a factor of y(-1)?
True
Suppose 0 = g + 6*g - 259. Let i = g + 8. Is 9 a factor of i?
True
Suppose -2 = -h + 2*f, -2*f + 2 = -0*f. Suppose d - 4*d + 2*o = 10, 0 = h*o - 20. Suppose d = -3*u - 5*w + 15, -4*w + 20 = 4*u - w. Is u a multiple of 5?
True
Suppose 3*y + 3 = 2*o - 11, -y = -3*o + 7. Suppose -o = h - 6. Does 2 divide h?
False
Suppose -13 - 11 = -4*f + 4*l, 0 = -2*f - 3*l - 8. Suppose n = 5*o - 434, -o + 3*o - 176 = -f*n. Is 5 a factor of o?
False
Let i = 583 - 972. Let n = 568 + i. Is 14 a factor of n?
False
Suppose 0 = 25*a - 183 - 1217. Does 4 divide a?
True
Suppose 38*k - 4656 = 22*k. Is 13 a factor of k?
False
Suppose -56 = -3*m - 2*t - 13, 4*m - 88 = 5*t. Let h = m + 1. Suppose 0 = 4*u - 3*u - h. Is u a multiple of 15?
False
Suppose 0 = -2*o + i + 1839, 5*i + 19 = 4. Is o a multiple of 51?
True
Let g be -1 + -2 + 5 + 6. Suppose -5*i = -g*i + 81. Is i a multiple of 6?
False
Suppose 2*s = 4*c + 1780, 8*c - 12*c - 892 = -s. Is s a multiple of 74?
True
Let f = -5 + 8. Suppose f*q = 4*q - 5, 124 = t - 2*q. Let y = -86 + t. Is 16 a factor of y?
True
Let s(q) = -q - 1. Let d(c) = -7*c + 9. Let j(l) = -d(l) - 3*s(l). Does 17 divide j(12)?
False
Let d be 2/(-11) + 159/(-33). Let q be (140/50)/((-2)/d). Is (-11*2)/(-9 + q) a multiple of 3?
False
Let n(u) = -u + 18. Let f be n(7). Let q = -3 - f. Let k = 67 + q. Is 14 a factor of k?
False
Let f = -2203 - -4072. Is f a multiple of 57?
False
Let w be ((3 - -4)*-1)/(-1 - 0). Suppose w*l - 24 - 214 = 0. Is 34 a factor of l?
True
Does 31 divide (-299793)/(-312) + (-2)/(-16)?
True
Suppose 2*t - 8 = -2*g, -4*t - 4*g + 2*g = -26. Let w = -9 + t. Suppose -2*n + 35 + 53 = w. Is n a multiple of 13?
False
Let p = 496 + 105. Is 48 a factor of p?
False
Suppose 24*p = 23*p - s + 469, -936 = -2*p - 4*s. Is p a multiple of 19?
False
Let x be (-13 - -20) + -2 + -1. Suppose x*h = 2*d + 37 - 109, -4*h + 88 = 2*d. Is d a multiple of 10?
True
Let n = -479 + 875. Is n a multiple of 9?
True
Suppose 3*u - 5 = -2. Suppose -2*y + 15 = u. Is y a multiple of 3?
False
Suppose -191 - 193 = -24*v. Does 3 divide v?
False
Suppose -5*y - 5 = -25. Suppose -5*o + 0*j = -j - 480, -5*j = -3*o + 310. Suppose -5 = -y*g + o. Is 14 a factor of g?
False
Suppose -5*p - 597 - 301 = 2*m, p + m = -179. Let z(b) = 6*b - 20. Let u be z(8). Is 1/((u/p)/(-7)) a multiple of 9?
True
Is 15 a factor of (-130 - -132)*(718 - 0)?
False
Let f be ((-2)/3)/((-6)/324). Does 5 divide (f/54)/(2/15)?
True
Let l = -162 - -55. Let z = -37 - l. Suppose 4*i - 9 = 3*m + z, -3*i + 3*m + 57 = 0. Is i a multiple of 11?
True
Let q(f) = -1204*f - 82. Is 14 a factor of q(-3)?
False
Let n(s) = 1. Let f(k) = -7*k - 14. Let g(v) = -f(v) - 28*n(v). Is 20 a factor of g(10)?
False
Let a(z) = -3*z - 32. Let q be a(4). Is 12 a factor of (22/q)/((-355)/(-178) + -2)?
False
Suppose -4 + 0 = -4*t - 2*y, 0 = -5*t - 4*y - 1. Suppose -46 = t*p - 178. Does 22 divide p?
True
Let w(f) = -f**3 - 8*f**2 + 2*f - 6. Let b(a) = 2*a**3 + 16*a**2 - 4*a + 13. Let x(k) = -2*b(k) - 5*w(k). Is 11 a factor of x(-6)?
True
Suppose 8*o - 4*o - z - 28 = 0, 12 = -o + 5*z. Suppose -7*t = -6*t + 6. Let j = o + t. Is 2 a factor of j?
True
Is 22/(-55) - (-2 + (-6128)/20) a multiple of 4?
True
Let n = -1696 + 3110. Is 101 a factor of n?
True
Let f = 18 - 13. Suppose -f*g + 0*g + 350 = 0. Does 10 divide g?
True
Let z be (-4 - (-16)/4)/(-1). Suppose z = -2*f + f + 16. Does 20 divide (-15)/4*f/(-3)?
True
Let w(p) = -10*p**2 - 2*p + 1. Let b be w(1). Let g = 11 - b. Suppose 5*d = -3*s + g + 75, -d + 5 = 0. Does 9 divide s?
False
Let p(a) = -27*a + 9. Suppose -4*i - w + 6 = -6*i, -5*w - 10 = 0. Is 8 a factor of p(i)?
False
Suppose -5*i + 1 = x, 3*i = 2*x - 2 - 0. Let b(c) = 3 + x - c**2 - 3 - c + 2*c**2. Is 13 a factor of b(-4)?
False
Suppose 2*j - 11*j = 423. Let x = -18 - j. Is x a multiple of 5?
False
Suppose 26*m = 23*m + 6. Suppose 72 + 20 = d. Is 16 a factor of (m - 0) + 2 + d?
True
Let l be 67 + (-5 - -3)/(-2). Suppose 6*u - 212 = -l. Is u a multiple of 6?
True
Suppose 27*y - 16787 - 1924 = 0. Is 33 a factor of y?
True
Suppose 5*l + 36 = -0*g + 2*g, -l - 5*g = -9. Is 37 a factor of ((-2)/(l/(-39)))/((-3)/69)?
False
Suppose 0 = 45*x - 43*x. Suppose x = 7*n - 378 - 98. Is n a multiple of 13?
False
Let c(w) be the second derivative of -w**5/20 + 5*w**4/12 + w**3/6 + 5*w**2 + 18*w. Does 30 divide c(-4)?
True
Let l = 31 - 54. Let j = -8 - l. Let w = 28 - j. Does 4 