e -4*g + 7*b - 5*b = -830, g - 5*b = 185. Does 30 divide g?
True
Let o be 1/(-4) + (-237)/(-4). Let u = -24 + o. Is u a multiple of 9?
False
Let z be 35/10 - 1/2. Let q be -9 + -2 - (z - 6). Let b(p) = p**2 + 2*p + 12. Is b(q) a multiple of 20?
True
Suppose 2 + 4 = 3*x. Suppose 0 = -x*b - 3 - 1. Is 7 a factor of (b - 2/4)*-4?
False
Suppose 45 = 4*j + j. Suppose 0 = j*v - 5*v - 228. Is 21 a factor of v?
False
Let i(w) = w**3 + 3*w**2 - w - 2. Let k be i(-3). Let m(d) = 11*d - 1. Does 10 divide m(k)?
True
Let t = 7 + -7. Suppose t = 4*i - w - 3*w + 112, -47 = 2*i + w. Let d = i - -43. Is d a multiple of 9?
True
Suppose 0 = -3*u - 4*r + 82, -5*r + 0*r = -u + 2. Suppose 4*g + u = -j + 3*g, 5*j = 4*g - 101. Let s = j + 33. Does 6 divide s?
True
Let c(h) = -h**2 + 6*h + 7. Let t = 7 - 5. Suppose -2*x + 7*p + 20 = t*p, p + 17 = 3*x. Is 6 a factor of c(x)?
True
Suppose 5 + 4 = 3*z, -2*z = 2*b - 86. Is 5 a factor of b?
True
Let w be ((2 + 86)/2)/1. Let s = 6 - 3. Suppose w = s*t - t. Does 22 divide t?
True
Suppose 44 + 7 = 3*w. Suppose 7 + w = s. Is 12 a factor of s?
True
Suppose -o + 129 = 11. Does 20 divide o?
False
Suppose -70 = 4*t - 630. Is 20 a factor of t?
True
Let x be -3 - ((-2)/1 - -3). Let a(c) = c - 1. Let j(f) = 8*f - 9. Let v(s) = 5*a(s) - j(s). Is 8 a factor of v(x)?
True
Let w(h) = h**3 - 8*h**2 - 16*h + 17. Is w(10) a multiple of 11?
False
Let y(f) be the first derivative of 2*f**3 + 3*f**2/2 - 2*f + 3. Does 12 divide y(-3)?
False
Let h = -2 + 6. Suppose 0 = 5*l - h*y - 17, -5*y = 3*l - 9 - 16. Is l a multiple of 3?
False
Let d be 18/(-5)*30/9. Let x be (-2)/d - (-2751)/18. Is 10 a factor of (-1)/(-4) - x/(-12)?
False
Let w(j) = 4*j**2 - 2*j + 13. Is 17 a factor of w(-4)?
True
Suppose 2*p - 2*z + 4 - 58 = 0, -141 = -5*p + 2*z. Let x = 49 - p. Let l = 10 + x. Is 15 a factor of l?
True
Let w be -20 + 1 + 3/(-3). Let u be (-27)/6*(1 + 1). Let t = u - w. Is 6 a factor of t?
False
Let o be (4 + -1)/((-3)/4). Let c = o - -9. Is c a multiple of 3?
False
Suppose -4*b - 736 = -0*q - 3*q, -5*q = -b - 1255. Is 12 a factor of q?
True
Suppose -335 = -5*c - 3*p, 3*c + 2*p = -0*c + 202. Is 16 a factor of c?
True
Suppose -5*q = -q - 416. Is q a multiple of 24?
False
Suppose -2*z + 3*z - m = 88, -z + 2*m + 88 = 0. Let o = z - 60. Is 14 a factor of o?
True
Let u(o) = o**2 + 5. Suppose -3*r + 5*v + 15 = 0, -r + 5*v + 18 = 3. Let g be u(r). Does 7 divide 1*-2 + 4 + g?
True
Suppose -2*j - 5 + 15 = 0. Suppose 8 = j*d - 12. Suppose d*b - 10 = 38. Is 12 a factor of b?
True
Let m = -4 + 7. Suppose 4*y + m*w - 81 = -0*w, -y - 4*w = -4. Does 12 divide y?
True
Is 7 a factor of (-1178)/57*(-6)/4?
False
Let c(z) = -z**2 - 3*z + 10. Let p be c(-10). Let h = -23 - p. Let t = h + -22. Does 15 divide t?
True
Let w be 0/(-4) + (1 - 1). Suppose -2*l + w*l = 0. Suppose -4*z - 64 = -4*i - 0*z, l = -2*z + 4. Is 7 a factor of i?
False
Suppose 16*q - 15*q - 77 = 0. Does 11 divide q?
True
Is 6 a factor of (-3)/6 + (4 - (-37)/2)?
False
Let y(o) = 2. Let l(s) = s. Let a(p) = 2*l(p) + 2*y(p). Let b be a(-6). Let d(z) = -z**3 - 8*z**2 - 2*z + 9. Does 10 divide d(b)?
False
Suppose -2*r + 3*y + 103 + 50 = 0, -2*y + 168 = 2*r. Is 3 a factor of r?
True
Let t(h) = -7*h**3 + 4*h + 3. Is t(-2) a multiple of 17?
True
Let y = -80 - -157. Is y a multiple of 25?
False
Suppose -5*y = -3*f + 72, 4*f - 66 = 2*y + 30. Is f a multiple of 6?
True
Let g = -39 + 200. Does 23 divide g?
True
Is 4*(0 - (-17)/2) a multiple of 30?
False
Suppose 0 = 4*v - 5*v. Suppose 0*a + 5*a - 5 = v. Is 5 a factor of (a/(-2) + -1)*-10?
True
Suppose -5*b = 4*v - 112, b - 3 - 27 = 3*v. Is b a multiple of 6?
True
Let c be (-2 - (-3 - -1))*1. Suppose -3*o + 4*z - 9 = z, -3*o + z + 1 = 0. Suppose -o*h - h + 81 = c. Is 7 a factor of h?
False
Let l be ((-4)/8)/(2/36). Let a(s) = -s**3 - 8*s**2 + 6*s - 12. Is a(l) a multiple of 4?
False
Let u = -3 + 5. Suppose -4*j + v + 33 = -2*j, 3*v = u*j - 43. Does 7 divide j?
True
Suppose 0 = 5*p + 2*c - 4, -2*p + c + 9 = 2. Suppose 0 = p*x + 2*x - 92. Suppose 0 = q + 3*t - 3, -2*q + q + 2*t + x = 0. Is 15 a factor of q?
True
Suppose 165 = 3*f - 3*b, -f - 4*b + 51 = -b. Does 27 divide f?
True
Suppose -5*j + 60 = -0. Suppose 0 = -3*x, 2*s + 3*x - j = -x. Does 6 divide s?
True
Let z be 4/2 + 2/(-1). Let b(i) = i**2 + i + 145. Let f be b(z). Suppose -2*l - 3*l + f = 5*m, 5*m = l + 121. Is 13 a factor of m?
False
Suppose -w + 3*b = -2*b - 110, 2*b + 188 = 2*w. Is w a multiple of 12?
False
Let y be (-4)/((-24)/(-14))*-6. Let q = y - 9. Is 2 a factor of q?
False
Suppose 3*i + 31 = -i - 5*a, -3 = -3*i + 5*a. Let g = 16 - i. Is 15 a factor of g?
False
Is 19 a factor of (-2 + -3)/5 - -53?
False
Suppose -11*f + 51 = -10*f. Is f a multiple of 23?
False
Is 7 a factor of (-138)/(-4) + (-1)/(-2)?
True
Let i(j) = j**3 - 6*j**2 - 11*j + 10. Let a be i(7). Let n be a/15*10/(-4). Suppose w = 6*w + 10, 0 = n*q + 3*w - 75. Is 14 a factor of q?
False
Let d = 6 - -22. Does 14 divide 1436/d - (-2)/(-7)?
False
Let n = 209 - 123. Is 12 a factor of n?
False
Let j = 102 - 58. Is j a multiple of 4?
True
Let o(y) = -4 + 0*y + 2*y - 5*y. Let m be o(-4). Suppose -j - 1 + m = 0. Is 5 a factor of j?
False
Let g be ((-1)/2)/(17/(-2006)). Suppose 5*u - g - 206 = 4*t, -5*u + t + 280 = 0. Is u a multiple of 16?
False
Is 6/2 - -1*20 a multiple of 23?
True
Suppose 4*w = -3*x + 21, 2*x + 5*w - 6 = 5*x. Suppose 0 = 4*n - 0*n + 20, 2*f = x*n + 81. Is f a multiple of 16?
False
Is 7 a factor of -42*(-4)/16*6?
True
Let x(p) = -8*p**3 + 3*p**2 + p - 1. Does 27 divide x(-2)?
False
Suppose -15 = t - 123. Does 21 divide t?
False
Suppose -568 = -4*h + 628. Is h a multiple of 22?
False
Let o(s) be the third derivative of -11*s**6/24 - s**5/60 - s**4/12 - s**3/6 + 2*s**2. Let y be o(-1). Is 19 a factor of 10/y - (-240)/11?
False
Let m(c) be the third derivative of c**4/8 + c**3/6 - 2*c**2. Let d = 4 + 1. Is m(d) a multiple of 8?
True
Let m(r) = 52*r + 1. Does 24 divide m(1)?
False
Suppose 3*z = 2*q + 2*q - 152, -2*z - 114 = -3*q. Suppose 4*f = q - 6. Does 4 divide f?
True
Let j = 160 + 81. Does 58 divide j?
False
Let m be ((-2)/(-4))/((-2)/4). Let n(l) = -7*l**2 - l. Let o be n(m). Is 20 a factor of (-358)/o - 9/(-27)?
True
Suppose -2*x + 0*x - 6 = 0, 2*j + x + 11 = 0. Does 13 divide (2 + 0)*(-26)/j?
True
Suppose -3*f - 209 = -4*r + 2*f, 4*r + f - 203 = 0. Is r a multiple of 21?
False
Let b(l) = 140*l - 4. Does 17 divide b(1)?
True
Let y(u) = -97*u**3 + 2*u + 1. Is y(-1) a multiple of 18?
False
Let s be 3*4/(-6) - -5. Let x be 2/s + 2/6. Suppose -x + 4 = i. Is i a multiple of 2?
False
Let p(a) = -5*a**3 - 2*a**2 + 2*a + 2. Let j be p(-2). Does 11 divide 320/j - (-1)/3?
True
Suppose 0 = -y + 5*x + 10, -2*y - 2*y = -x - 40. Does 24 divide 238/10 + 2/y?
True
Suppose -73 = -2*s + 3*v, -5*v + 202 - 1 = 4*s. Suppose -2*o + 4*j = -15 - 17, o - s = -5*j. Is o a multiple of 24?
True
Suppose 17*p - 200 - 191 = 0. Is p a multiple of 2?
False
Let l be 4/28 - (-20)/7. Is (0 - 14)*l/(-6) a multiple of 2?
False
Let v be 215/45 + (-2)/(-9). Let q be (-1)/3 + 8/24. Suppose -d = -v - q. Does 2 divide d?
False
Suppose 0 = 3*o - t - 4*t - 36, 60 = 5*o + 4*t. Is o a multiple of 12?
True
Let z = 9 + -5. Suppose g = b - 3*g + 4, -5 = -4*b - 5*g. Suppose 4*p + 3*l = -0*l + 48, p - z*l + 7 = b. Does 6 divide p?
False
Let f = 5 + -1. Suppose 3*v - 4*w - 24 = -v, 0 = -v - f*w - 9. Suppose 2*y = -v*g - 0*y + 72, -4*y - 90 = -3*g. Is g a multiple of 13?
True
Let z(o) = o**2 - 5*o - 2. Let l(b) = b - 4. Let r be l(0). Let v be z(r). Let n = -10 + v. Is 12 a factor of n?
True
Suppose 4*y = f + 308, y = -2*f - 2*f + 94. Suppose -5*c + 7*c - y = 0. Does 13 divide c?
True
Let o = 145 - 345. Is 9 a factor of (-4)/14 - o/14?
False
Is 13/((-2)/(-50)*5) a multiple of 18?
False
Is 859/5 - (9 - (-92)/(-10)) a multiple of 9?
False
Let w(d) = -2*d. Let k be w(-1). Let a be (k/1 - -5) + 0. Suppose f - a = 13. Is f a multiple of 10?
True
Suppose 146 = -k - k. Let s = -43 - k. Is 11 a factor of s?
False
Let p(m) = -2*m - 4 + 3*m**2 - 30*m**3 - 2*m**2 + 3 - 2*m**2. Is p(-1) a multiple of 6?
True
Let r(j) = j**3 - 4*j**2 - 3*j - 2. Let h(s) = -s**2 + 8*s + 4. Let b be h(8). Let m be r(b). Let f = -2 - m. Does 6 divide f?
True
Let p = -18 + 76. Is 8 a factor of p?
False
Let w(a) = 