 2*m - 3128. Is m a multiple of 39?
True
Suppose 0 = 9*w - 624 - 1212. Does 10 divide w?
False
Suppose 1232 + 78 = b - 3*k, 5*k + 2624 = 2*b. Does 9 divide b?
False
Let l be (0/(2/(-1)))/(-2). Suppose b - 4 + l = 0. Suppose -5*i = -h - i - b, -h = -5*i + 8. Is 12 a factor of h?
True
Is (-4)/(-3)*(-12 - 5967/(-52)) even?
False
Let u(a) = a**3 + 7*a**2 - 6*a - 7. Suppose 0 = 2*t + 7 + 7. Is u(t) a multiple of 14?
False
Suppose -5*q = -4*q. Let z(u) = -u**2 + 8. Let w be z(q). Suppose -84 = -w*v + 4*v. Is 18 a factor of v?
False
Suppose -2*t + 12 = -0*t - 4*k, -2*t - 2*k = 12. Let p be t + -1 - 14/(-1). Suppose -15*q = -p*q - 44. Is q a multiple of 5?
False
Suppose 28 = 4*h - 5*b, -2*h + h = b + 2. Suppose -h*c = -l + 5, -4*c + l - 6 = -1. Suppose c = -5*i - 4*a + 47, i - 26 = -i + 2*a. Does 11 divide i?
True
Suppose 39 + 10 = 7*w. Let s(u) = -u**3 + 7*u**2 + u + 3. Is s(w) a multiple of 4?
False
Let v = 1075 + -695. Does 30 divide v?
False
Suppose -11*x + 19821 - 4982 = 0. Is x a multiple of 19?
True
Let a(k) = -k**3 - 17*k**2 - 8*k + 12. Is a(-17) even?
True
Suppose 75 = -3*d + 3*y, 3*y + 0*y = d + 35. Let m = 2 - d. Does 5 divide m?
False
Suppose -61 = 5*x - 281. Suppose -x = -23*s + 21*s. Is s a multiple of 4?
False
Suppose 0 = -19*h + 16*h + 498. Is h a multiple of 24?
False
Suppose 0*d + 4*d = 0, -2*j = -3*d. Let w be (-1)/(-3)*(-120)/(-8). Suppose -w*a + 78 + 62 = j. Is 14 a factor of a?
True
Let y(n) = n**2 - 2*n - 3. Let j be y(4). Let f = j + 7. Is 8/f + 118/3 a multiple of 10?
True
Is 11 a factor of (-1911)/(-6) - (-4)/(24/9)?
False
Suppose h + 3*j + j - 158 = 0, 0 = -3*h + 5*j + 491. Does 2 divide h?
True
Is 2 - (-42)/(-12)*-148 a multiple of 10?
True
Is -4 - (-322)/77 - (-4911)/33 a multiple of 29?
False
Does 3 divide (-16)/(-56)*1162/4?
False
Let z(i) = i**2 + 11*i + 11. Let u(l) = l**3 + 7*l**2 - 6*l + 2. Let n be u(-8). Does 13 divide z(n)?
False
Let q be (6 - 0)*(-5)/(-10). Suppose -2*c = -r - 2, -r + q*c = -0 + 5. Suppose 0*h - 2*s = h - 58, r*h + 4*s - 212 = 0. Is 12 a factor of h?
True
Let y = -9 + 14. Let j(q) = q**2 - 1. Let n(v) = -v**3 - 4*v + 3. Let r(i) = 6*j(i) + n(i). Is r(y) a multiple of 2?
True
Let v = 31 + -62. Let t = -8 - -101. Let q = t + v. Is q a multiple of 20?
False
Let y(t) = t**2 - t. Let m be y(2). Suppose c + 30 = -m*c. Let s(q) = -q**2 - 16*q - 5. Does 11 divide s(c)?
True
Let a(b) = 2*b**2. Let d(f) = 4*f**2. Let z(n) = -7*a(n) + 4*d(n). Let c(i) = -i**3 - 8*i**2 + 8*i - 13. Let q be c(-9). Does 16 divide z(q)?
True
Suppose -w + 4*w - 120 = 0. Suppose -29 = -2*q - 9. Suppose w = -5*y + q*y. Is 8 a factor of y?
True
Suppose -20*n + 27366 = 7806. Does 71 divide n?
False
Let j be 8/(-20)*-5 - -5. Suppose 2*i - j = 3. Suppose s - 9 - 15 = i*d, 3*d = 0. Does 6 divide s?
True
Let n(a) = 75*a**2 - 3*a - 3. Let i be n(-2). Suppose 0 = -5*x - 63 + i. Does 12 divide x?
True
Suppose -78 = 15*p - 1203. Is 25 a factor of p?
True
Suppose -1603 - 2093 = -8*v. Is v a multiple of 6?
True
Suppose 7*k - 5*k = 2*j - 302, 0 = -5*j - 5*k + 775. Is 3 a factor of j?
True
Let s(f) = -f**2 + 8*f - 6. Let r(p) = p**2 - 7*p + 6. Let t(n) = 5*r(n) + 4*s(n). Is 3 a factor of t(2)?
False
Let p(n) = n**2 - 14*n + 89. Is p(15) a multiple of 8?
True
Suppose 0 = 1972*h - 1967*h - 12000. Is h a multiple of 50?
True
Suppose y + 2 = -y + s, 0 = 4*y - s + 2. Suppose d = 3*d - 4. Suppose y = 5*j + 25, -d + 84 = p - 2*j. Is p a multiple of 11?
False
Suppose 0 = -4*a - 2*o + 126, 4*a + o - 132 = 5*o. Is a a multiple of 16?
True
Suppose 0 = 4*z + 2*h - 684, -172 = -19*z + 18*z - h. Is 2 a factor of z?
True
Let y be (6 - 8)*2/(-2)*1. Let w(l) = 32*l + 8. Is w(y) a multiple of 11?
False
Let a = -311 - -630. Does 29 divide a?
True
Suppose 5*p = -4*k + 44 + 18, -5*p + 44 = 3*k. Suppose -48 = -k*w + 17*w. Is w a multiple of 12?
True
Suppose 4*i = -5*l - 7, 0 = -2*i + 3*l + 7 + 6. Let g be (-4)/(0 + i + -4). Suppose -g*u = 5*a - 34, 2*u - 3 - 19 = a. Does 4 divide u?
True
Let z be 5/((-15)/(-72))*(-3 - 3). Let w = z - -277. Is 19 a factor of w?
True
Suppose -5*p + 39 - 9 = 0. Is 9 a factor of (-964)/(-36) + p/27?
True
Let o = -20 + 8. Suppose -5*q = -87 - 53. Let l = q + o. Does 10 divide l?
False
Let n(g) = -7 - 4*g + 2*g + 20 + 10. Let c be n(0). Let f = c + -18. Is f even?
False
Let w = -31 + -1. Let t = 7 - w. Does 37 divide t?
False
Suppose 4*m - 258 = 58. Is m a multiple of 7?
False
Let z = 13 + -7. Is 19 a factor of (-2 + z)*(-67)/(-4)?
False
Let w = -159 - -295. Is 7 a factor of w?
False
Let d(a) = 2*a**2 - 8*a - 12. Let x be ((-12)/10)/(7/(-35)). Let o be d(x). Suppose -48 - o = -5*k. Does 3 divide k?
True
Suppose -2*q + f = -193, q + 0*q - 2*f - 89 = 0. Is q a multiple of 7?
False
Does 42 divide 25571/21 + (-11 + 6)/(-15)?
True
Let t = 14 + -12. Suppose 0 = -2*q - 6*z + t*z - 16, -5*z - 15 = 0. Is 14 a factor of 1/(q + 114/56)?
True
Suppose -3*a - 29 = -5*q, 0*a = 3*q + 3*a - 3. Let l be q + (-1)/(3/81). Let f = l - -39. Does 8 divide f?
True
Let d(r) = 184*r + 768. Is 48 a factor of d(24)?
True
Let f(d) = -5*d**3 - d**2 - 2*d - 1. Let j be f(-1). Suppose j*r + 144 = 6*r. Is r a multiple of 24?
True
Suppose -7498 - 4577 = -7*n. Does 23 divide n?
True
Let k(b) = 11*b**3 - b**2 - 7*b + 14. Does 6 divide k(2)?
True
Suppose 12 = -3*u, -5*c = -4*u - 36 + 5. Let o(s) = 12*s**2 - 6*s + 6. Does 33 divide o(c)?
False
Suppose -5*r + 9*r = 36. Suppose -17 = -2*p - v + r, 2*p = v + 22. Suppose -16*o + p*o = -180. Is o a multiple of 11?
False
Let j be (-4)/(24/66) - (-1 + -2). Let n = 34 - 19. Let y = j + n. Does 2 divide y?
False
Let k = 11 + -9. Let m(f) = 2*f**2 - 8*f - 6. Let z be m(5). Suppose b + z = -2*t + 3*t, -b - 11 = -k*t. Is 2 a factor of t?
False
Suppose 21*r - 807 = 1104. Is r a multiple of 4?
False
Let s be (((-165)/(-10))/(-11))/(2/8). Let z(q) = q**3 + 5*q**2 - 11*q - 17. Is z(s) even?
False
Does 36 divide 1444/6 + 10 + (-87)/9?
False
Let b(i) = -1 + 3 - 6 + 3*i**2 - i. Let h be 30/(-3)*6/(-15). Does 18 divide b(h)?
False
Is 10 a factor of 3/9*-1 + 435/9?
False
Suppose 0 = 2*o - 6*o + 336. Suppose -p - o = -7*p. Is p a multiple of 2?
True
Let m(q) = -q + 5. Let o = 20 - 12. Let j be m(o). Let s(i) = i**3 + 3*i**2 - i + 4. Is s(j) a multiple of 2?
False
Suppose -6 = -2*r, -5*k - 3*r - 7 - 24 = 0. Is 13 a factor of 16 - (k/5 - 4/10)?
False
Suppose 13*m + 350 = 15*m - 4*q, -q = -2*m + 338. Is m a multiple of 24?
False
Suppose 0 = -r + 22 - 5. Is r a multiple of 2?
False
Does 34 divide (7/(245/3180))/(2/7)?
False
Let w(h) = -h**3 + 21*h**2 - 3*h - 38. Let r(u) = -2*u**3 + 41*u**2 - 6*u - 76. Let z(i) = 2*r(i) - 5*w(i). Is 10 a factor of z(23)?
False
Let m(s) = 149*s**3 - 3*s**2 + 5*s - 1. Is m(1) a multiple of 27?
False
Let h = 98 - 72. Does 13 divide h?
True
Let k = -4 - -3. Let l = k - 1. Does 8 divide (3/(-9))/(l/204)?
False
Let i(q) = -q**3 + 7*q**2 + 8. Let r be i(7). Suppose -h = -3*l + 13, 4*h - 4 = 4*l + r*h. Suppose 4*z + 4*s + 11 - 191 = 0, -l*s = 9. Does 11 divide z?
False
Is -5 - -3 - 1 - (-235 - 0) a multiple of 17?
False
Suppose 5*j + 760 = 5*w, 237 = 4*w - 5*j - 369. Does 20 divide w?
False
Let o(k) = -8*k + 14. Let f(c) = -7*c + 13. Let a(g) = -7*f(g) + 6*o(g). Let y be a(5). Is (-33)/y + 4/(-8) a multiple of 3?
False
Suppose -c + 5*c = 24. Suppose 2*m - b = 579, -b + c*b - 862 = -3*m. Is m a multiple of 14?
False
Let a be -2 + (-4 - 294/3). Does 10 divide (a/16)/(2/(-4))?
False
Let n be (-238)/(-12) + (-14)/(-84). Suppose j - n = -t, t = -4*j - 4*t + 76. Is j a multiple of 4?
True
Let a(u) be the third derivative of 11/24*u**4 - 2*u**3 + 0 + 0*u - 1/60*u**5 + 4*u**2. Is 9 a factor of a(8)?
False
Let k(j) = -640*j - 24. Is 86 a factor of k(-4)?
False
Suppose 5*u + 0*u - 20 = 0. Suppose 0 = -6*o + u*o. Is 4 a factor of (7 - o) + (-15)/5?
True
Suppose 3*b = -23 + 113. Let u = 64 - b. Suppose 0 = 5*r - 21 - u. Is r a multiple of 5?
False
Let i(x) = 24*x - 2 - 16*x - 13*x. Let g be i(-1). Suppose 5*m - 44 = 3*n, -4*m - g*n + 19 = -0*m. Is 2 a factor of m?
False
Let b(m) = 149*m**2 - 4*m - 1. Let v(y) = 299*y**2 - 8*y - 3. Let k(n) = 5*b(n) - 2*v(n). Is 12 a factor of k(1)?
True
Suppose 2*t = -5*o - 13, -4*o + 25 + 1 = -t. Let n(x) = -7*x - 32. Is n(t) a multiple of 11?
True
Let z(f) = 14*f**2 + 9*f - 26. Is 21 a factor of z