ve -i = -r - 3*r for r.
4
Let y be (5 + -3 - -1) + -1. Let s = 49 - 43. Solve 0 = y*h + s - 0 for h.
-3
Let d(w) be the first derivative of 19/2*w**2 + 0*w + 2. Let m be d(1). Solve 4*r = -m + 3 for r.
-4
Let f(x) = 3*x - 18. Let n be f(6). Let y = 3 + -2. Solve 0 = -k - n + y for k.
1
Let t(n) = -n + 2. Let f be t(0). Suppose -m + 6*m - 4*h = 0, 0 = -f*m + h. Solve 0 = -2*p - m*p - 2 for p.
-1
Let j(o) = o**3 + 5*o**2 - 9*o - 18. Let c be j(-6). Solve c*w = 2*w - 10 for w.
5
Let g(d) = -d - 3. Let a be g(-3). Suppose 3*h + 5*c = -15, -4*h + 6 = -12*c + 10*c. Solve h = 4*z - a*z + 8 for z.
-2
Let j(q) = -2*q**2 + 20*q - 6*q + 6 - q**2. Let d(l) = -4*l**2 + 15*l + 5. Let b(t) = -4*d(t) + 5*j(t). Let v be b(-9). Solve -3*p - 8 = v for p.
-3
Let o(w) = -3*w + 3. Let h be o(3). Let b = h + 15. Solve 0 = -4*s + b + 7 for s.
4
Let t be (-35)/(-21)*(-12)/(-10). Solve 0 = 4*b - 18 + t for b.
4
Suppose 6 = -5*p + 16. Let y be p - (3 - 1) - -2. Solve -4 = o - y*o for o.
4
Suppose 3*n = -0*n + 6. Suppose 5*x + n*i - 3*i = 1, -5*i = -x + 5. Let b be (-1)/(-2) + 6/4. Solve -b*t = -x*t for t.
0
Let n = 3 - 3. Suppose -7 - 14 = -3*t. Suppose t - 3 = r. Solve n*v - r*v = 12 for v.
-3
Let d be 0 + 2 - (-1 - -1). Suppose 7*l = d*l + 10. Solve 0 = -q + l*q for q.
0
Suppose 20 = 8*i + 4. Solve -i*u = 1 + 1 for u.
-1
Let r be (1/(-2) - 2)*-2. Suppose 13 = r*s - 12. Solve 0*l = -l + s for l.
5
Let w(h) = -4*h**3 + h**2 - 1. Let i be w(-1). Suppose -2*q + 10 = -2*n, i*n + n = -q - 13. Solve -q*p = -4*p for p.
0
Let h = 33 - 14. Suppose g = 2*u + h, -5*u + 20 = 2*g - 0*u. Solve 4*c - g = 5 for c.
5
Let l(n) = n**2 - 13*n - 11. Let p be l(14). Let q(f) = f**2 + 1. Let i be q(0). Solve p*y + i = 16 for y.
5
Let g(w) be the first derivative of -w**3/3 + 7*w**2/2 - 7*w - 2. Let c be g(5). Solve 0 = 5*l - c + 8 for l.
-1
Let l be 14/(-4)*(-4 + (-60)/(-21)). Solve l - 7 = d for d.
-3
Let m(q) = -q**2 - 3*q + 1. Let n(o) = -2*o**2 - 4*o + 1. Let v(g) = 5*m(g) - 4*n(g). Let y be v(-1). Let k be -1*1 + 0 - -12. Solve -k = -4*i - y for i.
2
Let d be 6/(-15) - (-2)/5. Suppose d*m = 5*m - 110. Solve -3*b + m = 7 for b.
5
Let b = 5 - 1. Suppose 5*d + b*r - r = 109, d = 2*r + 14. Solve 0 - d = 4*a for a.
-5
Let t(g) = 4*g**2 + 1. Suppose -4*f + 9*f + 5 = 0. Let z be t(f). Suppose 5*d - c - 7 - 36 = 0, 5*d - 3*c - 39 = 0. Solve -d - 1 = -z*w for w.
2
Let n(h) = h**2 + 4*h. Let p be n(0). Solve 1 = -x - p for x.
-1
Let y be 1*3 + (-4 - -3). Let z(s) = 4*s**2 + 2*s**y + 0*s**3 + s**3. Let w be z(-6). Solve 3*f + w*f = 12 for f.
4
Suppose -4*g + 0*g = -5*q + 45, 2*q - 18 = 2*g. Solve q = 3*j - 3 for j.
4
Let j = -18 + 18. Solve 10 = -j*u - 2*u for u.
-5
Let x(s) = -s**3 + 6*s**2 + 6*s + 13. Let a be x(7). Solve a = 2*i - 4 for i.
5
Let h = -13 - -24. Let c = h + -7. Solve q - c = -3 for q.
1
Suppose 0*n + 5*n + f = 0, -3*n + 4*f = 0. Solve j - 4 + 2 = n for j.
2
Suppose 0*a = -4*u - 4*a - 4, u = 4*a - 6. Let r be 1*-1 - (-8 - u). Let q(f) = -f - 1. Let b be q(-3). Solve -11 = b*z - r for z.
-3
Suppose -2*m = -m. Let j = -19 + 22. Solve j = u - m for u.
3
Suppose 5*s - t = 0, 2*s + 3*t + 21 - 4 = 0. Let i = s + 0. Let l be (-2 - 3*i)*0. Solve l*p + 1 = p for p.
1
Suppose -8 = -4*z + 5*a + 4, z - 3 = -2*a. Suppose b = -z*b + 20. Let y be (2 - 1 - 0) + -1. Solve -k - b = -y*k for k.
-5
Let g be -1 + 2 + 2/2. Solve -h = g*h + 9 for h.
-3
Let w = 26 + -10. Solve -12*g + w*g = 0 for g.
0
Let s(m) = -m**2 + m + 6. Suppose 5*j - 18 = -2*f - 2, -j - 7 = -3*f. Let q be s(f). Solve q = 5*a - 2*a - 3 for a.
1
Suppose 2*m + 3*a = 4*a + 9, -4*m - a + 21 = 0. Solve u - m = -0*u for u.
5
Suppose -d = -0*d. Suppose 5*n - 2*l = d, 2*n - 7*n = -5*l + 15. Let u = 6 - 4. Solve u = 3*m - n*m for m.
2
Suppose 0 = q - 5, -12 = 3*t - q + 5. Let u be (t/(-8))/((-1)/(-22)). Solve 5 = -4*y - u for y.
-4
Let r(g) = -5*g + 23. Let h be r(4). Solve h*k - 12 = -k for k.
3
Let j be 0/1 + -2*1. Let l = j + 2. Solve -2 = p - l*p for p.
-2
Let h = -2 - -7. Let z be (6/(-5))/(3/(-15)). Suppose i = z*i. Solve h*c - 25 + 0 = i for c.
5
Let x = 2 - 1. Let o = -3 + x. Let q be o - ((-2)/2 - 3). Solve -q*c + 12 = c for c.
4
Suppose -4*d - i = -7, -7*d + 3*d = -2*i - 10. Let p be -2 - (0 - (d + 6)). Solve -a = a + p for a.
-3
Let u be ((-3)/2)/((-17)/34). Solve 2*g = -u*g + 20 for g.
4
Let w(o) = -4*o**2 + 2*o - 1. Let g be w(1). Let b(z) = 4 + z + z + z**2 + 0. Let h be b(g). Solve 5 + h = 3*n for n.
4
Let n be 1/(-3)*(-5 + 5). Solve n*c = -c for c.
0
Let z(q) = -q**2 + 10*q - 5. Let p be z(5). Solve -2*h - p = 3*h for h.
-4
Let i(c) = 2*c + 40. Let d be i(-18). Solve y + d = -y for y.
-2
Let s be 10/3 - (-22)/33. Solve s*z = 1 - 5 for z.
-1
Suppose -4*y + 13 = -2*b - 7, 0 = 4*y - 4*b - 12. Solve -y*l = -2*l for l.
0
Let n(a) = -a**2 + 5*a + 2. Let b be n(5). Solve -2*f - b*f + 16 = 0 for f.
4
Let o(r) be the third derivative of 0*r + 0 - 4/3*r**3 + 3*r**2 + 1/24*r**4. Let p be o(8). Solve 3*j + j - 4 = p for j.
1
Let o(j) = j**2 - j. Let k(q) = q**3 + 5*q**2 + q + 5. Let r be k(-5). Let t be o(r). Solve u + u - 4 = t for u.
2
Let m = -21 + 7. Let t = 7 + m. Let d be (-4)/14 - 2/t. Solve -f + 5 = -d*f for f.
5
Suppose -4*q + 10 = -3*w + 1, -4*w - 12 = -5*q. Solve q*o - 20 = -5*o for o.
4
Let b = -14 - -10. Let h = b - -7. Suppose m + 7 = n, 2*m = h*n - 5 - 11. Solve -n*w + 12 - 2 = 0 for w.
5
Let a(j) = -j**3 - j**2 + j + 3. Let n be a(0). Solve -n = -z + 2 for z.
5
Let w(f) = f**3 + 5*f**2 - f - 2. Let d be w(-5). Suppose 0 = 2*c - c - 3. Solve -c*m + 0 = d for m.
-1
Suppose s + 10*o = 11*o + 2, -4*o = s - 7. Solve 0 = s*w + 3 for w.
-1
Let o(v) = v. Let h be o(-1). Let f = 1 - h. Solve f*b = -2*b + 20 for b.
5
Suppose 4*o - 18 = o. Suppose 2*x = 3*v + 14, o = -3*v + 3*x - 9. Let a be v/(-2) + (-4 - -4). Solve -5 = -a*f + 5 for f.
5
Let z be (-3)/(27/(-69)) + (-2)/3. Solve z*i - 2*i = 5 for i.
1
Let u(m) = 5*m - 16. Let d be u(4). Let n(f) be the first derivative of -f**2/2 + f - 1. Let p be n(-2). Solve -d*a = -p*a - 3 for a.
3
Let i(d) = -d - 40. Let h be i(-40). Let y be 2 + -1*2 + 0. Solve -v + h - 1 = y for v.
-1
Suppose 5*g - 44 + 4 = 0. Solve -c - c - g = 0 for c.
-4
Suppose 3*y + 0 = -3. Let f(u) = -7 - u**2 - 3*u**3 + 7. Let n be f(y). Solve -2*p - 8 = n*p for p.
-2
Let i(h) = -3*h - 2. Let q be i(-3). Suppose -q - 13 = -4*c. Suppose 2*m + m + 3*t = 6, -c*m = -5*t - 30. Solve -3*v - m = -v for v.
-2
Let z = 25 - 17. Solve 4*f + z = 6*f for f.
4
Suppose 2*f + f = 9. Solve 0 = f*m + 3 + 6 for m.
-3
Let s = 7 + -6. Let r = s + 2. Solve 0 = -l - r + 5 for l.
2
Suppose 88*s = 89*s - 2. Solve -s*h + 1 = 7 for h.
-3
Let d be 4*(-3)/6 - -6. Suppose 0 = -u + 3*u - d. Solve -5 + 13 = u*a for a.
4
Let s be (2/(-10) + 1)*5. Suppose -s*d - 4 = -28. Suppose 4*o - 30 = -d. Solve k + o = 1 for k.
-5
Let u(w) = 0*w - 6*w + 3*w + 4*w + w**2 - 4. Let x be u(-3). Let d = x - 0. Solve -2 = -d*m + m for m.
2
Suppose 2*p - 2*w - 13 - 15 = 0, 0 = 5*p + 5*w - 50. Solve -p = q + 2*q for q.
-4
Suppose -6*m + 5*m - 9 = 0. Let y be -4*m/(-24)*2. Let q be 10/(-3*2/y). Solve q*v = 9*v for v.
0
Let v = -9 + 15. Let w be 30*(-2)/v*-3. Let r be w/7 - 6/21. Solve r*q + 0 + 20 = 0 for q.
-5
Suppose -f + 20 = 4*f. Let u(k) = 3*k**2 + 2*k - 1. Let s be u(1). Suppose 2*g - g = -h + 5, -s*g = -4*h + 12. Solve h = -f*n + 2*n for n.
-2
Let k be (-10)/25 + -77*3/(-15). Solve -t = 4*t + k for t.
-3
Suppose -8 = -4*b - 4*x, b = -b - 3*x + 4. Suppose -c - 3*c = -4. Solve 1 = b*d - c for d.
1
Suppose -j = 4*j - 20. Suppose 0*d = -2*d + j. Let w(t) = -t + 6. Let u be w(6). Solve -d*z - 8 + 2 = u for z.
-3
Let r be ((-33)/15)/((-2)/10). Let b = -8 + r. Let j be (-30)/(-8) - (-2)/8. Solve -b*c + 2 = -j for c.
2
Let a(b) = b**3 + 9*b**2 + 8*b. Let g(s) = 3*s + 4. Let r be g(-4). Let z be a(r). Solve c + 2 + z = 0 for c.
-2
Suppose 0 = g + g - 4. Solve -g*v = -0*v + 6 for v.
-3
Let n = 5 - 7. Let s be (n - 2) + (3 - 5). Let v be (-62)/(-12) - s/(-36). Solve v*f = -10 - 15 for f.
-5
Let m = -9 - -9. Solve m = c - 2*c + 3 for c.
3
Let k be (12/5)/(6/(-20)). Let c = -5 - k. Solve -9 = -3*f - c for f.
2
Let z(x) = -x**3 + 4*x**2 + 8*x - 3. Let o be z(5). Solve -b - 3*b - o = 0 for b.
-3
Let z = 14 + 0. Suppose -4*p - z + 46 = 0. Suppose 24 + 24 = 4*d. Solve 4*g = d 