 of l?
True
Suppose -2*n + 2*a = -6, -2*n + 3*a - 8*a = 22. Let d be 1 + 3 + 3 + n. Is d/9 + 25/3 a multiple of 6?
False
Let l(s) = s**2 + 2*s + 12. Is 20 a factor of l(-8)?
True
Suppose 5*m - 3*u + 0*u - 32 = 0, 3*m - 5*u - 16 = 0. Let a = 10 + m. Is 5 a factor of a?
False
Let j = 77 + -7. Is (j/(-8))/((-3)/12) a multiple of 14?
False
Is 5 a factor of (-34)/(-10)*3/((-21)/(-35))?
False
Suppose 4*n - 2*n = 8. Suppose -5*x - 2 = -4*x + n*g, 2*x = -4*g - 12. Is (-2)/5 + (-34)/x a multiple of 2?
False
Suppose 0 = 3*k - 2*o - 169, -3*k - 4*o + 16 = -159. Does 16 divide k?
False
Let b(w) = w**3 + 11*w**2 + 16*w + 20. Let p be b(-10). Let u = p + 95. Does 11 divide u?
True
Suppose 0 = v - 317 + 137. Is v a multiple of 20?
True
Suppose -472 = -4*t - 3*w, 0 = t - 3*w - 2*w - 95. Suppose -2*m + 4*u - 33 + t = 0, -5*m - 2*u = -193. Is m a multiple of 13?
True
Suppose 5*q + 4*j - 258 = 0, -2*q - 3*j - 171 = -5*q. Is q a multiple of 8?
False
Let z(g) = 6*g**2 - 5*g**2 - g + 6*g**2. Suppose 8 = 2*y, -1 = -3*d + y + 1. Is z(d) a multiple of 13?
True
Suppose 3 = -4*t - 37. Let m = 60 + t. Let l = m + -29. Is 19 a factor of l?
False
Suppose -2*x - 78 = -3*x + p, 236 = 3*x - 4*p. Does 17 divide x?
False
Suppose 0 = 5*z - 225 - 80. Does 10 divide z?
False
Suppose 14*q - 12*q = 6. Suppose q*t - 5*i = 216, 2 = -t + 3*i + 74. Is 18 a factor of t?
True
Let k be (5 - 1 - 2) + 2. Suppose 13 + 7 = k*p. Suppose -2*q - 82 = -4*c, p*c - 5*q = 4*c + 25. Is 7 a factor of c?
False
Let x(n) = n**2. Let v(f) = -9*f**2 - 1. Suppose -5*q = 4*d, -45 = 5*q + 3*d - 8*d. Let l(r) = q*x(r) - v(r). Is 13 a factor of l(-3)?
False
Let f(v) = 8*v - 1. Let b(s) = -2*s + 22. Let k be b(10). Is f(k) a multiple of 6?
False
Let i be (-1 + 1)*6/12. Suppose i*d + 4*d - 60 = 0. Let j = d + 7. Is j a multiple of 11?
True
Let o be (-323)/(-3) + 2/(-3). Let q = -47 + o. Let g = 88 - q. Does 11 divide g?
False
Let i be 1/(0 - 3/9). Let m be (252/(-8))/((-3)/6). Is (m/(-3))/(1/i) a multiple of 30?
False
Let n(t) = -4*t - 1. Let o be n(1). Let v be o*(0 + (-4)/10). Suppose -v*j = 2*j - 84. Does 6 divide j?
False
Let v(q) = -q**2 + 7*q + 6. Let j(f) = -11*f**3 - f**2 - f - 1. Let w be j(-1). Let b be v(w). Let t = b - -37. Is 13 a factor of t?
True
Suppose 0*o + 4*o + 160 = 0. Let g = -11 - o. Is 29 a factor of g?
True
Let o be (4/10)/(2/250). Suppose -h = -o + 7. Does 13 divide h?
False
Let u be (-1)/(-2) + 86/4. Let v(n) = -n**3 - 7*n**2 + n - 4. Let x be v(-7). Let g = u - x. Is g a multiple of 12?
False
Let a(f) be the third derivative of f**6/120 - f**5/12 - 5*f**4/24 - 2*f**3/3 + f**2. Let h be a(6). Suppose h - 12 = -j. Is j a multiple of 5?
True
Is 43 a factor of 27690/169 - (-4)/26?
False
Let k(c) = -c**3 - 3 - 3*c - 3*c - 4*c**2 - 2*c**2. Let s be k(-5). Suppose -s*f + 2 = -3*o + 25, 4*o = f + 29. Is o a multiple of 3?
False
Suppose 4*h - 3*s - 26 = 0, 5*s + 3 = -h - 2. Suppose 4*i = h*i - 13. Is i a multiple of 9?
False
Suppose 0 = -a + 3*a - 4. Suppose m + f - 4 = -0*m, -a*m + 14 = -f. Is m a multiple of 6?
True
Let i(b) = -9*b + 2. Suppose -5*o + 4*o - 2*y = 0, 0 = 5*o - y + 11. Is i(o) a multiple of 10?
True
Suppose 0*h + 4*q = 2*h + 24, 0 = -4*q + 16. Let s(t) = -t**2 - 6*t - 4. Let g be s(h). Suppose -y - g*y + 145 = 0. Does 16 divide y?
False
Let d(z) = -4*z. Let c be d(-5). Suppose 10 = -b - 4*l + 22, -2*b - 3*l = -29. Suppose 2*p + c = 3*f, -p + b + 26 = 5*f. Is f a multiple of 3?
False
Let o(n) = -n + 181. Let b be o(0). Suppose -z - z = -3*h + b, -60 = -h + z. Is h a multiple of 19?
False
Let k(i) = -4*i - 4. Let l be (-50)/(-15)*(-18)/15. Is 4 a factor of k(l)?
True
Suppose 2 + 1 = -h. Is 3 a factor of 15 + (-2 - h) + -4?
True
Let r be (-32)/(-14) + (-4)/14. Suppose -j = -r - 1, z = 5*j - 9. Is 4 a factor of z?
False
Let b(y) = -y**3 - 6*y**2 + 3*y - 3. Is 22 a factor of b(-9)?
False
Suppose 4*v - 21 - 7 = 5*r, 2*r = -5*v + 2. Does 14 divide (117/v)/3*2?
False
Let f = -4 + 7. Suppose 23 + 10 = f*s. Is 11 a factor of s?
True
Let y be 8/(-6)*3/(-2). Let o(k) = -k**y + 2*k**2 - 3*k + 2*k**2 + 2 + 0*k. Is 10 a factor of o(3)?
True
Suppose -136 = -n - 3*g - 2*g, 4*g = -3*n + 353. Does 14 divide n?
False
Let c be 1/(3/6) - -3. Suppose -2*n - 2 = 4*g - 74, 0 = -5*g - c*n + 100. Is 14 a factor of g?
False
Let n = -4 - -6. Suppose 0 = 5*g + 5, l - 58 = g + n*g. Does 13 divide l?
False
Let n(s) = 7*s - 7. Suppose 11 + 14 = 5*l. Let p be n(l). Suppose 0 = 5*x - 3*v - 117 - 0, -x + p = 4*v. Is 12 a factor of x?
True
Let o = 7 + -7. Suppose o = 4*j + 23 - 67. Does 4 divide j?
False
Suppose 18*p - 13*p - 700 = 0. Is 26 a factor of p?
False
Let a be (-4)/(-1) + (-4)/2. Is 3 a factor of (-182)/(-13) - a/2?
False
Let f(v) = 7*v + 11. Does 39 divide f(4)?
True
Suppose 2*y = 3*c - 5, -c - y + 19 = -6*y. Let f be (-4)/8*22*-1. Let k = f + c. Is 8 a factor of k?
False
Let r = -3 - -5. Does 2 divide r - (-1 + 2) - -2?
False
Let d = -7 - -11. Suppose -d = -3*a + a, a = j - 16. Is j a multiple of 9?
True
Suppose -4*r = -81 - 47. Is 8 a factor of r?
True
Suppose 0 = c + c - 24. Is 8 a factor of c?
False
Is 4 a factor of ((-38)/(-8))/((-2)/(-8))?
False
Let w(i) = i**3 - 11*i**2 + 8*i - 16. Does 17 divide w(11)?
False
Suppose 5*w + 2*x - 616 = -x, -3*w - 2*x = -370. Is w a multiple of 43?
False
Let g(m) = 21*m. Does 6 divide g(2)?
True
Let a(k) = -k**3 - 5*k**2 + k + 5. Let c be a(-5). Suppose c = 2*b - b - 33. Is 7 a factor of b?
False
Let i(m) = -7*m**2 + 4*m + 2 - 3 + 9*m**2. Is i(-5) a multiple of 24?
False
Let c(y) = -y**3 - 6*y**2 - 8*y - 12. Does 31 divide c(-7)?
True
Let p be (3/(-9))/(2/18). Let i(l) = 5*l + 6. Let z(k) = -3*k - 3. Let h(t) = 4*i(t) + 9*z(t). Does 9 divide h(p)?
True
Let c(l) = 7*l**3 + 2*l**2 + 2*l - 2. Is c(2) a multiple of 38?
False
Suppose -5*v - 12 = -5*l - 62, l - 12 = -v. Is v a multiple of 4?
False
Let b be (26/(-3))/(6/(-9)). Let w = b + -3. Is w a multiple of 5?
True
Let v(n) = -1 - 2*n + 3 + 0*n + 4*n. Is v(9) a multiple of 14?
False
Let z(w) = -9*w + 9. Is z(-6) a multiple of 11?
False
Suppose -3*m + 2*r + 279 + 167 = 0, -3*m - 3*r = -456. Suppose d + m = 6*d. Suppose -o + d = 2*o. Is o a multiple of 5?
True
Suppose -n = 5, -f = -4*n - 19 - 0. Is 2/(-4*f/58) a multiple of 6?
False
Suppose -6*a + 3*a + 6 = 0. Let c(j) = -4 - j**3 + 4 + 2*j**3 + 2. Is c(a) a multiple of 4?
False
Let d(n) = -9*n**2 + 3*n - 1. Let m be d(2). Let i = m + 19. Does 8 divide i/(-15)*(-2 - -22)?
True
Suppose 4 + 1 = 5*a - 5*b, -a + 5*b + 17 = 0. Let k(h) = h**3 - 2*h - 3. Let w be k(-2). Let o = a - w. Is o a multiple of 4?
True
Suppose 2*b = -3*z + 24, -5*b + 47 = -2*b - z. Is 4 a factor of b?
False
Let t(v) = 1 - v - 2 + 1 + 2. Does 6 divide t(-10)?
True
Suppose -v - 3*h = 11, 3*v - 3*h + 21 + 0 = 0. Is 16 a factor of (-2)/v - 95/(-4)?
False
Let a(t) = 2*t**3 + t**2 - 2*t - 13. Is 66 a factor of a(6)?
False
Let g(w) = w**3 + 36. Suppose 4*a - 6*a = 0. Is 13 a factor of g(a)?
False
Suppose -237 = -5*g + 3*d, 0 = 4*g + 2*d - d - 193. Let s(q) = -2*q - 4. Let x be s(-3). Suppose -x*v = v - g. Does 8 divide v?
True
Does 10 divide 56/6 - (-4)/6?
True
Suppose -2*y - 366 = 5*i, -3*i - 2*y - 241 = -19. Let s = i - -114. Is 21 a factor of s?
True
Let p be 63 + (2 - 12/3). Let u = 94 - p. Is u a multiple of 25?
False
Let b = 69 + -38. Suppose -b - 35 = -3*t. Is t a multiple of 22?
True
Let c(q) = 2*q - 2. Suppose o = -0 + 4. Does 6 divide c(o)?
True
Let q(p) = p**2 + 1. Let i(o) = 102*o**2 - o - 1. Let j(f) = i(f) + 2*q(f). Let h be j(1). Suppose -t = 5*y - 15, -2*y = -t - 3*t + h. Is t a multiple of 9?
False
Let n(i) = -i**3 + 8*i**2 + 10*i - 6. Let m be n(9). Let o = 18 - m. Is 11 a factor of o?
False
Let u(a) = a**3 - 9*a**2 + 2*a - 10. Let h be u(9). Let l = 8 - h. Suppose 2*f - 3*f = 4*w - 164, l = 4*f. Is 14 a factor of w?
False
Is 6 a factor of (-3)/(-6) - (-34)/4?
False
Let m(c) = c**3 - 5*c**2 + 2*c. Suppose -12 = -5*k + 18. Is 22 a factor of m(k)?
False
Is 6 a factor of (-12)/(-10)*(2 - -83)?
True
Let i = 69 + -37. Is 21 a factor of i?
False
Suppose -3*g + 2*b - 113 = -6*g, 0 = -4*g + 4*b + 124. Does 7 divide g?
True
Let f = 2 - -1. Let m be (f + -5)*2/(-4). Is 3 a factor of m/(-2) + 78/12?
True
Suppose 6 = 4*i + 2*v, -3 = -2*i + 2*v + 3. Suppose -4*s + i*s = -112. Does 17 divide s?
Fals