 - 3*h - 1 = -g, 3*h + 1 = -2*k for k.
1
Let j = -15 + 24. Let h be (12/j + (-1)/3)*1. Solve -f - h = 3*r - 3*f, -5*r - 3*f = -30 for r.
3
Suppose -8*o = -3*o - 10. Let i(s) = -4*s. Let f be i(-1). Suppose -31 = -2*d + g, -2*g - 2 = f. Solve -4 = -4*m + o*k, m = 4*m + 4*k - d for m.
2
Suppose -x + l = -2*l - 15, 0 = 2*x - 3*l - 21. Suppose 0 = x*f - f - 100. Let m be (-2)/5 + (-98)/(-70). Solve -2*w + 5*w = 4*c + m, f = 4*c + 4*w for c.
2
Let k(w) = w**2 - 10*w + 2. Let s be k(8). Let l = -26 + 6. Let f = s - l. Solve f*h - 10 = 3*h + 4*a, -5*h - 6 = -a for h.
-2
Let k(o) = o**2 + 14*o - 1. Let v be k(-14). Suppose -4*r + 48 = -3*h, 5 = 3*r - 4*r + 5*h. Let n = v + r. Solve 0 = 3*p + 2*i - 6*i - n, -3*i = 4*p + 23 for p.
-2
Let f(j) = 3*j**2 - 38*j - 10. Let v be f(13). Solve 2*m = 3*p + 19, m - v*p - 4 = 2*m for m.
5
Let z(g) = -g + 15. Let w be z(-22). Let a = w - 32. Solve 4 = -2*b, 3*b = a*r + 2 - 3 for r.
-1
Suppose 0 = -17*n + 14*n. Let w be 8/(-7)*14/(-4). Solve 4*l + n = -5*v + 3, -4*l - 4*v + w = 0 for l.
2
Suppose 20*z - 25 = 15*z. Suppose 0 = 3*k - 4*y - 10, -5*k + 5*y - 6*y = -55. Solve a = 5*l - k, -l - a - 7 = -z*l for l.
3
Let r = -38 - -54. Suppose -4*p + r = 0, 2*l - 11 = p + 13. Solve b = 2*n + 2 - 7, -l = b - 5*n for b.
1
Let s be ((-20)/2 - -8)/(2/(-4)). Solve 0 = -4*p, 5*p = s*z + 2*p - 4 for z.
1
Let j be 4*(-4 + 18/4). Solve -j*l + 8 - 4 = 0, 5*n = 2*l - 14 for n.
-2
Let p = 925 - 920. Solve s + 2*y = 10, 4*y - 33 + p = -4*s for s.
4
Let v be 50/30 - (-1)/3. Let c = 21 + -12. Let n = c + -4. Solve 2*u = n*q + 27, 2*q + v*u + 8 = -0*q for q.
-5
Let b = 4 - 2. Let q(w) = -w**2 - 12*w - 20. Let m be q(-7). Suppose -9*f - m = -14*f. Solve -v = 5*n, -n + f*n = b*v for v.
0
Let t = 29 + -24. Let r(x) = 2*x**2 - 4*x - 4. Let u be r(t). Let o = u - 22. Solve -w + o*i = 9 - 32, -3*i - 15 = 0 for w.
3
Let n be 4/(-10) - (-12)/5. Suppose 3*v + 24 = n*i + i, -3*i = -2*v - 20. Solve -2*g - 5*u = 11, -i*g + 3*u = u - 14 for g.
2
Suppose 4*a + 5*a = 135. Suppose 2*g + a = f, 3*f + 0*f = -g + 10. Solve 0 = -l - f*z + 27, -5*z + 31 = 6*l - 3*l for l.
2
Let i(l) = -2*l + 2. Let q(g) = 2 - 5*g**2 + 0 + g**3 - g**2 + 7*g**2 - g. Let b be q(-2). Let j be i(b). Solve 0 = -j*o + 2*t - 3 + 13, t = 5*o - 5 for o.
0
Suppose -2*o + 3*x = o, 0 = -0*x + 2*x. Solve 31 - 6 = 3*y + 4*s, 2*y + 4*s - 22 = o for y.
3
Let f be 18/135 + 3 + 446/30. Solve 0 = o + 1, -4*h + 0*o + f = -2*o for h.
4
Let p(f) = 4*f - 4. Suppose 4*k - 3*k + 2 = 0. Let u be p(k). Let o be ((-4)/(-8))/((-2)/u). Solve -5*s - 4*m + 33 = 0, -o*s + 2*m = 1 - 12 for s.
5
Let p be (-6)/(-20) + 246/(-820). Let j(y) = y**2 + y + 2. Let d be j(0). Solve b - 17 = 5*k, -5*k + b - d*b - 23 = p for k.
-4
Let b = -1 + -3. Let t be ((-12)/(-9))/(b/(-6)). Suppose 0 = t*h - 8. Solve 4*k - 11 = -o + 4, h*o = -4*k + 24 for k.
3
Suppose -v + 10 = 4*v. Suppose 33 = -4*h + 13, v*h = -4*g - 10. Solve 0*t - t + 25 = 4*s, g = -3*s - 4*t + 35 for s.
5
Let a(z) be the second derivative of z**4/12 + 4*z**3/3 + z. Let d be a(-6). Let t = -7 - d. Solve -n - 4*n = -5*i, 2 = -t*i + 4*n for i.
-2
Suppose 40 = 2*r + 8*r. Suppose r*s - 64 = -4. Solve 0 = -5*c - 15, 3*c = -g - 2*c - s for g.
0
Let i = -267 + 270. Solve 0 = 3*s + 15, -i*z = -5*z - 4*s - 24 for z.
-2
Let u(o) = -2*o**2 - 8*o + 92. Let c be u(-9). Solve 0 = m + 3*v - 11, 7*m - 4 = 3*m - c*v for m.
-1
Let x = -89 - -59. Let v(r) = 4*r + 5. Let f be v(-13). Let l = x - f. Solve -5*b - l = n, -b - 2*n = 5 + 2 for b.
-3
Let z = 22 - 18. Solve -t + 5*a - 20 = z*t, 2*t - 3*a + 12 = 0 for t.
0
Suppose 146*b = 148*b - 28. Let h = -7 - -10. Let a be 4/12 + 23/h. Solve 4*f - b = -3*r + a*f, 0 = 2*f + 4 for r.
2
Suppose 0 = 16*v - 18*v - 2. Let g be v*14/(-3 - -1). Solve 5*p = 2*k - 14, 5*p - g*k + 8 = -3*k for p.
-4
Let g = 5 - 5. Suppose -o = 4*j - 2, j = -g*j + 3*o - 6. Let w(l) = -l**3 - 12*l**2 + l + 14. Let m be w(-12). Solve 3*a - 4 = -v - j*a, v - 4 = m*a for v.
4
Let j be (-62)/(-341) - 1712/(-22). Let g = 92 - j. Solve 4*v + 1 = s - g, -14 = 3*v + 2*s for v.
-4
Suppose 42 = 2*x + 3*n, 2*x + 2*x - 2*n - 100 = 0. Let j = 50 - 35. Suppose 12*b = j*b - 6. Solve 4*q + x = -b*u, 0*u + u - q = 0 for u.
-4
Suppose -16 = -0*f - 4*f. Suppose -5*h + 9 = 2*u - 3*u, 5*h - 8 = 2*u. Suppose 4*p = -3*n + 9, 10 - 4 = h*n + 4*p. Solve 0 = f*l + g, -14 - n = -l + 4*g for l.
1
Suppose -3*o + 27 = 4*q, 2*o - 6*o = -2*q - 14. Suppose v - 19 = -4*u, -5*u + q*v = -3*u - 13. Solve -8 = 2*c + 5*x, c - u*x + 5 - 1 = 0 for c.
-4
Let a be (1/3*6)/((-1)/(-3)). Solve 3*g + d = 9, -2 = -2*g - 4*d - a for g.
4
Let q(j) = -20*j + 1. Let d be q(1). Let y = -5 - d. Suppose 0*u + 10 = 2*u, y = 2*c - 2*u. Solve -c = -4*k - w, -28 = -5*k + 2*w - 0*w for k.
4
Suppose c = -2*z + 2, -7*z + 4*z = 4*c - 8. Solve 0 = 5*m + q + 7, -2*m - q + c*q = 7 for m.
-2
Suppose -j - 3*l + 20 = -0*j, -2*j = l - 15. Solve -b = j, -b + 5*b + 26 = -3*u for u.
-2
Suppose 5*a - d + 6 = 2*d, -d = -2*a - 2. Let p = 19 + -16. Let l(w) = -2*w**2 + 39*w - 14. Let v be l(19). Solve -3*b - v*s + p = 11, 4*b + 5*s + 4 = a for b.
4
Let p(l) = 4*l**2 - 6*l + 4. Let v(s) = 3*s**2 - 5*s + 5. Let a(m) = 4*p(m) - 5*v(m). Let h be a(3). Solve 7 = 2*n - h, 2*z = 3*n - 13 for z.
1
Suppose -20 = 4*j + j. Let l = j - -8. Solve 0 = -2*t - 2*d - 16, l*d = t + t - 8 for t.
-4
Let w = -404 + 408. Solve j - w*t = 15, -j - t = t + 9 for j.
-1
Let p = 2 - 0. Solve 2*x + p*x + 4 = 0, 3*u + x = -16 for u.
-5
Suppose 0 = 4*i - i + 4*h - 134, 0 = i - 5*h - 32. Suppose -i + 3 = -3*y - 3*d, 4*y - 12 = 4*d. Solve g + 0*g - 4 = u, y = 2*g + 4*u for g.
4
Let y be (0/(3 + 5))/(-3). Solve 2*j - 5 = -y*j + l, 6 = 3*j - 3*l for j.
3
Suppose 5*g - 4*f - 110 = 0, f + 59 = g + 2*g. Let i = 26 - g. Suppose j - i = -3*y, -4*j + 18 + 0 = -2*y. Solve 0 = -4*d + b + 18, 2*b - 24 = -j*d + 5 for d.
5
Suppose 20 = -5*c, -i = -c - 4 - 11. Solve 5*s = 3*a + 5 + i, 14 = 3*a + s for a.
3
Let a = -855 + 860. Solve 5*j + 17 = 8*k - 5*k, 0 = -a*k + j + 21 for k.
4
Let n(s) = -s**2 - 2*s + 5. Let a be n(0). Let l be -1 + a/(-5) - -10. Solve y + 2*w = -4*y - l, 3*w + 12 = -2*y for y.
0
Let x be (-572)/(-77) + 3/(-7) + -4. Solve -l = -7*d + 5*d + 6, 0 = -5*d + x*l + 13 for d.
5
Let b = 211 - 209. Solve -5*f = b*t + 16, 2 + 0 = -t - f for t.
2
Suppose 4*t - 5*j = -7 + 9, 0 = 3*t + 3*j - 15. Solve 0 = t*p - 4*c + 1, 2*p - c = -4*c + 22 for p.
5
Suppose -2*x = -4*s + 34, -4*s + 12 = -3*x - 21. Let h be 3*1/s*12. Suppose 0 = -o + 3 - h, 0 = j + o - 19. Solve n = 3*d + 2*n - j, 25 = d + 4*n for d.
5
Suppose -26*r + 25*r - 7 = -5*f, f = -5*r + 17. Solve j = m + r, 3*j - 3*m - 7 = 2*j for j.
1
Suppose 53*p = 41*p. Solve 0 = -2*u + 8, 5*k + 4*u = -p*k + 16 for k.
0
Let x be ((-2 + -1)/(-6))/(6/(-168)). Let a(c) = 2*c + 5. Let l be a(7). Let i = x + l. Solve i*q + 37 = 4*t, 30 = -5*q + t + 2 for q.
-5
Let c = 13 - 11. Suppose -2*k - 2*m + 8 = 0, -c*k - 6 = -k - 4*m. Solve 0 = 5*a + 5*o + k + 3, 5*a = 2*o - 12 for a.
-2
Suppose 5*v - 35 = 5*n, -3*v = -2*n + 5 - 21. Solve z - f = -1 + 2, -4*z + v*f = 4 for z.
-3
Let z = 30 + -26. Solve 2*o = -z*m - 18 + 4, -2 = 2*o + m for o.
1
Let i be 3/(1 - -8)*-9. Let c(o) = o**3 + 3*o**2 - 4*o - 3. Let k be c(i). Solve 4*g - g + 11 = -2*m, k = 2*m - g for m.
2
Let l be (-1 - -1)/(-9 - (-99)/9). Suppose l = 5*m - 15, -13 = 6*q - 8*q - m. Solve -q*w - 7 = -5*s + 8, 4*s + w + 13 = 0 for s.
-2
Let t(h) = -h - 7. Let q be t(-7). Solve 3*y + 3 = 2*g + 4*y, -2*g + y + 9 = q for g.
3
Let w(n) = -4 + 18*n + 20*n - 39*n. Let q be w(-6). Suppose -4 = -2*b + q. Solve -2*j = -r - 0*r + 8, -r = -j - b for r.
-2
Suppose -43*v + 26 = -17*v. Solve a = 6 - v, g + 2*a = 12 for g.
2
Let f = 1163 - 1160. Solve -5*c - 4*q = 6 + 11, f*c = 4*q + 9 for c.
-1
Let g be (((-8)/(-3))/4)/((-6)/(-27)). Suppose -5*y + 12 = -y - 5*f, 3*y + g*f - 36 = 0. Solve n + 3*n = -5*a - 18, y = -4*n for a.
-2
Let a be (-45)/(3/(-1)) - -4. Let s = 25 - a. Solve r - 18 = 4*f, 2*f - f - s = -5*r for f.
-4
Let p(k) = k**2 + 11*k + 13. Suppose -21 + 91 = -7*d. Let y be p(d). Solve 0 = 5*s + 22 - 7, y*s = -4*w + 7 for w.
4
Suppose 5*q - 5*m = 0, 4*m - 22 = -5*q + 14. Solve 3*y + 27 = -0*y - q*n, 0 = -4*y - 4*n - 32 for y.
-5
Let r be (6/(12/4))/(4/94). Let n = r - 45. Solve 2*z = -4*d, -3*z 