*w - 117 = -3*h - 7*w, -t*h + 116 = -4*w. Is 17 a factor of h?
True
Let c = -16 + 23. Is 4 a factor of c?
False
Let y be 2 - (-3 + 3 + 0). Suppose -7*u + y*u = -280. Is 28 a factor of u?
True
Does 22 divide (44/(-14))/(10/(-70))?
True
Suppose -5 = n + 3. Let r be (-1)/(-4) - (-18)/n. Does 14 divide ((-56)/6)/(r/6)?
True
Suppose -2 = -y - 0. Suppose y*k = 4*i - 70, -i + 6*i = -k + 98. Does 11 divide i?
False
Suppose v + 0*v - 431 = -5*a, -3*v = -4*a + 341. Is 28 a factor of a?
False
Let a(q) = -q**3 - 5*q**2 - q - 5. Let r be a(-5). Let b = r - 1. Is b/(-2) - 39/(-6) a multiple of 6?
False
Let r(c) be the second derivative of -c**3/2 + c**2 + 2*c. Suppose 0 = -4*o + 3 - 19. Is r(o) a multiple of 5?
False
Let b(g) = -2*g + 75. Is 25 a factor of b(0)?
True
Let g(x) = x**3 - 5*x**2 - 6*x - 2. Let z be g(6). Let m(o) = o**2 + 2*o. Let n be m(z). Suppose -a = -n - 6. Is a a multiple of 3?
True
Let m(h) = 30*h - 6. Let t be m(-6). Let s = 278 + t. Suppose n = -n + s. Is n a multiple of 23?
True
Suppose 4*h - 470 = -5*f + h, -4*f + 2*h = -398. Does 14 divide f?
False
Let n(j) = j**3 - 5*j**2 - 4*j - 7 + 2*j**2 - 2*j**2. Let a(f) = f**3 - f**2 + f + 6. Let b be a(0). Is 5 a factor of n(b)?
True
Let u = 7 - 6. Suppose -m = -3*x + 1, -u = 2*x - 4*m + 15. Suppose -w + 24 = x. Is w a multiple of 22?
True
Suppose -3*k - 2*s + 112 = 0, -1 = -2*s + 9. Suppose -3*l - r + 396 = 0, -365 = -3*l - 2*r + k. Suppose -5*b = -l + 11. Is b a multiple of 12?
True
Suppose 0*g - 2*g = -120. Does 5 divide g?
True
Let g(k) = k + 5. Let t be g(-7). Let b = 4 + t. Suppose 0 = -4*m + 62 + b. Is m a multiple of 8?
True
Let y = 389 - 601. Suppose 0 = -4*m + 22 + 14. Is y/(-18) - (-2)/m a multiple of 5?
False
Let r = 153 + -91. Is r a multiple of 31?
True
Suppose -2*s - 46 = -s. Let a = s + 65. Does 19 divide a?
True
Let o be 1*(-2 + (27 - 0)). Suppose -2*k - 3*k = -o. Suppose -k = 2*u + 3, 4*c + 2*u = 12. Does 3 divide c?
False
Suppose -3*i = -4*r - 560, -2*i - 3*r + 165 = -i. Is i a multiple of 12?
True
Let h = -7 - 17. Let q = h + 64. Does 12 divide q?
False
Let u(q) be the third derivative of -2*q**4/3 + q**3/6 - 2*q**2. Suppose 3*r - 2*z + 5 = 0, 3*z - 6 + 2 = r. Is u(r) a multiple of 10?
False
Let o = -5 - -3. Is 18 a factor of (0/o - 2)*-18?
True
Let y = 62 - -22. Is 6 a factor of y?
True
Suppose 5*w + 5*m = 35, -5*w = -0*w - 3*m - 75. Let q be -1*1 + -2 + 5. Suppose -q*t + w = t. Does 3 divide t?
False
Suppose 8*g - 4*g - 12 = 0. Suppose 2*w - g*i + 6*i = 85, -5*i = -3*w + 156. Does 8 divide w?
False
Suppose 19 = a + 2*y + y, y = 5*a - 31. Let z(d) = -d**3 + 6*d**2 + 7*d + 9. Is 2 a factor of z(a)?
False
Let q = -86 + 176. Suppose 4*f + 14 = q. Does 7 divide f?
False
Let i(n) = -5*n**2 - 8*n + 7. Let w(z) = -4*z**2 - 8*z + 7. Let y(r) = 3*i(r) - 4*w(r). Does 29 divide y(5)?
True
Suppose 9*u - 12*u = -60. Does 5 divide u?
True
Let f = -20 + 45. Is 15 a factor of f?
False
Let j(a) = a**2 - a + 5. Let d(x) = 3*x**3 + 3*x**3 - 5*x**3 - 2*x + 5 - 5*x**2. Let i be d(5). Is 14 a factor of j(i)?
False
Let o = 169 - 110. Is o a multiple of 14?
False
Suppose 5*d - 96 = d. Suppose 3*l = -q + d, 5*l - 3*q - 20 = 2*q. Does 3 divide l?
False
Suppose -8*k - 216 = -11*k. Suppose -2*y = y - k. Does 8 divide y?
True
Let z(b) = -b**3 + 7*b**2 - 8*b + 3. Let x = -14 + 20. Let s be z(x). Let n = 4 - s. Is 8 a factor of n?
False
Let c be -8*(4 + (-180)/16). Suppose 167 = 5*l - c. Does 9 divide l?
True
Is 3 a factor of (2 - -7)/(-4*(-6)/112)?
True
Let m be (-54)/(-4)*(-4)/2. Let c be 4/10 + 172/20. Does 13 divide 254/c + 6/m?
False
Suppose 0 = -5*a - 4*k - 409, -4*a - 2*k - 2*k - 328 = 0. Let h = 116 + a. Is 11 a factor of h?
False
Let m be 58/6*6/(-2). Let d be -18 + (-3 - -1 - 1). Let x = d - m. Is x a multiple of 8?
True
Let t(i) = -136*i**3 - 2*i**2 + 2*i + 3. Does 27 divide t(-1)?
True
Suppose 3*z + 2 = -2*a, 4*z - 2 = a + a. Suppose -g = -z - 2. Is 3 a factor of 1/g - (-18)/4?
False
Let t(k) = k**3 - 2*k**2 - 2*k + 2. Let j be t(2). Is 11 a factor of (j + 4)*(-37)/(-2)?
False
Suppose 0 = -6*s - 0*s + 408. Is s a multiple of 12?
False
Let c(i) = i**2 - i + 2. Suppose 0 = 5*y - 12 - 3. Let v be c(y). Suppose 0 = 3*d + d - v. Is d even?
True
Let d = 13 + -10. Suppose i = -d*g + 12, 2*i - 3*g = -0*i + 24. Is 12 a factor of i?
True
Suppose -455 = -5*t + 3*c + 2*c, 5*t = -c + 467. Suppose 0 = 3*r - t + 12. Is r a multiple of 23?
False
Let g(d) be the first derivative of -7*d**2 - 4*d - 1. Does 26 divide g(-4)?
True
Suppose 3*s + 2*b - 5*b = 54, -s - b + 28 = 0. Is 6 a factor of s?
False
Is 25 a factor of 4/1 + 63/3?
True
Does 25 divide (-3)/((8/(-32))/(146/8))?
False
Let s(y) = -y**2 - 10*y + 13. Does 13 divide s(-10)?
True
Let h(u) be the third derivative of u**8/20160 - u**7/560 + u**6/72 - u**5/15 + 3*u**2. Let l(r) be the third derivative of h(r). Is 18 a factor of l(10)?
False
Let g be (4 + -1 + 0)*5. Suppose 4*z + 12 = 4*u, 0 = z + 4*z - g. Is u a multiple of 5?
False
Let z(q) = -q - 9. Let k be (-40)/6 + (-1)/3. Let v be z(k). Does 8 divide (-17)/(-3)*(-6)/v?
False
Let b(c) be the first derivative of -2*c**4 + c**3/3 - 2. Let g be b(-1). Is 2/3 + 21/g even?
False
Let s(b) = -b**2 + 3*b + 10*b - 9 + 2 - 2. Let k be s(8). Let d = k - 16. Is 6 a factor of d?
False
Let p(s) = 11*s - 3*s**2 + 2*s**2 + 2*s - 6. Let z be p(5). Suppose -z = -d - 14. Is 10 a factor of d?
True
Let i(l) = -l**3 - 2*l**2 + 10*l - 5. Does 5 divide i(-5)?
True
Let k be -2*((-45)/(-6))/5. Does 6 divide -3 - (-15 - (k - -1))?
False
Let f be (1 + 2)/(1/2). Suppose 3*h = -0*h + f. Suppose h*t = 56 - 6. Is 11 a factor of t?
False
Suppose 2*v - 5*v + 12 = 0. Suppose -v*w + w - 18 = 0. Let x = w - -10. Is x a multiple of 2?
True
Let t(q) = -q + 7. Suppose -3*v + 4*r - 6 = -4, 3*r = -3*v + 33. Let h be t(v). Does 13 divide 31 + (-1)/h + 1?
False
Let a be -1 + -2*1 + -2. Let k = 37 - 24. Let n = k - a. Is 6 a factor of n?
True
Let q = 18 + 148. Is q a multiple of 32?
False
Let h(x) = -5*x**2 + 4*x - 1. Let c(f) = -5*f**2 + 4*f. Let q(g) = 2*c(g) - 3*h(g). Does 22 divide q(3)?
False
Let y be ((-1)/1)/1*6. Let t(a) = a**3 + 7*a**2 + 6*a + 4. Let d be t(y). Suppose -d*w + 101 = 29. Is w a multiple of 18?
True
Suppose 1043 = -9*t + 16*t. Is 10 a factor of t?
False
Does 18 divide 35 + -2 + (2 - -1)?
True
Let a = -29 + 33. Suppose a*p - 245 = -p. Does 13 divide p?
False
Suppose -2*f + f + 65 = 4*w, 2*f = 2*w - 30. Does 4 divide w?
True
Let u(a) be the second derivative of 9*a**4/4 + a**3/6 + 2*a. Does 14 divide u(1)?
True
Let f(h) = 24*h**2 + 2*h + 3. Let s be f(3). Suppose -6*x = -x - s. Is x a multiple of 13?
False
Let d(k) be the first derivative of -1/4*k**4 - 1/2*k**2 + 4*k - 3 + 0*k**3. Is 2 a factor of d(0)?
True
Let g(y) = 2*y**2 - 18*y + 15. Let m(z) = -z**2 + 9*z - 8. Let i(n) = -4*g(n) - 7*m(n). Is i(7) a multiple of 5?
True
Suppose 3*h + 3 = 3*b, 10 = 3*b + b + 2*h. Let p(w) = -b*w - 2 + 5 + 23*w**2 - 2. Is 11 a factor of p(1)?
True
Suppose 5*k = y + 4*y - 5, 2*y - 4*k = -4. Let t = y + -8. Let o = -1 - t. Is o a multiple of 3?
True
Let l = -48 + 67. Let t = 33 - l. Is 9 a factor of t?
False
Suppose -4*w - 7 = 3*p, 4*w = -p + 6*p + 1. Let v be -2*w/(2/(-4)). Is (v/6)/(4/(-78)) a multiple of 5?
False
Suppose -21*p + 1173 - 165 = 0. Is p a multiple of 6?
True
Suppose 4*x - 9*x = -325. Is 36 a factor of x?
False
Let v be 2*35 + (1 - 2). Suppose -28 + 101 = t - 5*d, 3*d + v = t. Is 21 a factor of t?
True
Let m = 11 - 8. Let q be (-4)/(1*m/(-6)). Suppose -3 + q = f. Is f a multiple of 3?
False
Suppose 464 = 3*b + 5*x, -3*b + x = -5*b + 321. Is b a multiple of 15?
False
Let a(l) = 7*l - 5*l + 6*l + 12. Let i be a(10). Let s = i + -45. Is 14 a factor of s?
False
Let q(c) = -7*c + 5*c + 4*c + 6 + 3*c. Does 12 divide q(6)?
True
Let p(g) = 12*g - 3. Let b(v) = v. Let i(m) = -30*b(m) + 2*p(m). Is 5 a factor of i(-4)?
False
Suppose 156 = 24*c - 20*c. Does 13 divide c?
True
Suppose -1145 = -5*v - 4*i, -3*v - 4*i = -0*v - 695. Does 15 divide v?
True
Let v be (-16)/(-3)*27/12. Let h = 26 - v. Is h a multiple of 7?
True
Let n = 11 - 9. Suppose -n*d + 12 = -10. Is 11 a factor of d?
True
Let s(u) = 7*u**2 + u - 1. Suppose w - 5 = -3. Is s(w) a multiple of 13?
False
Let k(u) = -u + 13. Suppose 0 = 4*s + 5*o - 29, -4 = -2*o - 2. Does 7