 + 23 = 0, 5*m - 3*m = 4*g + o. Is m a multiple of 5?
False
Let a(q) = 22*q**2 + q. Let l be a(1). Suppose 3*x + 26 = 2*y, -4*y - y - 2*x = -27. Let r = l + y. Is r a multiple of 13?
False
Suppose -9*m + 11*m = 130. Is 7 a factor of m?
False
Let i be 3/2*88/(-6). Let s = i + 12. Let q = 34 + s. Is 9 a factor of q?
False
Let r = 25 - 11. Suppose -6 = 3*a + 3*c, -a + 2*c = 4*a - 4. Suppose 2*w - r - 28 = a. Is 8 a factor of w?
False
Suppose 2*p + 144 = 386. Is 35 a factor of p?
False
Let y be (-10)/(-4)*8/10. Is (4/8)/(y/216) a multiple of 21?
False
Suppose -2*t + h + 17 + 5 = 0, 3*t + 5*h = 33. Does 11 divide t?
True
Let p be 1/(-1)*(4 + -1). Let k be ((-5)/p)/5*-15. Let f = k - -19. Does 6 divide f?
False
Let q(z) = z**2 - 3*z. Let c be 9/(-15)*(-5)/1. Let s be q(c). Suppose a - 5*i - 2 = s, a + a - 32 = -4*i. Is a a multiple of 6?
True
Suppose 199 = 6*a - 629. Does 6 divide a?
True
Let y(k) = -2*k - 5. Is y(-6) even?
False
Let d(k) = 18*k**3 - 5*k**2 + k - 4. Let r(m) = 17*m**3 - 4*m**2 - 3. Let f(b) = 2*d(b) - 3*r(b). Is f(-1) a multiple of 16?
True
Suppose -2*o = t + 3*t - 30, 13 = o + t. Is (-1 - 2) + o + 40 a multiple of 16?
True
Suppose 3*w = -4*o, 0 = -2*o + 3*o - w. Suppose -2*q + 5*q - 9 = o. Suppose 3*l - q*u = 5 + 1, 0 = 5*l - 3*u - 18. Is l a multiple of 4?
False
Let a(b) = 2*b + 8. Let k be a(-6). Is ((-2)/k)/((-1)/(-48)) a multiple of 11?
False
Let u(m) = m**2 + 3*m + 3. Let h be u(-2). Let o be h*-2 + -2 + -1. Is (-8)/5*o/2 a multiple of 2?
True
Let u(z) = -246*z - 6. Is u(-1) a multiple of 24?
True
Suppose 3*s - 11 = -2*m, s + 0*m = -2*m + 9. Suppose 4*p - 19 = s. Is (2 - -8)*p - 3 a multiple of 17?
False
Let y = 7 + -9. Let f be 3/(-9) + y/(-6). Suppose f*s + 4*k + 27 = s, 0 = -4*k + 16. Is 11 a factor of s?
False
Let g = 36 + 27. Does 21 divide g?
True
Suppose 4*x - 119 = -5*b, 2*x = 4*b + b + 97. Is 10 a factor of x?
False
Let b(p) = -3*p - 24. Is 7 a factor of b(-11)?
False
Let a be -2 - 2*-4 - -2. Suppose r - 2*f + 0*f - a = 0, f = 2. Is 6 a factor of r?
True
Let w be (-704)/2*3/6. Let i = 44 - w. Is i/12 - (-2)/3 a multiple of 7?
False
Suppose 125 - 945 = -4*c. Is 18 a factor of c?
False
Suppose 0 = 2*m - w + 3*w - 14, -5*m + 3*w + 11 = 0. Suppose -3*z = 3*u - 111, m*u + 177 = 5*z - 17. Does 11 divide z?
False
Suppose 0 = d + 2*x - 4, -4*d + 2*d + 3*x + 1 = 0. Let y = d - 2. Let r(l) = -l**2 - l + 5. Is r(y) a multiple of 5?
True
Does 11 divide 17/((-3 + 4)/2)?
False
Let v(z) = 4*z**3 - z**2 - z - 2. Let d = 2 - 1. Let k = d - -1. Does 10 divide v(k)?
False
Suppose -246 = -5*a + 34. Is 14 a factor of a?
True
Suppose 0 = g - 0 - 1. Let b(j) = 50*j - 1. Is b(g) a multiple of 31?
False
Let j(d) = -7*d + 7. Let w(l) = l - 1. Let f(p) = j(p) + 6*w(p). Let i be f(-3). Suppose -110 = -i*k - o, 104 = 5*k + 4*o - 28. Is k a multiple of 12?
False
Let m(a) = 11*a + 5*a**2 + 3 - a**3 + 0*a**3 + 9*a**2 + 2*a**3. Is 5 a factor of m(-13)?
False
Suppose 2*q - 9 = 7. Suppose -2*r + 2*k + 21 = -k, 4*r + 4*k = -q. Suppose 68 = 2*m - r*l, 0 = 4*m - 5*l + 3*l - 136. Does 17 divide m?
True
Suppose -3 = 2*h - 9. Let c(z) = z + 0*z + 0 - 1. Is 2 a factor of c(h)?
True
Let y(v) = -64*v - 9. Let i(j) = -16*j - 2. Let k(h) = 26*i(h) - 6*y(h). Let t be k(-4). Suppose t = 6*g - g. Is 13 a factor of g?
True
Suppose 8*t - 2 = 7*t. Is ((-16)/24)/(t/(-72)) a multiple of 13?
False
Let b = 69 + -40. Is 9 a factor of b?
False
Let v(q) = 11*q + 0 + 0*q**2 - 5 - q**2 - 4. Does 4 divide v(8)?
False
Let z = 71 - 42. Let n = z + -17. Is n a multiple of 4?
True
Let i(q) = 2*q + 26. Is i(-9) a multiple of 8?
True
Suppose 11*u - 1181 = 1129. Is u a multiple of 14?
True
Suppose -3 = 5*z - 3*p, -5*z = -5*p + p + 4. Let q = z + 7. Does 4 divide q?
False
Does 4 divide 3 + 35 + 3 + -2?
False
Let u = -6 - 4. Suppose 0 = -y + 22 + 40. Is 2/(-10) - y/u a multiple of 4?
False
Let g = -1 + 3. Suppose 4*p - 15 = u, -g*p + 3*u + 13 = 2*p. Is 6 a factor of 3/(-6) + 50/p?
True
Let c(b) = b**3 + 8*b**2 + 6*b - 7. Suppose 6 = -2*a - 8. Let n be c(a). Suppose 4*w = -v + 97, -2*w + 3*w - 4*v - 3 = n. Is 19 a factor of w?
False
Let c(w) = 3*w**2 + w + 8. Does 8 divide c(5)?
True
Is 31 a factor of 109/1 - (-1 - -3)?
False
Let m(z) = 2*z**2 - 2*z - 2. Let s(w) = -2*w - 13. Let b be s(-9). Let p be m(b). Suppose 25 = -5*v, 5*t - 5*v - p - 192 = 0. Is 17 a factor of t?
False
Suppose 2*r - 204 = -4*l, 3*r + 19 = -l + 65. Is l a multiple of 9?
False
Suppose k + k - 8 = 0. Is (-1 + k)/(3/34) a multiple of 17?
True
Let p(n) = 7*n**2 - 4*n**2 + 2*n**2 + 7. Is 26 a factor of p(-3)?
True
Let u(t) = 3*t + 2. Let y be u(2). Let o(a) be the third derivative of a**6/120 - 2*a**5/15 + a**4/24 + 11*a**3/6 - 7*a**2. Does 11 divide o(y)?
False
Let c(l) = -4*l - 26. Is c(-11) a multiple of 9?
True
Let s(n) = -n**2 + n + 1. Let g be s(3). Let z be g/(2*(-1)/2). Suppose 5*v - 42 = -4*p, 5*p - v = -z*v + 48. Does 8 divide p?
True
Let c = -210 - -93. Let o = -60 - c. Does 13 divide o?
False
Let y(d) = -d**2 + 16*d. Let m be y(11). Let h = -11 + m. Is 14 a factor of h?
False
Let j = 3 - 0. Let d(c) be the third derivative of c**4/4 - c**3/2 - 4*c**2. Does 15 divide d(j)?
True
Let u be 1 - -1 - (16 - 2). Let y = u + 18. Is 6 a factor of y?
True
Let d = 0 + 4. Suppose 2*g + d*p - p - 7 = 0, -4*p = 3*g - 11. Suppose -29 - 1 = -g*j. Is 3 a factor of j?
True
Suppose -f - 3*f = 3*i - 43, 5*f - 3*i - 74 = 0. Let v(m) = 14*m + 19*m - f*m - 1. Is v(1) a multiple of 19?
True
Suppose 2*o + 3*o - 444 = -2*m, 2*m - o - 444 = 0. Is m a multiple of 14?
False
Suppose t - 5*j = -27, 0*t + j = -4*t - 3. Is 19 a factor of (-80)/(-2)*1 + t?
True
Suppose 3*n = 2*n - 17. Let h = n + 56. Is h a multiple of 13?
True
Let d(f) = -f + 11. Let x be d(8). Let j = x - 6. Does 16 divide -5*(48/(-10) + j)?
False
Let g(i) = -i**2 - 7*i - 5. Let n(p) = -p**3 + 2*p**2 - p - 2. Let v be n(2). Let u be g(v). Does 4 divide (-18)/(-2) + u + -8?
True
Suppose 0 = -4*z + 2 + 6. Suppose 1 = z*r - 5. Is 3 a factor of r?
True
Let x = 197 + -25. Does 22 divide x?
False
Suppose 5*q - 3545 = -f, -4*q + f - 713 = -5*q. Suppose p + 2*p = -q. Does 13 divide p/(-6) + 3/(-9)?
True
Let s(z) = 3*z**2 - 2*z + 8. Is 12 a factor of s(4)?
True
Suppose -2*r + 176 = 3*m, -191 = -3*m - 0*m + r. Is m a multiple of 7?
False
Does 20 divide (2 + 17)/(2/10)?
False
Is 24 a factor of (605/(-10))/((-1)/2)?
False
Let g(d) = -47*d + 1. Suppose -5*o - 9 - 1 = 0. Let j be g(o). Suppose -3*r - 2*r = -j. Does 14 divide r?
False
Suppose 10 = 3*q - 11. Let a(j) = 2*j**2 - 6*j - 10. Does 23 divide a(q)?
True
Let j(s) = 8 + 0 + s**3 + 5*s + 7*s**2 - 2. Is 5 a factor of j(-6)?
False
Suppose 0*j + 4*j = 32. Suppose 4*d = -2*b + j, 2*b - 2*d = 3*d - 1. Does 12 divide (-1412)/(-36) - b/9?
False
Let b(p) = 6*p**2 - 5*p - p**3 + 3 + 5*p**2 + 7. Is b(10) a multiple of 16?
False
Let j(m) = -m + 1. Let g be j(0). Let v(s) = 2*s**2 + s. Let t be v(g). Suppose -r = -7 + t. Is r a multiple of 4?
True
Let u(d) = 5*d**2 + 4*d + 8. Let t be u(-6). Suppose 46 = 2*p - t. Suppose 4*c = 3*v + p, 3 = c - 3*v - 30. Is 10 a factor of c?
False
Let f(c) = c**3 + 8*c**2 - 2*c - 4. Let v(t) = -60*t. Let k be v(1). Let d be (4/10)/(3/k). Does 6 divide f(d)?
True
Let b be (2 - 1)/(4/12). Let r be 26/(((-3)/(-5))/b). Suppose r = 5*f + 20. Is f a multiple of 11?
True
Let y = -34 - -20. Let c = 28 + y. Does 5 divide c?
False
Let z(c) = -28*c + 1. Let x(m) = -4*m**2 + 2*m - 1. Let a be x(1). Is 20 a factor of z(a)?
False
Suppose 0 = -0*x - 5*x + 10. Suppose -i = y - 3*i - x, -2*y + 4 = 3*i. Is 8 a factor of 22 - ((-8)/2 + y)?
True
Let y be 1 + 3/(3/1). Suppose 27 + 29 = y*f. Does 28 divide f?
True
Suppose 10*h = 8*h + 18. Is h a multiple of 9?
True
Suppose 2*v + 10 = -3*v. Let f(m) = -7*m - 2. Does 6 divide f(v)?
True
Suppose 7*h + 10 = 2*h, -4*z + 4*h + 228 = 0. Is z a multiple of 17?
False
Let k = 31 + -52. Let j = -13 - k. Does 8 divide j?
True
Suppose -5*v - 16 = -v. Let z = 6 + v. Is 9 a factor of z/(-4) + (-222)/(-12)?
True
Suppose -2*c + 176 = -0*c. Suppose c = -4*y + 5*y. Is y a multiple of 14?
False
Let z be 35/14*(-8)/10. Is (-1736)/(-48) + z/12 a multiple of 12?
True
Let z = 20 - 12. Let a = z + 0. Does 3 divide a?
False
Is (-744)/(-104) + (-4)/26 a multiple of 7?
True
Let g(b) = 5*b**2 - 8*b + 13. Let