 20 = x for f.
-5
Suppose 9*h - 5 = 4*h. Let o = h - -2. Solve -8*r = -o*r + 20 for r.
-4
Let u(h) = h**3 - 6*h**2 + 3*h + 7. Let n be (-7 - -2)/(-1*1). Let j be u(n). Let v be (0 - j/3) + -1. Solve v = 2*t - 5 - 1 for t.
3
Let k = -34 - -38. Solve 0 + k = -i for i.
-4
Let x be 2/16 - 110/(-16). Solve 0 = x*j - 2*j + 20 for j.
-4
Let h(d) = d - 2. Let u be h(4). Suppose -u*v = v. Suppose v*g + 4 = 4*g. Solve 26 - g = 5*w for w.
5
Let f(t) = 7*t. Let c be f(-1). Let m = -4 - c. Suppose 3*u + 5*k = k + 28, 0 = -5*u - 2*k + 42. Solve -m*w = -7*w - u for w.
-2
Let o(y) = y**2 - 7*y + 14. Let l be o(6). Solve l*a = 13*a - 25 for a.
5
Suppose 5*w + 18 = 11*w. Solve 4*o + w + 9 = 0 for o.
-3
Let h be (-4)/(-6)*(-30)/(-4). Let d be 6/(-9) + (-4)/(-6). Solve d = -h*r - 20 for r.
-4
Let g(r) = 18*r**3 + 1 + 1 - 19*r**3 - 2*r**2. Let i be g(-2). Solve i*k + 4 = 4*k for k.
2
Let y(g) = g + 2. Let p be y(-3). Let a = p + 6. Solve -a*j + 5 = -0 for j.
1
Let b be 1/(-2)*(-9 + 9). Solve -10 = -b*u + 2*u for u.
-5
Let t = -20 + 24. Solve 0 = -t*n + 9*n - 20 for n.
4
Let k = -8 - -18. Suppose -2*c - 6 = -k. Solve 3*s = -c*s for s.
0
Let x = -2 + 2. Let s(g) = 2*g**3 - 2*g**2 - 2*g. Let f be s(2). Let b(n) = n - 2. Let i be b(f). Solve x = -i*o + 3*o - 1 for o.
1
Let j(y) = -2*y - 27. Let m be j(-22). Solve 5*a = -m + 42 for a.
5
Suppose -3*k - 4*z + 0*z + 22 = 0, k - z - 12 = 0. Let j = k - 5. Solve -j = -5*n + 5 for n.
2
Let u be (-2)/(-3) + 86/6. Suppose 7 = -2*d - 2*r + 1, 3*d = 5*r + 15. Solve d*b = 3*b - u for b.
5
Suppose -2*f = -4*i + 1 + 5, 2*i + f - 5 = 0. Suppose -i*o - 5*l - 15 = 2, 2*o - 3 = -l. Solve o*u + u = -10 for u.
-2
Let p(b) = -b**3 + 4*b**2 + 2. Let s be p(4). Suppose 3*y - 5*u - 15 = -2*y, y - s*u - 5 = 0. Suppose 0 = -4*j + 2*j. Solve j = -o + 5 - y for o.
4
Suppose 0*q - 2 = q. Let c be 0/(q/(2/1)). Solve 0 = -n - c*n for n.
0
Suppose -4*p = -n - n, -2*n = 5*p - 18. Suppose -2*a - 14 = 4*v, a - 23 = 2*v + p*v. Suppose -r = -a*d - 1, -d - r + 0 = -1. Solve -5*k + d - 5 = 0 for k.
-1
Suppose -2*h = 2 - 6. Solve -b - 3 = -h for b.
-1
Suppose 4*d + z + 4*z = 37, -z + 14 = 3*d. Suppose -v + d*g + 1 = 0, -5*v = -v + 3*g - 19. Solve 0 = -c + v for c.
4
Let s(v) = -v**2 - 7*v + 2. Let t = -6 - -4. Let k be (-2)/((-3)/21*t). Let u be s(k). Solve -2*j - u*j = -4 for j.
1
Let w(x) = x**2 - 7*x + 4. Let c be w(7). Suppose 22 = 5*y - c*o, -4*y + 0*o = -o - 22. Solve -5*t = -y - 19 for t.
5
Suppose 3*g + 5 = -2*g. Let a be (-8)/g*(-4)/(-16). Solve -4*w - 4 = -a*w for w.
-2
Let q = 8 - 5. Let l = -1 - -1. Let r be 2*(l + 1 + 1). Solve q*g = r*g for g.
0
Let r = 3 - 3. Let i(c) = c**3 - 4*c**2 + 3*c - 1. Let b be i(2). Let u be 0 + 0 + -3 - b. Solve -g + r*g + 3 = u for g.
3
Suppose 0 = -4*f + 5 - 1, -4*b = -f - 75. Suppose 0 = -3*z + b - 1. Solve 0 = -l + z*l + 10 for l.
-2
Let u be 3/1 + (-26)/(-2). Let x = 4 + -4. Suppose -b + 2 + 3 = x. Solve u + 4 = -b*c for c.
-4
Suppose 3 = 4*f - 5. Suppose -f*y + y + 2 = 0. Suppose -m + 15 = -5*j, y*m - 3*m + 7 = -j. Solve -m*n - 7 = 8 for n.
-3
Suppose x + 2*x = 6. Suppose -4 - x = -2*y. Suppose y = i - 2. Solve i - 2 = -q for q.
-3
Suppose -3*x = -3 - 3. Suppose 4 = h - x. Solve h - 1 = 5*k for k.
1
Suppose 0 = h + 4*h. Suppose h*t + 5*t + z = 11, t + 1 = 3*z. Solve 2*p - p - t = 0 for p.
2
Suppose 0 = -w + 4. Let v(o) = 2*o**3 + 2*o**2 - 1. Let d be v(1). Suppose d*z = b + 6, 0*z - 6 = -z - b. Solve -w*m = -7 + z for m.
1
Suppose 3*n - 3 = 3*i, 2*i + 2 + 0 = 3*n. Suppose -11*t + 16*t - 50 = n. Solve 4*g = -g - t for g.
-2
Suppose a + 1 - 5 = 0. Let j(f) = -f**2. Let c be j(0). Solve -a*h = -c*h for h.
0
Let j be 9*(-1 - (-8)/6). Solve 2*q = j - 11 for q.
-4
Suppose -2 - 4 = -2*t. Let o be 12*1*(-3)/6. Let g be (-29)/(-3) + (-2)/o. Solve g = d - t*d for d.
-5
Let q(n) = -n + 1. Let d be q(-5). Suppose -c = 2*c - d. Solve 2 + c = 2*m for m.
2
Let g be 1/1 + 10/5. Let t(r) = 7 - 3 - 3*r - 5. Let i be t(-5). Solve 0 = -g*u + 1 + i for u.
5
Let m be (-60)/27 + (-8)/(-36). Let f be (1 + 0 + m)*-2. Solve 4 = y - f*y for y.
-4
Let w = -3 + 8. Suppose -j = -w*j - s + 61, 0 = -2*j - 2*s + 32. Solve 4*p - j = -p for p.
3
Let n be (4 - -2 - 4) + 1. Solve 0 = 4*c - n + 15 for c.
-3
Suppose 2*z = 4*j - 8, -4*j + 5*z - z + 8 = 0. Let w be 0 + 3*(-6)/(-9). Suppose -j*u + 8 = w*u. Solve u = 5*a - 13 for a.
3
Let p(b) = b**3 + 5*b**2 - 8*b - 12. Let w be p(-6). Solve 0 = -2*m - w*m - 10 for m.
-5
Let l(x) = -x**2 - x + 5. Let z be l(0). Solve -2*u - 3 - z = 0 for u.
-4
Let q be (-2)/1 + (33 - -1)/2. Solve q = -0*a - 5*a for a.
-3
Let b = -8 - -11. Solve -b*j + 0*j = -6 for j.
2
Let t be (-2)/(-4)*(-1 - -9). Suppose t*l - 2 = 2*x + 2*l, 4*x + 2*l = -22. Let w be (x/(-1) - 0) + -2. Solve p + 2 = w*p for p.
2
Suppose -w - 2*w + 12 = 0. Let s(c) = -3*c + 25. Let h be s(8). Solve -j = -w - h for j.
5
Suppose -6 = -4*r + r. Solve -r + 22 = 5*c for c.
4
Let i(p) be the first derivative of p**4/4 - 2*p**3/3 - 2*p**2 + 3*p + 2. Let f be i(3). Solve 4*y = -f*y + 12 for y.
3
Let h(w) = 8*w - 31. Let n be h(4). Suppose 5*m = 5*q + 25, -2*m + 4*q + 2 + 18 = 0. Solve m - n = -o for o.
1
Let s be -2 + 0/2 + 2. Let l = s + 12. Suppose -4*t = 3*y + y - l, -5*t - 3*y = -19. Solve t = -5*d + 4*d for d.
-5
Let i(h) = -2*h**2 - 12*h + 14. Let w be i(-7). Solve w = y - 5 + 2 for y.
3
Suppose -4*r - 4 = -b, -5*r + r = 2*b - 8. Let q(t) = 2*t - 2. Let z(f) = -5*f + 5. Let g(n) = -8*q(n) - 3*z(n). Let o be g(-1). Solve b = -i + o*i for i.
4
Let a(z) = -4*z - 7 + 2*z + 6*z + z**2. Let t be 26/(-4) - 4/(-8). Let m be a(t). Solve m*v = -0*v for v.
0
Let w be 15/7 + (7 - 250/35). Solve 6*x - w*x + 12 = 0 for x.
-3
Suppose 20 = 9*l - 4*l. Solve -4 = -l*j - 20 for j.
-4
Suppose 5*f - 165 = -6*f. Solve -f = 2*p + p for p.
-5
Let i be (-24)/(-4)*(-4)/(-3). Suppose 3*w = 3*f, -2*f + i - 2 = w. Solve -1 = w*o + 7 for o.
-4
Let i(f) = f**2 + 7*f + 9. Let k be i(-6). Solve -3*j = -k - 0 for j.
1
Let q be 8 + -3 + -2 + -1. Solve 1 + 1 = q*f for f.
1
Suppose -4*d + a + 19 = 0, 4*a - 29 = -7*d + 2*d. Solve -7 = -4*p + d for p.
3
Let p(a) = a**3 + 8*a**2 + 3. Let o be p(-8). Suppose 0 = -4*n + 4*h - 5 + 21, o*n - h - 10 = 0. Solve n*x = 2*x - 2 for x.
-2
Let t be ((-2)/(-2))/(((-24)/6)/(-12)). Suppose 0 = -3*c + x + 7, -5 = 4*c - 2*x - 15. Solve 0 = t*k + c*k + 20 for k.
-4
Let o(c) = c**2 + 5*c - 4. Let s be o(-5). Let z be (2/5)/(s/(-40)). Solve 0 = -5*b + 6 + z for b.
2
Let i(k) = -k**2 + 7*k - 4. Let d be i(4). Solve 0 = -0*t + 4*t - d for t.
2
Let m = 5 - 3. Let k = 1 + 1. Suppose 7*w + 2*a = k*w + 69, 24 = m*w + 2*a. Solve 7*f = 2*f - w for f.
-3
Let c(d) = d**3 - 13*d**2 + 11*d + 15. Let q be c(12). Let z be (15/2)/3*2. Solve -q*l = 2*l - z for l.
1
Let r(d) be the first derivative of 2/3*d**3 + d**2 + 0*d + 2 - 1/4*d**4. Let t be r(-2). Solve -5*a + t = -a for a.
3
Suppose -2*u + 10 = 2*i, -5*i + 3*u + 6 - 5 = 0. Solve 0*c + i*c - 2 = 0 for c.
1
Let i be (-2)/4 - (-10)/4. Suppose -i*q + 15 = 3*q. Let t(s) = -2*s - 7. Let a be t(-6). Solve -q*v + 2*v = a for v.
-5
Suppose -x + 5 = -5*h + h, 0 = -2*x + 4*h + 6. Suppose -2*v + r + 3 = -0, -3*r = -v - x. Solve 4 = v*k + 14 for k.
-5
Suppose 0 = -v + 5 - 3. Let f = 15 + -11. Solve v*l + 0 = -f for l.
-2
Suppose 2 = s - 0. Let g = s + -5. Let f be 4 + (0 - -1) + g. Solve f = -t + 6 for t.
4
Suppose -4*r + 2*n = 0, 2*n = 4*r - 3*n + 12. Suppose 3*l - 2*x - 16 = l, -4*x + 40 = 2*l. Solve -5*s + r*s = -l for s.
4
Suppose -12 = -p - 2*q, -4*p = -7*p - 3*q + 36. Let u = p - 1. Solve -9 = 4*x + u for x.
-5
Let n = 17 - 13. Suppose -q - n*q + 15 = 0. Solve -y - 6 = -q for y.
-3
Suppose 3*r - 18 = 6*x - 4*x, -10 = -r + 2*x. Let j be (r/8)/((-2)/(-12)). Solve -j*k - 2*k = 0 for k.
0
Let r = 5 - 6. Let l be (-1)/1 - r*3. Solve l + 2 = d for d.
4
Suppose -2*c + 2*u = 0, -8 = -5*c + u - 0*u. Suppose c*m + 3*m = -120. Let s be (-2 - -1)/(6/m). Solve 0 = -4*n - s - 4 for n.
-2
Let z(y) = -3*y**3 + 14*y**2 + 9*y - 17. Let n be z(5). Let w = -16 + 22. Solve 0 = -0*l - n*l + w for l.
2
Suppose -5*d = -2*v - 26, d - 4 - 12 = 4*v. Solve 0*g + 2*g - d = 0 for g.
2
Let n = -40 - -42. Solve -3*c = -n - 1 for c.
1
Let t be (-3)/7 + (-12)/(-28). Solve t = -u - u - 6 for u.
-3
Let v(s) be the third derivative of s**4/24 + 2*s**3 + 10