 2*l - l + 396. Let i = 35 + t. Suppose 7*r - 2*r = -4*d + i, -r = -d - 31. Is 8 a factor of r?
True
Suppose -4*b + 2*s = 102, -3*b = -s + 44 + 32. Let q be ((-16)/5)/(10/b). Let u(f) = 8*f - 1. Is 21 a factor of u(q)?
True
Let k = 11 - 11. Suppose k = 11*f - 9*f - 54. Is 3 a factor of f?
True
Suppose -a - 3*q = -85 - 73, -2*a = -3*q - 343. Let l = a + -99. Is 7 a factor of l?
False
Suppose -495 = 4*c - 9*c. Let m = 71 + -113. Let a = c + m. Is 15 a factor of a?
False
Suppose 2581 + 5188 = 17*i. Is 24 a factor of i?
False
Let i(a) be the first derivative of -13/3*a**3 - 12*a - 2*a**2 - 2 - 1/4*a**4. Is i(-13) a multiple of 17?
False
Let q = -30 + 23. Let x(j) = 3*j + 22. Let h be x(q). Let m = h + 39. Is m a multiple of 14?
False
Let z be 5/(2 + (1 - 4)). Let y = 10 + z. Suppose -m = -y*m + 288. Does 12 divide m?
True
Let t(d) be the second derivative of 13*d**3 + d**2 + 16*d. Does 11 divide t(1)?
False
Let k(c) = -325*c**3 + 16*c**2 + 324*c**3 - 20 - 2*c**2 + 3*c. Suppose -2*j + 20 = y - 9, 3*j + y - 43 = 0. Is 20 a factor of k(j)?
False
Let j(h) = 3 - h**3 + 0*h**2 + h**2 + 20 + 8. Does 29 divide j(0)?
False
Suppose 2*z + 678 = 2*b, 5*b + 5*z - 936 = 789. Is 38 a factor of b?
True
Suppose -2*k = f + 3*f - 30, -3*f + 25 = 2*k. Let w(v) = -13 + 6*v + 2 + 0*v + 0. Is 16 a factor of w(f)?
False
Let q(i) = 3*i - 12. Let x be q(5). Suppose w + 0*w = -4*u + 416, -x*u + w = -312. Does 8 divide u?
True
Does 32 divide (265/(-6))/1*-6?
False
Suppose -10 = -5*c - 0. Let i(l) = l**2 - l**2 + 12 + 2*l**2 - 3*l**c. Is 3 a factor of i(0)?
True
Suppose 2*l = -4*x + 54, 4*x + l = -16 + 71. Let z = x - -30. Does 9 divide z?
False
Suppose 0 = -3*l - 0*y - y + 1880, -4*l + 2512 = -4*y. Suppose -8*o + 1883 = l. Is 32 a factor of o?
False
Suppose 777 = 5*d + 2*q - 869, -2 = q. Suppose -12*j + 510 = -d. Is j a multiple of 10?
True
Suppose 0 = g + 31*g - 1888. Is 5 a factor of g?
False
Let b(n) = 9*n - 12. Let i be b(4). Does 2 divide ((-1)/(-2))/(4/i)?
False
Let d(y) = -y**3 + 9*y**2 - 6*y - 6. Let f = -30 - -22. Let m be f*(1 + (-6)/3). Does 2 divide d(m)?
True
Let v = -449 + 884. Suppose 5*x - 2*n = 572 + 538, -n + v = 2*x. Is 44 a factor of x?
True
Is 31 a factor of (2 + -1955)/((513/36)/(-19))?
True
Let l be 96/(-9) + (-1)/3. Let i = l - -13. Suppose 6*w - 2*s = 3*w + 55, 55 = i*w - 5*s. Is 4 a factor of w?
False
Let a(c) = 59*c - 119. Is a(13) a multiple of 12?
True
Suppose -199*a + 203*a = 3792. Is a a multiple of 12?
True
Suppose 37*y - 92270 = 5521. Is y a multiple of 16?
False
Let n(c) be the third derivative of c**7/420 - c**6/72 + c**5/40 - c**4/24 + c**3/6 + 2*c**2. Let x(b) be the first derivative of n(b). Does 13 divide x(3)?
False
Let o = -3647 + 6221. Does 8 divide (-4)/(-18) - o/(-81)?
True
Suppose 0 = 4*b - m - 15, m - 8 = -5*b + 4. Suppose -2*d = 3*f - 47 - 262, d - b*f - 141 = 0. Suppose -2*v + d = 40. Is 19 a factor of v?
False
Let s = 28 - 24. Suppose j - 7*i + 3*i = 63, 2*j + s*i - 90 = 0. Does 9 divide j?
False
Suppose 62*o = 60*o + 26. Let v = o + 66. Is 18 a factor of v?
False
Let b(x) = 2*x**2 + 3*x + 1. Let c be b(-2). Suppose -c*j + 0 = -72. Does 12 divide j?
True
Does 77 divide (-69)/((((-12)/(-28))/(-3))/1)?
False
Let c be (195/6)/(-5)*-6. Let d = 72 + c. Is d a multiple of 22?
False
Let o(g) = 37*g**2 - 3*g - 4. Let w = 3 - 5. Is o(w) a multiple of 12?
False
Is 11 a factor of 5/40 + (-20060)/(-32)?
True
Let l = 33 - 43. Is 13 a factor of ((-30)/(-25))/6 - 1168/l?
True
Let z = -128 - -131. Is (-3)/7 - (471/(-7))/z a multiple of 5?
False
Suppose -12996 - 3228 = -13*v. Is 32 a factor of v?
True
Let a(b) be the third derivative of -5/12*b**4 + 0*b + 0 + 1/30*b**5 + 7/6*b**3 - 7*b**2. Is a(5) even?
False
Suppose 10*h - 8*h = 26. Does 2 divide 13 - h - (-10)/2?
False
Let w = 394 - -128. Suppose w = -7*m + 9*m. Is 49 a factor of m?
False
Let w = 85 - 80. Suppose 7*d - 3*d - 290 = w*n, -3*d + 204 = 3*n. Does 26 divide d?
False
Let z(p) = -53*p - 4. Let q be z(-3). Suppose 2*s - 277 = -2*x - 17, s - 4*x = q. Suppose -3*d + s = 3*k, 183 = 3*k + k + 3*d. Is 8 a factor of k?
True
Suppose 490 = 3*z + 2*z. Let m be (z/(-35))/(4/(-10)). Is (m/3)/((-7)/(-105)) a multiple of 20?
False
Is 9 a factor of ((-18)/12)/((-5)/120)?
True
Let y be (1 - (-5)/(-15))*3. Suppose -5*j = 2*p - 2*j - 27, -p + y*j + 31 = 0. Is p a multiple of 3?
True
Suppose 0 = -5*k + 2*d + 1111 + 1626, -5*k = 3*d - 2757. Does 25 divide k?
False
Suppose -d + 5*d - 1319 = u, -5*u - 1630 = -5*d. Is d a multiple of 36?
False
Suppose -h - 1 = -5. Suppose -h - 26 = -o. Does 16 divide o?
False
Suppose -3*t = -11 - 1. Suppose -2*o + 8 = -2*n, t*n + 5*o - 2*o = -9. Does 19 divide (-6)/(6/n) - -32?
False
Let j = -577 - -653. Does 6 divide j?
False
Suppose 333*k = 368*k - 30240. Is 45 a factor of k?
False
Let x(w) = -31*w - 128. Is x(-11) a multiple of 15?
False
Let c(n) be the third derivative of -3*n**4/4 - 8*n**3/3 - 10*n**2. Let j be c(-7). Suppose 4*a + 4*y - 88 = 0, 9*a + 2*y - j = 4*a. Is 11 a factor of a?
True
Is 11 a factor of (-49)/(6*(-6)/1116)?
False
Let v(z) = 8*z - 5. Let j be v(2). Let o(d) = -d**3 + 10*d**2 + 10*d + 13. Let m be o(j). Suppose -10 = m*r - 20. Does 5 divide r?
True
Let x(u) = -u**2 + 29*u - 98. Is 25 a factor of x(19)?
False
Let z(h) = -9*h + 10. Let g = -26 + 22. Is z(g) a multiple of 11?
False
Let t(c) = 54*c**2 - 5*c - 16. Let n be t(-3). Suppose -3*r = z - 0*z - 93, 5*z + 5*r - n = 0. Is 9 a factor of z?
True
Suppose 5354 = 3*b + 5*r, 2*r - 789 = -2*b + 2787. Does 13 divide b?
False
Suppose -108*u = -24*u - 227892. Is u a multiple of 75?
False
Let y(s) = -s**2 + 15*s - 16. Is 38 a factor of y(9)?
True
Suppose p + 4*t - 27 = 15, 16 = -4*t. Is p a multiple of 4?
False
Let i = 298 + 10. Does 28 divide i?
True
Let j(q) = -88*q + 115. Is j(-5) a multiple of 37?
True
Does 8 divide 1401 + 20/(280/(-126))?
True
Let k be (270/(-81))/((-4)/(-6)). Let c(x) = -x. Let r(j) = -5*j - 13. Let t(q) = 4*c(q) - r(q). Is 4 a factor of t(k)?
True
Suppose -3*i = -2*d - 6, -3*i + 24 - 6 = 2*d. Suppose -4*s = -5*u + 9, 2*u - 5*s + d = -7. Suppose -k - u*w + 7 = 0, -2*k + w = 4*w - 42. Is 16 a factor of k?
False
Suppose 2*c + 65 - 289 = 0. Suppose -5*a - 202 = -4*b, 8 - c = -2*b + 4*a. Is b a multiple of 3?
True
Let k = -9 + 12. Suppose w = k*w - 44. Suppose -w = -4*n + 18. Is 5 a factor of n?
True
Suppose -3*j - 3*d + 1060 = -8*d, 3*j = -3*d + 1044. Does 42 divide j?
False
Let u = 21 - -11. Let q = 44 - u. Is q a multiple of 7?
False
Suppose -5*s - 2*k - 3*k = -90, 3*s = -k + 48. Suppose s*l - 145 = 10*l. Is 7 a factor of l?
False
Let w(v) = 8*v**2 + 2*v**2 - 99 - 5*v + 102 - v**3. Suppose 4*j - 44 = 4*f, 0*j - 4*f = 5*j - 37. Is w(j) a multiple of 26?
False
Suppose 5*d - 428 + 63 = 0. Does 13 divide d?
False
Suppose a + 1 - 5 = 0. Suppose 0 = -5*d + a*d + 56. Is 14 a factor of d?
True
Let m = 1368 + -246. Is m a multiple of 34?
True
Let s(r) = r - 1. Let d be s(3). Let x = d + 25. Is 13 a factor of x?
False
Suppose -4*d + 0*a = 5*a - 4, 4*d - 5*a = 44. Let z(s) be the second derivative of s**3/3 + 3*s**2/2 + 9*s. Does 5 divide z(d)?
True
Let x(k) = -4*k**3 - 2*k**2 - 4*k - 6. Let u be x(4). Is 10 a factor of 0 + (-1)/(-3) + u/(-6)?
False
Let q be (-9)/(-2)*6/9. Suppose -q*s - 45 = -z, z - 3*s = -z + 99. Is z a multiple of 18?
True
Let o(r) = 9*r**2 + r + 4. Suppose 0 = 14*h - 10*h - 16. Is o(h) a multiple of 38?
True
Let a(g) = -2*g**3 - 89*g**2 - 57*g - 83. Does 12 divide a(-44)?
False
Suppose -1980 = -2*k - 3*z, -2*k - 13*z + 9*z + 1980 = 0. Does 11 divide k?
True
Let u = -31 - -18. Let k = -4 - u. Is k a multiple of 2?
False
Suppose 4*p - 8176 = 4*k, 44*k + 10216 = 5*p + 40*k. Is p a multiple of 15?
True
Suppose -3*z - 109 = 4*c, z - 17 = c - 51. Let s be 2/7 - 1600/z. Let i = s - 2. Is i a multiple of 22?
True
Let y(p) be the second derivative of 7*p**4/4 + 5*p**3/6 - 2*p**2 + 33*p. Let j = -9 + 10. Is 22 a factor of y(j)?
True
Let z = 19 + -77. Let m be ((-10)/(-4) - 4)*z. Suppose -m = -2*g + 25. Is 14 a factor of g?
True
Let h(m) = 4*m**2 + 14*m. Let s be h(10). Suppose -2*r = -6*r + s. Does 30 divide r?
False
Does 13 divide 528/1 - (6 - 12)?
False
Suppose 3*y = -4*z + 3*z - 1, -z + 5 = -3*y. Does 23 divide y + 0 + (-72)/(-3)?
True
Let z = 74 - 51. Suppose -4*o = 3*i - z