Let g(j) = j - 7. Suppose 0 = -u + 9*u - 16. Suppose 0 = -2*h + u*t + 38, -5*h = -2*t - 90 + 4. Is 2 a factor of g(h)?
False
Let g = -325 - -463. Does 37 divide ((-444)/(-18))/(4/g)?
True
Let s(t) = -22*t**3 + 3*t**2 + 4. Let w(p) = -86*p**3 + 12*p**2 - p + 17. Let o(c) = 9*s(c) - 2*w(c). Is 41 a factor of o(-2)?
False
Suppose 311 = -i - 4*h + 187, -2*i = -2*h + 288. Let o = -124 + -107. Let q = i - o. Is 13 a factor of q?
True
Let u(j) = -2*j**2 + j + 16. Let m(r) = -r**2 + 2*r. Let b be m(2). Let v be u(b). Suppose -5*l + 40 = 5*t, 2*l - 14 - v = -4*t. Is 7 a factor of t?
True
Suppose 3*o - 5*p - 693 = -p, 5*o - 1155 = -3*p. Suppose 0 = -2*u + 6, -w + o = u - 4*u. Is w a multiple of 5?
True
Is 3914 + (3 - (-10 + (3 - -6))) a multiple of 12?
False
Suppose 0 = 5*u + 5*t - 125, 3*t = -4*u + 95 + 10. Let k be (30/(-9))/((-20)/u). Suppose 3*f = -5*y + 497, -k*y + 0*f = -f - 501. Is y a multiple of 10?
True
Let b(x) = 10*x - 105. Suppose n - 47 = 3*f - 7, -5*n = -3*f - 152. Is b(n) a multiple of 18?
False
Let m = 133 + -221. Is 27 a factor of ((-33)/m*-12)/((-3)/664)?
False
Let i(c) = -3*c**3 + 233*c**2 - 153*c + 34. Let t be i(77). Suppose -4*p + 64 = -3*q - 141, 3*p = -15. Let a = q + t. Does 34 divide a?
False
Let m(x) = -40*x + 1. Let i(u) be the second derivative of u**3/3 + u**2/2 + 18*u. Let a(p) = -5*i(p) + m(p). Does 7 divide a(-4)?
True
Suppose -2*m + 95 = -g, -156 = -4*m + 3*g + 31. Let c = m + -48. Does 2 divide (c + 3)/(-4) - -18?
False
Let t = -68 + 29. Let u = -63 - t. Let y = u - -61. Is y a multiple of 8?
False
Does 23 divide 92/2*((-42107)/(-158) + (12 - 2))?
True
Suppose 4*s - 4*v = 208, 5*v = -s + 2*s - 32. Let j = -60 + s. Is 36 a factor of 1/(-2)*24*j?
True
Suppose 8*c + 1981 = 77. Let l = -63 - c. Does 21 divide l?
False
Suppose -18*t - 72 = -19*t. Let l = 112 + t. Suppose l = -11*o + 558. Is 10 a factor of o?
False
Suppose -13*d + 17*d + 436 = 0. Let n = d + 130. Is n a multiple of 2?
False
Let q(v) = 11*v**2 + 88*v - 69. Is q(-18) a multiple of 7?
True
Suppose 101*r - 1161693 = -16*r. Is r a multiple of 15?
False
Let t be (-2)/(-10) - (-544)/80. Is (3 - (-5 - -2)) + t a multiple of 8?
False
Let o = 371 - 457. Let m = o - -191. Does 35 divide m?
True
Suppose 9*v + 12*v = 20*v + 882. Is v a multiple of 21?
True
Suppose k = -41 + 50. Suppose 880 = k*q - 785. Is 37 a factor of q?
True
Let s(k) = 2759*k**2 - k - 2. Suppose 5*t = 5*d + 15, 5*d + 2*t + 1 = -0. Let h be s(d). Is 44/(-198) + (0 - h/(-18)) a multiple of 51?
True
Does 35 divide 3567 + (0 + 0)/(-93 + 99)?
False
Suppose -140*r + 133*r = -42. Is (277338/36)/17 - 1/r a multiple of 30?
False
Let g = 1164 + -653. Suppose 5*n + 4*b = g, 4*b = 3*b + 4. Is 40 a factor of n?
False
Let m(q) = 8*q + 27*q - 26 + 0*q**2 + 2*q**2 - 4*q**2. Let o be m(18). Let b = o - -81. Does 37 divide b?
True
Let b(i) = -i**3 + 9*i**2 + 2*i - 11. Let x be b(9). Let r(f) = -14*f - 18. Let j be r(-2). Suppose j*g = x*g + 189. Is g a multiple of 7?
True
Suppose 4*d = -3*x + 2*d + 44, 5*d + 25 = 0. Is 6740/18 + (-8)/x a multiple of 8?
False
Let d(p) = -p - 14. Let t be d(0). Let u(f) = -72*f - 1732. Let z be u(-24). Does 25 divide (11 + -42)*t/z*-2?
False
Let v = -39 - -4. Let y = v - -19. Let u(z) = -z - 4. Is 4 a factor of u(y)?
True
Let x be 9/(-18)*(-5)/((-10)/(-2156)). Let s = x - 158. Is 13 a factor of s?
False
Let y = 480 + -594. Let o = 385 + y. Does 13 divide o?
False
Suppose 33*g + 38*g - 437475 = 52*g. Is 25 a factor of g?
True
Let b(g) = -16*g + 29. Let f be (-7)/(7/(-2)) + 56. Let j be 0 - (2/(-7) - f/(-7)). Is 17 a factor of b(j)?
False
Let l = 70 - 64. Let h be 99/2*4/l. Suppose 0 = -3*r - h + 213. Is 12 a factor of r?
True
Suppose 0 = -115*c - 45582 + 548592. Is c a multiple of 3?
True
Let x be (75/10 - 7)*(0 - -14). Suppose -27 = 10*s - x. Let y(b) = -31*b**3 + 2*b**2. Does 62 divide y(s)?
False
Let f = 471 - 166. Let v = -102 + f. Does 29 divide v?
True
Let f = -324 + 331. Suppose 4*o - f*o - 3 = 0, 0 = 2*k + 2*o - 110. Does 8 divide k?
True
Let w(x) = -x**3 + 41*x**2 + 46*x - 602. Is 3 a factor of w(40)?
True
Suppose -3*j = -207 + 204. Does 7 divide (5 - 6) + (j - (-183 + 0))?
False
Let d = 10 + -5. Suppose 2*x + x + 6 = 4*a, -d*a + 25 = 5*x. Is ((-168)/(-10))/(x/15) a multiple of 14?
True
Suppose z = 2*g - 17, -4*z + 4 = -0*z. Suppose -g*t - 80 = t. Let y = 0 - t. Is y a multiple of 2?
True
Let v(f) = -f**3 + 2*f**2 + 21*f + 10. Let i be v(6). Is 22 a factor of (-1)/((-6)/2664) - i?
False
Let h(f) = f**2 + 17*f + 32. Let l be h(-15). Is 6 a factor of (-66)/3*(1 - 3) - l?
True
Suppose -23*r + 131*r - 611064 = 0. Is 13 a factor of r?
False
Is (3176/(-10))/(334/(-1670)) a multiple of 17?
False
Let f(l) = 123*l**2 + 3*l - 11. Let i be f(2). Suppose 669 = 4*u - 4*z - i, z - 855 = -3*u. Is u a multiple of 13?
True
Let j(a) = 12*a**2 - 20*a + 48. Is j(9) a multiple of 30?
True
Let m = 1961 - 929. Suppose 8*q = -4*q + m. Is q a multiple of 15?
False
Let d = -20077 + 32097. Is d a multiple of 26?
False
Is (2 - -8542) + (2/6 - 48/(-18)) a multiple of 111?
True
Let g = 13448 - 7043. Does 35 divide g?
True
Let w be (30/(-90))/((-1)/6). Suppose 7*h = 10*h + w*c - 610, -5*h + 2*c = -990. Does 46 divide h?
False
Let p = -2303 - -3775. Is 9 a factor of p?
False
Suppose 4*c - 4*o = 22752, 2*c + 26*o - 17*o - 11376 = 0. Does 79 divide c?
True
Let s = -100 + 105. Suppose s*q + 10*w = 5*w + 480, 3*q - 284 = w. Is 8 a factor of q?
False
Suppose -5*c - 120 = 65. Let g = -8 + c. Let z = g - -125. Does 16 divide z?
True
Let f(w) = -w**2 + 7*w + 92. Let k be f(14). Let t = 9 + 25. Is 11 a factor of (2/k*-14)/(t/714)?
False
Let c(j) = 1 - 3 + 0 - 15*j. Let r = 274 - 277. Does 6 divide c(r)?
False
Let u = -1042 - -1551. Suppose -3*s - 5*k + u = 0, 45 = s + k - 124. Does 9 divide s?
False
Let t(x) = -20*x**2 - 89*x - 85. Let f(g) = -7*g**2 - 30*g - 29. Let k(b) = -17*f(b) + 6*t(b). Is 2 a factor of k(-18)?
False
Let m be (2/(-6))/(4/48). Is (184/m + -2)*(-26)/4 a multiple of 35?
False
Suppose 10*b = 6*b - p + 8, 5*b - 10 = -p. Suppose 0 = 4*f - 5*s + 2*s - 2685, -4*f + b*s + 2682 = 0. Is f a multiple of 56?
False
Let o(w) = w**3 + 5*w**2 + 11*w + 7. Is o(9) a multiple of 10?
True
Let r be 105*((-14)/10 - -1). Let y = r + 40. Is 15 a factor of y*(317/(-6) - (-8)/(-48))?
False
Let t(f) = -2*f - 8*f - 95*f**2 - 6 - f**3 + 105*f**2. Is 3 a factor of t(6)?
True
Does 14 divide (-98*42)/(2 - 3)?
True
Is 54/(15*(-10)/(-10350)) a multiple of 35?
False
Suppose -37*u = -40*u + 6. Let w(m) = 68*m + 39. Is w(u) a multiple of 22?
False
Suppose -33 = -8*j - 25. Let y(i) = 217*i**2 + i. Does 2 divide y(j)?
True
Let q(g) = 35*g - 37. Let n be q(-12). Let z = 107 - n. Is 53 a factor of z?
False
Let u be -3 - -5*(761 - -6). Suppose 0 = 5*y + 10, -5*x + u = 4*y. Is x a multiple of 12?
True
Let q(j) = -3*j + 39. Let d be q(11). Suppose -1 = -2*o - 9. Let p = d - o. Does 4 divide p?
False
Suppose -16 = 2*b, -m = 5*b - 12044 + 1696. Is m a multiple of 19?
False
Suppose 0 = 142*r - 147*r - 370. Let a = r - -149. Suppose -3*g = 4*q - 331, -a - 8 = -q - g. Is 41 a factor of q?
True
Let r = -22 + 22. Suppose r = 3*i - 7*i. Suppose -6*p + 8*p - 180 = i. Does 26 divide p?
False
Suppose -15*d + 633 = 138. Suppose 0 = 4*z - z + 51. Let t = d + z. Does 3 divide t?
False
Let b be 3 + (2 - -1)*-41. Let l(g) = 3*g**2 + 28*g - 19. Let j be l(-7). Let v = j - b. Is v a multiple of 26?
True
Let b(f) be the second derivative of 7*f**4/2 - 7*f**3/6 - 11*f**2/2 + 25*f. Let q be b(-3). Is q/8 + -6 + 6/4 a multiple of 18?
False
Is 20 a factor of (20/10*-6)/(((-2)/1)/2980)?
True
Let q(x) be the first derivative of x**4/4 + 3*x**3 + 9*x**2/2 + 3*x + 1. Let p be 708/(-531)*21/4. Is 38 a factor of q(p)?
True
Let c = 207 - 192. Suppose c*k - 10*k - 550 = 0. Does 55 divide k?
True
Let k(m) = -11*m - 9. Let h(o) = 7*o + 6. Let l(q) = -8*h(q) - 5*k(q). Let c be l(-7). Suppose -c*b - 30 = -270. Is 10 a factor of b?
True
Let j = 1138 + 2358. Suppose 19*i - j = -4*i. Is i a multiple of 12?
False
Suppose -17*g - 38*g + 372762 = -g. Is g a multiple of 85?
False
Suppose -5*f - 7*a - 648 = -5*a, -a = -f - 131. Let c = f + 386. Does 16 divide c?
True
Let x(v) = -v + 12 - 2 + 13 + 0*v. Let g be x(21). Suppose 0 = y + g - 6, 0 = -p - 4*y + 280. Does 24 divide p?
