v + 5 = 0 for u.
3
Suppose 6 = -0*v + v. Suppose -v = l - 4*l. Suppose -l*p = 3*p - 20. Solve -p*g - 11 = 5 for g.
-4
Suppose 2*l + 2*m = -4, -5*m + m = 3*l + 4. Let u = -2 - l. Suppose 0 = u*p + 2*p - 8. Solve -h + p = h for h.
1
Suppose b - 4*u + 7 + 3 = 0, -5*u = -5*b + 10. Suppose b = 3*q - 2*q. Solve 8*c = 5*c - q for c.
-2
Let l be (-17)/(-3) - (-1)/3. Suppose -f + 2*m = -3*f + 6, 0 = -4*f - 5*m + 7. Suppose -r + 3*u - 9 = 0, -u + l*u - f = 4*r. Solve -r = 3*o + 3 for o.
-2
Let l = 6 + 3. Let j be (-3 - -11)*l/12. Solve 4*i = 2*i - j for i.
-3
Let n(w) = -4*w. Let z be n(-1). Suppose -d + z = 2. Solve f = 2 + d for f.
4
Suppose x - 4 = -2. Let d(r) = -r**3 + 3*r**2 + 6*r - 3. Let w be d(4). Suppose 0 = 5*h - 2*h - 18. Solve x*n + h = w*n for n.
2
Let v be (2 - 2)/((-2)/(-2)). Let k(n) = -n**3 - 5*n**2 + 6*n + 2. Let i be k(-6). Suppose 10 = i*y + 4. Solve v = -y*z - z for z.
0
Suppose -3*o - 3*c - 15 = 0, 3*c = -3*o + 2*c - 19. Let i = o - -10. Solve i*n + 3 = 6 for n.
1
Let v(z) be the first derivative of z**2/2 + 6*z - 1. Let k be v(-3). Solve -4*j = -k*j for j.
0
Suppose -7*v + 6*v + 2 = 0. Solve d = -0*d + v for d.
2
Let j = 9 + -3. Solve -2*b + j*b - 8 = 0 for b.
2
Let n = -182 + 207. Solve 2*x + 3*x - n = 0 for x.
5
Let s be 12/(-12) - 3*-1. Solve -s*t = 11 - 5 for t.
-3
Let l(x) = 2*x - 4. Let d(y) = 3*y - 2. Let v be d(2). Let f be l(v). Solve r - 3*r = -f for r.
2
Let w(o) = o + 1. Let f(s) = -s**3 - 5*s - 1. Let v(g) = f(g) + 4*w(g). Let c be v(0). Solve -5 = -c*j - 2*j for j.
1
Let d = -1 - -2. Let p = d + 0. Let f be (0 - p) + 1*7. Solve -f*w = -w + 5 for w.
-1
Let z = 2 - -9. Suppose c - 4 = -f, -5*f + 10 = -5*c - 0. Suppose -z = f*o - 71. Solve -p + 6*p + o = 0 for p.
-4
Let a be 13/3 - (-4)/6. Suppose -2 = -a*t + 38. Solve 0 = q + 3*q + t for q.
-2
Let z = 3 - 2. Let d(l) = -l**2 - 6*l - 1. Let h be d(-6). Let g = 1 - h. Solve -i = g - z for i.
-1
Suppose 12 = 5*g - w, -g - 3*w = -6*g + 6. Let m be (-1)/(-2 + (-50)/(-26)). Suppose 0 = -4*x - 5*v + m, 5*x + g*v - 13 = -0*x. Solve -f = x*f - 6 for f.
2
Suppose 0 = -11*x + x + 30. Solve -x*m - m = -8 for m.
2
Let x = -2 - -4. Let p be (-1)/2 + 9/x. Solve 5 = p*l + 1 for l.
1
Let g(r) = -4*r. Let p be g(0). Solve -x = -p*x - 3 for x.
3
Suppose -5*b + 15 = 4*t - 10, 2*t + b - 5 = 0. Let m = t + 0. Let k = m - -2. Solve 2*i - k = 6 for i.
4
Suppose 4*v + 2*a = 46, 4*a + 23 = 3. Solve -v = -3*x + 1 for x.
5
Suppose 3*y = -3*g + y + 71, -4*g + 104 = -2*y. Solve -g = -d + 6*d for d.
-5
Let h = -15 + 19. Solve 0 = -2*k + h*k for k.
0
Let a(u) be the first derivative of -u**2/2 + 3*u - 1. Let y(p) = -p**2 - 19*p + 42. Let i be y(-21). Let o be a(i). Solve -20 = -o*c - 2*c for c.
4
Let g(f) = -f**3 - 6*f**2 + 3. Let d be g(-6). Let u be d/((-9)/6) + 5. Solve -1 = 2*m - u for m.
1
Let s = -8 + 14. Let w(t) = -t**3 + 6*t**2 - t - 4. Let u be w(s). Let m be (-6)/4*u/3. Solve -6*i = -i - m for i.
1
Let m = 38 + -33. Solve -8*j + m*j = 0 for j.
0
Let j(r) = -r**3 + 3*r**2 + 3*r + 3. Let s be j(4). Let i = s + 0. Let f be (0 - -1)/(i/(-3)). Solve -f*k + 2 = 5 for k.
-1
Suppose 9 = 3*u - 6. Let x(p) = -p**2 + 6*p + 5. Let s(i) = i**2 - 7*i - 6. Let k(g) = 5*s(g) + 6*x(g). Let w be k(0). Solve w*m - u*m = -5 for m.
1
Let p be 7 - 3 - (0 - 1). Suppose -h - 22 = -3*r + 46, p*r = -5*h + 140. Let c be 10/8*r/3. Solve -2*t = -7*t - c for t.
-2
Suppose -7 - 20 = 3*u. Let y be (-1 - -2) + u/(-3). Let c(l) = -l**3 + 5*l**2 - 3*l. Let f be c(y). Solve -f*w + 3 = -3*w for w.
3
Let m be (-3)/(-3) + -1 - 0. Solve -2*q + 3*q - 5 = m for q.
5
Let y(v) = 4*v - 34. Let w(a) = 3*a - 23. Suppose -3*x + 5*q = -2 + 6, -2*q = 3*x - 31. Let g(n) = x*w(n) - 5*y(n). Let s be g(-7). Solve z = -4 + s for z.
-2
Let u(o) = -o - 6. Suppose 0 = 2*f + 6*s - 4*s + 6, 0 = 2*s - 4. Let d be u(f). Let q = 1 + d. Solve 0*c + c = q for c.
0
Suppose -3*u = -8*u - 5. Let h = u - -4. Solve -7 = -x - h for x.
4
Suppose -5*x - 8 + 83 = 0. Solve 4*f - f = -x for f.
-5
Let l(s) = s**2 - 12*s + 5. Let h be l(12). Solve h*i = 3*i + 6 for i.
3
Let t(v) = v**3 + 4*v**2 - 4*v + 10. Let z be t(-5). Solve -z*w + 0*w = 0 for w.
0
Suppose -3*y - 2*h + 79 - 23 = 0, -4*h + 32 = 2*y. Solve -r + y = 3*r for r.
5
Let v = -38 + 46. Solve 20 = 3*o + v for o.
4
Let i(a) = -a - 2. Let f be (45/(-6))/((-2)/8). Suppose -6 = r + 4*d, -3*r - 2*r + 4*d = f. Let x be i(r). Solve -q = x - 0 for q.
-4
Let q(k) = -2 - 19 + 6 + 3*k. Let g be q(6). Solve 6 = g*j - 0*j for j.
2
Let b = -9 - -14. Solve 2*t - 1 = -b for t.
-2
Let d(g) = 2*g + 14. Let q be d(-5). Solve -q*r + 0*r = -20 for r.
5
Let m(t) = 4*t - 7. Let n be m(4). Solve 0*q + n = 3*q for q.
3
Let m(s) = -3*s + 0*s**2 + s**2 + 9*s + 4 - 3*s. Suppose -2*u + 0*u = z + 6, 5*u - 5*z + 15 = 0. Let a be m(u). Solve 1 = -3*p + a for p.
1
Suppose -3*h = 2 + 13, -5*b + h = -25. Let v(m) = 0*m + b*m - 6*m**2 + m**3 - 4 + 9. Let s be v(5). Solve s*k = 3*k - 15 for k.
5
Suppose 5*w - 2*w + 15 = 0. Let p = -7 - w. Let i be (-3)/6 + (-5)/p. Solve -2 = i*r - 0*r for r.
-1
Suppose -5*g + 46 = -m, -m - 4 = -g + 6. Solve -3*j = -6 - g for j.
5
Let x = 13 - 12. Solve q + 0 = x for q.
1
Suppose -2*x = -0*x. Solve 4*y = 4 - x for y.
1
Suppose 0 = i - 2*x + 4, -i - x - 4*x + 24 = 0. Suppose 15 = -i*d + 9*d. Solve d*u = u - 8 for u.
-4
Let z(v) = -v**3 + 7*v**2 - 11*v + 7. Let j be z(5). Solve 12 = 2*x + j*x for x.
3
Let m be (-12)/(-15) + (-48)/(-15). Solve -x = m*x - 15 for x.
3
Suppose 2*d + 3*i - 11 = 2*i, -4*d + 2*i = -18. Solve k + d + 0 = 0 for k.
-5
Suppose -38 = -2*x - 4*f, 3*f - 35 = -2*x - 0. Suppose 148 = 5*y + x. Solve 5*r + y - 7 = 0 for r.
-4
Suppose k - 5*z = 5, 0 = -k - 2*z - 6 - 3. Let h = 0 - k. Suppose 2*p - p - h*c - 30 = 0, 0 = 4*p - c - 25. Solve -f - p = 4*f for f.
-1
Let c(i) = i**3 - i**2 - 3*i - 4. Let w be c(3). Let m = 8 - w. Solve -6*a = -m*a + 12 for a.
-4
Let k be (-1 - -4) + -6*2/(-4). Solve 2*u - k*u = 20 for u.
-5
Suppose -3*i - 20 = -4*b, 4*i = i - 5*b + 25. Suppose i = -3*a + 6, -5*u + 0*a + 20 = -5*a. Let r = u - 4. Solve 0 = -r*x - 1 - 3 for x.
-2
Let o be 1/4 - (6 + 188/(-16)). Solve 6 = 3*c - o for c.
4
Let j(o) = -3*o**2 - 12*o**2 + 6*o + 8*o + o**3. Let t be j(14). Solve t = -w - 2*w for w.
0
Let z = 25 + -25. Solve z = 4*t + 3 - 7 for t.
1
Let p(q) = q**3 - 7*q**2 + 6*q - 3. Let n be p(6). Let w be ((-110)/(-33))/((-2)/n). Solve 2*o = o + w for o.
5
Suppose 2*k - 4*f = -f + 18, -k + f + 7 = 0. Solve -w = -2 + k for w.
-1
Let f = 27 + -22. Suppose 5*g = -0*g. Let w = 2 + g. Solve w*i + f = -3 for i.
-4
Suppose j = 5*s - 0*s - 20, 0 = -5*j + 3*s - 12. Suppose 2*t + 2*t + c - 25 = j, 15 = 4*t - c. Solve -t*r - 1 - 19 = 0 for r.
-4
Let d(u) = 0*u - 26*u + 1 + 0. Let k be d(-1). Solve 5*t + 7 = k for t.
4
Let b = 0 - 5. Let i(k) = -7*k**2 + 12*k + 1. Let g(x) = -3*x**2 + 6*x + 1. Let h(p) = 9*g(p) - 4*i(p). Let q be h(b). Solve -3*y - 3 = -q*y for y.
-1
Suppose 6 = 2*c - 2. Solve -c*k + 12 = -8*k for k.
-3
Suppose -4 = -p + 1. Let t be p - -1 - (1 - 2). Solve -5*d - 27 + t = 0 for d.
-4
Let r(o) = -3*o + 1. Let k be r(-1). Suppose -k*m = -0*m. Suppose m = -4*u + 13 - 5. Solve 2 = -0*v - u*v for v.
-1
Suppose 5*a = 4*a. Let z = a - 3. Let h = -3 - z. Solve -5*f = -h*f - 10 for f.
2
Suppose 31 = -w + 5*r + 6, 4*w = -2*r + 10. Suppose w = 5*o + i + 5, -3*o + i - 4 + 1 = 0. Let b be (-2 - o - -9) + 0. Solve 3*t - 25 = b*t for t.
-5
Let h(c) be the third derivative of 1/60*c**5 + 0 + c**2 + 0*c + 1/12*c**4 + 1/6*c**3. Let y be h(-3). Solve -k - y*k = -20 for k.
4
Let y = -6 + 10. Let d(q) = q + 8. Let g be d(8). Let c = -8 + g. Solve c*u = y*u + 4 for u.
1
Let h(j) = j**3 - 9*j**2 - 8*j - 14. Let o be h(10). Solve -a = -o*a for a.
0
Let h(z) = z**3 + 7*z**2 + 5*z - 4. Let y be h(-6). Solve -4*t - 2 = y for t.
-1
Let a(p) = p**2 + p - 3. Suppose 3*x + 3*o = 0, -3*x + 4*o = -7 - 7. Suppose x*k + 0 = -6. Let r be a(k). Solve 2*b = -r*b for b.
0
Let f = -49 - -83. Suppose 3*u = f - 7. Solve 3*v + u = 3 for v.
-2
Let n = -2 + 8. Let w = 5 + -3. Suppose -2*f = 3*l, w*l + 0 = -f + 1. Solve n = 2*t - l for t.
4
Let t = 12 + -8. Let s = -22 - -37. Solve t*k + s = k for k.
-5
Suppose -5*u - 5*a + 10 = -0, u - 14 = 3*a. Suppose -3*b + u = 4*p, 0 = -5*b - 17 - 8. Suppose -j + 12 = -0. Solve x = p*x -