 Does 13 divide m?
False
Let h = 60 - 17. Is h a multiple of 23?
False
Let g = 11 + -9. Suppose -4*y = g*h - 28, -4*h + 6*h + y = 16. Does 2 divide h?
True
Suppose -2*m + 2*t - 222 = 0, -4*m + 5*m - 5*t = -131. Let u = 166 + m. Does 20 divide u?
True
Let y(a) = 2*a + 1. Let k be y(-3). Let l = 19 - k. Suppose 2*n - 60 = l. Does 17 divide n?
False
Let o(j) = -3*j + 5. Let v(z) = z**2 - 6*z + 10. Let i(f) = -7*o(f) + 3*v(f). Let y(s) = s**3 - 8*s**2 + 6*s + 3. Let u be y(7). Is i(u) a multiple of 11?
False
Let r be -5*((-26)/5 + 2). Let f = -29 + r. Is -15*(1 + f/3) a multiple of 25?
True
Suppose -4*c - 213 + 1663 = 5*v, 5*c - 1450 = -5*v. Is v a multiple of 28?
False
Suppose 0 = -0*n + 3*n - 18. Suppose 4*w + 48 = 2*b, -w - 3 = -b - n*w. Is b a multiple of 5?
False
Suppose 5*m + 33 = 4*d, -2*m - 6 = d + 2. Is d even?
True
Let o = 263 - -7. Is 54 a factor of o?
True
Let h(p) = 50*p + 4. Let d be h(1). Suppose a + 3 = 2*a. Suppose 0 = a*u - u - d. Does 10 divide u?
False
Let t(s) = 5*s**2 + s. Let u be t(-1). Let j be (-225)/(-3)*u/6. Suppose -2*z - z + 4*f + 44 = 0, j = 3*z + 2*f. Is 9 a factor of z?
False
Let k be (32/24)/(2/9). Suppose k*q - 11*q + 470 = 0. Does 25 divide q?
False
Let a = 22 + -11. Suppose 11 + a = c. Does 22 divide c?
True
Suppose -3*g + 144 = -57. Let n = 97 - g. Is 15 a factor of n?
True
Suppose -5*d + 2*d + 405 = 0. Suppose -w - d = 4*w. Let s = w + 51. Does 13 divide s?
False
Let r(f) = f**2 + f + 4*f + 5 + f. Let s be r(-5). Suppose s = -2*t - 3*t + 100. Is 9 a factor of t?
False
Let v(j) = j**2 + j - 2. Does 18 divide v(7)?
True
Let k = 601 - 419. Is k a multiple of 14?
True
Suppose 0 = -z - 2*o + 23, 0*z - o - 31 = -2*z. Let p = -10 + z. Is 4 a factor of p?
False
Suppose 0 = 3*f + x - 86, -4*x + 22 + 14 = f. Does 7 divide f?
True
Let r(k) = 6*k - 2. Let x(t) = -9*t + 3. Let c(y) = 3*y - 1. Let o(v) = 8*c(v) + 3*x(v). Let z(p) = -5*o(p) - 2*r(p). Is z(3) a multiple of 4?
True
Let n(f) = 27*f**2 + f - 2. Is 26 a factor of n(1)?
True
Let d = 35 - 25. Let k = d + -4. Does 4 divide k?
False
Let g = 75 + -30. Is 9 a factor of g?
True
Let t be (-2)/(3 + 652/(-216)). Let d(p) = -3*p - 3. Let r be d(-2). Suppose -t = r*y - 6*y. Is y a multiple of 13?
False
Let b(i) = i**2 - 7*i - 6. Let j(m) = -m**2 + 7*m + 6. Let a(v) = -4*b(v) - 3*j(v). Does 6 divide a(6)?
True
Let h(c) = 7*c**2 - 3*c - 11. Let l(j) = -4*j**2 + j + 6. Let y(i) = 3*h(i) + 5*l(i). Let r be y(5). Suppose 9 = -r*t - t, 4*t + 108 = 3*m. Does 12 divide m?
False
Suppose 0 = 4*j - 7*j + 2*k + 21, 4*k = 2*j - 14. Let f = 1 - -15. Let o = f - j. Is o a multiple of 5?
False
Let g = 2 + 0. Suppose 99 + 43 = 5*p - 4*c, -g*c + 34 = p. Does 10 divide p?
True
Let m(u) be the first derivative of u**2/2 - 4*u - 2. Let a be m(-4). Let l = a + 12. Is 4 a factor of l?
True
Let p(x) = x**2 + 11*x + 12. Let d be p(-11). Let g = d + 8. Is 7 a factor of g?
False
Suppose 180 = -0*a + 4*a. Is a a multiple of 19?
False
Let f = 344 + -197. Is 41 a factor of f?
False
Let z(u) = -u - 5. Let i be z(-5). Suppose 2*o - 80 = -5*g, -3*g - o = -i*o - 47. Is g a multiple of 5?
False
Let a = -36 + 25. Let n be (-174)/(-9) - (-2)/3. Let v = a + n. Does 9 divide v?
True
Let f = 29 + -8. Let i = f - 5. Does 8 divide i?
True
Let y = 4 + 6. Suppose -3*s - 2*s = -y. Suppose -s*j + 6 = -j. Does 5 divide j?
False
Is 22 a factor of (-1 - (-29)/(-7))*(-1078)/21?
True
Suppose -2*p + 3 = 5*x, 0*p + 3*x = -5*p + 17. Suppose 0 = 2*t - 2*j - 30, -4*j = -2*t + 47 - 9. Let y = t - p. Is 7 a factor of y?
True
Let b = -20 + 26. Suppose b = p - 3. Is p a multiple of 3?
True
Suppose 4*w = 5*z + 41, -3*w = -4*z - 0*z - 30. Is w a multiple of 5?
False
Let v be 39/1 - 3/3. Suppose -b - 2*d - d + v = 0, -d = -2*b + 69. Is 13 a factor of b?
False
Let k be 40*(-2 + 176/20). Suppose 0 = 3*g - 3, 2*g - k = -3*l + 3*g. Does 20 divide l?
False
Suppose h = 3*r + 27, -r = 3*r. Does 7 divide h?
False
Suppose 175 + 73 = 4*u. Does 29 divide u?
False
Suppose 0 = 4*k - 8, 5*i - 5*k = -4*k + 13. Suppose -4 = 3*m - i*l + 7*l, -4*m + 5*l = -36. Let n = 20 + m. Is n a multiple of 12?
True
Let c(o) = o**3 - 8*o**2 + 2*o + 2. Does 7 divide c(8)?
False
Let b = -9 + 5. Is (90/20)/((-2)/b) a multiple of 8?
False
Is 13/(273/90)*7 a multiple of 14?
False
Let p = 138 + -271. Let x = -89 - p. Does 17 divide x?
False
Let w(a) = -a**3 - 7*a**2 - 8*a - 5. Suppose 5*p = -3*l - 5, 10 = -3*l - l - 5*p. Let s = -11 - l. Is 7 a factor of w(s)?
True
Let f be (1 - 1)/(2 - 1). Suppose 4*l + 2*h - 9 = 23, f = -5*l - 5*h + 50. Suppose -2*a = 4*g + 13 - 91, 0 = -2*a + l. Is 8 a factor of g?
False
Suppose 2*x + 5 = 11. Is -1*(x - 0) + 24 a multiple of 7?
True
Let u(r) be the third derivative of -r**4/12 + r**3/6 + 2*r**2. Let a be u(-5). Let d = 15 - a. Is 4 a factor of d?
True
Is 15 a factor of 2*31 - (6 - 8)?
False
Suppose 2*i - 2 = 2. Suppose 8*q - 234 = i*q. Does 22 divide q?
False
Suppose -m + 4*k - 13 = -73, 0 = -4*m + 5*k + 262. Is m a multiple of 34?
True
Let u = -23 + 47. Is u a multiple of 7?
False
Suppose -4*s + 169 = v, 2*v + 2 = 4. Is s a multiple of 14?
True
Let p(o) = o**2 + 10*o + 11. Let k be p(-8). Let c be (4/k)/((-2)/(-5)). Does 9 divide c/((-2)/44*4)?
False
Let n = 162 + -102. Suppose -2*x + 7*x = n. Is x a multiple of 4?
True
Let s = 5 - 5. Suppose 0 = 2*o - 8. Suppose 3*i - o = -v, 2*v - i - 36 = -s*v. Does 8 divide v?
True
Let y(b) = -b**2 + 4*b + 1. Let l be y(-4). Let n = 63 + l. Suppose -x = 6 - n. Does 12 divide x?
False
Let y(r) = -r**3 + 4*r**2 + 3*r. Let j be y(4). Let o = 21 - j. Is o a multiple of 9?
True
Let b = -92 - -154. Is 14 a factor of b?
False
Let t be (62/5)/(7/35). Suppose t = m - 34. Suppose -k = 2*k - m. Is 13 a factor of k?
False
Let y be 4/14 + 44/(-7). Does 3 divide ((-2)/y)/((-11)/(-198))?
True
Let a be (-2)/(-1)*1 + 1. Suppose -t + 4 = 8*n - a*n, -3*n = -5*t + 20. Let f = 25 - n. Is f a multiple of 16?
False
Suppose -s + 4*g - 3 + 16 = 0, 3*s + 25 = -4*g. Let z(t) = -2 + 2 + 1 - 2*t. Is z(s) a multiple of 4?
False
Is 3 a factor of 0/(-2) + -4 + 52?
True
Let q(p) = -p**3 + 7*p**2 + 6*p + 12. Is 27 a factor of q(7)?
True
Let v(t) = -t**3 + 7*t**2 - 4*t - 7. Let n be v(6). Suppose n*k = 5*y + 35, 0*y = 3*y + 3*k + 9. Let z(c) = -4*c - 6. Does 11 divide z(y)?
False
Let i(t) = -t**2 + 8*t + 10. Let r be i(9). Let f(n) be the first derivative of 17*n**4/2 - 2*n**3/3 + n**2/2 - 2. Is 14 a factor of f(r)?
False
Suppose 2*c + 2*m - 10 = -0*c, 2*m - 3 = -c. Let p(i) = -i**3 + 7*i**2 + i - 5. Is p(c) a multiple of 2?
True
Let q be 1 - 2 - (-1 + -1). Let t be (q + 1/2)*6. Suppose -54 = -3*y + t. Does 21 divide y?
True
Suppose -2*x + 16 = 4. Let h be (12 + 6)/(x/(-40)). Let b = -85 - h. Is 13 a factor of b?
False
Let w = -729 + 1037. Is w a multiple of 44?
True
Let s(v) be the third derivative of v**4/12 + v**3/3 + 2*v**2. Let y be (-16)/(-6) - (-1)/3. Does 8 divide s(y)?
True
Suppose 0 = 2*x - x + 14. Let i(c) = -c + 20. Does 17 divide i(x)?
True
Does 30 divide ((-2)/(-12)*398)/1*3?
False
Suppose 3*h - 8*h + 60 = 0. Is 3 a factor of h?
True
Suppose -5*q + 39 = -2*q. Does 3 divide q?
False
Let i(c) = 27*c. Let g be i(-1). Let s = -2 - g. Suppose -3*t + 79 = s. Is 9 a factor of t?
True
Suppose 0 = 5*i - 4*z - 196, 116 = 3*i - 5*z + 3*z. Let c = i + -21. Does 15 divide c?
True
Suppose -4*o = 2*t + t - 12, o = -3*t + 12. Is 2 a factor of t?
True
Let l(y) = y**2 + y + 5. Is l(-4) a multiple of 3?
False
Suppose 2*d - 10 = -3*d. Suppose 5*f - 231 = d*t, -f - 84 = -3*f + 5*t. Is f a multiple of 16?
False
Suppose -5*t + 12 = -2*t. Suppose 5*r - 55 = t*w, -86 = -5*r - w - 6. Does 5 divide (-5)/r + 38/6?
False
Suppose 3462 = 17*c + 759. Is c a multiple of 53?
True
Let z(p) = -15*p**3 - 3*p**2 - 5*p - 6. Is 16 a factor of z(-2)?
True
Let z(s) = 17*s**2 + 2*s. Let f be z(-2). Suppose 5*l - 16 - f = 0. Is (l/(-10))/(4/(-10)) even?
True
Suppose 0 = 5*b + 7 - 17. Let t be -2 - ((-4)/b + -3). Is 17 - (-3 + t + 0) a multiple of 17?
True
Let w(y) = -y**3 + y**2 - y - 1. Let z(c) = -4*c**3 + 15*c**2 + 6*c + 2. Let r(a) = 5*w(a) - z(a). Does 4 divide r(-9)?
False
Suppose -85 = -5*h - 0*a - 2*a, 5*a + 35 = 4*h. Let q = -9 + h. Is 6 a factor of q?
True
Let t(q) = -5*q**2 - 5*q - q - 2*q + q**3 + 2*q. Let m be t(6). Let f(p) = p**2 + 18. Is 18