r + 2*u - 5, o*u + 9 = r - 1 for r.
-5
Let f be -2 + (1 - -1) + 5. Let m be (-16)/40 + 164/10. Solve 0 = 4*x - 3*s - m - 1, f*s + 15 = 0 for x.
2
Let o(y) = y**2 - 11*y - 18. Let k be o(13). Solve c = -f + k, 0*f - 2*f = -3*c + 4 for f.
4
Let f(u) = u + 10. Let z be f(-10). Solve 0*n = 3*w - 3*n + 18, 5*w + 4*n + 12 = z for w.
-4
Let x be (0 + 1)/((-19)/(-76)). Solve -5*m = p - 25, 0 = 2*p + 3*m - x - 11 for p.
0
Let w = 2 - -2. Suppose -6*x = -2*x. Let b = w - x. Solve 2*g + 3*f - 2 - 1 = 0, b*g + 3*f = -3 for g.
-3
Let v(j) = j**2 - 5*j - 1. Let t be v(6). Suppose -3 = t*q + 2. Let y be ((-6)/(-7))/(q/(-7)). Solve o = -4, -o + y = 2*b - 0*o for b.
5
Let j = 61 - 61. Let b = 9 - 4. Suppose 2*y - b*a - 22 = 0, a - 68 = -4*y - a. Solve 3*i = 4*i - 4, j = -4*x + i - y for x.
-3
Suppose -2*k = -3*k + 5. Suppose i - 3*w - 15 = 9, 2*i + 4*w - 18 = 0. Solve i = -z + k*f, -3*z - 5*f + 25 = -2*z for z.
5
Let g(b) = 5*b - 11. Let y be g(8). Let f = 0 + y. Suppose 0 = 3*u - f - 28. Solve 3 = -o - 0*o, u = -5*n - 3*o for n.
-2
Suppose 2*o - 14 = -0*o. Suppose o = f - y, 0*y + 4*y + 25 = 3*f. Solve -f*h - 3*u - 15 = 0, -h = h + 3*u + 15 for h.
0
Let h = -8 - -13. Suppose -c = -1, -2*f + 4 + 3 = c. Suppose n + 0*n = -x + h, -f*x + 13 = n. Solve -x*k + 2*m - 6 = 0, 8*m - 3 = -2*k + 3*m for k.
-1
Let m = 36 + -32. Solve -1 - 3 = 4*p - c, m*c + 16 = 0 for p.
-2
Suppose 4*s + 40 = 5*w, 4*w = -w + 3*s + 35. Suppose 0 = w*g - 7 - 1. Solve -g*z = 0, z + 4 + 5 = -3*v for v.
-3
Let s be 165/35 + 4/14. Let t = -8 - -1. Let l = -3 - t. Solve s*h + 22 = 4*z + 3, 8 = -l*h - 4*z for h.
-3
Suppose 5*i + 28 = p, 5*p - 23 = i - 3. Solve 5*c - p*c + 4*v = 26, c - v + 2 = 0 for c.
3
Suppose -4*y + 4*m + 39 = -9, 3*m = -15. Let x be (y - -1)*(0 - -1). Solve 3*u = k + x, -5*u + 13 = k - 3 for k.
1
Suppose -5*b = -0*b + 15. Let t(k) = -k**2 - 4*k + 2. Let h be t(b). Solve -4*g - 3 = 2*j + 3, 0 = -h*j - g + 3 for j.
1
Suppose 0 = 8*b - 95 - 17. Solve 3*k + 3 + b = -2*n, 0 = -2*k + 2*n - 8 for k.
-5
Suppose 0 = -5*m - 15, -6*m = -3*w - 3*m + 9. Solve 2*y = p - 8, w = -9*y + 4*y + p - 17 for y.
-3
Let y be (0 + 2)*(-3 - (-65)/10). Solve 0 = v + 3*b - b - y, 0 = 5*v + 4*b - 11 for v.
-1
Let c = -1 - -5. Suppose -i + c = -2*g + 3*g, -14 = -3*i - 4*g. Suppose -i*l + 7*l = 50. Solve -t = 2*s - 5 - 0, 2*s = l for t.
-5
Let f(k) = -k + 1. Let y be f(-1). Suppose -y*h + 5*i = 6, h - 3*i + 3 = -6*i. Let w = -1 - h. Solve -o + w = 2*u - 1, 4*o - 3 = -5*u for o.
-3
Suppose 0 = c + 2*c - 24. Let m be c*((-15)/6 + 2). Let s = -1 - m. Solve 0*t - t = s*z + 8, 0 = 5*t - 2*z + 6 for t.
-2
Suppose -i - i + 10 = 0, 2*a = 3*i - 9. Solve -n - q = -2*n, -a*n - 5*q = -8 for n.
1
Suppose o = -0 + 2. Let j be (-1 + (-3)/(-3))/o. Solve -2*i + 2*v = j, 4*i - 2*v - 2 = -0 for i.
1
Let x be ((-3)/4)/(2/(-48)). Let q = x + -13. Suppose 0 = -s + 14 + 21. Solve y = 4*k + 17, k = q*y + 5*k + s for y.
-3
Let q be (-15)/(-2)*(-24)/(-18). Let z = q - 5. Let m(v) = v**3 + 2. Let u be m(0). Solve 0 = g - u*n + 4, z*n + 0*n = g + 13 for g.
2
Let u = -3 + 7. Let n be 42/u - 2/4. Suppose 0 = -4*c - c + n. Solve 2*l + 3*d - 10 = 0, -c*l + 0*d = 4*d - 10 for l.
5
Suppose -4*q + 4 = -4. Solve -2*k - 5*x + 23 = -3*k, 5 = k + q*x for k.
-3
Let l be 18/3*(-3)/(-2). Suppose 4*c + 7 = 5*w - 12, w = -3*c. Suppose 0*d - l = -w*d. Solve 9 = -z - 3*z - 3*i, -d*z - 7 = 2*i for z.
-3
Let n = -20 + 22. Solve -5*m = 2*o + n - 1, 0 = -2*m - o - 1 for m.
1
Suppose 0 = 8*i - 4*i - 128. Suppose k - 2*p - 8 = -p, -k - 5*p + i = 0. Solve -3*q + 21 = 3*n, -n + k = 3*q - 1 for q.
3
Let u(m) = -m**3 - 3*m**2 - 3. Let r be u(-3). Let b be (1 + -1)/(r + 1). Solve 4*d + 11 = -3*v, 2*d - v = -b*v - 13 for d.
-5
Let r(h) = 2*h - 4. Let b be r(5). Suppose 26 - b = 4*y. Let f = -5 + 9. Solve 0 = -y*x - f*t, 2*x + 2*t = -1 - 1 for x.
4
Suppose -6*c + 64 = -2*c. Solve -5*u = 4*y - c, 0 = 5*y + 2 + 3 for u.
4
Let d = 159 + -156. Solve -s = 4*u + 4 + 4, 2*s = d*u + 6 for s.
0
Let f(h) = -h**2 + 8*h - 5. Let n be f(7). Suppose 3*t - 2 = -0*w - n*w, -w + 4 = 3*t. Let p = w + 7. Solve p*b = -u + 30, -3*b - b = 5*u - 45 for b.
5
Suppose 4*g - 11 = 21. Let k be (5/(-4))/((-2)/g). Solve 0 = -k*y, 0*z - z + 4 = y for z.
4
Suppose 97*a - 148 = 93*a. Suppose -3*v = v - 56. Solve -a = -4*i - 5*l, 0*i - v = -3*i - l for i.
3
Let d(n) = 5*n - 2*n + n**3 - 3 - 5*n**2 + 3*n**2 + 0. Let z be d(2). Solve 0 = -5*t - 5*g, -z*g + 2 = 3*t + g for t.
-2
Let b be (16/10)/(2/10). Let i = 21 - b. Solve 2*h + 5*a = -i, -4*h + 5*h + 1 = 3*a for h.
-4
Suppose -3*b + 3*q + 12 = 0, -2*b + 1 = q - 1. Let m be (-4 - -1)*(b - 3). Suppose 0 = m*h - 5*h + 42. Solve n + 1 = v, 3*v + 6*n + h = n for v.
-2
Suppose 0 = 3*m + 5*q + 6, 2*m - 4*m - 3*q - 3 = 0. Let h be (-1 + 1)/(-1 - -3). Solve m*o - 4*r + 13 = h, 2 = -0*o - 2*o + r for o.
1
Let q be 5 + 0/(-1 - 2). Solve -q*v - g = 15, -3 = v - 0*v + 3*g for v.
-3
Let g = 19 + -17. Suppose -3*b + 49 = i + 3*i, -g*i + 8 = -4*b. Solve 3*f - i = 5*x, 0 = -3*x - 2*f - 6 - 0 for x.
-2
Let l = -104 + 107. Solve 0 = -l*a - 3*j + 6, 0 = 4*a + 6*j - j - 10 for a.
0
Let k(o) = o**2 - 10*o + 8. Let t be k(9). Let h be (0 - -9 - 3) + t. Solve 0 = h*d + l - 17, -d = 4*d + 5*l - 5 for d.
4
Let l(j) = j**3 - 3*j**2 - 2*j + 2. Let r be l(-2). Let z = -8 - r. Solve z*o = o - 2*s + 23, -3*s + 3 = -3*o for o.
3
Let x(r) = r**3 - 5*r**2 - r + 1. Let g be x(5). Let c = 8 - g. Suppose u - 6*u + 15 = 0. Solve -2*f - 4*z + c = -0*z, u*f - 8 = -z for f.
2
Let o = -401 - -275. Let b be 2/(-10) + o/(-30). Solve -4*l - 20 = 4*u, -7*u - b*l - 20 = -2*u for u.
0
Suppose 3*i + 3 = 15. Let k(s) = 5*s**2 + 1. Let t be k(1). Let h = t - 3. Solve 8 = 5*u + 3*z - h, 3*z = i*u + 2 for u.
1
Suppose -3*w - w - 3*w = 0. Let h = 6 - 3. Let s be ((-17)/(-2)*-2)/(-1). Solve w*m + 4*z + s = -3*m, -5*z = -h*m + 28 for m.
1
Suppose -7 - 1 = -r. Let d = r - 13. Let c = 0 - d. Solve -c*i - 2*a + 18 = 0, 0 = -3*i - 2*i + 4*a - 6 for i.
2
Suppose 5*t = t - 2*t. Solve 4*l - 4*f - f = 33, t = -3*f - 15 for l.
2
Suppose -4*w - 7 = -3*w + 5*r, 3*r = 5*w - 21. Let g = w - 11. Let x = 18 + g. Solve 5*k = l + 2, 7*k + x = 2*k + 5*l for k.
1
Let p = -9 - -21. Let b = -7 + 7. Let u be b*(-3 + 6 - 4). Solve -3*f - 2*m + 7 = u, p = 2*f - 4*m + 2 for f.
3
Let x be 26/(-4) + (-5)/(-10). Let n be x/(-21) + 54/7. Solve f + 5*y = n, -4*f + 0*y - 10 = -y for f.
-2
Let r = 23 + -12. Suppose -l + j + 20 = 4*l, 3*j = 5*l - 10. Solve -3 = w, 0 = 2*y - 4*w - r - l for y.
2
Let b = -1 + 1. Suppose 0*j = j. Suppose j = 3*t - 5*t + 8. Solve b = -2*y + t*w + 6, 2*y + 5*w + 30 = -0*y for y.
-5
Suppose -9*f - f = -150. Let v be 0*(0 + 3/9). Solve v = -m, 3*h + 5*m + f = m for h.
-5
Let v = 18 + -16. Solve 2*z - v = 3*j - 2*z, 2*z = -2 for j.
-2
Suppose 2*o - 5*h + 14 = -o, o + h - 6 = 0. Suppose -a = 2*a. Let v(m) = 2*m**2 - 5*m + 2. Let i be v(3). Solve 5*l - o*p + 16 = a, 2*l + 3*p + 0*p = i for l.
-2
Suppose 4*v + 0 = -5*s - 3, 3*v + 2*s = 3. Solve 5*w - 4*k = -3*k + 30, -5*w + 10 = v*k for w.
5
Suppose 9 = -p - 0*p + 2*k, -16 = -p - 3*k. Solve -p = o - 2*o, 3*o + 17 = -5*i for i.
-4
Suppose 0 = -4*t + 3*t - 4*w - 4, -5*t + 105 = -5*w. Let u be (2/6)/(t/192). Solve -3*n - 11 = -v - 2, u*n = 4*v - 12 for n.
-3
Suppose 4*x = 7 + 9. Suppose 7*i - 6 = x*i. Solve -3*b + 4*h + i = -7, -4*h - 7 = -5*b for b.
-1
Suppose 5*l - 3 - 2 = -3*q, -5*q = -2*l + 33. Let b be 0 - (l/1)/(-2). Solve 4*y + b*x - 3 = -x, 0 = -2*y + 4*x - 4 for y.
0
Let t(c) = 2*c + 2 + 2 + 5. Let q be t(-4). Solve -3*m - 5*b + q = -m, 5*b = -4*m + 7 for m.
3
Suppose 0 = -2*f + 8, -5*w + 42 + 20 = -2*f. Solve 4*p + w = 3*h, -3*h = -0*h - p - 8 for h.
2
Let y(a) = -4*a**3 + a + 1. Let h be y(-1). Suppose -15 + 0 = 5*s. Let d = s + h. Solve 5*t + 5 = -3*m, -2 = 2*m + t - d for m.
0
Let v(j) = -4*j + 16. Let i be v(6). Let q be 4 + i*4/(-8). Solve 8 = 4*u - q, 6 = 2*x + u for x.
1
Let a be (-1 - 0)*(-4 - -1). Suppose -3*x + 5 = 3*l - 22, 0 = 5*x + 4*l - 40. Let d = -59 + 88. Solve -36 = -4*v + x*j, -2 - d = -4*v + a*j for v.
4
Suppose -2*z + 8 = 2. Suppose -3*l = -z - 3. Solve l*d + 2 - 7 = 3*n, 3 = n - 3*d for n.
-3
Suppose 4*k = 5*x + 57, -3*k = -5*k - 5*x - 9. Solve -r - k = -2*r + 4*a, r - 1 = -3*a for r.
4
Suppose -4*m + f = -4, -3*m + 0 = -2*f + 2