= -5*i + 119. Is i a multiple of 9?
False
Suppose z - 36 - 4 = 0. Let w = -21 + z. Is 6 a factor of w?
False
Let u(s) be the first derivative of 3*s**2/2 + 19*s + 1. Is u(8) a multiple of 14?
False
Let d(x) = x**2 - 10*x + 8. Suppose -35 = -5*c + z, 5*c - 7*z - 55 = -2*z. Let t be d(c). Let u = 27 + t. Is u a multiple of 7?
False
Is 12 a factor of 5*6*(-4)/(-5)?
True
Suppose 3*i + 5*x = 14, 2 = 4*i - 4*x - 6. Let s(c) = 6 + c**2 + 8 + 4*c - i*c. Does 7 divide s(0)?
True
Suppose -33 = -12*y + 147. Does 3 divide y?
True
Suppose 2 = -d - 4. Suppose 5*f = 3*q - 21, f = 4*q + 1 - 12. Let g = f - d. Is g even?
False
Suppose 0 = -n - 20 - 79. Let s = -66 - n. Is 8 a factor of s?
False
Does 17 divide (16/10)/(-4)*-125?
False
Let a = -8 + 12. Suppose 0 = -s + a*s - 18. Does 6 divide s?
True
Let c(m) = m**3 + 7*m**2 + m + 3. Let i be c(-7). Let t = -2 - i. Does 18 divide 324/15 + t/5?
False
Is ((-1690)/(-39))/(2/9) a multiple of 15?
True
Let s(i) = -3*i - 9. Let v(w) = -w + 29. Let h be v(0). Suppose -3*m = 4*k + h, 5*m = k - 0*k + 13. Is 15 a factor of s(k)?
True
Suppose 2*k = -v + 9 - 1, 2*v = 3*k + 2. Suppose -2 = p - v. Does 4 divide 1 + 0 - (-5 + p)?
True
Does 6 divide 1*(6/7)/((-2)/(-14))?
True
Suppose 4*c - 5*v + 615 = 9*c, -5*v = -4*c + 456. Does 12 divide c?
False
Let k = -53 - 73. Let p = 193 + k. Is 23 a factor of p?
False
Suppose 4*o - 47 = -3*h + 61, -5*o = h - 146. Let s = o - 10. Is 8 a factor of s?
False
Suppose -2*n = -n - 2. Suppose 0 = -n*o + o + 17. Is o a multiple of 17?
True
Let w(j) = -8*j**2 - 9*j + 1. Let b(s) = -17*s**2 - 18*s + 1. Let v(o) = 6*b(o) - 13*w(o). Is 15 a factor of v(-7)?
False
Let s = -74 - -124. Is 10 a factor of s?
True
Let j(f) = -f**3 + 5*f**2 + 8*f - 8. Suppose -4 = -2*s - 2*c, -4*s + 6 + 22 = -c. Let g be j(s). Suppose 0 = 3*u + g*l - 22, 0 = 4*u - u + 5*l - 26. Is u even?
True
Does 11 divide (-16)/104 + 654/26?
False
Let d = 37 + 17. Does 15 divide d?
False
Let p(u) = 3*u - 6. Is p(10) a multiple of 12?
True
Let b = -12 - -42. Let h = b - 16. Is h a multiple of 7?
True
Let f be ((-1)/(-2))/((-1)/16). Let s be f/(-4*2/4). Suppose s = t + 1. Is 3 a factor of t?
True
Let m(g) = -g**2 + 2*g + 2. Let v(h) = -2*h**2 + 5*h + 3. Let u(a) = 7*m(a) - 4*v(a). Is 9 a factor of u(7)?
True
Let t = 170 - 93. Does 15 divide t?
False
Suppose 0 = 7*k - 2*k - 15. Suppose -k*f = -8*f + 240. Is f a multiple of 12?
True
Let u(a) = 9*a - 19. Let f(t) = -2*t + 2. Let h be f(-2). Is u(h) a multiple of 7?
True
Let o(i) = -13*i**3 + i**2 - i + 2. Does 26 divide o(-2)?
False
Let p be (-33)/27 - 2/(-9). Is (7 - 0)*(-11)/p a multiple of 23?
False
Let o(j) = -3*j**2 + 3*j + 1. Let w(m) = 7*m**2 - 7*m - 3. Let u(y) = 9*o(y) + 4*w(y). Let p be (-3)/(-9) + 26/(-6). Is 17 a factor of u(p)?
True
Let v(a) = -7*a + 4. Does 10 divide v(-4)?
False
Suppose -4*v - 2*p + 10 = 0, v - 1 = -p - 0*p. Suppose 59 - 147 = -v*b. Does 11 divide b?
True
Is (39 + (7 - 3))/1 a multiple of 13?
False
Let w be -3 + (-381)/9*-3. Does 7 divide 4/18 - w/(-9)?
True
Is 50 a factor of -5*(-4)/5 + 346?
True
Let l = -18 - -25. Is l a multiple of 3?
False
Let s = 3 - 4. Let i(a) = a**2 + 1. Let w be i(s). Suppose 3*j = -2*v - 9 + 59, -w*v + 5*j = -18. Is v a multiple of 19?
True
Let h(k) = k**3 - 1 - 3*k + k**3 + 0*k**3 + 3 - k**2. Is 21 a factor of h(3)?
False
Let o(k) = -k**3 - 5*k**2 - 4*k. Let w be o(-4). Suppose w = v - 2*v + 29. Is v a multiple of 5?
False
Let k = 6 + -4. Let c(q) = -3 + q**2 + 4*q**2 - 2*q**2 - k*q. Is c(-2) a multiple of 13?
True
Let r(g) = g**2 + 14*g - 1. Is 73 a factor of r(-21)?
True
Does 20 divide 1/5 + (-1194)/(-30)?
True
Suppose l - 3*l = 18. Is (-3 - 0)*48/l a multiple of 8?
True
Is (420/(-25))/(1/(-5)) a multiple of 21?
True
Suppose -3*d - 7 = 2. Let c = -1 - d. Is (c + -1)/(2/8) a multiple of 3?
False
Is 1496/56 - 4/(-14) a multiple of 8?
False
Suppose -6 = 3*v, q = -0*q + 4*v + 14. Let j(c) = -c**3 + 5*c**2 + 2*c - 4. Let b be j(7). Is 11 a factor of (b/(-6))/(4/q)?
True
Let g be (-63)/7*(-2)/(-3). Let n(k) = -k**2 - 5*k + 1. Let y be n(g). Is 12 a factor of (-38)/(y/((-15)/(-6)))?
False
Suppose -2*y - y - j = -53, y + 4*j = 3. Does 12 divide y?
False
Let f(i) = i**3 + 4*i**2 + i + 3. Let d be f(-4). Let m be 3*(-15)/(-9)*d. Is 7 a factor of -1*48/15*m?
False
Suppose -6*x - 34 + 130 = 0. Is 8 a factor of x?
True
Let m = -29 - -19. Let y = 17 - m. Does 8 divide y?
False
Suppose -2*k + 206 = 4*p, k = 4*p - 3*k - 212. Is p a multiple of 27?
False
Let u be 9/(-3) - (-4)/4. Is (-11)/u + (-4)/(-8) a multiple of 6?
True
Suppose 0 = -2*a + 83 + 41. Let l = a - 36. Suppose -90 + l = -4*q. Does 6 divide q?
False
Let v(k) be the second derivative of k**5/20 + 7*k**4/12 + k**3/3 + 2*k**2 - 3*k. Is 7 a factor of v(-6)?
True
Suppose -5*v + 1 = -4. Suppose -5*p = 4 + v. Is 4 a factor of 10 + 1*p/(-1)?
False
Let w(r) = -r**3 + 11*r**2 + 9*r. Let n be w(12). Let t = -15 - n. Is 21 a factor of t?
True
Let y(l) = -l - 1. Let m be y(-1). Suppose -2*t + m*t = -90. Suppose 0 = -2*i - v + t, 4*i - 3*v + 2*v = 81. Does 10 divide i?
False
Let j(m) = -m**3 - 2*m**2 + 4*m + 1. Let c be j(-3). Does 14 divide (-101)/c + (-3)/6?
False
Let o(d) = -2*d + 1 + d**2 - 5 + 3 + 2. Let n be o(1). Suppose 0 = -n*h - 5*h + 180. Is h a multiple of 17?
False
Suppose -r + 143 = -0*r. Suppose -24 = -i - 4*d, -2*i + 3*d = 3*i - r. Is 16 a factor of i?
False
Let x = 15 - -14. Does 12 divide x?
False
Let y = 16 + 41. Let g = -38 + y. Does 10 divide g?
False
Let z = -102 - -162. Suppose -z = -4*i - i. Does 6 divide i?
True
Let y = 18 - 13. Suppose y*q = -v + 90, 6*v = q + 2*v + 3. Suppose -q = -3*n + 1. Is 5 a factor of n?
False
Let j(m) = m**3 - m**2 + m + 19. Is j(0) a multiple of 6?
False
Suppose -3*h + 959 = 4*h. Is 32 a factor of h?
False
Suppose 0 = 3*p - 3 - 3, 10 = -2*o + 5*p. Let d be (-176)/2 - (1 + o). Let k = -42 - d. Is k a multiple of 18?
False
Suppose -2*n + 31 + 19 = 0. Let g = 98 - n. Suppose 3*t + 2*s - g + 8 = 0, -29 = -t + 3*s. Does 11 divide t?
False
Suppose 0 = 4*h + z - 8, -20 - 12 = -4*h + 5*z. Suppose 4*n = -2*k - 8, -2*n - h*n = 2*k + 13. Is k a multiple of 6?
True
Suppose -2*o - 18 = -4*s, s + 4*o - 28 + 10 = 0. Suppose -3*d + s = 0, 5*f + 22 - 160 = d. Does 14 divide f?
True
Let q be 6 - -17 - (1 + 1). Let u = 60 - q. Let y = -28 + u. Is 11 a factor of y?
True
Is 12 a factor of (-245)/(-10) - (-2)/(-4)?
True
Suppose -4*d + 562 = 2*n, 0 = d + 2*d - 5*n - 415. Is d a multiple of 14?
True
Let b = -9 + 5. Is 5*(b + 3 - -2) a multiple of 2?
False
Suppose -c + 6*c - 5 = 0. Let q be 1 + (-2 - -2) - c. Suppose -4*b + b + 54 = q. Does 7 divide b?
False
Let k(n) = n**3 + 6*n**2 - 7*n. Let i be k(-7). Suppose -5*q - v + 20 = 0, i*v = -3*q + 2*v - 1. Suppose -q*s + 4 = -2, 4*s = -3*a + 107. Is a a multiple of 18?
False
Let k(l) = -70*l**2 + l - 1. Let m be k(1). Let j(w) = -2*w**2 + 3*w - 15. Let n be j(5). Let y = n - m. Does 10 divide y?
True
Suppose 0 = 4*c + 2 - 18. Let o(v) = 0*v + v - c + 15. Is o(-9) a multiple of 2?
True
Let a(o) be the third derivative of o**8/960 + o**5/30 - 4*o**2. Let x(i) be the third derivative of a(i). Is x(-1) a multiple of 7?
True
Let l(b) = -2*b**2 - 3*b - 1. Let z be l(-3). Let t be 5/z - 18/(-4). Suppose -4*w = t*x - x - 69, -w + 4*x + 22 = 0. Does 8 divide w?
False
Suppose 31 = d - 11. Let n = 61 - d. Let x = 57 - n. Does 19 divide x?
True
Let k(v) = 10*v**3 + v - 1. Does 9 divide k(2)?
True
Let k = 21 - 25. Let r(n) = -2*n**2 + 6*n + 2. Let g(q) = q**2 - 3*q - 1. Let i(d) = -5*g(d) - 3*r(d). Does 7 divide i(k)?
False
Suppose 3*u + 14 = -5*y + 39, u = -3*y + 11. Suppose u*c - 49 = -d, -2*c = 5*d - 3*d - 18. Is c a multiple of 9?
False
Suppose 3*b = 236 + 88. Suppose -w - 5*w + b = 0. Is w a multiple of 6?
True
Let k = -49 + 84. Does 5 divide k?
True
Let f(g) = -2*g - 5. Let b be (1 - (2 - 2))*-7. Let z be f(b). Let w = z - -5. Does 7 divide w?
True
Suppose 2*b = 5*b - 3. Let n be b*7*4 + 0. Is (n/35)/(2/35) a multiple of 8?
False
Suppose -5*l = -12 - 13. Suppose 2*i - 160 = -l*d, 4*i = -0*d - 2*d + 48. Is 8 a factor of d?
False
Let n be -2*(-4)/(-32)*4. Does 10 divide 4 - (1 + 53)*n?
False
Let l = -7 - -10. Let f = l - -5. Is f a multiple of 4?
True
Let z(g) = -g**2 - 18*g + 34. Is 45 a factor of z(-14)?
True
Let n(r) = r**3 +