= -b. Is w a multiple of 19?
False
Suppose 15 = c - 19. Let n(o) = o**3 + 7*o**2 + 7*o + 6. Let v be n(-6). Suppose -3*z + c + 14 = v. Is z a multiple of 9?
False
Let f(j) = -j**2 + j + 34. Let n(i) = -i. Let x be n(0). Is f(x) a multiple of 9?
False
Suppose 3*m + 3 = -3, 2*g = -5*m + 18. Suppose -3*b - 5 = -g. Let d(l) = 2*l. Does 3 divide d(b)?
True
Let k be (-4)/(-14) + (-8)/28. Let n(f) = -f**3 + f**2 + 40. Is n(k) a multiple of 20?
True
Let c = 18 - -23. Suppose -3*y = -c + 11. Is y a multiple of 5?
True
Let q(w) = 5*w - 2. Let c be q(-4). Let u = -11 - c. Is 11 a factor of u?
True
Let s(v) = v**2 + v - 2. Let b be s(-4). Let c be (b/(-6) + 2)*9. Suppose -2*y + q = -20, 0*y = -y + c*q. Is y a multiple of 11?
False
Suppose 2*n + 817 + 347 = 4*k, -4*k + 1164 = -4*n. Does 21 divide k?
False
Let k(z) = -z**3 + 6*z**2 + 7*z + 3. Let w be k(7). Suppose 3*f + 5*q = 32, 4 = f + w*q - 0. Does 11 divide f?
False
Is 9 a factor of 5/((-1)/18*-1)?
True
Let x be (-14)/(-7) - (0 + -2). Suppose x*u - 3 = u, 0 = 3*s - 5*u - 49. Is 9 a factor of s?
True
Let b(z) = 3*z**3 - 4*z**2 + 4*z - 4. Is b(3) a multiple of 18?
False
Let w(p) = -p**3 + 10*p**2 - 3*p + 1. Is 11 a factor of w(9)?
True
Let g = -86 + 93. Is 3 a factor of g?
False
Suppose d - 6 = -4. Suppose 4*o - 6 = d. Suppose f = 11 - o. Is 9 a factor of f?
True
Let k(p) = -p**2 - 7*p - 2 + 5*p - 6*p + 0*p**2. Is 10 a factor of k(-6)?
True
Let y = -1 - -16. Suppose -3 = 3*r - y. Is 2 a factor of r?
True
Let b(g) = 3*g - 5. Let i be b(9). Suppose i = -2*s + 2*o, -s + o - 3 = -4*o. Let f = 28 + s. Does 9 divide f?
False
Let s(y) = 19*y**3 - y**2 - y + 1. Does 3 divide s(1)?
True
Let t = 5 + -2. Let h be (-4)/t*(-351)/6. Let x = h + -41. Does 16 divide x?
False
Let j(b) = -b**3 + 6*b**2 + 4*b - 4. Let k be j(6). Let v(d) = k - 8 - 2*d + 3*d - 2*d. Does 6 divide v(0)?
True
Let g be (-8)/28 - 44/(-7). Suppose -4*n + g*n - 10 = -2*a, -3*a = 2*n - 18. Is 8 a factor of a?
True
Let u be ((-6)/9)/(1/(-3)). Suppose w - 3*k = 2, 7*k = -w + u*k + 10. Suppose 171 = w*d + 46. Does 9 divide d?
False
Let f = -277 - -395. Let c = -71 + f. Suppose -5*w - 46 = -r, -c = -2*r - w + 2*w. Does 10 divide r?
False
Let h = -33 - -108. Suppose -a = 3*s + 2*a - h, -5*a = 4*s - 97. Does 10 divide s?
False
Let t be 116/(-10) + (-6)/15. Let o be 12/2 + t/4. Suppose -o = -d + 26. Is d a multiple of 10?
False
Let u(i) = -i + 2. Let v be u(2). Suppose 13 = -3*x + 40. Suppose -w + v*w + x = 0. Is w a multiple of 7?
False
Let j = 260 - 124. Suppose d = 3*k - 355, 2*k - 3*d + j = 361. Suppose -k = -5*g + 50. Is g a multiple of 14?
False
Suppose a = -f - 1, 6*a - 3*a - 1 = -f. Let z be (3/2)/(f/(-4)). Suppose -3*d - z*m + 33 = 2*d, 16 = 4*d + 5*m. Is 8 a factor of d?
False
Let o be (-7 - -1)*(-1)/3. Suppose o*y + 255 = -3*y. Let l = -35 - y. Is 10 a factor of l?
False
Suppose -4*b - 6 = -b. Let g be (-2 - 1*b)*-1. Suppose -3*r = -u + 50 - g, -5*u = 5*r - 270. Is u a multiple of 19?
False
Let g(p) = 3*p**2 - 11*p - 3. Let t(u) = 2*u**2 - 6*u - 2. Suppose 3*c + 8 = -4. Let v(i) = c*g(i) + 7*t(i). Is 10 a factor of v(2)?
True
Suppose -2*v - 84 = 2*v. Let f = 6 - v. Is 19 a factor of f?
False
Suppose 4*o = -0*o - 4*x + 20, -5*o + 7 = -x. Suppose -t = f - 11, 3*f = 17 - o. Suppose 0 = 3*z - 6 - t. Is 2 a factor of z?
True
Let z be (14/4)/((-1)/(-2)). Suppose z*u - 20 = 3*u. Is u a multiple of 4?
False
Let q(x) = -x**2 + 10*x - 7. Let l(s) = 2*s**2 - 4*s - 1. Let j be l(3). Let m be (j/(-10))/((-1)/14). Is q(m) a multiple of 7?
True
Does 26 divide (-9 - -65) + (-4)/2?
False
Let z = -11 + 35. Let p = z - 11. Does 11 divide p?
False
Suppose 0 = -3*n + 11 + 55. Let h be n/8 + 6/24. Suppose -111 = -5*i - h*o, 0*i = 2*i + 2*o - 46. Is i a multiple of 8?
False
Let g be 1*((-39)/(-3) + -1). Let m be 4/g + (-11)/(-3). Let f(p) = 7*p + 1. Is 16 a factor of f(m)?
False
Let c = -87 + 149. Does 20 divide c?
False
Suppose 4*x = -2*k, -x = -2*k - 2*x + 6. Let a(t) = -2 + t**2 + 3*t - 4*t**2 - t + k*t**2. Is 11 a factor of a(-6)?
True
Let l be ((-1)/(-3))/((-4)/12). Let g(w) = -19*w + 1. Is 10 a factor of g(l)?
True
Let x = 7 + -1. Is 2 a factor of x?
True
Let j(u) = 2*u**3 - 5*u**2 + 3*u - 3. Let b(k) = k - 1. Let n(c) = 2*b(c) + j(c). Does 21 divide n(4)?
True
Let t(z) = 76*z + 2. Is 21 a factor of t(1)?
False
Let q(j) = j**2 + 9*j - 4. Let z be q(-10). Let g(y) = 0*y**2 - 4*y**2 - 2 + 5*y**2. Is g(z) a multiple of 9?
False
Let z = -5 + -5. Does 9 divide (-2)/5 + (-94)/z?
True
Suppose -308 = -8*h - 3*h. Does 4 divide h?
True
Suppose t - l - 39 = -6*l, -93 = -4*t + l. Suppose 6 = -q + t. Is (2*6)/(q/12) a multiple of 8?
True
Is 42/5 - 16/40 a multiple of 5?
False
Suppose 86 + 74 = 8*y. Does 4 divide y?
True
Suppose 3*s - 7 + 43 = 0. Let j be 2/s + (-91)/(-42). Suppose -j*q = -q - 23. Does 10 divide q?
False
Let s(p) = 6*p - 4. Let c = -21 + 29. Does 17 divide s(c)?
False
Let z(b) = b**3 + 12*b**2 + 7*b + 27. Does 13 divide z(-11)?
False
Let g(i) = i**3 + 8*i**2 - i - 7. Let o be g(-8). Suppose 8 - o = 2*n - j, -j + 5 = 4*n. Suppose -44 = -n*s + 8. Does 13 divide s?
True
Suppose -2 = 2*o + 3*r, -2*o - 8 = -5*o + r. Suppose 0*l - 150 = -o*l. Suppose j - 12 = -2*g + 15, 0 = 5*g + j - l. Does 8 divide g?
True
Suppose -2*x + 21 = 3*r, -r + 28 = 3*x - 0*r. Is 2 a factor of x?
False
Let f(w) = 14*w - 63. Is 5 a factor of f(12)?
True
Let b(p) = p**3 + 20*p**2 + 6*p + 5. Is b(-19) a multiple of 36?
True
Let l be (-2)/(-4)*-1 - (-165)/(-2). Let p(r) = 15*r**2 + r. Let s be p(-1). Is l/(-5) - s/(-35) a multiple of 17?
True
Suppose 131 - 31 = -5*o. Let s = 30 + o. Is 6 a factor of s?
False
Let u be 2 + 9 + 3 - 2. Let j = u - 6. Does 5 divide j?
False
Let y = -12 + 22. Is (5/y)/(1/106) a multiple of 14?
False
Suppose -67*t + 700 = -63*t. Is 35 a factor of t?
True
Let r(h) = 13*h**2 - 3*h - 4. Is r(-2) a multiple of 23?
False
Let s(d) = 3*d**2 + 3*d + 19. Is s(-4) a multiple of 12?
False
Let k(v) = 21*v - 43. Is 12 a factor of k(14)?
False
Let a = -13 - -23. Suppose -r - l - 3*l = -36, -a = -2*l. Is r a multiple of 8?
True
Suppose 4*x + 1 = 3*h - 3, -2*h = 2*x - 26. Is h even?
True
Suppose -4*g - 5*q = -0*g + 113, 5*q = -5. Suppose -t + 2*t = 6. Let y = t - g. Is y a multiple of 11?
True
Let y = 30 - 32. Suppose 0*r + 3*r + 6 = 0. Is 13 a factor of (-1 - r) + 14 + y?
True
Suppose -13 = -4*c + 2*a + 7, 0 = -2*a - 4. Does 2 divide (7 + -1)*c/8?
False
Suppose -13*q = -9*q - 288. Does 18 divide q?
True
Suppose -3*g + 2*g + 6 = 0. Let f be g/(-4) + 2/(-4). Is 1/f - 79/(-2) a multiple of 19?
False
Let s(q) = q + 3. Let y be s(0). Suppose -2*p - y*p = -115. Suppose -p = -2*l - 5. Is 9 a factor of l?
True
Suppose 0*x = -x + 5. Suppose x = -l - 4*o + 24, 57 = 3*l + 3*o. Is 19 a factor of l?
True
Let y = 0 - -4. Suppose g + 70 = -y*s, -10 = 3*s + 2*s. Let n = 92 + g. Does 16 divide n?
False
Let o(y) = -y. Let c(q) = -2*q - 1. Let f(w) = -2*c(w) + 5*o(w). Let p be f(0). Suppose 4*d = -p*g - 3*g + 160, 0 = -5*g - 2*d + 150. Does 14 divide g?
True
Let z be (-6)/(-4)*(3 + -1). Suppose z*s - 3*m = 42, -4*s - 5*m + 66 = -8. Does 10 divide s?
False
Does 8 divide (0 - (1 + 3))*3*-2?
True
Let t(n) = 9*n + 2. Is 11 a factor of t(12)?
True
Let d(z) = -z**2 + 18*z - 6. Is 23 a factor of d(10)?
False
Suppose 0*a - 4 = -a. Suppose -a*p = -0*p - 16. Suppose 0*h - p*h + 32 = 0. Is 8 a factor of h?
True
Let d(a) = a**2 - 2*a - 5. Let n be 3*1*(-2 - 0). Is 10 a factor of d(n)?
False
Suppose -2*g - 2*g - 24 = 0. Let w(o) = 2*o - 6. Let y be w(g). Is (y/(-5))/((-9)/(-60)) a multiple of 8?
True
Does 5 divide (-38)/(-4) + (-1)/(-2)?
True
Let v(m) = m**2 + 4*m - 19. Does 7 divide v(-8)?
False
Let s be ((-2)/(-1) - 2)/2. Let n = s + 1. Is (-3)/(1 + -2) - n a multiple of 2?
True
Let f(s) = -7*s - 8. Is f(-9) a multiple of 17?
False
Suppose 3*d - 4*i - 33 - 56 = 0, 4*d = 3*i + 121. Does 31 divide d?
True
Let u = -1 + 4. Suppose -2*l = 3*l - 310. Suppose b + l = u*b. Does 8 divide b?
False
Suppose -3*u - 95 = -8*u. Let m = u - 13. Is 2 a factor of m?
True
Let i be ((-56)/5)/(1/(-5)). Suppose -4*h + i = -0*h. Is 14 a factor of h?
True
Let i(u) = -u**3 - 4*u**2 + 1. Let h be i(-4). Suppose 3*a + 2 = 5. Let x = a + h. Is 2 a factor of x?
True
Suppose -g - 80 = -h, -2*h = 3*h + 4*g - 364. Suppose 5*u - 52 = 6*