t y = -32 + -12. Does 20 divide 2 + (-7 - y) + 3?
False
Let u(h) = 0*h - 12*h + 14*h + 48 - 31*h - 64. Suppose 3*k - 5*l - 10 = 0, 10 = -4*l + 2*l. Is u(k) a multiple of 22?
False
Let y(a) = -280*a - 1105. Does 3 divide y(-17)?
False
Suppose -d = -2*l - 9, -4*d + 0*l + 63 = l. Let x = d + -8. Suppose 0 = 3*k - x*f + 4*f - 72, -5*k + 165 = 4*f. Is k a multiple of 15?
False
Let i(b) = -b - 3. Let t be i(-1). Suppose -6*h + 7*h + 10 = 0. Does 13 divide (69/t)/(3/h)?
False
Let j be 825 - (4 + -4 + 4). Suppose -2*u + 42 = -5*i, -5*u + 7*i = 2*i - 90. Suppose -u*g + j = -187. Is 27 a factor of g?
False
Suppose 4*g - 13 = 5*y, -4*y - 6 = g + 17. Let p = y + 8. Does 4 divide (8/p)/(196/48 - 4)?
True
Let t = 6 - 4. Suppose 50 = -7*f + 11*f - 2*c, 2*c = 5*f - 60. Suppose -2*a + 39 = 4*m + a, 0 = t*a - f. Is 6 a factor of m?
True
Suppose -2*u + 7 - 5 = 0. Let f be (12 - 15)*(-1)/u. Suppose 166 = 3*m - 5*a, 2*a = m - f*a - 42. Does 15 divide m?
False
Let f(a) = a**2 + 25*a + 86. Let m be f(-21). Suppose 0 = -4*j - 20, 3*c - 460 = m*j + 90. Is 15 a factor of c?
True
Let k(f) = 6*f**3 + 11*f**2 + 5*f - 6. Let z be k(11). Is ((-6)/9 - z/(-9))*1 a multiple of 16?
True
Let u = 55460 + -16876. Is u a multiple of 56?
True
Suppose -5*k + 16 - 1 = 0. Suppose -3*q = -k*z + 2*q + 26, -1 = q. Let u(t) = -t**3 + 7*t**2 + 4*t + 2. Is 7 a factor of u(z)?
False
Let k(u) = -464*u - 587. Is 169 a factor of k(-6)?
True
Suppose -425 = -4*x + 5*h + 28008, 4*h = -2*x + 14236. Is 151 a factor of x?
False
Is 16 a factor of 12432/2331*1341/1?
True
Let o be 9 - -2 - 1 - (-2 - -8). Suppose i - 1202 = -2*m, i - 64 - 1108 = o*m. Is 35 a factor of i?
False
Suppose 2*k + 90 = 12*k. Suppose 0 = -k*b - 3*b + 432. Is b a multiple of 6?
True
Let q(y) = -2*y + 8. Let b be q(6). Let i(p) = p**3 + 7*p**2 + 5*p - 4. Let o be i(b). Does 21 divide 2/o*-3 + (-85)/(-4)?
True
Suppose -755*d + 754*d + 21407 = -4*w, -w - 42842 = -2*d. Is d a multiple of 111?
True
Suppose 89*u + 1462846 = 166*u. Does 77 divide u?
False
Let t(n) = -815*n + 22. Let c be t(-2). Let d = -896 + c. Does 28 divide d?
True
Suppose 2*b - 474 + 250 - 404 = 0. Is 36 a factor of b?
False
Suppose 5*n - 3*r = 13150, n - 604*r - 2652 = -599*r. Does 241 divide n?
False
Let i(z) be the third derivative of z**6/360 - z**5/40 - z**4/12 - z**3/3 - 26*z**2. Let y(x) be the first derivative of i(x). Is 2 a factor of y(5)?
True
Let o(c) = 28*c**2 + 4*c + 2. Let a be 95/19*(-4)/(-10). Let y be o(a). Let n = y - -103. Does 10 divide n?
False
Let s be 3 + (3 - (3 - 5)). Suppose s*h + 11*h = 2736. Is h a multiple of 24?
True
Let i(d) = 58*d**2 - 11*d - 33. Is 175 a factor of i(-8)?
False
Let y(c) = 805*c + 619. Is y(5) a multiple of 12?
True
Suppose -4819 = 4*c - 5*z + 1735, -6 = 3*z. Let j = c - -2791. Does 81 divide j?
False
Suppose -4*v + 0 + 14 = -x, -v = -4*x - 11. Suppose 5*f - v = -g, 2*g - 5*f = g + 13. Let u(p) = -p**2 + 18*p - 13. Does 20 divide u(g)?
False
Suppose -45 = 5*j - 55. Is 71 + -3 + -4 - j a multiple of 3?
False
Let y be -2*((-33)/2)/11. Suppose 2*m - 1987 = -y*k, 4*m - 6*m = 4*k - 2650. Is 12 a factor of k?
False
Let o(q) = 3*q**2 - 3*q - 29. Let h be o(-5). Let s = 332 - h. Is s a multiple of 8?
False
Suppose -2*w + 14 = 4*j, -4*w + 9*w - 13 = j. Suppose 3*g + t = 5*g - 271, g + j*t = 143. Let k = -65 + g. Is k a multiple of 12?
True
Let m(u) be the third derivative of u**6/120 + u**4/24 + u**3 + 516*u**2. Let i(a) = -a**3 + 5*a**2 + 4. Let r be i(5). Does 15 divide m(r)?
False
Let y(l) = -45*l**3 - 15*l**2 + 17*l + 9. Let q be y(5). Is 22 a factor of (1 - q/4)*94/141?
False
Suppose -3*r = -12, -2*f + 21 + 7 = 5*r. Suppose -2*b - 998 = -f*n, 4*n + 7*b = 8*b + 995. Is n a multiple of 31?
True
Suppose -q - 4*d = q - 24, -q - d = -8. Suppose 348 = q*f - 2*z - 3*z, 0 = -5*f - 3*z + 398. Let t = f - 47. Is t a multiple of 21?
False
Let j be (45/6)/(4/8). Let l = -5 + j. Suppose 0 = h - u - u - 19, l = 5*u. Is 23 a factor of h?
True
Suppose 20 = 5*s, -b + 2*s = -0*b + 9. Let q be ((54/8)/9)/(b/(-704)). Suppose 14*z = 17*z - q. Is 44 a factor of z?
True
Suppose -9*y + 7*y - 4 = 0. Let w be (y/(-2))/(2/84). Is 28 a factor of (4*w/15*5)/1?
True
Let v(r) = -3*r**2 + 4*r + 3. Let l(w) = -8*w**2 + 9*w + 5. Let k(h) = -4*l(h) + 9*v(h). Is k(6) a multiple of 9?
False
Suppose -5*v - 659 = -194. Let f = -160 - v. Is 13 a factor of 28/(-14) - (f - -1)?
False
Suppose -14551946 = -150*m - 5496746. Is m a multiple of 49?
True
Let n be (-3)/(-8) - 2779/(-56). Does 4 divide (5 - 3) + -12 + n?
True
Let p = -77 - 20. Let w = 366 - 209. Let l = p + w. Is 15 a factor of l?
True
Suppose 0 = 4*b - 0*b + 4. Let l(y) = -12*y**2 + 23*y + 31 - 29 + 14*y**2 - 19*y - 64*y**3. Is l(b) a multiple of 16?
True
Suppose -4*z = 5*g - 27188, -10895 = -2*g - 120*z + 125*z. Is g a multiple of 93?
False
Suppose -5*j - 5*v - 38 = 32, 2*j = 2*v - 8. Let y(r) = 4*r**2 + 10*r + 22. Does 29 divide y(j)?
False
Let z(a) = -4*a + 10. Let k be z(28). Let n = -32 - k. Does 14 divide n?
True
Let q be ((58 - 2)/(-1))/(-1). Suppose r = -5*z + 11, -2*r - 2 = -11*z + 9*z. Suppose 140 = 5*p - n, -z*p - 2*n = -n - q. Does 28 divide p?
True
Let c = 2701 - 1831. Is 87 a factor of c?
True
Let a be (-16)/(-4) - (-8)/(-2). Suppose a = u + 65 - 64. Let z = u - -65. Is z a multiple of 32?
True
Suppose 4*k - 10315 = 3*z, -2*z - 3*k = 2408 + 4497. Is 23 a factor of 2/6 + z/(-15)?
True
Does 53 divide ((-60)/9 - -1)/(11/(-17556))?
False
Let i(g) = 0*g + 2*g**2 - 5*g**3 - 1 - 2*g + 6*g**3. Let q be i(-3). Is q + (4 - (2 - 8)) a multiple of 2?
True
Let q = -133 - -131. Is q - (6 - (-95)/(-5)) a multiple of 3?
False
Let n be -4 - -3 - (-3)/(1 + 0). Let i(m) = -6*m - n - 7*m - m. Does 3 divide i(-1)?
True
Suppose 5*a - 6158 = 5*o - 23083, o - 3391 = 4*a. Is o a multiple of 6?
False
Let u(z) = -18*z**2 - 2*z + 2. Let n be u(2). Let x(g) = g**2 + 7*g - 69. Let m be x(-12). Is (n/(-3))/(-6 - 60/m) a multiple of 11?
False
Suppose 4*w - 7*w = -3*o - 52866, 0 = -w - 2*o + 17607. Is 104 a factor of w?
False
Let s(y) = y**3 - 30*y**2 - y + 26. Let b be s(30). Does 5 divide (((-40)/25)/b)/(8/100)?
True
Suppose -3*f - 6 = 0, 5 = 5*x + 4*f - 2. Suppose -3*c + 8 + x = -t, 0 = -5*t - 3*c - 55. Does 27 divide ((-897)/t)/3 - 6/33?
True
Let k = 15 - 13. Suppose 0*d - k*d + 152 = 0. Does 19 divide d?
True
Suppose 18927 = 2*d + 5*b, 3*b = -13*d + 9*d + 37833. Does 12 divide d?
True
Let q be (-2)/5 + 38/(-5). Let k be -22*13*4/q. Is (-16)/4 + 6 + -1 + k a multiple of 24?
True
Let n be (-3004)/(-28) + (-2)/7. Let s = 222 + -226. Is n + (-4 - (-3 + s)) a multiple of 11?
True
Suppose 3*j + 0*j + 12 = 3*u, -4*j + 3*u - 13 = 0. Let n = -1239 - -1433. Let t = n - j. Is 15 a factor of t?
True
Let q be (4/(-5))/(-2 + (-45)/(-25)). Suppose -a + 399 = q*s + 4*a, -2*a = 3*s - 294. Is 8 a factor of s?
True
Suppose 5*h + 195 = -5*k, 0*h + 5*k + 123 = -3*h. Let t = h + 45. Suppose 0 = t*m - m - 232. Is m a multiple of 29?
True
Suppose 2*t - l = 4632, -2*t + 7*l + 4620 = 3*l. Suppose -12*n + 568 = y - 7*n, 4*y - t = 3*n. Is y a multiple of 13?
False
Let z(k) = -17*k**2 - k + 2. Let j be z(1). Let o(m) = m**2 + 15*m - 14. Let d be o(j). Suppose -4*s = -d*s - 72. Is s a multiple of 20?
False
Suppose -58 = -5*q - 48. Suppose -4 = -2*n + 4*z, q*z + 5 = 4*n - 3*z. Suppose n*g + 2*g - 168 = 0. Is 21 a factor of g?
True
Suppose -32307 = -4*d - 2*x - 531, -39720 = -5*d + x. Does 65 divide d?
False
Let l be -6*9/(27/(-20)). Let k(h) = 3*h + 20. Is k(l) a multiple of 7?
True
Let r(d) = d**3 - 5*d**2 - 6. Let s(c) = -3*c - 7. Let x be s(-4). Let y be r(x). Is -5*(y - (-4)/1) a multiple of 5?
True
Let v = 131680 - 73952. Is 22 a factor of v?
True
Suppose -5*j + 3*n + 6811 = 0, -5*j - 63*n + 6817 = -64*n. Suppose 0 = -28*q + j + 988. Is 27 a factor of q?
False
Let g = 37 + -35. Suppose -h + 4*t = -6*h - 399, -2*h - 2*t = 158. Does 12 divide (h + 1)*g/(-2)?
False
Suppose -5*s + 165 = -0*s. Let f = -25 + s. Is 4 a factor of f + 19 - 0/(-2)?
False
Let v(m) = m**2 + 2*m - 40. Let u be v(-9). Suppose -u + 35 = 6*l. Is l a multiple of 2?
True
Let f = -695 + 754. Let n be (-290)/(-4) - 2/(-4). Let y = n - f. Is y a multiple of 14?
True
Suppose 7*i + 2*v + 313 = 6*i, -v - 1224 = 4*i. Let h = -157 - i. Is h a multiple of 16?
False
Suppose -131*v +