k - k = -z for k.
4
Let p = -26 - -28. Solve j - 4 = -p for j.
2
Let w(m) = -m**3 + 4*m**2 + 3. Let u be w(4). Let t be u - (-1 - (1 - 2)). Suppose -3*c = b, -2*b + 0*c + 4 = 2*c. Solve -t*a = -4*a - b for a.
-3
Let v be (-4)/16 + 258/8. Solve -5*d + v - 7 = 0 for d.
5
Let m be 0 + 0 - (0 + 2). Let i = m - -7. Solve i*v + 0*v = -5 for v.
-1
Suppose 0 = -3*s + 14 - 5. Let v(h) = 5*h. Let m(r) = -r + 6. Let i be m(5). Let l be v(i). Solve 17 - l = -s*o for o.
-4
Suppose 4*y = -3*p + 7, 4*y + 5*p - 1 = -0. Let u(g) = -g**2 - g. Let s be u(0). Let o = s + 1. Solve y*h - o = 3 for h.
1
Let w be 1*3*412/12. Suppose -4*q + 4*o = -88, 5*q - 3 = 3*o + w. Solve -5*b + 0*b + q = 0 for b.
4
Let u(i) = i + 11. Let p be u(-9). Let v be -1 + ((-6)/(-2) - -1). Solve -p*h = v*h for h.
0
Suppose 3*h - 5*r = h + 19, -4*r = 3*h + 6. Let l = 24 - 16. Solve -h*o - l = -4*o for o.
4
Let g = 16 - 10. Let h be 1 - (9/(-3) - -2). Suppose g = k + h*k. Solve k*u = 4*u for u.
0
Suppose -2*l + l = s - 12, -l = -4*s - 7. Solve -4*o - l = 9 for o.
-5
Let z be (-6)/6 - 3/1*-1. Solve 2 = j - z for j.
4
Let b = 100 + -95. Solve 0 = 2*p - b*p for p.
0
Suppose 0 = -4*x - 3*r + 21, 7*r - 2*r = -4*x + 27. Suppose 0 = 3*h - 0*h. Let k = -5 + 14. Solve -x*q + 0*q - k = h for q.
-3
Let i(s) = s + 2. Let f be i(3). Suppose -2*c - m - 6 = 3, -c + f*m = -1. Let p be c/(-3)*(-3)/(-2). Solve -p*a - 5 = -3*a for a.
5
Let b = 6 - 4. Let c = b + 4. Solve l = c*l - 10 for l.
2
Let h(f) be the first derivative of -f**2/2 - 2*f - 1. Let q be h(-4). Suppose q*r = -2*r. Solve r = -i - 2*i - 9 for i.
-3
Let v be (1 - 7/5)*-5. Let n(r) = -r**2 - 4*r + 5. Suppose 5*h = 3*h - 8. Let b be n(h). Solve v*g - b = 3 for g.
4
Suppose 4*m + 4*b - 8 = 2*m, 4*b - 8 = 0. Suppose 4*p - 2*o - 18 = -m*p, 3*o = p - 12. Suppose p*s - 2*s = 0. Solve 1 + s = r for r.
1
Let g be (0 - 7/(-2))*4/7. Solve -5*b + 3 = -g for b.
1
Suppose -2*j + 4 = -2. Let w be (28/(-12))/((-1)/j). Let i be (w - 3)*2/4. Solve 6 = i*t - 2 for t.
4
Suppose -3*s - p - 2*p = -30, -20 = -s - 3*p. Let v be ((-5)/(-4))/((-5)/(-20)). Let n = v - 3. Solve s*f - n - 8 = 0 for f.
2
Let b be 4/3 + (-16)/(-24). Solve -b*m + 3*m + 1 = 0 for m.
-1
Let t = 7 + -14. Let g = t - -4. Let p be -2 - 1*18/g. Solve -y - 15 = -p*y for y.
5
Suppose -5*b - 34 + 49 = 0. Solve -2*u + b*u = -1 for u.
-1
Let c be 4 - 0 - (-7)/14*-2. Solve -w - c*w + 20 = 0 for w.
5
Let o = -1 + 7. Suppose -2*f = -f - k - o, f = -k - 2. Suppose 5*y = -0*y. Solve f*h - h + 4 = y for h.
-4
Let r be (0/(-1))/(3 - 2). Let k = -65 - -83. Solve 4*s - k - 2 = r for s.
5
Let f(z) = -z**2 + 5*z - 4. Let s be f(4). Let j = 2 - -4. Suppose 2*x - j = -s*x. Solve v = -x*v for v.
0
Suppose -2*y - 4 + 12 = 0. Let n be 2/(-3*(-4)/12). Let s = y - n. Solve 0 = -a + s*a - 5 for a.
5
Let g be (1 - -4) + (9 - 8). Suppose -3*h = -g*h. Suppose q + 4 = 9. Solve h = -4*p - 15 - q for p.
-5
Let s(q) = -q - 4. Let h = -3 - -5. Suppose -24 = 5*w - h*w. Let m be s(w). Solve -3 = -m*g + g for g.
1
Let h(i) = i**3 + 3*i**2 - 5*i - 2. Let n be h(-4). Suppose -p - 5 = -n*p. Solve 2*s + 6 = p*s for s.
2
Suppose h = 4*c - 3*h, 0 = 3*c + 5*h. Suppose -4 = -2*g - c*g. Solve -p - g*p + 6 = 0 for p.
2
Let w be 0/(3 - 0) + 3. Suppose 5*j - 50 = -5*q, 5*q - w*j - 20 = -2*j. Suppose 0 = -2*i - 2*i + 8. Solve q = i*z - z for z.
5
Let q(n) = -n**2 + 4*n + 5. Let z be q(5). Let h(m) = m + 3. Let p be h(z). Suppose 2*c + 7 = 39. Solve t + c = -p*t for t.
-4
Let z = -26 + 16. Let q be 140/25 - (-6)/z. Solve -q*u + 8 = -7 for u.
3
Let n = -42 - -42. Suppose -3*v + 8*v - 4*a - 29 = n, -a = -3*v + 16. Suppose 3*w - 7*w + 8 = 0. Solve 3 + w = v*z for z.
1
Let v be (-27)/(-6) - (-15)/(-10). Let t(s) = -s + 3. Let r be t(v). Solve -5*u + 5 = -r for u.
1
Let c(y) = -y**3 - 12*y**2 + 5. Let k be c(-12). Solve -3*n = -k*n for n.
0
Let w = 5 + 6. Suppose -1 + 13 = 2*t. Let d = w - t. Solve d*p = -0 - 10 for p.
-2
Let q = 100 + -98. Solve q = z + 4 for z.
-2
Let w be (15/6 - 3)*0. Solve w = -c - c for c.
0
Let r be (1/(-2))/((-2)/68). Suppose -3*t = -r - 4. Suppose 0 = -5*w - 2*c - 4 + 38, -6 = 2*c. Solve -5*i = t + w for i.
-3
Let d = 18 - 16. Let n = 4 - 3. Solve -d*y = -7 + n for y.
3
Let h = 193 + -183. Solve h - 4 = 2*x for x.
3
Suppose -2*z - 2*z = 0. Solve 3*r + 15 = -z*r for r.
-5
Suppose -10*j = -31 + 11. Solve 0 = o - j*o - 5 for o.
-5
Let m(a) = 2*a**3 - a**2 + a - 2. Let x be m(1). Solve -5*c - 20 = -x*c for c.
-4
Let p be 165/44 - (-2)/8. Solve -4*y + p = -5*y for y.
-4
Let z(y) = y**2 + 7*y + 11. Let q be z(-6). Suppose q*x - 2*x = 6. Solve -h + 9 = x*h for h.
3
Suppose 0 = -l + a - 2*a + 31, 4*l = 4*a + 92. Suppose l = 3*v - 9. Solve -4*x = -x + v for x.
-4
Let f(z) be the first derivative of 3*z**2/2 + 1. Suppose a = -4*a + 2*o + 14, 0 = -4*a + 4*o + 16. Let k be f(a). Solve -2*x - x = k for x.
-2
Suppose 0 = 3*l - 2*l. Solve 0*x - 5*x + 5 = l for x.
1
Let u be (-4 - 0/3) + 1. Let z(s) = -s**3 - 4*s**2 - 3*s + 3. Let l be z(u). Solve -l*c + 21 = 6 for c.
5
Let p(q) = -q**2 + 2*q. Let l be p(2). Solve l*t = 4*t for t.
0
Let q = 14 + -10. Solve 5*g - q = 11 for g.
3
Suppose 4 = 3*v - 2. Let u = v + -2. Solve 4*d - 2 + 10 = u for d.
-2
Suppose 5*d = 3*t - 26, -3*t + 6 = 2*t + d. Suppose -105 + 30 = -5*w. Suppose -z - 2*m = t*m - w, -z + m = 0. Solve 7*a - z = 4*a for a.
1
Let t(b) = -b**3 + 3*b**2 + 8. Let g be t(3). Solve 2*j - g = -10 for j.
-1
Let h(d) = -1 + 3*d**2 + 2*d - d**2 - d**2. Let s be h(-3). Suppose -s*x + 5*p = 3, -x + p + 3 = -0*p. Solve 2 = -4*k - x for k.
-2
Let g be (-2 + 4)*(-3)/(-6). Suppose 0 = 3*m - 3*q - 11 - g, -m + 12 = -5*q. Solve 5*v + m + 3 = 0 for v.
-1
Let l(k) = -k - 1. Let x be l(-4). Suppose 5*a + x = 3*t + 14, a - 4*t = -8. Solve 0 = a*n - 11 + 3 for n.
2
Suppose 12 = -4*y - 0*y. Let z(h) = h**2 + h - 1. Let s be z(y). Suppose 52 - 20 = j + 4*i, i = s. Solve -k = -5*k + j for k.
3
Let y(x) = -x**2 + 6*x - 2. Let d be y(6). Let l(f) = -f**3 - f**2 + f + 2. Let b be l(d). Solve -b + 0 = 4*p for p.
-1
Suppose 7*o - 6*o - 6 = 0. Solve 4*r = r - o for r.
-2
Let g be ((-40)/(-12))/((-1)/6*-4). Solve -f + 7 = g for f.
2
Suppose 0 = 2*j - 5*j - 18. Let f = j - -6. Solve 3 = y - f for y.
3
Let f(q) = -q - 7. Let i be f(-12). Suppose i*b + 2*k - 17 = 0, -k - 12 = 2*k. Solve b = a + 2 for a.
3
Let x = -18 - -17. Let c = 3 + -5. Let p be (x/c)/(5/30). Solve -p*b - 16 = b for b.
-4
Let a(m) = m**3 - m**2 - 2. Let f be a(2). Let u(z) = z - z + f*z**2 + z**2. Let t be u(-1). Solve -t*s = s for s.
0
Suppose -4*b + 18 = j - 2*j, 0 = -2*j + b - 15. Let g = j + 7. Solve g = 4*v + 21 for v.
-5
Let v(a) = -a**3 - 2*a**2 + 2. Let g be v(0). Solve 3*j = g*j + 5 for j.
5
Let r = -3 + 7. Let x be (-14)/r*(5 + -7). Suppose 3*l + 3 = 2*n - x*n, -2 = l + 2*n. Solve -l*p - 25 = p for p.
-5
Let o(h) = -h**2 + 13*h - 22. Let w be o(11). Solve w = -2*i - i + 3 for i.
1
Let j(o) = 2*o + 4. Let t be j(4). Solve -3 = 3*i - t for i.
3
Let d(x) be the second derivative of x**3/6 - 2*x. Let w be d(8). Solve i = 3*i - w for i.
4
Let f = -3 - -6. Suppose -19 = -f*m - 4. Suppose 1 = -c + m. Solve c*q - 15 = q for q.
5
Let o be (2/(-6))/(((-8)/(-4))/(-18)). Let w be (8/10)/(1/5). Solve 0 = -w*q + 19 - o for q.
4
Suppose -9 = -3*c + 33. Solve 3*r = -5 + c for r.
3
Let w(i) = -3*i - 1. Let d be w(-1). Suppose 3*f + d*z - 2 = 0, f + 3*z = 5*f - 14. Solve -f*s = s for s.
0
Suppose -3*g - g - 49 = -k, 3 = g. Let x = k + -42. Solve -5*t - x + 4 = 0 for t.
-3
Let z be -6*(1/(-2) - 2). Suppose 12*v = 16*v - 8. Solve -r - v*r = -z for r.
5
Let b be (-2 + 15/6)*6. Suppose -4*g = -4*q - 4, b*q + 4 = -g - q. Solve -6 = -3*w - g for w.
2
Let z = 5 + -2. Let n(y) = 5*y**2 - y + 10. Let u(x) = 6*x**2 - x + 10. Let s(j) = -7*n(j) + 6*u(j). Let q be s(-5). Solve -z*v = -5*v - q for v.
-5
Let u = 146 + -144. Solve -6 = u*w + 4 for w.
-5
Let a(b) = b + 7. Let f be a(0). Let y(u) = -u + 10. Let j be y(f). Solve -j*h + 20 = 5 for h.
5
Suppose -3*j = -2*j - 7. Let c be 12/j - 2/(-7). Solve c*w + 0 - 4 = 0 for w.
2
Let o be 2/(3/(18/(-4))). Let m be 10/8 - o/(-12). Solve 7 = -2*t - m for t.
-4
Let q be 0 - (-3)/((-6)/(-8)). Solve -q + 1 = -x for x.
3
Let c(r) = -2*r + 5. Let i(u) = 3*u - 7. Let v(f) = 7*c(f) + 5*i(f). Let d(w) = -4*w - 1. Let l(y) = d(y) 