divide w?
False
Let x = -13 + 18. Let g be ((-30)/(-50))/((-1)/x). Let p = 54 - g. Is 11 a factor of p?
False
Suppose 4*m + r + r = 30, 5*m - 5*r = 0. Suppose 4*h - 23 = m*o, -h - 1 = -o + 2*o. Suppose 0 = -h*y + 38 - 4. Is y a multiple of 8?
False
Let u = -204 - -351. Suppose 15*f = 153 + u. Is f a multiple of 10?
True
Suppose -390 = 5*k - 80. Suppose -4*u + 35 = 5*j - 440, 0 = j + 1. Let n = u + k. Is 29 a factor of n?
True
Let h(c) = c - 28. Suppose 0 = -a - 2*a. Let p be h(a). Let g = -16 - p. Is g a multiple of 6?
True
Suppose 6*m - 2*m = 4*l + 28, 3*m - 26 = 4*l. Suppose w - 231 = -4*y, 4*w - 879 = -3*y + m*y. Suppose 5*u - 211 = -3*r, -w = -3*r + 2*u + u. Does 24 divide r?
True
Let y = -623 - -1527. Does 12 divide y?
False
Let x = 0 + -3. Let k = x - -3. Suppose -42*s + 39*s + 108 = k. Does 9 divide s?
True
Let v = 17 - 10. Let q = 8 + v. Is q a multiple of 2?
False
Let h = -967 + 3498. Does 14 divide h?
False
Suppose -2 = 11*s - 24. Suppose -3*n + 279 = s*n - 4*w, 3*n - 2*w - 169 = 0. Is 12 a factor of n?
False
Let v(w) = w**2 + 8*w + 14. Let r be v(-6). Suppose s - 502 = r*c - s, 2*s - 247 = c. Let f = c + 379. Is 31 a factor of f?
True
Let f(r) = -2*r - 25. Let m be f(11). Let d = m + 23. Let u = -3 - d. Is u a multiple of 7?
True
Let j be (24/5)/((-33)/(-8030)). Suppose 356 + j = 6*s. Let i = -161 + s. Is 17 a factor of i?
False
Suppose -4 = 3*q - 1. Let b be (10 + q)/3 - 1. Suppose -60 = -5*m - 5*y, -m + 4 = b*y - 4. Does 16 divide m?
True
Let o(t) = t + 10. Let i be o(-6). Suppose -g + i*u = -5*g + 16, 2*u + 16 = 4*g. Suppose -g*s = 3*f - 5*s - 100, -2*s + 120 = 4*f. Is 10 a factor of f?
False
Let h = 336 + -67. Is 11 a factor of h?
False
Suppose -1 = -2*p + 4*g + 3, 5*g + 10 = 0. Is (-2)/(231/116 + p) a multiple of 29?
True
Let a(n) = -n**2 - 6. Let h(d) = 5*d**2 - d + 25. Let o(q) = -9*a(q) - 2*h(q). Let z be o(4). Is 14/(-6)*(-7 - z) a multiple of 5?
False
Let n(y) = y - 27. Let r be n(20). Does 10 divide r + 55 + (0 - 1)?
False
Suppose -4*z - 3*n = -6029 - 2235, z - 7*n - 2035 = 0. Does 11 divide z?
False
Suppose -4*j + 4004 = 4*t, 4*j - 2595 = -2*t + 1407. Is 20 a factor of j?
True
Suppose 0 = -5*o + 2*o + 63. Suppose -24*x + 54 = -o*x. Does 3 divide x?
True
Let s be (0 - 3 - 5) + -1. Let a be s/6*(-18)/3. Suppose 0 = -h + 77 + a. Is h a multiple of 24?
False
Let n = -19 + 23. Suppose 0 = -d + n, -4*d + 17 = -g + d. Is g a multiple of 2?
False
Let y = -5 + 5. Suppose -9 = -y*k - k. Suppose -r = -2 - k. Does 4 divide r?
False
Suppose 0 = 2*b - 4*p - 680, -3*b + 7*b + 5*p = 1425. Is b a multiple of 12?
False
Let u(y) = -216*y**2 - y - 1. Let k = 8 + -6. Let o be u(k). Does 25 divide o/(-18) + 1/(-6)?
False
Let r = 2681 - 1899. Is 8 a factor of r?
False
Let v = 1039 - 709. Does 52 divide v?
False
Let m be 158/(-14) - 10/105*-3. Let n = -42 + 15. Let d = m - n. Is d a multiple of 11?
False
Let b = 220 - -14. Is 26 a factor of b?
True
Let u = 38 - 35. Suppose -i + 189 = -5*f + 620, -3*i = u. Does 13 divide f?
False
Let s(t) = -6*t**3 + 8*t**2 - 6*t - 1. Let a be s(3). Let l = a + 191. Is l a multiple of 11?
False
Suppose -3*d = 5*k - 2021, 2*d + 2*d = k + 2664. Does 23 divide d?
True
Let m = -1053 - -1661. Does 19 divide m?
True
Suppose -8*g = -3*g - 5. Is g + 160 - 8/(-2) a multiple of 40?
False
Suppose 0 = -7*g + 6*g + 622. Is g a multiple of 17?
False
Let u = 985 - -1255. Is u a multiple of 10?
True
Let c(x) = -2 + 4 - 13*x - 17*x + 5*x. Let z be c(-3). Suppose 4*w + z = 193. Does 21 divide w?
False
Let z = -274 - -306. Does 16 divide z?
True
Let y be (6/(-12))/(2/16). Does 9 divide -13*((5 - 4) + y)?
False
Suppose 3*z = -2*u + 8, 2*u + 4*z = -0*z + 6. Let t(m) = 24 + 14*m - u*m - 6*m. Is t(17) a multiple of 9?
False
Let m(o) be the second derivative of 5*o**3/2 - 3*o**2/2 + 17*o. Is m(10) a multiple of 23?
False
Suppose h + 5*n = -1517, -3*h + 4*n - 1543 = 3065. Is 10 a factor of (-4)/6 - (h/12 + -2)?
False
Let b = -189 - -432. Let h = b - 161. Does 17 divide h?
False
Suppose 0 = -2*b + 8 + 2. Let s be b*-3 + -1 + 4. Is 11 a factor of (-266)/s + (-1)/6?
True
Suppose -5*s - 7 - 113 = 0. Is 15 a factor of (s/42)/(2/(-91))?
False
Suppose 5*c - 11 = 2*m - 0*c, 0 = -3*m + 3*c - 3. Suppose 4*r - 322 = -2*w, 0*r + m*r = -3*w + 171. Is 9 a factor of r?
False
Suppose s = -2*s + 15. Suppose -s*p - 364 = -x, -4*x = -4*p - 188 - 116. Let f = -48 - p. Is 8 a factor of f?
True
Suppose 5*u = h + 16 + 596, 0 = -5*u - 4*h + 602. Suppose -w - w - f = -u, -3*f + 66 = w. Does 10 divide w?
True
Suppose 0*o + 6 = -2*o. Let n be o + (1 - -3) + 0. Let r(y) = 21*y**2 + y. Does 22 divide r(n)?
True
Suppose -319*t - 8448 = -330*t. Is 8 a factor of t?
True
Let p(f) = f + 31. Let q be p(-11). Suppose 0 = 2*d - 7*d + t + 105, 4*t = -q. Does 10 divide d?
True
Does 3 divide 4 + (1 + (-35)/(-1) - 1)?
True
Suppose -4*p + 3*l + 1235 = 0, 3*p - 5*l + 326 = 4*p. Is 14 a factor of p?
False
Let c be 2*(12/(-3))/(-4). Suppose 4*l = 5*f - 161, 4*f = 3*l + c*l + 127. Is 14 a factor of f?
False
Suppose -3*l + l - 2*u = 18, -5*l = 2*u + 33. Let o = l - -11. Suppose 96 - o = 5*v. Is v a multiple of 18?
True
Is ((-24)/(-14))/((-4)/(-742)) a multiple of 53?
True
Suppose 0*m - 198 = -6*m. Does 11 divide 3605/63 - (m/27 + -1)?
False
Let m = 132 + -128. Does 3 divide (m + -3 + 5)*(-9)/(-6)?
True
Let d be (-3)/(87/21 - 4). Let z be (-28)/d*(-15)/(-2). Suppose 8*s + 66 = z*s. Is s a multiple of 11?
True
Let q be (-3)/2*(-820)/30. Suppose -q = -5*d + 154. Does 8 divide d?
False
Let r be ((-42)/(-28))/(6/(-272)). Let p = 119 + r. Is p a multiple of 17?
True
Let l = -462 + 670. Is 32 a factor of l?
False
Suppose -3*b = 6*o - 2*o - 22, 2*b - 16 = -4*o. Suppose -b*j + j + 1060 = 0. Suppose -j = -4*w - 3*q, -4*w + q - 15 = -243. Does 18 divide w?
False
Let o be (-15 + 2)*(4 + -2 - 15). Suppose o = 3*k + 61. Is 4 a factor of k?
True
Let o(a) = 424*a**3 - 2*a**2 + 4*a - 3. Is 47 a factor of o(1)?
True
Let i(j) = -j**3 + 6*j**2 + 7*j + 5. Let n be i(7). Suppose -q - n*b = 31 - 144, 323 = 3*q - b. Is 36 a factor of q?
True
Let k(m) = 5094*m. Let b be k(-3). Let l be 6/8 + b/24. Is 9 a factor of l/(-18) - 2/6?
False
Suppose -2*x - 13 = -u + 4, u = 1. Does 22 divide 22*-14*x/16?
True
Let i = 5 - 3. Let c(j) = -12*j + 312. Let o be c(6). Suppose i*q = -q + o. Does 15 divide q?
False
Let j = -17 + 20. Suppose p - 3*l - 17 = 0, 4*p + l - j = -0. Suppose 48 = u - 2*k, p*k + 100 = 2*u - k. Is u a multiple of 28?
True
Let i be 0/(-2*1/2). Suppose i = 5*h - 5*u + 85, 2*h + 11 = 5*u - 38. Let q = h + 27. Is q a multiple of 15?
True
Suppose 0*c + 83 = n + c, 0 = 4*n - c - 317. Suppose 0*k + n = 10*k. Is k even?
True
Suppose -74*a = -14930 - 2978. Is 2 a factor of a?
True
Let d = -8 - 10. Let w be (0 + 3)/(d/(-24)). Suppose -w*r + 28 = -4*k + 2*k, 2 = -k. Is r even?
True
Suppose 6 = -u - 3*u - 2*f, 3*f + 9 = -3*u. Suppose u = -4*y + 632 - 196. Is 13 a factor of y?
False
Let a = -43 - -48. Suppose 68 = a*n - 82. Is n a multiple of 10?
True
Let m(t) = -5*t - 6. Let k(g) = -g**2 - 9*g - 11. Let h(s) = -3*k(s) + 5*m(s). Does 17 divide h(-5)?
True
Suppose 3*f = z - 196, -2*f + 7*f - 436 = -2*z. Is z a multiple of 19?
False
Suppose -22*d - 765 = -27*d. Let m = d - -8. Is m a multiple of 39?
False
Suppose 0 = -19*q + 13*q + 144. Does 12 divide q?
True
Let p be (-15)/(-10) - (-86)/4. Let t = p + -3. Is t a multiple of 20?
True
Does 13 divide 7 + -3 + 2 - (-2355 + 67)?
False
Let g(z) = z**2 - 12*z + 10. Let l be g(8). Let b be (-256)/(-44) + (-4)/l. Suppose -5*q + y - b*y = -200, 122 = 3*q + 5*y. Is q a multiple of 14?
False
Let y be ((-84)/(-70))/((-2)/85). Let m = y - -291. Is 20 a factor of m?
True
Suppose 14*q = 17*q + 6. Does 29 divide 267/9 - q/(-3)?
True
Let k = -1399 - -1420. Let a be ((-1)/(-2))/(1/12). Suppose -o - a = -k. Does 8 divide o?
False
Let f = -94 - -63. Let t = f + 58. Is t a multiple of 9?
True
Suppose 5*f - 4575 = 1575. Does 45 divide f?
False
Suppose 0 = -5*x - 0*c - 5*c + 830, 3*c = -15. Is 16 a factor of x?
False
Is 21 a factor of (-5 + 3753 + (5 - 3))/2?
False
Let o = -2 + -9. Let u = o - -11. Suppose 4*k - 44 = -2*w, 6*w - 3*w - 3*k - 75 = u. Is 6 a factor of w?
True
Let a(n) = -15*n - 18. Is 9 a factor of a(-18)?
True
Suppose -4378 + 1390 = -9*s. Let i = s - 166. Is 13 a fac