e u(1). Suppose 7*l - b = 5*l - o, -4*l + 916 = -5*o. Is 39 a factor of l?
True
Suppose 0*f - 75 = -5*d + f, 44 = 4*d - 4*f. Suppose 4*w - 36 = -24*x + 22*x, 0 = x + 4. Suppose 9*v + d = w*v. Is 7 a factor of v?
False
Suppose 0 = -r + 2*s - 107, 32*r - 30*r + 202 = -2*s. Let j = r + 252. Does 105 divide j?
False
Suppose 13*m - 2210 = 429. Suppose u - m - 224 = 0. Suppose 3*c - u = -70. Is 17 a factor of c?
True
Let g(b) = -3*b + 94. Let c be g(28). Is 15 a factor of (-2)/c + 3164/70?
True
Let h(d) = -16 + 1 - 154*d + d**2 + 146*d. Let x be h(9). Does 27 divide (x/5)/(-6) + (-588)/(-10)?
False
Let y(g) = -291*g - 230. Is y(-23) a multiple of 44?
False
Let k = 9 - 5. Suppose -5*y = 1284 - 1874. Suppose -m + 92 = -z - y, 0 = 3*m - k*z - 635. Is m a multiple of 31?
False
Let n be ((-120)/180)/(2/(-12)). Suppose -5*p + 963 = n*v, 11*p - 14*p = -5*v - 600. Is p a multiple of 13?
True
Let f(i) = 394*i - 62. Does 28 divide f(3)?
True
Suppose -49 = -16*l + 31. Suppose 0 = -k - 2 - 0. Is 22 a factor of (l + (-126)/4)*(k + 0)?
False
Let p(f) = -f**2 + 5*f. Let r be p(4). Let v(j) = 3*j**2 - 8*j + 17. Let u be v(r). Suppose -u*t + 110 = -28*t. Is 22 a factor of t?
True
Suppose 4*o - 4474 = 2*q, -13*o + q = -9*o - 4475. Is o a multiple of 5?
False
Let g = 49046 + -31376. Is 19 a factor of g?
True
Let w(a) = a**2 - 3*a + 15. Let y(z) = -z**2 + 4*z - 14. Let r(m) = -3*w(m) - 2*y(m). Let p be r(10). Let o = p + 164. Is 16 a factor of o?
False
Suppose -4*m - 2*t + 101990 = 0, -5*t + 25520 = 8*m - 7*m. Is m a multiple of 11?
False
Suppose 0 = 10*s - 315 - 2485. Let l = s + -99. Is l a multiple of 45?
False
Let t = -23 + -28. Let b = -20 - t. Suppose 4*g = -b + 187. Is g a multiple of 3?
True
Suppose 0 = 4*o + 4*o. Let m be (o + 1)/(-7 - 82/(-12)). Is 15 a factor of 2*(-3)/m + 3 + 251?
True
Let z(q) = -121*q + 2. Let p be z(-2). Let r = 173 + -22. Let i = p - r. Is i a multiple of 8?
False
Let g(n) = -2*n**3 + 2*n**2 - 18*n + 44. Let j(m) = 3*m**3 - 3*m**2 + 28*m - 66. Let p(z) = -7*g(z) - 5*j(z). Is p(-7) a multiple of 64?
True
Let c be 17*((0 - 2) + 3). Let u = -16 + c. Is 3 a factor of -5 + u - 117/(-13)?
False
Suppose -21*p - 3*p = -48. Is 30 a factor of (p + 9/(-3))/1 - -541?
True
Let b = 6678 + -4905. Does 6 divide b?
False
Suppose 12*l - 46566 = 81162. Is l a multiple of 135?
False
Suppose -5*g = 4*n - 83764, -102*n - 33466 = -2*g - 97*n. Does 16 divide g?
False
Suppose 0 = 25*l - 65 - 85. Does 28 divide (-3*1 - 2) + (148 - l)?
False
Let d(j) = -j**2 - 17*j - 20. Let a be d(-16). Let g = a - -6. Does 14 divide -1 - (-105)/10*g?
False
Suppose -j + 4 = v - 0*v, 2 = 2*v. Suppose -716 = -j*r - f, -r - 23*f + 232 = -24*f. Is r a multiple of 24?
False
Suppose 3*t - 47108 = -4*q + 57234, 4*q + 173914 = 5*t. Is 62 a factor of t?
True
Suppose -5*y - 8*h + 1754 + 570 = 0, 2*y + 5*h = 926. Does 19 divide y?
False
Suppose -3*f = -2*c + 34, 3*c - 55 = -0*f + 5*f. Let w be (-3*2/7)/(f/448). Suppose 3*a - 2*z = 52, -6*z - w = -2*a - 2*z. Is a a multiple of 5?
False
Suppose b = -33433 + 34421. Is b even?
True
Let p(r) = r**3 + 6*r**2 - 3*r - 14. Let n be ((-3)/(-6))/((-7)/84). Let y be p(n). Suppose -x - y*x = -300. Does 20 divide x?
True
Suppose 17*a + 16*a - 92500 = -4*a. Is 50 a factor of a?
True
Suppose -1195 = 5*f + 5*z, 10*z - 947 = 4*f + 5*z. Let o = -173 - f. Is o a multiple of 13?
True
Suppose j - 1 - 1 = 0. Suppose j*w + 275 = -4*g + 1771, 5*w + 5*g - 3745 = 0. Suppose -2*k + w = 3*k. Is 15 a factor of k?
True
Let u(y) = -y**3 + 9*y**2 + 3*y - 5. Let a be u(9). Let w(t) = -31*t**2 + a*t**2 - t**3 + 15*t**2 - 2 + 2*t. Is 7 a factor of w(5)?
False
Let k(c) = -11*c - 57. Let m(z) = 44*z + 227. Let f(o) = 9*k(o) + 2*m(o). Let u be f(-6). Is 14 a factor of 47 + (6 - u) + -2 + -1?
False
Let i(y) = -419*y + 29. Let j be i(-2). Suppose -2*s - 9 = -j. Does 18 divide s?
False
Suppose -5*t = 71 - 146. Is 8 a factor of (8 + -13)*(0 + (-168)/t)?
True
Let t(b) = 14*b**2 - 161*b - 29. Does 9 divide t(25)?
False
Suppose -31008*c + 31018*c - 81000 = 0. Is 25 a factor of c?
True
Suppose -68*g + 213*g - 145435 = 0. Is g a multiple of 24?
False
Let d(z) be the third derivative of 4*z**5/15 - z**4/8 + z**3/3 - 13*z**2. Let y be (-2)/(-2 + 2 - 2). Is 3 a factor of d(y)?
True
Let w = 110 - 105. Does 16 divide (w + 56)*1/1?
False
Let v(f) = -457*f - 945. Does 113 divide v(-76)?
True
Let t be 2*(-3)/2 + -81. Let z = -82 - t. Does 2 divide ((-264)/55)/(z/(-5))?
True
Let d = 182 - 140. Is 4 a factor of (-3)/((-18)/412) + (-28)/d?
True
Let f(x) = -7*x + 8*x - 2*x - 18. Let y be f(21). Let a = -32 - y. Is 6 a factor of a?
False
Suppose -2416 = 59*q - 75517. Does 21 divide q?
True
Suppose -4*a = -4*n + 12, 2*n + 3*a = -a. Suppose 5*j + r = 1177, n*j + 2*j - 5*r - 930 = 0. Is j a multiple of 14?
False
Let q be (-41)/(-82) - (-3)/4*6. Suppose -x + 660 = -f, -x + 689 = q*f + 35. Does 25 divide x?
False
Let x = 2277 - 2275. Let d = -3563 - -5131. Suppose 0 = -x*k - 12*k + d. Is 7 a factor of k?
True
Suppose -3*g + 2*l + 114 + 24 = 0, -g + 46 = 4*l. Let b be (-328180)/(-2562) + -1*2/21. Suppose 5*a + 0*v = v + b, 0 = -2*a + 3*v + g. Does 16 divide a?
False
Let s(n) = n**3 - 13*n**2 + 3*n - 25. Let k be s(13). Suppose -k*r + 496 = -12*r. Is 33 a factor of r?
False
Suppose 12 + 9 = 7*n. Let r(p) = 16*p**2 - 25*p + 67. Is r(n) a multiple of 34?
True
Let b be 563/6 - 16/(-96). Let l = b + -81. Suppose -4*r + l = -227. Is r a multiple of 10?
True
Suppose 3*r = -118 - 332. Let a be 20/r - 57/90*-16. Let y = 85 + a. Does 21 divide y?
False
Suppose 0 = -3*v - 4*w + 733, 0 = 7*v - 6*v + w - 244. Let l = v - 173. Is l a multiple of 3?
False
Suppose -8 + 0 = p. Let y(u) = 17*u + 813. Let k(r) = -69*r - 3417. Let f(m) = -5*k(m) - 21*y(m). Does 9 divide f(p)?
True
Suppose -1656 = 91*n + 34*n - 24906. Does 61 divide n?
False
Let t = -38 - -38. Let s(q) = -2 + 19*q**2 + 5 - 17*q**2 - 5*q + t*q**3 + 4*q**3. Is 38 a factor of s(3)?
True
Suppose -2*i = 3*c - 11556, 11580 = -65*i + 67*i - 3*c. Does 216 divide i?
False
Let d = -71 + -15. Is 6 + 1 + 0 - d/43 a multiple of 3?
True
Suppose 206138 - 20950 = 134*y. Does 3 divide y?
False
Let r(h) = 5*h**2 - 20*h + 23. Let o be r(6). Let i = 248 - o. Does 15 divide i?
True
Suppose -5*h - 1236 - 824 = 0. Let s = h - -748. Is 54 a factor of s?
False
Let q = -102 + 106. Suppose 4*z = -20, -4*z + 2*z - 1266 = -q*h. Suppose 2*g - 61 = -y - g, -4*y + h = -2*g. Is y a multiple of 7?
False
Let g = 120 - -891. Does 33 divide g?
False
Let y(q) = 10*q**2 + 24*q + 41. Is 9 a factor of y(-10)?
True
Let b(d) = d**3 + 30*d**2 + 7*d - 552. Does 5 divide b(-24)?
False
Let r(p) = p**3 + p**2 - 12*p + 4. Let g be r(-4). Suppose 712 = -5*c + 1897. Let j = c + g. Is 14 a factor of j?
False
Let f = 7054 + -2846. Does 34 divide f?
False
Let k = 6046 + 9992. Is k a multiple of 243?
True
Let w be (172/(-43))/((-4)/13). Suppose 0 = 9*x + w*x - 1826. Does 9 divide x?
False
Suppose 2*i - 443 = 4*w + 837, 0 = -2*i - 2*w + 1286. Let y = i + 222. Suppose h = -8*h + y. Is 32 a factor of h?
True
Suppose -48*t + 50*t = 1162. Let w = 143 + t. Does 49 divide w?
False
Let j(f) = 268*f - 979. Is 5 a factor of j(8)?
True
Let o be (-2 + -1 + 3)/(-3). Suppose -25*f + 15*f + 2530 = o. Does 51 divide f?
False
Suppose -17*h = -22*h - 3370. Let x be 0/6 - (h + -1). Is 7 a factor of 3/2 + -2 - x/(-6)?
True
Suppose 4*x = 7*x - 141. Let w = x + -47. Let q = w + 13. Does 4 divide q?
False
Let h be 1164/4*1/3. Suppose -2*a = j - 3, 28*j + 6 = 30*j + 2*a. Suppose -4*m - j*o = -125, -2*o + 3*o + h = 3*m. Does 6 divide m?
False
Suppose 30*f - 12906 = 72084. Does 45 divide f?
False
Let h = -3 + 18. Let i be 6/h + 148/(-20) + -1. Let g(r) = -r**3 - 4*r**2 + 4*r + 19. Is 54 a factor of g(i)?
False
Suppose 12 = -1723*q + 1727*q. Suppose 8 = -q*h + 7*h, -3*d - 4*h = -1952. Is d a multiple of 11?
False
Suppose 0 = -3*m - 13983 + 70974. Is m a multiple of 157?
True
Suppose 9 = -j + 4*j, -3*j + 225 = -4*n. Is 27 a factor of (0/2 - 243)/(81/n)?
True
Let a(m) = 92*m**2 + 18*m + 35. Is a(-4) a multiple of 8?
False
Let w = 213 + -211. Suppose 6*z - z - 4*t = 1160, 3*z - w*t = 694. Does 12 divide z?
True
Suppose -5*y = j + 22, 3*j = -3*y + j - 16. Let g be 2/y*(8 + -8). Suppose -4*x + 9*x - 470 = g. Is x a multiple of 23?
False
Le