t n = 12 + 3. Suppose 4*z + 3*h = 6*h + n, -4*z = 4*h + 20. Suppose z = 2*m + 10 - 28. Is m a multiple of 9?
True
Let l be (1 - (1 - 2)) + 0. Suppose -3*z - l*v = -8*z + 546, -z - 2*v = -102. Let r = z + -72. Is 12 a factor of r?
True
Does 2 divide (-8)/12 + (-33)/(-9)?
False
Let y(i) = 2*i**3 + 6*i**2 + 3*i + 4. Let p be y(-4). Let k = 67 + p. Suppose -5*z = m - k, 3*z = -z + 4*m + 36. Does 4 divide z?
False
Let m be 11/3 - 14/21. Suppose -m*i + 48 = i. Does 9 divide i?
False
Let n be (6/(-5))/((-6)/20). Suppose -n*u + 4*i = -5 - 3, 2*u + 5*i + 24 = 0. Does 12 divide 191/5 - u/(-10)?
False
Suppose -g - 2*g + 3*n - 66 = 0, 8 = 4*n. Let r = g + 38. Is 7 a factor of r?
False
Suppose -v + 295 - 200 = 0. Does 15 divide v?
False
Is 15 + (6*-1 - -3) a multiple of 4?
True
Let j be (4/3)/(1/(-6)). Let d(v) = -2*v - 6. Is d(j) a multiple of 5?
True
Suppose -423 = -5*u - 63. Let f = u - 44. Does 14 divide f?
True
Let w be (2 - (-2 - 44)) + -3. Is 4 a factor of w/(-6)*(-8)/5?
True
Let b be (24/(-14))/(1/7). Let v = b - -18. Is v a multiple of 3?
True
Let t = -6 + -2. Let a = t - -11. Suppose -o + 5*g + 44 = 2*o, -a*o + 37 = 2*g. Is 8 a factor of o?
False
Suppose 67 = -2*q - j, -4*j + 106 = -8*q + 5*q. Let d = q + 79. Does 8 divide d?
False
Let k = 7 + -5. Suppose k*x - 18 = -0*x. Does 4 divide x?
False
Is (-42)/(-4)*(-16)/(-3) a multiple of 16?
False
Suppose -3*t = 3*j + 33, 2*t + 2*t - 34 = 2*j. Let q = j - -20. Suppose -2*b - 40 = -q*b. Is 4 a factor of b?
True
Suppose 4*c + 2 = -14. Let o(u) = -u**2 + 6*u + 2. Let b(k) = -5*k**2 + 30*k + 9. Let i(h) = 2*b(h) - 11*o(h). Is 18 a factor of i(c)?
True
Suppose 4*r + 0*r = p + 8, 8 = 2*p. Suppose g + r*g + 40 = 0. Let h = -4 - g. Is 6 a factor of h?
True
Let i(w) = w + 7. Let z be i(-8). Is 3 a factor of (2 - 4)*z - -3?
False
Suppose a - 92 = 3*w - 7*w, -2*a = 0. Is w a multiple of 9?
False
Let w be 0*(-2)/6 - 4. Let z = 25 + w. Is z a multiple of 21?
True
Let m = -57 + 64. Is 2 a factor of m?
False
Suppose -2*p - 4*g = -24, 0 = -0*p - 3*p - 4*g + 40. Is p a multiple of 7?
False
Let t be 7*(-5)/((-105)/6). Suppose t*q - 13 = 15. Is q a multiple of 9?
False
Let y = -34 - -75. Is y a multiple of 13?
False
Let u(j) = j**2 - 8*j + 9. Suppose 4*x + 5*l - 9 - 29 = 0, 4*l - 36 = -4*x. Let d be u(x). Suppose t - d = 3*h + 4, -48 = -3*t + 3*h. Is 21 a factor of t?
True
Let v be 48/(-9)*(-30)/4. Let u(y) = y**3 + 2*y**2 - 3*y + 2. Let x be u(-3). Suppose 3*k - 3*r - 45 = 0, x*r - 10 - v = -2*k. Does 10 divide k?
True
Suppose 0*w - 290 = -5*w. Let i(y) = 6*y + 2. Let j be i(-6). Let m = j + w. Is m a multiple of 12?
True
Suppose 23 = 2*u + 1. Suppose -15 = -u*n + 8*n. Is 2 a factor of n?
False
Suppose 129 = r + 2*r. Let l = r + -4. Is l a multiple of 13?
True
Suppose -4*q + 4 = -4. Let v be 2/q + (-4 - -5). Suppose 54 = v*m + 4*r, -m - 3*r - 89 = -3*m. Is 13 a factor of m?
False
Let r be 14/10 + 6/10. Suppose -22 + 56 = r*h. Does 9 divide h?
False
Let n(i) = 14*i**2 + 2*i + 1. Suppose -2*x + 7*x = -20, -5*u - 5*x - 15 = 0. Suppose u = 3*f + 4. Does 13 divide n(f)?
True
Let y be 8/(-6) + 768/36. Suppose 5*u - 19 = 4*z + y, -4*u = -z - 40. Is 11 a factor of u?
True
Suppose i - 241 = -2*k, i = -4*k + 4*i + 477. Is k a multiple of 15?
True
Let r(k) = 4*k**2 - 3*k - 3. Let n(o) = -o**3 + 4*o**2 - 2*o + 6. Let x be (-35)/(-5) - (-1 - -4). Let g be n(x). Is r(g) a multiple of 14?
False
Let s = 152 + -234. Let w = 124 + s. Is w a multiple of 20?
False
Let c be (-3)/9 + 6/(-9). Let x be 0*c/2 - -53. Suppose 5 + x = 2*a. Is a a multiple of 13?
False
Let f(o) = -o**3 - 4*o - 2*o**2 + 1 - 1 + 4. Let q = 115 + -119. Is 17 a factor of f(q)?
False
Suppose -v - 61 = -171. Is v a multiple of 11?
True
Let h(n) = -2*n + 5. Is h(-8) a multiple of 11?
False
Let j be (-4)/(-4) - (-2 - 1). Suppose 0*f - 5*f + j*p = 5, 0 = -2*f + 5*p - 2. Is 1/f*-1*59 a multiple of 17?
False
Let p(m) = 2*m**2 + 12*m + 4. Let n be p(-8). Suppose 5*u + 84 = 3*x - 2*x, x = 2*u + n. Let y = 22 + u. Is y a multiple of 5?
False
Let s be (-6 - -1)/(4/(-12)). Suppose 4*x + s = g, 4*x = -0*g + 2*g - 18. Suppose -l + g*l = 56. Does 12 divide l?
False
Let t(g) be the third derivative of 7*g**6/30 + g**5/60 - g**4/24 + g**3/6 - 4*g**2. Let f be t(1). Let i = 52 - f. Is i a multiple of 9?
False
Let y(d) = -d - 2. Let p be y(8). Let s = 14 + p. Suppose s*b - 34 = -n, 5*n - 119 = -2*b - b. Does 10 divide n?
False
Let n(b) = b**3 - 8*b**2 + b - 6. Let l be n(8). Suppose -16 = -l*y + i, 8*y - 3*y - 3*i = 41. Is y a multiple of 7?
True
Suppose -2*y + 140 = -0*y. Is y a multiple of 27?
False
Let u = -5 + 12. Is u a multiple of 4?
False
Let f(l) = -21*l + 2. Suppose 4 = -3*t - 5. Does 21 divide f(t)?
False
Let j be -2 + (70 - -3)/1. Let c = 133 - j. Does 31 divide c?
True
Suppose -2*k + 202 = 2*n, -2*n = 3*k - 88 - 219. Is k a multiple of 21?
True
Is 19 a factor of ((-10)/(-6) - -1)*36?
False
Let s(n) = -n**2 - 4*n + 7. Let u be s(-5). Suppose -u*j - j + 147 = 0. Does 13 divide j?
False
Let s(k) = -k**3 + 4*k**2 - 3*k + 1. Let g be s(2). Let l = g + -1. Let v = 2 + l. Is v a multiple of 3?
False
Suppose -2*m + w - 4 = 0, 2*m + 2*w - 10 = -26. Let a be (11 + -8)/((-3)/m). Suppose 2*s + 48 = a*z - 2*s, 0 = -4*z + 5*s + 49. Is 11 a factor of z?
True
Suppose 25 = -4*y - 7. Suppose 15 = -7*w + 2*w. Is 10 a factor of (-28)/w - y/12?
True
Let o = 150 - 64. Is o a multiple of 12?
False
Let f(q) = -q**3 - 4*q**2 + 7*q + 8. Is 10 a factor of f(-6)?
False
Let s(n) = n**2 - n + 3. Let w = -5 + 8. Let v be s(w). Does 4 divide 6/(0 - (-6)/v)?
False
Let j(v) = v - 6. Let f be j(0). Let h = -4 - f. Is 14 a factor of 31 + (h - (3 - -2))?
True
Let z(i) be the first derivative of 27*i**2 - i - 4. Does 11 divide z(1)?
False
Let r be -2 + 8 - (1 + 1). Let n(s) = 2*s**3 - 3*s**2 + 2*s + 3. Let q be n(3). Suppose -r*a - q = -100. Is a a multiple of 11?
False
Let a be -5*(18/(-15) + 0). Let c = a + 1. Suppose c - 22 = -3*l. Is 3 a factor of l?
False
Let w(x) = -x + x**3 - 2*x**2 - 2*x**3 + 3 + 8*x. Suppose 10 = -3*u - 5. Is 16 a factor of w(u)?
False
Let h(w) = -w**3 - 7*w**2 + w + 7. Let x be h(-7). Suppose 3*n - 48 - 12 = x. Is 14 a factor of n?
False
Let o(p) = p - 2. Let q be o(4). Let n = q - -5. Suppose 2*j + 50 = n*j. Is 8 a factor of j?
False
Let u = -3 - -6. Suppose -4 = u*s - 112. Is s a multiple of 18?
True
Let p(z) = 28*z - 63. Is 45 a factor of p(13)?
False
Is 60/(-6)*(-3)/6 even?
False
Let b(o) = -o**3 - 6*o**2 - 6*o - 3. Let w be b(-5). Suppose -w - 46 = -4*l. Does 14 divide 16/10*150/l?
False
Let k = -18 - -14. Let y = k - -44. Is 10 a factor of y?
True
Let h(m) = -m - 1. Let y be h(5). Let r = y + 7. Is 9 a factor of 0 - r/(1/(-15))?
False
Let o(c) = c + 12. Suppose 0 = 3*z + 4*j + 29, z = -6*j + 3*j - 13. Let t be o(z). Suppose -t*u = -r + 4*r - 235, 4*r + 20 = 0. Is u a multiple of 13?
False
Let t = -6 - -15. Let h(y) = 4*y - 44. Let q(j) = -j + 11. Let k(u) = t*q(u) + 2*h(u). Is k(9) a multiple of 2?
True
Let n(a) = a + 3. Let v be n(-2). Let s(d) = -d**3 + 2*d**2 - d. Let y be s(v). Suppose y = -4*f - 8, 4*x + f - 54 = 2*f. Does 6 divide x?
False
Let y(d) = -d**2 - 6*d + 6. Let m be y(-6). Suppose -3*f = 2*n - 6*f + 8, -f = 4*n - 12. Suppose -m = -i + n. Is 6 a factor of i?
False
Let j = -48 + 104. Does 14 divide j?
True
Let i = 119 - 43. Is 20 a factor of i?
False
Suppose -2*m + 0*m = -56. Suppose -2*h - o + m = 0, 4*h + h - 3*o - 70 = 0. Is 13 a factor of h?
False
Let k be 5/3 + (-2)/3. Let s be (-8)/(3 - k) - -2. Does 13 divide -4 + 1 - (-18 - s)?
True
Suppose 7*j - 2*j = -5. Let a(u) = -9*u + 5. Let b(t) = -9*t + 4. Let c(g) = -5*a(g) + 6*b(g). Is 8 a factor of c(j)?
True
Is (-6822)/(-90) + (-4)/5 a multiple of 29?
False
Let a be (-13*2)/(-2) - 2. Suppose -2*g + 57 = a. Is g a multiple of 9?
False
Let l(y) = 2*y**2 - 3. Let n be l(2). Suppose n*j + 0*j - 25 = 0, 4*j = 3*a + 2. Does 4 divide a?
False
Let y be 2 + -5 - (1 - 0). Let f = y + 9. Does 2 divide f?
False
Suppose 264 - 84 = -5*o. Let n = o - -60. Is 10 a factor of n?
False
Suppose -31 - 75 = -g - v, 5*g + 3*v - 524 = 0. Is g a multiple of 30?
False
Let s(l) = 12*l + 12. Does 28 divide s(6)?
True
Let o(i) = -i**3 + 7*i**2 + 6*i - 3. Is o(7) a multiple of 13?
True
Let y be 3 + (2 + 27 - 2). Suppose 0 = 5*q + 5*w - y