 16 = 2*n for a.
2
Let j(l) = l + 4. Suppose 1 = -5*h + 4*r - 3, -5*r = -2*h + 12. Let i be j(h). Let y be (i + (-4)/(-4))*3. Solve 4*k = 5*q + y, 0*k - 5*k = 5*q - 15 for k.
2
Let u(w) = -w**3 + 8*w**2 + 15*w - 1. Let d be u(7). Let h be (-37)/(-9) + (-17)/d. Solve -r + 2*m = 5*m, -h*r - 11 = m for r.
-3
Suppose 0 = -q - 0*q + 4. Suppose z = -2*r + 12, -r + 38 = 3*z + q*r. Let t = z - 14. Solve -15 = -3*c - t*x + 7*x, c + 2*x = -6 for c.
0
Let i(g) = g**2 + 17*g + 7. Let s be i(-9). Suppose w = 2*p - 32, 2*p - 3*p + 13 = w. Let l be (-2)/6 - s/p. Solve 2*y = 2*t + 3*y - 5, -3*t + 24 = -l*y for t.
4
Suppose -3*o = -o - 2. Let t be o*((-4)/2 + 2). Suppose 30 = 5*w - 10. Solve t = 5*g - 4*z + 36, -3*z + z + w = 0 for g.
-4
Let a(h) = h**3 - 23*h**2 + 60*h + 3. Let y be a(20). Solve -25*g + y*o = -20*g + 2, -5*g - o + 14 = 0 for g.
2
Let c be (6/(-1))/(2/(-23)). Suppose 10*w + 29 = c. Solve -5*i = -w*v + 16, 2*v + 1 = i + 9 for i.
0
Suppose 0 = s + t - 1, 2*s = 2*t + t - 8. Let j be (-13)/((-104)/64) - (s - -1). Solve 2 = 3*f - z + 4, -4*z = -2*f - j for f.
0
Let a(i) = -i - 3. Let u be a(-6). Let h(c) = -c**2 - 2*c + 9. Let j be h(0). Solve -j = -3*x + 2*l, -5*x + u*l + 2*l = -10 for x.
5
Suppose -4*m + 67 = -53. Suppose 2*d = -a + 14, -5*d + 3*a = -0*a - 13. Solve -5*q + m = n, n - d*q + 2*q = -10 for n.
5
Let y be (4 - (-5 + 11)) + 0 + 1. Let h be (-1)/y*(3 - -1 - 2). Solve -s + h*s = -3*f + 9, 0 = -2*f + 2*s + 14 for f.
4
Let c be 1/((-2*(0 - -1))/10). Let s be (-1)/(-1)*(c - (-12 - 2)). Solve -3*o - l + s + 4 = 0, 0 = -2*o - 3*l + 4 for o.
5
Let t(o) = 7*o + 33. Let x be t(1). Solve -4*l = -4*n - n - x, -3*l = 4*n + 1 for l.
5
Let b be 4 - ((-4)/(-14))/(32/112). Solve 6*g - 4 = 2*s + b*g, 5*s + 10 = 5*g for s.
-2
Suppose -7 = -o - r, 3*o - 6*r + r - 5 = 0. Let f be 27/o - 4/10. Solve 2*y + b = -5, -2*y - 3*b - f = 2*y for y.
-5
Let r = -155 + 160. Let s be 3 + (-2 + 1)/1. Suppose 0 = h + 2*v, -3*v - s*v = -h + 14. Solve -14 = h*o + 3*j + 4, o + j = -r for o.
-3
Let i = -64 - -80. Suppose -5*o + 16 = -0*w - w, i = 4*o. Solve -j - m = -1 - 1, -2*m - 14 = -w*j for j.
3
Suppose 3*c + u - 17 = 0, -3*u + 9 = 2*c - 14. Let d = 7 + c. Suppose 0*t - 2*t + 29 = -3*r, -4*t + r + 53 = 0. Solve 4*x + 5*h = d, x - 5*h = -h - t for x.
-1
Let g(t) = t**2 - 7*t + 9. Let p be g(6). Let i be (-2)/p + (-6)/(-9). Suppose i = 15*m - 11*m. Solve 0 = 2*n + 6, -3 = -2*c - n - m for c.
3
Let s(j) = -j - 16. Let w be s(-19). Suppose 15 = -5*m, w*v + 5*m = 2*m - 3. Solve -2*x = -y - 5*x + 7, -v*y + 4*x = 16 for y.
-2
Suppose 3*c + 0*y - 23 = 4*y, 0 = 4*c + 3*y - 14. Suppose c*r - 110 = 15. Suppose b = -4*b + r. Solve 2*t - 3*t + 2*g + 3 = 0, b*t + 37 = -3*g for t.
-5
Suppose -5 = -5*t + v, 2 = t - 3*v + 1. Suppose q - 2*q - 3*h = -6, -2*q + t = -5*h. Solve 0 = 3*k - q*c - c - 3, c + 17 = 4*k for k.
5
Suppose -4*w = -4*y + 644, -4*w = -y - 0*w + 170. Suppose 6*a - y = -20. Solve -5*r - 4*f + 15 = 0, -3*r + 5*f - 5 = a for r.
-1
Let w(r) = -r + 7. Let z be w(0). Suppose -72 = u - z*u. Solve 3*l + u = 3*s, 5*s - 15 = 4*l + 6 for l.
1
Suppose 8*f = f + 3*f. Suppose f = 11*y - 8*y. Solve 4*n + y*u + 26 = 3*u, 6 = 3*u for n.
-5
Let b(d) = 30*d - 6. Let t be b(2). Let i = -46 + t. Solve j = -2*y + 3 - i, 4*y = -j - 11 for y.
-3
Suppose 17*z = 25*z - 256. Solve z = -5*y - 3*f, 0 = -5*y - f - 15 - 9 for y.
-4
Suppose 0 = -l - 13 + 25. Solve -5*o - 6 + 1 = -5*a, 4*o = l for a.
4
Let f = -158 + 163. Solve -m = 5*z + 23, -23 - f = 4*z + 4*m for z.
-4
Let g = 7 - 4. Let l be 4/1 - 316/(-158). Solve -3*f = 4*w - l + g, -5*f - 24 = -3*w for f.
-3
Let m(v) = -5*v - 13. Let d(g) = 3*g + 9. Let t(p) = -8*d(p) - 5*m(p). Let x be t(11). Solve 4*z - r = 6, -z - x*z - 2*r + 1 = 0 for z.
1
Suppose 3*r + 32 = 8*x - 4*x, -r + 16 = 4*x. Let k be 76/6 + r/(-12). Solve 0 = y - 5*o + 15, -3*o - k = -0*y - 5*y for y.
5
Let r be ((-4)/3 + -2)/(34/(-51)). Solve 0 = w - 3*w + c - 10, 0 = r*c - 10 for w.
-4
Let s(m) = m**3 - 24*m**2 - 23*m - 50. Let t be s(25). Solve -2*o + o + 8 = u, 2*u - 3*o + 4 = t for u.
4
Suppose 0 = 40*p - 45*p - 35. Let t be (((-5)/(-2))/5)/(p/(-280)). Solve 6*s - s - t = -5*z, -5*z = s - 8 for s.
3
Suppose 3*f = 1 + 11. Suppose 7*h - 6*h - f = 0. Suppose u = -h*i + 16, 2*u = -i - 3*u + 23. Solve 3*g = i*p - g - 6, 5*p = 2*g + 10 for p.
2
Let i be 4 + (-16)/(-14) + 7/(-49). Solve b = 4*b, -i*z = 5*b for z.
0
Let b be 3 - 2 - (-14)/(0 - -7). Solve 0 = b*v - 4*t - 5 + 1, -4*v + 4*t + 8 = 0 for v.
4
Let n(o) = 3*o - 116. Let t be n(39). Solve 2 = 2*j, 2*g - j + t = -10 for g.
-5
Suppose -4 - 4 = -2*l. Suppose 0 = -3*b + l*b - 24. Solve a + 9 = -2*g, -5*a = -0*a + 3*g + b for a.
-3
Let a(h) be the first derivative of 9 - 5/2*h**2 - 6*h. Let g be a(-2). Solve -3*p + n = -0 - 8, g*p - 6 = -n for p.
2
Suppose 1 = 4*l - 15. Suppose l*d - 5 = 35. Let i = d + -7. Solve 4*a - 5*c = -15, 5*a + 20 = i*c + 2*c for a.
-5
Suppose 0 = 14*m + 35 - 49. Let i(q) = -3. Let y(d) = -d**2 - 7. Let g(f) = 7*i(f) - 3*y(f). Let w be g(m). Solve 2*u + 8 = -w*j, 2*j = 3*u + 3 + 9 for j.
0
Let x be (-24)/((-192)/16) + (7 - 1). Solve -4*k = -x, 4*n - 5 = -3*k + 5 for n.
1
Let p(s) = -2*s**2 - 4*s**2 + 3*s**2 + 3*s + 4*s**2 + 19. Let h be p(-4). Solve 3*g + h = -2*n - 2*n, 0 = 4*n + 2*g + 18 for n.
-2
Suppose 2*d - 3*d - 2 = 3*s, -2*d + 12 = -2*s. Solve -d*p - 7 = i + 8, 2*i + 2 = -p for i.
1
Suppose -4 = -4*t + 8. Suppose -g + 0*g - 4*v + 39 = 0, 2*v = t*g - 145. Let s be g/9 - (-2)/(-9). Solve 0 = 2*h - 3*z + 8, h + 2*z - 5 = s for h.
2
Suppose r + 47 = 5*p, 2*p - 4*r - 35 = -p. Solve 4*a + 5 = -i, 4*a - p = 5*i + 16 for i.
-5
Let m be -1*(-8 + (-3)/(-1)). Suppose 5*x - 4*j + 55 = 0, 0 = 2*j - 3*j + 5. Let y be 4 + (5 - (x - -3)). Solve -4*w = -i - y, -2*i + 8 = 5*w - m for i.
-1
Let c(b) = -b**3 + b**2 + 2*b + 4. Let p be c(0). Suppose 0 = 3*d + p*r - 4, -r + 5 = 4*r. Solve 0 = -2*x - 4*t, -3*x - x - 2*t = d for x.
0
Suppose 32*i - 45*i + 39 = 0. Solve 5*g - 1 - 4 = -2*d, -3*g + 4*d + i = 0 for g.
1
Suppose -12*c + 19 + 5 = 0. Let z be 10*5/((-50)/(-6)). Suppose z = 4*y - y. Solve -c*v - 7 = v + 2*x, -y*v - 22 = -3*x for v.
-5
Suppose -5 = x - 5*b + 4, -4*b + 30 = 3*x. Solve 6 = 3*a + 4*s + 7, 2*a + s = x for a.
5
Suppose -2*p + 10 = 4*a, 4*a = 2 + 2. Solve -4*d = -5*q + 3*q - 8, -p*q + 12 = 0 for d.
4
Let g(d) = -d**3 + 2*d**2 + 5*d - 4. Let z be g(-2). Solve 4*x + 0*x + 9 = -5*o, o + z*x - 3 = 0 for o.
-5
Let i be 1/2*(5/(-5) + 1). Solve -2*g - 2 = 0, -g + i = -4*s + 5 for s.
1
Suppose -2*k = 3*o - 42, 3*o + o + 4*k = 52. Solve -l + 6*l - 4*b - 29 = 0, -o = -3*l + b for l.
5
Let v(q) = q**2 - 9*q - 20. Let i be v(11). Suppose 2*y - 2*n = -2, 0*y - i*y = -3*n + 7. Solve -3*x - 5*a - 4 - 4 = 0, -8 = -y*x - 2*a for x.
4
Let u = 298 + -294. Solve -3*j + 9 = -2*c, -j = 2*c - u - 7 for j.
5
Let t be -6*2*2/(-8). Suppose t*y + 2 = -4*c - c, -3*c - y = -2. Solve 5 + 4 = c*a - 3*b, -2*b = -2*a + 6 for a.
0
Let u be (-3)/(4/(-12)*1). Solve 5*r + 2*i = 25, 2*r + u - 40 = -5*i for r.
3
Suppose -3*s - 5*c = 0, 4*s + 4*c - 8 = -0*s. Solve 3*v = 4*x, 0 = s*v - 0*x + x for v.
0
Suppose -53*d + 18*d + 280 = 0. Solve -4*p = -5*j + 7 + d, -4*j + 12 = 0 for p.
0
Let z = -12 - -18. Suppose -t = -z*t + 15. Suppose -4*k - t*i + 73 = 26, -5*i = -k + 6. Solve 3*c - 18 = 4*r, 2*c + 4*r + r + k = 0 for c.
2
Let x be (-3 - 0) + 4 - (-7 - -18). Let h be x*2/(-20)*4. Solve -4*g - h = -4*a, -2*a - 5*g + 16 = -0*a for a.
3
Suppose 0 = c - 0 - 11. Let u = c - 8. Solve -5*t - 3*a - 10 = 0, u*a + 1 = -4*t - 7 for t.
-2
Let l be (-2)/(-8) + 494/8. Let b(c) = -4*c + 280. Let y be b(47). Let a = y - l. Solve 3*t + 3*j = 0, -5*t + 3*j - a = -2*j for t.
-3
Let k(c) = -c**2 + 19*c + 42. Let d be k(22). Let i be (4 + -6)/(d/(-9) - 3). Solve -3*n = -0*u + u - 14, 4*u - i = -2*n for u.
-1
Let q be (-3)/12 - (-17)/4. Suppose q*v + v = 345. Let y be (-4)/(-10) + v/15. Solve -s + 9 = 2*s + 4*f, -s + 14 = y*f for s.
-1
Suppose -9*i = -3*t - 10*i + 3, -4*t - 5*i = -15. Solve t = -5*w + 2*l - 9, 6*w - w + 24 = -3*l for w.
-3
Let t = 0 - -20. Suppose -5*i = -i - t. Solve -q - 4*v + 5 = -14, i*q - 2*v = -15 for q.
-1
Suppose z + 2*p = 20, 2 = 5*p - 3. Solve 4*i + i = s + 22, -5*s + 2*i = z for s.
-2
Suppose -5*n = 3*l - 27, 2*n - 4 = 4*l - 14. Solve 