olve 2 = x + h for x.
-1
Let o = -15 + 17. Solve -o = 4*b + 2 for b.
-1
Suppose 20 = 5*g + 5, 3*z - 24 = -4*g. Solve -v - 25 = z*v for v.
-5
Suppose -3*f - 4*w - 4 - 10 = 0, -4*w = 2*f + 16. Let l(j) = -j + 3. Let y be l(0). Solve y*d = f*d - 2 for d.
-2
Let d = -1 - -9. Let t be 0/(2 - (-3 - -6)). Let r be (-8)/6*(-6)/4. Solve r*v = d - t for v.
4
Let z be (0 - 0)*1/1. Let r(h) = -h**2 + 9*h - 7. Let f be r(7). Solve 2*p + f + 3 = z for p.
-5
Suppose 3*i + 52 = 5*i. Let s = i - 11. Let w be (-5)/(-2)*18/s. Solve 5*b - w = -18 for b.
-3
Let c(w) = -w**2 + w - 28. Let k be c(0). Let z = -13 - k. Let v be 34/(-119)*(-7 + 0). Solve -v*a + z = 3*a for a.
3
Let o = -7 - -9. Solve o*j = -2*j + 16 for j.
4
Suppose 2*n - 23 = -5*c, -2*n = 4 - 2. Suppose 3 = r + c. Let h be (-8)/(-4 - r) - 1. Solve -3*q + 12 = -h for q.
5
Let r = 15 + -8. Let v be r/(-21) + (-1)/(-3). Solve -g + 0*g + 4 = v for g.
4
Suppose 5*f + 15 = 0, 2*q + 3*q = 5*f + 15. Suppose w - 4*w + 24 = q. Let i be 1/(3*1/69). Solve -3*d + i = w for d.
5
Let f(p) = -p**3 - 4*p**2 + p - 3. Let c be f(-5). Suppose 3*g + b - 18 = 5*b, -5*b - c = -g. Suppose 0 - 4 = -g*n. Solve 5*o = n*o + 12 for o.
4
Let g(i) = -2*i - 12. Let p be g(-8). Solve -21 = 5*u + p for u.
-5
Let c(h) be the first derivative of h**3/3 + 7*h**2/2 + 9*h - 2. Let k be c(-6). Suppose q = -1, 1 = k*l - q - 0. Solve l = 2*f + 2*f - 12 for f.
3
Suppose -2*i + 3 = -i. Let g(z) = 2*z + 4. Let s be g(i). Let m(f) = f - 7. Let y be m(s). Solve -h + y = 2 for h.
1
Suppose -4*s - 11 = -3*k, 3*s + 2 = k + 5. Let l be 47/k - 6/27. Solve 3 = -q + l for q.
2
Suppose u + u = -2*u. Suppose -4*x + 4 + 10 = 3*o, 0 = -4*x - 2*o + 12. Solve u*s = x*s + 10 for s.
-5
Suppose -5*q = -2*q. Solve q*t - t = 0 for t.
0
Suppose -1 = -v + 5. Solve 2*n - 12 = v*n for n.
-3
Let t = 63 - 58. Solve 0*d + 5*d - t = 0 for d.
1
Suppose 31*s = 12*s + 38. Solve s*m + 3 - 7 = 0 for m.
2
Let j(i) = 2*i**2 + 3*i + 3. Let a be j(-1). Solve 0 = -w + a - 4 for w.
-2
Let z(d) = -6*d - 34. Let s be z(-6). Solve y + 3 = -s for y.
-5
Let h be (-4)/(-6) + (-52)/(-39). Solve -3*a = h*a + 10 for a.
-2
Let c be 14*-1*7/(-14). Solve -4*b + 1 = -c for b.
2
Let i(m) = -m**2 + 10*m - 7. Let f be i(9). Let p = 8 + -5. Suppose -f*s - p*s = -15. Solve 2*c = 3*c - s for c.
3
Let t be (-4)/2*4/(-8). Let g be (-2 - -1) + -2 + t. Let q be 1 + (1 + g - -2). Solve -4*b + q*b - 10 = 0 for b.
-5
Suppose 4*m + 5*h = 1, 3*h + 2*h = -3*m - 3. Let j be ((-14)/21)/(m/(-6)). Let u(y) = y**2 - 6*y + 5. Let v be u(6). Solve -4*p = -j + v for p.
-1
Let w be 0/(2/(-2) - 1). Let q = -23 + 25. Solve -5*i + 17 - q = w for i.
3
Let i be ((4 + -226)/1)/(-1). Let u be (-4)/14 + i/42. Solve u*n + 5 = -20 for n.
-5
Let f(i) = i**3 + 5*i**2 - 2*i - 5. Let x be f(-5). Solve 1 = 2*d + x for d.
-2
Suppose 3*u - 40 = -10. Solve 0 = -4*v + u + 10 for v.
5
Let y be (-2)/(-4) + (-69)/(-6). Solve 5*d + 3 + y = 0 for d.
-3
Suppose -v = -3*v. Solve v = q - 6*q for q.
0
Let r = -71 + 71. Solve -4*j + 4 + 0 = r for j.
1
Let o be (14/(-6))/(9/(-27)). Let d = 12 - o. Solve -d + 4 = a for a.
-1
Suppose -4 + 22 = 3*p. Solve -20 = -p*q + q for q.
4
Suppose 2*w - 6 = -2*j + 4*j, w - 3 = 2*j. Solve j*b = -b + 3 for b.
3
Let n(u) = u**3 + 3*u**2 - 4*u + 3. Let k be n(-4). Let f be 4/(-6) - (-158)/k. Suppose -z + 5*c = 3*z - 38, -5*z + f = -4*c. Solve 2*p - 5*p = z for p.
-4
Let r(x) = 3*x**3 - 2*x**3 + 0*x**3 - 11*x**2 + 5. Let t be r(11). Solve 5*d + 0 = t for d.
1
Suppose 6*o = -8 + 44. Let b = 3 - 1. Solve -o*a = -b*a for a.
0
Let h be (1 - 2)*(-2 - 9). Suppose -3*x = -4*k - h - 37, 4*x - 12 = k. Let z = k - -17. Solve 4*c = -z - 3 for c.
-2
Suppose -3*a = -2*a - 13. Let k be 6/8 + a/4. Solve 2*i + k = 4*i for i.
2
Suppose -b = 5*v - 64, -2*v + 2*b = 3*b - 25. Suppose 4*j = -16, -a + v = -0*a - 3*j. Solve -c = a + 2 for c.
-3
Let i be (-3)/(-2 + -1) + 2. Let j be -3 - (i - 6)*1. Suppose 4*s - s = 4*y + 3, j = 4*s - 4*y - 8. Solve -1 = s*h + 4 for h.
-1
Suppose -4*h + 7 + 1 = 0. Suppose h*u + 6 = -0*x + 3*x, 4*u = 3*x. Solve 4*o - 5 = u*o for o.
5
Suppose -3*l - 2*l = -25. Suppose 0 = -l*j + 55 + 90. Suppose 4 - j = -5*a. Solve d + a = -0*d for d.
-5
Let r(f) = f**2 - 5*f - 4. Let q be r(6). Let z = -15 + 10. Let t = -3 - z. Solve t + q = -2*d for d.
-2
Let y be 2/(-9) - (-101)/9. Solve -5*o + y + 14 = 0 for o.
5
Suppose -6*w = -w - 120. Suppose p - w = -p. Solve -5*j = -j - p for j.
3
Let r(x) = 2*x - 1. Let p be r(-2). Let a = p - -3. Let c be 2*(2 + 2 + a). Solve g = -g + c for g.
2
Let j be -2 + 4 + -3 + 1. Let k be 2 - 12/(0 + -3). Suppose -2*z + k = -0*z. Solve 6 = z*s - j for s.
2
Suppose -z - 9 = -4*z. Solve -1 = -z*w + 4*w for w.
-1
Suppose 8 = v + 3*v. Let j(b) = 1 - 4*b + v*b + 2*b**2 - 2. Let w be j(2). Solve -2 = o + w for o.
-5
Let i be (-24)/(-11) - (-1)/(22/(-4)). Solve 2*v + 16 = -i*v for v.
-4
Let n be (-2 + 1)*4*(-1 - 0). Solve -2*k - n = -6 for k.
1
Let l(y) = -6*y - 7. Let b(u) = 2*u + 2. Let w(a) = 8*b(a) + 3*l(a). Let v be w(-5). Solve -3*r = -4*r - v for r.
-5
Let r = 0 + 1. Suppose 8 = -2*x + 4. Let n be 0*x*4/32. Solve b + n = r for b.
1
Suppose -6*t + 2*t = 0. Solve 3*u + t*u = 15 for u.
5
Suppose -17 = -y - 4*a, -3*a + 4*a = 2. Suppose -3*c + y + 6 = -d, -5 = 5*d - c. Solve 0 = -d*t + t for t.
0
Let q be -2 - -4 - (-2 - 1). Suppose -q*y + 7 = -3. Solve 6*x = y*x + 20 for x.
5
Suppose -3*o = -o - 5*z - 76, 3*o + 3*z = 72. Suppose o = 3*k + k. Let x = -2 + k. Solve x*u = 7 + 3 for u.
2
Let o be 0/1*(-3)/(-9). Suppose -3*v - j - 1 = o, 5*j + 5 = v + v. Solve -c + 3*c = v for c.
0
Let a be (-5)/(-2)*(-4)/(-5). Suppose y + 3*n = 24, 0 = -4*n + 2*n + 8. Suppose a*d - y = 4*c, -5*c = 2*d - 0*c - 3. Solve -10 = d*k + 2 for k.
-3
Let j(c) = 2*c**2 + 3*c + 3. Let w be j(-2). Solve v + 4*v = w for v.
1
Suppose -5*b = -34 + 4. Suppose -b*q = -q. Let a = -1 - -4. Solve a*l - 7*l = q for l.
0
Let k be (-1 - -8)*(-20)/(-14). Suppose 0 = -5*m + k, 2*j - 3*m = -8*m + 20. Solve -j*i + 0 - 10 = 0 for i.
-2
Let s(r) = r + 1. Let t be s(4). Let f(o) = o**3 + 5*o**2 + o - 1. Let z be f(-2). Let u = z - 9. Solve u*x = t*x + 10 for x.
-2
Suppose 0*m = -m + 10*m. Solve -2*c - 2*c + 8 = m for c.
2
Let w be 0/(-2) - (-4)/1. Suppose 0 = -w*f + 12. Solve -f*t - 1 = -4*t for t.
1
Suppose 4*l - 16 = -4*m, 5*m - 4*m = 5*l - 8. Solve l*d = -d + 3 for d.
1
Let u = -1 - 5. Let p(r) = -r**2 - 7*r - 3. Let d be p(u). Suppose 2 = d*n - 13. Solve -4*y + 17 - n = 0 for y.
3
Let g be (-2)/(-8) - 31/(-4). Let p = g - 8. Solve p = 4*w - w for w.
0
Let v(n) = 3*n - 1. Let a be v(1). Suppose -2*f - 2*m = 10, -2*f = 2*m + 2*m + 14. Let t be (-3)/f + 5 - 0. Solve t*l - 12 = a*l for l.
3
Let q(f) = f**3 - f**2 - 2*f + 3. Let m be q(2). Let k be 118/8 + (-2)/(-8). Solve m*j + 0*j = k for j.
5
Let i be (2 + (-3)/6)/((-1)/(-2)). Solve i - 8 = s for s.
-5
Let z(a) = a. Let n(p) = -p**2 - 2. Let v(w) = -n(w) - 2*z(w). Let h(r) = -r. Let q be h(-2). Let d be v(q). Solve b + d = -1 for b.
-3
Let l = -4 - -9. Suppose -l*w + 18 = 3. Suppose -w*n = 2*b + 7, b - 3 - 4 = 2*n. Solve b = 2*g + 5 for g.
-2
Suppose k = -5*h + 168, -10 = -5*k + 5. Suppose -2*o + 90 = 22. Suppose -4*q - 14 = 2*c - o, 5*c = -5*q + 45. Solve 5*d - h + c = 0 for d.
5
Let i(a) = a + 2. Let w be i(3). Solve w*g + 15 = -10 for g.
-5
Let b be ((-16)/3)/(-3 - (-35)/15). Solve -q - q = b for q.
-4
Let r = 41 - 36. Solve r*o - 12 = o for o.
3
Suppose 5*o + 181 = 206. Solve -o*n - 4 = -9*n for n.
1
Let x be ((-9)/(-15) - (-22)/5) + 1. Solve -3*b - x = 6 for b.
-4
Suppose 15*o + 60 = 19*o. Solve -5 = -5*y - o for y.
-2
Let i be ((-13)/3 + 1)*-6. Let w = i + -8. Let n = -5 + 5. Solve n = 3*d + d - w for d.
3
Let r(f) = f**2 - 4*f - 8. Let l be r(6). Let h be (l/8)/((-1)/(-6)). Solve h*v = 2*v - 3 for v.
-3
Let b(y) = y**3 - 7*y**2 + 5*y + 6. Let w be b(6). Suppose w = -3*o + 6, -v + 3*o = o. Suppose h + 3 = v. Solve -2*d + h = -7 for d.
4
Suppose -5*w = -w. Solve 6*c - c - 25 = w for c.
5
Suppose -v = 3*v + 16. Let k = v + 7. Let i be 6*k*(-3)/(-9). Solve 3*r + 9 = -i for r.
-5
Let u(t) = 4*t**2 - 9*t - 4. Let w be u(3). Solve 0 = -w*v - 5 - 10 for v.
-3
Let g(u) = 4*u**3 - 5*u - 4*u**3 - 5*u**2 + u**3. Let q be g(6). Suppose -2*x - 3*b = -18, -x + q = x - 3*b. Solve -k - 1 = -x for k.