 = 0, -6*k + 5*k + 3*n - 9 = q for k.
3
Suppose -4*w = -2*q + 2, 2*q - 5*q + 3 = w. Suppose -r + l = -6*r + 55, w = r - 5*l + 15. Solve 2*v + 4*m = 11 + 1, -2*m = -r for v.
-4
Suppose 2*z = 3*z - 9. Let i(w) = -2*w + 3. Let n be i(5). Let d = z + n. Solve -d*s + o + 10 = -2, 28 = 3*s - 4*o for s.
4
Let d be (54/36)/(6/(-8)) + 23. Solve 4*h = 3*j + d, j - 3*j - 12 = -2*h for h.
3
Let v be 10/(4/(-2 + 4)). Let a = -5 - -7. Let k(d) = d**3 - 2*d**2 - 60*d + 213. Let f be k(4). Solve -5*w = -v*u, -3*u + a*u = -f*w + 12 for u.
3
Let n(h) = -h**3 - 2*h**2 + 5*h + 12. Let d be n(-3). Let w be (-2)/d + (-3 - (-125)/15). Solve 3*i = s - 17, i - 5 = w*s - 34 for s.
5
Let c(d) = -7*d + 0*d + 4 + 4*d. Let s be c(2). Let i(y) = 2*y**2 + y - 2. Let r be i(s). Solve -r*l - 6 = -2*u + 16, -2*u + 2 = 0 for l.
-5
Suppose -f = 4*j - 50, -2*f + 2*j + 192 = f. Suppose 24 = f*c - 60*c. Solve -v = 2*d - 6, d + 3*v + c = 5*d for d.
3
Suppose 4 = 6*c - 26. Suppose c*t = 153 - 3. Solve -2*w + 10 = 0, 0*w = -o - 5*w + t for o.
5
Let k(t) = -t**3 - 5*t**2 - 10*t - 3. Let q be k(-3). Let i = 40 + -26. Let b = i - q. Solve 17 = b*o - 2*z + z, -o - 11 = -5*z for o.
4
Let s be (-1 - (-10)/6)/((-8)/(-36)). Suppose 10*d + s*d - 39 = 0. Solve 3*i = 2*b - 0*i - 10, 4*i + 19 = -d*b for b.
-1
Let l(a) = -a**2 + 19*a - 46. Let t be l(16). Solve f + 23 = -4*d, -4*f + 0 = -2*d + t for f.
-3
Let h be 207 + (0 - (2 + -4)). Let k be (-3)/4 + h/44. Solve u - 4*l = 15, 0 = u + k*u - 4*l - 11 for u.
-1
Suppose 312 = 21*w + 5*w. Solve -4*o = -w, -3*x + 3*o = x + 9 for x.
0
Suppose 3*n - 9 = 5*y, 3*n - 4*y + 9 = 6*n. Solve 4*f = 3*g + 11, g - 2*f = -n*g - 18 for g.
-5
Let i = -45 - -50. Suppose j = b + 3*j - 15, -i*j = -5*b. Solve b*t + 3*h = -20, -2*t = 4*h + h + 27 for t.
-1
Suppose -2*r = -0*r - 20. Suppose 2*z + 0*z + j + 2 = 0, 3*z - 8 = 4*j. Suppose -r = -z*p - 5*p. Solve -4*g - 2 = -p*o, o + g = -2*g - 14 for o.
-5
Let z(f) = -f**2 + 30*f - 120. Let k be z(25). Solve -q - k = 5*i - 4*q, q - 9 = -2*i for i.
2
Suppose -9*c + 812 = 785. Solve 0 + 12 = 3*t - 3*s, -s = c*t - 16 for t.
5
Suppose 9*x + 65 = 4*x. Let n = x + 17. Suppose 10 = -n*v + 130. Solve -5*p + 4*l = v, p + 10 = 6*p + 4*l for p.
-2
Let d(g) = -g**2 + 9*g - 10. Let x be d(5). Suppose 8*v = x*v - 4. Solve -k = 2*h, -3*k + v*k + 5 = -3*h for k.
2
Let i = 54 - 54. Suppose -t + 6 - 3 = i. Solve -g - t = -2*g - q, q + 2 = 0 for g.
5
Let l = -31 - -35. Suppose -l*h = -3*z - 2, -4*z = -4*h + 5*h - 29. Solve 0 = -2*y + 2*t + z, -11 = -y - 3*t - 4 for y.
4
Suppose -5*y + 30 = -0*y. Suppose 4*l - 2*j - y = 0, -l + 0*j - 1 = -j. Solve 0 = w - m + 4, -2*w - 5*m = -l*w - 11 for w.
-3
Suppose 15*l - 12*l - 30 = 0. Let n(a) = -3*a - 19. Let u be n(-8). Solve -5*y = u*f - 0*f + l, 12 = 4*f - y for f.
2
Let z(t) = -t**2 - 5*t + 3. Let s be z(-5). Let i be ((-20)/6 + s)*-15. Suppose -4*j = -5*j + i. Solve -3*r + n - j + 2 = 0, n - 1 = 2*r for r.
-2
Let h(a) = a**3 + 7*a**2 + 11*a + 8. Let u be h(-5). Solve u*p = -4*w - 11, 5*p = 5*w + 3*p + 8 for w.
-2
Let w be 2 + -5 + (-1 - -6) + 3. Solve -2*n = 2*d + 4 + 4, -n + w*d - 10 = 0 for n.
-5
Suppose -30*i + 15 = -27*i. Solve -8*d = -3*d + i*k - 10, 2*d + 3*k - 9 = 0 for d.
-3
Suppose -6*n + 10*n - 16 = 0. Suppose 0 = -4*f - n*l + 36, -3 = 5*f - 5*l - 8. Solve k - 4*d = 9, -f*d + 10*d = 2*k - 9 for k.
-3
Let a be (-1)/(-2) + (-17)/2. Let n(z) be the first derivative of z**2/2 + 10*z - 30. Let x be n(a). Solve -2*r + r - x*h = 4, -r = -3*h - 16 for r.
4
Let i = 11 - 8. Suppose -2*q = -2*b - 2, 0 = b - 0*q - 3*q + i. Let p be ((-3)/2)/3*b. Solve 0 = -5*z - 10, p*z = -5*v - z + 23 for v.
5
Let i = -304 + 309. Solve c + 11 = 2*c - 3*d, -i*c + 5 = -5*d for c.
-4
Let w = -130 - -213. Let q = 87 - w. Solve -3*v = q*t + 17, 3*t - t = 3*v - 13 for v.
1
Suppose 30*o + 36 = 4*r + 35*o, 4*r = o + 12. Solve 12*p - 7*p - 26 = -r*x, -x - 2 = -3*p for x.
4
Suppose 2*n - 4*b - 40 = -0*b, 2*b = -2*n + 70. Suppose 4*y - 15 = r, -3*r + 2*r - 5*y = -n. Solve -3*m - 2*m - r*h - 15 = 0, 5*m - 4*h + 15 = 0 for m.
-3
Suppose 3*o = 12, -4*m + 5*o = m. Solve -5*z = 2*x - 8, m*x + 5*z = -0*x + 16 for x.
4
Let x = 5 + -1. Suppose 0 = 2*n - 4*g, g = 4*n + x*g - 22. Suppose 0*q - 80 = -4*q. Solve 3*p + p + q = n*o, 0 = 4*o + 3*p - 20 for o.
5
Let u = 243 + -241. Solve -d + i + i = 8, 4*d = 2*i - u for d.
2
Let u be (12/10)/(18/60). Suppose 0 = -2*o - 2*y + 2, 0 = -o + 2*y + u + 3. Solve -4*s + 8*c + 17 = 3*c, 0 = -o*s + 5*c + 19 for s.
-2
Suppose 0 = z + 14 - 2. Let x be ((-52)/z + -4)*12. Suppose -5*b - 29 = x*h - 5*h, -4*b - 166 = -5*h. Solve -5*a = 3*m + h, 14 = -a - 5*m - 6 for a.
-5
Let p be (3 - 2)/(-1) + 28. Let a = 15 - p. Let b = -10 - a. Solve -b*h = -5*x + 8, -h + x = 2*x + 4 for h.
-4
Suppose 0 = -3*a + 5*g + 25, -5*a = 3*g - 19. Solve 0 = -a*s - 5*c - 15, -6*s + 3*s + c = 1 for s.
-1
Let c = 1 - 1. Suppose -5*x + 16 = 2*j, c = -4*x + 5*j - 7 - 0. Suppose 12 = -x*k + 5*k. Solve -k*d - 17 = q, -5*q - d = -2 - 8 for q.
3
Suppose 728 = -3*h + 740. Solve 0 = -h*c - 5*u + 25, -c = c + u - 5 for c.
0
Suppose 6*a = 5*a. Suppose -2*k + 5*k - 19 = -2*s, -5*s + 2*k + 19 = a. Solve 5*p = s*l, -4*l - 1 - 2 = -5*p for l.
3
Suppose -14*o - 93 = -45*o. Solve 5*p + 10 = -5*v + o*v, 0 = 3*v - 2*p - 23 for v.
5
Let a be (5 - (-102)/(-17))*(1 - 4). Solve -2*r = 5*t + 7, 5*r + 3 - 14 = -a*t for r.
4
Let o be 10 - 2*(-35)/(-14). Solve 3*t = o*m + 11, -2*t = -4*m - 10 - 0 for t.
-3
Suppose 3 = -m + 5*h, 3*m - 21 = 3*h - 6. Suppose -4*w = -m*w + 24. Let c(g) = -g**2 - 9*g - 6. Let k be c(-8). Solve -v + w = k*q - 2, 2*v = 4 for q.
4
Let d be 200/15 - (-2)/(-6). Let u = -11 + d. Let n be (-5)/(-2) + u/4. Solve n*a + 3*o + 15 = 0, -4*a + 5*o + 0 = 2 for a.
-3
Suppose 2*i + f - 6 = 0, f + 6 = -i + 2*i. Solve -i*y = 4*u + 28, y + 4*u + 17 = u for y.
-2
Let z(a) = -a**2 - a - 2. Let m be z(-2). Let p be 10/(-40) - (-7)/m. Let k be 1/(0 - 1/p). Solve -4*q = 4*v - 16, 6*q = -k*v + 2*q + 18 for v.
-1
Let z = -65 + 65. Suppose s = -3*s + 12. Let n = s + 1. Solve -n*w + 2*w + 5*d + 17 = z, -3*d = 15 for w.
-4
Let a(d) = 2*d**2 - 23*d + 24. Let v be a(1). Solve -2*l + 2*p + 1 = 5, l - v*p = 0 for l.
-3
Let u be (24/(-21))/(14/(-49)). Solve -18 = -2*m + m + u*s, -s = 4 for m.
2
Let h = -4 + 3. Let c be -4*(h - 2/(-8)). Let z(o) = -o**2 + 5*o - 2. Let k be z(c). Solve 5*x - 6*v - 11 = -3*v, 2*x = -k*v + 20 for x.
4
Suppose -4*v + 3*v = -2*i + 6, -3*v + 18 = 3*i. Suppose -5*w + 12 = -v*b, 2*w - 5*b + 8 = -b. Solve 0 = -4*z - 4*m + 40, -2*m = -w*z + 8 + 2 for z.
5
Suppose -n + 95 - 90 = 0. Solve n*l + 1 + 2 = -3*m, 2*m - 5*l = -2 for m.
-1
Suppose 3*q - 11 = 5*n, -4*q = -4*n + 6*n - 6. Suppose -3*b - 8 = -b, 4*b = -4*t - 8. Let y be (0 - t)/(2/(-9)). Solve -4*s = k - 9*s - y, -2*s = q for k.
4
Suppose 0 = -2*h - 8, -4*h + 2*h + 55 = 3*n. Let s = n - 5. Suppose 2*b - b + 3 = 0, -b = 2*k - 1. Solve -k*q = -3*g + 13, 5*g - 2*q - s = g for g.
3
Let s be (-3*4/(-12))/(-1)*-3. Let i = -12 + 12. Suppose 4*f + 4 = v + 3*v, i = 5*v - 4*f - 6. Solve 3*l = -5*r - 3, s*l + v = -r + l for r.
0
Let g = -817 + 815. Let w(o) = -16*o - 16. Let d(a) = a + 1. Let v(l) = 12*d(l) + w(l). Let q be v(g). Solve q*c + 20 = 5*y + 3*c, -c - 2 = y for y.
3
Suppose c - 6 = -10, 5*g - 20 = -5*c. Solve 0 = y + 3*s + 9, 0 = -y + 2*s + g - 2 for y.
0
Let p = 45 + -39. Let n(w) = -2*w. Let d be n(-1). Suppose b - d*l - 12 = 0, l + 2 = 2*b - 7. Solve p + b = -5*z + 4*q, -q = -z - 1 for z.
-4
Let c(l) = 16*l**2 - l - 2. Let x be c(-1). Let h = x + -13. Solve -b + 1 + h = 5*d, -b + 3 = -d for d.
0
Let w(u) = u - 12. Let m be w(19). Suppose 4*s + m*s = 44. Solve 4*n - 9*n - y - 23 = 0, 2*n = s*y + 4 for n.
-4
Suppose -17 = 3*h - 35. Solve -q + 6*q = 5*g + 30, -g = 2*q - h for g.
-2
Let f be ((-510)/45)/(1/3). Let j = f + 43. Solve 3*x = -2*i + 6, 2*i + i = j for x.
0
Suppose 32 = 72*i - 68*i. Solve 0 = -2*r - 4*z - i, 0 = 5*r - z + 3 + 17 for r.
-4
Let k = -56 + -7. Let x = -63 - k. Solve -3*g - 4 = -c - x, 5*g = -c - 4 for c.
1
Suppose -87 = -4*y + 69. Suppose -42*l = -y*l - 3. Solve -2*x - 6 = 4*u - 2*u, 0 = -u + 3*x + l for u.
-2
Suppose 4*o - 5*w + 2*w = 13, -5*o - 10 = 5*w. Suppose 3 = 2*m - 21. Let u = -12 + m. Solve u = -4*n + 3*x - o, n - 4*x - 3 = 0 for n.
-1
Suppose 0 = -0