h = k*h. Solve h*r - 12 = -4*r for r.
3
Suppose 3*o + 8 - 31 = 2*w, -2*w + 4*o - 28 = 0. Let p = 3 - w. Solve p*x - 2*x = -10 for x.
-2
Let x(p) = 4*p + 5. Let h be x(4). Solve 4*g + h = 1 for g.
-5
Let s be 32/14 + (-8)/28. Suppose 0 = -s*z + 2 - 0. Solve -2*o - z - 1 = 0 for o.
-1
Suppose -4*k = -5*k + 20. Solve f = 5*f + k for f.
-5
Let l be 3/(-4)*8/(-2). Suppose -16 = -2*b - 5*j - 56, -l*b = 4*j + 46. Let v be 4/b + (-8)/(-20). Solve -4*s - 20 = -v*s for s.
-5
Let s = -132 + 135. Solve c - s*c + 2 = 0 for c.
1
Let c = 9 + -4. Let d = c - 4. Let y be (0/d - -1) + -1. Solve y = 4*p + 4 for p.
-1
Suppose 0*s + 20 = 5*s. Suppose -v + 8 = -2*j - 0*j, 3*v = 4*j + 18. Suppose x = -m - v + 1, s*m + 4 = 0. Solve 0*i + 5*i = x for i.
0
Suppose -11 = -o - 7. Solve -o*c = -3*c for c.
0
Let h = -2 - -4. Suppose 0 = -h*p + 1 + 3. Suppose -2*b - 19 = -3*w, 3*w = -0*b - p*b - 1. Solve -w*z + 0*z = 0 for z.
0
Let m(c) = -c**3 + 9*c**2 + 5. Let f be (-6)/(-2) + -1 + 7. Let y be m(f). Solve -4*j - y = -3*j for j.
-5
Let s = 0 - -2. Suppose -s*d + 3*d = 0. Solve 0 = -a - d*a for a.
0
Suppose -2*w = 2*w - 12. Let j(p) = -p**3 + 3*p**2 + 2*p - 2. Let i be j(w). Solve 4 = -i*h - 0 for h.
-1
Let y be 0/(-4 + -2) - 4/(-2). Let c be (-4)/(-14) - 19/(-7). Solve -c*f = -y*f + 2 for f.
-2
Let o = 4 - 1. Let y(i) = 3*i - 4. Let c be y(4). Suppose -10 = o*x - c*x. Solve 2*t + x = t for t.
-2
Suppose -4 = -v - 1. Let x be (2/(-4))/(1/(-12)). Suppose -4*n + s + x = -5, -5*n + 5*s - 5 = 0. Solve c - v*c = -n for c.
2
Let k be -3 - (-9 + (-2 - 1)). Let x(c) be the first derivative of -c**2/2 + 11*c - 2. Let d be x(k). Solve -20 = -3*i - d*i for i.
4
Suppose 0 = 3*k + h - 8, 5*k = 4*h - 3 + 5. Let v be (0 + -1)/1 + 4. Solve v + k = -q for q.
-5
Let c be 1 - (-1 + 6/3). Suppose -3*s + 2 + 4 = c. Solve -3*n = -s*n - 3 for n.
3
Let c = 52 + -50. Solve 4 - 6 = -c*x for x.
1
Suppose -5*j = 4*p + 1 - 0, 7 = j - p. Suppose j*r + 2*r = 0. Solve r = 3*n - 3 for n.
1
Let i(s) = -s + 1. Let x be i(-5). Solve -x*u - 5 = -u for u.
-1
Let m = -6 - -9. Suppose m*l = l. Let y = 2 + l. Solve 6*r - 16 = y*r for r.
4
Let x(n) = -n**3 - 11*n**2 + 11*n + 10. Let y(h) = 5*h**3 + 44*h**2 - 45*h - 39. Let r(g) = 9*x(g) + 2*y(g). Let u be r(10). Solve v = -u - 3 for v.
-5
Suppose -25 = -3*n - 2*n. Suppose -n*y - 4 = -24. Solve -y*i - 3 = -11 for i.
2
Let z(x) = -x**2 - 4*x + 4. Let b be z(-4). Solve 0 = b*r - 0*r - 16 for r.
4
Let g = 1 - 1. Suppose g = -2*l - 0*l + 6. Solve -l*m = 2*m - 20 for m.
4
Suppose 5*g = 4*p + 3, -6 = -3*g - 5*p + 18. Solve 2*i - g = -i for i.
1
Let a be (4/(-10))/(3/15). Let f = 0 - a. Solve 0 = -f*n + 3*n + 5 for n.
-5
Suppose 5*t - 5 = -0*t. Suppose 0 = -2*s + 2 + 6. Solve z + t = s for z.
3
Let a = 34 + -22. Let b be 3/(-9)*-15*1. Solve -a = -b*t + 8 for t.
4
Let k = 7 + -10. Let v be k/(-6)*9*2. Let g = 11 - v. Solve g*r = 4*r - 10 for r.
5
Let x be (-2)/6 - 99/27. Let g be (9 - 5)*(-2)/x. Solve 4*n - g = 14 for n.
4
Suppose -2*f + 7*f - s - 3 = 0, -3 = f - 2*s. Let q be 4/(-8)*-2 - f. Solve 3 = -3*z - q for z.
-1
Let l = 2 - -17. Suppose -3*v - 5*u = l, 3*v = -3*u - 9 - 0. Solve -v*p - p = 15 for p.
-5
Let d(w) = 2*w - 8. Let k be d(7). Let j(r) = r**3 - 9*r**2 + 2. Let o = 30 - 21. Let p be j(o). Solve p*z - 2 = k for z.
4
Suppose 4*g + q - 79 = 0, -4*g - 5*q + 55 = -g. Let y = g + -4. Solve 7*h + y = 3*h for h.
-4
Suppose -13*q + 52 = 13*q. Suppose -2*s + 4 = -8. Solve -q*x = -s*x - 16 for x.
-4
Suppose -2*s + 2*h - 33 = 41, 2*h + 6 = 0. Let c be ((-42)/(-35))/((-6)/s). Solve -q + c = 3*q for q.
2
Let b be -2 + 2/(-4)*-14. Solve -b*j + 2*j + 3 = 0 for j.
1
Suppose -8 = 5*w + 2. Let g be (w + -1)*(-2)/3. Solve 10 = 4*v + g for v.
2
Let f(u) = 3*u**2 - 2*u + 1. Let x be f(2). Let o(t) = t**3 + 14*t**2 + 15*t - 1. Let r be o(-13). Let v be ((-3)/x)/(3/r). Solve 0 = -v*w + w - 4 for w.
-2
Let i be (-27)/(-5) + (-10)/25. Solve 0 = m + i - 3 for m.
-2
Let d(t) = -t**3 + t**2 - t + 3. Let o be d(0). Suppose -3*z - 20 = -4*j, -6*z + z = -2*j + 24. Solve o*y - 2*y = j for y.
2
Suppose -p + 12*p = -2*p. Solve p = 7*v - 3*v - 8 for v.
2
Let b = -82 - -102. Suppose 4*q + 3*f - 13 = 0, -3*q + 2*q = 4*f. Solve -q*w - b = w for w.
-4
Let t be 4/18 - (-5)/((-135)/(-102)). Solve 0 = -t*q - 1 + 21 for q.
5
Let z be 0 + 0 + (-2 - -2). Let m(x) = x**3 - x**2 - x. Let j be m(z). Solve -c = -j*c for c.
0
Suppose 0*k + 5*n - 15 = -2*k, 5*n - 15 = 0. Suppose k = -5*i - 4*h + 5 + 6, -i + 3*h + 6 = 0. Solve i = -0*z + 3*z for z.
1
Let a = 0 - -1. Solve 5 = g + a for g.
4
Suppose 9*g = -0 + 18. Solve 0 = -4*q + g*q - 4 for q.
-2
Let o = 13 + 1. Solve -5*d + o = -1 for d.
3
Let z(c) = -c**3 + 8*c**2 - 7*c - 8. Let k be z(7). Let s be (-6 - -5) + k/(-1). Solve -4*n = -5 - s for n.
3
Suppose 5*a + 160 = 5*i, 0*i - 5*a - 98 = -3*i. Solve -11 = 5*c - i for c.
4
Let q be (-1)/(-2)*1*4. Let u be (-4 - -2)*20/(-8). Suppose -28 = -u*n - 8. Solve 2*m = -n - q for m.
-3
Let b(g) = -2*g + 8. Let l be b(5). Let c be (l + -1 - -5)*2. Solve -4*i = -0*i - c for i.
1
Suppose 41 = 6*d - 2*d - 3*g, 9 = -3*g. Solve -5*z = 7 + d for z.
-3
Let j(k) = -k**3 + 4*k**2 - 3*k + 4. Let x be j(3). Suppose 14 = -0*w - 2*w. Let h be 4/(-2) - 0 - w. Solve -u - h = x*u for u.
-1
Let y(j) = -j**3 - 7*j**2 - 6*j + 5. Let z be y(-6). Let t be (z/1)/(-1 + 0). Let f = 9 + t. Solve -f*a - 7 = -19 for a.
3
Let p = -82 - -86. Solve -p*h + 9 = -h for h.
3
Let i be 700/(-49) + 4/14. Let y = 24 + i. Suppose -4*o = o - y. Solve -o + 0 = h for h.
-2
Let a be (20/15)/((-2)/12). Let g(i) = i + 7. Let w be g(a). Let q = w - -4. Solve 0 = -3*l + 4*l + q for l.
-3
Suppose 0 = -21*h + 14*h + 112. Solve 2*m + 2*m = -h for m.
-4
Let z be 1 - 3/((-9)/6). Suppose 8*c = z*c + 30. Solve -2*r + c*r = 16 for r.
4
Suppose h - g - 8 = 0, 4*h - 2*g + 14 = 5*h. Solve h = 8*v - 3*v for v.
2
Let s be 4 - (3 + (-4 - 0)). Solve s*u - 6 = 2*u for u.
2
Let c be ((-4)/(-6))/((-6)/(-81)). Let t be -3 + 1*(0 + 7). Let q = c - t. Solve q*y = -3 - 2 for y.
-1
Let g be ((-4)/(-6))/((-2)/(-12)). Suppose 0 = q + q + 12. Let m(a) = a**2 + 5*a - 2. Let r be m(q). Solve -r*b = -0*b - g for b.
1
Let w be 0 + -54 + 3 + 0. Let a be 6/(-21) + w/(-7). Suppose -3*h - h = -12. Solve h*t - a*t + 12 = 0 for t.
3
Suppose -k - k + 24 = 0. Let a = -10 + k. Solve a*o + 2 = 4*o for o.
1
Let j = -3 - -2. Let n = 13 - 9. Let m = j + n. Solve 2*o - 4 = m*o for o.
-4
Suppose 2*x - 51 = 4*v - 21, 3*x = -3*v. Let t be (-1)/3*-4*3. Solve -t*b + x = -3 for b.
2
Suppose -3*s = 3 + 3. Let x be (-8)/s - 3 - -3. Solve -x*n - 9 = 11 for n.
-5
Suppose 5*o - 4*a = 46, 4*o - 38 = a + 1. Solve 6*i = i - o for i.
-2
Let u be (-2)/9 - 1092/(-54). Solve x = 6*x - u for x.
4
Suppose -3*y = q - 6*q - 35, 5*y = 2*q + 33. Solve f + y = 2*f for f.
5
Let f = -127 - -132. Suppose 4*q = 2*t + 18, -2*t + 9 = q + 4*q. Suppose -q*u = -u - 4. Solve u*r - 15 = f*r for r.
-5
Let l = 1 - -1. Solve l*f - f = 0 for f.
0
Let w(r) = 6*r**2 - 3*r + 4. Let q be w(-3). Let h = q + -48. Solve -3*y - 4 = -h for y.
5
Let w be (10 - 10) + (-6)/(-2). Suppose 2*s = 3*c, -10 = -6*c + 4*c - 2*s. Solve -w*g = -g + c for g.
-1
Let i(u) = 2*u**2 - u - 1. Let q be i(-1). Suppose 4*t - 5*g = 8, 16 = -4*t - g - 0*g. Let f be 1/q - t/(-6). Solve -3*o = -f - 3 for o.
1
Let f = 9 - 7. Suppose f*d - 15 = -d. Solve d*t + 10 = 30 for t.
4
Suppose -12*a + 11*a - 17 = 0. Let k = a + 21. Solve k = -2*u - 0*u for u.
-2
Let b be 2/(-6) + (-1038)/18. Let m = b + 83. Solve -m = -0*n - 5*n for n.
5
Suppose -12 = -5*n - 2*a, 2*n + 2*n = -4*a. Suppose -u - 3 = -n. Suppose -5*i = 2*y - 20, -u = i - 2*i - y. Solve f - i*f + 5 = 0 for f.
1
Suppose 6*c = c + 20. Solve c = k - 5*k for k.
-1
Let v(w) = -w - 3. Suppose 5*f + 6 = 3*q, -q - q = f + 9. Let m be v(f). Let n be ((-1 - 0) + m)*-1. Solve -2*d + 9 = -n for d.
5
Let z = 32 - 30. Solve -5*k + 9 = -z*k for k.
3
Suppose m - 3 = -0. Solve -3*a = -m - 3 for a.
2
Suppose 5*t + 4*a + 0 = 4, -5*t + 36 = -4*a. Let j = 8 - 4. Solve t*v = -16 + j for v.
-3
Let t = 22 + -16. Solve 9 = 3*y - t for y.
5
Let s be (2 - 1)*1 - 1. Let c be 5*(6/10 + s). Solve c*j - 2 = -5 for j.
-1
Let p = -18 - -21. Solve -4*t = 13 + p for t.
-4
Let a(y) = -y**3 + 9*y**2 + 10*y + 3. Let i be (5/(-2))/((-2)/4). Suppose -i*f = -7*f + 