 -5*l, -4*l + 4*u = 2*u - 68. Does 12 divide l?
False
Let o = 6 - 6. Let a(j) = -j**3 - j**2 - 23. Let i be a(o). Let v = 3 - i. Is 16 a factor of v?
False
Let k = -95 - -186. Is k a multiple of 13?
True
Suppose 7 = -2*t - z, 12 = -4*z - 0*z. Does 31 divide (t - 2)/(4/(-62))?
True
Let h be 2 + (1 - 3) + 11. Suppose 28 + h = 3*y. Is 6 a factor of y?
False
Let t(a) = a**2 + 9*a. Let q be t(-10). Suppose q*b + 72 = 13*b. Is 6 a factor of b?
True
Suppose -c - 4*c + 70 = 0. Suppose -2*w = 2*w - 3*h + 4, 0 = 2*w + h - 8. Suppose -3*o = -3*f + c + 40, -w*o = 3*f - 64. Does 10 divide f?
True
Suppose 2*d - 9 = -d. Suppose 0 = -d*o + 2*o + 1. Is ((-25)/15)/(o/(-6)) a multiple of 5?
True
Let m be 3/(-6)*-1*50. Suppose -4*t + 5*s = 54, -t - 12 = -2*s - 0*s. Let x = t + m. Is 3 a factor of x?
True
Is -5 + (-3 - 0 - -56) even?
True
Suppose o - 5 - 17 = 0. Suppose -o = -3*r + 86. Is r a multiple of 13?
False
Suppose -3*c = 3*z, -2*z - 12 = 2*c - 4*c. Let m be c/(-9) + (-15)/9. Let d(v) = -19*v. Is 19 a factor of d(m)?
True
Let k be 284/8 + 3/2. Let n = 62 - k. Does 17 divide n?
False
Let r(w) = w**2 - 1. Let a(z) = -3*z**2 + 8*z + 10. Let o(m) = a(m) + 4*r(m). Is o(-9) a multiple of 15?
True
Let f be (-2)/4 + 15/6. Let a(u) = u**2 - 6*u + 7. Let r be a(5). Suppose r*z - f*x = 7*z - 73, 0 = -x + 4. Is z a multiple of 6?
False
Let k(x) = -9*x - 1. Is k(-8) a multiple of 15?
False
Let t(w) = 109*w**2 - 2*w - 1. Does 11 divide t(-1)?
True
Let s(x) = x**3 - x + 3. Let r be s(-3). Let b = -12 - r. Is 7 a factor of ((-19)/(-3))/(b/27)?
False
Let n(k) = 4*k - 2. Suppose 2*l + 0 - 4 = 0. Is 6 a factor of n(l)?
True
Let q(t) = t - 1. Let s(n) = -8. Let k(u) = u + 8. Let r(c) = 5*k(c) + 4*s(c). Let x(m) = -6*q(m) + r(m). Is 7 a factor of x(0)?
True
Suppose -5*h + 1 = -4. Let l(j) = 4*j**2 + 1. Let g be l(h). Suppose g*t - 90 = 2*t. Does 10 divide t?
True
Let d(h) = h + 10. Let y(u) = -u**2 + 3*u - 2. Let s be y(4). Is d(s) even?
True
Let n = 574 - 226. Is 12 a factor of n?
True
Let q(w) = w**2 + w - 10. Let n be q(-7). Let z = n - 4. Is 12 a factor of z?
False
Let v be (-1 + 1)/((-4)/(-2)). Let m be -1 - (v + 2*-6). Suppose -m = 2*a - 35. Is a a multiple of 10?
False
Is 17 a factor of -1*(-28)/(-6)*(-2760)/80?
False
Suppose -r + 26 = 4*m - 67, m = 4. Does 9 divide r?
False
Suppose -5*c - 15 = 0, -4*l + 3*c + 195 = -2*c. Does 7 divide l?
False
Let k = -3 + -3. Let q = -4 - k. Suppose -4*c = j - 52, 0 = j - q*j - c + 40. Is 13 a factor of j?
False
Let x = 15 + -11. Let m = x - -2. Is m a multiple of 6?
True
Suppose 0 = 2*h + 4*b + 350, -4*h - h - 2*b - 867 = 0. Let o = 257 + h. Suppose 4*t - 4*p - o - 16 = 0, 5*p = -3*t + 43. Is 8 a factor of t?
False
Suppose -4 = h - 1. Let l be (-2 - h - 1)/2. Let b(v) = -v**2 - v + 16. Does 8 divide b(l)?
True
Let a(d) = d**2 + d - 4. Let p be a(9). Suppose 2*f + 10 = 0, -p - 29 = -5*u + 4*f. Let y = u - 0. Is y a multiple of 7?
False
Let x(q) = q**2 + 10*q + 11. Let b be x(-9). Let v = b + 1. Suppose 4*z - 3*s - 16 = 2*z, z - 5 = v*s. Is 11 a factor of z?
True
Let w be ((-6)/8)/((-7)/(-196)). Let n = w - -50. Is n a multiple of 15?
False
Let j = -3 - -6. Suppose 9 = b + j. Does 5 divide b?
False
Suppose 5*m = 2*t - 0*t + 215, -2*t + 55 = m. Is m a multiple of 9?
True
Let g(x) = -x**3 + 7*x**2 - 3*x + 1. Is g(6) a multiple of 19?
True
Suppose 4*k = 3*z - 252, -4*k + z - 32 = 220. Is 18 a factor of 4/18 - 2254/k?
True
Let f(x) = -x**2 - 3*x + 1. Let b be f(-2). Suppose 0 = b*d - 53 - 7. Is 15 a factor of d?
False
Suppose -2*g - 125 = -5*x, 4*x + 4*g - 75 + 3 = 0. Suppose 131 = 4*y - 17. Let s = y - x. Is 14 a factor of s?
True
Suppose 2*t - 60 = 4*j, -4*t + 5*t - j = 27. Is t a multiple of 12?
True
Let p(z) = -z**3 - 2*z**2 - 4*z - 6. Is 18 a factor of p(-4)?
False
Let b be (678/(-9))/((-8)/12). Let u = b - 67. Is u a multiple of 12?
False
Let b = 12 - 7. Suppose -b*z - 205 = -10*z. Is 11 a factor of z?
False
Let z(v) = -31*v + 6. Let k be z(-6). Suppose 3*x + k = -0*x. Let g = -24 - x. Is 20 a factor of g?
True
Suppose -5*v = 5*l - 100, -4*v - 100 = -3*l - 33. Suppose 4 = 5*h - l. Suppose -h*a = -26 + 6. Is a a multiple of 4?
True
Let x(j) = 0*j**2 + j**2 - 1 - 4*j**2 + j - j**3. Let i be x(-5). Suppose -i = -4*o - 4. Is o a multiple of 8?
False
Suppose -q = 3*d - 128, 5*q + 2*d + 86 = 661. Does 23 divide q?
False
Let n(v) = -v**2 - 13*v - 10. Suppose 3*q - 2*y + 43 = 14, 0 = 3*y - 3. Is n(q) a multiple of 20?
False
Let q(o) be the third derivative of 0 - 1/12*o**5 + o**3 - 1/120*o**6 - 2*o**2 + 0*o + 5/24*o**4. Is q(-6) a multiple of 6?
True
Let n(a) = -40*a. Let x be n(-2). Suppose -x = -0*d - 2*d. Is 20 a factor of d?
True
Let o(u) = -4*u**3 - 5 - 7*u**2 + 3*u + 0 + 7*u + 3*u**3. Let q be o(-8). Let p = 1 - q. Is p a multiple of 11?
True
Let i = 100 - 32. Is i a multiple of 17?
True
Let g be -14 + (-2 - 0) + -1. Let p = g - -45. Is 28 a factor of p?
True
Let c(x) = 5*x**2 - x - 6. Let v be c(-6). Suppose v = -5*w + 2*q, -5*w - 2*q - 175 = -3*q. Let u = -7 - w. Is 13 a factor of u?
False
Let a(l) = -4*l - 5. Let m be a(-9). Suppose -b + 54 = 2*b. Let t = m - b. Does 7 divide t?
False
Let p = -25 - -22. Let b(q) = 2*q**2 - 2*q + 2. Does 11 divide b(p)?
False
Suppose -3*g - 5*a + 5 = -5, -3*g + 19 = -4*a. Suppose -2*q - k = -g*q - 19, 0 = 3*q + 4*k + 14. Is (-1 + q/(-9))*-15 a multiple of 4?
False
Let f = -9 - -12. Suppose i - 17 = y + 3*y, 4*y + 91 = f*i. Is 12 a factor of i?
False
Let q = 58 - 46. Is q a multiple of 6?
True
Let n(s) = 1 - 6*s**2 + 4*s**3 + 0*s**3 - 7*s - 3*s**3. Let b be n(7). Suppose -b - 4 = -a. Is a a multiple of 3?
False
Let f = 20 - 18. Suppose -17 = -f*a - 5. Does 4 divide a?
False
Suppose 4902 = 4*k - k. Is 30 a factor of 22/99 + k/18?
False
Let r be 9/(-6)*2/1. Let u = r - -5. Is 2 a factor of u?
True
Let v = 31 - 17. Suppose -5*a + 102 = 2*l - 0*l, a + 2*l - v = 0. Is 22 a factor of a?
True
Let z be 0 + (-1 - -2) - -1. Let x be z/6*2*3. Suppose -3*k + 34 = -x*a, k + 3*a = -4*k + 82. Does 7 divide k?
True
Is 11 a factor of 18 + (0 + 2 - 1)?
False
Let d(u) = u - 3. Let o be d(3). Let j(f) = 2 + o*f - 3*f + 2*f. Is j(0) a multiple of 2?
True
Let l be 2/(-4) + 26/(-4). Let n(h) be the second derivative of -h**3/6 - 5*h**2/2 + 35*h. Is n(l) even?
True
Suppose -3*j + 7 + 17 = 0. Suppose z - 26 = -j. Is 9 a factor of z?
True
Let r(i) = -i + 1. Let m be r(-3). Suppose 22 = m*l + 6. Suppose 2*k = 3*s + 44, -k - 4*s = -7 - l. Is 9 a factor of k?
False
Let x be 4/(-1*4/(-14)). Suppose q = -4*m + 14, -3*m + 2*m + x = -5*q. Let b = m + 10. Is b a multiple of 10?
False
Let a(x) = -4 + 0*x**2 - 4*x + 2 + x**2 - 3. Does 20 divide a(-5)?
True
Let j = -11 - -21. Let h(d) = d**3 + d**2 - d - 6. Let f be h(0). Let o = f + j. Is 2 a factor of o?
True
Suppose 4*z - 17 = -1. Suppose 51 = z*w - w. Is 7 a factor of w?
False
Let x(s) = 15*s**2 + 17*s + 20. Let j(p) = -5*p**2 - 6*p - 7. Let o(d) = 17*j(d) + 6*x(d). Suppose -4*v + 4 = -0. Does 3 divide o(v)?
True
Suppose 3*s - 5*j = -4*j - 35, -4*s + 4*j - 44 = 0. Let i = 17 + s. Does 4 divide i?
False
Suppose -c + 756 = 3*c. Does 15 divide c?
False
Let i(d) = -14*d - 7. Let n(h) = -h - 1. Let l(x) = i(x) - 3*n(x). Let m be l(-7). Let b = -51 + m. Does 10 divide b?
False
Let z be (0 + 1/2)*30. Let b = -6 + z. Is 4 a factor of b?
False
Let r(z) be the third derivative of -1/60*z**5 - 1/24*z**4 + 0*z - 1/120*z**6 + 4/3*z**3 + 0 + 2*z**2. Is r(0) a multiple of 4?
True
Let k(b) be the third derivative of -b**6/120 - b**5/60 + 5*b**4/24 + 5*b**2. Suppose l - 5*l = -2*y + 12, 2*y + 4*l = -28. Does 20 divide k(y)?
False
Let n(w) = -2*w + 6. Let r(x) = 1. Let h(m) = -n(m) + 6*r(m). Does 8 divide h(5)?
False
Suppose 0 = -5*s - 2*c + 6*c - 34, -3*s = c + 17. Let a be (s/(-8))/(6/24). Is 27 a factor of 81/(9/a) - 0?
True
Let l(r) = 4*r + 3. Is 20 a factor of l(5)?
False
Let g be 0/(-3 + 2 + -1). Let k(b) = -b**2 - b + g*b**2 + 3*b**3 + 1 - b**2. Does 11 divide k(2)?
False
Is -3*17*26/(-6) a multiple of 44?
False
Let w be (-4)/(-10) + 65/25. Let b = w - -67. Is 27 a factor of b?
False
Does 28 divide (-2 - (-312 + -2)) + -4?
True
Let i(a) = -a**3 + 4*a**2 - 4*a - 4. Let w be i(-6). Suppose 0 = -0*g + 5*g + w. Is (-6)/4*g/6 a multiple of 13?
False
Suppose -4*g + 304 = -164. Is 14 a factor of g