)/10. Does 24 divide (4 + -2 + -8)*w?
True
Let t = -20 + 7. Let x = 17 - -1. Let m = x + t. Is m even?
False
Let h be (-101)/(3*3/(-18)). Suppose 0 = -5*q - n - 3*n + 505, -h = -2*q + 3*n. Is 16 a factor of q?
False
Let c(a) = -23*a + 20. Let s be c(6). Does 24 divide 4/10 - (-2)/(-10)*s?
True
Let q be -1*(-4 - -9 - 4). Is -11 + 6 - (-96 - q) a multiple of 18?
True
Let z(r) be the first derivative of r**5/15 + r**3/3 + 4*r**2 + 10. Let i(h) be the second derivative of z(h). Is i(2) a multiple of 18?
True
Suppose 5*k + 25 = 0, 0 = 6*a - 2*a + 5*k + 77. Let i = 18 + a. Suppose -i*x + x + 120 = 0. Does 15 divide x?
True
Let j(t) = t**3 - 5*t**2 - 6*t + 12. Suppose 2*r + 336 = -4*r. Let d be (r/(-4) - 4) + -4. Is j(d) a multiple of 3?
True
Suppose 2*n - 2*z - 316 = 0, 0 = -2*n + 71*z - 67*z + 320. Is 39 a factor of n?
True
Let h = 142 - -34. Does 8 divide h?
True
Let u = 1085 + -252. Is 17 a factor of u?
True
Let c be (-1 + (-4)/(-8))/(2/(-44)). Let k be 55/15 + (-2)/(-6). Let h = k + c. Does 5 divide h?
True
Let b(f) = -21*f**2 + 28*f**2 + 0*f**3 + f**3 + 1 + 3*f + 0*f. Let r = -13 + 8. Is 17 a factor of b(r)?
False
Let i(t) = -t**2 - 11*t + 14. Let y be i(-12). Suppose p + z = y*p - 155, 2*z = p - 150. Is (p/(-28))/2*-7 a multiple of 10?
True
Suppose 3*d = 2*d - 3. Let m = 87 + d. Does 30 divide m?
False
Let u(a) = 68*a**3 + a**2 + 4*a - 1. Let x be u(3). Let b be x/(-4) + 4 + -2. Is (2/6)/((-2)/b) a multiple of 17?
False
Let j(c) = -c**2 - 10*c - 17. Let o be j(-7). Suppose -o*u + 51 = -17. Is u a multiple of 7?
False
Is (-1)/((-6)/39 - (-10241)/67496) a multiple of 4?
True
Suppose -4*n + 445 + 1611 = 0. Does 70 divide n?
False
Suppose 2*c + 0*c + 6 = 0. Suppose 0 = 8*z + 9*z + 4539. Is z/c + (2 - 0) a multiple of 12?
False
Let a = 49 - -4712. Is 12 a factor of a/81 - 2/(-9)?
False
Let y(h) = h + 4. Let m be y(-1). Suppose 0 = m*z + s + 3*s - 436, -1 = -s. Is 36 a factor of z?
True
Let u = 13 + -11. Suppose u = -2*i + i. Is (i - -1) + (1 - -6) a multiple of 2?
True
Let x(a) = 2*a**2 + 7*a + 1. Let u be x(5). Let z be u*1*(-28)/(-8). Suppose 0 = -2*j - 5*t + 145, 0*j + 4*j = t + z. Is 25 a factor of j?
True
Let v be ((-24)/40)/(1/(-15)). Let f(d) be the third derivative of d**5/60 - d**4/4 - 13*d**3/6 + d**2. Is f(v) a multiple of 3?
False
Let i(r) = r + 6. Let h be i(0). Let s be ((-3)/6)/(1/(-8)). Is 534/12 - h/s a multiple of 9?
False
Let q(w) = w**3 - 6*w**2 + 24*w - 8. Does 12 divide q(8)?
True
Let u(w) = -208*w + 11. Let o be u(-2). Let n = o + -284. Is n a multiple of 23?
False
Let q = 131 + -125. Suppose q*z - 569 = 1303. Is 39 a factor of z?
True
Let q = 2951 + -2628. Is 6 a factor of q?
False
Suppose 0 = -4*o - 5 + 21. Suppose -3*l + 5*y = l - 106, 4*l + o*y - 124 = 0. Does 3 divide l?
False
Suppose 0 = -m + 5*i + 10, 5*m - 100 = -5*i + 100. Let a = 44 - m. Does 5 divide a?
False
Let h(f) = 5*f**2 - 3*f. Let j = -51 - -53. Is h(j) a multiple of 2?
True
Suppose -10 = 5*s - 5*y + 125, 0 = 3*s - 4*y + 81. Let n = 81 + s. Is 18 a factor of n?
True
Suppose 0 = -k - 4 + 16. Suppose 0 = q + 2*q - k. Suppose -2*u + 119 = -3*l, -2*u - 124 = -q*u + 4*l. Is 13 a factor of u?
True
Let n be (2 - 0) + -4 - -47. Let f = -3 + n. Does 14 divide f?
True
Let h = -124 + -259. Let i = h + 551. Is i a multiple of 15?
False
Let q(v) = 8*v**2. Let m be q(-2). Let b = m + -25. Is 7 a factor of b?
True
Let p be (2 + 1145/(-10))*-6. Suppose -4 + 6 = g, -5*o - 5*g + p = 0. Is 19 a factor of o?
True
Let g be 4/(-32) - 14/16. Is ((-9)/18)/(g/254) a multiple of 27?
False
Let b(d) = -d**3 - d - 2 + 3*d - 14*d - 9 + 14*d**2. Is 2 a factor of b(13)?
True
Suppose -2*z - 2*z = 0. Let h be (28/8)/7*z. Suppose -5*r + 167 + 113 = h. Does 10 divide r?
False
Let r(b) = -9 + 12 + 24*b - 5. Let v = 3 - 1. Is r(v) a multiple of 16?
False
Let z(w) = 22*w - 6. Let r be z(7). Let a = r - 103. Suppose a = -3*v + 177. Does 11 divide v?
True
Suppose 3*b + 4*q - 1 = 0, -4*b = -0*b + q - 23. Suppose 5*r + b*y = 4*y + 18, y = -r + 4. Suppose -2*z = -r*z + 6. Does 2 divide z?
True
Let s = 24 - 20. Suppose -s*u - 3*u = -672. Suppose -5*v + u = -84. Is 29 a factor of v?
False
Let k(q) = -q**3 - 8*q**2 + 19*q + 14. Is 9 a factor of k(-13)?
True
Does 14 divide (55354/156)/(2/12)?
False
Let q = -15 - -19. Suppose -8*p + q*p = 0. Suppose p = -3*j + 39 + 81. Is j a multiple of 7?
False
Suppose -5*r - 6 - 149 = 0. Let h = r + 46. Is 3 a factor of h?
True
Suppose 2*g - 7*g - o + 427 = 0, -2*o = -4. Does 32 divide g?
False
Suppose -55 - 71 = 3*x. Let s(i) = -116*i - 1. Let v be s(1). Let h = x - v. Is h a multiple of 25?
True
Suppose 42*y = 38*y + 120. Is 5 a factor of y?
True
Let p = -37 - -45. Is 2*106/p + 6/12 a multiple of 9?
True
Let r(d) = -d**3 + 8*d**2 + 12*d - 27. Let b be r(9). Suppose 0 = -5*h - 3*q + 4*q + 281, b = 3*h + q - 175. Does 7 divide h?
False
Let u = -86 - -121. Let n = u + -5. Is 5 a factor of n?
True
Suppose -4*n = -2*n + 28. Let f be (-4000)/(-35) + 4/n. Suppose 0 = -3*h + 5*h - f. Does 19 divide h?
True
Let q = -109 + 106. Is 4/(-9 + q)*-12 a multiple of 4?
True
Suppose -l + 2 = 3*r, -5*r = -3*r + 3*l + 1. Suppose r = -f + 44. Let t = -25 + f. Does 16 divide t?
False
Suppose 52*m - 54*m = -6. Suppose -m*w + 2*h = -100, 5*w - 166 = -3*h + 7*h. Does 14 divide w?
False
Let a(v) = -v**2 - 2*v + 94. Does 47 divide a(0)?
True
Suppose 2*p + 1 = p, -3567 = -3*u + 3*p. Does 54 divide u?
True
Let j be 3 - 1 - (-246 - (-2 + -1)). Is (j/(-15) - 3)/(2/(-18)) a multiple of 29?
True
Does 7 divide (165/55)/(2/74)?
False
Does 18 divide (725 + -1 - (-15)/5)*1?
False
Let k = -137 + 190. Does 8 divide k?
False
Let o = 14 - 17. Let y(l) = l + 5. Let v be y(o). Suppose -87 = -v*s - s. Is 28 a factor of s?
False
Let h(f) = -f**3 - f**2 - 3*f. Let l be h(-4). Let y = l + -38. Is y a multiple of 6?
False
Does 30 divide 35710/(-85)*-1 - 4/34?
True
Suppose -a - 715 = 4*a. Let h = a + 404. Suppose 4*n - h = -41. Does 16 divide n?
False
Let k be 3 + -12 + 0 + (-4)/(-4). Is 17 a factor of ((40/(-15))/k)/((-1)/(-51))?
True
Let y(r) = r**2 + 2*r + 5. Let z be y(0). Suppose 5*s - 15 = z. Does 2 divide 9/(s - (6 + -3))?
False
Suppose m + 2588 = 5*m - 4*x, 5*m - 3195 = -3*x. Does 30 divide m?
False
Let z(s) = -2*s**3 - s. Let w be z(-1). Is (-2 - (w - -20))*-1 a multiple of 6?
False
Suppose 4*s = -0*v + v - 40, -4*s + 104 = 3*v. Suppose 10*i - 5*i - 5*c + 130 = 0, -i = 4*c + v. Let x = 58 + i. Is 15 a factor of x?
True
Let h(i) = 2*i**3 - 11*i**2 + 26*i - 129. Is 5 a factor of h(7)?
True
Let w be (-68)/(-11) + (-12)/66. Suppose 0 = -4*l + 4*h - 24, 4*l + 3 = -h - w. Is (2 - -7)/l + 43 a multiple of 20?
True
Suppose -5*a - 58 = i - 0*i, 0 = -3*a - i - 34. Let k = a + 13. Is 2 a factor of 6 + 1 + (k - 4)?
True
Let c(h) = -360*h + 561. Is c(-5) a multiple of 23?
False
Let d(j) = 68*j**2 + 3*j - 5. Is d(3) a multiple of 28?
True
Let t = 140 + -114. Does 20 divide t?
False
Let s(k) = k**2 + k. Let p(z) be the third derivative of z**5/12 - 3*z**3/2 + 2*z**2. Let d(j) = p(j) - 4*s(j). Is d(6) even?
False
Let k(j) = -9*j**2 - 3 + 5*j + 40*j**2 - 7*j + 0. Does 34 divide k(-2)?
False
Let z(b) = b**2 - b - 33. Let a be z(-6). Suppose 290 = a*f - 25. Is f a multiple of 7?
True
Let i be 197/((0 - -4) + -3). Let y be i/3 - (-1)/3. Is 22 a factor of ((-8)/(-12))/(1/y)?
True
Let q be 12/4 - -2*25. Let l = 70 + q. Suppose 0*p + 2*p = z - 36, 0 = 3*z - p - l. Is 17 a factor of z?
False
Let y be (3*28/12)/(-1). Let u = 20 + y. Suppose -t = -2*t - 3, 0 = 5*s + 4*t - u. Is s a multiple of 5?
True
Suppose 26*v = 33*v - 252. Suppose -4*a + 30 - 126 = 0. Let b = v - a. Does 20 divide b?
True
Suppose 0 = 2*r + s - 231 - 328, -2*r + 539 = 5*s. Suppose 3*k - r - 153 = 0. Suppose k = 5*l + 5*u, -u = -2*l + 2*u + 33. Is l a multiple of 16?
False
Suppose -8*s + 12 = -5*s, 0 = -5*d - 5*s + 10. Let b(k) = -95*k + 2. Let w be b(d). Suppose w = 4*i - 2*p, i - p - 65 = -19. Is i a multiple of 25?
True
Suppose 5*y = 2*a + 204, 0 = -4*a + 3*y + y - 408. Is ((-17)/34)/(1/a) a multiple of 7?
False
Let k be (-1612)/(-10) - (-1)/(-5). Suppose -2*y + 3*y - k = 0. Let p = 241 - y. Is 16 a factor of p?
True
Let m(p) = -5*p**3 - 5*p**2 - 4. Let c(y) = -6*y**3 - 4*y**2 - y - 4. Let w(r) = -6*c(r) + 7*m(r). Is w(11) a multiple of 31?
True
Suppose 3