Solve 4*a = -l - 2 for a.
-4
Let c be 1 + 18 + -5 + 2. Suppose 5*b - 20 = -2*o, 2*b = -2*b - 3*o + c. Solve 7 = -b*u - 5 for u.
-3
Suppose -4 = -0*p + 2*p. Let l = 8 + p. Let b be 2/l*(9 - 3). Solve b = 3*f - 4 for f.
2
Suppose 3*o = -9, -6*i + 2*i + 5*o = -35. Let g(d) = -2*d - 12. Let y be g(-8). Suppose 3*u - 1 = 2*u. Solve i*q = y*q + u for q.
1
Let u = 4 - -2. Suppose -3*o = o. Solve o = -u*g + 2*g + 20 for g.
5
Suppose 0 = -v - 2*v + 9. Let u be 1 + 2 + 0 - 1. Let r be (1/u)/(1/24). Solve v*z - r = 3 for z.
5
Let a(r) = r - 4. Let q be a(-3). Suppose -4*x - 4*u = 8, -25 + 0 = -5*u. Let t = q - x. Solve t*k = 4*k + 16 for k.
-4
Suppose 0 = -7*g - 5*g + 24. Solve -g + 4 = -2*m for m.
-1
Let p(u) = -u**2 - 8*u - 11. Let f be p(-3). Solve -f*t = -6*t for t.
0
Let w(k) = k**3 + 6*k**2 + k + 8. Let v be w(-6). Solve t - 2 = v*t for t.
-2
Let u be (-6)/(-10) + (-9)/15. Solve 3*y - 6*y - 3 = u for y.
-1
Suppose 2*l + 5*r = -2*l - 17, l + 5*r + 23 = 0. Let j be 2/(-4)*(-32)/l. Let y = -40 - -43. Solve -5*q + y*q = j for q.
-4
Suppose 0 = -7*x + 3*x. Let r be 5 + x + 2/2. Solve -2*p = -r + 16 for p.
-5
Let v be 2 - (1 + 2 + -3). Let a = v - 0. Solve -x - a = -3*x for x.
1
Suppose 4*y - 4*f = 2*y + 36, -y - 4*f = -18. Suppose -3*c + 0*q = 2*q - y, -c + 5 = q. Solve c*a = 3*a + 15 for a.
3
Let k be (4/8)/(1/52). Suppose -7*s + 20 = -3*s. Suppose 3*j + 7 = 2*y, -8 = -2*j + 4*j - 2*y. Solve -s*t = -j + k for t.
-5
Suppose -l - 55 = -60. Solve -3*o - l = -2*o for o.
-5
Suppose -2*d - 26 = -4*d - n, -40 = -3*d - 2*n. Let o be 2 + -4 + (-4)/(-1). Suppose -m = 5, -3*i + 13 = -o*m - 3. Solve i*h - d = -2 for h.
5
Let l be (-1 - (0 + 7))/((-6)/3). Let i(f) = 2*f**3 - f**2 - f + 1. Let n be i(1). Let a be (-2 - -18) + -2 + n. Solve a = -l*s - 5 for s.
-5
Suppose -173 = -5*z - 168. Suppose -3*g - 4*u = -12, 2*u - 3 = 4*g + 3. Solve -n = -z - g for n.
1
Let s be (-4)/1 - (6 - 15). Solve 4*h = s*h for h.
0
Let a = 5 - 5. Let t be a + (-1 - -1)*-1. Solve 2*z + 11 - 1 = t for z.
-5
Let h(f) = 2*f**2 - 5*f + 3. Let k be h(3). Solve 0 - k = 2*s for s.
-3
Let y(j) = -9*j + 2. Let s be y(0). Solve -s*f - 4 = -12 for f.
4
Let c be -5*(2 - (-4)/(-5)). Let u be ((-15)/c)/((-1)/2). Let w be (-8)/10*u/2. Solve 0 = -x + w*x for x.
0
Let b be (2 + 1)*(0 - -2). Let p(v) = v**3 - 2*v**2 + 2. Let t be p(2). Let h be 12/7 - t/(-7). Solve -b - h = -4*m for m.
2
Let y be (-2)/5 - 6/(-15). Solve y*p = p - 3 for p.
3
Let j = 173 + -158. Solve -2*k - j = k for k.
-5
Let w(n) = n**3 - 3*n**2 + 2*n - 4. Let r be w(3). Let u be 38/(-5) + r/(-5). Let t be u/20 - 24/(-10). Solve t*l - 10 = 4*l for l.
-5
Let h be (-4)/10 - (-381)/15. Suppose 3*o + 2*q + 10 = 0, -3*o - 5*q = -6*o + h. Solve g + o = 5 for g.
5
Let c be 4*(19/(-4) - -3). Let j = c - -7. Solve 2*t - t + 3 = j for t.
-3
Suppose -4*y = -2*d - 56, 2*d = 3 - 11. Solve 2*n - 5*n - y = 0 for n.
-4
Suppose 2*k + 4 = 2*b + 6, -4*b + k + 8 = 0. Solve -b*s - 9 = 6 for s.
-5
Suppose 0 = -2*h - 6 + 16. Solve 4*c - 3*c + h = 0 for c.
-5
Let z be (5/1 - 3) + 2. Let j(r) = 3 - 1 + r - 3*r. Let k be j(-5). Solve -k = -h + z*h for h.
-4
Suppose 0 = -16*b + 20*b. Solve -3*v + 2*v + 3 = b for v.
3
Let s(q) = 3*q**2 - 9*q + 14. Let t(o) = -7*o**2 + 18*o - 29. Let h(g) = 5*s(g) + 2*t(g). Let c be h(8). Solve 2 = c*p - 2 for p.
1
Suppose 0*a + 6*a - 6 = 0. Solve 4*m + 15 + a = 0 for m.
-4
Suppose -p = 4*n - 9*n - 3, -4*n + 4*p = 12. Let c be 6*((-10)/(-4) - n). Solve -c = -5*z + 10 for z.
5
Suppose c + 2*c = 30. Let z(v) = v + 4. Let w be z(-4). Solve -x + 3*x + c = w for x.
-5
Let q = -1 - 7. Let r(l) = -l - 1. Let f be r(q). Solve -10 = 2*h - f*h for h.
2
Let x(m) = m**2 - 2*m - 3. Let q be 15*3*2/18. Let a be x(q). Solve 3*d + 0 - a = 0 for d.
4
Suppose 10*q - 50 = 5*q. Let y be 6/(-9)*(1 + -4). Solve -y*r = -q - 0 for r.
5
Suppose 4*p = 30 + 26. Suppose 0 = -3*k + 19 - 7. Let h = -25 - -31. Solve -k*d = -h - p for d.
5
Let w(z) = -z**3 + 4*z + 7. Let o be w(-2). Solve -11*s - 4 = -o*s for s.
-1
Let l be 1/8 - 30/(-16). Solve -6 - l = 4*v for v.
-2
Suppose 3*x - 26 = -8. Let g = x + 0. Solve 4 = 5*s - g for s.
2
Suppose 5*k + 1 = -n, -n + 13 = -2*n + k. Let j = 11 + n. Solve j*x = -x + 1 for x.
1
Suppose -3*n + 10 = 4. Suppose -y = -3*f + 7, 2*y - 1 = 3*f - 12. Let r be n/y*(-60)/5. Solve g + g = -r for g.
-3
Suppose -2*b = -2 - 12. Suppose 0 = 6*o - 2*o. Suppose 4*r - 8 - 4 = o. Solve -b + 1 = -r*v for v.
2
Suppose -4*c - 7 + 27 = 0. Solve 0*n + 10 = c*n for n.
2
Suppose -2*p = -3*m + 58, -5*p = -3*m + 58 - 3. Solve 6*b = b + m for b.
4
Let x = 41 + -27. Let f be x/4 + 7/(-14). Solve -f*z = -5 - 7 for z.
4
Let v = -3 - -3. Suppose 4*o - 7 - 1 = v. Suppose -6 + 14 = 2*z. Solve 2*p - z = -o*p for p.
1
Suppose 77 = -5*y - 23. Let r be (5/y)/((-2)/8). Solve -3 + r = 2*b for b.
-1
Suppose 3*b - 3*w - 18 = 0, 0*b + 3*b + 4*w - 4 = 0. Solve 0 = -3*g + b - 10 for g.
-2
Let y = 33 - 33. Solve -i = -y*i - 1 for i.
1
Let m = -7 - -6. Let h be m + 3 + 2 + -1. Solve 0 = h*a - a - 2 for a.
1
Let p be 8/(5 + 6/(-2)). Let m be -5 + p - (2 + -11). Solve s - m = -3*s for s.
2
Suppose -8 = 3*i - 4*g + 12, -4*g + 20 = -i. Let j be (12/(-15))/(2/(-25)). Suppose 2*v = -i*v + j. Solve 0*z = v*z - 5 for z.
1
Suppose -2*m = -6*m + 32. Solve -z - z = -m for z.
4
Let j be 16*6/4 + 1. Let r = 16 + -12. Solve -w = r*w + j for w.
-5
Suppose 4*v = 4*i - 108, 0*v - 5*v - 45 = -2*i. Suppose 3*p - 5*x = i, -3*x + 11 - 45 = -5*p. Solve 5*a - p = 4*a for a.
5
Let z be (-7 - -4)/(6/(-3) - -1). Solve z*c = 2*c for c.
0
Let p = 33 - 31. Solve 0 = p*t - 4*t + 10 for t.
5
Suppose 31 = 12*b - 101. Solve 5*t + 1 = b for t.
2
Suppose t = i + 1, -3*t + 2*i + 0*i + 7 = 0. Suppose o - t = -1. Solve j - o*j = 3 for j.
-1
Let g(k) = k + 5. Let p be g(-8). Let s be 2 + p/(-6)*4. Solve -4*q - s = 12 for q.
-4
Suppose -5*m + 2*g = -36, -3*m - 30 = -6*m + 4*g. Let k be m/(-15) + (-34)/(-10). Suppose -2 = -4*o - 3*b, -b - 16 = -4*o + k*b. Solve -o*t + 1 = -3*t for t.
-1
Suppose -3*h - 5*g + 5 = -0*h, -g + 1 = 5*h. Let r be (-4)/10 + 4/10. Suppose z + r*z = h. Solve -k + 6*k = z for k.
0
Suppose -3*a - 8 = 7. Let u = -61 - -81. Let f = a + u. Solve 0*t + f = 5*t for t.
3
Let k = -1 + 2. Suppose k = -3*y + 10. Let v be ((-2)/y)/(2/(-9)). Solve -v*g = -4*g - 3 for g.
-3
Let u(j) = 7 - 4*j - 5*j**2 + 0*j**2 - 3*j + j**3. Let d be u(6). Solve -k - 2 = d for k.
-3
Suppose 5 = t + 5*m, -2*t + m = -t + 1. Solve b + t*b + 4 = 0 for b.
-4
Let k = 73 - 63. Solve -2*l + 4*l + k = 0 for l.
-5
Suppose 2*t - 36 = 2*j, -4*j - 6 = -2. Let z be t + (-9)/6*2. Solve -5*c = z - 34 for c.
4
Let n(x) = -x**2 + 2*x**2 - 2 + 5*x + 4. Let b be ((-1)/(-3))/((-6)/90). Let s be n(b). Solve s*k - 6 = -0*k for k.
3
Suppose 3*v - 4*z = -2, 4*z - 4 = v + 2. Solve -v*m + 4 = -4 for m.
4
Let x be 114/22 - 6/33. Let m = x - 5. Suppose 7*u - 2*u = m. Solve -3*s - s = u for s.
0
Let o(n) = n**2 - 2*n + 8. Let k be o(6). Suppose 0 = -5*x + k + 28. Suppose -32 + x = -5*r. Solve 14 - r = -5*s for s.
-2
Let a(r) = 2*r**3 - 4*r**2 - 2*r + 4. Let n be a(3). Let c be n/12*(-3)/(-2). Solve 0*j + 4 = c*j for j.
2
Suppose 5*d - 4*i + 0*i + 11 = 0, 0 = -4*d - 4*i + 20. Solve 4 - d = y for y.
3
Suppose -8 = -b + 2. Let s be (-24)/10*(-25)/b. Solve -3*l + 0*l = -s for l.
2
Suppose 0 = r + 2*s - 9 - 5, s = -3*r + 22. Solve 0 = 6*d - 4*d + r for d.
-3
Let r(a) = a**2 - 2 + 0 + 2*a - a. Let s be r(2). Let m = 3 + 0. Solve s = m*g + 10 for g.
-2
Suppose 5*q - g - 16 = 0, 3*q + 4*g - 6 = g. Solve 16 = q*x + 1 for x.
5
Let q = 18 + -15. Solve q*c = 2*c for c.
0
Suppose 3*k = 3*b - 69, 2*b + 2*k - k = 37. Solve 5*d + 0*d = -b for d.
-4
Let j(z) = z**3 - 4*z**2 - 2*z - 7. Let g(l) = -l**3 + 3*l**2 + 4*l + 5. Let n be g(4). Let q be j(n). Solve 4*h = q*h - 8 for h.
2
Let j be ((-6)/(-5))/((-9)/(-60)). Let g = j + -4. Solve g*t - 20 = -4 for t.
4
Let u be 0/((19 + -17)/((-1)/1)). Solve u = 6*n - 3*n - 15 for n.
5
Suppose -2*g - 40 = -5*t, -2*g + 24 = 3*t - 7*g. Let x(l) = -l**2 + 3*l + 6. Let j be x(0). Solve -j*i = -2*i - t for i.
2
Suppose -7 = -4*p + 1. Solve p*x - 6 = -x for x.
2
Let a(n) = -2*n - 1. Let b be a(2). Let t be (-12)/b - 6/15. Solve v = -t*v for v.
0
Let b(c) = c - 3. Let f be b(5). Let t(r) = -r**3 + 4*r**2 - 4*r + 3. Let x be t(2). 