 Solve -a*b = -b - 4 for b.
2
Suppose 7 = -14*f + 119. Solve -w = w + f for w.
-4
Let p be (-2)/(-2) - (-1)/1. Suppose j + b = -p*b - 6, -2*j - 3*b - 3 = 0. Suppose 4 = -3*q + 16. Solve j*v + q = -2 for v.
-2
Let c = -3 + 11. Solve -2*m - 2 = c for m.
-5
Suppose -3*t + 8 = -4. Solve -o = t*o + 15 for o.
-3
Let n(t) = -t - 4. Let g be n(0). Let a = g + 5. Let v(y) = -y + 3. Let j be v(0). Solve j*u + a + 2 = 0 for u.
-1
Suppose -2*b - 5 = -5*c, 0 = -2*c + 10*b - 5*b - 19. Solve 5 = 4*g - c*g for g.
5
Let x be 3 - 5/(5/3). Solve x = g + g for g.
0
Suppose 8 = 4*a - 2*a. Let h = 3 - -4. Suppose 6 = n - h. Solve -n = a*u - 1 for u.
-3
Let s = 13 - 29. Let p be (-267)/(-12) - (-4)/s. Solve -5*n = -p + 2 for n.
4
Suppose 0 = 3*o + 2*o - 5. Solve -2*d = -7 + o for d.
3
Suppose 2*b = 4*k + 26, -2*b + 5*k - 3*k + 20 = 0. Suppose 2*f = 3*s - 5, 2*f = 2*s - b*s + 35. Solve f*t - 12 = t for t.
3
Let r(f) = f**3 - 5*f + 4. Let o be r(3). Let l = 14 + 14. Suppose -2*t - 4*b = 14 - 6, 3*t - 4*b = l. Solve 0*n + t*n = o for n.
4
Suppose 8 = 6*p - 22. Solve 33 = -p*y + 8 for y.
-5
Let k be (-5)/(-15) - (-82)/6. Suppose g - 2*o = k, -2*g - 5*o - 30 = -4*g. Solve 10*r = 5*r - g for r.
-2
Suppose 0*q - 3*q = 4*z - 8, 0 = 5*q + z - 2. Let t be 5 + -1 - (2 + q). Solve -t*u = 3*u - 10 for u.
2
Suppose -7*w - 5*b - 20 = -3*w, w = 3*b + 12. Suppose 2*y + 3*y + 90 = 0. Let a be (-4)/(-6)*y/(-4). Solve w*v = a*v for v.
0
Let w(u) = -u + 1. Let t(n) = -1 + 3*n - 3 - 5 + 2. Let i(a) = t(a) + 6*w(a). Let m be i(-2). Solve 9 = -2*v + m*v for v.
3
Let q(h) = 6*h**3 + 2*h**2 - h. Let n be q(1). Let m = -8 - -13. Let v = n - m. Solve -a - v*a = 0 for a.
0
Suppose -4*w + 2*w + 20 = 0. Suppose -5*m - w = 5*n, -3*n + 24 = -4*m + 2. Solve 0 = -3*i - n*i for i.
0
Suppose 0 = t - 2. Let x be (0 + -2)/(-3 + t). Suppose 0*m - 2 = m, 4*m = x*i - 14. Solve 6 = i*z - 0*z for z.
2
Let a(k) be the first derivative of -5*k - 1/3*k**3 + 3*k**2 + 1. Let f be a(5). Solve f + 5 = z for z.
5
Let c(z) = -z + 6. Let o be c(7). Let w = 0 - o. Suppose 0 = -4*k - 40 + 44. Solve -k - w = -f for f.
2
Suppose -4*o + 32 = 4*b, 0 = -5*o - 2*b - 2*b + 35. Solve -o*t + 6 = -9 for t.
5
Let l(x) = -x**3 + 5*x**2 + 9*x - 6. Let z be l(6). Suppose 0 = -y + 3*y - 4. Let c = -12 + 17. Solve y*o - c*o = z for o.
-4
Let z be (0 - -6)*2/4. Suppose 0 = 2*f - 10, 2*a - 3*f = -0*f - 9. Let r = z - a. Solve -4*p = -r - 4 for p.
1
Suppose 7*l - 8*l + 1 = 0. Solve u - l = 3 for u.
4
Let x(p) = -2*p**3 - 5*p**2 - 5*p - 4. Let f be x(-3). Suppose i - 1 = -5*y + 7, -10 = -y - 3*i. Let u be 3 + 1 - (0 - y). Solve 0 = -0*j + u*j - f for j.
4
Suppose 5*b - b - 8 = 0. Solve b*a + 3 + 3 = 0 for a.
-3
Suppose 3*o + 7 = 4*s - 7, 5*s = -4*o + 33. Solve 9 = -s*l + 29 for l.
4
Let q be (5 - 4)/(2/24). Let n = q + 3. Solve -s = -6*s - n for s.
-3
Suppose 0 = s - 13 - 1. Suppose -5*r + s = -1. Solve r*g + 2 = -4 for g.
-2
Suppose -2*s = -0*s + 8, -4*b + 156 = 5*s. Suppose b + 31 = 5*v. Solve 3*w - v = -0*w for w.
5
Suppose 0 = -28*u + 32*u - 8. Suppose 0 = -3*r - u*r + 10. Solve -a + 0*a = -r for a.
2
Suppose 0 = -4*g + g + 9, 18 = 5*o + g. Let z(v) be the first derivative of -2*v**2 - v - 1. Let f be z(-4). Solve 0 = 4*m + o - f for m.
3
Let h be (-2 + 1)/((-2)/22). Let b = -1 + h. Solve 5*z + b = 3*z for z.
-5
Suppose 0 = -2*v - 4*v + 6. Solve 2*y + 3 = -v for y.
-2
Suppose -2*g + 4*g + 5*q = -9, -3*g + 12 = -q. Solve -4*c + 13 = -g for c.
4
Let d be (-4)/1*12/(-8). Solve l = 4*l - d for l.
2
Suppose 2*y - 5*k + 19 = 0, -5*y - 4*k - 4 = -2*k. Let a be 2 - y - 0 - 1. Suppose 3*s - 2*x - 21 = -0*x, a*x = -3*s + 6. Solve -3 = 2*u - s*u for u.
1
Let w(x) = -x**3 + 2*x**2 + x - 1. Let i be w(2). Let c = i - -3. Let b be (c/(-6))/(1/(-18)). Solve 0 = -0*j + 3*j + b for j.
-4
Let z(s) = 2*s - 3. Let l = -2 + 2. Suppose l + 6 = 2*y. Let r be z(y). Solve r + 2 = o for o.
5
Let o = 23 + -19. Solve -z + o*z + 3 = 0 for z.
-1
Let q = -11 - -11. Solve -x - 3 = -q*x for x.
-3
Suppose -5*q = f + 17, 2*f + 5 - 1 = 0. Let k = q + 5. Let p = -102 - -106. Solve 14 = -k*s + p for s.
-5
Let i(z) = z**2 + 7*z + 4. Let l be i(-7). Suppose -l*t + 2*f + 2*f + 28 = 0, -2*t - 5*f = 14. Let m(k) = k - 3. Let x be m(t). Solve x*j - 5*j - 20 = 0 for j.
-4
Let t(z) be the second derivative of -z**4/12 + 5*z**3/6 - 3*z**2/2 - 2*z. Let m be t(4). Solve -m = -o + 1 for o.
2
Let k(x) = -2*x**3 - 3*x**2. Let w be k(-2). Solve -w = 4*v - 0 for v.
-1
Let y = -4 - -3. Let w = 41 - 38. Let m = y + w. Solve -m*p = -0*p for p.
0
Let h = -2 + 6. Let s(d) = -d + 7. Let a be s(h). Suppose 0 = -3*u - 2*g + 21, 2*u = 3*g + 6 + 8. Solve -a*n = -u*n - 16 for n.
-4
Suppose 10 = 5*q - 0. Let u = -1 + q. Let f(b) = 13*b - 1. Let v be f(u). Solve 0*i + 4*i + v = 0 for i.
-3
Let v(i) = 2*i + i - i + 1 - 4. Let b be v(3). Let p be 1 + (-1 - (-18)/2). Solve 0 = -2*a - b + p for a.
3
Let v be (-5 + -4)*(0 - -1). Let w = 14 + v. Solve -4 - 6 = -w*o for o.
2
Let u be ((-6)/(-4))/(4/24). Suppose -i - 2*i + u = h, 3*i - 9 = 0. Solve m - 6*m = h for m.
0
Let r be (-14)/(-84) - 22/(-12). Solve r*g - 4 = 4*g for g.
-2
Let h be (0 + 0)*(-1 + 2). Let i(y) = -y**2 - y + 5. Let q be i(h). Solve -2*l + q*l = 0 for l.
0
Suppose -4*q = -2*y + 4, -6*y + 2*q = -2*y - 8. Suppose -2*m - 4*r + 20 = 0, 22 = m + y*m + 2*r. Solve 4*u - m - 6 = 0 for u.
3
Let l be ((-8)/28)/(1/(-7)). Solve l*z - 9 = -z for z.
3
Let u = 14 - 10. Suppose -8 = -u*x - 0. Suppose x*m - 1 = 1. Solve 4 + m = p for p.
5
Let l = 3 + -4. Let g be l/(3/(9*-1)). Solve -15 = g*x - 0*x for x.
-5
Suppose -4*l + 3*l = 3*j, -l = 4*j. Suppose 2*i - i - 4 = j. Suppose -28 = -i*q - 0*q. Solve 4*c + 1 + q = 0 for c.
-2
Suppose -2*f = -4*f. Solve -r - 2 = -f for r.
-2
Suppose j = 4*i - 3*j - 36, 2*j = -i - 3. Suppose -i*w = -0*w - 20. Solve w = -r + 5*r for r.
1
Let w = 37 + -21. Suppose 0 = -3*p + 3*a - 9, -5*a = 3*p - 7*p - w. Suppose -2*j + 3 + p = 0. Solve -3*t + j = -t for t.
1
Let r be -7 + (8 - 4) - -13. Solve 4*n - 10 = r for n.
5
Let h = 5 - 5. Let p(x) = -x. Let u be p(h). Suppose -m - 2*m + 9 = u. Solve 2*r = m*r + 1 for r.
-1
Suppose 2*h = -0*h + 12. Let m = 18 - h. Let g(r) = r**3 + 4*r**2 - 6*r - 1. Let a be g(-5). Solve m = x - a*x for x.
-4
Let m = 2 - 4. Let q = 2 - m. Solve 3*d - q*d - 2 = 0 for d.
-2
Suppose 3*i + 4*w = -i, -2*w - 10 = 0. Solve -6 - 4 = -i*x for x.
2
Let d(v) = -2*v**2 - 13*v - 1. Let i be d(-6). Solve 2*g - g = -i for g.
-5
Suppose -z - 3*f - 4 = -3*z, -z - f + 2 = 0. Suppose -19 = -g - 4*d, 2*d = -2*g + 6*d - 10. Solve z*j = j + g for j.
3
Let i(q) = q**3 + 4*q**2 + 3*q + 1. Let n be i(-2). Let m = n + 2. Suppose 0 = 5*k - 5*a + 15, -3*a - m = 5*k - 6*a. Solve -d - 3 = k for d.
-5
Let r be (3 + -6)*(-10)/6. Let g = 14 - 11. Solve g*k + 4 + r = 0 for k.
-3
Let o(k) = k**3 + 2*k**2 - 3*k + 2. Let r be o(-3). Solve 0 = -r*i - 3*i for i.
0
Suppose -13 = 5*g - 2*h - 43, g = -5*h + 6. Let m be (-6)/4*g/(-3). Solve -d + m = 2*d for d.
1
Let r be 2/(-7) + 23/7. Solve -g = 2*g + r for g.
-1
Suppose 3*d = 5*c - 25, -4*c - d + 13 = -2*d. Solve 0 = -2*f + c + 2 for f.
2
Suppose 0 = -3*n + 3*h + 21, 0*n = 2*n - h - 10. Suppose 0 = -n*g + 15 - 3. Solve g*l - 2 + 22 = 0 for l.
-5
Let q(r) = r**3 - 4*r**2 - 5*r + 1. Let l be q(5). Let y be (0 - 0)*3/6. Solve y = -j - 5 + l for j.
-4
Let h be (10 + -10)*2/(-4). Suppose -2*o + 6 = 2*l, -3*l + 7 = -h*l + o. Solve 0 = -3*g + l*g for g.
0
Let c(y) = -3*y + 9. Let p(w) = 7*w - 18. Let b(n) = 5*c(n) + 2*p(n). Let a be b(6). Solve 0*l + a = l for l.
3
Let w be 114/24 + 3/12. Solve w*g = 2*g for g.
0
Let k be 33/4 - 1/4. Solve -k = a - 5*a for a.
2
Suppose 3*u = 8*u - 25. Solve u*m - 2 + 7 = 0 for m.
-1
Let d(f) = f**3 - 6*f**2 - 6*f - 3. Let w be d(7). Suppose 0*a = w*a. Solve -p - 1 + a = 0 for p.
-1
Suppose 0 = -2*t + 4*t + 3*z - 10, 5*t - 25 = 5*z. Suppose 3*u - 4*n = -8*n - 6, 2*n - 2 = -4*u. Solve q + u = t for q.
3
Suppose 0 = -0*r + r - 2*b - 2, 5*b = -2*r + 13. Solve 3*v - r = 7*v for v.
-1
Let c be 1/2 + 18/12. Solve -4*a = -c*a - 2 for a.
1
Let z(j) = j**2 - 4*j + 5. Let a(l) = 3*l + 1. Suppose -h + 2*m + 7 = 0, -3*h + 5*m + 18 = -0*h. Let c be a(h). Let q be z(c). Solve q*o - 12 = o for o.
3
Suppose -v - 6 = -4*v. Suppose c + 5 = -5*u - 33, -3*c = u + v. Let a be (4 + -8)