 divide s?
False
Let j = -72 + 73. Suppose 0*h + 2*l = 2*h - 6, -h + 3*l - 1 = 0. Let x = j + h. Is 3 a factor of x?
True
Suppose 5*j = 31 - 226. Let m = -15 - j. Does 8 divide m?
True
Let u = -131 - -146. Suppose 4*r + 80 = 3*b + b, 5*r - u = 0. Is b a multiple of 4?
False
Suppose 0 = -5*b - 2*w + 246 + 1071, 0 = -b + 5*w + 285. Is b a multiple of 53?
True
Let x(h) = 5*h**3 - 20*h**2 - 2*h - 22. Let j(b) = -b**3 - b**2 - b + 1. Let p(d) = 6*j(d) + x(d). Does 28 divide p(-26)?
False
Suppose 2*s + 123 = 6*s + 5*a, 2*a + 129 = 5*s. Suppose -2*w + 13 + s = 0. Does 7 divide w?
False
Let u be 16/(-28)*(60/(-8) - -4). Does 10 divide ((-348)/(-8) - 4)/(1/u)?
False
Let f = -188 - 109. Let r = 434 + f. Does 20 divide r?
False
Does 15 divide ((-27)/(-4))/((-31)/(-496)) + -3?
True
Does 32 divide 310*(((-504)/(-20))/6 - 3)?
False
Suppose 6 = 2*d, 17*d + 3852 = 3*m + 13*d. Is 8 a factor of m?
True
Let r(m) = -m**3 - 21*m**2 + 3*m + 13. Let o be r(-21). Is 11 a factor of 2/5 + (-2180)/o?
True
Let d = -3 - -5. Suppose -6*q - 4*g = -3*q - 171, d*g = q - 67. Is 8 a factor of q?
False
Suppose 1 = 3*a + a - 3*x, 5*a + 1 = 3*x. Let f be 188/3 - a/(-3). Suppose 0 = -2*p + f + 54. Is 29 a factor of p?
True
Suppose 39*x = 40*x - 2. Suppose 0*a + 3*a = -2*w + 273, x*w = a + 293. Is w a multiple of 12?
True
Let s(y) = -4*y**2 + 11*y - 3. Let z be s(6). Let b = -245 - z. Is (-1)/(b/(-56) - 3) a multiple of 10?
False
Let c(w) = -1369*w**2 + 1400*w**2 - 42 - 21*w + w**3 + 77*w. Does 5 divide c(-29)?
False
Let s = 499 + -319. Does 9 divide s?
True
Let m(u) = -4*u**3 + u**2 + 5*u + 2. Let n be m(-4). Let v = n - 128. Does 9 divide v?
True
Let h = -117 - -120. Suppose 0 = -h*d, 2*d + 932 = 5*k - k. Is 27 a factor of k?
False
Suppose 0*o + 3*o - 53 = -4*y, -5*o - 4*y + 75 = 0. Suppose -o*z - 1168 = -19*z. Is 8 a factor of z?
False
Suppose i + 4 = 0, 4*j - 118 + 2 = -5*i. Let f = 4 + j. Suppose -5*v = -u + 5*u - f, 3*u - 11 = 5*v. Is u a multiple of 7?
True
Suppose -3 = -5*h - 13. Let y = 2 - h. Suppose 0 = a, -y*k - 4*a = -18 - 58. Is 8 a factor of k?
False
Let u(i) = 100*i + 332. Is 42 a factor of u(37)?
True
Let i(f) = 177*f + 165. Is 70 a factor of i(5)?
True
Let v = -750 - -1067. Let l = -157 + v. Does 35 divide l?
False
Let x(t) = 3 - 5*t**2 - 12*t**3 + 7*t**3 + 6*t**3 - t**2. Let s be x(6). Suppose -5*a = -3*a + s*g - 21, -a + 21 = -2*g. Is a a multiple of 7?
False
Suppose 0 = -66*r + 63*r + 11316. Is 17 a factor of 2/(r/(-756) - -5)?
False
Suppose 0 = 15*m - 5143 - 4922. Is m a multiple of 34?
False
Suppose 2*a + 455 = 5*f - 1319, 2*f - 718 = -2*a. Is 12 a factor of f?
False
Let j(o) = -o**2 - 8*o + 17. Let g be j(-9). Suppose -g*l + 13*l = 40. Does 4 divide l?
True
Suppose -11 + 34 = h. Suppose -j + h = 2*m, j = 2*m - 2*j - 27. Suppose m = -0*z + z. Is 3 a factor of z?
True
Let m = -115 + 104. Let p = m - -203. Is 12 a factor of p?
True
Suppose 7*r - 182 = -0*r. Suppose -5*z + r = d - 0*z, -3*d + 117 = 2*z. Is d a multiple of 20?
False
Let o(g) = 30*g. Let v be o(7). Does 10 divide v/(-9)*(3 + -6)?
True
Let s(y) = y**2 - 2*y - 4. Let p be s(0). Is 35 a factor of (-2)/(-8)*(p + 0 - -288)?
False
Let d(i) = 244*i + 12. Is 10 a factor of d(2)?
True
Let g = 54 - -40. Let r = 14 + g. Is r a multiple of 18?
True
Suppose 12*w = 10*w + 32. Suppose 34 = 17*y - w*y. Does 17 divide y?
True
Let u(o) = 53*o - 423. Is 56 a factor of u(27)?
True
Does 45 divide (-1 - (-3213)/(-14))*(1 - 3)?
False
Suppose -3*k = -k. Suppose 3*h - 7 = -d, -h - 2 = 4*d - 8*d. Suppose -r = 2*y - 17, -h*y + 7*y - 25 = k. Is r even?
False
Suppose 4*a + 8 = 0, 2*m + 3*m - 5*a = 20. Suppose m*g - 4 = g. Suppose -2 = -t + 2, u = g*t - 13. Is u a multiple of 3?
True
Let v(h) = h**3 + 16*h**2 + 7*h + 2. Suppose -6*b - 59 - 31 = 0. Does 18 divide v(b)?
False
Suppose -2*n - 46 = -4*a + 1566, 0 = 4*a + 4*n - 1624. Does 7 divide a?
False
Suppose -154*r - 4188 = -158*r. Is r a multiple of 9?
False
Suppose 0 = -5*f, -4*r = -f + 2 - 6. Is 10 a factor of (9 + r)*(3 + 3)?
True
Let l be 304/56 - (-8)/14. Let g(b) = 3*b**2 - 3*b + 2. Is 23 a factor of g(l)?
True
Suppose -20*a + 2114 = -206. Is 3 a factor of a?
False
Suppose 0 = 5*m + 5*b - 340, 4*m + 0*m - 272 = 3*b. Suppose -2*v = -2*j - 52, j + j = -2*v + m. Suppose 6 = -k + v. Is k a multiple of 9?
False
Is 22 a factor of (6 + (-24)/15)*35?
True
Let n be (-9)/(4 - 1) - -7. Suppose -n*k + 10 - 2 = 0. Is 2 a factor of k?
True
Let u(m) = -m**3 + 8*m**2 - 6*m - 4. Let q be u(7). Let z be (-3 - 27) + -1 + q. Let p = 66 + z. Is 19 a factor of p?
True
Let r = 27 + -19. Let c(k) = k**2 - 8*k. Let o be c(r). Suppose o = w - 4*w + 36. Is 4 a factor of w?
True
Suppose 5*f + 10 = -5*p, 0 = -7*f + 10*f - 6. Let g(h) = -7 + 1 - 1 - 2*h + 5*h**2. Is 12 a factor of g(p)?
False
Suppose 91*o - 97*o = -678. Is o a multiple of 22?
False
Let h be (1 - 1) + 2838/11. Suppose 0 = 6*y - 3*y - h. Does 13 divide y?
False
Suppose 8*r + 13*r = 73584. Is 77 a factor of r?
False
Suppose 0 = 2*c - 18*k + 21*k - 2667, -3*c = 2*k - 4013. Is 72 a factor of c?
False
Let q = -293 + 569. Let w = 102 + -252. Let f = q + w. Is f a multiple of 30?
False
Suppose -5*y = 3*f - 285, -2*y + 4*f + 149 - 9 = 0. Let r = -11 + y. Does 9 divide r?
False
Let w(l) = l - 12. Let c be w(14). Let h be (c + -4)*(-86)/4. Let d = h - -13. Does 14 divide d?
True
Let z(q) = 4*q - 9. Let h(d) be the third derivative of d**4/12 - 11*d**3/6 - 2*d**2. Let f be h(9). Is z(f) a multiple of 4?
False
Let u be 3/(-12) - 63/(-12). Let t = -3 - u. Let d = t - -19. Is 11 a factor of d?
True
Suppose 3*u = 4*c - 3939, 2*c + 5*u = 4*u + 1957. Is 23 a factor of c?
False
Suppose -4*k = -3*x - 1 + 15, 4*x = 4*k + 16. Let d(t) = -43*t - 4. Let s be d(-4). Suppose -x*z + s = z. Does 28 divide z?
True
Suppose -15 = 107*o - 112*o. Suppose -3*m - 145 + 849 = -2*q, -3*q - 702 = -3*m. Suppose 0*p = o*p - 2*c - m, 0 = -3*p + 4*c + 238. Does 26 divide p?
True
Let j be 444/17 - 8/68. Let v(x) = x**2 - x. Let k be v(2). Suppose k*t - j = 76. Is 17 a factor of t?
True
Let g be (-2)/12 - (-16712)/48. Let n = -908 + g. Is (-1)/(5/n*2) a multiple of 8?
True
Let c(t) = -328*t - 47. Does 38 divide c(-4)?
False
Does 15 divide (3 + (-1)/(-1))*2735/20?
False
Let d = 175 + 746. Is d a multiple of 39?
False
Let y(n) = -n**2 - 9*n - 12. Let b be y(-5). Let w(l) = 0 + 4 + b*l - 2 + 5. Is 14 a factor of w(7)?
False
Let q = 4 + -1. Let c(h) = 6*h + 1. Let u(x) = -6*x. Let n(i) = 4*c(i) + 3*u(i). Does 9 divide n(q)?
False
Suppose 7*l - 481 + 68 = 0. Let v = 129 - l. Does 35 divide v?
True
Let t be (12/14)/((-1)/(-266)). Let o = t - 137. Let v = o + -41. Does 9 divide v?
False
Does 11 divide 149 - (0 + (-1 - (-5 + -1)))?
False
Let c(j) = -7*j - 1. Let g be c(-1). Suppose -336 = -g*i - i. Is i a multiple of 25?
False
Suppose 0 = -2*t + u + 5, t + 5 = -u + 15. Suppose 0 = t*v - 1 + 11. Is 17 a factor of (v + 183/(-6))*-2?
False
Let a = 7 + -3. Suppose j = -a*j + 25. Suppose -5 + 80 = j*l. Does 9 divide l?
False
Is -1*(-8 - -4 - 37) a multiple of 9?
False
Suppose 5*l - 6 = 9. Let b = 7 - l. Suppose -129 = -b*i + i. Does 11 divide i?
False
Suppose 0 = 4*v + 3*k - 861, 3*v = 5*v + 3*k - 429. Is v a multiple of 12?
True
Suppose -5*h + 105 = -0*h. Suppose 0*j = -3*j + h. Is 8 a factor of 97/4 - j/28?
True
Suppose 0 = -4*f + 5*f - 164. Suppose -5*h - 54 = -f. Is h a multiple of 6?
False
Suppose -7*n = -3*n - 4*g - 148, n - 19 = -5*g. Does 34 divide n?
True
Suppose -32*i = -29*i - x - 2739, 0 = i - x - 915. Is i a multiple of 48?
True
Suppose -67 - 47 = 2*j. Let s = j - -83. Is 13 a factor of s?
True
Suppose 4*x + 2*x + 444 = 0. Let i = -48 - x. Is 4 a factor of i?
False
Let b = -115 + 182. Suppose -2*m - 24 = -3*i + m, m + 4 = 0. Suppose -2*y = -0*q + q - 59, i*y = -q + b. Is q a multiple of 17?
True
Suppose 5*h + 4 = -5*s - 1, -4*h + s = -16. Let v be 2 + h/((-3)/68). Is 11 a factor of (v/(-10))/(1/5)?
True
Suppose -1136*h = -1135*h - 687. Does 7 divide h?
False
Let l(y) = y**2 - 2*y. Let o be l(1). Is 4 a factor of (-39)/(-2)*1*(1 - o)?
False
Let q(i) = i**2 - 12*i + 14. Let r be q(10). Let x(t) = -18*t - 1. Is 5 a factor of x(r)?
False
Let s be 8/(-28) - 116/(-14). Suppose 10 = 3*j - s. Suppose j*v - 4 = 3*v + 2*m, -4*m = -2*v. Is 2 a factor of v?
True
Suppose -17*k + 3225 