 + 1. Let n be z(4). Solve 3*f - 2 = n for f.
1
Suppose -t = -2*t - 60. Let j be (2/(-5))/(4/t). Solve 3*p + 15 = j*p for p.
5
Let f(h) = 5*h**2 - h - 1. Let r be f(-1). Suppose 2*l - l - r*x + 10 = 0, -4*l = -2*x - 14. Solve -p = l - 3 for p.
-2
Let f = -9 - -11. Suppose 4*j - 12 = -4*v, 7*j - 4*v = 2*j + 6. Let y be (-9)/(j + (-7)/2). Solve -f = s - y for s.
4
Suppose 0*l + 2*l - 8 = 0. Let f = 18 + -38. Let q = f - -29. Solve -l*x = -q*x + 15 for x.
3
Suppose 5*k - r + 69 - 10 = 0, -2*r = 2. Let x(l) = -l - 1. Let m be x(k). Solve 0 = -4*g + m - 3 for g.
2
Suppose 13*f = 34 - 8. Solve 4 = -f*s + 2 for s.
-1
Let z(o) = o**2 - 7*o + 8. Let k be z(6). Solve p + k = -0*p for p.
-2
Suppose -23 = b + 4*k, -5*k + 0*k = -4*b - 50. Let i = 25 + b. Solve -4*v - v + i = 0 for v.
2
Suppose 5 = 5*b - 5*y, -4*y + 17 - 1 = b. Solve -4*g - b = -2*g for g.
-2
Let x be 4 + -1 - (-9 - -7). Solve 25 = -0*y + x*y for y.
5
Suppose 11*h = 15*h. Solve -6 = -3*l - h*l for l.
2
Let o be (2 + -3)*(-3 - -2). Let h = -3 + o. Let w be (-2 + 0 + 0)/h. Solve s + w + 1 = 0 for s.
-2
Let u(c) = 4*c - 2. Let n be u(4). Suppose 0 = 5*w + 4*r - r + 25, 4*r + n = 3*w. Let v be (-5 - -7)/((-4)/w). Solve -3 = 4*y + v for y.
-1
Suppose 3*r - r = 8. Suppose -4*q - 76 = -7*q + r*i, 5*q - 80 = -5*i. Solve 4*x + q = -x for x.
-4
Let t be 10/15*6*1. Let q be (14/4)/(2/t). Suppose 3*d - q*d + u + 9 = 0, -3*d + 11 = -5*u. Solve -r = d*r + 9 for r.
-3
Let u be 1/((7/22)/7). Solve 5*s = -u + 2 for s.
-4
Let q(u) = -11*u + 82. Let w be q(7). Solve -i + 4 = -w*i for i.
-1
Let q = 33 + -17. Let p = 31 - q. Solve -5*y + p = -5 for y.
4
Suppose b + 3*r + r = -14, -2 = 5*b + 3*r. Let j(h) = 3*h**2 - 3*h + 3. Let z be j(b). Suppose 21 = 2*t + z. Solve o + 15 = t*o for o.
3
Let h(g) = g**3 + g + 2. Let n(w) = w**3 + 2*w**2 + w. Let p be n(-1). Let r be h(p). Let q(d) = d**3 - d**2 - d - 2. Let c be q(2). Solve c = 3*f + r*f for f.
0
Let u be (1/(-2))/(5/(-40)). Let f = -1 + 6. Suppose 3*l = 4*k + 23, u*l - f*l + 5*k = -26. Solve 3*p - l = -4 for p.
-1
Suppose 7*o + 58 - 142 = 0. Solve -2*u - 2 = -o for u.
5
Suppose -3*v + 11 = 2. Suppose -w = -d + 8, v*d + 3*w - 5*w - 20 = 0. Suppose -3*y = -d*y + 10. Solve y = -5*h + 3*h for h.
-5
Let l = -38 + 61. Suppose 3*c = 2*c + l. Let j = c - 13. Solve 4*t + t - j = 0 for t.
2
Suppose 3*f = 6*c - 3*c + 87, -4*c = 4*f - 84. Suppose 4*i - 73 + f = 0. Solve 5*p = p + i for p.
3
Let q = 15 + -15. Solve q*v + 2*v + 4 = 0 for v.
-2
Let v be 12/(-8)*(-150)/9. Suppose -3*p = 2*p - v. Solve d + p - 1 = 0 for d.
-4
Let x(d) = -d + 10. Suppose 2*g - g - 3 = 0. Suppose g*o + 32 = 6*l - 2*l, 2*l = -3*o + 16. Let c be x(l). Solve 2 + 2 = -c*b for b.
-2
Let l(u) = -u**3 + 5*u**2 + 7*u - 4. Let s be l(6). Suppose 5*o - 72 = o + 3*y, -y = -5*o + 79. Solve -s*f + o = f for f.
5
Suppose -p = 10 - 19. Solve -v - p = -4*v for v.
3
Suppose -12*g - 4*g - g = 0. Solve g*p = -4*p - 12 for p.
-3
Let l = -9 - -5. Let s be (6/l)/((-4)/8). Solve -s*q + 12 + 0 = 0 for q.
4
Suppose -5*a = 5*n - 30, 2*a - 2*n + 3*n = 10. Solve 7 = a*x + 3 for x.
1
Suppose 2*q - 2 - 16 = 0. Suppose 0*i + q = 3*i. Let a(v) = v**3 + 8*v**2 + 6*v + 5. Let p be a(-7). Solve -3*d - p = i for d.
-5
Let i = 7 + -4. Suppose 4 = 2*s - 4*p, p - i = -2*p. Let y = 8 - s. Solve -5*x - 24 = -y for x.
-4
Suppose -u = 2*u. Solve u*d = -d + 5 for d.
5
Let a be (-4)/((-12)/(-9)) - -1. Let u be 0 - 3 - (-2)/a. Let l be ((-5)/u)/(4/16). Solve l*r - 8 = r for r.
2
Suppose i - 1 = 6*v - 2*v, -4*i = 5*v - 4. Solve -2*o + o = v for o.
0
Suppose -4*g + 3*f = -18 + 2, 4*g + f = 0. Solve -w = 4 + g for w.
-5
Let w(r) = 11*r**3 + r**2 - r. Let g be w(1). Let z = g + -7. Let h be -3*(z - 3) - -7. Solve 25 = h*k + k for k.
5
Suppose 5*o + 3*v = 90, 0*o - 4*v = -2*o + 10. Suppose 4*u = -u + o. Suppose b + 8 = 2*q, 2*b - 3 + 1 = -5*q. Solve -u*t - q*t = 0 for t.
0
Let f(u) = u**3 - 5*u**2 - 6*u + 5. Let b be f(6). Let o be 15 + ((-9)/3 - -3). Suppose 5 = b*n - o. Solve 0 = 3*q - 1 + n for q.
-1
Let y be (2/4)/(1/204). Let b = -15 - -19. Let g be (-1)/b - y/(-24). Solve -g = k + k for k.
-2
Let t(i) = -i + 7. Let y be t(-5). Let o(q) = -12*q**3 + q**2. Suppose -5*m - 3 - 2 = 2*l, -m + l - 1 = 0. Let h be o(m). Solve -h = 5*p + y for p.
-5
Let a be (-18)/(-36) + 6/4. Solve -v = -a*v + 2 for v.
2
Let u = -2 + 6. Suppose -u*m = -5*i - 9 + 33, -2*i = -3*m - 11. Solve -i*c = -8*c + 12 for c.
3
Let k(p) = 3*p**3 + p**2 - 2*p - 2. Let m be k(-2). Let t = -16 - m. Solve -7 = -q - t for q.
5
Let y = -5 - -11. Let d be -2 + 0 - (-5)/1. Solve 0 = -y*g + d*g - 15 for g.
-5
Suppose -5*v = 5*v. Solve -3*s - 4 - 8 = v for s.
-4
Let u be -3 + -2*(-3)/2. Solve 3 = -3*p - u for p.
-1
Suppose v + 2*v - 9 = 0. Let b = 4 + -1. Suppose 60 = v*c + b*s, 0 = -5*c + 2*s + 23 + 42. Solve 0*y + 3*y = c for y.
5
Let q be 121/22 + 1/(-2). Suppose 5*n = -4*p - 2, q*p = 3*n + 19 - 3. Solve 4*c - 2*c = -p for c.
-1
Suppose -5*y = -4*w + 19, 3*w = 4*w - y - 4. Let g be -1*2 + -2 + 3. Let v be (0/w + -2)/g. Solve 9 = v*r + r for r.
3
Suppose 0 = -22*s + 15*s + 21. Solve s*h - 5 - 4 = 0 for h.
3
Suppose -8 = -2*j, -3*j + 1 = 5*s - 11. Solve 3 = -3*n - s for n.
-1
Let y be -4*(-22)/(-20)*-5. Suppose -2*p = 4*o - y, 3*o = 2*o + 3. Solve 0 = -p*j + 9 - 4 for j.
1
Let l(a) = a**3 - 4*a**2 + 2*a - 1. Let c be (-9)/(-2)*(-8)/(-3). Suppose -5*y + 2*y + c = 0. Let d be l(y). Solve -5*o = -d*o for o.
0
Let u = -11 - -16. Let r = 6 - 6. Solve r = -u*l + 2 + 8 for l.
2
Suppose 5*d + 6 = 8*d. Let z be (0 + (-1 - -1))*-1. Solve b + z = d for b.
2
Let n be (6/2)/(1/2). Suppose 2*t + n + 0 = 0, 0 = 2*c + t + 39. Let z = -10 - c. Solve x + 4 = z for x.
4
Let j = 3 + -7. Let x = 3 + j. Let z be 2 + -2 + (x - -7). Solve -2*m + 2 = z for m.
-2
Let x = 6 + -1. Suppose o - x = -1. Suppose -5*h - o*t + 17 = 0, -h - 2*t - 3*t = -16. Solve -m = -h + 2 for m.
-1
Suppose 4*p - 4*b = 0, 0 = -2*p - 2*b - 3*b. Solve p*y = y for y.
0
Let o = -56 - -57. Solve 6 - o = -l for l.
-5
Suppose 0 = s + 3*s - s. Solve -2*c + s*c - 6 = 0 for c.
-3
Let g(h) = -3*h + 0 + 2*h + 1. Let p be g(-1). Let c(d) = 7*d**2 + d. Let b be c(1). Solve -2*n = p*n + b for n.
-2
Let v = 10 + -8. Suppose -v*t = t - 6. Solve -4 = 3*n + t for n.
-2
Suppose -h - 99 + 100 = 0. Solve -h = -2*j + 3*j for j.
-1
Suppose -f - 2*t + 364 = -14, -5*f = 4*t - 1896. Suppose -4*y + 388 = 3*v, 2*y + 2*y - f = -5*v. Suppose -6*o = -o - y. Solve a = 5*a - o for a.
5
Let s be (-6)/4 + 9/2. Suppose 4*m - s*r + r = 0, 4*r = 0. Suppose -17 = -y + 4*v, 0 = -m*y + y - 3*v - 14. Solve k - 6*k + y = 0 for k.
1
Let a(u) = u**3 - 17*u**2 - 19*u + 18. Let s be a(18). Solve y - 5 = -s*y for y.
5
Let t = 121 - 113. Solve 0 = -5*v + v - t for v.
-2
Let g(k) = k**2 + 4. Let n be g(-4). Let q be (n/8)/((-1)/(-2)). Suppose 0*j - 100 = -q*j. Solve -4*o = o + j for o.
-4
Suppose 3*l + 5 = 4*l. Suppose 40 = 3*w + w + 4*p, 5*w - 10 = 5*p. Suppose 5*i = -w + 16, -l*i + 15 = a. Solve 4*z - 2 = a*z for z.
-2
Suppose 3*m = -2*m + 25. Let l be (1 - 0)*(5 - m). Suppose l = -3*d + 5*u - 10, -7*d + 3*u - 6 = -2*d. Solve -z - z + 8 = d for z.
4
Suppose 0 = 2*u - 5 + 13. Let c = -4 - u. Solve y + 2*y + 3 = c for y.
-1
Let m = 55 + -39. Solve -2*j + m = 2*j for j.
4
Suppose -4*l = 3*a - 8, 3*a - 5*l = 2*a - 10. Solve a = 4*j + j for j.
0
Let j be (-10)/(-30) - (-10)/6. Suppose g - j*g = 0. Solve -4*q - 13 - 7 = g for q.
-5
Suppose 5*c + v = 2*c + 9, -2*v + 10 = 2*c. Let b = 8 - c. Solve 2*g = -0*g + b for g.
3
Let v = -23 + 30. Solve -27 = -5*h - v for h.
4
Let j = 5 - 2. Suppose 4*u = -6*i + j*i + 28, -2*u = i - 12. Solve u*y = 4 - 0 for y.
1
Let g be 6/9*(-15)/(-5). Solve -10 = -g*d + 4*d for d.
-5
Let q be ((-1)/(2/8))/(-1). Suppose p + 2*g = 63, -2*g = -p + 2*g + 75. Suppose -3*y = -f + 3*f - 24, -q*y + p = 5*f. Solve f = 2*c + c for c.
5
Let v be 12/(-10)*100/15. Let w = v + 3. Let f = 9 + w. Solve f*o = o + 15 for o.
5
Let s(p) = -2*p - 12. Let k be s(-10). Let v = -9 + k. Let t be -3 + (v - 0)*-3. Solve t*l = l - 4 for l.
4
Let g(z) = -z**2 - 4*z. Suppose -k - y + 3 = 12, 2*k + y + 13 = 0. Let c be g(k). Let o be (-22)/(-4) - 4/8. Solve 0 = -o*u - c*u + 5 for u.
1
Suppose -5*v + 2*t + 14 = 0, -2*t = -v - 2*v + 10. Solve j = -j - v for j.
-1
Suppose 15 = 2*n - 3*y, 4*y