) = 3*o**2. Let h be z(1). Suppose -f + h = g, 2*g - 2*f - 3 = 11. Suppose x - g = 7. Is 7 a factor of x?
False
Suppose 2*d - 3 - 17 = 0. Is (-324)/45*d/(-2) a multiple of 18?
True
Let h = 2 - 10. Let k be (8/10)/(h/(-100)). Let m(g) = 2*g - 4. Is 16 a factor of m(k)?
True
Let b(i) = 3*i - 6. Is 8 a factor of b(7)?
False
Let d(p) = -8*p + 3. Let t be d(-3). Let g be 10/4 - (-1)/(-2). Suppose g*u + 4*h = -u + 4, 4*u = -h + t. Is 4 a factor of u?
True
Let s(t) = -4*t**3 - t**2 + t + 1. Let p be s(-1). Suppose p*j = 4*j - 16. Does 8 divide j?
True
Let l = 8 + 2. Let r = l - 7. Is r a multiple of 2?
False
Suppose -3*v = 5*h - 19, -4*h = 4*v + v - 23. Suppose 9 = h*u - 3. Is u a multiple of 3?
True
Let w = -15 + 5. Does 14 divide (-4 + w)/(-1 - 0)?
True
Let c(g) = -2*g**2 + 36*g + 30. Is c(18) a multiple of 10?
True
Let o(v) = -v**3 + 4*v**2 + 6*v - 1. Suppose -8 + 3 = 5*x + 3*k, -2*x - k - 2 = 0. Let u = 5 + x. Is 10 a factor of o(u)?
False
Let m be (-33 - -2)*2/2. Is 2 + -1 - -2 - m a multiple of 17?
True
Let d = 93 + -23. Is d a multiple of 14?
True
Let l = 4 - -4. Suppose 22 = -7*r + l*r. Is 11 a factor of r?
True
Suppose 5*u = 21 + 4. Suppose -2*w + u*w - 3 = 0, w + 95 = 4*a. Does 18 divide 495/(-22)*a/(-10)?
True
Is 3 a factor of -25*((-52)/(-20) + -3)?
False
Let g = -15 - -15. Suppose g = -5*v + 4*i + 340, -3*v - 5*i + 79 = -88. Is v a multiple of 22?
False
Suppose -4*v = -3*s - 2*v + 408, -544 = -4*s - 3*v. Is s a multiple of 9?
False
Let t = 96 + -25. Does 16 divide t?
False
Let k = 8 + -14. Let l be ((-3)/k)/((-1)/(-6)). Suppose -54 = -l*d + 48. Does 19 divide d?
False
Let y(s) = -s**3 + 11*s**2 + 2. Let n be y(11). Suppose -4*m - 94 = -n*j, j + m - 21 = 14. Does 13 divide j?
True
Let m be (-117)/12 - 2/8. Does 6 divide (-124)/(-10) + 4/m?
True
Let o(f) = -3*f - 1. Let u = 0 + -1. Let a be o(u). Suppose 0 = -0*k + a*k - 10. Is k even?
False
Let q be ((-7)/14)/((-2)/536). Let v = q - 80. Is 18 a factor of v?
True
Suppose 0*r + 2*r = 6. Let s be r/6 + (-169)/(-2). Suppose 5*a = -3*q + 4 + 7, 5*q - 5*a = s. Does 11 divide q?
False
Suppose 7*q + 70 = 17*q. Is q a multiple of 4?
False
Let j(c) = 49*c**3 - 3 + 4 - c - c. Let p be j(1). Suppose w = p - 12. Is w a multiple of 14?
False
Let t(y) = -14*y**2 - 12*y - 18. Let u(a) = 5*a**2 + 4*a + 6. Let c(p) = -4*t(p) - 11*u(p). Is c(-5) a multiple of 6?
False
Does 2 divide 26 + (-3 - ((-3 - 1) + 1))?
True
Let z be 33/7 + 10/35. Suppose 0 = -r - 1, 2*g + 2*r - z = 33. Is 10 a factor of g?
True
Suppose w + 89 + 124 = 5*p, 0 = -p - 5*w + 53. Is p a multiple of 4?
False
Suppose -4*s + 507 = 9*s. Does 19 divide s?
False
Suppose 2*v + 0*f + 5*f = 73, -2*f + 104 = 3*v. Is v a multiple of 8?
False
Let n = 10 - -21. Is n a multiple of 7?
False
Does 19 divide 1*-3 + 294/3?
True
Does 10 divide -4 - 56/(-5 - -1)?
True
Let d(n) = -n**3 - 3*n**2 + 8*n + 5. Let r(u) = u**3 + 3*u**2 - 9*u - 5. Let q(m) = 7*d(m) + 6*r(m). Let c be q(-5). Suppose c = 4*s - 19. Is s a multiple of 8?
True
Suppose 5 = 5*c - 5, 0 = 4*f - 4*c - 404. Is f a multiple of 26?
False
Let f(w) = 5*w + 51. Let i(y) = 2*y + 17. Let l(x) = -3*f(x) + 8*i(x). Let g be l(7). Let m = 30 + g. Is 20 a factor of m?
True
Suppose -5*f + 5*i + 9 = -16, 3*i + 15 = f. Suppose 0 = -4*q - c + 13, -q + f*q - 4*c + 7 = 0. Suppose -q*t - t + 40 = 0. Does 6 divide t?
False
Let f(s) = -s**3 - 2*s**2 + 3*s + 4. Let r be f(-3). Suppose 4*b = -0*d + 3*d + 16, 8 = 2*b - r*d. Suppose -6*h + h = b*u - 30, 5 = -u. Does 5 divide h?
True
Let h(t) be the second derivative of -3*t**5/20 + t**4/12 - t**2/2 - 2*t. Let s be h(1). Does 17 divide 0 + ((-3)/s - -33)?
True
Let w = 8 - 1. Suppose w*z = 5*z + 6. Suppose 66 = 3*q + z*u, -u - 18 = 4*q - 103. Does 21 divide q?
True
Does 21 divide 6/(294/7217) - (-4)/(-14)?
True
Suppose 4*o - 84 = -5*v, v + 21 = o - 0. Is 11 a factor of o?
False
Let c = -2 - -6. Suppose 0 = c*k + 22 - 82. Is 9 a factor of k?
False
Suppose -3*d = 2*d - 85. Is d/5 + 10/(-25) a multiple of 3?
True
Let c(y) = -y + 8. Let d be c(5). Is (-5*d)/((-2)/10) a multiple of 25?
True
Let a = 4 - -1. Suppose -a*p + 8*p = -123. Let u = p - -81. Is u a multiple of 19?
False
Suppose -3*z + z = -238. Suppose 0*a = q + 3*a - 115, -q = -a - z. Let l = q - 73. Is 15 a factor of l?
True
Suppose 3*c - k = 43, 3*c - 49 = 3*k - 5*k. Is -12 + c + 19*1 a multiple of 8?
False
Suppose 4*r - 3*j - 159 = 0, -3*r = r + 4*j - 180. Does 5 divide r?
False
Let f(h) = 4*h**2 + 4*h + 8. Let k(l) = 3*l**2 + 3*l + 7. Let g(c) = -2*f(c) + 3*k(c). Let o be g(0). Let m = o - -19. Does 12 divide m?
True
Let w = -6 + 15. Is w a multiple of 5?
False
Suppose 0*x = -5*l + x - 7, 4*x + 6 = 3*l. Let r be (1*8 - -2) + l. Let s = r + 2. Is 5 a factor of s?
True
Let z be (-3)/2*(-24)/9. Suppose 4*v + 3*y = -2*y + 22, -20 = -2*v + 2*y. Suppose 56 = v*b - z*b. Does 14 divide b?
True
Suppose 7*q - 35 = -5*x + 2*q, -x + 5*q - 5 = 0. Suppose -10 = -x*c + 3*c. Suppose 2*d - 123 = -5*r, r - c*d - 19 = 11. Is 14 a factor of r?
False
Suppose b = 2*q - 3*b + 16, 0 = 3*b - 6. Let s = -2 - q. Suppose 2*a = s*p, -p = -4*a - 5*p + 40. Is a a multiple of 3?
False
Let h(p) = p**3 - 6*p**2 + 7*p - 6. Let x be h(5). Let b be (6/(-8))/((-1)/12). Suppose -x - b = -n. Is 13 a factor of n?
True
Suppose -2 + 1 = -p. Let y(q) = p + 20*q - 1. Does 10 divide y(1)?
True
Let u(h) = 4*h**2 + 6*h + 6. Is 9 a factor of u(-6)?
False
Suppose 5*m - 483 = 2*m. Let a = m - 113. Is 16 a factor of a?
True
Suppose 4*x - 574 = 258. Does 16 divide x?
True
Let w(y) = -4*y**2 - 2 - 2 + 3*y**2 - 6*y + 2*y**2. Let s be w(7). Suppose 165 = 2*b + s*b. Does 11 divide b?
True
Suppose 3*y + y - 120 = r, 5*r = 0. Is y a multiple of 15?
True
Let a(n) = n**3 + 13*n**2 - n. Does 13 divide a(-13)?
True
Let w(x) = x + 9. Let i be w(-7). Suppose i*o - 5 = 5*v, -o - 2*o = -5*v. Is 16 a factor of (-2 - 4/v)*-24?
True
Suppose -m + 1 = -4*c, -2*c + 8 = 2*c. Does 9 divide m?
True
Suppose 3*k + 6 = 4*k. Let t = k - 4. Suppose -u = -4*f + 3 + 2, -2*u = t*f - 20. Is 4 a factor of u?
False
Let r(q) = -10*q + 1. Does 10 divide r(-4)?
False
Let r(f) = 5*f - 1. Let k be r(7). Let g(u) = 124*u + 1. Let h be g(2). Suppose -5*x + k = j - h, 3*j - 108 = -2*x. Does 19 divide x?
True
Suppose -246 = -5*o + 3*n, 4*o + 4*n - 267 = -o. Does 17 divide o?
True
Suppose 0 = 2*m - 0*m - 3*b + 9, -4*b = 5*m - 12. Suppose 25 = 3*v + f, -5*v + m*f = f - 43. Suppose v*k = 4*k - 4*r + 48, -3*k + r + 39 = 0. Does 5 divide k?
False
Let t = -15 - -28. Suppose -3*o - t = -100. Is 20 a factor of o?
False
Let f = -9 - -13. Suppose -3*d - 12 = 0, -d - 152 = -f*q + d. Is 14 a factor of q?
False
Suppose 5*k - 2*b - 671 = 0, 5*k = 3*b + b + 677. Does 25 divide k?
False
Suppose -d + 58 = -10. Suppose q - 65 = 3*s + 8, 2*s = q - d. Is 12 a factor of 4/(-8) - q/(-4)?
False
Suppose -3*d + 4*q + 46 = 0, 0 = -5*d + 5*q + 86 - 16. Does 10 divide d?
True
Let v(a) = a**2 - 3*a + 5. Is v(7) a multiple of 7?
False
Let c(j) = -j**3 + 7*j**2 - 5*j - 5. Let k be c(5). Suppose 0*o - 2*o = -172. Suppose -3*n = -o + k. Is n a multiple of 9?
False
Suppose 3*t = 7*o - 3*o - 17, -2*o + 3*t + 13 = 0. Suppose -187 - 11 = o*c. Does 3 divide c/(-21) + (-2)/(-7)?
False
Is 2/(-3) + (-1705)/(-33) a multiple of 11?
False
Let s(r) = -r**3 + 5*r**2 + 8*r - 1. Is s(6) a multiple of 11?
True
Suppose -5*q = -149 - 241. Is 14 a factor of q?
False
Is 1*3 - (-30 - -14) a multiple of 4?
False
Let o = 0 - -2. Let y(t) = 0*t**2 + 28 + 3*t - o*t - t**2. Is 14 a factor of y(0)?
True
Suppose 0 = -2*t + 3*t + 2*b - 22, 2*b + 50 = 3*t. Let d be (-12)/t - (-232)/6. Suppose u = 3*u - d. Is u a multiple of 8?
False
Suppose 4*p - 5 + 1 = 0. Suppose 0 = -n + 3*n - g - p, g = -n + 5. Does 6 divide ((-1)/((-3)/102))/n?
False
Let m = 31 - 3. Is m a multiple of 6?
False
Suppose 36 = -5*b + 11. Suppose -21 + 47 = 2*d. Let y = b + d. Is 6 a factor of y?
False
Is (-16 + -5 + 1)/(-1) a multiple of 20?
True
Let t(p) = p**3 + 11*p**2 - 12*p + 22. Is 5 a factor of t(-12)?
False
Let g(z) = 2*z + 16. Let a be g(-7). Let h(b) = 3*b**3 - 3*b**2 + b - 2. Is h(a) a multiple of 5?
False
Let g be -5*(8/(-10))/2. Let q = g - 2. Does 2 divide 2/(q + (-1)/(-1))?
True
Suppose 0 = 33*o - 29*o - 1060. Is o a multiple of 15?
False
Let y be 4/(-6) - 346/(-6). Suppose -3*b + y