r - 964 = 9*o, -4*o + 1934 = -5*r. Is 61 a factor of o?
False
Let l(r) = 4*r - 8. Let h be -2 - (-2 + -9 + -1). Suppose -o + h = o. Does 6 divide l(o)?
True
Let v(w) = -3*w**3 + 2*w**2 + w. Let y be v(-1). Suppose 307 = y*l - 77. Let k = l + -12. Is k a multiple of 28?
True
Let p be (-14)/35 + 24/10. Let c = -2 + p. Suppose -4*u = 3*l - 2*l - 50, c = 4*l + 4*u - 188. Is l a multiple of 14?
False
Let i(r) = -12*r - 1. Suppose 0*p + 15 = -5*p. Let h be i(p). Suppose -36*k + 28 = -h*k. Is 28 a factor of k?
True
Suppose -4*r + f = r - 251, 4*f = -4*r + 196. Let z = -10 + r. Is 10 a factor of z?
True
Suppose -3*x = -8*x. Let s(w) = 5 - 3*w + 1 + x*w + w. Is 3 a factor of s(-3)?
True
Let g(p) be the third derivative of -p**6/120 - 23*p**5/60 + 7*p**4/8 + 8*p**3 - 11*p**2. Is 10 a factor of g(-24)?
True
Let q = 620 + -448. Is q a multiple of 4?
True
Suppose -300*l = -292*l - 9496. Does 38 divide l?
False
Suppose 3*w = 6*w + 69. Let r(d) = 8*d - 117. Let a be r(20). Let k = a - w. Is k a multiple of 13?
False
Suppose -3*f - n + 2*n + 54 = 0, -5*f - n = -90. Let d = -15 + f. Suppose 20 = -z + d*z - 2*c, 2*z - 15 = c. Is 5 a factor of z?
True
Suppose 254 = -5*a + 1089. Let z = -93 + a. Is z a multiple of 14?
False
Let g(d) = 2*d - 1. Suppose s = 3*r + 5, 4*s - 1 = -5. Let b(m) = 1. Let o(x) = r*b(x) - 2*g(x). Does 27 divide o(-7)?
False
Let j = -120 + 52. Is 27 a factor of -2 - 2*j - -1?
True
Suppose 1186 = 2*y - 4*z, -5*z - 305 + 884 = y. Does 31 divide y?
True
Let w(c) = c**3 + 10*c**2 + 5*c + 2. Let z be w(-8). Suppose -2*r + 64 = 5*v - 3*v, 3*v - z = -5*r. Let n = v - 16. Does 19 divide n?
True
Suppose 16 = 3*o - 4*o - 3*t, 2*t - 24 = 2*o. Is 2 a factor of (-20)/3*o/((-195)/(-18))?
True
Let p = 12 - -45. Let b = p - 27. Is b a multiple of 10?
True
Let l(r) = 4*r**3 - 9*r**2 - 2*r - 8. Suppose 0 = -4*b + b + 12. Is l(b) a multiple of 8?
True
Let b be -10 + (-16)/(-4) + -1 + -2. Is b*(-28)/6*(-5)/(-2) a multiple of 21?
True
Is 21 a factor of (11 + 1313/(-104))*-56?
False
Suppose -i = u, 0*i + 25 = -2*i + 3*u. Let l = 7 + i. Is 17 a factor of 101/l - (-2)/4?
True
Let d = 6 + 20. Suppose -30*p + 528 = -d*p. Does 11 divide p?
True
Suppose -207*l - 18000 = -237*l. Is l a multiple of 50?
True
Let n = -40 + 43. Is 39 a factor of (558/(-12))/(2*n/(-40))?
False
Let b be (-3)/((2 + 2)/(-4)). Is 27 a factor of -6*(-18)/8*(b - -7)?
True
Let a be 3/(1 + 4/(-2)). Let n = -1 - a. Suppose 51 = x + 5*d, -204 = -7*x + 3*x + n*d. Is x a multiple of 17?
True
Suppose -4*o + 29 + 3 = 0. Suppose 4 = -o*j + 140. Does 3 divide j?
False
Let k = 45 - -324. Does 60 divide k?
False
Suppose 0 = 2*s + 3 + 3. Let m(d) = 5*d**2 - 5*d - 3. Let n be m(s). Let y = n + -32. Is 6 a factor of y?
False
Let i(q) = -16*q**3 + 6*q**2 + q - 21. Is 36 a factor of i(-5)?
True
Let u = 47 - 47. Is u/2 - 65/5*-6 a multiple of 13?
True
Let x(q) = -q**2 - 14*q + 1. Let i be x(-14). Suppose 4*j + 3 = w + i, 0 = w - 3*j - 4. Let l(m) = 5*m - 12. Is 19 a factor of l(w)?
True
Let k(w) = -w**3 - 11*w**2 - 9*w + 10. Let i be k(-10). Suppose -2*t + 6 = -i. Suppose 0 = -2*v - 3*b + 35, t*b = 5*v - 58 - 19. Does 7 divide v?
False
Let g be (-2)/((-52)/16 - -3). Does 3 divide 4*9/16*g/3?
True
Let q(u) = 9*u + 6. Let o be q(5). Suppose 5*s - 84 = o. Is s a multiple of 27?
True
Suppose 10 = 2*n, 4*o = -4*n + 123 + 2401. Does 9 divide o?
False
Suppose 0 = -2*b - b, -j = -2*b - 390. Is j a multiple of 10?
True
Suppose 5448 = 5*v + 3*s, 50*v = 49*v + s + 1096. Does 7 divide v?
True
Suppose t + 4*s - 7 = 0, 3*t = t - 3*s + 9. Is 13 a factor of ((-155)/(-10))/(t/36)?
False
Let d(b) = b**2 + 2*b + 25. Let j(t) = t**3 - 3*t**2 + 2*t. Let s be j(2). Let n be d(s). Let k = n - -10. Is 7 a factor of k?
True
Is 12 a factor of (-6032)/64*8/(-2)?
False
Let p(h) = -h**2 + 28*h + 53. Let q be p(23). Suppose -27 = -w - 5*l, -2*l + 4 = -0*w - 3*w. Suppose -44 = w*u - q. Is u a multiple of 26?
False
Let z = 8 + -5. Let h = 6 - z. Suppose -5*g = 3*s - 71 - 20, -h*g + 3*s = -45. Is g a multiple of 13?
False
Let x = -36 - -40. Suppose d = -2*j + x*j + 18, 3*d + j = 33. Is 12 a factor of d?
True
Suppose -3*y - 629 - 3805 = 0. Let v be y/(-8) + (-1)/(-4). Suppose -5*r + v = 5*z, -5*r = 5*z - 2*r - 181. Is z a multiple of 9?
False
Let k(p) = -4*p**3 - 4*p + 3. Let n(b) = 5*b**3 - b**2 + 4*b - 2. Let y(u) = -6*k(u) - 5*n(u). Is y(5) a multiple of 8?
False
Let s(b) = -b**2 - 5*b - 3. Let z be s(-3). Suppose -z*o + 12 = -3. Does 13 divide (-1 + 141/15)*o?
False
Let b be 45/(-60)*(20 - 0). Let w = 13 + b. Is 3 a factor of ((-28)/(-6))/(w/(-3))?
False
Let q = -99 + 185. Suppose -q = -5*g - o - 2*o, 3*g = -3*o + 54. Does 16 divide g?
True
Suppose -2*v = v + 2*d - 5, -5*v - d = -13. Suppose v*o = 2*o - 8. Is -6*(3 - (-76)/o) a multiple of 18?
False
Suppose -s + n = -2*n - 492, 0 = -2*s - 4*n + 1024. Does 24 divide s?
True
Suppose -6*o + 4864 = -2*o - 2*u, u = 0. Does 32 divide o?
True
Let k(s) = 4*s**2 - 33*s + 3. Does 45 divide k(24)?
False
Let v be 248/(-32) - (-6)/8. Let i(w) = -w**3 - 2*w**2 - 6*w. Does 41 divide i(v)?
True
Let j = 68 + -114. Does 6 divide 12/(-42) + j*4/(-7)?
False
Let s(h) = -h**3 + h**2 - h - 112. Let b be s(0). Let g = 185 + b. Suppose 5*n + g = 2*x + 2*x, -68 = -4*x + 4*n. Is 10 a factor of x?
False
Suppose 4*g + 27 = p, 3*p - 3*g = 4*p + 8. Let r(f) = 17 - 2*f - p + 0*f. Is r(-8) a multiple of 13?
True
Suppose 0 = -2*w - 3*w - 4*x + 946, 0 = x - 4. Suppose 2*f - 532 = -w. Is f a multiple of 15?
False
Let b(r) = -r**3 + r + 2. Let g(w) = 2*w**3 - 2*w - 4. Let h(c) = 7*b(c) + 4*g(c). Is h(4) a multiple of 12?
False
Suppose -26*x = -28*x + 4. Suppose x*m + 8 = 0, 3*y + 10 - 336 = 5*m. Is 17 a factor of y?
True
Suppose 5*o + z - 12695 = 0, -6*z + 5*z - 7609 = -3*o. Does 101 divide o?
False
Let i(r) = r**2 + 15*r - 5. Let o be i(-18). Is 36 a factor of -2*2*(4 - o - 5)?
False
Let z(q) = -q**3 - q**2 + 23*q + 1902. Is 71 a factor of z(0)?
False
Suppose -3*b + c = -1787, 9*b + 5*c = 8*b + 601. Is b a multiple of 13?
False
Suppose -5*o + 7*l - 6*l + 553 = 0, 5*o - 5*l - 565 = 0. Let r = 245 - o. Is r a multiple of 31?
False
Let j(m) = 2*m - 6. Let w be j(5). Suppose -a - 5 = -u, -2*a - 8 = -w*u - 4*a. Is 12 - (u + -4 - 0) a multiple of 2?
False
Let o(q) = -q**3 - 17*q**2 - 18*q - 33. Let b be o(-16). Is 4 a factor of 112/(-12)*(b - 2)?
True
Suppose -3*h + 5*b + 6453 = 2260, 0 = h + 5*b - 1411. Is h a multiple of 4?
False
Suppose -2*t - 2*f + 3316 = 2*t, -t - 2*f + 832 = 0. Does 36 divide t?
True
Let z(j) = -28*j - 154. Does 13 divide z(-48)?
False
Let h = -6 - -2. Let i be 18/(-9)*(-22)/h. Let z = 18 + i. Is 2 a factor of z?
False
Is 112/14 + 26*2 a multiple of 15?
True
Suppose -5*x - c - 553 = -x, 0 = 2*x + 2*c + 272. Let o = x - -379. Is 48 a factor of o?
True
Let n(b) = 4 + 2*b + 0 - 3 + 33*b**2. Let d = -1432 + 1433. Is n(d) a multiple of 13?
False
Let i = -917 + 2243. Is i a multiple of 51?
True
Let q = 897 - 516. Is q*4/33 - 4/22 a multiple of 6?
False
Suppose 5*a + 3*u + 865 = 0, -2*a - 2*u = -5*a - 519. Let q = -89 - a. Does 13 divide q?
False
Suppose 0*h = 6*h - 264. Is 2 a factor of h?
True
Suppose 31*t - 3600 = 36*t. Let x = -468 - t. Does 12 divide x?
True
Suppose -y - 56 = -2*o, o = y + 3*y + 35. Is (-6)/o - 80/(-36) even?
True
Suppose -20*i = -7*i - 52. Let r be (62/4)/((-3)/6). Is 0 - 0/i - r a multiple of 17?
False
Suppose -12 = -o + y, y + 1 + 1 = 0. Suppose -308 = 3*p - o*p. Does 8 divide p?
False
Suppose -7 = h - 4. Is 2/h - 1950/(-9) a multiple of 12?
True
Let d(i) = i**3 - 25*i**2 - 43*i - 13. Is d(28) a multiple of 10?
False
Suppose 24 - 19 = i. Suppose -49 = -i*s + w - 8, -34 = -2*s - 4*w. Is 9 a factor of s?
True
Let l = -3133 - -5248. Is 47 a factor of l?
True
Suppose 18 = -15*v + 12*v. Let x = 23 + v. Does 17 divide x?
True
Is (-4)/14 - ((-31392)/56)/2 a multiple of 70?
True
Suppose 3889 = 4*i + 3*h, -3*h + 2*h - 4866 = -5*i. Is 12 a factor of i?
False
Suppose -f + 114 = -7*f. Let j = 92 + f. Suppose -3*y - 3*r - 9 = -4*y, 5*y - j = r. Is 5 a factor of y?
True
Let v(a) = 2*a**3 + a. Let t be 15/(-45)*6/(-2). Let q be v(t). Suppose 27 - q = 3*g. Does 4 divide g?
True
Let f = 889 - 449. Is 11 a factor of f?
True
Let m(x) = -2*x**3 - 6*x**2 + 2*x - 5. Suppose f = 4*a + 24, f + f = -4*a - 12. Let u