- a, -2*m + 2*a = -16. Let h = z + m. Does 2 divide h?
True
Let f(w) = 2*w**2 - 8*w. Let z be f(6). Does 12 divide (-9)/2*(-128)/z?
True
Let y(l) = l**3 + l**2 - 17. Let i be y(0). Let v = 8 - i. Does 13 divide v?
False
Let u(w) = 25*w - 19. Is 37 a factor of u(9)?
False
Let l(i) = -2 - 2 - 3*i + 5. Is l(-3) a multiple of 5?
True
Let q(o) = 11*o**2 + o + 2. Let y(f) = -12*f**2 - f - 1. Let l(h) = -3*q(h) - 4*y(h). Let r be l(2). Suppose 0 = 4*b + b - r. Is b a multiple of 6?
True
Let m = -247 - -475. Is m a multiple of 12?
True
Suppose 2*t = 5*p - 20 + 6, -3*t = 2*p - 17. Suppose 4*d + q - 17 = 0, 3*q - 3 = p*d - 0. Suppose 2*i + 32 = v, i = -d*v - 27 + 102. Does 9 divide v?
False
Suppose -2*k = 2*k - 5*m - 10, -k + 3*m + 6 = 0. Let r = k + 4. Does 3 divide r?
False
Suppose 0 = 5*t - 2*t - 3*z + 42, 4*t + 11 = -5*z. Let i = 24 + -2. Let k = t + i. Is 11 a factor of k?
False
Let x be ((-2)/(-4) + -1)*0. Let s be (1 - 2)*0 + 2. Suppose x*c = s*c - 4*n - 8, -52 = -4*c - n. Is 6 a factor of c?
True
Suppose -4*v - 174 = -6*v. Is v a multiple of 14?
False
Suppose 0 = -3*b + 138 + 6. Is 16 a factor of b?
True
Let o(m) = -m - 9. Let x be o(-6). Let v(d) = 5*d**2 + 6*d + 6. Does 33 divide v(x)?
True
Suppose -41*d = -38*d - 906. Does 9 divide d?
False
Let x = 5 - 1. Let f be (3/x)/((-1)/(-4)). Suppose 48 = f*a - a - o, 88 = 4*a - 4*o. Is 14 a factor of a?
False
Let b(r) = r**3 - 4*r**2 - 9*r + 13. Let u be b(6). Let z = u + -19. Is z a multiple of 9?
False
Suppose -j - 4 + 0 = 0, 2*o + 4*j = 458. Does 18 divide o?
False
Let x be 108/(-3)*(3 - 4). Suppose p + p = x. Does 6 divide p?
True
Suppose 4*s + 4*v = -0*s + 4, 3*v = 3*s + 3. Does 13 divide (s + 52/(-16))*-12?
True
Let r(x) = x**3 + x**2 - 2. Let u be r(0). Let b(g) = -g**3 + 2*g**2 + 2*g - 1. Is 11 a factor of b(u)?
True
Let g(x) = -3*x**2 - x - 5. Let b be g(-4). Let h be 1*(0 + -3 - 84). Let o = b - h. Is 15 a factor of o?
False
Suppose 0 = a - 4*u - 11, -139 = -5*a - 0*u - u. Is 14 a factor of a?
False
Suppose 4*t = -t + 155. Is t a multiple of 6?
False
Suppose -12 = q - 4*q. Suppose -80 = -2*s + q*v, -3*v + 2*v = -4. Is s a multiple of 13?
False
Let h(r) = 4 + 0 + r**3 + 8*r**2 + 1 + 3. Is h(-8) a multiple of 5?
False
Suppose -15 = -14*d + 9*d. Suppose d*s - 240 = -s. Is 16 a factor of s?
False
Let k = -33 - -81. Does 16 divide k?
True
Let c = 2 - -24. Is 11 a factor of c?
False
Suppose 0 = 3*j - 289 + 64. Is 24 a factor of j?
False
Suppose 0 = -3*l, -j + 33 = l - 3*l. Is 15 a factor of j?
False
Let b be (3 - 2) + 1/1. Suppose -2*u = 5*h - 5, -3*u - 2*u + 2*h - b = 0. Let w = 9 + u. Does 6 divide w?
False
Let f(c) be the second derivative of -c**3/6 + 17*c**2/2 - 3*c. Is 17 a factor of f(0)?
True
Let i be ((-2)/(-2))/(-1) - -12. Let g(r) = r**3 - 2 + 4*r**2 - i*r + 6*r**2 - 3*r**2. Is g(-8) a multiple of 11?
True
Suppose -2*x = 5*f - 9, 3*f - 3*x = -x + 15. Suppose -3*t = -2*t - f. Suppose 3*q = 3*k - k + 41, -5*q + 81 = t*k. Does 10 divide q?
False
Suppose 3*b - 2*b = 1. Let a(t) = 16*t**2. Does 16 divide a(b)?
True
Let d = 4 - -110. Does 6 divide d?
True
Let q(b) = -2*b - 4. Let g be q(-5). Let h(u) = 2 - u + u**3 - u + 9*u - 7*u**2. Is h(g) a multiple of 4?
True
Suppose -8*p + 3*p = -2*r - 75, 5*r + 156 = 2*p. Let k be 516/10 + 4/10. Let d = k + r. Is 11 a factor of d?
True
Let z(x) = -8*x + 4. Let m(v) = 16*v - 8. Let h(y) = -y. Let u be h(-3). Let k(r) = u*m(r) + 5*z(r). Is k(3) a multiple of 8?
False
Suppose x - 12 = 2*k, 7*x + 3*k = 3*x + 15. Let q be (-1 - (-2 - 0)) + x. Let f = q + -5. Is f a multiple of 2?
True
Let p be (3/2)/(1/2). Suppose 2*n = -p*n + 240. Is n a multiple of 16?
True
Let u(a) = -21*a**2 + 1. Let z be u(1). Let i = -35 - z. Is 3 a factor of (8/(-10))/(3/i)?
False
Suppose -5 = -2*t - s, -4*t + 2*s + 38 = 8. Suppose -t*q + 4*q - 2 = 0. Let m = 16 - q. Is m a multiple of 18?
True
Let q be ((-3)/2)/(3/4). Let c = q - -8. Suppose -o - 25 = -c*o. Is 3 a factor of o?
False
Let w(d) = -4*d**3 - 4*d**2 + 6*d - 7. Let m(b) = 3*b**3 + 4*b**2 - 5*b + 6. Let i(j) = -3*m(j) - 2*w(j). Let v be 10/(-3 - (-1 + 0)). Does 3 divide i(v)?
True
Let v(g) = -15*g - 9. Let r(c) = -1. Let q(m) = -3*r(m) + v(m). Let k be q(-7). Suppose -2*y - k = -5*y. Does 17 divide y?
False
Let a(h) = h. Let n be ((-3)/2)/(5/(-10)). Let r be a(n). Suppose -59 = -5*f + z + 45, r*z - 68 = -4*f. Is 10 a factor of f?
True
Let g = 6 + -5. Let x be g/(-5) + (-4)/(-20). Suppose -2*k - k + 30 = x. Is k a multiple of 4?
False
Let l(p) = -2*p**3 - 5*p**2 - 3*p + 4. Suppose 0 = 3*a - a + 6. Let v be l(a). Let i = v - 15. Is 4 a factor of i?
False
Suppose 0*q - 33 = -3*q. Suppose b - 1 = -p, -q = 3*b - 2. Is 4 a factor of p?
True
Suppose 0 = -b + 5*c - 6, 3*b + 4*c = 20. Suppose -2*j + 28 = -b*p, 4*j = -2*p + 7 + 49. Suppose 16 = x + h, 0 = 5*h + 4 - j. Does 11 divide x?
False
Let u(i) = i - 3. Let f be u(6). Suppose -2*n - f*n = 20. Does 5 divide (-2 - -17)*n/(-10)?
False
Suppose -4*t - 5*h = -56 - 75, -4*t - 4*h = -136. Is 13 a factor of t?
True
Suppose 4*w - 15 - 1 = 0. Suppose -2*g - w = -4*g. Suppose 2*o = g*z - 13 + 1, 26 = 3*z - o. Is 9 a factor of z?
False
Let c be -1*(1 - (-2)/(-2)). Let q(i) = i**3 + i**2 - i + 4. Does 3 divide q(c)?
False
Suppose -164 = -5*t - 44. Suppose 94 = -5*n + t. Is 1/(2/n)*-3 a multiple of 8?
False
Suppose -4*q - 112 = -8*q. Let y = 12 + q. Is y a multiple of 20?
True
Let a(g) = g**3 + 11*g**2 - 13*g + 4. Is 8 a factor of a(-12)?
True
Let r be 0 + -2 + -2 + 1. Let y be (r/(-4))/(2/96). Suppose g - y = -2*g. Is g a multiple of 12?
True
Suppose 4*w = 7*w + 3*i - 213, 3*i = -2*w + 147. Is w a multiple of 11?
True
Is 32 a factor of 32*1*(-27 - -28)?
True
Let s(a) be the third derivative of -a**4/24 + 7*a**3/6 + 3*a**2. Is 12 a factor of s(-5)?
True
Suppose -7 = 4*k - 3. Is (-129)/(-6) + k/(-2) a multiple of 11?
True
Let p = 69 + -39. Suppose 0 = -4*g - p + 174. Suppose 5*i - g = -11. Is i a multiple of 2?
False
Let r = 5 + -5. Suppose u + u - 5 = 5*y, r = 3*u + y + 18. Let i = u - -10. Does 3 divide i?
False
Suppose 18*d = 14*d + 192. Does 24 divide d?
True
Let a(u) = u**3 - 2*u**2 + 1. Let f = 16 + -13. Is a(f) a multiple of 6?
False
Let m = 36 - -24. Suppose -6*v + 3*v = -m. Is 15 a factor of v?
False
Let t = -3 + 7. Suppose 0 = t*o + 59 + 13. Let i = -10 - o. Is i a multiple of 3?
False
Let r(p) = -5*p**2 + p**3 + 2*p**2 + 12*p**2 - 7. Let o be r(-5). Suppose -2*z - o = -6*z - 5*n, 5*z + 3*n = 126. Is 9 a factor of z?
True
Let m = 0 + 29. Does 3 divide m?
False
Let u(c) = c**3 + 4*c**2 + 4*c + 2. Let d be u(-2). Does 16 divide 37/((d + 1)/6)?
False
Suppose 3*x - 2*x - 3*b = 2, 2 = 2*x - 5*b. Let u = 4 - x. Let d = -5 + u. Does 3 divide d?
True
Let n(i) = -7*i + 28. Is n(-12) a multiple of 28?
True
Suppose 155 = 4*l - 225. Let g = -44 + l. Does 17 divide g?
True
Let v be (-35)/(-14) - (-1)/2. Suppose v*w + c = 119, 7 - 20 = -w + 5*c. Is w a multiple of 6?
False
Let q = 21 - -21. Is q a multiple of 6?
True
Let f = 70 + -6. Suppose -4*a - 4*c + 56 = -f, 0 = c + 4. Is a a multiple of 10?
False
Suppose -4*p + 357 + 267 = 0. Does 30 divide p?
False
Suppose 5*l - 8*l + 45 = 0. Is 9 a factor of l?
False
Let v(r) = -r**2 + 11*r - 4. Let c be v(10). Suppose l - c = -i + 15, 0 = -2*l + 6. Is 9 a factor of i?
True
Suppose 0 = -2*u - 3 - 1. Is u/2 - (-12)/3 even?
False
Suppose 3*h = 4*j + 69 - 16, -2 = -2*j. Is h a multiple of 10?
False
Suppose -6*f + 2*f = 0. Suppose 3*t - 5 - 10 = f. Suppose 0 = t*r + 4 - 39. Does 7 divide r?
True
Let z(h) = h**2 + 3*h + 1. Let i be z(-5). Let v(b) = -b**3 + 11*b**2 + 5*b - 11. Is v(i) a multiple of 11?
True
Suppose -2*y + 15 = -15. Let x = y - 12. Is 2 a factor of x?
False
Let s = -54 + 117. Does 12 divide s?
False
Let c(d) = 15*d. Suppose 3*k = -2 + 8. Does 15 divide c(k)?
True
Let k(m) = m**2 + 2*m - 4. Let f be k(6). Suppose 0 = -3*c - 12, -16 = -3*v - 3*c + f. Is 24 a factor of v?
True
Let j = -312 + 554. Does 18 divide j?
False
Let d be (-71)/(-6) + (-3)/(-18). Suppose -5*l + 213 = -j, -d = 4*j - 0*j. Is l a multiple of 21?
True
Let w = 2 - -8. Let h(g) = -g**2 + 14*g - 10. Does 15 divide h(w)?
True
Let l = -19 + 35. Does 16 divide l?
True
Let f(p) = p**2 + p. Suppose -3*y - 12 = 0, 6*i = 2*i - 2*y - 36. Let d be f(i). Suppose -2*g + d + 34 = 0. Does 