= -7*r + a. Is 3 a factor of r?
False
Let b(n) = -9*n - 64. Let r be -6*((-42)/(-9) + -3). Is b(r) a multiple of 23?
False
Let b(i) = 5 - 3 + 2*i**2 + 13*i - 1 - 12*i. Is 8 a factor of b(3)?
False
Suppose -15*n + 7*n + 288 = 0. Let v = -26 + n. Is 9 a factor of v?
False
Let o = -151 + 276. Let s = o + -93. Is 8 a factor of s?
True
Suppose 0 = -7*a - 139 + 1805. Does 7 divide a?
True
Does 80 divide (32 + -12)/((3 - -1)/208)?
True
Let g = -40 + 81. Suppose 9 + g = v. Is v a multiple of 10?
True
Is 93 a factor of (49104/(-55))/((-2)/(-3 - -13))?
True
Suppose 5*i - 35 = -10. Suppose -i*z + 100 = a, -2*a - z + 230 = -6*z. Does 10 divide a?
True
Suppose -55*v + 51*v + 3*y + 5721 = 0, 0 = 3*v + 4*y - 4272. Is 42 a factor of v?
True
Let c(o) be the third derivative of 2*o**4/3 + 14*o**2. Is 9 a factor of c(6)?
False
Let z(t) = t**2 + 17*t + 13. Let p be z(-15). Let o = p - -23. Suppose j + 155 = o*j. Is j a multiple of 6?
False
Let l = 18 + -30. Let a(z) = -7*z + 2. Let b be a(l). Suppose 2*v = -0*v - 2, -2*j - 4*v + b = 0. Is j a multiple of 16?
False
Let k = 699 + 456. Suppose 9*w - k = 933. Does 29 divide w?
True
Let u = 1456 - 528. Suppose -5*m - 3*v = -v - 1157, 4*v - u = -4*m. Is 33 a factor of m?
True
Let b(s) = 4*s**3 + s**2 - 3*s + 1. Let v be 18/135 + (-28)/(-15). Does 31 divide b(v)?
True
Suppose 51 = 2*l + 153. Suppose 4*d - 4*m - 388 = 0, -m - 191 = -2*d - 0*d. Let s = d + l. Is 13 a factor of s?
False
Suppose -i - 319 = -2*f, -f - f = 5*i - 337. Does 13 divide f?
False
Let z(g) = -g**3 + 12*g**2 - 18*g + 11. Is z(7) a multiple of 35?
False
Suppose -4*k - 2*i - 22 = 0, 13 + 7 = -4*i. Does 10 divide (k - 0/(-4))*-10?
True
Let o be (-1 - 24/(-9))*3. Suppose 0 = -5*d + 3*d + 2, -677 = -o*a - 2*d. Does 27 divide a?
True
Suppose -6*t - 241 = -2077. Does 34 divide t?
True
Suppose 91 = -8*v + 2843. Is v a multiple of 8?
True
Suppose -9*s + 7*s - 3*v + 494 = 0, 3*s + v = 734. Is 8 a factor of s?
False
Let b be (-1 - -2)/((-4)/(-36)). Let v = b - 4. Does 4 divide v?
False
Let w(h) be the first derivative of -h**4/4 + 10*h**3/3 - 9*h**2/2 - 8*h + 6. Is 16 a factor of w(8)?
True
Let y = -245 + 423. Is y a multiple of 71?
False
Suppose -8*n - 4*n = -4860. Is 15 a factor of n?
True
Suppose 0 = 5*c - 10*c + 3*u + 4497, 4*u - 4469 = -5*c. Is 10 a factor of c?
False
Let f be (-14)/2 - (-2)/2. Let r(j) = -3*j**2 - 2*j**2 - 7*j + j**2 - 1 + 5*j**2. Is r(f) a multiple of 14?
False
Is 30 a factor of 1*(-2126)/(-8) + 27/(-36)?
False
Let z be (-4 - -3)*1/1. Is 20 a factor of (-40)/((-5)/(-10) + z)?
True
Suppose -2 = 3*x - 14. Suppose 2*j + 30 = x*o, 4*o + j - 5 = 22. Suppose o = -3*g - 2, -4*t - 5*g + 153 = 0. Is 12 a factor of t?
False
Let a = -135 + 231. Suppose -5*u = -2*u - a. Is 32 a factor of u?
True
Suppose 0 = 4*q - 33 + 5. Let m(w) = 16*w. Does 14 divide m(q)?
True
Let n = 1288 + -805. Is 36 a factor of n?
False
Let j be (-3)/(-1 + 0/(-1)). Let s = -25 - -76. Suppose 0 = j*l - 120 - s. Is l a multiple of 15?
False
Let i = -82 - -118. Is 16 a factor of 2295/i - 2/(-8)?
True
Suppose 4*x - 562 + 2718 = 0. Let a = 974 + x. Suppose 5*q - a = -50. Does 16 divide q?
False
Let y(p) = p**3 - 6*p**2 - 13*p + 10. Let g be y(7). Let u = g + 56. Is u a multiple of 24?
True
Suppose -3*f = -5*o - 479 + 4741, 10*o - f - 8504 = 0. Does 11 divide o?
False
Let u(p) = -p**3 + 2*p**2 + 3*p - 7. Does 4 divide u(-5)?
False
Let g(k) = k**2 - k. Let u(j) = 2*j**2 - 4*j + 6. Let n(o) = 5*g(o) - u(o). Let v be n(3). Suppose 4*h - 26 - 70 = 2*i, h - v = 2*i. Does 26 divide h?
True
Let f(l) = 2*l**2 - l - 7. Let x be f(-3). Let o = x + -7. Is o a multiple of 2?
False
Let k(v) = v**3 + 12*v**2 - 17*v + 15. Let u = -33 - -20. Let g be k(u). Suppose 2*w - g - 3 = 0. Is w a multiple of 18?
False
Let k = -98 + 101. Is 1/(1630/(-545) + k) a multiple of 10?
False
Is 12 + -17 - (-304)/(-12)*-3 a multiple of 19?
False
Let g(j) = -j - 8. Let z be g(-11). Suppose 0 = z*k + 3*k - 360. Is k a multiple of 5?
True
Let a = -31 - -100. Let i = -76 + 121. Let m = a - i. Does 8 divide m?
True
Suppose 0 = 16*n - 280 - 760. Does 5 divide n?
True
Let z(f) = -f**3 - 11*f**2 - f + 3. Is z(-14) a multiple of 55?
True
Suppose -14*u + u + 936 = 0. Does 18 divide u?
True
Suppose -b - n = 1, -4*b + 7*b + 13 = -n. Suppose -4*g + 3*g + 7 = -3*s, -2*g = -s - 19. Let t = b + g. Does 3 divide t?
False
Suppose -2*q + 348 = -4*x, 2*q + 2*x + 702 = 6*q. Does 14 divide q?
False
Let s(h) = -h**2 + 4. Let f be s(0). Let v(y) = -5*y**3 + 0*y**2 + 3 + 2*y**3 + f*y**3 - 7*y**2. Is v(8) a multiple of 16?
False
Suppose -6*b - 48960 = -40*b. Is 10 a factor of b?
True
Suppose 21*k - 23*k = -196. Let c = k + -60. Is 15 a factor of c?
False
Let r be -2*(-15)/10*5. Suppose s + 129 = 4*y, -3*s = 4*y - 110 - r. Does 32 divide y?
True
Let l(z) = 29*z**2 - 2*z + 3. Let s be l(1). Suppose -w + 5 = -0*w + 3*v, w - s = 2*v. Is w a multiple of 4?
True
Let n be (-6)/8 + (-258)/(-24). Let q be (-4)/(-3)*45/n. Suppose 2*o - 3*o = -q. Is 3 a factor of o?
True
Let q = -1381 - -3782. Is q a multiple of 62?
False
Suppose -p - 2*p = 3*o - 12, 0 = 4*o + 5*p - 16. Is 24 a factor of (o/(-6))/((-18)/2889)?
False
Let i be -10*2/8*-2. Suppose -i*t + 82 = 2. Let p = t - -14. Is p a multiple of 10?
True
Suppose b - 2*d - 54 = -b, 3*d = -5*b + 143. Suppose 4*h - b = 4*u, 2*h - u - 15 = 4. Is h a multiple of 4?
True
Let n be (142/3)/((-16)/24). Suppose 2*l = -45 - 31. Let i = l - n. Is 11 a factor of i?
True
Is (-270)/4*(-1316)/141 a multiple of 9?
True
Let m(f) = -3*f**2 - 2*f + 8 + 0 + f**3 - 3*f + f. Does 8 divide m(4)?
True
Suppose 2*v - 1599 = -z, 13*z - 17*z + 2*v = -6366. Is 12 a factor of z?
False
Suppose -s = -5, 2*s + 655 = 5*v - 30. Let b = v - 80. Does 17 divide b?
False
Let y be 8/5 + 10/25. Suppose 0 = 4*b - 6*b + y. Is 12 a factor of 18/b*4/6?
True
Let y = 462 + -92. Is y a multiple of 10?
True
Suppose -k + 149 = -0*k - t, 0 = -5*k - 3*t + 729. Suppose n - k + 22 = 0. Is 19 a factor of n?
False
Let h be (-453)/(-11) - 28/154. Suppose -87 = h*f - 44*f. Does 7 divide f?
False
Let k(x) = 7*x + 4. Suppose 0 = 2*m - 9 - 7. Does 30 divide k(m)?
True
Let t be 80/(-24)*(1542/(-15) - -2). Suppose -4*b - t = -12*b. Does 6 divide b?
True
Suppose 144 - 396 = -2*g. Is 26 a factor of g?
False
Suppose -i + 2 = -2*v - 3*i, 0 = -2*v - 5*i - 5. Suppose v = -3*k + 16 + 137. Is 17 a factor of k?
True
Let u = -43 - -64. Suppose 7*y = 10*y - u. Is y a multiple of 3?
False
Let a = 4878 + -3217. Does 19 divide a?
False
Does 3 divide 1*20/90 + (-212)/(-18)?
True
Let h(o) be the third derivative of o**4/8 + 5*o**3/6 + o**2. Let k be (84/(-3))/((-6)/3). Does 20 divide h(k)?
False
Suppose 9*f = 100*f - 317226. Is f a multiple of 14?
True
Let o(k) = -9*k**2 - 6*k + 1. Let j(b) = -8*b**2 - 5*b + 1. Let n be -9 + 4 + 1 + -2. Let z(w) = n*j(w) + 5*o(w). Does 13 divide z(3)?
True
Let l be -23*7/((-21)/(-9)). Let u = 139 + l. Does 35 divide u?
True
Is ((-3402)/(-5))/1 + (-214)/535 a multiple of 124?
False
Let z be 14*1/(-2)*-3. Does 8 divide (-362)/(-4) - z/42?
False
Let i(u) = u + 8. Let f be i(-8). Suppose 3*h - 11 = -h - b, f = 3*h - 4*b - 13. Suppose 6*m - 180 = h*m. Does 30 divide m?
True
Let w = -32 - -34. Suppose 5*a = 5*v + 2*a - 434, w*a + 260 = 3*v. Does 20 divide v?
False
Let i = 59 - 32. Let v = -7 + i. Is v a multiple of 20?
True
Suppose 0 = -t, -560 = -2*b - 3*b - 3*t. Does 16 divide b?
True
Is (485 - (0 + 10)) + -10 a multiple of 31?
True
Let y = -273 + 617. Is 43 a factor of y?
True
Suppose -5*b = 2*x, 2*b = -3*x + 5*b. Suppose 3*u + 0*u - 93 = x. Does 14 divide 6/(-2) - (0 - u)?
True
Let t = -193 + 641. Is t a multiple of 8?
True
Let d = 924 + -564. Is 8 a factor of d?
True
Suppose 13*b + 197 = 14*b. Suppose b = p - 5*i, 5*p + 6*i - 958 = 4*i. Does 12 divide p?
True
Let v(g) = -g - 8. Let s be v(11). Let d = s + 22. Let a(w) = w**3 - 2*w**2 + w - 2. Is 8 a factor of a(d)?
False
Suppose 2*f - 2*q = 5 + 3, 0 = -3*f + 4*q + 16. Suppose 3*w - 12 = -3*o, w - 5*w - 2*o + 8 = f. Suppose w = -24*k + 28*k - 72. Is 6 a factor of k?
True
Let s be 1/(3*2/180). Suppose -s = -0*d - 3*d. Is d a multiple of 10?
True
Suppose -6670 = 8*h - 37*h. Is 45 a factor of h?
False
Suppose 5*c = 15, -4*x = -3*c + 3 - 10. Let y(s) = 5*s**2 + 5. Let z be y(x). Let n = 138 - z. Is 