 3*a + 3*j = 525. Let q = a + -82. Suppose -5*o = 4*w - 252, -2*o + 0*o + 2*w + q = 0. Is o a multiple of 23?
False
Is ((-3)/2 + (-9 - -10))*-880 a multiple of 11?
True
Let v be (-15 + 32)/(2/(-8)). Let m be 51/v - 11/(-4). Is 2 a factor of (8/(-24))/(m/(-66))?
False
Let w = -350 - -506. Does 6 divide ((-24)/(-45) + 2/(-10))*w?
False
Let z(d) = -d**3 - 4*d**2 + 3*d - 5. Let x be (-11)/2 + 1/2. Is z(x) even?
False
Let u(c) = c**3 + 31*c**2 + 44*c + 50. Does 24 divide u(-29)?
True
Suppose 0 = -84*a + 241568 + 6316. Is 78 a factor of a?
False
Let k be 6/(-2) - (-11 + 2). Suppose 4*f = 6 + k. Let l(d) = 2*d**3 - 2*d**2 - 4*d + 4. Is l(f) a multiple of 14?
True
Let b(t) = -t**3 - 3*t**2 + 52*t + 2. Is 21 a factor of b(-10)?
False
Let d(c) = -71*c - 27. Is 22 a factor of d(-1)?
True
Let b be 9/(-1 - 2) - -2. Let x be 53 + b + (-3 - -1). Suppose 3*y = 182 - x. Does 22 divide y?
True
Let y(j) = -18*j - 13 - 15 + 6*j - 1. Is y(-4) a multiple of 12?
False
Let n = 2574 - 2235. Is 5 a factor of n?
False
Let d = 16 + -13. Suppose 4*k + h - 289 = 0, 0 = 3*k - h + d*h - 218. Does 24 divide k?
True
Let t(j) = -j + 10. Let v be t(7). Suppose -v*x = -4*x - 21. Is 68/6 - (-7)/x a multiple of 3?
False
Suppose x - 3*u - 41 = 13, -2*x - 2*u + 132 = 0. Does 7 divide x?
True
Is 33 a factor of 62/155 + (2 - 11898/(-5))?
False
Suppose -5*s + 1745 = 5*i, 102*s - 1761 = -5*i + 105*s. Is 13 a factor of i?
True
Does 18 divide (-1)/(-3) + 8/(-60)*-1745?
False
Suppose 0 = -63*m + 92*m - 16153. Is 9 a factor of m?
False
Suppose -4*w = -6*w - 16. Let z = w + 145. Suppose a - 152 = -2*a + 4*v, v = 3*a - z. Is 22 a factor of a?
True
Let h = 13 + -11. Suppose -5*x = -h*j + 14, 4*j = -9*x + 4*x - 2. Suppose 0 = -j*i + 6*i - 100. Does 22 divide i?
False
Let u = -471 - -603. Is 11 a factor of u?
True
Let n(m) = -1462*m**3 + 2*m**2 + 2*m + 1. Does 77 divide n(-1)?
True
Suppose 3*p - 835 - 125 = 0. Suppose 0 = -n - 3*n + p. Let d = n - 56. Is 8 a factor of d?
True
Let i be 4/(-4) - (2 - 2). Let b = 86 - i. Is 21 a factor of b?
False
Let y(w) = -w**3 - 36*w**2 - 2*w - 29. Is 3 a factor of y(-36)?
False
Let l(o) = 3*o**3 - 5*o**2 + 2*o + 1. Let w be l(3). Let k = -15 + w. Suppose -10*p + 6*p = -k. Is p a multiple of 7?
True
Suppose 0 = 4*f - 5*d - 6258, 0 = 2*f - 5*f - 2*d + 4682. Is 11 a factor of f?
True
Let d = -15 - -21. Suppose 300 = -g + d*g. Does 20 divide g?
True
Let j = -16 - -17. Let g(p) = 26*p**3 + p**2. Let t be g(j). Suppose -5*r - 183 = -4*d, 4*d - 5*r = 5*d - t. Is d a multiple of 12?
False
Is 20 a factor of (-840)/(-4) - -10 - 0?
True
Let z(t) = 82 - 2*t + 136 + 3*t + 0*t. Does 35 divide z(0)?
False
Let y = -47 - -50. Suppose -i + 3 = 2*i, y*k = 5*i + 7. Does 4 divide k?
True
Let j(o) = o**2 - 2*o + 3. Let h be j(3). Suppose h*x - 2*x = -5*p - 72, 3 = -p + 3*x. Let g = p + 25. Does 5 divide g?
False
Let y = 23 - 5. Let v = y + -14. Suppose 0 = v*w - 5*j - 79, 0 = -4*w + 7*w + 5*j - 68. Is w a multiple of 12?
False
Is 148 + 15 + -12 + (-10 - -4) a multiple of 5?
True
Let x be 59 - -1*6/(-3). Let l = 97 - x. Is l a multiple of 19?
False
Let m(g) = -g**3 + 7*g**2 - 7*g + 11. Let s be m(6). Suppose -s*h + 2*h - 146 = -2*l, 4*l = -h + 278. Does 35 divide l?
True
Suppose -7*k = -127 - 881. Is 4 a factor of k?
True
Suppose -s + 1838 = -59*p + 54*p, p + 9238 = 5*s. Is s a multiple of 9?
False
Let i(n) = n - 3. Let h be i(6). Is h + (-1 - (4 - 23)) a multiple of 7?
True
Suppose 0 = h + 5*h - 630. Is 15 a factor of h?
True
Let v = 46 + -89. Let u = 63 + v. Is 10 a factor of u?
True
Let d = 861 - 161. Does 28 divide d?
True
Suppose 4*d - 2*d - 2*o - 728 = 0, 3*d - 5*o = 1092. Let k = d - 228. Is k a multiple of 11?
False
Let c be (32 + -31)*(1 - -2). Suppose 0 = -4*p - 4*v + 43 - 15, -23 = p - 5*v. Does 19 divide 57 + (c - p - 1)?
True
Let z be ((5 - 3) + 0)/1. Suppose 5*p = -s + 240, -157 = 4*p - 7*p + z*s. Is p a multiple of 14?
False
Let m(p) = 125*p**2 - 18*p + 47. Does 182 divide m(7)?
False
Let k = 909 - 789. Is 8 a factor of k?
True
Suppose 0 = 4*m - 8*m - h + 83, -3*m = 3*h - 60. Let o = 10 + 47. Let f = o - m. Is f a multiple of 18?
True
Let t(p) = -p**3 + 15*p**2 + 13*p - 31. Let k(o) = 4*o**3 - 45*o**2 - 40*o + 94. Let z(r) = 2*k(r) + 7*t(r). Does 13 divide z(-14)?
True
Suppose -3*y - 6*y = -1170. Suppose 2*j + 4*n - 22 = -j, -j - 10 = -3*n. Suppose 3*t - y = -j*t. Is t a multiple of 7?
False
Suppose 18771 = 15*z - 16809. Is 22 a factor of z?
False
Suppose 5*w - 10*w = -30. Let p be 3/(w/8) + 72. Suppose 32 = -g + p. Is 22 a factor of g?
True
Suppose 4*o - 43 = v, -5*v + 24 - 89 = -5*o. Suppose -o*k = -357 + 47. Does 19 divide k?
False
Suppose 3*y = 4*y + 26. Let a be 630/(-14) - (-1)/1. Let g = y - a. Does 9 divide g?
True
Suppose -2*t = 3*t + 70. Let r(c) = 3*c + 5. Let q be r(6). Let j = t + q. Is j a multiple of 2?
False
Suppose 0*n - 36 = -4*n + 4*s, -4*s + 41 = 3*n. Let h(o) = -7*o + 10. Let v(b) = -7*b + 9. Let a(g) = 4*h(g) - 5*v(g). Does 24 divide a(n)?
True
Let j = -11 + 8. Let g(p) = p - 41 - 11*p + 43. Is g(j) a multiple of 8?
True
Let j be 8 - (3 + 0/4). Suppose j*l = 3*k - 34, -l + 0 = 5. Is 3 a factor of k?
True
Let g(j) = j**3 + 13*j**2 - 30*j + 5. Let c be g(-15). Let t(n) be the third derivative of n**4/4 + n**3 - n**2. Is t(c) a multiple of 6?
True
Let o(k) = -k**3 - 6*k**2 - 11*k - 2. Let d be o(-3). Suppose 2*y = -2*t - 2*t + 52, -d*t - 58 = -3*y. Is 3 a factor of y?
False
Suppose -7*d - 14 = -9*d. Suppose d*j + 3 + 4 = 0. Let x(m) = -24*m. Is x(j) a multiple of 6?
True
Let z be 140/44 + (18/22 - 1). Suppose 0 = r - 3*y - 4, 0 = -4*r - 0*r + y + 27. Suppose 5*u - 49 = v - r, -4*v = z*u - 39. Does 6 divide u?
False
Let g = 58 + -32. Let x = -23 + g. Let h(j) = 2*j**2 - j + 4. Is h(x) a multiple of 18?
False
Let u = 635 - 548. Does 13 divide u?
False
Suppose 12*v - 15*v = 5*w - 2037, 5*w - 4*v = 2044. Is w a multiple of 17?
True
Let w(o) = 2*o**3 + 2*o**2 - 2*o - 4. Let d be w(3). Suppose -5*s - 5*p = 190, s = 2*s - 2*p + 29. Let y = d + s. Is y a multiple of 7?
False
Let a = -80 + 55. Let q = a - -13. Let k(h) = h**2 + 6*h + 6. Is 28 a factor of k(q)?
False
Let k(r) = -7*r + 19. Let h be k(-4). Suppose h + 235 = 4*f - 3*b, -2*b = 4*f - 292. Does 9 divide f?
True
Suppose -8*z = -12318 + 7502. Is z a multiple of 60?
False
Let f(v) = -v**3 + 13*v**2 + 15*v + 7. Let r be (-97)/(-7) - 1/(-7). Does 5 divide f(r)?
False
Suppose -80*t + 69*t + 1936 = 0. Is t a multiple of 44?
True
Let k = 2567 + -1766. Does 8 divide k?
False
Suppose h - 56 = -3*h. Suppose w + h = t + t, w + 14 = -4*t. Is (-6)/w - (-1086)/14 a multiple of 26?
True
Let d(p) = 3*p**3 + 9*p + 6. Let f(a) = -2*a**3 - 5*a - 3. Let h(v) = -4*d(v) - 7*f(v). Is h(2) a multiple of 7?
False
Let o(z) = 6*z - 31*z + 4 - 10*z - 4*z. Let x be o(-2). Let t = 153 - x. Is t a multiple of 15?
False
Suppose -3*h = -0*h - 141. Let l(c) = 3*c**2 + 6*c + 3. Let a be l(2). Let i = h - a. Is 10 a factor of i?
True
Suppose -5*f + 2*y = -3332, 25*f = 30*f + 3*y - 3352. Is 3 a factor of f?
False
Let x = 64 - -2. Suppose -x - 5 = s. Let i = s + 101. Is i a multiple of 15?
True
Is 60 a factor of (140/(-21))/(6/(-270))?
True
Let t(c) = 45*c + 2. Let s be t(6). Let w = s - 96. Suppose -u + w = 2*o + 3*u, 3*o - 209 = 5*u. Is 26 a factor of o?
True
Let o(u) = -u**3 + 4*u**2 + 5. Let m(q) = q**3 - 3*q**2 - q - 4. Let k(b) = 4*m(b) + 3*o(b). Let l be k(4). Let t = 37 + l. Is 26 a factor of t?
False
Let w be 6/((3*(-4)/12)/19). Let l = 210 + w. Is l a multiple of 6?
True
Suppose -z - 6 = o, -o + 5 = 4*o. Is 25 a factor of 39 - (4 + (z - -5))?
False
Suppose -3*g = 2*g - 15. Let v(w) = -w**3 + 7*w**2 - w - 2. Let q(s) = -s**3 + 7*s**2 - s - 3. Let x(u) = -2*q(u) + 3*v(u). Does 11 divide x(g)?
True
Let k(q) be the first derivative of -23*q**2/2 + q + 2. Is k(-3) a multiple of 35?
True
Let f(v) = -2*v**2 - v - 4. Let p(x) = -3*x**2 - x - 9. Let g(s) = -5*f(s) + 2*p(s). Does 5 divide g(2)?
False
Suppose 0*m + 166 = m + 2*h, 4*m - 2*h - 694 = 0. Let c = m - 88. Is c a multiple of 14?
True
Suppose -5*b + 32 = -4*b. Let k = b + 22. Is k a multiple of 15?
False
Let r(o) = -3*o**2 - 26*o - 11. Let p be r(-8). Suppose -2859 = -p*l - 1079. Does 12 divide l?
False
Suppose 8*n - 25 = 4*n + 5*x, 2*x + 34 = 4*n. Does 14 divide n/4*(-292)/