 Solve b = u - 3 for u.
4
Suppose 8 - 8 = -4*y. Solve 0*s + 4*s + 12 = y for s.
-3
Let x(m) = -m - 6. Let r(h) = 1. Let y(g) = -6*r(g) - x(g). Suppose -2*p = -2 - 0. Let c be y(p). Solve 2*q + 1 = -c for q.
-1
Let a = -7 + 9. Suppose 13 = -m - 4*s, 0*s - 31 = -3*m + a*s. Solve -m = -4*x + 5 for x.
3
Suppose 0*x - 8 = -8*x. Solve -3*s + x = -4*s for s.
-1
Suppose 2*b - 3 - 5 = 0. Let f = b - 5. Let r = f - -1. Solve r*s + 2*s = 0 for s.
0
Let s(j) = j**2 - 3*j - 4. Let f be s(7). Let a be (f/30)/((-2)/(-10)). Solve a*y - 8 - 12 = 0 for y.
5
Let b(i) = -i**3 + 13*i**2 + 2. Let p be b(13). Solve -p*u = u for u.
0
Let z be (-2 + (-2)/(-1))/2. Let v = 2 + z. Suppose -v*d + 0*d = 0. Solve d*j + 5 = -j for j.
-5
Suppose -7*a + 140 = -3*a. Suppose -a = -2*f + 5*z, 3*f + 2*z + 1 = 6. Solve 8 = l + f for l.
3
Let u(l) be the third derivative of -l**4/12 - l**3/2 - 3*l**2. Let r be u(-6). Let q = -7 + r. Solve 3*x + q = -4 for x.
-2
Suppose 4*g = i - 24, 4*i - 83 = 6*g - 3*g. Solve 0 = 3*z + z + i for z.
-5
Suppose -5*j - 9 = -2*d, 5*d - 5*j - 11 = -4*j. Suppose -9 = 3*v, -d*t + 5*t - 2*v = 21. Suppose t = 4*z - 2*h - h, 5*z = 5*h. Solve -z + 25 = 5*p for p.
4
Suppose w + 1 = -2*r + 3*r, -4*w + 2*r = -2. Suppose 9*s - w*s = 35. Solve -7 + 2 = s*u for u.
-1
Suppose 0 = 4*t, -5*h = -3*h + 4*t - 8. Suppose 4*n + h*x = 24, -4*n + n = -4*x + 3. Suppose -n*w = -5*w + 6. Solve 0*v + 6 = w*v for v.
2
Let x(v) be the third derivative of v**6/120 - v**5/5 + 13*v**4/24 - 5*v**3/2 - 8*v**2. Let l be x(11). Solve 2 - l = g for g.
-5
Suppose -c - 4*c = -3*o + 17, -1 = -o - 3*c. Let w = -2 + 2. Solve w*i - o*i - 16 = 0 for i.
-4
Suppose 5*v = p - 2*p + 13, -3*p + 17 = 4*v. Solve -5*j + 9 = -v*j for j.
3
Let z(t) = 2*t - 8. Let y be z(4). Suppose 0*q + 4*q - 12 = y. Let f = 0 - 0. Solve f = 3*j - q + 18 for j.
-5
Suppose -y = 3*h - 10, -6 = y - 2*h - 3*h. Suppose 3*k - y = -1. Solve -g = -2 - k for g.
3
Let v(c) = c**2 + 3*c + 1. Let m be v(-4). Solve 2 = m*u - 18 for u.
4
Let u(t) = -t**3 - 3*t**2 + 4*t + 4. Let x be u(-4). Suppose -x*f = -7*f. Solve 0 = -5*r - f*r + 20 for r.
4
Let v = -104 - -106. Solve -2*b + v - 12 = 0 for b.
-5
Let z(o) = o**2 + o + 4. Let f be z(0). Let v(l) = l**3 - 4*l**2 + l. Let d be v(f). Solve 0*w = -d*w - 16 for w.
-4
Let x be (-2 - (-3 + 1)) + 2. Suppose 2*z + 7 = -h - 2*z, -x*z - 4 = 0. Solve -2*f + h - 7 = 0 for f.
-3
Let l = 12 - 7. Suppose -a - 38 = -l*a + 3*i, 5*i = 3*a - 34. Solve -p - p - a = 0 for p.
-4
Let g be -1*3 - (4 + -6). Let x = g - -3. Solve -6*c = -x*c for c.
0
Suppose t + 0*t - 3 = 0. Solve 5*v = t*v - 4 for v.
-2
Let u(q) = q**3 + q**2 - q - 2. Let j be u(-2). Let v = 4 - j. Suppose -5*y + 2 = -v. Solve -6 + y = -o for o.
4
Let p be (-3 + 2)/2*4 - -2. Solve 6*g - 7*g = p for g.
0
Let o = -28 - -28. Solve 0 = -o*l - 2*l - 8 for l.
-4
Let n(k) = k**2 - 15*k + 8. Let u be n(14). Let w be 6/(-4) - u/4. Suppose -3 = -3*a + 3. Solve 3*c + a*c = w for c.
0
Let d(g) = -g - 5. Let p be d(-8). Suppose 10 = p*a - 5. Let s be (3/6)/(2/16). Solve -a*t - 2 = -s*t for t.
-2
Suppose 0 = -4*x - 3*p, -3*x = -x + 3*p + 6. Suppose -5*k = -x*i - 14, -5*k + 24 = -i + 6. Solve -j = -5*j + k for j.
1
Let h be (3 - 48/20)*5. Solve -6 = -h*o + 6 for o.
4
Let f be (-3)/(-4) + (-6)/8. Solve f = -4*y + 8*y for y.
0
Let o be ((-28)/(-10) - -2)*5. Suppose 0*w - o = 3*w. Let f be 6/(-4)*w/6. Solve 11 - f = -3*j for j.
-3
Suppose 5*w - 3*w = 0. Suppose 4 = -w*g + 4*g. Solve -g = 4*d + 15 for d.
-4
Suppose -3*a = -5*w + 10, 0 = -4*w + 2*a - 3*a + 25. Solve 9 = -w*s - 16 for s.
-5
Let p be -4*(39/(-12) - -3). Suppose 0 = -b + 1 - 0. Let g = p - b. Solve g = -4*f + f for f.
0
Suppose -2*q = q - 12. Let k(x) = x + 5. Let h be k(-8). Let c be (-40)/(-12) + (-2)/h. Solve 4*r + q = -c for r.
-2
Let w(t) = -t**2 + 7*t - 6. Let h be w(6). Let n be 6/(-4)*(-7 + 1). Let z be (-6)/9*n/(-1). Solve 2*u = -z - h for u.
-3
Suppose 2*z + 5 = 3*s - 4, s = -2*z + 3. Let n be 1 - 21/((-9)/s). Let j be (n - 6/2)/1. Solve -o = -j*o + 12 for o.
3
Let s = -16 - -27. Suppose 0 = 4*b - s + 3. Solve -4*z - 8 = -b*z for z.
-4
Let y be ((-2)/4 - 0)*0. Solve y = n - 0*n + 3 for n.
-3
Let x be ((-3)/(-4))/(1/4). Solve 2*q = -1 - x for q.
-2
Suppose -3*w + 3*u + 24 = 0, -w - 2*u = -4*w + 21. Suppose 4*d = -2*y - 2, 0 = w*y - 4*y - 3*d - 24. Solve -3*f + 0 - y = 0 for f.
-3
Let h = -12 + 17. Let m = 5 - h. Solve 0 = -5*d - m + 10 for d.
2
Let o = -2 - -7. Suppose -3*v - 7 = 2*t, -o*t = -2*v - 5 - 25. Solve 0 - 4 = -t*m for m.
1
Suppose 4*a = 4*m - 26 - 6, 20 = -5*a. Suppose -5*d + 3*l - 12 = 6*l, -m*d - 5*l - 20 = 0. Solve 0 = -d*x - 5*x - 25 for x.
-5
Suppose 3*k - 16 = -0*l - l, 0 = l + 2. Suppose -4*h = -9*h + 10. Solve -k = 5*a - h*a for a.
-2
Let f be (3/9*-3*0)/(-2). Solve g - 7 + 3 = f for g.
4
Suppose -5*l - 4*g = 20, -2*l + 0*l + 3*g + 15 = 0. Suppose l = -h - 2*h + 12. Solve -h*a = a + 5 for a.
-1
Let f(q) = q**2 - 1. Let n(j) = -j**2 - 2*j + 2. Let x be n(-2). Let h be f(x). Solve h*s = s for s.
0
Let p be ((-1)/1 - -2)*0. Let n be (21 - 2)*(0 - -1). Solve p = -3*u + 7 - n for u.
-4
Let v(h) = -21*h**3 - h**2 - h - 1. Let u be v(-1). Suppose 5*s - 15 = 2*g + g, 0 = -3*s + 4*g + u. Let k = 2 - -1. Solve -4*w + w - k = s for w.
-1
Suppose -5*l = 4*y + 11, 5*y + 22 = -2*l + 4*l. Solve 7 - l = 3*k for k.
2
Let g(y) = -y + 2. Let r be g(5). Let i = r + 1. Let k be 32/14 - i/(-7). Solve h = -k*h + 3 for h.
1
Suppose -6 = 2*r + y, -3*y + 8 - 2 = -2*r. Let t = -1 - r. Suppose 2*x - 16 = -3*c, 2*c + t*c = -4*x + 24. Solve -2*a - 8 = -c*a for a.
4
Suppose -2*v + 7 + 7 = 0. Let x(j) = 2*j + 4. Let y(u) = 5*u + 9. Let k(n) = v*x(n) - 3*y(n). Let s be k(-3). Solve -s + 14 = 2*o for o.
5
Let z(y) = -7*y - 1. Let c be z(-1). Let x(t) = 1 - 5 - t + 5. Let s be x(-1). Solve 4*l + c = -s for l.
-2
Suppose 0 = -2*q - 2*q + 120. Suppose l = -2*l + q. Let x be (l/(-8))/((-1)/8). Solve -2*g + x = -4*g for g.
-5
Suppose 4*s + 8 = -4*x, -6*x + x + 2*s - 24 = 0. Let b(v) = 3 + 0*v**2 - 4*v**2 - v**3 + 0*v**2. Let t be b(x). Solve t*d - d = 0 for d.
0
Let r(x) = -x**3 + 8*x**2 - 10*x. Let v(y) = -2*y**3 + 16*y**2 - 19*y + 1. Let l(n) = -5*r(n) + 3*v(n). Let j = 5 - -2. Let o be l(j). Solve o*h - 8 = -h for h.
2
Let o be -1 + -1 + (6 - 2). Suppose -4*d + 4 = -o*d. Solve -y - d*y = 0 for y.
0
Let q = 23 + -17. Solve 4*u - q = u for u.
2
Suppose -6 = -2*y - 2. Let n(b) = b**3 - 2*b**2 - 3*b. Let m be n(3). Solve m = 3*x - 7 - y for x.
3
Suppose 0 = -2*s - 0*s - 4. Let k = 1 - s. Solve k*u = 6*u - 3 for u.
1
Let o(w) = -w - 1. Let a be o(-3). Suppose -4*z = 2*c - z - 19, -4*c - a*z + 18 = 0. Suppose 0 = v - 1 - 4. Solve v*h + 13 = -c for h.
-3
Let h(i) = -i + 7. Let o be h(6). Let s(v) = -v**3 - 5*v**2 - 2*v - 7. Let b be s(-5). Suppose f - 24 = -b*f. Solve -d - o + f = 0 for d.
5
Let x(k) be the first derivative of 3*k**2/2 - k - 3. Let d be x(1). Solve 0 = -r + d*r - 4 for r.
4
Suppose -2*g - 38 = 5*u - u, -5*g = -2*u + 71. Let d = g + 26. Solve -d = -4*i + 5 for i.
4
Let z(s) = -5*s - 2. Let a be z(-2). Let n = -21 - -31. Suppose 0*w - n = -5*w. Solve -2*o = w*o - a for o.
2
Suppose 0*z - 4*z = -40. Suppose 4*c + 15 = 3*c. Let f be (-22)/(-6) + z/c. Solve -4*b + f + 9 = 0 for b.
3
Let w be (-2)/(-8) + 5/(-20). Solve -4*k = -w*k for k.
0
Suppose -4 = -q - 2. Solve 3 - 13 = -q*k for k.
5
Let z(c) = 2 + 3*c + 2*c + 0. Let y be z(2). Suppose -2*p - y = -5*p. Solve 7 = p*u - 5 for u.
3
Let l = -14 - -22. Suppose 0 = -2*o - 2*x + l, 3*o - 25 = -2*x - 9. Solve o = 4*p - 6*p for p.
-4
Suppose -34 = -3*l + 14. Let x = l - 14. Solve -g + 2*g + x = 0 for g.
-2
Suppose 5*m - 4 = 1. Suppose -4*u + 0*q + 8 = -4*q, -2*u - 4*q - 14 = 0. Let f = m + u. Solve 0*k + 2*k = f for k.
0
Let d = 1 + -9. Let n = d + 8. Solve n = -2*y + 5 + 5 for y.
5
Suppose 3*a = -4*n + 91, 0 = -4*a - 5*n + n + 120. Suppose 5*l - 31 = 6*z - 3*z, 5*l - 2*z = a. Solve -1 = -2*h + l for h.
3
Let c be (-2 - -2)*1/(-3). Let r = 1 + 1. Solve r*k + 2*k = c for k.
0
Let x = 644 + -634. Let m = 3 - 1. Solve m*y = 4*y - x for y.
5
Suppose -27 = 5*g - 7. Let i be (-4)/16 - 13/g. Solve i*p - 3 = 3 for p.
2
Suppose 40*u - 41*u + 4 = 0. Solve -u*x = -0*x for x.
0
Let c(l) = -l - 1. Let r be c(-4). Solve 0 = -j + r for j.
3
Let l be (0/2 + 0)/(-2). 