10, -b - f = -z + 6. Does 15 divide b?
False
Suppose 5*k + 310 = 10*k. Is 10 a factor of k?
False
Let z be 20/6 + 6/9. Suppose u = -4*u + 30. Let d = u - z. Is d even?
True
Suppose 5*l = -r - 30 + 127, l + 3*r - 25 = 0. Let d = 47 - l. Is d a multiple of 7?
True
Let q(m) = -2*m. Let w(j) = 8*j**3 - j - 1. Let s be w(-1). Let o = 3 + s. Is q(o) a multiple of 5?
True
Let o = 15 + -15. Suppose -r - 2*r + 132 = o. Is r a multiple of 22?
True
Suppose 0 = -w + 40 + 13. Is 5 a factor of w?
False
Let y(k) = -6*k - 18. Is 4 a factor of y(-8)?
False
Let x(u) = -7*u**3 + 6*u**2 - 5*u. Let n(s) = -14*s**3 + 11*s**2 - 9*s. Let z(d) = -3*n(d) + 5*x(d). Is z(2) a multiple of 16?
True
Suppose 5 = -d + 12. Suppose -3*m - 83 = d. Let a = -21 - m. Is 5 a factor of a?
False
Let n(x) = x**3 - x**2 - x + 4. Let r be 2/(-4)*-4 + -2. Let y be n(r). Suppose h = -y*a + 114 + 18, -a - 4*h + 33 = 0. Does 11 divide a?
True
Let n(c) be the second derivative of -5*c**3/6 - 2*c. Let u = -7 + 4. Is 8 a factor of n(u)?
False
Let u(p) = p**2 - 7*p - 4. Let t be u(7). Let f(n) = n**2 + 5*n - 2. Let o be f(t). Let a = 10 + o. Is a a multiple of 4?
True
Let k(g) = 4*g**2. Let t be k(-1). Suppose -t*j = q - 59, -5*j - 7*q + 3*q + 82 = 0. Does 6 divide j?
False
Suppose 0 = -3*x - 3. Let p be (x*7)/(10 + -9). Let m(h) = -2*h - 6. Is m(p) a multiple of 4?
True
Let l be (-2)/(-4) - (-3)/6. Suppose 3*c + 5*g - 5 = 10, 0 = -3*c + 4*g - 12. Is 16 + c/(l*-2) a multiple of 16?
True
Let m(r) = -4*r**2 - r - 1. Let f be m(-2). Does 3 divide (-65)/f + (-2)/6?
False
Suppose -c = -4*w - 4, -2*c + 2*w = -3 + 1. Suppose 5*y + 4 = -4*i + 12, c = 2*i + 6. Is (-1 - 31)*(-5)/y a multiple of 16?
False
Let j = 28 - 16. Let t be (j*4)/(12/16). Suppose -2*m + t = 4*s, -9*s + 4*s + 80 = -4*m. Is 16 a factor of s?
True
Suppose 2*j = -3*c + 128 + 46, 4*j = 3*c - 156. Is 8 a factor of c?
True
Let j = 10 + -16. Is 13 a factor of (9 + j)/(6/52)?
True
Let l = -104 - -218. Does 14 divide l/8 - 4/16?
True
Let t(r) = r**3 - 7*r**2 - 6*r - 1. Suppose -2*z + 6*z - 2*i - 26 = 0, 2*z - 19 = -i. Let j be t(z). Suppose -s - 20 = -5*y, -s + y + 3*y = j. Does 3 divide s?
False
Let u be 0/((-2)/1) + 2. Suppose u*p - 10 = -0. Is ((-3)/5)/((-1)/p) even?
False
Let c = 5 - -6. Let d = c + 18. Suppose -5*h - 2 = -g + 5, -5*h + d = 2*g. Is g a multiple of 6?
True
Let o = 1 + 1. Let k(p) = -p + 3*p + 0*p - 1 + o*p. Is k(1) a multiple of 2?
False
Let p(n) = 2*n**2 - 3*n + 2. Let j be p(2). Suppose 12 - 28 = -j*f. Suppose -5*s + 41 = -f. Does 9 divide s?
True
Suppose -1 = -2*v + 13. Let c(s) = s**2 - 5*s - 1. Does 13 divide c(v)?
True
Suppose 0 = -4*t - 24 - 4. Let u = t - -33. Let a = u - 12. Is 12 a factor of a?
False
Let p(c) = -c**3 + 9*c**2 + 11*c + 11. Let w be p(9). Does 11 divide (-1)/(-4) - w/(-8)?
False
Let i = -6 + 20. Suppose -g = -6*p + p - i, 2*p = 2. Does 8 divide g?
False
Suppose 3*s - 12 = -3*o + 15, -5*o + s + 15 = 0. Suppose 92 = o*v + n + 32, -5*v + 74 = n. Is 4 a factor of v?
False
Let i(l) = -l**3 - 6*l**2 - 5*l + 3. Let n be i(-5). Let h(d) = n*d - d + 0*d + 4. Is 11 a factor of h(7)?
False
Let m(x) = x**2 - 8*x + 7. Let v be m(7). Suppose v = -j + a + 17, -2*j - 2*j + 3*a = -69. Is j a multiple of 6?
True
Suppose -3*o + 315 = 99. Is o a multiple of 20?
False
Let j(v) = 2*v**3 - 6*v**2 + 6*v - 3. Let y(a) be the first derivative of a**4/4 - a**2/2 + a + 1. Let p(g) = -j(g) + y(g). Does 3 divide p(4)?
False
Let r(y) = y**3 + 11*y**2 + 7*y - 16. Let l be r(-10). Let b be 2/(-3) - (-26)/(-6). Let d = l + b. Is 3 a factor of d?
True
Let q be -3 - 1*1*-8. Suppose -q*b + 63 + 112 = 0. Is b a multiple of 19?
False
Let o(p) = -1. Let h(n) = 3*n + 10. Let t(q) = -h(q) - 6*o(q). Does 3 divide t(-5)?
False
Let p = -13 + 15. Suppose -2*y - 8 = 0, -p*g + 132 = 2*g + 5*y. Does 9 divide g?
False
Let t(x) = x**3 + 6*x**2 + 3*x - 4. Let r be t(-5). Suppose -2*n = -0*n - r. Does 26 divide n + -5 + 0 + 40?
False
Let g(i) = 9*i + 4. Let z be g(8). Suppose k = -3*k - 184. Let r = k + z. Is 15 a factor of r?
True
Let n = -19 + 33. Suppose -i = 3*x + 2*x - n, x = -3*i + 98. Is i a multiple of 17?
True
Suppose -11 = g + 5*b, -4*g + 7 = 5*b - 2*b. Let j = g - -38. Does 16 divide j?
False
Let s be (0 - (-3 + 1)) + 5. Suppose 5*z = f - 12, -5 = 5*f - z + s. Let c = f - -16. Does 9 divide c?
False
Let x = 32 - -10. Is 21 a factor of x?
True
Let m(h) = h**3 + 3*h**2 - 5*h - 4. Let a be m(-3). Let o be -9*(-4)/36*3. Let q = a - o. Does 4 divide q?
True
Let k = 3 + -6. Is 14 a factor of (-14)/(k - 2*-1)?
True
Let x(k) = -2*k - 10. Let t be x(-10). Does 3 divide 42/t - 6/30?
False
Suppose -11*u - 508 + 2103 = 0. Does 17 divide u?
False
Suppose 2*j + 3*j = -t + 41, 37 = 2*t + j. Suppose 0*a = a - t. Is a a multiple of 9?
False
Suppose 10*s = 3*s + 539. Does 11 divide s?
True
Suppose 0 = -0*v + 4*v - 128. Is 4 a factor of v?
True
Let q be 4 - 3 - (1 + 1). Let h be (q/2)/(3/(-48)). Suppose -r - 2 = -h. Is r a multiple of 4?
False
Suppose -2*g = g. Suppose g = -i + 3*i - 32. Is i a multiple of 8?
True
Suppose 2*n + 5*h - 31 = n, 54 = 3*n + 2*h. Suppose 0 = -2*r - 2*r + n. Is r even?
True
Suppose 0 = -d - 0*d + 26. Let l = -9 + d. Is 9 a factor of l?
False
Let v(f) = -9*f + 8. Let z be v(-8). Suppose -4*r - z = -2*b, -5*r = 4*b - 173 + 39. Does 10 divide b?
False
Let p(r) = 2*r - 1. Let y be p(-2). Let l(f) = f**2 - 3*f - 6. Is 17 a factor of l(y)?
True
Suppose 0 = 4*a - 26 + 10. Suppose -66 = a*p - 450. Suppose -4*i - 17 = -3*d - 80, 2*d = -5*i + p. Does 18 divide i?
True
Suppose 0*u - 382 = -2*u - 2*r, 4*r = -3*u + 568. Does 11 divide u?
False
Suppose -4 = b - 3*b. Suppose 18 = 2*v - 4*k, -k + 26 = b*v - 2. Let w = v + -6. Does 7 divide w?
True
Suppose -17 + 1 = -2*h. Suppose h = d + 3*d. Suppose 4*o = d*o + 2*b + 28, 5*o - b = 58. Is 4 a factor of o?
False
Let l(s) = 5*s**3 - 15*s**2 + 7*s - 8. Let j(u) = -9*u**3 + 29*u**2 - 14*u + 15. Let y(b) = -6*j(b) - 11*l(b). Is 6 a factor of y(-10)?
False
Suppose 5*n + 1 = 561. Suppose -q - n = -5*q. Is 14 a factor of q?
True
Let n(m) = m**3 + m**2 - m. Let y be n(0). Suppose -41 = -2*w - 3*c + 26, y = -5*w - 4*c + 164. Is w a multiple of 18?
False
Suppose 33*n + 660 = 37*n. Does 21 divide n?
False
Let p(v) = -3*v + 1. Let u be (2/4)/((-3)/(-12)). Suppose q + 7 + u = 0. Does 10 divide p(q)?
False
Let z = 215 + -121. Is z a multiple of 20?
False
Let m = 76 + -22. Does 6 divide m?
True
Let m = 2 + 2. Let f be (-2)/(-5)*m*-5. Let q = f + 24. Is 15 a factor of q?
False
Let w(j) = 18*j**2 - 2*j + 1. Is w(2) a multiple of 23?
True
Let o = 33 - 13. Is o a multiple of 14?
False
Let f(k) = -4*k**3 + k**2 + 2*k. Let p(q) = -q**3 - q**2. Let r(u) = -f(u) + 5*p(u). Is r(-6) a multiple of 6?
True
Let w(g) = -2 + g - 2*g**2 + g + 4*g**3 + 0. Is w(2) a multiple of 18?
False
Let n be 1*(-2 - -3 - -4). Suppose -5*w - 65 = -r - 4*r, n*r - w - 61 = 0. Is r a multiple of 6?
True
Suppose 4*w = 3*w + 2. Suppose p - 5*k - w = 3, -p + 10 = -4*k. Is 16 a factor of p?
False
Let u be (4 + -86)*(-2)/4. Let l = u - 14. Does 11 divide l?
False
Suppose q - 4*q = 0. Suppose q*w - 5*y = -3*w + 24, y - 42 = -3*w. Does 13 divide w?
True
Let c = 6 + 3. Let u = -6 + c. Suppose u*t - 17 = -5*i + 4, 4*i - 36 = -4*t. Is 10 a factor of t?
False
Suppose 31 = -g - 7. Let u = 77 + g. Is 16 a factor of u?
False
Suppose 5*t = 203 + 127. Does 22 divide t?
True
Suppose -9*k = -3*k - 144. Does 6 divide k?
True
Let o be (-3 + 0)/(9/(-12)). Suppose -5*h + 19 = -3*r, -o*r + 0*r = -8. Suppose -5*g + h*d + 0 + 10 = 0, 0 = -2*g - 5*d + 32. Is g a multiple of 3?
True
Let v(y) be the first derivative of -y**4/4 + 5*y**3/3 + 5*y - 2. Is v(4) a multiple of 9?
False
Suppose 34 - 10 = r. Is 3 a factor of r?
True
Suppose 5*l + 12 = 67. Suppose s - l = 3*t, 0 = 5*s - 0*s - 3*t - 31. Suppose h - 5*h = -s*p + 238, -2*p + 5*h + 102 = 0. Is 23 a factor of p?
True
Let s be (-1358)/8 - 1/4. Let w = s - -349. Let b = w - 123. Does 19 divide b?
False
Suppose -f - 6 = -4*f. Let o(p) = p**3 + 3*p**2 + p - 4. Let c be o(-3). Is 3 a factor of c*(f + -2 + -1)?
False
Does 25 divide 154 - (-1 + 5) - -1?
False
Let g(s) = -3*s - 1. Suppose -2*o + 14 = -4*v, 3*v + 3 + 5 = 4*o. Is g(v) a multiple of 5?
False
Let i = 8 + -3. Let g(v) = i*v**3 + 3*v**3 - 1 + 14*v**3. Is 7 a factor