
False
Suppose -5*s = -2*x + 260, -s + 457 = 5*x - 220. Does 7 divide x?
False
Suppose -y - 1 = -5, 0 = i - 3*y - 11. Suppose -28*s = -i*s - 825. Is 13 a factor of s?
False
Suppose -4*y = -6*f + f + 4, 2*f + 4 = 3*y. Suppose -j - 8*w + 6*w - 11 = 0, 0 = -5*j - 5*w - 45. Is (f + j)/((-3)/94) a multiple of 20?
False
Let v = -32 + 34. Suppose -a + 4*l + 38 = 2*a, -2 = -v*l. Is a a multiple of 14?
True
Let u(g) be the third derivative of g**5/20 - g**4/24 + g**2. Let n be u(1). Does 8 divide 1284/54 + n/9?
True
Let j = 2062 + -798. Is j a multiple of 64?
False
Let a = 6 + -4. Suppose 2*q = -a*q + 20. Suppose 36 = q*y - 44. Does 8 divide y?
True
Let k be (-4)/6 + 24/9. Suppose 0 = q - 4*q + 30. Suppose 2*s + q = k, 5*o - 54 = -4*s. Does 6 divide o?
False
Let v(b) = -b**3 - b**2 + 5*b + 2. Suppose 2 = -2*y - 4*x, 2*x = -4*y + 5*y + 5. Let m be v(y). Is 25 a factor of (62/(-8))/(m/(-20))?
False
Suppose -27 = -5*w - 12. Suppose 2*b - w*d = -24, -3*b + 2*d + 0*d - 26 = 0. Is 6 a factor of (-7)/42 + (-73)/b?
True
Is ((-230)/(-8))/(14/168) a multiple of 23?
True
Suppose 65*b = 34453 + 58822. Is b a multiple of 19?
False
Let a(n) = 4 + n - 1 + 6 + 16. Is a(-8) a multiple of 9?
False
Let j = 351 - -80. Is j a multiple of 13?
False
Let k be (-5)/15 + (-26)/(-6). Suppose 0 = -2*y - k, 0 = -2*d - d - 3*y - 6. Suppose -2*m + 8 + 26 = d. Is 12 a factor of m?
False
Let h = -100 + 178. Suppose -4*s + 226 = -h. Is 9 a factor of s?
False
Let a = 32 + -24. Suppose -48 = -v + a. Is 16 a factor of v?
False
Suppose f - 5*f + 5*w + 88 = 0, w = -f + 13. Suppose -20*m = -f*m - 198. Is 15 a factor of m?
False
Let x = 7 + -2. Let a(p) = p**2 - 3*p - 1. Let g be a(x). Does 22 divide 135/2 + g/(-6)?
True
Let y(s) = s**3 - 22*s**2 - 6. Let z be y(22). Let d(a) = 3*a**2 + 13*a + 13. Is d(z) a multiple of 8?
False
Suppose -3*y + 4 - 19 = 0. Let n = -30 + 41. Is 3 a factor of (n/2)/(y/(-10))?
False
Let f(q) = 23*q + 54. Is f(6) a multiple of 35?
False
Let y be 2/9 + (-11792)/(-72). Let u = 87 - y. Let l = u - -150. Is 19 a factor of l?
False
Let y = 84 - 79. Suppose 754 = y*j + 79. Is j a multiple of 15?
True
Suppose 2*s - k - 2537 = -772, s - 4*k - 886 = 0. Is s a multiple of 63?
True
Suppose -s + 13 = 2*d - 3*d, 20 = 5*d. Suppose 3*y - 5 + s = 0, 5*m - 446 = -y. Is 15 a factor of m?
True
Let o be (-10)/(-35) - (-16)/(-7). Let l = 8 + o. Is (16/l + 0)*3 a multiple of 8?
True
Let y = -16 + 20. Does 7 divide 119 - 0*y/12?
True
Does 30 divide (0 - 2) + 30 + (-50)/(-25)?
True
Let n(r) = 20*r**2 + 8*r + 17. Let s(z) = 7*z**2 + 3*z + 6. Let v(c) = 6*n(c) - 17*s(c). Let a be v(3). Suppose a = 2*k - 11 - 15. Does 7 divide k?
False
Suppose 0 = -4*i - 4*w, i + 5*w = 9 + 11. Let x(f) = f**3 + 6*f**2 - 8*f - 7. Is x(i) a multiple of 4?
False
Is 7 a factor of -2 + 2 - (14 + -21)?
True
Suppose -4*h = 5*k - 21, 0 = 3*h - 2*k - 2*k - 8. Let q(a) = a**3 + 4*a**2 - 11*a + 9. Does 31 divide q(h)?
True
Let d(f) = f**3 + 21*f**2 + 27*f + 27. Is d(-18) a multiple of 21?
False
Let y be (-3 + 18)*(-9)/(-3). Suppose -3*v - 6 + y = 0. Suppose -8*b + v*b = 105. Is 21 a factor of b?
True
Let k(b) = 28*b - 1. Let s be k(1). Let l(i) = 17*i**2 + 2*i - s*i**2 + 5*i - i**3 + 2*i + 8. Does 10 divide l(-11)?
True
Let d(g) = g + 5. Let w be d(-2). Suppose 3*r - 83 = -2*j + j, -w*r - 4*j = -80. Is 4 a factor of r?
True
Does 8 divide 9/(-5 - 2086/(-208) - 5)?
True
Let s(w) = w**3 - 14*w**2 + 6*w + 6. Suppose -4*y - 4*d + 45 + 23 = 0, -5*d = 2*y - 43. Is s(y) a multiple of 18?
True
Suppose -24 = -3*f + 3*x, 0*f + 7 = -f - 2*x. Suppose 5*c = 4*c + f. Suppose 3*z - 60 = -5*g, c*z - 9 = 4*g + 51. Is z a multiple of 10?
True
Suppose o = -31*s + 32*s - 259, -4*o - 247 = -s. Is s even?
False
Is 8 a factor of ((-144)/(-14))/((-23)/(6440/(-6)))?
True
Let f = 798 - 546. Suppose 0*o - 2*o + f = -4*g, 9 = 3*g. Is o a multiple of 15?
False
Suppose -18*f = -13*f - 960. Is 7 a factor of f?
False
Is ((-630)/(-84))/(((-4)/(-2))/72) a multiple of 15?
True
Let a(n) = -3*n + 60. Does 7 divide a(-15)?
True
Let g be (868/35)/((-1)/(-5)). Let v = -78 + g. Does 23 divide v?
True
Suppose t = 3*p - 850, 9*p - 4*t - 550 = 7*p. Does 15 divide p?
True
Let x(f) = f - 1. Let r = -16 + 17. Let v be x(r). Suppose 5*o - 2*o - 105 = v. Does 14 divide o?
False
Is 148 a factor of (-2)/(8/(-13022)) - (-37)/74?
True
Let b(l) be the third derivative of -l**5/60 + l**4/6 + 6*l**2. Let k be b(3). Suppose -17 = -t - k*p, 0 = -3*p - 5 + 20. Is t a multiple of 2?
True
Let t be 10/(2 - 44/24). Suppose -z + 5*z + t = 0. Is 10 a factor of (-5 - z)*(-2)/(-2)?
True
Suppose z + 3*k - 51 = 0, k + 2*k - 231 = -5*z. Is z a multiple of 20?
False
Let v = -3 + 3. Suppose v = 2*t + 5*j - 43, j = -2*t - j + 34. Suppose -3*b + t = -25. Does 13 divide b?
True
Suppose -u - 4*u + 220 = 0. Suppose -u = -2*z - 2. Is z even?
False
Let z(b) = -b**2 + 2*b + 0*b + 5*b + 4 - 8*b. Let s be z(-3). Does 11 divide 26 + 2 + s - 0?
False
Suppose 3*z = 6*z - 297. Suppose 5*q - z = -9. Is 5 a factor of q?
False
Let q(m) = -m**3 + 4*m**2 + 2*m - 3. Let t be q(3). Suppose a + t - 63 = 0. Suppose -3*h + a = -54. Does 14 divide h?
False
Suppose 3*d + 2*r = 814, 405 = 2*d - 5*r - 144. Is 6 a factor of d?
False
Suppose 8*j - 15 = -47. Let u = j - -19. Is 8 a factor of u?
False
Let j(k) = k**2 + 2*k + 23. Does 2 divide j(-8)?
False
Suppose 2*c - 4*h - 254 = 0, c + 133 = 2*c + 4*h. Is 10 a factor of c?
False
Let x = 97 + -17. Let m = x - -49. Is m a multiple of 43?
True
Let d = -151 - -169. Does 7 divide d?
False
Suppose -3*r - 567 = 207. Let h be 2/(-2 + (-519)/r). Suppose 2*o + h = 4*o. Does 16 divide o?
False
Let m = -100 + 40. Is (m/(-1))/(3*4/12) a multiple of 15?
True
Suppose -816 = -6*g + 120. Let y = -48 + g. Does 27 divide y?
True
Suppose -10823 = -8*p + 29833. Is p a multiple of 33?
True
Suppose 6*h - 4 = 4*h. Suppose -3*x + 5 = -h*n, -5*x = 2*n - 7*n. Suppose n*q + 2*w + w - 355 = 0, 3*q + 3*w = 213. Does 30 divide q?
False
Let h = 110 + -8. Is h a multiple of 51?
True
Suppose 180 = -7*m + 8*m. Suppose -z - 4*h + 540 = 2*z, z + h = m. Does 12 divide z?
True
Let q be (21/(-42))/(2/336). Let v = 135 + q. Does 11 divide v?
False
Let t(q) = 5 + 2*q - 5 + 1 - 13*q**2. Let m be t(2). Let c = m + 79. Does 16 divide c?
True
Let c be -45*-10*(-4)/(-3). Suppose -2*z = -4*p + c, -303 - 289 = -4*p + 4*z. Suppose -4*g - p = -4*f, 4*f - g - 142 = -2*g. Does 12 divide f?
True
Let m = 1168 + -943. Does 15 divide m?
True
Is 2*(-137)/(-2) + 12 + -9 a multiple of 28?
True
Let g(v) = -v**2 - 11*v + 11. Let d(m) = -m - 4. Let o be d(4). Is g(o) a multiple of 6?
False
Let q = 2 + 7. Let n = q - -55. Does 9 divide n?
False
Let s be ((-76)/3*-7)/(23/69). Suppose 3*c - 3*a - s = c, -4*a = 4*c - 1064. Is c a multiple of 41?
False
Let k = 274 - 230. Is k even?
True
Let j(i) be the first derivative of -4*i**3/3 - 15*i**2 - 2*i - 5. Let v(z) = -2*z**2 - 15*z - 1. Let d(a) = 3*j(a) - 7*v(a). Does 17 divide d(-10)?
True
Let b(a) = -22*a. Let o be b(-1). Suppose 2*w + 20 = 3*i - 13, -2*w + 3 = i. Let u = o - i. Is 13 a factor of u?
True
Let f be (3 - 3 - -2) + -2. Suppose 2*t + t - 6 = f. Suppose -t*g + 47 = -71. Is g a multiple of 21?
False
Suppose 3*b = -3*o + 1587, 2*b = -4*o + 9*o + 1058. Does 23 divide b?
True
Is -180*(-1)/(-4)*-4 a multiple of 6?
True
Let z = 279 + 1065. Is 24 a factor of z?
True
Let l(d) = -5*d + 66. Let i(o) = -o + 1. Let a(s) = -4*i(s) + l(s). Is a(0) a multiple of 7?
False
Suppose 3*p = 2*p - 5, t + p + 193 = 0. Let x = t + 276. Is 9 a factor of x?
False
Let k = 5 - -3. Suppose 0 = 5*n - 17 - k. Is n a multiple of 3?
False
Let o be 3/(((-4)/10)/(84/(-15))). Let j = 132 - o. Is 11 a factor of j?
False
Let a(i) = 4 - 14*i - 5 - 2 + 6*i**2. Is 47 a factor of a(6)?
False
Suppose -36 - 60 = 4*u. Is -2 + (-52)/u + (-1618)/(-12) a multiple of 27?
True
Let m(c) = -19*c + 22. Let h be (-2)/(3 + 3/15*-13). Does 13 divide m(h)?
True
Let z be 14/3 - 2/3. Is 11 a factor of (-135)/(-2) + z/((-32)/(-12))?
False
Suppose -13 = -15*b + 917. Is 9 a factor of b?
False
Suppose -2*l - 2 + 0 = 0. Let j = -462 - -450. Does 10 divide l/3 - 244/j?
True
Suppose 5*i - 5*f + f = 6513, 0 = 2*f + 4. Is 18 a factor of i?
False
Suppose -2142 = 3*b - 10*b. Does 34 divide b?
True
Suppose -1233 = -5*z + 332. Let s be 4/30 -