ppose 2*r = -z + 200, -4*z = -0*r + o*r - 780. Is z a multiple of 32?
True
Let y(t) = -2 - 13 - 4 - 14*t - t**2. Let c be (-161 - -163) + (-1)/(1/12). Is 21 a factor of y(c)?
True
Suppose -3*t - r + 12 = -0, -r = t - 4. Suppose k + m = 83, k - t*m - 85 = -3*m. Is k a multiple of 9?
False
Suppose -h - 12 = -17. Suppose -62*w + 70*w - 4672 = 0. Suppose -821 - w = -h*d. Is 52 a factor of d?
False
Let l be 4*1 + 3 + -10 + 7. Suppose 5*p - l*q + q + 2 = 0, 0 = 2*p - 5*q + 16. Suppose 3*n = -2*j + 69, 4*j - p*n = 3*n + 105. Is j a multiple of 10?
True
Let g be -1 - ((-1 - -5) + -5). Suppose -5*w + w = 2*c + 8, 2*w - 3*c + 4 = g. Let a = w + 23. Does 4 divide a?
False
Let u = 21404 + -15974. Is u a multiple of 15?
True
Suppose -7*s - 11*s + 1206 = 0. Suppose 2*h + w - 650 - s = 0, -3*h + 4*w = -1092. Is 20 a factor of h?
True
Let b = 23 + -21. Suppose -4*a - 5*t + 176 = 0, 2*t - 6 = -b*a + 84. Let s = 60 - a. Is 3 a factor of s?
False
Suppose 614 = a - d, d = -5*a - 3*d + 3115. Suppose -614*g = -a*g + 1675. Is 7 a factor of g?
False
Let x(a) be the third derivative of -7*a**4/24 - a**3/6 - 25*a**2. Let y be x(-13). Suppose y = 7*i - 2*i. Is 2 a factor of i?
True
Let z = 17 + -14. Suppose j - 61 - 177 = 4*s, 5*j - z*s = 1207. Suppose 262 + j = 6*b. Does 42 divide b?
True
Does 4 divide (-5 + 118)/(2/80*5)?
True
Let d = 12 + 99. Suppose d + 2549 = 10*l. Is 29 a factor of l?
False
Let k(w) = w - 6. Let r be k(-11). Let v = r + 16. Is 38 + -18 - 2*v a multiple of 11?
True
Let r(g) = -2*g**3 - 43*g**2 - 708*g + 53. Is 4 a factor of r(-17)?
True
Suppose -49*v + 27281 + 74701 = 3198. Is v a multiple of 48?
True
Suppose -104*d - 61868 = -528183 - 224453. Is d a multiple of 123?
True
Suppose -2*k - 5*o - 620 + 113 = 0, k + 4*o + 246 = 0. Let z = -159 - k. Is z a multiple of 24?
False
Let y(f) = 60*f**2 - 70*f - 420. Is y(-16) a multiple of 146?
True
Suppose 4*d = 27*n - 23*n + 5504, -d - 4*n = -1386. Is d a multiple of 26?
True
Let i be (-5980)/78*(-72)/(-10). Does 11 divide i/(-9)*(-3)/(-4)?
False
Suppose 0 = -5*w - 2*q + 3*q - 53, 2*w + 32 = 4*q. Let f(p) = 3*p**2 - p + 14. Let b be f(w). Suppose -3*d = d - b. Does 27 divide d?
True
Let m be 191/9 + 6/(-27). Suppose w + m = 5*a, 0*w - 29 = -w - 5*a. Is (4 + w - 3)*(1 - -24) a multiple of 25?
True
Let y(b) = -3*b**3 - 15*b**2 + 8*b + 25. Is 36 a factor of y(-14)?
False
Let v(x) = -6*x**3 - 2*x**2 - x - 1. Let k be v(3). Let p = k + 262. Is 7 a factor of p?
False
Suppose 5*h - 8 = -2*j, 2*j = j + 4*h + 4. Suppose -j*x + 2*r = 4*r - 44, -2*r = 5*x - 54. Does 3 divide (-63)/(-5) - x/(-25)?
False
Let v(k) = k**2 - 2*k - 8. Let p be v(-2). Let l be p*(-2)/10 - (0 - 25). Suppose 57 + l = 2*w. Does 3 divide w?
False
Does 148 divide (7450/100)/((-17)/(-2364)) + 2/17?
True
Suppose 0 = 33*j - 24*j - 11*j + 14642. Is 7 a factor of j?
False
Let n be (-2814)/(-39) + 2/(-13). Let k = n + -64. Suppose 0 = 2*l - 54 + k. Does 22 divide l?
False
Suppose 25 = 2*k - 37. Suppose 0 = 5*f - 0 - 15. Suppose 0 = -f*q + 11 + k. Is 14 a factor of q?
True
Suppose 5*g + 2*h = 657, -g + 0*h - 3*h = -134. Let i = 638 + g. Does 44 divide i?
False
Suppose -11*n = -42640 - 52488. Is n a multiple of 46?
True
Let t = 172 + -181. Does 5 divide 24/(-20)*75/t?
True
Let d(w) = -w**3 - 8*w**2 - 7*w. Suppose -3*j + c = -0*c - 151, -2*c + 198 = 4*j. Let b = j - 59. Does 18 divide d(b)?
True
Suppose -5*b = -2*p - 39, -b + 21 = 2*p + 2*p. Suppose -320 = b*y - 17*y. Let f = 60 - y. Is f a multiple of 5?
True
Let f be (8/(-3) - 11)*(-6)/(-1). Let n = 3 - f. Does 17 divide n?
True
Let m(s) = s**3 - 4*s**2 - 5*s + 4. Let i be m(-4). Let j = i + 107. Is j even?
False
Let o be 3013/(-46) - (1/2 - 1). Let y = o + 85. Does 8 divide 1*y*(138/30 + -4)?
False
Let i = -75 + 79. Suppose i*p + k - 656 = 0, 5*p + 5*k - 352 = 453. Is p a multiple of 5?
True
Suppose 5*t - 3*a + 6 = 0, 5*a = 4*t - 6*t + 10. Suppose -2 = -d - t. Suppose -d*g - g = -2*n + 10, -n + 4*g - 5 = 0. Does 2 divide n?
False
Let y(s) = -2*s**3 - 3*s**2 - 3*s + 2. Suppose 0 = -5*f - 21 - 44. Let n = -15 - f. Does 12 divide y(n)?
True
Suppose 4*s + 70 = l, -2*s + 280 = 4*l + 3*s. Is 23 a factor of 4600/l - (6/7)/(-3)?
False
Let k(o) be the third derivative of -o**5/60 + 11*o**4/24 - 9*o**3/2 + 24*o**2. Let v be k(6). Suppose -2*c = -v*x + x - 48, 6 = 2*x. Is c even?
False
Suppose -4*m = -m - 9, 0 = -k + m - 1. Suppose -6*q + 4 = -k. Let j(v) = 52*v**3 + 2*v**2 - 3*v + 2. Is j(q) a multiple of 15?
False
Suppose 179*c - 146*c = 317724. Is 150 a factor of c?
False
Let f = -1497 - -2717. Is f a multiple of 17?
False
Suppose -j + 0*z = -5*z + 11, 0 = -3*z + 9. Suppose -2*q = j*o - 172, -119 + 18 = -q + o. Is 24 a factor of q?
True
Let p be (0/(-3))/(5 + -2). Suppose -9*u + 27 = -p*u. Suppose -4*k + 106 = -v, 3*v = -u*k + 7*k - 110. Does 26 divide k?
True
Let d = 510 - 1092. Does 30 divide (d/(-18))/((-3)/(-9))?
False
Let w = -6902 + 11156. Is w a multiple of 6?
True
Let o be (-8)/(-6)*9585/(-45). Let d = -262 - o. Does 11 divide d?
True
Suppose -4*s = -4*j + 36, 4*j - s = 7*j - 15. Let u(x) = 8*x**3 - 10*x**2 - 7*x - 14. Is u(j) a multiple of 97?
False
Suppose -34*x + 8*v + 12288 = -29*x, 5*v = -30. Is 8 a factor of x?
True
Does 3 divide 0 - (-1 + -1778) - (-336)/84?
False
Let o(k) = -k**2 - 6*k - 37. Let c be o(-10). Let y = -40 - c. Is 5 a factor of y?
False
Let i be (4/10)/((-5)/(-18775)). Suppose -s - s = 5*u - i, -3*u + 2990 = 4*s. Let f = s - 506. Is 48 a factor of f?
True
Suppose s + 4*i - 31 = -2*s, 0 = 4*s - 2*i - 12. Suppose -5 = 5*j + s*b - 45, -3*j = 4*b - 20. Is (-6)/(-24) - -1*177/j a multiple of 15?
True
Suppose 2*m - 10012 = 4*k + 12500, 0 = -5*k + 5. Is 13 a factor of m?
True
Let v(f) = 52*f**2 - 4*f - f - 48*f**2 - 20. Is 7 a factor of v(-3)?
False
Let v = 138 - 163. Suppose 0*i = -2*i - 6, 0 = 2*u + i - 83. Let n = v + u. Is n a multiple of 6?
True
Suppose -3*w = -4*b - 1 - 15, 0 = 2*b + 2. Suppose 0 = -3*y - 0*d - w*d + 125, -2*d = -3*y + 131. Suppose -3*l + y + 50 = 0. Does 31 divide l?
True
Let l be ((-190)/57)/((-58)/54 - -1). Suppose -q = -l + 27. Is 6 a factor of 108/11 + q/99?
False
Let d(z) = -10*z**2 + 16*z + 22. Let h be d(-3). Is (-6)/(h/(-60) + -2) even?
True
Let t(w) = w**2 - 21*w - 60. Let j be t(24). Let h be 0 + 9 + (1 - 2). Suppose -j*m = -h*m - 588. Is m a multiple of 21?
True
Is 449520/30*(1 + 1/(-2)) a multiple of 7?
False
Let p = 48 - -94. Let l = p - 4. Suppose 2*f + 6 = l. Is 22 a factor of f?
True
Suppose -66*f + 64*f + 60 = 0. Suppose 624 = -f*p + 32*p. Is p a multiple of 24?
True
Suppose f - 3 = -2. Let d be (-3)/18*3 - f/(-2). Suppose 0*i + 2*i = -4*y + 230, d = 3*i - 3*y - 354. Is 21 a factor of i?
False
Let n(t) = 685*t**2 + t - 4. Is 5 a factor of n(1)?
False
Let x(c) = -1918*c + 296. Is 24 a factor of x(-4)?
True
Let o(w) = 9*w**2 + 76*w + 1206. Is o(-22) a multiple of 389?
True
Let v be (-15)/10*-2 + (1 - 2). Let k(g) = -g - 7. Let q(i) = -1. Let n(j) = v*k(j) - 6*q(j). Does 14 divide n(-21)?
False
Let k = 287 - 287. Suppose k = -6*d + 483 - 3. Is d a multiple of 13?
False
Suppose -4552 - 11606 = -4*t + 3*f, 12122 = 3*t - 4*f. Is 95 a factor of t?
False
Is 127 a factor of 6015/(-802)*45992/(-5)?
False
Suppose -5*s + 0*s + 4520 = -3*z, 0 = z - 4*s + 1502. Does 10 divide (-2 + 3)/((-10)/z)?
False
Suppose -33*k - 70306 = -4*a - 35*k, -5*a = 3*k - 87883. Does 12 divide a?
False
Is (78/8*4/12)/((-5)/(-1840)) a multiple of 6?
False
Let v(z) = 109*z**2 + 66*z - 14. Is 12 a factor of v(5)?
False
Suppose -y - 3*y + 56 = 0. Suppose 0 = -11*j + y*j - 12. Suppose j*o + 304 = 12*o. Is 8 a factor of o?
False
Suppose 32*d + 12 = 38*d. Suppose 4*s = -20, -5*p - 3*s + 3015 = d*s. Does 10 divide p?
False
Let f be (-7 - -4 - (-1 - 2))*1. Suppose 2*s + 2*s - 1116 = f. Suppose 0*t = -5*u - 3*t + s, 3*u - 175 = 2*t. Is 19 a factor of u?
True
Suppose -7*h = -h - 30. Is 9 a factor of h/(6853/(-1722) - -4)?
False
Let k(r) = -r**3 + 16*r**2 + 14*r + 39. Let t be k(17). Let z = t + 14. Suppose 56 = -z*u + 4*u. Does 10 divide u?
False
Suppose -6*f = 21*f - 162. Does 55 divide ((-110)/f)/(((-55)/(-30))/(-11))?
True
Is 98 a factor of (6178/(-36) + (-26)/(-234))*-40?
True
Is (-1006)/(-6) + 5 + 20/60 a multiple of 21?
False
Let u = -35 + 38. Suppose 3*k - u*k = 5*k. Suppose -g - 5*