r f.
-1
Let r = -12 - -14. Solve 0 = 5*g - 4*g + r for g.
-2
Let i be (-4 + 3 - -17) + -4. Solve 4*v + 8 = -i for v.
-5
Let u(w) = -2*w - 8. Let v(c) = 4*c + 17. Let b(d) = -5*u(d) - 3*v(d). Let a be b(-8). Solve 0 = a*l + 15 + 5 for l.
-4
Let q = -187 + 198. Solve -5 = -4*m + q for m.
4
Let s = 5 + -5. Suppose s*o + 40 = 5*m - 2*o, -2*o = 3*m - 24. Solve -20 = -m*b + 4*b for b.
5
Let b(q) = q**2 + 4*q - 8. Let l be b(-6). Solve -23 = -l*a - 7 for a.
4
Let o be (1 - 0) + (3 - 6). Let m = 6 + o. Solve -h = -m*h + 6 for h.
2
Let x(k) = -k**3 + k. Let n be x(-1). Let f = 2 + n. Suppose 6*w = f*w. Solve -2*y + w*y + 10 = 0 for y.
5
Suppose -g = -3*t + 6, 2*t - 6 = -3*g - t. Solve g = n + n for n.
0
Suppose -5*d = -d - 2*v - 4, 0 = 5*v. Solve -d = 5*n - 11 for n.
2
Suppose 0 = -5*x - 0*x. Suppose -5*w = 3*b + 2*b + 55, b - 55 = 5*w. Let h = w - -16. Solve h*a = -x*a for a.
0
Suppose 12*y - 10*y - 4 = 0. Solve k + y - 7 = 0 for k.
5
Let b be ((-2)/2)/((-2)/4). Suppose 0*m - b*m + 32 = 0. Solve -3*f - f = -m for f.
4
Suppose -2*i = -2*u, 6*i = 2*i - 5*u + 18. Solve -i*p = -5*p for p.
0
Let g(z) = -5*z + 9. Let l be g(6). Let c = l + 13. Let a = 12 - c. Solve a = -v - 4*v for v.
-4
Suppose 0 = 2*t - 5*t + 18. Suppose -t*o - 4*z - 29 = -11*o, 4*o + z - 19 = 0. Let c = o + -2. Solve -3*g = -c - 0 for g.
1
Let h = -9 + 9. Solve 6*s - 2*s + 20 = h for s.
-5
Suppose 0 = -5*x + 15, 0*q = 5*q + 5*x - 30. Solve q*b - 22 = -7 for b.
5
Suppose 2*x - 4*o = 26, -3*x + 0*x = -3*o - 24. Let z be 3/(-9) - 20/(-6). Let m be 8*z/18*3. Solve 0 = x*j - m*j for j.
0
Let w be 1*(-1 + -3) - -6. Solve s = -s + w for s.
1
Suppose -2*v + 40 - 24 = 0. Solve n = 3*n + v for n.
-4
Suppose q + q - 100 = -5*b, 4*b - 67 = q. Suppose -4*c = -2*c - b. Let p be 2 + (-6)/c*3. Solve p = -5*m + m for m.
0
Let n(a) = -3 + 6*a**2 - 1 + 4 + 4 - a**3. Let z = -8 - -14. Let u be n(z). Solve u*t + 9 = -3 for t.
-3
Let w be -3 - 3*(-5)/3. Suppose -w = 4*a - 54. Solve 5*r = a - 38 for r.
-5
Let o = 6 + -1. Suppose 0 = -9*d + 4*d + 4*b + o, -3*b - 10 = -5*d. Suppose m - 4*x = -8*x + 8, -4*m + 21 = d*x. Solve -15 = -r - m*r for r.
3
Let u be 2/(0 - 6/15). Let z = 7 + u. Let f be 1/(-4) + 27/12. Solve f*g - g = -z for g.
-2
Let m be (-4)/18 - (-148)/18. Suppose -2*o = -m - 0. Solve 3*x + 19 - o = 0 for x.
-5
Let a = -6 - -8. Suppose -3*m + 1 = -4*q, -5*q + 14 = 5*m - 11. Solve -m = a*v + 5 for v.
-4
Suppose 4*u = -3*b, -u - u = -5*b. Suppose -2*o - 2*o = -3*y + 19, -3*y - 3*o - 9 = 0. Solve -s = y - u for s.
-1
Let y = -1 + 3. Suppose y*w - 3*w + 5 = 0. Solve 4 = -w*d + 14 for d.
2
Let s = -28 - -39. Solve 9 = -5*f - s for f.
-4
Suppose 3*r - 7 = -1. Let u = 10 - 8. Suppose 0 = u*z - y + r, 3*y = 5*z + 6*y - 17. Solve 3 - z = 2*x for x.
1
Let t be ((2 + -2)/3)/1. Suppose -4*d + 1 - 33 = 0. Let j = d + 13. Solve j*x = -t*x - 20 for x.
-4
Let m(p) = p**3 + 4*p**2 + 2*p - 1. Let k = -12 + 8. Let u = k - -2. Let j be m(u). Solve 3*s + 0*s - j = 0 for s.
1
Suppose 2*r - 22 = -3*l, -36 = -4*l - 3*r - r. Let g = 8 + l. Solve -2 = 2*t - g for t.
5
Suppose -4*t + 2*y = -8*t + 18, -t + 27 = 5*y. Suppose 12*n - 2*n - 20 = 0. Solve -n*j - t = 2 for j.
-2
Let d be 2/(3/30*-2). Let a(v) = v**2 + 10*v + 14. Let w be a(d). Let g be 60/14 - 4/w. Solve -3*l = g + 11 for l.
-5
Suppose -4*g - 10 = -6*g. Suppose -4 = 2*q - 6*q - 5*c, -20 = g*c. Solve v = -v - q for v.
-3
Let n = 6 + -6. Suppose -t - 5*z + 7 = 5, -t + 2*z + 2 = n. Solve 3 = -5*b + t*b for b.
-1
Let z be 2/4 + (-6)/12. Let u be z - 15/(-4 - -1). Let d(l) = -l**3 - 5*l**2 - 2*l - 4. Let s be d(-5). Solve u*p + s = -4 for p.
-2
Let c(j) = -j**3 - 6*j**2 - 8*j - 5. Let k be c(-5). Let g be 1*k/4*2. Solve 0 + g = o for o.
5
Suppose -3*m = -8*o + 4*o - 25, 0 = 3*m + 4*o + 7. Solve -m*k = 6 - 0 for k.
-2
Suppose 4*l + l = -25. Let a = -11 + 1. Let k = l - a. Solve k*z + 8 = z for z.
-2
Let t = 2 + -4. Let n = 4 + t. Solve n = 2*a - 4*a for a.
-1
Suppose 0 = -5*r - 10, -a - 2*r + 3*r + 8 = 0. Let g be (-44)/(-8) + (-3)/a. Solve -g - 3 = 4*t for t.
-2
Let t be (210/28)/(2/12). Let i be (t/(-36))/(1/(-4)). Suppose 5*s + 3*y = 4 + 19, -3*y + 15 = 3*s. Solve -i = s*q + 7 for q.
-3
Let b(x) = x**3 + 4*x**2 + 3*x. Let j be b(-3). Let v be j/((-4 + 2)/2). Solve 2*f + v*f + 10 = 0 for f.
-5
Let s(f) = -f**2 + 6*f - 5. Let m be s(3). Let x(h) = 5*h**2 - 3*h - 2. Let c be x(-2). Let v be (-6)/c + 81/4. Solve m*r = -0*r - v for r.
-5
Suppose 3*c - 13*c + 9*c = 0. Solve c = -4*h - h + 10 for h.
2
Let n = -66 + 69. Solve 4*d = d - n for d.
-1
Suppose 0 = -5*v - 3*m + 2 + 12, 4*v - m = 18. Solve 0 = -v*s + 3*s for s.
0
Let a(j) be the second derivative of j**4/12 - j**3/6 + j**2 - 2*j. Let s be (-2)/7 + 4/14. Let h be a(s). Solve h = -5*k + 3*k for k.
-1
Let h(u) = u**2 + 3*u - 1. Let p be h(-4). Let y(x) = -x - 5. Let c be y(-8). Suppose -6 = -c*k - 0. Solve -1 = k*j + p for j.
-2
Suppose -17 + 42 = 5*w. Suppose 2*n = w*n - 3. Let y be 0/(-4 + n) + 4. Solve y*v + 12 = v for v.
-4
Suppose -4*o = -2*o. Solve -4*s + 5 - 1 = o for s.
1
Let w = 13 + -11. Solve 0 + w = -x for x.
-2
Suppose -2*g + 31 = 11. Let k(p) = -4*p - 3. Let x be k(-2). Solve g*r + 20 = x*r for r.
-4
Let t(u) = 11*u - 1. Let v be t(7). Let g = v - 44. Let p = g + -12. Solve 3*i + p = 7*i for i.
5
Let c(v) = -v - 4. Let x be c(-5). Suppose 3*k + 2 + 11 = -f, 0 = k + 4. Let h be (f + 124/20)*5. Solve -5*a + h - x = 0 for a.
5
Suppose 2*i - i = 0. Suppose i = -0*a + 2*a - 8. Solve 14 = 5*m + a for m.
2
Let u be ((-45)/6)/((-1)/2). Let z be (u/(-6))/((-1)/2). Suppose 5 = 2*p - 3. Solve z*o - o = -p for o.
-1
Let m be (-4)/(2 - 3/3). Let f be (-20)/(-6) + m/12. Solve 0 = f*p - 3 + 15 for p.
-4
Let s = 15 + -12. Solve -2*n + 3*n = -s for n.
-3
Let o = -33 - -36. Solve 0 = 2*z + 11 - o for z.
-4
Suppose c - 3 = -0*c. Solve 2*p - 3 = c*p for p.
-3
Let u(b) = -b**2 + b - 5*b**3 + 4*b**2 + 3*b**3. Let r be u(-2). Let a = 51 - r. Solve -a = 5*l - 0*l for l.
-5
Suppose -2*b + 3 = -1. Solve q = -q + b for q.
1
Let m = -9 - -10. Let n be m + -1 + -3 + 13. Let r be (-2)/n + 80/25. Solve -g + r = -2 for g.
5
Let k be 3/(-9) + 16/3. Let o(a) = -6*a - 3 + 6*a + 6 - a**3 + 4*a**2. Let p be o(4). Solve -k*u = 7 + p for u.
-2
Suppose 2*u = -2*z - 2 - 0, -2 = 2*u. Suppose z = -s - 5*f, 5*s + 5*f - 19 = 1. Solve 0*k - 5 = s*k for k.
-1
Let k be (9 + 1)*(-8)/(-20). Let g(d) = d**2 - 6*d + 6. Let n be g(5). Solve 3 = -k*x - n for x.
-1
Suppose -2*c = -154 + 146. Solve 0*b - c = 4*b for b.
-1
Suppose 0 = -l + 3. Suppose -3 + 11 = 4*v. Solve 0 = r - l*r + v for r.
1
Let n(m) = m - 1. Let u be n(0). Let k = 4 - u. Let a = -2 + k. Solve -y - a = -4 for y.
1
Let m(t) = -t**3 + 2*t**2 + t - 1. Let f be m(3). Let x = f - -11. Let j be 2/(8/84) + -2. Solve 3 = x*w + j for w.
-4
Suppose -42 = -4*f - 2*s, -2*f - 3*s = 3*f - 54. Solve 2*j - f = -j for j.
3
Suppose 0 = -5*d + 10, 4*l + 2*d = -l - 16. Let p be (1/(-5))/(l/20). Solve 0*x + x = p for x.
1
Suppose 2*w + 150 = 7*w. Suppose -9*t = -4*t - w. Solve -4 = 2*z + t for z.
-5
Let l = -19 + 27. Solve -r = r + l for r.
-4
Let r(h) = -h**3 + 2*h**2 + 5*h - 4. Let i be r(3). Suppose 0 = 3*f - 8*f. Suppose -3*q = -f*z + 4*z - 7, 5*z = -3*q + 8. Solve i*d - q - 1 = 0 for d.
1
Suppose -17*z + 7*z = 0. Solve 0 = -z*d - 3*d - 15 for d.
-5
Suppose 0 = 7*q - 6*q - 2. Solve 0 = q*t - t + 1 for t.
-1
Suppose n - 2 - 1 = 0. Let f(y) = 1 + y**3 + y + 7 + 6*y**2 + 0*y**n. Let v be f(-6). Solve 5*p = v*p for p.
0
Let t = 44 + -41. Solve g = -2*g - t for g.
-1
Suppose -16 = -5*o + 4. Solve -16 = -0*m - o*m for m.
4
Let y(v) = v - 4. Let j be y(3). Let n = 6 + -4. Let o be 3 + n + -1 + j. Solve -o*w = -w + 10 for w.
-5
Let c = 98 - 79. Solve 0 = -5*x - 1 - c for x.
-4
Suppose 2*i - 32 = -5*r + 9, 0 = 2*r + 5*i - 8. Solve -p - 2*p = -r for p.
3
Let d = -56 - -33. Let f = -13 - d. Let s be (5 + -8)*f/(-6). Solve u = -s - 0 for u.
-5
Let r be 2/(-9) - (-194)/(-18). Let t = 13 + r. Solve 8 - 2 = -t*c for c.
-3
Suppose -3*p + 12 = 4*g, g - p + 2 - 12 = 0. Suppose -21 = -3*u + 3*o, 3*u - 20 - g = 4*o. Solve -u*f = 3*f + 10 for f.
-2
Let i = 7 - 5. Solve 4*a + i - 6 = 0 for a.
1
Let a be 7/14 - 10/(-4). Suppose 0 = d + c - 6, -4*d - a*c + 15 = -13. Solve -l + d = -3*l for l.
-5
Let b be (-4 - -14)/(3 - 1). Solv