 m. Does 17 divide b?
False
Suppose 2*k + 2*s - 14 = 0, -k - 3*s + 17 = -0*s. Suppose -3*j = t - 7, -j + 18 = j - k*t. Let u(x) = 7*x - 12. Is u(j) a multiple of 2?
True
Suppose -3*j = p - j - 592, 0 = 3*j + 6. Suppose -4*q + p = 3*d, 2*q - 5*q + 460 = -d. Is q a multiple of 16?
False
Let f be 5 + (-16)/2*-6. Suppose 0*y = 5*y - 20, 3*u = 4*y - 49. Let n = f + u. Does 14 divide n?
True
Let t = -31 - -40. Let o be ((-9)/(-4))/(t/108). Let r = 77 - o. Is r a multiple of 6?
False
Suppose 4*f - 169 = 459. Suppose -2*h - 3*n = 6, 4*h = 2*h + 4*n + 22. Suppose 0 = 5*c + 2*d - f, d = h*c + 5*d - 83. Is 11 a factor of c?
True
Suppose b + 0*w - 2*w - 1 = 0, -4*b - 3*w = -26. Suppose -b*d + 2*k + 3031 = 1041, -2*d = 2*k - 810. Is 40 a factor of d?
True
Suppose 0 = 3*x + 3*g - 6309, -77*x + 80*x - 6273 = 3*g. Is 50 a factor of x?
False
Let m = 89 - 82. Suppose m = 10*y - 13. Suppose 4*g + 5*s - 149 = -36, 0 = y*g + 2*s - 58. Is g a multiple of 16?
True
Let u(t) = -56*t + 25. Let a = 723 + -725. Does 2 divide u(a)?
False
Let n(h) = -4*h + 55. Let g be n(0). Let r = g - -80. Is r a multiple of 58?
False
Let w be -6*(-2)/(-4)*-2. Suppose m = -x + 95, 4*x - 188 = -w*m + 4*m. Suppose -37*d - m = -40*d. Is 16 a factor of d?
True
Suppose -2*a - 4 = -3*c - 2, -4*a - 4 = 4*c. Does 10 divide 20*(75/10 + c)?
True
Let v be ((-1)/2)/1 + (-1151)/(-2). Is (-1)/(((-45)/v)/9) a multiple of 9?
False
Suppose -2*u = -5*u - 96. Let j = -38 - u. Does 4 divide (-8)/(-2 + (-9)/j)?
True
Suppose -36930 - 72426 = -13*b. Suppose 0 = -11*o - o + b. Is o a multiple of 70?
False
Let g = 36745 - 9682. Is g a multiple of 97?
True
Let o(g) = 6*g - 10*g**3 - 1 + 32 - g**2 + 11*g**3. Does 4 divide o(7)?
False
Let b = -15 - -29. Suppose 0 = -9*r + 31 + b. Suppose 0 = -3*o - 0 + 15, 5*l = -r*o + 400. Is l a multiple of 25?
True
Suppose -4*q + 120 - 340 = 0. Let b be (-1 - (-29)/(-2))/((-10)/(-20)). Let v = b - q. Does 12 divide v?
True
Let f(h) = h**3 + 23*h + 96. Let z be f(19). Suppose 20*o - z = 8*o. Is o a multiple of 28?
True
Suppose -2*r + 9*i + 2056 = 0, 5*r - 5*i - 135 = 5040. Is r a multiple of 61?
True
Let z be (9/6)/((-1)/(-10)) + -4. Suppose z*g = 6*g - 3*o + 481, -4*g = -o - 378. Is g a multiple of 9?
False
Let r(k) = k**3 + 26*k**2 - 56*k - 64. Does 34 divide r(-18)?
True
Suppose -4*g - 3356 = -2*q, -7419 - 959 = -5*q + 4*g. Is 31 a factor of q?
True
Does 56 divide -136*(30276/(-24))/29?
False
Suppose -3*b + 13 = 2*z - 1, 5 = 5*z. Suppose -57 = -b*t + 39. Is t a multiple of 8?
True
Let w(n) = -n**3 + 9*n**2 - 10*n + 20. Let o be w(8). Is (-18)/(-16)*o*156 a multiple of 39?
True
Let k(m) = -m**3 - 3*m**2 + m - 2. Let w be k(-4). Suppose 6 = -w*x + 13*x. Suppose 0 = -5*n - x*g - 0*g + 71, 2*g = 4*n - 64. Does 3 divide n?
True
Let w(n) = n**2 - 9*n - 8. Let g be w(10). Let v(y) = 2 + g - 26*y + 7*y - 12*y. Is v(-2) a multiple of 15?
False
Suppose 2*z + 682 = v - 212, -5*v - 2*z = -4410. Does 26 divide v?
True
Suppose -q = -11 + 5. Let l = q - 9. Is 3 a factor of (-2)/(-4)*6/l*-18?
True
Suppose -c = 2*r + 36, 5*r + c - 4*c + 90 = 0. Let q = r - -118. Suppose 4*l + l = q. Is l a multiple of 10?
True
Let g(q) = 2*q**2 + 12*q - 9. Let c be g(-6). Let m(n) = n**2 + 7*n - 9. Let h be m(c). Let r = 29 + h. Does 5 divide r?
False
Suppose 226536 = -49*k + 73*k. Is k a multiple of 28?
False
Suppose -8587 = -g - u + 746, -4*u + 46665 = 5*g. Is 26 a factor of g?
False
Suppose 79*l + 6 = 77*l. Is (l - (2 + -3) - -60)*1 a multiple of 7?
False
Suppose -22 = -2*d - 24. Is d/((-4)/1480) - (3 + -3) a multiple of 10?
True
Suppose 0 = -2*m - 2*v + 5528, 0 = 3*m - 302*v + 306*v - 8285. Is m a multiple of 17?
True
Let r(j) = j**2 + 1. Let u(d) = 4*d**3 + 42*d**2 + 14*d - 3. Let c(s) = -6*r(s) + u(s). Does 9 divide c(-8)?
True
Suppose 3*i - 1520 = -i. Let v = i + -245. Does 15 divide v?
True
Suppose -90*h = -95*h + 135. Suppose 15 = 7*d - h. Is 4 a factor of d?
False
Let h = 36 + -34. Suppose 2*v - 606 = -3*p, 2*v + 2*p = -h*p + 608. Does 15 divide v?
True
Let n(l) = -3*l**3 - 3*l - 2. Let x be n(-1). Suppose -4*p - x*o + 168 = 0, -2*p + 3*o = 8*o - 75. Does 2 divide p?
False
Suppose -3*v + 2*y = -4, 4*v - 3 = -2*y + 7. Suppose 2*s = -5*w + 12, 2*s + w - v*w = 0. Is 31 a factor of (-338)/(-3) - (1 + s/(-3))?
False
Let v = -486 - -577. Suppose 2*l - 88 - v = -m, -3*m + 552 = l. Is 5 a factor of m?
True
Is 47 a factor of (-2*(-1 + 1839/6))/(20 + -21)?
True
Let x = 20899 - 5600. Does 110 divide x?
False
Let g be (-97 + -14)/((-3)/2). Is 23 a factor of (-2564796)/(-1924) - 4/g?
False
Let c = 10295 - 9254. Is 2 a factor of c?
False
Suppose 43*g = 20*g - 29*g + 90792. Is g even?
True
Suppose -11324 = 24*r - 53252. Does 3 divide r?
False
Let p(t) be the first derivative of 2*t**3/3 + 33*t**2/2 + 21*t + 29. Does 25 divide p(-18)?
True
Let c be (-26)/(-4)*72/(-18). Let m be 12/32 - c/16. Is -4 - (m + -78)/4 even?
False
Let d = 7732 - 295. Is 37 a factor of d?
True
Let p = 4 - 10. Let h(v) = -v**3 - 7*v**2 - v - 12. Let z be h(p). Does 17 divide (-282)/(-4) - 1 - (-63)/z?
True
Suppose 4*y + 19 = -1. Let p be (-3)/2*((-1380)/(-18))/y. Suppose -p*h + 19*h + 68 = 0. Is h a multiple of 2?
False
Let c = -166 - -375. Suppose t = -3*i - 2*i + 72, 2*t - c = 3*i. Is 8 a factor of t?
False
Suppose -2*r + 2 = 3*o - 5, 2*r = 5*o - 17. Suppose -2*g - g = -o*h + 33, 5 = 3*h + 4*g. Suppose h*f - 5*f - 172 = 0. Does 19 divide f?
False
Let y(z) be the second derivative of 25*z**3/6 + 43*z**2/2 - 15*z. Does 8 divide y(4)?
False
Is 16 a factor of 26/104*32 + 2294/2?
False
Suppose 0*s + 5*s = -2475. Let x = s - -560. Does 65 divide x?
True
Suppose -22*k = -27*k + 2470. Let x = k - 417. Does 14 divide x?
False
Suppose 0 = -4*a - 4*o + o + 15, -a + 5*o = 25. Suppose 3*w - 20 - 13 = a. Suppose w + 1 = s. Is 2 a factor of s?
True
Let l(d) = 2*d**2 + 13*d + 18. Let r(f) = -f**2 - f + 8. Let g be r(-5). Let q be l(g). Suppose -u = 4*z - q, 0 = u + 2*z - 146 + 4. Is 29 a factor of u?
False
Let g = 8067 + -4854. Is 27 a factor of g?
True
Suppose 5*y = 3*s + 1737 + 88, 3*s = -3*y + 1119. Is y a multiple of 46?
True
Suppose 2*s - 4*s = -15580. Suppose 179*r - 169*r - s = 0. Is r a multiple of 19?
True
Let y(t) = 2*t + 8. Let b be y(-6). Let w(i) = -3*i**3 - 3*i**2 - 4*i - 1. Let s be w(-1). Is 18 a factor of 1330/15 - b/s?
True
Let j = -7509 - -11291. Is j a multiple of 9?
False
Let n(f) = -505*f - 10. Suppose -5*u - 7 = 2*u. Is 55 a factor of n(u)?
True
Does 43 divide 18/(252/141694) - -3?
False
Let q be (-1)/(-5)*1 + (-20)/(-25). Is (-2 + 548/4)/q a multiple of 11?
False
Suppose 3*l = 4*r - 11 + 1, 4*r - l - 14 = 0. Is ((-1 - 21)*1)/(r/(-12)) a multiple of 6?
True
Let a = -108 - -120. Suppose a*m = -11*m + 230. Is m a multiple of 5?
True
Is (9 - -1168)*(1 + 1) a multiple of 22?
True
Let f(n) = -13*n - 24. Let r be (-12)/(-3) - ((2 - -2) + 3). Let g be 22*(-1)/4 + r/(-6). Does 15 divide f(g)?
False
Suppose 4*k + 0 = 12. Suppose 4*z = k*s + 29, -2*s - 16 = -z - 5. Let c(n) = 3*n. Is 3 a factor of c(z)?
True
Let n(t) be the third derivative of t**5/60 - t**4/3 - 11*t**3/3 + 593*t**2. Let d(r) = -12*r. Let w be d(-1). Is n(w) even?
True
Suppose 2*k - s - 500 = s, -4*k = 3*s - 1007. Let m = k - -199. Is 25 a factor of m?
True
Suppose 5*b = 5*c + 10795, -b + 10*c = 5*c - 2147. Is 23 a factor of b?
True
Suppose -355 = -2*i - 679. Let j = i + 258. Is 16 a factor of j?
True
Let l(x) = -24*x + 18 + 8*x - 14*x. Let b be l(3). Is ((-6)/4)/(3/b) a multiple of 36?
True
Suppose -3*f = -4986 - 396. Let g = -1156 + f. Is g a multiple of 49?
False
Let p be -3*(-6)/(18/7). Suppose -4*y + p = -5. Suppose -y*h = -548 - 124. Is 28 a factor of h?
True
Suppose 2*i + 36 - 20 = 0. Let q = -6 - -4. Let w = q - i. Is 6 a factor of w?
True
Let l(o) = o**3 + 10*o**2 + 8*o - 3. Let r(u) = -u**2 - 7*u - 4. Let q be r(-6). Suppose -4*a - 2*z = 34, 2*a + q*z - 6 = 3*a. Is l(a) a multiple of 7?
False
Suppose 49*o - 9993 = 8872. Is 43 a factor of o + 0 - (-18 - -16)?
True
Let f = 16 + -8. Let h be 2*(28/f - 3). Does 7 divide 2/(-3) + h/(9/96)?
False
Let i(w) = w**3 + 21*w**2 - 23*w - 20. Let n be i(-22). Suppose -5*b - 5*v + 1690 = 0, 21*v - 680 = -n*b + 17*v. Is b a multiple of 8?
True
Suppose -2*m = -6*m + 48885 + 67035. Is 15 a factor of m?
True
Let a = 590 - 402. Let