 3. Let g be 24/9*(-102)/(-4). Let w = b + g. Does 12 divide w?
False
Let v(x) = 2*x + 1. Suppose 52 = 5*k + 17. Let s be v(k). Suppose -3*q = 3*u - 72, 0 = 6*u - u - s. Is q a multiple of 9?
False
Is 26/(-1)*(-30)/20 a multiple of 13?
True
Let w be (14 + -9)*78/10. Suppose -2*r - 3*r = 2*o + 134, -o - 2 = 0. Let y = r + w. Is 5 a factor of y?
False
Let m = -16 + 15. Is 8 a factor of 30/4 + m/(-2)?
True
Let d(t) = 37*t - 3. Let x be d(4). Suppose -2*o + 3*s + 178 = 3*o, -4*o + 5*s = -x. Let v = -21 + o. Is 4 a factor of v?
False
Suppose 5*o + 5*m - 855 = 0, 3*o - 82 = -4*m + 430. Let r = 242 - o. Does 14 divide r?
True
Let b(o) be the second derivative of o**4/6 - o**3/2 - 2*o**2 - o. Is 14 a factor of b(4)?
False
Suppose 2*l + 2 = -20. Let c = -8 - l. Suppose -3*h + 41 = -d, 2*h + c*d = 14 + 17. Is h a multiple of 5?
False
Let k = -3 - -2. Let u(m) = -34*m - 1. Does 11 divide u(k)?
True
Suppose -6*n + 3*n + 12 = 0. Is 2 a factor of n?
True
Let h be (-2)/10 + (-63)/(-15). Suppose -10 = -2*i + 2*u + 10, 5*i = -h*u + 32. Does 8 divide i?
True
Is (3 - (9 - 2))/(-2) a multiple of 2?
True
Let q(p) be the third derivative of -p**6/120 - p**5/6 + 11*p**4/24 + 13*p**3/6 + 3*p**2. Does 10 divide q(-11)?
False
Let q = 10 - 6. Suppose -2*i + 5*d - 26 = -4*i, -i = -q*d. Is i/((-1)/(-3 - -2)) a multiple of 4?
True
Let b = 69 + -44. Suppose 5*j - b = 30. Is j even?
False
Does 3 divide (-1)/(10/(-6))*15?
True
Suppose -3 - 17 = -4*n + 4*s, -5*n = 5*s - 5. Let h = 6 - n. Suppose 0 = -2*o + h*o - 32. Does 16 divide o?
True
Suppose -5*z - 5*x + 105 = 0, -3*x = -2*z + 2*x + 35. Suppose -2*c + 6*c = 8, 2*c = j - z. Is j a multiple of 8?
True
Suppose 0 = 8*f - 3*f - 200. Does 17 divide f?
False
Let a = -13 + 17. Let q be (-2)/((-2)/(-285)*-3). Suppose -5*w + v + q = 3*v, 0 = a*v + 20. Is w a multiple of 12?
False
Let y = 208 - 96. Is 10 a factor of y?
False
Suppose c + 48 = 5*c. Does 4 divide c?
True
Suppose 5*g = -q + 3*q + 363, 3*g + 3*q = 222. Is g a multiple of 8?
False
Let o be (-1 - 0) + (-2 - -3). Suppose -4*f - 136 = -4*y, 2*f + y + o*y = -62. Let b = 13 - f. Does 22 divide b?
False
Let x = 37 - -4. Is 41 a factor of x?
True
Let f = -67 - -37. Is ((-8)/(-6))/(-2)*f a multiple of 13?
False
Suppose 2*p - 81 = 7. Does 11 divide p?
True
Suppose 3*h = -4*r - 9, -3*r - 2*r + 12 = -4*h. Let o be -4*(-3)/6 - r. Suppose -3*l + 30 = -o*y, 2 = l - y - 8. Is l a multiple of 6?
False
Let o(x) = 27*x**3 + 3*x**2 - 7*x + 1. Does 18 divide o(2)?
False
Let x = 1 - -9. Is 12 a factor of x/3*108/10?
True
Let t(a) be the second derivative of 7*a**5/5 - a**3/3 + a**2/2 + 8*a. Does 16 divide t(1)?
False
Let u be -5*(4 - 3)*-1. Let w be 0 - 10/((-2)/1). Suppose -f = -w*a - 7, 2*f + u*a - 21 = -f. Is 7 a factor of f?
True
Suppose -j = n + 4*j - 67, -5*n - 3*j + 225 = 0. Does 4 divide n?
False
Suppose l + m = 91, -l + 7*m - 4*m + 99 = 0. Let s = l - 51. Is s a multiple of 12?
False
Suppose 152 = 4*h - 2*h. Let w = 45 - h. Let b = w - -57. Is 13 a factor of b?
True
Let x be (47 - -3)*4/10. Let d be 12/x + 587/5. Let v = -84 + d. Is 20 a factor of v?
False
Let a(u) = -10*u + 6. Let r be a(-10). Let z = r - 57. Is z a multiple of 17?
False
Let u(z) = -z**2 - 7*z + 8. Is u(-6) a multiple of 7?
True
Let r = 14 - 2. Let u = -9 + r. Does 2 divide u?
False
Let y(c) = -c**2 - 18*c - 1. Let w be y(-10). Suppose -q + 0*q = -w. Suppose -q = -4*t + 17. Does 12 divide t?
True
Suppose -144 = -8*t + 4*t. Is t a multiple of 18?
True
Let v = 91 - 47. Suppose -5*u = -46 - v. Let l = u - 10. Does 8 divide l?
True
Is 92 + ((-4)/5 - (-1)/(-5)) a multiple of 10?
False
Let r(y) = y**3 + 11*y**2 + 9*y + 6. Let m(i) = -i**3 - 12*i**2 - 9*i - 6. Let c(a) = 3*m(a) + 4*r(a). Is 12 a factor of c(-6)?
True
Let f(x) = -x**3 + 11*x**2 - 15*x - 1. Does 62 divide f(6)?
False
Let a(c) be the second derivative of 0 + 7/2*c**3 + 0*c**2 + 4*c. Is a(2) a multiple of 12?
False
Suppose 0*x = 2*x - 2*c - 80, 0 = 2*c + 10. Is (x - 0)*(-36)/(-42) a multiple of 15?
True
Let m(w) = 21*w**3 - 2*w**2 - 2*w + 1. Does 29 divide m(2)?
False
Let k = -75 + 111. Suppose y - m + 3*m = k, 2*m = -5*y + 164. Is y a multiple of 32?
True
Let d(y) = -3 + 3 - 30*y**3 - 62*y**3. Is d(-1) a multiple of 24?
False
Let h(k) = 5*k**2 + 2*k + 3. Let p be 2 + (-1 - (1 + 2)). Is 13 a factor of h(p)?
False
Let d(j) = 3*j**2 + 7. Is 17 a factor of d(3)?
True
Let g(h) = h - 5. Let c(p) = p - 4. Let i(y) = 3*c(y) - 2*g(y). Does 2 divide i(6)?
True
Suppose 0 = -n + 4. Is 2 a factor of 13/26 + 26/n?
False
Let u = -17 - -45. Is u a multiple of 13?
False
Let m(k) = 2*k**3 - k**3 + 2*k - 1 + k - k. Is m(2) a multiple of 3?
False
Let b be 2/3*(3 - 6). Is b/5 - (-248)/20 a multiple of 6?
True
Is 31 a factor of (-186*1)/((-3)/2)?
True
Let w(q) = -6*q + 2. Let p be w(3). Let d = 92 + p. Suppose 0*x = -2*x + d. Does 19 divide x?
True
Suppose 0 = 2*r + 3*i + 67 + 14, -5*r + 2*i - 193 = 0. Let g = -13 - r. Does 11 divide g?
False
Let d(u) = u. Let m be d(2). Let r be (m/2)/((-1)/(-73)). Let c = r - 25. Does 17 divide c?
False
Let o(a) be the first derivative of -a**4/4 + 5*a**3/3 + 3*a**2/2 + 3*a - 1. Does 6 divide o(5)?
True
Let q(n) = n. Let p(x) = 16*x - 1. Let g(h) = -p(h) - 3*q(h). Is g(-1) a multiple of 14?
False
Let v be (-18)/((-4)/(-8)*2). Is 14 a factor of (-9)/v + (-83)/(-2)?
True
Suppose -2 = i, -4*b - 3*i - 438 = 16. Let p be 2 + -1 + -3*53. Let x = b - p. Is x a multiple of 18?
False
Suppose 3*f - 2*d = -d + 34, -2*f + 3*d = -25. Suppose 4*k - f = -5*p, -2*p = -p + 1. Suppose k*g = 11 + 45. Is g a multiple of 14?
True
Let w = -16 - -25. Suppose w + 30 = h. Suppose -m + 5*n = -1, -3*m + h = -2*n + 5*n. Is 4 a factor of m?
False
Suppose 10*s - 5*s = 15. Suppose 0 = s*j + 4*h + 31, j - 2*h = -6*h + 3. Let u = j + 28. Is 11 a factor of u?
True
Let d = -110 - -157. Is d a multiple of 11?
False
Let a = -19 + 9. Let w be 2*(a/(-4) - 0). Suppose -2*h + 12 = r, -5*r = w*h - r - 33. Is 2 a factor of h?
False
Does 3 divide (-10)/(-15) + 275/15?
False
Let z(r) = -r - 24*r**2 - 1 + 11*r**2 - 20*r**2. Let f be z(-1). Let t = -2 - f. Does 10 divide t?
False
Let q(m) = -4*m**2 - 2*m - 3. Let t(k) = -k**2 - k - 1. Let u(z) = q(z) - 6*t(z). Let c be u(-3). Does 11 divide -99*(6/c - 1)?
True
Suppose -11 = -5*u - 1. Suppose 7*m = 2*m + 4*z + 28, z - 19 = -u*m. Is 8 a factor of m?
True
Does 19 divide (-2 + 1800/(-16))/((-2)/4)?
False
Let r(i) = 4*i**3 - i**2 + 2*i - 2. Let g be r(2). Suppose -g - 3 = -3*h. Suppose 2*b - 13 = h. Is b a multiple of 12?
True
Let t(a) = 0 - 9 - 4*a - 4*a + a**3 + 5*a**2. Let k be t(-6). Is (-96)/(-9) + (-2)/k a multiple of 10?
True
Let k be 92/(1 - (-2)/(-6)). Suppose c - 50 = 3*p, c + 2*c + 3*p = k. Is c a multiple of 15?
False
Suppose 4*c - 3 = 3*c. Suppose c*h + 8 - 2 = 0. Is (-26)/h + (0 - -2) a multiple of 5?
True
Let k = -31 + 35. Let i(a) be the first derivative of 3*a**2/2 - 6*a + 1. Does 5 divide i(k)?
False
Suppose 0 = -2*y + 8, 0 = -2*t + 3*y - 6*y + 18. Let c(q) = -7*q - 7 + 0*q**3 - 4*q**3 - 6*q**2 + 3*q**t. Does 2 divide c(-5)?
False
Let i = -13 + 21. Let m(z) = z**3 - 5*z**2 + 4*z + 3. Let o be m(4). Suppose 5*q = 4*g - 49, i = o*g - 0*q + 2*q. Is g a multiple of 3?
True
Suppose 0*x = -7*x + 1960. Is x a multiple of 35?
True
Let o be (-2)/(-9) - 2/9. Let d be (-38 + 0)*(o - 1). Suppose 0 = b - d + 10. Is b a multiple of 14?
True
Let d be (-1)/(-3) - (-20)/12. Let i(o) = -3*o**d + 5*o**2 + 4 + o - 3*o**2 + 0*o - o**3. Does 12 divide i(-3)?
False
Let h be (-10 - -36)/((-2)/(-3)). Suppose 0 = 5*l - 2*l - h. Is 13 a factor of l?
True
Let v = 295 - 205. Does 16 divide v?
False
Let l be 12 + -1 + 3 + -2. Suppose l - 48 = -3*s. Is s a multiple of 12?
True
Let l(o) = -5*o + 1. Let x(g) = 11*g - 3. Let b(v) = 13*l(v) + 6*x(v). Let q be b(7). Suppose -q*s = s - 87. Does 25 divide s?
False
Suppose -2922 = 2*h - 4*h. Let u = 918 - h. Is 6/8 - u/12 a multiple of 16?
False
Let f(h) = 2*h**3 - 4*h**2 + 3*h - 1. Does 13 divide f(3)?
True
Suppose 4*r - 119 - 165 = -4*c, -3*r + 81 = c. Suppose c = -b + 4*b. Is b a multiple of 11?
True
Let x(t) = -2*t - 4. Let u be x(-3). Let h = u - -2. Suppose -11 = h*s - 79. Is s a multiple of 14?
False
Let i = -103 + 279. Does 11 divide i?
True
Let x(h) = -7 + 0*h - 4*h + 0*h. Let d be x(-5). Suppose -4*u +