divide l?
False
Let y(w) = w**2 + 3*w - 6. Let h be y(-5). Suppose -2*q - 2*q = -h, 4*q = -b + 12. Is 4 a factor of b?
True
Suppose 0 = -2*h - 2*h - 8. Is 9 a factor of (-20)/h + 1 + -2?
True
Let j(i) = 2*i - 10. Is j(6) a multiple of 2?
True
Is ((-80)/28 + 2)*-35 a multiple of 4?
False
Let t be 54 + -2 - 3/1. Suppose 4*v + i - 271 = 0, -4*v + 5*i + t + 228 = 0. Does 17 divide v?
True
Let k(a) = -6*a - 3. Let n be k(5). Let c = 58 + n. Is 4 a factor of c?
False
Let v = 167 + -119. Is v a multiple of 12?
True
Let l(w) = -w**2 + w + 1. Let f be l(0). Let t be (-3)/f*10/6. Let o(q) = 2*q**2 + 4*q - 6. Does 12 divide o(t)?
True
Let k = -7 + 1. Let q(x) = 2*x**2 + 5*x - 14. Let r(d) = d**2 + 2*d - 7. Let a(f) = -4*q(f) + 7*r(f). Is 7 a factor of a(k)?
True
Let t = -3 - -12. Let z = 7 + t. Is z a multiple of 16?
True
Suppose -l + 15 = -5*g, 5*l - 153 - 42 = g. Let w = 37 + -37. Suppose 0 = -w*j - 4*j + l. Is j a multiple of 4?
False
Let n = -11 + 69. Suppose w - 6 = -5*l, 7*w - 5*l - n = 4*w. Suppose 0*b - b = -w. Is 8 a factor of b?
True
Let m(a) = -a**3 + a. Let g be m(-2). Let y(w) = w**2 - 6*w - 2. Let z be y(g). Is 3 a factor of (-7)/(-2) + 1/z?
True
Let k = 7 + -17. Suppose 5*l - 4*c + 47 = -7*c, 0 = -3*c + 3. Is 7 a factor of 4/l + (-74)/k?
True
Let h(n) = -n**2 + 19*n - 21. Does 12 divide h(15)?
False
Let b(s) = -54*s - 10. Let c be b(-7). Suppose 0*y - c = 4*y. Let t = -59 - y. Does 12 divide t?
False
Suppose 210 = x + 5*x. Does 35 divide x?
True
Let b(l) = 11*l**3 - 2*l**2 + 1. Let o be b(-1). Let k = o - -54. Does 14 divide k?
True
Suppose 5*a = 2*w - 18, 0 = -0*w - w + a + 9. Is 2 a factor of w?
False
Suppose 15 = -0*l + l - 3*i, -i = 2*l - 2. Is l even?
False
Let p = 18 + 9. Does 9 divide p?
True
Let y = 65 + -44. Let o = y + -37. Let w = 30 + o. Does 9 divide w?
False
Suppose 0 = -5*i - 21 - 14. Let p(z) = z**3 + 7*z**2 - 5*z - 10. Let f be p(i). Is 3 a factor of 30/f*20/3?
False
Let n = -17 + -13. Let k = n - -70. Is k a multiple of 16?
False
Let v(d) = -4*d**3 + 2*d**2 - 1. Let n(o) = -o - 8. Let m be n(-9). Let u be (-1 - 1)/(m - -1). Does 3 divide v(u)?
False
Is 7 a factor of (-2)/(4/56*-2)?
True
Let x(c) = -10*c - 6. Let d be x(-6). Let v = 76 - d. Suppose -p + 0*p = -v. Does 11 divide p?
True
Suppose -h + 56 = -8. Let w = -37 + h. Is 9 a factor of w?
True
Let a = 99 + -66. Does 15 divide a?
False
Let w(i) = i - 3. Let t be w(6). Suppose -30 = 4*p - t*v, -2*p + 0*v - 14 = -v. Let u = 4 - p. Is u a multiple of 5?
True
Suppose -2*y + 2 = -4*p, 4*y - 4 = 2*p - 0*y. Let h(a) = -a**2 + 27. Does 9 divide h(p)?
True
Let q(l) = -9*l - 9. Let c(m) = -m**3 - 7*m**2 - 6*m - 6. Let i be c(-6). Let u be q(i). Suppose 5*g - z + 5*z - 181 = 0, g = -3*z + u. Is g a multiple of 13?
False
Let q(f) = 6*f - 1. Let y be q(2). Suppose -l - 2 = -y. Does 3 divide l?
True
Let g be 2896/44 - (-2)/11. Let b = g - 42. Is b a multiple of 9?
False
Suppose 5*n = 25, 5*n - 21 = 5*j + 4. Suppose -2*i - 140 - 118 = j. Does 19 divide 2*(1 + i/(-6))?
False
Let f(v) be the third derivative of v**6/120 + v**5/10 + 3*v**4/8 + 2*v**3/3 + v**2. Let q be f(-6). Is ((-4)/10)/(2/q) a multiple of 5?
True
Let t = 1 - 2. Is (2 + t)/((-3)/(-75)) a multiple of 19?
False
Let k be 3/(-2)*32/(-24). Suppose -k*m + 49 = -m. Does 23 divide m?
False
Let i(h) = h + 4. Let x be i(-4). Suppose -92 = -x*f - 2*f. Does 16 divide f?
False
Let r be (-3)/12 + 166/(-8). Let q be (8 + -5)*(-58)/(-6). Let b = q + r. Does 8 divide b?
True
Suppose -p + 7 + 6 = 0. Let i = 31 - p. Let c = -9 + i. Does 5 divide c?
False
Let n(g) = g**3 - 15*g**2 + 3*g - 10. Is 7 a factor of n(15)?
True
Does 14 divide -1 + 73 + (4 - 4)?
False
Let g(y) = -20*y - 1. Let j be g(3). Let o = j - -127. Is o a multiple of 22?
True
Is ((-144)/20)/(9/(-120)) a multiple of 13?
False
Suppose -4*l = l - 4*h - 55, -2*h + 25 = 5*l. Suppose -3*f - 2*z - 42 = -l*f, -5*f + 2*z = -52. Suppose -f = 5*t, -24 = -3*u + 3*t + 144. Does 19 divide u?
False
Does 13 divide 24*(31/4 - 2)?
False
Suppose -m + 31 = -28. Is m a multiple of 7?
False
Suppose 5*i = g + 257, i + 8 - 69 = 5*g. Is 14 a factor of i?
False
Suppose -30 = -4*a + 18. Let n be a/10*(-20)/(-8). Suppose -n*t + 32 = -t. Is 12 a factor of t?
False
Let h(m) = 8*m - 1. Is 3 a factor of h(1)?
False
Let a = 24 + 1. Is 25 a factor of a?
True
Let b(i) = 3*i - 3. Let z be b(5). Suppose 4*n = 36 - z. Is 6 a factor of n?
True
Let x(f) be the first derivative of 3*f**2/2 + 1. Does 18 divide x(6)?
True
Suppose 4*r - 229 = 4*w + 75, r + 2*w - 61 = 0. Does 17 divide r?
False
Does 10 divide 10/(-60) + (-1 - (-127)/6)?
True
Let y(a) = a**3 + 10*a**2 + 8*a - 8. Let g be y(-9). Does 22 divide (-2 - g)/((-9)/132)?
True
Let p(w) = 7*w - w - w - 4*w. Suppose -2 = 4*f - 22. Is p(f) a multiple of 2?
False
Suppose -3*g + 85 = 4*k, -2*g + 28 = -g + k. Let v = g + -16. Does 4 divide v?
False
Suppose 5*y - 4 - 1 = -5*x, 3*y - 11 = -5*x. Is x a multiple of 2?
True
Let o(l) = 3*l**2 - 22*l - 14. Suppose 33 = 5*m - 2. Let x(g) = -g**2 + 7*g + 5. Let j(h) = m*x(h) + 2*o(h). Is j(5) a multiple of 7?
True
Let u = 0 - -50. Is 17 a factor of u?
False
Let g = -78 - -131. Does 7 divide g?
False
Suppose 0*l = -5*l. Let v(g) = -5*g + 2. Let i be v(2). Let h = l - i. Is h a multiple of 5?
False
Let t = 19 - -25. Is 11 a factor of t?
True
Suppose -347 = -3*k + 277. Suppose -2*j - j - s = -k, -4*s + 288 = 4*j. Is j a multiple of 15?
False
Suppose -d = -4*d - 75. Let v = -3 - d. Is v a multiple of 11?
True
Let f(p) = 6*p**3 - 2*p**2 - p - 1. Does 11 divide f(2)?
False
Let z be 62 - 5/(5/2). Suppose x + z = 3*x. Is 10 a factor of x?
True
Let s = 11 - 6. Suppose 0 = 4*g - s*g + 24. Is g a multiple of 8?
True
Let b(r) = -r**2 - 11*r - 4. Let p be b(-8). Suppose 0 = -10*s + 9*s + p. Is s a multiple of 4?
True
Does 25 divide (7/(-2))/(3/(-78))?
False
Suppose 0*t - 5*t + 20 = 0. Does 17 divide t/6*306/12?
True
Let s = 0 + 3. Suppose -s*u - 336 = 24. Is (4/10)/((-2)/u) a multiple of 12?
True
Suppose -5*z + 28 = v - 0*v, 0 = 4*z + v - 23. Let q = z + -1. Is 2 a factor of q?
True
Suppose -390 = -4*p + p - 3*l, -125 = -p - 2*l. Is p a multiple of 20?
False
Let l(y) be the second derivative of y**4/12 - y**3/6 - 4*y. Is l(-7) a multiple of 14?
True
Let u = -5 + 9. Suppose -4*x = n - 84, -u*x - 3*n = -5*x + 21. Let i = -13 + x. Is 4 a factor of i?
True
Let o(g) be the first derivative of 2*g**3/3 + 3*g**2/2 + 1. Suppose 5*i = -4*w - 1 - 34, -4*w - 29 = 3*i. Is o(i) a multiple of 9?
True
Let i(u) = -u**3 + 17*u**2 - 12*u - 19. Is i(16) a multiple of 10?
False
Suppose -5*u + 15 = 5. Suppose l - 7 = -u*s + 4*s, s = 0. Suppose -1 - l = -4*y. Does 2 divide y?
True
Does 20 divide 1 + -1 + (-10 - -57)?
False
Let x be 0 + 72/(-3 - -7). Let l = 22 - x. Does 4 divide l?
True
Let s = -19 - -37. Is 18 a factor of s?
True
Suppose 216 + 30 = 2*f. Does 14 divide f?
False
Suppose 4*t = 2*w - 3*w + 65, -2*t + 50 = 4*w. Let u = 17 + t. Is 9 a factor of u?
False
Suppose 5*d - 2*j - 2 = 0, -3*d + 8*d + 2*j = 18. Suppose -b - 4 = -d*b, 3*v - 87 = -3*b. Let c = -18 + v. Does 3 divide c?
False
Suppose -5*d = 5*c - 5, d - 5 = -c + 4*d. Suppose 3*y - c = 4*y + 4*x, -4*y = -x - 26. Suppose f - y = 6. Does 10 divide f?
False
Suppose x = -x + 5*m + 30, -x - 2*m + 6 = 0. Suppose -3*r + 71 + x = 0. Let z = -18 + r. Is 4 a factor of z?
False
Let w(d) = -4*d - 15. Is w(-15) a multiple of 12?
False
Let x(n) = 13*n**3 + n**2 + n. Let a = -2 - -1. Let y be x(a). Let t = y + 23. Is 9 a factor of t?
False
Suppose -28 = -5*w + 352. Suppose -w = -4*t + 68. Is t a multiple of 12?
True
Let l(v) = -v**2 - 6*v + 2. Let i be l(-6). Suppose -5*h + 9 = -i*s, 4*s + 12 = -s + 2*h. Is 14 a factor of (-24)/(1/2 + s)?
False
Let k(y) = -987*y - 1. Let c be k(-1). Is 15 a factor of c/22 - (-14)/77?
True
Suppose 0 = -9*c + 12*c - 9. Suppose -c*x + l = -4*l - 39, -2*x - 2*l = -42. Is x a multiple of 6?
True
Let b = -5 + -1. Let j = 12 + b. Does 2 divide j?
True
Let b = 6 + -2. Suppose 9 = -b*j + 2*x + x, -j = 2*x - 6. Suppose j = q - 7 - 10. Is q a multiple of 6?
False
Suppose 0 = 4*z - 5*p - 1617, 0 = 6*z - 7*z - 4*p + 399. Is 28 a factor of z?
False
Let i be 278/6 - (-3)/(-9). Let z = -12 + i. Is z a multiple of 18?
False
Let g = -4 + 0. Let w = g - -35. Is w a multiple of 9?
False
S