x) - 2*r(x). Is m(-3) a multiple of 17?
False
Let w(a) = -a**2 + 5*a - 1. Let x be w(4). Suppose 15 = -5*j, x*f + 5*j - 33 - 24 = 0. Is 9 a factor of f?
False
Suppose 3 = -3*l + 2*l - 3*f, -l + 3*f + 9 = 0. Suppose -s + l*s + 4 = 0. Is 13 a factor of (-10 + -3)/(s/2)?
True
Let y = -10 - -15. Suppose 0 = -y*v - k + 74, -2*k - 32 = -4*v + 16. Is 14 a factor of v?
True
Suppose -4*h + 5*o - 9 = 0, -h + o = -2*h. Let l be 3 - 8 - 1*h. Does 13 divide (6/l)/(6/(-104))?
True
Is 32 a factor of (-45)/(-3)*256/40?
True
Suppose 4*c - m = 279 + 5, -3*c + m = -212. Is c a multiple of 18?
True
Let d(z) = z**2 + 4*z - 1. Let l be d(-5). Suppose -s = l*i - 21, 2*i - i = 5*s - 210. Suppose 0 = 3*c - s - 109. Does 15 divide c?
False
Suppose 5*m - 111 = -3*l, 5 + 7 = -4*l. Is m a multiple of 6?
True
Suppose 4*l + 5 = 37. Does 5 divide l?
False
Let n(s) = s**3 - 5*s**2 + s - 1. Suppose -3*i = 3*p - i - 25, -2*i + 35 = 5*p. Let j be n(p). Suppose -j*d - d + 100 = 0. Is 10 a factor of d?
True
Suppose 3*o = 2*c - 21, -5*o = c - 4*c + 30. Suppose 3*i = c, -3*x - 6*i + i + 88 = 0. Is 7 a factor of x?
True
Suppose -w + v = w - 32, -v = -5*w + 80. Is w a multiple of 16?
True
Suppose 0 = -k + 5*n + 98, -k = 3*n - 0*n - 58. Is 12 a factor of k?
False
Suppose -5*r + 92 = 3*f, r + 6 - 7 = 0. Does 29 divide f?
True
Let d(q) = q**3 - 3*q**2 + 6*q - 2. Let f(n) = -n**2 + 7*n + 6. Let g be f(8). Let c = 6 + g. Is 13 a factor of d(c)?
False
Let s(g) = -g**2 + 11*g + 20. Does 4 divide s(11)?
True
Let h be (-4)/18 + 994/18. Let r = h - 33. Is 22 a factor of r?
True
Let h(o) be the second derivative of -1/2*o**3 + 2*o + 0 + 1/3*o**4 + 2*o**2 - 1/20*o**5. Is h(3) a multiple of 2?
True
Let m(v) = -1 + 0*v - v + 5*v - v. Is m(5) a multiple of 7?
True
Suppose i = -4*r + 26, r = -4*i - 0*r + 179. Is i a multiple of 23?
True
Let v be (-1 - -2)/((-3)/(-6)). Suppose -y = 2*t - 9 - 1, -y + t = v. Is 2 a factor of y?
True
Let g be (-6)/3 - (2 + -7). Suppose -j - g*v + 3 = -2*j, 3*j = 4*v + 6. Is j a multiple of 3?
True
Let t = 15 + 23. Suppose 0 = 3*u - 110 + t. Does 8 divide u?
True
Suppose 66 = 11*i - 33. Does 2 divide i?
False
Let o(u) = 7*u**2 + 3*u + 2. Is 2 a factor of o(-1)?
True
Is (-3318)/(-36) - ((-5)/6 - -1) a multiple of 7?
False
Suppose 3*w - 702 = -3*u, u = -w + 3*u + 228. Is 14 a factor of w?
False
Suppose 2*a - 6*a = -12. Let x(q) = q**3 - 4*q**2 + 4*q - 1. Let u be x(a). Suppose -u*i = -28 - 12. Does 10 divide i?
True
Let d = -2 - 1. Let a = 5 + d. Is 3 a factor of 3/(-3 + a - -2)?
True
Let j(l) = l**3 - 11*l**2 - 12*l + 7. Let d be j(12). Let b = 23 + d. Does 10 divide b?
True
Let g = 34 - 11. Let t = g + 22. Does 15 divide t?
True
Let u(d) be the third derivative of d**6/120 - 3*d**5/20 - 7*d**4/24 - 7*d**3/6 - 3*d**2. Is 15 a factor of u(10)?
False
Suppose -44 = 5*q - 6*q. Is q a multiple of 8?
False
Suppose 4*h + 5*c - 1 = 0, -2*h - 3*c - 13 = -3*h. Let v be (7/h + -3)*-4. Suppose 0 = v*y - 4 - 11. Does 2 divide y?
False
Let t be 2/(-4)*(1 - 1). Let k = -33 + 18. Let n = t - k. Does 15 divide n?
True
Let m(l) = l**3 + 7*l**2 - 9*l - 23. Let o(b) = b**3 + 7*b**2 - 9*b - 22. Let q(f) = 2*m(f) - 3*o(f). Is q(-8) a multiple of 3?
True
Does 22 divide 198/4 - (-1)/2?
False
Does 11 divide -22*(3 + (-14)/4)?
True
Let y = -66 - -16. Let s = -21 - y. Is s a multiple of 14?
False
Let n(r) = -r**2 - 22*r + 51. Does 17 divide n(-21)?
False
Suppose -h + 68 = 4*b, 3*b = 3*h + 2*b - 217. Suppose 0 = j + 3*j - h. Is j a multiple of 18?
True
Let u = -1 + 2. Let p(j) = 13*j**2 - 1. Let x be p(u). Let d = x - 7. Is d a multiple of 4?
False
Let j(d) = 5*d + 4. Let s(b) = -5*b - 4. Let g(y) = 4*j(y) + 5*s(y). Let l be g(4). Let q = l + 49. Does 7 divide q?
False
Suppose 4 - 14 = -5*c. Suppose 5*l + 2 = -3*k, 4*k = -4*l + 5 + 3. Suppose -3*m - 2*n + k = -m, -n - c = 0. Is m a multiple of 4?
False
Let t(y) = -3*y**2 + 4*y - 2. Let x(m) = m**2 + 1. Let c(l) = t(l) + 4*x(l). Let k be c(-4). Is 20 a factor of -2*k/(-4) + 54?
False
Is 8 a factor of (24/20)/(2/480*2)?
True
Let t(y) = y**2 + 2*y - 2. Let w be t(-2). Let h(v) = 24*v**2 - 3*v - 2. Let q be h(w). Suppose 0 = -3*z - z + q. Is z a multiple of 9?
False
Let m(t) = -t + 2. Let u be m(1). Is 13 a factor of (-3)/1 + u + 53?
False
Suppose 2*y - 68 - 16 = -3*z, 168 = 4*y + 3*z. Is 14 a factor of y?
True
Suppose 6*g = 2*g + 456. Is 19 a factor of g?
True
Let n(o) = -5*o**2 - 5*o - 4. Let h be n(-3). Suppose -m + 25 = 75. Let b = h - m. Is 8 a factor of b?
True
Let m be (-3*1)/(-3) + -1. Suppose m = -g + 10 + 1. Does 11 divide g?
True
Let v(o) = 2*o**2 + 8*o + 3. Let j = 4 - 9. Let g be v(j). Let u = 27 - g. Is u a multiple of 9?
False
Suppose -12 = -s + y, 3*s = s + 4*y + 30. Suppose 2*a - 4*g = 24, -a + s = 3*g - 3. Is a a multiple of 6?
True
Suppose -3*w + 3*j - 5*j + 16 = 0, 5*w = 2*j. Suppose -2*b = y - 34, -w*y = -6*b + b + 94. Does 18 divide b?
True
Let t = -18 + 118. Suppose -4*n = -2*n - t. Is 11 a factor of n?
False
Let s(q) = -q**3 + 3*q**2 + 2*q - 4. Let j(d) = 5*d**3 - 14*d**2 - 11*d + 19. Let y(b) = -2*j(b) - 11*s(b). Let l be 55/44*(-8)/(-2). Is 6 a factor of y(l)?
True
Let d(v) = 43*v - 3. Is 21 a factor of d(3)?
True
Let y = 6 + 41. Does 5 divide y?
False
Suppose 3*u - 145 - 509 = 0. Is u a multiple of 10?
False
Let x be (6 + -1)/(3 + -2). Suppose x*t - 2*t - 69 = 0. Is 23 a factor of t?
True
Let k(f) = f**2 - 3*f - 4. Is k(-3) a multiple of 5?
False
Let m = -3 + 3. Suppose 2*x = -x. Suppose 3*w - 85 = -5*z, m = -z - x*z - 1. Is w a multiple of 11?
False
Let q(b) = b**2 - 6*b + 4. Let l be (9/6)/((-2)/(-8)). Let n be q(l). Suppose -4*w + 7*y = 3*y - 180, -n*w - 3*y + 166 = 0. Is 16 a factor of w?
False
Let n(f) = -11*f**2 - 3*f + 5. Let d(q) = -78*q**2 - 21*q + 36. Let h = 5 + -3. Let l(m) = h*d(m) - 15*n(m). Does 15 divide l(2)?
False
Suppose 26*t - 1200 = 22*t. Does 12 divide t?
True
Suppose -9 = 2*q - 23. Suppose 4*y = q*y. Suppose 4*o - 104 = -y*o. Does 13 divide o?
True
Does 3 divide ((-36)/18)/(0 - (-2)/(-16))?
False
Let v = 14 - 1. Is v a multiple of 9?
False
Let x = 6 - 3. Let q be 1 - (0 - 0)/2. Does 20 divide q - x/((-3)/19)?
True
Let w = -2 - -4. Let a = 17 - w. Is a a multiple of 6?
False
Suppose -2*v + 31 = -115. Does 11 divide v?
False
Let f(s) = 7*s - 4. Let d be f(12). Is 1/((-2)/d*-4) a multiple of 10?
True
Suppose 3*a + 0*a + 3*v = 33, v = 0. Does 7 divide a?
False
Let v be 6/(-4)*(-808)/12. Let t = -72 + v. Does 12 divide t?
False
Let t(f) = f**3 + 6*f**2 - 2*f - 1. Let w be t(-5). Suppose -5*x = -2*h - 77, 2*h - 24 = -4*x + w. Is 15 a factor of x?
True
Let j(y) = -3*y**2 + 4*y**2 + y**3 + 3*y + y**2 + 2 - 2*y. Let i be j(-2). Suppose i*u = -u + 16. Does 16 divide u?
True
Let m = 0 + 4. Suppose -3*j - w = j - 20, -3*j + 15 = m*w. Does 3 divide j?
False
Let p = 11 - 7. Let h(k) = 2*k + 6. Does 4 divide h(p)?
False
Let o(v) = 20*v**2. Let u be o(1). Suppose 3*i + u = -i. Let q(d) = d**3 + 5*d**2 - 4*d + 5. Does 16 divide q(i)?
False
Let q(d) = 12*d - 1. Let k be q(5). Suppose -c - 5*f = -k, -4*c + 194 = -4*f + 3*f. Is c a multiple of 16?
False
Let p(u) = -u - 3. Let g be p(-2). Suppose -5*a + 3*d + 45 = 0, 0*a - 5*d = 3*a - 27. Is -15*(6/a)/g a multiple of 5?
True
Suppose 4 = -3*u - 8, -416 = -4*m + 4*u. Suppose -6*j + m = -j. Let h = j - 13. Does 3 divide h?
False
Suppose -3*v = 5*t - 29, -t + 0*v + 1 = -v. Suppose 0 = -t*m + 4*p + 112, -4*m + 76 = -m - 5*p. Is 16 a factor of m?
True
Let n be (2 - 5)*(-220)/6. Suppose -n = -c - 4*c. Let v = 43 - c. Does 7 divide v?
True
Let g = -247 - -382. Is 9 a factor of g?
True
Let s be 0*(2 - 15/9). Suppose m - 6 - 2 = s. Is m a multiple of 8?
True
Let b = 162 + -48. Let n = b + -12. Is n a multiple of 34?
True
Let g(i) = -15*i**2 - i - 1. Let d(b) = 45*b**2 + 3*b + 3. Let w(m) = -2*d(m) - 7*g(m). Is 15 a factor of w(-1)?
True
Suppose 0 = -3*y - 0*y + 45. Let f = -8 + y. Is f a multiple of 3?
False
Let d(k) be the first derivative of k**3/3 - 2*k**2 + 7*k - 1. Suppose -5*n + 30 = 5. Is 12 a factor of d(n)?
True
Suppose 0 = 7*k - 574 + 119. Does 13 divide k?
True
Suppose x - 6*x = -80. Does 6 divide x?
False
Suppose 37*s - 40*s + 840 = 0. Is s a multiple of 10?
True
Suppose 3*g = -g + 80. Let h = 26 - g. Is h a multiple of 2?
True
Does 13 divide 1160/45 + 8/36?
True
Let f