
Suppose 2*o - 6 = 50. Suppose 4*d - 20 = 0, -3*z - d + 34 = -o. Suppose 2*v - 13 = z. Is 8 a factor of v?
True
Let o(v) = 11*v**2 - 2*v - 1. Let l = 5 + -6. Does 4 divide o(l)?
True
Is 7 a factor of (-6)/18 - ((-84)/9 - 1)?
False
Suppose -4*h = 2*t - 70, t - 24 + 5 = -h. Suppose -4*n + h = -4. Suppose o - 2*o - 3*w = -37, -2*w + 172 = n*o. Is o a multiple of 15?
False
Suppose -2*h = 4*w - 34, 0 = -w + 3*w + 3*h - 15. Let t(d) = -d**3 + 9*d**2 + 3*d - 11. Does 16 divide t(w)?
True
Let b = 30 + 179. Does 31 divide b?
False
Suppose -m - m = -10. Let p(q) = -3*q + 5. Let r(c) = 3*c - 5. Let k(s) = -3*p(s) - 2*r(s). Is k(m) a multiple of 9?
False
Suppose -7*d + 2*d + 530 = 0. Is 14 a factor of d?
False
Let o = 7 + -4. Suppose -o*d = -2*d - 13. Suppose -81 = r - 5*r + n, -2*r - 5*n = -d. Does 19 divide r?
True
Suppose 3*l + 261 = 5*u - 0*l, 61 = u - 5*l. Is u a multiple of 17?
True
Suppose -128*b + 36 = -125*b. Is b a multiple of 9?
False
Let t(y) = y**2 + y + 2. Let q be t(-8). Let v = q - 7. Does 17 divide v?
True
Let m = 9 + 4. Suppose 0 = -4*a + m + 7. Suppose 0*p - 2*f = -4*p + 42, 60 = a*p - 4*f. Does 8 divide p?
True
Suppose 2*u + 8 = -4*i, 2*i - 2*u - 8 = -3*i. Suppose -32 = -5*b + 2*n + 58, i = -2*b + 2*n + 30. Does 11 divide b?
False
Suppose -w + 46 = -2*x, 4*w + x = 3*x + 208. Does 31 divide w?
False
Suppose 0 = 2*f + 5*r - 119, -f - r = -3*r - 82. Is 8 a factor of f?
True
Let o = 35 + -6. Suppose 0 = -4*g + o + 23. Does 11 divide g?
False
Let l = 107 + -74. Does 27 divide l/(-44)*(-1 + -71)?
True
Let u(m) be the first derivative of m**3/3 - m**2/2 + 2*m + 1. Suppose -12*t = -11*t - 5. Does 11 divide u(t)?
True
Let w be (3 - 2)/((-2)/(-14)). Let q(i) = 3*i**3 + i**3 + 2 + i - 7*i**2 - 3*i**3. Does 7 divide q(w)?
False
Let o = 906 - 459. Is o a multiple of 14?
False
Suppose -i - 3*o + 154 = 18, -4*i + 496 = -4*o. Does 34 divide i?
False
Let z = 14 + -10. Let h = -4 + z. Is h/(-2) + (-8)/(-4) a multiple of 2?
True
Suppose 0*z + 2*z = 4*h - 222, 5*z + 99 = 2*h. Is 10 a factor of h?
False
Let b(i) = -i**2 + 7*i - 5. Let q be b(5). Let y = 0 + q. Suppose 0 = -y*r + 24 + 6. Is r a multiple of 3?
True
Suppose 0 = j + i - 16, 4*j - 5*i + 4*i - 79 = 0. Suppose j = 5*v - 21. Does 8 divide v?
True
Suppose 0 = 2*o + o - 12. Let t(s) = -2*s + 3. Let l be t(0). Suppose l*a = -3*m + 96, -m + 155 = o*a - 6*m. Is a a multiple of 17?
False
Let n = 7 + -5. Let l be (-96)/n*(-1)/2. Suppose -4*f + 0*f + l = 0. Does 6 divide f?
True
Suppose -2*d - s = -24, 30 = 4*d - 2*d + 4*s. Is d a multiple of 3?
False
Suppose -7*w = -279 - 372. Is 17 a factor of w?
False
Let c(w) = w**2 + 9*w - 9. Is 16 a factor of c(-14)?
False
Suppose 9 + 1 = 2*k. Suppose 0 = -2*t + 4*t - 12. Let s = k + t. Does 6 divide s?
False
Let i be 2/11 - (-53)/11. Suppose i*o = v - 4 + 10, o + 2 = v. Is -1*o + 30 + 2 a multiple of 13?
False
Is 34 a factor of (-33 - 1)*(0 - 1)?
True
Let o be ((-27)/4 - -2)*4. Suppose -85 - 55 = -4*d - 4*x, 4*d - 122 = 5*x. Let w = o + d. Does 6 divide w?
False
Suppose 5*m - 6 = 9. Suppose 3*j - 6 = m*w, -3*j + 13 + 11 = 3*w. Suppose -4 = -4*z, -11 = -j*a + z + 13. Is a a multiple of 5?
True
Let t = -4 - 4. Let n(c) = 9*c - 5. Let b(f) = -f**2 - f - 1. Let m(h) = -2*b(h) + n(h). Does 10 divide m(t)?
False
Suppose -2*j = 4*o - 24, j - 2*j = 4*o - 20. Let k = j - 1. Does 3 divide k?
True
Let r = 63 + -61. Is r even?
True
Let t(l) = 17*l**2 + 4*l. Is t(-2) a multiple of 30?
True
Let k be (-2 - (-6)/(-2)) + 1. Let m be (k/4)/(1/(-37)). Suppose z - m = -5*g, z + g + 41 = 3*z. Is z a multiple of 11?
True
Is 2/(-4) - (-567)/14 a multiple of 8?
True
Let v(f) be the second derivative of -f**4/12 - 11*f**3/6 - 9*f**2/2 - 3*f. Does 5 divide v(-8)?
True
Let a = 110 + 90. Suppose f = -3*f - 4*p + a, -3*p - 156 = -3*f. Is 21 a factor of f?
False
Let p = 5 - 5. Suppose -5*f + 14 = a, -5*f + 92 = 3*a - p*f. Does 13 divide a?
True
Suppose 0 = 5*x - 9 - 41. Is x a multiple of 5?
True
Let f = 23 - -9. Suppose -4*r - f = -8*r. Is r a multiple of 8?
True
Let g(m) = 5*m**2 + 4*m - 3. Let b(p) = -6*p**2 - 5*p + 4. Let q(u) = 3*b(u) + 4*g(u). Let o = 4 - 7. Is 4 a factor of q(o)?
False
Let i(o) = -o**3 + 2*o**2 + 5*o - 4. Let d be i(3). Suppose -10*z + 5 = -5*z. Let q = d + z. Is q a multiple of 2?
False
Let m(y) = y**3 - 7*y**2 + 3*y + 1. Let u be m(6). Let v = u + 28. Does 6 divide v?
False
Let o(f) = -2*f**3 + 2*f**2 - 2*f - 4. Let v be o(3). Let p = -20 - v. Does 18 divide p?
False
Let w(p) = -p**3 + 9*p**2 + 12*p + 27. Is w(10) even?
False
Let s(a) = a**2 + 2*a + 8. Let m be s(-6). Does 10 divide (m/(-24))/(2/(-15))?
True
Suppose -15*s + 12*s + 216 = 0. Is 9 a factor of s?
True
Let w(n) be the second derivative of -n**4/12 - 3*n**3/2 - n**2 + 4*n. Is 10 a factor of w(-4)?
False
Let v(g) = g - 1. Let b(y) = 2*y + 3. Let l(z) = b(z) + 4*v(z). Let r be l(1). Suppose -25 = -r*d - 5*w, -3*w + 6*w = -9. Is d a multiple of 3?
False
Let r(o) = -o**2 + 8*o - 2. Let p be r(7). Is (5/3)/(p/15) even?
False
Suppose 425 = -9*g + 1127. Is g a multiple of 13?
True
Suppose -15 = -5*w + 5*f, 0 = -0*w - 4*w - f + 22. Does 3 divide w?
False
Suppose -3*o + 84 = 3*h, 114 = 4*h + 3*o - 0*o. Does 6 divide h?
True
Let y be (-19 + 1)/(-6 + 4). Suppose 0 = -d - 2 - 0. Is d/y + 110/9 a multiple of 6?
True
Suppose 0 = 2*i - 4 - 10. Suppose -8 = -j + i. Let n = 3 + j. Is n a multiple of 6?
True
Suppose 0 = -z + 7 - 3. Let a(h) be the second derivative of h**3/2 + h**2 + 17*h. Is a(z) a multiple of 14?
True
Let w = 88 - 60. Is w a multiple of 7?
True
Let i = -49 + 72. Is 19 a factor of i?
False
Is 27 a factor of 86 - 8 - (-4)/(-1)?
False
Suppose 0 = 5*y - 1 - 29. Suppose -3*n + y*n - 42 = 0. Is n a multiple of 12?
False
Does 20 divide (-96)/(-15)*(-50)/(-4)?
True
Let f = -118 + 236. Is f a multiple of 40?
False
Let d be (-6)/(-24) + (-57)/4. Let m(j) = -j**3 - 13*j**2 + 13*j - 7. Does 6 divide m(d)?
False
Is 23 a factor of 2*9/((-27)/(-78))?
False
Is 3 - (1 - 14)*(2 + -1) a multiple of 8?
True
Suppose 4*f + f - 15 = 0, 3*f - 409 = -5*n. Is 4 a factor of n?
True
Suppose 0 + 7 = -k. Let c(m) be the second derivative of -m**4/12 - 3*m**3/2 + 5*m**2 - 4*m. Does 8 divide c(k)?
True
Let f = 36 + 67. Is f a multiple of 8?
False
Suppose -4 = -2*b, 0*c + 4*c = b + 238. Is c a multiple of 30?
True
Suppose 0 = -4*j + 13 - 5. Suppose -9 = -j*k + k. Is k a multiple of 9?
True
Let v = 34 - 10. Does 6 divide v?
True
Suppose 0 = -d, 5*r - 3*d + 0*d + 10 = 0. Does 8 divide ((-10)/15)/(r/27)?
False
Let n(z) = 41*z**3 + 3*z**2 - 3*z + 1. Does 3 divide n(1)?
True
Let m(h) be the second derivative of h**4/12 + 7*h**3/6 - 7*h**2/2 + h. Let i be m(-8). Suppose 2*t + 3*y - 6 = 0, -y = 2*t - i - 13. Is 6 a factor of t?
False
Suppose -3*j - 2*w = -80, -j = -3*w + 11 - 34. Let m = -16 + j. Is 10 a factor of m?
True
Let q(h) = h**3 - h. Let t be q(1). Suppose g - 3*g - 76 = t. Let w = g - -68. Does 17 divide w?
False
Suppose 5*b - 4*z + 5 = 0, 0 = -2*b + 5*z + 6 + 9. Let f(k) = 5*k + 1. Let s be f(b). Is 6 a factor of -7*(-1)/((-14)/s)?
True
Let j(f) = -f**2 + 4. Let m(i) = -i + 11. Let o be m(11). Does 4 divide j(o)?
True
Suppose a + r - 2*r = 10, 4*a - 2*r = 44. Let z = a - 7. Does 2 divide z?
False
Let d = 7 - 4. Suppose 4*c + d*g = -c + 144, 5*c - 142 = -4*g. Does 15 divide c?
True
Let h(r) = 14*r**2 - r - 1. Let q be (-6)/9 - (-2)/(-6). Is 7 a factor of h(q)?
True
Suppose 5*x - 26 - 94 = 0. Let o(n) = 14*n**3 - 2*n**2 + n**2 + x*n**3 + n. Does 19 divide o(1)?
True
Suppose 28 + 39 = 2*o - s, -119 = -4*o - 3*s. Is 8 a factor of o?
True
Let w be (3/3)/(-1) - 129. Let b = -118 + 30. Let a = b - w. Is 21 a factor of a?
True
Let y(h) = -h - 1. Let t be y(-6). Suppose -t*m = -20 - 55. Does 11 divide m?
False
Suppose f = 1 + 1. Suppose 4*b - 4*a = 240, 4*b + f*a - 57 = 3*b. Is 25 a factor of b?
False
Let p(x) = -16*x + 1. Let r be p(2). Let b = -13 + -54. Let k = r - b. Is 18 a factor of k?
True
Suppose -y + 1404 = 5*y. Is 63 a factor of y?
False
Suppose -2*j - j + 477 = 0. Suppose q = 3*b + 3*q + j, 3*b - 4*q + 141 = 0. Let m = -28 - b. Does 14 divide m?
False
Let j(o) = -o**2 - 11*o - 6. Let x be j(-10). Is 19 a factor of 130/x*8/5?
False
Suppose -j - 2*j + 60 = 0. Is 20 a factor of j?
True
Let k = -30 - -81. Suppose 6*y - 5*y = -k. Let