)/(-78) + 4/a. Suppose -c = -4*y + 2*y. Does 7 divide y?
True
Let g = -308 - -474. Is g a multiple of 14?
False
Let y be (-1 + 1)/(4/4). Suppose 2*b = -y*b + 50. Is b a multiple of 10?
False
Does 9 divide (9 + 1924/(-20))*10/(-4)?
False
Let x(f) = 19*f + 2. Is x(1) a multiple of 7?
True
Suppose u = -2*u + 24. Let b(l) be the second derivative of -l**4/12 + 5*l**3/3 - l**2 - l. Is b(u) a multiple of 5?
False
Let k(o) = 86*o**2 - o. Let m be k(-1). Let u = m - 40. Does 20 divide u?
False
Let x(c) be the first derivative of c**4/4 + 7*c**3/3 - c**2/2 + 1. Does 7 divide x(-7)?
True
Suppose d - 45 = -2*d. Is 5 a factor of d?
True
Let b(d) = 3*d - 2. Let t be b(-10). Let w = 54 + t. Suppose 0 = -2*m + 5*n + w, m - 4*m + 33 = -3*n. Is m a multiple of 11?
True
Let u = 32 + -22. Is u a multiple of 5?
True
Let p(r) = -r**2 - 14*r + 7. Is p(-13) a multiple of 4?
True
Let x be (-410)/4*8/(-10). Does 11 divide 4/(-6) - x/(-6)?
False
Let p = 96 + -11. Is 40 a factor of p?
False
Let h = 97 - 21. Is h a multiple of 19?
True
Is (58/(-4))/(8/(-16)) a multiple of 17?
False
Let r(v) = -v**3 + 2*v**2 - v. Let j be r(1). Suppose -q + j*q + 32 = 0. Let c = 45 - q. Does 5 divide c?
False
Suppose 0*t = -3*t - b + 11, 0 = 3*t + 4*b - 17. Suppose 2*m = t - 5. Does 6 divide 12 - (2/m + 2)?
True
Let y = 48 - 33. Is y a multiple of 3?
True
Suppose -5*k + 87 = -13. Does 4 divide k?
True
Let o(g) = -g**2 - 24*g - 20. Does 27 divide o(-21)?
False
Let p(i) = -i**3 + 4*i**2 + 6*i - 3. Let f be p(5). Suppose 0 = -f*l + 2*w + 3*w + 107, 0 = 4*l - w - 205. Is 13 a factor of l?
False
Suppose 0 = -4*g + 4*w + 680, 0 = -4*g + 5*w - 0*w + 677. Does 21 divide g?
False
Let k = 25 - -213. Is 35 a factor of k?
False
Suppose 45 + 163 = -4*p. Let y = -86 - p. Let a = 50 + y. Does 8 divide a?
True
Let d = 8 - 5. Suppose -j - d*h - 18 = 0, -26 + 3 = j - 2*h. Let o = j - -37. Is o a multiple of 16?
True
Suppose -4*w + 851 = -4*i + 127, -4*w = 3*i - 738. Suppose w = -4*z + 51. Let l = -6 - z. Is 15 a factor of l?
False
Suppose 0 = 3*m - m. Suppose -3*b + 2*f + 20 = -m*f, 4*b = -2*f + 36. Is 8 a factor of b?
True
Suppose -14*q + 12*q = -96. Is q a multiple of 7?
False
Let y = -5 + 9. Suppose -b - 2*p - 10 = -4, y*b + p = -3. Suppose b*r = -r + 12. Is r a multiple of 4?
True
Suppose s + 8 = 5*s. Suppose -s = -2*l - 3*c + 11, 2*c + 6 = 0. Is 11 a factor of l?
True
Let l(r) = 4*r - 2. Let q be l(-3). Let u = 2 - q. Is 8*4/(u/10) a multiple of 9?
False
Let d(w) = w**2 - 11*w - 9. Let h(s) = 2*s**2 - 12*s - 10. Let m(z) = 3*d(z) - 2*h(z). Is m(-7) a multiple of 7?
True
Let w(d) = 8*d**2 + d + 2. Let x be w(2). Suppose q - 4 - x = 0. Suppose -3*j + 0*j + q = 5*b, 4*b = 4*j. Does 4 divide b?
False
Suppose 2*c - 39 = -3. Let o = -14 + c. Is 3 a factor of o?
False
Let y be (-2)/((-2)/(-5)*1). Let r = 17 + y. Is 5 a factor of r?
False
Suppose 5*c + 272 - 842 = 0. Suppose -y - y + c = 0. Does 23 divide y?
False
Let g = 75 + -57. Is 4 a factor of g?
False
Let r(n) = -181*n + 1. Let d be r(-1). Suppose -d = 4*v - 9*v - 2*f, 2*f + 84 = 2*v. Is 8 a factor of v?
False
Suppose 0 = -14*q + 6*q + 432. Is q a multiple of 3?
True
Let r = 22 + 20. Does 14 divide r?
True
Let o be 3/(1 - 13/10). Let p(y) = -y**2 - 11*y - 1 + 3 + 3. Is p(o) a multiple of 15?
True
Suppose -2*l - l = -39. Let j = 91 - l. Is 26 a factor of j?
True
Let d(n) = 10*n**2 - 2*n - 2. Suppose 5*y + 3*a - 22 = 0, 3*y + y - 4*a - 24 = 0. Suppose 10*i = q + y*i + 18, 2*i = 4*q. Is d(q) a multiple of 12?
False
Is ((-81)/(-6))/(8/16) a multiple of 27?
True
Let u(q) = -q - 1. Let b be u(-4). Let y(x) = 2*x. Is 5 a factor of y(b)?
False
Let p be (-2)/(-2 - (-2 - -1)). Suppose 0 = -s - 1, 3*l - p*s - 42 = -l. Is l*10*(-2)/(-8) a multiple of 16?
False
Let d be 1*2 + (-3)/(-3). Suppose -o + 8 = d*o. Does 13 divide (o - 1) + (-80)/(-4)?
False
Let d be ((-20)/15)/(1/15). Let r = 1 - d. Does 9 divide r?
False
Let n(r) = -r + 12. Let p(x) = 7*x**2 - 1. Suppose 3 = 2*h + 5. Let q be p(h). Is 6 a factor of n(q)?
True
Let h(k) = k**2 - 2*k - 4. Let l be h(4). Suppose 2*y + 130 = 4*n, 5*n + l*y - 2*y = 149. Is 15 a factor of n?
False
Let s = -6 - 2. Suppose 3*f + b - 9 - 6 = 0, -5*f + 32 = 4*b. Let k = f - s. Does 6 divide k?
True
Suppose -6*l + 2*l = -60. Is 15 a factor of l?
True
Suppose -12 = -4*x + 4. Is 276/18 - x/(-6) a multiple of 16?
True
Suppose 2*l = -c + 45, l - 3*c - 10 = -c. Let m = l - 14. Is ((-6)/(-4))/(m/8) a multiple of 2?
True
Let b(l) = 6*l + 2*l**2 - 1 - 3*l + 5. Let r = 17 - 13. Does 13 divide b(r)?
False
Let x = 211 - 143. Does 15 divide x?
False
Suppose 5*a - 50 = -l + 10*a, 5*l + a = 250. Does 10 divide l?
True
Let a = 131 - 21. Suppose 5*t + u = a, -55 + 14 = -2*t - u. Is t a multiple of 12?
False
Suppose 340 = -2*s + 6*s. Let n = s - 50. Is n a multiple of 14?
False
Let x(h) = -h + 7. Let d be x(5). Suppose -3*t + 40 = -5*p + d*t, 34 = -3*p - 2*t. Is 10 a factor of ((-40)/6)/(p/15)?
True
Let f(x) = 8*x**2 - 7*x - 1. Is 20 a factor of f(-7)?
True
Let p(u) = 5*u + 49. Is 23 a factor of p(27)?
True
Suppose 20*q - 36 = 18*q. Does 3 divide q?
True
Let g(l) = l**3 - 5*l**2 + 5*l - 2. Let u be g(4). Suppose -4*h - 3*j - 11 = -3, u*j + 10 = 2*h. Is 1/(h + 11/(-12)) a multiple of 12?
True
Is 8 a factor of ((-48)/9)/(4/(-18))?
True
Let z = 0 - 0. Suppose -3*j - j + 96 = z. Is j a multiple of 7?
False
Let w(z) = 3*z**2 + 2*z - 2. Let l be w(-2). Suppose j = -5*p + 20, l*j + 3*p = j + 56. Suppose j + 30 = 4*k. Is k a multiple of 5?
True
Let s be (8 - 11)*(-1 + 0). Suppose -s*q - 156 = -6*q. Is 29 a factor of q?
False
Let o = 4 - -6. Suppose -o = 5*g - 5*h, 2*g + h + 2 = 2*h. Suppose g = -4*s + s + 54. Is s a multiple of 9?
True
Is -192*3*2/(48/(-4)) a multiple of 12?
True
Let s(j) = j. Let y be s(0). Suppose 4*l + 0*c + 4*c - 120 = 0, y = -l + 5*c + 18. Suppose 2*p = -2*p + l. Is p a multiple of 3?
False
Let t be (-76)/(-6)*(-18)/(-12). Let n be t/(-3) - 2/(-6). Is 3 a factor of (-4)/n - (-16)/3?
True
Suppose 2*w - 5*c - 209 = 0, 0 = -w - 4*c + 12 + 112. Is 29 a factor of w?
False
Let b(q) = -q**2 - 10*q + 9. Is 9 a factor of b(-10)?
True
Let r(z) = 2*z**3 + z**2 - 5*z + 3. Let v be r(-4). Let l = 142 + v. Suppose -2*j - 32 + 0 = -3*x, 2*x + 5*j = l. Does 7 divide x?
True
Let o(t) = 3*t**2 + 9*t - 8. Let u(v) = 7*v**2 + 18*v - 16. Let f(a) = -5*o(a) + 2*u(a). Suppose 4*p + 13 = -11. Is f(p) a multiple of 11?
False
Is 7 a factor of 75/10*22/3?
False
Let g(v) = -v**3 - 2*v + 4. Is 7 a factor of g(-3)?
False
Let w = -157 + 221. Does 27 divide w?
False
Suppose 4*y + 10 = 5*f, 5*f = 4*y - 2*y + 20. Suppose -f = 4*t - 38. Is 2/t + 234/24 a multiple of 9?
False
Let u be (2 - 0)/((-7)/70). Let z = 34 - u. Is 18 a factor of z?
True
Let z(v) be the first derivative of -v**3/6 - 2*v**2 + 3*v + 4. Let f(h) be the first derivative of z(h). Is 3 a factor of f(-7)?
True
Let h(v) = v - 10. Suppose -45 = -3*b - 9. Let r be h(b). Does 3 divide 1 - -1 - (-4)/r?
False
Let q be (-15)/18 + (-2)/12. Let t(i) = -20*i - 1. Does 8 divide t(q)?
False
Let v = -74 - -45. Let r = 53 + v. Is 12 a factor of r?
True
Is 19 a factor of 1*111 + 1 + 4/2?
True
Let n = 5 + 1. Suppose 4*d = -2*c - 2, 3*c + 2*d - n = c. Suppose 145 = -2*m + c*m. Is m a multiple of 21?
False
Does 12 divide 13/((-390)/20)*(-287 + -1)?
True
Let t be (12/30)/(1/(-65)). Let q = t - -40. Is q a multiple of 13?
False
Let m = -6 + 11. Let z(i) = -i**3 - 12*i**2 - 11*i + 16. Let f be z(-11). Suppose -2*b + 5*b - g - f = 0, 5*b + m*g - 20 = 0. Is 2 a factor of b?
False
Let j be -2*1/4*0. Let k(g) = -12 + 18 + g**2 + 2*g - g**3 - 3*g. Is k(j) a multiple of 6?
True
Does 12 divide (12/(-9))/(1/(-33)*2)?
False
Let y(i) = 16*i**2 - 3*i + 2. Let v be y(2). Let m = v - 17. Suppose 0*r = -4*f - 4*r + 80, -2*f = -r - m. Is 7 a factor of f?
True
Let a be -2 + 1 + 2 + 1. Suppose 0 = -2*g - 2, a*j - 3*j + 5 = -4*g. Is -1*-6*(j + 1) a multiple of 4?
True
Suppose 8*w + 106 = 4*q + 3*w, 5*q + 5*w = 110. Suppose 4*t = -73 + 293. Let f = t - q. Does 15 divide f?
False
Suppose -4*m - 28 = -140. Is m a multiple of 7?
True
Suppose -3*p - 187 = -q + 197, 0 = 2*q - p - 788. Is q a multiple of 66?
True
Let o(w) = -w**2 - 11*w + 7. Let f(u) = -5*u + 3. Let a(c) = 5*f(c) - 2*o(c). Let i be a(-4). Suppose -i = j - 4*j. Does 11 divide j?
