 -15*u for u.
3
Suppose 3*b = 0, 3*v + 0*b = b + 21. Solve v - 2 = p for p.
5
Suppose 0*i + 3*h = -2*i + 11, 36 = 3*i - 2*h. Solve 2*u + i = 4 for u.
-3
Let t be (-2)/(-2) - (-15)/5. Solve -x - 5 = -t for x.
-1
Let r(k) = -k. Let h be r(-2). Let a(u) = -u**3 - 5*u**2 + 6*u + 4. Suppose -4*b - 32 + 8 = 0. Let d be a(b). Solve -d + 0 = h*n for n.
-2
Let j be 7/(21/12) - 2. Solve b + 12 = -j*b for b.
-4
Let c(l) = 3*l + 20. Let w be c(-6). Let q(d) = -d**2 - 4*d. Let n be q(-4). Suppose 4*h = -n + 8. Solve -h*y + 8 = w*y for y.
2
Let z = 80 - 77. Solve 0 = l + z*l - 16 for l.
4
Let c be (0 - -6)*1/6*5. Solve -1 - 9 = c*g for g.
-2
Let t(w) = w**3 + 5*w**2 + 3*w - 4. Let f be t(-3). Suppose o - 25 = 4*g - 0*g, 2*g = f*o - 53. Let c be (-3)/o*(-4 + 1). Solve 3 = -4*k - c for k.
-1
Suppose -3*n + 7 = 5*t, 0 = 4*t + 4*n - 2 - 2. Suppose 6 = 4*s - t. Solve -s = j + j for j.
-1
Suppose i - 8 = -i. Suppose -4*u + 8 = -0*u. Suppose 54 = u*r + 3*r - 2*f, -5*r + 48 = -4*f. Solve -4*t - r = i for t.
-4
Let p = 18 - 15. Solve -p*w - 25 = 2*w for w.
-5
Let z be 40/16*8/10. Solve 0*y = z*y for y.
0
Let z(y) = 5*y**2 - 1. Let k be z(1). Let n = 7 - 11. Let a = n + k. Solve -j - 3*j - 20 = a for j.
-5
Let a = -8 + 12. Suppose 0*x - a*x + 36 = 0. Solve -2*h - x - 1 = 0 for h.
-5
Suppose -d + 3*p - 5*p - 10 = 0, p + 5 = 5*d. Solve a - 2*a = d for a.
0
Let r be 1/((-7)/4 + 2). Suppose r*p = 4*s - 4, -2*s - 4*p + 13 + 7 = 0. Suppose 2*y + 2*o - 7 = 1, 0 = 5*o - 5. Solve y*t + s = -t for t.
-1
Suppose -6*u + 4*f + 9 = -u, -2*u - 2*f + 18 = 0. Let s be (1 + 0)*-1 - -3. Let t be (-8)/(-12) - s/3. Solve t = 3*h - u + 20 for h.
-5
Let r be ((-3)/2)/((-1)/(-2)). Let z be r/9 - 19/(-3). Let u be z/4 + (-15)/10. Solve -12 + u = -4*d for d.
3
Let n be (4/6)/((-16)/(-120)). Solve -n*q + 10 = -0*q for q.
2
Let f = -5 - -12. Solve f*r + 6 = 4*r for r.
-2
Let z be 1 - (-21)/(2 - 5). Let h = 6 + z. Solve -4 + h = -4*a for a.
1
Let t(i) = i - 1. Let u(h) = -4*h + 3. Let s(b) = 2*t(b) + u(b). Let w be s(-4). Suppose 0*m + 3*m = w. Solve p + m*p - 4 = 0 for p.
1
Suppose 0 = 2*q + 3*q. Let g be q/7*1/(-2). Suppose -3*t = 4*l - 48, -l - 2*t + 19 - 2 = g. Solve s = -4 + l for s.
5
Let n = 8 - 3. Solve -n*b + 20 = -0 for b.
4
Let w(h) = -h + 30. Let r be w(15). Solve r = 3*m - 6*m for m.
-5
Let y(u) = u**2 - 10*u - 10. Let v be y(11). Solve -v = -f - 0 for f.
1
Suppose 2*h = k - 0 - 20, 2*h = -k + 20. Solve -2*b = 3*b + k for b.
-4
Suppose -k + 30 = 5*w - 0*k, 0 = 3*k - 15. Solve 2*l = l - w for l.
-5
Suppose -5 = -4*i + 3. Let a be (i/8)/(1/4). Solve 0 = 4*q - a + 9 for q.
-2
Suppose -2*h = 2*x, -5*x + 0*x + 4 = 3*h. Solve x*i = -i - 12 for i.
-4
Suppose -4*f + 12 = 0, r - f = -6*f + 18. Solve -6 - 9 = r*q for q.
-5
Let h(b) be the first derivative of -b**2 + 2*b - 2. Let s be h(-2). Let t = 14 + s. Solve 2*a + 2*a = -t for a.
-5
Let t(u) = -2*u**2 + 5*u**2 + 0*u**2. Let b be t(1). Solve -b - 7 = -2*v for v.
5
Let c be ((-1)/(-1))/((-2)/8*-2). Solve 0 = 2*p - p - c for p.
2
Suppose -4 - 16 = -z. Suppose 3*j + 10 + z = 0. Let y be (-24)/j - (-6)/10. Solve 2*t + y = -t for t.
-1
Let c be 1 - 1 - (-13 + 4). Let o(v) = v**2 - 9*v + 3. Let r be o(c). Solve 0 = 2*w + r*w for w.
0
Let k(i) = -11*i**3 + i**2 - 9*i + 2. Let g(t) = -5*t**3 + t**2 - 4*t + 1. Let o(h) = 9*g(h) - 4*k(h). Let y be o(5). Solve d + 0 = -y for d.
-1
Suppose v - 4*r = -0*r + 13, 7 = v - 2*r. Let s = v - 1. Solve -4*p + 3*p + 4 = s for p.
4
Let x = 20 + -5. Let o be ((-36)/x)/(9/(-30)). Solve a - o = -a for a.
4
Let d = -1 + 4. Suppose 3*x + 4 = d*p + p, 0 = 3*p - 12. Solve x = 5*u - 16 for u.
4
Suppose -23 = -4*b + 4*p - 7*p, -3*b + p + 14 = 0. Let t = -14 + 17. Let o(y) = 7*y + 9. Let w be o(t). Solve w = 5*c + b for c.
5
Let h(c) = c**2 - 5*c - 5. Let a be h(5). Let u = -3 - a. Solve -u*w - 3 = -w for w.
-3
Let l = -14 + 14. Suppose 2*p + 2*p = 3*j + 34, 2*p - 3*j - 20 = l. Solve -p*u + 2*u + 5 = 0 for u.
1
Suppose j - 3*i = -7, i = j + 1 - 0. Solve 0 = 3*d - d + j for d.
-1
Let g(r) = r**2 + 5*r + 4. Let h be g(-5). Solve -o + 10 = h*o for o.
2
Suppose 5*l = 2*l. Solve l = 2*z + 3*z - 20 for z.
4
Let p be 65/15 - 8/6. Solve 0 = -p*m + 4*m + 3 for m.
-3
Let q = -10 - -6. Let c be (q/(-3))/(16/24). Solve 0 = g - c*g for g.
0
Let d be 0/(1/2*-2). Suppose 2*y - v = -y + 6, -2*y + 14 = -4*v. Solve d = -5*w - y - 9 for w.
-2
Suppose 0 = -4*w - 5*w. Solve 0*c + 3*c - 12 = w for c.
4
Let z = -128 - -133. Solve 3*c - z*c + 6 = 0 for c.
3
Let h be 2 - -1 - (-1)/(-1). Suppose h*r - 8 = 4*b, 3*r = 5*b + 2 + 12. Solve -s - r = s for s.
-4
Let u be (-6)/8 - (-143)/52. Suppose 3*h + 1 = b, -2*h - b = -6*h. Let y be 8 + (-1 - u)/h. Solve k = y*k - 16 for k.
4
Let z(n) = -n - 8. Let g be z(-8). Solve 4*u + g*u = 0 for u.
0
Suppose 5*v + 3 = 13. Solve 7*s - v*s - 5 = 0 for s.
1
Let y(h) = 4*h - 2. Let o(n) = n + 1. Let m(g) = -o(g) + y(g). Let s be m(6). Solve 2*w = 5*w - s for w.
5
Let z be 0*(-1)/((-1)/(-1)). Suppose z = 4*s - 0*s - 8. Let c(u) = u - 1. Let w be c(s). Solve w = 3*a - 4*a for a.
-1
Let y = 181 - 81. Suppose -3*x = 2*x - y. Suppose -4*l = -0*l - 12. Solve -c = l*c + x for c.
-5
Let c = 19 - 14. Solve 17 = -c*n - 8 for n.
-5
Suppose h = 5*f + 2, 3*h + f + 2*f - 6 = 0. Solve 0 = -3*p - h - 1 for p.
-1
Suppose 3*u = -2*s - 2*u + 20, -s = 2*u - 8. Solve s*b - 3*b + 3 = 0 for b.
1
Let j(p) = p - 3*p + p**2 + 2 - 7. Let b be j(4). Solve l = -b*l for l.
0
Let k be (-1 - 0) + 0 + 3. Suppose -12 = -0*n - k*n. Let v be (-173)/(-7) + n/21. Solve 4*q = -q + v for q.
5
Let v(q) = q**2 - 12*q + 12. Let r be v(1). Solve -r + 0 = -f for f.
1
Let f(g) = g - 2. Let x(v) = 3*v - 4. Let b(n) = 5*f(n) - 2*x(n). Let c be b(-8). Solve 0 = -4*t + 2*t - c for t.
-3
Let f(n) be the second derivative of 7*n**6/720 - n**5/60 - n**4/6 - 2*n. Let i(u) be the third derivative of f(u). Let a be i(3). Solve 5*t - a = 6 for t.
5
Suppose 0*i + 595 = 5*i. Let a be i/11 + (-4)/(-22). Suppose 7*j = 4*j + 15. Solve 9 = j*t - a for t.
4
Let k(b) = b**3 + 6*b**2 + b + 4. Let j be k(-6). Let m be (3 + 1)*j/(-4). Solve 3*f = -m*f + 5 for f.
1
Let s = 5 + 1. Solve -s*u = -3*u + 6 for u.
-2
Suppose 0 = -0*b - 4*b - 5*w + 22, 4*b - 3*w - 6 = 0. Solve b*h - 5*h - 2 = 0 for h.
-1
Let o be 2 + (-16 - 2/(-2)). Let b = -1 - o. Solve -4 = -4*z - b for z.
-2
Let d = -5 + 10. Solve 5*p + 5 = -d for p.
-2
Suppose w = -0*w. Suppose -20 = -v + 3*t, -2*t + 5 = -v + 4*v. Suppose 1 = 5*m + j, 0 = 4*m - w*j - v*j + 5. Solve m = 5*g - 26 + 6 for g.
4
Let v(w) = 5*w**2 + 6*w + 5. Let b be v(-1). Solve 0 = -2*f - b + 14 for f.
5
Suppose 0 = o - 3*t + 2*t - 1, -o + 3*t + 3 = 0. Suppose -7*i + 5*i + 4 = o. Solve -i = -3*u + u for u.
1
Let h(f) = 2*f**2 - f + 6. Let u be h(2). Solve o + u = 4*o for o.
4
Suppose t = 5*t + 480. Let n be ((-3)/9)/(5/t). Solve -3*v + 5*v = -n for v.
-4
Suppose -w = w - 14. Suppose -4*f + w = -3*i - 4, 2*f = 3*i + 7. Solve f*g - 5*g + 9 = 0 for g.
3
Let h be 3 + (0 - -1) + 8 + -12. Solve 4 = n - h*n for n.
4
Let m(p) = -2 - p + 11 - 2*p + 4*p. Let z be m(-6). Solve 0 = 5*i + 7 + z for i.
-2
Let p = 183 - 125. Suppose -p = -4*f + 10. Solve 4*g - 3 = f for g.
5
Suppose 3*j - 10 = -2*j. Solve 3*h = j*h + 4 for h.
4
Suppose 0 = 3*c + 4*y + 8 - 0, 4*y + 24 = c. Suppose 4*n + q = -3*q + c, -3*n + 2*q = -23. Solve -u = 4 - n for u.
1
Suppose -u + 2 = -2. Suppose -u*o = -3*v - 20, -2*o + 0*v = v. Solve -z + 4 = o for z.
2
Let o = -12 - -15. Suppose u + m = -u + 31, -o*m - 12 = -u. Solve -r = 2*r - u for r.
5
Let a be 2/3*-6 + 4. Suppose -3*i + 8*i - 10 = a. Solve -3*v = -i + 8 for v.
-2
Let j(x) be the second derivative of -x**3/6 + 2*x**2 - x. Let r be j(2). Suppose r*w - 25 = -3*w. Solve -w*g + 16 = 1 for g.
3
Let n = 8 + -5. Solve k + n = 1 for k.
-2
Let d(x) = 5*x**3 - 5 + 5 + 5 - 4*x - 4*x**3 - 5*x**2. Let j be d(6). Solve -4*m - j = -5 for m.
-3
Let h = -8 - -11. Suppose 18 = n - h*i, 5*n - 4*i = -0*n + 35. Solve -5*m + 2 = -n*m for m.
1
Let x(m) = -m**3 + m**2. Let s be x(0). Let q(y) = -y + 8. Let d be q(6). Suppose -d*c - 3*i - 6 = s, -3*i - 35 = -5*c - 8. Solve 2*z = -c*z + 25 for z.
5
Let l(k) = -4*k**2 + 7*k - 1. Let m(w) = -7*w**2 + 14*w - 2. Let b(u) = 5*l(u) - 3*m(u). Let s be b(7). Let d be (-2 + 1)/(s/(-2)). Solve -3*q = d*q - 5 for q.
1
Let