 -2478, -2*q + 7*q = 5*a - 4090. Is a a multiple of 26?
False
Let i(u) = -41*u - 82. Is i(-10) a multiple of 82?
True
Let d be (6/5)/((-4)/(-360)). Suppose -2*g = -0*g - d. Is 18 a factor of g?
True
Suppose 4*k - 3*p = 293, -21*k + 23*k = -5*p + 153. Is 31 a factor of k?
False
Suppose 1110 = -35*q + 41*q. Is 19 a factor of q?
False
Suppose -c + 7*c - 18 = 0. Suppose 4*o = 3*b - 6, 2*b - 2*o = c*o + 4. Suppose 5*d = -0*d + h + 160, -b*d = 4*h - 42. Is d a multiple of 12?
False
Does 4 divide 180 - (-7 - (5 + -8))?
True
Suppose -43*y = -70*y + 52434. Is 21 a factor of y?
False
Suppose -5*w + 1887 = 33*b - 30*b, -b + 629 = w. Is b a multiple of 12?
False
Suppose f = 4*w - 3*f + 5420, -3*f = -w - 1351. Let c = w - -482. Is 2/14 - c/49 a multiple of 11?
False
Let f(s) = -s**3 + 8*s**2 + 9*s + 5. Let u be f(9). Suppose -u*a - 3*d + 15 = -9, -2*d = -6. Suppose a*z - 41 = 85. Is 19 a factor of z?
False
Suppose -63 = -q + 188. Suppose -q = -m - 2*c - 2*c, 4*m = 2*c + 950. Is m a multiple of 39?
False
Let l = -36 - -40. Suppose r = l - 2. Suppose 17 - r = 5*c. Does 2 divide c?
False
Let j(v) = -v + 16. Suppose 18 + 59 = -7*a. Is j(a) a multiple of 9?
True
Let v = 124 - 119. Is 6 a factor of (((-405)/(-36))/v)/(3/16)?
True
Let j = -298 + 668. Is 5 a factor of j?
True
Suppose -3*p = -2 - 7. Let f be p*(-3)/(-9) + 3. Does 3 divide (-35)/(-4) - f/(-16)?
True
Suppose 0 = 10*d - 12*d - 758. Let k = -140 - d. Is 32 a factor of k?
False
Suppose -y + 236 + 152 = 0. Does 20 divide y?
False
Let j(p) = -p**2 + 38*p + 23. Suppose -t = y + 2*t - 1, -y - 5*t = 9. Is 19 a factor of j(y)?
False
Suppose -2*d + 586 + 316 = 0. Does 5 divide d?
False
Let d(j) = -j**2 - 8*j - 6. Let b be d(-6). Let y(c) = 5*c + 6 + 1 - 2*c. Does 7 divide y(b)?
False
Let i be (-79)/(-11) - (-10)/(-55). Let p(m) = 2*m**2 - 15*m + 10. Let r be p(i). Suppose -2*d + 120 = r*d. Is d a multiple of 12?
True
Let c be (-1)/((-2)/(-20))*-3. Suppose 0 = s - 1 + c. Let f = s + 54. Does 8 divide f?
False
Let u(d) = 4*d + 14. Let r be u(-6). Let j = 4 - r. Is 14 a factor of j?
True
Let d = -43 + 43. Suppose 5*k + 332 - 1632 = d. Is 13 a factor of k?
True
Let d = 28 + -20. Suppose -p = 4*m + 8 + 8, -2*m = -3*p + d. Suppose p = -f + 4*f - 54. Is 9 a factor of f?
True
Suppose -2*z - z - s = 8, -10 = 2*s. Let i be ((20/(-2))/2)/z. Suppose i*g - 385 = 2*h, 2*g - 81 - 74 = h. Does 17 divide g?
False
Suppose 4386 = 3*a - 3*t, -t = 35*a - 31*a - 5868. Is 5 a factor of a?
False
Let x(p) = -224*p + 69. Is x(-2) a multiple of 47?
True
Let q(r) = -2*r + 14. Let k be q(5). Suppose k*j - 107 - 205 = 0. Is 5 a factor of j?
False
Let v = 333 - 303. Does 5 divide v?
True
Suppose 1548 = 41*c - 35*c. Is c a multiple of 20?
False
Let k(d) be the third derivative of 47*d**4/24 - 2*d**3/3 + 2*d**2. Is k(4) a multiple of 20?
False
Suppose 0 = -2*w + 16 - 14. Does 2 divide (-880)/(-77) + (w - (-20)/(-14))?
False
Let k = 56 + -53. Suppose -g - 311 = -6*g + 4*u, k*u + 123 = 2*g. Does 9 divide g?
True
Let w be 66/4 + (0 - (-5)/10). Suppose -68 + w = -3*j. Is j a multiple of 17?
True
Let q be ((-10)/12)/(2/(-12)). Suppose 0*o + 4*o = -2*z + 14, 0 = -4*z - 12. Suppose 4*f = o*t - 29, 5*t + q*f - 56 = t. Is 9 a factor of t?
True
Let m = 579 + -543. Does 12 divide m?
True
Let l = 36 - 3. Suppose -l*q + 34*q = 3. Suppose -2*f = 2*f + x - 245, q*f - 2*x = 192. Is f a multiple of 15?
False
Suppose f = -3*x - 1, 8 = 2*f + 2*x + 2. Let b be (18/f)/((-12)/40). Is 4 a factor of 4/(-6)*(0 + b)?
True
Let n(u) = -5*u - 1 + 11 - 2*u - 14*u. Does 28 divide n(-7)?
False
Let u(i) = i**3 - 8*i**2 + 7. Let r be u(8). Let t(w) = 2*w**2 - 15*w - 2 + w - r. Is t(10) a multiple of 17?
True
Suppose w - 5*w = 4*m - 56, 0 = 5*w - 2*m - 42. Let a = 13 - w. Suppose 3*b = -a*n + 2*n + 61, -b = n - 19. Is b a multiple of 21?
True
Let b(w) = 4*w**2 + 2*w. Does 13 divide b(-6)?
False
Suppose -1060 = -2*a - 2*y, -4*a + 3*a + 524 = -2*y. Does 11 divide a?
True
Let f(h) = 5*h**2 + 7*h - 6. Let x be f(12). Suppose -6*d + x = 150. Is d a multiple of 36?
True
Let g(c) = c**3 - 22*c**2 - 24*c + 22. Let f be g(23). Suppose 4*o + 90 = -3*x, 2 = x - 0. Let a = f - o. Is a a multiple of 13?
False
Let s = 2 - -1. Suppose -14 = -z + 2*q, 5*q - s*q = -4*z + 46. Does 4 divide z?
True
Let w = -45 + 54. Is 44*(w/2 - 1) a multiple of 14?
True
Is 9 a factor of 1 + 4 + (-1170)/(-9)?
True
Let b(y) = y**3 + 22*y**2 - 23*y. Let n be b(-23). Suppose 2*c = -4*i + 218, n = 5*i - 0*i + 5*c - 275. Is i a multiple of 18?
True
Let w = -11 - -17. Is 11 a factor of ((-66)/9)/(w/(-45))?
True
Suppose 58*g = 2791 + 10259. Is g a multiple of 15?
True
Suppose 118*w = 25*w + 619566. Is 16 a factor of w?
False
Suppose 175*q - 171*q - 2520 = 0. Is 30 a factor of q?
True
Let t(a) = 10*a**2 + 2*a + 2. Suppose 5*q + 25 = 0, q = -f - 0*q - 20. Let y be 26/195 + 32/f. Is 19 a factor of t(y)?
True
Let g(v) = -v + 1. Let t(d) = 9*d**2 - d. Let r(y) = g(y) + t(y). Does 3 divide r(1)?
False
Let c = -300 + 708. Is 18 a factor of c?
False
Suppose 4*w + 4*u - u + 3 = 0, 5*w - 2*u = 2. Let n(t) = 9*t - 15. Let x be n(6). Suppose w = -z + x + 22. Is z a multiple of 17?
False
Let j = -102 - -50. Let a = -22 - j. Does 7 divide a?
False
Suppose 4*j - 2441 = 5*u, 3*j - u = 7*j - 2435. Is j a multiple of 49?
False
Suppose 0 = -0*q - 5*q - 3*k + 272, -3*q + 4*k = -140. Let g be 10/(-2)*q/65. Is (-41)/g*(-2 - -6) a multiple of 22?
False
Suppose -k + 2*c = c - 30, 2*k - 4*c - 52 = 0. Let z = -31 - -69. Suppose u = z + k. Is u a multiple of 24?
True
Let o(q) = -2*q**3 - 8*q**2 - 8*q + 5. Let t = 31 + -35. Does 5 divide o(t)?
False
Let f = -522 + 1891. Is f a multiple of 37?
True
Let a(u) = -101*u + 176. Is a(-5) a multiple of 81?
False
Let b(s) = 5*s**3 + 2*s**2 + 2*s + 1. Let z be b(-1). Let l = z - -8. Suppose -28 = -l*t - 2*f, 0 = -2*f - 2 - 2. Does 4 divide t?
True
Let k be 2 - 28/(-12)*3. Suppose -m - 2 = 4*u - 3, -u + k = 2*m. Does 2 divide m?
False
Suppose 2*b - u + 5*u = -52, 4*b = -4*u - 120. Let q = 87 + b. Is q a multiple of 9?
False
Let k(c) = 7*c + 25. Let u be k(-19). Let n = u - -192. Does 28 divide n?
True
Let s = 1999 + -486. Does 38 divide s?
False
Let y(p) = 4*p**2 - 3*p + 3. Let v(g) = -5*g**2 + 4*g - 3. Let s(k) = 5*v(k) + 6*y(k). Let t be s(3). Suppose t = -h + 20 - 8. Is h a multiple of 12?
True
Let v be 2/((-4)/40*-5). Suppose v*z - 9 = 31. Is z a multiple of 6?
False
Is 10 + -1 - (-1920)/16 a multiple of 23?
False
Suppose -3*i = -5*k + 7*k - 3354, -5*k + 4*i + 8408 = 0. Is k a multiple of 42?
True
Let l be (-504)/(-10) + 24/(-60) - -2. Suppose 72 = -l*i + 56*i. Is i a multiple of 9?
True
Let n be ((-96)/(-30))/((-10)/(-25)). Let i(v) = -v**2 - 6 + 0 + 12*v + 0. Is i(n) a multiple of 26?
True
Let t = -67 - -55. Let j = 60 - 105. Let a = t - j. Is a a multiple of 11?
True
Suppose -2*d = i + 26, -4*d + 32 - 84 = 4*i. Let t = d - -18. Suppose -t*n + 211 = -104. Is n a multiple of 21?
True
Suppose 20*f - 18*f = 2*d - 1072, 3*d + 5*f = 1584. Is 12 a factor of d?
False
Let c = 14 + 2. Let u = 10 - c. Let l(q) = 3*q**2 + 3*q. Is l(u) a multiple of 30?
True
Let s = 30 + -23. Suppose 3*v = s*v - 16. Suppose 3*t - v + 68 = 4*l, 3*t + 12 = 0. Does 13 divide l?
True
Let v be -2 - (-1)/1*30. Suppose 196 = 11*m - 7*m. Let b = m - v. Is b a multiple of 10?
False
Suppose 131 = -3*x + 851. Is 24 a factor of x?
True
Let m(c) = 6*c + 164. Is 17 a factor of m(28)?
False
Suppose 8195 = 13*v + 876. Does 13 divide v?
False
Let a be (0/9)/(-1 + 3). Suppose -q - 2 = -5*g + 78, a = -g + 4. Is (-2)/(-5) - 1056/q a multiple of 18?
True
Let m(t) = t**3 + 14*t**2 + 2. Let r be m(-14). Let j(s) = -3*s - s**3 + s - 5*s**r - s - s. Does 30 divide j(-6)?
True
Let q be (1*14)/(8 + -7). Let w = q - 10. Suppose -3*z + 20 = -g, w*z + 20 = 4*g + 60. Is z a multiple of 3?
False
Let h(a) = -a**3 - 10*a**2 - a - 4. Let j be h(-10). Is (52/j)/((-26)/(-39)) a multiple of 2?
False
Suppose -5*d = -4*b - 54 + 22, d - 4*b = 16. Suppose -161 = -3*j + 2*v, -5*j - d + 275 = -2*v. Is 11 a factor of j?
True
Let l = -14 + 12. Does 11 divide l/6 + 931/21?
True
Suppose -2*n + 5*n - 2*r = 7458, -6*r = 2*n - 4972. Is n a multiple of 11?
True
Let n be (13/(52/88))/(4/74). Let k = -39 + n. Does 16 divide k?
True
Let x = 12 - 9. Suppose -44 = x*w - 5*y, -35 =