False
Suppose 1130 = 20*k - 10*k. Does 16 divide k?
False
Let z(w) = 7*w**2 + 4*w - 1. Suppose 0 = 2*v + 1 + 5. Is 13 a factor of z(v)?
False
Is 12 a factor of (-1)/(-3*(-1)/(-87))?
False
Let h be 3/(-2 + (-10)/(-4)). Suppose j - 14 = h. Is 20 a factor of j?
True
Suppose 0 = 5*f + k - 172, 5*f - 117 = 2*f + 4*k. Is 20 a factor of f?
False
Suppose 13 = 4*q - 3. Suppose -q*u + 2*k = -7*u + 90, 0 = -5*u - 2*k + 154. Suppose c - u = -c. Does 16 divide c?
True
Does 17 divide (-45)/30*176/(-3)?
False
Suppose 84 = 2*m + 22. Is 3 a factor of m?
False
Let k = -195 + 387. Does 11 divide k?
False
Let g = 41 + -9. Suppose 4*w - g = -0*w. Suppose q + 2*f = -0*q + w, -q + 2*f + 4 = 0. Does 3 divide q?
True
Let z = -272 - -411. Suppose -50 = s - z. Does 30 divide s?
False
Suppose -4*c = 4*h - 168, -4*h = h - 5*c - 190. Let t = h - 10. Is t a multiple of 10?
True
Let z be (-32)/28 + 1/7. Does 13 divide (z/(-2))/(3/228)?
False
Suppose 3*k = p + 81, -3*p + 133 = 5*k - 4*p. Is k a multiple of 13?
True
Suppose -35*p - 340 = -40*p. Is 7 a factor of p?
False
Let s be (7/(-14))/(1/(-4)). Suppose -j = -s*j + 4. Suppose 70 = j*r + r. Is 9 a factor of r?
False
Let n(q) = q**2 + 13*q. Does 5 divide n(-15)?
True
Suppose 3*k - 20 = -c, -3*c + 3*k - 12 = -48. Is c a multiple of 14?
True
Suppose -12 = -2*k - 2*k. Suppose -55 = -2*b - k*b. Does 6 divide b?
False
Let s(h) = 3*h**3 - 4*h**2 + 3*h - 3. Let d be s(3). Is 6 a factor of 1 - d/3*-1?
True
Let u(r) = -78*r - 2. Is 13 a factor of u(-1)?
False
Suppose 4*p - 5*i - 9 = -86, p + 22 = 4*i. Let v = p - -34. Is 5 a factor of v?
False
Let d(b) = 12*b**3 - 3*b**2 + 3*b + 1. Is d(2) a multiple of 13?
True
Suppose h + 196 = 3*h. Suppose 3*w - 4*r - 108 = -w, -2*r - h = -4*w. Is 22 a factor of w?
True
Let y be 23/(-4) - (-5)/(-20). Let o = 6 + y. Suppose 15 + o = a. Does 15 divide a?
True
Let n = -42 + 75. Is n a multiple of 22?
False
Suppose 4*v + 4 = -8. Is 3 a factor of (-25)/v - 1/3?
False
Suppose 10 = 3*q + 2*i + 4, -5*i + 15 = -5*q. Suppose q*l - 3*k = 5*l - 77, 0 = -2*l - k + 31. Is l a multiple of 8?
True
Suppose -6*q + 109 + 35 = 0. Is q a multiple of 4?
True
Let f = 177 + -167. Is f a multiple of 5?
True
Let b = -55 + 28. Let s = 65 + b. Let d = s + -18. Does 10 divide d?
True
Let x(y) = 4*y**2 + 2. Let m = -3 - 1. Let v be x(m). Let g = v + -39. Is g a multiple of 10?
False
Suppose 330 = 5*q - 4*z, -3*q + q = 2*z - 114. Is 13 a factor of q?
False
Let f(w) = -3*w**3 + 5*w - 8 - 13*w + 9*w**2 + 2*w**3. Suppose 3*j - 1 = 4*j - 2*n, -5*j - n + 39 = 0. Is f(j) a multiple of 17?
True
Let n be (-3)/15 + 11/5. Is 7 a factor of (28/n)/(6/12)?
True
Let j(n) = 2*n**2 - 5*n + 5. Is 20 a factor of j(-5)?
True
Let w = -45 - -83. Is 3 a factor of w?
False
Let q be 4 + (1 - (1 + 1)). Suppose 2*z = q*s + 8 + 23, 5*s - 29 = -4*z. Does 11 divide z?
True
Let q be ((-2)/(-4))/((-1)/4). Let r be 0/(1 - (-3 - q)). Suppose -4*z + 5*o + 70 = 0, r*z = z + 5*o - 5. Is z a multiple of 15?
True
Let o(t) = -t + 18. Is o(14) a multiple of 3?
False
Let q(l) = l**3 + 10*l**2 + 11*l + 6. Let t be q(-7). Suppose 3*f - g + 0*g = t, -f = -4*g - 18. Is 11 a factor of f?
False
Suppose c + 2 = 3*t - 24, 0 = 4*t + 2*c - 28. Suppose 16 = 3*v - t. Does 8 divide v?
True
Let m be (-20)/(-8)*(0 - -2). Suppose -w - 2*d + 2 = 0, -m*w + 4*d + 66 = 14. Is w a multiple of 8?
True
Let m = 35 - 24. Does 11 divide m?
True
Suppose 86 = 5*c - 109. Does 8 divide c?
False
Suppose 0 = -4*t - 4*d - 4, 5*t - 3*d + d = 2. Suppose -5*y + y + 4 = t. Is 30/2*(y + 0) a multiple of 15?
True
Suppose -6*u = 2*u - 1920. Does 15 divide u?
True
Let o(n) = 17*n. Does 14 divide o(3)?
False
Let x = -154 - -369. Suppose -4*c + x = 3*q, -q - 4*c + 24 + 53 = 0. Does 15 divide q?
False
Let o be (105/(-9))/(2/(-12)). Let v = o - 29. Is 7 a factor of v?
False
Suppose -3*a + 7*a + 4*v + 44 = 0, -4*a = v + 32. Is (60 + -2)/(9 + a) a multiple of 29?
True
Let z be 2/(-3) + 5/3. Let o(u) = u**2 + 6*u + 5. Let y be o(-7). Does 7 divide z + 1*-2 + y?
False
Suppose -k - 61 = -2*k. Is k a multiple of 13?
False
Let f(m) = 69*m**2 + m - 2. Is f(1) a multiple of 34?
True
Let y be (0 + 4)*(-18)/(-24). Suppose y*d - 5*j - 7 = 4, -2*d + 9 = -5*j. Suppose -c = c - t, t + d = 3*c. Is 2 a factor of c?
True
Let k = 20 - 16. Let s(n) = -n**2 + 9*n - 6. Is 3 a factor of s(k)?
False
Does 17 divide 20 + -1 + 1 - 3?
True
Let f be 95/35 + (-6)/(-21). Does 8 divide (3 + f)*(-3)/(-2)?
False
Let r(j) = j**2 - 2*j + 166. Does 44 divide r(0)?
False
Suppose -2 = -2*u + 2. Let k = 10 + -5. Suppose -u*l - 193 = -k*i, -i = l - 2*l - 38. Does 12 divide i?
False
Suppose -2*o - 6 = -14. Let a(v) = -v**3 + 4*v**2 + 5*v - 3. Is 4 a factor of a(o)?
False
Suppose 3*w = 6*w - 15. Suppose w*x + s - 404 = -150, x - 5*s - 30 = 0. Suppose 7*l = 2*c + 2*l - x, 75 = 3*c + 5*l. Does 11 divide c?
False
Suppose 2*f - 71 + 1 = 0. Is 9 a factor of f*-1*(-1)/1?
False
Suppose 0 = -4*v + 357 - 5. Does 8 divide v?
True
Suppose -9 = 3*c + 3, 5*c = 4*d - 48. Let y = d + -4. Does 6 divide -1*y*(-12)/3?
True
Let o(m) = m**2 - 23*m - 6. Is 42 a factor of o(29)?
True
Let r be 3/1 - (-64)/(-4). Let p = r - -23. Does 9 divide p?
False
Suppose 6304 = d + d. Is d/56 - (-2)/(-7) a multiple of 14?
True
Does 8 divide (90/15)/(1/((-56)/(-6)))?
True
Suppose 20 = 3*a - 43. Does 4 divide a?
False
Let v = 170 + -238. Is 16 a factor of -1 + -2 - (v + -1)?
False
Let r(u) = -u**2 - 6*u + 4. Let l be r(-6). Suppose -l*n + 271 = 5*h, -122 = -3*h - 5*n + 38. Is 15 a factor of h?
False
Suppose 0 = l - 1, -4*l = d + 4*d - 229. Suppose 3*b - 38 = 4*y, b + 4*b = 3*y + d. Suppose w - b = 1. Does 7 divide w?
True
Let u(c) = -2*c. Let y be u(-2). Let w(d) = -d**3 + 5*d**2 - 2*d - 5. Let v be w(y). Suppose -k + 31 = 5*a, -3*k - v*a + 41 = -a. Is 8 a factor of k?
False
Suppose 0*t - 10 = -2*t, -2*w - t = -1869. Is 11 a factor of 6/27 - w/(-18)?
False
Let h = -5 - -9. Suppose 4*t + 0*t - h = 0. Is (0 + t - -6)*1 a multiple of 3?
False
Let m be (11 + -1)*(-22)/(-55). Suppose m*v - 93 - 23 = 0. Is v a multiple of 21?
False
Suppose 0 = -r + 6*r. Suppose r = k + 2 - 37. Is k a multiple of 13?
False
Suppose 5*s - 8*s + 4*h + 988 = 0, 4*h = 5*s - 1660. Is 48 a factor of s?
True
Let a = 17 - 28. Let g = 158 + -111. Let c = g + a. Does 17 divide c?
False
Let u(s) = 9*s - 4 + 18*s**2 + 4*s - 1 - 3 + s**3. Does 15 divide u(-17)?
True
Let q(g) = -2*g + 4. Let b be q(-3). Let r = b - 8. Suppose -c - 1 = 0, -c + 6 = r*l - 61. Is 11 a factor of l?
False
Let f(a) = -5*a + 75. Is 15 a factor of f(0)?
True
Let l = -37 + 90. Is 13 a factor of l?
False
Let w(g) = -g**2 + 4*g - 3. Let y be w(2). Let v = y - 4. Is (-20)/v*(1 - -2) a multiple of 10?
True
Let l(p) = 48*p + 2. Is l(1) a multiple of 10?
True
Let i(k) = -3 - 4 + 2*k + 4. Let w be i(2). Is w*10/4*8 a multiple of 13?
False
Suppose -440 = -7*k + 3*k. Let v = k - -10. Suppose -3*i - i = -v. Does 15 divide i?
True
Let v(b) = 33*b - 6. Does 14 divide v(5)?
False
Let u be 1 - (0 + 0 - 2). Is 33 a factor of u - (1 + -78 + 0)?
False
Suppose -a + x + 7 = -0, -19 = 3*a + 5*x. Suppose -k - a*k = -6. Is 9 a factor of (k - 0)/((-2)/(-13))?
False
Suppose -4*u = w - 384, u - w = -u + 186. Does 8 divide u?
False
Suppose 2*h - x - 5 = 0, 4*h - 45 = -2*x - 3*x. Let t = h - -2. Is 7 a factor of t?
True
Let w(t) = 49*t**2 - t. Is 25 a factor of w(-1)?
True
Let a be (-2)/4*2 + 1. Suppose a = 4*s - 65 - 83. Is s a multiple of 19?
False
Suppose 0 = 2*s - 80 - 242. Does 30 divide s?
False
Let d(w) = 2 - w - 3 - 2*w - 3. Does 14 divide d(-8)?
False
Let n = 11 + -46. Let r = n + 83. Suppose -2*f - 12 = -b, 4*b - 5*f - r = -6. Does 8 divide b?
True
Does 18 divide (11 + -2)/(1/12)?
True
Let a(k) = k**3 + 10*k**2 + 11*k + 5. Let z be a(-8). Let m = 75 - z. Does 30 divide m?
True
Suppose 5*m - 46 = -6. Let q(z) = z**2 - 7*z + 6. Does 7 divide q(m)?
True
Let f be (-8)/(-6)*6/(-2). Let k(g) = 13*g + 1. Let n be k(5). Does 15 divide 2/f - n/(-4)?
False
Let o(p) = -p - 1. Let l be o(-7). Suppose q - l = 4. Is 6 a factor of ((-12)/q)/(2/(-10))?
True
Suppose -v + 2 + 1 = 0. Suppose -34 = -v*x - 16. Is x a multiple of 6?
True
Let q = 16 - 9. Suppose -25 = 2*d - q*d. Let p = 17 + d. Does 22 divide p?
True
Let n = 4 + -3. Suppose 2*f = -2*o - 1 + 7, o = -2*f + 2. Is 51 - -1*(n - o