 = f - 21. Let l(k) = k + 2. Let i(g) = -g - 3. Let o(r) = 2*i(r) + 3*l(r). Is 6 a factor of o(f)?
True
Suppose 0 = y - 10 - 29. Is y a multiple of 13?
True
Suppose -5*w + 12 = -3. Suppose 4*y = w*u + 122, -3*y = -4*y + 3*u + 26. Suppose -4*n + 96 - y = 0. Does 8 divide n?
True
Let l = -1 + -6. Does 5 divide l/2*-4 - -2?
False
Let q = 5 + 0. Suppose 7*w = 3*w - 5*k + 25, q*w + 2*k - 27 = 0. Suppose -3*j + 49 = -w. Does 10 divide j?
False
Let h = 4 + -3. Let g be (h + 1)*(-8)/(-16). Is ((-6)/15)/(g/(-45)) a multiple of 16?
False
Suppose 4*a = 5*a - 115. Is 16 a factor of a?
False
Let h = -12 - -18. Let g be 28/h - 1/(-3). Suppose -s = -f - 21, -g*f = -2*s + 6*s - 111. Is s a multiple of 8?
True
Let u = 31 + -17. Suppose -3*g = -c - 5*g + u, -4*c + 44 = -4*g. Does 12 divide c?
True
Let z(t) = 4*t**2 + t. Let q = 1 - 5. Does 20 divide z(q)?
True
Let u = 205 - 140. Let q be (178/6 + 2)/(4/12). Let w = q - u. Is w a multiple of 15?
True
Let r(b) = -2*b**2 - 10*b + 2. Let i(h) = -h**2 - 5*h + 1. Let g = 4 - 9. Let w(v) = g*i(v) + 2*r(v). Is 5 a factor of w(-6)?
True
Let i(l) = -l + 4. Let o be i(9). Let y = o + 21. Suppose 0 = 5*j - 29 - y. Is 6 a factor of j?
False
Let j be (1 + -3 - -3)/(-1). Is 9 a factor of 35/4 - j/4?
True
Let u(s) = -s**3 + 9*s**2 + 3*s - 6. Is 5 a factor of u(9)?
False
Let g = 15 + -15. Suppose -2*q - 4*w - 12 = g, 6*q - q - 2*w = 30. Does 3 divide q?
False
Suppose 0 = 4*c - v + 741, -57 = c + 2*v + 117. Let t = -101 - c. Is 23 a factor of t?
False
Let a be (-350)/(-21)*(-24)/(-10). Suppose 2*m - 54 = a. Does 20 divide m?
False
Let k be (2 - -2)/(2/4). Suppose 0 = -0*v - 2*v + k. Suppose -3*s + 4 = w, -v*s - 17 = 3. Is w a multiple of 10?
False
Suppose 1 = 2*n - 119. Is 9 a factor of n?
False
Let i = 332 - 197. Is i a multiple of 9?
True
Suppose 5*t = -5*v + 25, 2 = -v + 3. Suppose 9*i - 4*i = -2*p + 151, t*i = 4*p - 232. Is 16 a factor of p?
False
Suppose 3*y = -5*g, 0 = -5*y - 3*g + 13 + 3. Let x be 30/12*2/y. Suppose -5*h - x + 11 = 0. Does 2 divide h?
True
Suppose 0 = -5*d + 2*d + 6. Let z = d + 4. Is 3 a factor of 4/(-6) - (-22)/z?
True
Let o(d) = d + 17. Let u be o(-12). Let s = u + 2. Is s a multiple of 7?
True
Let r(y) = y**3 + 6*y**2 + 4*y + 7. Is r(-5) a multiple of 4?
True
Suppose -2 - 10 = -3*b. Let m(p) = 3*p + p**3 + 7*p**2 + b*p - 4*p. Does 9 divide m(-6)?
True
Suppose 4*r - 50 = -5*n, 2*n + 0*r = -4*r + 8. Suppose -n = -g - 2. Is 3*(-2)/(g/(-22)) a multiple of 6?
False
Let y(k) = 10*k - 1. Let d be y(1). Let u(p) be the second derivative of p**5/20 - 2*p**4/3 - 7*p**3/6 - p**2 + 6*p. Is u(d) a multiple of 9?
False
Let c(v) = v**3 + 10*v**2 + 13*v + 2. Does 29 divide c(-7)?
True
Let u = 0 - 15. Let q be (-21)/u + 2/(-5). Does 2 divide 2*(q*-2 - -4)?
True
Let h(n) = -n**2 + n - 3. Let v be -1*(0 + 1) + 1. Let k be h(v). Does 16 divide (-78)/k + -2*1?
False
Is 3/2*592/12 a multiple of 21?
False
Let h(m) = -14*m**2 + 7*m + 7. Let p(a) = a + 1. Let l(v) = -h(v) + 6*p(v). Does 12 divide l(-1)?
False
Let j(x) = -x**3 + x - 3. Does 7 divide j(-3)?
True
Let c(m) = 0*m + 3*m + m**2 - 3*m + 12*m**3. Let r be c(1). Suppose -15 - r = -2*i. Is 7 a factor of i?
True
Let q(g) = g**3 + g**2 + 2*g - 1. Let a be q(3). Suppose 3*y - 19 - a = 0. Does 10 divide y?
True
Let d(t) = 4 + 0*t - 4*t + 4*t**2 + 3*t - 5. Does 11 divide d(3)?
False
Let m(n) = -2*n**2 - 5*n + 2*n + 0*n - 3 - n**3. Let o be m(-3). Suppose -5*y + 2 + o = t, 0 = 2*t + 5*y - 39. Does 22 divide t?
True
Suppose 0*f + f = 5. Suppose 0 = -4*r + 4*j + 56, -2*j = -7*j + f. Is r a multiple of 5?
True
Let v = -16 + 13. Does 21 divide 1*50 + (0 - v)?
False
Let y be 1*7 + 3 + -3. Suppose -2 = 5*c - 12. Suppose -c*b - 4*r - 20 = -y*b, r - 13 = -b. Is b a multiple of 5?
False
Let l be (-6)/5*5/1. Let a = l + 11. Suppose 0 = -n + c + 5, 5*n - 3*n - 24 = -a*c. Is n a multiple of 3?
False
Suppose -4*i = c + 3*c - 268, -5*c = 4*i - 270. Does 12 divide i?
False
Let y(n) = n**2 + n - 6. Is 3 a factor of y(-5)?
False
Let h(x) = -x**3 + 7*x**2 - 11*x + 3. Is h(4) a multiple of 2?
False
Let p be ((-14)/8)/(4/(-16)). Suppose f + 5*d - 27 = 0, -4*f - d = -120 - p. Does 16 divide f?
True
Is (-1)/(-4)*2*46 a multiple of 8?
False
Let z be 9/(-6)*122/(-3). Suppose 3*v - z = 26. Does 22 divide v?
False
Let n = -1 - -1. Suppose n = 4*f - 0*f - 64. Does 16 divide f?
True
Suppose -2*v + a + 193 = 0, 0 = 5*v - 5*a - 364 - 131. Does 30 divide v?
False
Let f(p) = p**3 - 6*p**2 - p - 6. Does 12 divide f(7)?
True
Let f(i) = i - 3. Let m be f(3). Suppose -g + 1 + 11 = m. Does 4 divide g?
True
Suppose -2*m + 27 - 149 = 0. Does 10 divide 3/6 - m/2?
False
Let a = 13 - 8. Suppose -a = -4*g - 41. Let c = 31 + g. Does 9 divide c?
False
Let h be (-27)/18 - 3/(-2). Suppose h = 2*r + 4 - 16. Does 2 divide r?
True
Let m(r) = 5*r - 4*r**2 - 2 - 3 - r**3 + 2. Let w be m(-5). Let n = -1 - w. Is 2 a factor of n?
True
Is 13 a factor of (14/5)/((-9)/(-90))?
False
Let c = -43 - -107. Is c a multiple of 6?
False
Suppose -5*f + 5 = -10. Suppose x - f*x = -136. Is x a multiple of 16?
False
Is (12/8)/((-3)/276*-2) a multiple of 7?
False
Suppose 13 = -5*g + 3*b, 0 = -b - 3*b + 4. Let t(w) = 6*w + 5. Let i(h) = h + 1. Let o(c) = 4*i(c) - t(c). Is o(g) a multiple of 3?
True
Suppose 18 + 13 = a + 3*k, 2*k + 194 = 4*a. Is 23 a factor of a?
True
Suppose 0 = -2*r + r - 16. Is 3/(-1) - -1 - r a multiple of 14?
True
Let m(r) = -2*r**3 - 4*r**2 + 2*r - 3. Let t(l) = -l - 14. Let s be t(-10). Is m(s) a multiple of 14?
False
Suppose -4*c = 4*p - 32, 0*p - 4*p - c + 29 = 0. Let l(m) = -6*m + 4. Let a be l(p). Let v = -22 - a. Does 6 divide v?
False
Let y = -46 + 162. Is 17 a factor of y?
False
Let p = 8 - 4. Let b(a) = -4*a - 6. Let m be b(-7). Suppose p*o + m = 150. Is o a multiple of 15?
False
Let y = 9 - 4. Suppose -o - 53 = -v, y - 115 = -2*v - 2*o. Is v a multiple of 24?
False
Let g = 108 + -52. Is 8 a factor of g?
True
Suppose -672 = -4*i - g, 4*g + 185 = 4*i - 3*i. Does 9 divide i?
False
Let l(i) = -i**3 - 5*i**2 - 9*i - 9. Is l(-5) a multiple of 12?
True
Let q(y) = -3*y + 2. Let w be q(-4). Suppose 16 + w = 5*m. Does 15 divide ((-8)/m)/((-2)/36)?
False
Let o(k) be the second derivative of k**3/3 - k**2 + 2*k. Let t = 4 + 0. Is o(t) a multiple of 6?
True
Is (11 - -1) + 14/7 a multiple of 6?
False
Let u(x) = 4*x + 8. Does 32 divide u(9)?
False
Let u(p) be the second derivative of 4*p**3/3 + 2*p**2 - 5*p. Does 12 divide u(3)?
False
Let b(o) = 2*o + 11. Let n be b(9). Let d = -45 + n. Let p = d + 27. Does 11 divide p?
True
Suppose -9 - 23 = -4*l. Suppose 0 = 4*r - l*r + 32. Does 3 divide r?
False
Let y = 12 + -17. Let r = -3 - y. Is 2 a factor of r?
True
Is 6 a factor of (-4)/8*2 + 16?
False
Suppose 47 = -5*i + 397. Is i a multiple of 9?
False
Let c = 525 - 141. Is c a multiple of 64?
True
Let x(b) = 1. Let h(a) = -a - 1. Let z(r) = 2*h(r) + 4*x(r). Does 3 divide z(-2)?
True
Suppose 5*d = 5*g - 3*g - 5, -5*g + 30 = 5*d. Suppose 0 = -0*y - 3*y + 5*i + 23, 0 = -2*y + 4*i + 12. Does 10 divide (y - d) + 1 + -4?
False
Let s = 7 - -7. Is 5 a factor of s?
False
Suppose -3*r = 5*g - 4, -4*g + 2 - 6 = 0. Let j be r/(6/(-64)*-1). Let d = j - 16. Is 16 a factor of d?
True
Let o be 4 + (-4 - -3)*2. Suppose -o*a + 27 = -29. Does 14 divide a?
True
Suppose 11*z - 14*z + 678 = 0. Does 7 divide z?
False
Suppose 0*f = -4*f - 8, -3*f = 2*w - 378. Is 15 a factor of w?
False
Suppose -3*h + 3*f + 12 = 0, f + 13 = 2*h + 2*h. Suppose h*n = -38 + 152. Let d = n - 8. Is 15 a factor of d?
True
Let u(n) = -3*n + 5 - 2*n - n + n. Let x be u(-10). Let b = -30 + x. Does 14 divide b?
False
Suppose -3*l - t = -68 - 69, -5*l - t + 225 = 0. Suppose 4 = -4*i + l. Is 7 a factor of i?
False
Suppose -4*z = -5*i - 144, 5*i + 5 = 25. Suppose -5*r + 4*c + z = 2*c, 4*c + 12 = 0. Suppose -2*s + 4*q - r = -1, 2*s + 2*q - 12 = 0. Is s a multiple of 3?
True
Does 50 divide (1 - 26)/(2/(-20))?
True
Let z(l) = l**3 - 19*l**2 + 11*l - 28. Does 30 divide z(19)?
False
Suppose -3*t = 2*t - 5, -3*t = -v + 2. Suppose 0 = -5*d + v*z + 45, 0*d - 5*z = 3*d - 3. Is d a multiple of 5?
False
Suppose -c - 3*j + 4 = 0, -1 + 7 = 5*c + j. Let z be (-1 - -2) + c + 4. Suppose -z = -4*i + 14. Does 3 divide i?
False
Let p = -20 + -18. Let x = p - -74. Is x a multiple of 18?
True
Let l(y) = y