 - m = h for h.
-2
Let c = -65 + 68. Solve -c = -0*j + 3*j for j.
-1
Let i = 4 + -1. Solve i + 5 = 4*u for u.
2
Let p be (-2 - -8)*27/18. Solve -y + p = 5 for y.
4
Let f be 4*5*1/5. Solve 0 = f*q + 8 - 0 for q.
-2
Let d(x) = -x**3 - x**2 - 2*x - 13. Let b be d(0). Let p be (-1139)/(-221) + 2/b. Solve 0*w = -p*w + 5 for w.
1
Suppose 8 = y + 3*l, -3*l - 16 = -y - y. Suppose 0 = -b + y - 6. Suppose b*h - 24 = 16. Solve w - h = -3*w for w.
5
Suppose 5*c - 2*p - 16 = 9, -4*p - 15 = -3*c. Suppose 8 = c*f - 2. Solve -7 = -f*b - 3 for b.
2
Let s(w) be the third derivative of w**6/120 + 7*w**5/60 + 7*w**4/24 + 3*w**3/2 + 8*w**2. Let l = -8 - -2. Let b be s(l). Solve 0 = b*p + p + 8 for p.
-2
Let c(m) = -m**2 - 15*m + 3. Let j be c(-15). Suppose -17 = -2*z + j. Solve 3*r = r + z for r.
5
Let r be 2 + (3 - 4) + 4. Suppose -7*l + 2*l - r = 0. Let f be (l + 13)*(-4)/(-6). Solve 0 = x + x - f for x.
4
Suppose -3*q + 7*q = 32. Solve q*j = 9*j + 5 for j.
-5
Let l = -5 - -4. Let x be (4 - 3)*(-11)/l. Solve 5*n + x = -9 for n.
-4
Suppose f - 21 = -4*j, j - 4*f - 19 = -7*f. Suppose 3*z + 10 = -5*k, -j - 6 = -2*z + 5*k. Solve z = -3*n + 6*n + 15 for n.
-5
Let i = 2 - -8. Let f = i - 7. Suppose -n = 2*n - f. Solve -a + n = -2 for a.
3
Suppose -2*g - 10 = i, 2*i + 1 + 7 = 2*g. Let z = -2 - i. Suppose -3*q - 5 = -z*q. Solve -q*c = -9 - 6 for c.
3
Suppose 0 = -4*b + 5*a + 34, 5*a = 3*b + 2*b - 40. Solve b*f - 3*f = 12 for f.
4
Let f(i) = -i**3 - 2*i**2 + 1. Let a be f(-2). Solve 11 = 3*r - a for r.
4
Suppose -6 = -5*u - 3*y, -2*y = -u - 3*y. Suppose -2*c + 5*c = 3. Solve 2*p = u - c for p.
1
Let l = 2 + -2. Solve l = -u - 4*u - 10 for u.
-2
Let f = 0 + 2. Suppose -5*v + 3*j - 33 = 23, -2*v = -5*j + 11. Let p = 25 + v. Solve f*n + p = -2*n for n.
-3
Suppose -5*f + 2 + 23 = 0. Let w(k) = -f*k + k + 4*k + 2*k - 4. Let p be w(4). Solve 3*z = 16 - p for z.
4
Let r(y) = -y**2 + y + 4. Let a be 0/(4*(-1)/2). Let q be r(a). Solve x = q*x - 3 for x.
1
Let s be -1 + 5 + 34/(-17). Solve -t + 3 = s*t for t.
1
Suppose 2*b - 3 = b, 4*q + 3*b = -71. Let s = q - -10. Let z = s - -16. Solve -c = 3 - z for c.
3
Let z(j) = -4*j + 5. Let w be z(0). Solve w*v = v for v.
0
Let j(h) = h**3 + h**2 - 9*h + 2 - 5*h**2 - 6*h**2 + 2*h**2. Let u be j(9). Solve u*x = 4*x - 10 for x.
5
Suppose 5*l = 2*f - f - 5, -5 = 4*f + 5*l. Let z = 0 + 0. Let n(h) = -h + 3. Let o be n(z). Solve f = s - 5 + o for s.
2
Let t = -8 - -12. Solve n + 1 = -t for n.
-5
Suppose 2*x = 3*x - 2. Let a(r) be the second derivative of r**5/20 - r**4/12 - r**3/6 - r**2/2 + r. Let w be a(x). Solve -d + w = -4 for d.
5
Suppose -3*h + 4*x = -h, -4*x = -h. Solve 3*k - 4*k + 3 = h for k.
3
Suppose 0 = l + 5*z - 18, -z - 2*z = -4*l + 3. Solve -l = j - 5 for j.
2
Suppose 1 + 2 = -3*o. Suppose 3*l = -0*l - 6. Let j be (1 - o) + 2 + l. Solve j*n + 2 = -0*n for n.
-1
Let w be 4*(-1)/6*-3. Solve 4 = -w*o - 0 for o.
-2
Let y = 14 - 11. Suppose y*h - h - 32 = 0. Solve -2*u = 2*u - h for u.
4
Suppose 3 = -3*k + 15. Suppose 0 = -k*x + 9*x. Solve -2*c + 4 = -x*c for c.
2
Let s(f) = f + 1. Let v(g) = g**2 + 8*g + 2. Let b(d) = 6*s(d) - v(d). Let u be b(3). Let t = -1 - u. Solve -5*m = 15 + t for m.
-5
Suppose 4*c - 2*c - 4 = 0. Let t(k) = -k**2 - 4*k + 3. Let h be t(-5). Let f = h - -5. Solve -3*v = -c*v + f for v.
-3
Let a(m) = m + 9. Let t be a(-9). Let g be (-1 - t)*-2 - 0. Solve -g*k = -0*k + 10 for k.
-5
Let o = -15 + 1. Let g = o + 8. Let p be 0*(-2 + (-15)/g). Solve 3*i + p*i - 12 = 0 for i.
4
Suppose 6*j - 9*j = -6. Solve j*h = -2 - 2 for h.
-2
Let q(n) = -n**2 + 1. Let i be q(1). Suppose -2*v + v = 9. Let z be -3*(24/v + 2). Solve i*b - 10 = -z*b for b.
5
Let a = -14 - -2. Let q be (-3)/((-9)/2)*a. Let m = 11 + q. Solve m*t - 18 = -3 for t.
5
Suppose -3 = 5*b + 2, 1 = 4*z + 3*b. Suppose z - 7 = -3*q. Suppose -5*m = -5*v - 60 - 70, 0 = -v - 1. Solve -3*y = q*y - m for y.
5
Let a(g) = 3*g - 28. Let h be a(10). Solve -h*f = -f - 5 for f.
5
Let k be (-4)/38 + (-580)/(-95). Solve -2*u + 0*u = k for u.
-3
Let b = -46 + 49. Let c(n) = -n**3 + 7*n**2 - 7*n + 6. Let x be c(6). Solve x = -b*t + 2*t + 2 for t.
2
Suppose 3*a + z + 0 = -3, z = 2*a + 7. Let h be (3 - (-9)/(-3))/a. Solve h = t - 2*t - 1 for t.
-1
Let z(u) = u - 1. Let l be z(4). Suppose 0*y + 40 = -4*y. Let t = 12 + y. Solve -l = t*x + 3 for x.
-3
Suppose -5 = -4*s - 17. Let z be (-2)/s + (-8)/(-6). Solve -z*c = 2*c - 20 for c.
5
Suppose -4 = -4*h + 4. Let i be (h/(-8))/((-3)/24). Solve 6*b = i*b + 12 for b.
3
Suppose -10 = -13*f + 16. Solve 0 = -4*t - f*t for t.
0
Let h be 5 - (3 - (-1 - -1)). Suppose -h*j - 2*j = -16. Solve -3*i = i - j for i.
1
Let s = 42 + -20. Let r = -13 + s. Suppose -3*u + 35 = -4*t + r, 0 = 2*t + 10. Solve -u*p - 9 = -5*p for p.
3
Suppose 0*r = 2*r. Solve -3*l = -r - 3 for l.
1
Let s be ((-4)/10)/(4/(-60)). Solve s = 3*b - b for b.
3
Let l be 3 - (1/1)/1. Let c(q) = -q**3 + q - 2. Let y be c(l). Let n be y + 7 - -1*2. Solve n + 3 = -t for t.
-4
Let y = 3 + -5. Let g be y - -4 - 4 - -15. Solve 2*v + 3 = g for v.
5
Let h(x) = 7*x**2 - 8*x**2 - 2 - 1 - 8*x. Let r be h(-6). Solve -3*y + 6*y = r for y.
3
Suppose 3*y - 3*s = 15, 5*s + 14 - 5 = -3*y. Solve -y*g - 2 = 8 for g.
-5
Suppose 4*c - 7 = 33. Suppose -3*h - z + 1 = -8*h, -5*z = -3*h - 5. Solve 0 = -h*m - 5*m - c for m.
-2
Let z(p) = p**3 + 4*p**2 - 6*p + 5. Let r(g) = -g**2 - 7*g - 5. Let j be r(-7). Let f be z(j). Suppose -2*x + f = 3*x. Solve -3*w = x - 8 for w.
2
Let a = 23 - 16. Suppose -5*j + 18 + a = 0. Solve 5*r + 5 = -j for r.
-2
Let s(w) be the third derivative of -2/3*w**3 + 0*w + 0 - 1/15*w**5 + 1/6*w**4 - 1/120*w**6 + 4*w**2. Let i be s(-5). Solve y + 1 = -i for y.
-2
Let h(z) = z**2 - 3*z. Let t be h(2). Let c = 0 - t. Suppose -3*j + 30 = -0. Solve 3*x - c = j for x.
4
Let h = -22 - -35. Solve 2*f + h = 5 for f.
-4
Let k(r) = -r**2 - 9*r - 5. Let z be k(-8). Solve -2*i + z = -5 for i.
4
Let o = -78 + 82. Solve -o*j = j for j.
0
Suppose -33 = 4*s - 5*p - 80, s + 5*p = 18. Let o = 15 - s. Solve 4*c - 18 = -o for c.
4
Let r be (-4)/10*(-5)/1. Let o be ((-48)/(-10))/(1/5). Let j be o/14 + (-2)/(-7). Solve r = i - j for i.
4
Suppose -5*s + 0*s + 15 = 0. Solve 2*w + 3 = -s for w.
-3
Let p be 6 + -2 + 1 + -1. Let x be 6/(p/2) + -2. Let d be (x - (5 + -2)) + 9. Solve -2*t - 25 = -d*t for t.
5
Let q(y) = y**3 + 17*y**2 + 15*y - 16. Let r be q(-16). Solve 2*h + r = -6 for h.
-3
Suppose 4*l = 3*i + 22, 7 = 5*l - 5*i - 23. Let d = -11 - -23. Solve 0 = -2*y + l - d for y.
-4
Suppose 0 = 3*f - 4*f - 2. Let u be -8*(3 + 7/f). Solve k + 0*k = u for k.
4
Let w be 2/4 + 142/4. Suppose 2*z + 0 = -2, 4*z = -5*i + w. Let u = 2 + 10. Solve -u = -5*l + i for l.
4
Let x(d) = d**2 + 24*d + 3. Let w be x(-24). Solve -w*q + q = 0 for q.
0
Suppose -2*z = 5*w - 24, 22 = 4*w + 4*z - z. Suppose 0 = 4*q + 4*m - 28, 0 = 5*q - 3*m - 1 + 6. Solve -q*l = -w*l for l.
0
Let n = 81 - 54. Let g be (-21)/(-6) + 2/(-4). Suppose n = -0*x + g*x. Solve x = 3*y - 0*y for y.
3
Let j = -15 + 21. Suppose -o = -n + 2*n - 5, 0 = 3*o - 4*n + j. Solve -3 - 1 = o*y for y.
-2
Suppose 4*v - 3*n - 2 = -0*n, 4*n = 4*v. Solve 3*r + v*r = 0 for r.
0
Suppose -b - 4*b + 2*h - 22 = 0, -3*b = 3*h + 9. Let x(i) = -i**2 - 2*i + 9. Let z be x(b). Solve z + 1 = 2*j for j.
1
Suppose -23 = -4*u + 77. Suppose -2*h = 4*n - 8, 0*h + 4 = -2*h + 2*n. Let v be (-2)/(-8) + 15/4. Solve h = x + v*x - u for x.
5
Suppose o - 16 = 3*o. Let g = o + 10. Solve g*l + 0 = -4 for l.
-2
Suppose 8*n + 4 - 28 = 0. Let z be (0/(-2) - -1)*-2. Let d = z - -5. Solve -d = 2*h + n for h.
-3
Let v(s) = -s + 13. Let q be v(10). Solve 4*u - u = q for u.
1
Let q be -3 + 3 + 3*1. Let v be 1 + -1*(2 - q). Solve v*u + 0 = -4 for u.
-2
Suppose -x - 12 = 3*x. Let n be -1 + (-32)/(x - 1). Let d = -1 - -2. Solve -2*t + d + n = 0 for t.
4
Suppose 5*a - 7 = 13. Solve a*h = -h for h.
0
Let l = -109 + 115. Solve z + 10 = l*z for z.
2
Let x be (-35)/10*24/(-21). Suppose x*m = -p, p = -4*m - p. Solve m*k - k - 2 = 0 for k.
-2
Let b = 36 - 30. Solve 16 = -10*t + b*t for t.
-4
Suppose 0 = -q - 2*q. Let i(n) = -2*n**2 - 19*n + 10. Let y be i(-10). Solve y = 3*u - q*u + 12 for u.
-4
Suppose -3*u = 4*k - 31, -u + 3*k - 48 = -6*u. Suppose -4*c = -5*a + 26, 3*a + 3 = -2*c + 1. Solve a*r + u + 1 = 0 for r.
-