. Is 15 a factor of r?
False
Let l(b) = -b + 9. Let s be l(0). Let q = -3 - -3. Suppose q - s = -h. Does 8 divide h?
False
Suppose -2*c - i = -0*c + 26, 0 = -5*i - 10. Let y be (-1)/((-10)/c - 1). Is (y/(-4))/(1/(-6)) a multiple of 9?
True
Let o(b) = 14*b**2. Let p be o(1). Suppose 5*u - 31 = p. Let z = u - -25. Does 17 divide z?
True
Let d be (-8 + 4)/(1/(-3)). Suppose t = -3*t - 2*j + 6, 2*t - 2*j = d. Suppose -3*x + 4 = b, 4*x - t*x = 0. Is 2 a factor of b?
True
Let p = 2 - 0. Does 5 divide (1 - p)/(4/(-28))?
False
Let t(j) = j**3 + j + 2. Let f be t(-2). Let c = f + 12. Suppose 2*l = c*l - 36. Is l a multiple of 9?
True
Suppose -5*p - 29 = -4*p + 3*o, 0 = 4*o + 12. Is (-852)/(-10) - (-4)/p a multiple of 17?
True
Let p(c) = -39*c + 8. Let o(l) = -19*l + 4. Let x(m) = 13*o(m) - 6*p(m). Let d be x(-6). Let f = d - 36. Is 13 a factor of f?
False
Let z be ((-3)/(-4))/((-1)/(-44)). Let j = z - 2. Does 14 divide j?
False
Let p(x) = -3*x - 1. Let d(c) = -3*c - 2. Suppose 2*h = -0*f - 2*f - 14, f = 2*h + 8. Let o(g) = h*p(g) + 4*d(g). Does 18 divide o(7)?
True
Suppose 5*t - 19 = -4. Let o = -48 + 51. Suppose t*h = i + 49, o*h - 87 = -2*h - i. Does 6 divide h?
False
Let m(o) = -o**3 + 13*o**2 + 16*o + 4. Let j be m(14). Is ((-14)/(-8))/(8/j) a multiple of 7?
True
Let u(q) = -q**3 + 4*q**2 - q + 2. Does 4 divide u(3)?
True
Suppose l + l = 0. Suppose -5*w + 2*i - 10 = l, 7*w + i = 4*w + 5. Suppose p + 29 + 1 = k, -2*k - 4*p + 48 = w. Is k a multiple of 19?
False
Let k be 11/(-2) - 1/2. Let x = 1 + k. Let d = x + 17. Is d a multiple of 12?
True
Let m(r) = r**2 + 2*r + 69. Is m(0) a multiple of 17?
False
Let r(o) be the first derivative of 15*o**2/2 - o + 1. Is 10 a factor of r(1)?
False
Let s(v) = -v + 22. Is 9 a factor of s(11)?
False
Let d(c) = 2*c**2 + 4*c + 3. Let h be d(-2). Let g(t) = t**3 - 4*t**2 + 3*t. Let k be g(h). Suppose -2*q - 2*f = -6*q + 98, -q - 2*f + 37 = k. Does 12 divide q?
False
Is 2 a factor of (-20)/(4 - 5) + -1?
False
Let t(r) = -r**3 - 6*r**2 + 6*r + 1. Is 2 a factor of t(-7)?
True
Let b = 33 + -7. Suppose 0 = -5*h + 70 - 15. Let i = b - h. Is 13 a factor of i?
False
Let f = 14 - 9. Let q(x) = 0*x + 0*x + x + f. Is 17 a factor of q(12)?
True
Suppose -235 = -2*n - 13. Is n a multiple of 45?
False
Let b(s) = s - 4. Let m be b(4). Suppose 5*a = -m*a + 90. Is a a multiple of 10?
False
Suppose 2*o - 25 = 9. Is o a multiple of 17?
True
Suppose -b + 4*q = 4*b - 36, -3*q - 20 = -2*b. Let f be (23/3)/((-2)/(-6)). Suppose -3*n = -b*n + f. Is n a multiple of 18?
False
Is 7 a factor of ((-1)/((-7)/18))/(21/490)?
False
Let m be (-130)/(-18) - 4/18. Let y = -80 - -55. Let w = m - y. Does 16 divide w?
True
Let q(x) = -15*x - 20. Let w(v) = 1. Let y(m) = q(m) + 20*w(m). Is 30 a factor of y(-2)?
True
Suppose -3*w = -4*u - 6*w + 404, -3*u + 274 = -5*w. Suppose 4*o + u = 286. Is 20 a factor of o?
False
Let o be (-1 + 0)*(-4 + -1). Is 12 a factor of 242/o - 20/50?
True
Let a = 4 + 17. Is a a multiple of 19?
False
Let v be (0 - 4/12)*-291. Suppose h + v = 3*l, 2*h + 2*h = -2*l + 46. Is 7 a factor of l?
False
Let m(f) = -f**3 + 15*f**2 - 13*f + 16. Let i be (108/10)/(8/20). Let r = i - 13. Is 15 a factor of m(r)?
True
Suppose i = g + 13, 0*g = -i + 3*g + 23. Is 4 a factor of 86/i - (-1)/4?
False
Suppose 0*p + 18 = -3*p. Let c(d) = d**2 - 13*d + 13. Let g be c(11). Let b = p - g. Does 2 divide b?
False
Let w be 2/((5/2)/(-5)). Let l be 1*6/w*-14. Does 2 divide l/5 + 4/(-20)?
True
Let q be (5/(-15))/(2/(-1986)). Suppose 5*j = -3*b + 807, 3*b + q = -2*j + 1138. Suppose 0 = 2*o + 4, -4*t + b = -2*o + 69. Is t a multiple of 17?
False
Let u(i) = -8*i - 1. Let d = -10 - -8. Let s be u(d). Suppose 2*r = s + 5. Is r a multiple of 10?
True
Suppose -t + 2*t = 4*n + 19, 5*t - 31 = 4*n. Let m = -42 + 40. Is 19 a factor of 69 + (m - n)*1?
False
Suppose -3 = -x - 2. Let b(j) = 14*j**3 + j**2 - 2*j + 1. Let t be b(x). Let h = 30 - t. Is h a multiple of 6?
False
Let s(n) = 4*n**3 - n**2 - 3*n + 1. Let g be s(2). Suppose -q + g = h, 0*h - 125 = -5*h - 3*q. Suppose 56 + h = 2*l. Does 11 divide l?
False
Let t be 2488/18 - (-2)/(-9). Let d = 25 + t. Is d/7 + (-4)/14 a multiple of 8?
False
Does 10 divide ((-18)/(-15))/((-2)/120*-3)?
False
Suppose h + 2*x + x = 4, h = -x. Does 16 divide 9/(h - 35/(-16))?
True
Suppose -4*d - 5*a - 16 = -8*d, -33 = -5*d + 3*a. Suppose t = 4*t + d. Let l = 0 - t. Is 3 a factor of l?
True
Let b = -10 - -13. Let o = b + -1. Does 2 divide o?
True
Suppose -7*y = 9 - 709. Is y a multiple of 10?
True
Let i = 92 + -9. Is i a multiple of 28?
False
Let w be 0 + 0 + 5*1. Suppose 12*m = -8*m + 320. Suppose -3*b = 3*x + x - m, w*x = -b + 9. Is b a multiple of 3?
False
Let d(r) = r - 2. Let q be d(0). Does 22 divide 21*(-2 - (q + -3))?
False
Let n(x) = -x - 11. Let r = 18 + -30. Let p be n(r). Is 6 a factor of p*(-2 + 3)*19?
False
Is 52 - (6 - (1 + 1)) a multiple of 16?
True
Suppose -4*x = -0*x - 4*q - 20, 0 = -4*x - 2*q + 2. Suppose 0 = -3*g - x*w + 56, 0 = -0*g + 2*g - 3*w - 46. Let c = g + -11. Is c a multiple of 6?
False
Let c(l) = 5*l**2 - 9*l. Is 34 a factor of c(4)?
False
Let p(r) = 23*r - 1. Let l be p(2). Suppose 5*h - 45 = l. Does 6 divide h?
True
Let v(n) = -n**2 + 9*n - 2. Let g be v(7). Suppose -g = 3*q - 4*q. Does 10 divide (-6*1)/(q/(-40))?
True
Suppose 7*z - 11*z + 128 = 0. Is z a multiple of 9?
False
Let v be (-15)/2*(-4)/6. Let f = -191 - -347. Suppose -f = -v*n + 39. Is n a multiple of 13?
True
Is 12 + (2 - (-2 - -6)) a multiple of 8?
False
Suppose 0 = 4*t - 2*t - 8. Let i(u) = -u**3 + 6*u**2 - 3*u + 3. Let b be i(4). Suppose -h = -t - b. Is 10 a factor of h?
False
Let b be 4/6 + (-39)/(-9). Suppose b*j + 0*j + 135 = 0. Let z = j + 42. Does 15 divide z?
True
Let z(w) = w**3 + 4*w**2 - 2*w. Let s be z(-5). Let u = 70 - s. Suppose 5*q - u = -5*g, -2*g + 36 = -q - 10. Is g a multiple of 17?
False
Let u(q) = 4*q - 5. Is u(6) a multiple of 7?
False
Suppose -4*i = -2*l + 16 + 28, 0 = -3*i + 3*l - 39. Let r(z) = -8*z - 4. Is 17 a factor of r(i)?
True
Let j(t) = t**3 + 2*t**2 - 3*t - 3. Let y be j(-2). Let v = y + 2. Suppose q - v*q = -212. Does 18 divide q?
False
Suppose 4*k + q - 534 - 273 = 0, -2*q = k - 207. Is 15 a factor of k?
False
Let m = -27 - -3. Is (-2)/(-5)*(-4 - m) a multiple of 8?
True
Let d = -4 - -75. Is d a multiple of 29?
False
Let w(a) = 22*a**2 - 2*a + 1. Let j be w(1). Let v be 3/(-3)*-1*7. Let o = j + v. Is 14 a factor of o?
True
Let a(c) = c + 37. Let v(u) = -u - 18. Let i(p) = 6*a(p) + 14*v(p). Let r(j) = 3*j + 10. Let f(g) = 5*i(g) + 14*r(g). Does 4 divide f(7)?
True
Suppose 5*g - 458 = 117. Does 14 divide g?
False
Let x = -124 - -297. Let k = x + -105. Is k/18 - 4/(-18) a multiple of 2?
True
Let p(n) = n**3 + 4*n**2 - 4*n + 7. Let i be p(-5). Suppose -i*l + l = -62. Is l a multiple of 23?
False
Suppose 0*z + x - 110 = -5*z, 0 = -5*z + 4*x + 135. Does 10 divide z?
False
Let x(f) = -5*f**3 + 6*f**2 + 3. Let j(i) = -11*i**3 + 12*i**2 + 7. Let w(c) = -6*j(c) + 13*x(c). Let h be w(-4). Let v = h + -8. Is 18 a factor of v?
False
Let m = -9 + 5. Let w be (-45)/m*16/4. Suppose -y + 4*f = 2*y - 50, 3*f = 3*y - w. Does 6 divide y?
False
Does 22 divide (-62)/(-3)*12/8?
False
Suppose -3*o + 9 = -0*o. Suppose -o + 2 = -p. Suppose -p = 3*n - 16, -3*l = -n - 28. Does 4 divide l?
False
Does 14 divide (2 + (-24)/9)*-90?
False
Let s be -2 - 1/((-2)/206). Suppose 173 = 3*k + 4*z, -5*k + 134 = 2*z - 159. Let g = s - k. Is g a multiple of 14?
True
Let m = 73 - 31. Does 34 divide m?
False
Suppose -4*l + 614 = 190. Suppose l = 5*m - 14. Does 10 divide m?
False
Suppose 552 = 5*h + 52. Is 25 a factor of h?
True
Suppose 2*q + 2*q - 148 = -5*k, -4*q + 3*k + 148 = 0. Is q a multiple of 11?
False
Let z = -89 + 60. Let s = z - -61. Does 15 divide s?
False
Let k(r) = 6*r + 80. Is k(20) a multiple of 20?
True
Let q(r) = r**3 - r**2 + 4*r - 4. Is 26 a factor of q(3)?
True
Suppose 240 = 4*b + 4*m, -5*b + 296 = -3*m + 6*m. Does 10 divide b?
False
Suppose -s + 0*s + 60 = 4*c, 0 = -3*c + 4*s + 45. Let t = c + 9. Does 12 divide t?
True
Let m(n) = n**3 + 9*n**2 + 1. Let a(x) = -x**2 + x + 3. Let g be a(-3). Let w be m(g). Suppose -3*r - w = -10. Is 3 a factor of r?
True
Let w(b) = 4*b**3 + b**2 - b + 1. Let q be w(1). Suppose q*j + 4 + 28 = h, 5 = j. 