-b*w - m = -46. Is w a multiple of 11?
True
Suppose -2*f = -11*f + 81. Is 5 a factor of f?
False
Let b(z) be the first derivative of -3*z**2/2 - z + 1. Let u be b(-1). Suppose 5 = 2*n + 3*n, 3*n + 13 = u*f. Is f a multiple of 4?
True
Suppose -2*u + 4 + 4 = 0, 0 = 3*t - u + 10. Does 2 divide 18/(-6)*(1 + t)?
False
Let o(x) = 2*x**2 - 6*x + 4. Let d be o(4). Let c(u) = 2*u + 2. Let t be c(-4). Let p = t + d. Is p a multiple of 4?
False
Suppose 220 - 51 = 3*q + 4*m, -4*m = -2*q + 86. Does 17 divide q?
True
Suppose 3*j - 12 = -j. Suppose 0 = j*h + 2 - 59. Is 8 a factor of h?
False
Let j = -40 - -108. Is j a multiple of 17?
True
Suppose -4*v + v - 115 = -2*c, -2*v - 260 = -5*c. Is c a multiple of 11?
False
Suppose 0 = 2*j - 6*j. Suppose h + 0*h - 14 = j. Is 5 a factor of h?
False
Suppose 2*g - 740 = -3*q, 1892 = 5*g - 3*q - 0*q. Is g a multiple of 47?
True
Let r = -25 + 40. Is 6 a factor of r?
False
Suppose 4*c - 3*a - 2 = 26, 3*a = -5*c + 8. Suppose 2*s = c - 0. Suppose -s*p = -48 + 16. Is p a multiple of 11?
False
Let k = 66 - -28. Suppose 5*i = -2*b + k, -3*i + 3*b + 50 = b. Does 6 divide i?
True
Suppose 4*f - 305 + 25 = -2*o, -125 = -o + f. Does 26 divide o?
True
Is 13 a factor of 9/((-60)/21 - -3)?
False
Let z(i) = -i**3 - 9*i**2 - i - 11. Let r be z(-9). Let p be (-1 - (r + 1))/(-1). Is 26 + p*(-3)/6 a multiple of 12?
False
Let h(g) = -3*g - 6. Let o be h(-5). Let d be 6/(-4)*(-48)/o. Suppose -n - d = -3*n. Does 4 divide n?
True
Suppose 13 = -t - 5*x, 4*x + 22 = 5*t - 0*x. Suppose -5*p + 30 = -t*p. Suppose y - 5*d + 1 = p, 0 = 4*d - 4. Does 5 divide y?
False
Let a = 3 - 1. Let m(c) = -10*c**2 + 0*c**3 - 3*c**3 + 13*c + 9 + 4*c**2 + a*c**3. Is 13 a factor of m(-8)?
False
Let l be (7/2)/7*10. Suppose v + 4*h = 8, -v + 7 = 2*h - l. Is v a multiple of 11?
False
Let h(l) = 5*l**3 - 2*l**2 + 3*l - 3. Is 12 a factor of h(2)?
False
Let g(c) be the third derivative of c**5/20 - c**4/12 - 2*c**3/3 + 5*c**2. Does 18 divide g(4)?
True
Let d = 51 + -36. Suppose -d = -3*m + 15. Does 10 divide m?
True
Suppose 4*g + 21 = -279. Let w = -48 - -7. Let s = w - g. Is 17 a factor of s?
True
Let p(o) = 2*o**2 + 3*o - 7. Let a(u) = 2*u**2 + 4*u - 7. Let v(w) = -2*a(w) + 3*p(w). Is v(-5) a multiple of 17?
False
Suppose 1287 = 5*q - 4*g, 3*g = q - 3*q + 524. Is q a multiple of 26?
False
Let p = -96 - -306. Let i = p + -146. Suppose -r = 3*r - i. Is r a multiple of 12?
False
Let d(s) = s**3 + 3*s**2 - 5*s - 1. Let l be d(-4). Let n = l + -1. Is ((-4)/(-8))/(n/88) a multiple of 18?
False
Let a(n) = 2*n**2 + 2*n - 1. Let s be a(1). Let d = 5 + -4. Does 7 divide (d/s)/(7/147)?
True
Suppose -3*u + 3*q = -41 - 160, -3*q + 15 = 0. Does 18 divide u?
True
Let f(x) = -2*x**2 + 29*x - 7. Is 32 a factor of f(13)?
True
Let k(p) = 7*p + 5. Let c be k(5). Suppose 2*w + 5*t = 50, 0 = w + 6*t - 11*t - c. Does 20 divide w?
False
Let k(c) be the third derivative of c**4/24 - c**3 - c**2. Let h be k(6). Suppose 4*z + 5*f = 0, 4*z - 2*f + f - 24 = h. Does 3 divide z?
False
Let p be (-5)/(-1)*(3 + -2). Let a = 34 - p. Is 18 a factor of a?
False
Suppose i = 2*u + 181 - 444, -531 = -4*u - 3*i. Is u a multiple of 33?
True
Let q(s) = -s**3 + 2*s + 23. Does 9 divide q(0)?
False
Is (1/((-3)/530))/(10/(-15)) a multiple of 20?
False
Let t be (-5)/(-7) + (-6)/(-21). Does 16 divide 2 + -2 + t + 15?
True
Suppose -5*g - 35 = -4*g. Let y be 6*12/(-9) + 3. Let d = y - g. Is 15 a factor of d?
True
Suppose 5*n - 6*n - 87 = 0. Let y = -90 - 33. Let v = n - y. Is 18 a factor of v?
True
Let v(b) = b - 12. Let t be v(11). Does 8 divide t/(-4) - (-984)/32?
False
Suppose -3 - 216 = -3*b. Let x = b - 51. Does 11 divide x?
True
Let j(z) = -1 + 2*z - 33*z + 0. Let f(q) = q**2 - 8*q + 6. Let m be f(7). Is 15 a factor of j(m)?
True
Let x be 2/(-2) - (6 + -7). Suppose 0 = 5*m + 5, x = 4*h + m - 17 + 74. Let w = 24 + h. Is 3 a factor of w?
False
Let z = -7 - -11. Suppose z = 4*a - 3*n - 2, -2 = -n. Suppose a*d - 48 = -d. Is 12 a factor of d?
True
Let d be (22 - 3) + (-2 - -1). Let o = d - 3. Is o a multiple of 15?
True
Let q = -38 + 24. Let s = 6 - q. Is 5 a factor of s?
True
Let c be 1/3 - (-6)/9. Suppose 3*q = d - c, -7*q + 2*q = 5*d + 35. Is 8 a factor of (-50)/q + (-4)/2?
False
Suppose 0 = -3*f - 5*a + 108, -5*f + 23 = -5*a - 157. Is 17 a factor of f?
False
Suppose 10*b - 149 - 1 = 0. Is 2 a factor of b?
False
Let g(i) = 6*i + 4. Let n be g(5). Suppose -2*d - 1 = a, -2*a - 3*d - n = -7*a. Suppose -2*q - 61 = -3*h, -a*h = 2*q - 48 - 59. Is h a multiple of 10?
False
Suppose -15 = 2*w - 95. Let g = -20 + w. Is g a multiple of 10?
True
Let i(m) be the second derivative of 11*m**4/4 + m**3/6 - 4*m. Is 9 a factor of i(-1)?
False
Suppose -2*p + 4*v + 10 = 2*v, 0 = -v. Is p a multiple of 2?
False
Suppose -i = 9 + 19. Let a = -16 - i. Does 4 divide a?
True
Let h(c) = -c + 17. Let t be h(8). Suppose 3*v = 4*o - t*o + 94, -2*o + 3*v = -46. Does 10 divide o?
True
Suppose 2*d - 3 = 3. Suppose 0 = -d*l - 14 + 170. Is 13 a factor of l?
True
Let p be 1*9 + 9 + -12. Suppose -p - 6 = -2*z. Does 2 divide z?
True
Suppose 4*d + 14 = 2*d. Let x = -4 - d. Suppose -x*r = r - 24. Is r a multiple of 3?
True
Let g(b) = b**2 + 10*b. Let r be g(-10). Suppose r*z = 2*c + z - 5, 3*z = -3. Suppose -c*y = 15, -4*j - y + 52 = 3*y. Is 18 a factor of j?
True
Let m = 7 + -38. Let x = -7 - m. Is x a multiple of 8?
True
Let u(w) = -w**3 + 4*w**2 + 6*w - 3. Let f be u(5). Suppose -f*j + 8 + 0 = 0. Let h = 16 - j. Is 7 a factor of h?
False
Let b = -2 - -7. Let m = -5 + b. Suppose -11 = -a + 4*s, -2*s + 41 = a - m*s. Is a a multiple of 9?
False
Suppose 0 = -o - 3*o. Suppose o = 3*j + 2*j - 15. Does 3 divide j?
True
Let g(r) = r**3 + 6*r**2 + 6*r + 6. Suppose 3 = -f - 2. Let d be g(f). Suppose 2*s - 5*z - 26 = 0, -3*s - 2*z + d = -19. Is 4 a factor of s?
True
Let x(o) = 7*o. Let d(v) = 3*v. Let m(f) = -9*d(f) + 4*x(f). Let r be m(-1). Does 20 divide r*5*(-4 + 0)?
True
Does 21 divide (-527)/(-5) + (-16)/40?
True
Suppose 5*y - 135 - 130 = -5*v, -2*y - 3*v = -105. Let r = y + -37. Suppose 5*q = -4*g + r, 5*g - 37 + 12 = -5*q. Is 4 a factor of g?
True
Let j = 1 - -1. Let g be ((-5)/(-6))/(5/30). Is 25 a factor of 127/g - j/5?
True
Let b = 9 - 4. Suppose 0 = -3*r + 9, b*s + 3*r = -21 + 80. Is s/25 + 176/10 a multiple of 18?
True
Let r(c) = c + 2. Is r(12) a multiple of 14?
True
Let k(j) = -11*j + 31. Let q(f) = -5*f + 15. Let n(z) = -6*k(z) + 13*q(z). Is 4 a factor of n(0)?
False
Let j be (0 - -1)*-2 - -2. Let y = j + 0. Is -3 + 22 - (y - -3) a multiple of 10?
False
Let x = 27 + 15. Is 42 a factor of x?
True
Let y(t) = -t**2 - 4*t - 3. Let c be y(-3). Let r be 1 - c - 33/(-3). Suppose 2*a = r + 22. Is a a multiple of 9?
False
Suppose 0 = j + 3*j + 108. Is (-426)/j - (-8)/36 a multiple of 4?
True
Let p be 1/3 + 11/3. Suppose -2*g = -3*n - 12, 3*g - p*n - 13 = 7. Is g a multiple of 12?
True
Is (16 + -8)/(4/14) a multiple of 14?
True
Let y = 20 + -4. Suppose 5*w + y = 66. Is 10 a factor of w?
True
Suppose -2*o = -4*o + 150. Suppose 4*y + 2*m - 5*m + 174 = 0, 4 = -2*m. Let a = y + o. Is a a multiple of 17?
False
Suppose -4*d - 2*o = -20, 6*o + 28 = 3*d + o. Let h be (-8)/(-10)*15/d. Suppose -h*l = 7 - 3, -5*a - l + 53 = 0. Is a a multiple of 7?
False
Suppose 2*x - 2*j = -8 + 130, 5*x + 2*j = 270. Is x a multiple of 15?
False
Let z(c) = c**3 + 7*c**2 + 4. Let u(j) = j - 8. Let s be u(8). Let q be s + (-7 - 1 - -1). Is z(q) a multiple of 2?
True
Suppose -4*z + 3*m = 0, 2*z = -2*z + 5*m - 8. Suppose 0*x + 30 = z*x. Is x a multiple of 4?
False
Let d be 0 - (-8 - -1 - -3). Suppose 214 = d*a - 122. Is a a multiple of 21?
True
Suppose 4*r = -5*x + 208, r - 217 = -7*x + 2*x. Is 4 a factor of x?
True
Let k be -5*(512/(-5))/(-4). Let b = k - -181. Does 12 divide b?
False
Suppose -l - 2 = -0*l, u + 5*l - 172 = 0. Suppose 2*t - 7*t + 4*i = -u, 3*t + i = 99. Is 17 a factor of t?
True
Suppose 0 = 3*n - 2*k + 28, 4*n - 2*k - 12 = 5*n. Is 96/n*20/(-3) a multiple of 14?
False
Let v = 105 - 83. Is v a multiple of 22?
True
Let g(d) = -28*d**2 - 2*d - 2. Let s(z) = 57*z**2 + 3*z + 5. Let h(f) = -5*g(f) - 2*s(f). Is h(-2) a multiple of 27?
False
Let b(q) = -38*q**2 + q - 1. Let v be b(1). Let o = v - -59. Is o a multiple of 11?
False
Suppose -p = 2*d + 215, 3*p + 649 = -5*d + d. L