l(6). Let t = x - 10. Is t a multiple of 6?
True
Let p = -108 - -185. Is 25 a factor of p?
False
Let l = -150 + 256. Let r = l + -65. Does 14 divide r?
False
Suppose 305 = -3*z + 2*b, 0 = -4*z + b - 68 - 337. Let i = z - -145. Is i a multiple of 23?
False
Suppose 3 + 11 = -7*t. Suppose -2*q + 2*c = 32, 2*q + 56 = -2*q + 2*c. Is 2 a factor of t/(-8) + (-69)/q?
True
Suppose 2*g = -g. Let i = g + 31. Does 14 divide i?
False
Let p be ((-30)/(-9))/(4/6). Let n(j) = j**3 - j**2 - 2*j + 4. Let i be n(p). Let x = i + -45. Is 18 a factor of x?
False
Is -40*2*1/(-2) a multiple of 27?
False
Let c(t) = -63*t - 9. Let g be c(-6). Let y be ((-4)/6)/((-6)/g). Suppose -5*o + y + 14 = 0. Is o a multiple of 11?
True
Let w = -7 + 17. Suppose -2*v = -2 - w. Is 3 a factor of v?
True
Let d(h) = 4*h**2 - 2*h - 2. Let z be d(4). Suppose t + 77 = 5*l, t - 4*t + z = 4*l. Is l a multiple of 6?
False
Suppose 5*o + 4 - 59 = 0. Suppose -3*x + 0*x - o = -v, 5*x - 66 = -2*v. Is 7 a factor of v?
False
Does 4 divide 16/((-16)/(-4)) + 0?
True
Suppose -7*z + 414 = -z. Is z a multiple of 19?
False
Let b(a) = 44*a - 22. Does 22 divide b(6)?
True
Let b = -43 + 115. Suppose -5*q + b - 17 = 0. Is q a multiple of 10?
False
Let u(h) be the third derivative of h**7/2520 - h**6/120 + h**5/15 + h**4/8 + h**2. Let j(x) be the second derivative of u(x). Is 12 a factor of j(9)?
False
Let t(h) = 4*h - 22. Is 18 a factor of t(10)?
True
Let x be 2 + (-3 - -2)*-13. Suppose x*g - 76 = 11*g. Is 13 a factor of g?
False
Suppose 34 = 5*d - d - z, -3*d - 5*z + 37 = 0. Is 9 a factor of d?
True
Let t = 5 - -5. Suppose -3*w - t = -4*w. Let g = w - 4. Is g a multiple of 6?
True
Let w(u) = 5*u**3 - u - 2. Let z be w(3). Suppose 4*r + 2*v = z, 1 = -2*v + 11. Is 13 a factor of r?
False
Let h be 4/(-6) - (-10)/15. Suppose h = 4*v - 4*g - 60, -3*g - 3 = -0. Is v a multiple of 6?
False
Let s(y) = -y**3 - y**2 + y + 104. Let r be s(0). Suppose 3*f = r + 43. Is 12 a factor of f?
False
Let m(x) = -2*x**2 - 4*x - 5. Let f be m(-4). Let d be -6*(1 - f/(-6)). Suppose v - 6*v + d = 0. Is 2 a factor of v?
False
Let p be (-8)/28 - (-704)/14. Suppose 3*w + p = 4*w. Is 25 a factor of w?
True
Suppose -2*d - d + 24 = 0. Suppose 2*p - 4 = 0, d*f = 3*f - 2*p + 114. Is 10 a factor of f?
False
Let f(b) = b**3 + 3*b**2 - 5*b - 4. Let i be f(-4). Suppose -61 = 3*l - 6*l + 4*d, i = -l + 4*d + 7. Does 27 divide l?
True
Let p(n) = -n**3 - 11*n**2 + 9. Let l be p(-11). Does 14 divide l*4 - (-6)/(-3)?
False
Let m(y) = y**3 - 4*y**2 + 3. Let q be m(4). Suppose 0*w - 5*w = 5*r, w + q*r = 0. Suppose w*p + p = 4. Is p a multiple of 3?
False
Let q(w) = 5*w**2 + w - 3. Let b(v) = 16*v**2 + 4*v - 9. Let m(f) = 3*b(f) - 8*q(f). Let x be m(2). Suppose -x = -4*p + 19. Is 5 a factor of p?
False
Let q(v) = 13*v**2 - 1. Let j be q(1). Suppose -u + 4*i = 3, -u + 2*u - i - j = 0. Does 6 divide u?
False
Let m = 46 + -66. Suppose j - 32 = -3*j. Let n = j - m. Does 11 divide n?
False
Suppose 4*l - 12 = 0, 0 = 2*m + 2*l - 31 - 31. Suppose -u + 5 + 2 = 3*r, -m = -4*u + 2*r. Is u a multiple of 7?
True
Is 11 a factor of 1 + 4/(-8)*-98 + 0?
False
Is 21 a factor of (-18 + -23)*10/(-2)?
False
Let b = -263 - -525. Does 27 divide b?
False
Let w be 1 - (-3)/(-3*1). Suppose z - 3 = -w. Is 2 a factor of z?
False
Let r be (10/4)/(2/4). Let a(u) = 4*u - 10. Let d(j) = -13*j + 29. Let x(c) = -8*a(c) - 3*d(c). Is 14 a factor of x(r)?
True
Let b = -12 - -17. Let q(t) = 2*t + b*t - 3*t. Does 10 divide q(6)?
False
Let h(i) = -2*i**2 + 2*i**2 + 2*i**2 + 5*i. Let n(f) = f**2 - 4. Let z be n(0). Is h(z) a multiple of 12?
True
Suppose 140 = 2*u - 2*y - 0*y, -4*y = -2*u + 150. Suppose -5*g - u + 20 = 0. Does 5 divide g/3 + 1 - -10?
False
Let t be (2*-1)/(2/3). Suppose 0 = 5*l - 0*l - 25. Let u = l + t. Is u a multiple of 2?
True
Let k = 108 + -76. Is k a multiple of 16?
True
Suppose 3*x - 284 = -0*x - 4*y, 5*x = -4*y + 476. Is x a multiple of 10?
False
Let u(o) = 4*o**2 - 2*o - 5. Let z be u(4). Let v = z - -10. Is 18 a factor of v?
False
Let w(p) = p**2 - 5*p + 2. Let l be w(2). Is 22 a factor of l/((-41)/(-14) + -3)?
False
Let x = -37 - -61. Suppose -w + 0*w + 3*v = 13, 2*w = 5*v - 21. Suppose -w*b - x = -4*b. Is 12 a factor of b?
True
Let p = 66 - 51. Does 7 divide p?
False
Let d(s) be the first derivative of -s**4/4 + 7*s**3/3 - s**2 - 2*s - 4. Let v be d(6). Let n = 2 + v. Is 20 a factor of n?
False
Suppose -35 = -5*b - 0*b. Suppose 2*x + 71 - b = -2*c, 3*x - 120 = 5*c. Is 15/(-20) - c/4 a multiple of 6?
True
Let j = -8 + 6. Let l(a) be the first derivative of -a**2/2 + a - 5. Does 3 divide l(j)?
True
Suppose 0 = -3*l + d + 8, -2*l + d = -1 - 4. Suppose l + 3 = 3*v. Suppose q + 102 + 6 = 3*k, v*k - 85 = 5*q. Does 14 divide k?
False
Let a(g) = g**2 - 14*g + 17. Let t = 36 - 23. Let j be a(t). Let k(r) = 9*r - 6. Is 10 a factor of k(j)?
True
Let h = 17 + -12. Suppose 3*a - 9 = 0, h*g - 4*a = 96 + 12. Is g a multiple of 13?
False
Suppose 875 = 3*y - 2*w - 3*w, -y + 2*w = -292. Is y a multiple of 23?
False
Suppose -5*a + 93 = -3*x, -4*x - 34 = -2*a - 2*x. Let y(v) = -2*v + a*v**2 + v + 3*v + 1. Is y(-1) a multiple of 20?
True
Let h = 11 + -6. Suppose -4*b = -3*f + 1, -h*f + f + b - 3 = 0. Is (-21)/(-6) + f/(-2) a multiple of 2?
True
Suppose -2*l = 2*l + s - 562, -l + 2*s = -136. Does 20 divide l?
True
Suppose 0 = -z - 4*z + 280. Is 18 a factor of (-2 + -1)/((-3)/z)?
False
Suppose k - 6 = 3. Suppose n = 3*j - 0*n - 7, 3*j - 3*n = k. Suppose 0 = y - j*y + 2*i + 8, 5*i - 61 = -2*y. Does 9 divide y?
True
Suppose 0 = 3*g + 10 - 25. Let b(d) = -d + 2 + 0*d + 2*d. Is 7 a factor of b(g)?
True
Suppose -r + 5*d + 10 = 0, 2*d = -2*r + 4 + 4. Suppose -10 = -2*b, -v + b = r*b - 40. Does 10 divide v?
True
Let w(x) = 5*x**2 + x - 4. Does 11 divide w(3)?
True
Let t(o) = -o**3 - 6*o**2 - 14*o - 2. Does 2 divide t(-4)?
True
Let z = 12 + -7. Is 16 a factor of 3*z/(45/96)?
True
Suppose -o - 10*o + 792 = 0. Is 9 a factor of o?
True
Suppose 0 = -3*c - 0*h + 4*h + 318, -5*h - 321 = -3*c. Is 17 a factor of c?
True
Suppose 13*d - 7*d = 1368. Is 37 a factor of d?
False
Is 1385/35 - (-6)/14 a multiple of 10?
True
Let p = 9 + -5. Suppose 0*y - p*r = y + 6, -10 = -3*y - 5*r. Is y a multiple of 5?
True
Let b(n) be the third derivative of n**5/60 + n**4/24 + n**3/2 + n**2. Let v be b(0). Suppose 5*i = -v*k - k + 96, 4*i - 24 = -k. Does 10 divide k?
False
Let o(g) = -g**2 - 13*g + 8. Let l be o(-12). Is 17 a factor of l + -2 + -3 + 2?
True
Suppose 1 = -2*h + j + 4, -4*h = j - 9. Let p = h - -1. Suppose 0 = -4*a - 4*i + 119 - 19, i + p = 0. Does 14 divide a?
True
Suppose 0 = -4*n - 2*x + 70, 2*x - 5 = 1. Suppose -6 = -2*u + n. Does 3 divide u?
False
Let v(b) = -b**2 - 2*b + 57. Does 10 divide v(0)?
False
Let c = -5 + 7. Suppose c*h - 30 = 7*h. Let y = -1 - h. Is 4 a factor of y?
False
Let f = -7 + 10. Suppose -p = -4*p - f*g + 72, -4*g = -3*p + 100. Does 14 divide p?
True
Let d be (-3)/(-4) - (-3)/12. Let u(a) = -13*a - d + 1 + 1. Is u(-1) a multiple of 14?
True
Let z(q) = q**3 - 3*q**2 + 1. Let k be z(1). Let j = 4 + k. Does 18 divide 18 + 0/j*1?
True
Suppose 3*f + 3*f = 186. Suppose 5*y - f = 4. Does 6 divide y?
False
Let z(o) = o**2 - o - 6. Let u be z(7). Let m = u + -22. Is 14 a factor of m?
True
Suppose 2*t - 1 - 27 = 4*j, 5*t = -2*j + 22. Let x = t - 4. Suppose -4*i + 2*i + 30 = x*l, -5*l + i = -87. Does 8 divide l?
False
Let l(m) = m**3 - 5*m**2 - m + 6. Let z(d) = 3*d - 4. Let q be z(3). Let t be l(q). Is 15 a factor of t/(-4) + 423/12?
False
Let q(s) = s**2 - 8*s - 16. Does 30 divide q(21)?
False
Let r = 119 + -61. Does 16 divide r?
False
Suppose 12 = -0*g - 3*g. Is 12 a factor of (g/6)/((-7)/126)?
True
Let b(i) = i - 7. Let x be b(8). Let w be 1/(x + 1/(-2)). Is 14 a factor of w/(-8) - (-57)/4?
True
Suppose 110 = -5*l + 305. Does 14 divide l?
False
Is 14 a factor of 8*(-1)/2 - -96 - 2?
False
Let x(v) = -2*v**2 + 17*v - 19. Does 2 divide x(6)?
False
Let h be 56/(-4)*-2*1. Suppose 3*u - h = 68. Suppose -v + 3*j + j + u = 0, 3*v + 2*j - 68 = 0. Is v a multiple of 20?
False
Suppose 0*q = -q - 8. Suppose -4*b + 11 = -3*b. Let z = b + q. Is z a multiple of 2?
False
Suppose c = -3*h - 0*c + 13, 4*h + 2*c - 20 = 0. Let j(d) = d**2 - 7. Let y(o) = -o**2 + 6. Let p(a) = h*j(a) + 2*y(a). Is 20 a factor