 21 divide (135/(-18))/(w/u)?
True
Suppose 0 = 4*d + 2*f - 57042, 5*f = 5*d - 35466 - 35814. Does 97 divide d?
True
Is (0 - -5) + 32/((-96)/(-2055)) a multiple of 8?
False
Let r(a) = -a**3 + 19*a**2 - 48*a + 12. Let f be r(10). Suppose w + y - f = 0, 3*w + 5*y = -w + 1728. Does 16 divide w?
True
Let b = -6 - -8. Suppose -6 + b = -j. Suppose -j = 5*d - 184. Is 6 a factor of d?
True
Let o(w) = 15*w**3 + 49 - 3*w - 7*w**3 + w**3 + 15*w**2 - 8*w**3. Does 21 divide o(-10)?
False
Let h(z) = -43*z - 117. Suppose -577*w + 567*w = 30. Is 6 a factor of h(w)?
True
Suppose 3*x + 254 = -h, -3*x + 4*x - 2 = 0. Let b = h - -652. Is 8 a factor of b?
True
Let u be (-534)/(-10)*(-305)/61. Let x = u - -420. Is 3 a factor of x?
True
Let z(u) = 386*u**3 + u**2 - 4. Let w be z(2). Suppose 3*f + 592 = w. Does 16 divide f?
True
Let q(j) = -522 + 19*j**2 + 23*j + 3*j**3 + 503 - 4*j**3. Is q(13) a multiple of 83?
False
Let u(k) = 381*k**2 - 28*k - 93. Does 95 divide u(-3)?
True
Let t(r) = -125*r**3 + 19*r**2 + 63*r + 10. Is t(-5) a multiple of 27?
True
Is 11 a factor of 10/(-25)*(-7 + (-728 - -5))?
False
Let f be 4/(-6) + 4/(-3). Suppose -16*q + 5*q = -1012. Let i = q + f. Is 18 a factor of i?
True
Let v be (-1 - -5) + (-2322)/18 + -1. Let b = 147 - v. Is 45 a factor of b?
False
Suppose -3*a - 5*d = -8*a, -30 = -2*a - 4*d. Suppose -1388 = -4*i + b, a*b + 242 = 5*i - 1478. Does 8 divide i?
False
Is (-66*((-11)/(-165) + 0))/(1/(-115)) a multiple of 5?
False
Let q be (2/4)/(108/24 - 4). Let x(c) = -39*c**3 - c**2 - 5*c + 2. Let d(a) = -39*a**3 - 2*a**2 - 6*a + 2. Let y(r) = 2*d(r) - 3*x(r). Does 13 divide y(q)?
True
Let x be ((-291)/(-9))/((-2)/(-6)). Let v(u) = -12*u**2 - 11*u + 21. Let l be v(2). Let b = x + l. Is 17 a factor of b?
False
Let m = 1661 + 3111. Is 166 a factor of m?
False
Suppose -3*b = -3*c + 18, -5*b - 5 = c + 7. Suppose -5*w + 2271 = 2*v, -w - c*v + 451 = -v. Is w a multiple of 13?
True
Is 92 a factor of 4/(-22) + ((-1176651)/(-77) - 9)?
True
Let t(n) = 2*n**3 - 45*n**2 + 60*n - 249. Is t(24) a multiple of 5?
False
Suppose 4*a = -4*p + 34084, 374*a - 373*a - 8533 = 2*p. Is a a multiple of 25?
True
Let c = -1717 - -3144. Is 5 a factor of c?
False
Suppose 18 = -3*y + 81. Let l = y - 21. Suppose -17*h + 15*h + 70 = l. Does 22 divide h?
False
Let b(v) = 1459*v - 6870. Is 353 a factor of b(26)?
True
Let o(u) = -3*u - 22. Let s = -64 - -55. Let n be o(s). Suppose -3*f - 116 = -w, -5*w + n*f + 11 = -599. Does 28 divide w?
False
Suppose 12576*n = 12548*n + 406980. Does 6 divide n?
False
Suppose 37 + 11 = -g. Let x be (1 - 2)*g/8. Suppose 2*a = x + 12. Does 9 divide a?
True
Is 27 a factor of 46/(-207) - 103*2364/(-27)?
True
Let j = 63044 + -41044. Is 40 a factor of j?
True
Let o(z) = -63*z**2 + 36 + 64*z**2 - 11*z + 18*z. Does 6 divide o(-5)?
False
Let h(b) = 7*b**3 + 5*b**2 + 19*b - 39. Let s(c) = 2*c**3 + c**2 + c + 1. Let d(q) = -h(q) + 4*s(q). Is 12 a factor of d(9)?
False
Let n(o) = 2*o**3 - 6*o**2 + 5*o + 2. Suppose 0 = -w + 5*w - 8. Suppose x + 3*s + 5 = 0, 0*x = x + w*s + 2. Is 13 a factor of n(x)?
False
Suppose -33 = -0*h - 11*h. Suppose 5*o - 1098 = -h*u - 285, 2*u - 3*o - 542 = 0. Is u a multiple of 5?
False
Let c(p) = 3*p + 28. Let v be c(-6). Suppose 5*t + 2800 = v*t. Does 28 divide t?
True
Suppose -165*o - 624960 = -291*o. Is o a multiple of 62?
True
Suppose 4*v + 0*v - 3228 = -3*z, -5*z + 5388 = 4*v. Is 30 a factor of z?
True
Suppose 4*u = 9*u - 1805. Suppose -872 + u = -7*r. Is 7 a factor of r?
False
Is (-1)/4*(-1992)/(-581) + 12396/7 a multiple of 42?
False
Suppose -a - 5*n + 27749 = 0, -106*a = -102*a - n - 110954. Is a a multiple of 184?
False
Let l(z) = -3*z + 31. Let p(y) = 1. Let f(c) = -l(c) + 6*p(c). Let d be f(10). Is d - 2 - 576/(-8) a multiple of 25?
True
Let s(o) = 28*o + 36. Let m(y) = 113*y + 145. Let l(v) = -2*m(v) + 9*s(v). Does 17 divide l(7)?
False
Suppose -2*a = -a - 836. Let r = 1916 - a. Does 15 divide r?
True
Let l(n) = 3*n - 24*n**3 - 18*n - n + 3*n**2 + 67*n**3. Does 44 divide l(3)?
False
Let o = -324 - -324. Suppose -3*n + 2*x + 139 = o, 0*x + 235 = 5*n - 4*x. Is 19 a factor of n?
False
Let s = -4413 + 45359. Is s a multiple of 28?
False
Let l(o) = 19*o**3 + 344*o**2 + 139*o + 1111. Let u(f) = 3*f**3 + 57*f**2 + 23*f + 185. Let g(m) = 2*l(m) - 13*u(m). Does 10 divide g(-53)?
True
Suppose 2*o + o - 186 = 0. Suppose 0 = 4*i - 5*g - 10, 0 = 4*i + g - 6 + 8. Suppose 0 = u - 2*c - 29, -3*u + u + 5*c + o = i. Is 6 a factor of u?
False
Suppose 0*l - 2*i - 12798 = -l, -3*l + 38466 = 3*i. Is l a multiple of 43?
True
Let w(v) = -60*v + 367. Let r be w(6). Let o(x) = -x**3 + 12*x**2 - 29*x + 29. Does 8 divide o(r)?
False
Let h(p) = -p**2 + p. Let d(k) = 9*k**2 - 9 - 24*k**2 + 33*k + 4*k**2 + 12*k**2. Let m(n) = d(n) - 3*h(n). Is 7 a factor of m(-10)?
True
Let w = -249 - -293. Suppose w*x - 21*x = 1242. Does 37 divide x?
False
Let u(n) = -n**2 - 63*n + 233. Does 8 divide u(-33)?
False
Let j(p) = -p**3 + 29*p**2 + 31*p + 55. Let d be j(30). Let s = 14 + d. Is 2 a factor of s?
False
Let y(c) = 4*c**2 + 35*c - 7. Let r be y(-9). Let i be 7/14*4*r. Suppose 2*u - 129 = -3*p, -i*u + 2*p + 298 = -0*u. Does 9 divide u?
True
Let n be (-1 + -3)*(-1 + -1). Let f(k) = -k**2 + 9*k - 3. Let i be f(n). Suppose -i*r + 168 = 2*l, 2*r - r = 4*l + 38. Is 17 a factor of r?
True
Let w = 14 + -14. Let g be (w + 4)*(-10)/(-20). Suppose g*a = m + 26, 4*a + m - 56 = 2*m. Does 5 divide a?
True
Suppose 159*y - 7129545 = -104*y + 8*y. Does 23 divide y?
False
Let i(f) = 37*f**2 + 8*f + 18. Let j be i(-6). Is 4*j/36 - (-2)/(-3) a multiple of 16?
True
Suppose 4743*n = 4769*n - 1522430. Is n a multiple of 132?
False
Suppose 51*c - 165 = 48*c. Let n = c + -53. Suppose 0 = -n*l + 19 + 179. Is 22 a factor of l?
False
Suppose 34 = 10*d - 46. Let j(b) = b**3 - 2*b**2 - 9*b + 10. Let g be j(d). Suppose 0 = 4*s - g + 82. Is 5 a factor of s?
True
Let q(a) = 8*a**2 - 3*a - 141. Does 40 divide q(-23)?
True
Does 196 divide ((-4)/24)/(1/(-79970)) + 3/(-9)?
True
Suppose 2*w - 69*u + 64*u = 5850, 3*u - 2925 = -w. Is 39 a factor of w?
True
Let j be 82 - (3 + 0/(-3)). Suppose 0 = 3*h + j - 358. Is h a multiple of 8?
False
Let o = -928 + 3623. Is o a multiple of 55?
True
Suppose -v - 2*v = -132. Suppose -4*p - v = -92. Is p a multiple of 6?
True
Let o = -12446 + 13584. Is 2 a factor of o?
True
Suppose -27*x = -17*x - 30. Suppose -8*r + 33 = x*r. Suppose -3*c + b + 132 = -r*b, -3*c + 3*b + 129 = 0. Is c even?
True
Is 319 a factor of ((1 - -4) + -84 + 77)*61988/(-2)?
False
Suppose -4*l = -2*a - 0*a - 480, 1178 = -5*a - l. Let s = 288 + a. Does 4 divide s?
True
Let m(t) = 210*t + 238. Is m(18) a multiple of 41?
True
Let x(q) = -q**3 - 11*q**2 - 8*q - 84. Let v(n) = n**3 - 7*n**2 + 5*n + 11. Let t be v(5). Is 46 a factor of x(t)?
False
Let k be (-3145)/35 - (-1)/(-7). Let v be 8/12*k/(-4). Suppose -v = -3*c + 2*x, x = c - x - 9. Is c a multiple of 3?
True
Let m = -2537 - -3557. Is 30 a factor of m?
True
Suppose 3*p - 5 = 4. Suppose -18 = 4*t - 5*k, 2*k + 18 = t - p*t. Let j = 29 + t. Is j a multiple of 3?
False
Suppose -252 = -630*y + 623*y. Is (-2892*(-8)/y)/((-2)/(-3)) a multiple of 74?
False
Let t(b) = -2*b**3 - 82*b**2 - 328*b - 80. Is t(-38) a multiple of 155?
True
Suppose -2*y + 157*c - 154*c = -6515, 0 = 3*c + 15. Is 13 a factor of y?
True
Let n(l) = -146*l + 5. Suppose -5*i - 55 = -40. Let a be n(i). Suppose 2*t + 3*h = a, 3*t - 883 = -t - 3*h. Is 44 a factor of t?
True
Let o(k) = 5*k**2 - 15*k - 6. Let y(h) = -4*h**2 + 16*h + 5. Let g(i) = -3*o(i) - 4*y(i). Let z be g(21). Let p = 14 + z. Is 4 a factor of p?
False
Let y be 48 + 8*5/(-10). Suppose -4*t - 4*c - y = -200, -2*t - 3*c = -77. Is t a multiple of 3?
False
Suppose -244*d = 6*d + 56*d - 22900428. Is d a multiple of 264?
False
Suppose 2*g = 3*g + 8. Let r be ((-18)/g)/(45/9120). Suppose 0 = 38*p - 34*p - r. Is 15 a factor of p?
False
Let z(l) = 209*l**2 + 77*l + 788. Does 69 divide z(-10)?
False
Suppose 5*d = -5*f + 13035, 4*d = 20*f - 16*f - 10444. Is f a multiple of 10?
False
Suppose 48*v = 55*v - 14. Let o(z) be the first derivative of 51*z**2/2 - 13*z + 2. Is 36 a factor of o(v)?
False
Is 6/4 + ((-97125)/(-30))/5 a multiple of 13?
False
Let b(y) = y**3 + 12*y**2 + 26*y - 6. Let c be b(-9). Suppose -5*g - 1103 = 