15*x - 13. Let b(i) = -7*i + 6. Let p(a) = 13*b(a) + 6*s(a). Let n be p(-3). Solve n*u = -18 + t for u.
-4
Let p(t) = t**2 + 11*t - 5. Let j be p(-11). Let m = j - -2. Let z be (2 + m + 1)*1. Solve z = 2*g - g - 5 for g.
5
Let b be (-9 + 1)/(12/(-12)). Let w be 1*b/4*2. Solve 0 = -w*g + 9 + 3 for g.
3
Suppose -w + 5*w - 20 = 0. Suppose 5*h - v = v + w, -5*h = 4*v - 5. Suppose 0 = 5*c + 4*n - 39, -2*c + 3*n + h = -3*c. Solve 5*l + 9 = -c for l.
-4
Suppose 5 + 2 = c. Solve 2*r - c - 3 = 0 for r.
5
Suppose 3*o + 2*o - 2*s = 22, -3*o + 8 = 4*s. Solve q = -0*q - o for q.
-4
Suppose -6 - 9 = -3*f. Let u(n) = -n**3 - 5*n**2 + 5*n - 8. Let r be u(-6). Let g = r + f. Solve -x + g*x = 6 for x.
3
Suppose -17 = -5*d + 3. Solve 0 = -x - 0 + d for x.
4
Let j(f) = f**3 - 6*f**2 - f + 6. Let d be j(6). Suppose d = -4*i - 5 - 11. Let w be (-1 + 2/i)*-2. Solve -3*r - 12 = -w for r.
-3
Let v(l) = l - 4. Let t be v(4). Let p(b) = 0*b**2 - b**2 + 5*b + 0*b**2. Let a be p(4). Solve -w - 3 + a = t for w.
1
Let y = 22 + -46. Let a be 0*-4*3/y. Solve a = 4*n - 0 - 4 for n.
1
Let n = 8 - -11. Let k be (1 + n)*3/6. Solve -j - k = 4*j for j.
-2
Suppose s = -4*s - 20. Let y(k) = k**2 + 3*k - 2. Let l be y(s). Solve 0 = -2*j + 4*j + l for j.
-1
Let q be 2*3/(18/15). Suppose 0 = q*t + 7 - 2. Let p be (t*3)/(-6)*10. Solve -p*u = 7 + 8 for u.
-3
Suppose 0 = 4*m - 5*a + 3*a - 22, a + 5 = m. Solve 0 = 2*b - 0*b + m for b.
-3
Let i(v) be the first derivative of -v**2 + v + 2. Let d be i(-1). Suppose -6 = -d*q - 0. Solve 6 = q*n - 0*n for n.
3
Let m be 0 + -1 + (-14)/(-2). Suppose -20 = -m*v + 10. Solve l = 2*l + v for l.
-5
Suppose 2*q + v - 4*v - 15 = 0, -2*q - 4*v - 20 = 0. Suppose -4*x = -q*x - 8. Solve -u - 15 = x*u for u.
-5
Suppose -2*n = 5*f + 9, 4*n - 37 = f - 22. Solve 0*y = -n*y + 15 for y.
5
Let s be (10/4)/5*4. Solve -s*q - 3 = q for q.
-1
Suppose 2*i - 125 = -3*i. Suppose -3*f - w = -2*w - 25, 0 = -2*f - w + i. Solve -f = 3*t + 5 for t.
-5
Suppose -4*u + 8 + 12 = 0. Suppose i = -4*w - 2, 0*w + u*i - 11 = w. Let o be w*(-1)/((-2)/(-6)). Solve 3*x - o = 4*x for x.
-3
Let z be 24*1 - (-4 + -9 + 12). Solve -5 + z = 5*w for w.
4
Let r be 1 + ((-16)/(-4))/(-4). Solve r = 2*o + o + 12 for o.
-4
Let h be 22/4 - (-2)/(-4). Solve 0 = -0*o + h*o + 10 for o.
-2
Let m(t) = 0*t - 3*t + 3*t**2 - t**3 + t**2. Let c be m(2). Let a = 8 + -7. Solve -a = -c*y - 5 for y.
-2
Let b be 5 - -3*2/2. Suppose 0 = -y - 4*s + b, y - s = -3*s + 4. Solve y = r + 3 + 2 for r.
-5
Let t(d) = -d. Let b(z) = z + 2. Let r be b(-4). Let m be t(r). Suppose -q + 34 = 3*i, 4*i - i + 4*q - 19 = 0. Solve m = -5*s - i for s.
-3
Let x(n) = -n**3 + 6*n**2 - 3*n - 7. Let b be 32/6 - 1/3. Let m be x(b). Solve 0 = -0*f + f - m for f.
3
Suppose 3*q + q - 1 = -3*w, -5*q = 4*w. Suppose -3*p = -n - 3 - 0, -2*p - 18 = -q*n. Solve n = -x + 1 for x.
-5
Let m(h) = -h**2 + 11*h + 15. Let i be m(12). Solve -x - 2*x + i = 0 for x.
1
Let s be (0*(-1 - -2))/(-1). Solve -h + 2*h = s for h.
0
Let n be (-11 - -8) + 18/1. Solve -h + 4*h = n for h.
5
Suppose -2*a - 11 - 11 = 0. Let p = 1 - a. Solve -3*d - p = d for d.
-3
Let q be 0 + 4*(0 + -2). Let f = -3 - q. Solve f*j - j = 0 for j.
0
Let s(k) = k**2 - 5*k - 1. Let u be s(6). Solve -u*o + 10 = -3*o for o.
5
Let c be 141/27 - 4/18. Solve -2*j + c = -3*j for j.
-5
Suppose -9 = 2*a + 3*p, 6 = -2*a - 5*p - 1. Let c be a*(2/(-2) + 0). Let h(o) = o**3 - 6*o**2 + 1. Let z be h(c). Solve t + z = -1 for t.
-2
Suppose -p - 2*v = -3, -5*p + 10 + 5 = -2*v. Suppose 20 = -2*s - p*s. Let l = s + 6. Solve l*m = 2 - 0 for m.
1
Let j = 14 + -8. Suppose -2*q + j*q = 12. Solve q*k = k for k.
0
Suppose v + 8 = 9. Solve 4*p - v = -9 for p.
-2
Let x be 20/4*(-18)/(-10). Suppose 5*f - 3*u = -x, 12 = f + 3*u + u. Solve f = 5*s - 2*s - 3 for s.
1
Let n = 108 + -48. Suppose -s + n = 3*s. Solve 0 = y + 4*y + s for y.
-3
Let a(c) = -c + 9. Let f be a(7). Let q be -12*(f/3)/(-2). Solve q = n - 0*n for n.
4
Let c be -7*(-2 - -3) - 0. Let a(h) = -9*h - 15. Let w(p) = 5*p + 7. Let d(v) = 3*a(v) + 5*w(v). Let x be d(c). Solve -x*z - 12 = -7*z for z.
4
Suppose -3*y + 4*z + 20 = -0*y, 3*y - 10 = 2*z. Suppose y = r - k, r - k = -r + 4. Solve -r*g = -0*g for g.
0
Suppose 2*t = -0*o + o + 8, 4*t = 4. Let n = -2 - o. Let m be 0*2/n + 10. Solve -a - a = -m for a.
5
Let n(z) = -6*z + 12. Let q(s) = -5*s + 11. Let b(y) = -4*n(y) + 5*q(y). Let j be b(7). Solve 2*r - 4 + j = 0 for r.
2
Let s = -2 - -4. Suppose 5*h - 8*h = -5*i + 12, s*i + h = 7. Solve -i = -4*u - 7 for u.
-1
Let m(u) = -7*u**3 - 14*u**2 - 6*u - 1. Let t(b) = -b**3 - b**2 + 1. Let r(k) = -m(k) + 6*t(k). Let p be r(-7). Solve -4*z - 2 = -p for z.
3
Suppose -4*v - 4*c = -2*v + 6, 0 = -2*v - 2*c. Solve 0 = 2*b + v*b + 5 for b.
-1
Suppose -b - 12 = -4. Let t = 0 - b. Suppose 0 = -2*a + t + 2. Solve 2*c - a = -13 for c.
-4
Let v(i) = -i**2 - 12*i - 14. Suppose 5*l + 0*l = -2*n, -3*n = 2*l + 22. Let p be v(n). Solve -3*w - p = -3 for w.
-1
Let i be 6/9 - 25/(-3). Suppose a - 2*v - i - 4 = 0, -4*a + 32 = -4*v. Solve 0 = -a*b - 2*b + 25 for b.
5
Suppose 0 = 2*y + b - 24, -2*b + 4 = -4. Let a be (-3)/2*(-28)/21. Solve a*q + 0*q = y for q.
5
Let l be 6/10 - (-4)/10. Let z = l + -1. Solve z*k = 2*k - 8 for k.
4
Suppose -v + 10 = 5. Solve v*f = 1 - 11 for f.
-2
Let p be -7 + 10 - (0 - 0). Solve 0*g + 6 = p*g for g.
2
Let l = 10 - 7. Suppose y = -5*j + 14, -j - l*j + 16 = 2*y. Solve 0 = 3*m - y*m + 5 for m.
5
Suppose o + o = 4. Let h = 4 + -2. Let j be ((-5)/h)/((-1)/o). Solve 0*t = j*t - 5 for t.
1
Suppose 2*i = -s + 6*s, 5*i + 4*s = 33. Suppose -3*m = 2*q + 8, 0 = -i*q + 5*m - 12 + 42. Solve 2 = -2*o - q for o.
-2
Suppose 3*i - 3 = -4*d, -i - d - 1 = -3. Solve 0 = -2*l + 1 - i for l.
-2
Let f = 2 - 0. Solve -f*s - 8 = -2 for s.
-3
Suppose 2*s - 5 = -1. Solve 3 = -5*u + s*u for u.
-1
Let s(x) = x**3 + 9*x**2 + 8*x + 2. Let z be s(-8). Suppose 2*h - q = z*q - 8, -4*h + 12 = q. Solve -3 = h*c - 1 for c.
-1
Let j be (-4 + 6 - 2)*-1. Let w(l) = -l**3 + l**2 - l + 5. Let v be w(j). Suppose 4*c - 5*g - 3 = 2, -1 = -2*c + 3*g. Solve -5*q + v = -c for q.
2
Let f(x) = -2*x + 25. Let j be f(11). Solve -2*d = 5 + j for d.
-4
Let x(p) = -p**3 + 10*p**2 - 7*p - 3. Let v be x(9). Let o = -30 - -20. Let z be 48/v - (-2)/o. Solve 0*w + 9 = z*w for w.
3
Suppose -2*h = 3*h - 10. Suppose 2*d + h = -0. Let m be 1 + (-1 - d*20). Solve 5*s - m = s for s.
5
Let q(m) = -3*m + 1. Let o be 6/(-4)*(-8)/(-12). Let r be q(o). Solve 0*x = r*x for x.
0
Let j(i) = i**2 + 5*i - 6. Let z be j(-6). Solve z = -0*b + b - 1 for b.
1
Suppose 3*n - 19 = -0*p - 2*p, p + 18 = 4*n. Solve -10 = -0*o - n*o for o.
2
Let i(c) = c**3 - 10*c**2 + 4. Let d be i(10). Solve -16 = -d*j + 4 for j.
5
Let l(z) = -z**2 + 7*z - 6. Let j be l(5). Suppose j*q = -0*q, q + 6 = u. Solve -5*n - 9 = u for n.
-3
Let z = 21 - 16. Suppose -2*m - 4 = 3*d, 0*d = z*d + m - 5. Solve y = d*y for y.
0
Let c be ((-5)/(-15))/((-3)/(-9)). Solve -u = -c - 1 for u.
2
Suppose -3*q - 24 = -6*q. Suppose -x + q - 5 = 0. Solve 2*s + x*s = 0 for s.
0
Let d(r) be the second derivative of 11*r**4/6 + r**2/2 + r. Let j be d(-1). Let m = j - 15. Solve 0 = -h - h - m for h.
-4
Let h be (10/6)/((-1)/(-3)). Solve h*p + 16 = p for p.
-4
Suppose 0 = 3*u + 15, -2*y = -2*u - 4 - 6. Solve y = -2*l - l - 12 for l.
-4
Let c(g) = -2*g**3 + g + 4. Let s be c(0). Solve -6*f + s*f + 8 = 0 for f.
4
Let y(v) = v**3 + 12*v**2 - v - 7. Let j be y(-12). Solve 10*c + 15 = j*c for c.
-3
Let y(v) = -2*v**3 + 9*v**2 + 7*v - 7. Let u be y(5). Solve -u*g + 5*g = -8 for g.
-4
Let b(v) = -2*v - 3. Let r be b(-2). Suppose 5*d + 2 = -3*s, -d - 2*s - 5 - r = 0. Suppose p + p = -2*h, 5*p + 14 = d*h. Solve 8 + 0 = h*i for i.
4
Let x(w) be the third derivative of -1/2*w**3 + 0*w + w**2 - 1/24*w**4 + 0. Let i be x(-4). Solve -p = -i - 2 for p.
3
Let n = -99 + 103. Solve -t = n - 0 for t.
-4
Let h(t) = t**2 + 1. Let w = -3 - -3. Suppose -2*g - 2*g + 4 = w. Let i be h(g). Solve 0 = -f + i*f + 2 for f.
-2
Suppose y = 4 - 1. Solve j + y = 1 for j.
-2
Suppose 0 = s + 2 + 2, s + 24 = 4*l. Solve -x + 20 = -l*x for x.
-5
Let m be (1 - 0)*(-60)/5. Let d(l) = -l - 2. Let u be d(m). Solve 0*j + u = -5*j for j.
-2
Suppose -3*c = -2*u + u - 25, -4*u + 19 = 5*c. Solve -c*x - 6 = -4*x for x.
-2
Let u