pose p + 5 = r + 3, -4*p = r - k. Solve d + d - 4 = 2*h, 0 = p*d + 3 for h.
-3
Suppose v - r - r - 1 = 0, -3*r = v - 11. Suppose -5*u = 2*f + 2*f - 20, 20 = -5*f + v*u. Solve 3*t - k + 10 = 0, -4*t + 5*k - 1 - 27 = f for t.
-2
Let q = 0 + 3. Suppose -4*j = 5*c - 30, 5*j = j + 20. Suppose -c*i + 8 - 26 = -2*f, 0 = 4*f - 2*i - 28. Solve 0 = -q*m - f*d - 10, -3*m - 10 + 40 = -3*d for m.
5
Let o(r) = r**2 - 2*r + 3. Let i be o(2). Suppose 31*n = 29*n + 4. Let q be (i - -1)*1/n. Solve -q*y + 5*v = -24, 3*y - 3*v - 7 = 11 for y.
2
Let r = 21 - 13. Solve -3*b = -j - r*b, 0 = 2*b - 2 for j.
-5
Let b(c) = -c**2 + 6*c - 6. Let i be b(4). Solve -k - i = 0, 4*k = 4*n + 6 - 18 for n.
1
Suppose 3 = 4*y - 17. Suppose y*f - 178 + 63 = 0. Solve 0 = -5*x - k + f, -4*x + 4*k + k + 1 = 0 for x.
4
Let f be 0 + (1 - -1 - 1). Let w be 1/(f + (-8)/10). Let t = -2 + 7. Solve -s + 4*o - 7 = 0, -w*s - t = -3*s + o for s.
-3
Let a be (-1)/4 + 408/96. Solve 3*h + 4 = -4*m, -5*h - 5*m = a + 6 for h.
-4
Let m(b) = -b**2 + 8*b - 3. Let q be m(8). Let t be 2 - -4*q/6. Let g = t - -24. Solve -o + l + 7 = o, 3*o - g = -3*l for o.
5
Suppose 3*w + w + 12 = 0. Let i be (-70)/6 - w/(-9). Let c be (-22)/(-6) - i/(-18). Solve 4 - c = -h - 2*y, 4*h + 5*y = 2 for h.
3
Let r = 14 + -24. Let t = r + 14. Suppose 5*l - 2 = -4*b - 0, -t*l + 4*b = -16. Solve -o = -2*a + 8, o + l*o + 5*a = -2 for o.
-4
Let w be 2/(-7) - 92/(-28). Suppose -3*r - 6 = -6*r. Suppose r*f - 25 = 1. Solve -f = -4*y + 3, w*n = 3*y - 3 for n.
3
Suppose w + 3 = -12. Let u = w - -21. Solve -u*p - z + 4 = -p, 2*p - 3 = z for p.
1
Let d be (3 + 1)*-1*-2. Let l be (-12)/8*d/6. Let w be ((-3)/(9/78))/l. Solve -3*i - i = -b - w, 4*b = 2*i - 24 for i.
2
Let f be 14/(-1) - (-4)/2. Let u = f + 23. Solve 5*c - 5*a = 5, -a - u = c - 2 for c.
-4
Suppose -4*g - 3*s - 9 = 0, 3*g + 3 = -s - 0*s. Let t be 37 + (0 + 6)/(-3). Solve t - 15 = -5*v + b, g = -5*v - 4*b + 5 for v.
-3
Suppose -q - 2*z + 10 = 3*q, z + 5 = 3*q. Solve t + g + 13 = 4*g, 3*t = -q*g + 5 for t.
-1
Suppose -17 = 5*n + 3. Let k be (-8)/n*(-7)/2. Let f = 9 + k. Solve 18 = 4*d - 0*m + f*m, -2*d = -5*m + 21 for d.
2
Let m(b) = 2*b**2 + 2*b - 2. Let n be m(-2). Solve 5*p + 3*d + 10 = 0, -5*d - n = p - d for p.
-2
Let j be 52/20 - (-14)/35. Solve -5 = 2*l + l - n, -6 = -2*l + j*n for l.
-3
Let r = -4 + 10. Let d(s) = s**2 - 1 + 1 + s + 7 + s**3 - 1. Let m be d(0). Solve -3*f + r = 0, 6*f - m = -4*j + f for j.
-1
Let h be ((0/(-2))/2)/2. Suppose h = 5*s - 25, s + 8 = k - 2. Solve -2*c + 8 + 2 = -a, -3*c = 2*a - k for c.
5
Let k be (-4)/(-10)*(48 + 7). Solve -3*a - 6*d = -d + k, -2*a - 6 = -d for a.
-4
Let g be -1 + ((-3)/3 - -2). Solve -10 = -3*f + 2*d, g = -2*f + f + d + 4 for f.
2
Let c = -12 - -15. Solve c*h = 5*o + 16, o - 3*h = 3*o - 2 for o.
-2
Let p = 1 - 0. Suppose -7 = -2*d - p. Solve 2*m + m + 26 = 5*v, -d*m - 6 = 0 for v.
4
Let f be (-9)/2*(-16)/6. Let g = f + -12. Solve -b + j = g, 0 = 4*b + 3*j + 35 for b.
-5
Let n(p) = -p**3 + 8*p**2 + 10*p - 6. Let w(l) = 3*l - 12. Let k be w(7). Let v be n(k). Solve -3*m + 6 = h + h, v*h - 9 = -2*m for m.
0
Let x(l) = l + 1. Let i be x(2). Solve 3*a - w - 11 - 7 = 0, -i*a - 2*w = -9 for a.
5
Suppose 0 = 4*h - 14 + 2. Solve 10*x + 15 = 5*x + 5*s, 3 = h*s for x.
-2
Suppose 2*s - b = 53, -2*s + 28 + 55 = 5*b. Solve -4*c + 3*o - s = 0, 7*o - 3*o - 12 = 0 for c.
-5
Let s(n) = n**3 - 2*n**2 - n + 4. Let f be s(2). Solve -a - 3*m + f*m = -7, -5*a - 1 = -4*m for a.
3
Suppose 3*p = -17 + 59. Suppose -4*a + 19 = -1. Suppose 2*j - 7 = a. Solve t - j = 2*k - 3*k, 2*k - p = -3*t for k.
4
Let v = -122 + 122. Solve 4*f = -5*s + 9 - 36, -2*s - 6 = v for f.
-3
Suppose -4*r + 11 = -d - 0*d, -9 = 3*d. Suppose 0*m + 6 = r*m. Solve z = 5*x - 20, m*z + 2*x + 0 = 8 for z.
0
Suppose -2*s + 2*g + 2 = 0, -2*s - 3*g = -0*s + 13. Let a be (s/(-1))/((-1)/(-2)). Solve 2*j + 3*f + 14 = 0, 5*j + 0*j - a*f = 11 for j.
-1
Let p be (4/(-12))/(1/3) - -6. Solve -3*k - h + p = -2*k, -3*h - 6 = -4*k for k.
3
Let b(a) = a**2 - a + 4. Let z be b(0). Solve 0*u = -3*u + 6, -z*o - 4 = 4*u for o.
-3
Let l be (4/(-8))/((-2)/12). Suppose 0*w = -2*w - 3*y + 8, -l*y - 4 = -w. Solve -o = h + 2*o + 6, 9 = w*h + o for h.
3
Suppose 15 = -4*f + 9*f. Solve j + 2*c + 8 = -j, j + f*c = -8 for j.
-2
Let o(x) = -3*x - 15. Let w be o(-5). Solve b + 3*d + 8 = w, -b + 7 = -3*b - 3*d for b.
1
Let o = 5 - -7. Solve -5*x = 3*b - 5, b - o = 5*x + 3 for b.
5
Suppose 4*q = 7*q. Let y(v) = -5*v - 129. Let s be y(-27). Solve q*b = -5*i - b + 3, -5*i + 2*b = s for i.
0
Let f = -6 - -6. Suppose -2*v = -f - 6. Solve 4*h = -2*x + 8, 6 = v*x + 3*h - 0*h for x.
0
Let t(s) = -s**2 + 6*s - 4. Let c be t(4). Let j = c + -4. Solve 4*r - 13 - 5 = 3*g, j = -3*r + 9 for g.
-2
Let n be 14/3 + 80/15 + -6. Solve -n*r = -0*y - 5*y - 37, -9 = -3*r for y.
-5
Suppose 5*f = 5*d, d + 24 = 2*d + 5*f. Suppose -23 = -2*t - p, -2*t + d*p + 5 = -3. Solve c = -5*q + 4*c - 40, -3*c = q - t for q.
-5
Let a be (-6)/21 + 4/14. Let y be (-2*(2 + a))/(-2). Solve -5*q - 7 = 4*n, y*n + q = -4 + 5 for n.
2
Suppose 2*c = -2*u - 30, 3*u = 14 - 5. Let h = 48 + c. Solve -4*x + 9 = y + h, 4*x - y = -19 for x.
-5
Suppose -3*g = -g + 6. Let b = g - -6. Solve 2*m - f = b, 0 = 5*m - 0*m + 2*f + 6 for m.
0
Let k(w) = w**3 + 9*w**2 + 9*w + 4. Let z be k(-8). Let q be (-3 - -2)/(2/z). Solve 3*h + 5 = -5*a, -q*a + a = -h + 1 for h.
0
Let g(s) = -s**2 - 24*s - 21. Let m be g(-23). Solve m*p + 5*t - 11 = 0, t - 11 = p + 3*p for p.
-2
Let h(a) = -a**2 - 7*a - 7. Let z be (-1*1)/(1/5). Let j be h(z). Solve j*q - 10 = 3*c - 34, 4*q = -3*c - 4 for q.
-4
Let w be 0/((6 - 2)/2). Solve 3*h - 7 = p, 0 = 4*h + p - w*p for h.
1
Suppose 5*z - 37 - 44 = -2*c, -3*z = -c - 42. Suppose k = 4*u + 55, u + 5*k + 4 = -z. Let l = u - -20. Solve l*t = t + 3*f + 3, 4*t = -5*f - 5 for t.
0
Let v(d) = -d**2 - 10*d - 11. Let q be v(-9). Let t be (2/6)/(q/(-24)). Solve -3*a - 7 = -j - 20, -j = t*a - 8 for a.
3
Let c(t) = t**2 + 2*t - 1. Let q be c(-3). Solve 0 = -5*i + 5*s - 30, -2 = -3*i - q*s - 0 for i.
-2
Let k(w) = w**2 - 7*w + 4. Let q be k(7). Let m = 9 - q. Solve -3*x + r - 2*r = 12, -m*r = x + 4 for x.
-4
Suppose 9 = -3*u, v = -0*v - 3*u - 7. Solve a - 4*a = -o - 11, v*o + 7 = 3*a for o.
4
Let p be (2 - (2 - -3))*-1. Solve 4*b - 14 = -5*y, p*y = y + 4 for b.
1
Let b be (-63)/9*((-1)/(-1) + -2). Solve 0 = 3*v + 5 + b, -g = -v for g.
-4
Let s = 139 + -136. Solve 4*m + 5*k = 4, -m - 10 = -s*k + 6 for m.
-4
Let n(w) = -11*w + 2. Let y be n(-1). Solve -y = -4*f - 5*k, -k + 1 + 4 = 0 for f.
-3
Suppose 6*o - 65 = o. Let u = 16 - o. Solve 0 = -4*c + 2*t - 7*t - 15, -c - 2*t - u = 0 for c.
-5
Suppose 4*g + 1 = 65. Solve y + 4 = 3*t - 4*t, 3*t + 4*y = -g for t.
0
Suppose -u + 3*u = 4. Solve 5*n - u*g = -3*g + 10, 0 = -3*g + 15 for n.
1
Let w be (-4)/16 + 21/4. Solve -2*q = -5*k - 4, -w*k = -2*q - q + 6 for k.
0
Suppose -3*s + 2*s = 2*t + 6, 0 = 3*t + 9. Let c be 4*((-2)/(-4) + s). Let m be 18*(0 - -1) - c. Solve 3*x = 5*w + 4*x - m, -5*w = 4*x - 4 for w.
4
Let d = -19 + 21. Solve 3*u - 5*u - g + 2 = 0, -u - d = -g for u.
0
Let d(c) = c**2 - 5*c - 1. Let l(o) = -3*o**2 + 10*o + 2. Let f(h) = 5*d(h) + 2*l(h). Let w be f(-2). Solve 5 = -3*r - 4*i, -13 = -0*r + w*r + 2*i for r.
-3
Suppose 3*j - 5*j + 8 = 0. Suppose -x - j*x + 15 = 0. Solve -a + 6 - 13 = 2*h, -2*h + x*a = 11 for h.
-4
Let i(c) = -c + 10. Let l be i(6). Let s = 140 + -134. Solve -4*f = 2*o - s*f, 2*o - 10 = l*f for o.
-5
Let w = -6 - -3. Let h = -1 - w. Solve 3*g - 5 = -h*t, 3*g - 14 = -g + t for g.
3
Suppose s - 5*f = 17, 3*f = 5*s - f - 43. Solve -2*n + 6 = 0, s = q + 2*n - n for q.
4
Let h be (-1)/2 - 9/(-2). Let k be 3/(0 + 9/12). Solve -k*g - 5*m + 21 = 0, g - 3*g + h = -4*m for g.
4
Suppose g + 4*k - 22 = 0, 10*g - 5*g - 3*k = -5. Let f(z) = -2*z + 6. Let n be f(4). Let p be 0/((-4)/(n + 4)). Solve -2*c + g = -3*c + j, p = -5*j + 20 for c.
2
Let a be (7 - 8)/((-2)/14). Let u = 0 + a. Suppose 0 = 3*l + 5*r - 21, 5*l = -r + 2*r + u. Solve -c - 8 - 1 = 3*x, 2*c + l*x = -6 for c.
0
Let t(k) = k + 5. Let n be t(0). Solve -3*y - 6 = -n*w, -2 = w - 0*w + y for w.
0
Suppose 3*f = -0*f + 15. Suppose f*z = 17 + 13. Solve k - z*k - 2*p - 16 = 0, 4*p + 6 = 3*k for k.
-2
Suppose 5*t - 4*t = -5*k - 11, -2*t = 3*k 