+ 3 + 3. Let b = w + 0. Suppose -18 = -b*g + g. Is g a multiple of 9?
True
Let l(u) = 10 + 7*u + 9*u**2 - u**3 + 2*u**3 - 2. Suppose -5*q = -h - 33, -5*h - 20 = -q + 5*q. Does 12 divide l(h)?
False
Suppose 0*y + 6 = 3*y. Suppose -i = i, -54 = 2*h + y*i. Let z = -13 - h. Is 9 a factor of z?
False
Let r(o) be the third derivative of -13*o**4/24 - o**3/6 + 2*o**2. Is r(-4) a multiple of 14?
False
Suppose 43 + 23 = -3*w - 3*x, -x = -4. Let l = w + 37. Is l a multiple of 9?
False
Let b be 1 - (-2 - -1 - -1). Suppose 0 = m - b - 2. Suppose -f = -m*f + 6. Is f a multiple of 2?
False
Let s = -2 - -5. Suppose 0*n = -s*n + 15. Is n a multiple of 2?
False
Let y = -100 - -169. Does 18 divide y?
False
Let s = 1 - -1. Suppose 0 = -4*n - 4*p - 8, p = -5*n - s*p. Suppose 3*u = 4*c + 57, n*c = 5*u - 2*c - 90. Is 8 a factor of u?
False
Let w = -28 + 44. Does 3 divide w?
False
Let k(s) = -s**2 + 5*s. Let y be k(5). Suppose y = -2*a - 5 + 21. Is 4 a factor of a?
True
Suppose -4*b + 10 = b. Suppose -b*t = -h + 43, 3*h - t = -2*t + 164. Is h a multiple of 23?
False
Let b(c) = c - 6. Let w be b(5). Is 8 a factor of 2*w/(-2)*29?
False
Suppose -1 = -z + 4*t, z - 5*z + 4 = -4*t. Let y(q) = 4*q**2 + 1. Let b be y(z). Suppose 0*w - b*p = 2*w - 45, 5*w + 3*p = 141. Does 15 divide w?
True
Suppose -2 = 4*q - 2*p, 3*q - 8*q = -3*p + 3. Is (3 - 1) + q + 63 a multiple of 13?
True
Let b be ((-6)/8)/((-5)/20). Suppose 3*d + 40 = 5*w, -w - b*d - 9 - 1 = 0. Suppose -160 = -w*c + 120. Is 17 a factor of c?
False
Suppose 5*g - 74 - 6 = 0. Does 16 divide g?
True
Let b(j) = -3*j**3 + 3*j**2 - 7*j + 8. Let d(q) = q**3 + q**2 + q - 1. Let g(c) = -b(c) - 2*d(c). Let i be g(4). Is 4 a factor of 14/((-2 - -6) + i)?
False
Let l(x) = x**3 + 11*x**2 + 4*x - 5. Is l(-9) a multiple of 11?
True
Let s(a) = -a + 5. Let b(g) = 5. Let f(c) = 5*b(c) - 6*s(c). Suppose 0 = 4*l - 4*j, 2*l - 11 = -4*j + 19. Is 10 a factor of f(l)?
False
Is 17 a factor of (4/5 - (-1)/5) + 92?
False
Let t(f) = 2*f**2 - 2*f - 3. Suppose -z + 3 = 2, -2*g - 5*z + 13 = 0. Is t(g) a multiple of 7?
True
Suppose -l + 50 = 4*a - 3*a, -5*a + 5*l = -200. Is 15 a factor of a?
True
Let z(t) = -t - 2. Let j be z(-2). Let g be 6/(-4)*(-10)/3. Suppose -g*v = -5, 3*v + 19 = 2*r - j*v. Is r a multiple of 11?
True
Let v(k) = 11*k + 7. Let t be v(5). Let q be 2/11 - t/(-22). Suppose 2*b - 21 = q. Is 6 a factor of b?
True
Is 2/9 - (0 - 1884/27) a multiple of 28?
False
Let p = 10 + -15. Does 8 divide (p + 6)/(1/25)?
False
Let o = -45 + 59. Is o a multiple of 11?
False
Let x = 24 + 106. Suppose -62 = -4*l + x. Does 16 divide l?
True
Suppose -j + 3 = -0*j. Let n = 2 - j. Does 9 divide 9/((1 - 2)/n)?
True
Let i(u) = 4*u**3 - u**2 - u - 1. Let w be 3/((-4)/16*-6). Is 13 a factor of i(w)?
False
Let u = -3 - -15. Is u a multiple of 2?
True
Let f(a) = -2*a**3 - 2*a**2 - a. Let x be f(-1). Let c be (2 - x) + 0 + 1. Suppose -4*w + c*w = -12. Is w a multiple of 2?
True
Suppose b + 105 = 6*b. Is 5 a factor of b?
False
Does 13 divide (1 + -3)*-2 - -31?
False
Suppose 2*s = -4*f + 4, 0*s - 2*f = 3*s - 2. Suppose k - 1 = -s*k. Suppose 13 = n - k. Is 7 a factor of n?
True
Let r be -2 - (-78 - 3 - -1). Suppose 18 = 4*a - r. Does 7 divide a?
False
Let k be (-4 + 3)/((-1)/2). Suppose -6*h = -k*h - 92. Is 6 a factor of h?
False
Let s(z) = -2*z**2 + 4. Let q be s(3). Let h = q + 24. Is 10 a factor of h?
True
Suppose 2*o + 4*g - 64 = 0, 2*g = o - 0*g - 40. Suppose -5*j + o = -2*j. Suppose n - 2 - j = 0. Does 7 divide n?
True
Let b(m) = 2*m + 4. Let z be 3/(-4)*(-4 + 0). Suppose z*r = 26 + 13. Is b(r) a multiple of 8?
False
Let z(g) = g + 1. Let b be z(-2). Let s(y) = -22*y**3 - 2*y**2 + 1. Does 7 divide s(b)?
True
Suppose 5*m - 37 = -7. Let r be 4/m + (-7)/(-3). Suppose 36 = q + r. Does 11 divide q?
True
Let v(d) = d + 13. Let r be v(-8). Suppose c = 2*c + p - 55, 290 = r*c + 2*p. Is 20 a factor of c?
True
Let v(f) = -f**3 + 3*f**2 + f - 2. Let t be v(3). Let u be (t - 1)/((-3)/(-3)). Let a(j) = -j**3 - j + 7. Is a(u) a multiple of 3?
False
Let m = 13 + -3. Suppose -2*k = 2*h - 5*k - m, -2*h = -2*k - 14. Is 8 a factor of h?
False
Suppose 0*o = 3*o - 3*g - 81, 5 = 5*g. Suppose 6*s - s - 100 = -5*a, -s - 5*a = -o. Is s a multiple of 6?
True
Suppose -3*v + 20 = -22. Suppose 0 = k + o + 3 - 6, 2*k = 2*o + v. Is 4 a factor of k?
False
Suppose -2*q - 4*w - w = -310, -2*q - w + 302 = 0. Suppose 2*j + q = 5*j. Let m = j - 18. Is 27 a factor of m?
False
Let l(w) = -w**3 - 5*w**2 + 22*w + 8. Is 12 a factor of l(-8)?
True
Let j be 712/44 - 4/22. Suppose -5*o + j = 2*h, -2*o + 10 - 2 = h. Is h a multiple of 4?
True
Let l(m) = -m - 7. Let h be l(-5). Does 9 divide 3582/99 + h/11?
True
Suppose f - 91 = -2*i, 2*f = -f + i + 301. Is f a multiple of 9?
True
Let y(f) = -4 + 3*f**3 + 5*f**2 - 5 + 5*f**2 - 4*f**3 - 10*f. Is y(8) a multiple of 16?
False
Suppose -4*d + 28 = -4*z, -d = -3*z - 0 - 1. Suppose 0 = -2*o + 4*o - 4*n - 14, o - d = -n. Does 6 divide o?
False
Suppose -2*o + 3*o - 13 = 0. Let k be -2 + (-1)/((-1)/4). Suppose 2*f + 2*g = 19 + 11, o = f + k*g. Does 15 divide f?
False
Let t(a) = 3*a - 4. Let f be t(3). Suppose -f = -x + 3. Is 8 a factor of 15/9*(x - -1)?
False
Let y(l) = 3*l**3 + 7*l**2 - 6*l - 6. Let v(k) = -k**3 + k + 1. Let b(i) = 2*v(i) + y(i). Is b(-7) a multiple of 21?
False
Suppose 39*t - 38*t = 70. Is t a multiple of 19?
False
Let f(g) be the third derivative of 2/3*g**3 + 0*g + 1/3*g**4 + 0 - 4*g**2 + 1/30*g**5. Does 6 divide f(-5)?
False
Suppose -2*l - 5 = -5*o, -3*l - o + 35 = -0*o. Suppose 14 + l = b. Suppose -2*j + b = j. Is 4 a factor of j?
True
Suppose 3*g - 4 = -g. Let h(u) = 64*u. Let y be h(g). Let r = y - 41. Does 21 divide r?
False
Let p be (-6)/39 + 41/13. Suppose 3*b - 30 - p = 0. Let l = 2 + b. Does 5 divide l?
False
Suppose 0 = -0*n - 2*n - 3*q + 25, -5 = 3*n - 4*q. Suppose n*m - 2*b = 42 + 13, 11 = m - 3*b. Does 11 divide m?
True
Let v(t) be the third derivative of t**4/12 - 5*t**3/3 + 2*t**2. Let y be v(7). Suppose -q + y*l + 171 = 2*q, -41 = -q - 4*l. Is q a multiple of 18?
False
Let y be 5 + -4 + 1 + 1. Let z(q) = 4 - 3*q + y*q + 2*q. Is z(10) a multiple of 13?
False
Suppose 301 + 158 = 9*v. Is 17 a factor of v?
True
Is 3 a factor of 42 + 88/(-20) + 4/10?
False
Suppose 2*k + 236 - 1 = 3*s, -5*s - k = -383. Does 15 divide s?
False
Let p(f) = -f**2 - 12*f. Let b be (-7 - 1)*(-3 + 4). Does 16 divide p(b)?
True
Suppose 244 - 45 = 3*r + z, -248 = -4*r + 3*z. Does 13 divide r?
True
Let i = 5 - 5. Let x = i + -1. Is 1 + -2 - x - -19 a multiple of 8?
False
Let p(z) = -z**2 - 4*z + 3. Let j be p(2). Let c(k) = -4*k + 3. Is 14 a factor of c(j)?
False
Let n(k) be the third derivative of -k**6/120 + 3*k**5/20 - k**4/3 - 2*k**3/3 - 3*k**2. Does 22 divide n(6)?
False
Suppose -2*o = -o. Suppose 0 = -o*f + 3*f - 24. Does 4 divide f?
True
Suppose 6*v - 2*v - 2*n - 70 = 0, -v + 2*n + 19 = 0. Suppose -v = 3*g - 86. Is 14 a factor of g?
False
Is -3*7/(-3) + 3 a multiple of 4?
False
Suppose -3*x + 0*x - 2*h = -19, -5*h + 40 = 5*x. Suppose -x*d - 120 = -8*d + 4*p, -24 = -d - 5*p. Is 20 a factor of d?
False
Let t(o) = 4*o + 10 + 10 - 19. Is 25 a factor of t(6)?
True
Suppose -6*a + 20*a - 3220 = 0. Does 10 divide a?
True
Does 9 divide ((-156)/(-117))/(1/108)?
True
Is 47 a factor of ((-162)/(-15))/(6/60)?
False
Let t be 3 + 2 + (-4 - -2). Suppose -t*g + 190 = 2*g. Suppose -55 - g = -3*u + 3*i, 5*i = 4*u - 128. Does 9 divide u?
True
Suppose -2*x + 154 = 3*x + 3*c, x + 2*c = 35. Suppose 2*d + 5*s - x = 0, 3*s - 50 = -4*d - 13. Suppose -4*r = -d*r + 33. Is 5 a factor of r?
False
Let p(i) = -i - 1. Let m(o) = 5*o - 3 + 0 - 18*o - o + 2*o**2. Let y(g) = m(g) - 4*p(g). Does 9 divide y(7)?
False
Suppose 0 = -4*k + 4*y + 12, 0 = -y - 1. Suppose -47 = -3*g - k. Does 5 divide g?
True
Let g(f) = -f**2 + f - 2. Let i be g(2). Let l(j) be the first derivative of -7*j**2/2 + 3*j + 3. Is l(i) a multiple of 13?
False
Let t(p) = p**3 + 2*p**2 - 2*p - 1. Let w be t(-2). Suppose 15 + 4 = w*f - n, 5*f = 2*n + 30. Is f a multiple of 4?
True
Does 4 divide (-4)/(-4)*(-9)/(-4 + 3)?
False
Suppose -3*j = -3*r + 132, -6*r + 5*r - 2*j + 38 = 0. Does 21 divide r?
True
Let c be 7 + 2 + 0/(-1). Does 21 divide -1*c/(-6)*14?
True
Suppose -3*m - 3*o = -5*m + 75, 4*o + 198 = 5*m. Does 18 divid