 -f*d for d.
2
Suppose -57 = 2*q - 57. Solve 5*b - 9*b + 20 = q for b.
5
Let r(w) = 4 - 5*w - 4 - w**3 + 3 - 6*w**2. Let x be r(-5). Let k = x - -5. Solve 0 = -4*l + k*l + 8 for l.
-2
Suppose -8*v = -10*v. Solve -2*d = -v*d - 2 for d.
1
Let k(v) be the second derivative of v**5/20 - v**4/3 - 2*v**3/3 - 3*v**2/2 - 2*v. Let y be k(5). Suppose -y*b = -b - 5. Solve b*h + 2 = -3 for h.
-1
Suppose 0 = -2*u - 3*u + 90. Let y be (-4)/(-6)*u/4. Solve 0 = 5*q - y*q for q.
0
Let d(m) = m**3 - 21*m**2 + 4. Let q be d(21). Solve 0 = q*u - 10 + 2 for u.
2
Suppose 11 = 2*s - 27. Let h = 23 - s. Solve -5*x - h = -19 for x.
3
Suppose 60 = -5*b - 0*b. Let p = -8 - b. Solve -q = p*q - 25 for q.
5
Let x(c) = -5*c + 0*c - 5 + 2 + c. Let o be x(-3). Let r = o - 9. Solve r*n - 4*n = 0 for n.
0
Suppose d + 6*p - p = 2, 3*p - 6 = -3*d. Solve g = -d*g for g.
0
Let r be (-3)/4 - 273/(-28). Solve -r + 7 = -2*m for m.
1
Let q(l) = l**3 - 3*l**2 + 6*l - 5. Let j be q(2). Solve j*a + 6 = -0*a for a.
-2
Suppose 0 = 3*k - 7*k + 68. Solve 2 = -5*h + k for h.
3
Let m be (-1)/1 + (12 - -4). Let d be (2/(-5))/((-1)/m). Let r be d/(-4)*(-12)/9. Solve -2*l - r = 8 for l.
-5
Suppose 4 = 3*f + 1. Suppose 4*p - 20 - 4 = 0. Suppose 0 = -4*t + 5*o - 8, -p*o + 35 = 5*t - o. Solve -t*w = -4 + f for w.
1
Let g(s) be the second derivative of 2*s**3/3 - 3*s**2 - 2*s. Let q be g(5). Solve 5*d = 4 - q for d.
-2
Let k(w) = -w**2 + 13*w - 24. Let n be k(9). Solve 0 = 8*i - 4*i + n for i.
-3
Let o = 5 + -3. Solve 2*x = -o*x + 12 for x.
3
Let r be (-3)/5 - (-76)/10. Let i(o) = -o**3 + 7*o**2 + 2*o - 9. Let s be i(r). Let b(v) = 2*v**2 - 3*v - 2. Let q be b(-2). Solve q = -s*g - 13 for g.
-5
Let m = 17 + -9. Let u = -3 + m. Solve u*d = -0*d + 15 for d.
3
Let f be ((-36)/(-15))/((-15)/(-50)). Suppose f*c - 3*c = 20. Solve 0 = -c*j - 0*j - 8 for j.
-2
Let z = -1 - -1. Suppose 0 = t + 4*t, 4 = 2*q - 4*t. Solve 10 = q*a - z for a.
5
Let u = 21 - 25. Let z be (-2)/(-3) + u/(-3). Solve 0*q - 6 = -z*q for q.
3
Let p = 6 - 1. Let m(h) = h - 3. Let g be m(p). Solve 0 = -g*a + 5*a - 9 for a.
3
Let n = -10 + 26. Suppose -2*t - 2*x = -n, -3*t - x = -t - 12. Suppose 5 = t*d - 7. Solve c - d = 2*c for c.
-3
Suppose -5*l + 4*i = -42, 3*i - 79 = -5*l - 23. Let v(s) = s**3 + 2*s**2 - 3*s + 2. Let m be v(-3). Suppose 0*t - 4 = -m*t. Solve t*o - l = 4*o for o.
-5
Let r(u) = 2*u + 7. Let v be r(-4). Let y be (-4)/(-2)*1/(-2). Let m be y/v*(-1 + 2). Solve 4 + m = -5*s for s.
-1
Let z(r) = 4*r**3 + 2*r**2 - 3*r + 1. Let b(p) = -13*p**3 - 7*p**2 + 10*p - 3. Let m(v) = 2*b(v) + 7*z(v). Let k be m(1). Solve 5*w = k*w - 3 for w.
-1
Let d be (-17 + 21)/(2/3). Solve -d = -0*k + 2*k for k.
-3
Suppose -q + 0*q = 0. Suppose k + 4*k - 1 = l, 3*l + 3 = 5*k. Solve k = 4*a - q*a - 12 for a.
3
Suppose -3*b = 2*k + 1, k - 2*b + 3*b = 0. Let c be ((-10)/6)/(k/(-3)). Solve -3*x + c - 8 = 0 for x.
-1
Suppose -2 = 3*l - 4*m, 6*l = 2*l + m + 6. Let h be 2/l - -14 - 3. Let t be 2 + 1*(-1)/(-1). Solve t*x = -x - h for x.
-3
Suppose -19*t + 49 = -27. Let r be (-4)/6 + (-2)/(-3). Solve r*q + 12 = t*q for q.
3
Let z(q) = -q**2 + 5*q + 2. Let r be z(5). Suppose -j + 13 = r. Let f = -8 + j. Solve f*v = -v for v.
0
Suppose 0*j - b = -3*j, -3*j = b. Solve 4*t + 12 = -j for t.
-3
Suppose -4 + 1 = -3*i + 3*l, 4*i = -l + 9. Solve 5 - 1 = -i*q for q.
-2
Let l(p) = -2*p + 8. Let b be l(6). Let z(t) = -2*t - 6. Let o be z(b). Suppose 0*g = -o*g + 8. Solve 0 - g = 4*k for k.
-1
Let z be 267/(-15) + 5/(-25). Let s = z + 20. Solve 4*v - s - 6 = 0 for v.
2
Let m be -3*(-4)/(-6) + 4 - 0. Solve t + 0 = m for t.
2
Suppose -10 = -2*q, 2*q + 1 + 0 = a. Suppose 1 = 4*j - a. Suppose -3 - 6 = -j*o. Solve -o*f = 2*f + 10 for f.
-2
Let m = 16 - 26. Let o = 14 + m. Solve -o*z + 0*z = -20 for z.
5
Suppose -5*x - 7 = t, -5*x + 4 = -t + 17. Suppose 0 = -0*q + 4*q. Suppose 14 = y + 4*c, -4*y + q*c + 2*c = -20. Solve t*m - m + y = 0 for m.
-3
Let z be 1/(-2) - (-14)/4. Let u(m) = m**3 - 4*m**2 + 5*m - 4. Let b be u(3). Solve -1 = b*s + z for s.
-2
Let o(l) = 2*l - 9. Let u be o(6). Solve u*d - 6 = -21 for d.
-5
Let w(j) = j - 2 - 6*j - 3*j**2 + 2*j**2. Let l be w(-3). Suppose 5*x = 4*m + 91, 4*x - 12 = l*m + 64. Solve -2*r = -7*r + x for r.
3
Let g(u) = u**2 - 2*u - 5. Let t be g(4). Let r be t*(3 - (-15)/(-9)). Let j = 8 - r. Solve -k = j*k for k.
0
Let d be 145/13 - 2/13. Suppose 4*q + 20 = 4*n, -n - 3*n = -q - d. Suppose 2 = 4*p - g, 3*g - 12 = -n*p - 2*g. Solve -2*x + 3*x - p = 0 for x.
1
Let j = 11 + -11. Suppose 9 + 2 = -2*s - 3*n, j = -5*s + 2*n + 20. Solve -s = p - 0 for p.
-2
Let f(s) = -s**3 - 29*s**2 - 27*s + 28. Let c be f(-28). Solve -3*w + c*w = 3 for w.
-1
Suppose 4*j = -2*u - 2*u - 8, 12 = -3*u - 5*j. Suppose -14 = 3*v + 4. Let a be (-34)/v + (-4)/6. Solve -2*x + u - a = 0 for x.
-2
Let h(k) be the first derivative of k**3/3 - k**2/2 + 12*k - 3. Let d be h(0). Suppose -20 = -4*x + d. Solve -2*b + x = -0*b for b.
4
Let v be 1*6/2*2. Let w = -7 + 5. Let c be v/w + (9 - 3). Solve -3*l - c = -2*l for l.
-3
Let t be (-3 - -2) + 0 - -6. Suppose 13 = -2*l + t. Let h be (-5)/(10/l) + 2. Solve -2*v - h = -10 for v.
3
Suppose -2*w + 2*u + 0*u + 12 = 0, 4*w = -2*u + 54. Let m = w - -9. Suppose -2*f + 4*g = -m, 2 = -4*g - 14. Solve n - 6 = -f*n for n.
2
Suppose 3*u - u + 34 = 0. Let x = 33 + u. Suppose 4*b = f + 23, -4*b - f + 12 + 5 = 0. Solve -o + x = -b*o for o.
-4
Suppose -2*d + 22 = -3*m + 2*m, -3*d + 39 = -3*m. Let o = 4 + -1. Solve 0*k = o*k - d for k.
3
Let f = 2 - 17. Let z be f + 3/(-3) + 2. Let n be 4/(-14) + (-4)/z. Solve 0 = 3*p - n*p + 6 for p.
-2
Suppose 2*k - 5*v + 22 = 0, 2*v = -5*k + 3*v - 32. Let d = 8 + k. Let q(x) = 2*x**2 - x + 1. Let r be q(d). Solve -5*j - 2 + r = 0 for j.
1
Suppose 2 = 4*y - 6. Let w = -69 + 70. Solve y + w = j for j.
3
Let d(z) = -5*z + 6. Let g be d(-5). Let o = 5 + g. Suppose -2*m - m = -o. Solve -4*j - m = -0*j for j.
-3
Suppose -9*z + 24 = -5*z. Solve -z*d + 20 = -d for d.
4
Let q = -13 - -17. Solve p = q*p for p.
0
Let u be (1/(-4) - -2)*-4. Let a(d) = d**3 + 6*d**2 - 7*d + 8. Let x be a(u). Suppose -y = y - x. Solve 4 = y*w - 4 for w.
2
Suppose -3*v - 8 = 4*y, -2*v - 2*y + 5*y - 11 = 0. Let b = v - -4. Solve w - 1 - 2 = b for w.
3
Let j be 4/(((-20)/6)/5). Let x = j + 10. Solve -7*m + x*m = 0 for m.
0
Suppose 4*x + 4*b = 180, -2*x - b - 37 + 127 = 0. Let h be x/6 - (-3)/(-6). Suppose -j = 2*j - 9. Solve 2 = -j*s - h for s.
-3
Suppose 0*u = 3*u - 27. Let n = -6 + u. Solve y = n*y for y.
0
Suppose s + 10 = -s - 2*o, 4*o = 3*s - 20. Suppose s = 5*b - 5 - 5. Let g(q) = -2*q - 7. Let d be g(-5). Solve -p - b*p = -d for p.
1
Let b = 8 + -5. Suppose -3*f = b*g + 6, -5*g - 4*f - 9 = -2. Let c be g + 1 + 30/5. Solve c = -2*r - 0 for r.
-4
Let g(a) = 2*a - 7. Let o be g(5). Suppose -2*s = -0*d + o*d - 16, -29 = -5*d - s. Solve 4*k + 8 = d*k for k.
4
Suppose -a = -5*f + 10, f - 3*a + 6 = -6. Solve -8 + f = -m for m.
5
Let z(o) = o**3 + 9*o**2 + 7*o - 10. Let b be z(-8). Let l be 32/5 + b/5. Solve 2*x + l = -0*x for x.
-3
Let s(o) = o**3 + 7*o**2 + 6*o + 3. Let g be s(-6). Suppose 0 = -5*m - 0*w - 4*w + 2, -g*w + 2 = 4*m. Let r be 2 - (m + -5 + -1). Solve 3*l + 12 = r*l for l.
4
Let z be -2 - -10 - (0 + 1). Suppose -3*f + 13 = 3*s - 2*f, 4*f + 2 = -3*s. Suppose 3*o = o + s. Solve -z = -2*p + o for p.
5
Suppose 10 = 2*r - 0. Solve -2*q = -r - 1 for q.
3
Let p = -19 + 20. Solve -3 - p = -h for h.
4
Suppose 17 = 3*a - 5*p, 4 = a + a + 4*p. Suppose -2*r - 3*r + 10 = 0. Suppose -r*t = -t - 4. Solve 4 + t = a*f for f.
2
Let g(a) = -a**3 - 14*a**2 - 15*a - 24. Let s be g(-13). Solve s*q = q + 4 for q.
4
Suppose -16 = 6*i - 46. Solve 4*p = -1 + i for p.
1
Let b = -3 + 6. Suppose -q = -b*q. Solve q = -3*a - 20 + 8 for a.
-4
Suppose 0 = -2*b - 4*o + 8, b + 4*b - 14 = -4*o. Suppose -b*j + 5*a = -0*j - 24, 4*j - 5*a = 48. Solve -3*d + 0 = -j for d.
4
Let c(q) = 2*q - 4. Let f be c(3). Solve 0 = m - f for m.
2
Suppose -y + 5 = -0. Solve y*i + 12 = 2 for i.
-2
Let d(f) = -f**2 - 4*f + 1. Let o be d(-2). Solve 3*h + o = -2*h for h.
-1
Suppose -8*c + 3*c + 49 = -2*l, 12 = 2*c + 3*l. Solve -6 = -5*r + c for r.
3
Suppose 5*u = -5*o + 45, -7*u + 30 = -3*u - 2*o. Suppose -g = g - u. Suppose -11 = -g*r + 2*s + 1, -5*r + 15 = s. Solve 0*z = z + r for