Suppose 1 + 3 = a. Suppose -3*b + 4*u = -64, -2*b + a*u - 104 = -5*b. Is 7 a factor of b?
True
Let o = 564 - 397. Is 16 a factor of o?
False
Let l(j) = j**3 - 6*j**2 + 7*j - 2. Let a be l(5). Does 9 divide 0 + 1 + a*1?
True
Let j(g) = -g**2 - 11*g + 16. Let l be j(-12). Suppose -l*o - o = -4*u - 70, -3*u + 5 = 2*o. Does 10 divide o?
True
Let m = 156 + -93. Is 13 a factor of m?
False
Let x(k) = k**3 + 8*k**2 - k + 9. Suppose t = 5*p - 3, 5*t + p - 25 + 66 = 0. Let n be x(t). Let g = 5 + n. Is g a multiple of 10?
False
Let n = -104 - -216. Does 14 divide n?
True
Let z(h) = 4*h + 2. Let m be z(8). Suppose 3*j + m = 5*j + 5*n, 0 = -5*n. Does 17 divide j?
True
Let z(n) = n**3 + 8*n**2 + 7*n. Let d be z(-7). Suppose -15 + d = -3*k. Let i = k - 1. Is i a multiple of 2?
True
Suppose 2*y + 8 = 3*y. Does 8 divide y?
True
Does 5 divide ((-10)/6)/(6/(-126))?
True
Suppose -5*s + 181 = 3*i, -4*i + 1 = 3*s - 222. Let a = i + -20. Is a a multiple of 8?
True
Is 40 a factor of (-16)/(-6)*(11 - -109)?
True
Let x(w) = 22*w**2 + w - 2. Let u be x(2). Suppose -3*o + 26 = 3*s - u, 0 = -s - 5*o + 22. Does 14 divide s?
True
Suppose -z - 2*w = -138, 0 = -3*z - w + 215 + 189. Does 31 divide z?
False
Let s be -2 - ((-4)/(-2) - 6). Let t = 152 + -52. Is (s/(-4))/((-5)/t) a multiple of 10?
True
Let f be (21 - 0) + 5 + -8. Suppose 9*i = 8*i + f. Does 6 divide i?
True
Let h(r) = 4 + 2 - 5 - r + 1. Is 4 a factor of h(-6)?
True
Suppose d - 147 = -2*d. Suppose d = 4*a - 63. Does 7 divide a?
True
Let q(x) be the second derivative of 0 - 2*x - 1/2*x**2 + 25/12*x**4 + 1/3*x**3. Does 13 divide q(1)?
True
Suppose 0 = 3*g - 2*o - 130, 4*o = -4*g - g + 246. Does 23 divide g?
True
Suppose 49 = -5*f - 1. Does 22 divide (125/f)/(2/(-4))?
False
Is 1 + 2/(2/171) a multiple of 31?
False
Let v(p) = -5 - 8 - 3*p + 4. Let u be 2*-1*(105/10)/3. Is v(u) a multiple of 12?
True
Let n be (-32)/56*7*-1. Suppose -n*t - 4*l - 13 + 73 = 0, -4*t + 56 = 2*l. Is t a multiple of 8?
False
Is 2 a factor of (24/54)/((-6)/(-27))?
True
Let b(h) = -h**2 + h + 105. Let f be b(0). Suppose 199 = 4*c - f. Is 19 a factor of c?
True
Let p(l) = -2*l + 10. Let o be p(9). Let s(q) = q**2 + 4*q - 12. Does 4 divide s(o)?
True
Suppose -3*n - 5*a + 107 = -0*n, 117 = 3*n + 3*a. Does 22 divide n?
True
Suppose 28 = 2*g + 2*g. Let o = g + 6. Suppose 2*c + 5*m - 18 = o, c = -m + 20. Does 8 divide c?
False
Let u = -4 - -6. Suppose 4*j - 2*y - 8 = y, -2*y - u = -2*j. Is 6 a factor of 8/(-4)*(-1 - j)?
True
Suppose -5*c + 2*a + 624 = 0, -2*a + a = 5*c - 633. Does 35 divide c?
False
Let d(m) = m**3 - 6*m**2 - 7*m - 5. Is 27 a factor of d(8)?
False
Let p(k) = k**3 + 5*k**2 + k + 4. Let z be p(-4). Suppose 0 = 3*a - 3*m - 849, -a + 281 = -4*m + m. Is 6 a factor of 6/(-8) + a/z?
False
Suppose -3*o = 9, -2*o + 0*o = -3*d + 75. Does 9 divide d?
False
Let d be (2 + -4 - -1)/1. Let t(p) = 55*p**3 + p + 1. Let x be t(d). Let b = -20 - x. Is 18 a factor of b?
False
Is 20 a factor of 124/3 + 3/(-9)?
False
Let d = -2 + 5. Suppose 4*h = d*c - 62, -4*h - 33 = 4*c - 125. Is 14 a factor of c?
False
Let p(b) = -2*b - 8. Let j be p(-10). Suppose j = -2*v + 3*o, 5*o - 21 = 3*v - 1. Suppose v = 2*u, -3*c = u + 3*u - 99. Does 11 divide c?
True
Let x = 53 - 37. Suppose -4*b - 39 = 5. Let p = x + b. Is p a multiple of 2?
False
Suppose 4*h - 101 = 139. Does 15 divide h?
True
Let m(d) be the second derivative of -d + 2*d**2 - 1/3*d**3 - 5/12*d**4 - 1/20*d**5 + 0. Does 7 divide m(-5)?
True
Suppose 3 - 9 = -b. Let z be 161 + -2 - b/(-3). Suppose 0 = -2*y + 4*f + 64, 4*y - f + 4*f = z. Does 19 divide y?
True
Suppose 0 = -5*y + y. Let h be (6 - y)*(-4)/(-12). Suppose 5*n - 73 + 31 = -h*j, 4*j + 16 = 0. Is 10 a factor of n?
True
Let u = 12 + -10. Is 2 a factor of u?
True
Suppose 0 = -2*j - 33 + 165. Suppose -a = a - j. Is a a multiple of 11?
True
Let a(c) = c**3 - 11*c**2 - 8*c - 1. Does 14 divide a(12)?
False
Let d = 9 + -15. Let b(q) = q**3 + 6*q**2 + 2*q + 8. Let y be b(d). Let g(o) = -5*o - 5. Is 14 a factor of g(y)?
False
Suppose v + 4*v = 15. Let m be (-16)/24 - 10/v. Let t(r) = -5*r - 6. Does 5 divide t(m)?
False
Suppose 5*n + 2*c - 250 = 7*c, -4*n - 4*c = -160. Is n a multiple of 15?
True
Let u(h) be the third derivative of -h**7/2520 + h**6/48 - 2*h**5/15 - h**4/6 + h**2. Let m(w) be the second derivative of u(w). Does 8 divide m(12)?
False
Let w be 1 - 1 - (-9)/(-3). Let o = w + 7. Suppose -54 + 9 = -o*q + z, -5*q + 4*z = -59. Does 11 divide q?
True
Let q = 64 + -36. Does 28 divide q?
True
Let m(v) = 0*v + v + 5*v. Suppose 0 = -4*l + 8. Is 6 a factor of m(l)?
True
Suppose -t - 10 = -153. Is 32 a factor of t?
False
Suppose 5*m + 16 = 46. Does 5 divide m?
False
Let s(a) = 2*a**2 - a + 2. Let d be s(-2). Let m = -21 - -51. Suppose 3*n - m = d. Does 10 divide n?
False
Let i = -14 + 48. Suppose -i = -n + 4*q, -n + 15 = -5*q - 24. Is n a multiple of 6?
False
Let k(g) = 2*g**2 + 4*g - 49. Is k(-11) a multiple of 18?
False
Suppose 0 = -4*s + h - 4*h + 589, 0 = -3*s - h + 443. Does 37 divide s?
True
Let r be (-14 + 4)/(-1 + 0). Suppose -3*o + 8*o - r = 0. Let d(w) = 5*w. Does 10 divide d(o)?
True
Let o(q) = -1 - 7*q**2 + 1 - 1. Let x be o(1). Is (-6 - 0)/3 - x a multiple of 5?
False
Is (-36)/(1/(3 - 4)) a multiple of 12?
True
Suppose 2 = -4*q + 10. Suppose -250 = -0*t - q*t. Suppose -4*d - d = -t. Is 10 a factor of d?
False
Let w = -2 + 7. Suppose w*a + 4*f = 166, 3*a = 3*f - 2*f + 103. Let r = 58 - a. Does 14 divide r?
False
Suppose -2*a = -3*z + 283, 5*z + 5*a - 584 + 129 = 0. Is 36 a factor of z?
False
Suppose -2*o + 219 - 41 = 0. Is 10 a factor of o?
False
Suppose -y - 9 = 3. Is (-6)/24 + (-171)/y a multiple of 7?
True
Let y = 38 - 27. Does 11 divide y?
True
Let j(g) = -g**2 - 3*g + 42. Is 8 a factor of j(0)?
False
Let l = 0 - -20. Suppose 3*b = 4*x + x + 31, -4*x = l. Is 2 a factor of b?
True
Let y be (-80)/(-35) + 4/(-14). Suppose b + y*b = 51. Is b a multiple of 6?
False
Let d be (1 - 1) + (-6)/(-2). Let g(i) = 6*i + 3. Let p(x) = x. Let b(c) = d*p(c) - g(c). Is 11 a factor of b(-10)?
False
Suppose t - 9 = -3*b, -5*t + 97 = -4*b - 5. Let y = 25 - t. Suppose -y*m = 4*f - 3*m - 16, -m - 20 = -3*f. Is f a multiple of 6?
True
Suppose 0 = p - 44 - 49. Let x = p - 59. Does 7 divide x?
False
Suppose 4*s - 5*g - 1 = 15, -5*s + 20 = 5*g. Suppose -u - 14 = -5*r, s*u - 9 - 19 = -r. Does 6 divide u?
True
Let z(h) = 8*h + 0*h - 2 - 5*h. Does 5 divide z(4)?
True
Let f = -7 + 11. Let v = f + -3. Is (v - 22)*(-4)/6 a multiple of 7?
True
Let a = 504 - 354. Is a a multiple of 10?
True
Let o = 7 - 3. Let n = 18 - o. Does 5 divide n?
False
Let x(a) = a**3 + 18*a**2 + 7*a - 21. Let t(s) = s**3 + 19*s**2 + 8*s - 22. Let k(f) = 6*t(f) - 7*x(f). Is 12 a factor of k(-12)?
False
Suppose l + 4 = -5*w, -5*l + 12 = -w + 32. Suppose 8*u - 3*u - 3*j - 77 = w, -33 = -u + 5*j. Does 5 divide u?
False
Let l = 8 + -3. Let q = 8 - l. Suppose 2*n = -5*c + 34, q*n + 3*c - 7*c - 51 = 0. Is n a multiple of 11?
False
Let q(h) = h + 17. Is q(-7) a multiple of 10?
True
Let z(c) = c**3 + 7*c**2 - 4. Let b be z(-3). Let i = -50 + b. Let f = i + 32. Is f a multiple of 11?
False
Suppose 130 = 4*r + 5*x, -3*r + 40 + 52 = x. Let f = r + -4. Does 12 divide f?
False
Let t(r) = r**3 + r**2 - 2*r - 2. Let z be t(-3). Let m = z - -26. Does 9 divide m?
False
Suppose 2*d = -2*d + 64. Is 6 a factor of d?
False
Let a = -184 + 415. Does 33 divide a?
True
Is 4 - (2 + 2) - (-49 - 0) a multiple of 7?
True
Let w = -43 + 69. Is w even?
True
Let s(g) = 29*g**2 + g + 1. Let q be s(-1). Let z = q - 18. Is 7 a factor of z?
False
Suppose 3*x = 5*x + 8. Let w(n) = n - 1. Let b be w(x). Let f(g) = -g**2 - 6*g - 2. Does 3 divide f(b)?
True
Let w(p) = p + 4. Let f be w(4). Let r = f + -5. Is r a multiple of 3?
True
Suppose 9*k + 2*k = 1232. Is k a multiple of 16?
True
Let q be (1/(-2))/((-1)/(-2)). Let z be 46/(-4)*-1*2. Let d = z - q. Is 12 a factor of d?
True
Does 26 divide 5 + -4 - 1*-77?
True
Let q(c) = c**3 - c**2 + c - 99. Let o be q(0). Let r = -71 - o. Is 17 a factor of r?
False
Is 182/28*(8 + 2) a multiple of 18?
False
Let x = 18 + -8. Let z be (-4)/x - (-362)/5. Suppose -97 = -4*s + 3*n, -3*s + 2*n + 0*n = -z. Does 11 divide s?
True
Suppose y + 6 = 2*q + 2*y, -2*y = -3*q + 2. Suppose 3*x = 5*i + 32, q*x + 4*i + 4