Is n(g) a multiple of 4?
False
Let s(u) = u + 1. Let q(g) = -12*g - 20. Let c(x) = q(x) + 10*s(x). Let f be c(-7). Suppose 0 = f*l + 2*i - 74, -2*l - 3*l = 5*i - 95. Does 9 divide l?
True
Is (-6)/5*14775/(-45) + -6 a multiple of 37?
False
Let z(x) = x**3 + 15*x**2 - 54*x - 49. Is 4 a factor of z(-15)?
False
Let r(d) = d**2 - 8*d - 4. Let g be r(9). Suppose -24 = 2*m - g*m. Does 3 divide m?
False
Is (1/(-2))/((-13)/5538) a multiple of 22?
False
Does 97 divide ((-7)/((-175)/11740))/(8/20)?
False
Let m be (4 + -2)*(-1)/(-2). Suppose 2*g - 17 = -m. Suppose 3*t - g = 55. Is 7 a factor of t?
True
Suppose 3*x = 2*n - 8 - 8, 8 = 2*n - x. Suppose -q - 15 = n*q. Is 3 a factor of (-2 - -1)*(0 + q)?
False
Let o = 18 - 13. Let x(n) = n**2 + 6*n - 4. Is x(o) a multiple of 12?
False
Let j(f) = 2*f**2 + 31*f + 297. Is 11 a factor of j(-11)?
True
Let f(l) = -l**3 + 5*l**2 + 5*l - 1. Suppose -6*h + 2*h + 20 = 0. Let u = -1 + h. Does 9 divide f(u)?
False
Suppose 8819 + 741 = 8*m. Suppose 5*d + 3*i = m, -2*d + 949 = 2*d + i. Is d a multiple of 11?
False
Suppose 0 = -5*n + 5*a - 15, 3*n + 2*a - 4*a + 6 = 0. Suppose n = t + t - 66. Is t a multiple of 3?
True
Suppose -l + 336 = l + 5*a, -l + 5*a + 168 = 0. Suppose 2*p - l = 250. Is p a multiple of 33?
False
Let l be (-2)/(-12) + (-1779)/(-18). Let h = 11 + l. Is 22 a factor of h?
True
Let j(w) = w**2 + 5*w. Let m be j(-6). Suppose -3*a = -0*a - m. Suppose 2*d = 5*z - 270, -4*d = -a*z - z + 162. Is z a multiple of 18?
True
Let y be (12/14)/(3/147). Suppose -5*u = 3*b - 0*b - 134, y = b + 3*u. Does 8 divide b?
True
Suppose -3*j + 4*l + l = 18, 4*j - 2 = -2*l. Let k(o) be the second derivative of -5*o**3/2 + 3*o. Is k(j) a multiple of 9?
False
Suppose -5*u = -3*s - 954, -8*s = 4*u - 10*s - 764. Does 10 divide u?
False
Let g = 349 + -269. Is g a multiple of 10?
True
Let m(w) = 2*w**3 + 79*w**2 + 90*w + 45. Is 40 a factor of m(-37)?
True
Let y = 44 - 232. Let m = -9 - 19. Does 7 divide 4/14 + y/m?
True
Let x = -1854 + 4077. Suppose 16*v - x = 3*v. Is v a multiple of 17?
False
Let n = 17 - 15. Suppose 42 = n*d - 8*d. Does 2 divide 150/14 - 2/d?
False
Let y = -228 + 396. Is 42 a factor of y?
True
Let i(h) = -h + 22. Is 13 a factor of i(-17)?
True
Let p(h) = -h**3 - 9*h**2 + 4*h - 6. Let y be p(-10). Suppose -5*g - a = -147, -3*g - 2*a + y = -g. Suppose -2*i + i = -g. Is i a multiple of 15?
True
Suppose 1818 = 4*x + c, -2*x + 0*c + 916 = -3*c. Is x a multiple of 13?
True
Suppose 0 = 4*l - 1 - 11, -3*k + 2148 = -2*l. Does 89 divide k?
False
Let f = 148 - 16. Does 4 divide f?
True
Let w(l) = -l**3 + 2*l + 2. Let q be w(-2). Let d(z) = z**2 + z - 1. Let k(m) = 2*m**2 + 7*m - 8. Let a(b) = q*d(b) - k(b). Does 20 divide a(-2)?
True
Suppose 4*k - 113 = 155. Let n be k/(4/(-1) + 3). Let v = -43 - n. Is 7 a factor of v?
False
Suppose -10*z = -13*z + 3. Suppose 2*l - 9 = z. Suppose -l*y = -x - 55 - 50, -4*y - 2*x + 98 = 0. Does 11 divide y?
True
Let u(o) be the second derivative of 37*o**6/360 - o**5/120 - o**3/6 - 8*o. Let i(m) be the second derivative of u(m). Is i(1) a multiple of 10?
False
Suppose 0 = -58*i + 49*i + 14580. Is 20 a factor of i?
True
Let i = -44 + 46. Suppose 0*q - i*q = -180. Is q a multiple of 12?
False
Suppose 0 = 3*v - 15, 15*v + 1306 = 2*f + 11*v. Is 24 a factor of f?
False
Let b(l) = 43*l - 57. Does 18 divide b(3)?
True
Suppose 0 = -3*d - 7*h + 4*h + 60, -d - 2*h = -22. Suppose -150 - d = -2*w. Does 14 divide w?
True
Suppose -5*d - 65 = -5*r, -3*d - d - 52 = 2*r. Let s(i) = i + 11. Let m be s(d). Is 38/(-4)*1*m a multiple of 7?
False
Let m be (1/1)/(2/8). Suppose -3*i + 45 - 45 = 0. Suppose i = -m*v - 3*h + 144, 2*v - 2*h - 21 - 51 = 0. Is 18 a factor of v?
True
Does 47 divide 9/3*-2 + 2010/6?
True
Suppose -5*h = 22 - 77. Suppose -a + 67 = -h. Is a a multiple of 13?
True
Let y(v) = -26*v - 65. Let w be y(-5). Let p = -19 - -40. Let m = w - p. Does 20 divide m?
False
Let i(m) = -m**3 - 4*m**2 - 4*m - 1. Let a be i(-3). Suppose 0 = -a*p + 5*l + 147, -2*l - 153 = -2*p + l. Does 27 divide p?
True
Let r(c) = -7*c**2. Let h be r(1). Let j = h + 13. Let y(w) = w**3 - 6*w**2 + w + 8. Is y(j) a multiple of 12?
False
Let w be ((-4)/10)/((-2)/5). Let l be (-1)/1 + (w - 0). Suppose 2*m = 4*y + 26, -m = -l*m - 3*y - 11. Is 17 a factor of m?
True
Suppose 17*g - 462 = -5*g. Suppose -g*k = -14*k - 784. Is k a multiple of 4?
True
Suppose -4*d = -3*d - 5*u - 520, 0 = 3*d - u - 1588. Does 53 divide d?
True
Suppose 10*s - 7421 = 1219. Does 36 divide s?
True
Suppose -h - 29 = 4*x, x = 3*h - 6*h - 21. Let w(r) = -2*r**2 - 7*r + 7. Let z be w(x). Let j = z - -55. Does 16 divide j?
True
Suppose -7*l + 2*l + 24 = 4*y, -4*l - 2*y + 24 = 0. Let j be (-28)/(-13) - l/52. Is ((-10)/(2/j))/(-1) a multiple of 3?
False
Let a = -59 + 36. Is 4/1 - a - -1 a multiple of 9?
False
Let v = -30 + 29. Let j(l) = -24*l - 1. Is j(v) a multiple of 6?
False
Let i = 56 - 52. Suppose j - i*j = -150. Is 10 a factor of j?
True
Suppose 996 = 13*u - 2553. Is u a multiple of 3?
True
Let w = -72 - -76. Suppose 3*x - 3*m - 429 = 0, -602 = -w*x - 3*m + m. Is 28 a factor of x?
False
Suppose -2*j + b + 1 = 0, -3*j - 3 = -2*j + 3*b. Suppose 4*o - 354 - 482 = j. Is 18 a factor of o?
False
Let f be 5 - (-10)/(-5) - (-2 + 17). Is (-36)/(-4)*(-112)/f a multiple of 6?
True
Let j(s) = -3*s**2 - 71*s - 45. Does 8 divide j(-21)?
False
Suppose 5*u = -5*z + 75, -3 = -3*z - 0. Does 4 divide 74*u/36 - (-2)/9?
False
Suppose -33*z = -20*z - 8385. Does 4 divide z?
False
Let c(b) = -b**2 + 10*b - 13. Let n be c(6). Let f be n - (-1)/(4/(-8)). Suppose p = h + 20, -5*h = -4*p - f + 92. Is 6 a factor of p?
False
Let x = -164 - -167. Let r = -1 - -1. Suppose -x*l + 90 = -r*l. Does 7 divide l?
False
Let j(b) = 9*b**2 + 31*b + 2. Is j(-5) a multiple of 14?
False
Let r = -5 + 9. Suppose 2*y - r = 4. Suppose 4*f = -3*o + 192, 4*o - 4*f - 224 = y. Does 30 divide o?
True
Let p(k) = 2*k**2 - 17*k + 85. Is 26 a factor of p(29)?
True
Let a be (2*-2)/(18/(-513)). Suppose 0 = 3*s + 2*c - 499, 5*c + 469 = 3*s + c. Let z = s - a. Is 12 a factor of z?
False
Let g = -7 + 7. Suppose 2*o + g = 80. Is o a multiple of 8?
True
Suppose -4*q + 74 = -5*u, -2*u - 5*q = -0*u + 23. Is ((-1544)/u - -4) + 2/(-7) a multiple of 19?
True
Let p(n) = 7*n**2 - 21*n + 21. Let q(w) = -10*w**2 + 32*w - 31. Let y(k) = -7*p(k) - 5*q(k). Let l be y(13). Suppose -l*u + 6*u + 24 = 0. Is 4 a factor of u?
True
Let w be (-4)/(-6) + (-6)/9. Suppose l + 5*r - 26 = w, 2*r = 3*l + l - 148. Is 14 a factor of l?
False
Suppose -18*k = -6350 - 2110. Is 47 a factor of k?
True
Let d = 24 + -62. Let w = 68 - d. Is w a multiple of 10?
False
Is (-126)/((-7)/1)*2/4 a multiple of 3?
True
Suppose -m - 9 + 5 = 0. Let u be (m/2)/((-12)/126). Suppose -2*v + 2*f = -34, 105 - u = 4*v + 4*f. Does 19 divide v?
True
Let s be (-2)/(-6) - 7/3. Let r = 9 - 85. Is s - (r + 1) - 4 a multiple of 27?
False
Let g = -1046 - -1349. Does 3 divide g?
True
Suppose -f - 2*f + 418 = 2*j, 2*f - 209 = -j. Is j - (0 + 1)*-1 a multiple of 30?
True
Let n(s) = 5*s**2 + 17*s - 225. Is n(15) a multiple of 55?
True
Suppose -5*i = 4*i - 28791. Is i/42 - 1/6 a multiple of 25?
False
Suppose 34*q = -711 + 2241. Does 45 divide q?
True
Let y(m) = m**2 - 1. Let p(r) = -7*r**2 + 11*r - 3. Let v(o) = p(o) + 6*y(o). Let j(u) = -u - 8. Let z be j(-15). Does 18 divide v(z)?
False
Let y(k) = 20*k**3 + k**2 - 2*k. Let o be y(2). Let m(x) = 3 - 9 + o*x**2 + 6. Is m(1) a multiple of 40?
True
Suppose 4*y - 3263 = -3*f, 2182 = 40*f - 38*f - 4*y. Is 11 a factor of f?
True
Suppose 0 = -0*x - 17*x + 30090. Is 15 a factor of x?
True
Suppose 3*r - 1845 + 717 = 3*j, 0 = 13*j. Does 6 divide r?
False
Is 15 a factor of (-40)/6*945/28*-2?
True
Does 52 divide ((-6)/(-8))/(24/2144)?
False
Suppose -4*t = 137 - 97. Does 41 divide (-2475)/t - (-3)/(-2)?
True
Let a = 184 + 466. Does 10 divide a?
True
Suppose 0 = -5*u - 43 + 8. Let b be -5 - u - (7 + -2). Is 13 a factor of (-2)/3 - 41/b?
True
Let h(o) = 6*o + 5. Suppose 2*d + s = 7, 7 = d + 3*s - 6*s. Suppose d*w + 6 = 26. Does 14 divide h(w)?
False
Is (3 - 1) + (-618)/(-6) a multiple of 35?
True
Let c(z) = -z**3 - 10*z**2 - 13*z - 1. Let u be c(-9). Let f = -27 + u. Is 4 a factor of f?
True
Suppose -4*k = 112 - 128. Suppose 4*b - 30 = -g, 6*g = 3*g - k*b 