h for j.
-4
Let n(i) = -i + 6. Let t be n(0). Solve 14 = 4*o - t for o.
5
Let n = -7 + 13. Suppose -2*u + z + 10 = 0, 2*u - 2*z = 2*z + 4. Let c = n - u. Solve c = -o - o for o.
0
Suppose 2 = -v - 3*g, -2*v - 3*g + 4 - 2 = 0. Solve -n - v*n - 25 = 0 for n.
-5
Suppose 0 = 5*f - 6*f - 1. Let x be ((-15)/(-6))/(f/(-2)). Suppose 0 = 4*m + x*b - 16, -3*m - 2*b + 12 = -0*b. Solve -m*l = 12 - 0 for l.
-3
Suppose 18 = -3*m + 24. Solve -f - m*f = 15 for f.
-5
Let d = 7 + -10. Let k = d + 8. Solve -k*u - 6 = -1 for u.
-1
Let j(t) be the first derivative of 2*t**3/3 + t**2/2 + t - 3. Let l be j(-1). Let q = -28 + 53. Solve l*h - q = 7*h for h.
-5
Suppose 0 = 5*q - 3*h - 7, 3*q - 2 + 1 = 5*h. Solve 5*m = q*m + 12 for m.
4
Let o = -22 + 25. Solve o*j = 2 + 13 for j.
5
Suppose 3*p = -4 + 16. Let s be -1*(2 + -3)*p. Solve -s*m + 1 = 13 for m.
-3
Suppose z = 8*z - 7. Solve -g - 1 = z for g.
-2
Let n = -3 - -5. Suppose 21 = o - 4*c, -o - 2*c = n*o - 21. Solve 7 = 4*u - o for u.
4
Suppose -3*l + 4*y - 2*y = -37, 0 = 4*l - 2*y - 46. Let a be (-58)/(-18) - 2/l. Solve n = -a + 1 for n.
-2
Let z be ((-10)/15)/(2/(-15)). Solve z + 1 = -2*y for y.
-3
Let s(h) be the third derivative of h**4/24 - h**3/6 + h**2. Let p be s(5). Suppose p = 4*x - 4. Solve m = 4 - x for m.
2
Let b = 5 + -2. Suppose 0*x = -b*x. Suppose 0 = -j + 3*q - 3, x*q = -3*j + 5*q + 3. Solve -d + 10 = -j*d for d.
-2
Suppose -w = 4*w. Suppose -2*k - 2*h + 22 = 0, k - 16 + 0 = -2*h. Let p be (1*2)/2 + -1. Solve w = -3*d - p*d - k for d.
-2
Let s(t) = -2*t + 2 + 0*t**3 - t**3 + 0*t**3 + 5*t**2. Let d be s(4). Solve -h - h = -d for h.
5
Let z(s) = s**2 + s + 6. Let m be z(0). Suppose 4*p = 2*f + 8, 0 = -3*p - f + m*f + 6. Let c = 4 - -8. Solve p*a = 6*a + c for a.
-3
Suppose -6*f + 4*f + 2 = 0. Solve t + f - 2 = 0 for t.
1
Let z = 22 + 0. Let s be (-8)/20 + z/5. Solve 0*d + 4*d = s for d.
1
Suppose -2*b - 21 = b. Let m = 9 + b. Solve 0 = -3*w + 4*w - m for w.
2
Suppose -4*f - 12 = -0*f. Let b be (-2)/((-50)/15)*(-4 + -1). Let t = b - f. Solve -4*l + t*l + 8 = 0 for l.
2
Let m = 13 + -2. Let s = -12 - -20. Let g = m - s. Solve f - g = 4*f for f.
-1
Suppose 0 = -2*i - y - 2, 4*i - 4 = 2*y. Solve 6*g - 30 + 6 = i for g.
4
Suppose -f + 22 = 8. Solve 0 = -5*o - 6 - f for o.
-4
Suppose 40*h = 33*h + 112. Solve 4*y - 8*y = h for y.
-4
Let q(s) = 9*s - 4. Let j be q(2). Let m = j + -9. Solve m*t - 8 = 12 for t.
4
Suppose -2*g = g - 4*y - 28, 0 = y - 2. Suppose 3*d - 5 = -4*q + 18, 5*d = 5. Solve q*i = i + g for i.
3
Let r(n) = n**2 + 2*n - 1. Let u be r(-3). Suppose 2*v = -a + u*a - 12, v = -3*a + 1. Solve a = 2*z - 0*z for z.
1
Suppose 3 = 2*y - 7. Let h = 7 - y. Solve 0 = -h*f - f + 9 for f.
3
Suppose y = 4*y - 12. Solve 3*b = -10 + y for b.
-2
Let x be (-15)/(-2)*(-4)/(-6). Let l = -5 + x. Solve l = -c + 3 for c.
3
Let t = -17 - -17. Solve -5*o + t*o = -15 for o.
3
Let r be 4/(-10) - (-137)/5. Let g be -4*((-6)/4)/(24/20). Solve 0 = g*o - r + 7 for o.
4
Let o be 3/4 - 7/(-28). Solve 3*w - o = -10 for w.
-3
Let q be (-2 - 2*-6)*(-3)/(-6). Let w be 2 - (0/(-2))/2. Suppose 3*v = 4*r - r, -w*v = -3*r. Solve v*b - 15 = -q*b for b.
3
Suppose -4*b = 48 + 4. Let g = 13 + b. Solve 5*t + g*t = 10 for t.
2
Let q = -28 + 30. Solve 3*c - q*c - 3 = 0 for c.
3
Let m be -1 - (-1 - (4 + -2)). Suppose 6*r = m*r + 20. Solve r = 5*y - 10 for y.
3
Suppose -g = -4 + 1. Let a = 11 - 7. Solve g*k + a = k for k.
-2
Suppose -2*n = -2*c + 22, 0 = 3*c + n + 7 - 44. Solve 3 = 3*x - c for x.
5
Let p(d) = 10*d - 4*d + 0*d - 2 - d**2. Let i be p(4). Solve 0*g = -3*g + i for g.
2
Let b be (-1)/1*-1 - -2. Suppose l + 0*t + 5 = 5*t, -l = 3*t - 11. Solve -l = 2*g + b for g.
-4
Let q be -11*(-4 + 2 + 3). Let t = -8 - q. Solve t*g - 1 = 2 for g.
1
Let m(n) = -n + 25. Let h be m(10). Solve -2*x + h = 3*x for x.
3
Let r = -41 + 41. Solve r = -4*b - 13 - 7 for b.
-5
Let j be 12/(-8)*(-8)/12. Let d be (j/(-3))/((-14)/798). Solve 6 = -5*p - d for p.
-5
Let y be ((-4)/(-12))/((-2)/(-6)). Solve -2*l + y = -1 for l.
1
Let w(f) = -f - 6. Let h be (-12)/9*(-9)/(-2). Let d be w(h). Solve d = -k - 0*k for k.
0
Let j be (-6 - -10)/(3 + -1). Solve 0 = -w + j for w.
2
Let c(d) = 2*d**2 + 1. Let b be c(2). Let g = -4 + b. Solve -2*h + g = -3*h for h.
-5
Suppose -d = -6*d. Solve 3*i = -3 - d for i.
-1
Let w(f) = -f + 8. Let h be w(6). Let z be (46/(-6))/(3/(-9)). Suppose 2*c - 4*k = -0*k - 4, k = -5*c + z. Solve 3*g - c = h for g.
2
Let t be 6/(-4)*8/6. Let r be 7/2 - t/4. Suppose r + 4 = 2*i. Solve 3*w - 3 = i*w for w.
-3
Let c be ((-2)/(-4))/(-1*(-3)/6). Solve u + c + 3 = 0 for u.
-4
Let b be (5 + -3)*2/4. Let n = b + 1. Solve -n*f - 4 = -0 for f.
-2
Let h = 177 - 176. Solve 2*t + 9 = -h for t.
-5
Suppose -3*b = 6 - 42. Solve -2*p - p = b for p.
-4
Let g(z) = -z**3 + 4*z**2 + 3*z - 1. Let n be g(4). Let d = 13 - n. Solve -5*b = -d*b + 15 for b.
-5
Suppose 4 = b - 5*b, -l = -2*b - 32. Let i = -20 + l. Solve -5*k = -0*k - i for k.
2
Suppose -4*q = 10 - 26. Suppose -q*z + 3 = -3*z. Let j(f) = -f**3 + 6*f**2 - 6*f. Let k be j(4). Solve 0 = -z*h - h + k for h.
2
Suppose -5*l = 3*q - 20, -16 = -3*q + 2*l - 3*l. Suppose -q = -3*d + 5*r, 3*d - 3*r - 15 = -6. Suppose d*p = 3*p. Solve -4*k = -p*k + 12 for k.
-3
Suppose -7*d + 16*d = 0. Solve k + k + 6 = d for k.
-3
Suppose 5*y = y + 4. Solve 7 = -2*b - y for b.
-4
Suppose n - 9 = -2*n. Solve n*c = -4 - 2 for c.
-2
Let a = 12 - 9. Let f be 3*(-8)/a + 3. Let v(t) = -t**3 - 4*t**2 + 4*t - 3. Let w be v(f). Solve 3*b - w = 5*b for b.
-1
Let x = 2 - 2. Solve x*b = -3*b for b.
0
Let h be 21/2 + 5/(-10). Solve -3*s + 5*s = -h for s.
-5
Suppose 3 = -5*g + 3*f, 4*f = 5*g + 8*f - 4. Solve 2*c + c = g for c.
0
Suppose 3*d - d = 0. Let f be 1/(-4) - (-1)/4. Solve d = -f*u + 3*u - 12 for u.
4
Let c = 0 - -5. Suppose 2*s - 7*s = 5*a - 90, 2*s - c*a - 15 = 0. Suppose 2*p = -y - 6, 0*y - 2*y + s = -5*p. Solve -2*u + 0*u = y for u.
0
Let f be (1 + -3)*2/(-4). Let k be -1*f/2*0. Let y be 5/2 - (-8)/16. Solve d = -k*d - y for d.
-3
Suppose -3 = 4*d - x - 15, -3*x - 12 = 0. Solve d + 10 = 4*q for q.
3
Suppose 1 + 11 = 2*r. Suppose 3*o - 51 = -6. Suppose o = -2*c + 7*c. Solve -c*h + r = -0*h for h.
2
Suppose -2 = 3*b - 17. Solve 0 = b*o - 10*o - 20 for o.
-4
Let c(m) = -m**2 + m - 2. Let r be c(3). Let x = -6 - r. Solve x*q - 4*q - 6 = 0 for q.
-3
Let x = -14 + 24. Let d be 16/(-8) - (0 + -1). Let b be x*(1/(-2))/d. Solve b*p + 3 = 8 for p.
1
Suppose -4*j - m + 3 = -0, -2*m = -j - 6. Let z = 4 + 7. Suppose z = 3*g - 2*l - 0*l, -g + 15 = 5*l. Solve t - g = -j for t.
5
Let v(c) = 1. Let z(x) = 4*x + 4. Let o(i) = 2*v(i) - z(i). Let p be o(-3). Let t = p - 6. Solve 5*w - t*w = 0 for w.
0
Suppose 4*w - 5*w + 5 = 0. Solve 6 = -w*n + 1 for n.
-1
Suppose 3*w + 30 = 39. Solve -w*m + 2*m = 5 for m.
-5
Let x = -18 + 19. Suppose -2*b = -6*d + 2*d - 20, 3 = -3*b - 5*d. Suppose 0 = -5*g + b + 11. Solve 2*s + x = g*s for s.
1
Suppose 5 - 50 = -3*a. Let z = a + -13. Solve 12 = -j - z*j for j.
-4
Let z be 3/4 - (-7)/28. Suppose u + 3*u - 28 = -5*v, 3*v = -2*u + 16. Suppose -5 - z = -u*a. Solve -a*i + 0*i = 12 for i.
-4
Let a = -81 - -101. Solve 2*u + 3*u - a = 0 for u.
4
Suppose 5 + 5 = 2*v. Let i be -1*(-2 - 2*-1). Suppose f + 0*f - 21 = i. Solve 6 - f = v*n for n.
-3
Let x be (-17)/(-68) - 14/(-8). Suppose 2*a - 3 = l, -39 = -2*l - 9*a + 4*a. Solve x*r = l*r + 20 for r.
-4
Let a be (4/(-6))/(26/(-39)). Solve g - a = 1 for g.
2
Let l(t) = -t - 3. Let n be l(-5). Suppose 15 = -3*q - n*q, -r + q + 7 = 0. Solve -5 = -r*x - 1 for x.
1
Let p = -4 - -3. Let x(j) = 2*j**2 + 2*j - 1 + 2*j**2 + 2. Let u be x(p). Solve 0 = -u*f - 12 - 3 for f.
-5
Let r = -15 - -40. Solve -3*v = -8*v + r for v.
5
Let l(m) = -m**3 - 5*m**2 + 6*m + 3. Let x be l(-6). Let y = 0 + x. Suppose -20 = -y*g - 5. Solve 4*h + 1 = g*h for h.
1
Suppose 5*b + 2 = 12. Solve 0 = h + b for h.
-2
Let u(w) = -w**2 - w + 12. Let b be u(-3). Solve -3*z + 6*z = -b for z.
-2
Suppose 0 = -0*m - 4*m + 24. Solve 3*s + 0*s + m = 0 for s.
-2
Let a(r) = 11*r**2 - r - 2. Let f = 22 + -23. Let l be a(f). Solve 3*b - l = 5 for b.
5
Let v = 9 - 4. Let x = v + -4. Suppose 1 = -z + k, -2*z + 7*z + x = k. Solve -2*r + 0*r = z for r.
0
Let g be (-21)/(-3) + (2 - 2). Solve 3*s - 1 + g = 0 for s.
-2
Let s(b) = -b**2 