l?
False
Let i be 1/((-3)/(-18)*-2). Let c = i + 4. Is 12 a factor of 9 + (-3)/((-1)/c)?
True
Suppose -2*l + 5*l = -57. Let f = l - -27. Is f a multiple of 8?
True
Suppose h - l = -26, 2*h + h + l + 74 = 0. Let p = -26 + 80. Let n = p + h. Is 19 a factor of n?
False
Let a = 76 + -36. Is 10 a factor of a?
True
Let g = -115 - -216. Is 24 a factor of g?
False
Let y(t) = -104*t. Is 51 a factor of y(-1)?
False
Let f(d) = -15*d - 1. Suppose 0*k - k - 7 = 4*p, 0 = -5*p + 5*k - 15. Let q be f(p). Let t = q + -15. Is t a multiple of 5?
False
Suppose -l + 22 = 3*p + 3*l, 5*p = 2*l + 2. Suppose -c - 135 = -4*x, p*c + 122 = 4*x - 12. Is x a multiple of 11?
False
Suppose -b = -7*b + 102. Does 8 divide b?
False
Let g = 4 + 0. Suppose g*b - 155 = -5*u, 0*u = -3*u + 9. Does 17 divide b?
False
Suppose d = -4*d - 35. Let r = -4 - d. Suppose 4*s + 32 = m, r*m + 3*s - 40 = -4. Is 8 a factor of m?
True
Suppose 7*a - 2881 = -340. Is 33 a factor of a?
True
Let p = -22 - -11. Let a(b) = -b**2 - 15*b - 8. Does 17 divide a(p)?
False
Let k(w) be the second derivative of -w**4/12 - 3*w**3/2 - 5*w**2/2 - w. Let y(t) = -t**2 - 4*t - 3. Let u be y(-5). Is k(u) even?
False
Let o = -114 - 18. Let u = -49 - o. Is 24 a factor of u?
False
Suppose 199 - 31 = 4*m. Does 14 divide m?
True
Suppose 0 = o, o = -5*u + 4*o + 810. Suppose -n + u = n. Does 25 divide n?
False
Let o = -99 - -134. Does 9 divide o?
False
Let b(i) = -6*i - 49. Does 11 divide b(-15)?
False
Suppose -15 = -5*o - 2*k + 18, -4*o + k = -29. Is o a multiple of 7?
True
Let x = 8 - 6. Let a be (-1)/3 + -2 + 32/6. Suppose 0 = 3*t - 3*v - 3, -2*t - x*v + 3*v + a = 0. Is 2 a factor of t?
True
Suppose 2*z = 11 - 37. Let i = 2 - z. Is i a multiple of 15?
True
Let o be (-6)/(-4)*(-20)/(-6). Suppose -o*h + 114 = -111. Is h a multiple of 15?
True
Let y = 18 + 80. Suppose 3*z - y = 1. Is z a multiple of 8?
False
Let u(x) = x**2 - 5*x - 2. Let w be u(5). Let h be (-4)/8*(-106 + w). Suppose 5*t - 103 = -3*i, 2*t + h + 20 = 2*i. Is i a multiple of 12?
True
Let f(u) = -u**3 - 8*u**2 + 9*u + 9. Let i be f(-9). Suppose 0 = -a - 2*a + i. Suppose g - 3*s + a = 47, -3*s + 106 = 2*g. Is 21 a factor of g?
False
Suppose -s + 17 = -2*s + 2*p, -4*s - 3*p - 13 = 0. Let q = 10 + s. Is 3 a factor of q?
True
Suppose 4*l - u - 2*u + 2 = 0, -4 = -2*l - u. Suppose 5*o + 22 = 2*o - 5*c, -5*c = 25. Is 2 a factor of (1 - (-2 + o))*l?
True
Let a(x) be the third derivative of -x**5/20 - 5*x**4/8 + 3*x**3/2 + 2*x**2. Let k be a(10). Is k/(-15) - (-4)/(-10) a multiple of 12?
False
Let k(o) = o**3 + 6*o**2 + 5. Is 2 a factor of k(-6)?
False
Suppose -3*d + 296 = 2*b, 0 = -2*d - 4*b - b + 179. Does 12 divide d?
False
Suppose -4*w = -5*w. Suppose 0 = 5*m - 2 - 33. Suppose w = -h + 6*k - m*k + 46, 3*h - 2*k - 143 = 0. Is 19 a factor of h?
False
Let v(l) = -2*l**2 + l. Let b be v(1). Let h be b/2*(-152)/4. Suppose -8 = -3*w + h. Is 9 a factor of w?
True
Let n(p) = p**3 + 2*p**2 + p + 40. Does 5 divide n(0)?
True
Let d(c) = 2*c**2 - 3*c + 101. Does 10 divide d(0)?
False
Suppose -l - 17 = -2*l - 4*o, 14 = l + o. Is 13 a factor of l?
True
Let p(s) = 0 - 2 - s**2 + 1 - 36*s**3 + 3*s**2. Let i be p(1). Is 126/i*(-10)/2 a multiple of 18?
True
Let l(h) = h**3 - 4*h**2 - 7*h + 5. Let w be l(5). Let z(t) = t**3 + 4*t**2 - 6*t. Let p be z(w). Suppose 3*x - p = 61. Is x a multiple of 19?
False
Let v(x) = 4*x - 9. Let f be v(6). Is 15 a factor of (-3)/2*(-220)/f?
False
Let t be -2 + 1/(1/2). Suppose 4*s - 5*k - 75 - 111 = t, 5*s = 5*k + 230. Does 26 divide s?
False
Suppose 20 = -4*w, 4*w - 6 + 141 = 5*q. Does 3 divide q?
False
Let b(d) = d**2 - 14*d - 17. Let y be b(15). Let a(r) = 15*r**3 - r**2 - r + 1. Let n be a(1). Let z = n - y. Is 12 a factor of z?
False
Let n = 3 - 6. Let a = 6 + n. Is a a multiple of 2?
False
Let m(z) = -3*z**3 + 6*z**2 + 12*z - 1. Let s(d) = -d**3 + 2*d**2 + 4*d. Let n(b) = -3*m(b) + 8*s(b). Let o be n(4). Let i = o - 7. Is 9 a factor of i?
False
Let y be (2 - 1)*(-1 - -5). Suppose 0 = -4*c + 2*c - l + 5, 2*c - l - 15 = 0. Suppose -93 = -5*f + 3*u, 0 = c*f - y*u - 88 - 6. Does 12 divide f?
False
Is 16 a factor of 64 + 4 + (0 - 4)?
True
Let y be -5*(3*-2)/3. Let d = 6 - y. Is ((-66)/d)/((-2)/(-4)) a multiple of 18?
False
Let p = -77 - -109. Suppose y + p = -4*g - 91, 0 = -3*g + 3*y - 111. Let h = 55 + g. Does 10 divide h?
False
Suppose 12 - 30 = -3*q. Suppose 0 = q*i - 11*i + 255. Is 31 a factor of i?
False
Suppose 0 = -3*l + 5*l. Suppose 4*o - 39 - 17 = l. Is 13 a factor of (-2)/(0 - -2) + o?
True
Does 24 divide (8/(-4))/(6/(-213))?
False
Suppose 0 = t - 2, 269 + 54 = 3*z - 2*t. Is 11 a factor of z?
False
Suppose -3*v + 16 = -2*w, 0 = 5*w - 4*v + v + 22. Let h be (w/(-4))/(4/(-32)). Is 10 a factor of (-23)/(-2) + 6/h?
True
Suppose 0 = -39*a + 41*a - 82. Is a a multiple of 6?
False
Suppose -3*p + 0*p = 0. Let u be 1*(-1 + p/1). Let a = 6 + u. Does 5 divide a?
True
Let i(o) = -o + 5. Let z be i(10). Let y = 5 - z. Is y a multiple of 2?
True
Suppose -2*u = -25 - 119. Does 18 divide u?
True
Let y(g) = g**3 + 11*g**2 + 8*g - 4. Is 22 a factor of y(-5)?
False
Let n = -34 - -44. Is 5 a factor of n?
True
Let o(r) = 97*r + 4. Let y be o(8). Suppose -4*s = -y + 200. Suppose -2*u + s = 3*u. Does 14 divide u?
False
Let x(a) = -a**2 + 10*a - 3. Let i(n) = n**3 - 4*n**2 + 2*n + 1. Let w be i(4). Let h be x(w). Is (-4 + -5)*(-20)/h a multiple of 10?
True
Suppose 2*i - 2 = i. Let a be -1 - -2*(-2)/i. Is (-56)/(-3) - a/9 a multiple of 11?
False
Let a(k) = -3*k**3 - 10*k**2 + 22*k**2 + 2*k - 9*k**2. Is 8 a factor of a(-2)?
True
Suppose -2*x = -5*k + 1430, 3*k - 7*k + 1141 = -x. Let r = k - 188. Is 8 a factor of (r/(-18))/(2/(-3))?
True
Let x be 4/2 + 4 + -2. Does 19 divide 3 + (-3 - (-96)/x)?
False
Let c(h) = 15*h**2 + 2*h - 1. Let b be c(-2). Suppose -5*a + b + 25 = 0. Is 16 a factor of a?
True
Let n = 16 + 4. Is 13 a factor of n?
False
Let z(m) = 3*m**2 + 9*m - 17. Let h(d) = -d**2 - 5*d + 8. Let j(w) = 5*h(w) + 2*z(w). Does 9 divide j(10)?
True
Let p(j) = -j + 2. Let i be p(-3). Suppose r = -0*r - 4*t + 22, i*r = 4*t - 10. Does 8 divide r*(-3)/6*-28?
False
Let g(z) = z**3 + 7*z**2 + 5*z - 7. Let i be g(-6). Let t be i - (-60 + (5 - 2)). Suppose -5*o + 34 = -t. Is 11 a factor of o?
False
Suppose 79 = 4*i - 365. Is i a multiple of 9?
False
Suppose -3*y + 2*i = -978, -1304 = -4*y + i - 3*i. Is 9 a factor of y?
False
Let i = -32 + 46. Is i*3/12*4 a multiple of 14?
True
Let l(u) = 21*u. Let i = -9 - -11. Is 14 a factor of l(i)?
True
Suppose 0 = -p - 0 + 1. Let w(i) = -38*i - 4. Let k(v) = 77*v + 7. Let o(a) = 3*k(a) + 5*w(a). Is 14 a factor of o(p)?
True
Let d be 1 - (0 + 1 + -3). Let l = d + 1. Is l a multiple of 2?
True
Let d(o) = -66*o - 6. Let y be d(-5). Is 3 a factor of (y/90)/(1/5)?
True
Let f(t) = t**2 - 5*t + 31. Is 7 a factor of f(-8)?
False
Suppose -a - 4*j + 19 = 0, -3*a = j - 6*j + 11. Suppose -a*t = -0*t - 60. Does 10 divide t?
True
Suppose 3*g = -4*b - 67, -2*b + 6*b + 82 = 2*g. Let j = b + 31. Is 12 a factor of j?
True
Let l = 10 - -181. Suppose 2*r - r = -4*i + l, -4*i = -3*r - 195. Is 15 a factor of i?
False
Let x(d) = d**3 + 11*d**2 + 9*d - 10. Let a be x(-10). Let s(c) = c + 11. Let u be s(a). Suppose 0 = 2*o - l - u - 81, 100 = 2*o - 5*l. Does 24 divide o?
False
Does 2 divide (-2)/6 - (-296)/24?
True
Suppose 0 = 3*y + 5*x - 254, 10*x - 6*x = -4*y + 328. Is y a multiple of 6?
True
Let m be 1/(2/30*3). Suppose -m*l = 10, 3*c = 3*l + l + 29. Is c a multiple of 3?
False
Let d = 2 + 3. Let z = d - -4. Does 3 divide z?
True
Let o(k) = 4*k**2 + 9*k - 2. Is o(-3) a multiple of 2?
False
Suppose -o + 156 = o. Is 6 a factor of o?
True
Let c(k) = k**2 + 3*k + 4. Let d be c(-3). Suppose -104 = -4*u + 4*o, -u - 2*o + 16 = -o. Suppose -i = d*m - 99, 0*m + i - u = -m. Does 13 divide m?
True
Let t be 36 + -2 + 6/3. Suppose -t = -0*p - p. Suppose -2*x = n - p, -3*n - n = -3*x - 89. Does 9 divide n?
False
Suppose -10 - 8 = 3*l. Let q be (-1)/((-1)/l*-2). Suppose -4*f = -0*f + q*z - 62, f + 4*z = 22. Is 7 a factor of f?
True
Suppose 3*v - v = 5*d - 221, -3*d - 2*v + 139 = 0. Does 15 divide d?
True
Let l = -13 - -33. Is l a multiple of 2?
True
Let o be (1/(-3))/(4/(-12)). Let j be -2*(2 - o/(-2)). Let i = j + 8. Is 2 a factor of i?
False
Let v(d) = 5*d. Let y be