a multiple of 5?
False
Let p be 424/14 + 6/(-21). Is 31 a factor of p - -2*(-2)/(-4)?
True
Let a(s) = -11*s - 1. Let g be a(-3). Suppose 7 = -4*n + 23. Suppose 2*c = -n*y + 22, g = 5*c - y - 34. Does 13 divide c?
True
Suppose -8*z + 283 - 75 = 0. Is 9 a factor of z?
False
Let p = 23 + 14. Is 21 a factor of p?
False
Suppose -t - 135 = -2*j, -2*t = -5*j + 150 + 188. Is j a multiple of 17?
True
Let t = 171 + -107. Is t a multiple of 32?
True
Let b(i) = 2*i - 9. Let z be b(6). Suppose z*q - 4 - 2 = 0. Suppose 78 = 3*m - q*f, 3*m + 4*f = -f + 99. Does 13 divide m?
False
Suppose 0 = 5*p - 4*o - 40 - 11, 5*p = -5*o + 60. Does 11 divide p?
True
Let j(i) = 2*i**3 - 7*i**2 - 6*i - 9. Let k be j(6). Suppose 0 = 5*h - k + 5. Is 11 a factor of h?
False
Suppose -490 = -11*h - 3*h. Is h a multiple of 12?
False
Let i(g) = g**3 - 4*g**2 - 6*g + 7. Let z(x) be the first derivative of 2*x**3 - x**2 + x - 2. Let p be z(1). Is 2 a factor of i(p)?
True
Suppose -5*w + 23 = -77. Let c be 16/10 + 8/w. Is 18 a factor of ((-4)/3)/(c/(-57))?
False
Suppose -i = -3*i - 78. Let v = i - -69. Is v a multiple of 15?
True
Let t = 140 - 81. Does 14 divide t?
False
Suppose -9 = -j - 3*l, -3*j = l - 1 - 2. Let m = 11 + j. Is m even?
False
Suppose 5 = -y + 4*h, -2*y + 2*h - 1 = -3. Is 12 + (-4 - (2 - y)) a multiple of 3?
True
Suppose 167 = 5*h - 2*a, -4*a - 3 + 32 = h. Suppose -5*o - h = -123. Is 9 a factor of o?
True
Suppose -6 = 2*u - 3*r + 2, 3*u = 5*r - 14. Let y(o) = 0*o - 3*o**3 - 2*o**2 - 3*o**2 + 4 + u*o + 2*o**2. Is y(-3) a multiple of 20?
False
Let l = 20 - -49. Is 20 a factor of l?
False
Let o = 100 - -24. Does 22 divide o?
False
Let n(j) = j**2 - 2*j - 3. Let d be n(4). Suppose -5*x - 20 = -0*x - r, 2*r + 5 = -d*x. Is 3 a factor of 50/15 + 1/x?
True
Suppose -222 = -5*b + 153. Is b a multiple of 25?
True
Let h(v) = -v**2 + 8*v + 2. Let d be h(8). Let s = d - -4. Is s a multiple of 4?
False
Suppose 16*s - 14*s = 150. Does 25 divide s?
True
Let r(o) = o**3 - 10*o**2 + 9*o - 11. Let i be r(9). Let g = 20 + i. Does 9 divide g?
True
Suppose -13 = -4*s + w, 2*s + 3*w - 3 = -14. Does 2 divide s?
True
Suppose 0 = -v - 5*y + 49, -45 = -4*v - 5*y + 76. Is (21/(-2))/((-9)/v) a multiple of 14?
True
Let r be (3/(-6))/(2/(-16)). Suppose -2*p = -7*p + 15, -2*i + 34 = r*p. Is 10 a factor of i?
False
Does 2 divide (-1 - 30/(-12)) + 26/4?
True
Suppose -6*s + s = -4*n - 154, 5*s = n + 166. Is 7 a factor of s?
False
Suppose -1 - 5 = -3*x. Suppose 5*l + 2*r - 7*r = 5, -x*l - 5*r = -2. Does 6 divide 1*6/(0 + l)?
True
Let c = 74 + -26. Is 14 a factor of c?
False
Let a(l) = -l**3 + 4*l**2 + 2. Let u(z) = -z**2 - 7*z + 11. Let r be u(-8). Is 8 a factor of a(r)?
False
Let q(l) = -l**3 + l**2 + 1. Let k(j) = j**3 + 9*j**2 + 9*j + 9. Let w be k(-8). Let u(n) = -4*n**3 - 5*n + 11. Let a(t) = w*u(t) - 5*q(t). Does 10 divide a(6)?
False
Suppose 0 = 4*y + 3*h + 17, 5*y - h - 3*h + 29 = 0. Is -3 - y - (-6 - 0) a multiple of 8?
True
Suppose 3*j - 19 = -5*r, -4*j + 0 - 13 = -r. Suppose g - 4*s - 23 = 0, -g + 26 = -r*s + 4*s. Is 9 a factor of g?
True
Let g = 4 - -7. Does 5 divide g?
False
Suppose 4*o - 5*t - 10 = o, -3*o - 3*t = -18. Suppose -i + o*i = 0. Suppose -4*b = -i*b - 68. Is b a multiple of 15?
False
Let r = -202 - -300. Is r a multiple of 14?
True
Is 15 a factor of 1125/10*5/(75/12)?
True
Suppose -2*c = -524 + 148. Does 22 divide c?
False
Suppose -2*s = 2*s - 40. Let d(a) = -3*a - 33. Let v be d(-10). Let h = v + s. Does 6 divide h?
False
Let q = -54 - -224. Is 17 a factor of q?
True
Suppose 15*j = 11*j + 16. Suppose -i + 25 = 5*m, j*i - 2*m - m = 192. Is 9 a factor of i?
True
Let n = -51 - -104. Is n a multiple of 16?
False
Suppose 4*t = -2*j + 21 + 23, -j = -3*t - 7. Is 4 a factor of j?
True
Let r be ((-3)/2)/((-3)/4). Suppose 2*h - r = 0, 5*t - 4*h - 18 - 38 = 0. Does 7 divide t?
False
Let o(f) = -f - 2. Does 4 divide o(-14)?
True
Let j be 1 - -1 - (1 + 1). Suppose 3*p = 2*d - 106, 5*p = -14 + 4. Suppose m + 3*g - 36 = 0, j = -3*m + g + 18 + d. Is 18 a factor of m?
False
Let v(x) = 2*x - 3. Let r be v(6). Let h = r - 5. Suppose 0 = -3*g - 2*d + 25, -3*g + 5 = -4*g - h*d. Is 7 a factor of g?
False
Is (-1 + 3)/(15/450) a multiple of 30?
True
Let c = 176 - 103. Does 15 divide c?
False
Let l(u) = -5*u - 4 + u - 2*u**2 + 5 + 7*u**3 + 2*u. Is l(2) a multiple of 15?
True
Let t be (-1 - -2) + (9 - 4). Suppose 0 = t*x - 4*x - 22. Is x a multiple of 3?
False
Let p(h) = 2*h**2 - 11*h - 36. Let u(x) = -x**2 + 6*x + 18. Let c(n) = 4*p(n) + 9*u(n). Is c(10) a multiple of 6?
True
Let s(r) = -r + 66. Let n be s(0). Suppose 0 = 4*m - 3*m - n. Does 22 divide m?
True
Suppose -4*f = -2*c - 28 + 84, -3*c + 44 = 4*f. Let w be (6/(-10))/((-4)/c). Suppose -5*n + 0*i + w*i + 108 = 0, 4*n - 83 = -i. Is 9 a factor of n?
False
Is 4 a factor of 72/(-42)*(-28)/2?
True
Is 15/12*(16 + 0/(-2)) a multiple of 8?
False
Suppose -6*h + 5*j = -h + 25, 2*h + 5*j = -24. Let y(d) = -d**3 - 5*d**2 - 7*d + 5*d - 10 + 0*d**3 - 2*d**2. Is 4 a factor of y(h)?
True
Suppose 133 = 2*s - 0*s + 3*h, 4*h = -3*s + 200. Is s a multiple of 7?
False
Let b(y) = -y**2 + 10*y - 13. Let s be b(9). Let t be (s/(-6))/((-2)/(-3)). Suppose -j = -17 + t. Is j a multiple of 16?
True
Let z = -13 + 3. Is 10 a factor of (z/3)/((-4)/30)?
False
Is (-4 - -5)*-4 + 4 + 169 a multiple of 24?
False
Let r(v) = -1 + 4*v**2 - 2*v**3 - 3 + 3*v**3 + v. Let k be r(-3). Suppose -k*n + 20 + 6 = g, 21 = 3*n - 3*g. Is 11 a factor of n?
True
Let t(u) be the first derivative of -u**4 + u**3/3 - 3*u**2/2 + 3*u - 2. Let b be t(3). Is (b/(-6))/(1/2) a multiple of 16?
False
Let z be 10/15*(-3)/(-2). Suppose 12 = -5*s - 2*p - 0*p, s - 5*p = 3. Does 8 divide (z/s)/((-1)/48)?
True
Suppose -3*m + 6 = -0. Suppose w = m*w - 4*o + 2, 5*w = o + 9. Is w even?
True
Let z(g) = -4*g + 5*g + 10*g - 1. Let s be z(-3). Let q = s + 68. Is q a multiple of 15?
False
Let z(k) = 15*k. Is z(2) a multiple of 6?
True
Let l(v) = 9*v**2 + 5*v + 3. Let f(s) = 4*s**2 + 2*s + 1. Let b(i) = 7*f(i) - 3*l(i). Is b(9) a multiple of 22?
False
Does 19 divide 0 + 3/((-6)/(-152))?
True
Is (3/2)/(4/288) a multiple of 12?
True
Let k(s) be the third derivative of s**5/20 + s**4/24 - 2*s**3/3 + s**2. Let q = 31 - 35. Is k(q) a multiple of 15?
False
Let l = 57 - 33. Let c be 2 - (-42)/(1 - -2). Suppose -h = h + 5*w - l, 4*h + 2*w - c = 0. Is 2 a factor of h?
True
Let o be (6/(-2) - 0) + -11. Let s = 18 - o. Is 16 a factor of s?
True
Let z(m) = -m**2 + 8*m - 5. Let v be z(7). Suppose 6*x - v*x - 40 = 0. Is x a multiple of 5?
True
Let h be (-38)/6 - (-6)/18. Let t(y) = -3*y + 4. Is 15 a factor of t(h)?
False
Let h(r) = 2*r - 7. Let u be h(8). Suppose 0 = w - i - u, 5*w - i = 21 + 44. Is w a multiple of 14?
True
Suppose -35 = 3*q + 5*h, 0 = q + q - 4*h - 6. Let i(l) = 2*l**2 - 4*l - 2. Is 34 a factor of i(q)?
True
Suppose -y + 3*y - 194 = 0. Is 14 a factor of y?
False
Let u(h) = -4*h**3 + 13*h + 61. Let b(f) = f**3 - 3*f - 15. Let w(r) = -9*b(r) - 2*u(r). Is w(0) a multiple of 5?
False
Let o(f) = 45*f - 1. Let x(h) = 89*h - 2. Let j(y) = 11*o(y) - 6*x(y). Does 18 divide j(-1)?
False
Let z = 2 - -1. Suppose 0 = 2*k - 0*k - 162. Is ((-2)/(-6))/(z/k) a multiple of 5?
False
Suppose 3*m - 169 + 19 = 0. Suppose -2*n + 15 = -4*j - 9, -3*n - j = -71. Let t = m - n. Is 13 a factor of t?
False
Let u(n) = -n**3 - 7*n**2 - 6*n. Let l be u(-6). Let h be ((-24)/10)/((-2)/55). Suppose l = 2*z + z - h. Is z a multiple of 9?
False
Let r = 40 + -12. Does 28 divide r?
True
Suppose 0*u + 168 = 4*u. Is u a multiple of 14?
True
Suppose 18 = -m + 2*m. Is 4 a factor of m?
False
Let l = 271 + -125. Is 20 a factor of l?
False
Let a(b) = 2*b**3 - 3*b**2 + 5*b - 1. Is 14 a factor of a(3)?
False
Suppose r + r = -2*d + 60, 3*d = 5*r + 122. Let a = d + -16. Is a a multiple of 7?
False
Let w(p) = -30*p**3 - p**2 - p - 1. Let i be w(-1). Suppose -2*m = -3*l - i, -2*l = m - 5 + 8. Let r = 3 + m. Is 10 a factor of r?
True
Suppose 2*h = -o + 42, -o + 0*o = -5*h - 35. Is o a multiple of 20?
True
Let h be (-21)/(-15) - 6/(-10). Suppose -g = -p - 2*p + 64, 0 = -3*p - h*g + 79. Does 22 divide p?
False
Let w = -28 - -56. Suppose -2*z = 0, 7*i - 8 = 3*i + 3*z. Suppose -j + i*j = w. Is j a multiple of 19?
False
Suppose -g - 3*x - 16 = 13, 0 = -x - 5. Let d = 2 - g.