ppose 0*h - 5*h = 95. Let w = x - h. Does 9 divide w?
False
Let d be (4/3)/(4/144). Let s be (-1)/2*d/(-4). Let b = s + 25. Is 12 a factor of b?
False
Suppose 4*t = 3*t. Let q(g) = g + 130. Let n be q(0). Suppose -5*d + n = -t*d. Does 13 divide d?
True
Let m(o) = o**3 - 6*o**2 - 10*o + 7. Does 7 divide m(8)?
False
Let d(m) be the second derivative of m**3/6 + 11*m**2/2 - 3*m. Does 3 divide d(-5)?
True
Does 18 divide (-529)/(-5) + 4/20?
False
Let u be (-24)/(14/(-4) - -2). Suppose 3*t - u = -2*g, 3*t + 2 + 48 = 4*g. Is g a multiple of 11?
True
Let x(y) be the first derivative of 3*y**2/2 - 3*y - 1. Suppose -3*s + q = -16, -s = q - 0*q. Does 4 divide x(s)?
False
Let f(o) be the second derivative of 7*o**4/6 + o**3/3 - o**2/2 + 3*o. Does 20 divide f(-2)?
False
Let g(i) = 6*i**2 + 4*i - 2. Is g(2) a multiple of 6?
True
Suppose 0*s = -5*s + 140. Suppose -8 = -4*d - 68. Let x = d + s. Does 13 divide x?
True
Let q = -40 - -22. Let d be -9 - (-4 + -1 + 2). Does 10 divide 68/6 - d/q?
False
Let l(m) be the second derivative of 3*m - 5/6*m**3 + 0 - 3*m**2. Is l(-6) a multiple of 12?
True
Let w = -141 + 267. Is 29 a factor of w?
False
Suppose 3*x - 96 = -x. Is 8 a factor of x?
True
Let b = -11 - -23. Let d = b - 3. Is 3 a factor of d?
True
Let a(h) = -h**3 - 6*h**2 - 4*h - 8. Suppose 0 = -4*l + 4*y - 28, l - 3*y + 6 = -3. Is 8 a factor of a(l)?
True
Let c = 48 - 30. Is 9 a factor of c?
True
Let p(q) = 2*q + 3. Let a(l) = 2*l + 4. Let z(i) = -4*a(i) + 5*p(i). Let m be z(3). Suppose m*y = y + 80. Is y a multiple of 9?
False
Let a(n) = -n**2 - 2*n + 143. Let q be a(0). Let u = q + -79. Does 14 divide u?
False
Suppose 4*h - 129 - 191 = 0. Is 10 a factor of h?
True
Let f be (-1 - 1)*(-7)/2. Suppose -b - 5 = 5*n, 3*n + f = 4*b + 27. Let d(h) = -h**3 - h + 12. Does 12 divide d(n)?
True
Let n = 21 - -7. Is 14 a factor of n?
True
Let b = -5 - -7. Is b/4 + 375/10 a multiple of 19?
True
Let g be (-2 - -7) + -1*2. Suppose -d = k - 6, 0*d = -3*d + g*k. Suppose d*n - 83 = 49. Is n a multiple of 21?
False
Suppose 3 = b, 6*b = 3*c + 3*b + 726. Let q = c - -335. Let t = q + -65. Is t a multiple of 12?
False
Suppose -3*z - 24 = -5*u + 59, -3*z = -3*u + 45. Suppose -3*a + 71 + u = 2*c, 225 = 5*c + a. Is c a multiple of 18?
False
Let y(d) = -d**3 + 8*d**2 + 12*d + 5. Is y(9) a multiple of 16?
True
Let k = 8 + -11. Let g be -10 - (1 - k)/2. Let a = g + 22. Does 5 divide a?
True
Let n be 6/2 + (0 - -7). Suppose n = m - 10. Is m a multiple of 5?
True
Let n = 1 + -1. Suppose n*l + 5 = 5*l. Let g = 3 + l. Is 2 a factor of g?
True
Is (-1 - 1 - 0)*-2 + 12 even?
True
Suppose 0 = -4*r + 20, -6*z - 5*r = -3*z - 73. Is 10 a factor of ((-495)/44)/((-6)/z)?
True
Let h(m) = -5*m**2 - 1. Let b be h(1). Let f = b - -23. Does 17 divide f?
True
Suppose -3*o - 3*l + 5*l = -30, 0 = -2*o + 4*l + 20. Suppose 4*m = 5*m. Suppose p = -5*s - o + 36, m = 4*p + 4*s - 104. Is 13 a factor of p?
True
Let t(o) = 35*o**3 + o**2 + o. Let d be t(-1). Let q be 56/d*1*-5. Let y(g) = 5*g. Is y(q) a multiple of 18?
False
Let k(s) = -5*s. Let q be k(-6). Suppose -q = 8*l - 3*l. Let h = 13 - l. Is h a multiple of 16?
False
Let x = 55 - 35. Does 8 divide x?
False
Suppose 2*d + 2*q - 9 = -1, -2*q = -2*d + 24. Is d a multiple of 2?
True
Is 174/10 - (-12)/(-30) a multiple of 12?
False
Let t(q) = q + 17. Does 2 divide t(-8)?
False
Suppose -n = -3*r - 5*n + 112, 3*r - 2*n - 88 = 0. Is 25 a factor of r?
False
Suppose 2*z + 4 = -0*z. Let j(a) = -2*a - 3. Let b be j(-5). Let x = z + b. Is 3 a factor of x?
False
Let y(w) = -2*w + 2. Let c(f) = -3*f + 3. Let p(b) = -3*c(b) + 5*y(b). Let x(j) = -18*j + 10. Let l(q) = 8*p(q) - x(q). Is l(3) a multiple of 13?
False
Suppose 4*p = 3*i + 15 - 235, -4*i - 4*p = -312. Is 19 a factor of i?
True
Suppose z - h + 3*h - 3 = 0, -4*h = 0. Suppose z*k - 14 = i, -3*k = -k + 3*i - 13. Does 2 divide k?
False
Suppose 3*q = -3*z, 16 - 2 = -4*z + 3*q. Let u be 2/1*1/z. Is u*(-1 - 9) + -1 a multiple of 9?
True
Let i be 3 + (-1 - 128)/3. Let v = i + 24. Does 11 divide -2 - (v - (-2 - -2))?
False
Does 14 divide 76 - (-5)/(-5)*-3?
False
Let p(t) = t**3 - t**2 + t. Let i(s) = -7*s**3 + 11*s**2 + 1. Let m(k) = -i(k) - 6*p(k). Let w be m(6). Is 3 a factor of 4 - w*(-2)/(-2)?
False
Let o(w) = -3 - 19*w - 5*w + 1. Is o(-2) a multiple of 15?
False
Let p = 2 - 1. Let m = -1 - p. Is 6 a factor of 13 - (0 - -1) - m?
False
Let z(g) = g**3 + 9*g**2 + 4*g + 2. Let f = -31 + 27. Does 24 divide z(f)?
False
Let g(i) = -5*i - 2*i + 4 + 10*i. Is 8 a factor of g(4)?
True
Let d be (-1 + 54 - 2) + -3. Does 15 divide (-9)/(d/(-15) - -3)?
True
Let s(v) = -6*v**3 - 3*v**2 - 2*v - 5. Let r(n) = -7*n**3 - 3*n**2 - 2*n - 6. Let d(t) = -5*r(t) + 6*s(t). Is d(-3) a multiple of 6?
True
Let s be ((-152)/(-6))/(2/27). Suppose -3*x = -6*x + s. Suppose 5*y + 4*p + p = 110, 3*p - x = -5*y. Does 12 divide y?
True
Is (2/(-2) + 7)/(24/252) a multiple of 7?
True
Let z(s) = s**3 + s**2 - 2*s + 1. Let t be z(1). Suppose 2*n + 0*n = 2. Let h = n + t. Is 2 a factor of h?
True
Let b = -11 + 16. Suppose -2*c = b*r - 93, 2*r = 2*c + r - 63. Does 17 divide c?
True
Suppose 3*x - 144 - 9 = 0. Is 17 a factor of x?
True
Suppose -2*b = -0*u + u - 38, -2*b - 2 = 0. Is u a multiple of 7?
False
Let j(w) = -8 + 21*w**3 - 4*w + 0*w**2 - 5*w**2 - 22*w**3. Does 13 divide j(-6)?
True
Let x = 48 - -50. Does 17 divide x?
False
Suppose 3*l + 3 = 21. Let g = 14 - l. Does 5 divide g?
False
Let d = -3 + 3. Suppose y - 126 = -3*h, d = y - 3*y. Is 11 a factor of h?
False
Let h(o) = -2 - 10*o + 16 - 10. Suppose 4*j - g + 16 = 3*g, 2*j + 10 = g. Does 24 divide h(j)?
False
Let f = -8 + 11. Let c = -8 - -13. Suppose -173 = -c*h - 0*w + f*w, 2*w + 104 = 3*h. Is h a multiple of 17?
True
Let j(o) = o**3 - 21*o**2 + 21*o - 9. Is j(20) a multiple of 11?
True
Let c be 2/(-4)*34*-3. Suppose 0 = -3*r + 3*p + c, -p - 22 = -r + p. Is 4 a factor of r?
True
Suppose 0*w + 3*m = 2*w + 5, -2*w + 2*m - 6 = 0. Let z = 24 - w. Suppose -z = -4*b + 4*r, -5*b + 30 = 3*r - 5. Is b a multiple of 5?
False
Let c(i) = i**3 - 6*i**2 + 5*i - 5. Let w = 6 - 0. Is 25 a factor of c(w)?
True
Let a(k) = 102*k + 2. Let j be a(-1). Let b = -37 - j. Is b a multiple of 21?
True
Let k = 192 + -64. Is 16 a factor of k?
True
Let l be ((-4)/(-6))/((-2)/21). Let q be -2 - 1*(l - -2). Suppose -q*x + 74 = 4*z + 2*x, z = 3*x + 27. Is z a multiple of 12?
False
Let q = 17 - 26. Let p = q + 15. Does 4 divide p?
False
Let j(u) be the first derivative of -1 - 1/4*u**4 - 4*u + 3/2*u**2 + 5/3*u**3. Does 8 divide j(5)?
False
Let d = 31 - 36. Let k(c) = -5*c**2 - 11*c - 4. Let s(b) = 4*b**2 + 11*b + 3. Let o(a) = -3*k(a) - 4*s(a). Is 15 a factor of o(d)?
True
Let g(c) = c**2 + 2*c + 4. Let w(m) = 2*m - 1. Let t be w(-1). Is g(t) a multiple of 6?
False
Let x = -4 + 2. Is (-24)/18*36/x a multiple of 24?
True
Suppose -12 = 5*v + 13. Let p(x) = 3*x**2 + 11*x + 4. Let m(k) = k - 1. Let w(g) = -3*m(g) + p(g). Does 15 divide w(v)?
False
Let a = 150 + -72. Is 20 a factor of a?
False
Let k be (1/1)/((-2)/(-30)). Let r(c) = c**2 - 13*c - 10. Does 20 divide r(k)?
True
Let n = 14 - -7. Is 7 a factor of n?
True
Suppose 2*y + 3*s = 6*s + 73, 0 = 3*y + 2*s - 103. Does 7 divide y?
True
Suppose -2*y - 162 = y. Let s = y + 90. Is s a multiple of 6?
True
Let a(c) = -7*c + 4. Is 22 a factor of a(-3)?
False
Suppose 3*t + 5*y - 35 = t, 4*y = 4*t. Suppose t*i = 28 + 127. Is 9 a factor of i?
False
Suppose -3*m - 2*n + 193 = 0, m - 35 = 5*n + 35. Is m a multiple of 17?
False
Let n(c) = c**3 - 20*c**2 + 21*c - 20. Is n(19) a multiple of 3?
True
Let f = 61 - 34. Suppose r = 13 + f. Is 10 a factor of r?
True
Suppose 5*r = 4*r + 26. Is r a multiple of 13?
True
Let p be 0*2*(-3)/(-12). Let v = 2 + p. Suppose -188 = -2*z - v*z - 3*d, -4*z = 5*d - 196. Is z a multiple of 15?
False
Let m be 3 - ((-2 - 0) + -6). Let v = m + 26. Does 15 divide v?
False
Let w(b) = -4*b**2 - 2*b - 1. Let h be w(-1). Let t = h + 5. Suppose -3*y + 145 = t*y. Does 14 divide y?
False
Suppose 0 = -4*g - 3*z + 1006, 0*g - 510 = -2*g - 5*z. Does 25 divide g?
True
Let s(l) = 3*l**2 - 5*l + 9. Let y(x) = x**2 - 3*x + 5. Let q(f) = 3*s(f) - 7*y(f). Is q(-6) a multiple of 9?
False
Let f be (-14)/(-63) + (-50)/(-18). Let q = f + 3. Is q a multiple of 6?
True
Suppose 0 = -2*g + 2 + 6.