6?
True
Let t = -11 + 14. Suppose -o = -5*j - 104, 3*o - 256 = 2*j - j. Suppose 5*x - t*x = o. Is 21 a factor of x?
True
Let l = 20 + -17. Suppose 3*d + 9 = 0, -5*d = -0*o + l*o - 36. Is 17 a factor of o?
True
Suppose 5*o + d + 78 = -3*d, d + 44 = -3*o. Let y be -9*(2 + o/6). Suppose -f = -y*h, -3*f = -f - 5*h - 2. Is f a multiple of 6?
True
Let i(t) = 2*t - 1. Let g be i(1). Let p be (-634)/(-8) + g/(-4). Suppose 5*n = 56 + p. Is n a multiple of 10?
False
Suppose -2*z + p + 76 = 0, -3*p = -2*z + 2*p + 92. Is z a multiple of 18?
True
Let z be -3*1*(2 - 4). Suppose -5*i + z = -9. Does 3 divide i?
True
Let a(l) = 2*l + 4. Let y be ((-11)/(-4))/(2/8). Let q be a(y). Let v = q + -12. Is 14 a factor of v?
True
Suppose -2*m - 12 = -6*m. Suppose 0 = -0*s - m*s + 120. Is 10 a factor of s?
True
Suppose 3*x = 5*r - 163, -3*x + 2*r - 222 = x. Suppose -i = 4*s - 422, -97 = s - 2*s + 4*i. Let n = x + s. Is 24 a factor of n?
False
Let n be 1/(-3) + 21/9. Suppose -3*q + 28 + n = 0. Does 10 divide q?
True
Let r(k) = 91*k**2 - 2*k - 3. Is 9 a factor of r(-1)?
True
Suppose -18 = -3*w + w. Let k(s) = s**3 - 9*s**2 + 11. Is k(w) a multiple of 11?
True
Let o be (66/(-5))/(6/(-100)). Let i be 4/(-14) - o/(-35). Let f = i + 8. Is f a multiple of 14?
True
Let h be (-2)/(-2) - (-3 + 32). Is 14 a factor of (h/3)/(4/(-18))?
True
Is (0 - 4)*(-459)/27 a multiple of 17?
True
Suppose -5*n = -d, -13 = -4*d + 2*n + 5. Let u(x) = 4*x - 5. Is u(d) a multiple of 6?
False
Is (-3 - 30/(-9))*78 a multiple of 13?
True
Let z = 107 + -67. Is 8 a factor of z?
True
Is 22 a factor of 4 + 11/(22/180)?
False
Let s(i) = -i**3 - 4*i**2 - i + 1. Let f be s(-4). Let j be 102*f/(30/(-4)). Is 11 a factor of 12/(-20) - j/5?
False
Let o(f) = 6*f - 7. Let n be o(3). Is 26 a factor of (-284)/(-11) + 2/n?
True
Let x(a) = a**2 + 6*a - 2. Let i be x(-6). Is 37 - (2 - 2/i) a multiple of 12?
False
Suppose -4*p + q + q = -462, -p + 113 = 2*q. Is 14 a factor of p?
False
Let f = 102 - 71. Suppose -3*h - u = -45, -2*h - 5 + f = 2*u. Does 16 divide h?
True
Let n(d) = d**3 + 5*d**2 + d + 7. Let s be n(-5). Suppose -16 = -b + 5*z - z, -4*b + s*z = -78. Does 11 divide b?
False
Let o = 55 - 27. Suppose a + 3*a = o. Is a a multiple of 7?
True
Suppose 0*b - 20 = -b. Is b a multiple of 20?
True
Suppose 2*y - 4*y + 10 = -5*n, 3*y = 4*n + 15. Suppose n*a + 15 = 5*a. Suppose a*t + c - 38 = 23, -t - 3*c = -23. Is 11 a factor of t?
False
Let l(a) = -9*a + 5. Does 8 divide l(-2)?
False
Suppose -5*c + 20 + 20 = 0. Does 8 divide c?
True
Let s(k) = 66*k**2 - 4*k + 2. Does 16 divide s(1)?
True
Does 9 divide (-39)/(-4) + 3/(-4)?
True
Let m(j) = -7*j + 8. Let n(x) = x. Let k(i) = -m(i) - 4*n(i). Is k(8) a multiple of 8?
True
Let w(p) = -2*p**2 - 2*p + 2. Let t be w(-4). Is 22 a factor of (t/6)/((-7)/84)?
True
Suppose 4*h = 2*i + 78, 0 = -3*h - 2*i + 21 + 27. Suppose -6*k - l = -k - 15, -2*l - h = -2*k. Is 4 a factor of k?
True
Let o(j) = -j**2 + 5*j + 2. Let g be 4/18 + (-40)/18. Let y be 0 - -6*g/(-3). Is o(y) a multiple of 4?
False
Let r be (2/(-3))/((-2)/60). Suppose -4*x - r = -4*q + 12, 0 = -5*q - 4*x + 13. Suppose -q*s + 13 + 27 = 0. Is 4 a factor of s?
True
Let p(h) = h**3 + 7*h**2 - 8*h + 1. Let u be p(-8). Let z = u - -2. Suppose 0*a = -z*a + 78. Does 13 divide a?
True
Suppose -3*q + c + 31 = 2*q, q - 1 = -5*c. Let v(j) = -j + j + q + j. Does 6 divide v(0)?
True
Suppose 0 = -2*s - 3*s - u + 398, 4*s + 2*u = 316. Does 40 divide s?
True
Suppose 5*w - 89 = -3*d, 0 = -3*w + 10 + 2. Is 19 a factor of d?
False
Let v = 214 + -74. Does 10 divide v?
True
Suppose 0*z = -4*z + 8. Suppose z*i + 144 = 6*i. Does 13 divide i?
False
Let n(t) = t + 1. Let a be n(4). Suppose -29 - 33 = -x + w, 5*x - 290 = -a*w. Is x a multiple of 30?
True
Suppose 4*l = 4*o + 36, o + 2*l + 4 = 7. Let m be -1 + (-111)/(o + 2). Suppose 0*b - 3*b = -m. Does 9 divide b?
False
Suppose s = -3*s + 196. Let y = s - 34. Is 15 a factor of y?
True
Let u(b) = b**3 + 4*b**2 - 4*b + 5. Let t be u(-5). Let p be 1/(t + (-2)/22). Is -2 - p - 3/(-1) a multiple of 10?
False
Suppose -2*s + 4*m = 10, s - m = -3*m - 25. Let f = -34 - s. Let n = -2 - f. Is 11 a factor of n?
False
Suppose 0 = -4*j + 5*p - 109, 7*p = 3*j + 3*p + 82. Let w = j - -56. Let k = 52 - w. Is 11 a factor of k?
True
Let y(d) = 5*d**2 + 11 - 5 + 1 + d**3 + 2*d - 8*d. Is 7 a factor of y(-6)?
True
Let s(q) = q - q - 2 + 29*q. Does 6 divide s(1)?
False
Suppose 7*t = 2*t + 515. Let a = t + 7. Suppose -4*z = -a - 82. Is z a multiple of 16?
True
Let y be (2/(-4))/(4/304). Let f = y - -76. Is 19 a factor of f?
True
Let c = -7 + 31. Suppose -h = -3*t + c, -h - 31 - 1 = -4*t. Is 14 a factor of (-406)/(-10) - t/(-20)?
False
Suppose 1 + 17 = 2*z. Does 3 divide z?
True
Let m(u) = 10*u**2 - 4 + 3*u + 5 - 2*u. Let y be m(-1). Suppose y + 2 = 3*a. Does 2 divide a?
True
Suppose 2*i = -4*g + 66, 5*i + g - 148 - 8 = 0. Let m be i/(-3) + 1/3. Let b = m + 18. Is b a multiple of 4?
True
Suppose 4*c - 6 = -3*a + 113, -5*a + 25 = 0. Is 5 a factor of c?
False
Suppose 2*i - 6 = 0, a + 0*i - 44 = -4*i. Is 8 a factor of a?
True
Let f be 15/1*(-4)/10. Does 5 divide 40/6*f/(-4)?
True
Let j(i) = -3*i - 33. Is j(-12) a multiple of 2?
False
Does 15 divide (-1 + -1)/(30/(-1965))?
False
Let u be 4*(0 - 212/16). Let o = -2 - u. Is o a multiple of 17?
True
Suppose -w + 12 = 4*p, -w + p - 2*p = -12. Does 12 divide w?
True
Let s be 3 + -4 - (39 + -1). Let q = s + 126. Suppose -2*v + 3*g + 31 + 38 = 0, 3*v = -g + q. Is v a multiple of 13?
False
Suppose 9 = -2*p + 2*u - 7*u, -3*p - 5*u - 16 = 0. Let t be 0 + p*(0 + 1). Let s = 13 + t. Does 6 divide s?
True
Suppose 3*g + 96 = 4*w, -112 = -w - 3*w - g. Suppose h + 13 = 5*q - 2*h, -3*q = 3*h - w. Suppose -3*k - t = -24, -q*t = -k + 38 - 14. Does 9 divide k?
True
Suppose 3157 = z + 10*z. Is 14 a factor of z?
False
Let t = -19 + 13. Let r(c) = 2*c**2 + c + 2. Let z be r(t). Let f = z - 22. Is 13 a factor of f?
False
Let r = 12 - 10. Suppose 32 = r*q - 16. Is q a multiple of 5?
False
Let l be (-4)/(-3) + (-2)/6. Is 11 a factor of 10*1/1 + l?
True
Let l(r) = 3*r**2 - 35*r. Is l(15) a multiple of 25?
True
Suppose -4*q + 24 = -0. Does 3 divide q?
True
Let t(n) be the first derivative of n**4/4 - 2*n**3/3 - 2*n**2 + n + 1. Let b be t(4). Suppose c + c - b = -3*w, -17 = -4*w + 3*c. Is w a multiple of 5?
True
Suppose -5*s - 4*v = -25, 0 = -5*s + 4*s + 3*v + 5. Suppose -146 = -s*r + 2*w, 4*r - w = w + 116. Is r a multiple of 21?
False
Let q(s) = 9*s**2 + 2*s - 1. Let g be q(2). Suppose 3*z - 117 = -g. Is 13 a factor of z?
True
Suppose 3*c + 2*j = 138, 0 = 5*c - 3*j - 0*j - 249. Does 12 divide c?
True
Suppose m = 5*w + 5, -2*w = -3*w + 3*m - 15. Suppose h + 3*g = -w*h + 27, 94 = 2*h - 4*g. Suppose -4*c + h = -49. Does 11 divide c?
True
Suppose -m = 3*a - 7, -a = -2*m + 2 + 5. Suppose -m*i + 6 = -10. Is 4 a factor of i?
True
Let h(x) = -3*x - 7. Let z be h(-3). Suppose 0 = v - 0*b - 2*b - 19, -3*v = 3*b - 39. Is v + (z - 4) + 0 a multiple of 8?
False
Suppose 2*c - 10 + 0 = 0, -5*c = -2*y + 109. Does 15 divide y?
False
Let q(m) = -9*m**2 - 1. Let t be q(1). Let u = 16 + t. Let c = 17 + u. Is c a multiple of 12?
False
Suppose 0 = 4*g - 30 - 6. Let r(c) = -c**2 + 13*c - 6. Is 15 a factor of r(g)?
True
Let b(t) = -3*t**2 + 3 + 5*t - 8*t**3 + 7*t**3 - 2*t**2. Does 3 divide b(-6)?
True
Let f = -13 + 23. Is 5 a factor of f?
True
Suppose m + 4*n - 176 = 6*n, -3*n = -3*m + 531. Is m a multiple of 9?
False
Let n(a) be the second derivative of 11/6*a**3 + a + 0*a**2 + 0. Does 8 divide n(1)?
False
Let v(s) = -3*s + 17. Is 9 a factor of v(-5)?
False
Let h be (-1 - -2)/1*1. Let g be h/1 + (11 - 0). Suppose 4*t - g = 3*t. Is 12 a factor of t?
True
Let i = 62 - 42. Does 10 divide i?
True
Let f be (-2 + 3)*-2 + 8. Suppose -f*x + 2*x = -36. Let c = 6 + x. Does 8 divide c?
False
Suppose -50*f = -45*f - 75. Is 15 a factor of f?
True
Let v(b) = -10*b**3 - 3*b**2 + 5*b + 7. Does 42 divide v(-3)?
False
Let m = 2 - 4. Is (-99)/m*4/6 a multiple of 11?
True
Let h(j) = j**2 + 2*j. Let k be h(-3). Suppose -79 + 25 = -k*u. Does 9 divide u?
True
Suppose s + 2*f + 84 = 4*s, 2*s - 5*f = 56. Is s a multiple of 4?
True
Let t(s) = s**2 - 3*s. Let m be t(5). Let q be (-514)/10 + 4/m. Let p = -31 - q. Is 7 a factor of p?
False
Let i(t) = 5*