r = -5*n + 10 for n.
5
Let z be (3/(6 + -15))/(2/(-12)). Solve 4*h + 6 = z*i + 30, 4*h = -i + 18 for h.
5
Let n(r) = -2*r - 2. Let t be n(-2). Solve z + 2*h = t, 3*z = 2*h + h + 6 for z.
2
Let n = 4 + 4. Solve 3*g + 2 = 2*a - 1, 0 = -3*a + g + n for a.
3
Suppose 0 = -4*j + 5*f + 44, 4*f + 6 + 4 = -j. Solve -p - 3*g - j = -8*g, 2*p + 5*g - 18 = 0 for p.
4
Let u be (-5)/(-20) - (-2)/(-8). Suppose 3 = -4*p - 4*o - 1, u = -p + 2*o + 11. Solve 5*a - 7*h + p*h = 0, 0 = 5*a + 3*h for a.
0
Let t(a) = -4*a - 8. Let x be (-1)/(-2)*(-6)/3. Let f be (x/(-1))/(2/(-14)). Let z be t(f). Solve 3*k + k + 5*d = 23, 4*k = -4*d + z for k.
2
Let a be (-1)/(10/3 - 3). Let x be (-5)/(-2) - a/2. Solve -5*f - 8 = -2*t, 0 = -x*t - 4*f + 16 for t.
4
Suppose 4*g = g - 2*s - 42, -28 = 2*g + 5*s. Let t be (-7)/(g/4) - -2. Solve -h = -0*h - 5*k - 22, 0 = -t*h + 3*k + 3 for h.
-3
Suppose 2*f - 3*t - 3 = -f, 4*f - 2*t - 6 = 0. Solve -2*v - b = 13, b + 8 = f*v - 3*v for v.
-5
Let s = 190 - 172. Solve 3*y = 3*d - s, -9 = -d + 2*d + 4*y for d.
3
Suppose 5*a + 5*t + 26 = 91, t = 2*a - 14. Let g be (3 - 1) + -3 - -5. Solve -g*j + a = 4*y + 49, 2*j = -y - 15 for j.
-5
Suppose -3*h - 3*a + 19 = -92, 3*a = h - 33. Let s = h - 20. Suppose 4*p - s = 0, -1 = -2*u + 2*p + 1. Solve -5*m - 20 = u*x, m + 12 = 3*x - 4*m for x.
-1
Let m = 16 + -4. Suppose 3*u = -u + m, s = -5*u + 18. Solve 2*b = -3*p + 2, s*b - 8 = 2*p + 2*b for p.
-2
Let w be (-4)/10 + 36/15. Solve -w*m = -4*z - 0*m - 26, -3*m = -2*z - 23 for z.
-4
Let z(b) = -b**3 - 17*b**2 - 18*b - 32. Let o be z(-16). Let m = 7 - 4. Solve 0 = 3*y - p - 4 - m, y + 5*p + 19 = o for y.
1
Suppose 5*g - 16 = -1. Suppose 2*v + r - 18 = 0, 5*v - 57 - g = 5*r. Suppose 2*y = -0*y + v. Solve -p + 5*a = 6 + y, -5*a + 12 = -2*p for p.
-1
Let x(l) = -l**2 - 4*l - 1. Let r be x(-3). Let o be 4/16*(-3 + 3). Suppose 3*p - 12 + o = 0. Solve -p*g = 2*z - r + 4, 17 = g + 4*z for g.
-3
Let h = 6 - -2. Let i(k) = -k**2 + h*k + 4 + 2*k**2 - 2*k**2 - 1. Let t be i(8). Solve -2 + 7 = -y, -t*v + 3*y = 0 for v.
-5
Suppose 9 = -m + 4*m. Let o be 2 - (m - (-2 - -3)). Solve -6 = -2*s + p - 5*p, -3*s + 5*p - 2 = o for s.
1
Let j be 1215/(-75)*10/(-6). Let c(a) = a**2 + 5*a + 3. Let k be c(-5). Solve 0 = 2*s + 2*s - k*g + 7, 3*s + 5*g + j = 0 for s.
-4
Let v = 14 + -6. Let d(m) = m**2 - 9*m + 11. Let o be d(v). Let f be o + 1*4/2. Solve -f*q - 8 = -4*z - 1, -7 = 2*q - 3*z for q.
1
Suppose 4*x - 2*x = 4. Suppose 0 = -3*n + 2*n + x. Solve 0 = -5*k + 5*y + 35, -n*k - 5*y = 3*k + 15 for k.
2
Suppose 2*h - 3*h + 2 = 0. Suppose -3*u + h*u = -6. Suppose f = -u + 41. Solve -y = 5*i + y - 15, -5*y - f = -2*i for i.
5
Suppose -29 = -5*z - 0*i - i, 3*z + 5*i - 35 = 0. Solve z*a = 3*r + 29, a + 3*a - 19 = r for a.
4
Suppose -15 = -4*w + 5. Let n(q) = -q**3 + 7*q**2 - 6*q + 5. Let d be n(6). Solve -7 = -2*c + w*i, d*c + i + 26 - 3 = 0 for c.
-4
Suppose 0 = -3*o - 7 - 2. Let g be (88 - -3 - o) + 2. Suppose 3*s = g - 27. Solve 0*l - s = 5*j - 3*l, -j - 5 = -l for j.
-4
Let s be 7/4 + (-7)/(-28). Let n = 3 - s. Solve 0 = -4*c + l + n - 14, -7 = c + l for c.
-4
Let f(r) = -r + 22. Let u be f(18). Solve -c - 3*g = -17, 4*c - u*g + 10 = -c for c.
2
Let k(l) = -32*l - 4. Let y be k(-2). Suppose -4*w = w - y. Solve b + 4*d + 2 - 11 = 0, -3*b + d - w = 0 for b.
-3
Let d be 9/(-2)*18/(-27). Solve w = 5*r + 22, -r + d*w - 17 = -7 for r.
-4
Let y be 16/7 + 2/(-7). Let l = 11 - 9. Solve 4*j + l*a = 4 - y, -5*a = -j + 28 for j.
3
Let z be (-7)/(70/6)*-5. Solve -s + 2*v = -3, 4*v = s + v - z for s.
3
Let h be (6/4)/((-12)/(-64)). Let o be 1/2*1*h. Solve -o*z + 4 = -7*z + n, -4*z + 4*n + 8 = 0 for z.
-3
Suppose 5*x - 32 = -12. Solve -x*z - 8 = 4*f, -2*z - 3*z + 20 = -5*f for f.
-3
Let u = 156 + -156. Solve 0 = 5*s + n + 9, -s + 3*n = -u*s - 11 for s.
-1
Suppose 4*g - 2*a - 4 = 0, -a - 1 = -3. Suppose 0 = -2*r + r + g*n - 4, -32 = -4*r - 4*n. Solve 2*k = -3*q + k + 5, 4*q - 12 = r*k for q.
2
Suppose 3*w - 40 = -2*w - 3*f, -4*w = -5*f - 32. Solve 3*d - 3*k + 16 = d, -w = -4*k for d.
-5
Let n be (6/(-4))/((-3)/4). Let y be (2 + 2)*3/4. Solve h = y*m + 20, 2*h = n*m + 2*m + 30 for m.
-5
Let c(j) = -2*j - 8. Let t be c(-6). Suppose -z = t*z + 15. Let u = z - -7. Solve -u*a + 21 = -5*f, -2*f + a = 2*f + 8 for f.
-1
Suppose -4*h = -3*h - 3. Let f be 1*-19 - (2 - h). Let x be (-1)/(-2 + f/(-10)). Solve 5*b + t - 2*t = x, 3*b = -4*t + 3 for b.
1
Let f(i) = i**2 - i + 6. Let n be f(0). Let u be 5/(-5)*(n + -1). Let b(l) = -6*l - 4. Let t be b(u). Solve -2*y - 10 = 0, 2*a = 4*y - 2 + t for a.
2
Let c = 14 - 3. Solve -4*s - 1 = -x - c, -s + 12 = -5*x for x.
-2
Suppose 5*s - 47 = -5*i + 2*s, 51 = 5*i - s. Suppose -r - 2*h + 8 = -5*h, 4*r - h = 21. Solve 5*l - r*y - i = 0, 2*l + 2 = 3*l + 5*y for l.
2
Let z = -4 - 5. Let o be (-29)/z + (-4)/18. Solve 0 = -4*g + o*t - 9, 0*g - 12 = 4*g - 4*t for g.
0
Suppose 0*c - 2*c + 21 = 5*j, -j + 3*c + 11 = 0. Solve 2*l = -3*z - 14, z + 2*l = l - j for z.
-4
Suppose 4*u + 2*h - 14 = -4, 0 = 3*u + h - 7. Solve b = -u*n + 4*n + 9, -2*b + 2*n = -12 for b.
3
Let n(f) = 3*f - 19. Let o be n(7). Solve -t = -z + o, 3*z + 5*t - 24 = 2*t for z.
5
Let i = -9 - -14. Solve i*u = 0, u - 6*u + 10 = -5*v for v.
-2
Suppose -3*z = -9, -24 = -2*d - d - 4*z. Solve 5*j - d*h = -0*j + 15, 2*j = -3*h - 17 for j.
-1
Let r be 0 + -1 + 1/(-1). Let g be (10/(-8))/(r/16). Let z = g + -7. Solve -3*d - 6 = 0, -x - z*d - d - 8 = 0 for x.
0
Suppose 4*g - 6*g + 36 = 0. Let r be (-27)/2*(-12)/g. Solve -5*w + r = -2*z - 11, 4*z = 2*w - 8 for w.
4
Suppose -4*a + 24 = 4*u, 4*u - 24 = -5*a + 10. Let w(i) = i**3 - 10*i**2 + 9*i + 2. Let f be w(9). Solve -2*b - 5*c + a = 0, -3*b - f*c = -4 - 0 for b.
0
Let n(q) = q - 7. Let j be n(6). Let u be (-112)/(-21) + j/3. Solve -u*z - 5 = 20, -15 = t + 3*z for t.
0
Let o be (-2 - -2)/(-1) + 4. Suppose 2*x = 4*x + o*w - 12, 2*x - 2*w - 18 = 0. Solve -2*n + 0 = -2*v + x, 0 = 5*n + 15 for v.
1
Suppose l - 33 = -2*l. Let a(k) = -k**3 - k**2 + 4*k - 1. Let b be a(-3). Let h = -19 - -39. Solve -2*c + 7*c + b*d = -h, c - 4*d = l for c.
-1
Let w(p) = -2*p - 18. Let o be w(-15). Let f = o - 7. Solve b + 6 = -4*a - b, 40 = -f*a + 4*b for a.
-4
Let s(p) = -p - 8. Let o be s(-11). Suppose -3*l - o*h = -30, -41 = -4*l - 3*h - 0*h. Let x be l/9 - 10/45. Solve -3*a - 6 = -b + x, -5*a - 13 = -b for a.
-3
Suppose 3*a + m - 4 = 3, -a = -2*m. Solve 4*w = -7*d + 2*d - 12, 2*d + 12 = a*w for w.
2
Suppose -2*w - 19 = -63. Solve i = -r + 2, -2*i + 4*i - w = 4*r for r.
-3
Let m = -67 - -72. Solve i + 0 = m*g - 18, -3*g = 5*i - 22 for g.
4
Suppose 0*j = j + 3*h + 19, 3*j = -h - 33. Let b = 15 + j. Solve -4*q - 31 = -3*r, -15 = b*q + r - 0 for q.
-4
Suppose 5*n = 2*u - u + 28, 22 = 2*n + 5*u. Solve 5 = 5*k + 4*b, -3*b = -3*k - 30 + n for k.
-3
Suppose 2*p + 9 - 29 = 4*r, 4*p + 4*r = -20. Solve -3*v = 2*i + 2*i + 6, -2*i - 4*v - 8 = p for i.
0
Let s = -15 + 17. Solve -v - 18 = g + 3*v, -s*v = -2*g + 14 for g.
2
Suppose 3*m = m + 28. Solve -4*g + 2*s - m = -0*s, -2*s + 12 = -3*g for g.
-2
Let p = -4 - -9. Suppose -5*i - 24 = 4*m - 9, -p*m + 15 = -5*i. Let j be (-4)/8*(0 - m). Solve j = 3*y - 6, -4*r - y = 4*y - 18 for r.
2
Suppose -x + 3 - 2 = -j, -3*x = j + 1. Let v(c) = -c + 4. Let g be v(x). Solve 4*a = 3*q + 2 + 5, g*q - 8 = a for a.
4
Let f be (-1)/(-8)*4*6. Solve 0*w + f*q = 2*w, 2*q = 5*w + 11 for w.
-3
Let h = -60 - -40. Let y = h - -25. Solve -f - y*n + 0 = 22, f + 4*n = -17 for f.
3
Suppose 0 = 3*w + 2*b, 3*w + b = w. Let s = 2 - w. Let y = 1 - -3. Solve -4*f + 5*j = 15, -y*j + 9 = -s*f + 3 for f.
-5
Let v be (-3)/(-1) - (-9)/(9/10). Suppose 2*r - 4*r + 6 = 0. Suppose -r*c + 13 + 54 = 5*p, -2*c + 44 = 4*p. Solve 3*u = -b - v, 4*u + 4*b = -u - c for u.
-4
Suppose -c - 4*p + 2 = -1, -p = 0. Solve 29 - 7 = -5*w - y, c*w - 2*y = -8 for w.
-4
Let t(h) = h + 3. Let f be t(7). Suppose f = -3*s + 25. Solve 0 = 5*d - 5*x - s, x = 2*d - 6 + 1 for d.
4
Let s(o) = -o**2 - 4*o - 3. Let m be s(-2). Suppose 2*z + 1 = -m. Let l be (2 - z) + (0 - -1). Solve 4*y + l*j - 12 = 0, y - 3*j = 3*y - 10 for y.
-1
Suppose -2*p + 10 = -0. Solve -2*g - 1 = -w, 2*w + p*g + 16 = -0*w for w.
-3
Suppose 3*c = 6*c + 6. Let x be 41/4 - c/(-8). Solve -5*a - l - l - x = 0, 0 = -a - 4*l - 2 for a.
-2
Suppose 0 = -3*y - 