14 = -4*o - 0*d, -o + 13 = -4*d. Let a = 12 - o. Is 7 a factor of a?
True
Suppose 96 + 22 = 2*z. Suppose 0 = -2*j + 21 + z. Is 17 a factor of j/2 - 6/(-3)?
False
Does 22 divide 72/(-30)*10/(-12)*44?
True
Is (-86)/(((-40)/(-15))/(-8)) a multiple of 43?
True
Let i(l) = 10*l**2 - 1. Let s = 7 - 6. Is 7 a factor of i(s)?
False
Suppose -11 = -4*o + m + 4*m, -3*o + 2*m = -3. Let i(d) = -3*d**3 + d**2 - d - 1. Does 4 divide i(o)?
True
Suppose -2*g - g + 2*f + 79 = 0, -2*g = -2*f - 50. Is g a multiple of 29?
True
Let k be (-3)/(-2)*10/3. Suppose 7*n - k*n = 32. Is n a multiple of 5?
False
Is 32 a factor of 122 - (2 + (-4 - 0))?
False
Let p(u) = -5*u + 4. Let t = -11 + 4. Let g be p(t). Suppose o = -5*j + g, -2*o - j + 30 = -3*j. Is o a multiple of 6?
False
Let x(f) = 2*f**3 - 9*f**2 - f - 2. Let p(a) = -5*a**3 + 26*a**2 + 3*a + 7. Let v(l) = -3*p(l) - 8*x(l). Let h be v(-6). Let i = 7 + h. Does 3 divide i?
False
Let q(l) = -l**3 + l**2 + 4*l + 2. Let m be q(-5). Suppose -s + 4*s - 5*u - m = 0, -2*s + 88 = -4*u. Does 11 divide s?
True
Let s be -2 + 0 - -2*1. Suppose s = -m + 31 + 20. Is m a multiple of 17?
True
Suppose 4*a + p - 26 - 82 = 0, 2*p = -a + 20. Is a a multiple of 10?
False
Let n = 11 + -16. Is (-52)/(-4) - (-2 - n) a multiple of 10?
True
Let j(z) = -3*z - 4. Suppose -2*w - 7 = 1. Let m be j(w). Suppose -11 = -o + m. Is o a multiple of 9?
False
Suppose 5*b = 214 - 24. Let o = 66 - b. Is 13 a factor of o?
False
Let a = -20 + 25. Is a even?
False
Let z(q) = 7*q + q + 5*q**2 + 4 + q**3 + 2*q**2. Let l = 12 + -17. Does 8 divide z(l)?
False
Let q(z) = 17*z**2 + 2*z - 1. Is q(1) a multiple of 4?
False
Let r be (-5)/3*(-4 - -1). Suppose -4*b - r = b. Is 5 a factor of (-72)/(-6) - (3 + b)?
True
Let j(f) = f**2 + 5*f - 8. Let x be j(-7). Does 9 divide 3/(3 + (-16)/x)?
True
Suppose -r = -5*m + 31 + 91, 4*r - 137 = -5*m. Suppose 2*q - 49 = m. Is q a multiple of 16?
False
Let p(i) = -i + 57. Does 9 divide p(9)?
False
Does 23 divide -1*(273/(-3) + -1)?
True
Let b be (6 + -3 - 4)*-2. Suppose a = -b*a + 84. Is 7 a factor of a?
True
Let i = -28 + 103. Is i a multiple of 14?
False
Let p(a) = a**3 + 4*a**2 + a + 2. Is p(-3) a multiple of 4?
True
Suppose 2*q - 68 = -2*q. Is q a multiple of 17?
True
Suppose 3*d - 2*w = -1, -4*w - 1 = -21. Suppose -d*t = -7*z + 3*z - 8, 0 = 5*t - 2*z - 18. Let y(b) = b**3 - 4*b**2 + 4*b - 3. Does 9 divide y(t)?
False
Let s = -11 + 7. Is 7 a factor of (7 - -7)*(-2)/s?
True
Let v be (2*-3 - 1)*-1. Suppose -5*o + v + 3 = 0. Suppose -5*x + x = -2*t + 28, 5*x = o*t - 30. Is t a multiple of 5?
True
Suppose -5*z + 76 + 39 = 0. Suppose 4*f - 41 = c, f + 4*c - z = -0*c. Is 11 a factor of f?
True
Suppose -2*i + 4*x = -3*i + 8, 4*x - 24 = -5*i. Is 4 a factor of i?
True
Let j(q) = 83*q**2 - 2*q. Is j(-1) a multiple of 11?
False
Let d = -5 + 7. Suppose 0 = -b - 2*b + 4*t + 41, -d*b + t = -29. Suppose -6*u = -3*u - b. Is u even?
False
Suppose 0 = -0*j + j - 11. Suppose 4*k - 5 - j = 0. Does 2 divide k?
True
Suppose 44 - 14 = 2*l. Is l a multiple of 5?
True
Suppose -2*w + 4 = -4. Suppose -29 = w*r - 245. Is 18 a factor of r?
True
Suppose 0 = 4*i - 2*i - 56. Is 7 a factor of i?
True
Suppose s + 3 = 0, 3*v + 2*s = 2*v. Does 6 divide v?
True
Let x(d) = -d + 17. Does 12 divide x(-7)?
True
Let k(m) = m**2 + m + 6. Suppose 0 = -p + 5*p. Let n be k(p). Suppose j - 6 = n. Is 9 a factor of j?
False
Let y = -13 - -51. Let k = y - 14. Let f = k - -2. Is 7 a factor of f?
False
Let h(u) = -22*u**3 - u. Suppose 6*v = 4*v - 2. Is 7 a factor of h(v)?
False
Let o be (4/(-6))/((-4)/18). Suppose -o*g - 116 = -4*i + 28, 0 = -2*i + 4*g + 72. Is i a multiple of 18?
True
Let i(h) = -7*h - 6. Let x(y) = -y + 3. Let f be x(0). Suppose -32 = f*a - 5*q, 5*a + 3*q + 7 + 1 = 0. Does 17 divide i(a)?
False
Suppose 10 = m - 33. Is m a multiple of 19?
False
Suppose -5*v - 2*i + 447 = -267, -3*v = -4*i - 444. Suppose -31 = 5*w + v. Let u = w + 61. Does 13 divide u?
True
Let y = -389 + 599. Is 19 a factor of y?
False
Suppose 2*n = 8*n - 408. Is 9 a factor of n?
False
Is 24*(0 + -2)/(-4) a multiple of 6?
True
Suppose 5*u = 4*n + 140 + 42, n - 154 = -4*u. Is 4 a factor of u?
False
Let r be 16/(-3)*(-228)/16. Let l = r - 35. Suppose s + l = 5*v, 0*s - 4*s = -v + 12. Is 8 a factor of v?
True
Let r(o) = 2*o**2 - 15*o + 5. Let t be r(10). Let y = -25 + t. Is 8 a factor of y?
False
Suppose 56 - 8 = 4*b. Suppose -b = -3*l + 4*l. Let o = l - -24. Is 8 a factor of o?
False
Suppose -5*t + 4 + 1 = -3*x, -4*x = -5*t. Suppose -k - 5*v = -15, x*k - 4*v = 4*k + 60. Let z = k - 7. Does 16 divide z?
False
Suppose 9 = n + 3*j, -2*j + 47 - 2 = 5*n. Let o be (-1)/(-2) - n/6. Does 14 divide (-1 + 0 - 27)/o?
True
Suppose 2*x = -2*x + 8. Suppose -3*u = 3*g - u - 73, x*u + 32 = 2*g. Is 9 a factor of g?
False
Suppose 2*b = 5*k - 0*b - 25, 4*b = -k - 17. Suppose 13 - k = 2*n. Is n a multiple of 2?
False
Let c(f) = 2*f**2 - f - 1. Is c(-2) a multiple of 3?
True
Let w(a) = a**3 + 8*a**2 + 8*a + 5. Let v be w(-7). Let o be 18 + (-8)/(-2) + v. Suppose -o = 5*b - 100. Is b a multiple of 7?
False
Let v(g) = g**3 + g**2. Let l(k) = -54*k**3 - 36*k**2. Let o(x) = -l(x) - 36*v(x). Suppose 1 = h + 3, -h + 2 = 4*r. Is o(r) a multiple of 9?
True
Let y(a) = 10*a - 4. Let d be y(2). Suppose 6*n + t = 4*n + 5, 0 = n - 3*t - 20. Suppose -5*m - 14 = -h, h = -2*m + n*m + d. Is 19 a factor of h?
True
Suppose i + 24 = 3*i. Suppose o + i = 5*o. Suppose 2*r - 57 = -2*r + o*a, 5*a - 5 = 0. Is 15 a factor of r?
True
Let s(m) be the first derivative of m**4/4 - 5*m**3/3 + m**2/2 + 2*m + 1. Is 6 a factor of s(5)?
False
Let i = -81 - -31. Let u be -3 + 3 + (3 - -105). Let m = u + i. Is m a multiple of 20?
False
Suppose 268 = -15*u + 19*u. Suppose 43 = 5*v - u. Is v a multiple of 7?
False
Suppose y + 1 = -5*d, -2*y + 0*d + 28 = 4*d. Let v be (y/15)/((-2)/(-5)). Suppose -2*p - 84 = -v*p. Is p a multiple of 20?
False
Suppose -5 = -7*v + 2*v. Does 13 divide 19*v - (4 - 3)?
False
Suppose -2*x + 214 = 4*d, -d + 3*x - 66 = -2*d. Let j(z) = z**3 + 9*z**2 + 4*z - 1. Let f be j(-5). Let r = f - d. Does 13 divide r?
False
Let f(a) = 23*a - 1. Is 2 a factor of f(1)?
True
Is 4232/9 - (-18)/(-81) a multiple of 47?
True
Suppose 11 + 7 = h. Does 18 divide h?
True
Let c(d) = -d**3 + 4*d**2 + 2*d - 6. Let p be c(4). Suppose 2*j - 102 = -p*w, 13 = -5*j - 7. Is w a multiple of 14?
False
Suppose 58 = 2*s + 5*j, 2*s + 0 = 3*j + 26. Does 7 divide s?
False
Let l(g) = g + 0*g + 4 + 1. Let j be l(0). Suppose j*k = 4*k + 24. Does 8 divide k?
True
Let c = -6 + 10. Suppose -2*b - 3*g + 354 = 3*b, -2*g = c. Suppose d = -d + b. Is d a multiple of 18?
True
Let p = 3 - 3. Suppose 0 = 4*o - 5*d - 4, -3*o + 34 = -p*o + 4*d. Does 22 divide (-4)/o - (-474)/9?
False
Let b = -76 + 146. Suppose -2*c - g + b = 4*g, 0 = -c + 3*g + 13. Suppose h = 5*h - 2*l - 138, -5*l + c = 0. Is h a multiple of 18?
False
Let i(p) = -11*p**3 + p**2 + 2*p - 1. Let j be i(2). Let z = 128 + j. Does 20 divide z?
False
Suppose 274*m - 276*m = -420. Is 10 a factor of m?
True
Let d(v) = v + 17. Let l be d(-12). Suppose -f - 24 = -l*f. Is f a multiple of 6?
True
Suppose 2*t = -2*t - 144. Let v = 100 + t. Is v a multiple of 22?
False
Let m(q) = q**2 - 4. Let b be m(3). Suppose b*n - 81 = 2*n. Does 12 divide n?
False
Let q be (-11)/22 + (-9)/(-2). Suppose -2*g + q*u - 9 = -29, 0 = g - 3*u - 14. Is 2 a factor of g?
True
Let h = 258 - -98. Does 43 divide h?
False
Let b = 5 - -20. Suppose 0 = -0*d + d + 2*o - 15, -b = -5*o. Suppose 11 = 4*a - 1, r + d*a = 51. Is 18 a factor of r?
True
Suppose 20 = z - 2*b, -6*z + 4*b = -3*z - 60. Is 5 a factor of z?
True
Let b(r) = 2*r + 24. Is b(12) a multiple of 12?
True
Let t = 11 + -8. Suppose -5*r + 3*l = 22, -5*r - t = -l + 11. Is (7/2)/((-1)/r) a multiple of 6?
False
Let a = -49 + 32. Let l = 24 + a. Does 3 divide l?
False
Let t = -5 - -12. Suppose 0 = -2*h - t - 21. Does 7 divide (-5 - -2)/(3/h)?
True
Let j(i) = 3*i**2 + 11*i - 2. Let v be j(-8). Suppose -2*y = -v - 0. Does 16 divide y?
False
Let c = -49 - -81. Suppose -5*f + 4*t + 90 = 0, 3*t + 39 = f + 10. Suppose f = 3*z - 5*d, -z + 4*d - c = -4*z. Is 3 a factor of z?
False
Is 9 a factor of (52/16 + -1)*(6 - 2)?
True
Let w = 67 + 86. Does 14 divide w?
False
Let g = 2 + 0. Is g/(-6) + (-408)/(-9) a mult