*v - 3*u - 80 = 0. Suppose v*y - 137 = -52. Suppose y*f - 252 = 108. Is 19 a factor of f?
False
Suppose 0 = 16*g - 11*g - 20. Suppose z - 9*o = -g*o + 28, 0 = -4*z + 3*o + 129. Is (-118)/(-3) + z/9 + -3 a multiple of 10?
True
Let m = 134 - 130. Suppose -9*f + 15 = -m*f. Suppose 0 = 2*w + f*c - 540, -10*w + 1316 = -5*w - c. Is 11 a factor of w?
True
Suppose -7372 = -4*x - 3882 + 9070. Does 106 divide x?
False
Let p = 1022 - 10. Is 46 a factor of p?
True
Suppose -2558 = -277*b + 276*b + 3*c, 0 = 5*b + 3*c - 12664. Is 11 a factor of b?
False
Let d be (-4169)/(-44) - (-5)/4. Let m = 12 + d. Is m a multiple of 12?
True
Let g(s) = 33*s**2 + 31*s - 127. Suppose -8*x = -12 - 20. Does 15 divide g(x)?
True
Let q(o) = -1 + 0 + o - 3*o + 15. Let l be q(7). Suppose 3*f - 3*z - 61 - 41 = l, -5*f - 3*z + 170 = 0. Is f a multiple of 7?
False
Let f(t) = 23 - 21*t + 5*t - 7 - 24*t. Suppose 172*z - 165*z + 21 = 0. Is f(z) a multiple of 21?
False
Suppose 0 = g + g - 14. Let u(d) = -81*d**2 + 4*d - 3. Let o(r) = -162*r**2 + 7*r - 5. Let z(l) = g*u(l) - 4*o(l). Is 28 a factor of z(1)?
False
Let w(v) = -v**3 - 11*v**2 - 18*v - 74. Let a be w(-11). Let l = a + -71. Is 9 a factor of l?
False
Suppose -3*v = 10*v - 278793 + 24292. Does 73 divide v?
False
Let q(x) = -x + 4*x + 5*x - 9*x. Let z(s) = -s**3 + 18*s**2 - 25*s - 4. Let h(a) = 6*q(a) - z(a). Is 35 a factor of h(17)?
False
Let r(f) = f**2 - 29*f + 76. Let s be r(24). Let j = 56 + s. Is 4 a factor of j?
True
Let r = 6014 - -438. Does 25 divide r?
False
Suppose -37*w + 36*w = 12. Let b(j) = 3*j**2 + 30*j + 60. Is 6 a factor of b(w)?
True
Suppose 3*b = 3914 + 8029. Suppose -18*w = -b - 4839. Does 70 divide w?
True
Suppose -2*g - 3*g + 4*a + 2038 = 0, g - 404 = 2*a. Suppose 41*m = 46*m - g. Is 25 a factor of m?
False
Let p(d) = -d**3 + 25*d**2 - 40*d + 16. Is p(9) a multiple of 68?
True
Let r be -5 + (7 - 9) + -1732. Let c = r - -2446. Is c a multiple of 12?
False
Let r be (-7)/28 - (-51)/12. Let s be (-4)/3 + r/3 + -1. Let v(g) = -5*g - 1. Is 2 a factor of v(s)?
True
Let p(r) = 5181*r**2 - 315*r + 316. Does 7 divide p(1)?
False
Suppose 3953664 = 25*l + 84*l + 19*l. Does 234 divide l?
True
Let q = 25 - 25. Suppose -g - 272 = -2*g + 2*i, q = g - i - 275. Suppose -2*f - 2*y + g = 0, -2*f - 5*y = -f - 159. Does 17 divide f?
False
Suppose -3*k - 2*k = 0. Suppose -c = 2*s + 489, c + 1221 = -5*s - k*c. Let q = 344 + s. Does 24 divide q?
False
Let s = 20 + 17. Let a = 40 - s. Suppose 1 = a*w - 5, 98 = 2*b - 2*w. Is b a multiple of 20?
False
Let a = 29 + 14. Suppose -3*i - 100 = -7*i. Suppose -2*t - 5*u = -30 - i, u = -2*t + a. Does 7 divide t?
False
Suppose -3862 = -4*i + 2*a + 4520, -a = i - 2088. Does 161 divide i?
True
Let a be (-90)/540 - ((-903)/18 - -2). Let v be 23*((-1 - -3) + -3). Let x = a + v. Is x a multiple of 6?
False
Let i be (2406/9)/(17/204). Suppose 363*p - i = 359*p. Does 9 divide p?
False
Suppose -17*n + 14434 = -10*n. Suppose -9*u - 4454 = n. Is 16 a factor of (-5 - u/4) + 0?
True
Let z be -3 + 3 - 1 - (-3 - -1). Suppose 3*f + 2*l + 2 = z, 4*f = -4*l - 8. Suppose 4*j = -3*g + 41, 0 = 2*g + f*j - 8*j + 11. Is 7 a factor of g?
True
Suppose -25*l + 46 = -54. Suppose l*g - 57 = 151. Does 8 divide g?
False
Let d be (1 + -27)*(-928)/(-64). Let k = -539 - d. Let b = 240 + k. Is b a multiple of 39?
True
Let b(i) = i**3 - 9*i**2 - 7. Let f be b(9). Let m be ((7 + f)/(0 - -1))/(-2). Suppose 6*r + 83 - 497 = m. Does 42 divide r?
False
Suppose -5*y = -5*w - 118860, 0 = 35*y - 39*y + 7*w + 95082. Does 55 divide y?
False
Let l be -3 + 1 + 3 + -5. Let g(r) = -r**2 - 23*r - 24. Let b be g(-15). Is ((-34)/l + -4)*b/9 a multiple of 12?
True
Suppose -x + 4*t = 121, 0 = 5*x - 2*x + 3*t + 393. Let l = -334 - x. Let p = 383 + l. Does 21 divide p?
False
Suppose 2*h + 11 = -55. Let y be (1*(h + -4))/(-1). Suppose -36*g + y*g = 78. Is 21 a factor of g?
False
Let a be 6/(-8) + (-115)/(-20). Suppose 0 = -4*f + 2*j + 46, 60 = a*f - 0*j - 5*j. Is (f - 1)*(-154)/(-28) a multiple of 11?
True
Does 98 divide 819/(-1911) + 19883/7?
False
Let h be ((-8)/(-32))/(3/48). Suppose 3*f - 123 = h*v + 204, 0 = f + 2*v - 99. Is f a multiple of 35?
True
Let g = -790 + 795. Suppose -40*d - 891 = -41*d + n, -2*d + g*n = -1767. Does 15 divide d?
False
Let j = -3034 + 4996. Suppose -5*z + 903 = -j. Is 9 a factor of z?
False
Let z be 213/(-2) + 1/2. Let q = 81 - -133. Let m = z + q. Does 28 divide m?
False
Suppose -a + 3*u + 5 = -u, -5*a + 1 = 4*u. Let s be (5 + 1 + -1)/a. Suppose -9*l = -s*l - 192. Does 10 divide l?
False
Suppose -2*t = 3*j - 44129 - 1366, 5*t = 2*j - 30292. Does 11 divide j?
False
Suppose -19*q + 57 = -38. Suppose -581 = -q*v + t + t, -4*t - 343 = -3*v. Does 9 divide v?
True
Suppose 60*l = -67388 - 15292. Let x = l + 2045. Is 47 a factor of x?
False
Suppose 3*m + 136*g - 135*g - 62596 = 0, 5*m - 104355 = 4*g. Is 11 a factor of m?
True
Let t(f) = -f**3 - 17*f**2 - 29*f + 25. Let a be t(-15). Suppose -4*o = 4*g - 564, 0 = 3*g + a*o - 5*o - 425. Does 70 divide g?
True
Suppose -46*q = -40*q - 80358. Is 24 a factor of q?
False
Suppose 262 = w - 4*j, 167*j - 1090 = -4*w + 169*j. Does 4 divide w?
False
Let i(k) = 22*k**2 - 12*k - 24. Let u be i(-6). Suppose -4*q - 3*q = -u. Does 8 divide q?
True
Suppose -329*t + 98140 = 357*t - 658*t. Is 43 a factor of t?
False
Let b(p) = -p**2 - 7*p + 33. Let g be b(-11). Let y(z) = 2*z**2 + 7*z + 51. Is 54 a factor of y(g)?
True
Let f(w) = 14*w**2 - 25*w - 74. Let r be f(10). Suppose 20 + r = 4*a. Is a a multiple of 5?
False
Let s(v) = 50*v**2 + 23*v + 62. Let g = 440 - 445. Is s(g) a multiple of 50?
False
Let f(u) = 2*u**3 - 37*u**2 - 18*u + 9. Let c be f(16). Let j = 2359 + c. Is j a multiple of 40?
True
Let g(c) = c**3 - 9*c**2 - 9*c + 39. Let s be g(7). Let y = s + 159. Does 4 divide y?
False
Let j(d) = 5*d**3 - d**2 - 9*d - 11. Let o(s) be the first derivative of -s**4/4 + s**2/2 - s + 9. Let w(f) = j(f) + 4*o(f). Does 27 divide w(6)?
True
Let m(y) be the third derivative of 11*y**4/6 - 121*y**3/6 + 138*y**2. Is m(13) a multiple of 18?
False
Let g(y) = 5*y**2 - 21*y + 11*y - 2 + 8*y - 3*y**2. Let f be g(2). Suppose f*p - 3*p + 35 = 0. Does 10 divide p?
False
Let z = -6222 + 6609. Is 50 a factor of z?
False
Let i(v) = 33*v**2 - 5*v - 5. Let w be i(4). Let f = w - 1209. Is 4 a factor of 28/(-126) - f/18?
False
Let c(k) = -745*k**3 - 3*k**2 - 2*k + 1. Does 63 divide c(-1)?
False
Suppose t + 758 = -3*c + 8549, 0 = -4*t + 4*c + 31212. Is t a multiple of 8?
True
Suppose -4*k - 4 = 4*d, -1 = 5*k + d - 8. Suppose -4*v - q - 1 = 0, -v + q - k = 2. Does 5 divide v/4 + (-7 - (-89)/4)?
True
Let n(t) = -9*t - 8. Let y be n(10). Let w = y - -100. Suppose w*q - 233 = -63. Is q a multiple of 17?
True
Suppose 424401 - 2536877 = -48*y - 10*y. Is 15 a factor of y?
False
Let r be (-8)/40 - (-44)/(-5). Let x = 311 - r. Is x a multiple of 10?
True
Let g(w) = -w**3 - 15*w**2 - 12*w + 28. Let f be g(-14). Let d(k) = -7*k + 546. Does 42 divide d(f)?
True
Suppose -67 + 289 = -2*z + 3*c, c + 444 = -4*z. Suppose 264 = -7*a + 1965. Let v = a + z. Is v a multiple of 20?
False
Let c = -7 - -10. Let m(w) = -20*w + 81. Let d be m(4). Is (d - -2)/(c/10) even?
True
Let o be 2145/(-9) - (1 + (-28)/21). Let v = o - -472. Does 60 divide v?
False
Suppose 28*t - 32*t + 4489 = -3*g, 4*t = g + 4483. Does 8 divide t?
True
Let w be 1/(-3) - (-3 - 7/21). Suppose -3*i + 3*a + 12 = 0, -4 = -2*i + a + w*a. Suppose -i = -9*s + 8*s. Is s a multiple of 6?
True
Suppose -5*h + 23 - 2 = 2*o, 12 = 2*h + 2*o. Suppose 4*g + q - 1086 = -0*g, 6*g - 1626 = -h*q. Does 4 divide g?
True
Suppose -5*l + 5*r + 365 = 4*r, 119 = 2*l + 5*r. Let w = l + -49. Is w a multiple of 2?
False
Let g be 8 + 70/20*-2. Let a(v) = -v**3 + 10*v**2 - 10*v + 6. Let k be a(9). Is 11 a factor of k/(-3 - 0) - (-21)/g?
True
Suppose 8*l - 3*l = 26*l - 20370. Is l a multiple of 10?
True
Let v(u) = -u**2 + 9*u - 12. Let n be v(7). Suppose n*y - 211 - 155 = 0. Suppose 9*l - 114 = y. Is l a multiple of 9?
False
Let j(r) = 600*r**3 + 12*r**2 - 61*r - 13. Is j(4) a multiple of 17?
True
Let f be 4*(-1)/(-2)*5. Suppose -2*r + f = 4*a - 6, -5 = -4*r + a. Suppose -l - 11 = -r*l. Is 3 a factor of l?
False
Let v be 0 + (-102)/(-30) + (-4)/10. Let y be (4 + (-4 - -3))*2/v. Suppose 6*a = a + y*z 