 + 10. Solve 3*z - y = g for z.
2
Let p be (-8)/4 - (2 - 6). Suppose -4*n - p*a - 10 = n, 2*a + 10 = 4*n. Solve l + n = 1 for l.
1
Let b be (4 + -2 + 0)/((-6)/(-12)). Solve 3 = b*q - 5 for q.
2
Let h(q) = -q**3 + 5*q**2 + 4. Suppose -17 = -5*v - r, 0*r - 2*r + 10 = 2*v. Suppose -v*k + 6 = -9. Let c be h(k). Solve -2 = -3*s + c for s.
2
Suppose -56 - 57 = -5*c + 2*v, -5*v + 5 = 0. Solve 0 = 4*i + 3 - c for i.
5
Let i be 4*-1 - (-90)/9. Solve 0 = j - 3*j + i for j.
3
Let j = 33 - 31. Solve -o + 1 = j for o.
-1
Let r(s) = -s - 4. Let v be r(5). Let z(c) = -c**3 - 10*c**2 - 5*c + 3. Let u be z(v). Let q be (-1 + u/(-15))*5. Solve -5*d + 21 - q = 0 for d.
3
Let u = -30 - -32. Solve u*r + 0*r = 0 for r.
0
Let s(u) = -u**3 + 4*u**2 + 3. Let c be s(-3). Suppose 3*x = -3*j - 135, -j = j + 3*x + 90. Let a = c + j. Solve -a = -5*y - 1 for y.
4
Let y be (36/45)/(4/10). Suppose -5 = o + y*w - 3, -o - 10 = 4*w. Solve -o - 6 = -4*f for f.
3
Suppose 7*t - 17*t - 30 = 0. Suppose d = -3*d + 4. Let p be (t/(-6)*0)/d. Solve p*b - 2*b = -10 for b.
5
Suppose 5*x - 6*x = -4. Solve 0 = x*o - 8 - 0 for o.
2
Let h = -13 + 24. Let r = -11 + h. Solve r*o + 10 = 2*o for o.
5
Suppose 0 = 5*q - 3*k + 80, -22 = q - 2*k + 1. Let d = 17 + q. Solve b + 0 = -d for b.
-4
Let b be ((-16)/10)/(4/(-10)). Let n = 5 + b. Solve 0 = -2*s - s - n for s.
-3
Let v = -11 - -13. Suppose 3*k + j = 8, -v*k - k - 2*j + 4 = 0. Solve 5*y - y - k = 0 for y.
1
Suppose 3*w + 25 = -4*m + 2*m, 0 = 4*m - 4*w. Let s be -2*((-4)/1)/(-1). Let d = m - s. Solve i + 2 = d*i for i.
1
Suppose r + 3*r = -5*n + 20, r = 5*n + 30. Let y = r - 7. Let s(w) = -w - 4. Let b be s(-4). Solve 0*i - y*i = b for i.
0
Let c = 8 - -2. Suppose s + c = 2*s. Solve 4*t + 2 + s = 0 for t.
-3
Suppose c - q - 6 = 0, 4*q = q - 12. Solve -c*g - 5 = -3 for g.
-1
Let f be -28*((-21)/6 + 4). Let z be (14/3)/(2/(-9)). Let p be (-214)/f - (-6)/z. Solve 4*k = -k - p for k.
-3
Suppose -3*o - 3*w + 8*w + 24 = 0, 3*o = -3*w + 24. Solve -g + 9 - o = 0 for g.
1
Suppose 0 = -4*r + 7*r - 6. Suppose 10 = r*u + 2*a, -3*a = -2*u + a - 20. Solve -4 = g - u*g for g.
-4
Suppose 3*q = -0*q. Let c = 33 - 23. Suppose 0*u - 5*u = -c. Solve q = -u*l - l + 3 for l.
1
Let w be 6*(2 - (-2 + 3)). Let v be w/(-4)*(0 - 2). Solve -v*b = 2*b - 5 for b.
1
Let y be (8 - 10)/(1 - -1). Let i(m) = 3*m**2 + 2*m + 1. Let h be i(y). Solve 4*k - h = 6 for k.
2
Let v = -82 + 86. Solve -5*a = -1 - v for a.
1
Suppose 0 = 4*o + 5*v + 1 + 2, o - 2*v - 9 = 0. Let r be (2/6)/(o/18). Solve r - 4 = p for p.
-2
Suppose 7*a = 2*a - 5. Let p = a - -5. Solve -2*x + 0 = p for x.
-2
Suppose 5*d + 5*y = 30, 3*y - 21 = -5*d + y. Solve -8*n = -d*n + 15 for n.
-3
Let z(h) = -h**2 - 11*h - 13. Let x be z(-6). Let l = 19 - x. Solve t = -l*t for t.
0
Let r = 12 + -14. Let k(u) = -u + 2. Let j be k(r). Solve -j*d - 5 = -1 for d.
-1
Let c(d) = d - 2. Let n be c(2). Suppose n = -x + 4 - 1. Let r = x - -1. Solve -2*m = -r*m - 8 for m.
-4
Suppose 3*d + 270 = 8*d. Let c be d/13 + (-12)/78. Solve 0*u + 8 = c*u for u.
2
Let x be ((-1)/(2 - 1))/((-2)/6). Solve x*h - 8 = 4 for h.
4
Let x(y) = -y**3 - 6*y**2 + 4*y + 3. Let c be x(-3). Let u be c/48 - 23/(-4). Solve 17 - 42 = u*z for z.
-5
Let c be 4/(-20) + 32/10. Suppose 3*f = -5*h - 0*f + 17, 4*h = c*f + 19. Solve i + h = 2*i for i.
4
Suppose -2*h - 6 = -3*x, -h + 5*x - 10 = -2*h. Suppose -m + s = -4, -4*s = m - 2*m + 10. Solve h = -k + m for k.
2
Let o(x) = -14*x + 42. Let p(u) = 5*u - 14. Let a(i) = 4*o(i) + 11*p(i). Let n be a(13). Solve -5*y + 6*y + n = 0 for y.
-1
Let q be ((-42)/(-70))/((-1)/(-5)). Solve n - 2*n = q for n.
-3
Suppose -16 = 3*u - 4. Let q = -1 - u. Solve 0 = -5*t + 2*t - q for t.
-1
Suppose 4*p = -f - 14, p + 22 = 3*f - 3*p. Suppose j = -0*m - f*m + 20, -4*m = -j - 10. Let b = 16 - j. Solve 3 = -3*t + b for t.
1
Let r(a) = a - 1. Let h be r(4). Suppose -h*t = 15, 3*t = -5*z - 15 + 5. Suppose v = 5 - 2. Solve d + z = v for d.
2
Let t = -4 - -8. Let p(f) = -4*f**2 - 21*f - 2. Let k be p(-5). Solve -k = i - t*i for i.
1
Let d be (2/3)/(4/12). Suppose 40 = 5*t + 5*i, 4*i = 5*t + d*i - 12. Suppose -2*y - q + 9 = 0, 2*q = y - 7 - 5. Solve y = -l + t*l for l.
2
Suppose 4*l + 15 = 3*h, -l + 0*l - 4 = -h. Solve -5*f - 9 = h for f.
-2
Let o(d) = d**3 + d**2 + 1. Let b be o(0). Suppose -b = -i + 4. Solve i = -5*v + 20 for v.
3
Suppose s - 1 = 1. Suppose 4*j + s*z = 6, 3*j = 2*j - 4*z + 5. Solve 4*a = j + 3 for a.
1
Let l = -1 - 4. Let q be 12*2/(1 - l). Solve 0 = q*b - 5*b - 1 for b.
-1
Suppose -33 = -3*x - 5*k, 5*k + 3 = -0*x + 3*x. Suppose -2*i + 6 = -x. Solve i = -q + 3*q for q.
3
Suppose -3*k - 4*c = -14, 3*k + k - 12 = -2*c. Suppose 6 = 2*t - 2. Suppose -t*z = -3*z - 5. Solve -k*n = -z*n for n.
0
Let w = 16 + -14. Suppose -2*i - u - 9 = -7*i, 3*i - 8 = -w*u. Solve -4*l + 8 = -i*l for l.
4
Let h(m) = 4*m**2 + m - 1. Suppose 0 = -3*r - 6 - 3. Let z be 1 - (3/r - -1). Let p be h(z). Solve -p = -b - 3*b for b.
1
Let d = 15 + -15. Solve 0 = -4*c - d*c for c.
0
Suppose 4*h + 0*i + 3*i = 21, -5*i = -2*h - 9. Let m = h - -1. Suppose 3*z = 2*f + 37, 2 = 2*f + 12. Solve z = m*b - 3 for b.
3
Let h be ((-2)/(-6))/((-2)/(-30)). Suppose -2 = h*s + 3. Let l = s - -3. Solve 0*k = -l*k - 8 for k.
-4
Let y(a) = -2*a. Let t be 8/(-2) + (-6)/(-3). Let z be y(t). Solve -2*o + z = 2*o for o.
1
Let h be -1 + 0 + (0 - -3). Suppose 0*f - 2*f + h*n = 0, 0 = 2*f + 2*n - 16. Suppose 2*x + i = -x + 2, i = 2*x + 2. Solve -4*b - f - 4 = x for b.
-2
Let h = 10 + -4. Suppose 3*u + h + 6 = -4*g, -u - 5*g = 4. Let y = u + 6. Solve -y*l - 12 = 2*l for l.
-3
Let h = 19 + -11. Suppose 0 = -o - 3 + h. Solve -2*w - o = -3*w for w.
5
Suppose 0*w - 3*w = -9. Suppose -w*x + 7 = 1. Solve -x = 3*d - 4*d for d.
2
Let b(n) = -3*n + 1. Let g be b(-2). Suppose 4*i + 3*y = -g, -5*i = y - 0*y - 5. Solve -a = -i*a - 4 for a.
-4
Let t be 4/(-6) + (-38)/6. Let l = t - -12. Solve -l = -k - 1 for k.
4
Let s be ((-4)/3)/((-8)/12). Suppose s*g - 5*g + 12 = 0. Solve -3*u - 8 = g for u.
-4
Suppose n = -2*v + 14, -9 = -5*v + 4*n - 0*n. Let z(p) = p**2 - 4*p - 3. Let s be z(v). Suppose 4*l = s*l. Solve -2*y - 2*y = l for y.
0
Let m be (-3 - 0)/(1/5). Let a = m + 10. Let o be 0*2/6 - a. Solve 0 = -t + o - 4 for t.
1
Let w(y) = -y. Let i be w(-1). Let u = 1 + i. Solve -7*p = -u*p for p.
0
Let o(s) = s**3 + 4*s**2 + 3*s + 3. Let x be o(-3). Let t be 15*((x - 1) + -1). Let a be (-26)/(-6) - 3/9. Solve -a*c = -c - t for c.
5
Let q(p) = 2 - 6*p**2 + p**3 + 4 - 7*p + 2. Let o be q(7). Let h = 17 + -12. Solve -w = -h*w - o for w.
-2
Suppose -6*r = -3*r. Let l = 7 + r. Solve l = 5*x - 13 for x.
4
Let l be (54/24)/((-6)/(-8)). Solve -l*m - 3 = -2*m for m.
-3
Suppose 3*w + 2*h + 3 = 13, 2*w = -2*h + 8. Let s be (-16)/(-6) - w/3. Suppose u + 3 - 31 = -5*t, 0 = -3*u - 2*t + 19. Solve -u - 3 = s*r for r.
-3
Let j(m) = -m + 10. Let g be j(8). Suppose -7*k = -g*k - 20. Solve k*s - 2*s = 0 for s.
0
Let o = -4 + 10. Let c(w) = 2*w + 10 - 3*w - 3*w + 3*w. Let i be c(0). Solve i = -o*t + t for t.
-2
Suppose -2*o = 5*w - 7, -3*o = -2*w - 8 + 26. Solve -9 = -0*x + w*x for x.
-3
Suppose 0 + 6 = 3*l. Let k = -1 + 10. Let m(i) = -i**3 + 9*i**2 + i - 3. Let j be m(k). Solve -l*f = -j + 2 for f.
2
Let w be (1 + -1)*1/2. Suppose w*s + 2*s = 8. Solve -2*t + 10 = s for t.
3
Let n be (-4)/(-16)*4 + 3. Solve n*o + 0*o - 4 = 0 for o.
1
Let p be 4/22 - 155/(-55). Suppose p*z = 4*z. Solve 2*h + h - 6 = z for h.
2
Let s(q) = -q**3 - 6*q**2 + 2*q + 5. Let y be s(-6). Let v = -3 - y. Solve -j - j = -v for j.
2
Suppose 0 = m + a + 9, 0*a = 5*m + 3*a + 51. Let t be m/30 + (-104)/(-10). Solve -f = f + t for f.
-5
Suppose 2*d - 2 = 2. Let f(n) = 4*n - 1. Let y be f(d). Solve -2*u = -y*u for u.
0
Let z = -89 - -93. Solve 6 = -z*j - 2 for j.
-2
Suppose -4*x = h - 205, 5*x + h = -3*h + 270. Suppose -6*b + x = -b. Solve 2*z = -3*z + b for z.
2
Suppose -23 = -5*v - 4*y, -10*v + 5*y - 1 = -7*v. Solve 0 = 5*i - v - 7 for i.
2
Suppose 0 = -2*m + 5*m - 6, 0 = 5*w - 2*m - 6. Solve 3 = 5*r - w for r.
1
Let l be 3/(-5) - (-368)/80. Solve l*t - 1 = 3 for t.
1
Let w be 23/(-7) + (-4)/(-14). Let f be -5 - 2*4/(-8). Let i = w - f. Solve i = 2*a + 11 for a.
-5
Suppose -q + 0*q + 40 = 0. Let m be 2*(2 - (-1 - -1)). Suppose -m*j = -2*d - 24, -j + 5*d + q