o - z. Solve y + 0 = h for h.
1
Suppose 5*s - 11 = 3*d - d, -2*s = d - 8. Let b = s + 1. Solve -3*p + b = -2 for p.
2
Let a be (-1)/2*0 - -2. Let x(s) = 3*s + 2. Let f(b) = -13*b - 7. Let h(p) = 2*f(p) + 9*x(p). Let d be h(-2). Solve 8 = -d*c - a for c.
-5
Let v(n) = 5*n**2 + 2*n - 2. Let m be v(1). Solve -m = -0*j + j for j.
-5
Let r(y) = -y - 3. Let b be r(-6). Suppose -b*z + 5*s = 1, -2*s + s - 1 = -z. Suppose n + 1 = 0, -x + 5*x = z*n + 11. Solve 0 = -x*a - 0 - 2 for a.
-1
Suppose 2*x - 2*b - 12 = 0, -5*b + 2*b - 8 = -x. Solve 0 = 4*c - x*c for c.
0
Suppose 0 = 2*o - 4*o + 12. Solve -o*x + 3 = -3*x for x.
1
Let q be ((-88)/(-12) - 4)*3. Solve 2 = 2*v + q for v.
-4
Let t(r) = 2*r**2 + 6*r + 4. Let d be t(-3). Solve -d*j = -0*j for j.
0
Let v = 30 + -29. Solve v = -f + 5 for f.
4
Suppose 0 = -0*c + c. Suppose -2*x - 4*l = 2*x - 4, -5*x + 4*l + 5 = c. Solve 2*j = 9 + x for j.
5
Let g(o) = -o - 2. Let q be g(-10). Solve -3*h + 7 = -q for h.
5
Let f be (18/10 - -1)/(4/40). Let b(i) = -i**3 - 6*i**2 - 5*i + 2. Let m be b(-5). Suppose 20 = 4*s - 3*v, -10 = -m*s + 3*v - v. Solve -s*z + 3 = f for z.
-5
Let r(h) = 4*h**2 + 2*h + 2. Let d be ((-4)/(-10))/((-2)/10). Let x be r(d). Let u be 3 - (-2 - (2 - 3)). Solve -x = u*q + 6 for q.
-5
Let w = -53 - -53. Solve w = -0*v - 2*v for v.
0
Let w be -3*(-4)/(-12) - -1. Solve 5*d + 0*d = w for d.
0
Suppose -3*o + 48 = o. Let l(g) = 2*g - 18. Let f be l(o). Solve f*z = z for z.
0
Let f be (-15)/(-21) + (-4)/(-14). Let u be (0 - (-1 - f)) + 2. Suppose u = -4*g + 12. Solve 3 = g*l - 5 for l.
4
Suppose 5*q = q - 2*h + 22, -5 = -5*q + 5*h. Suppose q*l = 3*w - 52, 4*w + 2*l = w + 28. Solve 0 = -3*m - w for m.
-4
Suppose -3 = -3*v + 27. Solve -v = 2*p - 0 for p.
-5
Let i be 0 - 0 - 0/(-5). Let q(f) = -f. Let z be q(i). Suppose -2*j + z*j = -6. Solve -5*u + 2*u + j = 0 for u.
1
Let n = 0 - -5. Let m = n + -2. Solve 0 = -m*w - 9 - 0 for w.
-3
Suppose 0 = 9*h - 14*h + 20. Suppose -4*y - 2*l - 16 = -6*y, -h*y + 14 = 5*l. Solve 3*b + y = b for b.
-3
Let s(a) = 5*a + 5*a - 3*a + a**2 + 3. Let k be s(-7). Solve -z = -1 + k for z.
-2
Suppose -15 = -9*u + 4*u. Solve f = u*f - 10 for f.
5
Suppose 0 = a - t - 0*t - 11, -5*a = 2*t - 90. Suppose -3*k = -8 - a. Solve -2*u - 2*u + k = 0 for u.
2
Let g = 8 + -28. Let c = -14 - g. Solve 0 = -0*i + 2*i + c for i.
-3
Let y = -3 + 4. Let l = 5 - y. Let h be l/(-14) + (-46)/(-14). Solve -h*f + 0*f = 0 for f.
0
Let w(v) be the third derivative of v**5/60 - v**4/4 - 2*v**3/3 - 3*v**2. Let y be w(7). Solve 0 = y*p - 8*p for p.
0
Suppose j + 15 - 21 = 0. Solve 6 = 4*a - j for a.
3
Suppose 199*h = 204*h - 75. Let f = 5 - 2. Solve -4*t - h = -f for t.
-3
Suppose -3*z - 108 = -0*z. Let i = -24 - z. Solve 2*x + i = -2*x for x.
-3
Let l = 0 - 0. Let c be 3/(-6) - (-11)/2. Suppose -c*o + 6 = -24. Solve l = o*j - j + 20 for j.
-4
Suppose 4*n - 5*f + 23 = 0, -f + 8 = -n - 2*f. Let d = n + 11. Suppose -4*m + 12 = -d. Solve m + 0 = 2*y for y.
2
Let c be (-3)/2 + (-259)/(-14). Let x = c - 16. Solve 21 = 5*j + x for j.
4
Suppose -3*c = -4*d + 1, 2*d - 7 = -3*c - 2. Solve 2*r + 5 = d for r.
-2
Let a = 18 - 18. Solve 4*d = -a*d for d.
0
Suppose -2*b + 2 = b - 4*d, -5*b = -d - 9. Let o(a) = a + 4. Let f be o(3). Solve -3 = b*x + f for x.
-5
Let y(l) = -l**3 + 11*l**2 + 1. Let u be y(11). Solve u = 2*d - 3*d for d.
-1
Let y(w) = 4*w**2. Suppose -k + 6*x = x + 11, 10 = -4*k + 3*x. Let p be y(k). Let f = 4 - p. Solve 5 = 5*u - f for u.
1
Let z(t) = 0 - t + 0. Let j be z(-3). Suppose -j + 1 = -2*h. Solve -h = -2*m + m for m.
1
Let d(p) = 2*p - 2. Let g be d(1). Solve g = n - 2 - 1 for n.
3
Suppose 3*y + 14 = 5*k, 2*y - 16 = -7*k + 4*k. Solve y*z = -3*z - 5 for z.
-1
Let n(u) = u**2 + 7*u + 6. Let l be n(-6). Suppose l = 7*f - 3*f. Solve -2 = -w - f*w for w.
2
Let w = 0 + 2. Solve -o + w = -0*o for o.
2
Let f(c) = c**2 - 7*c + 2. Suppose 0*t = 3*t. Suppose 0 = b + 2*a - 11 - 4, t = -3*b - 4*a + 37. Let x be f(b). Solve -3*l + l = -x for l.
1
Suppose 3*f - 8 = -5*b + b, -2*b + 18 = -2*f. Solve 0 = b*w + 3 - 13 for w.
2
Suppose -5*f + 5*w + 23 = w, 0 = 2*f - 5*w - 16. Solve l = 2*l - f for l.
3
Suppose 0 = -a - 0*a - 6. Let l = -3 - a. Let f(c) = 6*c**2 + 2*c - 2. Let i be f(-2). Solve -3 = l*g - i for g.
5
Suppose 17*f - 14*f = 9. Solve -f = n - 4 for n.
1
Let c(m) = -m**3 - 5*m**2 + 7*m + 5. Let y be c(-6). Let r = 0 + y. Let u be (20/(-3))/(r/3). Solve -6*t + t + u = 0 for t.
4
Let n(m) = -m**2 + m + 2. Suppose 4*d - 48 = -5*f, 0 = 4*f + 2*d - 14 - 22. Suppose -4*u + 0*u = -f. Let v be n(u). Solve -2*p + 3*p = v for p.
0
Let a(z) = -z**3 - z**2 + z + 2. Let v be a(0). Let f(x) = 2*x + 1. Let g be f(1). Solve -v*w - w = -g for w.
1
Let j(w) = w**3 + 5*w**2 + 2*w - 5. Let q be (-3)/9 - 40/6. Let r be q - -1 - (0 - 2). Let n be j(r). Solve -m = n*m + 20 for m.
-5
Let n = 8 - 6. Suppose 4*k - 5*k + c + 1 = 0, 3*k = 2*c + 4. Suppose -2 = a - r, -2*r + k + n = 2*a. Solve 5*z = -a*z for z.
0
Let p be (-1)/((-4 + 2)/14). Solve p = -4*n + 15 for n.
2
Suppose 2*c - 7*c + 100 = 0. Suppose -4*w = -8*w + c. Solve -w*u = -0*u for u.
0
Let p be 4 - (-4)/(-2) - -4. Let s = p - 1. Suppose -y = 5*a - 5, -s*a + 2 = -3. Solve y = -2*o + 3*o for o.
0
Let y be ((4 - 2) + -3)*-16. Solve 0*k + y = -4*k for k.
-4
Let y = 12 - 18. Let r = -3 - y. Solve -r*s = s for s.
0
Suppose 0 = -x + 4*n - 2*n + 21, 3*x - 63 = -2*n. Suppose -o - 2*o + x = 0. Suppose -o = -u + 2. Solve 0 = 2*c + u + 1 for c.
-5
Suppose -15*n - 8 = -16*n. Solve 20 = -n*r + 13*r for r.
4
Let x = 94 + -69. Solve -x = -8*f + 3*f for f.
5
Let k = -157 + 162. Solve -7*j - 2 = -k*j for j.
-1
Let t = -1 - -4. Solve 0 = -t*c - 2 + 8 for c.
2
Let h = 8 - 12. Let f = 13 + h. Solve -5*a + 16 + f = 0 for a.
5
Let a be (4/6 - 1)*(-16 - -7). Solve 0 = a*v + 5 + 1 for v.
-2
Suppose 0 = 5*s + 4*u - 10 + 2, -2*u - 10 = -s. Let n be (-2)/7 + (-426)/(-21). Solve s*v = -v + n for v.
4
Let c be (-26)/(-7) + 8/28. Suppose c*s - 13 = -w, 2 + 5 = w + s. Suppose 25 = -5*q + 7*m - 2*m, 0 = w*m - 25. Solve q*u = -3*u for u.
0
Let w(m) = -2*m**2 + 3 + 0*m**2 + 8*m + m**2. Let i(k) = -k**3 - k + 8. Let h be i(0). Let f be w(h). Solve f = -5*a + 2*a for a.
-1
Suppose 2*x + 6 = -2*l, l + 1 = -2*x + 3*x. Suppose 29 + 6 = 7*d. Let a = x + d. Solve a*r - 6 = 2*r for r.
3
Let b = -4 + -3. Let y = b - -14. Solve -1 = 2*r - y for r.
3
Suppose -j + i = -5, 5*i + 27 - 2 = 2*j. Solve j = -0*c + 2*c + 8 for c.
-4
Let s = 0 - 0. Let f be s + 0 + 0 - -1. Solve -k = 2 - f for k.
-1
Suppose -q + 0*q = -4*z, 0 = -z + 1. Solve d + 5 = q for d.
-1
Suppose 0 = -0*q - 2*q + 4. Let l = 5 + -18. Let c be 0/l + 5 + 1. Solve -2 - c = q*r for r.
-4
Suppose 5*f + 3*a = 54, -3*f - 4*a + 14 = -14. Suppose -h = h. Suppose -4*o + h*d + 98 = 2*d, -5*d = -o + 52. Solve f - o = -3*q for q.
5
Let j(d) be the third derivative of -d**4/24 + 8*d**3/3 + 8*d**2. Let v be j(6). Solve v = -0*s + 5*s for s.
2
Suppose -4*c + 35 = c. Solve 3 = z + c for z.
-4
Suppose -3*n + n + 16 = 4*a, 0 = a + 4*n - 18. Let l be (-6)/(-3) + (-4 - -3). Solve l = a*b + 7 for b.
-3
Let z(y) = y + 3. Suppose -2*i = 4*l - 16, 3*i + 2*l - 4*l = 16. Let n be z(i). Suppose 0 = -v - 3*g + 8, -5*g = -2*v + 3 - n. Solve -v*p + 3 = 1 for p.
1
Let z be (-4*(-1)/2)/1. Suppose -4*i + 3*s = -71, -6*i - 2*s = -z*i - 86. Let w(o) = -2*o + 1. Let a be w(-1). Solve a*b + i = -b for b.
-5
Let k(g) = g**2 + 10*g + 12. Let r be k(-9). Solve 3*j - r - 6 = 0 for j.
3
Suppose k + 2*v = 3 + 1, k - 6 = -3*v. Solve q = -k*q for q.
0
Let m(p) = p**3 + 5*p - 4*p**2 + 2 - 2 - p**2. Suppose -4*r = -0*j + j, -3 = 3*r. Let h be m(j). Solve h*y - 8 = 2*y for y.
4
Let a(s) = -4*s + 3 + 3*s - 1 - 1. Let k be a(0). Suppose z - 16 = -3*z. Solve z = y - k for y.
5
Let x be (60/40)/(2/(-4) + 1). Solve -f = x*f + 4 for f.
-1
Let n = 3 + -1. Suppose -2 - 2 = -n*u. Solve 0 = u*x + x for x.
0
Suppose 0 = 4*w - w + 5*o - 10, 10 = w + 5*o. Let u(f) = -f**3 + f**2 + f + 2. Let p be u(0). Let i be p + 0 + 1 + w. Solve 6 = y + i for y.
3
Suppose -33 - 5 = -5*d - n, 4*d - n = 25. Let b be (-10)/(-35) - (-131)/d. Suppose 5*x - s - b - 1 = 0, 4*s - 16 = -4*x. Solve -3*i + x = 13 for i.
-3
Let o be 6/4*2/1. Solve o*k + 13 = 1 for k.
-4
Let i = -8 + 16. Solve -5*p - i = -p for p.
-2
Let s(p) = p + 12. 