uppose -17 = 2*h - 51. Let s = -7 + h. Is 10 a factor of s?
True
Let l(q) = -49*q - 600. Does 57 divide l(-39)?
True
Suppose -160 = 9*k - 11*k. Is 40 a factor of k?
True
Let r be (1/(-1))/(1/8*2). Does 8 divide (1 - -5) + 5 - (r + 2)?
False
Let v(o) = 4*o**2 - 3*o**2 + 2069 - 2073 - 5*o. Let i(p) = 7*p + 1. Let u be i(1). Does 10 divide v(u)?
True
Let n(q) = 65*q**3 + 2*q**2 + 6*q - 7. Does 33 divide n(1)?
True
Does 4 divide (4/6)/(4/576)?
True
Suppose 3*n + 54 = -3*h, 0 = -2*h + 2*n - 6 - 10. Let v be -34*2*(12 + h). Is 21 a factor of v/5*5/2?
False
Let t be (68/(-5))/((-1)/15). Suppose -3*r - 23 = -4*o, -4*o + 16 = -0*r + 4*r. Suppose -z = -o*z + t. Is 10 a factor of z?
False
Let o be 138/(-23)*4/(-6). Let y = 15 + -2. Suppose -o*n + 179 = 5*p, -4*n - y = 3. Does 10 divide p?
False
Let w(h) be the first derivative of -h**3/3 - h**2 - 5*h - 3. Let g be w(-7). Let t = -23 - g. Is 17 a factor of t?
True
Let o(s) = s**3 - 13*s**2 - 9*s + 77. Does 36 divide o(17)?
True
Let y = -1576 + 3784. Does 40 divide y?
False
Suppose 0 = 2*n - 6, -2*o + 13*n + 2459 = 10*n. Is 22 a factor of o?
False
Is 13 a factor of 856/(-24)*(6*-7 - -3)?
True
Suppose 5*w - 4 = 4*w. Suppose 3 + 9 = -w*n, 5*n + 238 = h. Does 16 divide h?
False
Let v(y) be the second derivative of y**3/6 + 8*y**2 + y. Let i be 402/(-33) - (-2)/11. Is v(i) a multiple of 4?
True
Suppose 21*w - 25*w = -480. Let t = w - 23. Is 21 a factor of t?
False
Let l(d) = d**2 - 37*d + 12. Does 87 divide l(65)?
False
Suppose 4*g - 10 = -g. Suppose 4*k - g*i - 22 = 0, -5*k = -5*i - 6 - 29. Suppose 3*h = -12, 2*c - k*h - 149 + 25 = 0. Is c a multiple of 18?
True
Let x(f) = -f**3 - f**2 + 10*f + 24. Suppose 5*a = z - 9, 0 = z + 5*a + 6 + 15. Is 16 a factor of x(z)?
True
Let p(u) = -3*u + 18. Let n be p(7). Is 26 - n*4/(-6) a multiple of 4?
True
Let b(n) = 2*n**3 - 3*n**2 - 5*n + 4. Let d be b(3). Suppose -2*i = 10 - d. Suppose -h - 12 = -i*h. Does 6 divide h?
True
Suppose 1892 = 2*t - 3*c, 11*t - 1908 = 9*t - c. Is 34 a factor of t?
True
Let u = -199 - -138. Suppose n = 5*a - 3*n + 461, -5*n + 109 = -a. Let q = u - a. Is 6 a factor of q?
False
Let l = -81 + 88. Suppose 4*q = 3*r - 133, -3*r + l*r - q - 173 = 0. Is r a multiple of 3?
False
Let r(b) = 1. Let j(s) = -4*s - 2. Let p(g) = j(g) - 5*r(g). Does 11 divide p(-10)?
True
Let j(m) = -3*m**2 + m - 66. Let b(v) = 11*v**2 - 3*v + 197. Let t(w) = -2*b(w) - 7*j(w). Let g be 0/(1 - 1*2). Is t(g) a multiple of 34?
True
Suppose -159 = -4*q - q + 3*w, -2*q = -w - 64. Let v = 68 - q. Is 9 a factor of v?
False
Let l be (3 - 2)*0*(-5)/25. Suppose -5*q + 324 = -q. Suppose l*h + q = h. Is 11 a factor of h?
False
Suppose 3*j - 25 = 3*f + 38, -3*j - 17 = f. Let h be ((-16)/f)/((-1)/(-5)). Let p = 12 - h. Does 8 divide p?
True
Suppose -x + 1 = -1. Let w be 2/(x + 0) + 2. Suppose 160 - 1 = w*m. Is m a multiple of 20?
False
Suppose -11*l + 4236 = -8964. Is 40 a factor of l?
True
Let d(r) = -r**2 + 9*r - 5. Let b be d(8). Let s be (b/(-2))/((-12)/368). Let v = 69 - s. Is 12 a factor of v?
False
Suppose -37 = -5*i - 2. Suppose -i = -5*m - 37. Is 10 a factor of (m - -5)/(2/(-60))?
True
Suppose v - 3*f = 4*v + 6, -7 = 5*v + 4*f. Let i be v + 13/(-1) + 0. Is 9 a factor of 3/2*i/(-2)?
True
Let r(k) = 13*k + 196. Does 4 divide r(0)?
True
Let z(m) = -m**3 - 5*m**2. Let k be z(-5). Let p(x) = -13*x**2 + x - 36. Let w(l) = 11*l**2 - l + 36. Let n(a) = 5*p(a) + 6*w(a). Is 18 a factor of n(k)?
True
Suppose 1606 = 2*f - 2*i, -5*f + 4*i = -3*f - 1612. Is f a multiple of 16?
True
Let v = -1416 - -3215. Does 31 divide v?
False
Suppose o + 716 = 2*o + 2*s, 3*o - 3*s - 2148 = 0. Suppose -70 = -3*k + o. Is 41 a factor of k?
False
Let p(w) = 85*w**2 + 6*w + 11. Let l(j) = -42*j**2 - 3*j - 5. Let n(y) = -5*l(y) - 2*p(y). Is n(-1) a multiple of 10?
True
Let p = 1258 + -866. Is 26 a factor of p?
False
Suppose 57 = 4*j - 215. Is j a multiple of 11?
False
Suppose 0 = -41*m + 21*m + 21280. Is m a multiple of 19?
True
Suppose 5 = -5*u - 5*v, 0 = -u - 2*v - 3 - 2. Suppose p = -j + 351, -7*p + 2*j = -u*p - 1386. Suppose 0 = n + 5*n - p. Does 11 divide n?
False
Let l be (5/10)/((-2)/340). Is (-20)/15*9/10*l a multiple of 34?
True
Let s(m) = -49*m - 737. Is 4 a factor of s(-25)?
True
Let p be (9/(-6))/((-3)/((-48)/1)). Suppose 4*j - 3*b + 147 = 0, 3*j = 2*j + 2*b - 33. Let a = p - j. Does 3 divide a?
True
Suppose x = j - 164, -4*x - 3*j - 187 = 469. Let u = 244 + x. Is u a multiple of 20?
True
Suppose 8268 = 29*v - 3*v. Is 2 a factor of v?
True
Let d(j) be the third derivative of 13*j**7/5040 + j**6/360 - j**5/60 + j**2. Let z(t) be the third derivative of d(t). Is 4 a factor of z(1)?
False
Does 64 divide 1609*1 - 405/45?
True
Is 7/((-63)/(-2)) - (-10094)/18 a multiple of 19?
False
Suppose 3*u + 22 = 106. Let t = 34 + -30. Let b = u - t. Is b a multiple of 13?
False
Let c(m) = -71 - 4*m + 67 + 0*m. Does 8 divide c(-8)?
False
Suppose 4*b = -0*s - 2*s + 538, -4*b - 4*s = -548. Is b a multiple of 22?
True
Let u(l) = l + 68. Is u(8) a multiple of 17?
False
Suppose -129 = 4*a + 47. Let z = 103 + a. Is 4 a factor of z?
False
Let w(x) = x**3 + 4*x**2 + 7*x + 1. Let j(t) = -t**3 - 5*t**2 - 6*t - 2. Let m(h) = -3*j(h) - 2*w(h). Suppose -3*o = -0*o + 9. Is m(o) a multiple of 14?
True
Let t be (4/6)/((-6)/513*-3). Suppose 17*f - t*f = -160. Is 40 a factor of f?
True
Let k(m) = -7341 + 7341 + 21*m**2. Suppose 0 = 2*b - 2 - 0. Does 8 divide k(b)?
False
Let v = 419 + -100. Does 9 divide v?
False
Let d(y) be the second derivative of -y**4/12 + 11*y**3/3 + 7*y**2/2 - 10*y. Does 31 divide d(13)?
True
Suppose x - 2859 = -k, -1445 = -4*k + x + 9976. Is 102 a factor of k?
True
Let j = 1135 + -660. Is 13 a factor of j?
False
Suppose 5*m - 2*l - 1333 = 0, 0*m + l - 261 = -m. Is m a multiple of 23?
False
Let c = 50 - 46. Suppose c*v + 2*o = 124, -121 = -5*v - 2*o + 32. Is 7 a factor of v?
False
Suppose 0 = -110*g + 112*g - 3870. Is 45 a factor of g?
True
Suppose -2*n - n - n = 0. Suppose n = -j + 39 + 1. Is 10 a factor of j?
True
Let t(y) = y + 15. Let q = -24 - -14. Let l be t(q). Suppose 0 = -3*m - 4*b + 110, -2*m = 3*m + l*b - 190. Does 21 divide m?
True
Let f(a) be the second derivative of a**4/12 + 2*a**3/3 + 72*a**2 - 27*a. Does 6 divide f(0)?
True
Suppose -26*q + 12 = -24*q. Let k be ((-6)/4)/(q/(-48)). Suppose l + h = -0*l + 8, 3*h = -k. Does 5 divide l?
False
Let w(h) = 5*h**2 - 40*h - 254. Does 25 divide w(-8)?
False
Let g(u) be the third derivative of 11*u**5/60 + u**4/12 + u**3/6 - 3*u**2. Let h be g(-1). Let l(o) = o**3 - 9*o**2 - 9*o + 14. Is 15 a factor of l(h)?
False
Suppose -13*v + 2127 + 4464 = 0. Is 14 a factor of v?
False
Suppose -3*j = b + 2*b - 6, 4*j = b - 7. Let p = -12 - -17. Suppose p*z = d - 0*d, b*z + 6 = d. Is 15 a factor of d?
True
Is (22/10 - 3)*-90 a multiple of 18?
True
Let a(v) = v**2 + v + 10. Let b be a(-12). Suppose 3*y - t - 3*t = b, 4*y - 3*t - 180 = 0. Does 21 divide y?
True
Suppose 5*v + 4*t - 274 = 0, 0 = -2*t - 5 - 3. Let y be (-3)/1 + (v - 0). Is 12 a factor of (0 - (-2)/(-2)) + y?
False
Suppose 5*t = -4*a + 19, -2*a + 2 = -0. Suppose -3*i + 6*i - 18 = 0. Suppose -i*b = -t*b - 102. Is b a multiple of 17?
True
Suppose 14 + 22 = 3*s. Let j be (s - 10) + (-7)/1. Let r(y) = -y**3 - 4*y**2 - 2*y + 2. Is r(j) a multiple of 5?
False
Let t(p) = p - 8. Suppose 24 = 2*c - 0*c. Let m be t(c). Suppose -m*y + 4*b = -96, 0 = b + b + 8. Is 9 a factor of y?
False
Is (0 + (-680)/30)*-9*1 a multiple of 34?
True
Let a(p) = p - 33. Let r be a(9). Let i = r + 38. Is 14 a factor of i?
True
Is 16 a factor of (-18)/(-3) + (6 + 1923)/3?
False
Let o be (3 + -2)*(-51)/(-3). Let q = 17 - o. Suppose -275 = -4*r - h, -2*h + q*h - 80 = -r. Does 14 divide r?
True
Let t(s) be the third derivative of 5/6*s**3 + 0 + 0*s + 1/30*s**5 - 1/24*s**4 - 6*s**2. Does 11 divide t(3)?
False
Let w be 8/16*(0 - 0). Suppose w*u - 160 = -5*u. Is 5 a factor of u?
False
Let x(g) = -97*g + 65. Is 54 a factor of x(-4)?
False
Let k(q) = 20*q + 82. Does 58 divide k(22)?
True
Let j(f) = -664*f + 56. Is j(-1) a multiple of 68?
False
Let l = -494 + 1282. Is (-18)/63 + l/14 a multiple of 15?
False
Suppose 0 = 2*h - 3*u - 183 - 909, -4*u + 2144 = 4*h. Is h a multiple of 20?
True
Suppose 5*v + 40 = 2*j, 5*v - v = -j - 45. Let d = -7 - v. Su