for u.
-1
Let c = 1 + -2. Let l = -1 - c. Solve 9 = -3*z - l for z.
-3
Let c = -33 - -37. Solve -2 = -2*y - c for y.
-1
Suppose -2*m + m = -5. Suppose -t + 3*g - g = 0, 0 = 2*t + 4*g. Solve b - 2*b - m = t for b.
-5
Let k = -7 - -17. Let y = k + -7. Solve 10 = -y*i - 2*i for i.
-2
Suppose -2*p + 10 = 5*u - 5, 0 = -3*u + 5*p + 40. Let m be 15/20*(u + -1). Solve -2*a = m*a + 5 for a.
-1
Let y(m) = -m**2 + 4*m - 4. Let q be y(6). Let a = 24 + q. Suppose 5*p + t = 14, a*p - 3*p - 13 = -2*t. Solve -2*z + p - 13 = 0 for z.
-5
Suppose -2*o = 0, y = -2*y - 4*o. Suppose y = -5*j + 2*j + 9. Solve 0 = -4*c + j*c for c.
0
Suppose 4*z - 7 - 1 = 0. Solve -j = -z*j + 5 for j.
5
Suppose 0 = l + 3*f - 15, f + 3*f = -4*l + 20. Let j = 2 + 2. Solve l = -d - d + j for d.
2
Let u = 40 + -37. Solve h - 4*h = -u for h.
1
Let m(i) be the third derivative of i**5/60 - i**4/6 - i**3/6 + 6*i**2. Let c be 1/(-1)*(-15)/3. Let j be m(c). Solve -j*n = -3*n - 4 for n.
4
Let r be 180/(-54)*(-6)/5. Solve -y - 25 = r*y for y.
-5
Let n be (-2 - -2)/(2/2). Suppose 5*v + k - 34 = 4*k, -4*v = 4*k - 40. Solve -4*f + v*f = n for f.
0
Let h(m) = -4*m + 2. Let u be h(8). Let l = u + 42. Solve -c + l = 3*c for c.
3
Let s be (-2 - 0) + 4/1. Suppose 0 = 2*c - 4 - s. Let r be 0/(c + (-2 - 0)). Solve 3*z + r*z = 0 for z.
0
Suppose 29 = 5*n - 11. Suppose n = -3*r + 5*y, r + 4 = 3*y - y. Let z be 2*(55/10 - 4). Solve r = -x + z for x.
-1
Suppose -5 = -j + 4*j - 2*c, 3*c = -2*j - 25. Let t(q) = -2*q. Let g be t(j). Solve 2*h = -0*h - g for h.
-5
Suppose -2*t - t = 5*t. Solve -3*h - 9 = -t*h for h.
-3
Let z(i) = 3*i**2 - 7*i - 1. Let h(c) = -4*c**2 + 7*c + 2. Let r(l) = 4*h(l) + 5*z(l). Let y be r(-7). Suppose -4*x = -y*x - 6. Solve -3 - x = 3*u for u.
-3
Let d = 1 - 1. Let k(v) = 3*v**2 - 3. Let b be k(-2). Solve -3*i + d*i = b for i.
-3
Suppose -86 = -4*r - 3*j, 2 - 4 = -j. Suppose -q - r = -5*z, -5*z + 4*q = -q. Suppose -5*y - 4*c + 7 + 1 = 0, -4*y + 4*c = 8. Solve y = -i + z for i.
5
Let a(y) = 6*y**2 + y + 9*y**3 + 5 - 4*y - 10*y**3. Let h be a(4). Solve -h = -2*j - 3*j for j.
5
Let f(u) = 8*u + 1. Let x be f(1). Let w = x - 4. Solve -2*y + y = w for y.
-5
Let v(c) = -2*c - 28. Let w be v(-15). Solve -w*n = 1 + 5 for n.
-3
Let a(p) = -p**2 - 10*p - 8. Let z be a(-9). Suppose 4*x = 3*x + 5. Solve -2*u - x = -z for u.
-2
Let h be -36 + (5 - 2) - 2. Let j = h + 55. Let g(i) = -i**2 - 7*i - 3. Let k be g(-5). Solve 2*t = k*t - j for t.
4
Let a = 6 + -4. Suppose 0 = -y - 3 + 5. Suppose 0*p + y*p = 0. Solve -5*u + a*u = p for u.
0
Let p(j) = 2*j - 7. Let i be p(5). Suppose i*d - 8 = 4. Solve 1 = -3*t + d for t.
1
Suppose 0 = -4*q - 3 + 19. Suppose -15 = -5*v, 2*c - 20 = -0*c - q*v. Solve c*w + 1 = -7 for w.
-2
Let p be ((-2)/(-2))/(1/3). Suppose -5*o + 15 = -0*o. Let r be (-1*(-21)/o)/1. Solve -p = w - r for w.
4
Let s be (-14)/(-49) + 26/7. Let j = 3 - 8. Let d be (4/j)/(4/(-10)). Solve d*g + 14 = s for g.
-5
Let q be (-2 - 0)*130/(-52). Solve -9 = -q*i - 4 for i.
1
Let o be (4 + 0)/((-3)/(-15)). Suppose -3*j = 2*j - o. Solve b = 2*b + j for b.
-4
Suppose -11 = 3*d + a - 2, -5*d = a + 15. Let c(q) = -q**3 - q**2 + 2*q - 3. Let x be c(d). Solve 3*v - x = 3 for v.
4
Suppose -12 + 36 = 4*f. Let a be 26/f + (-2)/6. Solve a*v + v = -15 for v.
-3
Suppose 0*w + 10 = 5*w. Solve 0 = -s + w - 6 for s.
-4
Let i(s) = -s**2 + 8*s - 1. Let q be i(7). Suppose 4*m = 14 + q. Solve m*n - 4 = -9 for n.
-1
Let j(i) = -2*i - 1. Let o be j(-2). Suppose 3*q = 2*d + 3*d + 11, -3*q = 3*d - o. Solve -2 - 4 = q*y for y.
-3
Suppose 11 + 5 = 8*y. Solve 4*g = -10 + y for g.
-2
Let q(y) = 2*y + 9. Let m be q(-3). Solve -m*s - 25 = -8*s for s.
5
Let v be (-51)/24*-2 - 2/8. Solve a - 3*a = v for a.
-2
Let g(t) = -t**3 - t**2. Let m be g(-2). Suppose 2*w - 7*p + m*p - 31 = 0, 2*w + p - 27 = 0. Solve -2*c = -w + 4 for c.
5
Let o(j) = -j**2 - 8*j - 6. Let i be o(-5). Solve 0 = -3*d - i - 6 for d.
-5
Let k(z) = -6*z - 4. Let g(t) = -5*t - 4. Let c(m) = -5*g(m) + 4*k(m). Let q be c(0). Solve 0 = -0*d - q*d - 8 for d.
-2
Suppose -r + 3*b - 11 = -1, 6 = -3*r + 3*b. Let n = r + 0. Suppose 4 = 3*j - n*j. Solve j = -7*w + 3*w for w.
-1
Let k = 1 - -2. Solve -k*o - o = 16 for o.
-4
Let j be (-4)/(-16)*2*0. Let q(n) = n - 2. Let u be q(4). Solve y + u - 1 = j for y.
-1
Let o(c) = -c**3 - 6*c**2 - 3*c - 6. Let h be o(-5). Let t = h + 38. Let m be 35/11 + (-4)/t. Solve 8 = -m*r + r for r.
-4
Let i = 0 + -2. Let p(o) = o**3 + 3*o**2 + o + 2. Let f be p(i). Suppose -2*g + 15 = 4*c - g, 4*g = -4*c + 24. Solve s - c = f*s for s.
-1
Let x(c) = 0*c + 5 - 2 - c**2 + c. Let u be x(0). Solve 3*v - u = -0*v for v.
1
Suppose 2*x = -4*y + 20, -3*y + 6*y + 2*x = 14. Solve -12 = -2*b + y*b for b.
-3
Let p = 10 + -10. Solve p = 2*i + i for i.
0
Let c = -1 + 6. Suppose 3*s - 4 - 59 = 0. Suppose -s = -0*z - 3*z. Solve -z - c = -3*b for b.
4
Suppose -3*t - n = t - 7, -4 = -t + 2*n. Suppose 0*p = -p - 12. Let b = p - -17. Solve -t*h - 3 - b = 0 for h.
-4
Let m be ((-632)/(-52) - (-2)/(-13))/2. Solve -m = -5*b + 2*b for b.
2
Let y = 14 - 0. Suppose -y = -5*v + 1. Solve -z + 4*z - v = 0 for z.
1
Suppose 1 = b + 5*x - 2, 0 = 4*x. Solve 0 = -b*q - 0*q for q.
0
Let a(j) = -j**3 - 7*j**2 - 6*j + 3. Let x be a(-6). Suppose x*t + 2*t - 300 = 0. Suppose 5*s + 0*s = t. Solve -2*b - s = 2*b for b.
-3
Suppose -4*x = -0*x - 28. Let a(s) = 9*s**3. Let p be a(1). Suppose -4*w + p = -x. Solve -v = -w*v for v.
0
Suppose -5*a = -5*a + a. Solve -3*s + 4*s = a for s.
0
Let w be -1 - 2/1*-1. Let y be (1*28 - 3)*-1. Let a be 10/y*(-3 + -2). Solve j + w = a for j.
1
Suppose -9 + 3 = -2*l. Suppose 3 = -2*p + l*p. Solve 0 = p*q + 11 - 2 for q.
-3
Let v be (-5 - (-12)/2) + 2/2. Solve -6*z + v*z + 20 = 0 for z.
5
Suppose m = -2*w - 13, 3*w + 19 + 28 = 4*m. Let o = -4 - w. Suppose o*s = 4*u - 7, u - 2*u - 2 = -5*s. Solve z = u - 1 for z.
2
Let k = 0 + -1. Let i be 56*k*(-3)/6. Suppose 3*f + 5*a - i = 0, 0 = -f - f - a + 14. Solve -4*d - f = -d for d.
-2
Let j(n) = -n**3 + 3*n**2 - 2*n + 3. Suppose -2 + 10 = 4*b. Let p be j(b). Suppose -3*t = 4*i - 2 - 16, 0 = p*i + 3*t - 15. Solve i*g - 6*g + 12 = 0 for g.
4
Let b(y) = y**3 - y**2 - 2*y - 2. Suppose 3*n + 2*j = -4, -n - j + 2 = 4. Suppose 0 = 2*t + 4*s - 2 - 0, s + 1 = n. Let a be b(t). Solve d + a = 3*d for d.
5
Suppose -5*f + c + 14 = 1, -f + 2*c - 1 = 0. Solve 0 = -7*a + 4*a - f for a.
-1
Suppose 0 = -3*u + 4*p + 47, 11 = 3*u + 2*p - 6. Let m be 670/(-70) - 3/7. Let s = 12 + m. Solve -s*i - u = i for i.
-3
Let y(a) = -a**3 - 8*a**2 - 7*a + 1. Let o be (-50)/8 - 15/20. Let w be y(o). Solve k + 2 = w for k.
-1
Let x(k) = k + 8. Let b be x(-8). Solve b = -2*z - 3 - 1 for z.
-2
Suppose 0 = -4*o - 5*z + 3, -o - 4*z = 4*o - 6. Let m(u) = -2*u**o + 3*u**2 - 8*u + 0*u**2 - 2*u**2. Let h be m(-8). Solve 5*c = -h*c - 15 for c.
-3
Suppose -4*a - f = -19, 3*f - 9 - 3 = -3*a. Suppose 37 = a*i + 12. Solve -l = -0*l - i for l.
5
Suppose -5 = -k + 1. Suppose -2*i = 2*i - 20. Suppose -2*f = -i*f + k. Solve 2*w = -f*w - 8 for w.
-2
Suppose -3*a = -2*z + 2*a + 46, 3*a = z - 24. Let v = z + -13. Suppose 2*r - 6 = -v*h, h + 2*r - 10 = 6*r. Solve j = 1 + h for j.
3
Let x(c) = 4*c - 8. Let a(l) = -7*l + 17. Let v(r) = -3*a(r) - 5*x(r). Let u be v(10). Let q be 1/((-21)/(-18) + u). Solve -16 = -2*z - q for z.
5
Let o be (2 + -3)/1 - -9. Let i(p) = -p**2 + 10*p + 11. Let j be i(11). Solve 2*b - o = -j*b for b.
4
Let c = -1 - 3. Let d be c/(-14) + 24/14. Solve 0*a + d*a = 2 for a.
1
Let c(r) be the first derivative of r**4/4 + 11*r**3/3 - r**2/2 - 11*r - 9. Let x be c(-11). Solve x = m + 1 for m.
-1
Let h = 4 + 1. Suppose -59 - 19 = -2*l + 2*t, -2*t = -h*l + 210. Let n be l/(-2)*2/(-4). Solve -14 - n = 5*b for b.
-5
Suppose 0*f = 3*f - 4*u - 25, u = 2*f - 10. Solve 3*x = 4*x + f for x.
-3
Let j = 19 + -9. Solve -j = -3*r - 1 for r.
3
Let g be 63/14*(-6)/(-9). Solve g*o = -2*o - 5 for o.
-1
Let l(i) = -3*i**3 - i. Let p be l(-1). Solve -1 = 3*g - p for g.
1
Suppose 0 = -0*w + w - 4. Solve 2*j = w*j - 6 for j.
3
Let t(s) = s + 1. Let m be t(-7). Let c be (-1*4)/(3/m). Solve 0*v + 2*v = c for v.
4
Let z be 2/(-7) + 80/35. Suppose 0 = 2*v - 5*y - 34, 0 = v - z*y - 8 - 7. Solve 0 = -v*c + 2*c - 15 for c.
-3
Suppose -3*a = -7*a. Let j be 0*(a + 3/(-6)). Solve 