 Suppose -2*v + 3*d + 44 = 0, -3*v - 3*d + f + 43 = 0. Is 5 a factor of v?
True
Suppose -o - 2*q + 8 = -5*o, -3*o - 12 = -3*q. Suppose 112 = 2*i - 3*c, -5*c + o*c + 202 = 4*i. Does 4 divide 2/(-8) + i/4?
False
Let f(m) = -m - 5. Let q be f(-5). Let x(b) = 6 - 2 + q*b - 2 + 4*b. Does 16 divide x(7)?
False
Let d be ((1 + -1)/(-1))/(-1). Suppose 40 = -d*j + j. Let q = 3 + j. Does 12 divide q?
False
Suppose 2*j + 249 + 113 = 4*p, 0 = -p + 3*j + 78. Is p a multiple of 21?
False
Suppose 3*r - 16 = -r. Suppose -8*t + 3*t + 20 = 0. Suppose 2*k = -a + 8, -t*k + r = -a - 0. Is 3 a factor of a?
False
Let h = 70 - 55. Is h a multiple of 14?
False
Let f be 12*1*3/9. Let i = f - 0. Is 4 a factor of i?
True
Suppose -883 = -3*c - 220. Suppose -c = -5*h + 3*m, 2*m - 46 = -h + 6. Is 23 a factor of h?
True
Suppose -4*u = -0*t - 2*t + 2, -5*t + 5*u = -5. Let o be 1/t*(-1 + 4). Suppose -4*j + 24 = 4*r, -2*r + 3*j = o*r - 14. Is r a multiple of 3?
False
Let j(z) = -z**2 + 18*z. Is 8 a factor of j(16)?
True
Let h be (-16)/(-6)*(-3)/(-2). Suppose -4*b - 4 = -3*m + 2*m, h*m - 2*b - 72 = 0. Is m a multiple of 5?
True
Let l = -23 + 72. Does 7 divide l?
True
Suppose j + 4*a + 82 = 2*j, 0 = 5*j - 4*a - 394. Does 13 divide j?
True
Suppose -236 = -4*y - 20. Is y a multiple of 17?
False
Suppose q - h = -3, 13 = -q + 4*h - h. Is 6 a factor of q/(-9) + 3488/144?
True
Let n = -21 - -44. Is n a multiple of 4?
False
Suppose 0 = 7*c - 2*c - 160. Does 11 divide c?
False
Let k be 8/6*24/4. Suppose 0 = -k*j + 3*j + 15. Suppose -x = j*x - 40. Does 10 divide x?
True
Is 11 a factor of (-2182)/(-18) + 6/(-27)?
True
Suppose -2*b + 84 = 2*o, 6 = o + 3. Let z = b - 10. Suppose -4*p - z = -77. Is 6 a factor of p?
True
Suppose -r = -5*r + 36. Suppose 4*v = 2*v - 4. Let z = v + r. Is 3 a factor of z?
False
Let q be 2/(-9) + (-112)/(-18). Let s(d) = d**3 - 7*d**2 + 8*d. Is s(q) a multiple of 10?
False
Is 10 + 12/(-8)*(-32)/12 a multiple of 14?
True
Suppose 321 = 11*d - 427. Is 34 a factor of d?
True
Suppose -3*r - r - 625 = -5*h, -5*h = r - 650. Does 13 divide h?
False
Let r = -109 + 152. Is 9 a factor of r?
False
Let x(r) = r**3 + 4*r**2 - 3*r - 3. Is 4 a factor of x(-2)?
False
Does 22 divide 266/4 - (-11)/(-22)?
True
Let v = -11 + 15. Suppose -l + v = 3. Is 4 a factor of (0 - l)*-5 + -1?
True
Let i = -1 - -5. Suppose 3*j = i*r, 6*r = r + 5*j. Suppose -5*w + 80 - 20 = r. Is w a multiple of 12?
True
Suppose 3*s + 1 = 4*r, -5*s + 6 = -19. Suppose 1 = r*v - 3, 5*l - 69 = -4*v. Does 12 divide l?
False
Suppose -29 = -o + 2*o. Let j = 53 + o. Suppose -8 = 4*q - j. Is 4 a factor of q?
True
Let i(w) = -49*w - 13. Let l(k) = -16*k - 5*k - 6 - 4*k. Let b(x) = 6*i(x) - 13*l(x). Does 12 divide b(1)?
False
Let u = 7 - 4. Let r be u*-1*(-10)/6. Is r/15 + (-118)/(-6) a multiple of 7?
False
Let u(o) = 2*o - 12. Let w be u(9). Let j(i) = 2*i**3 - 4*i**2 - i - 7. Let z(h) = h**3 + h**2 + h - 1. Let t(s) = j(s) - z(s). Does 7 divide t(w)?
False
Let t = 11 + -6. Suppose -5*q = -5*x + 40, -3*q + 2 = t. Is 4 a factor of x?
False
Suppose 2*n = 10 + 8. Suppose 0 = 2*r - 169 + n. Is 27 a factor of r?
False
Suppose -5*w - 19 - 1 = 0, -2*s = w - 48. Does 13 divide s?
True
Let i be 28/15 + (-14)/(-105). Is 193/6 + i/(-12) a multiple of 16?
True
Suppose -f = -3*b + 9, 2*f - 2*b + 8 = 2. Suppose f = -6*x + 3*x + 108. Does 14 divide x?
False
Suppose h = -3*b - h + 920, 0 = -3*b + 3*h + 930. Is b a multiple of 11?
True
Let y be 0 + (-8)/4*1. Is (-27)/y - (-2)/4 a multiple of 7?
True
Suppose 3*f = 5*f - 10. Suppose f*m - 10 - 5 = 0. Suppose -4*v - m*z = -v - 87, 4*v = -2*z + 110. Is v a multiple of 13?
True
Is ((-24)/14)/((-1)/42) a multiple of 6?
True
Let w(n) = 77*n**2 + 1. Does 8 divide w(1)?
False
Let z be 180/48*-2*2. Is (-6)/z + (-56)/(-10) a multiple of 4?
False
Suppose c - 4*c = -99. Let d = 7 - 5. Suppose -d*a = -3*a + c. Is a a multiple of 11?
True
Suppose -5*d + 34 = -46. Suppose 3*h = 3*u - 2*u + d, -h + 3 = 2*u. Suppose -2*p - 3*g + 19 = -h, 3*p - g - 58 = 0. Does 7 divide p?
False
Let r = -1 + 1. Suppose r = q - 5, 4*w - q + 23 = 150. Suppose l = 4*l - w. Is 8 a factor of l?
False
Let v = 60 - -52. Is v a multiple of 16?
True
Let w = -2 - -8. Suppose -w = -2*u + 4. Suppose u*n - 10 = 60. Does 11 divide n?
False
Let k(b) be the second derivative of b**3/6 + 9*b**2/2 + 4*b. Is 2 a factor of k(-7)?
True
Let v = -3 - -3. Suppose v = -4*x + 56. Is 6 a factor of x?
False
Suppose -3*t - c = -2*t - 3, 4*t - 12 = -3*c. Is (-10 + 1)/t - -33 a multiple of 10?
True
Let z(i) = 23*i - 6. Is z(1) a multiple of 12?
False
Let p be (-1 + 0)/(6/132). Let g = p + 48. Does 13 divide g?
True
Let b(a) = 2*a**2 - 7*a - 14. Is b(7) a multiple of 7?
True
Let t be (50 + -9)/(1/4). Is t/2 - -4*1 a multiple of 15?
False
Suppose -d = -1 - 0. Let t be (-26)/(-6)*(d + -4). Does 9 divide (t/2)/(2/(-4))?
False
Suppose 3*k + 3*w - 468 = k, -5*w - 936 = -4*k. Is k a multiple of 39?
True
Let n(d) = -6*d + 2. Let r(q) = -q. Let c(b) = 2*n(b) - 14*r(b). Let k = -15 + 18. Is 9 a factor of c(k)?
False
Suppose -18 + 102 = 3*r - 5*l, 0 = 4*l. Is r a multiple of 18?
False
Let i = -94 + 99. Does 3 divide i?
False
Suppose -4*m + 7*m + g = 192, m = g + 60. Is m a multiple of 19?
False
Suppose a + 8 = -a. Is 12 a factor of 25/2 + 2/a?
True
Let k(u) be the first derivative of 2*u**3 - 3*u - 1/4*u**4 + 1/2*u**2 + 1. Does 17 divide k(5)?
False
Suppose -c = -0*c - 26. Is 4 a factor of c?
False
Suppose -5*c = i + i + 6, -c - 8 = -3*i. Let z(d) = -d - 4. Let b be z(-4). Is 6 a factor of 0 - (b - (19 - i))?
False
Suppose 2 = 4*k - 6*k + 2*x, 0 = -3*k + 4*x - 7. Suppose 0 = k*m + m - 60. Is 7 a factor of m?
False
Let d(g) = -g**3 - 9*g**2 - 6*g + 6. Let j be d(-8). Is (-4)/j - (-438)/30 a multiple of 6?
False
Suppose 3*f + 2*h - 12 = 0, -2*h - 8 = -2*f - 3*h. Suppose 0 = f*w + 24 - 92. Is w a multiple of 17?
True
Suppose 7*l - 301 = 966. Does 28 divide l?
False
Suppose -48 = -4*j - 4*k, 0*k + 12 = 3*k. Let c(t) = -15 + 5*t + j + 10. Is 23 a factor of c(4)?
True
Let p be (-5)/15 - 8/(-6). Suppose p = -v + 7. Does 3 divide v?
True
Let b be 1/(2 - 2 - -1). Let d be (8 + 1)/1 - b. Suppose d*k - 3*k - 70 = 0. Does 11 divide k?
False
Suppose q = 3*q + 4*l + 8, 3*q + 2*l + 4 = 0. Let w(y) = y**2 + 12*y - 6. Let j be w(-13). Suppose -2*z + 10 = -q*z - x, -z = -x - j. Is 2 a factor of z?
False
Let a = 294 - 189. Does 21 divide a?
True
Is 12 a factor of ((-438)/(-18))/((-2)/(-6))?
False
Suppose -14 = 2*k + a - 2*a, -2*a = 3*k + 7. Let q = k + 41. Is q a multiple of 13?
False
Is -1 + (-2 - -1) - -32 a multiple of 5?
True
Suppose 2*d - 4*s = 18, 0 = -4*d + 2*s + 3*s + 33. Is d even?
False
Let c = 93 - 49. Suppose -42 = -q + c. Suppose 5*l - q = -5*d - 1, 85 = 5*d + 3*l. Is 7 a factor of d?
False
Let u = 6 + -1. Suppose -93 = -u*j - 33. Is 6 a factor of j?
True
Let o(n) = n - 1. Let r be o(3). Suppose 3 = r*m - 9. Suppose -3*z + 24 = m. Does 6 divide z?
True
Let o be (3/9)/(2/24). Suppose -o*a + 2*a = -78. Is a a multiple of 13?
True
Suppose -2*l = -3*q - l + 14, 16 = 2*q - 4*l. Let g = q - 1. Does 2 divide g?
False
Let i = -34 + -6. Suppose -3*h = 136 - 52. Let f = h - i. Does 6 divide f?
True
Let j be -1*(2 - 1)*-5. Let s = -8 + j. Let n(d) = -9*d + 3. Does 11 divide n(s)?
False
Let l = -44 + 49. Is 5 a factor of l?
True
Let v = -172 + 289. Is v a multiple of 23?
False
Let h = -1 - -4. Suppose 2*g = -3*s + 48, -49 - 89 = -5*g - h*s. Is 15 a factor of g?
True
Let c(o) = -4*o**2 - 4*o - 3. Let m(j) = 3*j**2 + 3*j + 4. Let f(w) = -5*c(w) - 6*m(w). Is 6 a factor of f(-5)?
False
Let j be (-3 - 72) + 2 + 3. Let k = -26 - j. Is k a multiple of 21?
False
Suppose 2*f - 6 = -2. Let g be (f - 7)*(-4)/10. Suppose -33 = -3*t - g*j, 18 - 69 = -4*t - 5*j. Is t a multiple of 9?
True
Let q(c) = -c**2 - 8*c + 1. Is 3 a factor of q(-4)?
False
Let j be (50/(-6))/5*-3. Let f = 7 + j. Does 6 divide f?
True
Let q(w) = -w**2 + 18. Let l be q(0). Let f = -3 + l. Is 6 a factor of f?
False
Let c(o) = -o**2 + 2. Let d be c(0). Suppose w - 32 = -4*r, w + 3*r + 4 = d*w. Is w a multiple of 16?
True
Suppose 0 = -4*z + 295 + 317. Suppose 0 = -5*r + 18 - z. Let t = r - -45. Is t a multiple of 14?
False
Suppose 4*x + 4*z = 396, -4*z - 62 = -3*x + 200. Suppose 4*y - 64 = -3*m + m, 5*y - m - x = 0. Is 88/9 - 