). Is 20 a factor of v*(-6)/72*3?
False
Does 59 divide 15/((-255)/(-816527)) + -25?
False
Let g(n) = 4*n**2 - 7*n - 3. Let v be g(-5). Let m = v + 148. Is 30 a factor of m?
False
Let w be (-1840)/(-36) + (-3)/27. Suppose w*k - 364 = 47*k. Suppose -5*v + k = 2*g, 3*v = -5 - 4. Is 10 a factor of g?
False
Let l = -13104 - -13103. Let z(h) = 10*h**3 + 6*h**2 - 3*h - 5. Let g(n) = 10*n**3 + 5*n**2 - 2*n - 4. Let t(c) = -3*g(c) + 2*z(c). Does 2 divide t(l)?
False
Suppose l + 62*k - 64*k = -30, -5*l = k + 95. Is 55 - 3 - l/5 a multiple of 14?
True
Suppose -38990*l = -38998*l + 70848. Is 41 a factor of l?
True
Is 38 a factor of (-113000)/(-7) - 114/(-798)?
False
Let l be (0 - -8)*(-67)/(-268). Suppose 5*g = 15, 2265 = 4*s - 3*g - l*g. Does 15 divide s?
True
Let w(k) be the third derivative of 17*k**5/10 + k**4/4 - 5*k**3/3 - 25*k**2 + 4. Is 10 a factor of w(2)?
True
Let l be (4/((-16)/12) - -3)/1. Suppose l = -g - 14 + 52. Let t = g + -23. Is t a multiple of 4?
False
Suppose 3*u - 4*b - 1 = 3, 4*b + 4 = 5*u. Suppose 5*g - 4237 = p, g = -u*g - 5*p + 837. Does 77 divide g?
True
Does 50 divide -5883*((-22)/(-88))/((-6)/16)?
False
Suppose 6*d + 14 = 38. Is 32 a factor of (-2)/d*(-12)/12*1024?
True
Let i be 1*((-4 - 0) + -28). Is i/(-4) - 4950/(-10) a multiple of 14?
False
Suppose -p + 4*b + 132 = 0, -4*p - 217 = 3*b - 688. Suppose 3*d = -d + t + 141, 4*t = -3*d + p. Let j = 78 - d. Does 12 divide j?
False
Suppose 196*n - 154*n + 92675 = 726413. Does 36 divide n?
False
Let t(j) = -j**2 - 129*j + 222. Does 30 divide t(-108)?
True
Let x(c) be the second derivative of 5*c**4/12 - 11*c**3/6 + 19*c**2 + 28*c - 1. Is x(7) a multiple of 8?
False
Suppose 0 = -19*h - 50 + 221. Suppose -3*t + h + 63 = 0. Does 4 divide t?
True
Let v = 658 + 80. Is v a multiple of 4?
False
Let k(f) = -2*f**3 + 9*f + 7. Let x be k(-3). Let n(a) = a**3 - 33*a**2 - 27*a + 39. Does 17 divide n(x)?
False
Suppose -r + 7 = c, -4*r + c = -4 + 1. Is 22 a factor of 60/(-210) - 3271/(-14)*r?
False
Let p = -4596 + 4941. Is p a multiple of 23?
True
Let u = 15349 - 5447. Is u a multiple of 11?
False
Is 4 a factor of 7/((-133)/(-41232)) - ((-8)/(-19))/4?
False
Let d be 4465/45 - ((-7)/9 - -1). Let f = 139 - d. Does 5 divide f?
True
Let g = 96 + -104. Let f(t) = -t**3 - 8*t**2 - 10*t + 8. Let b be f(g). Let a = b + -42. Does 12 divide a?
False
Suppose -75575 - 166559 - 117648 = -59*l. Does 13 divide l?
False
Does 47 divide (5 - 14633/8)*-8?
False
Suppose 15*m + 22728 = 17*m + 2*x, 5*x + 34108 = 3*m. Suppose -13*g + 1738 = -m. Is 36 a factor of g?
True
Let u(n) = 2*n**3 + 9*n**2 - 5*n + 3. Let w be (4 - (8 + 1))*1. Let p be u(w). Suppose 0 = p*c - 6*c + 273. Is 7 a factor of c?
True
Let w(q) = -q - 5. Let k be w(-8). Suppose o = 2*f + 6*o - 1520, k*f + o - 2267 = 0. Does 34 divide f?
False
Let u(f) = 59*f - 4. Let r(n) = 1. Let i(q) = -r(q) - u(q). Let m be i(1). Does 14 divide (-7 + 114/12)/((-1)/m)?
True
Suppose -5*f + 4*b - 4 = 8, -3 = -f - b. Let l = 8802 + -8754. Suppose f = -4*d + 588 - l. Is 27 a factor of d?
True
Let l(x) = 27*x**2 - 7*x + 7. Let k(q) = 44*q**2 - 8*q + 7. Let b(m) = 2*k(m) - 3*l(m). Let a = 16 + -11. Is b(a) a multiple of 13?
False
Let u = 3894 - 3899. Let r(i) = -6 + 5 + i**2 + 12. Does 4 divide r(u)?
True
Let d be (-3 + (-3 - -756))/(12/16). Suppose -l = 4*p - 1305, -5*l + d = 5*p - 2*p. Is 25 a factor of p?
True
Let l be ((-1)/(15/6))/(6/(-120)). Suppose 3*y + 625 = l*y. Let k = y - 79. Is 9 a factor of k?
False
Suppose 5*d + 0*d = 2150. Suppose -3*o + 5*o = -d. Let m = -123 - o. Is 11 a factor of m?
False
Let b = 22545 - 4298. Is b a multiple of 81?
False
Let x(w) be the third derivative of -491*w**4/24 + 2*w**3/3 - 15*w**2 + 2*w. Is 22 a factor of x(-1)?
False
Suppose -w + 54 = 56. Let z(l) = -66*l**3 + l**2 + 7*l + 5. Does 9 divide z(w)?
False
Suppose 4*q - 4 = 8*q, -m + 1777 = -5*q. Let i = m + -721. Is i a multiple of 58?
False
Suppose 0 = 30*g - 64*g + 510340. Does 136 divide g?
False
Let l = 20762 - 19887. Is l a multiple of 7?
True
Let n(r) = -44*r + 1. Suppose -8*o - 89 - 335 = 0. Let u = -54 - o. Is n(u) a multiple of 27?
False
Let z(m) = -54*m + 28*m - 13 + 22*m - 10. Let q be 70/(-8) - (-4)/(96/(-6)). Is z(q) a multiple of 12?
False
Suppose 4*h - 63 = 365. Suppose 3*t + h - 32 = 0. Is ((-8)/2)/(3 - (-80)/t) a multiple of 20?
True
Let z = -10743 - -18279. Does 12 divide z?
True
Suppose 3*t = 4*c - 1581, -5*c + 2*c + 2*t = -1185. Is 3 a factor of c?
True
Let f(o) = -643*o - 53. Let q be f(-1). Is q/4 - 4*(-5)/8 a multiple of 10?
True
Suppose 0*r = -3*r + 9. Suppose 420 = -9*a + r*a. Let x = a + 165. Is 24 a factor of x?
False
Let l = -17 + 22. Let y be ((l - 5)*-1)/1. Suppose -2*p - 5*p + 343 = y. Is p a multiple of 8?
False
Suppose 11*d + 144 - 1431 = 0. Suppose 7*z - 11*z = -4*u - 160, 3*z - 4*u = d. Does 2 divide z?
False
Let k(p) = 3380*p + 550. Let a(x) = -147*x - 24. Let l(u) = 70*a(u) + 3*k(u). Is l(-3) a multiple of 17?
False
Let g(k) be the first derivative of -11*k**2/2 - 93*k - 5. Is 47 a factor of g(-34)?
False
Let g be 0 + 2/(-6) + (-15)/(-45). Let h = 35 + g. Suppose 0 = -h*z + 40*z - 30. Does 4 divide z?
False
Is (-1240130)/(-1830) + ((-4)/6)/(-2) a multiple of 6?
True
Is (-1119099)/699*(-2*1 - (22 + 0)) a multiple of 9?
False
Let h(u) = -4*u**3 + 2*u**2 + 5*u + 4. Let b be h(-1). Suppose -b*g + 386 = n, 12*n - 17*n + 3*g = -1986. Is n a multiple of 33?
True
Suppose 30*u - 8555 = -5*f + 25*u, -u = -5*f + 8531. Does 109 divide f?
False
Suppose 26*c - 255262 - 8272 = -8*c. Is c a multiple of 23?
True
Suppose 4*i - 3*v = 2964, -3*v + 2357 = 3*i + 155. Suppose 2*u - 5*d - i = 0, -6*u + 7*u = -d + 369. Does 9 divide u?
True
Let i = -216 - -2605. Is 5 a factor of i?
False
Let l be 4/(-6) + (-403)/3. Suppose 438*s - 440*s = -i - 200, -2*i + 3*s - 402 = 0. Let a = l - i. Is 14 a factor of a?
False
Suppose -5*u + 10*u - 24 = -3*d, -3*u = -3*d. Let r be ((-117)/18)/(d/(-42)). Suppose 0 = -2*a + r + 79. Is 17 a factor of a?
True
Suppose 757*q + 628 = 758*q. Let h = 1093 - q. Is 20 a factor of h?
False
Let q(z) = -4*z + 18. Let t(k) = -12*k + 55. Let b(l) = -17*q(l) + 6*t(l). Does 9 divide b(-3)?
True
Suppose 0 = -2*f + 4, -384*f + 389*f = 4*o - 12762. Is 31 a factor of o?
True
Let o(r) = -r**2 - 21*r + 557. Does 73 divide o(-30)?
False
Suppose 0 = 3*f - i - 25922, f = 3*i + 1953 + 6701. Is f a multiple of 35?
False
Suppose b - 5273 = -674 + 868. Does 21 divide b?
False
Let u(m) = -5*m**2 + 343*m - 14. Is u(9) a multiple of 48?
False
Suppose -1458 - 207 = -5*i. Let n = i - 16. Is n a multiple of 7?
False
Let c = -158 - -108. Let y be (-359)/5 + 10/c. Let t = 166 + y. Does 33 divide t?
False
Suppose 19704 = v + 4*w + 5910, w = -2*v + 27581. Does 10 divide v?
True
Suppose 0 = 43*m - 6377 - 164247. Is 62 a factor of m?
True
Suppose 2*p + 2*g = 788, 0 = 3*p + g + 717 - 1895. Suppose -2*x + p = 5*l + 2*x, -3*l = 3*x - 234. Is l a multiple of 16?
True
Let b(n) = n**3 + 36*n**2 + 45*n + 242. Does 53 divide b(-34)?
False
Suppose 14*t = 9*t + 370. Let a = -19 + t. Is 5 a factor of a?
True
Suppose -u + 1061 = 1059. Suppose p - 198 = u*j - 52, -2*p - 5*j = -283. Does 5 divide p?
False
Let w = 4203 + -1509. Does 27 divide w?
False
Let s(p) = 28*p + 1. Let u(k) = -58*k - 3. Let m(i) = 5*s(i) + 2*u(i). Does 6 divide m(2)?
False
Let y(k) = k**3 + 2*k**2 - 10*k - 14. Let l be y(-2). Does 11 divide -8 - (-24 - (l + 0))?
True
Does 22 divide 326835/70 + -6 + (-10)/140?
False
Let w = -2 + 6. Suppose -5*m - 134 = -5*l + 361, -w*l = -m - 390. Does 17 divide (11 + l)/(3/2)?
False
Suppose -4*q = -q - 2*m - 72, 3*q - 72 = 5*m. Let f(z) = -19 + q + 12 - z**2 + 19 - 18*z. Does 36 divide f(-18)?
True
Let u(v) = 12 + 7*v + v**3 - 19*v - 52 - 42 - 12*v**2. Is u(14) even?
True
Suppose -10773 = -35*w + 56*w. Is 56/3*w/(-18) a multiple of 14?
True
Suppose 20 = 4*p + 4*t, p - 20 = -3*p + 5*t. Suppose -1680 + 507 = -p*m + 4*a, -2*m - 4*a + 486 = 0. Does 10 divide m?
False
Let i be 6/(-4) + (-399)/14. Let y = i + 114. Let c = y - -62. Is c a multiple of 8?
False
Suppose 5*z - 8 = -3*a, -2*a + z = -a. Let o = a + 152. Is 48 a factor of o?
False
Let a be 7/(84/32)*450/(-12). Let n = a - -276. Is n a multiple of 44?
True
Let o = 172 + -132. Suppose -p = -2*c - 1 + o, 66 = 4*c + 2*p. Is 9 a fact