 -4*d. Suppose d + 178 = 5*u. Is u a multiple of 11?
False
Suppose -42 = -8*z + 6. Suppose -z*a + 3*a = -177. Does 7 divide a?
False
Let s(v) = 286*v - 4. Is s(5) a multiple of 84?
False
Suppose -12 = 5*b - 72. Suppose y - 2*y = q - 46, -3*y = b. Is q a multiple of 13?
False
Let r(m) = 31*m**2 - m + 2. Let i be r(1). Suppose -c + 142 = 4*p - 6*c, p - i = 3*c. Let x = -22 + p. Is x a multiple of 8?
True
Let c = -805 + 1237. Is 24 a factor of c?
True
Let s = -58 + 329. Let j = -10 + s. Is j a multiple of 29?
True
Suppose 5*l - 3*a - 15 = 0, -2*l - a = -3*a - 6. Suppose l*t = 5*o + 9 + 3, -3*o = -9. Is 2 a factor of t?
False
Let s(g) = g**2 + 16*g - 159. Is 25 a factor of s(-26)?
False
Let l(r) = 22*r + 13. Let t(v) = -v**2 - 12*v + 33. Let s be t(-14). Is l(s) a multiple of 9?
False
Let s = -50 + 57. Suppose s*w - 980 - 378 = 0. Is w a multiple of 42?
False
Let q = -66 + 48. Does 8 divide 195/4 - q/(-24)?
True
Let q(h) = 21*h + 3. Is 48 a factor of q(9)?
True
Is 14 a factor of (10 - 804/30)/(1/(-5))?
True
Let w = -1033 + 1465. Is -2*(-2)/14 - w/(-7) a multiple of 14?
False
Suppose 0 = 4*k - k + 3, 745 = 3*m + 2*k. Is m a multiple of 5?
False
Let l = -25 - -29. Is l/12*(202 - -2) a multiple of 17?
True
Let k(h) = h - 11. Suppose 5*j - 29 = -4. Let x be k(j). Let d(u) = -u**2 - 10*u + 4. Is d(x) a multiple of 14?
True
Let x(y) = y**3 + 7*y**2 + 4. Let m be x(-7). Let l(h) = 161*h**2 + 2*h + 1. Let t be l(-1). Suppose 3*z + 20 = u, -m*u = -0*u + 4*z - t. Is 17 a factor of u?
False
Let q(i) = i**3 - i**2 - 26*i + 11. Does 6 divide q(8)?
False
Does 20 divide 399 + 1 - 0/(0 + 7)?
True
Does 33 divide (24 - 321)*(-2)/3?
True
Is 2/4*(1842 - -46) a multiple of 59?
True
Suppose 5*j - 3 = -2*w - 21, -j - 18 = 4*w. Suppose 0*z + 8 = -2*z. Is (z/j)/(2/52) a multiple of 13?
True
Suppose -19 = 4*p + 17. Let u be -1*(-1 + 2)*-8. Is (-1 + p)*(-44)/u a multiple of 18?
False
Suppose -8 = 2*k - 4*o, 0 = 3*k + 2*k - 2*o - 4. Let f(t) = 5*t**2 + 9*t**2 + 12 + 0*t**k + 11*t + t**3. Is 19 a factor of f(-13)?
True
Suppose 2*k + v = -71 - 11, -5*k = -3*v + 216. Let c = k - -120. Is c*(-3)/(27/(-6)) a multiple of 15?
False
Let n = 1299 - -39. Is 57 a factor of n?
False
Let m = 1 - 4. Is ((8/m)/4)/(4/(-480)) a multiple of 16?
True
Let a = 2093 + -1213. Is 22 a factor of a?
True
Let t be (-413)/(-3) + 2/(-3). Let w = -43 + t. Suppose y - 34 = -2*y - 5*m, -5*y + w = -m. Is 9 a factor of y?
True
Let x(a) = a**3 - 6*a**2 + 16*a - 1. Let h be x(7). Suppose 0 = 3*f - h - 38. Is 22 a factor of f?
True
Let t be -5 + 6 + -3 + 17. Suppose -o + 6*o + t = 0. Is 18 a factor of -9*7/o - 1?
False
Suppose -24*n = -26*n + 3*k + 2952, -5884 = -4*n + k. Is n a multiple of 21?
True
Let m(u) = -4*u**2 + 12. Let d(j) = -j**2 - j. Let n(i) = 3*d(i) - m(i). Is 14 a factor of n(7)?
False
Let s be 0 + 7 - 12/4. Let z(t) = -7*t**2 + 6*t**3 - 2 + s + 8*t**2 - 3*t**2 - 3*t. Is z(2) a multiple of 12?
True
Suppose -4*z + 2500 = -6*j + 10*j, -4*z - 1244 = -2*j. Is j a multiple of 12?
True
Suppose 12*j - 1053 = -j. Is 9 a factor of j?
True
Suppose 69 = 5*k + 9. Let c = 65 + k. Does 11 divide c?
True
Let o = -6 - -11. Let c = o + 0. Suppose 200 = c*i - 0*i. Is 10 a factor of i?
True
Let d = 272 + -42. Suppose 4*s + 4*u - 36 = 0, -3*s + u = -s - 3. Suppose -2*p = -4*n + d, -228 = -4*n - 0*n + s*p. Is n a multiple of 28?
False
Suppose 4*d - 5056 = -3*b, -2*b + 3372 = 6*d - 4*d. Does 21 divide b?
False
Let i be 9/2*(-40)/(-15). Let w be i/(-9)*9/(-4). Suppose w*v + 2*o = 4*v - 11, -5*v + 67 = 2*o. Is 13 a factor of v?
True
Let u(m) = -m**3 - 33*m**2 - 17*m + 23. Does 52 divide u(-33)?
False
Let j = -41 + 140. Suppose -b + 92 + j = 0. Is 10 a factor of b?
False
Suppose -x = -46 + 16. Suppose -u + x = -6*u. Let p(m) = m**2 + 3*m - 9. Is 6 a factor of p(u)?
False
Suppose -13*g + 9*g = 4*f - 160, -f + 172 = 4*g. Is 3 a factor of g?
False
Let b = -540 + 830. Does 37 divide b?
False
Suppose -2*n - 2*n + 8 = 0. Let m be n/(-4)*1*-12. Suppose 0*b - b = -m. Is b a multiple of 6?
True
Let s(a) = -4*a + 22 - 3*a - 11. Suppose 51 = -4*u + 11. Is s(u) a multiple of 27?
True
Let o be 0 - 12/(-3)*1. Suppose -o*l - l = -260. Let v = l + -13. Does 13 divide v?
True
Let x = -63 + 114. Let v = x + -37. Is v a multiple of 7?
True
Suppose -2*o - 2*x + 0 = 4, 0 = -3*o + 2*x + 19. Suppose -o*w + 253 - 61 = 0. Suppose -w = -5*g + g. Is g a multiple of 8?
True
Let q(c) = -2*c + 29. Let g be -3 - (-23)/8 - (-130)/16. Is 13 a factor of q(g)?
True
Let f be 168/(-6)*(-2 - -3). Let n = 31 + f. Does 14 divide ((-2)/n)/((-1)/105)?
True
Let c(y) = y**3 + 6*y**2 - 7*y - 9. Suppose u - 4*p - 9 = -2*p, 0 = -4*u - 4*p. Suppose -8 = u*k - 2*s - 3*s, -5*k - 22 = -4*s. Is c(k) a multiple of 33?
True
Let h(n) = -5*n - 6. Let g be h(-6). Suppose 3*c = 2*d + g, -3*c + 2*d = -c - 18. Let p(q) = 4*q - 7. Does 4 divide p(c)?
False
Let z = 43 + -37. Let o(s) = 6*s + 18. Is o(z) a multiple of 4?
False
Suppose -924 = -n - 13*n. Does 3 divide n?
True
Let a be 5/(-15) + 3 + (-4)/6. Let j be -25 - ((-9)/3)/(-3). Let v = a - j. Is 14 a factor of v?
True
Suppose 0 = -z + 4*z - 3*d - 9, z = 2*d + 5. Let p(i) be the second derivative of 17*i**5/5 + i**4/12 - i**3/3 - 25*i. Is p(z) a multiple of 13?
False
Let s(u) = -13*u**3 + 2*u**2 - u + 1. Let g be s(1). Let l = g - -7. Is 34 a factor of l/(-10) + 336/10?
True
Let k = -1339 + 4719. Is k a multiple of 26?
True
Let b = 311 - 161. Is b a multiple of 11?
False
Let q be (6/8)/((-4)/(-16)). Suppose -n - q*h + 50 = 4*n, -4*h - 40 = -4*n. Let p(k) = k**2 - 5*k + 1. Is p(n) a multiple of 17?
True
Suppose -5*s + 8 = -22. Suppose 0 = -3*o - l + 348, -3*l = -5*l - s. Is 28 a factor of o?
False
Suppose -5*z - 3*y + 1261 = 7, -4*z - 4*y = -1000. Is 5 a factor of z?
False
Let j(k) = k**3 - 8*k**2 + 7*k. Let t be j(7). Suppose t*u = 3*u. Suppose u = -4*r - z + 313, 0 = -3*z + 5*z - 2. Does 26 divide r?
True
Let i be (-49)/(-28) - (-1)/4. Suppose -28 = -5*x - i*x. Suppose 2*k - x*v - 26 = 0, 2*k - 3*v = 38 - 10. Does 5 divide k?
False
Let r = -17 - -26. Suppose -t - 128 = -r*t. Is 5 a factor of t?
False
Let r(j) = -j**3 - 16*j**2 - 22*j - 24. Is 11 a factor of r(-15)?
False
Let q(x) = 18*x**2 + 3*x + 4. Let k(b) = -4*b - 25. Let w be k(-6). Is 13 a factor of q(w)?
False
Suppose 38*m - 28*m + 4650 = 0. Is 12/(-10)*m/6 a multiple of 31?
True
Let z(u) = -u**2 - 4*u - 6. Let s be z(-3). Does 3 divide 1/s - 219/(-9)?
True
Suppose 3*h - 15 = -153. Let j = h - -83. Let u = j - -19. Is u a multiple of 14?
True
Suppose 3*p + 986 = 4*v + 6959, 3978 = 2*p - 4*v. Is p a multiple of 15?
True
Let u be 4 + (-10)/2 + -1. Is 3 a factor of -4 - (-32)/(u - -4)?
True
Suppose 2*v - 2 = 0, 3*x - 7*x - 4*v = -20. Is (x/(-16))/((-2)/2584) a multiple of 14?
False
Let r = 45 + -45. Let c(q) = -q + 74. Is c(r) a multiple of 37?
True
Suppose 15*l = 6635 + 16075. Is 23 a factor of l?
False
Does 6 divide 2/(-9) - (-6)/(108/1678)?
False
Is 9 a factor of (0 + 150)*5/((-30)/(-9))?
True
Let x(t) = t**2 - 7*t + 12. Let c be x(4). Is 2 a factor of (7/(-2) - c)*-4?
True
Does 19 divide 396 + -3 + (4 - -2)?
True
Let r(i) = i**3 - 8*i**2 - 27*i + 36. Does 17 divide r(17)?
False
Is (-1614)/(-15)*15/6 a multiple of 13?
False
Let a(n) = -2*n - 5. Let i be a(-3). Suppose -i = v, 3*b - 9 - 6 = 3*v. Suppose 3*s + 6 = 0, -3*m + b + 75 = s. Is 14 a factor of m?
False
Does 139 divide 8618/31*22*4/16?
True
Let m = 26 - 28. Let l = 2 + m. Is 16 + l*5/(-20) a multiple of 8?
True
Suppose 9*o - 120 = 852. Is 12 a factor of o?
True
Let b be 1*(-3 - 1) + -1. Let s = b - -44. Does 14 divide s?
False
Does 3 divide (-568)/(-4) + (-9)/(36/(-16))?
False
Suppose 191 = 17*b - 710. Does 7 divide b?
False
Suppose -3*z + 2 = -4. Let u(y) = z*y**2 - 4 - y**2 + y + 0 + 7*y. Is 8 a factor of u(-10)?
True
Let z = 35 - -45. Is z a multiple of 8?
True
Let g = 527 + -513. Is g a multiple of 6?
False
Suppose -4*n = -7*n. Let u(w) = w**2 + 2*w + 5. Let k be u(n). Suppose -k*y + 79 = 9. Is y a multiple of 14?
True
Suppose 79 + 239 = 6*u. Is 3 a factor of u?
False
Suppose -u - 15 = -2*v, 3*v + 2*u - 19 = -0*v. Suppose -v*b + 72 = 2. Is b a multiple of 8?
False
Let p(o) be the first derivative of 10*o - 1/4*o**4 + 4 - 13/2*o**2 - 11/3*o**3. Does 10 divide p(-10)?
True
Suppose -5*i - 39 = -p, 17 = -2*i