 30 - 22. Is b a multiple of 3?
False
Suppose 4*z = l + 25, 16 = z + z - 4*l. Suppose -n = -z*n. Let i = 13 - n. Is 10 a factor of i?
False
Let z = -162 + 198. Is 5 a factor of z?
False
Suppose 5*b + 206 = 3*d, b - 290 = -d - 3*d. Is d a multiple of 18?
True
Let z be (-1)/(-4) + (-6)/(-8). Let g be 2 + (-9 - (z + -2)). Is 6 a factor of (g/(-7))/((-4)/(-28))?
True
Suppose 0 = -3*w - 3 - 3, 106 = 2*m + 3*w. Is 13 a factor of m?
False
Let s = -5 + 14. Is 4 a factor of s?
False
Let z be 14/6 - 3/9. Suppose w + 4*b - 82 = z*b, -5*b = -25. Is 18 a factor of w?
True
Suppose -56 = -5*w + 2*t, 0*t - 6 = 2*t. Suppose -3*z = -4*z + w. Does 4 divide z?
False
Suppose t - 2*z - 188 = -5*z, 0 = -t + 5*z + 220. Is 24 a factor of t?
False
Let z be (-526)/18 - 2/(-9). Let c = z - -48. Is c a multiple of 10?
False
Suppose -3*a = -37 - 176. Does 17 divide a?
False
Let d(t) = 3*t**2 + t. Let m be d(1). Let r(o) = -o**2 + 5*o. Let x be r(m). Suppose -x*h - 4*g = -15 - 37, 2*g - 59 = -5*h. Does 11 divide h?
True
Let p = 26 + -11. Is 14 a factor of p?
False
Let f(g) = -4*g**3 - g**2 + 3*g + 2. Let p be f(-2). Let s = p + 15. Suppose -174 + s = -5*o. Is 11 a factor of o?
False
Suppose -d = -5*a - 9 - 68, 0 = 5*d - 3*a - 297. Is d a multiple of 19?
True
Let z(h) = -2*h + 4. Let g(u) = u - 2. Let y(b) = -13*g(b) - 6*z(b). Let c be y(4). Is (-354)/(-14) - c/(-7) a multiple of 9?
False
Let k(o) be the third derivative of o**5/15 + o**4/8 + o**3/2 + o**2. Let l be k(-2). Suppose -2*j + 5*v - l = -140, 4*v - 156 = -3*j. Does 18 divide j?
False
Let v = -19 - -19. Let n(f) be the third derivative of f**4/24 + 3*f**3/2 - f**2. Is 4 a factor of n(v)?
False
Suppose 0 = -2*l + u + 9, -l - 2*u = -0*l - 2. Let y be (-2 + 0)/(-1) - l. Let q(b) = 7*b**2 + b - 2. Is 12 a factor of q(y)?
True
Let z(x) = x**3. Let r(y) = -2*y**3 + 7*y**2 + 6. Let p(m) = r(m) + z(m). Is p(7) a multiple of 6?
True
Let i(h) = h + 10. Is i(-7) a multiple of 2?
False
Let f = 0 + 5. Suppose -442 = -f*a - y, 23 = -3*a - 4*y + 295. Does 14 divide 4/(-6) + a/6?
True
Suppose 0 = -5*z - 1 + 71. Does 8 divide z?
False
Let i(x) = 51*x**2 - 2*x. Is 7 a factor of i(1)?
True
Let v be (-6)/33 - 92/(-22). Let c be v/18 - (-18)/(-81). Suppose 4*g + c = 16. Does 2 divide g?
True
Let c = 11 + 4. Does 3 divide (-36)/c*5/(-2)?
True
Suppose 5*k - 187 = 83. Is k a multiple of 14?
False
Let l be 176/10 + (-2)/(-5). Let g = -7 + l. Does 6 divide g?
False
Let u = -190 + 319. Let i = u + -14. Suppose -5*r - y = -i, -5*y = -3*r - 0*y + 97. Is r a multiple of 24?
True
Suppose 12 = -4*i, -3*i + 10 = -2*r - i. Let g be r/5*10/(-4). Suppose -k + 40 = g*k. Is k a multiple of 4?
True
Let s(z) = z - 14. Let j be s(12). Is -3*(j - (-14)/(-3)) a multiple of 10?
True
Suppose 0 = -4*u + u. Suppose u = -4*l - 61 + 161. Let b = -10 + l. Does 5 divide b?
True
Let s(i) be the third derivative of 3*i**2 + 16/3*i**3 + 1/24*i**4 + 1/60*i**5 - 1/120*i**6 + 0 + 0*i. Is 13 a factor of s(0)?
False
Suppose 2*f - 96 = -f. Is 5 a factor of f?
False
Let x be (-8)/(1 + 9/(-3)). Suppose 0 = -v - 4*n - 10, -x*v = -2*v - 3*n - 13. Suppose v*d + 23 = 77. Is 19 a factor of d?
False
Suppose 0 = z - 3*y - 16, 0 = z + 4*z - 5*y - 40. Let c(n) = n**3 - 3*n**2. Is 4 a factor of c(z)?
True
Suppose -3*s + 54 = 4*n - n, 4*s = -5*n + 91. Let p = 3 + n. Is 8 a factor of p?
False
Let f = -34 - -22. Is f/28 - 639/(-21) a multiple of 10?
True
Suppose 0*o = 2*o - 12. Is 10 a factor of 1*(11 + o + -3)?
False
Let t(l) = 8*l**3 + l**2. Let f be t(1). Let r be (-8)/6*f/(-6). Suppose -n - r*n = -9, -3*n = -4*b + 115. Does 15 divide b?
False
Let r(l) = 11*l**3 + 29*l**2 + 37*l - 13. Let q(f) = -5*f**3 - 14*f**2 - 18*f + 6. Let k(s) = -13*q(s) - 6*r(s). Is 18 a factor of k(9)?
False
Let w = -2 - 1. Let b be (-1 - w) + -2 - 2. Does 22 divide 3/b + 420/8?
False
Suppose -2*g + 186 = -4*m - 152, 0 = 5*m - 15. Is g a multiple of 44?
False
Suppose -4*v = -w - v + 48, -3*v + 204 = 3*w. Does 17 divide w?
False
Is (4 - 3)/(2/96) a multiple of 7?
False
Does 9 divide (3 - (6 + -2)/2)*39?
False
Suppose -341 = -4*r + 131. Suppose -5*c + 262 = -r. Does 19 divide c?
True
Suppose -3 + 11 = -u. Let o = 2 + u. Is (-3 - (-2 + 1))*o a multiple of 11?
False
Is (5*(3 + -2))/1 even?
False
Let c = 170 - -49. Suppose -3*s - 3*o = -c, -2*s + 3*o = -67 - 74. Suppose -4*y + s = -0*y. Is y a multiple of 14?
False
Suppose 2*v - 9 + 1 = 0. Let l(h) = h**3 - 5*h**2 + 6*h - 1. Is l(v) a multiple of 7?
True
Suppose 37*a - 33*a - 160 = 0. Is a a multiple of 6?
False
Suppose -4*v + 3*m + 8 = 0, -5*m + 2 = 22. Is 10 a factor of -2 - v - (6 - 37)?
True
Let j = -32 + 55. Does 6 divide j?
False
Let j = -1 + 2. Let t(l) = 6*l**2 - l + 1. Let w be t(j). Does 4 divide (-1 + 3)*15/w?
False
Let v be 21*((-39)/9 - -4). Let g(h) = 4*h - 3 + 0*h - h**3 - 6*h**2 - 4. Is 14 a factor of g(v)?
True
Let i(f) = -f**3 + 5*f**2 + 3*f + 2. Let b be i(6). Is 9 a factor of (-29)/(-2) + (-24)/b?
False
Let q be (3 + 1)/(-4 - -6). Suppose 7*g - q*g = 0. Is 19 a factor of 2 + 1 + g + 60?
False
Suppose -2*u = -3*u + 35. Is 35 a factor of u?
True
Let r be (-25)/35 + (-4)/14. Is -3*((-20)/(-3))/r a multiple of 10?
True
Suppose 10*v = -0*v + 3360. Is 14 a factor of v?
True
Let p(y) = -y**3 - 4*y**2 - 2*y - 4. Let k be p(-4). Let b(v) = k*v + 4*v**3 + 0*v + v**2 + 1 - 5*v. Is 13 a factor of b(2)?
False
Let z(h) = 3*h - 5. Let v be z(2). Is 19 a factor of (836/(-55))/(v/(-5))?
True
Let i = -23 - -33. Let k = i + -1. Does 9 divide k?
True
Let z(m) = 1. Let n(k) = k + 34. Let s(q) = n(q) + 6*z(q). Suppose 0*b + 5*b = 0. Does 20 divide s(b)?
True
Is 18 a factor of 12/16*144/2?
True
Let v(a) = 3*a**3 - 8*a**2 + 1 - 6 + 8*a - 2*a**3 + 3. Is v(7) a multiple of 2?
False
Let y be -2 + 5 + -2 + -26. Let p = 55 + y. Is p a multiple of 8?
False
Let u = 0 + 2. Let j be (1 + 2)/(u/10). Let c = j - 3. Is c a multiple of 10?
False
Suppose -129 = t - 3*t + 5*f, -f = -3. Does 18 divide t?
True
Let p(x) = -x**2 - 6*x - 2. Suppose -q = 4*q. Let c(h) = h**2 + h - 3. Let o be c(q). Does 7 divide p(o)?
True
Let c be (-48)/(-15) + 1/(-5). Suppose t = -4*t + c*l + 38, -5*t + 5*l + 40 = 0. Is t a multiple of 3?
False
Let o(c) = -c**2 - 12*c + 4. Suppose 0 = -3*w + 7 - 34. Does 8 divide o(w)?
False
Let y(x) = 3*x**2 + 5*x + 3. Is y(-3) a multiple of 5?
True
Let t = 16 - 11. Suppose -4*v - v - 37 = -3*a, -21 = t*v + a. Does 10 divide (5/2)/v*-58?
False
Let g = -4 + 6. Suppose g*r - 12 = -2. Suppose -3*t - r = -4*t. Is t a multiple of 5?
True
Suppose 0 = 2*m + m - 9. Let z(y) be the second derivative of y**5/20 - y**4/6 + y**3/6 - 2*y**2 + 3*y. Is 6 a factor of z(m)?
False
Let q(a) = 4*a - 4. Let d(f) = -f - 1. Let s be d(-1). Suppose s = 5*k + 25, 22 - 9 = -3*g - 5*k. Is 12 a factor of q(g)?
True
Let a be (-4)/(-10)*(-5)/(-1). Suppose 0*n - a*n + 48 = 0. Does 12 divide n?
True
Let s(j) = -5*j**2 - 19 + 20 + 11*j**2. Is 7 a factor of s(-2)?
False
Let g be 0*-1*3/6. Suppose g = 5*f + 16 - 91. Is f a multiple of 3?
True
Let y be (3 - 1)/((-2)/(-152)). Suppose -5*w + 2*r + y = 0, 0 = w + 2*w + 2*r - 104. Is 16 a factor of w?
True
Suppose -u = -2*u + 2*b + 49, -3*u = 2*b - 155. Suppose 3*q + 51 = -a + 4*a, -3*a = q - u. Does 6 divide a?
False
Suppose -2*t - 2 - 6 = 5*r, 4*r - t = 4. Suppose 5*g - 2*m + 14 - 39 = 0, -m - 5 = r. Is g*((-66)/(-9))/2 a multiple of 11?
True
Let z be (-112)/(-12) + 2/3. Let x(l) = -l**2 + 9*l + 10. Let j be x(z). Does 3 divide 2 + j + -1 - -6?
False
Let n(c) = -c**3 - 6*c**2 + 7*c + 11. Let p(a) = a - 14. Let m be p(7). Does 5 divide n(m)?
False
Let c = -4 + 6. Suppose 0 = c*t + 2*t. Suppose t = -4*l + 24 - 0. Is 6 a factor of l?
True
Let t be (4 + 1)*12/30. Suppose -r = -x + 6, x + 0*r = -2*r - 6. Suppose t*q + x*d - 82 = 0, 4*q - 172 = -0*q + 4*d. Is 11 a factor of q?
False
Let o = 14 + -11. Does 14 divide (-2)/(o + -2) + 30?
True
Let f(j) = j - 3*j**3 + 2*j**3 + 0*j. Let w = 1 - 3. Does 6 divide f(w)?
True
Suppose l + 28 = -3*l. Let x(i) = i**3 + 6*i**2 - 9*i + 6. Does 4 divide x(l)?
True
Let u(n) = 6*n**3 - 2*n**2 + n. Suppose 0*x = -2*x + 2. Let t be u(x). Is 144/15 - (-2)/t a multiple of 8?
False
Suppose -4*b - 5 = -3*u + 33, 24 = 3*u + 3*b. Suppose 0 = 2*k - 14 - u. Is k a multiple of 12?
True
Let g = 1 + 0. Let z(s) = 61*s**3 - 2*s + 1. Let o 