75. Is 6 a factor of f?
False
Suppose 4*l + 6*l = -l. Suppose l = -2*i + 40. Is i a multiple of 10?
True
Is -8*((-816075)/(-26))/(-27) a multiple of 100?
True
Let i(c) = 5*c + 75. Let b be i(-14). Let d(t) = 14*t + 10. Is 4 a factor of d(b)?
True
Suppose k - 3*j = 4*k, k - j = 8. Suppose -4*g + 462 = -2*o, -k*g + 290 + 170 = -4*o. Suppose 5*u - u - g = 0. Is 11 a factor of u?
False
Let d(i) = -1488*i + 494. Is 35 a factor of d(-6)?
False
Suppose 5*b - 2729 - 2006 = -5*m, 5*b + 4*m = 4731. Let r = b - 559. Does 20 divide r?
False
Let r(l) = -l**2 - 16*l + 7. Let p be r(-16). Let g = -152 - -156. Suppose 0 = g*x - 1 - p, 2*d - 3*x = 266. Is 17 a factor of d?
True
Let j = 5713 + -5658. Is 48 a factor of j?
False
Is 135 a factor of (-351)/(-27) - (-1 - 10897)?
False
Let g = -271 + 351. Suppose -g*u = -87*u + 1533. Is 13 a factor of u?
False
Let s(u) = 463*u**2 + 166*u - 489. Is 48 a factor of s(3)?
True
Let r = 58 - 54. Is 54 a factor of 56 + 543 - (1 + r/1)?
True
Let v(z) = -46*z - 24. Let r be v(9). Let w = -216 - r. Suppose 4*u + 3*l - w = l, -3*l + 275 = 5*u. Is u a multiple of 7?
False
Let w = -27 - -27. Suppose w = -8*n + 19 + 5. Suppose 3*m = n*b - 444, 3*b + 4*m + m = 484. Does 11 divide b?
False
Is 70 a factor of (-4)/46 - 4646712/(-782)?
False
Let l = 77 - 17. Let a = 291 + -347. Let n = a + l. Is n even?
True
Let v(q) = -24*q**2 - q - 3. Let f(z) = z**3 - 3*z**2. Let u be f(1). Let d be v(u). Let s = 166 + d. Is s a multiple of 38?
False
Let m = -227 - -229. Suppose -2*h - 5*f = -647 + 200, 0 = -5*h - m*f + 1065. Does 28 divide h?
False
Let p(g) = -g**3 + 8*g**2 + 9*g + 2. Let s be p(9). Suppose 4*z - 5*f - 37 = 0, -s*z + z + 10 = -2*f. Suppose -r = -20 + z. Does 7 divide r?
False
Suppose -3*c - 10*c + 26 = 0. Let l(r) = 18*r - 7. Is 3 a factor of l(c)?
False
Suppose -30*a + 2*l = -29*a - 2066, -3*l - 8299 = -4*a. Is 260 a factor of a?
True
Suppose 5*b - 68836 = -4*p, -7967 = -2*p - b + 26439. Is p a multiple of 9?
True
Let o = -2135 + 10145. Is o a multiple of 45?
True
Suppose -5*h + 7 + 13 = 0, -4*h = -2*j + 14. Let i = -7 + 6. Does 33 divide (i*2)/(j/(-360))?
False
Let i = 23632 + -1407. Is i a multiple of 21?
False
Is 29 a factor of -3*(9 - 6 - (-19738)/(-12)*2)?
True
Let b = -22278 + 33570. Is 12 a factor of b?
True
Suppose -212*f = -324486 + 39558. Does 16 divide f?
True
Does 11 divide (-120)/(-80) - (11771/(-2) + -2) - 0?
False
Suppose 5338 = 6*b - 638. Suppose -4*x = -8*x + b. Let u = -161 + x. Does 8 divide u?
True
Let d = -17 - -67. Let r = d + -36. Suppose 6*v + 1248 = r*v. Is v a multiple of 13?
True
Suppose 4*y = -1934 + 650. Let h = -732 - y. Let g = -217 - h. Does 11 divide g?
False
Suppose 2*s - 47150 = -4*w, 5*w - 75001 = -2*s - 27851. Is s a multiple of 15?
False
Is 163 a factor of 5922/15*6/((-72)/(-210))?
False
Let x = -8895 + 15815. Is 10 a factor of x?
True
Let v(z) = z + 0*z - 3*z - 8*z + 7*z. Is 12 a factor of v(-16)?
True
Let w(m) = 2*m**3 + 15*m**2 + 7*m - 24. Let p(g) = -3*g**3 - 30*g**2 - 14*g + 47. Let h(x) = -3*p(x) - 5*w(x). Is h(7) a multiple of 21?
True
Let h = -305 - -310. Suppose o - 1084 = h*z, o - z - 1266 + 202 = 0. Does 28 divide o?
False
Let b(d) = 3*d + 128. Let y = -282 + 244. Does 3 divide b(y)?
False
Suppose 5*k + 176 = -2*s, 7 = k - 3*s + 49. Let m = 35 + k. Let j(p) = -15*p. Does 3 divide j(m)?
True
Let t = -47150 + 94589. Is 33 a factor of t?
False
Let b be (-13)/((-9)/2 + 5). Let l = b + 22. Does 9 divide 2 + 16 + 5/(5/l)?
False
Let z be 4/(-34) - 2700/170. Let b be (z/80)/((-2)/20). Is 3 a factor of b/(-4*(-3)/48)?
False
Let x(j) = -2*j + 1. Let w be x(-1). Suppose w*u - 5*u = -4. Is (0 + u*-9)/(-1 + 0) a multiple of 3?
True
Let k = 1946 + 4214. Is 77 a factor of k?
True
Let o(p) = -4*p**2 - 4*p - 8. Let c be o(6). Let w = c + 359. Is w a multiple of 14?
False
Let f = -618 - -886. Suppose -5*y + 761 = -2*h + 5*h, -5*h = -10. Let g = f - y. Is g a multiple of 39?
True
Suppose -27 = 10*p - 19*p. Suppose -2*n + p*l - 9 = 0, 3*n + 2*l - 4 = 5*n. Suppose 9*u - 522 = n*u. Does 29 divide u?
True
Suppose 5*c - 11*h - 265 = -16*h, 3*h + 233 = 5*c. Is 19 a factor of (17032/(-7))/(-2) + (-28)/c?
True
Suppose 12*b + 60 = 9*b. Let v be (-1)/1 + (-1020)/b. Suppose -5*w + 878 = -3*h, 921 = 5*w + 4*h + v. Is w a multiple of 47?
False
Let s = -1010 - -546. Let h = s - -610. Is h a multiple of 12?
False
Let c = 9150 + -5253. Let b be (-4)/(-6) + c/27. Let p = b + -57. Does 22 divide p?
True
Let u = 4213 + -2216. Let x = u - 1347. Is x a multiple of 18?
False
Let r = -609 + 277. Let i = 633 + r. Does 43 divide i?
True
Is -1386*((-222)/126 - 4/((-28)/3)) a multiple of 28?
True
Let b(d) = -2 + 90*d - 13 - 9. Let i = -391 + 393. Is 13 a factor of b(i)?
True
Let a(f) = -f**2 + f - 1. Let b(x) = -x**3 + 5*x**2 + 6*x + 21. Let o(m) = 4*a(m) + b(m). Let i be o(-5). Does 7 divide i - -5 - (-6)/(-3)?
False
Let u(i) = 6*i - 138. Let q be u(31). Suppose q*j + 7401 = 57129. Is j a multiple of 7?
True
Is ((-25938)/(-12))/((7 - 6)/2) a multiple of 55?
False
Suppose -3*j + 183 = -2*j + r, 0 = 2*j - 4*r - 360. Let b = j - 158. Does 8 divide b?
True
Suppose -3*h = -21 + 9. Suppose 2*m = 2*u - 430, 0 = h*u + 10*m - 9*m - 865. Does 2 divide u?
True
Let c be 8/(-20)*(-330)/(-3). Let g be -633*(6/36)/(2/c). Suppose -12*o = -g - 259. Does 43 divide o?
True
Let c(x) = -x**2 + 45*x + 59. Let a be c(21). Let s = a + -311. Is s a multiple of 21?
True
Let a(d) = d**3 - d**2 - 5*d - 11. Let v be a(5). Let j(f) = -f - 1. Let p be j(-3). Let r = v + p. Does 6 divide r?
True
Let l(c) = 10260*c**2 - 93*c + 94. Is l(1) a multiple of 161?
False
Suppose 97*v - 6920938 + 1627551 = 0. Is v a multiple of 23?
False
Suppose 0 = -2*d + 3*m + 272, 171 = 5*d + m - 543. Let v = 177 - d. Is 7 a factor of v?
True
Suppose -1440 = -9*r + 3*r. Suppose -6*w = -9*w + r. Suppose 5*s = 3*p + 190, 2*s = 5*s + 5*p - w. Is s a multiple of 5?
True
Suppose 5*k + 5*k - 130 = 0. Suppose -7*w + k = -190. Suppose -25*h - 1100 = -w*h. Does 41 divide h?
False
Let o(j) = j**2 - 3*j + 8. Let t be o(6). Suppose 168*i - 104 = 232. Suppose i*v = t + 182. Is v a multiple of 18?
False
Let s(i) = 7*i**2 + 6*i - 28. Let t be s(4). Suppose -102*g = -t*g + 1008. Is 24 a factor of g?
True
Let x(n) = -3*n**2 + 45*n + 53. Let l be x(-12). Let t = -39 - l. Does 6 divide t?
False
Let r(c) = 4*c**2 + 9*c + 12. Let b be r(-4). Does 58 divide 6704/20 + (-8)/b?
False
Let w(o) = o**3 - 10*o**2 - 35*o - 47. Let y be w(13). Suppose 5*d = -15, 121 = -y*a - 2*d + 2275. Is 9 a factor of a?
True
Let w = -4283 + 16142. Is 14 a factor of w?
False
Let i(o) = 443*o**3 - o**2 + 83*o - 174. Is i(2) a multiple of 16?
False
Suppose -y - y + 2*s = 4, 2*s = -5*y + 4. Let h(v) = 4*v**2 + 2*v - 53. Let i be h(-4). Suppose -g + 3*g - 172 = 2*m, i*g - m - 254 = y. Does 8 divide g?
False
Suppose -4*z = 4*p - 16, z - 10 = 2*p - 21. Suppose 11*j - 10*j = 2*g - 2371, 15 = p*j. Is g a multiple of 26?
False
Suppose 0 = 13*v - 18*v + h + 15, v + 3*h = 19. Suppose -4*k - 564 = -v*p - 0*k, 0 = 3*p - k - 431. Is 13 a factor of p?
False
Let y(p) = -p**2 + 13*p + 8. Let u be y(13). Suppose -2*n + u = -n. Suppose n*l - 157 + 13 = 0. Is l a multiple of 4?
False
Suppose 3*q = -m + 15, -m + 4*m = -5*q + 29. Suppose -1562 = -15*p + q*p. Is 35 a factor of -1 + -3 + p - -2?
True
Let q be 76/(2*(-15)/(-45)). Let m = -152 + 246. Let i = q - m. Does 8 divide i?
False
Let w be (7/(-21))/(1/(-9)). Suppose -4*b + 804 = 2*s, -598 = -w*b - 6*s + 7*s. Is b a multiple of 8?
True
Suppose c - 18 = 4*g, -c + 0*g - 9 = 5*g. Suppose -c*r + 3623 = 869. Is 10 a factor of r?
False
Let u(d) = 3*d**2 - 22*d + 7. Let t be u(7). Suppose t = -4*n, -4*r - 3*n + 405 = -r. Is r a multiple of 23?
False
Let y be 14469/(-106)*(10/6 + -1). Is ((-960)/(-280))/((-2)/y) a multiple of 39?
True
Suppose -3*r - 2*l = -43, 4*l - 2*l - 13 = -r. Is 32 a factor of (12/r)/1 + 2102/10?
False
Let d be -2 + (6/(-6) - -8). Let j(g) = -g**3 + 9*g**2 + 10*g - 6. Is 4 a factor of j(d)?
True
Let s = 501 - 497. Let v(f) = 3*f**3 + f**2 - 11*f + 53. Is v(s) a multiple of 19?
False
Let u(y) be the third derivative of -y**4/12 + 2*y**3/3 + 367*y**2. Let n(i) = -2*i**3 + 2*i**2 - i + 2. Let b be n(2). Is u(b) a multiple of 14?
False
Suppose 0 = -105*d + 118695 + 286710. Does 27