. Solve c = 5*b + f - 3 for b.
-3
Let x(q) = -q**3 + q**2 - 3*q - 2. Let n(s) = 1 - 1 - 2*s**2. Let i be n(-1). Let f be x(i). Solve 5*o + f = o for o.
-4
Let h be (96/28)/((-12)/(-42)). Solve -5*c + 3 = -h for c.
3
Let o = -63 + 63. Solve -4*r - r = o for r.
0
Suppose 0 = -3*z + 16 - 13. Solve 3 = -4*a - z for a.
-1
Suppose 1 = -2*j + 7. Solve 8 = -r - j*r for r.
-2
Let a(v) = 1 - 5 + 5*v + 0*v + 1 - v**2. Let c be a(4). Suppose 2*b - 4*b - 2*r = -10, 2*b - 16 = -4*r. Solve -b*k + 1 + c = 0 for k.
1
Let o = -42 + 47. Let k(r) = -r**2 + 7*r. Let t be k(6). Let s be 8/t*(-3)/(-2). Solve -c = -s*c + o for c.
5
Let u(i) = 2*i**2 + 5*i + 3. Let o be u(-3). Let h be 25/o + 4/(-24). Solve n = -n - h for n.
-2
Let g = -5 + 9. Let v be (4/(-6))/(g/(-18)). Solve 4*k + 5 = -v for k.
-2
Let n(l) = -l**3 + l**2 + 2*l + 11. Let q be n(0). Solve 3*g + q + 1 = 0 for g.
-4
Suppose -11*k = -14*k + 6. Solve 0 = -k*t - 2*t + 12 for t.
3
Suppose 4*u - u = 2*m - 3, 4*u + 2*m - 10 = 0. Solve -2*b + u + 7 = 0 for b.
4
Suppose 0 = -8*a + 40. Suppose 2*l = 6*l. Solve -a*h = -l*h - 25 for h.
5
Suppose 7*z = 13 + 1. Let l(m) = -m - 1. Let h(b) = -3*b - 1. Let k(d) = -h(d) + 4*l(d). Let s be k(-3). Solve z*p - 4*p + 2 = s for p.
1
Suppose 29 = -7*v + 92. Solve -q = 2*q - v for q.
3
Let k(v) = 3*v - 10. Let a be k(4). Solve 2*t - 12 = -a*t for t.
3
Let c(w) = -w**2 - 2*w**2 + w**2 + 3*w**2. Let a be c(0). Solve -4*l + 8*l + 16 = a for l.
-4
Let m(f) = -4*f**2 - 4*f - 7. Let k be m(7). Let t be 4/(-30) + k/(-45). Suppose -o - 3*b = 2, -t*o + 0*b - 2*b + 42 = 0. Solve -j + o = j for j.
5
Suppose -3*d - t - 15 = -6*t, 9 = -3*d + 3*t. Solve 0 = c - d*c + 2 for c.
-2
Suppose d - 6*d = -15. Suppose 2*u = m + 3*m + 24, -u - m = -6. Solve -d*q - u = q for q.
-2
Let n be (-2)/11 - 8/(-44). Solve n = -c + 4 for c.
4
Let z(v) = -v**2 - 16*v - 13. Let j be z(-15). Suppose b + b = j. Solve -w - b = -5 for w.
4
Let b = -25 - -25. Solve b = -x + 5*x for x.
0
Suppose -14 = y + 4*u, 4*y = 2*y + 3*u + 16. Solve -y*x - 2*x = 20 for x.
-5
Suppose 11*r = 13*r - 8. Solve 2*z + 0 = r for z.
2
Suppose 0 = 2*v + 4*a - 36, 5*v + 3*a - 67 = -5. Let k = v + 0. Solve -2*n - k = -7*n for n.
2
Let m(v) = -v + 4. Let o be 5 + (2 - 0) + -4. Let k be m(o). Let r = -2 - -4. Solve -k = -r*w + w for w.
1
Let y(z) = z**3 - 1. Let n be y(1). Let c = n - 2. Let u = -1 - c. Solve -4*r + 11 + u = 0 for r.
3
Let f(k) = k**3 - 13*k**2 + 8*k - 9. Let c be f(12). Let u be 1/2 + c/(-6). Solve 4*n = 2*n + u for n.
5
Let b = 20 + -13. Suppose 3*k = b*k + 16. Let i be 6*(-2)/k + 4. Solve i = 2*t - 3 for t.
5
Let y = -12 + 16. Suppose 0 = -4*n + 8, -9 = -2*c - 5*n + 9. Solve 2*m - c*m = y for m.
-2
Suppose 2*d + 2*f = -0*d + 22, 10 = 5*d - 4*f. Let w be d/21 + 48/28. Solve 2*k - 8 = -w*k for k.
2
Suppose -3*g = 3*j - 5*j + 107, -2*g - 194 = -4*j. Let x be j/4 - 1/(-2). Let m be (x/10)/(3/10). Solve -1 + m = 3*h for h.
1
Suppose -3*f = 4*z - 4*f - 75, -z = -4*f. Suppose -s - 3*s = -z. Solve s = 2*d - 3 for d.
4
Let v = -4 - -3. Let p = v - -1. Solve p = k - 3*k - 4 for k.
-2
Let k be (-2)/(-1) - (-8)/4. Solve 0 = -k*h + 6*h - 4 for h.
2
Suppose 15*a - 128 = -a. Solve a*g = 6*g + 4 for g.
2
Let q = 14 - 11. Solve -q*v = -v - 2 for v.
1
Let b be (1 - 1)/(-5 - (-8 - -4)). Solve 2*x - 3*x - 4 = b for x.
-4
Let s = 5 - 14. Let u be 2/6 + (-6)/s. Solve 2 = -z - u for z.
-3
Let v(c) = c**3 - 7*c**2 + 6*c. Let b be v(6). Let p(q) = -q**2 + 5*q - 5. Let i be p(4). Let d = i - -4. Solve b = d*s + 3 for s.
-1
Let f be ((0 - 9)/(-3))/1. Let j = f - 4. Let i be (-20)/(-5) + (j - 1). Solve 2 = i*v - 4 for v.
3
Let o(s) = -s**3 - 7*s**2 + 0*s - 2*s + 1 - 8. Let m be o(-7). Solve 5*w + 13 = -m for w.
-4
Let i be (8 - 4 - 7) + 8. Solve -i*u = -10*u for u.
0
Suppose 0 = -0*q - 2*q - 2. Let v be 2 + (-2)/q + -1. Solve v = 3*g - 6 for g.
3
Suppose 9 = 5*n - 6, 0 = 3*i - 2*n + 6. Suppose -y + 6 + 4 = i. Let q = 19 - y. Solve -2*z + q = -1 for z.
5
Let y(f) = -f + 1. Let h be y(4). Let n = h + 3. Solve -2*o + 1 + 1 = n for o.
1
Let y = -19 + 21. Solve 2 = y*f - f for f.
2
Let g(i) = -2*i - 3. Let q be g(-3). Suppose -4*o = 5*n + 17, 2*o - q*o - n - 3 = 0. Let j be 0 - 0/(1*-1). Solve -o*d + 3 - 11 = j for d.
-4
Suppose 23 = 3*q + 8. Let g = -1 + 5. Solve q*m = m + g for m.
1
Let r be (-9)/12 - (3 - 46/8). Solve 4*m + r = 3*m for m.
-2
Let s = -8 - -12. Let x(t) = t. Let o(c) = -c**2 + 11*c - 2. Let u(v) = o(v) - 5*x(v). Let g be u(4). Solve -s*l - 10 = g for l.
-4
Suppose -f - 14 = -3*h, -3*h - 2*h = -f - 20. Suppose g + h*g = -t + 2, -g = -5*t - 11. Solve 2 = -w + g for w.
-1
Let c = 4 - 1. Suppose 5*a - a + 3*q = 26, 8 = 4*q. Suppose a*p - 3*l + c = 0, 0*p + 4*l - 4 = 3*p. Solve p*j + 6 = 2*j for j.
3
Let t(j) = -2*j - 15. Let l(q) = 3*q + 29. Let n(h) = 3*l(h) + 5*t(h). Let f be n(6). Solve -3*o = -5*o + f for o.
3
Suppose -3*l = -2*d - 9, 0*l = 3*l + 5*d - 9. Solve 18 = -3*q + l for q.
-5
Let l(a) = a**2 + a - 9. Let p be l(-4). Suppose -3*x = -3*n + 12, -2*n = -p*x - 12 + 2. Solve 3 = -v - n*v for v.
-1
Let c(m) = -11*m - 3. Let y(z) = -4*z - 1. Let h(q) = -3*c(q) + 8*y(q). Let f be h(1). Solve -9 = f*n - 5*n for n.
3
Let z be 2/2*-1 + 18. Suppose -4*d + z = 1. Solve -4 = 4*j + d for j.
-2
Suppose 4*a + 3*p = 23, -a + 3*p = -0*a + 13. Let n(r) = -r**2 + 5*r + 6. Let o be n(6). Suppose -2*b + 3 + o = -q, 2*q + 5 = 3*b. Solve a*v = b - 5 for v.
-2
Suppose 3*z + z + 4*v = -4, -z - 2*v - 2 = 0. Solve z = -3*a + a for a.
0
Suppose 3*y - 3 = 2*y. Let a(j) = j**2 - 2*j - 6. Let p be a(-4). Solve 3 - p = -y*u for u.
5
Suppose 0 = -2*v - 0*l - l + 49, -4*l - 4 = 0. Solve 3*h + 2*h - v = 0 for h.
5
Let a(h) = h. Suppose 3*p - 9 = -0. Let f be a(p). Solve 4*v - f*v = -2 for v.
-2
Suppose 0 = 2*q + 3*x - 8, -4*x - 36 = -5*q + q. Solve -q*n = -8*n for n.
0
Suppose 9*z - 6*z - 9 = 0. Suppose 0*t + 2*t = 2, -4*t + 4 = 5*b. Solve d + z*d = b for d.
0
Suppose 16 = -0*l + l - 4*y, -26 = -2*l + 2*y. Let b = 18 - l. Suppose -p + b = p. Solve 0 = -p*s + s - 8 for s.
-4
Suppose 5*z + 3*i = 2*z - 24, -z + i - 8 = 0. Let m(g) = 2*g**2 + 5*g - 4. Let c be m(-4). Let j = z + c. Solve j = 3*x + 7 - 1 for x.
-2
Let z(k) = -2 + 3*k**2 + 5 - 4*k**2 + 2*k. Suppose t + 2*x = 1, 2*t + 7 = 4*t - x. Let a be z(t). Solve a = -4*u + 14 + 6 for u.
5
Suppose 3*m + 12 = 0, -m = -2*t + 4*m + 20. Suppose 2*u - 9 + 5 = 0. Let g = u + t. Solve -2*w = g*w for w.
0
Let l(v) = -v + 20. Let h be l(0). Suppose 4*q - h = -q. Solve q = -2*y + 6*y for y.
1
Suppose c = d - 5, -4*d - c - 5 + 30 = 0. Solve 6*z - 4*z = -d for z.
-3
Let u = -28 + 29. Let c(v) = v**3 - 6*v**2 - 3*v - 9. Let k be c(7). Let g = k + -5. Solve -u = 5*n + g for n.
-3
Let p be 15/(-5)*1/(-1). Suppose 0*o + 12 = p*o. Solve 0 = -o*k - 8 for k.
-2
Let g(i) = -i**3 + 6*i**2 + 2*i - 9. Let m be g(6). Let r = -8 - -10. Let h be 1 - (1 - (0 - -3)). Solve -m - h = -r*n for n.
3
Suppose 2*y + 2*y - 16 = 0. Let w(l) = 3*l - 1. Let z be w(1). Solve y = z*g - g for g.
4
Let l(z) = z**3 - 4*z**2 + 3*z - 4. Let d be l(3). Let v = 1 - d. Suppose 3*u = v*x - 8, 4*u + 10 = -4*x + 42. Solve o = 2*o + u for o.
-4
Let p(v) = -v**3 + 5*v**2 - 2*v + 10. Let r be p(5). Let c = 36 + -16. Solve r = -6*t + t - c for t.
-4
Let d(q) = q. Let j be d(5). Suppose -12 = -3*m + 3*g, j*g - 3 = m + 1. Let p(f) = 13*f**2 - 1. Let c be p(-1). Solve m*n - 2*n = c for n.
3
Suppose 6*s + 1 = 7. Let x be (-3)/(-5)*(s - -14). Solve -x*h + 4*h = 10 for h.
-2
Suppose 30*z - 24*z = 48. Let t(n) = n**3 + 6*n**2 + 4*n - 3. Let y be t(-5). Let k(p) = p. Let l be k(y). Solve l*j - z = 2 for j.
5
Let t = -67 + 69. Solve 0 = -2*w + t + 2 for w.
2
Suppose -1 - 3 = r, 0 = -5*l + 3*r - 13. Let u(p) = p**3 + 5*p**2 - p + 2. Let q be u(l). Solve -q*t = -2*t + 25 for t.
-5
Suppose q - 12 = 5*v, 7*v + 14 = 4*v + 4*q. Let g be 2/(-3) - 10/(-6). Let r = g - v. Solve h = -r*h for h.
0
Suppose 4*z + 22 = 34. Solve 6 = z*w - w for w.
3
Let p(d) = 5*d - 3. Let m(c) = c**3 + 6*c**2 - 6*c + 9. Let t be m(-7). Let k be p(t). Suppose a - n = 2, -a - 4*n = -0 - k. Solve 0*g = -g + a for g.
3
Suppose -3*u = -3*d - 12, u + 5*d = 1 + 9. Solve 0 = -0*s + u*s - 10 for s.
2
Let j(m) = m - 11. Let z be j(6). Let i = z + 7. Solve -i*t = -0*t + 10 for t.
-5
Let i(y) = 5*y - 55. Let c be i(1