e -5*r + 14 = l for r.
2
Let t be (-1 - -3) + 7/7. Suppose 1 = -t*c + 3*u + 10, 2*c - 4*u = 6. Suppose 5*p = 2*h - 16, -h - 3*h = -5*p - 32. Solve c = b + h for b.
-5
Let b be (4 - 11/2)/(3/(-18)). Solve -2*r = -5*r + b for r.
3
Let a be ((-4)/14)/((-4)/28). Solve 7*w = a*w - 25 for w.
-5
Let k(t) = t - 10. Let z be k(12). Suppose z*d - 80 = -4*x, 6*d = 5*x + d - 130. Solve -4*l + x = 6 for l.
4
Suppose 0*l = -l + 8. Let q = -5 + l. Solve 0*p + 6 = -q*p for p.
-2
Suppose 4*v + 3*q + 0 - 3 = 0, 0 = 5*v - 4*q - 27. Solve 3*m - 2*m + v = 0 for m.
-3
Suppose 4*s = -2*l + 4, 2*l + 0*l - 1 = -3*s. Solve -s*c - 27 = -12 for c.
-5
Let z(a) = a - 11. Let h be z(7). Let m(l) = -l**2 - 6*l - 5. Let r be m(h). Solve 2 - 5 = -r*x for x.
1
Let p(q) = -q**2 + 7*q + 8. Suppose -w + 9 = 3*s - s, 15 = 5*s + 4*w. Let a be p(s). Solve -3*t = -a*t + 20 for t.
4
Let p(z) = -z + 1. Let r be p(-5). Solve 2 - r = -2*k for k.
2
Suppose 0 = -6*s + 5*s + 1. Solve -n - 3 = s for n.
-4
Suppose 2*y - 2 - 4 = 0. Let i(z) = -z**3 - 8*z**2 + 2. Let a be i(-8). Solve y*t + 1 = -a for t.
-1
Let f(r) = r**2 - 3*r - 4. Suppose l - 5*l + 16 = 0. Let k be f(l). Suppose 5*m + 7*p - 2*p = 5, 0 = -4*m - 3*p + 6. Solve k*i - m*i = 0 for i.
0
Suppose -3 + 12 = 3*c. Let f = c + -3. Let s be ((1 + 0)*f)/2. Solve s = -3*p - 2 - 7 for p.
-3
Let i = 15 - 10. Solve 6*n - n = i for n.
1
Let p(m) = 2*m**3 - m**3 - 2 + 4 - 3*m**2. Suppose i + 4*l - 15 = 0, -3*i + 2*l + 12 = 3*l. Let d be p(i). Solve -7 = 5*s - d for s.
-1
Let b be (-45)/(-10) + (-2)/(-4). Solve 30 = b*q + 10 for q.
4
Let q be 2/(-4)*(-3 - 3). Solve -3*g = -6*g - q for g.
-1
Let u be (-6)/4*(-70)/15. Suppose -u = -2*q + 5. Let f be (-12)/(-9) - (-4)/q. Solve o - 5 = -f for o.
3
Let v(l) = 7*l + 3. Let g be v(4). Let j = g + -21. Solve d + 4*d = j for d.
2
Suppose 9*b - 3*m = 4*b, -8 = -b - m. Let c(h) = h**2 - 7*h - 4. Let j be c(7). Let d = 4 + j. Solve d = -b*l + 2*l + 4 for l.
4
Suppose 3*o = 4*o. Suppose o = -n - 3*a - 9, -15 = 5*a. Solve 2*q = -n - 4 for q.
-2
Let x(n) = -n**3 - 12*n**2 + n + 14. Let t be x(-12). Solve t = -3*o + 14 for o.
4
Let l(t) = -t**2 + 7*t - 5. Let y be l(5). Solve -v = -y*v + 8 for v.
2
Suppose -3*f - f + 100 = 0. Suppose -5*w + 5*h + f = 0, 4*w - 27 = -w + 4*h. Let t(a) = a**3 - 8*a**2 + 8*a - 4. Let q be t(w). Solve 0 = -j - q*j for j.
0
Suppose -3*l = -6*l + 51. Suppose -3*b - 2*d - 90 = 0, -d = 5*b + d + 150. Let g be (-6)/(-10)*b/(-6). Solve g*p = -5 + l for p.
4
Let n be 1 + (3 - 1 - 0). Let f be n/(-2) - (-33)/6. Solve -h = h - f for h.
2
Let n = 13 - -8. Let j = n - 20. Solve 2 = -a - j for a.
-3
Suppose i + i = 0. Solve i = -2*k + 5*k + 6 for k.
-2
Let k = 15 - 6. Suppose 13 - k = s. Solve s*n - 2 - 2 = 0 for n.
1
Let v = 52 - 48. Solve -2*m = -6 - v for m.
5
Let x(g) = 5*g - g**2 + 0*g**2 + 3*g**2 - g + 2. Let u be 18/(-10) - (-2)/(-10). Let f be x(u). Solve -f = -2*w - 0 for w.
1
Let a = -17 + 20. Solve w + 4 = a for w.
-1
Let q = 1 + 1. Let i(l) = l**3 - l**2 + 3*l - 1. Let y be i(q). Suppose 9 = 4*p - p. Solve -y = -p*r + 6*r for r.
-3
Let u = 17 - 0. Let c be u - (0 - (2 - 4)). Suppose 4*f + f = c. Solve -f*r + 1 = 10 for r.
-3
Suppose 3*z - 4 = 20. Let w = 31 + -19. Let y = w - z. Solve -2*a = -y*a for a.
0
Let a(m) be the first derivative of -m**3/3 - 7*m**2/2 + 4*m - 4. Let q be a(-7). Solve 0*b - q*b = 0 for b.
0
Let k(f) = -f**2 - 7*f + 4. Let m be k(-6). Suppose -3*d = -m + 1. Solve 3*u = 9 + d for u.
4
Let z(k) = -3*k**2 - 9 + 0*k**2 + 13*k - 2*k**2 + 4*k**2. Let p be z(11). Solve p = -4*c - 7 for c.
-5
Let s be 64/(-12)*(1 + 2). Let r = -10 - s. Solve -r*a = -2*a for a.
0
Suppose -c - 5*x - 40 = 2*c, -5*c - 4*x - 45 = 0. Let t be (-2)/c - 32/(-20). Let o be (t/4)/(1/4). Solve -o*a + 2 = 4 for a.
-1
Suppose 0 = 3*q - w - 21, -2*q + 4*w = w - 21. Let v(y) = y**3 - 5*y**2 - 7*y + 8. Let h be v(q). Let g be (-22)/(-6) - h/(-6). Solve -2 = -2*p + g*p for p.
-1
Let v = -22 + 37. Let m(d) = d**2 - 20*d + 24. Let o be m(19). Solve v = -5*c - o for c.
-4
Suppose 0 = -l - 1 - 0. Let x be -4 + 3 - (l + -2). Suppose x*t - t = 4. Solve i + 5 = t for i.
-1
Let m(w) = w**3 - 4*w**2 - 7*w + 5. Let r be m(5). Let y = -3 - r. Solve -12 = y*f - 5*f for f.
4
Suppose 4 = -5*y + 59. Solve -1 = 5*o - y for o.
2
Suppose -5*g + 3*g + 118 = 0. Let k be g - (1 - 6/2). Suppose x - k = -3*i - 13, 3 = x. Solve 0*q + i = -3*q for q.
-5
Suppose 5*k = 2*g - 2 - 13, 0 = 3*g + 4*k + 12. Suppose -i - i = g. Solve 4*v - 6*v = i for v.
0
Suppose -7 - 5 = -u. Solve -2*n - 2*n = -u for n.
3
Let r(d) = -d - 6. Let k be (-21)/(0 + -1) + 1. Let z = 16 - k. Let t be r(z). Solve 2*x + x = t for x.
0
Suppose 2*j = -0*j - 3*a + 12, j = 2*a + 6. Solve 4 = -j*h + 4*h for h.
-2
Let l(p) = p**3 + 3*p**2 + p - 2. Let n be l(-2). Suppose -10*z + 5*z + 10 = n. Solve -z*v - 2*v - 12 = 0 for v.
-3
Suppose j = 5*k - 2*k + 7, 4*k + 12 = 4*j. Let g be 0 + j - (-6 + 7). Suppose g = 2*h - 16 - 4. Solve h*w - 5*w = -25 for w.
-5
Let p = 8 + -4. Suppose -9 = -p*x - 1. Solve -o = x - 0 for o.
-2
Suppose i = 3 + 1. Let k be 18/24 + 77/i. Solve 2*g + k = -2*g for g.
-5
Suppose 0 = -2*v - 4*o + 14 + 2, o + 3 = 3*v. Solve -3*t = -v*t - 3 for t.
3
Let g(i) = -i**2 + 6*i - 3. Let h be g(5). Let f(d) = d**2 - 4*d. Let y be f(3). Let t = 9 + y. Solve -h*k + t*k = 0 for k.
0
Let t = 190 - 184. Solve t = -2*y - 4*y for y.
-1
Let p(y) = -y + 1. Let i be p(1). Let u(r) = -r**3 - 2*r - 1. Let x be u(-1). Suppose -2 = -3*a + j + x, -3*a + 4*j + 7 = i. Solve 5*t + 4 = -a for t.
-1
Suppose 0 = -k - 1. Let f be (0 - 1)*k*15. Solve m + f = -4*m for m.
-3
Let b(l) = -l**3 + l**2 - 5*l + 4. Let s be b(0). Solve -s*p = 19 + 1 for p.
-5
Suppose -2*c - 3 = -5*q, q - c + 2 = 2*c. Suppose -4 = -4*b + 2*g, 0 = b - 5*g + 6 + 11. Let j = 3 - b. Solve j + q = -p for p.
-1
Suppose 0 = -2*d - d + 21. Let j = d - 7. Solve -5*u + 13 - 38 = j for u.
-5
Let k(r) = -r - 7. Let s be k(-7). Solve -4*j - 8 = -s for j.
-2
Suppose 3 = j - 4*j. Let w be 0 - (1/j - 3). Suppose -w = -4*o + 2*o. Solve 0 = -2*y + o for y.
1
Let h be 3/(-2)*(-20)/15. Suppose h*u + 41 = -4*p + 3*u, p + u = -4. Let v be p/15*(-6 + 1). Solve -m + 1 = -v for m.
4
Let y = -12 - -28. Let k(u) = 3*u - 2. Let q be k(2). Solve -y = -q*v - 0*v for v.
4
Let m = -60 - -71. Solve 14 + m = 5*p for p.
5
Let f = -5 + 7. Suppose -2*x + 2*j + 6 = -0*x, f*x - 4*j - 12 = 0. Solve x*h + 4 = -h for h.
-4
Let n = 4 - 2. Let t be ((-3)/(-5))/((-6)/(-90)). Let z be (t/(-12))/(1/(-8)). Solve -z + 2 = -n*i for i.
2
Suppose 3*v - 10 = 2*v. Suppose 0 = -3*y + 4*u + 3 - 5, 0 = 5*y - 4*u - v. Let m be (-19)/(-3) - (-4)/y. Solve -2*q = -3 - m for q.
5
Let m(v) = -6*v + 12. Let b be m(2). Let z(o) = -2*o - 7. Let i be z(-5). Solve b = -i*y + y + 4 for y.
2
Let q(w) = w**3 + 5*w**2 + 4*w - 3. Let o be q(-4). Let j be (2/(-1) + 1)*o. Solve -j*g - 20 = g for g.
-5
Let b(x) = 9 - 11*x**2 + x**3 - 9 + 2*x**2. Let y be b(9). Solve y*o - 3 = -o for o.
3
Let z(f) = f**3 - 4*f**2 - 4*f - 6. Let d be z(5). Let m be 1 + (-6)/(d*3). Solve -h + m = 5 for h.
-2
Suppose r = -0*r + 4. Solve -d = r*d - 10 for d.
2
Let x(n) = 4*n + 9. Let f(v) = 5*v + 10. Let l(r) = 5*f(r) - 6*x(r). Let y be l(5). Solve j = -0*j + y for j.
1
Let i be (-10)/(-5 + (0 - -4)). Solve -2*q = -0*q - i for q.
5
Suppose 5 = 4*r - 7. Suppose 0 = -w + 5*m - 16, -4*w + 6*m = r*m - 4. Solve -3 = 5*k - w*k for k.
-3
Let l be (-3)/((-10)/(-4) + -3). Suppose l*p = 2*p + 12. Suppose 0 = 5*s - p - 7. Solve 0*n - s*n = -4 for n.
2
Let b = -13 + 11. Let q be (-2 - -8) + (b - 1). Suppose 0 = f + 2*z + q, 8*f + 3*z + 2 = 4*f. Solve -21 = -4*c - f for c.
5
Let v = -9 + 12. Let r = v + -2. Solve -2*b + 5 = r for b.
2
Let x(d) = d**2 - 3*d + 4. Let y be x(3). Suppose 4 + 11 = -2*r - 5*p, -5*r - 3*p - 9 = 0. Solve 0 = -r*v + y*v for v.
0
Suppose -4*c + 19 = 3. Let l = 5 + -3. Suppose 0 = -l*v - 3*v + 30. Solve 0 = -h + c*h + v for h.
-2
Suppose 0*u - u - 6 = 0. Let n = u - -23. Suppose 4*b + 3*x = n, 2*x + 2*x - 12 = 0. Solve 0*s = -s - b for s.
-2
Let r = -5 + 9. Let s = -23 - -21. Let g(o) = -o - 2. Let f be g(s). Solve b + 3*b - r = f for b.
1
Let d = 8 + -5. Let r be (8/10)/((-10)/25). Let j = d + r. Solve j = -2*i + 3 for i.
1
Let t = -4 - 2. Let x(h) = h**3 + 5*h**2 - 7*h + 3. Let k be