False
Let i = 11 + 9. Let c = i + -8. Is c a multiple of 9?
False
Let r(m) = -m - 4. Let j be r(-8). Let f = j - 8. Is 17 a factor of 4/(1/(-42)*f)?
False
Let t = -9 - -3. Let a(k) = k**2 - 7*k - 3*k**2 + k**2 + 1. Does 5 divide a(t)?
False
Let d(l) = l**2 + 8*l - 7. Let c = -7 + -2. Let t be d(c). Suppose 3*g - 3*o = 12, -3*o - 16 = -4*g + t. Is g a multiple of 6?
True
Suppose 4*g + 0*g + 4 = -n, -2*g = 2*n + 14. Let u be n*3/12*2. Is 5 a factor of 2/u + 21/2?
True
Suppose 15*f - 96 = 11*f. Is f a multiple of 24?
True
Let p = -151 + 284. Is 19 a factor of p?
True
Let n = -30 - -18. Suppose w + 2*w + 15 = 0. Let b = w - n. Does 5 divide b?
False
Let f(y) = -y**2 - y + 2. Let k be f(0). Suppose -k*i + 6*i - 68 = 0. Is 17 a factor of i?
True
Let r(o) = 2*o + 10. Let g be r(-7). Is 9 a factor of (6/(-9))/(g/138)?
False
Let x be (-2090)/(-50) + (-2)/(-10). Suppose a = -2*a + x. Is 14 a factor of a?
True
Let v be (-14)/(-10) - 6/(-10). Suppose -2*a - v*f + 49 + 33 = 0, a - 33 = -5*f. Does 15 divide a?
False
Let d(i) = 3*i**3 - 23*i**2 - i - 7. Let l(c) = -2*c**3 + 12*c**2 + 4. Let z(b) = -3*d(b) - 5*l(b). Let a be z(-7). Is 13 a factor of a/9*(-3)/(-1)?
True
Let l be 58/(-18) + (-4)/(-18). Does 23 divide (-46)/6*(-12 - l)?
True
Suppose -5*j + 403 = 78. Is 22 a factor of j?
False
Is 11 a factor of 2 + (45 - -3)/4?
False
Let d(b) = b**3 - 6*b**2 - 3*b - 4. Is d(7) a multiple of 6?
True
Let m = -65 + 25. Let o be 12/42 - m/7. Suppose 0 = 3*x - 4*a + 4, o*x - 3*a - 8 = x. Is 4 a factor of x?
True
Let h(d) = 40*d - 1. Let a be h(1). Let y(r) = r**3 - 6*r**2 - 6*r - 3. Let b be y(7). Suppose a = 5*t - b*t. Is t a multiple of 14?
False
Is (-4)/(-6) + 332/6 a multiple of 16?
False
Let t(h) = h - 2 - h**2 - 4*h - 2*h. Let i be t(-2). Let v = i - 2. Is 2 a factor of v?
True
Does 15 divide (8 - -32)/((-1)/(-2))?
False
Let l = -20 + 80. Is 15 a factor of l?
True
Let a = -11 + 310. Is a a multiple of 31?
False
Suppose 119 = 4*s - 397. Is s a multiple of 13?
False
Let m(s) = 3*s + 4*s + 0*s**2 + 4*s**2 - 3*s**2. Let p be m(-6). Is 1/((-8)/p - 1) a multiple of 3?
True
Let b = -2 + 29. Let d = b + -16. Suppose d = 2*r - 35. Is r a multiple of 8?
False
Let i = -133 + 226. Is 25 a factor of i?
False
Is (-4)/4*-4 - -68 a multiple of 18?
True
Let o(z) = -1 + 1 + z - 14*z - 2. Is 12 a factor of o(-2)?
True
Suppose l + 3*g - 15 = -1, -3*l + g + 2 = 0. Suppose -l*m - 3*m + 318 = c, -m = -4*c - 72. Is 32 a factor of m?
True
Suppose -2*a = -c, -2*c + 2*a - 60 = -7*c. Does 10 divide c*(-3)/(6/(-7))?
False
Let f(m) = -m**3 - m**2 + m + 51. Let a be f(0). Let k = a + -9. Is 14 a factor of k?
True
Suppose 3*a - m - 129 = 0, a - 2*a = -3*m - 43. Let r = a - 21. Is 11 a factor of r?
True
Let n(s) = s**2 - 4*s - 3. Let z be n(5). Suppose -3*v = z*m - m - 54, 3*m = v - 8. Does 7 divide v?
False
Suppose 2*m + 3*m = 30. Suppose 4*s - 18 = -m. Suppose 0 = n - s*n + 8. Does 3 divide n?
False
Suppose -4*v - 7 = -d - 2*v, 8 = -4*d - v. Let b = -6 - -11. Let j = d + b. Is 4 a factor of j?
True
Let k = 4 + -8. Let x(c) = 3*c - 3*c - 4 - 5*c. Does 11 divide x(k)?
False
Suppose 0 = 2*v - 3*v + 5. Suppose 2*w - w - 39 = 4*i, 5*w = -v*i + 270. Suppose -2*g - 29 - w = -4*d, -5*g = 3*d - 86. Is d a multiple of 14?
False
Suppose 0 = -7*c + 389 + 1158. Is 13 a factor of c?
True
Let d = 56 + -6. Does 14 divide d?
False
Is 16 a factor of 21/(-7)*(2 - 268/6)?
True
Let t(w) = w**2 - 11*w + 14. Let q be t(10). Is ((-15)/6)/((-2)/q) a multiple of 3?
False
Suppose -16 = -4*z + 4. Let f(s) = -5*s + 5. Let t(j) = -4*j + 4. Let i(h) = 4*f(h) - 6*t(h). Is i(z) a multiple of 8?
True
Is 8 a factor of -48*((-14)/3 + 4)?
True
Let v be 48/10*(-70)/(-4). Let q be 2/11 + v/22. Suppose -q*u - i + 47 = 2*i, 2*u - i = 31. Does 9 divide u?
False
Let f = 310 + -219. Let z = f - 42. Is 15 a factor of z?
False
Let x(l) = -4*l**3 + 3*l**3 - 4*l - l + 0*l - 4 - 4*l**2. Is 8 a factor of x(-4)?
True
Let p(m) be the third derivative of -m**4/24 - m**3 + 2*m**2. Let o be p(7). Is 13 a factor of (o/(-2))/(2/4)?
True
Is 4/(-6)*(-6201)/78 a multiple of 6?
False
Let i = 8 + -18. Let s be (-1)/2*i/1. Suppose s*v - 52 = 4*o, v - 2*o = 2*o + 20. Is 8 a factor of v?
True
Let u = -19 - -49. Let q = 20 + u. Is 15 a factor of q?
False
Let j(u) = u**2 + 3*u - 3. Let k be j(5). Suppose -3*y - k = -3*b - 1, b = -3*y + 20. Suppose -b = -s - s. Is s a multiple of 3?
False
Suppose -3*y + y = -156. Does 13 divide y?
True
Suppose 0*o = -3*s - 3*o + 12, 5*s - 5*o - 10 = 0. Is 13 a factor of (26/3)/(1/s)?
True
Let v(n) = n**3 - 8*n**2 + 6*n + 10. Let r be v(7). Suppose -r*z + 2*z = 0. Suppose -3*c + 5*c - 40 = z. Does 10 divide c?
True
Suppose s + 0*s = 4. Is s a multiple of 2?
True
Let a(x) = -x**3 + 4*x**2 - 3*x - 2. Let g be a(3). Let k(r) = 3*r**2 - r + 3 - 1 + r**2 - 2*r**2. Is 5 a factor of k(g)?
False
Suppose -2*q = -4*q - 6. Let g(x) = x**3 + 3*x**2 - 2*x + 3. Let y be g(q). Suppose 9 + y = 2*j. Is j a multiple of 5?
False
Suppose 0 = 8*x - 2*x - 48. Does 3 divide x?
False
Let x = -1 + 3. Suppose -x*m - 17 = -5*r + 83, 2*r + 3*m = 59. Is 11 a factor of r?
True
Let k(m) = 9*m**3 + 6*m**2 + m - 5. Does 59 divide k(3)?
True
Suppose i + m - 2*m - 6 = 0, -4*m = 12. Suppose 3*d + i*n - 21 = 0, 5*d - 17 = 3*d - 3*n. Let p = d - -17. Is 21 a factor of p?
True
Suppose -15*f - 156 = -19*f. Is f a multiple of 39?
True
Suppose 7*t = 71 + 160. Is t a multiple of 7?
False
Let v(j) = 173*j + 4. Is 50 a factor of v(2)?
True
Suppose 2*h - 7*h = -455. Suppose -55 = -5*p - 5*v, 3*v + v + h = 5*p. Does 11 divide p?
False
Let a(n) = -5*n + 5. Let z(r) = 14*r - 14. Let v(y) = 11*a(y) + 4*z(y). Let j be (-10)/35 + (-74)/(-14). Does 2 divide v(j)?
True
Let d(i) = 10*i**2 - i. Suppose -o - 3 = 3*t, -t + 6*t = 3*o - 5. Is d(t) a multiple of 11?
True
Suppose 7*c - 4*c = 3*h + 444, -3*c = 2*h - 419. Does 9 divide c?
False
Suppose -15 = -s + 15. Does 5 divide s?
True
Let k(o) = o**3 + o**2 - 3*o - 3. Let i(l) = -l**3 - 2*l**2 + 1. Let u be i(1). Let r be k(u). Is (-3)/(r + 1 + -1) a multiple of 3?
True
Suppose 18 = -4*d + 3*d + 4*v, 2*d + 3*v + 14 = 0. Let f = 16 + d. Is f a multiple of 4?
False
Let x be 2/3*60/8. Let o = x - -40. Suppose -k + o = 2. Is k a multiple of 24?
False
Let p(u) = u**3 - 8*u**2 + 2*u + 5. Let j be p(9). Suppose -4*n = 2*k - j + 6, -4*k + 42 = n. Does 21 divide n?
False
Suppose i = 1, 0*l - 2*i = 3*l - 167. Suppose -2*q - 3*p = -36, 4*q + 4*p = 9 + l. Is q a multiple of 12?
True
Let y(a) = 11*a. Let l(g) = -2*g - 10. Let v be l(-7). Is 28 a factor of y(v)?
False
Suppose -2*p = 10, 4*s - 33 = -p + 10. Does 7 divide s?
False
Suppose 0 = 2*k - 8. Suppose 4*a + k*z = 3*a + 24, 5*a = 2*z + 186. Let m = 0 + a. Is m a multiple of 18?
True
Let w = 103 - -9. Is 25 a factor of w?
False
Suppose 3 = -3*d - o + 42, 3*d - 3*o = 39. Is 4 a factor of d?
False
Suppose -4*o + 3*c - 8 = 0, 5*o - 4*c = -0*o - 10. Let m be o/6 - 64/(-12). Suppose 0 = -r - 2*b + 7, -m*r + b = -15 - 42. Does 11 divide r?
True
Suppose 5*j = -2*f - 1 + 38, -j - 13 = -3*f. Suppose -f*o = -3*o - 81. Is 10 a factor of o?
False
Suppose 0 = 3*h - 0 - 48. Does 4 divide h?
True
Suppose -2*s + 4*w + 8 = 0, 2*s + 2*w - w + 17 = 0. Let x(r) = r**2 + 6*r + 5. Let b be x(s). Suppose 5*h + 4*f = 134, 100 + 40 = 4*h - b*f. Does 15 divide h?
True
Is (-4 - (1 - (2 + 1)))*-10 a multiple of 5?
True
Suppose -4*i - 9 = -6*i + v, -i + v = -6. Suppose b - 16 = 2*u - 50, -u + 27 = -i*b. Is 15 a factor of u?
True
Let d = 92 - 50. Let z = d + -20. Is 11 a factor of z?
True
Let c be ((-2)/((-4)/6))/1. Let q(a) be the second derivative of a**5/20 + a**4/6 - a**3/3 + 10*a. Does 13 divide q(c)?
True
Let j be (-1 - 1)*(-3)/6. Let k(f) = 7*f - j - 1 - 1. Does 14 divide k(6)?
False
Let w(x) = -x**3 + 6*x**2 - 5*x - 2. Suppose 2*h - f - 5 = 0, -f + 5*f = 5*h - 5. Let m be w(h). Is m*((-18)/4 - -3) a multiple of 3?
True
Let v = 61 + 1. Suppose -8 = -2*k, 2*k - v = -i - 11. Is i a multiple of 11?
False
Let j(u) = u**3 - 8*u**2 - 12*u - 9. Is j(10) a multiple of 27?
False
Let m(n) = n**3 + n + 3. Let w be m(0). Let a(b) = 17*b**2 + 3*b - 3. Let l be a(2). Suppose -w*o = -l + 11. Does 19 divide o?
False
Suppose 0 = 4*z + 5*s - 6*s - 556, -2*z - 3*s + 292 = 0. Does 10 divide z?
True
Let h(m) = -m + 1. Let r be 45/(-2