 3*a. Solve -b - 1 = 3*c for c.
-2
Suppose 2*l + b + 9 = 4*b, 13 = -3*l + 4*b. Let y(g) = 5*g - 40. Let s(h) = -2*h + 13. Let w(t) = l*y(t) - 8*s(t). Let q be w(-8). Solve m - q = -m for m.
4
Let p = -6 + 5. Let g be (p + 0/2)*-2. Solve -6*m - 4 = -g*m for m.
-1
Suppose 4 = -4*h, 5*z + 1 = 2*z + 2*h. Let q be (-3 - -5)*(5 + z). Solve q*l - 5*l = 0 for l.
0
Suppose 0 = 3*g + 3*l - 9, -5*g - 24*l + 29*l + 25 = 0. Let z(v) = -3*v - 8. Let b be z(-6). Solve -6 - b = g*o for o.
-4
Let p(f) = f**2 + 5*f - 10. Let v be p(-8). Let u be 4/v + (-270)/(-35). Solve -5*z + u = -z for z.
2
Suppose 6*p - 8 = 4*p. Solve 3*b - p + 19 = 0 for b.
-5
Suppose 3*c = -t, 0 = -2*c - t + 4*t. Solve -z - 4*z - 10 = c for z.
-2
Let d be 3 - 0 - 24/2. Let t = -7 - d. Solve -3*h - 4 - t = 0 for h.
-2
Let m be (5/((-10)/(-4)))/1. Suppose -a = -m*a. Solve 1 = c - a for c.
1
Suppose -4*i + 2 = -2. Suppose 5*f = -2*l + 37, -4*l - l = -f - 52. Suppose 3*t - l = i. Solve 0*s = t*s - 4 for s.
1
Let s = 34 + -26. Solve 0 = -3*w + 5*w - s for w.
4
Let s be (30/4 - 2)*2. Let j(t) = 9*t - 1. Let z be j(1). Let m = s - z. Solve 6 = -m*a - 9 for a.
-5
Suppose -1 = -r - 0. Let x be ((-3)/r)/(-3)*1. Let m = x + 3. Solve 0 = -m*f + 6 - 2 for f.
1
Suppose -6*o = -3*o. Solve -i = -o*i - 2 for i.
2
Let f = 32 + -30. Solve -3 = -f*h - 7 for h.
-2
Let i = -4 - -6. Let w(o) = -o**2 - 11*o - 4. Let n(z) = z - 10. Let b be n(0). Let c be w(b). Solve i*s - 2 = -c for s.
-2
Let y(p) = p**3 - 8*p**2 + 10*p - 9. Let d be y(7). Solve 5*n - 13 - d = 0 for n.
5
Let y(q) = -q + 1. Let a(z) = z**3 - 4*z**2 + 3*z - 6. Let m be a(4). Let x be y(m). Let s = x + 6. Solve 3 = -2*t + s for t.
-1
Suppose 1 = 2*w - 3. Suppose 3*v - 2*i = 4, w*i = 3*v - i - 3. Suppose 0 = -15*s - 32 + 77. Solve 0 = -v*p - s*p + 15 for p.
3
Let c(m) = m**2 - 7*m + 1. Let a be c(8). Suppose -1 = -2*x + a. Suppose -3*k = -k + x*p - 36, 0 = 2*k - 4*p. Solve -4*q + 4 = -k for q.
3
Let m = -21 + 25. Solve -m*o = o for o.
0
Let m(f) = 3*f + 8. Let a be m(4). Solve -2*v = -6*v + a for v.
5
Let v = 10 + -1. Suppose c - k + 2 = 0, 2*c - 3*k = -0*c - v. Solve 0*o = c*o for o.
0
Let k(r) = r**2 - 3*r + 1. Suppose -y = -4*y + 9. Let g be k(y). Suppose 7 = 3*p + g. Solve o = p*o for o.
0
Let f = -9 + 3. Let y = f + 6. Solve n = -y*n for n.
0
Suppose 0 = l - 47 + 45. Suppose 5*p - 3*f - 12 - 9 = 0, -4*f = 5*p - 42. Suppose -2*v + p*v - 12 = 0. Solve 5 = -l*s + v for s.
-1
Let n be 0/(2 + -1 - -1). Suppose -u - 2*u = n. Let v = -4 + 9. Solve v*k + 6 + 4 = u for k.
-2
Let n = 20 - 13. Let d be 8/(-3)*(-12)/8. Solve d = -a + n for a.
3
Suppose -1 - 14 = -5*i. Suppose -i*j - 5*n = 2*j + 30, 2*j - n = 0. Let m = 0 - j. Solve m*r - 3 = 3 for r.
3
Suppose 0 = -h - h. Let t = 11 + 2. Suppose -4*x + t = -3. Solve 4 = -h*o - x*o for o.
-1
Let y be 3 - (6 - 1) - 3*-4. Solve 8 = f + y for f.
-2
Suppose -4*k + 4 + 4 = 0. Let h(s) = 3*s - 3. Let l be h(k). Let u = -1 + l. Solve -u*i = -7*i for i.
0
Let r = -13 + 17. Suppose -4*y - r = -24. Solve 2*h = y*h - 6 for h.
2
Suppose -3*u - 4*o + 8 = -0*u, 3*o = 6. Let i = 6 - u. Let a be 6/2*20/i. Solve v - a = 3*v for v.
-5
Let j = 14 + -10. Solve g = j*g + 6 for g.
-2
Let d = -10 - -13. Suppose -c - 5 = -o, 0 = 4*o + d*c + 2*c - 65. Solve 4*w + o = -10 for w.
-5
Suppose 1 = 35*v - 34*v. Solve v - 7 = 3*j for j.
-2
Let c(f) = -f**3 + 11*f**2 + f + 1. Let a be c(11). Solve 4 = -4*z - a for z.
-4
Suppose -4*d = 11 + 5. Let m = -4 - d. Let v(w) = -w + 3. Let c be v(-3). Solve -h + c*h + 15 = m for h.
-3
Suppose -4*b - b = -25. Solve -5 + 10 = -b*q for q.
-1
Let u = -94 + 99. Solve -u*g + 2 = -3 for g.
1
Let u = 113 + -61. Suppose -2*k = -3*y + 25 + 13, 3*y = -5*k + u. Suppose -5*x + 35 = 5*v, v = -4*x + 2 + y. Solve 0 = -v*m - 13 + 33 for m.
5
Let w(i) = -8*i - 4. Let a be w(-3). Solve -6*j + 2*j = -a for j.
5
Let k be (4/(-6))/(3/(-45)). Let j be 1*(2 - (-1 + -1)). Solve j*h = 2*h + k for h.
5
Let m(l) = l - 2. Let n be 54/30*(-10)/(-2). Let v be m(n). Solve -2*p + v*p = 0 for p.
0
Suppose 2*i + 2*m + 2 = 4*m, 0 = -m - 5. Let v(a) = -a**3 - 6*a**2 + 6. Let t be v(i). Solve 26 = 5*d + t for d.
4
Let m(f) = -3*f - 9 + 0 + 6 + f**2. Let a be m(-2). Solve 0 = -a*q + 2*q - 5 for q.
-1
Suppose -2*x = -h - 3, 5*h - h = 4*x - 12. Suppose 5*v - 25 = x, -17 = -0*l - 2*l - v. Suppose 0 = l*a - a - 10, -3*g + 5 = -2*a. Solve g*j = -j for j.
0
Let v = 1 + 1. Solve 0 = v*l - 9 + 1 for l.
4
Let j(v) = -v - 5. Let a(b) = -b**3 + 3*b**2 - 3*b + 3. Let f be a(3). Let m be j(f). Solve 4 + m = -5*u for u.
-1
Let o be (0/(15/3))/1. Solve p + 0*p + 2 = o for p.
-2
Let g be 5/4 - 1/4. Let v(q) = 17*q - 1. Let f be v(g). Let t = f + 2. Solve -t = -5*s + 2 for s.
4
Let r be (1 - 0)/(2/34). Suppose 3*o + 5*u - 15 = 0, 7*o - 3*u = 3*o + 20. Suppose 12 + 14 = 2*y - 4*q, o*y - r = -2*q. Solve -5 - 15 = y*l for l.
-4
Let p(v) = 6*v - 14. Let o be p(3). Solve -o*j + 17 + 3 = 0 for j.
5
Let y = -40 - -67. Let w = 42 - y. Solve -8*a = -3*a - w for a.
3
Let s(h) = -h**3 - 4*h**2 - 4*h - 3. Let v(w) = -w**2 + 4*w + 3. Let d be v(5). Let f = d - 1. Let x be s(f). Solve -i - 3 = -x for i.
-3
Let a = 37 + -55. Let f = -18 - a. Solve -3*c = -f*c for c.
0
Suppose -b + 4 = -2. Let t(i) = -i**3 + 5*i**2 + 6*i - 2. Let h be t(b). Let x = 2 - h. Solve 0 = 4*z - x + 24 for z.
-5
Let a(v) = 16*v - 16. Let z be a(3). Suppose 0 = -r + o - 5 + 19, -3*o - 18 = -r. Solve 4*g - r = -z for g.
-5
Let n be (-395)/(-55) + -3 + (-4)/22. Solve -2 = 3*u + n for u.
-2
Let c be (-4)/(-2) + (0 - -1). Let l = c - -9. Solve 0*t = -3*t + l for t.
4
Let l be (-15)/((-4)/8 + -1). Suppose -w + l = 4*w. Solve -d - w*d - 6 = 0 for d.
-2
Let q(o) = -o**3 + 3*o**2 - 2. Let a be q(3). Let y be 0/((-3)/((-3)/a)). Solve y = -5*c - 3 + 28 for c.
5
Suppose -2*a = o + 3*a - 22, -5*o - 4*a = -26. Suppose 2*h - o = b, 2*h + 3*b = b + 8. Solve h*g = 4*g - 8 for g.
4
Let k = 0 - -2. Solve k*n + 4 = -2*n for n.
-1
Suppose -j - 3*g = -19, 8*j + 2*g - 30 = 3*j. Suppose 2*o = -r - 2, o + 1 = 3*r - 0. Let f = r + j. Solve f*p = -p for p.
0
Suppose 0 = -4*l - 5*y + 30, -l - 4*y + 4 = -9. Solve 2*s = -l - 1 for s.
-3
Let s(p) = 3*p + 2. Let t(l) = -l**3 - 4*l**2 + 2*l + 5. Let o be t(-4). Let n be s(o). Let a = n + 16. Solve -4*f - 5 = -a*f for f.
1
Let m(u) = 2*u**3 + 0*u**2 + 4*u + 2*u**3 + 3 - u**2 - 7*u**3. Suppose 0 = -4*n - 5 - 3. Let l be m(n). Solve 2*k + k = -l for k.
-5
Let z(c) = -c**2 + c. Let t be z(1). Solve 1 = -q - t for q.
-1
Let v(l) = 2*l - 8. Let c be v(4). Suppose 4*w - 2*n - 47 = -17, w - 4*n - 4 = c. Solve -3*k = k + w for k.
-2
Let u be (0 - -1)*1 - (-1 + 1). Solve 5*g + u = -9 for g.
-2
Let d = -15 - -13. Let m be (-6 - 0)/(3/d). Solve m*n + n = 0 for n.
0
Let t be (1 - -3)*12/16. Solve -3 = t*s - 2*s for s.
-3
Let j be 2/9 + (-6)/27. Let r = j + 3. Let a = -3 + r. Solve a = v + v - 6 for v.
3
Suppose 35 = 2*i + 27. Solve -i = -5*s - 24 for s.
-4
Suppose -4*s + 0*s + 20 = 0. Solve 4 = s*i - 11 for i.
3
Suppose -5 = -5*n - p, n + 4*p = -n - 16. Let o be (7/7)/((-2)/42). Let m = n - o. Solve -5*f = -m + 3 for f.
4
Let z = 8 - 5. Suppose 20 = g + z*g. Solve 5*j = g + 10 for j.
3
Suppose 4*m = -0*m. Let t(o) = o**3 - 5*o - 2. Let f(u) = 2*u**3 - 9*u - 3. Let a(c) = 4*f(c) - 7*t(c). Let w be a(m). Solve -i = w*i - 9 for i.
3
Suppose 0 = -f + 4 - 2. Suppose 5*q = k + 8, -q - f*k - 2 = -4*q. Let d = q + 0. Solve 2 + 6 = d*x for x.
4
Suppose 0 = 4*n - 14 - 18. Let a be 1*(-1 + 1 + 0). Let i be 6*(-1)/(-2) - a. Solve -n = -f + i*f for f.
-4
Suppose -5 + 17 = 3*a. Suppose -a*s + 2 = -u, 0*s + 3*u - 4 = 2*s. Suppose -5*f + s = -4*q, 3*f - 5*q + 2 = -0*f. Solve 3 = -2*g + f for g.
-1
Let k(a) = -2*a**3 + 7*a**2 + 4*a + 5. Let d be k(4). Solve d*h - 11 = 14 for h.
5
Suppose 3*x - 37 = -4*y, -7*x = -y - 2*x + 15. Suppose -6 = -5*l + 3*v, -5*l + y = -6*v + v. Solve l = -0*p + p for p.
0
Suppose 5*x - 5*a - 10 = 0, -3*x + 2*a + 2*a + 5 = 0. Suppose 0 = -x*t + 4*u - 4, 2*u = -t + 3*t. Suppose 5 = t*k - 15. Solve -1 - k = -2*z for z.
3
Let p be 3/(-12) + (-2)/(-8). Let k(a) = -a**3 + a**2 - a + 4. Let q be k(p). Solve -6 = -q*y + y for y.
2
Suppose f = 13*f. Solve -3*j - 3 + f = 0 for j.
-1
Let c(v) = v**2 - 4*v - 8. Let t be c(6). Suppose 23 = h + 2*y + 3*y, 5*h + 1 = 4*y. Suppose 0 = 2*b -