olve -h = 2*h + m for h.
-1
Let r(j) = -j**2 + 14*j - 9. Let t be r(13). Solve 0 = -t*q - 14 + 2 for q.
-3
Suppose -3*j + 23 = -7. Suppose 5 = 5*v - j. Suppose 3*u = a + 5, 2*u = -2*u + v*a + 10. Solve 5 - u = -l for l.
-4
Let i = 14 - 12. Suppose 7 = 2*y - 4*h - 5, i*y - h - 9 = 0. Solve -3*a + 4 = -y*a for a.
-4
Let j = 31 - 27. Solve -j*r - 2 = -3*r for r.
-2
Let x = 32 + -28. Let h(y) = -6*y - 1. Let l be h(-2). Let t = -5 + l. Solve -x*s = -t*s + 10 for s.
5
Let a = -6 + 8. Let t = -20 - -35. Let z = -31 - -38. Solve -t = z*q - a*q for q.
-3
Suppose -8 = -3*t - t. Suppose -5 = t*q - 21. Solve 4*z = -0*z + q for z.
2
Let a be 2 + (1 + 0)*8. Let n = 14 - a. Solve 0*z = -n*z for z.
0
Let u = -8 + 8. Solve u = -0*p + 2*p for p.
0
Let r = 7 + -3. Suppose -5*k = -2*p - 30, -r*k + 9 = -8*k - 5*p. Solve k*x = 2*x for x.
0
Let z = 2 - -2. Let b be 92/22 - z/22. Solve b*k - 11 = 5 for k.
4
Suppose -1 = -k + 3*a - 8, -2*a = -3*k. Solve k*v + 0 = 2 for v.
1
Suppose -7 = 3*m - 22. Solve m*z = z for z.
0
Suppose -4*z - 2*t = -12, 3*t = 4*z + 2*t - 6. Solve 0 = z*h - 0*h for h.
0
Let x = -38 + 55. Solve 2*u + x - 7 = 0 for u.
-5
Suppose -3*g = -4*g - 7. Let q = 11 + g. Solve 0 = 4*t - 2*t - q for t.
2
Suppose -2 = w - 6. Suppose -14 + w = -2*j. Suppose j*x + 4 = 44. Solve f = 5*f - x for f.
2
Let b = 87 + -52. Suppose -6*r + b = -r. Let c = r + -5. Solve -h + c = -3*h for h.
-1
Let v be (-7 - -3) + 3 + (11 - 0). Solve -6*n = -2 - v for n.
2
Let r = 31 + -19. Let h = 24 - r. Solve 2*m = h - 4 for m.
4
Let p = 7 - 10. Let r be (-1)/p - 6/18. Suppose -n = n - 4. Solve n*i - 3 + 1 = r for i.
1
Let o(b) be the first derivative of -3*b**2 + 1 - 1/3*b**3 - 5*b. Let n be o(-5). Solve n - 2 = -v for v.
2
Suppose -6*c + 4*c = -14. Solve -2*k + c*k + 25 = 0 for k.
-5
Let r be (3/2)/((-15)/(-20)). Solve 0*b = 2*b + r for b.
-1
Suppose -5*q = -0*q - 35. Let m(v) = -v**3 + 12*v**2 - 12*v + 14. Let o be m(11). Solve -o*s = q + 2 for s.
-3
Suppose -7*j = -3*j - 5*s - 11, 4*j + 3*s = 19. Suppose 0 = n - j*n. Let w be 4 - ((-4)/2 + 4). Solve w*b - 7 + 3 = n for b.
2
Let v = 13 - 8. Let h = v - 5. Solve h = -3*w + 6*w - 9 for w.
3
Suppose 0 = 2*y - 0*y. Suppose 0 = -2*m - 3*u - 5, y = -4*m - u - 2 + 7. Suppose 0 = -0*f - f - 5*r, 0 = 5*f - 2*r. Solve -m*n = -f*n for n.
0
Let z(k) = k**3 + 7*k**2 + 6*k + 2. Let c be z(-6). Solve -c*j - 2 = -6 for j.
2
Suppose 0 = -2*p + 8 - 0. Solve 0 = -7*j + p*j - 6 for j.
-2
Suppose 20*r = 24*r. Solve -m = -r*m for m.
0
Let o(f) = -5*f - 35. Let d(l) = 3*l + 18. Let b(u) = -7*d(u) - 4*o(u). Let i be b(11). Solve -i*s = -0*s - 15 for s.
5
Suppose -145 = -5*t - 70. Solve 10*y - 5*y = -t for y.
-3
Suppose 3*v = -5*l - 27, 2*v - 5 = 4*v - l. Let s be (0/v)/(-1) + 1. Solve -j - s = -0*j for j.
-1
Let b be ((-5 - -2 - -3)/(-1))/2. Solve 5*k - 10*k = b for k.
0
Suppose -16*i - 4*i = 0. Let s(t) = 2*t - 8. Let x be s(6). Suppose 5*n - x = 6. Solve -l + 2*l - n = i for l.
2
Suppose 7*k - 2*k - 35 = -5*i, -i = -3*k - 19. Solve i = 5*x - 3*x for x.
5
Let c = -6 + 6. Solve c = k - 4 for k.
4
Suppose -h - j + 11 = -2*h, 3*h = -2*j - 13. Let r be (-2)/h + (-4)/14. Suppose r = -4*w - 4*g + 16, -2*w - 2*g = -7*g - 29. Solve -4*l + w*l + 15 = 0 for l.
-5
Let h = 2 - -10. Suppose h*u = 9*u + 6. Solve 2 + u = 2*x for x.
2
Suppose 8 = -2*d - 3*c, -5*d + 5*c + 14 = 4*c. Suppose -3*q = -r - 2, d*r + 2*r - 4*q = 8. Solve -r = u - 6 for u.
2
Let z = 22 - 14. Suppose q + q = 0. Solve -h - h - z = q for h.
-4
Let n(h) = 3*h**2 - h - 2. Let z be n(3). Let j(a) = a + 10. Let q be j(-10). Suppose q = 2*v - z + 8. Solve v*u - 2*u = -15 for u.
-3
Suppose -4*j = -j - 9. Let h be (0 - 1) + j + 0. Let r = 1 + 2. Solve -d = -h + r for d.
-1
Let s(v) = 2*v - 6. Let t be s(4). Let r be (96/18 + -4)*3. Solve -t*a = r - 12 for a.
4
Let s be (-16)/(-10) - (-22)/55. Suppose a + 2 = s*a. Solve 0 = -a*y - 3*y + 25 for y.
5
Let u(s) = 5*s - 3. Let b be u(5). Let z = 43 - b. Let j be (6/(-7))/((-3)/z). Solve 0 = -2*n + j*n + 8 for n.
-2
Suppose 0 = 2*m - m - 8. Solve 2*l - m = 2 for l.
5
Let z be (-60)/75*(-10)/4. Solve -5*r + z = -3 for r.
1
Let j(i) be the first derivative of 4*i**3/3 - i**2/2 - 2*i + 2. Let d be j(4). Let f be d/10 + 4/20. Solve -5*n + 1 - f = 0 for n.
-1
Let n(p) = -3*p - 30. Let l be n(-11). Solve 7*t = l*t for t.
0
Let m(z) = -z - 2. Let d be m(-4). Suppose d*v - 4*k + 88 = 0, -2*v = -5*v - 3*k - 96. Let c be 8/v + (-2)/(-9). Solve c = q + q + 2 for q.
-1
Let c be (8 + -2)*1 - 4. Solve -3*s = -4 - c for s.
2
Let d be (-15)/(5 + -4 + -2). Suppose -5*w = -3*o - 24 + 3, -5*w + 5*o = -d. Solve u + u = -w for u.
-3
Let y(r) = r**3 - 5*r**2 + 3*r + 4. Let u be y(4). Suppose -4*v - v + 15 = u. Suppose 2*x = 4*d - v*d - 2, -2 = -2*d + 2*x. Solve 3*b + 2*b = d for b.
0
Let i(t) = t + 20. Let z be i(-9). Let p = z - 10. Solve -p = -f + 3 for f.
4
Let d be 30/18*(2 + 8/(-10)). Let u(l) = l**3 + 7*l**2 - l - 9. Let b be u(-7). Let i be 3/2*(b - -4). Solve -y = -i*y + d for y.
1
Let n be 1 - (-1 + 3)/(-1). Let u(w) = -4*w**2 + 0*w**3 + 4*w - 4 + 7*w**2 - w**n. Let g be u(3). Solve 0 = d - 3*d - g for d.
-4
Suppose 3*k = 5*o - 16, 3*o - 4*k - 1 - 2 = 0. Let f = 13 - o. Solve -3*u - 4 - f = 0 for u.
-4
Suppose -3*m + j + 2 = -j, -4*m + 3*j + 3 = 0. Suppose m = -o - 4*o. Solve o = p + 3*p + 20 for p.
-5
Suppose 3 = -y, 0*q + 4*y = 3*q - 12. Solve q = -5*p + 2*p - 3 for p.
-1
Let t = -20 + 33. Let k = 9 - t. Let b = k + 9. Solve 0 = -3*u + 2 - b for u.
-1
Suppose 2*c + 1 = -4*r + 5*r, 0 = -c + 4*r - 4. Let o = 332 + -232. Suppose -4*j + o = j. Solve t + 4*t + j = c for t.
-4
Let h be (-53 - -1)*1/(-2). Let d(z) = z**2 + 6*z - 12. Let j(l) = 3*l**2 + 18*l - 35. Let o(a) = 11*d(a) - 4*j(a). Let q be o(-7). Solve -5*y = h - q for y.
-5
Suppose -14 = -3*x + p - 2*p, 0 = -p - 4. Solve 6 + x = 4*b for b.
3
Suppose -3*k - 30 = 2*k. Let i(d) = d**2 + 6*d + 5. Let x be i(k). Suppose 0 = x*v + 3*z - 45, -4*v + z + 0*z = -19. Solve v*l - l + 10 = 0 for l.
-2
Suppose -5*v = 2*p - 6, 3*v + 0 = -2*p + 6. Suppose -p*m + 2*h = -34, -4*m + 3*h = -4 - 43. Solve 0 = m*b - 3*b - 10 for b.
2
Let h be 16/8 + 1*-2. Solve -a - a + 10 = h for a.
5
Suppose -5*o = -5*q, -o + 5*q - 8 = 8. Solve 0 = p - o*p for p.
0
Let s be 0/((-8)/(3 - 7)). Solve c - 2*c - 3 = s for c.
-3
Let h = -13 - -16. Solve 2*q = -h*q + 15 for q.
3
Suppose 0 = 6*r - 10 - 8. Solve 7 - 1 = r*n for n.
2
Let y = -73 + 77. Solve -4*r + 3*r + y = 0 for r.
4
Let m = 107 - 72. Solve 5*j - m = -10 for j.
5
Let d = 5 + 1. Solve 0 = -u + d*u for u.
0
Let a be ((-6)/5)/(8/(-20)). Suppose 0 = a*y + 4*f - 16, 3*y + 20 = 7*y + 5*f. Let h be (2/(-4)*y)/1. Solve h = 2*j + 2*j + 12 for j.
-3
Suppose d - 5*t - 85 = -2*d, -80 = -3*d + 4*t. Solve d = 4*p + p for p.
4
Let j(u) be the first derivative of u**4/4 - 4*u**3 + 13*u**2/2 - 12*u - 4. Let p be j(11). Solve -4*s = 2 - p for s.
2
Let m(c) = -12*c. Let f be m(-2). Suppose 2*q = -2*q + f. Suppose 0 = q*g - g - 25. Solve -10 = -5*y + g for y.
3
Let q = 29 - 24. Let c(x) = -x + 8. Let i be c(q). Solve -8*j = -i*j + 15 for j.
-3
Let k(p) = -p**3 - 10*p**2 + 11*p + 5. Suppose 3*s - 2*x = -x - 28, -3*x + 29 = -4*s. Let o be k(s). Solve o*r + 20 = r for r.
-5
Suppose -i + 0 = -2. Suppose -i*m + 6 = -2*o - 2, -4*m + 9 = 3*o. Suppose m*a = 5*a. Solve -5*j = -a*j + 15 for j.
-3
Let w(f) = 3*f + 6. Let m be w(-2). Solve m = -3*x + 12 - 0 for x.
4
Let n(v) = v - 2. Let a be n(6). Let d(k) = -k**2 + 2. Let g be d(2). Let w be 0 - ((-1 - g) + -3). Solve w = -z + a for z.
2
Let u = 3 + 2. Suppose 0 = -u*v + 15, -3*t + v = -t - 1. Suppose i - 8 = -t*f, 5*f = -4*i + 5*i + 13. Solve 0*b - 2 = i*b for b.
-1
Let p be (-554)/(-22) + 32/(-176). Solve -t - p = -6*t for t.
5
Let x be (-2*1)/((-3)/12). Let s be (2 + -2)/(1*-2). Solve s = 2*y + 2*y - x for y.
2
Let t be 2/6 - (-78)/9. Let p be (-81)/15 + (-4)/(-10). Let k = t + p. Solve y + 1 = -k for y.
-5
Suppose -2*y - 4 = z, -2*z + 10 = -3*y + 4. Solve z = 2*r - r + 1 for r.
-1
Let t be (-15)/(-35) + (-3)/7. Solve t*w = w for w.
0
Let a = -3 - -7. Suppose 0 = -4*b - a*t + 8, -4*t + 6 + 2 = 0. Solve -3*g + 8*g + 5 = b for g.
-1
Let o = -128 + 128. Solve o - 2 = i for i.
-2
Let s be (30/12)/(1/2). Suppose s*j - 19 - 1 = 0. Solve 13 - 5 = -j*g for g.
-2
Suppose 0 =