se x + 0*x - a = 0. Is 23 a factor of x?
False
Suppose 0*v + 8*v - 1680 = 0. Is 15 a factor of v?
True
Suppose p + 3*f = -11 + 65, -66 = -p + 3*f. Does 10 divide p?
True
Let z(k) = -6*k. Let g be z(-1). Let x(m) = m**2 - 2*m - 2. Let q be x(7). Is 708/22 - g/q a multiple of 16?
True
Suppose -5*x + 3*x + 4 = 0. Is -8*(5/4 - x) a multiple of 6?
True
Let t(x) = -x**3 + 6*x**2 - x - 3. Let v be t(5). Suppose -d - v = -2*d. Does 17 divide d?
True
Suppose 2*l = 8, -5*b + 0*b + 3*l = 32. Let d = -18 - b. Does 12 divide (-2 + 2)/3 - d?
False
Let s(d) = -8 + 2*d + 3*d - 3. Let i be s(8). Suppose -3*k - i = -4*k + 4*v, 0 = 5*k - 5*v - 160. Does 14 divide k?
False
Suppose -5*v + 289 = f, -2*v = -5*f - 72 - 22. Does 25 divide v?
False
Let v = 4 + 1. Suppose 2*q + v*o - 25 = 0, -25 - 52 = -4*q - o. Is q a multiple of 5?
True
Let l be 1/2 + 26/4. Let n(w) = w**3 - 6*w**2 - 8*w + 5. Let i be n(l). Is 12 a factor of 3 - 3 - 6*i?
True
Let x(q) = q**2 + 14. Is x(-7) a multiple of 26?
False
Let u(x) = x**3 + 7*x**2 - 7*x - 5. Let j be u(-7). Suppose -132 = -3*h - q, j = h - 0*h + 5*q. Is h a multiple of 10?
False
Suppose -4*k + 2*m = 1 - 277, -3*k + 201 = -3*m. Is k a multiple of 11?
False
Let v(c) = 8*c - 4. Suppose -4*j = -4*s - 40, 0 = -5*j + 4*s - s + 40. Let o be v(j). Does 5 divide (-94)/(-18) - 8/o?
True
Is 15 a factor of 1547/26 + (-1)/(-2)?
True
Suppose 0 = p - 2 - 3. Is p a multiple of 5?
True
Suppose 4*m - 162 = -50. Let i = -4 + m. Is i a multiple of 13?
False
Let w(v) be the third derivative of -v**5/60 - v**4/24 + v**2. Let z(c) = 5*c + 3. Let u(k) = -w(k) + z(k). Is u(-6) a multiple of 2?
False
Let h(o) = 29 - 22 + 0*o + 6*o**2 - o - o**3. Is 14 a factor of h(5)?
False
Is (6/(-9))/((-1)/6) a multiple of 3?
False
Let v(t) = 20*t**3 + 2*t - 1. Does 16 divide v(1)?
False
Suppose 0 = -4*h + h. Let q be 6*(h - 0 - -1). Suppose -3*k - 36 = -u, q*u - 2*u = 5*k + 130. Does 15 divide u?
True
Does 8 divide 1736/36 - (1 - 21/27)?
True
Let n be 37 - (-6)/(-3)*1. Suppose -2*s + n = 11. Is 8 a factor of s?
False
Let l = 106 + -10. Is l a multiple of 24?
True
Suppose -3*d + 6*d = 264. Let b = d + -17. Is 19 a factor of b?
False
Suppose 0*g - 12 = 2*g. Let c(n) be the first derivative of -n**3/3 - 4*n**2 - 6*n + 2. Does 6 divide c(g)?
True
Let x(f) = f**3 + 6*f**2 - 4*f - 6. Suppose 28 = -4*p + 8. Does 13 divide x(p)?
True
Let x(d) = -d + 8. Let o be x(10). Is 19 a factor of o/(-5) - (-504)/15?
False
Let v = -43 - -71. Is v a multiple of 14?
True
Let l(v) = v. Let x be l(6). Suppose 4*r = 2*r + 36. Let c = r + x. Does 12 divide c?
True
Let g(f) be the second derivative of f**4/6 - f**3/2 + 7*f**2/2 + 4*f. Does 21 divide g(5)?
True
Let q(m) = -m**3 - m**2 - m + 14. Let t be q(0). Suppose 5*r + 4 - t = 0. Suppose 79 = 2*p - 3*s + r*s, 124 = 3*p + 4*s. Does 20 divide p?
True
Let y(b) = 15*b + 8. Let u(l) = l. Let k(w) = -5*u(w) + y(w). Is 26 a factor of k(5)?
False
Let t(n) = -n**3 + 2*n**2 - 3*n - 2. Let d be t(3). Let p be 4/10 + 8/d. Suppose 2*u + p*a = -3*a + 54, -4*a = 0. Is u a multiple of 12?
False
Let t(l) = l**3 + 3*l**2 + 9*l - 13. Let h(f) = -f**2 - 4*f + 6. Let o(y) = -7*h(y) - 3*t(y). Is 24 a factor of o(-3)?
False
Suppose -5*y = 4*o + 12, -4*y = -17 + 1. Let c(i) = -i**3 - 9*i**2 - 9*i + 2. Let r be c(o). Suppose -10 - r = -4*u. Is 5 a factor of u?
True
Suppose 2*o - 2 = 2. Suppose -o*b = b + 144. Let l = b - -80. Is l a multiple of 16?
True
Suppose 0 = 2*d + 2. Is (10/4*-6)/d a multiple of 15?
True
Let d = 6 - 3. Suppose -4*p - d*y = p - 76, -5*p = 5*y - 80. Does 14 divide p?
True
Let p be -2 + 4 + -2 + 2. Suppose p*m - 35 - 115 = 0. Is 25 a factor of m?
True
Let o = 130 - 90. Does 8 divide o?
True
Let w be 14/(-4) + 5/(-10). Let b = 6 - 14. Let r = w - b. Is 3 a factor of r?
False
Let x = 45 - -35. Is 14 a factor of x?
False
Let z(w) = -w**2 + 28. Let m(i) = -2*i**2 + 2 - i - i**3 - 2. Let y be m(-1). Does 14 divide z(y)?
True
Let s(a) = -a**3 - 6*a**2 - 4*a - 1. Is s(-7) a multiple of 19?
True
Let w(z) = 23*z - 2. Let b be w(2). Let h = b - 8. Does 12 divide h?
True
Let x(w) = 5*w. Let z(q) = 11*q. Let c(y) = -13*x(y) + 6*z(y). Let v be c(0). Suppose -5*t = 3*r - 3*t - 64, v = -5*r - t + 109. Is 13 a factor of r?
False
Does 7 divide 8/(-12) + (-107)/(-3)?
True
Let v = -7 - 24. Let h = -11 - v. Is 7 a factor of h?
False
Let q = 0 - -4. Suppose 4 = q*u - 24. Is u a multiple of 7?
True
Let l = -4 - -6. Is (l/6)/(6/198) a multiple of 11?
True
Suppose 0 = -i - 0*i - 20. Let g be 18/15*i/(-6). Suppose -g*n + 12 = -n, 3*v - n - 104 = 0. Is v a multiple of 19?
False
Let s = 125 - 61. Does 16 divide s?
True
Suppose -152 - 20 = -4*q. Suppose -r - 107 = -4*b, q = 5*b - 4*b + 3*r. Suppose 3*s + s = b. Is 7 a factor of s?
True
Suppose -168 = -4*p - 5*y + 167, -3*p = 3*y - 249. Is 12 a factor of p?
False
Suppose 4*y - 3 = 5. Suppose y*k - 24 = -k. Suppose -3*i + k*i = 55. Does 11 divide i?
True
Let a = -38 - -70. Is 11 a factor of a?
False
Suppose 0 = -4*o + 10 + 10. Suppose 0 = -2*n + 4*n - s - 9, 2*n - 15 = -o*s. Is n a multiple of 3?
False
Suppose x - 43 = 50. Let n = x - 65. Does 14 divide n?
True
Let p be 6 - (2 - 1)*0. Let k(u) = 2 - 4*u**3 + p*u**3 - 3*u**2 + u**2. Does 10 divide k(2)?
True
Let m(o) = -o**2 + 13. Let a be m(0). Suppose 3 = 2*w + 2*s + 7, 4*w = -s - 23. Let z = a + w. Is z a multiple of 6?
True
Let r(h) = -65*h - 5. Is 9 a factor of r(-2)?
False
Let y(l) = -l**3 - 5*l**2 - 7*l + 5. Is 19 a factor of y(-6)?
False
Does 11 divide -159*1/(-3 + (4 - 4))?
False
Suppose 2*d = -0*d + 42. Is d a multiple of 19?
False
Let l(s) = -s**3 + 7*s**2 - s + 8. Let o be l(7). Suppose 0 = c - o - 8. Does 2 divide c?
False
Let i be 1/(1 + 12/(-15)). Suppose 0 = i*q - q - 28. Suppose -l = -q - 18. Is l a multiple of 12?
False
Suppose 3*m = 2*m + f + 73, 289 = 4*m - f. Is m a multiple of 24?
True
Let g = 73 + -22. Does 9 divide g?
False
Let h = 6 + -4. Suppose w = -h*w. Suppose w + 15 = y. Is y a multiple of 11?
False
Let v(r) = -r**3 + 5*r**2 + 2*r - 9. Let m be v(6). Let q = 31 - m. Suppose 43 = 5*z - 4*y, -5*z - 3*y + q = -0*y. Is z a multiple of 11?
True
Let s(p) = 10 + p**3 - 6 - 2*p**3 + 12 + 9*p**2 - 9*p. Is 4 a factor of s(8)?
True
Let a(z) = 34 + z**2 - z + 24 - 6 - 11. Does 12 divide a(0)?
False
Suppose -6*f + 2*f - 2*d - 4 = 0, -d - 2 = -3*f. Suppose 0 = -2*l - 2*l + 2*s - 6, f = -5*l - 4*s + 12. Let b = 17 - l. Is 6 a factor of b?
False
Let m(i) = i**2 - 3. Let v be m(3). Does 9 divide (-3 + 1)/(v/(-33))?
False
Let l(q) = -q - 4. Let p be l(-3). Does 16 divide p + (31 - (-6)/2)?
False
Let c(q) = q. Let a(z) = -2*z - 2. Let o(k) = 2*a(k) - 2*c(k). Does 10 divide o(-4)?
True
Let m = 3 + -1. Suppose 4*c = c - 72. Is (3/m)/((-1)/c) a multiple of 18?
True
Let m = 307 + -204. Is 17 a factor of m?
False
Let d(z) = 12*z**2 - 8*z + 6. Is 10 a factor of d(3)?
True
Let j be -6 + 0 + 6/3. Let m be -2*(j + -2)*1. Let y = 5 + m. Is y a multiple of 7?
False
Let u = -251 + 127. Let z = u + 184. Does 21 divide z?
False
Suppose -10 + 43 = 3*k. Let d(i) = -i**3 + 12*i**2 - 10*i + 1. Is d(k) a multiple of 6?
True
Let w be (-3 - -3 - -10)/(-1). Let r = 14 - w. Is r a multiple of 8?
True
Does 7 divide 96 + -9 + -1 + 5?
True
Let s(u) be the first derivative of 9/2*u**2 + 2 - 1/3*u**3 + 8*u. Is 11 a factor of s(7)?
True
Let h = -2 - -2. Suppose h*i = 2*i - 2. Is 9 a factor of -3*i - (-48)/3?
False
Let i(b) = b**2 - 5. Suppose -2*m = 3*d + 20, -d + 0*d = -m. Is i(m) a multiple of 3?
False
Let j = -8 - -11. Let i(w) = j*w - w - 4*w. Is i(-9) a multiple of 18?
True
Let t be (16/(-10))/((-3)/15). Suppose -4*f + t*f + 3*p = 84, 4*p = -16. Does 12 divide f?
True
Let q(w) = -1 - 3*w - 3*w - 4*w - 4*w. Let l(d) = d**2 - 6*d - 1. Let o be l(6). Is 13 a factor of q(o)?
True
Let p(i) = 3*i + 1. Let r be p(1). Suppose 4*q - 2*v - 64 = 18, -r*q + 5*v + 73 = 0. Does 7 divide q?
False
Let k(j) = -2*j**3 - 4*j**2 - 3*j - 1. Suppose -6 - 4 = 5*g. Does 5 divide k(g)?
True
Suppose 0*m - 12 = -4*m. Suppose m*j - 115 + 40 = 0. Does 11 divide j?
False
Let a = -160 + 250. Does 30 divide a?
True
Does 19 divide 95/(-20)*5/((-15)/24)?
True
Let q be 32/(-4 + 2) - -3. Let k = q + 35. Is k a multiple of 22?
True
Let p(h) = 16*h**3 - 21*h**2 + 4*h - 15. Let t(c) = 3*c**3 - 4*c**2 + c - 3. Let g(j) =