*j - s. Does 6 divide j?
True
Suppose b - 3 + 1 = 0. Let a(t) = 3*t**3 + 7*t**2 - t - 7. Let k(p) = 4*p**3 + 8*p**2 - p - 8. Let l(w) = -6*a(w) + 5*k(w). Is 4 a factor of l(b)?
True
Suppose 4*m + 889 - 2388 = -3*t, -2*t - 6 = 0. Is 13 a factor of m?
True
Suppose -6 = q - 3*q + 2*i, 2*q = 3*i + 7. Does 26 divide ((-4)/(-10))/(q/520)?
True
Let m be (115/(-25))/((-1)/(-5)). Let t(o) = o**2 + 21*o - 33. Is t(m) a multiple of 13?
True
Let f be 9*-4*(-1)/(-4)*-4. Suppose -23*s + 24*s = f. Is 6 a factor of s?
True
Suppose 116*y - 525929 + 75269 = 0. Is 35 a factor of y?
True
Suppose 0 = -5*w - 2*i + 18, 0 = 5*w - i - 2 - 4. Suppose -w*n + 3*n - 25 = x, 2*n = -x + 62. Let v = -9 + n. Is v a multiple of 20?
True
Let m(x) = -x**2 - 47*x - 2. Does 46 divide m(-10)?
True
Let b = 70 + -106. Let r = 66 + b. Suppose -8 = -k + r. Is k a multiple of 18?
False
Let u(z) = -z**3 + 20*z**2 + 12*z + 35. Is u(7) a multiple of 21?
True
Is -3 + ((-12304)/(-20) - (-2)/(-10)) a multiple of 68?
True
Suppose 0 = -4*y - 8, -5*o - 4 = -3*o - 4*y. Let l be (0 + -1)/(3/o). Let m = l - 0. Is 2 a factor of m?
True
Let c(h) = 84*h - 84. Is c(6) a multiple of 30?
True
Suppose 2*z + 2*l - 108 = 0, 0*z + 50 = z - l. Suppose -5*o - f + 260 = -5*f, 0 = o - f - z. Is o a multiple of 10?
False
Suppose -4*h + 29 = 9, u + 4*h = 68. Suppose u = 8*l - 6*l. Is l a multiple of 4?
True
Let t(m) be the third derivative of m**6/120 - m**5/60 - m**4/6 + 115*m**3/6 + 2*m**2 - 2*m. Does 11 divide t(0)?
False
Suppose 7*x - 13 = 8*x. Let b = 7 + x. Is 8/b*(-45)/2 a multiple of 15?
True
Let m be 2*(25/(-2))/(-5). Suppose 5*l + 100 = u, -4*u + 421 = m*l - 4*l. Is 23 a factor of u?
False
Suppose 0 = 3*h - 4*h + 3. Suppose h*x - 5*x = -100. Is 35 a factor of x?
False
Is ((-43695)/2)/(-9) + 4/8 a multiple of 21?
False
Suppose -5*m = z - 41, 5*z - 6*m - 309 = -5*m. Let y be ((-30)/18)/(1/(-15)). Let g = z - y. Is 9 a factor of g?
True
Suppose 3 - 7 = -4*v. Is 15 a factor of (v/(-2))/(2/(-96))?
False
Let l(b) = b**3 + 8*b**2 + 4*b - 4. Let f be l(-6). Let t = f - -25. Suppose 8*x - 3*x - 126 = 3*m, t = 2*x + 5*m. Is x a multiple of 13?
False
Let d = 2325 + -1105. Is d a multiple of 8?
False
Let z = 1189 + -1699. Suppose 5*n + 2*l = -2*l - 3, n + l + 1 = 0. Does 17 divide n/4 + z/(-8)?
False
Suppose 11 - 5 = m. Suppose m = w - 15. Does 7 divide w?
True
Let f = -159 - -314. Suppose -30*j = -29*j - f. Is j a multiple of 27?
False
Suppose 264 = -5*d + 1829. Suppose 2*u + 109 = d. Does 21 divide u?
False
Suppose 2*o - 4*z = -0*o + 998, -2*o = 4*z - 966. Is o a multiple of 28?
False
Let h be (-92)/(-14) + (-4)/7. Suppose 2*n + h*n = 24. Is 16 a factor of n - (3 - 16 - 0)?
True
Suppose 2*b + 3*g = 1254, 2*b - 5*g - 1250 = -6*g. Does 52 divide b?
True
Let v = -93 - -303. Suppose 10*l - v = 7*l. Does 15 divide l?
False
Suppose 91*z - 84*z - 4137 = 0. Does 37 divide z?
False
Suppose 0 = -5*h - 2*m - 10, -11 = -4*h + 2*m - 1. Suppose 3*q - 4 - 1 = 2*l, 5*l + q - 13 = h. Suppose 0 = -l*w + 57 + 9. Does 11 divide w?
True
Let c(v) = -v**3 - 2*v**2 - 11*v - 10. Let i be c(-1). Let y(t) = -5*t - 286. Let h(m) = 2*m + 95. Let d(p) = -8*h(p) - 3*y(p). Is 20 a factor of d(i)?
False
Suppose 2*a - 388 - 21 = 5*w, 389 = 2*a - w. Suppose a = 4*v - 4*p, -3*p = 2*v + 41 - 152. Does 9 divide v?
False
Let i(a) = -a**2 - 9*a. Let c be i(-9). Suppose -r + 2*y + 6 = r, -6 = -r - 2*y. Suppose -3*w - r*f = -c*f - 80, w - 2*f - 30 = 0. Is 28 a factor of w?
True
Let p = 808 - 360. Is p a multiple of 32?
True
Suppose 6*x - 14*x + 8216 = 0. Is x a multiple of 17?
False
Let l = -75 - -30. Let n = -22 - l. Is n a multiple of 2?
False
Suppose -5*u + 3035 = 5*p, 3*p + 615 = 4*p + 3*u. Is 35 a factor of p?
False
Let i(a) = 3*a**2 - 18*a - 2. Let x be i(6). Is 13 a factor of x/2 - -3 - -14?
False
Suppose -6*j + 1089 = -1107. Is j a multiple of 8?
False
Suppose 143*v - 63626 = 114*v. Is v a multiple of 54?
False
Suppose 32*w = 50319 + 4593. Does 78 divide w?
True
Suppose -37 = -g + 17. Does 15 divide g?
False
Let c be 0 + 2 + (2 - -2). Let n = c - -24. Does 13 divide n?
False
Let b(o) = -o + 7. Let d be b(5). Let v = 13 + d. Does 3 divide v?
True
Let x(c) = c**3 + 18*c**2 + 14*c - 18. Let q be x(-16). Suppose 3*m + q = 4*m. Does 45 divide m?
True
Suppose 0 = -11*o + 2*o + 27. Suppose -b - i - 22 + 309 = 0, -o*b = 2*i - 860. Is 22 a factor of b?
True
Let m = -20 + 22. Let s(c) = 15 + 26*c + c**m - 2*c**2 - 15*c. Is 5 a factor of s(11)?
True
Let m = 1819 + -1099. Is 36 a factor of m?
True
Let d(i) = 3*i - 1. Let w be d(2). Suppose 3*n - 19 = w. Let v = n + 2. Is v a multiple of 5?
True
Suppose -3*j - 2 = -8. Suppose -u + 5*u - 2*n = 110, 0 = j*u - 3*n - 65. Does 8 divide u?
False
Let o be (-3)/1*5/(-3). Let j be (6/(-5))/(3/(-35)). Suppose a + o = j. Does 3 divide a?
True
Let g(b) = 3*b**2 - b + 41. Is g(12) a multiple of 14?
False
Suppose 34*c + 16 = 38*c. Let v be 1 + 47 - (-1 - 1). Suppose -v = -2*o + c. Is 7 a factor of o?
False
Suppose 0 = 2*r + 8, 2*f + 5*r + 5 = -11. Suppose -2*o - f*o = -312. Is o a multiple of 26?
True
Let z(k) = k**2 + 5*k - 42. Let j be z(-9). Is (-2)/j*(6/(-2) - -102) a multiple of 11?
True
Suppose -10*o + 7*o = -12. Suppose o*x = 3*x + 113. Does 19 divide x?
False
Suppose 2*h = 6*h + 12. Let f be (70/28)/(1/2). Is 3 a factor of (-3 + 1 - h)*f?
False
Let z = -807 + 971. Is z a multiple of 82?
True
Suppose 0 = -p - 5*r + 2785, 3*p - 3*r - 6771 = 1620. Is p a multiple of 13?
True
Suppose 7*i - 15 = 2*i. Suppose -z = i*z. Suppose -4*a + 116 = -z*a. Does 29 divide a?
True
Let o = 20 + -14. Does 7 divide (4 - 21/o)*56?
True
Suppose 13*i - 13760 = -30*i. Does 40 divide i?
True
Let c = 268 - -312. Is c a multiple of 58?
True
Suppose 4*f - 28*z - 260 = -32*z, 2*f - 109 = 5*z. Is f a multiple of 42?
False
Let z(a) = -a**3 - 6*a**2 + 16. Let f be 1 - (-1 + 4 + 4). Is z(f) a multiple of 14?
False
Let h = 2560 + -1633. Is 9 a factor of h?
True
Suppose 39*w - 36*w = 3*n + 3984, -w + 4*n = -1322. Is 38 a factor of w?
True
Suppose -5*l + 7*l - 144 = 0. Is l a multiple of 36?
True
Let n = 3496 + -1669. Is n a multiple of 37?
False
Let m = 51 + 6. Let u = -7 + m. Does 10 divide u?
True
Suppose 0 = w - 4*s - 424, -6*s = 3*w - 2*s - 1256. Is 14 a factor of w?
True
Let i(y) be the third derivative of 41*y**4/12 + y**3/6 - 19*y**2. Suppose -3*q = -2*q - 1. Is i(q) a multiple of 23?
False
Does 36 divide 1*(-16)/40*-95?
False
Let i(w) = 6*w**2 - 3*w - 17. Let g be i(5). Let y = -70 + g. Is 6 a factor of y?
True
Let r(n) = -2*n**2 - n + 4. Let x be r(2). Let c(g) = g**3 + 8*g**2 - 19. Does 16 divide c(x)?
False
Does 39 divide -2*7/(-2)*(-290472)/(-1372)?
True
Let u = 119 - -89. Is u a multiple of 8?
True
Suppose 23*t = 1295 + 361. Does 12 divide t?
True
Let k be 3*1*152/24. Suppose -k = -m + 51. Is m a multiple of 35?
True
Let a = -37 - -42. Let z = 35 + a. Is z a multiple of 7?
False
Suppose -3*d + 95 = -y + 3*y, 5*d + 3*y - 158 = 0. Let g be 7 + (-1 - (-5 - -2)). Let b = d - g. Is b a multiple of 19?
False
Does 4 divide ((-2)/((-2)/3))/(15/3805)?
False
Let i = -29 + 25. Let g be ((-3)/i)/(6/72). Let t = 11 - g. Is 2 a factor of t?
True
Suppose -7841 = -49*n + 14209. Does 6 divide n?
True
Suppose -3*a + 188 = -5*a. Let f = -143 - a. Is (-21)/f + 25/7 a multiple of 4?
True
Let p(b) = 3*b - 6. Let h be p(2). Suppose w - 280 = -5*s, -2*s + h*w + 94 = 4*w. Let c = s - 33. Is c a multiple of 12?
True
Let j = 1834 - 1166. Does 43 divide j?
False
Let c(x) be the first derivative of -x**2 - 3*x + 1. Let r be c(2). Does 10 divide 2/r - (-568)/28?
True
Does 3 divide 660/8*(-104)/(-78)?
False
Suppose 991 + 2989 = 20*k. Is 7 a factor of k?
False
Let a(p) = -3*p - 2. Let y(d) = -d - 1. Let o(u) = a(u) - 4*y(u). Let j be o(-4). Let s(i) = -21*i - 1. Is 14 a factor of s(j)?
False
Suppose 5*n - 1 = 34. Suppose -8 = -n*m + 3*m. Is 16 a factor of -8*(m - (6 + 0))?
True
Let z(i) = 33*i - 6. Suppose -6*c + 0*c = -24. Is 18 a factor of z(c)?
True
Suppose -3*c + 10 = 2*c. Suppose 0 = -c*n - 0*n + 112. Is 9 a factor of n?
False
Let i(m) = m**3 - 5*m**2 - 10*m - 7. Let s be i(8). Let t = -57 + s. Is t a multiple of 24?
True
Suppose 0 = -0*k + 4*k + 40. Let h(c) = -4*c - 57 + 3*c + 60. Does 5 divide h(k)?
False
Let u = -665 - -1220. Is u a multiple of 22?
False
Le