54. Let n(w) = -2*b(w) - 9*m(w). Does 11 divide n(0)?
False
Suppose -5*q + 3115 = y, -3*q - 2*q = -y - 3125. Is 48 a factor of q?
True
Suppose -5*v = 10, 4*d + v - 73532 = -v. Is 26 a factor of (-4)/18 + d/108?
False
Let j(v) = -4*v - 29. Let a be j(-9). Suppose l + 15 = 4*l, l - 20 = -3*d. Suppose a = -d*q - 13, 5*t - q = 94. Does 4 divide t?
False
Let f(n) = -3*n - 13. Let z be f(7). Let g(c) = 7*c - 1. Let q be g(7). Let x = q + z. Is x a multiple of 14?
True
Let d = -17 - -27. Suppose 0*c + d = 2*c. Suppose 3*a - c*j = 125, -a - j + 51 = 2*j. Is a a multiple of 15?
True
Let l(x) = -x**3 + 5*x**2 - 5. Let f be l(4). Suppose 4*g + f = 87. Does 13 divide g?
False
Let p be (-7)/(-21) - 130/3. Let q(n) = -36*n - 93. Let j be q(-6). Let z = p + j. Is 19 a factor of z?
False
Is 5 a factor of (165/(-75))/(4/(-1900))?
True
Let k = 50 + -69. Let g = 45 - k. Is 17 a factor of g?
False
Is 5 a factor of (-8 - 2)/5 + 113?
False
Suppose 8*n + 100 = 3*n. Let d be (n/4)/((-3)/102). Is d/6 - 7/21 a multiple of 14?
True
Let u be (-2)/(-4) - 106/(-4). Let i be u/9 - 6*1. Is (-101)/(-3) - i/9 a multiple of 15?
False
Suppose w + 2960 = 2*l + 166, l = 3*w + 1392. Is 6 a factor of l?
True
Is 41 a factor of ((-2)/(-6))/(1474/(-738) + 2)?
True
Suppose -9*x - 1536 = -x. Is 17 a factor of (18/(-4))/((-9)/x*-2)?
False
Does 44 divide 42/((-9 - -5) + 358/88)?
True
Suppose -4*z - 3*h = -20, 0*h = 3*z - 3*h - 36. Let w(f) = -z*f**2 + 2*f + f**2 + 3*f**2 - f**3 + 4*f**3. Is w(2) a multiple of 4?
True
Suppose 7*b = b + 1098. Is b a multiple of 61?
True
Suppose 0 = -3*u - u - 20. Let s(g) be the second derivative of g**4/12 + g**3/3 + g**2 - 2*g. Is s(u) a multiple of 17?
True
Suppose 3*j = -6 - 0. Let b be ((-292)/16)/(j/8). Suppose 2*c + b = r, -r + 65 = -5*c - 23. Is r a multiple of 21?
True
Let h(t) = -36*t + 1. Let r(k) = -180*k + 4. Let y(d) = 14*h(d) - 3*r(d). Let w be y(1). Let i = 46 - w. Is 2 a factor of i?
True
Suppose 2*j = -3*j + 2*m + 379, 3*j = 4*m + 233. Does 4 divide j?
False
Let c = -490 - -770. Is c a multiple of 40?
True
Let f(x) = -7*x - 34. Does 6 divide f(-8)?
False
Let t(h) = -2*h**3 + 5*h**2 - 10*h - 29. Is t(-6) a multiple of 13?
False
Let j(z) = 6*z + 36. Suppose 47*f - 48*f + 15 = 0. Does 21 divide j(f)?
True
Let m(i) = i**3 - i**2 - 2*i + 16. Suppose 4*a = 2*a. Is m(a) a multiple of 8?
True
Suppose -3*u + 75 = -4*r, 5*u + 72 = -3*r + 2*u. Let j be 56/12*(-18)/r. Is 20 a factor of 48 - (-4 - (4 - j))?
False
Suppose -j = 3*l - 33, -60 = -5*j + 2*l + 71. Let k = j - -251. Is k a multiple of 16?
False
Does 23 divide 3*543 - 25/((-325)/(-39))?
False
Let n be 540/75*(-140)/3. Let a = n - -471. Suppose 4*c - z = 205, 0*z = 3*c + 3*z - a. Is c a multiple of 11?
False
Suppose 3 = m + 1. Suppose m*j + 6 = -5*d, 2*j = 6*j + 4*d - 12. Is j a multiple of 4?
False
Suppose -75*p + 21093 = -41307. Is p a multiple of 26?
True
Let q be 261/(-45) + 8/10. Let m(b) = -15*b - 8. Is m(q) a multiple of 15?
False
Let u be (-5)/(2 - 7)*106. Let k = -70 + u. Is k a multiple of 7?
False
Suppose 0 = b + 4, -z = 2*b - 0 + 1. Let t(r) = 3*r + 9 - r + z. Does 16 divide t(14)?
False
Let r(v) = 1 + 9*v + 63*v**2 - 2 - 16*v + 10*v. Let k be r(3). Suppose -s - 89 = -u, -5*u - 2*s = -k + 165. Does 38 divide u?
False
Let h = -3728 + 6059. Is h a multiple of 63?
True
Suppose -42*g = -34*g - 4960. Is 5 a factor of g?
True
Suppose -689*h + 657*h + 71136 = 0. Is 117 a factor of h?
True
Is 18 a factor of (63 - 0)*(-22320)/(-1085)?
True
Suppose -c + 1 = 5. Let h(s) = -2*s**3 - 2*s**2 + 3*s - 4. Let m be h(c). Suppose 24 + m = 4*b. Is 7 a factor of b?
False
Let j = -3107 - -5913. Is 46 a factor of j?
True
Is 2432 - 36/((-9)/(-3)) a multiple of 110?
True
Let m(s) = -9*s**2 - 6*s + 3. Let f(b) = 46*b**2 + 31*b - 16. Let t(d) = -2*f(d) - 11*m(d). Is 10 a factor of t(3)?
False
Let m = -2 - -5. Suppose -a - 5*j = 18, -j = m + 2. Suppose 3*u + 5*f - 53 = 0, -3*f = a - 1. Is 11 a factor of u?
False
Suppose 5*w - 450 = -135. Suppose w = t + 3*z, -t = 7*z - 2*z - 71. Does 17 divide t?
True
Suppose 10*a = -4*a + 22974. Does 117 divide a?
False
Let m(n) = 84*n + 36. Is 34 a factor of m(2)?
True
Suppose 0 = j + 2*i, -3 = j - 4*i + 5*i. Let h be ((-3)/2)/(j/20). Is 289/h - 16/20 a multiple of 17?
False
Let p = 644 + 14. Is p a multiple of 27?
False
Is 61 a factor of 108 - (-1 - -3)*-1?
False
Suppose 17 = 4*b + 9. Let z(j) = 10*j**2 - 4*j - 5. Let i be z(-5). Suppose q = -5*y + i, 28 = 2*y + b*q - 70. Is 29 a factor of y?
False
Let l(z) = 194*z**2 - 9*z - 6. Is 47 a factor of l(2)?
True
Let s(b) = -b**3 - 2*b**2 - 10*b - 5. Let o be s(-7). Suppose 3*k = 2*d - o, 0*k + 3*d + 504 = -5*k. Let t = 146 + k. Does 24 divide t?
False
Suppose -3*y + 8*y = 0. Suppose w = -y*w + 2. Suppose 93 = a - o, w*a - 6*a + 3*o + 368 = 0. Is 15 a factor of a?
False
Let f = -1627 + 1814. Is 17 a factor of f?
True
Let u be ((-12)/8)/(6/348). Let s = u + 150. Is 9 a factor of s?
True
Let q(k) be the second derivative of k**3 + 5*k**2/2 + 34*k. Does 16 divide q(2)?
False
Let n(p) = 15*p - 35. Is n(27) a multiple of 10?
True
Let j(r) be the third derivative of r**5/60 - r**4/4 + r**3/2 - 4*r**2. Let s be j(5). Is 9/(-15)*(-97 - s) a multiple of 23?
False
Let q = 500 - 134. Suppose 5*t - 94 = -2*o + q, -5*o + 69 = t. Is t a multiple of 9?
False
Let k(p) = -p + 7. Let f be k(5). Suppose -30 = -r - f*r. Let n = 22 - r. Is 10 a factor of n?
False
Is (-12)/14 + 28002/182 a multiple of 18?
False
Let f = -5 - -12. Let v(g) = -9*g - g - f + 0. Is 9 a factor of v(-3)?
False
Suppose -156 + 12 = -4*c. Is (-24)/c - (-209)/3 a multiple of 16?
False
Suppose 0 = -9*m + 8*m + 144. Does 13 divide m?
False
Suppose 5*x - x - 56 = 0. Is 22 a factor of 620/x - 14/49?
True
Suppose 13 = j + 3*x, 0 = 3*j - 8*j - 4*x + 32. Suppose -20 = -j*q - 8. Suppose c = 3 + q. Does 6 divide c?
True
Suppose -3*u + 3*w = 41 + 13, u + 18 = -5*w. Let l be u/(-15)*10/3. Suppose -2*s = -l - 14. Does 7 divide s?
False
Suppose -3 = -w, -2*w - 4 = -4*t + 10. Let f(n) = 47*n + 3. Is f(t) a multiple of 13?
False
Let q(p) = -15*p - 13. Let x(b) = -7*b - 7. Let m(r) = -4*q(r) + 9*x(r). Let c be m(0). Let s = c + 24. Is s a multiple of 3?
False
Does 9 divide (-10 + 3)/((-1)/59)?
False
Suppose -2*f - 3*d = d + 12, -d = 2*f + 6. Let t be 78/4 + f/(-4). Suppose -5*y - 5 = -t. Does 2 divide y?
False
Let j(g) = 3*g**2 - 2*g - g**2 + 4 - 5*g**2 + 5*g**2. Does 7 divide j(5)?
False
Let r(g) = 221*g**2 - 7*g + 44. Is r(4) a multiple of 16?
True
Suppose 5*x - 24 = -2*m - 5, 4*x = 5*m + 35. Let g(y) = -4*y - 3*y + y. Is 6 a factor of g(m)?
True
Let k = 1583 + -767. Let d = k + -567. Suppose -77 + d = 4*u. Is u a multiple of 9?
False
Suppose 0 = -6*i + 214 - 34. Suppose 0*w + 30 = c - w, c = -4*w + i. Does 10 divide c?
True
Let h = 1042 + -691. Let t = h + -183. Does 21 divide t?
True
Suppose 0 = -f - 4*m - 16, m - 4*m - 35 = -5*f. Is 13 a factor of (-130)/f*(-90)/75?
True
Suppose 5*f - 3037 + 857 = 0. Let a = -271 + f. Does 34 divide a?
False
Let d = 922 - 306. Does 44 divide d?
True
Let w = -16 - 5. Let a be (54/w)/((-1)/(-7)). Let o = -12 - a. Does 3 divide o?
True
Is 3820/14 + 37/259 a multiple of 13?
True
Let r(t) = 2*t**3 + 25*t**2 - 12*t + 10. Let v be r(-13). Is v + (230 - 2 - 1) a multiple of 46?
False
Let o = 21 - -553. Does 23 divide o?
False
Let l = -38 - -35. Is 7 a factor of 1*l + (-102)/(-2)?
False
Let p = -27 + 29. Suppose -2*d + 56 = -p*k, -3*d + 46 = -d - 4*k. Is d a multiple of 6?
False
Let g(o) = o - 3. Let f be g(4). Let q be (0 + f/2)*-10. Does 12 divide -2 + q/((-15)/114)?
True
Is 4 a factor of (-4)/(2/95*55/(-44))?
True
Suppose 0 = 12*n + 55 - 26911. Is n a multiple of 6?
True
Let u = 364 - -346. Does 13 divide u?
False
Suppose 0*u - u - 5*q + 3152 = 0, 5*u + 6*q = 15779. Is 77 a factor of u?
True
Does 23 divide (-14)/77 + (0 - 12434/(-22))?
False
Suppose 201*d - 195*d = 18156. Is d a multiple of 89?
True
Let g(s) = s**3 + 9*s**2 - 6*s + 27. Let t be g(-9). Suppose -b + 2*m = -2 - 37, 2*b = m + t. Does 15 divide b?
False
Let c(j) = -121*j**3 - j**2 - j. Let v(q) = q**3 + q**2 + 1. Let b(a) = -c(a) - v(a). Is 12 a factor of b(1)?
True
Suppose 0 = 5*y + 5*k - 35, 3*y - 5*k - 20 = -7*k. Suppose -5*m + 1452 = y*m. Is 11 a factor of m?
True
Let j be (-9)/(-12) + (-51)/