*w + r, 0 = 2*w + n - p. Is w a multiple of 6?
False
Let h(l) = 7*l - 23. Let a(z) = -3*z + 11. Let d(w) = 5*a(w) + 2*h(w). Let f be d(9). Suppose f = 3*b - 2*q - 104, -2*b - 3*q - 5 + 96 = 0. Does 19 divide b?
True
Let i(p) = p**2 + p + 1. Let g be i(-1). Let n = 1 + g. Is -62*((-10)/4 + n) a multiple of 12?
False
Suppose 0 = -g + 4 - 17. Let k = g - -39. Does 11 divide k?
False
Let p(f) = -5*f**3 - 3*f - 1. Let u = 11 - 8. Let g = u - 5. Does 15 divide p(g)?
True
Suppose -4*s + 5*s = -k - 3, 2*s + 8 = -3*k. Let r = -2 + s. Is (46/3)/(r/(-9)) a multiple of 19?
False
Let x = -39 + 67. Is 14 a factor of x?
True
Let f = -99 - -71. Let y = 41 + f. Is y a multiple of 13?
True
Suppose 4*s + u = 12, 2 = -s - 4*s + 3*u. Is (1 + 0)/(s/174) a multiple of 12?
False
Let l be 2/4*56/(-2). Does 11 divide (-229)/(-7) + (-4)/l?
True
Let k be 160/9 - 6/(-27). Let p be 6*-3*4*(3 + -4). Suppose k = 3*w - p. Is w a multiple of 19?
False
Let v(h) = h**2 + 4*h - 1. Let p be v(-5). Suppose 1 = -b + p. Suppose -4*q - o + 21 = -b*q, 3*o = 3*q - 69. Is q a multiple of 11?
True
Let g = -200 - -365. Is g a multiple of 11?
True
Let b be 24/(-10)*(-90)/27. Suppose 2*w + 0*w = 44. Is 21 a factor of 80/10*w/b?
False
Suppose -12 = 3*i - 3, 0 = -4*a - 3*i + 139. Is 5 a factor of a?
False
Let t = -7 - -9. Is 2 a factor of t?
True
Suppose -2*d - 4*d + 156 = 0. Is d a multiple of 26?
True
Let h(p) = -9*p + 0 - 3*p + 10*p**2 - 3 - p**3. Does 20 divide h(7)?
True
Let f(v) = 52*v - 2. Does 11 divide f(1)?
False
Let k = -4 - -8. Suppose -3*s + k*x + 16 = 0, -2*x + 12 = -5*x. Suppose 3*q + 0*q - 102 = s. Is 13 a factor of q?
False
Let t = -292 - -444. Is 38 a factor of t?
True
Let i = -40 + 24. Let x = 20 - i. Is x a multiple of 25?
False
Suppose -5*y - 69 = -4*c, 0 = 3*c - 7*c + 2*y + 78. Is c a multiple of 3?
True
Let r be (8/(-2))/(2/24). Suppose -5*l + 8 = -37. Does 20 divide (30/(-4))/(l/r)?
True
Let p(k) = 3*k - 16. Is p(16) a multiple of 32?
True
Let t(x) = 59*x**2 + 5*x + 13. Is t(-2) a multiple of 36?
False
Let v = 1 - 5. Is 26 + v/2 + -2 a multiple of 14?
False
Let k(y) = y**3 + 8*y**2 - 6*y. Is 24 a factor of k(-8)?
True
Let n = 19 + -17. Suppose -2*r - 2*s - 31 = -5*r, -21 = -n*r + s. Does 11 divide r?
True
Let w = 28 + -13. Let s be 6/4*50/w. Suppose -s*d = -125 + 40. Does 9 divide d?
False
Let t(l) = -30*l - 17. Is 16 a factor of t(-5)?
False
Let z be (5*-1)/((-4)/(-4)). Let l(s) = s**3 + 6*s**2 - 3*s + 5. Does 15 divide l(z)?
True
Let a(k) = -2*k - 2. Is a(-11) a multiple of 10?
True
Suppose 0*k = -3*k - 108. Is 6 a factor of (-1)/(74/k - -2)?
True
Suppose -5*o - g = -2*g - 22, -2*o = 2*g - 4. Suppose -23 = -o*i + 5*b, 2*b - 13 = -3. Suppose -2*h + 0*h = -i. Is 6 a factor of h?
True
Let y = -17 - -15. Let t = y - -32. Is t a multiple of 15?
True
Let m = 14 + 13. Is 10 a factor of m?
False
Let y(h) = 19*h**3 - h**2 + 4*h - 3. Let s be y(2). Suppose 0 = w - 4*w - s. Let v = 77 + w. Is 13 a factor of v?
True
Let t(c) be the third derivative of -1/3*c**4 + 0*c**3 + 0 + 0*c - 1/60*c**5 - 4*c**2. Is t(-6) a multiple of 8?
False
Suppose w - 28 = -2*f, 6 = -w + 4*f + 4. Is w a multiple of 9?
True
Let k(c) = 13*c**2. Let q be k(-2). Suppose 0*b = -3*b. Suppose -4*i + q = -b*i. Is i a multiple of 7?
False
Suppose 2*p + 0 + 52 = 0. Let m = -14 - p. Is 6 a factor of m?
True
Suppose -1 = 3*u - 4. Is 5 + -3 + 4 + u a multiple of 5?
False
Let i = -69 - -113. Is 4 a factor of i?
True
Let p(f) = -2*f - 11. Does 2 divide p(-7)?
False
Suppose 0 = -2*i - 2, 2*c - 15 = -c + 3*i. Is 12 a factor of -3 - ((c - 0) + -49)?
False
Let a = 1 + 4. Suppose 0 = a*s - 5*d - 55, 0 = 4*s - d - 8 - 33. Does 7 divide 4/10 + 166/s?
False
Suppose -4*a = f - 4, -f + 3*a = 4*f + 26. Let o be 3/f - 489/(-12). Suppose -c = 4*c - o. Is c a multiple of 6?
False
Suppose 6 = -2*y + 5*y. Suppose 0 = -3*o - 5*m + 6, -3 + 5 = y*o + 4*m. Does 7 divide o?
True
Let v = -9 + 33. Let o = 42 - v. Is o a multiple of 18?
True
Suppose -5*j + 49 - 10 = 4*w, 2*j = 2*w - 6. Is 3 a factor of w?
True
Let y be (-5)/((-20)/8) - -1. Suppose 4*d = -2*p + 34, 0 = -2*d - y*p - 2*p + 13. Does 2 divide d?
False
Suppose 2*x - 5 = 115. Is x a multiple of 30?
True
Let y be 2/(-2)*(18 - 1). Let j(a) = -13*a + 3. Let q be j(3). Let l = y - q. Does 8 divide l?
False
Let r = 8 + -3. Suppose -60 = w - r*w. Is 5 a factor of (1 + w/2)*2?
False
Let o(t) = t**3 + 7*t**2 - 9*t. Suppose -3*f - n = -2*f + 12, 2*f - 5*n = 4. Is 8 a factor of o(f)?
True
Let s(q) = q**3 - 7*q**2 + 8*q - 8. Let a be s(6). Let h = a + -2. Is 12 a factor of (-3)/(13/(-6) + h)?
False
Let r(h) = -h**2 - 6*h - 4. Let g be r(-6). Let s(j) = j**2 - j - 4. Is s(g) a multiple of 16?
True
Let w(o) = -2*o - 1. Let z be w(-2). Let a(k) = -z - 1 - 2*k + 6. Is 14 a factor of a(-6)?
True
Let q(s) = -2*s**2 + 5*s + 6. Let y be q(-4). Let k = y + 66. Is k a multiple of 10?
True
Does 22 divide (-5 + -48)/(2 + -3)?
False
Suppose -i = 3*i. Let k = i - -2. Is (-1 + -1)*(-23)/k a multiple of 11?
False
Suppose 7 - 15 = -2*g. Suppose -b - 6 = -g*b. Suppose -b*c = -16 - 14. Does 15 divide c?
True
Let g(x) = x**2 + 2*x - 1. Let j be g(-3). Suppose 3*y + 0*y - 130 = -v, -122 = -3*y - 5*v. Suppose -4*w = -j*w - y. Does 22 divide w?
True
Let j(z) = -34*z + 5. Let c(v) = 68*v - 11. Let p(i) = -4*c(i) - 9*j(i). Is 14 a factor of p(1)?
False
Let m(b) = b**2 - 9 - 10*b + b + 0*b. Is m(11) a multiple of 12?
False
Suppose -6*c + 2736 = 6*c. Is c a multiple of 26?
False
Let d = 8 + -10. Let k(u) = -6*u**3 - 2*u**2 + u - 2. Is k(d) a multiple of 12?
True
Let l(p) = -p**3 + 11*p**2 + 17*p - 16. Is l(12) a multiple of 11?
True
Let z = 14 + 9. Does 14 divide z?
False
Let n = 0 - 3. Let a(d) = -3*d + 1. Does 10 divide a(n)?
True
Let u(c) = -1 - 1 + c + 4 - 5*c. Does 6 divide u(-4)?
True
Let w(t) = -t**2 - 4*t + 5. Let d be (-10)/3*(-6)/(-5). Let i be w(d). Suppose 3*r - 3*z - 58 - 50 = 0, -4*z = -i*r + 180. Does 18 divide r?
True
Suppose -5*w = -13*w + 656. Is w a multiple of 41?
True
Let n(j) = -7*j + 2. Let k be n(-6). Suppose 0 = 2*a + k - 162. Let t = a - 32. Is t a multiple of 10?
False
Suppose 42 + 32 = j. Does 20 divide j?
False
Let d = 3 + 123. Is d a multiple of 14?
True
Let g(j) = 7*j. Let f = -7 + 9. Does 9 divide g(f)?
False
Let x(n) = 13*n + 6. Is 5 a factor of x(4)?
False
Suppose 4*v - l + 35 = 0, 5*v + 49 = -0*v + 3*l. Let q = v + 6. Does 4 divide (q - -8 - -2)*1?
True
Let v = -4 + 4. Suppose 3*l + q + 4*q + 19 = v, -2*q + 2 = 0. Let o = -1 - l. Is 7 a factor of o?
True
Suppose -2*s - 4 = 14. Let i = 17 + s. Let x(z) = z**2 - 8*z + 9. Is x(i) a multiple of 5?
False
Let c(u) = -u**2 - 9*u + 3. Suppose -3*j - 30 = 4*l + 3, j + 22 = -5*l. Does 12 divide c(j)?
False
Let x be (3 - (-2 + 1)) + -2. Suppose 5*a = 3*y + 103, 28 = 3*a - x*y - 34. Does 10 divide a?
True
Suppose 5*z = 4*y - 85, -5*z - 4 = 1. Is y a multiple of 10?
True
Suppose 5*z = -5*m + 65, 4*m + 44 = 8*m - 4*z. Suppose -2*g + m = -0*g. Is 6 a factor of g?
True
Suppose 0 = 12*l - 15*l + 6. Is 15 a factor of ((-3)/4)/(l/(-40))?
True
Suppose -33 = -7*m + 282. Is 15 a factor of m?
True
Let s be (8 - 5)/(-1 + 2). Suppose -s*b = -88 + 1. Does 11 divide b?
False
Let t(c) = -4*c**3 - 2*c - 3. Let h be t(-2). Let l = h - 66. Let z = 79 + l. Is z a multiple of 20?
False
Let t be (0 + -1 + 1)/1. Let d = -20 - -22. Suppose -d*u + 6 + 28 = t. Does 10 divide u?
False
Let r be (-24)/4*11/3. Let z = 70 - 28. Let h = z + r. Does 10 divide h?
True
Let j(n) = n**3 - n**2 + 3*n - 4. Let v be j(4). Suppose 3*l - 7*l = 4*h - v, -3*l + 39 = 2*h. Is 4 a factor of l?
False
Suppose -5*l = 4*m - 387, m + 3*l - 5*l = 100. Is 49 a factor of m?
True
Let w = 4 - 12. Is (-9)/4*w/3 a multiple of 5?
False
Let r(c) = c + 1. Let g be r(-3). Let a = 6 + g. Suppose a*o + 3*s - 73 = 2*o, 4*o + 4*s = 140. Does 16 divide o?
True
Suppose 4*z = 2*k + 68, -4*k + 3 = 2*z - 11. Is 5 a factor of z?
True
Let a be -1 - (1 - (-4 + 3)). Is (-1)/a + 126/27 a multiple of 5?
True
Suppose -5*n + 4*v = -118, 3*v + 18 = 5*n - 98. Does 11 divide n?
True
Suppose 2*g = -3*f + 202, 4*g - 6*f - 382 = -f. Is 14 a factor of g?
True
Suppose 0 = 3*x - 0*o - 2*o + 15, 3 = o. Is 2 a factor of x*(-1)/(-2)*-2?
False
Suppose -4*b - 122 = -5*p, 3*b - 60 = -3*p + b. Does 11 divide p?
True
Suppose -2 + 12 = 5