= 5*h - 187, -3*h + 56 = 4*f - b. Is 4 a factor of 28/h*10*1?
True
Suppose 4*m = 4*s - 304, 0 = -2*s + m - 3*m + 148. Is 13 a factor of s?
False
Let g(v) = -4*v + 8. Let y be g(-7). Suppose -4*z + y = -z. Let q = z + 2. Does 14 divide q?
True
Suppose -2*f = -1 - 131. Is 26 a factor of f?
False
Let m(f) = 8*f + 12. Does 19 divide m(8)?
True
Suppose 3*d + 5 = -22. Let z be ((-1 - -2) + 1)/(-2). Let r = z - d. Is r a multiple of 8?
True
Suppose 22*i - 13*i - 333 = 0. Does 4 divide i?
False
Suppose u = x - 4, -5*x - 4*u - 2 + 4 = 0. Is (-2 - x)*(1 + -11) a multiple of 20?
True
Let i = -4 - -3. Is 4 a factor of (i/(-1))/((-2)/(-24))?
True
Suppose -2*b - 4*s = -36, 0*s - 102 = -4*b + 2*s. Suppose -5*p = -5*x + 10, -b = -7*p + 4*p - 3*x. Is p even?
False
Suppose s + 2*w = 4*s + 103, 109 = -4*s - 3*w. Let c = -1 - s. Is 6 a factor of c?
True
Let o be (0 + 2 + -3)*1. Let p(d) = -13*d**3 + d**2 + d + 1. Does 4 divide p(o)?
False
Suppose g = 5*g - 16. Let x(t) = -t**2 + 7*t. Let h be x(3). Let u = h - g. Is 4 a factor of u?
True
Let i(l) = -l + 8. Does 16 divide i(-8)?
True
Let w(u) = 4*u - 3. Is 13 a factor of w(12)?
False
Suppose 3*k = 581 - 149. Does 22 divide k?
False
Let a(n) = -2 - 3*n + 2*n**2 - 4*n**2 + 4*n**2. Let i(t) = t**3 + 4*t**2 - t - 1. Let u be i(-4). Does 7 divide a(u)?
True
Let n(g) = -3*g**3 + 8*g**2 - 2*g + 5. Let z(h) = h**3 - h**2 - 1. Let v(r) = n(r) + 2*z(r). Is 18 a factor of v(5)?
True
Let g = 5 + -2. Suppose -k = 4*i - 0*k - 14, i - g*k - 10 = 0. Let l = 0 + i. Does 2 divide l?
True
Is 0 + 8/(-4) + 2 + 30 a multiple of 6?
True
Suppose -14 = -5*m + 4*n, -2*n = -m - 3*m + 10. Suppose 0*c = m*c - 2. Is 15 a factor of ((-75)/20)/(c/(-4))?
True
Let w = 144 + -89. Does 32 divide w?
False
Let h(o) = o**2 - o. Let t(r) = 7*r**2 - 13*r + 9. Let z(v) = -v**2 - 3*v - 2. Let p be z(-4). Let a(s) = p*h(s) + t(s). Is a(8) a multiple of 8?
False
Let u = 476 - 314. Is u a multiple of 18?
True
Suppose 0 = -2*g + 14 + 30. Suppose -3*x - 2*x = -s + g, -3*s = 9. Is 3*(-3 - x)/1 a multiple of 6?
True
Suppose 45 = -3*y - 0*j - 2*j, 0 = -y - 5*j - 28. Suppose -x - 46 = 4*m + 42, 5*x + 88 = -4*m. Let a = y - m. Is a a multiple of 9?
True
Let d = 10 - 20. Is 9 a factor of (12/d)/(4/(-90))?
True
Let w be ((-3)/2)/((-1)/(-2)). Is ((-12)/(-15))/(w/(-60)) a multiple of 12?
False
Suppose -5*r - 4*o = 6 - 25, -r = -o - 2. Is r a multiple of 3?
True
Let h be (0 - 75/(-6))*14. Let k = -82 + h. Suppose 3*g + 6 = k. Is 15 a factor of g?
False
Let p be 2*-2 - (-6 - 2). Let j(w) = 5*w - 4. Is 9 a factor of j(p)?
False
Suppose -5*s = 5*d - 170, -2*d + 2*s + 2*s + 62 = 0. Is d a multiple of 10?
False
Let n(s) = -s. Let j(w) = 2*w + 2. Let h(r) = -j(r) + 10*n(r). Is 13 a factor of h(-2)?
False
Let n(y) = -32*y + 9. Is n(-4) a multiple of 9?
False
Suppose 2*y + 12 = 256. Is 32 a factor of y?
False
Let o = -12 - -18. Let g be (4/o)/((-1)/6). Is 6 a factor of -1 - g - 26/(-2)?
False
Let g(r) = 6*r**2 + r - 2*r**3 - 4 + 3*r**3 - 5*r. Let s be g(-4). Suppose 0*w - w = -s. Is 22 a factor of w?
True
Suppose 0 = 3*j - 4*a - 384, 0 = 2*j - a - 4*a - 249. Is j a multiple of 23?
False
Let q(c) = c**3 - 11*c**2 + 3*c - 5. Is q(11) a multiple of 5?
False
Let f(v) = -v**3 + 8*v**2 + 9*v. Let p be f(9). Let w be 5 - (p + (2 - 0)). Suppose w*k - 36 = -0*k. Is k a multiple of 7?
False
Let q(p) = -23*p**3 - 2*p**2 + 5*p - 4. Let u(y) = -y + 1. Let x(j) = q(j) + 5*u(j). Is 6 a factor of x(-1)?
False
Let z(n) = n**3 - 2*n**2 - n - 2. Is 7 a factor of z(4)?
False
Suppose 5*x + 3*j + j - 605 = 0, 0 = 4*x + 3*j - 485. Does 25 divide x?
True
Suppose -2*l - 52 = -238. Is l a multiple of 12?
False
Let o(a) = 2*a - 3. Let t be o(3). Let i = 3 - t. Suppose i = -2*k + 6*k + 12, -p - k + 10 = 0. Is p a multiple of 9?
False
Let d = 12 - 3. Let y(n) = 71*n**3 - 2*n**2 - 7*n + 7. Let r(b) = 35*b**3 - b**2 - 3*b + 3. Let h(j) = d*r(j) - 4*y(j). Is h(1) a multiple of 19?
False
Suppose 3*n - o = 93, 2*n - 3*o + o - 62 = 0. Does 11 divide n?
False
Let k = 7 - -1. Suppose 3*j - 7*j + k = 0. Is j even?
True
Let m(s) be the third derivative of -11*s**8/3360 - s**7/2520 - s**4/12 - 3*s**2. Let c(a) be the second derivative of m(a). Is c(-1) a multiple of 7?
True
Suppose -4*h + 0*s - 59 = -5*s, -5*h - s = 52. Let x = -16 - h. Is 3 a factor of (-29)/x + (-1)/(-5)?
True
Let o be 2/9 + 104/18. Let b = 12 + o. Is b a multiple of 5?
False
Suppose 3*y + 132 = 6*y. Suppose 48 + y = 4*i. Suppose -i - 57 = -4*v. Does 10 divide v?
True
Suppose -5*s = -2*d - 3*d + 295, -125 = -2*d - 5*s. Does 20 divide d?
True
Let r(y) = 4*y + 1. Let j be r(2). Suppose -3*f - 5*n - j = 16, -10 = -4*f + 2*n. Suppose -3*q + 3*m = f, 0*q - 5*q + m + 20 = 0. Is 2 a factor of q?
False
Let q(a) = -3*a - 19. Is 5 a factor of q(-8)?
True
Let d(w) be the second derivative of w**4/12 + 2*w**3/3 + 5*w**2/2 - w. Let c be 2/(-6) - 17/3. Is 12 a factor of d(c)?
False
Let l be ((-2)/(-4))/((-1)/(-52)). Suppose 0*t - l = 2*t. Let c = 25 + t. Does 12 divide c?
True
Does 15 divide 4/(-6) + 470/30?
True
Let n = -4 - -8. Is n/(-12) - 38/(-6) a multiple of 4?
False
Let u(y) = -4*y - 5. Let g(k) = -11 + 20*k + 21 + 15. Let m(p) = 2*g(p) + 11*u(p). Does 12 divide m(-7)?
False
Suppose 0 = -5*n - 15, -1995 = 4*b - n + 2*n. Let z be 0 - 1/(3/b). Is z/10 + (-2)/(-5) a multiple of 17?
True
Suppose 3*f + 2*f - 4*o + 12 = 0, 5*f - 2*o + 6 = 0. Suppose -j - j + 2 = f. Does 9 divide (-3)/j + (16 - -5)?
True
Let b(d) = d - 3. Suppose -3*g + 6*g - 23 = -2*z, 5*g + 3*z - 38 = 0. Is b(g) even?
True
Let s = 8 - -10. Does 6 divide s?
True
Let j(o) = 71*o**2 - 1. Is j(-1) a multiple of 14?
True
Suppose 0*d - 4*d + 272 = 0. Suppose -4*p + 4 = -d. Is p a multiple of 9?
True
Let a(z) be the first derivative of -z**2/2 - z + 4. Is 2 a factor of a(-4)?
False
Suppose 0*n = -n + 2*t + 13, 4*t + 11 = -n. Let a = 23 - n. Does 9 divide a?
True
Let g be (-2)/(-2*(-2)/(-6)). Suppose 4*h - 35 = -g*z + 2*z, 20 = 5*h. Does 9 divide z?
False
Is 196 - (18/(-3) + 4) a multiple of 33?
True
Is 3*-8*(-6)/4 a multiple of 9?
True
Does 24 divide (-1 - -4)*(-368)/(-24)?
False
Let m = 7 - 4. Suppose m*q + 84 = 7*q. Is q a multiple of 7?
True
Let c(l) = 15*l**2 - l - 1. Is c(-1) a multiple of 15?
True
Is 3 a factor of (-8 - 1)/(9/(-12))?
True
Let l(n) = -4*n - 17. Is 27 a factor of l(-11)?
True
Let q(p) be the third derivative of -p**4/24 - p**3/6 + p**2. Is q(-8) a multiple of 2?
False
Suppose 3*l = 7*l - 160. Is l a multiple of 17?
False
Let s = 158 + -62. Is 38 a factor of s?
False
Let h = 184 + -77. Does 43 divide h?
False
Suppose -4*u - 180 = -928. Is 17 a factor of u?
True
Suppose 5*o - 25 = -5*f, -4*o = -5*o - 4. Is f a multiple of 4?
False
Let w(r) = -2*r - 8. Let m be w(-7). Is 38 + m*(-4)/(-8) a multiple of 16?
False
Let j(o) = o**3 + o**2 + o + 5. Let y be j(0). Suppose 0 = 5*r - 49 + 4. Let v = r - y. Is v a multiple of 3?
False
Let d(h) = -h**3 - h**2 + 2*h - 1. Let c be d(1). Is ((-4)/(-5))/(c/(-25)) a multiple of 10?
True
Let s(x) = -x**2 + 2*x + 6. Does 4 divide s(0)?
False
Let i be 12/(-10)*(-15)/(-6). Let q = 12 + i. Is 9 a factor of q?
True
Let s be ((-12)/9 - -1)*0. Is 2 a factor of s + -1 + (3 - -3)?
False
Suppose -a - 73 = -3*o - 2*a, 0 = 3*o + 2*a - 74. Is 24 a factor of o?
True
Let u(p) = 9*p**2 - 2*p - 4. Is u(-2) a multiple of 6?
True
Let l be 1/(2*1/14). Suppose l = -5*y + 32. Is 15 a factor of (y - 4)*17*2?
False
Suppose b = -o + 1, 3*b + 4*o - 3*o = 7. Let z be 1/b + 66/18. Suppose -13 = -z*h + 51. Does 8 divide h?
True
Suppose 18*k = 14*k + 84. Does 7 divide k?
True
Let p(d) = 105*d - 108*d - d**2 + d**3 + 0*d**2 - 4. Let t(f) = -f**3 + 4*f**2 - 3*f + 3. Let o be t(3). Is 4 a factor of p(o)?
False
Is (-1)/(2/(-6)) - (-979)/11 a multiple of 23?
True
Is 10 a factor of 3/(3/92) - (1 - 0)?
False
Let a(i) = 3*i - 2. Let g be a(3). Suppose 2*f = g*f - 10. Suppose v + 0*n - f = 2*n, 9 = 3*n. Is v a multiple of 5?
False
Let u = -8 + 4. Let r be (3/u)/((-1)/(-4)). Let z = r - -22. Is z a multiple of 19?
True
Suppose -i = -5*l - 0*l - 21, 64 = 2*i + l. Is i a multiple of 22?
False
Let t = 399 + -108. Is t a multiple of 13?
False
Let c = 42 - 3. Let j be (4/(-3))/((-1)/(-15)). Let p = c + j. Does 7 divide p?
False
Suppose -3*z - z = -208. Is z a multiple of 9?
False
Let b(j) 