ppose 177 = 4*y + 3*c, -l*c = -0 + 3. Does 28 divide y?
False
Is 98 - ((-18)/(-14) - 4/14) a multiple of 10?
False
Suppose 4*k - 2*k = 8. Suppose -4*f - 52 = -3*z, -k*z + 5*f + 43 + 27 = 0. Does 9 divide z?
False
Suppose 7*b - 126 = 4*b. Let a = 7 + b. Does 15 divide a?
False
Suppose -2*r - 5*o - 14 = 0, 5*r - o = 12 + 7. Does 5 divide r/((-2)/(-10) + 0)?
True
Let m = 1 + 1. Suppose -m*b = -4*h + b + 23, -2*h - 11 = 3*b. Suppose 5*y - 29 - 27 = -h*a, -3*y = 5*a - 26. Is 12 a factor of y?
True
Let l = -191 - -130. Does 29 divide -2 - l - (6 + -8)?
False
Is (-1278)/12*(2/(-3) + 0) a multiple of 23?
False
Let h(l) = 3*l - 1 + 7*l - 4*l. Let d = 0 - -3. Does 5 divide h(d)?
False
Let v(w) = -w + 6. Suppose 6*p = -51 - 21. Does 9 divide v(p)?
True
Suppose 4*v + 5*g = -35, 5*v + 22 = -0*g + g. Let k(z) = z**3 + 7*z**2 + 3*z - 1. Let x be k(v). Suppose -x = -3*c + c. Does 7 divide c?
False
Let a(p) = 6*p**3 + 4 + 0*p**3 - 4*p**2 - 2*p - 4*p**3 + 0*p**3. Is a(3) a multiple of 7?
False
Is ((-90)/54)/(1/(-69)) a multiple of 15?
False
Let u(p) = -p**3 - 4*p**2 - 7. Is u(-5) a multiple of 9?
True
Let k(o) = -2*o - o - 1 + 5*o + 2*o + o**2. Let c be 0 + -1 + 1 - 7. Does 10 divide k(c)?
True
Suppose 15 = -y + 14. Does 13 divide (5/(-15))/(y/42)?
False
Suppose 31 - 242 = -4*p - 3*j, -4*p + 3*j + 205 = 0. Let h = p + -23. Does 11 divide h?
False
Suppose -3 = 5*n + 5*f - 43, 0 = 3*f + 9. Suppose -228 = 7*m - n*m. Is 12 a factor of m?
False
Suppose 2*u + 1 = -23. Is 4 a factor of ((0 - 1) + 0)*u?
True
Let r be 15/(-3)*8/(-10). Suppose 5*p - 172 = g, r*p + 3*g + 0*g - 149 = 0. Does 17 divide p?
False
Let g(n) = -n**3 + n - 9. Does 17 divide g(-4)?
True
Let i(s) = -2*s**3 - 5*s**2 - s - 4. Does 16 divide i(-4)?
True
Suppose 2*x - 146 = -4*n, 2*x + 62 = 2*n - 14. Suppose -3*a + 6 = -3*q, -2*q = 5*a - q + 2. Suppose -v + a*v = -n. Is v a multiple of 17?
False
Suppose 0 = -4*v - 8*v + 432. Does 12 divide v?
True
Let t(k) = -6*k - 1. Suppose 0 = z + l + 9, 2*z = 3*z - 4*l - 11. Is t(z) a multiple of 10?
False
Let r be 2/5 + 608/80. Let z = r + 4. Does 10 divide z?
False
Suppose -2*f = 2*f + 4*s - 32, -35 = -4*f - s. Is f a multiple of 2?
False
Suppose -29 = -5*w - 9. Suppose w*i - 168 = 48. Does 27 divide i?
True
Let k = -23 + 59. Suppose 0*o - k = -3*o. Is o a multiple of 6?
True
Suppose 5*l - 158 = 2*x, 3*l - 5*x = 62 + 29. Does 16 divide l?
True
Suppose b + 5*c - 21 = 0, -2*b - c = 4*c - 22. Suppose f - b - 6 = 0. Let a(d) = 3*d - 5. Is 8 a factor of a(f)?
True
Let f be (-4 + 2)*36/(-8). Let s(k) = k**3 - 10*k**2 + 7*k + 11. Let c be s(f). Does 14 divide (c/(-4))/(4/32)?
True
Let r(f) = f**2 - 2*f - 2. Does 3 divide r(4)?
True
Let c = 61 - 15. Is c a multiple of 23?
True
Suppose 87 = 5*h - 2*l, -5*l = 5*h - 4*l - 99. Suppose h = -5*q + 59. Let a = 20 - q. Is 12 a factor of a?
True
Suppose 4*s = -0*s - 4. Let m be s/((-1)/3) + 1. Let i(r) = 3*r - 3. Is 9 a factor of i(m)?
True
Suppose 166 = 5*v - 3*a, 4*v + 3*a = v + 114. Is 6 a factor of v?
False
Is 3 a factor of 4*(-225)/(-36) - (0 + -1)?
False
Let d(l) = l**2 + 14*l - 14. Let q be d(-16). Suppose 0 = -4*s + 114 + q. Is 11 a factor of s?
True
Let r(k) = -2*k**2 - 2 + 14*k - 4 + k**2. Suppose 0 = -2*c + 5*w + 7, 4*w - 5*w = 4*c - 25. Is r(c) a multiple of 21?
True
Let x = -18 - -44. Suppose 2*k = -2*m - 2*m + 10, 2*m - x = -4*k. Is 7 a factor of k?
True
Let r(a) = -a - 3. Let h be r(-5). Suppose 8 - 30 = -h*n. Does 9 divide 3 + -3 - n/(-1)?
False
Is 68*(3/2)/3 a multiple of 12?
False
Let r = 4 + 0. Suppose r*t - 30 = 70. Is 9 a factor of t?
False
Suppose -82 - 16 = -2*g. Does 14 divide g?
False
Let m = 180 - 92. Is 22 a factor of m?
True
Suppose -2*n = -3*n + 8. Let f(h) = h**2 - 5*h - 8. Let m be f(6). Let y = n - m. Is 5 a factor of y?
True
Let z be -2*2*30/(-8). Suppose 2*x + 5*p = z, -4*x - 5*p + 23 = -2*p. Suppose g - x*g = -112. Is g a multiple of 12?
False
Let w(y) = 2*y - 1. Let b be w(-3). Let k(z) = -4*z - 9. Is k(b) a multiple of 19?
True
Let z(k) = k**3 + 6*k**2 + 5*k + 3. Is z(-5) a multiple of 2?
False
Let m be (1 + 1*-1)/(-2). Let c(o) be the first derivative of -o**3/3 - o**2/2 + 8*o - 6. Is 5 a factor of c(m)?
False
Let d = 31 - 20. Suppose 0 = 4*z + 1 + 3, -4*i + 48 = -4*z. Suppose 2*u = d + i. Is 5 a factor of u?
False
Let v be 2/(-5) - (-74)/10. Suppose -f + 8 = 4*f - 3*k, -9 = -4*f + 5*k. Let x = v - f. Does 6 divide x?
True
Let m(h) = -27*h + 9. Is 15 a factor of m(-8)?
True
Let q = 33 - 17. Suppose -q = -4*t + 4*o, t + 4*o + 10 = 2*t. Is 7 a factor of t/(-9) + 833/63?
False
Let z(h) = 6*h**2 - 1. Let r = 7 + -6. Does 5 divide z(r)?
True
Does 31 divide (-96)/(-28) + -3 - 3466/(-14)?
True
Suppose 0 = 2*g - 5*g - 81. Is g/((27/6)/(-3)) a multiple of 16?
False
Suppose 3*p = 3*v - 405, -2*v - 3*p = -133 - 112. Is 26 a factor of v?
True
Suppose -w = -2*p - 3 + 7, -5*w - 4*p = -36. Suppose -w*y = h - 39, -y = 5*h + y - 177. Is 8 a factor of h?
False
Suppose 5*y - 2*u = 75, -2*y = 2*y + u - 73. Is y a multiple of 4?
False
Suppose -3*p + p = -30. Does 5 divide p?
True
Suppose -7 = o - 5*n + 13, -2*o - 3*n + 25 = 0. Is 5 a factor of o?
True
Let z(t) = t + 1. Let k be z(4). Suppose j - 3*b = -k, 2*b - 5*b - 16 = -4*j. Is j a multiple of 3?
False
Let t(k) be the third derivative of k**7/2520 - k**6/144 - k**5/15 - k**4/8 - 2*k**2. Let b(r) be the second derivative of t(r). Is b(7) a multiple of 3?
True
Suppose 3*q - 3*f = q - 27, 0 = -3*q - f - 24. Let l(o) = -o**3 - 9*o**2 - o + 1. Is 3 a factor of l(q)?
False
Let t be 51/15 - (-4)/(-10). Let f(o) = -o**2 + 2*o - 2. Let a be f(t). Let w(m) = m**3 + 6*m**2 + 3*m. Does 9 divide w(a)?
False
Suppose 5*i - 35 = -0*i. Let m(y) = y + 5. Does 7 divide m(i)?
False
Let t = -28 - -39. Suppose 0 = -10*p + t*p - 60. Is 19 a factor of p?
False
Suppose -4*z = -6*c + 4*c - 14, 0 = -5*c - 15. Suppose 10 = 4*l + z. Suppose -l*s + s = -30. Is 13 a factor of s?
False
Suppose -4*k + 5 = 3*n, -k - 5*n = k + 1. Suppose 3*s = 4*j - 109, 3*j - 103 = -k*s - 0*s. Does 12 divide j?
False
Let o be 36/3*(-2 - -1). Let b = o - -7. Is 9 a factor of 3/(-5) + (-93)/b?
True
Let q(y) = 5*y - 4. Suppose 16 + 2 = 3*l. Is q(l) a multiple of 14?
False
Suppose 4*i - 2*k - 131 = -7*k, 0 = -5*i + 2*k + 139. Is 6 a factor of i?
False
Let x(u) = 6*u + 4 + 7*u + 0 - 2. Suppose 4*w - 15 = -7. Is x(w) a multiple of 14?
True
Suppose h = 1 + 2. Let k(p) = -p**3 - 7*p**2 - 7*p. Let y be k(-6). Suppose h*n - y = n. Does 3 divide n?
True
Let y(o) = -o**2 + 5*o. Let s be y(5). Does 7 divide 45/3 + 2 - s?
False
Suppose -v = z - 12, 3*z - 36 = 4*v - v. Let c = 6 + z. Does 18 divide c?
True
Let y(x) = 2 - x + 4 - 3. Suppose -5 = 2*b + 13. Does 5 divide y(b)?
False
Let r(g) = g**2 - 2*g - 2. Let w be 6/(-3) - (2 + 0). Let v be r(w). Let j = v - 14. Does 4 divide j?
True
Is (-5)/(-2)*(-1368)/(-30) a multiple of 9?
False
Suppose 3*o = -o + 8. Suppose -o*a = a - 189. Does 21 divide a?
True
Suppose 0 = 2*z + z - 18. Suppose 4*w = f + 58, -z*f + 2*f = 3*w - 53. Does 15 divide w?
True
Suppose -15 - 34 = -s. Let f = -33 + s. Is 6 a factor of f?
False
Let d = -11 - -7. Let n be (-22)/6 - d/6. Is 9 a factor of n - 32/(-1 + 0)?
False
Let r = 1 - 1. Suppose -72 = -3*o - 2*y, 5*y = -o - r*o + 24. Does 12 divide o?
True
Suppose y + 210 = 6*y. Is y a multiple of 6?
True
Let g be (6/(-12))/(2/12). Let m be g*2/(-6)*1. Suppose -3*o + 23 + m = 0. Does 3 divide o?
False
Let w(m) be the first derivative of m**4/4 - 5*m**3/3 + 2*m**2 - 4*m + 2. Let l be w(3). Is l/(3/(-2) + 1) a multiple of 7?
False
Let d = -5 - -9. Is d a multiple of 4?
True
Let o be (-24)/(((-8)/6)/2). Suppose -256 - o = -4*m. Suppose 4*r - i - 57 = 0, -5*r - 5*i + 17 + m = 0. Does 6 divide r?
False
Let n be 15/(-20)*-1*4. Let f = n + -7. Is ((-10)/(-15))/(f/(-78)) a multiple of 7?
False
Is ((-63)/28)/(2/(-208)) a multiple of 39?
True
Is 5 a factor of 3/(-2)*258/(-9)?
False
Suppose 4*o - 170 = 2*w, 215 = 5*o - w - 2*w. Does 40 divide o?
True
Let t = 1 - -5. Is t even?
True
Suppose -10*f + 480 = 2*f. Is 16 a factor of f?
False
Is 1 + 2*(-2)/(-1) a multiple of 2?
False
Does 23 divide 6/8 + (-6855)/(-60)?
True
Is (-16)/6*117/(-12) a multiple of 3?
False
Suppose 0 = -5*j - 1 - 4. Is (j/(-2))/(11/44) even?
True
Let g be 3652/(-55) + (-6)/10. Let i = g + 172. Do