 = s + 5*m. Does 27 divide s?
False
Suppose 5*m - 2*c - 46 = 0, 6 = -c - c. Suppose 0 = 2*x + 2 + m. Let y(j) = j**2 - 7. Does 10 divide y(x)?
False
Suppose 33 = 3*t + 12. Suppose 144 = -t*n + 9*n. Is 26 a factor of n?
False
Suppose 420 = 11*w + w. Is 5 a factor of w?
True
Let z = -114 - -161. Does 6 divide z?
False
Let w(m) = -m**2 + 6*m - 5. Let x be w(4). Suppose -2*b - 20 = x*b. Let y = b - -8. Is y a multiple of 3?
False
Suppose 2*i - 3*i + l + 37 = 0, 3*i = -5*l + 127. Is i a multiple of 15?
False
Suppose 0 = r - 1 + 5. Let y(g) = 20*g - 1. Let v be y(1). Let a = r + v. Is a a multiple of 15?
True
Let a(j) = j**3 + 4*j**2 - j + 4. Let l be (0 - -2) + (-6 - 0). Is a(l) a multiple of 8?
True
Suppose 3*y + l = -l + 54, 0 = -5*y - 2*l + 90. Let z = 26 - y. Does 8 divide z?
True
Suppose 22 = 5*z - 18. Does 6 divide z?
False
Let m(t) = 4*t**2 - 3*t + 1. Let g be m(-3). Let y = g - 18. Is y a multiple of 14?
True
Suppose f + 2*k = -3*k + 56, -3*k - 88 = -f. Is f a multiple of 6?
False
Let k(n) = -n**3 - 3*n**2 - 4*n + 6. Let s(m) = m**3 + 2*m**2 + 3*m - 5. Let j(l) = 4*k(l) + 5*s(l). Let q be j(2). Let v(y) = -2*y + 3. Is 9 a factor of v(q)?
True
Let q(a) = a**3 + 8*a**2 + 2*a - 15. Does 9 divide q(-7)?
False
Let q = -15 + 6. Let d = 4 + q. Does 7 divide 1/(-3)*(d + -58)?
True
Let y be -5 - (3 + -1 + -1). Let o(h) = h**2 + 2*h - 4. Is 10 a factor of o(y)?
True
Suppose 5*x = -3*n + 7*n - 3, 5*n = 4*x + 6. Suppose -2*z + 44 = n*z. Is z a multiple of 5?
False
Let t = 172 + -113. Let m = 48 + -13. Let b = t - m. Does 11 divide b?
False
Let c be (-2)/(-4) - 12/(-8). Suppose -c*h - 11 = 13. Is 7 a factor of 16/h*(-27)/2?
False
Suppose 0 = -11*f + 151 + 223. Does 17 divide f?
True
Let m = 18 - -6. Does 12 divide m?
True
Let w(q) = q**3 + 4*q**2 - 3*q - 2. Suppose -5*r = -3*r + 8. Let i be w(r). Suppose -5*f = -3*u + 62, -2*u + f = -3*u + i. Is 5 a factor of u?
False
Let w(r) = 25*r**3 - r**2 + 2*r - 2. Is 24 a factor of w(1)?
True
Let r(h) = h**2 - 3*h - 1. Let p be r(4). Does 11 divide (-31)/(-1) + (p - 2)?
False
Suppose 0*j = j, -5*x - 5*j = -325. Let o = x - 32. Is o a multiple of 11?
True
Let a(i) be the second derivative of i**3/3 + 9*i**2/2 + 3*i. Does 27 divide a(9)?
True
Let x = 5 + -2. Suppose -x*w = -101 + 26. Let s = -1 + w. Is 24 a factor of s?
True
Let f be (12/8)/(3/26). Suppose -f*h = -16*h + 27. Does 9 divide h?
True
Suppose 6*b - 260 = b. Is 13 a factor of b?
True
Let f = 41 + 36. Is f a multiple of 20?
False
Is 13 a factor of (-24)/(-16)*(-52)/(-3)?
True
Suppose 4*p = 0, p - 165 = -5*g - 0*p. Let f = g + -23. Does 10 divide f?
True
Let k(x) = 4*x**2. Is 16 a factor of k(-2)?
True
Is 148/5 - (99/15 + -7) a multiple of 10?
True
Let g be (20/16)/((-3)/(-12)). Let d = g - -8. Is d a multiple of 8?
False
Is 4 a factor of (-9)/6 - 279/(-18)?
False
Let m = -11 + 15. Let x be 3/6 + 58/m. Let q = x - 10. Is 2 a factor of q?
False
Is (-4 - 0/1)*-5 a multiple of 10?
True
Let n(p) = -p**3 + 3*p**2 + p + 1. Let f(j) = -j**3 + 7*j**2 + 7*j + 10. Let l be f(8). Does 7 divide n(l)?
True
Let i = 9 + -8. Let t = 22 - i. Is 10 a factor of t?
False
Let l be (-3)/(0/3 - 1). Suppose -l*t + 2 = 3*v - 1, 0 = v + 3. Is t even?
True
Let h(k) = -k**2 + 5*k - 4. Let n be h(4). Let l(g) = -g**2 + g + 13. Is 13 a factor of l(n)?
True
Let f be (3/(-2))/(9/(-1416)). Let y = -129 + f. Suppose b + a - 2*a = 23, 5*b - y = a. Is b a multiple of 8?
False
Is 39 a factor of ((1 + -430)/1)/(-1)?
True
Suppose 0 = -14*w + 18*w + 16. Is 6 a factor of (-2)/w*(-48)/(-2)?
True
Let f be 80/(-25)*(-1 + -9). Suppose -o = 3*k - f, 2*k - 34 + 2 = -o. Is 31 a factor of o?
False
Let w = -11 + 5. Let m = w + 48. Does 21 divide m?
True
Let k = -48 - -138. Let p = k - 46. Suppose s - p + 0 = 0. Is 22 a factor of s?
True
Let f(z) = z**3 - z**2 - 133. Let d be f(0). Let h = -89 - d. Suppose p - h = -p. Does 11 divide p?
True
Let k be -4 - (0/2 + -1). Let y = 0 - k. Suppose y*x - 49 = -g, 0 = -4*x - 3*g + g + 68. Is x a multiple of 10?
False
Suppose 0*m + 1 = m. Does 22 divide -1 + 1 + 45/m?
False
Let t(m) = 9*m + 1. Let k be t(-5). Suppose 2*d + d = -72. Let r = d - k. Is r a multiple of 7?
False
Suppose 178 = 7*j - 207. Does 12 divide j?
False
Let x = -19 - -1. Let p = -10 - x. Is 7 a factor of p?
False
Suppose 66 = 2*b + b. Is b a multiple of 11?
True
Suppose 3*a - 18 = -p, -5*a - 5*p - 23 + 63 = 0. Is 7 a factor of 4*(65/4)/a?
False
Let h(a) = -a - 2. Suppose 0 = 6*m - m + 2*r + 20, 8 = -2*m - 2*r. Let b be h(m). Does 6 divide 4/b + 2 + 2?
True
Let s be (1 + (-15)/(-3))*1. Let c be 2/s + 10/6. Suppose -c*m - 2*m + 104 = 0. Does 14 divide m?
False
Let g = 11 - -9. Suppose h + 4*h - g = 0. Is 4 a factor of 8*((-2)/h - -1)?
True
Let d(f) = 2*f**2 - 11*f - 4. Let h be d(8). Suppose 5*k - h = 54. Is k a multiple of 9?
True
Suppose -2*p - 11 = a + 4*a, p - 2 = 5*a. Is p/(-6) - (-171)/6 a multiple of 8?
False
Let b(t) = -8*t + 1. Let v be b(1). Suppose 0 = 5*s + 25, 4*s - 34 = 5*g + 16. Let p = v - g. Is 5 a factor of p?
False
Let c = -212 - -299. Let o = c - 47. Is o a multiple of 10?
True
Suppose 327 = 5*b - r, 2*b + 3*r - 122 = -r. Suppose 0 = -5*n - 0*n + b. Is n a multiple of 5?
False
Let l(b) = -b + 17. Suppose 4*i = 3*w - 20, 5*i + 2 = -2*w - 0. Suppose 0*c = -w*c. Is 8 a factor of l(c)?
False
Let n be 0/((0 - -1)/1). Let y = -11 + 8. Is 7 a factor of (y - n) + -10 + 27?
True
Let q = 5 + -5. Suppose q = d - 2*b - 4, 5*d - b - 33 - 32 = 0. Is 7 a factor of d?
True
Let x = 68 - 44. Is x a multiple of 12?
True
Let k(u) = -u**2 + 10*u - 4. Let q(g) = g - 1. Let v be q(5). Is k(v) a multiple of 20?
True
Let r be 2 + 0 + -2 + 4. Suppose 0 = r*h + 3*z - 29, 0 = -3*h + 3*z - 2 + 8. Suppose 50 = 4*a + h*g - 2, 2*a = g + 12. Is a a multiple of 4?
True
Let l(f) = f**2 - 13*f + 7. Is l(-7) a multiple of 21?
True
Let v = 0 - -6. Suppose 10 + 15 = 5*j + 5*h, 5 = -5*j + 5*h. Let y = j + v. Is 5 a factor of y?
False
Suppose -z + 8 = b - 48, -4*z + 4*b = -248. Is z a multiple of 24?
False
Suppose -o - 243 = -4*o. Does 27 divide o?
True
Is 3 a factor of (36/(-30))/((-3)/40)?
False
Suppose 0 = -5*l - 12 + 37. Let t(u) = -2*u + 5*u - 2*u + 3 + l. Does 6 divide t(0)?
False
Let y be 2/2 + -2 + 1. Suppose -2*b + 12 - 4 = y. Suppose -b*w = -w - 33. Is w a multiple of 11?
True
Let c = 11 - 6. Suppose -l = -31 + c. Does 16 divide l?
False
Does 21 divide 4/((-8)/(-3))*4*13?
False
Let p be 11/9 - (-8)/(-36). Does 6 divide p/((-4)/(-68) - 0)?
False
Let p = 61 + -85. Let i = 53 + p. Suppose -3*s = -5*s - 5*z + 19, 4*z = s - i. Does 5 divide s?
False
Let a(h) = h**3 + 11*h**2 + h + 5. Let l be a(-10). Let b = -57 + l. Is b a multiple of 14?
False
Let z(v) = 2*v - 17. Is z(12) a multiple of 3?
False
Let s = -31 - -58. Does 15 divide s?
False
Let o(p) = 4*p - 2. Let m(h) = 2*h - 5. Let k be m(4). Is 4 a factor of o(k)?
False
Let i(w) = -6*w**3 - 4*w**2 + 5*w**2 + 4*w**3 - w. Is i(-2) a multiple of 11?
True
Suppose -5*x + 2*n = -n - 2, 28 = -4*x - 5*n. Let j be 38/2 + 6/x. Suppose f + f = j. Is 8 a factor of f?
True
Let n = 1 - 0. Let a = 4 - n. Suppose 3*p + 5*x = 29, -3*p + a*x + 69 = -0*p. Does 8 divide p?
False
Suppose -3*b + 5*f = -2*b + 22, 10 = 5*b + 5*f. Let c = -7 + b. Let w(q) = -q - 4. Is w(c) a multiple of 2?
False
Let q = 16 + -11. Suppose -3*j = 2*p - 5*p + 36, -4 = 2*p + q*j. Does 8 divide p?
True
Let g = 111 + -99. Is g a multiple of 6?
True
Suppose 3*n + t - 14 = 11, 5*n - 3*t = 37. Suppose l + 4 = 3*d - 0, -4*d = -n. Suppose 30 = 2*y + 3*u, 0 = 5*y - 4*y + l*u - 14. Is 9 a factor of y?
True
Let s be 2*(-4)/8 + 1. Suppose -4*g + g + 63 = s. Does 12 divide g?
False
Suppose 3*r - 20 = -r. Is 2 a factor of r?
False
Let m(s) = 2*s**3 - 14*s**2 + 3*s + 9. Let r be m(7). Let b(j) = -j + 13. Let w be b(0). Suppose a + 5*q - r = -3*a, 0 = a + 4*q - w. Is 3 a factor of a?
False
Let b(f) = -f**2 + 6*f - 1. Let l(o) = -3*o**2 + 19*o - 2. Let t(g) = -11*b(g) + 4*l(g). Let w be t(7). Let v = w - 13. Does 11 divide v?
True
Suppose -3*p + 3*n = -45, n - 16 = -3*p + 49. Is p even?
True
Does 8 divide (-652)/(-20) + 2 + 8/20?
False
Let d(g) be the third derivative of 0 + 1/3*g**3 - g**2 + 0*g - 1/4*g**4. Does 9 divide d(-5)?
False
Suppose -z = z + 5016. Let y be 2/7 + z/(-42). Suppose -5*a = -10*a + y. Is 12 a factor