 v - 2*c = 28. Does 14 divide v?
True
Is -3 + (31 - (-4 - -8)) a multiple of 8?
True
Suppose -4*n = 3*o - 28 + 1, 2*o - 38 = 4*n. Is 6 a factor of o?
False
Suppose -1 = o + 2. Let g = 3 + o. Suppose -18 = -c - g*c. Is c a multiple of 18?
True
Suppose 6 = -5*r + 31. Suppose 9 = 2*u - r. Is 2 a factor of u?
False
Let m = 3 - -8. Is m a multiple of 9?
False
Suppose -265 = -3*z + 275. Is (4/(-10))/((-2)/z) a multiple of 18?
True
Suppose 2*g = -3*v + 48, -48 = -5*v + 2*v + g. Is v a multiple of 2?
True
Let d = 17 - 49. Let s(o) = -3*o + 13. Let n be s(10). Let p = n - d. Is p a multiple of 15?
True
Let c(g) = -7*g - 7. Does 8 divide c(-9)?
True
Let w = 11 - 6. Suppose -w*u - 10 = 0, 0 = -5*f - 4*u + 443 - 66. Does 11 divide f?
True
Let u = -59 - -86. Is 5 a factor of u?
False
Let t(a) = a**2 - 3*a + 1. Suppose -s = 4*s - 20. Does 2 divide t(s)?
False
Suppose -675 = 4*z + n, -3*z = -5*z + 4*n - 360. Let j = z + 242. Is 25 a factor of j?
False
Let y = -16 + 19. Suppose y*c + 320 = 8*c. Does 32 divide c?
True
Suppose 4*f = -2*j + 1006, 3*f - 6*f = 4*j - 752. Is f a multiple of 14?
True
Let n = 10 - 8. Is n + -5 - (-120)/2 a multiple of 19?
True
Let n = 78 + -42. Is n a multiple of 18?
True
Does 10 divide 18/63 + (-208)/(-7)?
True
Suppose -4*o + 3*u + 8 = -3*o, 5*o - 6 = -2*u. Let s(v) = 14*v**2 + 2*v - 1. Let x(l) = 29*l**2 + 5*l - 2. Let w(a) = 9*s(a) - 4*x(a). Is w(o) a multiple of 15?
False
Does 23 divide 209/3 + (-12)/18?
True
Let g(m) = m**3 + 8*m**2 - 2*m + 9. Let l be g(-8). Suppose -u + 4*j + 15 = 0, u - 60 = -j - l. Is u a multiple of 9?
False
Let n(d) = -d**3 + 2*d**2 - d + 2. Let g be n(2). Suppose -2*m - 300 = -3*l, g*m = l - 2*m - 100. Is l a multiple of 25?
True
Let a(g) = g**2 + 6*g - 8. Let j be a(6). Suppose -5*y = -j - 106. Is y a multiple of 7?
False
Let w(r) = -2*r**3 + 14*r**2 + 7*r - 10. Let x(z) = -z**3 + z**2 + z. Let l(v) = w(v) - 3*x(v). Does 25 divide l(-10)?
True
Let c = -16 + 10. Is ((-2)/(-3))/(c/(-63)) even?
False
Suppose -4*g + 9 = k - 5, 5*k - 89 = -g. Suppose -v - 3*v - k = r, 3*r = 3*v + 21. Does 5 divide (2 + -12)/(0 - r)?
True
Suppose 0*v - 3*v = -9. Suppose 5*z = -5*m + 5, v + 5 = 4*m + 3*z. Suppose 0 = -d - 3*g - 3, 4*g - m*g - 49 = -5*d. Does 8 divide d?
False
Let w = 6 - -46. Does 26 divide w?
True
Does 17 divide 6/(-9) + ((-3400)/(-6))/4?
False
Let y be -2 + (0/(-3) - -2). Suppose 3*b + y*b - 12 = 0. Is b even?
True
Let h = 485 - 265. Is h a multiple of 10?
True
Let r = -12 + 18. Does 3 divide r?
True
Let w(h) be the first derivative of -h**3/3 + 9*h**2/2 + 13*h - 2. Is w(10) a multiple of 3?
True
Let w be 2 - 0 - 0/(-2). Suppose 41 + 45 = o - 5*n, -4*n + 172 = w*o. Is o a multiple of 14?
False
Let n(r) = r + 36. Is 17 a factor of n(-19)?
True
Let c = -15 + 39. Let f(v) = -2*v**2 + 12*v. Let m be f(6). Suppose -t + c + 18 = m. Does 23 divide t?
False
Suppose 0 = -4*w + 273 + 207. Is 5 a factor of w?
True
Let y = -4 + 3. Let t be (1 + y*3)/(-2). Does 6 divide t - ((-1)/(-1) - 12)?
True
Suppose -264 - 90 = -5*n + h, 3*n + 5*h - 190 = 0. Does 35 divide n?
True
Let c(s) = -s**3 + s + 5*s**3 - 2*s**2 + 9*s**3. Does 7 divide c(1)?
False
Let d(g) = -48*g**3 + g**2. Is d(-1) a multiple of 7?
True
Let j(z) be the first derivative of -3*z**4/4 + z**3 + 3*z**2/2 + 6*z + 2. Let u(g) = g**3 + g**2 - g. Let o(p) = -j(p) - 2*u(p). Is o(6) a multiple of 12?
True
Let d(m) = 34*m**2 - 7*m + 5. Is d(2) a multiple of 21?
False
Let g(c) = c**2 - 7*c - 5. Is 31 a factor of g(-7)?
True
Suppose 0*j - j = 5*h - 21, 3*h - 7 = -2*j. Suppose -57 = h*x + 38. Let n = x - -39. Does 10 divide n?
True
Let x(n) = 5 - n + 5 + n**3 + 28. Does 16 divide x(0)?
False
Let m(y) = 25*y**3 - 3*y**2 + y + 1. Does 24 divide m(1)?
True
Suppose -5*a = -4*a - 70. Is 35 a factor of a?
True
Suppose -2*g + c + 5 = 0, 2*g + 15 = -0*g + 5*c. Suppose g*x - 4*p - 166 = 0, -5*x + 3*p = 6*p - 173. Suppose 0 = -q + 2*q - x. Is q a multiple of 26?
False
Let m(y) be the first derivative of 1/2*y**4 + 0*y - 4 + 1/3*y**3 + 1/2*y**2. Is 18 a factor of m(2)?
False
Let b(c) = -c - 1. Let a be b(-5). Let o be ((-9)/(-1))/3 + -3. Suppose r - 2 = o, -a*t = -5*t + r + 48. Is t a multiple of 25?
True
Suppose -5*g + 5*x = -765, x = -3*g - x + 464. Is 22 a factor of g?
True
Let y(s) = s**3 - 6*s**2 + 3*s - 11. Let q be y(7). Let c = q + -23. Is c a multiple of 18?
True
Let r(k) = k**2 - k - 2. Let a be r(-6). Suppose -4*v + 23 = x - 0*x, -5*v = -x - a. Is 7 a factor of v?
True
Suppose 2*r - 30 = -k, -12 + 110 = 5*k - 3*r. Does 7 divide k?
False
Let n(i) = i**2 + 7*i + 10. Let f be n(-7). Let u be 35/11 + f/(-55). Let b = u - -10. Is 11 a factor of b?
False
Let d(h) = -2*h - 3. Does 7 divide d(-5)?
True
Suppose 2 - 4 = u. Let g = u + 18. Does 16 divide g?
True
Suppose 5*l = 6*l + 25. Is (8/(-5))/(2/l) a multiple of 10?
True
Let t(w) = -2*w**2 - 49*w - 36. Does 12 divide t(-17)?
False
Suppose -m = c - 1, 2*c - 2*m - 5 = -3. Does 13 divide 1*c/(-1)*-19?
False
Let i(n) = n**3 - 5*n**2 - 2*n - 8. Let k be i(6). Let f = 41 + 55. Suppose 2*r = -3*l + 50, f - k = 4*l - 4*r. Is 8 a factor of l?
False
Let g = 14 - 10. Is g even?
True
Let i = -53 + 73. Is i a multiple of 4?
True
Let x = -5 + 6. Let y = x + 25. Does 13 divide y?
True
Let l(v) = v**2 - v + 4. Is 23 a factor of l(-6)?
True
Suppose -2*g - 2*j + 0*j + 14 = 0, -4 = 2*g - 4*j. Suppose -3*n + 13 = 4*c, g*n + c = 8 + 5. Suppose 0*k - 2*k = 3*m - 62, -k = -n*m + 50. Does 8 divide m?
False
Let s = 57 - -86. Does 13 divide s?
True
Suppose -m = -0*o - 2*o + 27, 0 = -4*m + 20. Is o a multiple of 8?
True
Let c = 750 + -390. Is 15 a factor of c?
True
Is 16 a factor of 96 + 1 + 0 + -5?
False
Let r = 6 - 4. Let l = -9 + 38. Suppose s = -2 - 0, l = 3*o + r*s. Is 11 a factor of o?
True
Let h(j) = -j - 5. Suppose -g - 18 = 5*o, 2*g - 22 = 4*g + 3*o. Let b be (g/(-6))/(5/(-30)). Does 3 divide h(b)?
True
Let k(s) = 15*s + 1. Is k(5) a multiple of 16?
False
Let f(v) = v**3 + 6*v**2. Let h be f(-6). Let t = h + 8. Does 8 divide t?
True
Suppose n + 2 - 5 = 0. Let s be (-287)/(-3) + 1/n. Suppose -9*g = -5*g - s. Does 8 divide g?
True
Let y(t) = -5*t + 1. Let v(m) = -5*m + 1. Let j(b) = -2*v(b) + 3*y(b). Let q(s) = s + 2. Let p be q(-5). Does 16 divide j(p)?
True
Let y(s) = s**3 + 9*s**2 + 10*s - 3. Does 25 divide y(-7)?
True
Suppose 0 = 2*v + v - 120. Is 10 a factor of v?
True
Let q be 2/3 - (-60)/18. Let s(i) = -i**2 - 8*i - 3. Let a be s(-5). Let l = a + q. Does 16 divide l?
True
Let o(d) = d**3 + 4*d**2 - 6*d - 3. Let y be o(-5). Let p(z) = -z**2 + z - 1. Let v be p(y). Is (-25)/((-2 - v) + -2) a multiple of 14?
False
Let g(x) = x**3 + 6*x**2 + 5*x - 5. Let i be g(-5). Let k = i - -8. Suppose -4*u + 15 = c, 3*c = -3*u + 6 + k. Is u a multiple of 4?
True
Let m be 5/((9/39)/3). Suppose g = 5*x + m, 4*g - 365 = -0*g - x. Does 18 divide g?
True
Is 7 a factor of 16/3*9/2?
False
Let b(k) = k**3 - 11*k**2 - 6*k - 17. Suppose -3*w = -u + 15, 0 = 3*u - 5*w + 23 - 64. Is 15 a factor of b(u)?
False
Suppose 0 = 4*f - 5*a - 65, -2*f + 2*a = -f - 20. Suppose -3*c = 65 + f. Let g = 55 + c. Does 15 divide g?
True
Let k(z) = z. Let p = 4 + -2. Let n be k(p). Suppose 4*v - 48 = n*v. Does 8 divide v?
True
Let s(p) = -p + 8. Let l be s(8). Let i(k) = k**3 + k**2 - k + 2. Let f be i(l). Let u(m) = m**2 + 3*m - 3. Is 3 a factor of u(f)?
False
Is 20 a factor of ((-154)/56)/((-2)/184)?
False
Let s = 52 - 37. Is s a multiple of 5?
True
Suppose 4*d - 2142 = -13*d. Is 6 a factor of d?
True
Let i(y) = -y + 7. Let c be i(6). Let v be 3/(-2*c/(-8)). Is 8 a factor of 189/v - (-1)/4?
True
Suppose t - 6*t - 35 = -5*f, -2*f + 22 = -3*t. Does 13 divide (-2)/(-4) - 620/t?
True
Let l(v) = v**2 + 3. Let o(g) = g**2 + 1. Let f(x) = -l(x) + 4*o(x). Let y(i) = -7*i**2 - i - 3. Let m(h) = -9*f(h) - 4*y(h). Is m(-6) a multiple of 15?
True
Is (-3)/(-12) - (-862)/8 a multiple of 10?
False
Let a(w) = -w**3 - 2*w**2 + 1. Let g be 3*(-3)/(7 - -2). Let s be a(g). Suppose 2*b + 4*p - p - 69 = s, 130 = 5*b - p. Is b a multiple of 7?
False
Let q(o) = o**3 + 6*o**2 - 9*o - 9. Let c be q(-6). Suppose 3*x - 59 = 4. Let u = c - x. Is 12 a factor of u?
True
Suppose 0 = -5*z - 24 + 94. Does 14 divide z?
True
Suppose m - 4 = 2*m, 0 = -3*k - 4*m - 34. Let q(g) be the third derivative of -g**5/60 - 5*g*