m - z = 0. Let d be (s/(-1))/(5/(-15)). Solve -2*g - g = d for g.
-1
Let m = -6 - -14. Solve -5*r = -r + m for r.
-2
Suppose g = 2*g. Suppose 3*t - 2 = -2*y + 2*t, y - 1 = -5*t. Solve h - 4 - y = g for h.
5
Let l(x) = -27*x. Let z be l(-1). Let g be (-38)/(-9) - 6/z. Let d(h) = h**3 - 5*h**2 - 13*h. Let w be d(7). Solve -w - 5 = -g*r for r.
3
Let n be 6/(-36) - (-122)/12. Suppose 5*h - k - 18 = 0, -5*k = -7*h + 2*h + n. Solve h*w - 19 = 1 for w.
5
Let o = 1 + 1. Let i(n) = 2*n**3 - 5*n**2 + 3*n - 3. Suppose -9*b + 3 = -8*b. Let s be i(b). Solve 5*h = o*h + s for h.
5
Suppose 8*c - 4*c - 5*d + 3 = 0, 3*d = -5*c + 24. Solve y + 4 = -c*y for y.
-1
Suppose -5*c - 3 = 12. Let q be c*1*(1 + -2). Suppose q + 1 = 4*v. Solve -p + v = 2 for p.
-1
Let l be (-20)/(-90) + (-356)/(-18). Solve l = x + 3*x for x.
5
Let i be 1 + 2 - (9 + -8). Solve h + 4 = i*h for h.
4
Suppose 0 = -0*u - u + 2. Let i = -24 + 28. Solve -i*n - 2 = -u*n for n.
-1
Suppose -4*a - 2*m - 18 = -6*a, 2*m - 2 = -3*a. Suppose 4*k + 2*x = 14, 0*k - a*x + 4 = 2*k. Suppose -3*r = -k*r + 2. Solve -1 = -r*y + 7 for y.
4
Let t(q) = -4*q - 3. Let w be t(-2). Solve w*n + 6 + 9 = 0 for n.
-3
Let k be ((-1)/(-5))/((-44)/(-220)). Solve p - k = -0*p for p.
1
Let q = 6 + -6. Suppose -2*u = -4*u - 2, 4*h - 2*u + 2 = q. Let g = 2 - h. Solve g*v = -7 - 5 for v.
-4
Let p be 130/18 - (-16)/(-72). Let w be p - (4 + -3)*-2. Solve 0 = -b + w - 4 for b.
5
Let f(i) = i + 9. Let t be f(0). Let r = -7 + t. Solve 0 = r*q - q for q.
0
Let l(q) = -q**3 - 7*q**2 - 2*q - 8. Let v be l(-7). Solve -4*j + j + v = 0 for j.
2
Let x(h) = h**2 + 3*h + 3. Let k be x(-4). Let u(t) = 0*t**2 - t**2 + 0*t**2 + 9*t - 6. Let o be u(8). Solve o*y - k*y = 5 for y.
-1
Suppose 2*x + 0 = 6. Suppose 8*m - x*m = 0. Solve m = 2*k - 2 for k.
1
Suppose -3*m = -4*x + 10, 0*m = -2*x + 2*m + 6. Let v be 2/x - (-4)/2. Solve v*j = j - 6 for j.
-2
Suppose 2*r - 2 = 0, 4*p + 74 = -5*r - 9. Let o = p - -32. Suppose 0 = -2*f + 3*f - 5*k - 5, 0 = 3*f - 5*k - 5. Solve f = -3*d + d + o for d.
5
Let t be (60/(-18))/(1/(-3)). Suppose -3*s - 1 = -t. Solve -5 = 2*r - s*r for r.
5
Let d be 114/27 + (-4)/18. Suppose -2*y = -y - d. Let k(c) = -2*c**2 + 16*c - 4. Let l be k(7). Solve -t - y*t - l = 0 for t.
-2
Let d be (-6)/10 + (-356)/(-10). Solve d = -5*y + 10 for y.
-5
Let u = 41 - 27. Let p be (-4)/u - 60/(-14). Let v be 6/4 + 2/p. Solve -k + v = 3 for k.
-1
Let j = 10 + -9. Let d(s) = s**3 + 4*s - 3. Let x be d(2). Solve 4*b = x - j for b.
3
Suppose 2*c = -c + 18. Solve 0 = -4*d + 2 + c for d.
2
Let y = -5 - -9. Suppose y*t = 9*t - 15. Suppose 0 = -t*o + o. Solve o = -5*g + 13 - 38 for g.
-5
Let v(s) = -s**2 + 7*s - 8. Let m be v(3). Solve 5 = m*i + 1 for i.
1
Let p = 10 - 8. Let d = -4 - -12. Suppose -p = -i + d. Solve -4*q = i + 2 for q.
-3
Suppose -2*m = -o - 4, -m = m + 5*o - 28. Let q(l) = -l + 8. Let y be q(m). Solve -y*a = -0*a - 8 for a.
2
Let m(d) = d**3 + 2*d**2 - 18*d - 5. Let v be m(-5). Solve 7*q - 2*q = -v for q.
-2
Suppose 0*f - 4*f = 5*q + 6, -3*f - 10 = q. Suppose 3*p - 31 = -2*r, -1 + 11 = 2*r. Solve -q + p = -z for z.
-5
Suppose -a - 13 = 2*b - 6*a, a - 3 = 0. Let i be b*27/(6 + -3). Solve -t - 2*t = i for t.
-3
Let r = 27 - 27. Solve 5*c + 3 + 12 = r for c.
-3
Let l(h) = -h**2 - 13*h + 16. Let q be l(-14). Solve -1 - 7 = q*x for x.
-4
Suppose 3*q = 2*q + 5. Solve -q*d - 4 = 1 for d.
-1
Let o = 57 + -55. Solve 0 = o*n + n for n.
0
Let z be 8*(2 - 1 - 0). Solve -3 = g - z for g.
5
Suppose -h - 5 = -2*h - 3*u, 3*h + 3*u - 9 = 0. Solve a + h*a = 3 for a.
1
Suppose 0 = -i - 2*w + 3*w + 87, 3*w = -2*i + 164. Let c be 2/(-8) - i/(-20). Suppose -4*y = -4*o - 8*y + c, -4*y = 2*o - 4. Solve -d = -o*d + 5 for d.
-5
Let g(j) = j - 4. Let s be g(6). Let d be -3*(-2)/(-2) - 0. Let n be (d/(-9))/(2/6). Solve -n = s*r - 9 for r.
4
Let y = 2 - -1. Suppose 5*b - 6*b + 7 = 0. Let g = b - y. Solve -5*z - g = 6 for z.
-2
Let v be (-2 + 3)*(7 + -6). Let n(i) = -i + 4. Suppose -17 = -2*p - 3*z, 2*p - z - 3 = 2. Let b be n(p). Solve 3*s - v - 11 = b for s.
4
Let k = 2 - -3. Let j(x) = 39*x**2 + 1. Let b be j(1). Suppose -3*m + b = 13. Solve -1 = -k*d + m for d.
2
Let h = -4 - 0. Let j = h + 8. Suppose -3*u - 8 = 2*l - 24, 12 = -j*l + 5*u. Solve o = -l*o + 3 for o.
1
Let k(p) = p**2 - p - 8. Let y be k(6). Suppose -2*o + y = 3*v, 0 = -5*o - 4*v - 0*v + 41. Solve o = -c - 0*c for c.
-5
Let x be 94/(-14) - 2/7. Let o = x - 3. Let i = o - -14. Solve 0 = -i*z - 14 - 6 for z.
-5
Suppose 5*s - 45 = 2*s. Solve -b = 2*b - s for b.
5
Suppose -3*f + 21 = -5*v, 2*f - 17 = 5*v + 2. Solve -n = f*n - 3 for n.
1
Let r(b) = -2*b - 8. Let v be r(-7). Solve h - v*h = 25 for h.
-5
Let n be (-2)/(-3) + (-44)/(-33). Suppose -8 = -n*q - 0. Solve 5*g - q*g = -2 for g.
-2
Let n = -1 + 1. Suppose -4*s = 5*d - 25, 2*d + n*d + 5*s = 10. Solve 5*f = d + 20 for f.
5
Let o be 1 - (-1 - -3 - 3). Solve -o + 14 = -4*m for m.
-3
Let h = 6 - -3. Let q = 17 - h. Let t(j) = j**3 - 8*j**2 + j - 8. Let y be t(q). Solve 2*f + y*f - 6 = 0 for f.
3
Suppose 5*v + 0*k - 15 = k, -30 = -5*v - 2*k. Solve 2*i + 0*i = -v for i.
-2
Let f(i) = -2*i + 3. Let g(a) = a - 2. Let y(v) = -6*f(v) - 13*g(v). Let o be y(6). Suppose 0 = o*z + 3*u - 15, -4*z + 2*u + 8 = 2. Solve -12 = -z*j - 0 for j.
4
Let j be (-2)/(-8)*(-6 - -34). Suppose -2*v + h = -v - 3, h + j = 3*v. Solve 2*a = 2 + v for a.
2
Suppose -4*h + 4 - 20 = 0. Let a = h + 6. Solve 0*j + 10 = a*j for j.
5
Let s = 3 - 1. Suppose 20 = s*d + 2*d. Suppose 9 + 6 = d*l. Solve -4*h - 1 = l for h.
-1
Suppose 0 - 2 = -z. Suppose -5*w + z = -13. Suppose w = 2*o - o. Solve -o*t + t = -10 for t.
5
Let v(t) = t + 3. Let j be v(-3). Let n = -10 - -22. Solve 3*w - n = -j for w.
4
Let j(c) = -c**2 - 6*c - 4. Let g be j(-3). Suppose 19 - 4 = 5*b. Suppose 0 = -2*t - 2*q, b*q + 1 = -2*t - 0*t. Solve -g*v - t = 19 for v.
-4
Suppose -u + i - 3 = 0, 0 = 4*u + 4*i + 5 - 33. Let t(m) = -m**3 + 6*m**2 + 2*m - 2. Let d be t(6). Let f = 11 + -7. Solve -f*a + d - u = 0 for a.
2
Let s be (-8)/(-60)*3*5. Suppose 5*i + 20 = 5*f + s*i, 3*f - 12 = i. Solve f = 3*n + 1 for n.
1
Let x be 8/10*105/14. Let d(y) = -y**3 + 5*y**2 + 8*y - 3. Let n be d(x). Suppose -3*p = -o - 13 - 1, -2*o - 8 = -p. Solve -p*s + n = -11 for s.
5
Suppose 6 + 38 = 22*v. Solve v*j + 5 = 9 for j.
2
Let u(v) = -8*v - 16. Let j be u(-4). Solve -5*d - j = 4 for d.
-4
Let a(s) = -s**2 - 8*s - 10. Let d be a(-4). Solve -5*w - d = 14 for w.
-4
Let i be (21/(-9) + 2)*3. Let z be (i/1)/(2/(-10)). Suppose z + 1 = 3*c. Solve -c*j - 2 = 4 for j.
-3
Suppose -4*c + 3*c = -2. Let b(l) = l - 6. Let h be b(8). Suppose -h*j + 3*o = -j - 17, c*j = 3*o + 19. Solve -s - j = -1 for s.
-1
Let x(n) = 4*n + 4. Let l be x(9). Let o(q) = -q**3 - 16*q**2 + 17*q. Let a be o(-17). Let k be (-154)/(-10) - 4/10. Solve 5*r - k + l = a for r.
-5
Let j(t) = t + 1. Let y be j(2). Suppose 4*g = 3*v + 10 + 3, 1 = g. Let x = y + v. Solve r + r = x for r.
0
Suppose 0 = -2*l + 2*t + 14, -2*t = -2 + 10. Let b be 8 - (0 + 0) - l. Suppose 0*j = -b*j. Solve 0 = -j*z + z - 5 for z.
5
Suppose 3*u - 5*u + 4 = 0. Solve 0 = -4*q + 5*q - u for q.
2
Suppose 2*a - 18 = -a. Let t = a + -3. Suppose -25 = -t*k + 4*x, 3*k - 7 = -2*k - 2*x. Solve -w - k*w = -20 for w.
5
Let m(z) = z**2 - 7*z + 3. Let j be m(7). Suppose 0 = j*i - i. Solve i = 3*d - 0*d - 9 for d.
3
Suppose -13 = 2*h - 37. Solve 3*o + 0*o = h for o.
4
Let o = -191 + 197. Solve q - o = 3*q for q.
-3
Suppose 0 = -73*h + 76*h - 9. Solve h = 3*v - 4*v for v.
-3
Suppose -2*x - 1 = -h, 0*h = 2*h - 5*x. Solve -h*o + 0*o = 10 for o.
-2
Let q = -12 + 22. Solve -3*o + o - q = 0 for o.
-5
Let z(p) = 7*p**2 - 9*p**2 + 3*p**3 - 2*p**3. Let c be z(3). Suppose -3*x + 2*x = 2*h - c, -2*h = 5*x + 11. Solve 0 = -h*r + 3*r - 16 for r.
-4
Let q = -5 - -4. Let n = 1 + q. Solve -3*h - 3 = -n for h.
-1
Suppose -3 - 9 = -2*f. Solve 4*a - f = 6*a for a.
-3
Let j = 19 + -17. Solve -5*s + j*s = 6 for s.
-2
Suppose -f + 0*r = -4*r - 51, -5*r + 85 = 3*f. Let a = 2 + -2. Suppose a*l + 5*l - f = 0. Solve 0 = -3*y + 2 + l for y.
3
Let b be (15 - 3)/((-6)/(-4)). Let t = 16 - 4. Let w = -10 + t. Solve -b = -w*g + 2 for g.
5
Suppose 97 - 31 = 2*l. Suppose -4*h + l = 3*v - 59, -5*h - 4*v = -116. Solve c + h = 5*c for c.
5
Let i be 4/3*(0 -