*2 + 7*o - 5. Is 39 a factor of v(5)?
True
Let o be ((-1641)/6)/(14/(-56)). Let s = o - 442. Is 31 a factor of s?
False
Suppose -159865 = 1648*g - 1653*g + 5*w, w - 63958 = -2*g. Does 51 divide g?
True
Let u be (2/(-6))/(-1) + (-896)/96. Let r(o) = -2*o + 39. Is r(u) a multiple of 6?
False
Suppose 41062 = -8*t + 23*t - 25628. Is t a multiple of 59?
False
Suppose 12135 = 11*p + 35*p - 4103. Is p a multiple of 6?
False
Suppose 0 = -13*i + 23*i - 50. Is 5 a factor of (-3)/(-6)*10 + i + 48?
False
Let g be ((-18)/21)/((-39)/91). Suppose 4*z = g*v + 502, 4*v - 501 = -4*z + 5*v. Is 5 a factor of z?
True
Let l(v) = -2*v + 2. Let m be l(-6). Suppose 21*g + 187 = -65. Let s = m + g. Is s even?
True
Let y(s) = s**3 - 5*s**2 + 4*s - 9. Let v be y(4). Is 6 a factor of ((-176)/(-12))/(v/(-162))?
True
Let y(c) = 3*c - 3. Let q be y(5). Let n be (q/(-8))/(3/(-8)). Suppose -v + 3*u = -48, v - n*v = 2*u - 100. Is 15 a factor of v?
False
Let l = 2099 + -1190. Suppose -3*r + l = 2*r - 3*d, -4*r + 3*d = -729. Suppose r = -3*p + 6*p. Is p a multiple of 15?
True
Let u(f) = -2*f**2 + 8*f - 9. Let g be u(3). Is (5313/28)/(-11)*40/g a multiple of 46?
True
Let g = -253 - 24. Let m = g + -16. Let h = -171 - m. Does 12 divide h?
False
Let w(g) = g**3 + 17*g**2 - 19*g - 29. Let r be w(-16). Let x = r + 176. Does 34 divide x?
False
Suppose 2*i = -4*v + 5860, 2*i + 3*v - 5862 = -0*i. Suppose 1116 + i = 5*b. Is b a multiple of 27?
True
Let r be (-2680)/50*(-20)/(-4). Let h = r - -287. Is 3 a factor of h?
False
Suppose -66697*h + 66692*h + 53300 = 0. Is h a multiple of 52?
True
Let y = 6 + -2. Let z be -8*4/((-8)/(-2)). Is 17 a factor of (-316)/z - (-2)/y?
False
Let o be (10/(-15))/((-2)/6). Let t(c) = -41*c**2 - 5*c + 9. Let r be t(o). Does 19 divide (13/3)/(-7 + (-1160)/r)?
False
Suppose -3*d + 123 + 261 = -3*y, -4*y - 641 = -5*d. Let v = 262 + d. Does 23 divide v?
True
Let d = 156 + -178. Let k = 5 - d. Is k a multiple of 3?
True
Let r(b) = -b**3 - 11*b**2 - 107*b. Does 14 divide r(-32)?
False
Let z = 242 - 89. Let w = z - -47. Is 20 a factor of w?
True
Suppose 4 = -r - 125. Let p = 238 + r. Is 14 a factor of p?
False
Let n = -721 + 755. Does 34 divide n?
True
Suppose 4*x + 2688 = a + a, -5*a + 6724 = -6*x. Does 8 divide a?
False
Let q(a) = -a**3 + 38*a**2 + 40*a - 1054. Does 17 divide q(38)?
False
Let y = -7550 + 25886. Is y a multiple of 6?
True
Let r(f) = 2*f**3 + 94*f**2 + 136*f - 72. Is 23 a factor of r(-40)?
False
Let u be (-1 + -2)*(-27 - -26). Suppose 2*g - 175 = -u*f, f = 46 - 43. Does 4 divide g?
False
Let a = -88 + 136. Let i = -36 + a. Is ((-15)/2)/((-6)/i) a multiple of 5?
True
Let h = 1108 + 1083. Is 147 a factor of h?
False
Let s(g) = 9*g**2 + 7*g + 44. Is 14 a factor of s(-3)?
False
Does 3 divide 3008/1128 - ((-7664)/(-18))/((-5)/150)?
False
Suppose -4*b = 3*q - 23, -3*q + 19 = 2*b - 0. Is b + 6 + -9 + 201 a multiple of 17?
False
Let g = 104 - 59. Let v = g - 30. Suppose 14*t = v*t - 35. Is 7 a factor of t?
True
Is 4 a factor of ((-2)/4 + 1)/((-10)/(-30320))?
True
Suppose 0 = 3*l - r - 13740 - 5868, 19626 = 3*l + 2*r. Is l a multiple of 3?
False
Let n = -12 - -3945. Is n a multiple of 19?
True
Let g(y) = -36*y**2 + 6*y - 37. Let c be g(4). Let z = c - -702. Is 3 a factor of z?
False
Let m(k) = 10*k**2 - 101*k + 180. Let g(p) = -7*p**2 + 67*p - 120. Let y(c) = -7*g(c) - 5*m(c). Does 13 divide y(29)?
True
Suppose 14*u - 1144 = 10*u - 4*j, -310 = -u + 5*j. Suppose s + u = 11*s. Does 15 divide s?
False
Let v be (-42)/98 - (-221)/(-7). Let w = 31 + v. Is 7 a factor of w/7 - 3198/(-42)?
False
Let x = -30436 + 39744. Is x a multiple of 179?
True
Let w be (-2)/6 + 84238/(-42). Is 25 a factor of w/(-16) + (-72)/192?
True
Let w = 48068 + -19640. Is 46 a factor of w?
True
Let j(n) = 17*n**3 - n**2 + 2*n - 6. Suppose 0 = r + 6 - 9. Is j(r) a multiple of 12?
False
Suppose 592093 + 593252 = 35*n. Is n a multiple of 71?
True
Let u(y) be the first derivative of -8*y**3 - 7*y**2/2 - 17*y - 8. Let t(l) be the first derivative of u(l). Does 30 divide t(-2)?
False
Let d = 4816 - 102. Is d a multiple of 146?
False
Let v = 37 - 11. Suppose -3*b = -2*z + 3*z + v, 5*z = 3*b + 14. Is 16 a factor of b/(-6)*(-20)/(-15)*9?
True
Suppose 3*y + r = -2*y + 95, -3*y = -2*r - 57. Let o(t) = 9*t - 2. Is 12 a factor of o(y)?
False
Let a(i) = 4*i**2 - 5*i - 3. Let z be (4*(-4)/8)/(-1). Suppose 2*f - 3 = -3*h, -z*f + 7 = -h - 0*h. Is 3 a factor of a(h)?
True
Let h(o) = -1 + 18*o**2 + 7*o + 10*o**2 + o**3 - 11*o**2. Does 73 divide h(-13)?
True
Let d(m) = -21*m + 305. Let v be d(-9). Let b = 1063 - v. Does 4 divide b?
False
Let g(z) be the first derivative of -z**3/3 + 3*z**2/2 + 2*z + 22. Let x(j) be the first derivative of g(j). Is x(-17) a multiple of 37?
True
Suppose 5 = 5*s - j, 0 = -4*s - 4*j - 6 + 10. Let u be 6/(-9) + s/((-3)/(-14)). Suppose 144 = 4*y - i - 242, -8 = -u*i. Does 12 divide y?
False
Let u(a) = -7*a**3 + 24*a**2 + 87*a + 2. Is u(-5) a multiple of 10?
False
Let o(n) be the first derivative of 16*n**2 - 220*n + 72. Is 12 a factor of o(17)?
True
Suppose -4*a + 6*p = 11*p - 2679, 3*a + 4*p - 2010 = 0. Is 59 a factor of a?
False
Let h(q) be the second derivative of 117*q**4/4 - 13*q**3/6 + 13*q**2/2 - 5*q + 16. Is h(1) a multiple of 23?
False
Let r(o) be the third derivative of -o**6/120 + o**5/20 - o**4/4 - o**3/6 - 42*o**2. Let s(x) = x. Let c be s(-4). Is 15 a factor of r(c)?
True
Suppose 0 = -7*q - 0*q - 301. Let f = q + 50. Suppose -f*p = 2*p - 1287. Is p a multiple of 17?
False
Let s = 3210 - 2066. Suppose -144*a - s = -148*a. Is 13 a factor of a?
True
Let t(c) = 3*c**2 - 21*c - 2132. Does 25 divide t(-32)?
False
Suppose 3296 = w + 4*m, 10*m = -95*w + 92*w + 9874. Is 5 a factor of w?
False
Let d be (-2778)/(-60) + 9/(-30). Suppose 0 = r + d - 291. Is 7 a factor of r?
True
Let k = 115 + -214. Is (-8 - k)*3/21 a multiple of 12?
False
Is 142 a factor of 639477/54 + ((-10)/(-12))/(-5)?
False
Let o(j) = j**2 - 12. Let a be o(9). Let y = a - -177. Let t = y + -101. Is t a multiple of 34?
False
Let i = 31 - 25. Suppose -3*j = -2*p - 7*j + i, -4*j + 15 = 3*p. Suppose 4*t + 5*y = 467, 3*t - p*y - 394 = -4*y. Is 13 a factor of t?
False
Suppose 0*f - 2*f - 28 = -2*a, -5*a = -f - 86. Suppose 3*g - 162 = -a. Does 3 divide g?
True
Let z(d) = d**3 - 12*d**2 - 15*d + 40. Let h be z(14). Let f = -7 + 11. Suppose 5*t = f*y - 58 + h, -76 = -2*t - y. Is t a multiple of 11?
False
Let h(k) = -75*k - 73. Let x(s) = -10*s + 28. Let u be x(4). Is h(u) a multiple of 87?
False
Let g be -4 + (-4 - -10) + 1004. Suppose 3*c - g = 5*w + 393, 0 = c + w - 461. Does 13 divide c?
False
Suppose 5*f - 21 = 19. Let k(v) = 5*v + 29. Let a be k(f). Suppose 0 = 2*s - 4*s - d + a, -17 = -s - 4*d. Does 9 divide s?
False
Suppose -4*o + 9 = -x, -15 + 3 = x - 5*o. Suppose 5*v - 2396 = q + 524, x*q - 1185 = -2*v. Is 10 a factor of v?
False
Suppose -3*l = -5*m + 7*m - 39, 10 = 2*l. Let t = 408 + m. Is t a multiple of 21?
True
Let u(z) = 19*z + 83. Let l be u(25). Suppose 0 = -10*v + l + 482. Is 8 a factor of v?
True
Let o = 3141 + -2225. Suppose -3*r - b = -978 - o, b = 4. Suppose 2*f = -4*f + r. Is 14 a factor of f?
False
Let x = -247 - -251. Suppose 4*c + 3*y = 1367, 3*c = c + x*y + 678. Is 50 a factor of c?
False
Suppose -11359*f - 334089 = -11380*f. Is f a multiple of 111?
False
Let l(q) be the first derivative of 3*q**2/2 + 3*q - 1. Let f be l(-14). Let r = 12 - f. Does 14 divide r?
False
Let o(v) = v**2 - 12*v + 36. Let t be o(15). Suppose -t = -4*b + b. Is 7 a factor of b?
False
Let w be (-5 - 23/(-4))*(331 + -3). Suppose 4*l - 2*v - w = -60, -5*v + 63 = 2*l. Is l a multiple of 18?
False
Let l(g) = 29*g + 114. Let j be l(-4). Let a(x) = 72*x**2 + 16*x + 36. Is 12 a factor of a(j)?
False
Let n(u) = -u**2 - 26*u + 45. Let v be n(-27). Does 18 divide 4 + -4 + v*13?
True
Let p = -54 - -5406. Does 57 divide p?
False
Suppose -4*i - 268 = -2*o - 8*i, -5*o - 4*i + 652 = 0. Suppose 2*q - o - 32 = 0. Is q a multiple of 20?
True
Let l(y) = -6*y - 9 + 9. Let c be l(3). Does 31 divide 169/((-3)/c - (-20)/24)?
False
Suppose -311*w + 501*w - 2378990 = 0. Is w a multiple of 47?
False
Let a(y) = -5*y**2 + 39*y + 6. Let c be a(8). Does 32 divide (c - 64/(-12))*(-228)/(-10)?
False
Suppose -4*s = 6*s - 160. Let f = 12 - s. Is 16 a