 f - l*f. Suppose -5*b - f*s + 4*s + 417 = 0, 0 = -b - 4*s + 91. Is 8 a factor of b?
False
Suppose -255883 - 80903 = -29*g - 39072. Is 118 a factor of g?
True
Suppose -8*w - 18502 + 129622 = 0. Suppose 18*j = 1338 + w. Does 12 divide j?
False
Let u = 4 + -6. Suppose 20*w + 0*w = 620. Let i = u + w. Is 11 a factor of i?
False
Let t(r) = 3082*r**2 - 86*r + 289. Is t(3) a multiple of 3?
False
Let f(y) = 2*y**3 - 60*y**2 + 3*y - 44. Suppose 15*q = 184 + 266. Is f(q) a multiple of 10?
False
Suppose -3109*w - 1280866 = -3155*w - 439756. Is 265 a factor of w?
True
Let b be (-22)/(-4)*(8 + 72/(-6)). Let l(m) = -m**3 - 22*m**2 - 35*m - 15. Does 16 divide l(b)?
False
Let u = 364 - 310. Let y = 63 + u. Is y a multiple of 2?
False
Suppose 2*g - 3*n = 43940, n + 36771 = 3*g - 29125. Does 38 divide g?
True
Suppose h + 25 = 27. Let c be (h + -1)*7*(7 - 5). Suppose -v + 101 = -c. Does 12 divide v?
False
Let t(s) = -180*s + 864. Is t(-26) a multiple of 14?
True
Let r(l) = 6*l**2 + 5*l + 1. Let n(b) = -b**3 - 4*b**2 + b + 8. Let i be n(-3). Is 11 a factor of r(i)?
True
Let z(o) = 22 - 2*o + 10 + 4*o - 9*o. Does 3 divide z(-31)?
True
Let f(x) = x**2 - 11*x - 25. Let u be f(13). Does 3 divide 20/(-80) + u + 1083/12?
False
Let s = -572 + 526. Suppose -1 = -y + 29. Let b = y - s. Does 12 divide b?
False
Suppose 345 - 40 = c. Suppose -4*t - 5*m + c = 16, 4*t + m - 269 = 0. Is t a multiple of 4?
False
Let x(w) = 8*w - w + 69 - 2*w + 2*w. Is 11 a factor of x(7)?
False
Let x be 8/16 + (-1 + -1)/4. Suppose 4*n + 5*v = -0*v + 1835, x = -n - 3*v + 464. Is n a multiple of 13?
True
Let f(b) be the third derivative of b**6/120 + 2*b**5/15 + b**4/12 + 7*b**3/3 - 11*b**2. Let y be f(-8). Is (-2 + -56)*-4 + y a multiple of 13?
False
Suppose -4*f + 8 = -3*f + 4*g, -7 = -2*f + g. Suppose f*i + 56 = v + 5*i, -v + 2*i = -44. Let z = v - -102. Is z a multiple of 14?
True
Let h = -219 - -155. Is 22 a factor of 2752/5 + h/160?
True
Let t(r) = 7*r**2 - r - 2. Suppose 2*j = -6*j + 32. Suppose -2 = 2*k + k - 2*c, 3*k - j*c = 2. Does 16 divide t(k)?
False
Let j(x) = 636*x - 435. Does 249 divide j(23)?
True
Suppose 5*z + 79605 = 5*x, -69*x + 4*z - 47805 = -72*x. Does 104 divide x?
False
Suppose -2*n + 18 = -5*x, 4 = -5*x + 3*x. Suppose 3*w - 115 = 5*u - 8, 0 = -n*u + 20. Is 22 a factor of w?
True
Let z(c) = c**3 - 2*c + 1. Let q(o) = 4*o**3 - 15*o**2 - 9*o + 17. Let a(m) = q(m) - 5*z(m). Is 6 a factor of a(-16)?
True
Is 8 a factor of (3237 - -23) + -2 + -9 + -6?
False
Let f(c) = 0*c + 5*c + 61 - c. Does 5 divide f(11)?
True
Suppose -2*s = 13*d - 16*d - 18489, -s - 4*d = -9195. Does 51 divide s?
True
Let k(m) be the first derivative of m**3 + 9*m**2/2 + 16*m + 1. Let u be k(-6). Does 26 divide ((-364)/u)/(2/(-40))?
True
Let h(q) = q - 5. Let v be h(9). Suppose -v*w + 3162 = -8*l + 13*l, 4*w = 12. Does 15 divide l?
True
Let u = 72 - 82. Let m = 152 + u. Is m a multiple of 21?
False
Let c(n) = 19*n**2 - 4*n - 18*n + 22*n**2 - 18 + 13*n. Does 54 divide c(-3)?
True
Let k = -869 - -854. Let r(s) = -3*s - 33. Let o(d) = 2*d + 34. Let j(t) = 4*o(t) + 3*r(t). Is j(k) a multiple of 13?
True
Suppose 3*x - 68217 = 3*h, 4*x + 32777 = 5*h + 123736. Is x a multiple of 29?
True
Suppose -286*k + 282*k - 44 = 0. Let t(v) = -v**3 - 9*v**2 - 4*v - 5. Is 14 a factor of t(k)?
False
Suppose -5*g + 3*s + 132004 = 10413, -s + 48643 = 2*g. Is (4/6)/2 + g/192 a multiple of 27?
False
Suppose -114839 = -28*r - 3*r + 63163. Is 99 a factor of r?
True
Let p(o) = -o**3 - 10*o**2 - 6*o - 8. Let m be p(-9). Let l = m + 36. Is 3 a factor of (14/35)/(l/35)?
False
Let w = 36134 - 17623. Is w a multiple of 173?
True
Let c(r) = 19*r - 40. Let o be c(6). Let y = -1 + o. Is y a multiple of 6?
False
Let k(w) be the second derivative of w**4/12 - 17*w**3/6 + 37*w**2/2 + 5*w - 6. Is 7 a factor of k(23)?
True
Suppose 60*n - 56*n = -q + 814, 3*n = -3*q + 2424. Is 39 a factor of q?
False
Suppose 5*l + 29 = -3*v, 49*l - 49 = 3*v + 44*l. Does 32 divide (v/(-1))/(29/464)?
False
Let k(j) = 5*j + 770. Is 20 a factor of k(-50)?
True
Let j = -4836 + 4919. Let u(a) = -329*a**3 - a - 1. Let w be u(-1). Suppose -j + w = 6*v. Is v a multiple of 6?
False
Does 69 divide (2868696/30)/18 + (-5)/((-50)/6)?
True
Suppose -2*x = 503 - 2419. Suppose 3*n = 3*u - 1923, -3*u + 989 = 5*n - x. Is u a multiple of 35?
False
Let a(y) = -3*y**2 - 77*y - 14. Let d be a(-18). Suppose -3*r - d = -4*q - 116, -355 = -5*q - 2*r. Is 4 a factor of q?
False
Let d(l) = l**3 - 3*l**2 - l + 8. Let c be d(3). Is c + -9 - (-174)/3 a multiple of 18?
True
Let d(o) be the third derivative of o**6/120 - 23*o**5/60 - 23*o**4/24 + 14*o**3/3 - 64*o**2. Does 11 divide d(24)?
False
Let s be -3 + (-6)/3 + 7. Suppose -2*j + 1535 = -3*x, -2*j - 3*x + 3025 = 2*j. Suppose q = -s*h + 7*h - 764, -5*q - j = -5*h. Is h a multiple of 17?
True
Suppose -5*j = -5*b - 13725, 17*j - 2*b + 13760 = 22*j. Is j a multiple of 38?
False
Suppose 108*u + 40*u = 629740. Does 185 divide u?
True
Is 33 a factor of 8 - ((-369304)/32 + 8/(-32))?
False
Let a = 214 + -196. Suppose 25 = a*g - 1865. Does 17 divide g?
False
Does 2 divide (635 - 214) + (-1 - -10)?
True
Suppose 0 = -s - t - 1433 + 284, s = 5*t - 1167. Is 18/(s/(-58520)) - 3/8 a multiple of 47?
False
Let o(d) = -2*d**3 + 10*d**2 + 44*d + 101. Is o(-7) a multiple of 17?
True
Let u = -365 - -363. Is 9 a factor of (u - -6) + -7 - -408?
True
Let v be 5 + -4 - 3*(1 - 4). Suppose 5 = -4*d + 61. Suppose -v*z = -d*z + 68. Does 17 divide z?
True
Let n = -188 - -87. Let o = n + 105. Suppose -9*h + j = -5*h - 375, 0 = 5*h + o*j - 474. Is h a multiple of 28?
False
Does 38 divide (-6710)/8*(41 + -61)?
False
Is 60 a factor of (9 - 116/12)*-8337?
False
Let s(n) = n**3 - 4*n**2 - 10*n + 15. Let b be s(4). Is (0 + 5 + 5)*(-285)/b a multiple of 5?
False
Let t(n) = -3*n + 66. Let m be t(0). Let d(k) = k**3 - 4*k**2 - 7*k + 1. Let q be d(7). Let o = q - m. Is 3 a factor of o?
True
Let o = -180 - -183. Suppose 2*b - 4*b = -d + 59, 57 = d - o*b. Does 9 divide d?
True
Let v(y) = -5*y**2 + 13*y + 32. Let g be v(-2). Does 31 divide (-2168)/g - (-42)/294?
True
Let f = 1450 - 517. Suppose 4*t + f - 241 = 0. Let c = t + 397. Is 14 a factor of c?
True
Suppose -15*g + 86 = -6*g - 1750. Is g a multiple of 3?
True
Let h be 22/((-110)/(-15)) + 193 + 0. Does 11 divide ((-13272)/h)/(2/14)*-1?
False
Suppose -177177 = -31*o - 104*o - 8*o. Is o a multiple of 3?
True
Let r be 35264/144 - (-1)/9. Is 5 a factor of r + 18/6 + 7?
True
Let v(f) = 45*f + 34. Let a be v(-6). Let b = a - -497. Is 15 a factor of b?
False
Suppose 2*q = -5*d + 825, -5*d + 1154 = 4*q - 501. Suppose 4*g = -5*s + q, 5*g - 35 - 485 = -5*s. Is g a multiple of 19?
False
Suppose 0 = 3*r - 479 + 104. Suppose 3*s - 2*d - 415 = 0, -3*s + 385 = -0*s + 4*d. Suppose p + 2*l = 3*l + s, -p = l - r. Is 26 a factor of p?
True
Let u = 595 + -1137. Let b = 1478 + u. Is b a multiple of 76?
False
Let p = 1156 - 411. Does 3 divide p?
False
Suppose 5*j - 2*s - 26462 = 0, -27 = 3*s - 24. Is j a multiple of 21?
True
Suppose 35*k = -28*k - 22*k + 757010. Does 122 divide k?
True
Let a be (46060/7 - 15)/(1 + 0). Suppose -4*u + 5292 = 4*g, 0*u = -5*g + 5*u + a. Is g a multiple of 10?
False
Suppose -2967 = -5*h + 3328. Suppose 4*k = -7*g + 4*g + h, k - 421 = -g. Does 25 divide g?
True
Suppose 4*n = 5*v + 36890, -2*v - 36884 = 980*n - 984*n. Does 25 divide n?
False
Let x(l) = 4*l**2 + 10*l - 2604. Is 3 a factor of x(-49)?
True
Let d = -6154 - -7429. Does 4 divide d?
False
Let l(a) = -8*a**2 + 15*a + 18. Let f be l(-4). Let j = f - -226. Does 8 divide j?
True
Let v(w) = 13*w**2 + 39*w - 14. Let g be v(-9). Suppose -682*i + g*i - 2964 = 0. Is i a multiple of 19?
True
Suppose 5*b + 3*b + 112 = 0. Suppose 242 = -5*v - 2*j, -3*v = -j - 3*j + 166. Let y = b - v. Is 32 a factor of y?
False
Suppose f = 5*i + 114, 0 = 5*f - 5*i - 43 - 507. Let r = f + -49. Is 20 a factor of r?
True
Suppose -z + 64 - 41 = 0. Suppose -2*g + 5*w + z = -9, g = -4*w + 3. Suppose 989 = g*i - 221. Is i a multiple of 12?
False
Suppose 22*i = 97226 - 73362 + 144634. Is i a multiple of 59?
False
Suppose 5*u = -o - 31 + 3, -3*o - 2*u - 32 = 0. Let m(q) = 0*q**3 + 3*q**3 - 7*q**2 - 4*q**3 - 5 + 145*q - 299*q + 155*q. Is 14 a factor of m(o)?
False
Let f(o) = -18*o**2 + 23*o + 4012. Is 1