 - 9909 = -3081. Does 58 divide (-24)/(-6)*5/(80/q)?
False
Let l(x) = -8*x**3 + 10*x**2 - 6*x + 2. Let o(c) = 7*c**3 - 9*c**2 + 7*c - 3. Let r(w) = -2*l(w) - 3*o(w). Let i be r(4). Let d = -118 - i. Does 22 divide d?
False
Suppose 0 = 2*g - 7 + 1. Let j(x) = 100*x - 7 - 54*x - 52*x + 19*x**2 + 9. Is 35 a factor of j(g)?
False
Let g(t) = t**2 + 8*t - 8. Let s be g(-9). Let d(w) = -4*w**2 - 10*w - 9. Let v(a) = -a**2 - a + 1. Let i(q) = s*d(q) - 5*v(q). Does 8 divide i(9)?
False
Suppose -5*z - 3*k + 254 = 42, 20 = z - 5*k. Does 11 divide -54*(-844)/z - (-45)/75?
False
Let w be 3*8/6*(6 + -5). Let y(i) = -w + 6*i + 1 - 15. Does 14 divide y(17)?
True
Suppose 62*n - 67*n + 163030 = 0. Is n a multiple of 119?
True
Let j be 12/(-150) + 369/(-75). Let s(t) = -188*t - 86. Is 8 a factor of s(j)?
False
Let l = -18 - -13. Let w(a) be the second derivative of -a**5/20 - a**4/4 + a**3 - 11*a**2/2 - 159*a. Is w(l) a multiple of 4?
False
Suppose 31*t - 36*t + 2*s + 16766 = 0, -s = 8. Does 31 divide t?
False
Suppose -6*n + 73 = 25. Suppose 23 = -n*x - 57. Is 4 a factor of (-1)/(-5)*2 + (-106)/x?
False
Let i(q) = 44326*q**2 - 20*q + 4. Is 30 a factor of i(1)?
True
Let l = 18169 - -185. Is 14 a factor of l?
True
Let q = 2 + 30. Let y = 25 + q. Suppose -55*t - 36 = -y*t. Does 9 divide t?
True
Let k = -534 + 533. Let d(w) = 4*w**2 + 4*w**2 + 2*w**2 - 2*w. Does 4 divide d(k)?
True
Suppose -4*d = 27 - 47. Suppose -5*l - 3*x + 6 = 0, 20 = -5*x + d. Suppose 2*b - i = 242, -l*b + 0*b - 4*i + 374 = 0. Does 17 divide b?
False
Suppose -23 = -3*c - 104. Suppose 12*j + 477 + 466 = -11*j. Let i = c - j. Does 12 divide i?
False
Suppose -3876 = -3*g + 3*k, -2*k = -26*g + 21*g + 6448. Does 4 divide g?
True
Let j(z) = 14*z + 19. Let c be j(4). Let n = c - 25. Suppose 0 = k - 5 - n. Is k a multiple of 11?
True
Suppose 132624 = 157*k - 220882 + 2768. Is k a multiple of 3?
False
Suppose d + 67*i = 70*i + 1210, 3*i + 4822 = 4*d. Is d a multiple of 29?
False
Suppose 3*y - 9565 = -4*a - 2890, 0 = -y + 5*a + 2263. Is y a multiple of 20?
False
Suppose 14 - 45 = 3*f - 4*j, 0 = 5*f - j + 46. Let g = f - -618. Is g a multiple of 21?
True
Suppose 8*c + 8 = 10*c. Suppose -3*s + 1047 = 2*v, -c*v + 2*s + 2103 = -s. Suppose v = 7*k - 2*k. Does 17 divide k?
False
Let j = -33 + 45. Suppose -13*a = -9*a - j. Suppose 25 = 2*z + a*z, 0 = 2*f - 4*z + 10. Does 4 divide f?
False
Is 134 a factor of (1411/(-34) + 8)/(-1 - 1041/(-1044))?
True
Let m(r) = -52*r + 13. Let b be m(7). Let i = b + 172. Let c = -20 - i. Does 53 divide c?
True
Suppose -19*i + 516 = -13*i. Suppose -4*m + 2*y + 0*y + 156 = 0, -2*m - 3*y = -i. Suppose l = 2*l - m. Does 40 divide l?
True
Let w(r) = -357*r - 1211. Is 7 a factor of w(-7)?
True
Suppose -19*r = 14*r + 5*r - 21052. Is r a multiple of 2?
True
Let p(m) = m**3 - 18*m**2 - 40*m + 4. Let r be p(20). Is (-14)/r*6*98/(-42) a multiple of 4?
False
Let k be 25280/45 - 4/(-18). Let y = -294 + k. Let d = y - 163. Does 15 divide d?
True
Let n = -3872 + 4405. Does 6 divide n?
False
Suppose 201*y = 7*y + 14*y + 5423040. Does 26 divide y?
False
Let x be ((-36)/(-10))/((-45)/(-300)). Suppose 2*w - x + 20 = 0. Suppose -4*q + 30 - 3 = f, -2*f + 48 = w*q. Does 12 divide f?
False
Let a(b) = b + 3. Let y be a(-1). Let o be (-2 + 20/(-5))/y. Does 33 divide (-11 - -2)/o*55?
True
Suppose 4*p + 4 = 4*y, p + 3*p - 6 = 2*y. Suppose -5*c - y*c = 40. Does 15 divide c/((-1)/1) + (174 - 1)?
False
Let s = 21660 + -11186. Does 33 divide s?
False
Suppose 4*w - 20510 = -4770. Is w a multiple of 10?
False
Suppose -8*j = -12*j + 8. Suppose -r + 18 = 2*r - j*t, 4*t + 30 = 5*r. Suppose r*x = -5*a + 2*x + 448, 3*a - 4*x - 256 = 0. Is a a multiple of 11?
True
Let x be 25/(-20)*-4 + 3. Suppose -27 + 219 = x*n. Let t = n - -99. Is t a multiple of 7?
False
Let r = -2470 - -5251. Is 9 a factor of r?
True
Let j(x) = 399*x - 18. Let z be j(10). Suppose -7*o + 949 = -z. Suppose -p = 5*l - o, -2*l - l + 2*p + 414 = 0. Does 11 divide l?
False
Let v = -87 + 141. Suppose -v = p - 357. Is p a multiple of 16?
False
Suppose -1233 = 2*o + 3*o + 4*g, 4*o = 4*g - 972. Is 12 a factor of (o + (-4)/(-1))/1*-1?
False
Suppose -5*x = 12*o - 9*o - 10593, -3*o - 2*x = -10584. Is 22 a factor of o?
False
Let o be (3 - 7) + 8 - (-6408)/1. Suppose 2*r + b = -b + 3208, 5*b = -4*r + o. Is r a multiple of 9?
False
Suppose 0 = 4*x + 20, -2*h - 2*h - 1168 = -4*x. Let f be (189/3)/(2/(-6)). Let z = f - h. Does 18 divide z?
True
Let h(t) = 17*t + 105. Let i be h(-6). Suppose 0 = i*d - 737 - 367. Is d a multiple of 16?
True
Let w = -33 + 45. Let y be (-2)/(-6) - (1396/w - 0). Let i = 206 + y. Is 9 a factor of i?
True
Let v(k) = -k**3 - 5*k**2 + 17*k + 19. Let w be v(-7). Let t be 27/(-1*(-2)/(-4)). Is ((-2 - -1)*w)/((-1)/t) a multiple of 12?
True
Let d = -142 + 147. Suppose 3*r = 2*c + 176 + 58, d*r - 3*c - 390 = 0. Is r a multiple of 21?
False
Suppose 0 = -h - z - 2875 + 15178, -4*z = -2*h + 24636. Is 17 a factor of h?
True
Suppose m + 18 = 5*f, m - 2*f + 9 = 3. Is (1 - m)*(-496 + -51) a multiple of 41?
False
Let r = -791 + 526. Let p = r - -328. Is p a multiple of 9?
True
Let f(v) = -5*v - 59. Let d(j) = j + 7. Let p(l) = -24*d(l) - 3*f(l). Let n be 1*-2*(-6)/(-4). Is p(n) a multiple of 24?
False
Suppose -908820 = -81*l - 21*l - 51*l. Is l a multiple of 9?
True
Let k = 48 + -95. Let i = k + 49. Suppose i*o - 90 - 22 = 0. Is o a multiple of 8?
True
Let p = 414 + -417. Is 4 a factor of (544/(-51))/(p - (-14)/6)?
True
Let l = -1832 - -6392. Does 70 divide l?
False
Is 39 a factor of -12 + 737*45 + -12 + 9?
True
Does 142 divide (1961 - -3) + 10*2/(-4)?
False
Let j be 5*2/5 - -1. Suppose -5 = p + j*k + 22, -3*p = 3*k + 51. Is p/(-15)*(-375)/(-6) a multiple of 16?
False
Let o = -37 - -36. Let h be ((-14)/(-42))/(o/(-9) + 0). Does 10 divide (16 - 1) + -2 + h/1?
False
Is (-119280)/294*21/(-6) a multiple of 71?
True
Suppose 2*h = -5*j + 2215, -147*h + 5*j + 3260 = -144*h. Is 6 a factor of h?
False
Let m(n) = -40 + 150*n - 14 - 37*n - 6. Is 46 a factor of m(3)?
False
Let z = 2228 + -476. Suppose 0 = 17*k - 11850 + z. Does 44 divide k?
False
Let i(k) = -3*k - 11. Let c be i(-6). Suppose -5*v + v = b + c, 3*v = 3*b - 54. Suppose b*h = -305 + 1072. Is h a multiple of 3?
False
Let m(l) = -l**3 - 8*l**2 - 8*l - 3. Let j be m(-7). Suppose o = -4*d + 2069, 2*d + o + 1039 = j*d. Is d a multiple of 37?
True
Suppose 7967 = 3*n - 5*d, 44*d - 46*d = 2*n - 5306. Is n a multiple of 14?
False
Suppose -5*u + 259 = 104. Suppose 3*a = -n + 4, 2*a - 5*n - u = -0*n. Is 6/21 + ((-3006)/(-21))/a a multiple of 7?
False
Let a(y) = 59*y + 2226. Is 23 a factor of a(-12)?
True
Let g(k) = -104*k + 2255. Does 33 divide g(-44)?
True
Let f = -2914 + 4157. Does 46 divide f?
False
Let c = -344 - -372. Suppose -c*t = t - 3422. Is t a multiple of 59?
True
Let x be (-2)/4*(-38 + 6). Let d(c) = c**3 - 15*c**2 - 11*c - 38. Is d(x) a multiple of 7?
True
Let a(i) be the first derivative of 2*i**3/3 + 9*i**2/2 - 31*i - 94. Suppose 2*t = -u - 1 - 4, 43 = -5*u - 4*t. Is a(u) a multiple of 7?
True
Let u(k) = k**3 + 4*k**2 + 6*k + 26. Let y be u(-4). Suppose -y*j - b + 387 = 0, -9 = -b - 2*b. Is 76 a factor of j?
False
Let t(f) = -5*f**2 + 19*f - 29. Let s be t(-11). Let g = -340 - s. Is g a multiple of 17?
False
Let o(m) = -3*m**3 + 2*m**2 + 17*m + 10725. Does 33 divide o(0)?
True
Suppose 4 = -4*c - 4. Let s be 2*(0 - (0 + c)). Suppose s*n = 6*n - 148. Is n a multiple of 35?
False
Suppose -93906 = -15*h + 410042 + 63652. Is 344 a factor of h?
True
Let w be -6 - (-9 - (7 - 6)). Let t(x) = 3*x**3 - 6*x**2 - 10*x + 3. Is 35 a factor of t(w)?
False
Suppose -13*j = -7*j + 54. Let n be (j - -5)*-17 + 0. Is 21 a factor of 15292/n + 2/17?
False
Let z be ((-10)/(-8))/((-9)/12 + 1). Suppose p - 8 = -z. Suppose 0 = -p*y - w + 411, 5*y + 3*w - w = 685. Does 36 divide y?
False
Let f be 1 - (63/42)/(2/(-4)). Suppose 0*v + 3*d = f*v - 487, -3*v - d + 362 = 0. Is v a multiple of 17?
False
Suppose 5*r - 1650 = 16*r. Let i = 620 + r. Does 51 divide i?
False
Let z be 4 + -4 + -5 + 5. Suppose z*r - 6*r = -1806. Is 43 a factor of r?
True
Let u(q) = 3922*q**3 + 15*q**2 - 18. Is u(2) a multiple of 50?
False
Let y = 280 - 280. Suppose 328 = 2*u - 4*m - 292, y = -u - 3*m + 305. Does 29 divide u?
False
Suppose 4*f = -4*x 