2*r + 176 = 3*f. Let a = f - -28. Does 16 divide a?
False
Suppose -20*p + 83848 - 75241 = -211093. Does 169 divide p?
True
Suppose -14*a + 10*a - 28 = 0. Let b(u) = 11*u**2 + u - 5. Let y(q) = 5*q**2 + q - 2. Let r(h) = a*y(h) + 4*b(h). Does 21 divide r(-3)?
True
Let m = -2474 - -3590. Suppose -h - 155 = -f, 5*f + 306 - m = -2*h. Is 20 a factor of f?
True
Let o(b) = -b**2 - b + 3. Let i(d) = -d**3 + 3*d**2 + 5*d - 4. Let r be i(4). Let u be o(r). Suppose 0*f + f = -u*s + 281, -4*f + 8 = 0. Is s a multiple of 31?
True
Suppose -5*h - 20336 = -3*k + 9942, 2*k = -5*h + 20227. Is k a multiple of 91?
True
Let g = 574 - 232. Let k = g + -72. Is 27 a factor of k?
True
Suppose -3075*b = -3115*b + 257200. Is 32 a factor of b?
False
Is ((-12145)/20 - 1)/((-36)/672) a multiple of 7?
True
Suppose 152 - 16 = 8*y. Let l(b) = 81 + 5*b - 14*b + b**2 - 8*b - 29. Does 31 divide l(y)?
False
Suppose 109950 = 384*h - 334*h. Is 9 a factor of h?
False
Suppose o = 10*k - 11*k + 8254, 0 = 2*o + 2. Does 13 divide k?
True
Let b(p) = -9*p**2 + 15*p - 14. Let y(j) = 4*j**2 - 7*j + 7. Let n(l) = 2*b(l) + 5*y(l). Does 12 divide n(4)?
False
Suppose 12 = -26*v + 29*v. Suppose -7*n + 12 = -3*n, 2*b - 546 = -v*n. Does 6 divide b?
False
Let p be 259/37 - 3*2. Does 3 divide p/(4/50)*(-1950)/(-375)?
False
Let a(o) = -5*o + 28. Let i(q) = 2*q - 14. Let c(g) = 3*a(g) + 5*i(g). Let p be c(-14). Let u = -63 + p. Does 21 divide u?
True
Let t(z) = -62*z**3 + 3*z - 1. Let c be t(1). Let r = 120 + c. Does 6 divide r?
True
Let h be (-9)/(-6) - 1155/2. Is 7 a factor of (h + 2)*(1/2 + -1)?
True
Let h(z) = 214*z**2 - 32*z + 16. Is 39 a factor of h(-5)?
False
Suppose 0 = -6*i + 19 + 17. Let r be (i/9)/((-2)/(-465)). Suppose q + r = 3*j + j, -3*q - 123 = -3*j. Does 16 divide j?
False
Let p be 3638/170 + -2 + 8/5. Is 17 a factor of (-1019)/(-6) + p/126?
True
Suppose 31*q - 302760 = 2*q. Is 90 a factor of q?
True
Suppose 1755 = 2*h + a - 8272, -5009 = -h + 4*a. Is h a multiple of 3?
True
Let g(h) = 8*h + 679. Let b(d) = 2*d + 170. Let q(m) = 9*b(m) - 2*g(m). Is q(-26) a multiple of 4?
True
Let s(c) = -300*c - 260. Is s(-7) a multiple of 46?
True
Let d(u) = 3*u**3 - 10*u**2 + 7*u + 6. Let q be d(6). Suppose 767*v + q = 774*v. Is 4 a factor of v?
True
Let q(h) = 23 - 3*h + 4*h**2 - 3*h**2 + 41 - 4 + 7*h. Is q(14) a multiple of 52?
True
Let a = -1088 - -2418. Does 29 divide a?
False
Let y(c) = -121*c - 110. Let a be y(-10). Let z = a + -548. Is z a multiple of 24?
True
Let f = -1004 + 3257. Let r = f + -757. Is 61 a factor of r?
False
Suppose 473 = -5*s + 113. Let h = 152 + s. Suppose 0 = -7*f + 3*f + h. Is f a multiple of 4?
True
Let o(y) = -y**3 + y**2 + 2*y + 1004. Let q be o(0). Let m = q + -460. Suppose 0 = 10*d - 6*d - m. Does 16 divide d?
False
Suppose -600 = -230*p + 206*p. Suppose 2*m - f = 141, 7*m - 4*f - 276 = 3*m. Suppose -b = b + 5*o - p, -4*o - m = -3*b. Is 11 a factor of b?
False
Let n be -9*10*64/20. Let y = -284 - n. Does 3 divide y?
False
Suppose -5*g - 4*u + 60574 = -0*u, 5*g - 60520 = 5*u. Is g a multiple of 35?
True
Let j = -18 + 2440. Does 14 divide j?
True
Let m(c) = 6*c**3 + 2*c**2 + 3*c + 1. Let o be m(-2). Let g = o - -59. Let n = 43 - g. Is n a multiple of 6?
False
Suppose 2*j - k + 648 = 0, 87*k - 85*k = 0. Let a = 971 + j. Is a a multiple of 9?
False
Suppose -28*w + 32*w = 68. Let z be (9 + -7)/(19/w - 1). Suppose -f = -z + 1. Does 8 divide f?
True
Suppose 4*a = -3*v + 141, 5*v - 270 = -0*a + 5*a. Suppose -81 = 48*y - v*y. Suppose 0 = -3*b + c + y, 4*c = -4*b + b + 42. Does 2 divide b?
True
Suppose 4*g + 5*i - 13 = 0, 3*i = -g + 2*i + 2. Let r(c) = -34*c - 4. Let u be r(g). Suppose -3*a + 213 = h, a + 531 - u = 2*h. Does 18 divide h?
True
Let x(a) = -a - 4. Let t be x(-7). Let y be ((-3)/9 + 19/(-114))*0. Suppose -347 - 8 = -t*u + b, y = -5*u + 3*b + 593. Is 17 a factor of u?
False
Suppose 145 = -5*y + 5*c, 0 = 5*y + 2*c - c + 151. Does 71 divide 20377/(-82)*y/7?
True
Let s(q) be the third derivative of q**5/60 - q**4/24 + 9*q**3/2 + 2*q**2. Let h be (-36)/(-90) + (-4)/10. Is 20 a factor of s(h)?
False
Let s = 119 - 63. Suppose s*l = 53*l - 105. Let c = 38 + l. Is c a multiple of 2?
False
Let g(a) be the second derivative of a**3/6 - 17*a**2 - 9*a. Let t be g(0). Let o = t + 64. Is 8 a factor of o?
False
Let u = 4594 + -2013. Is u a multiple of 20?
False
Let n(z) = 19*z + 436. Is 7 a factor of n(-13)?
True
Suppose 0 = z + 12*g - 20916, 5*z - 9*g + 11*g = 104406. Does 12 divide z?
True
Suppose -32*u + 155 = 1467. Let t(c) = -7*c - 263. Is t(u) a multiple of 6?
True
Suppose 4629 = h - 3*l, 8*h - 25875 = -4*l + 11297. Is h a multiple of 18?
True
Let i(y) = -4*y**2 + 30*y - 7. Let r be i(9). Is (-18)/10*(2 + r + 4) a multiple of 11?
True
Let p(i) = -16*i + 91. Let a = -62 + 57. Is p(a) a multiple of 3?
True
Suppose -3*o + 5430 = -3*q, 13*o - 12*o = -2*q + 1801. Is 6 a factor of o?
False
Let z = -493 + 493. Is (-11 - (-3 - 25))*(27 + z) a multiple of 60?
False
Let t = 34872 - 33842. Does 2 divide t?
True
Is (-2665)/(9 - 20/2) a multiple of 13?
True
Let u = -1116 - -1121. Suppose -3*v = -4*h - 0*v - 28, 4*v = -5*h - 4. Is 17 a factor of u + (3 - -47 - h)?
False
Suppose -37*p + 60 = -25*p. Suppose 3*z + 602 = 3*s + 194, -677 = -p*s + 2*z. Does 3 divide s?
True
Let j = -32 - 5175. Is j/(-7) + 7/49 a multiple of 24?
True
Let b be (-38)/(-6) - (-6)/9. Suppose -b*z - 28 = -14*z. Let k(p) = 2*p**2 - 3*p - 4. Is k(z) a multiple of 6?
False
Suppose -3*b + 94876 = 8*k - 4*k, 2*k - 47456 = 3*b. Is 56 a factor of k?
False
Suppose -10*f = -7*f + 45. Let r(m) = -3*m + 13. Does 3 divide r(f)?
False
Let b(s) = 4*s**2 + 13*s + 10. Suppose 10 + 20 = -3*g. Let w be b(g). Suppose -7*r = 63 - w. Is 10 a factor of r?
False
Let o(t) = t**3 - 11*t**2 + 4*t + 204. Is o(18) a multiple of 64?
False
Let a(z) = 6*z - 184. Let c be a(31). Does 11 divide 14993/(-58)*-1*c?
True
Let m(x) = 16940*x**2 - 45*x + 35. Is 151 a factor of m(1)?
False
Suppose 57 = -4*c + 61. Let i be 4/c*1/(-2). Is ((-70)/(-15))/(i/(-42)) a multiple of 14?
True
Let v be (-87029)/(-319) + 3/((-66)/(-4)). Let z = -89 + v. Does 17 divide z?
False
Let q be (-5)/((-50)/(-4))*-5. Let p(u) = -1 + 0 - 8*u - 4 + 107*u. Is p(q) a multiple of 39?
False
Let h be 4 + 6 - (-4)/(-2). Suppose 4*w = c - 20, 5*c - h = -2*w - w. Is 20 a factor of 121 - 2/(w*(-1)/2)?
True
Suppose -2*c - 5 = -13. Let g(h) = 2*h**2 - 6*h + 2. Let j be g(c). Suppose -j*w = 31 - 101. Is w even?
False
Suppose 1658901 - 213802 + 1212097 = 36*u. Is 31 a factor of u?
True
Suppose 11*m + 75754 = 28*m - 54466. Is m a multiple of 20?
True
Let n(x) = x**3 - 8*x**2 - 5*x - 24. Let z be n(11). Suppose 283*t + 44 = z*t. Does 4 divide t?
True
Suppose 2*g = -l - 5 + 11, 29 = 5*g - l. Is (g + 12/(-4))*142/4 a multiple of 4?
False
Let w(u) = -10*u**3 - u**2 + 3*u - 5. Let y be w(2). Let l be 1/(-1) + (2 - y). Suppose -3*b = 2*r - l, -4*r + b - 3*b = -168. Is r a multiple of 42?
True
Does 55 divide (-622454)/(-63) - (-10)/(-45)?
False
Suppose -2*d + 4*k = -87690, -4*d = 17*k - 20*k - 175380. Is 92 a factor of d?
False
Let d = 12519 - 4561. Is d a multiple of 23?
True
Suppose 4*m - 3*q = 1 - 6, -m + 13 = 4*q. Let k be (3/4 - m) + 322/8. Suppose -d + 158 = -k. Is d a multiple of 11?
True
Suppose -7*a - 2*a - 3843 = 0. Let d = -272 - a. Suppose -4 = -3*f + d. Is 9 a factor of f?
False
Suppose -54 = 2*m - 5*m. Let i be (-25)/6 + (-935)/1122. Does 10 divide (-6)/(m/(-255)) - i?
True
Suppose 0 = 110*c - 129288 - 15802. Does 9 divide c?
False
Let m(n) = -34*n + 162. Let w be m(19). Let c = w - -577. Does 3 divide c?
True
Let z be 3/(-12) + (-17)/(-4). Suppose j - 459 = -3*l, z*l + 2*j - 766 = -l. Suppose 0*o - l = -4*o + 4*s, -3*o = 2*s - 124. Is 14 a factor of o?
False
Let p(b) = 4*b + 92. Let w be p(-22). Suppose -w*c - 2*a + 3347 = 713, 0 = 3*a + 9. Is 20 a factor of c?
True
Suppose w = 3*c - 1 - 6, 0 = -5*w + c + 7. Let u(g) = -1 - 2*g**3 + 3*g**3 - 5*g**2 - g**w + 2*g**2 + 10*g. Does 27 divide u(6)?
False
Suppose -17687 = -3*x - 5*o + 69151, -5*x = o - 144708. Is x a multiple of 33?
True
Let o = 10932 + 3429. Does 61 divide o?
False
Let t = 9217 - 1784. Does 18 divide t?
False
Let u(r) = 86*r**2 + 728*r - 3. Does 3 divide u(-9)?
True
Let p = -110 + 116. Suppose r = j + p, 4*j + 3 - 9 =