2 - 2*f - 1. Let g be s(2). Does 10 divide (-21 - -1)*g/4?
True
Suppose 4*o + 2*k - 263 = -k, -67 = -o - 2*k. Is o a multiple of 53?
False
Let j = 29 + -9. Let y = 18 + j. Is y a multiple of 19?
True
Let n = 43 + -72. Let f = -20 - n. Is f a multiple of 3?
True
Suppose -292 + 13 = -3*g. Is 31 a factor of g?
True
Let w be 0/(0/(-1) + 3). Suppose -5*r + 25 = -5*f, 5*f = -w*r + 3*r - 25. Suppose -3*j - 2*j + 60 = r. Is j a multiple of 12?
True
Suppose -r - 20 = 4*r. Let d(i) = 6*i - 6. Let a(s) = 6*s - 5. Let j(w) = -6*a(w) + 5*d(w). Does 15 divide j(r)?
False
Does 26 divide -3*(267/(-12))/(9/12)?
False
Let a(j) = -2*j**3 - 2*j**2 + 1. Suppose 0 = 3*h + 4 - 1. Let s be a(h). Is s - (3 + -1)*-2 a multiple of 2?
False
Let q = 5 - 7. Let p(c) = -4*c + 1. Is p(q) a multiple of 3?
True
Let t(f) = 71*f - 1. Let l be t(1). Suppose 3*s = 5*o + 5, 5*s = -0*o - 4*o + l. Is s a multiple of 5?
True
Let f(o) = -22*o + 1. Let v be f(3). Let d be 0/(-3) + v + -1. Let q = 113 + d. Does 21 divide q?
False
Let h(r) be the third derivative of r**5/5 - 4*r**2. Is 24 a factor of h(-2)?
True
Let h(q) = 5*q - 1. Let k be h(1). Suppose -4 = k*o - 36. Is 4 a factor of o?
True
Suppose 3*k = -2*t - k + 134, 4*k = 2*t - 110. Is t a multiple of 16?
False
Let p = 106 + -72. Let b = -22 + p. Is 4 a factor of b?
True
Let h(l) = 3*l - 9. Suppose 5*k = 21 + 39. Does 9 divide h(k)?
True
Let g(k) = -3*k - 2. Suppose -m - 8 = m. Does 10 divide g(m)?
True
Suppose -30 = -r + i, 5*i = -5*r + 4*i + 138. Is r a multiple of 10?
False
Let w(l) = 0 + 3*l**2 - l - l + 1. Let t be w(1). Is (-8)/(-2) + 2/t a multiple of 2?
False
Suppose -23 = -2*v + 35. Suppose -3 = o + 10. Let f = o + v. Is f a multiple of 6?
False
Let o(z) = -33*z - 27. Is 36 a factor of o(-3)?
True
Suppose 0*u - 3*j = -3*u - 9, 4*u + 4*j - 12 = 0. Let k be 3/30 - (-1249)/10. Suppose u = -r + 5*a + 54, -4*a = -0*r + 5*r - k. Is r a multiple of 9?
False
Suppose -14*d + 1001 + 721 = 0. Is 13 a factor of d?
False
Let p(s) = 9*s - 3. Let b be p(3). Suppose 2*d - b - 8 = 0. Is d a multiple of 7?
False
Let o(s) = 29*s + 13. Is 23 a factor of o(6)?
False
Suppose 2*n = -q + 15, -3*n - 4*q + 36 = n. Suppose 9 = 3*p - n*p, 84 = 5*w - 3*p. Suppose z - w = -2*z. Is 2 a factor of z?
False
Suppose 2*d - 3*d + 2 = 0. Suppose -d*i = i - 6. Suppose 2*l - 5*t = 3, -i*t + 1 = -l + t. Is 6 a factor of l?
False
Suppose 7*a - 2*a - 565 = -5*r, 3 = -r. Does 12 divide a?
False
Suppose 0 = -2*t - f - 19, -2*t - f = -5*f + 44. Does 11 divide 261/12 - 3/t?
True
Let p = 204 - 165. Is 32 a factor of p?
False
Let q be (-5)/(-1) + 2*-1. Is 9 a factor of 2/q + 25/3?
True
Let b = 42 - 9. Is b a multiple of 3?
True
Let r(q) = 21*q + 4. Let p be r(8). Suppose 4*c - p = -0*c. Is c a multiple of 22?
False
Suppose -3*r = -4*r + 76. Suppose 5*b - 9 = r. Is 17 a factor of b?
True
Let s = -50 + 110. Does 11 divide s?
False
Let z = -21 + 102. Does 43 divide z?
False
Let w(m) = m**3 - m**2. Let b be w(0). Suppose n = i + 43, -5*i + b*i = -4*n + 176. Does 18 divide n?
False
Is 18 a factor of (3/(-5))/((-10)/300)?
True
Let s(i) = -i**3 + 3 - 3 + 5*i**2 - 2*i. Let x(d) = 2*d + 1. Let f be x(1). Is s(f) a multiple of 12?
True
Let k = 3 + -1. Suppose 0 = -t + k. Is t/2*-1 + 6 a multiple of 2?
False
Suppose 3*j + 2*j - 4*o - 4 = 0, 0 = j + 4*o + 4. Suppose j = 4*c + c - 35. Is c a multiple of 5?
False
Let q = 84 - -49. Does 19 divide q?
True
Suppose -4*s - 3*a + 8 = 0, -5*a = 3*s + 2*s - 10. Suppose -57 = -5*n + s*k + 2*k, 2*k + 6 = 0. Suppose -n*h + 4*h = -80. Is h a multiple of 8?
True
Let u(j) = -j**3 + 7*j**2 + j - 4. Let k be u(7). Let p be -6*(k/(-6))/(-1). Is (-1)/p*(1 - -20) a multiple of 7?
True
Suppose -2*h = -6*h + 108. Suppose 3*d + 45 = 4*v, v - 3*d = -v + h. Is v a multiple of 5?
False
Let u(v) = -v**3 - 5*v**2 - 5*v - 2. Let t be (-2)/(-9) + 76/(-18). Let l be u(t). Is (l/(-3))/((-10)/345) a multiple of 22?
False
Let k(j) be the third derivative of j**7/280 - j**6/360 + j**5/30 - j**4/8 - j**3/2 + 2*j**2. Let w(n) be the first derivative of k(n). Does 18 divide w(2)?
False
Let f be (-8)/(-5) - (-6)/15. Suppose -4*s + 4 = -4*v, -3*v = -f*v + 2*s - 14. Does 8 divide (v/10)/((-3)/(-90))?
False
Let b(k) = -k**3 - k**2 - 2*k + 1. Let v be b(-2). Is 882/v - (3 + -1) a multiple of 24?
True
Suppose i - 3*j = -3, -i - 4*j + 4 = i. Suppose 4*a = -i*a + 144. Is 12 a factor of a?
True
Suppose d = -0*d - 7. Let c = 14 + d. Is c a multiple of 7?
True
Let o be 16/(-6)*(-3)/2. Suppose -o*n + 17 = -167. Suppose 4*t - 132 = 4*k, 4*k = 3*t - 52 - n. Is t a multiple of 10?
False
Suppose 0 = 15*y - y - 980. Is y a multiple of 5?
True
Does 3 divide (((-24)/(-10))/(-1))/((-141)/940)?
False
Let b be (0 - 2 - -2) + 4. Suppose 0 = -4*r - u + 1 + 34, -b*r + u = -37. Is 8 a factor of r?
False
Let i be 0/(4*3/6). Suppose 4*y - 3*v + 9 = i, 0*v = -4*y - v - 29. Does 6 divide (-2)/y + 150/9?
False
Suppose 6*i + o - 3 = 4*i, 2*o + 6 = 2*i. Is 14 a factor of ((-52)/16)/(i/(-24))?
False
Let c = -3 - -3. Suppose 0 = i - 4, 3*s - i - 113 = -c*i. Is 13 a factor of s?
True
Let g = 6 - 2. Suppose -3*x + 5*p = -47, g*x + 4*p - 80 = 2*p. Is 11 a factor of x?
False
Let u(j) = 4*j + 17. Is u(17) a multiple of 23?
False
Suppose i = 3*i - 104. Suppose 2*o = -0*o + 2*y + i, 5*o + 5*y = 140. Does 12 divide o?
False
Let x(n) = 2*n**2 - 3. Let m be x(3). Suppose -m = 4*q + 1. Does 3 divide (-4 - 0)*3/q?
True
Suppose 2*g + 2*g - 12 = 0. Suppose -g*s + 0*s + 192 = 0. Suppose -3*b - 3*y + 66 = 0, -2*b + s = b + y. Does 8 divide b?
False
Let v = 4 + 0. Suppose -v*m - 3 = 3*a + 17, -m = -5*a + 5. Suppose s + 4*g - 7 = 3*g, 3*s - 5*g - 5 = a. Does 3 divide s?
False
Is 10 a factor of 1/(-1) - -2*(-363)/(-6)?
True
Let p(h) = -4*h**2 + 3*h + 2. Let n be p(-3). Let x = n + 67. Suppose x = m + 3*m - l, m = -3*l + 6. Is m a multiple of 3?
True
Suppose 27 = 5*v - 13. Let y(z) = z**3 - 7*z**2 - 9*z + 7. Let m be y(v). Does 18 divide 7*(m + 86/14)?
True
Let k = -8 - -14. Is k/8 + (-189)/(-4) a multiple of 12?
True
Let j = 224 - 496. Does 17 divide (j/2*1)/(-2)?
True
Suppose -l = -8 - 17. Is 17 a factor of l?
False
Suppose 0 = 3*a + h + 98, -31 = 5*a + 5*h + 119. Let c = 87 - 40. Let l = a + c. Does 13 divide l?
True
Let m(z) = 7 - 3*z**2 + 6*z - z**2 + 5*z**2 - 2*z**2. Is 7 a factor of m(5)?
False
Let x(g) = g**3 + 6*g**2 + 6*g + 5. Let n be x(-5). Suppose v + 0*v - 1 = n. Is 14 a factor of (-1)/(v + (-114)/111)?
False
Let x(v) = v + 5. Let l be x(-3). Let z(q) = 2*q**3 - 6*q**2 - 2*q + 12. Let s be z(5). Suppose l*n = -2*r + 44, -24 = 5*n - 3*r - s. Is n a multiple of 9?
True
Let p = 115 + -25. Is p - (4 - 2 - 2) a multiple of 30?
True
Suppose -4*n + 229 + 47 = 0. Is n a multiple of 23?
True
Let f(q) be the third derivative of 5*q**4/6 - q**3/3 - 2*q**2. Let t be f(6). Suppose t - 43 = 5*c. Is 15 a factor of c?
True
Suppose 5*d = 221 + 189. Is 11 a factor of d?
False
Let v(s) = s. Let k be v(-2). Let l(i) = i. Let w(u) = -6*u**2 - 2*u + 1. Let a(x) = -2*l(x) - 2*w(x). Is 21 a factor of a(k)?
True
Let o be 6 + (0 - (-3)/(-3)). Suppose 42 = -o*b + 147. Is b a multiple of 7?
True
Let r = 31 + -15. Is 9 a factor of r?
False
Let i = 4 + -2. Let v(a) be the first derivative of 2*a**3/3 - a**2/2 - a - 1. Is v(i) a multiple of 5?
True
Suppose -f = -2*x - x + 167, 3*x - 5*f - 151 = 0. Is 26 a factor of x?
False
Let c(u) = u**2 + 9*u + 8. Let a = -40 - -24. Let w = a + 7. Is 4 a factor of c(w)?
True
Let r be 30*(36/10 + -4). Is 14 a factor of (2 - r/(-2)) + 46?
True
Let z(l) = 2*l + 5. Is z(8) a multiple of 14?
False
Let t = 174 - 124. Suppose 0*s - 5*s = t. Let g = -4 - s. Does 4 divide g?
False
Let i be (15/(-3))/((-5)/10). Suppose -39 = 7*r - i*r. Is 9 a factor of r?
False
Let v be (-83)/9 + (-2)/(-9). Let j(h) = 2*h + 10. Let a be j(v). Is (-130)/a + 2/(-8) a multiple of 16?
True
Let y(d) = d**2 - 2*d - 18. Is 14 a factor of y(-16)?
False
Let u = 172 - 105. Does 12 divide u?
False
Let q(u) = -2*u + 3. Let f be q(4). Is 7 a factor of (4/2)/(f/(-35))?
True
Let j be -1 - -2 - (-2 + 5). Is 7 a factor of j/(-4)*(58 + 0)?
False
Let g(z) = 2*z**2 - 7*z + 11. Let h be g(6). Let k be (2 - 3)/((-2)/4). Suppose -4*t + 134 = k*x, 2*t + 5*x = 38 + h. Does 16 divide t?
True
Let b be ((-2)/(-3) + 0)*3. Suppose -m + b*u = -7, 2*m + u = 