 - 15 = -c, 0 = 3*a - c - c - z. Does 8 divide v(a)?
True
Let o(x) = 4*x**2 - x. Let u be (-2 - -1)*(6 - 5). Is o(u) a multiple of 4?
False
Let b(v) = -v - 1. Let n(o) be the second derivative of -o**4/12 - 5*o**3/6 - 2*o**2 - 2*o. Let y(r) = 2*b(r) - n(r). Is y(-6) a multiple of 8?
False
Let k = -20 - -21. Is (-2)/(-2) - (k - 18) a multiple of 4?
False
Suppose -4*y - 64 = -4*t, 0 = 3*y - 0*y. Suppose 0 = -2*p - z + t, -p + 3*z + 11 = -4. Is p a multiple of 9?
True
Suppose 0*k - k + 2 = 0. Let j be (-4)/6 + k/(-6). Is 33 - (0 - j) - -2 a multiple of 17?
True
Let q(u) = 3*u + 4. Is 6 a factor of q(6)?
False
Let j = -93 - -151. Suppose 0 = -4*n + 2*n - 3*k + j, 0 = -n + 3*k + 20. Does 13 divide n?
True
Let w = 10 - -2. Suppose l = -0*l + w. Is 12 a factor of l?
True
Let g(m) = 8*m - 6. Is 7 a factor of g(3)?
False
Let c(i) = -i**2 - 11*i + 2. Let o be c(-11). Let x(n) = 12*n**2. Does 16 divide x(o)?
True
Let g = 5 - -6. Suppose -2*d + g = 1. Is d even?
False
Suppose 0 = -4*x + 2*x + 12. Let m = 8 - x. Suppose 5*z - m*c - 138 = -c, -146 = -5*z - 3*c. Is z a multiple of 14?
True
Suppose -151 = -5*c + 3*l, -2*l = -5*c + 105 + 49. Does 8 divide c?
True
Suppose 0 = -5*a - 0*s + 4*s + 19, 2*s = -4*a + 10. Suppose -36 = -5*w - 2*d, -a*d - 2*d = -w - 9. Does 7 divide w/2 + (8 - 4)?
True
Suppose 0*k + k - 2 = 0. Suppose -2*a + 8 = k*a. Suppose 6*h - a*h = -20, 0 = 3*s + h - 13. Is 3 a factor of s?
True
Let c(l) = l**2 - 2*l - 6. Does 9 divide c(5)?
True
Let g be (-4)/22 + 1939/77. Is (70/g)/(1/15) a multiple of 13?
False
Let q(l) = 3*l - 2. Let g be q(-3). Let r = 19 + g. Is r a multiple of 3?
False
Suppose 3*m + 25 = 2*z - 7, 5*z + 39 = -m. Let n be 2/(-3) + m/6. Is (n + -12)*3/(-5) a multiple of 9?
True
Let c(f) = 3*f**2 + 14*f + 26. Let v(n) = -4*n**2 - 21*n - 39. Let g(y) = 7*c(y) + 5*v(y). Is 2 a factor of g(9)?
False
Suppose -6 - 3 = -3*q. Suppose 4*g - q*g + 4 = 0. Is 9 a factor of (-26 - 1)*g/6?
True
Suppose 17 = -4*t + 3*m, -4*t = -3*t - 4*m + 14. Suppose 0 = -5*b - 5*u - 25, -4*u + 1 - 17 = 0. Does 3 divide 3*(t + 1)*b?
True
Let h = -5 - -2. Let m(o) = -4*o - 4. Does 4 divide m(h)?
True
Let u be (10 - (2 + 0)) + -3. Let v = u - 0. Is v a multiple of 2?
False
Let x(q) = 3*q - 2. Let t = 5 + 2. Suppose -t = -5*n + 13. Is x(n) a multiple of 3?
False
Suppose 3*z = a + 268, 5*a = -3*z + 342 - 44. Is z a multiple of 13?
True
Suppose 6*n = 3*n - 9. Let j be -9 + n/(5 - 2). Is (0 + 0 - j)/1 a multiple of 10?
True
Is 8 a factor of (0 - (-2)/(-6))*-48?
True
Let g be ((-2)/2)/1 + 2. Let q(y) be the second derivative of y**5/4 - y**4/12 + y**2/2 + 13*y. Is q(g) a multiple of 2?
False
Let q(d) = -27*d + 4. Let n be q(5). Does 21 divide n/(-4) - (-4)/16?
False
Let y(x) = -x**3 + 5*x**2 - 4*x - 1. Let s be y(3). Suppose 0 = -4*a + s*a - 30. Is a a multiple of 9?
False
Let y(q) = -5*q + 19. Let l(d) = -d + 5. Let a(w) = 9*l(w) - 2*y(w). Is 4 a factor of a(0)?
False
Suppose -5*x = -4*s + 36, 0 = -0*x - x. Is 9 a factor of s?
True
Suppose 0 = -3*s + 5*w + 358, 151 + 214 = 3*s + 2*w. Does 29 divide s?
False
Suppose -2 + 0 = -w. Suppose 5*s = 2*o - 5*o + 37, w*s - 12 = -o. Is o a multiple of 7?
True
Let r be (-968)/55 + 4/(-10). Let t = r + 21. Is t a multiple of 2?
False
Let r(x) = x**2 + 7*x + 16. Let c be r(-7). Suppose -20 = q - 3*q. Let y = c - q. Is y a multiple of 3?
True
Let l = 81 - 30. Is 18 a factor of l?
False
Let o be (3 + -8)*(-1 + 0). Suppose 0 = -4*v + 2*q - q + 112, o*q = -v + 7. Suppose -3*r + 0*h = -h - v, -4*h = -12. Does 10 divide r?
True
Let p(o) = 3*o**2 + 2*o + 1. Let v be p(-1). Does 7 divide ((-4)/(-8))/(v/32)?
False
Suppose -5*t + b + 146 = 0, -2*b - 4 = 2*b. Suppose 4*r = -u + 2*r + 2, -5*u = -3*r + t. Let c(k) = 2*k**2 - k - 4. Does 16 divide c(u)?
True
Let b(i) = -11*i + 1. Does 3 divide b(-1)?
True
Suppose 2*o + 3*o + l - 55 = 0, -80 = -5*o + 4*l. Suppose 0 = -3*w + o, 3*w + 3 = -s + 30. Is s a multiple of 10?
False
Suppose -9 = -2*d + 1. Does 2 divide d?
False
Let t be (1/(-2))/(2/(-24)). Suppose -3*y - 2*b = -3, 9 + t = y - 4*b. Suppose 0 = -x + y + 1. Is x even?
True
Suppose 2*t = 68 - 10. Let r = t + -19. Is r a multiple of 5?
True
Let l(f) = -5*f**3 + 4*f**3 + f + 2*f**3. Let q(d) = -4*d**3 - 4*d**2 - 2*d + 3. Let g(r) = -3*l(r) - q(r). Does 5 divide g(-3)?
False
Suppose -20 - 8 = -g. Is 14 a factor of g?
True
Let h(a) = -a**3 - a**2 + 5*a - 1. Suppose 5*f + 8 = 3*f. Is 10 a factor of h(f)?
False
Let a(z) = z**3 + z**2 - z - 1. Let k be a(-1). Suppose k = u - 3*u + 108. Is u a multiple of 18?
True
Suppose 0 = 3*j - 8*j + 10. Suppose -o + 17 = 3*p - 4*p, -j*o + 37 = -5*p. Is o a multiple of 8?
True
Let c(w) = -w**3 + 9*w**2 - 9*w + 9. Is c(7) a multiple of 19?
False
Suppose 0*j = -2*j + 4*d + 74, 0 = -3*j - d + 146. Suppose 3*y - j = 292. Does 33 divide y?
False
Is 2/(-10) + (-4624)/(-20) a multiple of 21?
True
Suppose -80 = 4*j - 0*j. Is j/6*(-36)/30 a multiple of 4?
True
Suppose 0 = 3*v - 4*i - 0*i - 467, -4*v - i = -591. Is 30 a factor of v?
False
Let j(n) = -11*n + 8. Is j(-8) a multiple of 12?
True
Let u(r) = -5*r - 4. Let l be u(2). Let t = 17 + l. Is t even?
False
Suppose 0 = -2*z - z + 15. Let j = z - 4. Is -2 + j + 31/1 a multiple of 15?
True
Suppose 0 = -3*q - 2*y + 129, -4*q - 2*y = -0*y - 172. Let s = q - 4. Does 13 divide s?
True
Suppose -3*s + 3 = -4*s. Does 13 divide (s + (-48)/10)*-5?
True
Let w be (-72)/((-4)/((-24)/(-9))). Suppose w = 2*v - 0*v. Let n = 1 + v. Is 25 a factor of n?
True
Suppose 0 = o, 3 = 4*b - 3*o - 25. Is 7 a factor of b?
True
Let o = 49 + -44. Does 4 divide o?
False
Suppose 0 = 15*c - 29*c + 1330. Is 39 a factor of c?
False
Let g = -6 + 26. Let d(w) = -w + 42. Let l be d(0). Let s = l - g. Is s a multiple of 11?
True
Let q(d) = 2*d. Let u be q(-4). Let s be (u/6 - -1)*-9. Suppose 6 = p - r, -12 = -4*p + s*r + 16. Does 10 divide p?
True
Suppose g = -5*b - 28 + 5, -3*g = -b + 5. Let l = 6 + b. Is ((-4)/l)/(-2) - -47 a multiple of 17?
False
Suppose -3*q = 5*p - 12, 3 = -2*q + 1. Suppose -p*k = 15, 5*k - k = d - 54. Is d a multiple of 15?
False
Does 18 divide ((-87)/(-3))/(4/12)?
False
Suppose -5*o + 5*d = 10, 0*o - 2*d + 11 = 5*o. Suppose 41 = 3*j - o. Does 9 divide j?
False
Let p = 10 + -6. Suppose -p*k = k - 10. Suppose -3*o + 0*o - 18 = -5*j, 10 = 4*j + k*o. Is j even?
False
Let t(h) = 3*h**2 + 4*h - 7. Is t(3) a multiple of 20?
False
Suppose 2*h - 4*h = -6. Let r = 10 + h. Does 13 divide r?
True
Let t = -26 + 62. Is t a multiple of 3?
True
Suppose -4*h + 32 = -2*h. Let p = 43 - 1. Does 14 divide h/(-6)*p/(-4)?
True
Let f = -3 - -6. Suppose 10 = -2*d, -f*v - 3*d + 99 = -0*d. Suppose v = 5*a - 42. Is a a multiple of 8?
True
Let o(b) = -b**3 - b**2 - 9*b - 11. Does 8 divide o(-5)?
False
Suppose -3*h + 141 = -6*b + b, -183 = -4*h + 5*b. Suppose 2*r + 6 = h. Is 12 a factor of r?
False
Let w(j) = 0*j - 4*j - j**3 + 7*j - 2*j**2 + 1 + 3*j**2. Is w(-3) a multiple of 14?
True
Let y be ((-10)/(-6))/(1/3). Let h(i) = -2*i + 1. Let w be h(-4). Suppose -l = -y - w. Is l a multiple of 7?
True
Suppose 2*x - 6*x = -12. Let z(a) = -3*a**2 - 3*a - 9. Let n(o) = -1. Let i(y) = 6*n(y) - z(y). Does 13 divide i(x)?
True
Let h = 92 - 39. Does 11 divide h?
False
Is (-4)/(-26) - (5838/(-13))/6 a multiple of 15?
True
Suppose -3*g = -39 - 228. Suppose 2*f - 55 = g. Does 24 divide f?
True
Suppose 3*n - 1 = 2. Let f(c) = -c. Let l be f(-2). Is -32*n*l/(-4) a multiple of 6?
False
Let u = -19 - 6. Let a = 3 - u. Does 10 divide a?
False
Let h be (-1)/(-2)*-2*-3. Let n(t) = 4*t + 5*t**2 + 4 - t**3 - h*t**2 + t - 1. Is n(-3) a multiple of 13?
False
Let v(j) be the third derivative of j**5/60 - j**4/6 - 4*j**3/3 - j**2. Does 2 divide v(6)?
True
Suppose 2*x + 2*x - 435 = -w, -4*w + 228 = 2*x. Is x a multiple of 36?
True
Let o be 3 + -1 + -4 + 5. Is 2960/112 + o/(-7) a multiple of 7?
False
Suppose 5*g + 3*h - 236 = 44, -3*h + 112 = 2*g. Is g a multiple of 14?
True
Let m be 2/(-4) - 9/(-6). Let t(o) = 3*o**2 - o. Let h be t(m). Suppose 3*g = -3*z, -50 = -5*z + 3*g + h*g. Is 5 a factor of z?
True
Let c(i) be the third derivative of i**6/120 + i**5/60 + i**3/6 + 3*i**2. Does 17 divide c(3)?
False
Suppose 20*g - 25*g + 855 = 0. Is g a multiple of 9?
True
Let y = -76 + 96. Is y a multiple of 10?
True
Is (-2)/(-12) - 94/(-12) a m