 = 2*r + b for r.
5
Suppose 0 = -f + 1, 0 = 2*c + c - 2*f - 7. Suppose 5*y = c*y. Let s be 1/((-2)/(-4) - y). Solve 0 = 3*i + s*i - 5 for i.
1
Let p = 5 + -5. Suppose -2*u + p*u = 0. Solve u = -y + 3*y + 6 for y.
-3
Let c be 4 + -1 + 2/1. Solve 7 + 3 = c*a for a.
2
Let w be (0 + 0)*1 + 5. Let f = -21 + 33. Suppose b + f = 3*j + 1, 3*b - 3 = 0. Solve 0 = j*v - w*v + 4 for v.
4
Suppose -16 = 4*k, 0 = -j - j - 2*k - 6. Solve -3*d = -7 + j for d.
2
Let k(m) = m**3 - 8*m**2 - 19*m - 9. Let a be k(10). Solve 0 = r - 5 + a for r.
4
Suppose -4*t - t = -5. Let l be (-1)/((t/(-7))/1). Solve -5*s - 22 = -l for s.
-3
Suppose 34 = -2*w - 4*c + 4, -84 = 5*w + c. Let v = w + 20. Solve -v*m = -2*m - 4 for m.
4
Suppose -4*b + 12 = 3*k, 4*k = -b - 0*b + 16. Suppose 0*v = v + 3*v. Solve v*p - p = b for p.
0
Suppose 5*w - 5 = -30. Let o(p) = -p. Let x be o(w). Let g = 27 - -4. Solve x*q = 6 - g for q.
-5
Let g be ((-26)/12)/(-13) - (-46)/12. Solve 6 + g = -2*p for p.
-5
Let o = 23 + -21. Solve o*j = -j for j.
0
Suppose -3*y - 17 = -59. Let n = y + -8. Solve 0 = 2*k + n for k.
-3
Suppose -4 = 2*m + 4*x - 12, 2*m - 3*x - 8 = 0. Suppose -4*g + 30 = -4*b - 82, -5*g + 138 = -4*b. Let t = g + m. Solve -5*z - 5 + t = 0 for z.
5
Let g = 20 + -7. Let f = g + -11. Solve 6 = 2*o - f for o.
4
Suppose 98 = 12*d - 10. Solve 5*y - d*y = 20 for y.
-5
Let l(o) = o + 10. Let y be l(-6). Suppose -q + 1 = -y. Solve q = -0*s - s for s.
-5
Let w = 12 - 9. Solve -4*x + w*x = 0 for x.
0
Suppose 3*a + 12 = 42. Let u = a - -3. Suppose 38 - u = 5*r. Solve -5*x + r = -0*x for x.
1
Suppose 52 = 4*i + 4*b, i = -2*b - b + 9. Solve 2*h = -h - i for h.
-5
Suppose 3*v - a = -0*a - 10, 0 = 3*v - 2*a + 5. Let y = v - -8. Solve 6*i = y*i - 3 for i.
-1
Let t be 50/(-15)*(-18)/10. Suppose 3*l + 6 = -0*s - 5*s, -5*l = 4*s + 23. Let h = -5 - l. Solve t*w - h*w = -20 for w.
-5
Let m = 1 + -1. Suppose m = -d - x + 8, 15 + 2 = d + 4*x. Suppose -c - 25 = -6*c + d*n, 3*c + 1 = -5*n. Solve 0 = c*v + 2*v + 10 for v.
-2
Suppose 3*t - t = 4. Let g be 2 - (0 - 4) - -3. Suppose t*v - g + 3 = 0. Solve v*i + 1 = 4*i for i.
1
Let o(l) = -l - 8. Let k be o(-6). Let c(t) = t**2 + t + 2. Let y be c(k). Solve 0 = y*q - q - 9 for q.
3
Suppose 12 = z + 2*z. Solve 0 = i - 2*i + z for i.
4
Suppose -2*r + 10 = 3*r. Solve 0 = r*h + 1 + 5 for h.
-3
Let u = -8 + 5. Let o(k) = k + 4. Let a be o(u). Let m be -3*3/((-3)/a). Solve m = -5*y + 8 for y.
1
Let y be 52/14 - (-6)/21. Let h be (3 - y)*(-4 - -1). Solve 9 + h = 3*u for u.
4
Suppose 3*p - 8 = 5*p. Let n = -5 - -6. Let s be (-1)/p + n/(-4). Solve -2*r - 2*r = s for r.
0
Suppose 2*s + 2*o = 12, 0 = -5*s - 0*s + 3*o + 14. Suppose 2*p + 0*p = 4. Let n = 8 - p. Solve 2*l = n*l - s for l.
1
Let z be 3 + (7 - 0) + 0. Solve -m = m - z for m.
5
Let n(k) = -k**3 - 11*k**2 - 20*k - 14. Let x be n(-9). Solve 0 = 3*s + x + 5 for s.
-3
Let d be 21/(-49)*(0 + -7). Suppose 4*s = 3*s + 2. Solve 0 = -m - d - s for m.
-5
Let a be (1 + -2)/((-2)/(-22)). Let v = -7 - a. Solve -v*z + 5 = -3*z for z.
5
Let b(d) = -d**3 + 6*d**2 + 6*d + 3. Let r be b(7). Let y(f) = -2*f - 6. Let p be y(r). Let u(g) = 2*g + 2. Let o be u(p). Solve o = -5*n + 2*n for n.
-2
Let u(r) = -2*r - 7. Let o be u(-6). Solve -o*g + 22 + 3 = 0 for g.
5
Let z(q) = q**3 + 4*q**2 - 5*q + 5. Let g be z(-5). Suppose 6 = g*k - 14. Suppose -5*i - 24 = -k*o - i, -i + 10 = 3*o. Solve -5 + 1 = -o*u for u.
1
Let q(x) = -x**2 + 5*x + 1. Let b be q(4). Suppose -o = -b*o. Solve o*a = 5*a + 20 for a.
-4
Let a(r) = -r. Let z be (12/(-15))/(6/15). Let h be a(z). Solve -u = 6 - h for u.
-4
Let m = 23 - 20. Suppose -6 = -b + 1. Solve k = -m + b for k.
4
Let y(c) = c - 6. Let x be y(3). Let k be 5 + x + 2/1. Solve k*i - 2 = 6 for i.
2
Let i(v) = v**3 - 5*v**2 - 6*v. Let s be i(6). Suppose 4*q + x - 4*x = 32, q + 4*x - 8 = s. Solve -5*m = -12 - q for m.
4
Let t(b) = b**3 - 7*b**2 + 9*b - 9. Let x be t(6). Solve 3*o = -3 - x for o.
-4
Let j = -29 + 36. Let h be (-5 + 0)/(1/(-3)). Solve h = -2*i + j*i for i.
3
Let m be (1 - 0)/(-1 - -2). Let q = m + 1. Suppose j = -j + 4, -q*z = 5*j - 10. Solve z*s = 4*s + 16 for s.
-4
Suppose -n + 0*n - 12 = -4*m, 2*n - 2*m = 0. Solve 10 = b + n*b for b.
2
Let j(c) be the second derivative of -c**3/6 - c**2/2 - 2*c. Let h be j(-3). Let v = -6 + 8. Solve -h = -4*b + v for b.
1
Let a(b) = b + 8. Let x be a(-7). Solve -2*c + 5 + x = 0 for c.
3
Suppose -3 = r - 9. Suppose -5*j = -8*j + r. Let b = -2 - -12. Solve 0 = 4*w + b - j for w.
-2
Suppose 6 + 3 = 3*c. Suppose -2 - c = -l. Let p = 14 - -11. Solve 5*q - p + l = 0 for q.
4
Suppose 0 = -i - 1 + 4. Solve 0*k = -k + i for k.
3
Let q(x) = 7*x**3 - x**2 - 6*x - 2. Let n(h) = h**3 + h**2 - h - 1. Let j(m) = -6*n(m) + q(m). Let t = 15 + -8. Let p be j(t). Solve f + p = -0*f for f.
-4
Let b(a) = a**3 + 4*a**2 - 4. Let p(g) = g**3 - 5*g**2 - 6*g - 3. Let q be p(6). Let o be b(q). Solve o = -5*y - 0 for y.
-1
Suppose -5*l = -b - 18, 0 = b + 4*l - 5*l + 2. Solve -1 = b*t - 7 for t.
3
Suppose 0 = 7*t - 0*t. Suppose -3*j + 2*j + 2 = t. Solve -x + 9 = j*x for x.
3
Let b = -6 - 4. Let v be 4/10 + (-26)/b. Suppose -c = -5*x - 28, 5*c + x = -0*x + 10. Solve 15 - v = c*k for k.
4
Let h(w) = w + 11. Let s be h(-5). Solve 5*d - s = 2*d for d.
2
Suppose -10*x = -9*x. Let a(t) = -t**3 + t**2 + t. Let o be a(0). Suppose 2*l + o*l - 8 = 0. Solve v + l*v - 15 = x for v.
3
Suppose -3*k + 19 = 2*y, 2*y + 4*k - 19 = 3. Solve y*i + 8 = -7 for i.
-3
Suppose 3*w + 2 = 4*w. Suppose -5 = -2*i - 8*y + 3*y, 4*i + 2 = 2*y. Let q = 0 + i. Solve q = -0*b - w*b for b.
0
Let o(z) = -z**2 - 10*z + 11. Let l be o(-11). Suppose -u - 3*h = -5*u + 31, -u + 2*h + 14 = l. Let v be (-1)/6 - (-50)/12. Solve 0*g = u*g - v for g.
1
Suppose h = -5*z + 23, 4*z = -5*h + 20 + 11. Suppose r + 2*r - h = 0. Solve 6 = b + r for b.
5
Suppose 0 = -5*r + 5, 3*u + 5*r - 11 = u. Suppose 5*w - 34 + 9 = 0, 2*w = t - 6. Suppose u*n - t = -5*k, -2*n = 3*n + 4*k - 18. Solve 0 = -2*q - n*q + 16 for q.
4
Suppose -2*a - 13 = -3*a. Solve -a + 3 = 2*m for m.
-5
Suppose -3*r = -19 + 1. Let q be (-77)/(-3) - r/9. Suppose s = -1, -4 + q = 4*d - s. Solve 0 = u - 0 - d for u.
5
Let y be (2/4)/(1/(-4)). Let d be 3/y*(-2)/3. Solve 3 + d = -g for g.
-4
Let y(h) = -h + 2. Let l be y(5). Let g be (-1 + (l - -4))/1. Solve 4*f - 27 + 7 = g for f.
5
Suppose 4*c - 5 = -1. Let a = 7 - c. Solve 0 = -d + 4*d - a for d.
2
Let o be 162/(-8) - 2/(-8). Let r be -3 + 8/4 - -2. Let k be (-5)/o - r/4. Solve k = 2*a - a - 5 for a.
5
Suppose 5 = 4*q + q + 5*s, 0 = -4*q - 5*s + 3. Let f be (5 - (q + 0)) + 1. Suppose 5*z + 2*l + 5 = 6*l, f*z + 3*l - 27 = 0. Solve z*o - 3 = -18 for o.
-5
Let w(h) = h**2 - 4*h - 2. Let l be (1*4)/(4/(-6)). Let q = l - -11. Let z be w(q). Solve -p - z = 2*p for p.
-1
Suppose 3*t = 11*t - 96. Solve -h = -4*h + t for h.
4
Let x be ((-5)/3 + 1)*-36. Let t = x + -14. Solve w = 3*w + t for w.
-5
Let v(g) = 3*g**2 - 4*g - 5. Let k be v(-1). Solve k + 10 = -3*w for w.
-4
Let v be -2 - 1*10/(-2)*1. Solve -2*r + v = -1 for r.
2
Suppose -2*g - 16 = -4*g + 4*u, -4*u = g + 16. Solve 0 = -t - g + 5 for t.
5
Let b(l) = -2*l**3 + 3*l + l**3 + 2 - 3*l**2 - 3. Let w be b(-4). Solve w*h + h = 12 for h.
3
Suppose 2*a - 5*q + 4 = 12, -5*q + 10 = 0. Suppose 3 = -2*n + 11. Let s = n - 1. Solve -3*b = s + a for b.
-4
Suppose -2*l + 2*f - f = -5, -1 = -l + 2*f. Solve -v - l = 2 for v.
-5
Suppose -6 = 5*v - 1. Let y be 0 + 1 + v/(-1). Solve -1 = y*p + 3 for p.
-2
Suppose 0*a + a - 2*u + 4 = 0, 7 = 5*a - u. Let h = -13 - -21. Suppose h = a*q + 2*q. Solve f = q*f + 1 for f.
-1
Suppose 2*k + 3*y + 23 - 3 = 0, -y = 2. Let x be ((-60)/(-25))/(3/(-15)). Let r = k - x. Solve 17 = -r*p - 3 for p.
-4
Let b(d) = d**2 + d + 2*d + 10*d + 14. Let p = -9 + -3. Let w be b(p). Solve l - w*l = 0 for l.
0
Let u(q) = q**2 - q - 1. Let z be u(-2). Suppose 8 = z*k - 3*r - 5, -5*r = 2*k + 1. Solve k*a + 0*a = 4 for a.
2
Let r(u) = -11*u + 2. Let j be r(-2). Suppose -3*d = -5*d - b + j, -d - 2 = 4*b. Let o = 22 - d. Solve -h = h - o for h.
4
Suppose 3*f - 7 = -g, g + 3*f + f - 8 = 0. Suppose 0 = -l + g + 1. Solve -5*a - l = -0 for a.
-1
Let i(c) = c**3 + 11*c**2 + c + 12. Let a be i(-11). Solve -w + 2 = -a for w.
3
Suppose 2*f = -2*v, 3*f + 2*v = 7*v - 8. Let y be 0/(2*(f + 0)).