+ 20 = 5*v. Let t(u) = 3 - 5*u + 1 + 11*u. Is 17 a factor of t(s)?
True
Let j = -114 - -44. Let x = 136 + j. Is x a multiple of 22?
True
Suppose 41 = -2*x + 11. Let v be (x/6)/((-2)/4). Suppose -v*l = -5*z + 105, 0*z + l = -2*z + 51. Is z a multiple of 12?
True
Let c(g) = -g**3 - 8*g**2 - g - 5. Suppose -24 = r + 2*r. Let l be c(r). Suppose 210 = 2*m + l*m. Does 20 divide m?
False
Suppose -13*b + 477 = -1343. Is 7 a factor of b?
True
Suppose 12 - 6 = 3*a. Suppose 0*w - 5*w = 5*h, -a*w + h + 9 = 0. Is w a multiple of 2?
False
Let h(l) = -l**3 - 5*l**2 + 4*l + 11. Is 9 a factor of h(-6)?
False
Suppose 109 = 2*t - 485. Does 15 divide (-2)/(-4) + t/6?
False
Let s(i) = -31*i - 7. Let f(k) = 61*k + 13. Let g(c) = -6*f(c) - 11*s(c). Let h be g(-1). Suppose h = -m + 3*m. Is m a multiple of 9?
False
Let u = -5 + 7. Is u a multiple of 2?
True
Suppose p = -3*p - r + 335, -p + 89 = -5*r. Does 7 divide p?
True
Let j(b) = -2*b**2 + 25*b - 25. Does 8 divide j(11)?
True
Suppose 0 = 2*y - 7 + 69. Is y/(-11) + (-6)/(-33) a multiple of 3?
True
Suppose -3*h - 3 = 3. Does 9 divide 1/((h/46)/(-1))?
False
Let l(x) = -x**2 + 7*x + 2. Let q(h) = 2*h**2 - 7*h + 6. Let i be q(6). Suppose 0 = -4*o - 5*k + i, -5*o + k = -3*o - 4. Does 7 divide l(o)?
True
Suppose 4 = h, 4*c + h - 101 + 5 = 0. Is c a multiple of 10?
False
Let r(v) = v**3 + 5*v**2 - 5. Let t be r(-4). Suppose -4*n = -t + 3. Suppose -7*z + 3*z + 63 = 5*s, -24 = -n*s - z. Is s a multiple of 11?
True
Let d be ((-4)/(-6))/(1/3). Suppose -2*x + 204 = d*x. Suppose 4*u + q = -u + 98, 0 = -3*u + 2*q + x. Does 19 divide u?
True
Let v(d) be the second derivative of -7*d**3/6 + 3*d**2/2 + d. Let x(l) = -14*l + 7. Let a(n) = -7*v(n) + 3*x(n). Does 7 divide a(2)?
True
Suppose -37 = -3*x + 62. Is 11 a factor of x?
True
Let f = -22 - -38. Is 16 a factor of f?
True
Let z(q) = -2*q**3 - 5*q**2 - 5*q - 2. Is 6 a factor of z(-3)?
False
Let v = -265 + 567. Is 16 a factor of v?
False
Suppose r + 0 = 15. Is r a multiple of 5?
True
Is 19 a factor of 3 - (2 - 3) - -53?
True
Suppose -3*t = -6*t + 72. Is 6 a factor of t?
True
Let g(d) = -4*d**3 - 7*d**2 - 4*d + 2. Does 27 divide g(-4)?
True
Let m = 30 - -17. Is m a multiple of 13?
False
Let w = 0 - 4. Let a = w + 14. Does 5 divide a?
True
Suppose -33 = -4*s - u, -s + 4*u = 9*u - 13. Does 8 divide (-8)/6*(-192)/s?
True
Suppose -3*t - 490 = -8*t. Is t a multiple of 22?
False
Let k(a) = a - 4. Let v be k(10). Let r be ((-28)/6)/((-6)/9). Is (0 + 5)*(r - v) a multiple of 4?
False
Let r(p) = -4*p**2 - 16*p - 10. Let a(q) = q + 1. Let i(c) = -12*a(c) - r(c). Let o = 21 - 18. Is i(o) a multiple of 24?
False
Suppose 63 = 5*v - 47. Does 2 divide v?
True
Let g = 107 - 71. Does 9 divide g?
True
Let q = -64 + 108. Does 22 divide q?
True
Let n = 16 + -9. Let c = 16 - 13. Let r = n + c. Is r a multiple of 5?
True
Let t = -9 + -1. Let w = 9 + t. Does 10 divide -1*9/w*2?
False
Let a(b) = -b - 4. Let o be a(-7). Suppose -o*s + 17 = 3*g - g, 5*s - 23 = -2*g. Is s a multiple of 2?
False
Let o be (-1*4/4)/1. Let z(g) = 58*g**2 - 1. Is 25 a factor of z(o)?
False
Suppose 3*f - 5*f = -168. Does 13 divide f?
False
Suppose 0 = 4*q + w - 106, 2*q - 4*w - 23 = 39. Is (-18)/q - 292/(-6) a multiple of 8?
True
Suppose 63 = 5*d - 217. Suppose -t = -5*t + d. Is 7 a factor of t?
True
Suppose 7*x = 6*x + 192. Is 24 a factor of x?
True
Let c(z) = 19*z + 15. Does 10 divide c(8)?
False
Let q(l) = 2*l**2 - 12*l. Let j be q(6). Let s(a) = 44 + a + 10 + 0*a. Is 18 a factor of s(j)?
True
Let h = -58 - -66. Does 4 divide h?
True
Let k be (0 - 1)/(2/(-146)). Suppose 4*j - 3*d - 147 - 140 = 0, j - k = 2*d. Suppose -c - j = -3*w, 46 = w + 2*w + 4*c. Does 11 divide w?
True
Let l(w) = w + 9. Let i be l(-7). Suppose 2*f = 17 - 1. Does 9 divide i/(-3)*(-324)/f?
True
Let j(g) = -3*g + 2. Is 12 a factor of j(-8)?
False
Let i(w) = -12*w**2 - 2*w - 1. Let y be 6/(-4)*8/12. Let l be i(y). Let s = l + 38. Does 10 divide s?
False
Let u = -5 - -12. Suppose -u = d - 21. Suppose 5*g - q - 19 = -3*q, d = 4*g + q. Is g a multiple of 3?
True
Let q = -4 - -6. Suppose n + 6 = q*n. Is 14 a factor of (-21)/2*(-8)/n?
True
Let g be 4/18 + 10/(-45). Suppose g = 4*h - 47 - 5. Is h a multiple of 13?
True
Suppose 0 = t + t - 22. Let g = 7 - t. Let w = g + 23. Is w a multiple of 7?
False
Suppose 3*r + 2*r - 3*x = -372, 0 = 2*r - 2*x + 148. Let s be 2/(-3)*r/10. Suppose -2*o + s*u = 1, -4*o + 4*u + 18 = 2. Is 3 a factor of o?
False
Suppose -36 = -5*o + 5*g + 9, 4*g = -5*o. Suppose -o*n = -0*n - 68. Is 8 a factor of n?
False
Let x = 4 - 30. Does 11 divide (10/20)/((-1)/x)?
False
Suppose x = 0, 0*x = 2*u + 4*x - 14. Does 3 divide u?
False
Let d(p) = 3*p - 4*p - 2 + 6. Let f be d(-6). Is 18/4*f/3 a multiple of 15?
True
Suppose c - 30 - 17 = 0. Is 33 a factor of c?
False
Let y = 10 + -8. Suppose -3*b = -d + 3*d - 81, -b = y*d - 23. Does 13 divide b?
False
Let w be (-21)/(-4) - (-3)/(-12). Suppose 0 = -5*q - w - 0. Let v(r) = -15*r. Is v(q) a multiple of 15?
True
Let r be 2/8 - (-11)/4. Let k(u) = 0*u + r*u + 1 + 3 + 2. Does 9 divide k(7)?
True
Let l(b) = 3*b**2. Let d = 15 + 1. Suppose 0*v = 2*v - 4*f - 4, -4*f = 4*v + d. Is 6 a factor of l(v)?
True
Let h(d) = d**3 + 2*d**2 - 2*d + 3. Let g be h(-3). Suppose -5*w - 5*f + 60 = 0, 4*w - 5*w + 2*f = g. Is 4 a factor of w?
True
Let t(y) = -4*y**2 + 2*y + 12. Let m(u) = 3*u**2 - 3*u - 11. Let b(v) = 3*m(v) + 2*t(v). Is b(7) a multiple of 5?
True
Let x(l) = 76*l - 53 - 4 + 9. Let y(d) = 11*d - 7. Let n(g) = 3*x(g) - 20*y(g). Is n(4) a multiple of 14?
True
Suppose -4*w + 137 = 5*f - 0*f, 5*f = 3*w + 151. Let h = f - 23. Is h even?
True
Let z(i) = 38*i + 2. Let a be z(-1). Let k = -22 - a. Is 8 a factor of k?
False
Let d(k) be the third derivative of k**5/60 + 5*k**4/24 - 4*k**3/3 + k**2. Let w be d(-6). Does 10 divide (-6 + w - 2)/(-1)?
True
Let v(r) = 6*r**3. Let d be v(-1). Is 4 a factor of (-2)/d*-2*-12?
True
Let h be (-3 - 0)*2/(-2). Suppose -2*p + 6 = n - h*n, 3*p - 5 = 4*n. Does 7 divide p?
True
Suppose 3*h - 4 = -h - 5*s, -16 = h - 3*s. Let j = 4 + h. Let f(t) = t + 21. Is f(j) a multiple of 9?
False
Let s(x) = x**2 + x. Let h(b) = b**3 - b**2 - b + 1. Let u be h(0). Let y be s(u). Suppose 5*a = -4*m + y*a + 121, 1 = -a. Is m a multiple of 8?
False
Let a = -48 + 60. Does 4 divide a?
True
Let u(j) be the first derivative of -3*j**4/2 - j**3/3 + j**2/2 - 2*j - 1. Let l = -23 - -21. Is u(l) a multiple of 20?
True
Let a be 509/13 + (-4)/26. Let i = a + -57. Let o = -12 - i. Does 6 divide o?
True
Let d(z) = 13*z + 29. Is 14 a factor of d(2)?
False
Let o = -89 + 23. Suppose -8 = 3*q - 2. Does 11 divide (-3 - q)/(3/o)?
True
Let j be 28*-1*(-2)/4. Suppose 4*u - j = 66. Is u a multiple of 11?
False
Let r(c) = 64*c**2. Let w be r(-1). Suppose t = 5*t - w. Suppose 5*q - 4*v = 44, 2*v - t = -2*v. Does 6 divide q?
True
Let y(p) = p - 6. Let u be y(9). Let r be (1 + 0 + u)/2. Let w(v) = 7*v - 3. Does 8 divide w(r)?
False
Let s(a) be the second derivative of a**4/6 + 2*a**3/3 + a**2 - 5*a. Is s(-4) a multiple of 9?
True
Suppose -7*p = -p - 18. Suppose p*x + 46 = 4*x. Is 23 a factor of x?
True
Let j(o) = -2*o**3 + 9*o**2 - 4*o + 9. Let g be j(6). Let r = -82 - g. Is r a multiple of 7?
False
Suppose o - 42 - 136 = z, -2*z = -4. Is 30 a factor of o?
True
Suppose -2*d - 32 = -6*d. Suppose d + 7 = g. Is g a multiple of 15?
True
Let r(p) be the second derivative of p**4/12 + 5*p**3/6 + 3*p**2/2 + 2*p. Let g be r(-5). Suppose -2*h = -g*h + 11. Is 11 a factor of h?
True
Suppose 2*c = -3*m + 73, -c - m + 163 = 4*c. Is c a multiple of 16?
True
Suppose -3*d + 8*d + 400 = 5*n, d = -3*n + 240. Is n a multiple of 5?
True
Let y(z) = -z**3 - 10*z**2 - 11*z. Let i(x) = x**3 + x**2 + 1. Let a(b) = -2*i(b) - y(b). Does 9 divide a(9)?
False
Let h(i) be the second derivative of i**4/6 + 4*i**3/3 - 3*i**2 - 3*i. Is 9 a factor of h(-6)?
True
Suppose 4*g = -4*r + 140, 0*r - 5*r + 5*g = -125. Suppose 3*h + 0*h = r. Let d(n) = 5*n - 11. Does 12 divide d(h)?
False
Let a(t) = 2*t**2 - 17*t - 9. Is 14 a factor of a(17)?
True
Let d(w) = -w + 15. Let y be d(12). Suppose h = 7*b - 4*b + 44, y*b + 268 = 5*h. Does 14 divide h?
True
Let n = 0 - -5. Suppose -n*d = 2*p + 2*p - 23, -4*p = -8. Suppose -2*r + 8 = d*a, -2*r - 5*a + 8 = -0*a. Is r a multiple of