 5. Suppose 6*w + 4*g = 3*w + b, 4*w + g - 57 = 0. Suppose w*i + 179 = 1154. Is i a multiple of 28?
False
Does 32 divide 68490/(1 - -2) + -4 + (6 - -2)?
False
Let p(r) = -125*r**2 - 36*r + 288. Let s be p(12). Is 48 a factor of (0 - 2)/(63/s)?
True
Is 26 a factor of (-6)/(-5) + 4483224/180?
True
Let y be 1 + 0 - 102/(-1). Let d be 765/(-18) + ((-30)/(-24) - (-3)/(-4)). Let i = y + d. Does 5 divide i?
False
Let y = -176 - -182. Does 13 divide (4048/(-48))/((-2)/y)?
False
Let s be 10/((-150)/9)*5. Is 8 a factor of 1/s*(-10104)/8?
False
Let g(l) = -2*l + 201. Suppose -5*v - 3*x - 3 = 0, 6*v - 3*v = x + 1. Is 4 a factor of g(v)?
False
Suppose 5*z + 8896 = o, 5*z = -38 + 63. Is 12 a factor of o?
False
Let v = -103 - -106. Suppose 5*k = -l + 111, -7*k + 127 = -2*k - v*l. Does 7 divide k?
False
Let i be 11007/8 + (-3 - (-50)/16). Does 10 divide i/12 + 3 + 16/(-6)?
False
Is 23 a factor of (736/24)/(40/6810)?
True
Let n(q) = -18*q - 16. Let b(v) = v**2 + 3*v - 13. Let j be b(-5). Let w(u) = u**2 + 3*u - 4. Let p be w(j). Is 28 a factor of n(p)?
True
Let t be (2*(-378)/(-12))/1. Is ((-2544)/(-14))/(18/t) a multiple of 53?
True
Suppose -30*g = 6005 - 20915. Let j = -57 + g. Is 22 a factor of j?
True
Suppose 3*x - 30 = -12*x. Suppose 260 = 4*p - 2*c, 0*c + x = -c. Suppose 3*y = 2*b + 3*b + p, -20 = -y + b. Is 9 a factor of y?
True
Let z be 6/5*1325/106. Does 18 divide -690*(18 + -27)/(z/2)?
True
Let x(l) = -l**3 - 9*l**2 - 14*l. Let i = 11 - 22. Does 44 divide x(i)?
True
Let d = -576 - -581. Suppose 3*s - 5*s - 2387 = -3*m, -d*s - 1573 = -2*m. Is 9 a factor of m?
False
Suppose -h = 5*v + 19, -4*h = -h - v + 25. Does 7 divide 238/(-4)*(h - -5)?
True
Let p be (13 + -5 - 12) + 12. Is 75 a factor of p/6*(-3930)/(-4)?
False
Suppose -p = 4*p. Suppose 14 = 2*k + 2*c - 24, -2*k - 4*c + 34 = p. Suppose -k = -4*f + 119. Is f a multiple of 7?
True
Suppose 3*m - 12953 = -3*w + 4387, -w + 5776 = 2*m. Is 52 a factor of w?
False
Let o(v) = -2*v**2 - 69*v - 30. Let w be o(-34). Suppose -2*f + 1032 = 3*c, w*f + 403 = -3*c + 2467. Is 86 a factor of f?
True
Suppose -3*z - 32644 = -5*y, -z + 8641 = 2*y - 4410. Is 9 a factor of y?
False
Let n(r) = -r**2 + 137*r - 621. Is 33 a factor of n(83)?
True
Is (15/(-7) + (-2)/(-14))/(24/(-212076)) a multiple of 178?
False
Is (-2)/5 - -10*59854/100 a multiple of 34?
False
Suppose 71*z - 46661 - 34847 = 0. Does 41 divide z?
True
Let c(j) = j**2 - j. Let q(h) = 2*h**2 - 20*h + 40. Let x(l) = 3*c(l) - q(l). Let b be x(-22). Suppose -3*s + 32 = -b. Is s a multiple of 17?
True
Let r be (680/(-30))/((-2)/(-6)). Let o = r + 204. Is 21 a factor of o?
False
Suppose 2361814 = -270*l + 6963424. Is l a multiple of 13?
True
Let h be (78/(-8))/(6/(-24)). Suppose 12*b = h + 21. Suppose 3*i = 5*o - 92 + 20, -o = b*i - 20. Does 2 divide o?
False
Let n = -69444 + 108548. Suppose -18*c = 14*c - n. Is c a multiple of 26?
True
Let f be (-9)/((-126)/(-88))*(-119)/(-34). Suppose 22 = 2*m - m. Let d = m - f. Is 18 a factor of d?
False
Does 5 divide (490/(-40))/(5/(-600))?
True
Let n(j) = -j**3 + 8*j**2 + 8*j + 3. Let h be ((-126)/12)/((-2)/8). Suppose -h*m + 25 = -37*m. Is 9 a factor of n(m)?
False
Suppose 4*f - 213 = -5*k, 4*k - 49 = -5*f + 206. Let d = f + 6. Suppose -b = -0*a - a - d, -4*b = -3*a - 210. Is 26 a factor of b?
False
Let l(j) = -3*j - 3*j - 6*j - 18 + 18*j + 3*j**2. Is l(2) a multiple of 2?
True
Let j(u) = -u**2 - 7*u + 23. Let i be j(-10). Does 15 divide 10 + -5 - -183 - i?
True
Let t(o) = -3*o**2 + 19*o - 22. Let a be t(3). Suppose a*z - 2347 - 1397 = 0. Is 12 a factor of z?
True
Let a be -4 - -1 - (64/(-2))/2. Suppose 17*z - 2224 = a*z. Let m = z - 392. Does 36 divide m?
False
Suppose -2*t = -6, 213*a - 209*a + 5*t - 76555 = 0. Is a a multiple of 89?
True
Let f(h) = 12*h**2 - 131*h - 88. Is 34 a factor of f(-28)?
True
Let z be -10 - -14 - 1*3 - 45. Let x = z - -270. Does 6 divide x?
False
Let g = -529 - -1052. Suppose -5*b + 1603 = 5*c - 1052, -b = -c - g. Does 26 divide b?
False
Let x = -49 - -52. Suppose -b - b - i + 46 = 0, -b + 30 = -x*i. Is (234/b)/((-6)/(-64)) a multiple of 21?
False
Suppose -94*b + 22658 = 13603 - 71597. Does 11 divide b?
True
Let k(f) = 3*f**2 - 25*f + 32. Let t be k(7). Suppose -3*s + 294 = 4*x - 1769, 3*x - 2760 = -t*s. Is s a multiple of 11?
True
Let l(x) = 2*x**3 - 5*x**2 - 9*x + 13. Let v be l(-3). Let f = v - -206. Is 21 a factor of f?
True
Let f(k) = 2*k**2 - 278 - 272 - 2*k**3 + 2*k + 554 + 4*k. Let c be f(3). Is 20 a factor of (c + 2)*(-17 + 2)?
True
Let o = -35 - -35. Suppose 36 = -6*a - o*a. Let y(w) = -w**2 - 7*w + 9. Is 14 a factor of y(a)?
False
Suppose 5*g - 14462 = -4*f, -16*f + 12*f - 4*g + 14464 = 0. Is f a multiple of 54?
True
Suppose 8 = 2*p + 5*h, -35*p - 4*h = -40*p + 20. Suppose -264 = -j + p*o, 6*j = 2*j + 2*o + 986. Does 4 divide j?
True
Suppose r = 1, -6*r + 5*r = 4*d + 1015. Let k = d + 425. Is k a multiple of 12?
False
Suppose -5*v + 9010 = -4*n, -5*v - 126*n + 124*n = -8980. Does 34 divide v?
False
Let l(v) be the second derivative of -v**5/10 - 17*v**4/24 + v**3/6 - 19*v. Let m(j) be the second derivative of l(j). Does 6 divide m(-5)?
False
Let c(v) be the first derivative of -1/2*v**2 + 11 + 5/3*v**3 + 0*v. Does 14 divide c(3)?
True
Suppose r - t = -126, -4*t + 8*t + 621 = -5*r. Is 16 a factor of 40*(-5)/(r/290)?
True
Suppose 12*g = 5408 + 1936. Is g a multiple of 68?
True
Let i = 33884 - 16325. Is i a multiple of 3?
True
Suppose 3*c = -3*b - 0*c + 1530, -1514 = -3*b + 5*c. Let z = -208 + b. Is 60 a factor of z?
True
Suppose 5*v + 4*f = 64425, 0 = 125*v - 126*v + 5*f + 12914. Does 32 divide v?
False
Let a(l) = 1743*l**2 - 121*l - 484. Is a(-4) a multiple of 112?
True
Let y = -76 - -141. Let t = 133 - y. Suppose 7*f = 100 + t. Does 24 divide f?
True
Let u be (1 - (1 + -1))*45/(-5). Let p(h) = 3*h**2 + 10*h. Is p(u) a multiple of 17?
True
Let n(k) = k**2 - 3*k - 10. Let x be n(6). Let f be ((-12)/x)/(-1)*12/9. Suppose -3*a = -v + 2*v - 46, -2*a + 80 = f*v. Is v a multiple of 12?
False
Let y = -38735 - -75124. Is 152 a factor of y?
False
Let f = -60219 + 85279. Is 20 a factor of f?
True
Let w = -314 + -49. Let h = -225 - w. Is 23 a factor of h?
True
Suppose 2*i - 2*n - 3280 = 0, 244*n + 10 = 242*n. Is i a multiple of 15?
True
Suppose -3*u = -j + 43946 - 15381, j = -4*u + 28544. Is j a multiple of 11?
True
Suppose -6*u = -2 - 22. Suppose -u*x + 35 = 4*t - 1, -5*t = -2*x + 11. Suppose -320 = -3*y - x. Is y a multiple of 13?
True
Let b(p) = -6*p - 7. Let w be b(-1). Does 3 divide w/(-2) - 42/(-12) - -8?
True
Let w be 195/75 - 3/5. Suppose -w*d + 3*n + 107 = 0, 2*n = d + d - 108. Let z = d - 31. Does 12 divide z?
True
Let t(h) = 221*h**2 + 63*h + 20. Is t(-4) a multiple of 56?
True
Is 62 a factor of (1140/18)/(((-3)/558)/(2/(-4)))?
True
Let q(t) = 12*t**3 - 134*t**2 + 6*t + 6. Is 66 a factor of q(12)?
True
Let r(a) = -a**3 + 8*a**2 - 7*a - 27. Let l be r(6). Suppose -o + 73 = l*h - 38, 4*h - 106 = -o. Is 18 a factor of o?
True
Let l = 44678 - 26205. Is l a multiple of 49?
True
Suppose 0 = -173*u + 174*u - 365. Let i = 724 - u. Is i a multiple of 75?
False
Let s(j) = 6*j**2 - 42*j - 894. Does 14 divide s(46)?
True
Let j(o) = -23*o**2 - 7*o - 72. Let f be j(-9). Does 32 divide (f/(-364))/(6/224)?
True
Let g(c) = 14*c - 38. Let s be g(3). Is 4 a factor of (s - 1)/((-1)/(-19))?
False
Let o(u) = 125*u - 5. Let z = 94 - 92. Does 35 divide o(z)?
True
Is 24 a factor of ((-14850)/72)/((-5)/(-20) - 10/32)?
False
Suppose 0 = -42*q + 10*q + 88544. Is q a multiple of 63?
False
Suppose -1638 = -c - 4*l, -294*l = 2*c - 291*l - 3291. Is 56 a factor of c?
False
Is 19 a factor of 163/(-2 - (-35)/15)?
False
Suppose -3*c - 19239 = -3*k - 7*c, 3*k - 19242 = -5*c. Is 13 a factor of k?
True
Let x(y) = 54*y**2 - 161*y - 11. Is x(9) a multiple of 43?
False
Let n(f) = -12*f**3 + f**2 - 2*f + 4. Let j(m) = 10*m**3 - m**2 + m - 4. Let i(l) = -3*j(l) - 2*n(l). Does 5 divide i(-2)?
False
Suppose 0 = 3*q - 147*m + 150*m - 612, -1004 = -5*q - m. Suppose 5*t = 2*t + 12, -2*t = 4*n - 1320. Let o = n - q. Does 39 divide o?
False
Suppose -2*c = -2, -3*c = 4*z - 72 - 11. Suppose -z*v + 4408 = -v. Does 58 divide v?
True
Let d = 70 + -66. Suppose -4*h + 0 = -5*a + d, 4*a - 20 = -h. Suppose 258 = h*i + 2*f, 5*f + 18 + 30 = i. D