r a multiple of 8?
True
Let h = -6012 - -8851. Is 41 a factor of 6/(-8) + h/68?
True
Suppose 0 = -27*m + 24*m + 435. Does 9 divide m?
False
Let v = 156 - -1. Let l = v + -51. Is l a multiple of 18?
False
Suppose 5*q + 1 = -19. Suppose -d + 4 = 2*j - 11, -3*j + 3 = 0. Let w = q + d. Is 3 a factor of w?
True
Let i be (-117)/(-39)*(-1 - 20/(-6)). Let c(v) = -v**3 + 10*v**2 - 11*v + 17. Is 29 a factor of c(i)?
True
Suppose -q + 4*v = -543, -3*v - 2610 = -5*q - 4*v. Is q a multiple of 9?
False
Let s(z) = 39*z**3 + 2*z**2 + 14*z - 25. Is 19 a factor of s(2)?
True
Let l = -124 - -133. Suppose 0 = 3*z + g + 394, -3*g = -0*z - 3*z - 402. Is 3/(-2)*z/l a multiple of 5?
False
Let k(w) = 13*w**2 + 8*w - 8. Is 25 a factor of k(6)?
False
Suppose 19 = p + 61. Is 8 a factor of ((-34)/4)/(7/p)?
False
Let f be 1/((-2)/20) - -2. Suppose 3*l = 3*s + 48, 5*s + 13 = 33. Does 13 divide f/l - (-232)/5?
False
Let x(t) = 11*t + 2. Let j(s) = -22*s - 4. Let v(k) = 3*j(k) + 5*x(k). Let b be 18/((-6)/2) + -1. Is 20 a factor of v(b)?
False
Let j = -10 + 13. Suppose 6 = 4*i + a, 5*i - j*a - 8 = 8. Is 16 a factor of (-38 - i)*2/(-4)?
False
Does 28 divide 165095/70 + 5/(-2)?
False
Let a = 61 + -45. Suppose -136 = -20*b + a*b. Is b a multiple of 17?
True
Suppose 9*t - 4860 = -3*t. Does 27 divide t?
True
Let d be 22/(-4) + 1/2. Is 15 a factor of 2 + d - (5 - 38)?
True
Let j(p) = 8*p - 16. Let g be j(3). Is 35 + (-7)/((-28)/g) a multiple of 21?
False
Suppose -24*c = -25*c + 5. Suppose -565 = -5*y - 0*y + c*b, 4*y - 457 = 5*b. Is 36 a factor of y?
True
Let u = -30 + 210. Suppose -u = -2*b - 3*b. Suppose -4*h = 5*n - 63, 3*h - 5*n + 15 - b = 0. Does 4 divide h?
True
Suppose 432*a = 430*a + 1826. Is a a multiple of 126?
False
Does 24 divide 263*2 - -4*6/12?
True
Let c = 45 + -29. Suppose n + c = h, 0 = 5*n + h + 43 + 31. Let s = 31 + n. Is 4 a factor of s?
True
Let f(c) = 18*c + 45. Let w be f(-10). Does 9 divide (-9)/(w/6) - 669/(-15)?
True
Suppose -11*n + 8*n + 606 = 0. Suppose 52 - n = -5*v. Is v a multiple of 10?
True
Suppose 2*y = 2*o - o - 45, 0 = -y + 3*o - 15. Let z = y - -51. Is z a multiple of 5?
False
Suppose 3*m - 5*s = -4 - 6, -25 = -3*m - 2*s. Suppose i + 7 = 2*y, -3*y = m*i - 2*i - 6. Suppose -3*o + 5*u = -98, -2*o = y*u - 21 - 19. Is o a multiple of 26?
True
Suppose -5*f + 43 = 3*m + 2, 0 = -m - 2*f + 12. Suppose -9*g - 923 = -m*g. Is 8 a factor of g?
False
Suppose -3*w + 11 = -i - 2, w = -2*i + 2. Suppose 10 = w*h - 78. Is 10 a factor of h?
False
Let d = 113 + -63. Let f = 70 - d. Is f a multiple of 8?
False
Suppose 6 = t + 4*v, 0*t + 2*v - 10 = -4*t. Suppose 0 = -t*d + 196 - 8. Let l = d - 7. Is l a multiple of 29?
True
Let u(x) be the third derivative of 0*x + 1/12*x**5 + x**2 - 5/6*x**3 - 1/24*x**4 + 0. Is 21 a factor of u(-3)?
False
Let v be (-27)/(-12)*-2*2. Let b(l) = l**2 + 4*l + 3. Let a be b(v). Suppose 64 = 4*g - a. Does 13 divide g?
False
Suppose 1081 = 2*z - 5*o, 656 = -2*z - 2*o + 1702. Is 22 a factor of z?
True
Suppose 8 = x + x. Suppose x*z = 8*z - 52. Suppose w - 17 - z = 0. Is 10 a factor of w?
True
Let n(q) = 4*q**3 - 15*q**2 + 56*q - 22. Is 36 a factor of n(10)?
False
Does 19 divide -3 + (37 - (4 + -8))*1?
True
Let f be (-452)/(-3) + (-12)/18. Let p be (142/4)/1*4. Suppose 3*x - 5*x = 3*i - f, -2*x = i - p. Does 13 divide x?
False
Is (12/(-10))/(35/(-95200)) a multiple of 64?
True
Let u(j) = j**2 - 8. Let y = 0 - -30. Suppose 0 = -18*i + 13*i - y. Does 14 divide u(i)?
True
Suppose -91*c + 133*c = 123018. Does 101 divide c?
True
Suppose -2*t + 32 = -4*y, 2*t - 6*y - 40 = -4*y. Is t a multiple of 3?
True
Suppose 6 = 6*k - 0. Suppose 73 = -2*j + 3*j - 4*s, -j - 2*s + 55 = 0. Let r = j - k. Does 12 divide r?
True
Suppose 0*f + 3*f = 4*x - 2697, -3372 = -5*x + 4*f. Does 16 divide x?
True
Suppose -i + 171 = i - 3*g, -4*g = -20. Does 11 divide -2 - (4 + i*(-1 + -1))?
False
Let j(z) = -2*z - 9. Let k be j(-6). Let f be 0 - (-1 + 5 - 119/17). Suppose -f*v + 2*s = v - 70, -51 = -k*v + s. Is v a multiple of 16?
True
Let i = -185 - -112. Let q = i - -439. Is q a multiple of 36?
False
Let o(y) = y**2 - 13*y - 9. Let a be o(14). Suppose 0*v + v = -2*d + 3, 4*d + 71 = a*v. Is 11 a factor of v?
True
Let x be 5850/(-36)*104/(-10). Is 7 a factor of (-1)/4 - x/(-40)?
True
Let q(h) = h**3 + 7*h**2 + 4*h - 4. Let v = 15 + 15. Suppose 5*i = -0*i - v. Is q(i) a multiple of 8?
True
Let t be ((-4)/6)/(2/(-102)). Let g = 430 + -428. Suppose 104 - t = g*z. Does 20 divide z?
False
Is 31 a factor of (-5)/(-1)*(-59157)/(-315)?
False
Let n(r) = 18*r - 4. Does 11 divide n(8)?
False
Suppose -3593 - 352 = -15*c. Is 7 a factor of c?
False
Let w(c) = -c**2 - 6*c + 6. Suppose -3*j + t = -7, -t = j + 2*j - 11. Let y be w(j). Is 8/(-28) + (-762)/y a multiple of 18?
True
Let s = -616 + 222. Is (-5)/35 + s/(-14) a multiple of 11?
False
Suppose -3*y = 2*v + 2*v - 549, -10 = 2*y. Let t = v - 9. Let i = -36 + t. Is i a multiple of 32?
True
Suppose -f = -3*z + 147 + 77, 4*f = 4. Is 25 a factor of z?
True
Let w be 86/(-18) - 2*(-1)/(-9). Does 22 divide (0 - (0 + w + 3)) + 195?
False
Let o(f) = -13*f. Suppose 3*w + 1 = -5. Does 7 divide o(w)?
False
Let a(d) = 3*d - 13. Let b be a(9). Suppose b*y = 4*y + 260. Suppose s - 61 - y = -5*p, s - 33 = -2*p. Is p a multiple of 9?
True
Let p = -85 + 184. Is p + 0 + -1 + 0 + 4 a multiple of 17?
True
Let h = 1 + 4. Let f(x) = -x + h*x + x - 4*x + 1. Is f(8) even?
False
Let c(y) = 4*y**2 + 3*y - 4. Let x be c(5). Let a = -21 + x. Is 12 a factor of a/(15/6 + -1)?
True
Let a(z) = z**3 + 7*z**2 + 9*z - 4. Let h be a(-5). Does 28 divide (-84)/9*h/(3/(-45))?
True
Suppose -2*y = 5*b + 30, -4*b - 17 = 6*y - 3*y. Let q be b/(-12)*477/6. Suppose -3*n + 28 + q = 0. Does 11 divide n?
False
Let b be 7 - (-4)/(-6 + 2). Does 22 divide (4 - b) + 28*3?
False
Let u = -80 - -251. Let l = -93 + u. Is l a multiple of 26?
True
Let s(g) = g - 6. Let i be s(9). Suppose d = -i*o - 108, 0 = -4*o + 5*d - 126 - 18. Is (o/14)/(3/(-14)) a multiple of 6?
True
Let o(x) = -x**3 - 12*x**2 + 32*x - 5. Is 18 a factor of o(-15)?
False
Let k = 8 - 6. Suppose k*i = -1 + 7. Is (-2)/3 - (-80)/i a multiple of 13?
True
Let c be 1 + 3 - (-4)/2. Suppose -3*u - c = 2*f + f, 0 = 2*f - 2*u - 4. Suppose -h - 5 = -2, 4*r - 4*h - 128 = f. Is 19 a factor of r?
False
Suppose -916*k + 914*k + 760 = 0. Is k a multiple of 76?
True
Let x(w) = 11*w - 52. Let j be x(6). Suppose 7*v - j*v + 287 = 0. Does 5 divide v?
False
Suppose 4*q + 2 + 2 = 0. Let h be ((-72)/(-16))/(q/(-12)). Let c = 86 - h. Is c a multiple of 8?
True
Let r = 36 + 3. Let s = 33 - r. Is 21 a factor of s/(-39) - (-1168)/13?
False
Suppose l - 93 = -2*g + 40, -3*l = -g + 77. Let j = 101 - g. Is 11 a factor of j?
True
Let z = -54 + 99. Is 45 a factor of z?
True
Let w = -1169 + 737. Does 3 divide w/(-21) + 24/56?
True
Suppose -4*z = -2*d + 190, 0 = -d - 2*d - 5*z + 230. Is d a multiple of 8?
False
Let m be 999/4 - (-5)/20. Let i = -168 + m. Does 18 divide i?
False
Is 76 a factor of (-1522)/(-5) - (210/25 + -8)?
True
Let v = -981 + -1707. Does 10 divide ((-4)/(-18) - v/54)*1?
True
Suppose -4*v - b + 2738 = 532, -2*v + 1096 = -3*b. Does 19 divide v?
True
Let y = -8 + 11. Suppose y*m - 5*g + 41 = -16, 0 = -g. Let a = 5 - m. Is a a multiple of 12?
True
Let y = -809 + 1237. Is 32 a factor of y?
False
Suppose 4*w = -5*h - 20, 12 = -w - h - 2*h. Suppose w = -q + 5*q - 5*d - 599, d + 441 = 3*q. Let o = -88 + q. Is o a multiple of 15?
False
Let r = 59 + 15. Suppose h = 22 + r. Does 24 divide h?
True
Let m(z) = -z**3 - 3*z**2 + 2. Let x be m(-3). Suppose 3*s - 4*w = -w + 45, -x*s + 28 = -4*w. Suppose -11*p + s*p = 125. Is 14 a factor of p?
False
Suppose 0 = -5*j - 3*c + 12690 + 1293, -4*c - 11212 = -4*j. Is 9 a factor of j?
True
Let u be (-2)/7 - 244/28. Let l = u - -5. Let h = 4 - l. Is 8 a factor of h?
True
Does 13 divide -26*(5/50 + 283/(-5))?
True
Suppose -2 + 5 = 3*z. Let g be (0/3 - z) + 3. Suppose 19 = g*j - 65. Is 14 a factor of j?
True
Let k = -2455 - -3265. Is k a multiple of 5?
True
Let v = -867 + 2891. Does 11 divide v?
True
Let l be (-17 - -13)/(2/13). Does 5 divide 2/(-4) - 637/l?
False
Let r be (-172)/36 + (-8)/36. Is 18 a factor of 1 - -1 - 415/r?
False
Let c(h) = h**3 - 8*h**2 + 4*h + 33. Does 5 divide c(8)?
True
Let m(d) = 10*d - 15. L