5*s + 2*u - u. Suppose -t = s*t - 147. Is t a multiple of 17?
False
Suppose 3*u + 0*g - 9 = 2*g, 4*g + 15 = 5*u. Suppose d + 24 = u*d. Does 4 divide (9/(-6))/((-2)/d)?
False
Suppose 0 = -2*c + 2. Let g(b) = 4*b + b**2 - 4*b - b + 33*b**3. Is 18 a factor of g(c)?
False
Suppose 4*w = 10*w - 24. Suppose -2*i + w*g = -126, 3*i + g = 3*g + 169. Is 18 a factor of i?
False
Let z(x) = x**2 + 5*x - 8. Let p be z(-6). Let n be (-7)/p*48/28. Suppose 4*c - n*c - 49 = -5*d, -3*d + 4*c = -35. Does 4 divide d?
False
Let x = 154 + -47. Suppose -58 - x = -5*i. Is i a multiple of 11?
True
Let m(c) = 14*c**3 + c**2 - c + 1. Let p be m(1). Suppose 0 = -4*t + p - 3. Suppose -2*a = -a - f - 1, -t*f = 2*a - 22. Is 5 a factor of a?
True
Let k = 19 + -15. Suppose -4*q - 160 = -k*a, 26 + 6 = a + q. Is a a multiple of 6?
True
Let i = -11 + 20. Let o be (-2)/i - 2/(-9). Suppose o*z - z = -14. Does 14 divide z?
True
Does 7 divide (4 + -1)*136/3?
False
Suppose -m - 4*s + 6 = 0, -3*m - 18 = -6*m - 2*s. Suppose m + 2 = o. Suppose 4*r = 5*g + o, -2*r + 4*g = -4*r + 30. Does 5 divide r?
False
Let j = -6 + 83. Is 16 a factor of j?
False
Suppose 0 = 3*d + 2*m - 221, -d + 3*m + 2*m = -102. Is 27 a factor of d?
False
Let t(x) = -x**3 - 3*x**2 + 7*x - 1. Suppose 19 = d - 6. Suppose -5*l = -0*l + d. Does 8 divide t(l)?
False
Let h(j) = 8*j**2 + 12*j - 8. Is 8 a factor of h(-4)?
True
Let h = -31 - -63. Is h a multiple of 19?
False
Suppose 3*a + 4*b + 6 = b, 5*a = 5*b - 60. Let z = a + 11. Suppose 176 = z*d + 52. Is 9 a factor of d?
False
Let h(a) = a**3 - 14*a - 4. Is 11 a factor of h(5)?
False
Suppose -2*n = 2*f - 7 - 105, 173 = 3*n + 2*f. Is 60 a factor of n?
False
Suppose -3 = 3*k + 3*v, k + 8*v - 4*v + 13 = 0. Suppose -k*f - 12 = -7*f, -3*h + 3*f + 81 = 0. Let a = h + -18. Is 9 a factor of a?
False
Let n = -12 + 22. Suppose -4 = -3*l - 10. Let y = n + l. Does 8 divide y?
True
Let m = 78 - 6. Suppose -4*t = -44 - m. Is t a multiple of 11?
False
Suppose -5*j - 4*g + 375 = -2*j, -4*j - 4*g = -496. Let p = j + -62. Does 15 divide p?
False
Let p be (-70)/((-6)/3 - -1). Is 14 a factor of p/4*(-9 - -11)?
False
Let n = -17 - -4. Let z = n - -21. Is z a multiple of 3?
False
Let c = -48 + 68. Suppose 3*r - r - c = 0. Is r a multiple of 3?
False
Let w(i) = -i**3 + 20*i**2 + 10*i + 1. Is 43 a factor of w(20)?
False
Let j(y) = -y**3 - 10*y**2 - y - 7. Let k be j(-10). Suppose -2*o = -k*o - 5*n + 45, 2*o = -5*n + 70. Does 9 divide o?
False
Suppose -2*p - 54 = 2*v, -2*v = -0*v - 2*p + 46. Let u = v - -41. Is u a multiple of 3?
False
Suppose 159 + 129 = 2*d. Does 16 divide d?
True
Let v be (2/(-4))/(2/(-4)). Let r(t) = 11*t + 1. Is r(v) a multiple of 7?
False
Let t = 64 + -35. Suppose d + t = 4*d - 2*g, -24 = -3*d + 3*g. Is 5 a factor of d?
False
Let s be ((-4)/3)/((-2)/(-6)). Let c = -1 - s. Suppose 63 = c*l - 39. Does 14 divide l?
False
Let d(n) = -13*n + 1. Let f be d(-7). Suppose 5*y - 4*j - 47 - 72 = 0, -4*j = -4*y + f. Let v = y + -13. Is 6 a factor of v?
False
Is (16 - -2)*(-308)/(-42) a multiple of 22?
True
Let a(w) = w**2 - 2*w - 4. Let t be a(-2). Suppose 3*n = t*v - 2*n - 301, 4 = -4*n. Is v a multiple of 16?
False
Suppose 26 = -3*i + 4*i. Suppose -3*s = -s - i. Is s a multiple of 13?
True
Let m(l) = -l**3 + 19*l**2 + 24*l - 38. Is 14 a factor of m(20)?
True
Let y(w) = -w - 2*w + 0*w. Is y(-3) a multiple of 9?
True
Let n(r) = r**3 - 2*r**2 - r - 1. Suppose 3*m - 14 = -v, -14 = 3*v + 5*m - 40. Let x be n(v). Let t(z) = 3*z**2 + 2. Is t(x) a multiple of 10?
False
Let g(w) = -4*w - 8. Does 28 divide g(-9)?
True
Let s be 8/6*12/8. Suppose -l = s*a - 10, 8 = -0*l + l + 4*a. Is 12 a factor of l?
True
Let k(d) = d**3 + 8*d**2 + 5*d - 1. Suppose -4*z - 25 = z. Is k(z) a multiple of 19?
False
Let l = -7 + 11. Is (-12)/(-24) - (-54)/l a multiple of 11?
False
Let k = 2 - -2. Suppose 2*y - 54 = -0*i - k*i, -2*i = -6. Is 19 a factor of y?
False
Let m(g) = 3*g - 6. Let r be m(5). Let b = 13 - -7. Let q = r + b. Does 12 divide q?
False
Let z(d) = d**2 + d - 15. Let m be z(0). Is 6 a factor of 2/(1 + 13/m)?
False
Let r(f) = 2*f**2 - f - 8. Suppose 0 = 2*s - 7 - 5. Does 17 divide r(s)?
False
Suppose -5*q + 26 = x - 18, -3*q = 2*x - 95. Let a = x - 17. Let f = a + -5. Does 12 divide f?
False
Let l be (-36)/5*(8 + -13). Suppose 5*q + 5*x = -60, -5*x = q + 2*q + l. Does 15 divide 18/q*(-11 + 1)?
True
Suppose 291 = -0*j + 3*j. Suppose 4*c - 6*c + j = -5*p, -p = 3. Suppose 4*d - 23 - c = 0. Does 16 divide d?
True
Suppose 5*b = -0*b + 25. Suppose 3*o + 7 + b = 0. Does 5 divide (-25)/(-4) - (-1)/o?
False
Let q(w) = 4*w**2 + w + 1. Suppose -2*n + 7*n - 4*f = 16, -16 = 4*n + 4*f. Let u(r) = -r**2 + r - 1. Let p be u(n). Is q(p) a multiple of 4?
True
Suppose i + 11 = 4*f, 3*f + 2 - 11 = 0. Let n = i + 42. Is 10 a factor of n?
False
Suppose -5*u + 2*b + 92 - 28 = 0, -2*b = -2*u + 22. Does 6 divide (-4)/u + 198/7?
False
Suppose 0 = 5*p + f + 2*f - 7, 0 = 2*p - 4*f - 8. Let m be p + 0 + (-1 - -2). Let u = 11 + m. Does 12 divide u?
False
Suppose -t + 4 = 2. Let l = -54 + 100. Let r = l - t. Is 22 a factor of r?
True
Let f(j) be the second derivative of j**7/2520 + j**5/40 + j**4/6 - 2*j. Let l(x) be the third derivative of f(x). Is 2 a factor of l(0)?
False
Let d = -4 - -4. Let q = 88 + 9. Suppose d = 2*t - 5*s - 49 - 20, 3*t - q = s. Does 9 divide t?
False
Let q(u) = 11*u. Let b be q(-3). Let c be ((-16)/12)/((-2)/b). Let n = -8 - c. Is n a multiple of 7?
True
Let s be 6 - 1/(-1 - -2). Suppose 10 = n - s. Does 5 divide n?
True
Let g(r) = -r - 3. Let b be g(-5). Suppose b*f - 5 = f + 5*q, -5*f - 3*q - 31 = 0. Let u(z) = -z + 7. Is 12 a factor of u(f)?
True
Suppose -v = -4*v + 180. Suppose 5*g + 3*o = -5, -4*g + 1 = 5*o + 18. Suppose g*x = y - 2*y + v, x = -2*y + 24. Is x a multiple of 15?
False
Suppose 0 = -2*o - 2*w + 2, -o - 3 = -2*w + 11. Let k = 8 + o. Suppose -d - 4*x + 45 = 0, -k*x = -9 + 1. Is 14 a factor of d?
False
Suppose 0 = -5*l + 25, -2*o + 5*l = o - 20. Is o a multiple of 5?
True
Let r(j) = j**3 + 9*j**2 + 8*j - 2. Let i be r(-8). Let v be i/(-6) + 10/6. Suppose 3*z = -l + 40, v*z = -z + 15. Is 15 a factor of l?
False
Is 11 a factor of (-1169)/(-21) + 2/(-3)?
True
Suppose -75 = -4*o - 3*d, 2*d = -1 - 5. Let f = o - 8. Is f a multiple of 4?
False
Suppose -3*h = -5 - 37. Is h a multiple of 10?
False
Let u be (2 - 1)*1 - -1. Does 23 divide 64 + (u - 1) + -2?
False
Suppose 4*s - 5*a - 652 = -0*a, 4*a - 688 = -4*s. Is 12 a factor of s?
True
Let x = 84 - 30. Is x a multiple of 24?
False
Suppose -y = -2*y - 165. Let x = y - -340. Suppose 2*m - 58 = -n - n, -5*n + m = -x. Does 17 divide n?
True
Let b = -4 - -8. Let s = 11 - b. Is s a multiple of 3?
False
Let m = -7 + 30. Is 23 a factor of m?
True
Suppose -3*u - 3*y + 247 = 2*y, y + 169 = 2*u. Is 15 a factor of u?
False
Let t(b) = b + 2. Let r = 1 + -1. Is t(r) a multiple of 2?
True
Suppose 6*x - 18 = 5*x. Suppose -i = -14 - x. Is i a multiple of 16?
True
Let d = 38 - 71. Let g = d + 48. Is g a multiple of 15?
True
Let q(o) = o**3 - 6*o**2 - 6*o. Does 16 divide q(8)?
True
Suppose -n - 9 = -4*n. Let j(i) = -n*i**3 + 7*i**3 - i**2 + 0 + 1. Is 4 a factor of j(1)?
True
Let z = 6 + -2. Let c be 14/z - 3/6. Suppose 5*a - f = 132, a + 0*a = c*f + 32. Does 13 divide a?
True
Let f(u) = -u**2 - 10*u - 2. Is f(-9) a multiple of 3?
False
Suppose -5*z + 8 = -2. Suppose z*w + 38 + 0 = 5*v, w = -4*v + 33. Is v a multiple of 4?
True
Is (-5)/20*26*-2 a multiple of 11?
False
Let o(s) = s + 12. Let t be o(-7). Suppose -t*c + 4*z = -3*c - 12, -5*c + 90 = 5*z. Does 9 divide c?
False
Suppose -d = -0 + 5. Let b = 3 + d. Is 26 a factor of (-103)/(-4) - b/8?
True
Suppose -6 = k + 2*k. Let q be 0 + (4*-11)/k. Let n = q + 7. Is n a multiple of 12?
False
Let j = 4 + -2. Let x(l) = 9*l + 3*l**j - l**2 + 4*l**2 - l - l**3. Is x(7) a multiple of 6?
False
Suppose -4*n = -16, -x + 0*x - 4*n + 20 = 0. Suppose -x*r + 124 = j, 0*r + r + j - 28 = 0. Is r a multiple of 16?
True
Let b = -248 + 358. Suppose 6*s - s = b. Does 9 divide s?
False
Let i(y) = 3*y**3 + 2*y**2 - 1. Let m be i(1). Suppose m*x + 15 = -x. Is (-1)/(x/87) + -2 a multiple of 10?
False
Let j = -9 - -29. Is 10 a factor of j?
True
Let v(o) = -o**2 - 18*o - 14. Is 15 a factor of v(-10)?
False
Let m be (-13)/(-5) + (-4)/(-10). Le