 - 25 = -2*x for x.
5
Let x be ((-6)/(-18))/(1/(-9)) - -5. Solve 13 = 5*z - 7*u + 3*u, 2*z = x*u + 6 for z.
1
Let n(t) = t**2 + 3. Suppose 3*k + 3*g = g + 2, -4 = 5*k - 4*g. Let p be n(k). Suppose 0 = -0*v + p*v - 6. Solve -y - v = -u + 2, -y = -3*u + 8 for u.
2
Let x(z) = z - 15. Let q be x(18). Solve m = 5*j - 3 - 0, -5*m - 15 = q*j for m.
-3
Let a be -2 - 3/(-1) - -6. Suppose -25 = -a*f + 2*f. Solve 5*w = 3*d + 29, d + 15 + 8 = f*w for w.
4
Suppose 36 = 13*w - 10*w. Solve -4*z + 6*q - w = 3*q, -2*z = -3*q + 6 for z.
-3
Let n(d) be the second derivative of d**4/12 - 5*d**3/6 + 2*d**2 + 2*d. Let p be n(4). Solve 3*h - 2*t = -6, p = 3*h + t - 2*t + 9 for h.
-4
Let s be (1 - 0)/(4/220). Let b = 4 - 5. Let g = 5 + b. Solve g*n + 5*p - 14 = -s, -23 = 2*n + 3*p for n.
-4
Let z(d) = 5*d - 4*d + 0*d. Let q be -6*(4/3 - 2). Let v be z(q). Solve -v*l = 2*r + 16, 4*r + 18 + 8 = -5*l for l.
-2
Suppose -3*j + 2 = -7. Let m(s) = s - 6. Let g be m(6). Let o = g - -5. Solve 3*t = o*r - 22, -j*r = t + 2 - 18 for t.
1
Let d(f) = 4*f + 13. Let m(r) = 5*r + 12. Let x(t) = 4*d(t) - 3*m(t). Let p be x(-9). Solve k - p = 3*z - 6*z, z = 2*k for z.
2
Suppose 5*a + 198 = 48. Let z be (-2)/4*(4 + a). Solve 4*c + 5*o + z = 0, -c + 2 - 7 = 3*o for c.
-2
Let p(u) = -u**3 - 8*u**2 - 11*u - 26. Let g be p(-7). Solve k - g*k - 2*q - 4 = 0, k + 5*q + 4 = 0 for k.
-4
Let l(y) = y**2 + 4*y + 5. Let f be l(-4). Let m be 5*1 - (f - 3). Solve 4*r - 12 = 3*r - 3*i, 2*r + 12 = m*i for r.
0
Let g = -5 + 8. Let o(x) = -3*x + g*x - x - 3. Let h be o(-7). Solve 2*u - 4*p - 6 + 26 = 0, 3*u = -h*p + 20 for u.
0
Suppose 5*q = 3*g - 3, 4*q - 2 = 2*g - 6. Let x be 2*q/12*-6. Suppose 2*s - 10 - 5 = x*c, -4*s - 3*c = -3. Solve 0 = s*p - o + 8, 3*p + 3*o - 12 = 0 for p.
-1
Suppose 9*l = 8*l + 2. Let d(w) = 2*w**2 - 3*w + 2. Let t be d(l). Solve 1 = -j, -28 = -5*x - j + t*j for x.
5
Let p(k) = 21*k**2. Let l be p(1). Suppose -3*t = 6, -4*a + l = a + 2*t. Solve 0 = -5*w - 4*c + 12, -5*w - 1 = -2*c + a for w.
0
Let n be -1*1/(-2)*(-4 + 4). Solve -11 = -o + 3*l, -2*o + 0*o + 2*l + 14 = n for o.
5
Let o = 9 + -7. Let a be (3 + 0)/(3/o). Solve -a*v + 2*w = 6*w + 18, -5*v - 21 = 4*w for v.
-1
Let z be ((-4)/(-5))/((-7)/(-105)). Let f = -7 + z. Solve 2*p = -f*a + 13, 2*a - 3*a = 4*p - 17 for a.
1
Let z be (-54)/(-36)*(-8)/(-6)*1. Solve -2*m - w = w - z, 4*w - 10 = 2*m for m.
-1
Suppose -17 = 8*i - 9*i. Suppose 4*c + i = -n, -3*c = -4*n - c + 22. Let v(w) = -2*w - 2. Let k be v(-2). Solve n*f + k*u + 2*u = 21, -2*u = -6 for f.
3
Let r(x) = -x**2 + 5*x - 3. Let j be r(3). Solve -2*h = -j*a - 2*a + 16, 4*h = 8 for a.
4
Let m be 14 + 1 + 3 + -1. Let l(b) = -b**2 + 3*b + 3. Let s = -3 + 6. Let g be l(s). Solve -5*w + 3*i + 20 - g = 0, -m = 3*w + 5*i for w.
1
Let d = 18 + 2. Solve f - 5 = h, -2*h + 4*f - d = -6*h for h.
0
Suppose f = 4*f - 21. Let i(j) = -j + 9. Let u be i(f). Solve 4*v = -k - 5, -4*k = -u + 6 for v.
-1
Let y = 10 - 6. Solve 4*r = -8, -4*w + 3*w - r = y for w.
-2
Let y = -2 - -4. Solve 0 = a - 2*n, -n + 5*n = -y*a for a.
0
Suppose -4*w + 10 + 14 = 0. Let t be 46/w + (-2)/3. Solve 3*h - 2*v + t = -15, -5*v + 5 = 5*h for h.
-4
Let p(c) = c**2 + 3*c - 4. Let o = 14 + -3. Let g = o + -15. Let j be p(g). Solve -3*z - 1 = -2*r + 6, j = 2*r + 2*z - 2 for r.
2
Let o(c) = 10*c - 5. Let u be o(1). Solve 6 = 2*n - u*r - 4, -3*r + 5 = n for n.
5
Let o be (2 - 1) + (-17 - -6). Let d = -6 - o. Let l(b) = b**3 - b**2 - b + 5. Let v be l(0). Solve 9 = -2*p - d*n + 3, -5*n - v = 3*p for p.
5
Suppose 4 = 3*l - 5. Let u = l - 5. Let s = u + 7. Solve -s*a + 13 = 2*w - 2, -3*w = -4*a + 35 for w.
-5
Suppose 4*s = 2*s. Solve s = 3*n + 2*u - 13, 3*u = 4*n - 5 + 16 for n.
1
Let z(l) = -l**2 - l. Let p be z(0). Let c be 1 + 1 + p + 2. Let j be (-3)/(-2)*c/3. Solve 3*a - 4 = j*n, 3*n - 5*a = -2*n for n.
4
Suppose 2*s = 3*s - 1. Solve 16 = -4*i - 3*f - s, 5*f + 7 = 4*i for i.
-2
Suppose -20 = 4*x, -3*p + 0*x + 2*x - 2 = 0. Let l be 4*-1*p/(-8). Let q be 3 + 1 + l*2. Solve -4*v - 4*w = q, 2*v + 22 + 8 = 4*w for v.
-5
Suppose 0*y + 2*t - 13 = -y, 4*y - 12 = 2*t. Solve 3*b - q - 6 = 2, 5*b - y*q - 30 = 0 for b.
1
Let n(a) = a**2 - 4*a - 18. Let t be n(7). Solve -t*s - 4 = 2*h + 19, 12 = -3*h for s.
-5
Let m(f) = -f**3 + 4*f**2 + 2. Let h be m(3). Let g = -6 + h. Solve -3*w - g*r + 3 = -0*w, -2*w - r = -2 for w.
1
Let l(j) be the first derivative of 4*j**2 - j - 1. Let s = 23 + -21. Let f be l(s). Solve 2*b + i + 6 = 0, -f = 5*b - 4*i - 0*i for b.
-3
Let l(i) = -2*i**2 + 10*i - 4. Let g be l(7). Let u be 6/4*g/(-12). Suppose -2*p + u*p = 8. Solve -5*d + 6 = -3*v, -p*d + 3*v = -0*v - 6 for d.
0
Let o(g) = g**2 + g + 14. Let p be o(0). Let m = p + 0. Suppose 0 = 4*r - 5*c - 13, 5*r - 2*c - 2*c - m = 0. Solve 2*z + 2*z + 23 = i, -r*z - 4*i = -2 for z.
-5
Suppose 2*f + 9 - 1 = 0. Let x(c) = c**2 + c - 5. Let i be x(f). Let t = i + 18. Solve 2*h = -4*n - 30, 2*n + t = -h - 2*n for h.
-5
Suppose -5*v + 2*v + 24 = 0. Solve -m - 4*o - v = -3*m, 0 = -m - 4*o - 2 for m.
2
Suppose 3*n + 7 = -2*g + 23, 0 = 2*g - 5*n + 16. Let u be 3 - -4 - (g + -3). Solve -7 = p + 3*p + c, -u = 3*p - 2*c for p.
-2
Let j(m) = -m - 6. Let h be j(-9). Solve 2*x - a + h = 0, -x + 2*a - 3 = -0*a for x.
-1
Suppose 0 = 5*i - 26 - 9. Suppose -2*f - 20 = -i*f. Suppose -3*n + 6*n + 4*v = 21, -3*v = n - 7. Solve 22 = -4*o + 2*w, w = -f*o + 5*o + n for o.
-4
Let b = 26 - 12. Let o = b - -13. Solve -5*d - 5*v - 3 = o, 4*d - 3*v - 11 = 0 for d.
-1
Suppose 4 = 2*l - 6. Suppose 15 = -l*i - 4*f + 49, i - f - 5 = 0. Solve -i*b + 4 = 3*m - 2*b, -m - 3*b = 2 for m.
4
Let k be (-6)/(-3) - (3 - -2). Let t = -1 - k. Suppose 3*s - 10 = -2*s. Solve -5*a - s*q - 1 = -9, 3 = t*a + q for a.
2
Let g = -6 + 10. Suppose -3 = -g*k + 5. Solve 5*h + k = -3*o, -3 + 8 = 5*o for h.
-1
Let q(n) = 5*n - 7. Let v be q(2). Solve 2*b - 2 = -4*z, v*b - z - 6 = -4*z for b.
3
Let r(t) = t**3 - 9*t**2 + t + 3. Let p be r(9). Solve -5*l + 2 - 18 = f, -f + p = -2*l for f.
4
Let t = -46 + 49. Solve 0 = -4*a + j + 8 + 1, 0 = t*a - 2*j - 13 for a.
1
Suppose 4*x = 9*x - 90. Suppose -3*u = x - 63. Solve 5*n = u, -p - 2*p - 2*n = 0 for p.
-2
Suppose 0*d = 2*d - 6. Let f(z) = -14*z - 6. Let i(b) = -5*b - 2. Let o(k) = 6*f(k) - 17*i(k). Let h be o(2). Solve h = -4*t, 3*l - 1 = d*t + 5 for l.
2
Suppose -2*s + 0*s = -3*o - 1, 28 = o + 5*s. Solve -2*a - 2*i - i - 12 = 0, -o*a + 4 = -i for a.
0
Suppose -t + 2*t - 18 = 0. Solve 0 = 2*m + 2*f, 4*m + t = -m + f for m.
-3
Let t be (-9)/3 - -4 - -4. Solve w = -4*i + t, 0 = i - 3*w - 0*w - 11 for i.
2
Suppose -2*n = -5*h - 0*h + 33, 2*h = 3*n + 22. Let l = 11 + -9. Solve -3*r = -l*z - 12, h*r = 4*z + 27 - 5 for z.
-3
Let g be 1/(1 + (-4)/5). Let m(f) = f**3 + f**2 + 4*f + 4. Let l be m(4). Suppose -2*b + l = 3*b. Solve 5*h + b = 4*q, 2*q - 5 = g*h + q for h.
0
Let h(o) = 2*o - 8. Let b be h(6). Suppose -2 = -3*g + b. Solve 0 = -5*a + s - 5, 0 = g*a - 5*s + 4 - 2 for a.
-1
Let q(i) be the first derivative of i**4/4 + 5*i**3/3 - 9*i**2/2 - 6*i + 2. Let t be q(-6). Solve t = -3*k, 0 = -3*b + 3*k + 2 + 1 for b.
-3
Let b be (-2)/12*-22 - (-10)/30. Solve -b*r - 5*f + 12 = -9, 4*r = 2*f + 14 for r.
4
Let j(q) = 2*q + 12. Let x be j(-5). Solve -5*y - 3*p - 11 = -0*p, x*y + 11 = p for y.
-4
Let r be 0/(6/(9/(-3))). Suppose r = y - 15 - 3. Solve q = 3*b + 7, 3*b + y = -2*q + b for q.
-5
Let v be 189/28 + (-3)/4. Suppose 2*u = u + v. Solve 4*b + 1 = -3*l, l + 3*b = 4*l - u for l.
1
Suppose -2*p + 0*p - 5*g + 47 = 0, -3*p - 2*g + 43 = 0. Let m = 9 - p. Let h be (m/(-6))/((-1)/(-12)). Solve -5*v + 3*i + 8 = -h, -v - 5*i - 20 = 0 for v.
0
Let l(m) = -m + 18. Let c be l(13). Solve -d - 3 = c*u - 2*d, 4*u - 4*d = -12 for u.
0
Let r(a) = a**3 + 6*a**2 - 8*a - 4. Suppose -4*s = 5*v + 80, -2*v - 53 = 3*s - 0*s. Let d = 8 + s. Let f be r(d). Solve 5*t = 5*g, -4*g + 2*g + f = -t for g.
3
Suppose -18 = 14*a - 17*a. Solve -3*i + 3*s + a = 0, -2*s = -0*i + 3*i - 16 for i.
4
Let x(d) = d**2 - 5*d - 1. Let n be x(6). Let w = 0 + n. Suppose 3*c - 4*m + w*m = 35, 3*c + 4*m - 50 = 0. Solve 4*g - 2 = 5*t, 2*t - c = -0*g - 2*g for t.
2
Let v be (-3 - 0) + 3 + -9. Let a = v + 11. Solve -2*u + 3 = -2*d - 3, -3*d + a*u - 5 = 0 for d.
1
Let t(b) = -12*b - 19. Let x be t(-2). Solve -v = 5*g + 2*