 84 = n. Does 9 divide d?
False
Suppose 6250*c + 15036 = 6264*c. Does 16 divide c?
False
Let r = -128 + 267. Suppose -r - 76 = -g. Is g a multiple of 43?
True
Let f be ((-12)/10)/(6/760). Let h = -96 - f. Let x = h - 39. Does 6 divide x?
False
Let c = 3047 + -1940. Suppose -5*r - l + 975 = 0, 5*r + 3*l - c = -142. Does 28 divide r?
True
Suppose 47*v - 42*v - 360 = 0. Suppose -v*s = -70*s - 720. Is 36 a factor of s?
True
Suppose -2*d + 1322 = s, -65 + 61 = 2*s. Does 2 divide d?
True
Let w(q) = -6*q - 14. Is w(-11) a multiple of 4?
True
Suppose 3*k - z - 8 = 3*z, -4*k + z + 2 = 0. Let s(t) = 4*t**2 + t - 2. Let h be s(-2). Suppose -4*n + k*n = -h. Is n a multiple of 2?
False
Suppose -4*j = 5*h - 852, 3*h = 4*h - j - 174. Does 87 divide h?
False
Let v = -12 + 16. Suppose -4*t + 204 = v. Is 10 a factor of t?
True
Let l be ((-32)/(-24))/(4/9). Suppose 3*u - 4*u = 5*z - 47, l*u + 4*z - 163 = 0. Is u a multiple of 13?
False
Does 17 divide 174*2/2 + -3 + -1?
True
Suppose 8*i - 23511 = -9311. Is 13 a factor of i?
False
Let f = -132 + 156. Is 5 + f/(-3) + 125 a multiple of 26?
False
Suppose -4*o = -8, o - 31 = 3*c + 10. Let p(q) be the second derivative of -q**5/20 - 7*q**4/6 - 7*q**3/3 + 4*q**2 - 4*q. Does 14 divide p(c)?
False
Is 81 a factor of 72/28*(-1260)/(-5)?
True
Let a be (15 - -7)*(2 + -5)/1. Does 13 divide -4 - (-2 - -3)*a - -3?
True
Let v(t) = -44*t**2 + 6*t - 3. Let o(n) = n. Let h(q) = 4*o(q) - v(q). Let r be h(2). Suppose 0*z + 5*z = r. Is 12 a factor of z?
False
Let l be (530/25)/((-2)/10). Let x = -62 - l. Is x a multiple of 9?
False
Let b(q) = -q**2 + q - 1. Let z be b(-2). Let l = z + 13. Suppose -l*s + s + 145 = 0. Does 9 divide s?
False
Let j = 874 - -1316. Is 12 a factor of j?
False
Suppose 5*q + z = -z - 10, -q + 20 = -4*z. Let y = 5 - q. Does 5 divide y?
True
Let u(p) = 3*p - 3. Let o be u(3). Let l be (10/(-12))/((-1)/o). Let h = l - -7. Is 12 a factor of h?
True
Suppose -2*d + 4 - 53 = -5*c, 2*d = -4. Suppose -3*a + 19 = -a + 3*k, 0 = -2*a - k + c. Suppose w + a*w = -3*q + 117, 186 = 4*w - 2*q. Is 18 a factor of w?
False
Let p(h) = 6*h**2 + 6*h - 21. Let j(a) = a**2 + a - 1. Let m(u) = -5*j(u) + p(u). Is m(5) a multiple of 8?
False
Suppose -10 = -2*p - q, 5*p + 2*q + 3*q - 25 = 0. Let f(n) = 5*n**2 + 4*n - 1. Is f(p) a multiple of 18?
True
Let n = -61 - -107. Suppose 0 = 2*k - 3*o + n, 0 = -k + 3*o - 0*o - 29. Let v = k - -37. Is 5 a factor of v?
True
Let s = -105 - -33. Is ((-86)/3)/(12/s) a multiple of 24?
False
Suppose w + 243 - 29 = l, 0 = 3*l + 3*w - 654. Does 27 divide l?
True
Suppose 5*l - 2*w - 9 = 0, l + 2*w + 2*w - 15 = 0. Suppose -i + 21 = -26. Suppose -3*y + i = 2*y - l*k, 5 = 5*k. Does 5 divide y?
True
Let o = 65 - -138. Is 19 a factor of o?
False
Let n(d) = -d**3 + 5*d**2 + 7*d - 8. Let u be n(6). Let q(v) = 14*v + 1. Let l(p) = -2*p. Let o(f) = u*q(f) - 18*l(f). Does 10 divide o(4)?
True
Let r(z) = -z**2 - 3*z + 4. Let a be r(-4). Suppose a = 2*t - 3*t - 4. Is 4/(-16)*t + 2 a multiple of 2?
False
Let i = 9 - 7. Suppose -23 - 70 = -3*x - 4*k, i*k - 134 = -4*x. Does 17 divide (-1)/(-7) + 1780/x?
True
Suppose -2*l + 56 = -160. Suppose -60 = -3*u + l. Does 28 divide u?
True
Let r(y) = y**3 - 16*y**2 + 39*y + 1. Is 6 a factor of r(14)?
False
Let g(v) be the second derivative of -v**3 + 15*v**2/2 - 2*v - 5. Is 5 a factor of g(-7)?
False
Suppose -14 = -6*t + 1486. Does 11 divide t?
False
Let d be (1 - 0) + 42 - 2. Let a(z) = -8*z + 95. Let v be a(9). Let w = d - v. Does 14 divide w?
False
Suppose 3*w = -2*d - 5, 0 = -2*d + 5 - 1. Let p(k) = 19*k**2 + 4*k + 1. Let y be p(w). Suppose c = 6*c - y. Is c a multiple of 20?
False
Let g be 2 + 12/4 + -4. Let o be -4 + g + (-8)/(-1). Let h(s) = s**3 - 3*s**2 - 7*s + 4. Does 4 divide h(o)?
False
Let l be ((-2)/6)/((-13)/34593). Suppose 8*c = -327 + l. Does 14 divide c?
True
Let z = -89 + 221. Is 12 a factor of z?
True
Let n = 118 - 18. Let z = n - 47. Let k = z + -26. Does 8 divide k?
False
Let d be (0 + 12/(-15))/(3/15). Is 3 a factor of (d + (-2 - -35))/1?
False
Suppose 2*k - 4981 = v, k - v - 4*v = 2495. Suppose 0 = q - 6*q - k. Is q/12*2/(-1) a multiple of 29?
False
Let q = 4 - -1. Suppose -3*m = 0, 0*l + 4*l - q*m + 8 = 0. Is ((-279)/18)/(l/4) a multiple of 9?
False
Suppose -5 + 19 = 7*m. Is 13 a factor of m*(-15)/(-10)*(-364)/(-6)?
True
Let v(s) = -s**3 + 6*s**2 + 8*s - 4. Let y be v(7). Suppose -g = -y*g + 106. Is 16 a factor of g?
False
Let c(n) = 1448*n + 64. Let i be c(7). Is i/52 - (2 - 24/13) a multiple of 28?
True
Let w be 3/(12/1180) + -1. Suppose 4*r + 3*r - w = 0. Does 14 divide r?
True
Let t(c) = 7*c**2 - 60*c - 21. Let d(w) = -4*w**2 + 30*w + 10. Let j(i) = 5*d(i) + 3*t(i). Let b(o) be the first derivative of j(o). Does 2 divide b(19)?
True
Let a = -518 - -586. Does 2 divide a?
True
Let g = -103 + 189. Let f = g - 51. Is f a multiple of 17?
False
Suppose 10525 + 9089 = 21*x. Does 3 divide x?
False
Let o = -352 - -842. Is o a multiple of 26?
False
Suppose 19739 = 19*h - 10642. Is 17 a factor of h?
False
Does 65 divide 39/(10 - 8 - 298/150)?
True
Suppose 4*v + 2 = -2*k - 4, -5*k - 5*v = 0. Let w(y) = 9*y - 7*y + 5*y**2 - k*y**2 - 1. Does 6 divide w(4)?
False
Let v(r) = 330*r - 17. Does 37 divide v(1)?
False
Let w(o) = -9*o + 101. Does 16 divide w(-32)?
False
Let i = 49 - -33. Is i a multiple of 9?
False
Let k = -1302 - -2042. Is 62 a factor of k?
False
Suppose 119*o - 104*o - 19140 = 0. Does 58 divide o?
True
Suppose 2*y = 6*y. Let w(x) = -x**3 + x**2 + 2*x + 36. Does 31 divide w(y)?
False
Let k = -152 - -272. Does 29 divide k?
False
Let m(s) = -s**3 + 14*s**2 + 90*s. Is m(-6) a multiple of 11?
False
Let h = 243 + -225. Is h a multiple of 18?
True
Suppose 28 = 4*l - 4*a, 0*a - 41 = -3*l - a. Suppose l - 112 = -4*q. Is 15/q + (-254)/(-10) a multiple of 13?
True
Suppose y + 3 = 0, 5*y + 55 = -n - 0*n. Let d = n - -88. Does 6 divide d?
True
Suppose 10 = -4*b - h, -4*b + 3*h - 12 = -2*b. Is b - (3*-145)/5 a multiple of 14?
True
Let w(y) = 3*y**3 + 41*y**2 - 17*y - 19. Is w(-13) a multiple of 36?
True
Does 2 divide 5 + 14 - (0 - -4)?
False
Suppose -5*c + 4*w = -401, c - 4*w - 55 = 22. Let z be (c/(-15))/((-1)/15). Suppose -2*k + 121 = u - 41, -k - u + z = 0. Is k a multiple of 15?
False
Let l = -66 + 3. Suppose 97 = 5*f - 393. Let a = f + l. Is 8 a factor of a?
False
Is (5 + -17 + 8)*3089/(-4) a multiple of 31?
False
Let y(x) = x**3 + 3*x**2 - 4*x + 5. Let t be 2/(-6)*-4*6. Let a = t - 12. Does 5 divide y(a)?
True
Suppose 3*t - 30 = 6*t. Let u be (-3 - -2)/(5/t). Suppose -x - 30 = -u*n + 21, -8 = -n - 3*x. Is 11 a factor of n?
False
Suppose -c + 65 = 2*i - 94, 4*c = 20. Is i a multiple of 7?
True
Let s be -9*(-3)/(-3 + 12). Suppose 2*u = 2*v + 6, u + 2*v + 3 = -s*v. Suppose 0 = -u*m + 19 + 23. Is m a multiple of 21?
True
Let h = -84 + 92. Suppose -90 = h*c - 13*c. Does 14 divide c?
False
Suppose -5*q = -10, 535 - 158 = 5*d - 4*q. Suppose 0 = -122*r + 77*r - 180. Does 18 divide (d - -4)/((-6)/r)?
True
Suppose 5*h = -3*i + 4, 0 = 3*h - 9*i + 4*i - 16. Let t(s) = 73 - 73 + 61*s**h + 3*s - s. Is 14 a factor of t(-1)?
False
Does 27 divide 5/(-15) + 48352/48?
False
Let f be (19 - 18)/((-2)/42). Let k(m) = -m**2 + 5*m - 1. Let l be k(4). Is 9 a factor of (-707)/f + (-2)/l?
False
Let h(d) = 56*d + 1. Let q be 1*5 - 4/1. Is h(q) a multiple of 5?
False
Let v = -147 + 367. Let a = -132 + v. Suppose -2*j - 2*j + a = 0. Is 14 a factor of j?
False
Suppose 19*j = 24*j - 20. Suppose -552 = -10*q + j*q. Does 23 divide q?
True
Let y = 9 + -3. Let t = y - 16. Does 10 divide ((-12)/t)/(5/150)?
False
Suppose -3*v + 27 = 213. Let d = v - -191. Does 40 divide d?
False
Let a = 1 - 3. Let g be ((-15)/(-6))/((-1)/a). Suppose -g*u + 564 = -36. Does 20 divide u?
True
Let n be (-2)/(-4)*(12 + 0). Suppose g - n*g = -15. Let h(a) = -a + 6. Does 3 divide h(g)?
True
Let q = 58 + -105. Let v = q - -13. Let s = -14 - v. Is s a multiple of 9?
False
Suppose 5*x = 3*g - 3763, 5*g - 3*x + 3594 - 9839 = 0. Does 14 divide g?
True
Let p(w) = -2*w + 1. Suppose 13 = 4*v - 39. Suppose 4*b - 5*u + 7 = -v, -5*b - 2*u - 58 = 0. Does 7 divide p(b)?
True
Let p be (-3)/3*1*-1. Suppose -2*t + 4*x = -t - 55, -x - 132 = -3*t. Does 20 divide -2 + t - (0 + p)?
True
Suppose -914 = -2*v - 4*t, v + 3*t - 7*t = 481. Is 29 a