 0*y. Let j = o - w. Is j a multiple of 10?
False
Suppose -37*k = -40*k - 2*l + 350, l + 231 = 2*k. Does 17 divide k?
False
Let q be (-7)/(21/9)*5. Let z be (-2)/4*11*6. Let u = q - z. Is u a multiple of 5?
False
Let w be 1*(3 - -179)/2. Let z = w + -23. Is z a multiple of 34?
True
Suppose -617*a + 18648 = -610*a. Is 74 a factor of a?
True
Let b(s) = -4*s - 1. Let z be b(2). Let q be z + (-1 - 16/(-4)). Let i = q + 12. Does 4 divide i?
False
Is 1/3 - (998775/27)/(-25) a multiple of 22?
False
Suppose -2*l = -7*h + 5*h + 796, -1997 = -5*h - 2*l. Is 5 a factor of h?
False
Let f = -53 - -56. Is 2 a factor of (-6 + f)*15/(-3)?
False
Let k(u) = u**3 + u. Let n(q) = 2*q - 4. Let t be n(2). Let z be k(t). Suppose z*w + 6 = w. Is w a multiple of 6?
True
Suppose 0 = -12*o + 6*o. Suppose o = -4*z + z + 324. Does 36 divide z?
True
Let x(b) = 4*b**2 + 9*b - 5. Let w(o) = 6*o**2 + 14*o - 7. Let g(t) = -5*w(t) + 8*x(t). Let c be ((-30)/(-25))/(3/10). Does 10 divide g(c)?
False
Suppose 0*l - 2*b + 13 = 3*l, -14 = -4*l - b. Let m be -2 - (l + (-12)/3). Is 10 a factor of -3*((-111)/(-9))/m?
False
Let p = -129 - -365. Is p a multiple of 48?
False
Suppose 5*l - 72 = 3*l. Suppose -6*v + 132 = l. Is v a multiple of 8?
True
Is 23 a factor of (-9312)/48*(-4)/2?
False
Let p(a) = 7*a + 5. Let f(d) = -6*d - 5. Let o(r) = 6*f(r) + 5*p(r). Let n be o(-7). Suppose -n*k + 16 = -4*t, 3*k = -2*k - 3*t + 14. Is 4 a factor of k?
True
Suppose -q - 13 = -7*n + 3*n, 3*n + 2*q = -4. Suppose 84 = 3*s - 5*g + 3, n*g = s - 26. Is s a multiple of 29?
False
Let n = 22 + -12. Let s = 20 - 12. Suppose n + 14 = s*c. Is 2 a factor of c?
False
Does 3 divide (-12)/30*5 - -523?
False
Let i(a) = 18*a - 36. Let k be i(-12). Let j = 412 + k. Is j a multiple of 36?
False
Suppose 2*f = 3*j + 5*f - 6120, 9*j = -f + 18384. Is j a multiple of 112?
False
Is (-542)/(-3) + (-96)/144 a multiple of 21?
False
Let z be 30/12*(-212)/(-5). Let l be (z/(-5))/(2/(-10)). Suppose 38 = 2*a - l. Is 22 a factor of a?
False
Suppose 4*u - 5*b = 20, -2*u - u = -2*b - 8. Let d be 6/12*6 - 0. Suppose u*c - d*c + 312 = 0. Is c a multiple of 26?
True
Let a be 1*(-4)/((-4)/5). Is 7 a factor of 19*(-3 + a)*6/4?
False
Let m be (-5635)/(-28) + 2/(-8). Suppose 0 = -9*p + 858 - m. Does 23 divide p?
False
Let s = 3 - -49. Does 52 divide s?
True
Suppose 3*l + 5*n = -7 - 26, 0 = 4*l - n + 21. Suppose -r - 144 = 3*r. Let h = l - r. Does 10 divide h?
True
Let t(l) = 71*l + 627. Does 15 divide t(18)?
True
Suppose 2*n - 15 = -m, -3*m = -0*n + 5*n - 43. Let g be -2 + 5 - -3*m. Is (g/(-10))/((-6)/15) a multiple of 2?
False
Let r(i) = i**3 + 4*i**2 + 3*i + 2. Let c be r(-3). Suppose c*k + 24 = 4*k. Is 7 a factor of k?
False
Suppose -3*a = -0*n - n - 323, 0 = 5*a + 2*n - 520. Let x = -183 + a. Let u = x - -125. Is 17 a factor of u?
False
Let h = 10 - 4. Suppose 0 = -0*g + 4*g - 12. Suppose 90 = -g*b + h*b. Does 10 divide b?
True
Let i(g) = -34*g + 94. Is i(-14) a multiple of 45?
False
Let f = 21 + -20. Let u = -21 + f. Let r = u + 33. Does 6 divide r?
False
Is 6 a factor of 4/120*-4 + 62110/75?
True
Let r = 26 + -27. Let s = 99 + r. Is 14 a factor of s?
True
Let n = 1 + 5. Let w(y) = 11*y**3 - 21*y**2 + 29*y + 33. Let m(b) = -4*b**3 + 7*b**2 - 10*b - 12. Let l(i) = 8*m(i) + 3*w(i). Does 4 divide l(n)?
False
Let g = 54 + -33. Is 7 a factor of 438/g - 5/(-35)?
True
Suppose 3*v - 3*k = 9, 0*v + 2*v - 3*k - 8 = 0. Suppose 2*w - 13 = v. Is 7 a factor of w?
True
Let f(r) = 132*r + 1. Does 116 divide f(17)?
False
Does 58 divide (-932)/(-16) - 3*2/24?
True
Let u = -994 + 1641. Does 32 divide u?
False
Let m = 945 + -476. Does 21 divide m?
False
Let s = 394 + -214. Is 9 a factor of s?
True
Let g be (-4)/14 + 16/7. Suppose 2*c = -1 + 7, -2*c = 2*f - 42. Let m = f - g. Is 4 a factor of m?
True
Suppose -5*a - 1 = 4*y, -3 = -5*y + 2*a + 4. Let v = 4 - y. Suppose -v*i + 12 = -i. Does 6 divide i?
True
Let b(r) = 5*r**2 - 4*r - 6. Let a be b(-4). Suppose 5*z + a = 10*z. Is 3 a factor of z?
True
Suppose 2*h - h - 286 = 3*n, 0 = 3*n - 3*h + 294. Let o = 119 + n. Is 6 a factor of o?
False
Let a(g) = g**3 - 3*g**2 + 18*g - 46. Is a(7) a multiple of 23?
True
Suppose -7*r + 3*r - 2*p = -14, 4*r - 19 = 3*p. Let t = 4 - -57. Suppose r*y + 5 = t. Is 7 a factor of y?
True
Let q(u) = u**2 + 5*u - 17. Let h = -8 + 9. Let d be (-10 + 6)*2/h. Does 6 divide q(d)?
False
Let v be (9 - (-2 - -9))*-2. Let g(w) = w + 1. Let s(z) = -2*z**2 + 6*z + 4. Let x(b) = 5*g(b) - s(b). Is x(v) a multiple of 24?
False
Suppose 5*d - 2*f = 5, -2*f + 1 = -9. Suppose 0 = -6*n - d*n + 972. Is 9 a factor of n?
True
Suppose 4*c - k + 16 - 4 = 0, -2*c = -3*k - 4. Let j be (c + 72)/(3/(-3)). Let b = j + 128. Is b a multiple of 15?
True
Let i = 354 - 298. Does 7 divide i?
True
Suppose -219 = -2*y - 625. Suppose 5*v = c - 281, 4*c + 253 = v + 1434. Let d = c + y. Is d a multiple of 31?
True
Suppose 2*l = -4*m + 122, 2*m + 26 = 3*l - 165. Let k = l - 52. Is k even?
False
Suppose -o + 4*o - 5*y = -8, 2*o + 2*y = -16. Suppose 13 = 4*j + 125. Let m = o - j. Does 8 divide m?
False
Let o(f) = -f**3 - f**2 + 2*f + 35. Let z be o(0). Let b = 65 - z. Does 10 divide b?
True
Let a(g) = g**3 + g**2 + g + 1. Let r(w) = -4*w**3 - 12*w**2 - 13*w - 1. Let s(t) = 3*a(t) + r(t). Let c be s(-8). Let k = c - 6. Is 4 a factor of k?
True
Suppose 4*a - 2*a = 3*d - 12, -3*a + 2*d = 13. Is 2 + a + (-4 - -97) a multiple of 23?
True
Let d be (-2)/4*106/(-1). Let l = d - 21. Is l a multiple of 16?
True
Let v be 4*(2/(-4) + 2). Suppose 7*q = 9*q - v. Suppose q*j - 11 = 34. Is 15 a factor of j?
True
Let p(x) be the first derivative of -x**4/4 + 17*x**3/3 - 27*x**2/2 - 8*x + 47. Does 26 divide p(7)?
False
Let n(b) = -2*b + 2 - 4 + 10*b**2 + 4 + 4. Let p(q) = -1. Let x(m) = n(m) + 4*p(m). Is 2 a factor of x(1)?
True
Let z(b) = -2 + 0 - b - 3 - 6*b. Suppose -2*h = -5*i - 52, -7*h - 6 = i - 3*h. Is 24 a factor of z(i)?
False
Suppose 2*d + 4*v - 1302 = 0, -4*d - v = 776 - 3359. Is d a multiple of 3?
True
Suppose 5*z - 4*v - 3 = 0, 2 = -v - 0. Let n(r) = -6*r. Let a be n(z). Does 11 divide 2/a - 196/(-6)?
True
Let a(t) = -5*t - 2*t**2 + 11*t**2 + 7 - t**2. Is a(3) a multiple of 32?
True
Does 20 divide (-2)/(-4)*(-42 + 32) - -2207?
False
Let h be ((-16)/3 + 5)*345. Let f = h - -135. Does 9 divide f?
False
Suppose 8*d + 40 = 10*d. Let b(r) = -r**2 - 7*r - 3. Let l be b(-6). Suppose -h + 3*k + k = -d, l*h - 104 = k. Is h a multiple of 18?
True
Let i = 629 - 461. Is 14 a factor of i?
True
Let d be (-6)/(-15) + (-336)/(-35). Let r(g) = -g**2 + 15*g + 12. Does 37 divide r(d)?
False
Let l(b) = b**3 + 7*b**2 + 21*b + 63. Is l(-5) a multiple of 2?
True
Suppose m - o - 2*o + 183 = 0, o = -5*m - 851. Let f = -87 - m. Is 14 a factor of f?
True
Let t(p) = -p - 3. Let f be t(4). Let o be (-9)/(-3) + f + 8. Suppose -3*s = s - o*c - 152, -5*s = 2*c - 204. Is 10 a factor of s?
True
Suppose 430 = 7*u - 1803. Is u a multiple of 11?
True
Let b = -15 - -14. Let u be (-19 - b) + (-8 - -7). Let v = u - -21. Is 2 a factor of v?
True
Let t(w) = -w**2 - w + 1. Let u(z) = 20*z**2 + z - 2. Let y(m) = -3*t(m) - u(m). Let a be y(-3). Is 20 a factor of ((-2)/4)/(2/a)?
True
Suppose 51*t - 39008 = 32392. Does 82 divide t?
False
Suppose 4221 = 4*j + 3*v, -4*v = 3*j - j - 2108. Does 48 divide j?
True
Suppose -y - 2*b = -190, -y = -5*y - 3*b + 780. Is 11 a factor of y?
True
Suppose -3*f - 2 + 17 = 0. Suppose 2*y - 75 - 9 = -4*o, 0 = f*y + 5*o - 230. Is y a multiple of 7?
False
Let o(q) = 2*q + 15. Let m be o(-4). Does 3 divide (5 + -3)/(2/m) - 4?
True
Let o(n) = 2*n**3 + 7*n**2 + 10*n + 4. Let z be o(-4). Let x = 82 + z. Does 15 divide x?
True
Let f(z) = -z**3 - 4*z**2 + z - 2. Let i be f(-4). Let b = 6 + i. Suppose 0 = -b*s - 4*s + 144. Is 18 a factor of s?
True
Let i(n) = n**2 - 10*n + 10. Let p(j) = 5*j. Let u(c) = -2*c + 16. Let l be u(7). Let t be p(l). Is i(t) a multiple of 10?
True
Suppose 2*j = 15*n - 14*n + 648, -3*n - 975 = -3*j. Is j a multiple of 5?
False
Let z = -520 - -1440. Is 20 a factor of z?
True
Let z = 83 - 26. Let a = z - 4. Is a a multiple of 9?
False
Suppose 175 = -5*s - 5*v, -5*s - 43 = v + 144. Suppose -4*m - 405 = -121. Let b = s - m. Does 11 divide b?
True
Is 23 a factor of (-77245)/(-280) - 2/(-16)?
True
Suppose 0 = 30*b - 33*b + 1554. I