 10*u + 7. Let f(b) = b**3 - b. Let z(i) = 3*f(i) + l(i). Is 21 a factor of z(19)?
False
Let t = 43 - -1790. Is 47 a factor of t?
True
Suppose -o + 11 - 8 = 0. Suppose 0 = o*c + 5*n - 14, -c + 7 = n - 1. Is 6 a factor of c?
False
Let v(a) = a + 9. Let j be v(-9). Suppose 54 = 3*l - 5*i + 2*i, 5*i = -2*l + 50. Suppose j = -15*b + 14*b + l. Is 8 a factor of b?
False
Suppose -c + 10 = -0*n - 3*n, -2*c + 5*n + 18 = 0. Let m(l) = 6*l - 4. Does 10 divide m(c)?
True
Does 18 divide 37849/42 - 15/(-18)?
False
Suppose p + 21 = -5*c + 71, 2*c = -p + 20. Suppose -3*y - 13 = v, -2*y + 5*v + 0 = 3. Is 6 a factor of 6/(y + 43/c)?
False
Let b(a) = a**3 - 3*a**2 + 2*a. Let o(n) = n. Let t be o(2). Suppose -3*y - 9 = 0, 0*i = -2*i + t*y + 14. Is 12 a factor of b(i)?
True
Let w(c) be the first derivative of -c**3/3 - 5*c**2 - 2*c - 175. Suppose -q - 3*q - 20 = 0. Is w(q) a multiple of 7?
False
Suppose -j = 21*j - 44660. Is j a multiple of 70?
True
Suppose 121*h + 1056 = 125*h. Is h a multiple of 10?
False
Suppose -6*i = -7*i + 2. Suppose -5*h + 79 = 3*g, -h - i*h + 47 = 2*g. Is 10 a factor of h?
False
Let w be (-4)/(-9)*-3 + 1636/(-6). Let a = 394 + w. Does 15 divide a?
True
Suppose -11*b = -9*b - 62. Let p = b + -11. Is 5 a factor of p?
True
Let k(i) = 65 + i**2 - 63 - 15*i**3 - 3*i + 6*i. Is k(-2) a multiple of 20?
True
Suppose -113*m + 121*m = 192. Does 24 divide m?
True
Let d be ((-28)/(-3 - -2) - -2) + 0. Does 10 divide (d/(-20))/(((-9)/244)/3)?
False
Let y be (-6)/(-14)*(-14)/4*12. Let x = 2 - y. Is 12 a factor of x?
False
Suppose 2*b + b + 15 = 0. Let n(d) be the second derivative of -d**5/20 - d**4/6 + 2*d**3/3 + 5*d**2/2 - 5*d + 8. Is n(b) a multiple of 30?
True
Let b(s) = -14*s**3 + 7*s + 2. Let m be b(-3). Suppose 12*o - 937 - m = 0. Is o a multiple of 19?
False
Let c(d) = -6*d. Let y be c(-2). Suppose 3 = -m + 2*m - t, y = 4*m - 2*t. Suppose -49 = -u + f, 5*f = m*u + 4*f - 145. Does 10 divide u?
False
Let d be (0 + -2 - -1)*-4. Suppose 11 = 3*k - 3*t - 52, 0 = d*t - 4. Suppose -k + 142 = 4*c. Is 15 a factor of c?
True
Suppose 0 = 194*w - 201*w + 3710. Does 5 divide w?
True
Let i(q) = q**2 + q + 40. Let s be i(8). Let j be 70/(-2) - (0 - 1). Let x = j + s. Is 26 a factor of x?
True
Suppose 8*h - 3794 = 17934. Is 136 a factor of h?
False
Let q be -29 + 2*2/(-4). Let w be 7 + 144/4 + -5. Let n = w - q. Does 25 divide n?
False
Let s(o) = -27 - o**3 - 33 - 82. Let x be s(0). Let u = -86 - x. Is u a multiple of 13?
False
Let s be ((-2)/3 + 1)*6. Let a(d) = 11 - 5*d + s*d - 6*d - d. Is a(-7) a multiple of 27?
True
Let j = 389 + 78. Suppose d = 0, -5*d + j = 5*y - 458. Does 27 divide y?
False
Suppose 2*g = 3*g - 1. Suppose -3*l - 145 = -g. Does 8 divide (-33)/(-2)*l/(-36)?
False
Let l = 5 + -3. Let w = 128 + -120. Suppose 0 = -l*k + 32 - w. Is 6 a factor of k?
True
Let h = 1050 + -872. Does 33 divide h?
False
Let i be -3*(0 + -1) - 18/3. Let a = i - -66. Is a a multiple of 9?
True
Suppose 49*z = 28*z + 39690. Does 90 divide z?
True
Let t(c) = 85*c. Let k be t(1). Suppose -2*r - 1 + k = 0. Does 3 divide 2/3*r/4?
False
Suppose -13*p - 4329 = -26*p. Does 4 divide p?
False
Let f(l) = 29*l**2 - 3*l + 3. Is 6 a factor of f(1)?
False
Suppose 25*r = 20336 + 36289. Is r a multiple of 25?
False
Suppose 0 = -2*a - 5 - 3, -5*a - 16 = -4*l. Let v(f) = -90*f**3 + f**2 + f + 2. Is 23 a factor of v(l)?
True
Let i(z) = 17*z**2 + 4*z - 29. Is i(5) a multiple of 52?
True
Let x be (-12)/3 - (-65 - -2). Let w = 179 + x. Is w a multiple of 17?
True
Suppose 0 = 2*q - 68 + 10. Suppose -h = -q - 79. Let w = h + 12. Does 30 divide w?
True
Let u = 11 + -7. Suppose -7*y + 33 = -u*y. Suppose 10*a = y*a - 20. Is a a multiple of 8?
False
Let a = 33 + -31. Suppose 142 = -4*c - 3*p + 405, c + a*p = 67. Does 13 divide c?
True
Suppose 404 = -79*k + 83*k. Is 11 a factor of k?
False
Is 80 a factor of (51/(-204))/(2/(-952))?
False
Does 11 divide (2 - -1)*1 - -140?
True
Suppose -82*p - 1225 = -89*p. Does 7 divide p?
True
Suppose 11*k - 5477 - 4522 = 0. Is k a multiple of 56?
False
Let a be -3*((-152)/96 - (-6)/(-8)). Suppose -4*v - a*i = -3*i - 112, 2*i = -3*v + 84. Does 7 divide v?
True
Suppose 2*s = 2*a - 16, a + 3*s + 1 = -3. Suppose 0 = 2*l - b + 5*b - 100, -3*l - a*b = -146. Is l a multiple of 11?
False
Let h = -2004 - -2849. Is 13 a factor of h?
True
Suppose -14*i = -699 + 69. Is 3 a factor of i?
True
Let k(c) = -6*c. Let l(s) = -s**3 + 7*s**2 - 7*s + 1. Let i be l(6). Let y be i/(-40) + 65/(-8). Does 12 divide k(y)?
True
Let c(o) = o**2 + 20*o + 38. Let k be c(-18). Suppose 0 = k*w + 3*m - 167, 298 = -2*w + 5*w - 5*m. Is w a multiple of 13?
True
Suppose -3*p + 3*n + 879 = 0, -2*n = 2*p - 171 - 431. Is p a multiple of 27?
True
Suppose -6*c + 97 = 3*j - c, -4*j + 3*c + 81 = 0. Suppose u + 9 - j = 0. Does 15 divide (u/(-6))/((-2)/12)?
True
Let t(p) = p**3 + 6*p**2 + 2*p - 6. Let g be t(-6). Let a(i) = -30*i + 79. Let q be a(3). Let m = q - g. Does 3 divide m?
False
Let q = 49 - 46. Is (-1)/2 + (q - (-556)/8) a multiple of 24?
True
Suppose 5*l - 45 = -5*j, -2*j + 4 = -4*l + 2*j. Suppose -l*r = -6*r + 8. Suppose n - r*n = -126. Does 21 divide n?
True
Let y be (2 + 44/(-10))*230/(-69). Suppose 5*b + 3*c - y*c - 790 = 0, c = 3*b - 480. Does 20 divide b?
False
Let b(y) = -y**3 + 15*y**2 + 9*y + 1. Is 25 a factor of b(13)?
False
Let j(s) = 536*s + 76. Is 12 a factor of j(1)?
True
Suppose 7*c = 3*c. Suppose c*f + 2*f = -o + 288, 0 = -5*o + f + 1418. Does 10 divide o?
False
Suppose -43*y + 25*y + 2520 = 0. Does 10 divide y?
True
Let i = 839 + -423. Is 26 a factor of i?
True
Suppose -4*c = -4*m - 36, -3*m + 0*m = 15. Suppose -n + c*s + 11 = 0, -5*s = n - 0*n + 7. Suppose n*o - 9 - 9 = 0. Is 2 a factor of o?
True
Is ((-8)/(40/675))/((-1)/3) a multiple of 45?
True
Let z(b) = -b**2 + 14*b + 172. Is 44 a factor of z(13)?
False
Let c(k) = -32*k**3 + 3*k + 2. Let g be -31 - (2 - (4 + -4)). Let z = 32 + g. Is 5 a factor of c(z)?
False
Let a(d) be the second derivative of -49*d**3/3 - 3*d**2/2 - 14*d. Does 19 divide a(-2)?
False
Let i = -2522 - -2840. Is 14 a factor of i?
False
Suppose -2*q - 2*q + d = 15, -5 = d. Let p = 49 - q. Is 9 a factor of p?
True
Let b(v) = v - 10. Let c be b(9). Let p(f) = -91*f + 5. Is p(c) a multiple of 24?
True
Let w(x) = -x**3 - 2*x**2 - x - 3. Let b be w(-3). Is 8 a factor of (((-207)/(-4))/b)/((-2)/(-64))?
True
Let l = 1227 + -185. Is 59 a factor of l?
False
Let w = -5 - -8. Suppose 2 + 7 = w*u. Suppose 25 = u*z + x, -2*z - 2*x + 8 = -2. Is z a multiple of 2?
True
Let v be (-2)/(-9) - 75/(-27). Suppose 378 = v*f + 3*f. Is 9 a factor of f?
True
Suppose -y + 850 = 5*b, 2*b - y - y = 352. Is b a multiple of 21?
False
Let x = 0 - -4. Suppose -x*s - 39 = -819. Suppose 7*n = 2*n + s. Is n a multiple of 21?
False
Let k be 1348/(-14) + 5 + 99/(-21). Let z = 278 + k. Does 12 divide z?
False
Let z be (3 + (-32)/10)*-15. Suppose -z*b + 2*n = -0*b - 106, -5*b - n = -168. Is 8 a factor of b?
False
Suppose -4*g = -12*g - 8. Let v(f) = 159*f**2 + 2*f + 3. Is v(g) a multiple of 16?
True
Is 29 a factor of 9*59 + 3/3?
False
Let w be (-22)/(-154) - (-362)/14. Let d = -1 + w. Is 12 a factor of d?
False
Suppose 0 = -3*c + 8*v - 3*v + 90, 0 = -3*c - 5*v + 60. Suppose 0*l = 5*l - c. Suppose -4*y - 4 = -5*g + 4*g, -l*g + 3*y + 37 = 0. Does 3 divide g?
False
Let d(n) = n**3 - n**2 + n + 3. Let z be d(2). Is 3 a factor of 32/6 + (-3)/(z/(-2))?
True
Suppose -18 = -5*t + 12. Suppose 3*o = -5*v - t - 8, v = 2*o - 8. Is 22 a factor of o + (-2)/3*-129?
True
Suppose z - y - 17 = 2*y, -y = 5. Let g = 26 + z. Does 14 divide g?
True
Let p(h) = 2*h**2 + h + 3. Let l be (-34)/(-6) - 2/3. Does 10 divide p(l)?
False
Suppose 2209 = -27*c + 31*c - 5*d, 2*d = 3*c - 1648. Is 21 a factor of c?
True
Suppose 5*o - 10*o = 5*p - 1150, 3*o = p + 678. Is 81 a factor of o?
False
Let g(n) = n**3 + n**2 - n + 1. Let d(l) = 138*l**3 + 6*l**2 - 7*l + 7. Let q(i) = d(i) - 6*g(i). Is q(1) a multiple of 26?
False
Let r(j) = -10*j - 3. Is 11 a factor of r(-19)?
True
Suppose 0 = -2*p - 2*n + 774, 949 - 175 = 2*p - 4*n. Suppose q = -0*q + p. Is 6 a factor of 1/(-2) - q/(-18)?
False
Let f = 24 + -11. Let b = f + -7. Let c(k) = k**3 - 4*k**2 - k. Is c(b) a multiple of 22?
True
Let u(h) = 2*h**2 + 20*h + 62. Is 6 a factor of u(-11)?
Tr