 -7. Suppose a*q + 3 = -12, 2*q = 3*g - 774. Is g a multiple of 32?
True
Suppose 0 = -2*b - 4*h + 18, 5*b - 12*h = -8*h + 3. Suppose -3522 = -4*n + 6*q - 8*q, -b*n + 2661 = -5*q. Is n a multiple of 21?
True
Is (776/(-32) - (-9)/12)*-76 a multiple of 94?
True
Suppose -56*n = -14*n - 157584. Is n a multiple of 9?
False
Let v = 217 + -215. Suppose -v*u - 4*b = -260, -5*u + b + 411 = -2*u. Is 5 a factor of u?
False
Let i be (2/3)/(2/(-51)) + 3. Let d(v) = -v - 13. Let l be d(i). Is 33 a factor of 46*l + (-6)/(-6) + 2?
False
Suppose 217626 = 162*p - 48*p. Does 43 divide p?
False
Let q = 714 + -164. Let d = -52 + q. Is 17 a factor of d?
False
Suppose -5*p = -15, -4*r + 25 = -8*p + 7*p. Suppose -r*i + 5184 = 5*i. Is 16 a factor of i?
True
Let y(m) = -m**3 + 22*m**2 + 13*m + 59. Let h be y(22). Let g = 187 + h. Is 25 a factor of g?
False
Let z(d) = -d**2 + 6*d + 11. Suppose -4*x + 3*x + 7 = 0. Let g be z(x). Let n(b) = 22*b + 20. Does 15 divide n(g)?
False
Suppose 74*j - 616132 = -21*j + 288078. Is j a multiple of 69?
False
Let d = -9146 + 15731. Is 10 a factor of d?
False
Let j = 69810 - 14146. Does 196 divide j?
True
Suppose 58*b - 39*b = 912. Suppose 19*x = 15*x + b. Is 4 a factor of x?
True
Suppose -11*i - 19*i + 27940 - 4120 = 0. Is 2 a factor of i?
True
Suppose 0 = 4*w - 12, -5*y = -22*w + 23*w - 25128. Does 75 divide y?
True
Suppose -3*a - 21 = 15. Let b be (8/a)/(2/(-9) - 0). Suppose b*u + 8 - 71 = 0. Does 4 divide u?
False
Suppose 1959 = 10*g - 411. Is g a multiple of 2?
False
Suppose -4*c = -5*c + 29. Let q = 34 - c. Is 28 a factor of (-5436)/(-24) + q/(-2)?
True
Suppose 1339 + 825 = 4*v + 420. Is v a multiple of 2?
True
Let h(a) = 2*a**2 - 3*a + 124. Let y = -55 - 12. Let x = y - -67. Does 37 divide h(x)?
False
Suppose -7244 = -7*t + 15303. Does 7 divide t?
False
Let o(q) = q**3 - 8*q**2 + 7*q + 2. Let n be o(9). Suppose -4*h = -3*h - n. Suppose -2*x - h = -2*c, -2*c + 4*x + x = -137. Is c a multiple of 19?
True
Suppose -6*n + 23 = -1. Suppose 142 = 3*r + 2*o, -209 - 57 = -5*r + n*o. Does 14 divide r?
False
Let t = -22 + 25. Suppose 34 = -4*c + 5*b, -6*c + 3*c - t*b = 39. Let i(x) = -x**2 - 20*x + 13. Does 20 divide i(c)?
False
Let a = 1002 + 654. Is 4 a factor of a?
True
Let v(m) = -19*m**2 - 276*m - 5. Is v(-3) a multiple of 8?
False
Let v(p) = 9*p + 21. Let g be v(-4). Is 28 a factor of 4/48*4 - 8230/g?
False
Suppose 0 = -4*u + u + 3. Let p be (100 + u - 0) + 3. Suppose -614 + p = -5*z. Does 34 divide z?
True
Let n = -3893 + 5688. Does 12 divide n?
False
Let y = 366 + 786. Is y a multiple of 32?
True
Let o(j) = 2*j**3 + 5*j**2 + 5*j. Let g be o(5). Suppose 3*q - g = -5*a, 3*a - 236 = -0*a - q. Let y = -62 + a. Is 6 a factor of y?
False
Let k(y) = 4*y**3 + 2*y**2 - 4*y - 4. Suppose -16*m + 96 - 16 = 0. Does 33 divide k(m)?
False
Is 7 a factor of 2/(8/7)*5396/24*24?
True
Suppose 0 = -5*u + 4*l + 4, -4*u - 7*l = -2*l - 36. Suppose -3*d = -u*d + 86. Let j = 241 - d. Does 31 divide j?
True
Let m be (18*-1)/(-2) - 0. Suppose -150 = -4*w + m*w. Let b = -19 - w. Is 9 a factor of b?
False
Suppose -24 = 3*r, 5*s + 4*r = 33782 + 44251. Is 13 a factor of s?
True
Let q = -64 + 79. Suppose 0 = 11*x - q*x + n + 580, -3*x = 5*n - 412. Is x a multiple of 12?
True
Suppose 69*z - 96*z + 464940 = 0. Does 7 divide z?
True
Let a be (-12)/(-15) - 1426/(-155). Suppose w + 8 = -w, 2*n + 8 = -2*w. Let x = a + n. Is x a multiple of 10?
True
Let n(m) = 26*m**2 + 5*m - 6. Let z be n(2). Let r = z + -94. Suppose -7*p = -r*p + 175. Is 4 a factor of p?
False
Let j(m) = -52*m - 74. Let c(l) = -l**2 + 28*l - 162. Let s be c(8). Is 3 a factor of j(s)?
True
Let g = 4135 - -317. Is 7 a factor of g?
True
Suppose -53 + 45 = -4*r. Suppose r*m - 5*z = m - 22, 5*m - 4*z + 26 = 0. Does 11 divide 2046/42 - m/7?
False
Let l = -17299 + 23548. Does 26 divide l?
False
Let z be (-4)/(-14) + (-2054)/182. Let h = 16 + z. Suppose a - h*a = -324. Is 8 a factor of a?
False
Let t = 1484 + 8123. Does 22 divide t?
False
Let s(o) be the first derivative of 3*o**3 - 3*o**2 + 6*o - 60. Let r = 2 + 0. Is s(r) a multiple of 15?
True
Does 198 divide 187416/(-266)*(-308)/8?
True
Let t(r) = 3*r**3 + 34*r**2 - 35*r + 78. Let y(z) = -z**3 - 17*z**2 + 18*z - 39. Let k(a) = -2*t(a) - 5*y(a). Let g = -22 + 37. Is 10 a factor of k(g)?
False
Is 11 + 608 - -12 - -14 a multiple of 5?
True
Let t = 11803 + -8363. Does 3 divide t?
False
Suppose 870 = -4*l - 874. Let k = l + 889. Is k a multiple of 9?
False
Let c = 152 - 57. Suppose i - 2*j - 100 = -2*i, -c = -4*i - 5*j. Let s = -24 + i. Does 6 divide s?
True
Suppose 28*b = 16*b - 46*b. Suppose t - 2*t + 55 = 0. Suppose t = 3*s + a, b = 4*s - a - 3*a - 68. Does 3 divide s?
True
Let a = -10252 + 15889. Is a a multiple of 19?
False
Let h(c) = -8*c - 1. Let o be h(-4). Suppose -o = -6*b + 59. Let l = b - -57. Is 12 a factor of l?
True
Is 1*(2172 + 0) + 12 a multiple of 26?
True
Let z(p) = -p**3 - 17*p**2 - 11*p - 8. Let c be z(-17). Let h = c + -159. Does 10 divide h?
True
Let z = 170 - 155. Does 12 divide 264*(z/2 + -7)?
True
Suppose -20*n = -0*n + 11980. Let r = n - -1036. Is 13 a factor of r?
False
Let z = 107 + -99. Suppose 0 = -z*p + 420 + 372. Does 24 divide p?
False
Let m(t) = -5*t - 36. Let x = 58 - 56. Let k(b) = -25*b - 181. Let u(d) = x*k(d) - 11*m(d). Is u(23) a multiple of 14?
False
Suppose 45*s = 40*s - 22*r + 62824, -5*r = s - 12560. Is s a multiple of 90?
True
Let c = 351 + -364. Is (0 - 6) + (c - (-1463 - 4)) a multiple of 8?
True
Suppose 0 = -0*v - 3*v. Suppose v = 9*p - 426 - 195. Does 3 divide p?
True
Suppose -2 = -2*b + 2*k + 10, 3*b - 8 = k. Let s be 3/b + -2 + 363. Suppose -3*i - 358 = -6*i - 2*q, 4*q + s = 3*i. Is 30 a factor of i?
True
Let v be (-16)/10*(-8)/(176/(-2035)). Let i = v + 172. Does 8 divide i?
True
Let b(l) = 20*l**3 + 5*l**2 + 9*l - 22. Does 26 divide b(2)?
False
Let f(a) = a**3 - 3*a - 3. Let p be f(-1). Let t be (2 + 2 - 179)*p. Suppose -i = -2*b + t - 71, 4*i = 16. Is b a multiple of 6?
True
Suppose -5*p = 3*n - 166087, -3*n - 9 = 9. Is p a multiple of 239?
True
Let x(c) = 3*c**2 + 2*c + 7. Let p be x(7). Suppose b = -3*j - 2*j + 62, 5*b - 350 = -5*j. Let g = p - b. Is g a multiple of 32?
True
Suppose -u - q - 254 = -1968, 0 = -u + q + 1718. Suppose u + 1133 = 7*z. Let f = z - 287. Does 15 divide f?
True
Let p be ((-40)/(-2 - -6))/(-2). Let f(s) be the first derivative of s**4/4 - 5*s**3/3 + 5*s**2/2 - 7*s + 30. Does 6 divide f(p)?
True
Suppose 46*w = 26*w + 29400. Is 15 a factor of w?
True
Let s(d) = d + 1. Let o be s(0). Is 27 a factor of (-9 + 0/2)/(o/(-6))?
True
Suppose -346 = 8*v - 226. Is 56 a factor of ((-388)/(-8))/(v/(-300))?
False
Let x be 82 + 10 + (0 - 2). Suppose 97*p - x*p = 721. Is 3 a factor of p?
False
Let f be 1/(-4) - 27/(-108). Let l be ((-16)/32)/((-2)/916 + f). Let i = -148 + l. Does 7 divide i?
False
Suppose -5*o = 2*p - 603 - 26631, -2*p = 6. Is 88 a factor of o?
False
Let p(q) = q**2 - 6*q + 12. Let f(o) = o - 5. Let v be f(7). Let r be p(v). Suppose -440 = -r*n - n. Is 11 a factor of n?
True
Suppose -2*u - 11 + 19 = 0. Suppose 796 = -u*m - 2372. Is 3 a factor of (-4)/(-10) - m/20?
False
Suppose -5*k + 4*g + 4052 + 42 = 0, 4*k = g + 3284. Does 3 divide k?
True
Suppose -2*z = -21 + 13. Suppose 0 = f - d - 604, -z*f + 678 + 1747 = 5*d. Is 79 a factor of f?
False
Let n(w) = 2*w**2 - 10*w - 15. Let h(y) = -y**2. Let j(f) = -4*h(f) - n(f). Let r = 4 - 11. Does 16 divide j(r)?
False
Suppose 0 = 3*k - 2*v - 20, -5*k + 31 = -5*v + 4*v. Suppose 4*a = 0, k*a - 3*a = 3*l - 951. Suppose 4*x = 5*s - l, 4*x + 17 = 2*s - 105. Does 6 divide s?
False
Suppose 40*i + 29061 = j + 41*i, j - i = 29043. Is j a multiple of 79?
False
Let c(m) = -10*m - 6. Let j(i) = 2*i**3 + 22*i**2 - 4*i - 12. Let w be j(-11). Suppose w + 8 = -10*z. Does 6 divide c(z)?
False
Let o be (-24)/10 + (-3)/5. Suppose 3*i + b - 13 - 80 = 0, -155 = -5*i - 3*b. Let d = i - o. Is 17 a factor of d?
True
Suppose -3*p + 19 = 4*c, 17 = p + 3*c + 19. Suppose p*q - 3129 = 4359. Is q a multiple of 20?
False
Let y(x) = -34*x**2 - 7. Let d be y(-5). Let i = 1342 + d. Is 13 a factor of i?
False
Let a = 27 - 56. Let q = a - -33. Suppose -z - 14 = -l - 79, q*z + 5*l - 287 = 0. Is 11 a factor of z?
False
Suppose 240 - 92 = -37*o. Is 13 a factor of o/(-18) - ((