s 6 divide l?
False
Let w(z) = 2*z**3 - 56*z**2 + 72*z - 108. Does 29 divide w(29)?
False
Suppose 54 = -275*f + 278*f. Let m(w) = w**3 + 2*w**2 - 4*w. Let c be m(3). Let t = c - f. Is 5 a factor of t?
True
Suppose 4*c + 33 = -3*f, 3*c = 4*f - 0*c + 44. Let b = -11 - f. Suppose r + b*r - 51 = 0. Is r a multiple of 16?
False
Suppose 0 = 5*w - 5*z - 11155, w - 124*z - 2229 = -121*z. Is 26 a factor of w?
False
Let b(f) = -f + 12. Let x = 12 - 22. Let h be b(x). Suppose -4*g = -22 - h. Is g even?
False
Let p be ((-4)/(-3))/((-16)/24). Let n be 0/((-2)/p*-2). Suppose -4*l + 3*l + 12 = -s, n = l - 5*s - 20. Is 4 a factor of l?
False
Let s be 0*((-14)/4 + 3). Let r be s/1*2/(-4). Suppose 2*o + 2*n = 130, r*o = -2*o + 5*n + 95. Does 15 divide o?
True
Suppose g - 13 = -0*g. Let t = g - 9. Is 36/48 - (-125)/t a multiple of 5?
False
Let j = -74 + 129. Suppose -j = -3*x + 4*y, 0 = -4*x + 3*x + 3*y + 15. Does 7 divide x?
True
Let w = 32 - -111. Does 13 divide w?
True
Suppose -111*h + 272832 = 5*h. Is 7 a factor of h?
True
Let r be (-18)/4 + 27/18. Let o be (r + 4)/1 - -1. Is 1/(-2) + 85/o a multiple of 18?
False
Let q(b) = 11*b - 29. Let k(m) = -5*m - 13. Let g be k(-5). Is 23 a factor of q(g)?
False
Let x(s) = -1 + 2*s**3 + 6*s - 12*s**2 - 5 + s - 3. Does 15 divide x(6)?
False
Suppose -k + 5 = 1. Suppose -k*f = c + c - 18, 4*f = 8. Does 5 divide c?
True
Suppose -8*a + 5*a = 4*c - 9222, -3*c + 3*a + 6906 = 0. Does 36 divide c?
True
Suppose 5*t + 173 - 527 = -2*m, 2*t - 740 = -4*m. Does 15 divide m?
False
Let g(h) = -h**3 - 4*h**2 - 5*h + 4. Let k(j) = j**3 + 3*j**2 + 4*j - 4. Let d(m) = -7*g(m) - 6*k(m). Let v = -16 + 10. Is d(v) a multiple of 19?
False
Let r(y) = 2*y**3 - y**2 - y - 2. Suppose -2 = m - 2*m. Does 7 divide r(m)?
False
Let f = 0 - 0. Suppose 0 = 4*q - 3*i - 720 + 172, f = 4*q + 3*i - 572. Is 35 a factor of q?
True
Let a(r) = 19*r + 33. Is a(10) a multiple of 20?
False
Suppose -19*y - 44*y + 11025 = 0. Is y a multiple of 35?
True
Suppose -3*x = -x. Suppose -2*p = -2*a - 310, x = -6*p + p - 3*a + 783. Suppose 0 = z - 4*k - 43, -z + 3*k = 2*z - p. Does 11 divide z?
True
Suppose -6*x + 13 = -5. Does 15 divide 44/66 - (-178)/x?
True
Suppose 4*x - 12 = 192. Suppose -x = 2*p - 415. Suppose 5*g - p = 188. Is g a multiple of 13?
False
Suppose 4556 = 10*u - 4594. Is 5 a factor of u?
True
Let k = -71 - -709. Is 58 a factor of k?
True
Let l = 7 + -5. Let v(s) = 3*s**3 + 0*s**3 + 0*s**3 + 2*s - 2 + s**2 - s**3. Is 10 a factor of v(l)?
False
Suppose 72*m = 78*m - 1686. Is m a multiple of 15?
False
Suppose -2*o = -3*o + 84. Suppose 2*j = -2*q + o, -4*j - 50 = -q - 9*j. Does 6 divide q?
False
Does 7 divide 7038/30 - (2 + 35/(-25))?
False
Does 35 divide 1484/318*((-3424)/(-14) - 2)?
False
Let k = 11 - 6. Let u = -66 + 126. Suppose 0 = -3*b - 2*m + u, 87 - 3 = k*b - 2*m. Is 9 a factor of b?
True
Suppose 0 = 3*n - 14 + 2. Suppose 5*b - 92 = -m - 0*b, 0 = b + n. Is 16 a factor of m?
True
Is 22 a factor of (-60)/72 + (-15263)/(-6)?
False
Let q = 276 + -52. Is 7 a factor of q?
True
Suppose 5*m = -4*q + 197, 2*q + 5*m + 30 = 131. Is 16 a factor of (q/9)/((-1)/(-9))?
True
Suppose u + 3 = 3*d - 14, -4*d - 5*u = -29. Suppose 1568 = -d*b + 20*b. Is 8 a factor of b?
True
Suppose 0 = -37*s + 24908 + 2620. Does 62 divide s?
True
Is 36 a factor of 11/(-33) + (-507)/(-9)?
False
Let l(m) = 2*m. Let j(n) = -n - 35. Let p(d) = -2*j(d) + 2*l(d). Let o(a) = a. Let s(b) = -5*o(b) + p(b). Is 14 a factor of s(0)?
True
Let l(t) be the first derivative of -7*t**2/2 - 29*t - 24. Is 19 a factor of l(-15)?
True
Let b(a) = -2*a**2 - 4*a + 5. Let d be b(-4). Let s(t) = -19*t + 34*t + 8 - 17*t. Is 15 a factor of s(d)?
True
Let t = 7 + -8. Let l = t - -8. Suppose 14 = -g + 4*g + i, -l = g - 2*i. Is g even?
False
Suppose 107*v = 110*v - 198. Is 2 a factor of v?
True
Let w(u) = 4*u**2 - 22*u + 18. Let g be w(-23). Does 10 divide g/28 + -4 + 4/(-14)?
True
Let v = 7 - 5. Let z be ((-184)/8)/(v/(-8)). Let m = z - 53. Is 13 a factor of m?
True
Let p = 70 + -65. Suppose -w + 2*a = -78, -a + p*a = -w + 60. Is w a multiple of 24?
True
Let o(f) = 2*f**2 + 2*f - 5. Let l be o(-5). Let x be l/5 + 6/(-2). Suppose 0 = -x*k - 14 + 158. Is 9 a factor of k?
True
Is 214 + (-20)/(-110)*11 a multiple of 8?
True
Let k be 76/24 - 3/18. Let j(g) = -3*g + k + 4*g - 6*g - 3*g. Is 10 a factor of j(-4)?
False
Is 5252/14 - (5/(-35))/(-1) a multiple of 75?
True
Is 11 a factor of (30/4)/((-321)/(-6634))?
False
Let y = -20 - -29. Suppose -y*m + 72 = -6*m. Is m a multiple of 13?
False
Let v = -86 - -108. Does 5 divide v?
False
Let q = 94 + -56. Let z = 46 - 46. Suppose -2*h + 54 = 5*l - q, z = 2*h - 2*l - 92. Is h a multiple of 18?
False
Let f(p) be the first derivative of -p**3/3 - 11*p**2/2 + 8*p - 2. Let w(t) = -2*t + 47. Let n be w(29). Is 4 a factor of f(n)?
True
Suppose 5558 = 32*c - 18*c. Is 51 a factor of c?
False
Let j(c) = -c**2 - c + 12. Let h be j(3). Suppose -5*k = -3*b - 1457, -2*k + h*k + 4*b = -580. Does 40 divide k?
False
Suppose 0 = h - g + 48 - 129, 0 = 4*g. Is h a multiple of 3?
True
Let k = -58 - -60. Let j(b) = b**3 - 3*b + 1. Let h be j(2). Suppose 0*c - k*c = h*o - 17, -o = -5*c + 68. Does 7 divide c?
False
Suppose 3930*d = 3944*d - 8190. Is 39 a factor of d?
True
Let w = -154 + 267. Let u be 85/15 - 2/3. Suppose -2*o + 3*i + 61 = 0, -u*i - w = -4*o - 2*i. Is o a multiple of 13?
True
Let c(f) = -f**3 - 15*f**2 - 13*f + 12. Let o be c(-14). Let r be o*(4/(-8) + -2). Suppose r*l = 4*j + 5, -2*j - 5 = -j - 2*l. Is 3 a factor of j?
False
Let p(m) = 17*m - 123. Is 4 a factor of p(12)?
False
Suppose -36*v = -23*v - 7592. Is v a multiple of 42?
False
Let z = -84 + 87. Suppose 2*f + 31 = z*n + f, -2*f + 38 = 4*n. Is n a multiple of 2?
True
Suppose 0 = 2*w + 3 + 17. Let r = w - -57. Is 14 a factor of r?
False
Let s = -21 - -20. Let w be s + 3 - (3 + -5). Suppose -2*u - t + 98 = -2*t, 0 = -5*u + w*t + 248. Is u a multiple of 8?
True
Suppose -10*o = -2*o - 1664. Suppose -5*c = -7*c + o. Is c a multiple of 52?
True
Let v = 11 - 3. Suppose 7*b + 3 = v*b. Suppose 0 = b*k - 56 + 20. Is k a multiple of 4?
True
Suppose -2*c + 30 = c. Is 34 a factor of (-952)/(-35)*c/4?
True
Let f(i) = -31*i + 366. Is f(-12) a multiple of 18?
True
Let v(y) = 18*y**3 - 8*y**2 - 16*y. Does 32 divide v(5)?
False
Let m(y) = 3*y - 15. Let h be m(4). Does 12 divide (1 + -25)/(1 + h)?
True
Suppose w - 38 = -0*w. Let l = 17 + w. Does 11 divide l?
True
Suppose 116*q - 2936 = 112*q. Is 12 a factor of q?
False
Suppose 2*l - 2*p + 32 = -4*p, 0 = -5*p - 10. Let o be 6*(-2 - l/6). Suppose 2*u + 3*f = 2*f + 138, -o*u + 5*f = -162. Does 18 divide u?
False
Is 6*(9 - (0 + -27)) a multiple of 9?
True
Suppose 0 = 3*x + 4*v - 0 + 6, 6 = -3*x + 5*v. Is 45 a factor of ((-36)/(-14))/(x/(-70))?
True
Suppose -3*r - 3 = -3*g + 87, 0 = 2*g - 4*r - 68. Suppose 0 = g*o - 25*o - 18. Is 18 a factor of o?
True
Suppose 7*a + 362 = 8*a. Suppose -4*v = -2*m - a, 2*v + 98 = 3*v - 2*m. Does 15 divide v?
False
Suppose 2*y + 6*j = j + 1706, 4*y - 2*j = 3388. Does 53 divide y?
True
Let o(m) = -55*m**2 + 2*m - 5 - 18*m**2 + 4. Let u be o(-3). Does 24 divide 2/7 + u/(-28)?
True
Let f(n) = 2*n - 11. Let r be f(5). Is 9 a factor of (2 + -5)/(r/27)?
True
Let v(b) = b**3 - 6*b**2 + 6*b + 17. Let d be v(8). Let y = -116 + d. Does 11 divide y?
True
Suppose -3*q = 4*z - 33, 0*z + 3*z = -3*q + 21. Let n be (z/(-15))/((-1)/10). Suppose 2*u + 94 = 4*b - n, -b = 2*u - 28. Is b a multiple of 11?
False
Suppose -3*l + 2*u + 37 = -56, -4*l + 128 = -4*u. Let f = l - 16. Does 5 divide f?
False
Suppose -4*m + 142 = 2*i, -2*m + 7*m - 210 = -3*i. Suppose 0 = -3*y - 4*p + 339, -3*y - 2*p + 410 = i. Is 13 a factor of y?
True
Let q(p) = 8*p - 121. Is q(19) even?
False
Suppose 10*w = 2*w. Suppose w = 24*f - 22*f - 24. Does 12 divide f?
True
Suppose -12*r + 855 = -2061. Is 88 a factor of r?
False
Let f(n) = -6 + 4 - 2*n - 4*n + 1. Let a be f(-6). Suppose -5*d = 2*x - 0 - a, 3*d - 25 = -2*x. Is 2 a factor of d?
False
Let d = 0 + 6. Let o be 4/d - 8558/(-33). Suppose 3*z = o - 62. Is 19 a factor of z?
False
Suppose -l + 4*m = 6*m + 26, -5*m = l + 38. Let j = 4 - -36. Let t = l + j. Is 13 a factor of t?
False
Let w = -39 + 42. Suppose 0 = -w*d + 4*d - 10. Does 3 divide d?
False
Let v = -700 - -238