 + h = 6*w. Does 16 divide w?
False
Suppose -9 = -11*x + 2. Let s be -1 + -398 - 2 - x. Let o = 615 + s. Is o a multiple of 20?
False
Is 27 a factor of (-2313)/(18/9*(3 + (-37)/12))?
True
Let d(h) = -2*h**2 + 44*h - 176. Let n(u) = -3*u**2 + 45*u - 176. Let z(p) = -4*d(p) + 3*n(p). Is z(-44) a multiple of 9?
False
Suppose -16*m - 52 = -3*m. Let w be ((-5)/(-4))/((-2)/8). Is (-3)/(((-3)/52)/(w/m)) a multiple of 13?
True
Suppose -65090 = -4*h - 2*n, 12*h - 65110 = 8*h + 2*n. Suppose -16*m + h = 5*m. Does 25 divide m?
True
Let l(f) = 1951*f**2 - 334*f + 33. Is 98 a factor of l(5)?
True
Let c(i) = -391*i + 1. Let n be c(-1). Let u = -258 + n. Is 8 a factor of u?
False
Suppose k + 46*z = 50*z + 3530, 10641 = 3*k + 5*z. Does 14 divide k?
True
Let f(z) = -31*z - 13. Let k(j) = 2*j**2 - j - 7. Let l be k(-2). Let o be l - (79/11 - 20/110). Is 37 a factor of f(o)?
True
Let q be 9/7 - 4/14. Let i(a) = 3. Let z(r) = 21*r - 15. Let k(w) = 6*i(w) + z(w). Is k(q) a multiple of 24?
True
Let k(i) = i**3 + 10*i**2 + 5*i - 40. Let s be k(-9). Is 76 a factor of s/(-14) + 39890/35?
True
Suppose 0 = -63*s + 13*s + 22800. Does 32 divide s/1 - (-14 + 11 + 6)?
False
Let n(d) = -43 - 18*d + 78 - 81 - 54. Does 2 divide n(-7)?
True
Suppose -333 = -18*d + 315. Let h = -40 - -68. Let t = h + d. Is t a multiple of 8?
True
Suppose -4*i = 5*w - 15687, -3*w + 3*i + 9411 = 5*i. Does 15 divide w?
True
Let d = 646 - -1602. Is 7 a factor of d?
False
Does 6 divide ((-4)/14*1431)/((-223)/3122)?
True
Let q(v) = -6*v + 3. Let c be q(3). Let n = c + -25. Does 9 divide n/25*(-30)/4?
False
Let d(h) = h**3 - 175*h**2 - 89*h - 6336. Is 8 a factor of d(176)?
True
Let h(b) be the second derivative of 13*b**6/720 + b**5/15 + b**4/6 + 3*b. Let u(q) be the third derivative of h(q). Does 28 divide u(8)?
True
Is ((-23)/(1495/234))/(27/(-9630)) a multiple of 12?
True
Let q(j) = -1476*j + 1455. Is 25 a factor of q(-20)?
True
Let g(i) = 2*i**2 + 3*i - 2. Let d be g(1). Let m be d/5 + (66/(-10) - -6). Suppose 6*t - 160 = 3*t + 2*y, m = 4*t - 3*y - 214. Is 6 a factor of t?
False
Suppose 5*r = -2*m + 8 - 2, 15 = -4*r + 5*m. Suppose r = 10*t - 464 - 156. Suppose -t = -8*i + 770. Is i a multiple of 13?
True
Suppose -71212 = -2*y + i - 3511, -2*y = 2*i - 67710. Is y a multiple of 84?
True
Let w = -2460 + 5672. Is 44 a factor of w?
True
Is -260*((-2289)/102 + 33/(-561)) a multiple of 25?
True
Let b(t) = t**2 + 14*t + 40. Let o be b(-11). Suppose 0 = 8*s + o*s - 26940. Does 44 divide s?
False
Let f = -500 + 502. Suppose f*c + 485 = 46*w - 41*w, 0 = -w - 5*c + 70. Is w a multiple of 5?
True
Let u = -178 - -513. Suppose 153*i - 158*i = -u. Is 18 a factor of i?
False
Suppose 25*b = 24*b + 2. Is 3 a factor of (-7)/(b + (-20)/12)*-2?
True
Let k = 37 - 36. Does 16 divide (98 - 1)*(k + 0)?
False
Let w = 19582 - 16363. Does 111 divide w?
True
Suppose 2*f - 39 - 3 = -5*r, -5*r = f - 36. Let v be 2180/(4/2) + 2. Suppose -f*h = h - v. Does 13 divide h?
True
Let s be 105/(-12) - 9/36. Does 4 divide 4/s - 1996/(-36)?
False
Let s(g) = 7*g + 147. Let u be s(-21). Suppose -2*d - 4 = -3*l + 27, 2*l = -5*d - 11. Suppose -c = -3*t - 42, 4*t + 13 + l = u. Is 14 a factor of c?
False
Let v be 25/(-1 + -4) - -2. Let n be (10/v)/((-8)/12). Suppose n*r - 3*s = 2*s + 390, r - 90 = -5*s. Is 20 a factor of r?
True
Let z be (5 - -1)*-1 - -3. Let a = 79 + -19. Does 17 divide (a/(-18))/(z/108)?
False
Is 4 a factor of 3 + 1308 + (-50)/(-10)?
True
Let m(x) = -3*x**2 - 260*x + 15. Does 32 divide m(-41)?
True
Let s be (4/3)/((-8)/132). Suppose 470*b - 2210 = 457*b. Let v = b + s. Is 23 a factor of v?
False
Suppose 3*l - 49*c - 3394 = -44*c, -2*l + c = -2265. Does 9 divide l?
False
Let m = 173 - 181. Is 2/16 + (-1679)/m a multiple of 30?
True
Let v(m) = m**2 - 6*m - 11. Let k be (4 - 9) + 35 - -2. Suppose 52*h - 48*h - k = 0. Does 2 divide v(h)?
False
Let i(a) = -4*a + 10. Let c be 99/(-22) - 6/(-4). Does 7 divide i(c)?
False
Let r = -20263 + 59131. Is r a multiple of 123?
True
Suppose -t = -4*t + 12. Suppose 2*u - 3*r + 2 = 0, r + 1 + t = -5*u. Does 19 divide 134 - 14 - u*1?
False
Let j be 13/(-26) - (-15)/(-2). Let s(f) = 24*f - 15*f - 14*f + 8 + 0. Is s(j) a multiple of 4?
True
Let q be (-1 - (0 + 104))/(17 - 18). Suppose 2*s = -4*d + 295 + q, 3*s = 4*d + 650. Is 14 a factor of s?
True
Let q(g) = -g**2 + 2*g + 10. Let b be q(5). Let d = -13 + b. Does 23 divide (-1004)/d - 22/(-99)?
False
Is 75 a factor of (-675)/((-10)/(450/207) + 4)?
True
Let l(b) = -3*b**3 - 60*b**2 + 4*b - 107. Is 8 a factor of l(-21)?
False
Let o = -10 - -23. Suppose 0 = -10*a + o*a - 1266. Is 9 a factor of a?
False
Let d(g) = 2*g**2 + 37*g - 42. Let m be (-6 - -2)/((-20)/(-110)). Is d(m) a multiple of 14?
True
Suppose 631032 + 643144 = 122*p - 786526. Does 133 divide p?
True
Is 18 a factor of 45481 + (-4 - (-14 + 10))/1?
False
Let q(s) = -8*s**2 - 2*s + 7. Let k be q(-2). Is 6/k - 8244/(-42) a multiple of 7?
True
Suppose 5*m = -3*f + 72 + 1419, -497 = -f + 3*m. Let g = f + 108. Is g a multiple of 18?
False
Let k(l) = 99*l**2 - 120*l + 55. Does 5 divide k(6)?
False
Suppose 2*o = 3*w + 759, 5*o + 0*o = -w + 1923. Suppose r = -3*t + 397, o - 119 = 2*t + r. Does 22 divide t?
True
Let q(c) = -c**3 - 24*c**2 + 4*c + 30. Let k be q(-24). Let v = k + 198. Does 11 divide v?
True
Suppose -2*k - 1193 = -13. Let x = -347 - k. Is 9 a factor of x?
True
Let b be (1 - 2/1)/(1/(-25)). Suppose 7*a = 2*a + b. Suppose 0 = -a*j + 68 - 8. Does 4 divide j?
True
Let m(n) = -96*n**2 + 42*n - 6. Let p be m(4). Let y = -945 - p. Is y a multiple of 23?
False
Suppose 16*r - 25722 = 13*r - 5*j, 3*r = 5*j + 25722. Does 9 divide r?
False
Let d = 702 - 1524. Let r = 1166 + d. Does 31 divide r?
False
Let f(a) = -10*a + 57. Let t be f(4). Is t + (-2)/7 + (-96)/56 a multiple of 15?
True
Suppose 427 = -4*n + f + 6431, 4*n - 6008 = 2*f. Does 125 divide n?
True
Let a(m) = -16*m - 7. Suppose 6*s - 26 = -92. Let r be a(s). Suppose -4*d + 329 = 4*z - d, r = 2*z + 3*d. Is z a multiple of 16?
True
Suppose 0 = 10*h - 13*h + 15. Let z be (-17)/1*(h - 3). Does 31 divide 8*8 - z/(-17)?
True
Let j be 8/20 + 1893/5. Suppose 383*q = j*q + 6640. Is q a multiple of 30?
False
Let v be 4/6 + (-122)/(-6). Suppose -3*g = -2*z - 106, g + 385 - 424 = -3*z. Let l = g - v. Is l a multiple of 5?
True
Let f = -91 + 183. Is 29 a factor of f*(-6 - -10 - (-2 + 1))?
False
Suppose 5*l + 3*y = 498, l + y - 2*y = 98. Suppose -219 = -4*j - l. Is 7 a factor of j?
False
Let m be (2/(-7))/(7/(-49)). Suppose 3*n + 26 + 14 = i, -n - 75 = -m*i. Suppose -8*f + 1365 - i = 0. Is 11 a factor of f?
False
Let p be (-7)/((-77)/2) - (-30)/(-165). Suppose 8*q - 457 + 185 = p. Is 34 a factor of q?
True
Let s = 51320 + -17543. Is 13 a factor of s?
False
Let g(l) = -45*l + 889. Is 13 a factor of g(-106)?
False
Let k be 22/4 + (-20)/(-8) + -1. Let i(b) be the first derivative of -b**4/4 + 3*b**3 - 2*b**2 - 5*b + 2. Does 18 divide i(k)?
False
Let q = -7 - -19. Suppose -3*w = -d - q, -2*w = 2*w - 20. Suppose k = -d*k + 120. Does 10 divide k?
True
Let c be ((-2530)/15)/(6/9). Let u = 116 + c. Let v = -99 - u. Does 6 divide v?
False
Let w(t) = 179*t**2 - 131*t - 16. Does 12 divide w(8)?
True
Suppose 3*p + 336 = 11*p. Let a = 101 - p. Let h = -22 + a. Is 8 a factor of h?
False
Let o = -116 - -125. Let i be 4*o/4 - 4. Suppose 4*g + g + 20 = i*q, -3*q + 14 = -g. Does 2 divide q?
False
Let v(i) = -4*i**2 + 18*i - 17. Let r(n) = -5*n**2 + 20*n - 17. Let g(f) = -5*r(f) + 6*v(f). Is g(9) a multiple of 34?
True
Suppose -1214 - 3250 = -9*r. Is 8 a factor of r?
True
Let r(f) = -f**3 - 38*f**2 + 84*f + 105. Let m be r(-40). Let n be 147 + -2 + 2 + 2. Let p = m + n. Is p a multiple of 10?
False
Suppose 3*b + 5230 = z, -5*z + 2*b + 13334 = -12712. Is 19 a factor of z?
True
Let k be 140/44 + (-2 - (-100)/55). Suppose -4*g + 148 + 200 = 0. Suppose g = -k*h + 351. Is h a multiple of 7?
False
Let d(n) = n**2 - 9*n + 2151. Does 27 divide d(75)?
True
Let t(f) = 3 - 8*f + 3*f**2 - 5 + 5. Let c = -47 - -53. Does 7 divide t(c)?
True
Suppose -t - 7158 = -7*d, -4*t - 1117 = -3*d + 1965. Does 4 divide d?
False
Let b(r) = -r - 3. Let l be b(-6). Suppose -306 = -28*s + 142. Suppose z = 2 - 0, l*z - s = -u. Is u a multiple of 2?
True
Let w be -4 - 2/((-12)/42). Suppose 0 = -4*b + 3