 u - y. Is b a multiple of 10?
False
Is 575*7*4/(2 + 18) a multiple of 21?
False
Let i be -2 - 1 - (0 - 1). Is 30 a factor of ((-1)/(-1) + i)*-105?
False
Suppose -108 - 123 = 7*v. Let d = -19 - v. Does 7 divide d?
True
Is 72 a factor of -5*21/35*3380/(-6)?
False
Let b(l) = -6*l**2 + 10*l - 15. Let y(u) = 13*u**2 - 19*u + 30. Let i(p) = -9*b(p) - 4*y(p). Is i(10) a multiple of 29?
False
Let l(g) = g**2 - 12*g + 60. Does 58 divide l(24)?
True
Is ((-9316)/(-6))/((12/(-9))/(-2)) a multiple of 76?
False
Let q(f) = f**2 - f - 6. Let k be q(4). Let w be 2/k + (-35)/(-21). Suppose 0 = -w*u + 185 - 29. Does 32 divide u?
False
Let c be (6/10)/(1/(-5)). Let n(a) = -2*a - 3. Let y be n(c). Suppose -5 - 28 = -y*g. Is g a multiple of 4?
False
Let q(x) = x**2 + 5. Let b be 0/(-2 + 0/2). Let f be q(b). Suppose -3*r - f*s = -58 - 23, -5*r - s = -157. Is r a multiple of 16?
True
Let u(x) = x + 5. Let r be u(2). Suppose r*p - p = 78. Does 5 divide p?
False
Let o(n) = -9*n + 4. Let g(w) = w - 4. Let j be g(7). Suppose -6 = -x + j*x. Does 13 divide o(x)?
False
Let k(i) be the third derivative of -i**5/60 - 19*i**4/24 + i**3 + 10*i**2. Is 9 a factor of k(-16)?
True
Let n(z) = z**2 + 3*z - 134. Is n(-18) a multiple of 8?
True
Let f = 21 - 16. Let r(m) = 2*m**2 + 4*m - 7. Let l be r(-5). Suppose -4*t + f*z + 80 = 0, -4*t + l = 4*z - 21. Does 5 divide t?
True
Is 30 a factor of 74/(-10) + 7 + 4956/15?
True
Suppose 4*u = -2 - 6. Let k be (1/u)/(3/(-18)). Suppose 2*m = 5*n - 43, -m = 2*n - k*m - 16. Is n a multiple of 2?
False
Let j(i) = 36*i - 209. Is j(12) a multiple of 4?
False
Suppose 0 = 14*z - 13*z - 576. Is 18 a factor of z?
True
Let h(s) = s**3 + 16*s**2 - 16*s + 8. Let b be h(-17). Suppose 2*c + 6 = 32. Let k = c + b. Is k a multiple of 4?
True
Let p = 1528 + -493. Is p a multiple of 77?
False
Let k = -81 + 174. Let g = -45 + k. Is 24 a factor of g*(-1 + 3 + -1)?
True
Suppose 2*x - x - 16 = 0. Is ((-2)/(x/(-10)))/((-2)/(-24)) even?
False
Suppose 3*b - 3*r - 236 = 196, -2*b = r - 288. Suppose 6*q - b = -2*q. Is q a multiple of 4?
False
Let h(t) = -114*t + 55. Is 22 a factor of h(-6)?
False
Is 9 a factor of (0 - -5)*((-3186)/(-15))/2?
True
Suppose -4*f - 12 = -f. Let r(q) be the third derivative of q**5/30 + q**4/8 + 5*q**2. Is r(f) a multiple of 10?
True
Suppose -10*g + 396 = -6*g. Is 13 a factor of g?
False
Let t(c) = c**2 + 10*c + 24. Suppose 4*b = 3*b + 1, -4*j = -b + 41. Does 12 divide t(j)?
True
Let i = 505 + -325. Does 9 divide i?
True
Suppose q + 3*n - 1 + 2 = 0, -5*q + 3*n = -13. Let a(s) = -11*s**2 + 3*s. Let o be a(q). Is -6 - -7 - (o + -1) a multiple of 20?
True
Let b = 2 - -6. Suppose -12 = -2*y - b. Suppose -3*w = -y*n - 80, -76 = -w - 3*w - 5*n. Does 6 divide w?
True
Suppose o - 11 = -5*g - 2*o, 4*o - 13 = -5*g. Suppose 3*i + 7 = g. Is 16/(-6)*9/i a multiple of 6?
True
Let o(p) = -32*p - 14. Let n(i) = -16*i - 7. Let s(d) = 9*n(d) - 4*o(d). Let l be s(-3). Suppose 0 = -a + 5*v - v + l, -3*v - 38 = -a. Is 12 a factor of a?
False
Suppose 2173 = -5*m - 2*w, -w - 2 = 2. Let f = -233 - m. Is 51 a factor of f?
False
Let k = 2299 - 1885. Is 9 a factor of k?
True
Suppose -2*u = -4*q - 4, 15 = -3*u + q - 2*q. Is (3/u)/(2/(-8)) a multiple of 3?
True
Let y = 18 + -15. Is 59/y - 5/(-15) a multiple of 4?
True
Let p(m) = m**2 + 4*m + 11. Let w be p(-5). Suppose w*j - 9*j - 770 = 0. Does 11 divide j?
True
Suppose 469 = 4*x + 3*x. Let h = 84 - x. Is h a multiple of 8?
False
Let d = -29 - -37. Suppose d*r = 4*r + 56. Does 14 divide r?
True
Let y be (-3)/15*(-75)/(-10)*-62. Let a = -16 + y. Is a a multiple of 47?
False
Suppose 23 = 4*x + 15. Suppose x*o = -2*p, -2*p + 11 + 9 = -3*o. Suppose -66 = -0*w - 2*w + 4*s, -p*s + 26 = 2*w. Is 23 a factor of w?
True
Suppose -4*k - 36*y + 1112 = -37*y, 3*k + 5*y - 811 = 0. Is k a multiple of 14?
False
Suppose 3*r - 8 = r. Let u(d) = -d**2 + 10*d - 1. Let q be u(9). Let k = q + r. Is k a multiple of 6?
True
Suppose -2*k = -k - 4. Let z = k + -2. Suppose 3*w - 43 = -2*t, w + 16 + 15 = z*t. Is 17 a factor of t?
True
Let p = -42 + 48. Suppose p*y - 23 = 5*y + 2*m, m = -4. Does 15 divide y?
True
Let f = 0 + 0. Let t(m) = 4*m - 5*m - 4 + 3 + 6. Is t(f) even?
False
Let x = 21 + -15. Let h be (36/(-27))/((-2)/x). Suppose -3*k = -z - k - 2, -5*z + h*k + 20 = 0. Is 4 a factor of z?
True
Let f(b) = 2*b**3 + b**2 - 2*b + 287. Does 14 divide f(0)?
False
Suppose 798 = 8*y - 138. Does 8 divide y?
False
Let l(d) be the third derivative of d**6/120 + 2*d**5/5 + 7*d**4/8 - 14*d**3/3 - 19*d**2. Is 4 a factor of l(-23)?
False
Let h be 1/(1/27)*1. Suppose -2*u - h = -3*u. Suppose -4*g + u = -3*g. Is g a multiple of 7?
False
Suppose 0 = -4*o - 2*q + 2156, -2*o = 5*q - 0*q - 1086. Is o a multiple of 5?
False
Let r = -55 - -58. Suppose z = 4, r*u + z = -0*z + 205. Does 9 divide u?
False
Suppose 0*c + 2*c - 64 = 4*p, c = 0. Let w = 24 + p. Suppose w*t - 45 = 3*t. Is 9 a factor of t?
True
Let m be 3*3/(-2)*-4. Suppose 3*d - m = d. Let t = d + 54. Does 33 divide t?
False
Suppose 74*i - 64*i = 910. Does 25 divide i?
False
Let j(k) = k**3 + 256. Is j(0) a multiple of 64?
True
Let n be 3/(-7) - (-3133)/91. Suppose -56 = -5*w + n. Is w a multiple of 15?
False
Let g(m) be the second derivative of m**5/10 + m**4/12 + m**3/2 - m**2 + 43*m. Is 24 a factor of g(5)?
True
Suppose -3*o + 182 + 367 = -3*i, 2*o = 4*i + 372. Is o a multiple of 10?
True
Let v(o) be the first derivative of o**3/3 + 3*o**2/2 - o + 30. Suppose 0 = -n + f - 8, -3*n = 3*f + 2*f + 16. Is 9 a factor of v(n)?
True
Let k = 9 + -5. Is 63/2*(k - 2) a multiple of 7?
True
Suppose 62 = z - 2*g - 184, 3*g - 765 = -3*z. Is 21 a factor of z?
True
Let t(s) = 366*s**3 + 2*s**2 + 11*s - 14. Is 5 a factor of t(1)?
True
Let o(n) = -112*n + 15. Does 13 divide o(-3)?
True
Suppose 0 = -5*n, -5*n - 10 = -2*m - 3*n. Suppose p - 2 + m = 0. Is 4 a factor of p - (-2)/(8/132)?
False
Let i be 3/(-5) - (-2109)/15. Let u = i - 55. Is u a multiple of 21?
False
Let n(m) = -5*m + 8 - m - 2*m + 5*m. Let u = -27 + 21. Does 13 divide n(u)?
True
Let b(x) = 2*x + 418. Let p be b(0). Suppose -p - 32 = -5*g. Is g a multiple of 10?
True
Let b = -105 - -246. Suppose 3*u - l = b, 3*l + 72 = 5*u - 159. Does 6 divide u?
True
Suppose 0 = -11*i + 1634 - 325. Does 7 divide i?
True
Let n(c) = -32*c - 3. Suppose 21 = 8*p - 11*p. Is n(p) a multiple of 13?
True
Let f(u) = -u**3 + 6*u**2 - 5*u + 4. Let h be 3 + (1 - 0 - 0). Let o be f(h). Is (o/6)/(3/9) a multiple of 7?
False
Let k = 5755 - 2876. Is 54 a factor of k?
False
Is (-25 - -23) + (1221 - 1) a multiple of 21?
True
Let m(d) = -11*d**2 - 4*d - 2. Let t be m(-3). Let u = t - -219. Does 26 divide u?
True
Suppose 5*t = -2*t, -3*t + 1530 = 5*z. Is 7 a factor of z?
False
Does 13 divide (-5)/30*26*-111?
True
Suppose -5*z + 4*b = 12, -7 = -3*z - b - 21. Is 6 a factor of 18/(-12) + (-170)/z?
False
Let y(c) = 84*c - 1393. Does 2 divide y(21)?
False
Let h(a) = a**3 - 8*a**2 + 10*a + 6. Let x be (-3)/((-6)/20) + (-75)/25. Is h(x) a multiple of 6?
False
Let s(o) = o**3 - 12*o**2 + 5*o - 14. Let r be s(12). Is 4 a factor of 0 + -1 - r/(-2)?
False
Suppose 4*j - 2*s + 0*s - 124 = 0, 16 = 4*s. Let m(v) = v - 43. Let r be m(20). Let l = r + j. Does 4 divide l?
False
Let y(d) = 4*d - 7. Let b(n) = n**2 + 6*n + 2. Let g be b(-5). Let l(f) = -1. Let w(j) = g*l(j) - y(j). Is w(-8) a multiple of 21?
True
Let c(d) = d**3 + 10*d**2 + 7*d - 13. Let i be ((-45)/10)/((-1)/(-2)). Let r be c(i). Suppose 0 = r*p + 10, -2*p = 5*v - 0*p - 106. Is 20 a factor of v?
False
Let m(z) = 3*z + 54. Is 12 a factor of m(-14)?
True
Let j = -5 - -7. Let n(c) = 3*c**2 - 3*c - 20. Let a(g) = g**2 - g. Let l(s) = j*a(s) - n(s). Is l(0) a multiple of 10?
True
Suppose 3*w + 2*f = 4*w - 43, 4*w - 186 = f. Let v = -27 + w. Is 20 a factor of v?
True
Let w(z) = -8*z**2 + 2*z - 1. Let d be w(3). Let a = -20 - d. Suppose i = 2*g + a, g - 4*g - 156 = -3*i. Is i a multiple of 22?
False
Let w be (-5)/(-25)*(-3 - -13). Suppose -4*c + w*c + 138 = 4*j, -c + 2*j + 57 = 0. Is 7 a factor of c?
True
Let c(s) = s**3 - 3*s**2 - 6*s + 16. Does 11 divide c(7)?
False
Does 17 divide (-353426)/(-54) - (-18)/243?
True
Suppose -33 = -4*s + 3. Let l be s/27*(-3)/1. Does 4 divide (-20)/(-30)*(11 - l)?
True
Let f(t) = t**3 + 10*t**2 - 5*t + 22. Let b(r) = 