 15, 0 = -2*h + 4*u + 10 for h.
-5
Let p be (6 - 2)/1 + -1. Solve p*h + 2*j - 9 = 0, -3*h = -3*j - 2*j - 9 for h.
3
Let m be (-47)/(-4) + (-9)/(-36). Suppose -3*j - 5*q + m = -2*q, 2*q = 3*j + 8. Solve -2*p + 5*h = -5*p + 7, p - h + 3 = j for p.
-1
Suppose -11*j - 4 = -13*j. Solve 3*u + 3 = 0, -17 = j*g - 7*g - 3*u for g.
4
Let q = 39 - 21. Suppose g - v - 18 = 0, -q - 51 = -4*g + v. Suppose p - 4 = 0, -i - 3*p + 1 = -4*p. Solve z - i*b = -20, 0 = -z + 3*b + b - g for z.
-5
Suppose -4*x - 4 = -24. Let h(k) = 2*k**2 - 2*k + 1. Let f be h(2). Solve 2*p - 8 = -0*r - x*r, 0 = -f*r + 3*p + 13 for r.
2
Let b = 4 + -1. Suppose -2*l + 5*r + 30 = 0, 2*l + 3*l - 44 = -3*r. Let y be ((-12)/(-10))/(b/l). Solve -3*c + 14 = 4*g, -4*g - 4*c = -y - 8 for g.
5
Let v = 15 + -9. Let b(c) = c. Let k be b(3). Let y be 4 + (-1)/1 - -8. Solve -4*q - y - v = k*r, 7 = r - 5*q for r.
-3
Let r be 0/(-2) - -4*1. Let d be (11/3)/(r/24). Suppose -2 = -2*y - 0, -2*y + d = 5*w. Solve -b + w*l - 21 = 0, 0 = 5*b - 3*l + 2*l + 29 for b.
-5
Let x be (-4)/(-18) - (-530)/45. Let k be (-3)/x - 196/(-16). Solve -2*f = 2*g - 8, 2*f + g + 3*g = k for f.
2
Let b(w) = w**3 - w**2 - w + 3. Let y be b(0). Solve 4*t = 3*h + 31, -1 - 2 = 3*t + y*h for t.
4
Let t be 66 + -42 + (-4 - -1*1). Solve 5*d - 4*d + t = 4*k, 15 = -5*d + 2*k for d.
-1
Let o(a) = a**3 - 9*a**2 - 24*a + 25. Let c be o(11). Solve -2*u - 3*u + 11 = c*r, 2*u + 4*r + 4 = 0 for u.
4
Let y(k) = k**2 - 5*k - 2. Let z be y(5). Let t be (-3)/2 + 1/z. Let s be (-8)/(-1) - (-4)/t. Solve -s*d + d - 4*n = 15, -9 = 3*d - 3*n for d.
-3
Let t = 1 - 1. Suppose b + 4*b = t. Solve 2*c - 2 = -2*p, b = -5*p - c + 5*c + 23 for p.
3
Suppose -7*n = -24 - 32. Solve -3*d + 2*f + 0*f + 7 = 0, -4*f = n for d.
1
Let r be (-6)/(-2)*6/9. Solve -3*o = 3*q, -3*o + 2 + r = 2*q for o.
4
Let s be (2/(-4)*0)/(-2). Suppose -5*y - 30 = -s*y. Let q be (y - 1)*(-6)/7. Solve 2*c + q = -2*u, 2*c + 0*c + 16 = 3*u for c.
-5
Let b(x) = -3*x. Let f be b(1). Let p be (-16)/(f + 2)*6. Suppose 5*n - n - 2*l - p = 0, -l = 2. Solve 3*u + n = 7*v - 3*v, -20 = 4*u for v.
2
Suppose 0 = 6*x - 70 + 22. Solve -4*g - 2*i = -18, 3*i = x*i - 15 for g.
3
Suppose 0 = -5*a - i + 2, 3*a - 8*a - 5*i + 10 = 0. Suppose 2*v = 4*q - 18, -q - 4*q + 25 = 0. Solve -f - b = -2*f - v, a = -5*f - 5*b - 25 for f.
-3
Suppose -4*n - 4 = 3*c, -5*c + 23 = -5*n - 17. Solve c*l - r - 23 = 0, -4*l + 9*l + r - 22 = 0 for l.
5
Let c(b) = -b + 18 - 9 - 7. Let k be c(0). Suppose 6*v + k*n = v + 22, -n + 5 = v. Solve 0 = -v*u + 2*d + 22, -5*u - 3*d + 24 = 2 for u.
5
Let g be (-1 - -1)*(-11)/22. Solve 4*v = -12, 2*j + v + 2*v + 9 = g for j.
0
Let o(p) = p**2 + 8*p + 2. Let v be o(-8). Solve -4*l + n + 16 = 0, -5*l - v*n + 11 = -n for l.
3
Let v = 10 - 5. Let i be v*(-1 - (-14)/10). Solve -7 = n - 4*u, -4*n + u - 11 = i*u for n.
-3
Suppose 0 = -5*h + 3*z + 6, 0*h - 3*h + 3 = -2*z. Let i be 0 - (-3 - -1) - 3. Let j = i - -1. Solve -l - 16 = -3*g - 7, -5*l + g - h = j for l.
0
Let m be (0 + 0)*(-4)/8. Let l(p) = -p**2 + 27*p + 72. Let t be l(29). Solve -2*j = 4*b - m*j + t, 0 = 3*b + 4*j + 3 for b.
-5
Suppose 98 = 3*g - 160. Let u be 2/9 + g/18. Solve -u*k - 2*o - 5 = 0, 4*k + o = 6*o + 29 for k.
1
Let r(a) be the first derivative of a**3 + 3. Let h be r(1). Let b(m) = -m**2 - 5*m. Let o be b(-5). Solve -3*u + 6 + 3 = -3*d, o = -5*u + h*d + 11 for u.
1
Let m = -5 + 8. Let y be 9*6/(-30)*10/(-6). Let n be 0 + y + -1 + m. Solve n*r + 3 = -3*w, w + 2*w = -3 for r.
0
Let m(p) = -4*p + 20. Let o be m(4). Solve 2*j + 9 = -0*j + 5*v, 2*v + 6 = o*j for j.
3
Let x(v) be the third derivative of 0*v + 0*v**3 - 3*v**2 + 1/12*v**5 + 1/24*v**4 + 0. Let r be x(-1). Solve -y = 5*j + 4*y - 20, -r*j - 9 = -y for j.
-1
Let u be ((-18)/15)/(4/20). Let d(c) = -c**3 - 5*c**2 + 5*c - 3. Let s be d(u). Solve 0 = s*x + 3, 2*x + 3 = -f + 2*f for f.
1
Suppose -23 = -a - 4*f + 2*f, 2*f + 19 = a. Suppose 0 = a*l - 26*l + 15. Solve 4*m + 14 = -3*o, -9 = -l*o - 3 for m.
-5
Let b(t) = 2 - 4 - 4 + t**2. Let d be b(5). Suppose d - 2 = i. Solve -p = z - 1, z - i = 4*z - p for z.
-4
Let k(b) = -b + 7. Let s(c) = -3 - 3*c + 5*c - c. Let v be s(-3). Let w be k(v). Solve 5*i - 9 = -d, 2*i = 4*d - i - w for d.
4
Suppose -10*v = 51 - 161. Solve 7 = 5*o - g - v, 15 = 2*o - 3*g for o.
3
Let o be 2/(2/5) - 2. Suppose o*d - 4 = 2*d. Solve d*f + 15 = -f, 0 = q + 4*f + 12 for q.
0
Suppose -87 = -14*x + 11*x. Solve 4*v = -i - 15, 5*i - 3*v + 12 = x for i.
1
Let g(n) = -n**2 + 9*n - 7. Let b(p) = 2*p**2 - 10*p + 7. Let j(i) = 3*b(i) + 4*g(i). Let z be j(-5). Solve -3*y = w - z, 2*w - 5*y + 19 = 3*w for w.
4
Let l be (-16)/(-6) - (-2)/6. Suppose -10*s + 8*s = 0. Solve 10 = l*v - y, 3*v + 0*y + 3*y + 6 = s for v.
2
Let g(o) = o**3 + 3*o**2 - 4*o + 5. Let b be g(-4). Let x = 2 - 2. Suppose w + 2*y - 2 = x, 5*w + 3*y + 0*y - 10 = 0. Solve -31 = 4*q + 3*d, d - b = w*d for q.
-4
Let k = 5 - 0. Let j(p) = p**3 - 10*p**2 + 26*p - 3. Let h be j(5). Solve k*b - 8 = -o, -h*b + o + 8 = b for b.
2
Let q(c) = 2*c - 15. Let m be q(13). Solve -5*z = 3*i - 7*i + m, 2*z = 4*i - 14 for z.
1
Let i = -5 - -5. Let j be i + 5 + -3 + 1. Solve -2*a + z - 4*z + 8 = 0, j*a = z - 10 for a.
-2
Let p be (-1)/3 + 3/9. Let x be 1 - (p - 1)*5. Suppose -4*q = -12, 3*q - 9 = h - 0*q. Solve -4*t + x = -2*a, 2*t + 12 = -h*t - 2*a for t.
-1
Let y = -19 - -12. Let s(j) = -3*j - 17. Let l be s(y). Solve f + l = 3*q, 4*f - 3*f + 2 = q for q.
1
Let u be (9/(-6))/(2/(-4)). Solve 5*a = 4*f - u - 5, 0 = 4*a for f.
2
Let b be (-1)/((-1)/1) + 14/(-14). Solve 3*x + 5*g - 17 = b, -5*x - 3*g + 6 + 1 = 0 for x.
-1
Let n = -9 - -12. Solve -4*a = -n*a - 4*x, a = x for a.
0
Let m(x) = x**3 - 4*x**2 + 2*x + 4. Let z be m(3). Suppose -y + z = -3. Solve -2*f - y - 4 = -4*s, 3*f + 4*s = -12 for f.
-4
Let x = -7 + 7. Solve -3*t + 2*t = -2*v + 9, 4*v + 4*t + 12 = x for v.
2
Suppose 7*z = 2*z - 5*l + 155, l + 161 = 5*z. Suppose -o + z = 2*j, 5*j - 2*o = -23 + 85. Solve d + 3*g + j = -0*g, 15 = -3*g for d.
1
Let p(h) = -3*h + 20. Let z be p(5). Solve -2*j - 4 - 6 = 3*d, -5*d - z*j - 15 = 0 for d.
-4
Let i(d) = d**3 + d**2 + 3. Suppose -3*z - 5*s + 19 = -6, -2*s + 10 = -4*z. Let y be i(z). Solve y*r - 4*r - 4*t = -8, 3*t = 3 for r.
4
Let j(g) = g + 1. Let o(f) = 6*f - 4. Let z(h) = 5*j(h) - o(h). Let d be z(7). Solve 0 = b - v + d, 0*b + 3*b + 6 = -2*v for b.
-2
Suppose -14*b = -5*b + 9. Let a be -3*(32/3)/(-2). Let k = b + a. Solve p + 3*h + h = -k, -15 = 3*h for p.
5
Let o = -15 - -60. Suppose 27 = -4*c - o. Let q = -8 - c. Solve 0*l = -4*b + 2*l, -4*b + q = 3*l for b.
1
Suppose -r + 1 = -1. Solve -n + 8 = -r*h, 2*h - 3*n = -n - 10 for h.
-3
Let h(l) = -l**3 + 3*l**2 - l + 1. Let r be h(2). Let m = 4 - 2. Let f = m + r. Solve -f*b - 28 = -b - 4*o, -o + 2 = 0 for b.
-5
Suppose -o = 3*o - 8. Suppose p = 3*p - 48. Suppose f + 0*f = -4*x + p, 5*f = -2*x + 30. Solve f*q - 5 = q + o*z, 7 = 3*q - 4*z for q.
1
Let s(r) = -3*r + 3. Let n be s(-3). Let y be 376/3 + (-12)/(-18). Suppose -5*i - 16 = -y. Solve -5*j - i = -c, 2*c - 2*j = -6*j - n for c.
2
Suppose -m = 2*y - 10, -5*m - 5 + 0 = -y. Let c be 39/(-12) + (-2)/(-8). Let r be -1*5*3/c. Solve m = -r*t - o + 25, 2*o = -5*t + 5*o + 5 for t.
4
Let p = -25 - -48. Let a = p + -4. Solve r + a = 5*i, -r = -2 + 1 for i.
4
Suppose 4*z - 112 = -0*z. Let t = -15 + z. Suppose 202 = 10*w + 32. Solve -2*y - p - 15 = 0, -3*p - w = 3*y + t for y.
-5
Let p be 2 + (-48)/(2 + -4). Solve 3*i + 11 = -s, -p + 7 = 2*i + 3*s for i.
-2
Suppose 0 = -t + 1 + 4. Suppose f = t*c - 15, -c - 3*f + 4 = 1. Solve q - 3*k = -4*k + c, 0 = 5*q - 2*k - 1 for q.
1
Suppose -2*y - 5*y = -203. Solve -5*d - y = 2*r, 25 = -5*d - 0 for r.
-2
Let d(q) = -q**2 + 17*q - 7. Let h be d(16). Solve -n = 2*o + h, -3*o + 3*n = 8 + 1 for o.
-4
Let c be (1 - 7)/(2 + -3). Let o be (-51)/(-6)*2*1. Suppose 2*m - o = 11. Solve -5*k + 2*k - m = 2*a, -a - k - c = 0 for a.
-4
Suppose -2*n + 2*s = -12, -6 = 2*n + s - 3. Solve 5 = 4*y + 4*i + n, -3*y = -5*i + 37 for y.
-4
Suppose -4*u + 7 = -3*h, -u + 3 + 1 = 0. Solve h*x = 8*x + 5, -3*x + 5 = 2*q for q.
4
Suppose 2*o - 6 = 4*o. Let p = 3 - o. Let d = 12 - p. Solve 10 = w - 0*r - 3*r, 0 = -w + 2*r + d for w.
-2
Let n = 7 - -2. Let q = n + -4. Suppose -15 = -q*v - 0. Solve 3*z + 2*x 