divide m?
False
Let o be (-135)/(-18) + (-2)/(-4). Does 4 divide o/(-1)*(3 - 4)?
True
Let q = 19 - 5. Is 7 a factor of q?
True
Let p = 8 - 1. Is (-1670)/(-35) + 2/p a multiple of 26?
False
Let m(o) = -2*o**3 + 17*o**2 - 7*o + 3. Is 26 a factor of m(7)?
False
Suppose 0 = 3*m - 5*m + 14. Is 6 a factor of 82/m - 4/(-14)?
True
Let y(q) = -q**3 - 6*q**2 - 9*q - 16. Is y(-6) even?
True
Suppose -3*b = h - 10, -b + 5*h - 17 = -5*b. Let w(i) be the second derivative of i**4/12 - i**3/6 + i. Is 3 a factor of w(b)?
True
Let m(t) = -4*t - 5. Is m(-4) a multiple of 2?
False
Let g = -15 - -9. Let p = -11 - -28. Let f = p + g. Is f a multiple of 11?
True
Let c = -18 + 103. Is c a multiple of 18?
False
Let t(n) = -n**3 - 11*n**2 - 11*n + 11. Does 18 divide t(-10)?
False
Suppose 0 = 5*u + 32 + 3. Let s(n) = n**2 + 6*n + 8. Does 15 divide s(u)?
True
Suppose 3*v = -5*r + 90, -2*r - 90 = -5*v + 91. Is 5 a factor of 1/3 + v/3?
False
Let b = -28 - -9. Let h = b - -40. Suppose 3*r - 3 + 0 = -2*w, 4*r - 3*w = h. Is r a multiple of 3?
True
Let r be (202/8)/(5/20). Suppose 4*v + i = r, -125 = -5*v + 3*i - 4*i. Is 12 a factor of v?
True
Let b be (-1 - (2 - 5)) + -5. Let l be (-18)/(-1*b/12). Let x = 108 + l. Does 18 divide x?
True
Suppose i + 5*j - 20 = 2*j, 0 = -j + 5. Suppose -24 = -y + 4*h, 3*y + 4*h + 3 = h. Suppose -s + i*s = -8, -4*v - y*s + 8 = 0. Does 2 divide v?
True
Suppose 2*n - 3*n - 17 = -4*p, -3 = 3*n. Let o = 7 - p. Does 9 divide 41/o - (-1)/3?
False
Let x be 5/2 + 4/8. Suppose -3*z + 57 = x*v, -v + 2*z = -3*z - 25. Is 15 a factor of v?
False
Let r(x) = -21*x. Let f be r(-3). Let w be (-32)/(-12)*f/(-2). Is 21 a factor of (-2)/(2*3/w)?
False
Let r(l) be the first derivative of -l**2/2 + 4*l - 1. Let y be r(6). Does 2 divide (-2 + 1)*y/1?
True
Suppose -2 = -2*b + 2*o, -4*b + 8 + 12 = 4*o. Suppose -b*m = m. Is 4 a factor of m - 6/2 - -18?
False
Suppose 4*k - 24 = 5*h - 280, 3*k + 12 = 0. Is h a multiple of 24?
True
Let v = -21 - -129. Suppose 8*b - 4*b - v = 0. Is 9 a factor of b?
True
Let c = 33 - 31. Let z(k) = -k**3 - 2*k**2 + 2*k - 4. Let m be z(-3). Is (c*m - -34) + -2 a multiple of 15?
True
Let h = 5 - 2. Suppose 0 = z + h - 6. Is 16 a factor of (-18)/(-1 + z/5)?
False
Let s = 14 + -11. Suppose 0 = 5*g + s*o + 2*o - 35, -3*o = -3*g - 3. Does 13 divide (-272)/(-6) - 1/g?
False
Suppose 2*k - 28 = -3*i + 1, -i - 5 = 0. Does 20 divide k?
False
Let k = 21 + -12. Suppose -5*z - k - 51 = 0. Does 9 divide z/8*2*-7?
False
Is (-3 - -5) + 27 - 3 a multiple of 7?
False
Let j(c) = c**3 - c**2 - 3*c + 2. Suppose 4*a = 4*r + 16, -a = -5*r + 3 - 11. Is 11 a factor of j(a)?
True
Suppose 5*b = -6*q + 2*q - 32, q + 7 = -b. Does 13 divide (78/b)/((-1)/2)?
True
Let v = -32 - -148. Does 26 divide v?
False
Let p = 23 + -35. Is -57*4*2/p a multiple of 14?
False
Suppose 4*n = -3*d - 38, -4*n + n + 59 = -4*d. Is (-3 + (-30)/(-14))*d a multiple of 5?
False
Let v = -543 - -381. Is (2/3)/((-4)/v) a multiple of 16?
False
Let f(p) = 4*p**2 - 3. Is f(2) even?
False
Suppose 3*s + 66 = -0. Is (-464)/(-11) + 4/s a multiple of 14?
True
Suppose o - 6*o = -135. Suppose -5*g + o + 23 = 0. Does 4 divide g?
False
Suppose 3*f = f + 40. Is 6 a factor of f?
False
Let r(v) = -28*v - 2. Does 13 divide r(-1)?
True
Let d(s) = s - 3. Let c be d(-7). Let n(i) = 5*i + 13. Let a be n(c). Let z = a - -70. Is 11 a factor of z?
True
Suppose 5*o - 2*v = 46 + 9, 5*v = o - 34. Let t be 267/o + 2/6. Let k = t - 2. Is 14 a factor of k?
True
Suppose 4 - 1 = 3*c. Let z be ((-2)/(-2) - 1) + c. Let r(t) = 8*t**3 - t**2. Is 7 a factor of r(z)?
True
Let y(s) = -4 + 0*s - 2*s**2 + s**2 + 8*s. Let u be y(7). Suppose u*h - 2*c = 54, 3*h + c - 20 = 43. Does 10 divide h?
True
Let y(q) be the second derivative of 1/20*q**5 + 1/2*q**3 - 3*q - q**2 - 1/3*q**4 + 0. Is 5 a factor of y(4)?
True
Is 1*-3 + -5 + 12 even?
True
Let r be 3 + (-8)/(-2) + -3. Suppose -2*z = -4*l - 1 + 13, -12 = -2*z - r*l. Suppose -5*t - 4*b = -152, -106 = -4*t + 2*b - z*b. Is t a multiple of 14?
True
Suppose 0 = 2*f + 2*f + 564. Let v = -61 - f. Suppose 3*c - v = -4*t, 0 = 5*t + 5*c - 36 - 64. Does 6 divide t?
False
Let z(u) = 2*u**2 - 10*u + 12. Is z(12) a multiple of 45?
True
Let p = 15 - 9. Let t(q) = -5*q**2 + 36*q + 11. Let j(x) = -x**2 + 7*x + 2. Let i(g) = -11*j(g) + 2*t(g). Is 6 a factor of i(p)?
True
Is 6 a factor of 6*8/(3 + -1)?
True
Let h = -2 - -2. Suppose h = -u - 2*u. Suppose 0*c - 2*c - 10 = u, -c - 20 = -3*d. Does 5 divide d?
True
Let f be ((-28)/(-6))/((-2)/(-3)). Let v = f + -1. Suppose -5*w = -v*w + 18. Is 9 a factor of w?
True
Let q(h) = -2 - 4*h + 2 + 2*h + 2*h**2. Does 6 divide q(4)?
True
Suppose n + 19 = 159. Is n a multiple of 35?
True
Let w(i) = 277*i**2 + i. Does 46 divide w(-1)?
True
Let a(m) = -m**3 + 7*m**2 - 5*m + 6. Suppose 13*z = 18*z - 30. Does 10 divide a(z)?
False
Let y(w) = w**2 - 5*w - 4. Let b be y(5). Let o(g) = -g - 2. Let r be o(b). Suppose 3*h = 11 - r. Is h a multiple of 2?
False
Let o(h) = 3*h + 2. Let g be o(3). Suppose 0 = u + 5*a + g, u + 4*a + 6 = -0*a. Does 13 divide u?
False
Let s = -31 - -135. Does 9 divide s?
False
Let w = -12 + 80. Is 34 a factor of w?
True
Suppose 28 = -3*b + 5*b. Let l(i) = -4*i + 3. Let v be l(-14). Suppose v = x + b. Is 19 a factor of x?
False
Let p be -4 + (3 + 0 - 1). Let z be p + 2*1/2. Does 17 divide (40 - -1) + 0/z?
False
Let n be (-1)/(-1) - (-4 + 0). Is (n/(-3))/(5/(-45)) a multiple of 14?
False
Let t(g) = g**2 - 8*g + 10. Let v be t(7). Suppose 0*p = -p - v*y + 7, -p = -3*y - 7. Is 3 a factor of p?
False
Suppose i = 4*i - 18. Let h = i - 2. Does 5 divide (-5)/(-2)*(-2 + h)?
True
Suppose 5*w + 3*o - 236 = 0, 0 = -3*o + 3 + 3. Is w a multiple of 21?
False
Suppose 0 = y - 5*h - 77, 3*y - 65 = -5*h + 206. Does 29 divide y?
True
Suppose 4*h - 6*h = -2*c + 436, -h + 2 = 0. Is 18 a factor of c?
False
Suppose 4*y - 6 = y. Suppose u = y, 2*u + 88 = 2*k + 4*u. Is 21 a factor of k?
True
Suppose 5*a = -2*r + 1941, 0 = -7*a + 2*a - 4*r + 1947. Is a a multiple of 44?
False
Let h be 0 - (0 + 1*-5). Suppose h*v - 6 = -16, 5*v = -k - 4. Does 14 divide 3/2*136/k?
False
Let z(p) = -p**2 - 6*p - 2. Let d = 9 + -14. Let a be z(d). Suppose -j + 4 = 0, -w - 6 = a*j - 36. Is 18 a factor of w?
True
Let z = 173 + -101. Let n be (-2 + 0/(-3))*-33. Suppose 0*x = 3*l + 3*x - n, -4*x = -4*l + z. Is 20 a factor of l?
True
Let d be 19/(-3) + (-2)/(-6). Let h(j) = j**3 + 5*j**2 - 6*j - 9. Let w be h(d). Let o = -3 - w. Is 6 a factor of o?
True
Suppose 0 = 3*x - 9, -50 - 65 = -5*l - 5*x. Let h = 37 + 8. Suppose l = c - 3*r, -15 = -2*c + r + h. Does 16 divide c?
True
Let h(r) = 5*r**3 + 2*r**2 - 2*r. Is h(2) a multiple of 11?
True
Let t(l) = -l + 3. Let j be t(5). Let a be 3 - ((-165)/(-3) - j). Is 14 a factor of 236/9 - (-12)/a?
False
Let g = -77 - -128. Is g a multiple of 17?
True
Let o(c) = -4*c**3 - 3*c**2 - c + 2. Let h be o(-2). Let b = h - -6. Is 11 a factor of b?
False
Let r be 2 + 0 + 0 + 70. Suppose 7*q - r = 3*q. Is q a multiple of 10?
False
Let c = 116 + -44. Does 18 divide c?
True
Suppose 5 = 2*k + 2*l - 43, 14 = k - l. Does 2 divide k?
False
Let s(h) = h**2 - 6*h + 1. Let x be s(7). Suppose -w = -3, -5*w + x = k - 11. Suppose -3*a = -a - k. Is 2 a factor of a?
True
Suppose 2*q = -4*u + 5*q + 21, -4*q - 2 = -u. Suppose -2*j + u*j = 96. Suppose 4*i + p - j - 31 = 0, -2*i + 5*p + 55 = 0. Is i a multiple of 11?
False
Is 20 a factor of 2/10*-4*(-32 + 7)?
True
Suppose -k - 3*l = k + 108, 0 = -2*k + l - 124. Let v be (k/2)/(18/(-24)). Let a = 60 - v. Does 6 divide a?
False
Let f(w) = -2*w + 8. Is f(-13) a multiple of 7?
False
Suppose -4*s + 6*j - 3*j = -25, -5*s + 2*j + 26 = 0. Suppose -68 = 3*y + u, 3*u - 2*u = s*y + 79. Let o = -8 - y. Does 13 divide o?
True
Let m(x) = -7*x**3 - 3*x**2 - 8*x - 11. Let s(k) = -6*k**3 - 4*k**2 - 8*k - 10. Let v(a) = 5*m(a) - 6*s(a). Suppose -2*j = j + 21. Does 19 divide v(j)?
False
Does 11 divide (-554)/(-10) + (27/(-5) - -5)?
True
Let o(c) = 3*c - 1. Let r be o(1). Suppose -38 = r*p - 130. Is p a multiple of 12?
False
Suppose m + 6 = 4*m. Suppose -3*n + 53 = -m*t, 5*n + 7*t - 2*t = 80. Is n a multiple of 6?
False
Let i(m) = -m**3 + 4*m**2 + 4*m - 1. Let p be i(5). Let y be (p/8)/(7/28). Is 15 a factor of 16*3*y/(-9)?
False
Let y = 3 + 1. Suppose 2*r + y*l =