x - h + 12, -x - 3*h = -3*x + 12. Is x a multiple of 4?
False
Let z(l) = l**3 - 11*l**2 + 13*l + 6. Is 14 a factor of z(10)?
False
Suppose -p = 3*r - 22, 0*p - p + 4*r = 6. Does 2 divide p?
True
Let x be -2 + (-2 - (-2 - 5)). Suppose 5*u = -x*n + 13, u - 42 + 17 = 5*n. Suppose 2*z + o + 4 = 28, 61 = u*z + 3*o. Is z a multiple of 4?
False
Suppose -387 = -5*p + 458. Does 13 divide p?
True
Let c = 51 + -33. Is 9 a factor of c?
True
Is ((-504)/105)/(4/(-150)) a multiple of 12?
True
Let m be 3/(9/6) - 128. Let s = -74 - m. Does 13 divide s?
True
Let m = 434 - 296. Is 23 a factor of m?
True
Suppose 27 = 3*q - 2*i - 83, -2*i = 4*q - 170. Let t(o) = 2*o**3 + 4*o**2 - o - 4. Let v be t(3). Let w = v - q. Is w a multiple of 15?
False
Suppose 4*i = -4*g - 0*g - 540, -4*g = -i - 135. Let c = -85 - i. Let f = -28 + c. Is f a multiple of 11?
True
Let d(g) = -g**3 + 10*g**2 - g. Is 15 a factor of d(8)?
True
Suppose -n - 1 + 28 = 0. Is n a multiple of 27?
True
Let a(b) = b**2 - 4. Is 12 a factor of a(-4)?
True
Let t(a) = -16*a**2 - 2*a + 2. Let r be t(-2). Let z = r + 97. Suppose -4*b = l - z, 5*l + 80 = 3*b + 2*b. Does 11 divide b?
True
Suppose -380 = -4*t + 116. Is t a multiple of 31?
True
Suppose 4*a + 6 - 74 = 0. Is 5 a factor of a?
False
Let h(u) = -2*u - 9 - 6*u**3 + 5*u**3 + 7*u - 6*u**2. Let m be h(-7). Suppose m*y - 191 = 2*v, -y - 99 = -4*y - 4*v. Is y a multiple of 13?
False
Let p = 0 + -6. Let n(b) = b + 5. Let s be n(p). Let y = 9 + s. Is y a multiple of 4?
True
Let q(f) = 11*f**2 - 2*f + 2. Let j be (-4)/(-3) - (-6)/9. Does 14 divide q(j)?
True
Let j(o) = o + 21. Let k be j(-9). Let c be -1 + 23 - (1 + 0). Suppose 0*b - b + x + c = 0, -3*x = k. Does 7 divide b?
False
Suppose -5*g + g - 2684 = -4*o, 4*o = -2*g + 2690. Does 28 divide o/8 - (1 - 1)?
True
Let d = 205 - 93. Is 7 a factor of d?
True
Let m(f) = -2*f**2 + 8*f + 3. Let j be m(6). Let y = j - -47. Is 10 a factor of y?
False
Let o(u) = 3*u**2 + 2*u + 16. Is o(-6) a multiple of 8?
True
Let l(q) = q**2 - 12*q + 14. Let a be l(11). Suppose a*w + w = 44. Is w a multiple of 5?
False
Let w = -8 + 7. Does 10 divide (-6)/2 + (w - -34)?
True
Suppose -3*x = -l - 14 - 10, -5*l = 15. Let p = x - 4. Suppose -p*a = -5*d + 33, -d - 5*a + 15 + 14 = 0. Does 3 divide d?
True
Suppose -2*f - 3*f - 30 = 0. Let i(k) = k**3 + 6*k**2 - 2*k + 6. Is 18 a factor of i(f)?
True
Suppose -4*v - 6 = -18. Suppose -2*q - v = -45. Does 6 divide q?
False
Suppose -36*m = -35*m - 135. Is m a multiple of 9?
True
Let b(t) = t**3 - 3*t**2 + 3*t - 5. Let o be (1/3)/((-7)/(-84)). Let n be b(o). Suppose -n - 30 = -k. Is 17 a factor of k?
False
Let b(s) = 3*s**2. Let r be b(3). Suppose -2*n + y + 8 = 20, -2*y + 8 = 0. Let o = r + n. Is o a multiple of 9?
False
Let h be 3412/16 - 2/8. Suppose -3*n = -8*n - d + h, -2*d = -4*n + 162. Is 23 a factor of n?
False
Let y(m) = -m**3 - 7*m**2 - 7*m + 6. Let g be y(-7). Suppose 0 = -5*i + 4*h + 87, 0 = 3*i + h - 2*h - g. Is i a multiple of 5?
False
Let o(h) be the second derivative of -h**5/4 + h**2 - 6*h. Is 14 a factor of o(-2)?
True
Let m be (18 + -4)*(-1)/2. Let w(s) = s**3 + 6*s**2 - 9*s - 9. Let i be w(m). Suppose 3*f - i*f + 64 = 0. Does 16 divide f?
True
Let r(l) = -l**3 - 12*l**2 - 12*l + 8. Let j be r(-10). Let i = -39 - j. Is i a multiple of 7?
False
Suppose 778 + 489 = 7*q. Is 29 a factor of q?
False
Suppose -2*a - 3*o + 53 = 0, -5*o = a + 3 - 33. Is 8 a factor of a?
False
Suppose 3*w + 10 = -4*x, -2*x - 6 = -5*x. Does 7 divide 46/w*(3 - 6)?
False
Does 13 divide 3*10/195 - (-1493)/13?
False
Let r = 69 - 33. Does 16 divide r?
False
Let r = 15 + -21. Let f(p) = -p**3 - 5*p**2 - p - 2. Let h be f(r). Suppose 3*d - 51 + 16 = m, 5*d = -2*m + h. Is 5 a factor of d?
True
Let p(n) = -n**2 + n + 4. Let x(q) = -3*q - 1. Let v be x(-1). Let j(g) = g - 1. Let d(r) = v*j(r) + p(r). Is d(3) a multiple of 2?
True
Let t = 25 + -18. Is 2 a factor of t?
False
Let n(i) = 5*i - 3 + i**2 - 6 + 3*i + 0*i. Let m be n(-9). Suppose m = -0*g + 3*g - 27. Is g a multiple of 9?
True
Let b(w) = w**2 - 5. Let o be b(3). Suppose -o*j = -j - 30. Is j a multiple of 2?
True
Let l(f) = -f**3 + 3*f**2 + 2*f**2 - 4*f**2 - 2*f**2. Let v be l(-2). Suppose 5*m = -d + 13, -m = v*d - 5*m - 52. Does 13 divide d?
True
Let u(y) be the second derivative of y**7/2520 + y**6/72 + 13*y**5/120 + y**4/6 + 2*y. Let v(z) be the third derivative of u(z). Is 2 a factor of v(-9)?
True
Does 5 divide (-7 - -1 - (2 - 4))*-17?
False
Let s be 0 + 2 + 3 + -1. Suppose -r + 5 + 7 = -s*d, 4*d = -8. Is 2 a factor of r?
True
Suppose 2*c + 2 = -4. Let u be (2/6)/(c/(-27)). Suppose 2*g - 90 = -u*g. Is g a multiple of 6?
True
Suppose -63 = -3*c - 3*r + 159, -5*c + 330 = -3*r. Does 19 divide c?
False
Let q(s) = -5*s**2 + 4*s - 1. Let n be q(3). Suppose 7*u + 20 = 2*u. Is 9 a factor of (2 + n/8)*u?
True
Suppose 17*s - 15*s - 42 = 0. Does 7 divide s?
True
Let b be 1/(-2 + -1 + 2). Let l be b*(1 + 35*-1). Suppose -2*g + g = -2*u + 26, 5*g + l = 2*u. Is 6 a factor of u?
True
Let c(k) = 3*k**2 - 2*k**2 - 2*k + 0*k**2 - 4. Let t be c(4). Suppose 0 = 5*r + t*x - 190, r - 5*x + 0*x - 9 = 0. Is 17 a factor of r?
True
Let p(j) = -2*j - 1. Let s be p(-3). Let r = s - -28. Is r a multiple of 11?
True
Let f be (6/(-9))/(8/(-204)). Suppose 31 = -4*l - f. Let q = 24 + l. Does 6 divide q?
True
Suppose 72 = -4*n + n. Let s = -2 - n. Is 11 a factor of s?
True
Suppose 3*y - 17 = 2*y. Suppose p - y = 22. Is 13 a factor of p?
True
Suppose -a = 4*a - 90. Does 9 divide a?
True
Let k = 6 - 3. Suppose 0*u - 2*u + 10 = -4*v, -2*v + k*u = 15. Is 12 a factor of -2 - (-26 + v/2)?
True
Suppose -3*f = -2*r + 6, -3*r = 5*f + 5 + 5. Suppose -5*i - 28 = -z - r*i, -3*z + 5*i + 44 = 0. Is z a multiple of 6?
False
Let h = -10 - -15. Suppose -z - 140 = -h*z. Does 21 divide z?
False
Suppose -5*j + 4*k = -78, -4*k = 2*j - 0*k - 20. Is j a multiple of 13?
False
Let x(q) = q + 14. Let i = 1 + -6. Let y be 3/i + 3/5. Is 14 a factor of x(y)?
True
Let u(j) = 2*j**2 - 6*j + 2. Does 11 divide u(5)?
True
Suppose 4*q - 2 = -98. Let x = q - -56. Does 16 divide x?
True
Suppose -3*w = 2*n - 109, 4*w - 2*n - 122 = -0*n. Is (-4)/(-2) - (9 - w) a multiple of 26?
True
Let l(d) = d**2 - d - 118. Let t be l(0). Is 3/(-6) + t/(-4) a multiple of 15?
False
Suppose -3*o = -5*q - 8*o, 0 = 4*q - 4*o + 8. Let w(j) = 9*j**2 - j. Is w(q) a multiple of 5?
True
Let o(u) = -2 - 4 + 3 + u**2. Let i be -2*(-6)/4*-1. Is o(i) a multiple of 3?
True
Let n(f) = 7*f**2 - 2*f. Suppose -2*v = -2, -s + 3 + 0 = v. Is 10 a factor of n(s)?
False
Let q = 84 + -57. Is q a multiple of 5?
False
Does 4 divide (-22)/(-6) + (-3)/(-9)?
True
Suppose 10 = -2*v + 4*v - 3*o, -3*v = -5*o - 16. Suppose v*d = -0*d + 8. Is d a multiple of 4?
True
Suppose 26 - 110 = -3*t. Suppose t*x = 23*x + 45. Is x a multiple of 3?
True
Let j be (3/9 + -1)*-3. Suppose 4*y + 4*i - 32 = 0, -j*y + 4*y - 28 = 4*i. Suppose 5*z + a = 70, -3*z + 5*a + y = -4*z. Is z a multiple of 10?
False
Let n(c) = c**3 + 9*c**2 + c + 20. Is n(-9) a multiple of 3?
False
Let p(z) = -10*z + 2. Suppose k + 0*k = 5*r + 20, -5*k - 5 = -4*r. Does 13 divide p(k)?
True
Let v(f) be the second derivative of -f**3/2 - 3*f**2 - 5*f. Is v(-5) a multiple of 9?
True
Suppose -5*o - 3*x + 27 = -6*x, -3*o - 11 = 5*x. Suppose 4*n + 1 = o*n. Is -1 + 4 + 1 - n even?
False
Let m = 4 - -9. Suppose -65 = -2*c - m. Is c a multiple of 7?
False
Let t = -3 - -3. Suppose t = -5*f - 0*f - 15. Let q = 17 - f. Does 10 divide q?
True
Suppose -v = 5*o - 34, 0*o - 26 = -4*v + 2*o. Let r(n) = -2*n + n + 2*n + 10*n + 8*n**2 - n**3 - 13. Is 5 a factor of r(v)?
True
Let n = 27 + 1. Is n a multiple of 6?
False
Suppose 3*s - 18 = 3*n, 4*n + 11 = -s - 28. Let p(r) = -r + 2. Does 4 divide p(n)?
False
Let w(q) = q**2 + 4. Suppose -2*j - 3*c + 18 = -c, 3*j + c - 21 = 0. Is 9 a factor of w(j)?
False
Let x(o) be the second derivative of o**4/12 - o**3/3 + o**2 + 3*o. Is x(6) a multiple of 13?
True
Suppose -3*x = -4*j + 21, 2*j - 7*j + 15 = 0. Let t be (1 + 1 + x)*-38. Let i = 60 - t. Does 11 divide i?
True
Let h = -9 - -12. Suppose 3*n - h*d - 33 = 0, 1 = -0*d + d. Is 10 a factor of n?
False
Let i(t) = 0*t + 1 + 2*t + 0*t - 3*t. Does 5 divide i(-9)?
True
Does 7 divide -10 - -16 - (1 - 2)?
True
Is 9/(-6)*(-8)/2 a multiple of 6?
T