m + 7 = -o. Is 16 + 0 + -1 + m a multiple of 8?
True
Let k be 1*(-3)/(-2)*-2. Let x be -1 + ((-4)/2 - k). Is 4 a factor of ((0 - x) + 1)*4?
True
Suppose -9*x + 3*x = -336. Does 10 divide x?
False
Suppose 2*x + 340 = 3*t, 0 = -5*t - x + 106 + 478. Is 9 a factor of t?
False
Let c = -9 - -45. Does 15 divide c?
False
Suppose -17 - 83 = -5*i. Does 10 divide i?
True
Does 17 divide 104 - (-5)/((-5)/2)?
True
Suppose 0 = 3*x - 2*j - 5, -2*j = -14 + 4. Suppose -8*p + x*p + 36 = 0. Does 9 divide p?
False
Let w = -4 - -8. Suppose -3*j + 6*j = -4*p - 14, -2*j + w*p = -24. Let i = j - 0. Is i even?
True
Does 10 divide (-5)/((-12)/(-16) - 1)?
True
Suppose 0 = z - 2*z + 12. Is (270/z)/(3/4) a multiple of 10?
True
Let f be (-1 - (-4 + -1))/2. Suppose -89 = -3*k + f*p, 3*k + 3*p = -p + 65. Does 9 divide k?
True
Let v = -1 + -5. Let t be ((-4)/v)/(4/6). Does 3 divide -2 - (1 - 9/t)?
True
Let t(a) = 2 - 2*a**2 + 4*a**2 - 7*a - 3*a**2. Does 3 divide t(-6)?
False
Let u(b) be the second derivative of -b**5/20 + 2*b**4/3 - 5*b**3/6 + 7*b**2/2 + b. Is 7 a factor of u(7)?
True
Let d = 20 + -17. Is -4 - (d + -2 - 53) a multiple of 15?
False
Suppose -15 = 5*w + b, 3*w - 5*b + 10 - 1 = 0. Let y be (1/2 + w)*-2. Let o(z) = 2*z**2 - 6*z - 5. Is 15 a factor of o(y)?
True
Suppose 6 = 5*r - 114. Is 5 a factor of r?
False
Suppose 3*w = q + 3*q - 28, -20 = -q + 4*w. Does 4 divide q?
True
Let g be (-26)/(-10) - (-4)/10. Let x be 0 - (-22 + (-6)/g). Let r = 0 + x. Is r a multiple of 12?
True
Suppose 0 = 2*k - k - 5*c - 12, -2*c = -4*k - 6. Is 3 - k/(9/6) a multiple of 5?
True
Suppose 3*b + 14 = -1. Let g(n) = n**3 + 6*n**2 + 2*n - 3. Does 4 divide g(b)?
True
Is 4 a factor of (-216)/(-28) - (-8)/28?
True
Let b = 35 - 20. Is b a multiple of 5?
True
Let t(q) = 44*q - 11. Let g be t(3). Let b = -188 + 111. Let d = g + b. Is d a multiple of 17?
False
Let d = 252 - 178. Is d a multiple of 22?
False
Let v(a) = -2*a + 5. Let z be v(5). Let o = z + 9. Suppose -3*w = -4*m - 92, 5*w - o*w + 3*m = 22. Does 14 divide w?
True
Let y be (1/2)/(1/2). Is 13 a factor of (-1)/(22/(-21) + y)?
False
Does 6 divide ((-54)/(-5))/(51/170)?
True
Suppose -b + 5*l + 19 = 0, -b + 3*b - 14 = 4*l. Let d = b + 1. Suppose -60 = -5*z - d*z. Is z a multiple of 5?
False
Let j(w) = 11*w + w**2 + 3 - 4*w + 4*w + 2. Let x be j(-11). Suppose 0 = 4*z - 0*z - x*g - 19, -5*z = -4*g - 26. Is 3 a factor of z?
True
Suppose -6*q + 16 = -2*q. Let o(m) = m - 2. Let h be o(q). Suppose -7*t + h*t + 5*u + 75 = 0, 2*t + 4*u - 24 = 0. Is 7 a factor of t?
True
Suppose 0 = 3*d + d - 16. Let i = d + 0. Suppose -k + 6*k - 168 = b, -i*k + 4*b = -128. Is k a multiple of 10?
False
Suppose 5*u - 5*k - 212 = 383, 3*u = -2*k + 377. Is 41 a factor of u?
True
Suppose -43 = -z + 119. Suppose 0*f + 3*f = z. Suppose 4*t - 4*s = -t + 112, -2*s + f = 3*t. Does 20 divide t?
True
Suppose 0*q - 17 = q. Let a be q/(-2)*(2 - -2). Suppose -a = -3*j + 62. Is 20 a factor of j?
False
Suppose 5*b - 2 - 3 = 0. Let v(n) = 3*n**2 - 1. Let z be v(b). Suppose 2*u = z*l - 2 + 4, 0 = -2*u - 4*l + 20. Does 3 divide u?
False
Let z = 1 - -3. Let b(k) = -k**3 + 5*k**2 - k + 4. Let n be b(z). Suppose 0 = 3*c - n - 5. Is c a multiple of 7?
True
Let o be 2/(-3) + 1/(-3). Let a be -2 + (-2 - o) - -3. Suppose d - 22 - 16 = a. Is d a multiple of 14?
False
Let x(m) be the second derivative of m**4/6 + 2*m**3/3 - 5*m**2/2 + 4*m. Is 22 a factor of x(-6)?
False
Let c(p) = p**2 - 5*p + 7. Let m be (5 - 3)*10/4. Let z be c(m). Let r(b) = -b**2 + 9*b - 7. Is 6 a factor of r(z)?
False
Let w(k) = k**3 + k**2 + 7. Let t be w(0). Does 20 divide t/(7/36)*2?
False
Does 41 divide -2*(-2)/3*1809/18?
False
Let x = -15 - -26. Is x a multiple of 3?
False
Let w(y) = -y**3 - 7*y**2 + 6*y - 10. Let g be w(-8). Let x(q) = q**3 + 6*q**2 + 3*q + 3. Let i be x(-6). Is (-216)/(-10) - g/i a multiple of 11?
True
Suppose 0 = -5*k + 946 + 874. Does 13 divide k?
True
Suppose 0*w - 8 = -2*w. Suppose -44 = 2*s - w*s. Is 11 a factor of s?
True
Let r = -12 + 17. Suppose 83 = 4*w - r. Suppose 97 - w = 3*c. Is 11 a factor of c?
False
Let s(k) = k**3 - 2*k**2 + 3*k - 6. Is s(7) a multiple of 41?
False
Let q = 6 + 12. Is 32 a factor of 1724/q - (-6)/27?
True
Let a = -1 - -4. Suppose -5 = -a*f + 1. Does 2 divide f?
True
Suppose 0 = s - w - w - 20, -2*w = 2. Does 6 divide s?
True
Let a = -176 + 272. Does 11 divide a?
False
Suppose 4*o + 1 + 0 = -3*j, -2*o = 2*j - 2. Does 5 divide j?
True
Suppose -3*f + 1 = -5. Is 20 a factor of 52/2 + (f - 5)?
False
Suppose 0 = -2*p - 2*p. Let t(c) = c**3 - c**2 - c + 18. Does 6 divide t(p)?
True
Let w be 8 - (0 - -1)*4. Let x(m) = m**3 + 6*m**2 - 5*m - 9. Let b be x(-6). Suppose -b = 5*c - 1, 3*l = -w*c + 62. Does 13 divide l?
True
Let a be -1 + 1 - 82*-2. Let w be (-2 - a)*(-3)/6. Suppose -5*i = -87 - w. Does 17 divide i?
True
Suppose -2*o - 19 = -3*m, -2*m = 2*m + 5*o - 10. Let a = m - -6. Is a a multiple of 6?
False
Let m(z) = z + 16. Let o be m(-13). Suppose 2*w = l - o*w - 12, 3*w = 0. Does 3 divide l?
True
Let j be 10/(-25) + (-12)/(-5). Suppose -j + 10 = 4*k. Suppose 0*v + 60 = k*v. Is 15 a factor of v?
True
Let n(u) = u**3 - u**2 - u - 2. Let t be n(0). Is 4 a factor of 4/(t/(-15)*3)?
False
Let u = -104 - -106. Is u a multiple of 2?
True
Let p(d) = d**2 - 2*d - 2. Let g be p(-4). Suppose 4 = 3*u - 2. Suppose 0*z = -u*z + g. Does 10 divide z?
False
Let b be 9/(-15) + 13/5. Suppose -u + 48 = b*u. Is 16 a factor of u?
True
Let o(s) = -3*s - 1. Let g be o(-7). Let h = -5 + g. Does 10 divide h?
False
Let s be (0 - 6) + 3 + 9. Let b(q) = q**3 - 5*q**2 + 4*q. Is 20 a factor of b(s)?
True
Suppose -52 = 2*v - 6*v. Is 3 a factor of v?
False
Let p(l) = -l**3 - 3*l**2 - 2*l + 1. Let u be p(-2). Let y(v) = 2*v**2 - 1 - 2*v**2 + 3*v**2 + 8*v**2. Is 10 a factor of y(u)?
True
Is 5 a factor of 12 - 3 - 20/5?
True
Let p(u) = 6*u - 16. Let f(z) = -5*z + 15. Let g(w) = -5*f(w) - 4*p(w). Is 3 a factor of g(15)?
False
Let u(z) = z + 23. Let g be u(-15). Suppose g = q - 1. Does 9 divide q?
True
Let l(f) = f**2 + 6*f + 4. Let c be l(-6). Suppose q - 105 = -c*q - 2*n, 0 = n. Is 4 a factor of q?
False
Let p(g) = 2*g**2 + 63. Is p(0) a multiple of 21?
True
Let q(t) = t**3 + 8*t**2 + 5*t. Is 21 a factor of q(-6)?
True
Let g(z) = z + 9. Let w be g(-7). Let s be (3/(-2))/((-1)/w). Suppose -m - 7 + 35 = 5*d, -3*m + 108 = s*d. Is m a multiple of 19?
True
Let j = 61 + -19. Does 21 divide j?
True
Suppose 0*c + 2*c = -10, -145 = -2*a + 5*c. Does 12 divide a?
True
Let u = 235 - 85. Does 11 divide u?
False
Suppose 4*t + 414 = 5*y, -5*y = -0*y - 3*t - 413. Suppose b - y = 24. Suppose 2*j + 22 = f, -4*f = -f + 2*j - b. Is 16 a factor of f?
True
Does 12 divide (-3)/4 + 3350/40?
False
Let w(n) = -n**3 - 4*n**2 + 8. Is w(-4) a multiple of 6?
False
Let n(j) = j**3 - 3*j**2 + 2*j - 2. Let z be n(3). Suppose 0 = -w + z. Suppose -3*u - 3*f - 135 = -8*u, -20 = -w*f. Is u a multiple of 15?
True
Let t(u) = -3*u**2 - 1. Let z be t(1). Let x(f) be the third derivative of -f**4/4 - 5*f**3/6 + 4*f**2. Is x(z) a multiple of 19?
True
Let g = 0 - -2. Suppose 2*s + g*s = 240. Does 20 divide s?
True
Let b be (-15)/(-6) - 9/6. Is 34 a factor of 102/(b + 2) + 0?
True
Let q(a) = a**3 - 8*a**2 - 9*a + 11. Let c be q(9). Suppose -g + 4*s + 47 = 4*g, 2*g = -s + c. Does 2 divide g?
False
Does 29 divide -2*(185/((-20)/4) - -3)?
False
Let s = 323 + -189. Is s a multiple of 12?
False
Let c be (-3 + 4)*12/2. Let g = c + -3. Does 3 divide g?
True
Suppose -90 = -0*y + 2*y + 2*m, -4*y = 3*m + 178. Does 22 divide (3 + 0)/3 - y?
True
Let s = -8 - -3. Is 5 a factor of 1/5 - 114/s?
False
Suppose -v = 4*v - 85. Is v a multiple of 9?
False
Let o(i) = 41*i - 4. Is o(4) a multiple of 32?
True
Let q(v) = v**2 - 11*v + 11. Let l be (-2)/8 - (-123)/12. Let d be q(l). Suppose 3*r - d = -2*w + 34, -25 = -w + r. Is 9 a factor of w?
False
Is (-5)/2*16/10*-19 a multiple of 8?
False
Suppose 3*g = 3*t - 18, -3*g = 6 + 3. Suppose -t*f + 36 = 4*j + 2*f, 45 = 5*j - 4*f. Is 9 a factor of j?
True
Suppose 2*r + q - 20 = -4*q, 5*q = 0. Is r a multiple of 10?
True
Let m = -67 - -207. Is m a multiple of 14?
True
Let s be -3*(3/(-3) - 30). Let m = 131 - s. Is 9 a factor of m?
False
Suppose 5*q - v + 2*v + 97 = 0, -3*q = 3*v + 63. Let x = -6 - q. Suppose -2*j - x = -41.