False
Suppose 336 = 5*l + 2*i, 3*i = 2*l + 6*i - 141. Suppose l = -2*f + 4*f. Does 8 divide f?
False
Suppose -2*t - 12 = j - 46, -j + 5*t + 41 = 0. Does 18 divide j?
True
Let n(x) = x**3 + 10*x**2 - 4*x + 12. Let w be n(-9). Is 1*w/3 + 3 a multiple of 22?
False
Suppose -2*b - f = -68, 5*b + 3*f - 172 + 0 = 0. Is b a multiple of 8?
True
Is 27 a factor of 6/15 - 143/(-5)?
False
Suppose -28 = -2*y + y. Does 6 divide y?
False
Let x = 51 - 51. Let q be (-4)/2*51/(-2). Suppose x*k = -k + q. Is 17 a factor of k?
True
Let m = -7 + 31. Is 2 a factor of m?
True
Suppose -5*y + 193 = -617. Is y a multiple of 13?
False
Suppose -15*x + 12*x = -60. Does 6 divide x?
False
Does 15 divide 21*2 - (8 + -5)?
False
Let i(b) = b**3 + 3*b**2 + b - 2. Let a be i(-2). Let y be 7 + -4 + a + 1. Suppose x - y = -1. Is x a multiple of 3?
True
Let u = 2 + 32. Suppose z + u = 2*z. Suppose -y + 18 = i, -i - z = -y + 2*i. Is 8 a factor of y?
False
Suppose 4*m - 2*m = -192. Does 8 divide m/(-9)*(1 + 2)?
True
Suppose 7*c - 4*c - 250 = r, 5*r - 10 = 0. Is c a multiple of 28?
True
Let n = 9 + 11. Does 4 divide n?
True
Let t(p) = p**3 - 10*p**2 - 8*p + 3. Suppose 0 = -4*m + 2*g + 36, -3*m + g = 2*m - 51. Does 12 divide t(m)?
True
Let g(c) be the second derivative of 0 + 1/12*c**4 + 2/3*c**3 + 2*c - 11/2*c**2. Is 9 a factor of g(-9)?
False
Let w(q) = 2*q - 4. Let n be w(4). Is n - 2 - -21 - 1 a multiple of 11?
True
Is 32 a factor of (-5)/(75/12)*-105?
False
Let k = 9 - 6. Let f(p) = p**3 - 3*p + 1. Let v be f(k). Let o = -7 + v. Does 12 divide o?
True
Let q be (4 - 1) + (0 - 3). Let a = 4 - 6. Is 12 a factor of 168/4 - (q - a)?
False
Suppose -4 = 4*u, -4*c + 501 - 22 = u. Is c a multiple of 15?
True
Let v(c) = 9*c. Let r be v(-2). Does 15 divide (-819)/r - (-1)/(-2)?
True
Suppose o - 19 = 5*f - 8, -5*o - 17 = -f. Is 6/(-4)*(0 + o) a multiple of 2?
True
Let u(a) be the third derivative of a**6/120 - 3*a**5/20 + a**4/24 - 7*a**3/6 - a**2. Let y be u(9). Let h = y - -2. Does 2 divide h?
True
Let u(r) = -2*r**3 - 2*r + 1. Suppose 2*o - b + 9 = 0, 0 = -3*o + 2*b - 4*b - 3. Is 12 a factor of u(o)?
False
Suppose -5*y = -5*c + 6*c - 14, -5*c - 4*y = -28. Suppose 3*v = -3*d + 30, -44 = -c*d - v - 4*v. Is d a multiple of 6?
True
Suppose 2*x - 5*v + 139 = 0, 4*x + 2*v - 3*v + 305 = 0. Let f = x - -114. Is f a multiple of 7?
False
Let c(n) = -11*n - 8. Is c(-4) a multiple of 12?
True
Suppose -5*i = -5*x + 10, -3*x - 2*i + 12 = 1. Is (x - 2)/(2/84) a multiple of 14?
True
Suppose 0*h - 42 = -h. Does 3 divide h?
True
Let z(d) = 73*d - 3. Does 17 divide z(1)?
False
Let f(n) = 2*n**3 - n**3 + 5*n**2 + 62 - 2*n - 58. Suppose 0 = -4*k - 7 - 13. Does 7 divide f(k)?
True
Suppose 0 = 2*z - 0*z - 4. Suppose -4 = z*y - 4*y. Is 6 a factor of y/4*24/1?
True
Let r be ((-6)/9)/((-2)/81). Let a = r - 14. Is 8 a factor of a?
False
Let o(m) = -11*m**2 + 6*m. Let s(h) = 3*h**2 + h**2 - 7*h - 4*h**2 + 12*h**2. Let b(q) = -5*o(q) - 4*s(q). Is b(-2) a multiple of 16?
True
Let p be -1 - 2*-1 - 0. Let t be 5 + (-2 + p - -1). Suppose 0 = -5*o - 3*n + 190, t*o + 3*n - 8*n = 230. Is 14 a factor of o?
False
Let u(p) = -p**3 + 2*p + 2 + p - 3*p**2 - 4*p + p**2. Is u(-2) even?
True
Is (4/(-4))/((-1)/11) a multiple of 11?
True
Suppose 4*h + 3*z + 249 = 0, 0 = -2*h - 5*z - 0*z - 107. Let q be (-115)/1*(-12)/15. Let p = h + q. Does 13 divide p?
True
Let d be (-40)/3*(4 - 1). Let f = 73 + -15. Let z = d + f. Does 10 divide z?
False
Suppose -n - 24 = -g - 3*g, 0 = -5*g + 4*n + 19. Is g a multiple of 5?
False
Let z = 108 + -55. Suppose -5*x + 70 = 3*i - 3*x, -2*i + z = -5*x. Is i a multiple of 10?
False
Suppose -3*r = 5*b - 28, -3*r - 2*b + 17 + 5 = 0. Suppose -6 = -4*i + r. Suppose -i*g = 5*t - 44, g + 6*t - 8 = t. Is 12 a factor of g?
False
Let u be 221/52 - (-1)/(-4). Suppose c - u*f - 38 - 25 = 0, -2*c + 106 = -4*f. Is c a multiple of 9?
False
Suppose 4*m = 3*m + 3. Suppose -6 = b + 4*k, -2*k - k + 2 = 4*b. Suppose b*p - 11 = m. Is 6 a factor of p?
False
Let b(m) = m - 12. Let k be b(10). Suppose -3*r + 2*r - 3 = 0. Is k - (-1 - 1) - r even?
False
Suppose w = f + 4*w - 289, f = 4*w + 268. Does 10 divide (f/(-30))/(4/(-30))?
True
Let l be (-6)/(-9)*(-18)/(-4). Suppose 5*p = 4*z - 54, l*z + 5 = -p - 2. Is 6 a factor of (-4)/p*(-60)/(-2)?
True
Suppose 0 = -i - 3 + 1, 24 = 4*j - 2*i. Suppose 3*f - 6 = 2*b, 7*b - 29 = -j*f + 4*b. Is 3 a factor of (-1)/((4/(-3))/f)?
True
Let m = 8 + -8. Let h = 8 - m. Is 4 a factor of h?
True
Suppose -n + 231 = 2*v, 120 = v - n + 3*n. Does 12 divide v?
False
Let d be (92/10)/(2/10). Let i be 1/(-1) - (25 - 1). Let r = i + d. Does 9 divide r?
False
Suppose 2*n = n + 22. Is n a multiple of 11?
True
Let u = -7 + -26. Let o(t) = t**3 + 5*t**2 + 3*t - 5. Let a be o(-5). Let m = a - u. Does 5 divide m?
False
Let u(j) = -3*j**2 - 5*j + 3*j**2 + j**2 + 0*j**2. Does 18 divide u(-4)?
True
Suppose -5*n + 156 = -3*n. Does 13 divide n?
True
Let q(c) = 4*c**2 - 3*c - 2. Let y = 3 - 5. Does 10 divide q(y)?
True
Is ((-22)/3)/((-2)/3) even?
False
Suppose 4*a = -4*z + a + 220, 3*z - 144 = 3*a. Does 13 divide z?
True
Suppose 0 = 4*z - 5 + 145. Let w = -11 - z. Does 12 divide w?
True
Suppose -2*p + 38 = 4*h - 5*p, 0 = -4*h - 4*p + 52. Does 11 divide h?
True
Let u(o) be the third derivative of -o**6/5 + o**5/60 - o**3/6 + 3*o**2. Does 11 divide u(-1)?
False
Is 10 a factor of (-64)/(-6)*(-45)/(-20)?
False
Let s(w) = 4*w**2 - 2*w - 2. Suppose -v - 2*r = 3, v + 3*v - 2*r + 22 = 0. Let n = v + 7. Is s(n) a multiple of 7?
False
Suppose 0*j - 5*j - 180 = 0. Let l = 6 - j. Does 21 divide l?
True
Is (1 - (7/(-2) - -4))*76 a multiple of 17?
False
Let c be (2/(-3))/(2/66). Let m be (0 + 3 - 6) + 43. Let s = c + m. Is s a multiple of 9?
True
Suppose -2*k + 16 = -0*k + 4*y, -5*y = -k - 13. Let f(l) = l**3 + 1 + 2*l**2 - k*l + 0*l - 4*l**2 + 1. Is 5 a factor of f(3)?
True
Let w(f) = 6*f - 1. Let t(q) = -6*q. Let h = 2 - -3. Let k(i) = h*w(i) + 6*t(i). Is k(-4) a multiple of 19?
True
Let x(z) = 6*z**2. Suppose -1 = -w - 3, -4*w + 48 = 4*j. Let t be (-2)/7 + 18/j. Is x(t) a multiple of 4?
False
Let x(o) = o**3 - 3*o**2 + o - 1. Let h be x(3). Suppose -6 + 0 = -h*a. Is a a multiple of 3?
True
Is 3/(621/780 + 12/(-16)) a multiple of 5?
True
Let k(w) = -6 + 10*w - 3 + 1 - w**2 + 0*w**2. Suppose 0*l - 5*l = -30. Does 6 divide k(l)?
False
Let c(b) = 2*b**2 - 6*b + 2. Is c(9) a multiple of 22?
True
Let h(a) be the third derivative of a**5/12 + 5*a**4/24 + a**3/3 - a**2. Is h(4) a multiple of 16?
False
Suppose 0*k + v = -5*k + 255, -4*v = 4*k - 220. Suppose 0 = -5*x + k + 20. Is x a multiple of 7?
True
Is 9 a factor of (12/(-8))/(2/(-24))?
True
Let w = 6 - 4. Suppose -2*h - w = -0. Let y = h - -14. Is 11 a factor of y?
False
Suppose 0 = 5*u - 172 - 143. Is 12 a factor of u?
False
Is 19 a factor of ((-6)/4)/(3*5/(-1070))?
False
Let k be (4/(-6))/((-1)/6). Suppose 9 = k*c - 3. Is c a multiple of 2?
False
Let p(q) = 2*q - 6. Let x be p(4). Is 15 a factor of -90*(-2)/8*x?
True
Let h = 8 - 3. Let j(r) = 5*r + 1. Does 13 divide j(h)?
True
Let u = -4 + 42. Does 19 divide u?
True
Suppose i = 3*l, i - l - 14 = -4*i. Suppose -i*c = 3*p, -7*p + c = -2*p - 24. Suppose -2*v + 18 = -2*d, -p*v + 38 = -d - 7. Is 6 a factor of v?
True
Let p(o) be the third derivative of -o**6/120 - 2*o**5/15 + 7*o**4/12 - 7*o**3/6 - o**2. Is 18 a factor of p(-10)?
False
Suppose -4*z + 3*z = 2*u - 5, -4*u + 5*z + 17 = 0. Suppose -p = -5*p + 12, 0 = u*v + p - 114. Suppose 3*w - 3*k = 7*w - v, 0 = -w - 5*k - 12. Does 13 divide w?
True
Let f be (2/1)/(-1)*-13. Suppose -w = 2, w = 2*p - 3*p + f. Is p a multiple of 14?
True
Let m = 1 - 1. Suppose m*g = 5*g - 25. Suppose -g*c = -5*x - 135, c + 6*x - 4*x = 12. Is 11 a factor of c?
True
Suppose 4*q = q + 450. Suppose 0 = -4*g + q + 2. Let i = 64 - g. Does 13 divide i?
True
Suppose 2*y - y = 5. Suppose o - y = 5. Is o a multiple of 2?
True
Let d = 525 + -343. Does 18 divide d?
False
Let f be 0 - 1 - (0 - -47). Let l = f - -20. Is 9 a factor of 3/(-9) - l/3?
True
Suppose -3*q - 80 + 212 = 0. Does 11 divide q?
True
Does 6 divide (-672)/(-20) - 4/(-10)?
False
Suppose -4*o + 196 = -228. Suppose -2*r - 4*w + o = r, 2*w = 3*r - 100. Is r a multiple of 18?
False
Let o(z) = -z**3 - 5*z**2 + 3*z + 6. Let g be o(-4). Does 10 divide 1 - 4 -