h.
-2
Let q(l) = -l + 12. Let i be q(9). Solve 3*d = 2*c + c + 15, -i*d = -3 for c.
-4
Let j be (1 - 57/12)*12. Let h be -3 - (-1)/((-3)/j). Suppose 0 = 2*f - 3 - 7. Solve 4*c + x = f*x - h, 3*x = 2*c + 8 for c.
-1
Suppose 14 = 3*h - 58. Let w = -3 + h. Suppose -5*o - q + w = q, -5*q - 20 = -2*o. Solve 0 = -o*z + 5*f - 15, 7 = -4*z - 2*f - 17 for z.
-5
Let d = 110 + -105. Solve -z + 9 = 3*r, -d*z + r - 12 = -3*r for z.
0
Let o be -2 - (-9 - (-1 - 4)). Solve -5*i - 25 = 5*b, 0*b + i = o*b + 4 for b.
-3
Let r(a) = a**2 + 3*a. Let g be r(-3). Suppose -5*o + 38 - 8 = g. Let c be 10*(-5)/((-75)/o). Solve -5*p = -k, 0 = 2*k - k - c*p - 1 for k.
5
Let c be (-1 - 5)*(-4)/(-3). Let p(k) = -k**2 - 9*k - 5. Let i be p(c). Solve 5*o = 3*d - 2, 7 = i*d - 5 for o.
2
Let y(z) = -z**2 + 4*z + 5. Let x(u) = -u**3 - 13*u**2 + u + 17. Let d be x(-13). Let t be y(d). Solve 3 = v - 3*a, 0*v = -3*v - t*a - 5 for v.
0
Suppose 0 = -3*v + 7*v + 4. Let x(q) = -4*q - 1. Let r be x(v). Solve -5*h - r*a = -0*a + 5, h + 5*a + 1 = 0 for h.
-1
Let a(f) = 8 + 0*f**3 + 5*f**2 - f**3 + 5*f + 0*f**3. Let z be a(6). Let u be (9 - 3)*1/z. Solve -9 = u*g + 2*j, 3*g + 0*j = -5*j for g.
-5
Let h = 12 + -10. Let p be -2 + 4/1 + -2. Suppose -2*x - l + 16 = p, 0 = -3*x - 0*x + l + 29. Solve -2*w = -3*n - 12, 3*w - n - x = h for w.
3
Let g(m) = -28*m**2 + m. Let c be g(-1). Let f = 53 + c. Solve n + 0*n = -5*a - 14, 4*n + 4*a + f = 0 for n.
-4
Let s be 1 + 0 + (3 - 6). Let v = s - -7. Solve -4*i + i + 2*k - 1 = 0, v*k - 28 = -i for i.
3
Let s(l) = -l - 5. Let p be s(-15). Solve -p = -5*z, -b + 0*z + z = 0 for b.
2
Let o = 5 + 0. Let i(y) = 7*y + 3. Let v be i(3). Suppose -o = u - v. Solve -11 = 4*p - t - 30, -u = -3*p - 4*t for p.
5
Suppose 4*f - 25 = -f - 2*h, 2*f - 2*h + 4 = 0. Solve 2*n + f*z = 2, 0*z + z = -5*n + 18 for n.
4
Let f = 195 + -191. Solve g - 4*k + 3*k = 0, -f*k + 3 = -g for g.
1
Suppose -46 = -2*t - 36. Solve -5 = -4*i - t*o, 0 = 5*i + o + o - 2 for i.
0
Let z(g) = g**3 + 14*g**2 + 6. Let w be z(-14). Solve 2*l + l = -x + 3, -5*l - w = -2*x for x.
3
Let x(t) = 49*t**2 - 2*t - 1. Let v be x(-1). Let d = v - 32. Let w = -1 - -1. Solve 0 = -4*k - g - w*g - 10, 4*k + 5*g = -d for k.
-2
Suppose -3*g + 3*n + 2*n + 22 = 0, 2*g - 2*n - 12 = 0. Solve -g*x + 1 = -2*k - 27, 8 = -2*k for x.
5
Let d = -8 + 8. Solve -2*q = -5*c + 2, d*c = -4*c - 5*q + 28 for c.
2
Let x be (0/(-3) + 1)*0. Solve 3*f - 4*w + 3 = 0, x = -4*f + 4*w - 5*w - 4 for f.
-1
Let j be (2/4)/(1/10). Let a be (1 + j)*(-5)/(-15). Solve -5*h = -3*h + 4, 2*t + a*h - 6 = 0 for t.
5
Let t(j) = -1 + 2*j + 0*j - j + 11*j**2. Let b be t(2). Let g be b/10 - (-1)/(-2). Solve p + w + 7 = 0, -w + g = -3*w for p.
-5
Let g(i) = i + 8. Let c be g(-3). Suppose 16 = -4*h, 7*h + 62 = 2*j + 4*h. Solve c*n - j = 0, 2*n - 14 = -0*x + x for x.
-4
Suppose 8 = -2*b, 0*v - v + 3*b + 21 = 0. Let c = 13 - v. Solve 5*t - 16 + 1 = 0, 22 = 2*w + c*t for w.
5
Suppose 1 = -3*z + 34. Let b = 14 - z. Solve n - b*v - 9 = 0, 2*v + 18 = 4*n - v for n.
3
Let f(q) = q**3 + 15*q**2 + 14*q + 6. Suppose 2*o - 4 = -j - 28, -o - 6 = 2*j. Let d be f(o). Solve -12 = -3*i - 4*a, 2*a - d = -2*i - 0 for i.
0
Let n(v) = -v**2. Let i be n(2). Let g(h) = 2 - 6*h - h + 7*h - 4*h**2 - h**3. Let a be g(i). Solve -r = -a*c - 0 + 11, 5*c = -3*r + 22 for r.
-1
Let m be 1 - (1 - 5 - -15). Let w = 4 + -8. Let t be m*1*2/w. Solve 2*v = -2*y + t - 1, 0 = -5*v + 20 for y.
-2
Let z(i) = -i**2 - 5*i + 3. Let w be z(-5). Let v(m) = m + 3. Let a be v(w). Let g be (36 + 4)*(-2)/(-5). Solve 0 = -4*k - g, 2*o - o - a = k for o.
2
Suppose 3*n + 4 = 2*n. Let v(m) = m + 3. Let j be v(-10). Let q = n - j. Solve -5 = d - 5*d + q*r, 4*r = -12 for d.
-1
Suppose -6 = -3*v + 2*l, 10*l - 13*l = 4*v - 8. Solve 5*q = -v*p + 4*q + 7, 2*q - 18 = -5*p for p.
4
Let z(j) = j + 3. Suppose 4 = 2*w - 10. Let y be z(w). Solve 0*x + 2*x = -y, 0 = 2*h - 2*x - 14 for h.
2
Suppose -8*t = -6*t - 6. Solve 2*k + 3*o + 1 = 0, -2*k = -2*o + t*o + 3 for k.
-2
Let c be ((-1)/6 - (-26)/12)*2. Solve -c*s - 5 = -3*s, 4*y - 17 = s for y.
3
Let d(m) = -m**2 + 7*m + 1. Let l be d(7). Solve 2 = -2*b, -p - 3*b - 3 - l = 0 for p.
-1
Let d = 3 - 4. Let c be 0*d*2/(-4). Suppose -2*l - 4*s - 10 = c, -20 = l - 0*l + 5*s. Solve -5*n - g + 7 = 0, -1 - 6 = 3*n - l*g for n.
1
Let d = -5 - -9. Let q be (-3 - 4*(-3)/(-4))*-2. Solve q = d*x - s, s = 6*s + 20 for x.
2
Suppose -16*l + 18*l - 16 = 0. Solve 0 = 4*b + 2*x + l, -4*x - 2 = 3*b - 1 for b.
-3
Suppose -6*x + 2*x = -32. Suppose x = 2*a + 2*a. Suppose 0 = a*g + g - 15. Solve 2*c = -3*c - 5*u + 25, g*u + 3 = 2*c for c.
4
Let f be (-6)/21 - (-300)/(-28). Let l be (-2 + -1)*22/6. Let c = l - f. Solve -4*g - 5*n - 4 = 0, 3*g - 20 = -c*g + 2*n for g.
4
Let f(n) = 5*n - 12. Let g be f(4). Solve -2*i - 4*l + 20 = 0, -2*i + 3*l + 0*l = g for i.
2
Let m(n) = n - 2. Let x be m(3). Let r be 27/x*(-3)/(-9). Solve 2*v = -4*f + 6, v + 7*f = 3*f + r for v.
-3
Let d = 3 - 6. Let q = d - -3. Suppose q = -8*s + 3*s + 70. Solve m + 3*p - s = -0*m, -3 = -3*m + 4*p for m.
5
Let a(h) = h**3 + 9*h**2 + 9*h + 20. Let v be a(-8). Suppose 0 = -5*s - 7 + 22. Solve -s*p = -f - v, -4 = -3*p - 3*f + 8 for p.
4
Let v(p) = -p**2 - 7*p - 6. Let c(h) = h - 9. Let a be c(4). Let j be v(a). Suppose -2 = -0*x - x. Solve 2*n - x = j*y - 0*y, 2*n + 2*y + 4 = 0 for n.
-1
Let f = -25 - -29. Solve 0 = -f*r + 5*b - 2*b + 8, 20 = 5*b for r.
5
Suppose 5*l - 5*u = 15, -l + 5*u + 5 = 2*u. Suppose -1 + 5 = l*a. Solve t = 2*v - 0*t + 2, 4*v + t - a = 0 for v.
0
Let n = 35 - 22. Solve 4*p = d - 0 + n, 2*p + 3*d + 11 = 0 for p.
2
Suppose 0*d + d = -22. Let u = -13 - d. Suppose -2*k + 3 - 1 = 0, 0 = 5*j - k - u. Solve -y - j*y - 7 = f, -4*y - 8 = f for y.
-1
Let t be (-3)/(12/(-16)) + 1. Solve -t*i - 25 = 3*f, -2*i = -4*i - f - 10 for i.
-5
Suppose -10*c + 5*c + 85 = 0. Solve 4*a - 2*r - 1 - c = 0, -2*r = 5*a - 9 for a.
3
Let o be 38/9 + 18/(-81). Solve 0 = -5*t - 0*t - 5, 0 = -o*v + 2*t - 2 for v.
-1
Let b be (4/6)/(3/36). Suppose 4*y - b + 0 = 0. Suppose -2*j + j = -3*x - 13, -4*x = y*j + 4. Solve -d - d - j*r - 12 = 0, -4*r = 4*d + 8 for d.
2
Suppose -2*j + 6*j + 39 = -5*s, -3*s = -5*j - 21. Let f be 1 - (-5)/((-15)/j). Let z = 3 - f. Solve -5*w - l - 32 + 7 = z, 3*l = -3*w - 15 for w.
-5
Let d be (2 + (-5)/2)*-4. Let m(c) = c**2 - 13*c + 3. Let t be m(13). Solve 0 = -3*w - d*w + i + 4, t*w + i - 4 = 0 for w.
1
Let p = 2 - -3. Let q = 8 - p. Solve -9 = -3*o + q*g, -o + 3 = 4*g - 0 for o.
3
Let p(i) = -i**2 - 12*i + 2. Let s be p(-12). Solve u = 3, -14 = -0*n + 5*n + s*u for n.
-4
Let q = 51 + -33. Solve a + 6 = -2*h, q = 3*a - h - 2*h for a.
2
Suppose 3*j + 4*t + 2 = 6, 0 = 2*j + 4*t. Solve 4*a + 4*v - 3*v = j, 5*v + 1 = a for a.
1
Let b be (-5)/(-2) - 21/(-14). Let c = 0 - 0. Suppose c = -2*h + b. Solve -3*j - 4*o + 23 = 0, 2*j + o = -h*j + 22 for j.
5
Suppose 5*m - 13 = 2. Let l = 1 + m. Let v(b) = -5*b**3 + b**2 - 1. Let f be v(-1). Solve -3*a - l*c - 17 = 0, -4*a - f = -a - 2*c for a.
-3
Let f be 4/6 - 1596/(-63). Let z = f - 23. Solve d + 2*w = -0*d + 2, z*w = -d + 1 for d.
4
Suppose c + u - 3 = 0, 0 = -2*c + u + 4*u - 8. Solve 3 = s, 0*q - 2*s = -q - c for q.
5
Suppose 0 = -2*a + 5*i + 16, -3*a - 4*i - 32 = -7*a. Let u = a + -6. Solve 0*w - 14 = -g - u*w, g - w = -1 for g.
4
Suppose 0 = -5*r - 4*m + 16, 2*r - 6 = -4*m + 2*m. Solve -r*k = 5*c - 4, -2*k - 3*c + 0*c + 4 = 0 for k.
-4
Suppose -2*j = -5*j + 6. Suppose j*k - 13 = -3. Suppose 0*p + 44 = 4*p. Solve -k*l + 0*s - s = 8, 2*l = -3*s - p for l.
-1
Suppose -5*o + 5*u + 20 = 0, 4*o = 2*u + 11 + 3. Suppose -5*d + 30 = 5*a, 0 = -d + o*a - a. Let g = d - 2. Solve 3*i = -g*c - 15, -2*i = -3*c - 4*i - 10 for c.
0
Let n(s) = s**3 - 2*s**2 + s. Suppose -4*q + 6*q = 2. Let d be n(q). Solve -2*w = -6, -3*b - 4*w = -d*w for b.
-4
Let v(n) be the first derivative of n**2/2 + 2*n + 1. Let y be v(3). Suppose 5*q - 10 = -2*f + 5, -2*q = 3*f + y. Solve s = -2*h + q, 4*s - 20 = -2*h - h for h.
0
Let v be 16/(-24) - 78/(-9). Solve 3*h + 2*z - 15 = 0, 0 = -2*z + v - 2 for h.
3
Let t = -19 + 31. Let n = 17 - t. Solve -6 = -2*z - 2*y, 3*z + n*y = -z + 16 for z.
-1
Let a(l) = l**3 + 6*l**2 - l. Suppose 3*d = -12 - 6. Let s be a(d). Let k(t) = t**2 - 6*t + 9. Let c be k(s). Solve -5*v + 