*l - b = -1. Solve 3*a = g*a - 3 for a.
-3
Let l = -5 - -5. Let q(m) = m**2 + m + 5. Let h be q(l). Let g = h - -1. Solve -4*t - 10 = -g*t for t.
5
Suppose -4*y - 2*j = 2*j - 40, -3*y = -2*j - 40. Solve x = 4*x - y for x.
4
Let n be (-5)/((-45)/42)*3. Suppose 4*l - 6 = n. Suppose 11 = 3*u - m, u - l*m - 1 = 4*u. Solve 2*b - 4 = u*b for b.
-4
Suppose z = 4*z - 9. Let b(f) = -f + 7. Let a be b(z). Solve -2*h = -a*h for h.
0
Suppose -3*t + 12 = -3. Solve -j + t = -2*j for j.
-5
Let r = -6 - -15. Suppose 3*y - b = -0*b + 13, y - r = -2*b. Solve -y = 4*l - 1 for l.
-1
Let n be 2 + -2*10/4. Let m be ((-2)/n)/(4/30). Solve 10*q - m*q = -5 for q.
-1
Let j(a) = 3*a**2 - 3*a - 3. Let h be j(-1). Suppose -18 + 6 = -2*d. Let x = d - 4. Solve -x*t - 25 = h*t for t.
-5
Let i(z) = z**3 - 6*z**2 - 6*z + 6. Let d be i(7). Let m = d + -9. Solve 0 = m*k - 2*k - 2 for k.
1
Suppose -w - 14 = -22. Solve 4*o = 4 + w for o.
3
Let x be 2/5 + 23/5. Let f = 4 + 4. Solve -x*j + j - f = 0 for j.
-2
Suppose -8 - 4 = -3*v. Suppose -v = -a - 0*a. Solve -2 + a = f for f.
2
Let r be -4*(2 + (-15)/6). Suppose 0*h + 12 = r*h. Solve -h + 4 = -2*f for f.
1
Let p be 451/44 - (-1)/(-4). Solve i + p = -4*i for i.
-2
Let g = -48 + 48. Solve g*s = s for s.
0
Suppose 5*s = 2*s + 9. Solve -3 = -s*v - 0 for v.
1
Suppose -3*f - 2*l + 19 = 0, -24 - 7 = -2*f - 5*l. Solve 0 = -f*m - 5 + 20 for m.
5
Let w(p) = -p - 3. Suppose 4*t - 42 = 5*f, 2*f + 2*t + 9 = t. Let j be w(f). Suppose -6*m + 6 = j*l - m, 4*m - 10 = -5*l. Solve 0 = -l*r - 2 - 0 for r.
-1
Let z = 26 - 16. Let f = -7 + z. Solve -6*m + f = -3*m for m.
1
Let u(b) = 3*b - 2. Let z(s) = -2*s + 2. Let v(w) = 7*u(w) + 6*z(w). Let h be v(2). Solve -4*q = 4 - h for q.
3
Let p(h) = h**3 - 2*h**2 - 3*h + 7. Let f be p(3). Solve f*z - 2*z = 20 for z.
4
Let v(w) = -w**3 - w**2 + w + 1. Let l be v(0). Let r = 3 - l. Suppose 3*p - 3*o = -6, -r*p + 10 = -3*p + 3*o. Solve 0 = 2*n + p*n - 20 for n.
5
Suppose -12 = 3*y - 33. Solve 20 = y*t - 3*t for t.
5
Let q(l) = -5*l + 2 - 4*l**3 + 3*l**3 - 4*l**2 + 10*l**2. Let z = -1 - -6. Let r be q(z). Solve 0 = -r*d - d - 12 for d.
-4
Suppose 21 = -3*o - 3*a, -5*o - 28 = a + 27. Let v = 8 + o. Let y = -3 - v. Solve y - 6 = -5*p for p.
1
Suppose 2*g - 2*n = 16, -6 + 15 = -3*n. Suppose -2*p + 7*p = g. Let d be -8 - -5 - -7*p. Solve -2*c - 2*c = d for c.
-1
Let b(m) = 5*m - 23. Let k be b(6). Solve -2*n + 5 = k for n.
-1
Suppose -l + 1 = -2. Suppose 2*w - 6 = -0*w. Solve 0 = 3*b + l + w for b.
-2
Let f(w) = -w**2 + 2*w. Let u be f(2). Let g be (2/(-5))/(2/(-10)). Let s = g + 4. Solve u = -s*l + l for l.
0
Suppose 2*k = 3*k. Suppose k = -p - 1 + 2. Let x = p - -2. Solve x + 0 = l for l.
3
Suppose -14 = -3*u - 8. Solve -u*y + 9 = -5*y for y.
-3
Suppose 0 = 2*d - 2*g - 0*g + 2, -4*g = 4*d - 28. Solve -2*r + d*r = -1 for r.
-1
Suppose 6*v + v - 21 = 0. Solve 4 = -5*n + v*n for n.
-2
Let p = -10 - -9. Let w(c) = -2*c. Let q be w(p). Solve 0 = q*u - 1 + 5 for u.
-2
Let i = 49 + -43. Solve -5*k = i + 4 for k.
-2
Let r = 17 - 15. Solve -4*q = -2*q - r for q.
1
Suppose 2*h = -h - 15, 0 = n + h - 19. Let t = n + -9. Suppose u = 3*l + t, -u + 16 = 3*u - l. Solve u*m + m = 12 for m.
3
Let t = -4 + 1. Let l = t + 3. Suppose -5*h - 16 = x, l = h + 2*h + 12. Solve -x*n - 3 = -5*n for n.
3
Suppose -16 + 22 = 3*v. Solve 15 = v*d - 5*d for d.
-5
Suppose 0 = 3*y + 3*c - 9, -y + 2*y = -4*c + 3. Let f(g) = -g + 2. Let w be f(0). Let r = 1 + w. Solve y*l - 3 = r for l.
2
Let h(k) = k**3 - 3*k**2. Let y be h(3). Solve -b + 5*b - 20 = y for b.
5
Suppose 2*g - 2*j - 18 = 0, j = 5*g + 5*j. Suppose 4*u + 0*s - 28 = -g*s, 23 = 5*u + 2*s. Solve 0*d - u = -d for d.
3
Let p be (-12)/(1/((-18)/12)). Solve 8 = 5*i + p for i.
-2
Let v = 8 - 5. Suppose -3*w + 42 = 2*s + 2, -v*w = 5*s - 46. Solve 5*l - w + 2 = 0 for l.
2
Let w be (2 - (-1 - -2)) + -46. Let f be w/20*8/3. Let i be (-6)/(-9) - 98/f. Solve 5 = 3*m + i for m.
-4
Let y be 35/(-10)*(-8)/14. Solve -2 = -t + y*t for t.
-2
Let i(o) = -o**3 + 8*o**2 + 3*o - 20. Let u be i(8). Solve p - u = 1 for p.
5
Let z be 0 + (2 - 4) - -2. Suppose 0*q + q - 5 = z. Solve -2*j - 12 = -q*j for j.
4
Let p(v) = -4*v - 1. Let q be p(-1). Suppose 24 = 7*b - 3*b + 5*c, -3*b - q*c = -15. Solve -b = r - 3 for r.
2
Let a(i) = -i**2 + 17*i + 3. Let m be a(17). Solve -m*j = -0*j for j.
0
Let l(q) = 2*q - 10. Let f be l(7). Solve u - f = -3*u for u.
1
Suppose -9*x - 27 = -6*x. Let v = -12 - x. Let u be 1*(3 - 6 - v). Solve 4*z - 2 + 10 = u for z.
-2
Let d(u) = -3*u - 4. Let j be d(-5). Suppose 2*k - 2*w = -18, w = -k - 0*k - j. Let t be (-2)/10 + (-62)/k. Solve -3*r + t = -0*r for r.
2
Suppose 0 = -5*t - 4*d + 14, 2*t - 5*d + 0 = -1. Solve t = 4*s + 18 for s.
-4
Let f = 4 + -1. Let w be 8/(-20) + (-34)/(-10). Suppose 0 = -5*y + y - w*r - f, 0 = -r - 5. Solve 0*j - y*j = 15 for j.
-5
Let v(y) = -3*y - 1. Let p be v(-1). Solve 3 = -p*d + 11 for d.
4
Let d be (2/(-4) - -1)*4. Let k be 9/12 - (-26)/8. Suppose 0 = -j + 2*l, -j - l - 5 = -k*j. Solve j*i - d = 3*i for i.
-2
Suppose 0 = 3*v - 23 - 13. Solve -8*t = -12*t - v for t.
-3
Suppose -5*c + 5*f = -c + 17, 5*f - 8 = c. Let g(j) = j**3 + 3*j**2 - j + 1. Let z be g(c). Suppose x - 4 - z = 0. Solve -1 = 3*i + x for i.
-3
Let w = 3 - 2. Suppose 3*m - 2*h = 54, m - 2*h - 15 = 3. Let y be (-60)/(-27) - 4/m. Solve y*r - 5 = -w for r.
2
Let m be -8 - -11 - (1 + -2). Solve -2*y = -m - 6 for y.
5
Suppose -3*q - 3*x = -6*x - 36, 0 = -2*x - 8. Solve 0*l - 2*l = -q for l.
4
Let x(j) = 4*j**2 + j. Let w be x(-1). Let t(f) = 4 + 2*f + 13*f + 3*f**2 - 2*f**2 - 3*f. Let i be t(-12). Solve -w = i*l - 15 for l.
3
Suppose 0 = 2*k + 2*r + 38, -3*k - 1 = -4*r + 21. Let d = 19 + k. Solve -4*w - d = -1 for w.
-1
Let w = 3 + -1. Suppose 0 = -4*u - 5*z - 3, 0*u + 4*u + w*z - 6 = 0. Suppose o + 3*x - 2*x + 3 = 0, o + 9 = -u*x. Solve o = -5*h + 25 for h.
5
Suppose -4 = -r - 1. Suppose -l = -1, 0 = -5*n - 6*l + 2*l + 24. Let t be 6/n + r/6. Solve t*o = -0*o + 6 for o.
3
Suppose 0 = -6*p + 5*p + z + 2, 8 = -3*p - 4*z. Let l be 15 - p - (-2 + 2). Solve -l = 2*s + s for s.
-5
Let p(v) = v**2 + 3 - 5*v - 1 + 4*v + 3*v. Let l be p(-2). Solve -l*z - 2*z = 20 for z.
-5
Suppose y - 3 = -2. Let d = 4 - y. Solve z - d*z = -8 for z.
4
Let n(s) = s**2 + 7*s - 10. Let p be n(-10). Solve -5*i = p - 5 for i.
-3
Suppose -m - 1 + 6 = 0. Let b = m - 2. Solve 4*c + 5 = -b for c.
-2
Let n(v) = v**2 + 3*v - 8. Let u be n(-7). Solve j + u = -3*j for j.
-5
Let d(h) = -h**3 - 12*h**2 + 12*h - 9. Let i be d(-13). Solve 0 = -2*k + i - 6 for k.
-1
Let m(j) = -j**3 - 9*j**2 - 9*j + 11. Let f be m(-8). Suppose 6 - f = -3*q - p, -4*p = 3*q - 25. Solve -x + q*x + 8 = 0 for x.
-4
Suppose -r - 3*j + 7 = -8, 9 = -r + 3*j. Suppose -5*n = -3*n - 8. Suppose q + 3*q - n = 0. Solve -r = 4*m + q for m.
-1
Let a(t) = t**2 - 3*t - 1. Let b be a(4). Suppose -b*v - 3 = 0, 2*g - v = v + 6. Solve g*n = 1 - 3 for n.
-1
Let t(q) = -1 + 2*q + 2*q + 0*q. Let k be t(1). Suppose -2*h + 3 = y, 2*h - 2*y + 6 = -k*h. Solve h = 2*z - z for z.
0
Suppose -2*g = g + 4*g. Let j(d) = d**2 + d. Let z be j(-5). Suppose -2 - 14 = -4*r. Solve g = r*s + s + z for s.
-4
Let x = 5 + -4. Suppose 11 = 3*t - 5*a, x = 3*t - 2*t + a. Let g be (3 - 0)/(1/1). Solve 3 = -g*h + t*h for h.
-3
Let w be (-36)/(-90) - (138/10)/(-3). Solve -4 = -w*d + 11 for d.
3
Suppose -5*r + 2 = 12. Let w be r/(-11) - (-12)/(-66). Let f be (2 + -1)/((-4)/(-12)). Solve -3*o + f = -w*o for o.
1
Let d(w) = 2*w**2 + 4*w + 3. Let x be d(-2). Suppose -1 = -x*f + 5. Solve 0*n - 6 = f*n for n.
-3
Let r(g) = -g**3 + 6*g**2 + 8*g - 3. Let k be 3/(-6*1/(-14)). Let s be r(k). Solve 13 = s*h - 3 for h.
4
Let s(k) = -k**2 + 7*k - 5. Let p be s(5). Let o be (p/(-2))/((-1)/2). Solve -o*i = -i + 4 for i.
-1
Let a(l) = 2*l**2 - 14*l - 20. Let i be a(9). Solve y - i = -3*y for y.
4
Let q = 20 + -6. Suppose -4*f - 15 = f. Let i be q/f*3/(-2). Solve 4*r + i = -13 for r.
-5
Let y = 9 + -8. Let k(t) = 2*t. Let d be k(y). Solve -n + 0*n - d = 0 for n.
-2
Suppose -2*c - u - 2 + 1 = 0, 0 = -c + 4*u + 13. Let q = 1 - c. Solve q = 3*y - y for y.
0
Let b(t) = 5*t**3 - 1. Let p be b(1). Suppose -4*u + 6 = -u. Solve -p*a = -u*a for a.
0
Suppose -2 = -5*r + 4*r. Solve r*i + 5 = i for i.
-5
Let m be 2*(-4)/(-3 + 7). 