(5 + (-27)/w)/((-2)/(-28)). Does 23 divide m/((-38)/10 - -4)?
False
Is 58 a factor of (5 + 11)/(-4)*(-1 - (-75894)/(-24))?
False
Let w be ((-207)/92 + 1*2)*-16. Is (-5*(-10)/75)/(w/480) a multiple of 19?
False
Suppose 11*w + 2*u = 8*w + 29, -5*u = 3*w - 32. Suppose w*v = 274 + 104. Is v a multiple of 14?
True
Suppose -5*y + 5*x = -247 - 448, -12 = -3*x. Does 16 divide y?
False
Does 107 divide (-2 + 8116/(-8))*(-9 + -5 - -4)?
True
Let i = 228 + -167. Suppose -i = -2*a + 149. Is 15 a factor of a?
True
Suppose 9 = 3*g + x + 6, 2*g - 1 = -x. Suppose -10 = -2*s - g. Is 4 a factor of s?
True
Suppose -2*c + 5*l + 49335 = 0, 5*c + 124*l - 123321 = 131*l. Is 237 a factor of c?
False
Suppose 23 - 15 = 2*d. Suppose -3*q = -3*n, d*n = 9*n + 4*q. Is n + 0 - (-1)/((-2)/(-224)) a multiple of 16?
True
Suppose 3*l + 5*n = -384 + 19733, -l + 5*n = -6443. Is 104 a factor of l?
True
Let r = 65 - 62. Suppose 4*q = -u - u + 22, 3*u - 6 = r*q. Suppose 5*k - 690 = -u*k. Is 41 a factor of k?
False
Does 20 divide 1/(2*3/36) - (-52 + -129)?
False
Suppose 3*h - 5*s = 6, 0 = 4*h + 3*s - 0*s - 8. Suppose 0 = 5*v + 2*l + 351, 3*v - h*l + 204 = -l. Let a = -55 - v. Is 14 a factor of a?
True
Suppose -15 = -13*t + 8*t. Does 52 divide t/15 - 2145/(-25)?
False
Let d(x) = 14618*x**3 + 23*x**2 - 31*x + 10. Does 24 divide d(1)?
False
Is 1/(-3) + 0 - 4*(-768820)/120 a multiple of 12?
False
Let p(s) = -2*s + 38 - 4*s - 10 - 5. Is 6 a factor of p(-3)?
False
Let r = -111 + 113. Suppose -22 = -2*v - r. Suppose -v = -g + 43. Does 53 divide g?
True
Suppose u = 4*i + 278, 4*i + u - 57 = -339. Does 11 divide 423 + (i/7 - -5)?
True
Let n = -145 - -145. Suppose n = 8*u - 5*u - 1056. Is 16 a factor of u?
True
Let m be 1661/99 + (-2)/(-9). Suppose -2*z = -u - m, -5*z = 4*u - 5 + 8. Let j(q) = q**2 - 5*q - 24. Is 12 a factor of j(u)?
True
Suppose -62*t = -81*t + 121638. Does 11 divide t?
True
Does 18 divide 20/(-12) + 77810/30 + 0?
True
Let d(g) = g**3 + g**2 + 1. Let r(t) = -11*t**3 + 12*t**2 + t - 4. Let n(z) = 5*d(z) - r(z). Is 14 a factor of n(3)?
False
Suppose -7*z + 312 = -15*z. Let q = -36 - z. Suppose 4*w = 4*a - 244, 0*a + 51 = a - q*w. Is 9 a factor of a?
False
Let q = 117 - 116. Let x(i) = 662*i + 5. Let k be x(q). Suppose -4*l = 3*s - k, -s + 0*l + 4*l + 233 = 0. Is 45 a factor of s?
True
Let h(i) = 22*i**2 - 307*i + 2428. Does 4 divide h(8)?
True
Let k(y) = -55 - 3 - 20 - 49*y + 41*y - 33*y. Does 8 divide k(-6)?
True
Suppose -5*f - 3*b + 7698 = 1907, -4*b - 3463 = -3*f. Let a = -725 + f. Does 36 divide a?
True
Suppose -5*j = 3*d - 2253, 10*j + 1348 = 13*j - 2*d. Does 2 divide j?
True
Let d(a) = -a**2 - 11*a - 18. Let k be (-6)/(-2)*(-2 + (-5)/5). Let t be d(k). Suppose t = -3*h - p + 397, h - 401 = -2*h - 5*p. Does 29 divide h?
False
Let y be (24/28)/(3/(-42)*2). Let o be y/12 - (-114)/4. Let k = o - -30. Does 17 divide k?
False
Let d = -8806 - -18967. Is 28 a factor of d?
False
Suppose 7152 = 56*r - 8*r. Let b = 4 - 1. Suppose b*i - 15 = 0, -3*z + 5*z - r = -i. Does 18 divide z?
True
Let u(j) = 4*j**3 - 5*j**2 + j + 4. Let f be u(4). Suppose 0 = -2*x - 2*p + f, 0*x - 2*p - 261 = -3*x. Suppose x*w - 85*w = 168. Is 14 a factor of w?
True
Suppose 1831 = 47*b - 17864 - 2489. Is b a multiple of 4?
True
Let n(x) = -2*x**3 + 34*x**2 - 51*x + 6. Let k(g) = -g**3 + 17*g**2 - 26*g + 2. Let v(s) = -11*k(s) + 6*n(s). Does 11 divide v(15)?
False
Let v(k) = -2*k**3 + 12*k**2 + 13*k + 3. Let w be v(-5). Suppose 2*l - 322 = -p, -2*p + 156 = 5*l - w. Does 28 divide p?
False
Suppose 0 = 2*v - 867 - 421. Let t be (-14172)/(-32) - (18 - (-1740)/(-96)). Let r = v - t. Is 8 a factor of r?
False
Is 45 a factor of ((-132)/(-16))/(28/39200)?
False
Suppose -481*b + 3062410 = 51*b - 2443790. Does 15 divide b?
True
Suppose 0 = -20*t - 241 + 11521. Is t a multiple of 4?
True
Suppose 3*x - 19911 = -5*z, 0 = 2*z + 2*x - 8250 + 284. Is z a multiple of 63?
False
Let w(m) be the first derivative of m**4/4 + 10*m**3/3 - m**2 - 3*m - 17. Let v be w(-7). Suppose 3*g = v + 202. Does 10 divide g?
True
Is 10/(-200) + (-1347208)/(-160) a multiple of 20?
True
Let d(o) = -17*o**3 + 5*o**2 + o - 5. Let p = 246 - 249. Does 10 divide d(p)?
False
Let y(o) = o**3 + 2*o**2 - 6*o + 5. Let n be y(4). Suppose -n = 20*t - 21*t. Is 2 a factor of t?
False
Let u = 12855 + -12948. Let y be 1*1*-113 - -1. Let x = u - y. Is x a multiple of 2?
False
Let y be (-4 + 5 + -1)/3. Suppose -2*w + 7 + 1 = y. Let b = w - -16. Is 10 a factor of b?
True
Let o be ((-1)/2)/(3/48). Let u(v) = -26 + 14 - 23 - 9*v. Is 7 a factor of u(o)?
False
Suppose 3*r + 443 = 3*l - r, -3*r - 295 = -2*l. Suppose 0 = -14*h + 5 + l. Is h a multiple of 2?
False
Let d = 132 + -130. Suppose -y = w + d*w - 75, -y - 2*w = -75. Does 22 divide y?
False
Let t = -306 - -308. Suppose 4*i - t*s - 49 = 61, 4*s = -5*i + 105. Is i a multiple of 3?
False
Let o(u) = 348 + u + 14*u**2 + 0*u - 161 - 177. Does 5 divide o(-2)?
False
Let o = -4895 + 12773. Is o a multiple of 101?
True
Suppose -3*j + 10*j - 28 = 0. Suppose 11*v = 13*v + 4*q - 1380, -q = j*v - 2725. Does 17 divide v?
True
Suppose 20*w - 1 = 79. Does 7 divide 115 - (-6 + w + 1)?
False
Suppose 3*w - 8*w - 126 = -z, -4*z + 3*w = -419. Let s = -180 + z. Let k = s - -135. Is k a multiple of 14?
True
Does 5 divide 934425/185 + -18 - 2/(-37)?
False
Let r(k) = 36*k**2 + 16*k - 9. Suppose 8 = 2*f - 6*f. Let z(a) = -7*a**2 - 3*a + 2. Let u(l) = f*r(l) - 11*z(l). Does 4 divide u(-4)?
True
Let h(a) = -a - 56. Let b be h(-39). Let n = b - -97. Is 4 a factor of n?
True
Let q = -114 + 119. Suppose 268 + 1729 = 5*f - i, -2*i + 1991 = q*f. Is 21 a factor of f?
True
Suppose -4*j - 205 = -5*t, t = -4*j + 49 - 8. Let w be (1 - 11)/(7 - 9). Suppose -2*p = w*d - 70, 0 + t = p + 4*d. Is p a multiple of 5?
True
Does 74 divide ((-2265)/(-9))/(385/17094)?
True
Let w = 114 - -15. Suppose q = 3*z + 127, -6*q = -7*q + 4*z + w. Is 11 a factor of q?
True
Let p = 26 + -29. Let u be 1*p*4/(-6). Suppose y = -u*h + 5*h - 590, -2*h + y = -394. Does 28 divide h?
True
Suppose 0 = 4*p + 3*z - 12, -3*p + 3*z + 9 = 6*z. Suppose 374 = 2*v + 2*g, -p*g + 323 = v + 136. Is 17 a factor of v?
True
Let b = 174 - 174. Suppose g + b*g = 100. Does 20 divide g?
True
Suppose -81 = -2*d - 17. Let l = d - 30. Does 4 divide (32 - -3)*(1 - l/14)?
False
Let r(i) = 2*i**2 + 6*i + 5. Let v be r(-3). Suppose -m + 436 = 166. Suppose v*s - m = -s. Does 15 divide s?
True
Suppose -42875 = -38*r + 39433. Does 7 divide r?
False
Let r = -141 + 139. Is 3 a factor of (6/(-18))/(r/138)?
False
Let y = 2650 + -4811. Let a = -1493 - y. Does 11 divide a?
False
Let z(h) = 2*h**3 - h**2 - 3*h - 7. Let c be z(-6). Let x = c - -873. Suppose i - 5*s - 266 = 0, 4*i - 1438 = -s - x. Is 23 a factor of i?
False
Let f(y) = -251*y - 11036. Is f(-97) a multiple of 27?
True
Suppose -4*s + 1176 = -3*k + 5*k, s = -k + 584. Does 10 divide k?
True
Let b = 206 - 200. Is 86 a factor of (4/b)/(15/3870)?
True
Let f be -1*4/(-12)*-3. Let n(k) = -175*k + 7. Let o(b) = b + 1. Let z(j) = f*n(j) + 6*o(j). Is z(1) a multiple of 50?
False
Let w be 24/30*5/(-2) - -73. Suppose 4*t + 2*b - w = 297, 0 = 3*t - 2*b - 262. Suppose q + 2*q = -3*r + t, 0 = 3*r + 5*q - 88. Is 12 a factor of r?
False
Suppose 287 = 10*n - 3*n. Let z = 91 - n. Let v = z + 22. Does 21 divide v?
False
Suppose -5*n - 30 = -11*n. Let g(c) = 161*c**2 - 64 - 39*c**2 + 36 + 31 - n*c. Is 15 a factor of g(1)?
True
Let s be (-87)/15 + (-10)/50. Is s + -7 + 1912 - -4 a multiple of 89?
False
Let r(b) = -23*b + 48. Let i be r(2). Suppose -20 = i*q - 66. Does 20 divide q?
False
Let t(a) = a**2 + 12*a - 35. Let i be t(6). Let y = i - 68. Suppose -2*w + y*v + 75 = -w, -398 = -5*w + 2*v. Does 11 divide w?
False
Let q = 129 - 81. Let j be (-18)/(-8) + (-12)/q. Let k(z) = 12*z**2 - 5*z + 6. Does 5 divide k(j)?
False
Suppose -213*k + 437021 = -171*k - 276937. Is 74 a factor of k?
False
Let j be -9 + ((-20)/(-6) - (-2)/(-6)). Let h(f) = f + 8. Let v be h(j). Does 25 divide 51 + v*1/(-2)?
True
Let v be 400/(((-4)/(-2))/((-2)/(-1))). Suppose -6776 = -407*x + v*x. Does 22 divide x?
True
Let c = 3 + 1. Suppose -x + 84 = -c*x. Let y = -16 - x. Is y a multiple of 2?
True
Let l(y) = -392*y**3 + 36*y**2 + 30*y - 4. Is 18 a factor of l(-1)?
False
Suppose -4*g - 7 = 3*h, 0*g - 5*g = 