 g be 8/28 + (-104)/(-28). Suppose 672 = f + g*o, 20*f - 5*o = 17*f + 1965. Is 20 a factor of f?
True
Suppose 4*w = -23 + 11. Is (-533)/w - 4/6 a multiple of 59?
True
Let n = 18 + -19. Let q be (3 + n)*(7 + -5). Suppose c - q = 6. Does 10 divide c?
True
Let k = 14 + -6. Let h = k + 12. Let z = 26 - h. Does 2 divide z?
True
Let j(k) = -4*k**3 - 13*k**2 + 184*k - 25. Does 12 divide j(-14)?
False
Let f(a) = a**2 + 12*a + 35. Suppose -5*n - 7*n - 396 = 0. Does 23 divide f(n)?
False
Let d(o) = o + 1412 - 7*o + 0*o + 2*o**2 - 1302 - 17*o. Is 9 a factor of d(20)?
True
Suppose 4*m = 5*g + 9 + 40, 0 = m - 2*g - 16. Suppose m*p = -16*p + 286. Is p a multiple of 3?
False
Is 84 a factor of -28 + 23 + 3*96788/12?
True
Let a be (-5 + 4 - 3) + 828. Let f = a + -494. Does 3 divide f?
True
Does 11 divide 22090/188*268/10?
False
Let g be 4/6 + (-290)/(-6). Let j = g - 63. Is j/(-42) + (-16)/(-6) a multiple of 3?
True
Let k(h) be the second derivative of -h**3/6 + h**2 - 31*h. Let m be k(0). Suppose m*t - 207 = 3*y, -2*t = 4*y - 53 - 119. Does 12 divide t?
True
Let o(j) = 43*j + 1. Let q be o(-8). Let g = q + 609. Is g a multiple of 14?
True
Let d(y) = y. Let v(p) = -12*p - 17. Let l(f) = -5*d(f) - v(f). Let h be l(-2). Suppose 0 = -4*k + q + 41, 0*q + h = -3*q. Is 2 a factor of k?
True
Let z(q) = 101*q**2 + 7*q - 9. Let r be z(2). Let f = r - 160. Suppose -3*t = 18 - f. Is t a multiple of 11?
True
Let a(c) = -c**3 + 20*c**2 + 9. Let i be a(20). Suppose -13 = -0*q + q - 5*m, 0 = 3*q + m - i. Suppose -4*u = -h - 3*h - 468, -u + q*h = -120. Does 19 divide u?
True
Let m(a) = 6 - 241*a**2 + 5 + a**3 - 6*a + 248*a**2. Let v be m(-8). Let d = 40 - v. Is d a multiple of 9?
True
Suppose 10*v - 49 + 9 = 0. Suppose v*p + p - 3309 = a, 0 = -p + 5*a + 681. Is p a multiple of 38?
False
Does 13 divide -1391*(-3)/((-15)/(-5))?
True
Let c be (-2)/13 - (-1928)/26. Let g = c - 75. Is g/(1 + (-304)/302) a multiple of 17?
False
Let f be 591/39 - 12/78. Let r be (-4 + (-26)/(-6))*f*1. Suppose r*n - 482 = -132. Is n a multiple of 7?
True
Suppose 5*j = 90835 - 9352 + 9007. Is j a multiple of 252?
False
Suppose 9*d - 4528 = -1018. Suppose 0 = 13*c - 19*c + d. Suppose 2*v - 7*v = -c. Does 11 divide v?
False
Let i be 0 + (-1*2 - -4). Let x = 2057 - 2052. Suppose -9*w = -3*u - 8*w + 29, -x*u - i*w = -52. Does 5 divide u?
True
Does 20 divide 32/400 + (-4)/50*-19749?
True
Let r(h) = -h**3 + h**2 + h - 1. Let k(l) = 12 - 9 + 4*l - 8 - 7*l**3. Let u(w) = -k(w) + 6*r(w). Is u(-5) a multiple of 7?
True
Does 6 divide 51/(-12)*-1346*1/(33/66)?
False
Suppose -4*g = 2*r + 2728, -5*r - 2740 = 4*g - 0*r. Is 8 a factor of 7 - g/6 - (-2)/(-6)?
True
Suppose -304 = -4*q + b - 2119, -q - 456 = -b. Let j = q - -873. Is 30 a factor of j?
True
Suppose 4*c - 3*m = 264 + 2577, 0 = -c - m + 712. Suppose 4*d = d + c. Is 31 a factor of d?
False
Is (12216 - 311) + -16 + -1 a multiple of 10?
False
Let d(i) = -11*i**3 + 14*i**2 + 42*i + 91. Is 13 a factor of d(-9)?
True
Suppose 33 = 5*g + 8. Let d = -2637 - -2639. Suppose -g*y + 2*h + 140 = 0, -d*h + 16 = 4*y - 3*y. Does 13 divide y?
True
Suppose 0 = 27*w + 1 - 1. Suppose -u - 30*m + 28*m = -69, w = -u + 3*m + 84. Is 5 a factor of u?
True
Suppose 0 = -18*s + s + 34. Suppose -4*f = -5*f + 4*r + 556, -2*r = -s*f + 1136. Is f a multiple of 14?
False
Suppose 4*o - 9 = -3*s + 2*s, -4*s = -o - 53. Suppose s*x - 396 = 12*x. Is x a multiple of 12?
True
Let q(b) = b**2 + 5*b - 11. Let u be (-1 - 3/(-5)) + 462/105. Is 15 a factor of q(u)?
False
Let n(l) = 152*l + 134. Let c(q) = -2*q - 1. Let o(h) = 3*c(h) - n(h). Is o(-4) a multiple of 45?
True
Let m = 23123 - 18207. Is m a multiple of 4?
True
Suppose 2*s + 5 = -3*s, -s = -2*o + 115. Let y = o + -1. Is 8 a factor of y?
True
Suppose -4*c + 3*f = 9, -3*c + 3 = 2*f - f. Suppose 17*y - 56 - 29 = c. Suppose -4*d + 315 = -y*w, 6*d = d + 3*w + 410. Is 17 a factor of d?
True
Let y = 885 - 562. Is 19 a factor of y?
True
Suppose 2*k - r = -0*r + 250, 5*k + r - 625 = 0. Let f be (6/(-2))/((-5)/(k/15)). Suppose f*b + 0*b = 5*y + 1095, -5*y = 2*b - 417. Does 36 divide b?
True
Let x = 20 + -27. Let l be -2*2 - (139 + x). Let f = -80 - l. Does 14 divide f?
True
Let k(f) = -67*f**3 + 12*f**2 + 46*f - 4. Is 29 a factor of k(-4)?
True
Suppose -4*s - s - 4*y + 153 = 0, -5*y + 97 = 3*s. Let x = 29 - s. Let n = x - -8. Does 3 divide n?
False
Let y be (4/3)/(3/9). Suppose -6*l - 74 = -y*l. Let a = -16 - l. Does 2 divide a?
False
Let p be 4 - 4/8*-26. Let q(h) = -2*h + 34. Let n be q(p). Suppose 4*s - 3*b + n = 22, 4*s = 2*b + 20. Is s a multiple of 4?
True
Suppose 0 = -5*m - 2*f + 942, 5*m - 523 - 411 = -4*f. Does 39 divide (m/(-152))/(1/(-468))?
True
Let z(l) = 59*l - 410. Does 16 divide z(14)?
True
Let r = -26 - -17. Suppose 2*b - 10 = 0, 8*k - 13*k - 5*b = 35. Is 20 a factor of (-1089)/k - r/(-12)?
False
Let o(a) = a + 11. Let m be o(-8). Suppose -m*b + s = -s, -s = -5*b. Suppose -5 = -5*q - b, -2*i + 3*q + 35 = 0. Is i a multiple of 13?
False
Let r = -21 + 33. Let s be 11374/r - (-3)/18 - -4. Suppose p - 4*c - 61 - 163 = 0, -4*p + 2*c + s = 0. Is p a multiple of 48?
True
Let w = -86 + -36. Let r = w + 123. Does 6 divide (9/(-9))/(r/(-79))?
False
Suppose o - 34 = k - 10, 3*k = 0. Let m(h) = -3*h**2 + 118*h - 44. Is 20 a factor of m(o)?
True
Suppose -286*m - 260235 + 646169 = -538704. Is 76 a factor of m?
False
Let i be 93/(-12)*(2 - 6). Suppose f + 20 = 5*f. Let m = i - f. Is m a multiple of 9?
False
Suppose 0 = -5*j, h + 2 = -3*j - 1. Let m(c) = -8*c**2 - 3*c - 3. Let n(b) = b**2 - 1. Let i(w) = -m(w) - 3*n(w). Is i(h) a multiple of 21?
True
Let k(m) = -m**2 + 14*m - 37. Let t be k(7). Suppose -10*h + 4*w - 330 = -t*h, 335 = 2*h + 3*w. Is h a multiple of 16?
False
Let o(d) be the third derivative of 7*d**4/8 - 31*d**3/6 + d**2 - 29. Does 34 divide o(6)?
False
Let o be (-4 - (-4)/(-2))/(7/(-91)). Suppose 13*q = 1313 - o. Is q a multiple of 4?
False
Let r(u) = u**2 + 2*u. Let h be r(-3). Suppose -h*p - p = -20. Suppose -7*j + 4*d = -8*j + 41, 0 = p*d + 5. Is 9 a factor of j?
True
Suppose 12*n - 4 - 20 = 0. Suppose 0 = 3*v + n*c - 166, v - 72 = -0*v - 4*c. Does 52 divide v?
True
Does 49 divide 1*63/(-12)*(-532)/19?
True
Suppose 5*s = 2*s - h - 359, 0 = 3*s + 3*h + 363. Let p = s + 211. Does 4 divide p?
True
Does 10 divide 9030 - (1/(-2) - ((-15)/6 - -1))?
False
Let l(i) = 148*i + 49. Is 124 a factor of l(7)?
False
Let v(y) = 26*y + 18. Let t be 7 + 1 + 34 + -27. Is 81 a factor of v(t)?
False
Let x = -2873 - -8886. Does 5 divide x?
False
Let i be 182/(-6) - (-3)/9. Let t be i*(7 - -1)*(-25)/12. Suppose 2*p - 6*p = -5*h + t, -3*p = 15. Does 9 divide h?
False
Is 10 a factor of (-631)/(-2) + (-2299)/418?
True
Let j(g) = -56*g**3 + 6*g**2 + 57*g - 1. Is 10 a factor of j(-6)?
False
Suppose d = 4*d - 3*t + 543, -5*d = -4*t + 906. Suppose -2*v + 247 = -351. Let k = v + d. Is k a multiple of 9?
True
Let x = -90 - -63. Let z = -369 - x. Let m = -234 - z. Does 12 divide m?
True
Let d be ((-36)/(-8) + -6)*(-1502)/3. Let o = d + -580. Is o a multiple of 16?
False
Let n(w) = w**3 + 54*w**2 - 122*w - 320. Does 6 divide n(-50)?
True
Let u(s) = 607*s**2 + 54*s + 89. Is 73 a factor of u(6)?
True
Let b(j) = -j**3 + 7*j**2 - 7*j + 1. Let t be b(-8). Suppose 0 = -i + 4*g + t, -3*g - 2*g = -i + 1021. Is i a multiple of 77?
True
Is 38/57*(-1564294)/(-12) + (-26)/117 a multiple of 13?
True
Let u(y) be the third derivative of 73*y**6/30 + y**5/30 + y**4/24 - y**3/6 - 112*y**2. Does 21 divide u(1)?
True
Let o(d) = -d**2 + 45*d - 90. Suppose -5*z + 4*r + 119 = 0, -5*z + 155 = r + 4*r. Does 18 divide o(z)?
True
Let b = 42 - -54. Suppose -l - 3*d + 3 = 0, -l - 77*d + 3 = -76*d. Suppose -b - 273 = -l*f. Does 41 divide f?
True
Let l = 6453 + -2493. Does 21 divide l?
False
Let v(p) = -2*p**2 - p + 300. Let r = -65 + 65. Is v(r) a multiple of 12?
True
Suppose -6*i - 339 = 105. Is (0 - -2)*(-30525)/i a multiple of 75?
True
Suppose 0 = 2*h + i - 2*i - 5, 3*i = 15. Suppose -t + 6*t = h*f + 2155, 0 = 3*t + 2*f - 1308. Does 51 divide t?
False
Suppose 5*k - 34410 = 2*s, -22*k = -27*k - 3*s + 34385. Is 32 a factor of k?
True
Let i(y) = 287*y**2 + 110*y - 705. Does 31 divide i(7)?
False
Let s(n) = -3*n**3 + 78*n**2 + 2*n - 34. Let h be s(26). Suppose 2*f = h*f - 15008. Is 67 a fac