 - 8*g**2 + 7*g + 2. Let n be l(7). Suppose -23 - 3 = 4*x + 5*m, n*x - 2*m + 4 = 0. Is (-24)/(-1) + 8/x a multiple of 11?
True
Let d(s) = -5*s**3 - 6*s**2 - 7*s - 2. Let h(o) = o**3 + o**2 + o. Let j(z) = d(z) + 6*h(z). Suppose 3 = 3*a - 6. Is 11 a factor of j(a)?
True
Let u(n) = n**3 + 9*n**2 + 6*n + 10. Let y(i) = -i**2 - i. Let t(x) = -u(x) - 2*y(x). Let a be 2/5 + (-37)/5. Is 6 a factor of t(a)?
True
Let f(b) = b - 11. Let r be f(-5). Let u = 52 - r. Does 17 divide u?
True
Let q be 6*((-4)/(-3) + -1). Is -2 - (q*-7)/1 a multiple of 3?
True
Suppose -2*g + 4 - 23 = -3*t, 4*g + 20 = 0. Suppose -4*s + 2*x + 26 = -0*x, t*x = -9. Suppose s*w + 15 - 170 = 0. Does 16 divide w?
False
Suppose 2*x + t = 3*t + 14, -38 = -4*x - t. Is x a multiple of 3?
True
Suppose 48 = -9*q + 13*q. Is 4 a factor of q?
True
Suppose 3*q + 26 + 16 = 0. Let v = q + 7. Let c = 17 + v. Is 10 a factor of c?
True
Let b(p) = -p**3 + 6*p**2 - 3*p - 12. Let a be b(6). Let c(x) = x**2 + 3*x - 1. Let k be c(6). Let j = k + a. Is 20 a factor of j?
False
Let i be 3 - -2*4/8. Let m(a) = -a + 7. Let r be m(6). Let g = r + i. Does 5 divide g?
True
Suppose 5*b - 297 = 1153. Suppose -20*l = -15*l - b. Is l a multiple of 9?
False
Let j = 21 + -14. Let a = 35 + j. Does 14 divide a?
True
Let a = -14 - -15. Is 28 a factor of a + 1 - 3 - -45?
False
Suppose 3 = -o - 4. Let u = 9 + o. Suppose -u*j = 3*j - 275. Is 29 a factor of j?
False
Suppose -24 = 4*l + 4. Let o be (-4)/8*(l + 1). Suppose 5*h - o*q + 22 = 108, q - 60 = -3*h. Is h a multiple of 10?
False
Suppose t - 2*v = 69, 47 = -3*t - 3*v + 218. Is 12 a factor of t?
False
Let l(q) = -q**3 - 3*q**2 - 4*q - 2. Let j be l(-2). Let i(x) = 4*x**2 - 2*x + 2. Is 14 a factor of i(j)?
True
Let c(m) = -3*m + 2. Let n be c(-7). Suppose -3*z - n = -65. Let k = z + 0. Is 14 a factor of k?
True
Suppose 5*u + 5*f = -5, -f - 4*f = u + 17. Let x = u - -86. Suppose -4*r - 25 = -x. Is 6 a factor of r?
False
Suppose -2*u + 3 + 3 = 3*q, -3 = -u - 2*q. Suppose u = -g + 8. Let r = 8 - g. Does 3 divide r?
True
Is 16 a factor of (99/(-66))/(1/(-62))?
False
Let j(n) be the second derivative of n**5/20 - 5*n**4/6 + 3*n**3/2 - 5*n**2 + n. Let i be j(9). Is (-4)/10 - 304/i a multiple of 12?
False
Suppose 2*m + 0 = 6. Suppose -3*f + m = 6*k - k, -11 = 3*k + 5*f. Is k a multiple of 3?
True
Suppose -5*f + 27 = -173. Is 8 a factor of f?
True
Suppose -3*r = r. Suppose 2*m - 6 = -4*p, -2*p - p - 3*m + 12 = r. Does 20 divide 2 + p + 29 + 0?
False
Is 30/6 + -5 + 86 a multiple of 21?
False
Let b be ((-1)/(-1) - 1) + 130. Suppose 0*p = p - 4. Suppose f - b = -p*f. Is f a multiple of 15?
False
Let u = 20 + -7. Let c = 23 - u. Is 5 a factor of c?
True
Let u = -31 + 21. Let w(c) = -c**3 - 10*c**2 - c + 7. Does 8 divide w(u)?
False
Let m = -253 - -427. Suppose -379 = -5*z - s, -3*z - 2*s + 59 = -m. Does 25 divide z?
True
Suppose 4*v + 6 - 46 = 0. Let q = v - 6. Does 2 divide q?
True
Let m(l) be the third derivative of l**4/12 - 7*l**3/6 + 2*l**2. Suppose -5*r + 10 = -3*g, -2*r + 5 = -2*g + r. Is 3 a factor of m(g)?
True
Let j be -1 - 3*125/(-15). Let z = -13 + 25. Let x = j + z. Is 12 a factor of x?
True
Let t(m) = -2*m**2 + 13*m + 8. Let l be t(10). Let d = 94 + l. Is d a multiple of 16?
True
Suppose 105 = -3*g + 10*g. Is g a multiple of 11?
False
Suppose d + 144 = 4*d. Is 7 a factor of d?
False
Let s(k) = k**3 - 6*k**2 + 6*k - 3. Let a be s(5). Suppose 2*l - 4*l = 2*d - 52, a*l + d = 56. Does 22 divide l?
False
Let c be ((-2)/4)/((-2)/20). Suppose -c*h + 65 = -85. Is 16 a factor of h?
False
Let k = 411 + -153. Is 12 a factor of k?
False
Suppose 5*c - 800 = -0*c. Suppose -c = -0*d - 2*d. Suppose 8*f - 12*f + d = 0. Does 7 divide f?
False
Let x(p) = 3*p**2 + 2*p + 1. Let w be x(-1). Suppose w*m + 4 - 38 = 0. Is 7 a factor of m?
False
Let j(n) = 2*n**2 - n + 6. Suppose -5*f - 3*o + 25 = 0, 0 = 5*f - f + 3*o - 20. Is 13 a factor of j(f)?
False
Let j = 8 - 3. Suppose -4*i - 3*w + 149 = 0, 6 = -2*i + j*w + 87. Is 15 a factor of i?
False
Let c = 3 + -1. Suppose c*l - l = 5. Is l a multiple of 3?
False
Let p(d) = d**2 - 1. Let h be p(-2). Suppose h*r = 4*r - 7. Let n = r + -5. Is 2 a factor of n?
True
Suppose -2*n - 1 = 5. Let t be (2/(-4))/(n/168). Suppose 2*u - t - 6 = 0. Is 17 a factor of u?
True
Suppose -f = n - 184 + 75, 0 = 5*n + 4*f - 541. Is 7 a factor of n?
True
Let j(n) = n**2 - 17*n - 8. Does 10 divide j(18)?
True
Let i = 8 - -1. Is i a multiple of 6?
False
Suppose 2*x = -2, 4*s - 8*s - x + 19 = 0. Is 3 a factor of s?
False
Suppose -2*c - 12 = -0. Let h(d) = d**2 - 2*d - 2. Let u(p) = 6*p**2 - 9*p - 10. Let q(f) = -11*h(f) + 2*u(f). Does 5 divide q(c)?
False
Suppose 0 = -2*h + s + 5, 5*s + 6 = -2*h + 29. Let d(u) = -4*u**2 + h*u + u**2 - 2 + 0*u + 2*u**3. Is d(2) a multiple of 5?
True
Suppose 2*j - 88 = -2*j. Suppose -6 = -2*o + j. Does 6 divide o?
False
Suppose 2*o + o + 9 = 0. Let b = o - -5. Suppose b*t = 5*t - 15. Is t a multiple of 3?
False
Let p = 9 + -6. Does 3 divide p?
True
Let b = -16 - -48. Suppose -3*z + 155 = b. Is z a multiple of 10?
False
Let o(a) = 5 - 5 + a. Does 8 divide o(8)?
True
Let u(i) = -8*i - 9. Does 9 divide u(-9)?
True
Let a = 64 + -10. Is 54 a factor of a?
True
Suppose -5*p - 1 = -4*g, -2*g = -3*g + p + 1. Let o = g + 3. Is 7 a factor of o?
True
Let y(x) = 50*x**2 - x + 1. Let j be y(1). Let i = -28 + j. Is 6 a factor of i?
False
Let a be (144/(-5))/((-27)/90). Suppose 6*x - a = -30. Is 9 a factor of x?
False
Is (-184)/(-12) + -4*1/(-6) a multiple of 4?
True
Suppose 4*d = 2*u - 12, 3*d - 3*u = -2*d - 14. Is 2*d*(-143)/44 a multiple of 13?
True
Let y = 102 + -52. Is 17 a factor of y?
False
Suppose 0 = -4*l - 4. Let r(t) = 6*t**3 + 7*t. Let s(d) = 3*d**3 + 4*d. Let x(b) = -4*r(b) + 7*s(b). Does 3 divide x(l)?
True
Let b = -1 + 4. Suppose -b = 4*l - 2*v - v, -4*l = -5*v + 5. Suppose l = -3*q + 25 - 7. Does 6 divide q?
True
Let l(q) = -q**3 + 8*q**2 - q + 9. Let d be l(8). Is (-23)/(-1) + 0 + d a multiple of 10?
False
Is 20/(-70) + 2370/14 a multiple of 19?
False
Let l be 7 - (3/1)/1. Suppose 5 = 3*d - 4*d, 3*t - 3*d = 0. Is l/10 - 33/t a multiple of 7?
True
Let r = -10 - -15. Suppose 3*u - 126 = -4*b, 2*b - 31 = -r*u + 39. Is b a multiple of 15?
True
Let r be (-4)/(-8) - (-15)/6. Is r - (1*-4 + 3) a multiple of 3?
False
Suppose -4*r - 5*y = 12, 2*r - 4*y - 18 = r. Suppose -66 = -4*x - r. Is 4 a factor of x?
True
Let s = -15 - -60. Is s a multiple of 10?
False
Let p = -31 - -130. Suppose 3*u + 2*r - p = -r, -3*u + r = -91. Is 11 a factor of u?
False
Suppose 6 = 3*f, 5*l - f + 96 = -3*f. Suppose 0*z - 40 = -z. Let p = z + l. Is p a multiple of 8?
False
Suppose -2*i = -2*g + 81 + 109, -5*g + 479 = -i. Suppose 4*f = 2*f - g. Let s = -20 - f. Does 14 divide s?
True
Suppose 2*s - 26 = -2*d, -5*d + 41 = -3*s - 0*s. Let q be 15/6*16/d. Suppose 0 = q*w - 51 - 37. Is w a multiple of 11?
True
Suppose -x = 2*h + 1, -3*h + 4*h - 13 = -5*x. Suppose 0*f + 36 = x*f. Suppose 3*m = -f, 5*z = -9*m + 4*m + 20. Is 3 a factor of z?
False
Let k(c) = -c**2 + 5*c + 7. Let z be k(6). Let y be (-6)/2*z/(-3). Suppose 0 = a - 20 - y. Is a a multiple of 18?
False
Let c = 5 - 4. Let h = 2 - c. Suppose 3 = -3*f, -j + 4*f - h = -11. Is j a multiple of 2?
True
Let a(b) = b**2 + 2*b - 2. Let h be 2/(-2 - (-8)/5). Let g = h - 0. Does 5 divide a(g)?
False
Let q = 105 + 24. Suppose 0 = 5*n + 54 - q. Is n a multiple of 15?
True
Suppose -3*t + 24 = t. Is t a multiple of 2?
True
Suppose 4*q + 22 = 3*h, -h + 0*q + 14 = 2*q. Suppose -c - c + h = 3*t, 2*c = t + 26. Is 11 a factor of c?
True
Suppose -4*b + m - 3*m = -218, -5*m + 285 = 5*b. Is b a multiple of 26?
True
Let p(v) = 26*v + 1. Let o(b) = 39*b + 1. Let n(u) = -5*o(u) + 7*p(u). Does 14 divide n(-3)?
False
Suppose -3*a + a = -4*u - 238, a + 4*u - 113 = 0. Does 20 divide (-6)/(-4) - a/(-2)?
True
Let q(r) be the second derivative of r**4 - r**3/6 + 2*r. Is 13 a factor of q(-1)?
True
Let b = -179 - -251. Is b a multiple of 9?
True
Is 14 a factor of (85/20)/((-3)/(-96))?
False
Is ((-40)/6)/((-6)/9) a multiple of 8?
False
Let a be -5 + 2 + 0 - -1. Let w be (23 - a) + -1 + -2. Suppose -p + 2*j - 2 = -w, -3*p + 64 = -2*j. Is p a multiple of 8?
False
Let r be (1 - (1 - 0)) + 6. Let p = 57 - r. Let k = p + -12. Does 13 divide k?
True
Let i = 