Let p be v/1*2/(-4). Let h be 1/1 - (-4)/p. Solve o + 4 + 0 = h for o.
-4
Let x(k) = -k - 6. Let r be x(-5). Let c be (-8)/(-3) + r/(-3). Suppose 4 = 4*b, 4*b + 7 = 2*f + c*b. Solve -2*t - 4 = -f*t for t.
2
Suppose 4*h + 20 = 2*a, -4*a + 5*h + 18 = -10. Let k be 1 + -2 + a - -1. Suppose -4*f + 34 - k = 0. Solve f*j - 5*j = 0 for j.
0
Let w = -7 + 12. Suppose w*s - 7 - 8 = 0. Solve -2*l = s*l + 10 for l.
-2
Let c(z) = z**2 + 6*z + 2. Let q be c(-5). Let g be 3/(q + 2 + 2). Solve 2*v - v = -g for v.
-3
Suppose 2*p + 2*x - 12 = 0, -2*p + x = -3*x + 6. Solve 7 = -2*t - p for t.
-5
Suppose 3*v + 2*v - 5 = 0. Suppose 3*q - 2*q - v = 0. Let z(r) = 4*r. Let w be z(2). Solve -3*h - q - w = 0 for h.
-3
Let j(d) = -d**3 - 3*d**2. Let g be 3/2*(-2 - 0). Let h be j(g). Let b = h + 4. Solve p + 2 = b for p.
2
Suppose -14 = c - 5*c - z, 4*c - 20 = -4*z. Let r(k) = -k**3 + 9*k**2 - k + 9. Let y be r(9). Solve -c*f + y = 3 for f.
-1
Suppose -1 = -2*z - 5. Let c be 4 + z/(3 + -1). Let p = 1879 + -1877. Solve 0 = c*k - p - 4 for k.
2
Suppose 12 - 52 = -4*x - 2*s, 0 = 2*x - 5*s + 4. Let n = -9 + 16. Let h = x + n. Solve -8*g = -3*g - h for g.
3
Suppose 3 - 6 = -k. Let t = -2 + k. Solve x - t = -0 for x.
1
Let s be (-20)/(-8)*14/5. Solve s*u = 2*u + 5 for u.
1
Suppose 5*b = 4*r - 2*r + 31, -4*r - 32 = -4*b. Solve 20 = -0*p - b*p for p.
-4
Suppose 2*t + 3*t = -2*v - 31, 0 = -4*t - 5*v - 18. Let f = t - -13. Let h(z) = 5*z - 12. Let u be h(3). Solve u = -c + f for c.
3
Suppose 0*j - 16 = 3*p - 5*j, -5*p - 4*j - 39 = 0. Let v(q) = q + 7. Let z be v(p). Solve 6*u - u + 25 = z for u.
-5
Suppose 3*h - 2*h = -6. Let y be (-20)/(-3)*h/(-4). Suppose 4*z + y = -k - 10, -z = 5. Solve 2*j - 1 + 3 = k for j.
-1
Suppose 0 = 9*j + 60 - 150. Solve -2*d + j = -0*d for d.
5
Let m(d) = 4*d - 2. Let r be (-12)/(6/(-3) - 0). Let o = r + -3. Let z be m(o). Solve -b - z = b for b.
-5
Suppose -3*d + 1 = -53. Suppose -2*c - 2*c + 18 = 2*a, 2*c + 4*a - d = 0. Solve c*p + 10 = p for p.
-5
Suppose -g = -5*w + 77, -2*w + 4*w = 4*g + 38. Suppose -w = -4*u - u. Solve 7*v = u*v + 4 for v.
1
Let n be 6/21 - (4 + (-183)/21). Solve n + 3 = -4*t for t.
-2
Let u(i) = -i**3 + i**2 + 3*i - 2. Let y be u(2). Suppose -15 = -5*r - y*r. Solve h - r + 4 = 0 for h.
-1
Let z be (-66)/759 + (-96)/(-46). Suppose -n + 8 = 2*n + 2*v, -3*v = 5*n - 13. Solve -n = -0*j + z*j for j.
-1
Let g = 18 + -18. Solve -6*r + 2*r + 20 = g for r.
5
Suppose 0 = -3*d - o + 57, -5*d + 48 = 2*o - 46. Solve -x = -5*x + d for x.
5
Suppose -4*t - 16 = -0, -3*n + 29 = -5*t. Solve 0*i = n*i + 15 for i.
-5
Let d = -8 - -13. Let s(i) = -i**2 + 7*i - 7. Let r be s(d). Solve -7 = -4*c - r for c.
1
Let t = 5 + -1. Let c = 10 - 8. Suppose -c*q = 3*q. Solve -p + t = -q*p for p.
4
Suppose 16 = 2*k + 2*k. Let a = -2 + k. Suppose 3*l - 15 = -a*l. Solve -l*u - 1 - 11 = 0 for u.
-4
Let m be (-20)/(-8) + (-6)/4. Let t(c) = c + m - 7 - 5. Let v be t(12). Solve v - 5 = k for k.
-4
Suppose -14*m = -16*m + 4. Solve -3*a = -m - 13 for a.
5
Let d(t) = 2*t + 16. Let a be d(-7). Solve 4*u = 2*u + a for u.
1
Let d be ((-6)/8 + 0)/((-105)/280). Let i(f) = -f**2 - 4*f - 3. Let c be i(-3). Solve 10 = -c*m - d*m for m.
-5
Suppose 0 = -r + o + 6, -7*o + 2*o + 50 = 5*r. Let y = -17 + r. Let u be (-6)/(-5)*(-30)/y. Solve -4*c + 0 - u = 0 for c.
-1
Let w = 24 - 22. Solve 0 = -w*l + l - 4 for l.
-4
Let t(s) = s**2 - 1. Suppose -5 = 3*a - 11. Let q be t(a). Solve 0 = q*f + f + 12 for f.
-3
Suppose -3*f + 28 = s - 6*s, -5*f = -s - 32. Solve 3*i - 6 = f for i.
4
Let z(j) = 5*j - 11. Let f(p) = 4*p - 12. Let a(y) = -6*f(y) + 5*z(y). Let n be a(-11). Solve -n - 2 = -2*m for m.
4
Let m be (6/(-21) + 0)*-7. Solve 3*i + 10 = -m for i.
-4
Suppose -2*w - 3*g + 69 = 3*w, -g = -4*w + 45. Solve -2*r = w - 2 for r.
-5
Suppose -3*g + 60 = 2*g. Let o be g/2*(-10)/(-20). Solve 0 = -2*v + o*v for v.
0
Suppose -4*h + 10 = -4*k - 10, 4*h + 3*k - 13 = 0. Suppose -h*r + 100 = r. Suppose -4*a + 0*a + 4*d = -16, -5*d = 3*a - r. Solve -a*w + 3*w = 0 for w.
0
Let j be (-2)/(-8) - 46/(-8). Let m = -267 - -272. Solve -j = -m*n + 9 for n.
3
Let v be 22/8 + (-4)/(-16). Solve 1 = v*x - 2*x for x.
1
Suppose 3*a = -x - 14, -2*a + x = -3*x. Let h be -2*2/a + 14. Solve 5 - h = -2*f for f.
5
Let w be (-6)/((-8)/(-4)) + 7. Let m be (-4)/(-8)*1*w. Solve m = t + 3 for t.
-1
Suppose -n + 3 = -3. Suppose 3*p - 3 = n. Solve 4 = p*j - 5 for j.
3
Let z(r) = r**3 + 12*r**2 + 11*r - 4. Let s be z(-11). Let o be (s/6)/((-4)/12). Solve 0*q = 2*q + o for q.
-1
Suppose 0*d = -2*d + 4. Let x = d - 0. Let s = x - 2. Solve s = a - 6*a for a.
0
Let h(r) = 2*r**2 + 3*r. Let w be (-9)/(-6)*4/(-3). Let v be h(w). Solve -4 = -v*z + 4 for z.
4
Let y = -13 - -36. Let t = y - -1. Solve 4 = -5*b + t for b.
4
Let w = -6 + 11. Let t(q) = -2*q - 9. Let b be t(-6). Suppose 0*j - j = -b. Solve -2*o + w = j for o.
1
Let b(a) = a**2 + 8*a + 7. Let t be b(-7). Suppose -w - 19 = -3*z, -z + w + 9 = -t*z. Solve -4*c + 5*c - z = 0 for c.
5
Let s(j) = j**3 + 8*j**2 + 6. Suppose 3*d - 4 = -c, c + 20 = 2*d + d. Let b be s(c). Let p be 20/b - (-3)/(-9). Solve 0*k = p*k for k.
0
Suppose 2*a = -3*a. Suppose 12 = -6*c + 3*c, 0 = -2*w - c + 2. Solve a = z + w for z.
-3
Suppose 0 = a - 4 - 0. Let l(v) = -1 + 3*v - 3*v + v. Let n be l(a). Solve -n*m = -m for m.
0
Let i(q) = -2 - q - 3 + 2*q - 4*q. Let u be i(-3). Solve u = 2*d - 4 for d.
4
Suppose -x = 3*f - 27, 27 = -2*f + 5*f - 3*x. Solve -3*k = -0*k - f for k.
3
Let b(y) = y**2 + 6*y + 5. Let u be b(0). Solve -2*w - u = -7*w for w.
1
Suppose 0 = 2*w - 3*u - 11, -5 + 15 = -2*u. Let i(q) = q + 4. Let v be i(w). Solve -2*y = -0*y + v for y.
-1
Let f be (1/(-3))/(3 - 19/6). Solve v - 15 = -f*v for v.
5
Let w(d) = 9*d - 3. Let a = -5 - -7. Let o be w(a). Solve -o = 3*q + 2*q for q.
-3
Suppose -5*y + 13 + 13 = -3*h, y + 2*h = 0. Suppose 0*n + 2*n = 2*r + 74, n - 5*r - 41 = 0. Suppose m = -2*m + n. Solve y*i = -0*i - m for i.
-3
Suppose 3*o = -4*a + 9 + 8, -49 = -3*a + 5*o. Suppose 5*c = -2*u, 0 = 2*u - 4*c - 10 - a. Solve -4*b = -u - 3 for b.
2
Suppose -l + p + 29 = 2*l, -4*l - 4*p + 60 = 0. Let s = -19 + 33. Solve 5*i + l = -s for i.
-5
Let d(l) = 5*l - 6. Let s be d(4). Let p be (-26)/(-4) - (-3)/6. Suppose p = m + 1. Solve s - m = -4*i for i.
-2
Let q be (1 + 49)/5 + 2. Solve -2*h = 2*h - q for h.
3
Let p = 23 - 20. Solve p*a = -2*a for a.
0
Let a be 0 + 8 + -5 + -3. Solve a = k - 3*k - 2 for k.
-1
Let v = 14 - 10. Solve v*x = 7*x for x.
0
Let o = -14 - -19. Suppose -3*x + 2*s - 18 = -o*x, 0 = 3*x - 4*s - 27. Solve 3 + x = -4*k for k.
-3
Let w = -9 - -15. Suppose 0 = -2*b + 2 - w. Let u be -1 + b + (-6)/(-2). Solve 4*k + u = 8 for k.
2
Let k(x) be the first derivative of -x**4/4 - 5*x**3/3 + 3*x**2 + 2*x - 4. Let r be k(-6). Solve w = -w - r for w.
-1
Suppose -7*n = -2*n + 4*c - 62, 3*n = -2*c + 38. Suppose -10*i - 4 = -n*i. Solve -3 - i = 4*r for r.
-1
Suppose 4*t + 0*t - 23 = i, 2*i = -2*t + 4. Suppose -5*a + q = -q - 4, -q + 3 = 0. Suppose 0*c = -a*c - 2*k + 46, 0 = 3*c + 4*k - 73. Solve t*r + 6 = -c for r.
-5
Let g(b) = -b**2 - 12*b - 10. Let y = -12 + 1. Let o be g(y). Suppose 4*u - 3 = o. Solve 4*w + u + 15 = 0 for w.
-4
Suppose 9*g = 7*g + 16. Solve 7*f + g = 3*f for f.
-2
Let c(a) = a**2 + 5*a + 2. Let i be c(-6). Suppose -2*x = 4*v + i, x + 1 + 8 = -3*v. Suppose x = q + q. Solve 4*z - 23 + q = 0 for z.
5
Let r(m) = -m**2 + 4*m - 3. Let c be r(2). Let p be ((-25)/10)/(2/(-24)). Suppose 2*g = -g + p. Solve 3*i + c = g for i.
3
Suppose 4*c - 51 = -31. Solve 0 = c*w - w for w.
0
Let c be -3*-3*(1 + 0). Let u be (-13)/(-6) + (-6)/36. Solve c = u*j + j for j.
3
Let u be 7/28 - 14/(-8). Solve 3*t = -u*t - 15 for t.
-3
Suppose 0 = -6*o - 0. Solve -z - 5 = -o for z.
-5
Let d(j) = 0*j + j + 4*j - 9 + j**3 + 10*j**2. Let v(n) = 2*n**3 + 20*n**2 + 11*n - 18. Let l(h) = 5*d(h) - 3*v(h). Let m be l(-9). Solve -3*w = -m*w for w.
0
Let s be -1 - (0 - -1)*-4. Suppose 5*g - 18 = 7. Let p = g + -3. Solve -p*i = i - s for i.
1
Let w(l) = 3*l**2 - 32*l + 61. Let z(s) = -2*s**2 + 21*s - 41. Let u(g) = 5*w(g) + 7*z(g). Let j be u(12). Solve 15 = 3*o + j for o.
3
Let p(l) = 2*l**2 + 3*l + 8. Let r be p(6). Let a be r/6 + (-2)/6. Solve 3*d - a = -d for d.
4
Suppose -2*n = -3*h + 4 + 2, n + 3 = -3*h. Suppose -2