ppose 5*m - 117 = 43. Is m a multiple of 8?
True
Suppose 5*m - 2*a = 3*m + 14, 4*m + a = 3. Let f be (0 - m)/(14/189). Let s = 61 + f. Is s a multiple of 17?
True
Is 33 a factor of ((-495)/(-30))/(1/6)?
True
Let f = 17 - -16. Is 10 a factor of 4/6 + 572/f?
False
Let q be (-18)/2 + -4 + 5. Let b = -4 - q. Does 10 divide 6*(-2)/b - -30?
False
Let q be 1/(-4) + 9/4. Suppose 5*t = 5*h - 80, -q*h + 42 = -4*t + 6. Does 6 divide h?
False
Let r be ((-2)/1 - -2) + 0. Suppose 3*p - 2*p - 90 = -3*x, p = r. Does 15 divide x?
True
Let j(h) = -h + 12. Is 7 a factor of j(5)?
True
Let a(x) = -x**2 - 10*x + 3. Let k be a(-10). Let i be (-2)/(-3)*(-9)/k. Does 16 divide (-94)/(1 - (-6)/i)?
False
Let v(f) = -f**3 - 7*f**2 + 4*f + 2. Suppose 2*o + 5*b + 190 = -6, 2*o + 4*b + 194 = 0. Let y be o/12 - (-1)/(-4). Does 17 divide v(y)?
True
Let u(z) = -2*z - 4. Let b be u(-4). Suppose -6 = -4*j + 2*j, -b*q - 5*j = -175. Does 20 divide q?
True
Suppose 90 = -4*d - d. Is 5 a factor of (-1 - d) + (-1 - 1)?
True
Let v = 13 + -10. Suppose -33 - 51 = -v*o. Does 21 divide o?
False
Suppose -3*y + 49 + 83 = 3*w, 0 = y + 2. Is w a multiple of 13?
False
Let b(v) = v**2 + 7*v + 4. Let o be b(-6). Suppose -5*m - 69 - 16 = 0. Is -2 - m - 4/o a multiple of 8?
False
Let w be 2/6 - (-24)/9. Let t be 2/(2 - 7/w). Let k(d) = -d + 2. Is k(t) a multiple of 5?
False
Suppose 0*x + 8 = 4*v + x, -4*v - 4*x = -8. Suppose v*d + 5 - 1 = 0. Let z = 7 + d. Is z a multiple of 5?
True
Let l be -68 + 0/(0 - 1). Let q = 114 + l. Does 23 divide q?
True
Let f = 47 - 27. Is 4 a factor of f?
True
Let a be 5 - 12/(-4) - -1. Suppose v = 4*r - a, r + 9 = 5*v - 22. Is 2 a factor of v?
False
Let y = 7 - 5. Suppose 4*m - y*m = 0. Suppose m = -2*v - 0*v + 32. Is v a multiple of 10?
False
Let w(f) = -7*f + 5. Let z be w(-8). Suppose -79 = -5*t + z. Does 6 divide t?
False
Let n(i) = 52*i - 1. Does 16 divide n(1)?
False
Suppose 0 = 4*c - 5*c. Suppose c = f - 1 + 3. Is 7 a factor of 2 + ((-32)/f - 1)?
False
Let b = 106 + 211. Is b a multiple of 53?
False
Let y = -83 + 147. Suppose -2*q + 2*h = -31 - 35, 0 = -2*q + 4*h + y. Suppose 4*w - 31 = 2*f + 65, -q = -w + 3*f. Does 11 divide w?
True
Let f(u) = -9*u**3 - u + 1. Let j be f(1). Let a = -15 - j. Is 3 a factor of (-1)/(1 + 0)*a?
True
Suppose 0 = 6*l + 123 - 327. Is 12 a factor of l?
False
Suppose 0 = 2*j - 103 + 39. Does 32 divide j?
True
Let g = 7 + -3. Suppose -w + 3*h + 0*h + 8 = 0, 0 = -g*w + 4*h + 32. Is 5 a factor of w?
False
Suppose -23 = -m - 2*g + g, 4*m = -2*g + 94. Let x = 2 + m. Is 7 a factor of x?
False
Let v be 0/((1/1)/(-1)). Suppose -l + 4*l - 12 = v. Let o(u) = u**2 + 2*u - 6. Is 7 a factor of o(l)?
False
Let r be -2 - -2*6/4. Is 3 a factor of 9/r*10/15?
True
Let p = 75 + -54. Is 7 a factor of p?
True
Let b(s) = s**2 - 8*s + 6. Let c be b(7). Does 10 divide 2 + c - (2 + -11)?
True
Let p(c) = -30*c**3 - 2*c**2 - c. Let s be p(-1). Let v = s + -16. Is 13 a factor of v?
True
Let k(j) be the second derivative of -j**5/20 + 4*j**4/3 - 2*j**3 - 15*j**2/2 - 7*j. Does 10 divide k(15)?
True
Suppose 217 = 2*q - 2*p - 257, 3*q = -4*p + 683. Does 12 divide q?
False
Let i be (-1)/((-3)/9 - 0). Let l be (-18)/((i/(-2))/1). Is 19 a factor of 330/(-4)*(-8)/l?
False
Suppose l + 3 = -2. Let z be l*((-2)/5 + 0). Suppose -o = 4*o + 15, -51 = -z*n + 5*o. Does 9 divide n?
True
Let w(s) = 6*s - 15. Is 12 a factor of w(8)?
False
Let z(p) be the third derivative of p**6/120 + p**5/20 - p**3/6 - p**2. Let v be z(-2). Suppose 3*m = b - 12, b + v*m - 7 + 1 = 0. Is b a multiple of 7?
False
Suppose 0 = 2*g - 20 - 0. Suppose 2*h + d = -g, 7*d = 5*h + 2*d + 10. Does 2 divide 1 + h - (-5 + -3)?
False
Is (0 + -1)*(2 - (13 - 4)) a multiple of 5?
False
Let w = 503 - 195. Is w a multiple of 28?
True
Suppose 5*s = 7 + 8. Let w be -8*(-1)/2 + 2. Suppose s*n - 54 = -w. Is 8 a factor of n?
True
Let m(k) = k**2 + 4*k - 8. Let j be m(-6). Let s = j - 5. Does 11 divide -6*(-21)/6 - s?
True
Let a(f) = -f + 1. Let j be a(-3). Suppose 0*m + m - j = 0. Suppose -d = 5*v - 67, -2*v + 220 = d + m*d. Does 15 divide d?
False
Suppose 0 = -6*s + 10*s - 100. Is s a multiple of 7?
False
Suppose 3*h + 2*h = -565. Let i = -81 - h. Is i a multiple of 16?
True
Suppose r + 0*r - 92 = 0. Let f = 45 + 15. Let v = r - f. Is 19 a factor of v?
False
Let m(a) = -3*a + 1. Is 7 a factor of m(-2)?
True
Suppose 0 = -0*h - h - 3*r + 50, 0 = -2*r + 2. Does 15 divide h?
False
Suppose -221 = -2*u - 4*w + 5*w, -2*u = -4*w - 236. Is u a multiple of 28?
False
Suppose k = -0*k + 2*z + 12, -3*k - 5*z = -14. Let o be ((-2)/4)/(-1)*k. Suppose 0 = o*h - 41 - 155. Does 19 divide h?
False
Let o = 5 + -8. Let v = o + 5. Is 6 a factor of (-1 + 3/v)*30?
False
Let d(h) = h**3 + 3*h**2 - 5*h + 1. Let q = -10 + 6. Let k be d(q). Let x = k + -1. Is x a multiple of 4?
True
Let w(z) = -45*z + 1. Let i(t) = -t**3 + 5*t**2 + t - 6. Let g be i(5). Is 23 a factor of w(g)?
True
Suppose 5*m = 725 + 680. Suppose -m = -3*c - 29. Is c a multiple of 13?
False
Suppose -w = -52 - 132. Is 46 a factor of w?
True
Let a = 1 - -9. Suppose -3*l - 2*l + 78 = 2*g, a = -5*l. Does 22 divide g?
True
Suppose -x = -13 - 29. Is 14 a factor of x?
True
Suppose -3*m + 3*y = 42, y + 0*y = 2. Suppose 0*f - 4*f - 96 = 0. Let j = m - f. Does 12 divide j?
True
Is 1600/48 + (-1)/3 a multiple of 8?
False
Let d = 1 + 3. Suppose -d*h + h - 3*m = 945, 5*h + 1555 = -m. Is 17 a factor of (-2)/9 - h/18?
True
Suppose 4*u - 261 + 33 = 0. Suppose -9 = 2*a - y + 20, 5*a = -5*y - 35. Let j = a + u. Does 15 divide j?
True
Let j = -2 - -7. Suppose x = 2*g - j, 5*g - 11 = 4*x + 3. Is g/(-8) - (-9)/4 even?
True
Let q = 7 - -35. Suppose 0 = -x - x + q. Suppose -x = -5*c + 14. Is 7 a factor of c?
True
Suppose -4*i + 100 = 4*r, 2 = 2*i - i. Let p be (-3)/6*6 + r. Is 485/p - 1/4 a multiple of 12?
True
Suppose 4*p + v - 6 = -26, 4*p = 2*v - 8. Is -17*(8/2)/p a multiple of 4?
False
Let b = 11 + -22. Let y = 4 - b. Is 15 a factor of y?
True
Suppose 2*z - 7*z = -45. Suppose -4*q + p = 15, p = -3*q - 2*p. Let v = z - q. Does 8 divide v?
False
Let m(t) = -7*t + 10. Let n be m(-7). Let v = n + -11. Does 24 divide v?
True
Let k = 37 - -105. Does 15 divide k?
False
Suppose 0 = -0*q - 7*q + 154. Suppose 3*m = -6, -m + 5*m = -2*s + q. Is s a multiple of 15?
True
Let o be (-1 - 5)/((-6)/3). Suppose 4*y - a = -6*a + 85, -o*a = -5*y + 97. Does 14 divide y?
False
Let q be -1 + (2 - -2*14). Let t = q + 9. Is t a multiple of 27?
False
Let x = -924 + 636. Let p = -187 - x. Suppose 3*c - 49 = 3*n + p, 0 = -3*n - 15. Is 20 a factor of c?
False
Let y(q) = -q + 4. Let d be y(0). Suppose -812 = -d*m - 0*m. Suppose 4*p - m = 17. Does 19 divide p?
False
Let z = 0 + 7. Suppose p = -3*j + 6 + z, -p + 3*j = 5. Is 4 a factor of p?
True
Let x be -17*(-1 + 1*-1). Let p = 59 - 54. Suppose 0*s - 24 = -p*s - 3*t, 0 = 4*s - 5*t - x. Is 3 a factor of s?
True
Let r be 12 - -4 - (-3)/(-1). Let k = r + -4. Let l(g) = -g**2 + 12*g + 1. Is l(k) a multiple of 18?
False
Suppose 4*n + 72 = 2*j, -3*j + 7*n = 2*n - 107. Suppose r = -3*r - 84. Let i = r + j. Is i a multiple of 13?
True
Suppose -2*q + 8 = -2*j, 3*j - 2*j - 20 = -5*q. Suppose -g + 6 = 5*w - 5, -4*w - 116 = -q*g. Is 9 a factor of g?
False
Let v(s) = -3*s - 4. Is 3 a factor of v(-4)?
False
Let a(y) = 5*y - 11 + 6 - y**3 + 8*y**2 - 4. Does 16 divide a(7)?
False
Let a be (3*(0 + 2))/1. Let b(t) = -7*t - 3 + 0*t + 5 + 4*t + t**2. Does 9 divide b(a)?
False
Let f be (30 + -3)*(-8)/(-6). Let v = f + 2. Does 16 divide v?
False
Let b = -18 - -32. Does 14 divide b?
True
Suppose 2*m - 4*j = -6*j + 130, -m - 5*j = -69. Is 16 a factor of m?
True
Suppose -5*p + 262 - 77 = 0. Is p a multiple of 4?
False
Let b(n) = 6*n + 3. Let w be b(-4). Let h be (-26)/(-6)*(3 + w). Does 18 divide h*1/(-3)*2?
False
Suppose -c + 3*g = -3*c + 22, -4*c = 2*g - 28. Is 5 a factor of c?
True
Let f = 8 + -3. Suppose -6*i + f*w = -i - 260, -272 = -5*i + 2*w. Does 3 divide i/(-21)*(1 + -4)?
False
Let s = 87 - 56. Does 13 divide s?
False
Let y(x) = 6*x**2 + 3*x - 3. Let p be y(2). Suppose -a + p = 2*a. Is a a multiple of 5?
False
Suppose 0 = -r - 5, 2*t + 3*t + 4*r + 10 = 0. Let o be -2*(t + 7/(-2)). Suppose 3*m - 2*p = 107, -128 = -o*m - m - p. Does 15 divide m?
False
Let m(z) = z**3 + 4*z**2 + z + 2. Let c be m(-