h - 13, -d*h - 28 = -r for r.
3
Let s(x) = 8*x - 16. Let g be s(8). Suppose -4*n - g - 40 = 0. Let b = -17 - n. Solve 2*y + r - 3*r = 0, -3*y = b*r for y.
0
Let r be 4/10 + 2/(-5)*1. Suppose 3*u - u + g - 11 = r, 27 = 4*u + 3*g. Solve 0 = v - 4*v - u*o - 6, 6 = 3*v - o for v.
1
Let d(l) = l + 11. Let j be d(-8). Let v(g) = -2*g**2 + 4 - j + 2*g**2 + 6*g**2. Let w be v(1). Solve 4*r + u - 4 - w = 0, 0 = 5*r + 5*u + 5 for r.
4
Let l(t) = -5*t + 6 + 6*t + 8 - 2. Let a be l(-10). Suppose 0 = u - a*u + 12. Solve -12 = 3*m, -2*c + u = -7*c + 2*m for c.
-4
Let g = 350 + -349. Solve -4*h = 8, -6*j = -j + 2*h - g for j.
1
Let x be (-30)/(-9) - (-4)/(-12). Suppose g + 0*g - x = 0. Solve -s + 0*i = -g*i - 9, i + 4 = 0 for s.
-3
Let k(b) = 24*b**3 - b**2 - b + 3. Let u be k(1). Solve v - u = 5*j, 2*v + 3*j = 4*v - 15 for v.
0
Let y be 4/10*105/14. Solve -2*d - 3*t - y = -d, -5*t - 5 = 2*d for d.
0
Suppose 4*x - 28 = -4*q, 64 = 4*x - 0*x - 5*q. Solve -5*h = -3*d - x, 2*d - 1 + 7 = 3*h for d.
3
Suppose 0 = 8*q + 506 - 530. Solve 2*h + 3*d + 15 = -2*d, 0 = -q*d - 9 for h.
0
Suppose -88 = -24*q + 8. Solve 5*j = -q*l + 27, 2 = j + 2*l - 7 for j.
3
Let i(p) = 149*p + 1. Let d be i(1). Suppose d = -3*o + 8*o. Suppose 3*c = 3*l + 2*l - o, 10 = -5*l - 5*c. Solve 2*u = k - 5*k, -2*u - k - l = 0 for u.
-2
Let x(g) = 2*g**2 + 4*g - 32. Let b be x(-6). Solve b = -4*t + 4*u, 0 = -u + 3*u for t.
-4
Let f be 0/(-1) - (-24)/(3 - 1). Solve -2*o + 1 - 17 = 2*i, 2*i = 5*o + f for i.
-4
Let u be -1 - (10 - 10/2) - -10. Suppose -5*z = -9*z. Let k be z + 2 - (-2 - -1). Solve u*h = -h + 10, -k*a - 4*h + 5 = 0 for a.
-1
Let u(r) be the first derivative of r**3/3 + r**2/2 - 3*r + 15. Let j be u(-3). Solve 3 = q - 3*g, -2*g - 11 = -j*q - 2 for q.
3
Let x(o) = -o**2 - 79*o + 520. Let z be x(6). Solve 4*d + 6 = -l + 3*d, -5*d - z = l for l.
-5
Let r be -4*(12/8 - 1). Let l be (2/4)/(r/12). Let s be 6 - 1/(-3)*l. Solve -2 = h - 0*h, -4*v - s*h = 18 for v.
-2
Suppose 0 = 3*j + 2*c - 19, -3*c = 3*j - 4*j - 1. Suppose -4*i + 8 = 0, 2*i = -j*k + 5*i - 196. Let w = -14 - k. Solve w = 4*g - v + 3*v, -v = -4 for g.
4
Let n be (4*14/(-4))/(-2). Let y(x) = x - 4. Let i be y(n). Suppose 0*s + i*s - 4 = 2*g, -s - 2*g = -12. Solve -3*v - 23 = 4*q, -3*v - 4 = -s*v + q for v.
-1
Let c be 4/18 + (-4)/18. Suppose -f - 5*s = -6 - 9, f - 5*s - 25 = c. Solve -3*x - w = 2*x + f, 2*x - 4*w = 14 for x.
-3
Let q(z) be the third derivative of z**4/4 - z**3/2 + 5*z**2. Let c be q(9). Suppose -2*n - n = -c. Solve 2*v - 33 = 5*j, -n = 2*j - 4*v + 9 for j.
-5
Suppose 34*a = -7*a + 205. Solve 0*z + 2*z - k = 8, -z + 15 = a*k for z.
5
Suppose 2*v - 7*v = -3*o - 20, -4*v + o = -16. Let n(m) = -m**2 + 8*m - 14. Let s be n(v). Solve 2*z = z + x, 0 = 3*z - s*x + 1 for z.
-1
Let b be -2*2/(-4)*(13 - 10). Solve -5*x - b*u - 11 = -4*u, -5*x - 14 = -4*u for x.
-2
Let f(b) = -b**3 - 14*b**2 - 2*b - 26. Let o be f(-14). Let g be 4/14 - (-130)/35. Solve g*u = -5*p - 25, o*u + 0*u + 5 = -p for p.
-5
Let g = -47 - -52. Solve -3*c - g*n = -2*c + 15, -4*c + 12 = 2*n for c.
5
Suppose -4*l + l + 21 = 0. Suppose l*u = 3*u + 12. Solve -2*j = -3*d + 5 + 8, -4*j - 11 = -u*d for d.
5
Let y = 2819 - 2815. Solve f = 4*g + 5, g - 2*f = -0*f + y for g.
-2
Suppose 2058*g = 2053*g + 10. Solve 6 = -g*v, 5*u + 0*u + v = -8 for u.
-1
Let z be (-6)/10*((-6 - -17) + -21). Solve z = 2*i + 2*m, 5*i - 5*m = 2*i + 1 for i.
2
Suppose 2*j - 6 = -2*j + q, 9 = j - 4*q. Let l = -4 + 9. Suppose 0 = -2*w - 2*k + 2, 0 = -2*w + 5*k - l - 0. Solve -a = 4*y + j, w*y = -2*y + 3*a - 11 for y.
-1
Let k(o) = -2*o**3 + 29*o**2 - 8*o - 80. Let n be k(14). Solve -5*y - 1 = -5*b + 9, n*y = 5*b - 9 for y.
-1
Suppose -12*y + 2 = -11*y. Suppose 0 = -2*b + 5*h - 8, 5*b + y = 4*h - 1. Solve 2 = -o - 3*i - 5, i + b = -o for o.
2
Let o(i) = 9*i**2 - i - 1. Let j = -3 + 2. Let m be o(j). Let k = m + -6. Solve 5*d = -2*l + 9 + 1, 15 = k*d + 3*l for d.
0
Suppose -2*v = 2*r - 12, v + 10 = -4*v + 5*r. Solve 0 = -5*j + v*i - 3, -5*j + i = 4*i - 17 for j.
1
Suppose 10 = -2*w, -k - 21*w - 5 = -19*w. Solve 0 = 3*o + 2*l + 10, -11 = 2*o + 2*o + k*l for o.
-4
Let q(f) = 9*f + 516. Let g be q(-57). Solve 0 = p + 5*b - 21, -5*p - g = -2*b - 0 for p.
1
Let c(k) be the second derivative of 0 - 1/2*k**2 + 5/12*k**4 - 1/6*k**3 - 4*k. Let m be c(-1). Solve v - m*l = 12, -l + 0 = 5*v - 8 for v.
2
Let y(n) = n**3 - 4*n**2 - 2*n. Suppose -7*j = -9*j + 10. Let w be y(j). Suppose -3*a = -8*a + 15. Solve 9 = a*d - 3*o - w, -3*d - 2*o = -4 for d.
4
Let g(h) = 6*h**2 - 2*h - 1. Suppose j - 6 = -2*j. Let o be g(j). Suppose -3*i - 27*i = -150. Solve -4*p - o = -4*c - 3, -30 = -5*c - i*p for c.
5
Suppose -j = -15 + 12. Suppose -k = 3*z + 3*k + j, 4*k + 12 = 0. Let o be 2 + (2/2 - -1). Solve o = z*d + 5*i, -d - 5*i + 2 = -3*i for d.
-2
Suppose 4*k - 44 = -4*g, -5 = -5*g + 5*k + 30. Solve 0 = -5*v + q + g - 1, -5*q + 20 = 5*v for v.
2
Let z = 490 + -489. Solve -s = 4*s - 5*i - 30, z = -4*s - i for s.
1
Let b = -15 - -19. Suppose -4*u + 18 = -2. Suppose -u*a + b = -a. Solve -t + i - a = 2, 4*t - 4 = -4*i for t.
-1
Suppose -2*p + 4*p = 6*p. Solve 1 = -r - p, -r = -5*n + 26 for n.
5
Suppose 0*s + 6 = 3*s - 2*y, 0 = -2*s - 3*y - 9. Suppose s*g + 4*q + 8 = -3*g, -4*g = -5*q - 10. Solve 2*h - 3*r - 2 + g = 0, 4*h = -3*r + 4 for h.
1
Let u be -1 - -4 - (-100)/(-4). Let t be (275/u)/((-1)/(-2)). Let y = -15 - t. Solve 2*n - y = -2*n - 5*i, 5*n + 5*i = 15 for n.
5
Suppose 8*p - 3*p + 2 = -4*l, -p + 4*l + 14 = 0. Suppose -2 = -p*j + 8. Solve 4*m + 5*n = 40, j*m - n - 13 = 2*n for m.
5
Suppose 22*i - 8 - 102 = 0. Solve q - 19 = i*a, 0 = 2*a + 2*q - 3*q + 10 for a.
-3
Suppose -7*o + 18 + 10 = 0. Suppose 20 = -3*u + 5*m, u = -o*m + 3*m + 4. Solve -4*h = 4*f + 32, u = 4*h - 2*h - f + 4 for h.
-4
Suppose 2*i = -4*a - 114, 0 = -0*a - 5*a - 2*i - 143. Let s = a + 32. Solve p + 7 = -5*q + q, 0 = -s*p + 3 for q.
-2
Let d = 1 - -1. Suppose -4*l + 5 = -d*b + b, 7 = 3*b - l. Let h be (1 - b)/((-11)/22). Solve a + 2*z = -h, -3*a - 5*z = a + 4 for a.
4
Suppose -2*f = -5*y + 2, 0*f + 5*y = -f + 14. Solve 5 = f*j - 5*m, -m - m - 2 = 0 for j.
0
Suppose 7*w - 4*w = 0. Solve 0 = o - d - 1, o + 3*d - 7*d + 5 = w for o.
3
Let r = 2 - 2. Suppose s = 3*s - 136. Suppose -b + 2*j = -25, -3*b + 5*j + 3 = -s. Solve -3*z - w = 18, z + 4*w = -r*w - b for z.
-5
Let h = 25 + -25. Suppose -11*g + 13*g = h. Solve g = -j + 2 + 3, -3*l + j - 14 = 0 for l.
-3
Let m = -3 + 6. Let l(k) = 5*k - 2 - 3*k + m*k**2 - 2*k**2. Let c be l(-5). Solve -2*o = -5*t - 3*o + 16, -5*t + 2*o = -c for t.
3
Let z be 2/(5*(-10)/(-675)). Solve -z = -3*g + 4*f, 5*f = -g + 2*g - 20 for g.
5
Let b(p) = 2*p - 20. Let d be b(10). Solve 0 = -5*j - 4*v + 1, d = -j - 2*j + 5*v - 29 for j.
-3
Let a(h) = h**3 + 2*h**2 - 3*h + 1. Let q be a(-3). Let l = 59 - 62. Let d be l - (q - -2)*-2. Solve -5*c = -d*f + 11, -5*c - 4 = 4*f + 28 for c.
-4
Suppose -4*p + 54 = -3*w + 9, w = -2*p + 35. Let y = 37 + -32. Solve -3*l = -4*k + p, -y*k = -0*k for l.
-5
Let n be (-32)/80 - (-276)/(-10). Let r = n + 38. Solve 0 = 5*m + 5*t - 15, -4*m + t - r = 3 for m.
-2
Suppose 0 = 4*n - j - 23, -5*n = -0*j - 3*j - 34. Suppose 0 = -4*p - n*m + 1, 3*p = m + 10 + 5. Solve 4 = -p*z - 0, f + z - 1 = 0 for f.
2
Let c(w) = -w**3 - 13*w**2 - 24*w - 13. Let p be c(-11). Solve 5*z = z - l + 15, -z - 2*l + p = 0 for z.
3
Suppose 4*y = 4*u - 36, -y + 3*u - 10 = 9. Let m be (17 - -1)*(-2)/y. Let c be (-2 - -1)*(-8 - -4). Solve s - m = -c*i, 2*s + 6 = 4*s + 4*i for s.
-3
Suppose 13 = 5*f + 3. Suppose 24 + 2 = -f*t. Let m(i) = i + 26. Let s be m(t). Solve -6*v + v + 15 = 0, -v = -4*d + s for d.
4
Suppose 3*h + 5*k - 32 = 6*k, k + 20 = 2*h. Solve 5*r - 2*a + 6*a - h = 0, 0 = r - 3*a + 9 for r.
0
Let c be (153/27 + -7)/((-8)/18). Solve -5*n = -2*q, 4*n + 5*q = c*n for n.
0
Suppose c + 4*c = 3*a - 2, -2*a - 8 = -8*c. Solve -2 = -5*z + f, a*z - 6 = z + 3*f for z.
0
Suppose 0*a = 3*a. Suppose -4*r = -2*l - 8, -7*l - 12 = -5*r - 5*l. Solve -r = -2*v, 3*o + 4*v = -a*v + 2 for o.
-2
Suppose -3*h + 5*u = -15, 2*u - 15 = -6*h + 3*h. Solve -h*l = 2*z + 8, -z = -l - l + 4 for z.
-4
Let y = 27 - 16. Let k(n) = n + 5. Let m be k(y). Suppose -4*c + 5*l = 3*l - 20, -3*c = l - 15. Solve 2*r - 3*u = m, -c*u = 5*r - 10 - 5 for r.
5
L