 for u.
4
Let f = -13 + 28. Solve -6*r - f = -r for r.
-3
Let i = 0 + 0. Suppose i = -4*v + 3*v + 4. Suppose -v*m + 3*s + 24 = -s, -8 = 2*m + 3*s. Solve m*l - 5 = 3*l for l.
-5
Let l(u) = u**2 + 10*u - 21. Let d be l(-12). Suppose -16 = -5*x + 3*x. Solve t - d = -x for t.
-5
Let h(s) = -2*s - 9. Let f = 5 - 11. Let q be h(f). Solve 7 + q = 5*m for m.
2
Let b(k) = 5*k**3 + k - k**2 - k - 6*k**3 + 2. Let y be b(0). Solve 0 = -y*u + 2 + 2 for u.
2
Let t(w) = w + 2. Let a be t(4). Solve 0 = 2*b + a for b.
-3
Let p = -19 + 19. Solve p = k + 4*k + 10 for k.
-2
Let w(z) be the third derivative of -z**6/120 - z**5/15 + z**4/12 + z**3 + 2*z**2. Let b be w(-4). Let n be 3 + b + 1 + 0. Solve -15 = n*l + l for l.
-5
Suppose 0 = -3*z + 3 + 12. Suppose 3*b + 44 = 2*u, 5*b - 30 = -3*u - 2. Solve a - u = z*a for a.
-4
Let d be 0/(2/(-2 - -1)). Let j be 3 + 2 + -2 - d. Solve j*k - 7 + 1 = 0 for k.
2
Let c = 51 + -47. Solve 0 - c = 2*b for b.
-2
Let c(z) = z**2 - z - 2. Let i be c(2). Solve i*d - 2 = d for d.
-2
Let m(p) = -p**2 + 4*p + 5. Let l(g) = g**3 - 5*g**2 + 5*g + 1. Let b be l(4). Let s be m(b). Solve -3*u + s = -3 for u.
1
Let t be (-1)/(15/(-6) + 2). Suppose u - j = 6, 2*j = -2*u - t*j + 24. Solve 3*r = u*r + 5 for r.
-1
Suppose -4*b = -b - 12. Suppose 3*p = 8 + b. Suppose y = 1, -6*y = -2*q - 4*y + 30. Solve 0 = p*t + 4 - q for t.
3
Let c(p) = p - 2. Let k be c(6). Suppose -52 = -k*q + 4*t, -4*q + 86 = -t + 28. Solve 0 = 2*v + 5 - q for v.
5
Suppose o + 2 + 0 = 0. Let g = o + 2. Let q be 5/5*(0 + g). Solve -3*p = -q*p for p.
0
Let v be (-4)/(-2) - 3/3. Let i(w) = -3*w**3 + 2*w**2 - 1. Let u be i(v). Let g = -1 - u. Solve g = -5*r - 4 for r.
-1
Let v(b) = b + 13. Let y be v(-11). Solve 0 = y*w + 4 for w.
-2
Suppose -s - 23 + 7 = 0. Let z = s - -16. Solve 5*j = -z*j for j.
0
Suppose 0 = 5*b + u - 26 + 6, 0 = -3*b - u + 14. Solve -l - 8 = -b for l.
-5
Let i be ((-1)/3)/((-1)/3). Suppose 3*c = 7 - i. Suppose -g + 13 = -5*q, 0 = g - 3*g - 4*q - 2. Solve c*l - 3 = g*l for l.
-3
Let u be (9/(-6))/(7/((-70)/3)). Solve 0 = -u*r - 13 + 3 for r.
-2
Suppose -10 = 2*o, -p + 9 = 2*o - o. Suppose p = 5*m - 31. Let a = m - 4. Solve a*h - 2*h + 3 = 0 for h.
-1
Suppose -2*n + 16 = 2*d, -3*n + 16 = d - 2. Solve -n*a + 5 = 25 for a.
-4
Suppose 4*t - i - 4*i = 32, -t + 19 = -4*i. Suppose f = 3*f - 4*z + 4, 3 = 4*f + t*z. Let k be -1 + (1 - 1) - -2. Solve 3*m + 14 + k = f for m.
-5
Let f(r) = -r**2 - 6*r + 7. Let p be f(-6). Let w = p - 5. Let h be 3/(w/(-2)) + 6. Solve -h*j + 5 = 2 for j.
1
Suppose r - 2 - 12 = 0. Solve -5*i + r = -1 for i.
3
Let a(m) = 3*m**3 - m**2 + 2*m - 1. Let r be a(1). Suppose 0 = y - r + 1. Solve -t - y + 1 = 0 for t.
-1
Let w(n) = 4*n**2 + n. Let d(s) = -s**3 - 5*s**2 - 1. Let v be d(-5). Let x be w(v). Solve x*p + 4 = -8 for p.
-4
Let c(y) = 2*y**2 - y + 1. Suppose 0*j = -2*j - 12. Let a(u) = -u**2 - 6*u + 1. Let d be a(j). Let o be c(d). Solve 0 = -r - o - 2 for r.
-4
Let m = -38 - -41. Solve 5*k = 4*k - m for k.
-3
Suppose -5*l + 1 = -4. Let b be (l - 1) + -2 - -12. Suppose -u - 4 = -3*u - 4*w, -5*u = 5*w - b. Solve u*s = -s for s.
0
Let s = -130 + 136. Solve l = -10 + s for l.
-4
Let l(z) = z**2 - z - 9. Let t be l(4). Suppose -3*w = -0*w + 3*s - 12, -w + 2*s = 2. Solve t*v - v = -w for v.
-1
Let t be (15/10)/(3/4). Suppose -h + t*h = 8. Solve w = -w + h for w.
4
Let i(u) = u + 9. Let l(m) = -6*m - m + 5*m. Let w be l(2). Let v be i(w). Solve 6 = -v*r + 1 for r.
-1
Let a = -1 - -3. Suppose 2*i = -3*i + 50. Solve -a = 3*s + i for s.
-4
Let z = 3 - 1. Solve -v - 3 = z*v for v.
-1
Suppose -2*n = -4*d - 4 + 12, 12 = -3*d - 3*n. Solve 4*u + d*u + 16 = 0 for u.
-4
Suppose -2*w + 2*k + 22 = 0, -5*k - 1 + 46 = 5*w. Solve -2*g - w = -0*g for g.
-5
Let l(c) = c**3 + 4*c**2 + 2*c - 1. Let u be l(-2). Let s = u - 1. Solve s*z - 3 = -1 for z.
1
Let v(z) = -z - 6. Let s be (10 + -5)*(0 - 1). Let p(t) = t - 1. Let i be p(s). Let a be v(i). Solve 4*f - 6*f - 4 = a for f.
-2
Suppose 2*l - 3 - 5 = 0. Solve 0 = -d - 1 - l for d.
-5
Suppose -11 = 4*u - 35. Let h be (-22)/8 - 2/8. Let j be (h/2)/((-3)/u). Solve 18 - j = -3*w for w.
-5
Let h be (4 + -2)/(2/3). Let j = -2 + h. Let m(k) = k**3 + 4*k**2 - 2*k + 3. Let c be m(-4). Solve 4*g - j - c = 0 for g.
3
Let d be (-175)/(-63) - 4/(-18). Let j be (-3)/1 - (-11 + d). Solve -3*z + 10 = -j for z.
5
Let s be (-3)/15 + (-26)/(-5). Suppose 14 + 1 = s*z. Let g be z + -1 + 6 + -5. Solve -a + 0 + g = 0 for a.
3
Suppose 6 = 8*u - 18. Solve -5 + u = -b for b.
2
Suppose 2*q + 27 = -q. Let c = q - -29. Solve c = -5*o - 0 for o.
-4
Let p = -40 - -24. Let b be (p/24)/(2/(-6)). Solve 0 = 3*g - b*g + 4 for g.
-4
Let y(f) = f**2 - 3*f + 5. Let k be y(4). Solve 4*o - k = 11 for o.
5
Let q = 36 + -32. Let n = -2 - -7. Solve -n*u + q + 6 = 0 for u.
2
Let r(m) = 3*m + 8. Let g be r(-6). Let z = g - -16. Let b be (-1 + 26/z)*3. Solve b = -l - l for l.
-5
Suppose h = -5*b, 0*h - 50 = -4*h + 5*b. Let m(z) = -z + 4. Let w = 15 - 11. Let u be m(w). Solve 2*y = -u*y + h for y.
5
Let d = 0 + 4. Suppose 2*n + 10 = 5*o, -n + 2*n + 8 = d*o. Solve n = 2*w - 0*w + 8 for w.
-4
Let o(m) = -m**3 - 2*m**2 + m + 1. Let u be o(-2). Let q be 13/4 - u/(-4). Suppose -q*i = i - 60. Solve 2*l + 7 - i = 0 for l.
4
Let t = 56 - 51. Solve -20 = -t*l + l for l.
5
Let o be -1*(-2 + (1 + 1 - 3)). Solve -o*a = 22 - 7 for a.
-5
Let f = -2 - -3. Let z be (-2 + 2 + 0)*f. Solve -3*b - 7 - 5 = z for b.
-4
Let p = 24 - -1. Let i = 12 + -8. Solve i*j - p = -j for j.
5
Let l = 9 - -10. Suppose 5*r - 4*t + 1 = 0, 8*t = -5*r + 3*t + 35. Suppose 2*s + 20 = r*s - 3*d, 20 = -4*d. Solve -l = s*g + 1 for g.
-4
Let z = -138 + 138. Solve z*f = f + 4 for f.
-4
Let i = 17 + 1. Suppose -6*x = -9*x + i. Solve -x*f = -f + 5 for f.
-1
Let b(k) = k**2 - 9*k + 4. Let z be b(8). Let l = z + 3. Let w = l - -2. Solve 5*u = -w - 4 for u.
-1
Let r be (-12)/9 - (-16)/12. Solve -n = -r + 1 for n.
-1
Let m = 5 - 0. Suppose -3*d - 29 = -m*v - 5*d, d - 7 = -v. Solve -v*y + 13 + 2 = 0 for y.
3
Suppose 0 = 2*b - 6*b. Suppose b = 2*j - j. Solve -g = -j*g for g.
0
Let f be (-16)/(-72) + (-4)/18. Solve 0*c - 5*c - 15 = f for c.
-3
Suppose 3*r - 6 = 12. Solve -r = -0*y + 2*y for y.
-3
Suppose 4*o + 0*o = -4. Let w = 3 + o. Suppose 5*u - 24 = -2*a + 2*u, w*u = -2*a + 24. Solve 0*q = -4*q + a for q.
3
Suppose -4*m - 16 = 0, 3*m + 20 = 2*a + m. Suppose 5*r + o = -4*o, -2*o = -3*r + 10. Suppose -r*p - 3*p = 0. Solve p = s - a*s - 15 for s.
-3
Suppose 3*s - q - 7 = 0, 3*s - 4*q + q - 9 = 0. Solve v - s = -5 for v.
-3
Let g = 11 - 7. Suppose -g*u - u + 20 = 0. Suppose 4*t = 2*t. Solve t = -0*v + v + u for v.
-4
Let a be ((-3 + 3)/1)/1. Let z(d) be the third derivative of d**6/120 - d**5/30 - d**4/4 + 2*d**3/3 + 2*d**2. Let n be z(4). Solve -n = 3*s - a*s for s.
-4
Let f be (5/10)/((-2)/4). Let u(t) = -t**2 - t + 4. Let o be u(-3). Let h be 3 + 11 - o/f. Solve h = -l - 3*l for l.
-3
Let h be 5/3 + 18/(-27). Solve h = -5*u - 9 for u.
-2
Suppose 4*s - 46 = -3*r, 0 = -2*r + 4*s + 5 - 1. Suppose -2*b = -2*q - b, -5*b + r = 0. Let l be (-1 + q)*(-1 + 0). Solve -h - h = l for h.
0
Suppose 2*u - 12 = -2*u. Let x = u - -2. Suppose -n - 9 = -2*c, 2*c - x*n - 5 = -0. Solve c = p + 4*p for p.
1
Let r(t) = -4 - 3 + 3 + 3 + t**2 - 5*t. Suppose 0 = -2*f + 3*k + 18, -k - 1 - 1 = 0. Let v be r(f). Solve p = -v + 3 for p.
-2
Suppose -4*q + 29 = 5*j - 2*q, -j - 2 = 3*q. Let n be 3 - j - (-2 + -3). Solve 3*w + 2 = -n for w.
-1
Let h be 4 + (-3)/((-9)/(-12)). Let n(z) = -3*z. Let w be n(-1). Solve 0 = w*r - h*r for r.
0
Let z(f) = -5*f + 14. Let c be z(2). Solve 3 + 1 = -c*t for t.
-1
Let w(y) = -y + 2. Let t be -3*3/9*4. Let f be w(t). Solve -4*a = -14 - f for a.
5
Let k be 6/(-10)*(2 + -7) - -6. Solve 16 + k = -5*j for j.
-5
Let g be ((-2)/(-3))/((-4)/24). Let y be g*(0/2 + -1). Solve 0 = -y*d + 2*d + 4 for d.
2
Suppose 0*a + 4*a + 40 = 0. Let g be (-44)/a - 4/10. Suppose 3*d + 8 = v + 4*d, 0 = -g*v + 4*d. Solve 0 = -v*y + 2 - 22 for y.
-5
Let p be (-24)/8 + (6 - 1). Suppose -t - 17 = -3*c, 3*t + 2*t + 17 = -p*c. Solve c*h = -5 + 1 for h.
-1
Suppose 3*d + 4 + 2 = 3*z, -2*z = 5*d - 25. Let o(y) = y + 9. Let a be o(-6). Suppose 3*n - 40 = s, n - a*n - s + 20 = 0. Solve d*i - n = -i for i.
3
Suppose 0 = r + 3*r + 28. Let y 