h - 286*h - 36807 = -3*v. Is 239 a factor of v?
False
Let z be 123 - (-1 - -8 - 2). Let k = z - 114. Is 42/8*(k - (-12)/9) a multiple of 7?
True
Suppose 2*g = -3*o + 4893, -4*o = -6*g + 2*g + 9796. Does 34 divide g?
True
Let v = -47792 + 71123. Is 231 a factor of v?
True
Is ((-83237)/141 + 17 + 0)*30/(-2) a multiple of 86?
True
Let s be 240 - (3 + -1 - (10 - 8)). Let x = s - 165. Let r = x - -27. Is r a multiple of 17?
True
Let y(m) = -30 + m + 20 + 21. Let x be y(-6). Suppose b - 34 - 1 = 5*l, -60 = -x*b + 2*l. Is b a multiple of 5?
True
Suppose -2*g = 3*u - 3160, -111*u + 108*u - 4*g = -3170. Does 25 divide u?
True
Let y be 160/280*(29 - 1). Suppose -2*f = -996 + y. Does 70 divide f?
True
Let o = -35 - -35. Let c(h) = 2*h + 26. Let g be c(o). Suppose g = 4*w - 82. Is 27 a factor of w?
True
Let d = 40498 + -20960. Is 8 a factor of d?
False
Suppose -3497*g - 49602 = -3539*g. Is 27 a factor of g?
False
Let f be ((-5)/(-10))/(1/12). Let v(a) be the third derivative of a**5/20 - 3*a**4/8 + 11*a**3/6 - 7*a**2 + 8*a. Does 13 divide v(f)?
True
Is 24 + 1069670/315 + (-2)/(-9) a multiple of 57?
True
Let d = 2936 - 1721. Does 15 divide d?
True
Suppose -3*a = -2*a - 2*b - 1820, 5468 = 3*a - 2*b. Is 6 a factor of a?
True
Suppose 0 = 81*a - 222*a + 130284. Is a a multiple of 14?
True
Let v(a) = 2*a. Let x(b) = -15*b**2 + 7*b - 30. Let p(c) = -2*v(c) - x(c). Is 43 a factor of p(7)?
True
Suppose 11*o + 3331 - 86 = 0. Let j = o + 306. Is j even?
False
Let t(s) = 17*s**3 - 4*s**2 + 20*s - 64. Does 173 divide t(12)?
False
Let g(w) = -45 - 18 - 14*w - 7 - 30. Is 19 a factor of g(-12)?
False
Suppose 19 = 4*u + 7, 0 = 3*a - 4*u - 222. Let d = a - 75. Is ((-5)/(75/(-18)))/(d/80) a multiple of 4?
True
Let t = -165 + 320. Let h = 2834 + -2834. Suppose h = 2*j - 5*m - t, -2*j + 5*m + 161 = 6*m. Does 20 divide j?
True
Let o(y) = 8*y**2 - 6*y - 60. Let g be o(-6). Suppose -25*u - g = -12964. Is u a multiple of 70?
False
Let n(j) = 11*j**2 + 93*j - 134. Is n(-32) a multiple of 17?
False
Suppose f + 551 = 2*g, 57*g - 53*g + 4*f - 1108 = 0. Is g a multiple of 8?
False
Let j be 16/64 + 1/(4/3). Let l be (((-3)/2)/j)/((-4)/8). Suppose l*x = 46 + 164. Is 23 a factor of x?
False
Does 41 divide (-11)/330*-27498 + 4/40*-6?
False
Let r = -8720 - -15790. Suppose -8686 = -13*m + r. Is 28 a factor of m?
False
Let x = -1183 + 2247. Does 56 divide x?
True
Let v(x) = -35*x. Let u(w) = -w**3 + 5*w**2 + 2*w + 11. Let t be u(6). Does 35 divide v(t)?
True
Let h = -129 - -84. Is (((-120)/3)/4)/(2/h) a multiple of 15?
True
Let k = -12742 + 26317. Is k a multiple of 75?
True
Is 18 a factor of (-3087)/(-294)*120/2?
True
Suppose 3*i + 9*k - 8*k = 3349, 5*i - 5595 = -5*k. Suppose -5*x + i = -5*z + 45, -4*x - 4*z = -832. Is 18 a factor of x?
False
Let w(z) = 248*z + 3. Let g be w(5). Suppose -4*l + g = -5*h, -l + 4*l + 5*h - 976 = 0. Let u = l - 226. Is u a multiple of 13?
True
Suppose -4*y = -g - 29, 5*g - 3*g + 2*y = -18. Let d = -6 - g. Suppose 115 = 5*i - 2*p + d*p, 4*i = 2*p + 80. Does 14 divide i?
False
Suppose -5*q = 2*w + 596, -9 + 367 = -3*q - w. Let b = q - 276. Let p = b - -690. Does 42 divide p?
True
Suppose 4*k = 3*k + 4*s - 22, 3*s - 62 = 4*k. Does 14 divide 6/k + -2 + 952/49?
False
Let x(i) = 85*i + 18 - 45*i - 6*i**2 - 38*i - i**3. Let j be x(-12). Suppose 9*l = 15*l - j. Does 20 divide l?
False
Suppose 6*b + 65 = n + 3*b, -4*b - 325 = -5*n. Let t be (-1)/((-2)/(-32)) + -1. Let r = t + n. Does 8 divide r?
True
Suppose 3*b + 7*s - 9*s - 1058 = 0, -5*b + 1795 = 3*s. Let k = -176 + b. Is k a multiple of 9?
True
Is 13 a factor of (-12 - (0 - 0))*(0 + (-78)/1)?
True
Let z(d) = d + 11. Let k(v) = 1. Let x(o) = k(o) + z(o). Let h be x(-9). Suppose h*y + 129 = 327. Does 22 divide y?
True
Let i be ((-280)/(-6))/((-22)/(-33)). Suppose -2*v = 12*v + i. Let w(u) = 2*u**2 - 5*u - 22. Is w(v) a multiple of 16?
False
Suppose 24*y - 5*c + 5215 = 27*y, 5*y - 5*c - 8705 = 0. Is y a multiple of 30?
True
Let v = 2103 + -1691. Does 2 divide v?
True
Suppose 107*j + 11898 = 14086 + 72177. Is j a multiple of 13?
False
Suppose -5*m = 2*c - 23, 5*c - 4*m - 5 = m. Suppose 7*k + 8 = 3*k - c*v, -3*k = -2*v + 31. Is (1/(-2))/(k/280) a multiple of 5?
True
Does 40 divide (-561600)/180*(-1)/2?
True
Let s = 612 - 515. Let g be 2/(1/(15 - -2)). Let z = s - g. Does 21 divide z?
True
Let c(h) = 5*h - 9. Let z be c(3). Suppose z = n - 8. Suppose 4*b = 3*b - k + n, -4 = 4*k. Does 12 divide b?
False
Let r(l) = 403*l**2 + 288*l - 11. Does 59 divide r(6)?
True
Suppose -4*c + 26 = 198. Let k = -23 - c. Let r = k + 36. Is r a multiple of 8?
True
Let p be 4*(4 - (-302)/8). Suppose 2*r - 646 = -3*o, -o = 4*r - p - 55. Is 17 a factor of o?
False
Let x = -104 + 104. Suppose -3*m + 686 - 206 = x. Does 8 divide m?
True
Suppose 2*z = -2*h + 85738, -4*z - 5*h = -57212 - 114266. Is z a multiple of 19?
False
Let m(t) = -3*t - 20. Let n be m(-8). Suppose -8 = n*y - 5*j, y + 2*j - 6 = 5. Suppose 2*x - 5*r - 51 = 0, x - y*r = -x + 41. Is 10 a factor of x?
False
Suppose 72678 = 39*x + 67404 - 143784. Is 38 a factor of x?
False
Let v be 4/20*-24*(-10)/4. Suppose -1 = -y + 13. Suppose 0 = v*p - y*p + 354. Does 17 divide p?
False
Suppose 13*f = 11*f + 2, 39 = 4*q - f. Is 11 a factor of ((q - 4) + 161)/1?
False
Let m = 158 + -131. Is m/(-3 + (-75)/(-20)) a multiple of 11?
False
Suppose -28 = -7*m, 5*x - 6*m = -9*m + 57807. Is x a multiple of 9?
False
Suppose 3*x = 10*x - 1071. Is x a multiple of 51?
True
Suppose 5*y - 34 = -24. Suppose -r = 4*r + y*s - 473, 5*r + 4*s - 471 = 0. Let g = r - 16. Is g a multiple of 13?
False
Let l(j) = 21*j + 43. Let v be l(7). Let f = 23 - 16. Suppose x + 5*k = 46, -f*k + 2*k + v = 5*x. Is 16 a factor of x?
False
Is 9 a factor of (8 + -12)/((-9)/(-7506)*-3)?
False
Suppose -5*v + 3*f + 4339 = 0, -2*v = 9*f - 10*f - 1735. Let j = v - 432. Does 14 divide j?
True
Let g(h) = 10*h**2 - 9*h - 754. Is g(26) a multiple of 74?
True
Let v = 5072 + -2972. Does 20 divide v?
True
Let z = -756 + 751. Let j(k) = 13*k**2 - 18*k - 29. Does 8 divide j(z)?
False
Let l(g) be the first derivative of -g**2/2 - 4*g + 11. Let h be l(-7). Is 18 a factor of (h - 4)*(0 + -43)?
False
Suppose 4418 = 28*a - 8*a - 5202. Is a a multiple of 13?
True
Let q = 585 - 573. Suppose -q*m + 1628 + 2848 = 0. Is 37 a factor of m?
False
Let f(k) = -k**3 + 15*k**2 - 35*k + 15. Suppose 60 + 72 = 11*t. Does 9 divide f(t)?
True
Suppose 8*j - 10*j + 6990 = 0. Does 31 divide (-2)/((-50)/j) + 4/(-5)?
False
Suppose j + 4 + 9 = 0. Let x = j + 18. Suppose x*v = 20, -5*v + 2 = -2*q + 16. Does 3 divide q?
False
Let r be (36/5)/((-6)/(-8775)) - 2. Suppose 52*k = 45*k + r. Is 47 a factor of k?
True
Let b = -44 - -41. Let f be 2/b*((-63)/6)/7. Is 9 a factor of (-3)/(((-1)/3)/(0 + f))?
True
Let d = -5 - 4. Let r(k) = 17*k**2 + 23*k + 46. Let c(g) = -12*g**2 - 15*g - 30. Let a(n) = 7*c(n) + 5*r(n). Is a(d) a multiple of 11?
True
Is (4 - -20610) + ((-14)/119 - 140/(-34)) a multiple of 61?
True
Suppose -2*y = 2, -5*r + y + 3488 - 27 = 0. Is 173 a factor of r?
True
Let r = 604 - 580. Suppose -9 = -3*f, r*f - 249 = -4*z + 25*f. Is z a multiple of 21?
True
Let b be (0 + -3)*(6 + 119/7). Let c = b + 243. Let m = c - 110. Does 8 divide m?
True
Suppose -5 - 25 = -6*j. Suppose 0 = j*n - 0*n + d - 77, 4*n = -3*d + 55. Is n/(-80) + (-196)/(-5) a multiple of 11?
False
Suppose -17*a = -2*o - 12*a - 11, 4*o = -5*a + 23. Suppose 4*h - 6208 = 5*f, 0 = o*h + 6*f - 9*f - 3104. Does 14 divide h?
False
Let z be (1968/5)/((-150)/(-4125)). Does 11 divide ((-3)/(-2) + 0)*z/82?
True
Let f(x) = -9*x**3 + 25*x**2 + 649*x + 85. Is 71 a factor of f(-18)?
False
Let l = -60 + 63. Suppose 0 = -2*y + 7*h - l*h + 168, 3*y + 3*h = 252. Is y a multiple of 21?
True
Suppose 3 = o, -5*b - 2*o + 18043 = -22523. Is 6 a factor of b?
True
Is 15 a factor of (15/(-55)*-33)/(4/(7240/6))?
True
Suppose -83*f = 54610 - 1047041. Is 25 a factor of f?
False
Let o be 2/(-4)*(-3)/((-6)/4). Let x be -25 + (o - 2) + 1. Is x/(-6) - (-4)/(-7 - 1) a multiple of 2?
True
Let i(s) = -s - 16. Let b be i(-19). Suppose 3*y + 542 + 2815 = 3*h, 0 = -b*h - y + 3369. Suppose -11*l + h = -792. Is 29 a factor of l?
True
Let q(p) = 40*p**2 + 7*p - 11. Let d be q(2). Suppose 0 = i + d - 334. Does 57 divide i?
True
Let i(d) = d**3 - 2*d