 0 = 2*h, -2*o - 1 = j*h - 5 for o.
2
Let r(t) = t**3 + 4*t**2 - t. Let m = 4 - 8. Let c be r(m). Solve c*l - 5 = 3, -z = -5*l + 13 for z.
-3
Let x(q) = -7*q + 21. Let c(n) = -4*n + 11. Let o(h) = 5*c(h) - 3*x(h). Let l be o(10). Solve 2*a - 8 = -2*z - a, l*a = 5*z - 20 for z.
4
Let n(j) = -4*j - 24. Let d be n(-7). Solve -3*q - d*l = 7, -6*l - 1 = -2*q - 3*l for q.
-1
Let a be 133/4 - (-15)/20. Suppose -1 - a = -5*x. Solve 5*u + m = -x + 21, 8 = -2*u + 3*m for u.
2
Suppose 5 = -z + 2*z. Solve z*o - 11 = -n, 4*n + 4*o = n for n.
-4
Let r(h) = -h - 1. Suppose 3*b = -0*b - 3. Let d be r(b). Suppose -2*f + 0*f = d. Solve f*u - 3*u - 4*t = 14, -4 = -3*u + 5*t for u.
-2
Let i = 19 + -14. Solve 30 = i*f - 2*m, 5*f + 2*m = -2*m for f.
4
Let g(h) = h**2 - 3*h + 5. Let l(s) = -s. Let q(f) = g(f) + 3*l(f). Let t be q(6). Solve 0*v - t*v = -4*m + 40, -v = -3*m + 19 for v.
-4
Let i be 4/(-14) + 12/(-7). Let s be (-5)/i*36/15. Solve 0 = -4*v, 4*v - 2*v = 3*r + s for r.
-2
Let r(y) = y - 1. Let c be r(3). Let o be 0/(2/(c - 3)). Solve -3*u + o*u - 6 = -5*q, -2*u = 4*q + 4 for q.
0
Suppose -4*g - 2*g + 24 = 0. Solve g*x - 3*r + 14 - 2 = 0, 0 = 3*r for x.
-3
Suppose -5*o = 2*c - 18, 3 + 10 = 2*o - 5*c. Solve -o*p + 2*v - 22 = 0, 0 = 3*p - 10*v + 5*v + 34 for p.
-3
Suppose 4*w - 2*n - 66 = 0, 0 = -4*n + 2*n - 6. Suppose t = -4*i - w, -5 = -3*t - i - i. Solve 19 = t*f - 2*c, -5*c = -f - 4*f + 10 for f.
5
Suppose -3*d = 5*b - 4, 5*b + 2 = -3*d + 2*d. Suppose 9 = 3*v - d. Solve 0 = -2*m + l + 2*l - v, 3*m - 3*l = -6 for m.
-2
Let t(f) = -f - 5. Let p be t(-9). Let r be (-5 - -11)*2/p. Solve -q - r*q + 5*s - 21 = 0, 10 = 2*s for q.
1
Let k(t) = 3*t**2 - 2*t - t**2 - t**3 - 1 + 2*t**3. Let h be k(-2). Solve 4*w + 20 = -h*l + l, 0 = -l + 3*w + 10 for l.
-2
Let k be 7/3 + (-8)/(-12). Let i(z) = -z**2 + 3*z + 3. Let t be i(k). Let n be 5/((-45)/(-6))*t. Solve 5*a = 2*x, -n*a + 8 = 2*x - 6 for x.
5
Let y = 10 + -15. Let f = 0 - y. Solve c = -f*v - 9, v + 3*v + 4*c = -4 for v.
-2
Suppose -5*c + 4*c + 5 = 3*p, -4*c - p + 20 = 0. Let b(x) = -x**2 + 4*x + 5. Let q be b(c). Solve -3*o = -2*s - 8*o - 10, -s + 3*o + 17 = q for s.
5
Let r be (-1)/((-2)/2) - 5. Let x be 0*(2/r - -1). Suppose 6*k - 6 = 12. Solve 5*g + m = 12, x = -k*g - 4*m + 2*m + 10 for g.
2
Let r be (-2)/4*(-4)/(-2). Let l(c) = 5*c**2 - 1. Let x be l(r). Solve -s - 2*o + 11 = o, -5*s + x*o = 40 for s.
-4
Suppose 5*g = -3*n + 29, -2*n - 5 = -3*g + 1. Solve 0 = 7*s - n*s + 5*d + 16, 12 = -3*s - d for s.
-4
Suppose 15 = 3*s + 2*s. Solve l + 4 = -5*b, b + 5 = s*l - b for l.
1
Let t be 10/4*3/(90/48). Solve 4*c = -2*j + 4 + 6, -c = -j - t for c.
3
Suppose 4*s + 2*d - 20 = -d, -s + 3*d = -5. Solve 5 = 4*y - 5*x, -x = -4*y - s - 10 for y.
-5
Let r be (48/(-30))/((-2)/5). Suppose r = i + i. Solve -3*l + i*y + 4 = 0, -4*l - l - y = 2 for l.
0
Let a = 3 + 1. Let l(f) = -9*f**3 + 2*f**2 + 2*f + 1. Let h be l(-1). Solve -2*q = 4*p - 3*q + h, 0 = 5*p + a*q + 23 for p.
-3
Suppose 0*t + t = 5*t. Solve 20 = 4*g - t*g + 4*y, -5*y = 0 for g.
5
Suppose 4*m - 3*m = 0. Suppose 5*d - 8 - 27 = m. Let h = -3 + d. Solve -2*i - i - 4*g = -7, h*i + 1 = 5*g for i.
1
Suppose -v - 13 = -4*s, 3*v - 6 = s - 4*s. Suppose s*o + 5*k = 4 + 3, -4*k = -o + 8. Solve d = -2*x + 8, o*d + 28 = -2*x + 6*x for x.
5
Let v = 17 - 10. Let j(w) = -4*w - 3*w**2 + w**3 + 4 + 0*w**2 - 3*w**2. Let m be j(v). Solve 4*d - 5*f = 11 + 14, 5*f = 5*d - m for d.
0
Let x be 6 + -2 - (-1)/(-1). Suppose x*k = k + 20. Let m = 17 - k. Solve 8*o + 2*d = 3*o + 1, -m = -5*o - 4*d for o.
-1
Let c = 10 - 5. Suppose t + 5 = 3*x, -3*x + c*x - 6 = 0. Solve 27 = -3*b + 2*g + 3*g, 19 = -t*b + g for b.
-4
Let a(i) = i - 2. Let q be a(7). Let g(t) = -t - 5. Let u be g(-7). Suppose r + u = 10. Solve -3*k + 5*w - 3*w - r = 0, k - q*w + 7 = 0 for k.
-2
Let h(p) = p + 8. Let r be h(-6). Suppose -5*f + 10 + 16 = 2*l, -4*f = -r*l - 10. Solve 2*o - 3*k = 5, -3*o - l*k - k = 35 for o.
-5
Suppose -6*p + 72 = 4*c - p, -3*c - 5*p = -59. Solve 3*k + 2*k + c = 3*f, -5*k = 2*f + 8 for f.
1
Let s be 1*5/(-10)*0. Solve 4*f = -3*r - r + 20, -4*f + 20 = s for r.
0
Let d be 5 - (-3)/((-3)/1). Let p = 5 + -4. Solve -p = -d*a - o, a = -2*a + 3*o - 3 for a.
0
Suppose 48*j = 26*j + 20*j. Let u be 1*(-1 - (1 - 10)). Solve j*a = a - 2*b - 5, u = -2*a - 2*b for a.
-1
Suppose 0*v - 2*b = -2*v + 48, 4*v - 64 = -4*b. Let z be ((-8)/v)/((-2)/(-30)). Let h = 9 + z. Solve 4*q - h*q + 3*w = 11, -22 = 3*q - 2*w for q.
-4
Let w(j) = 21*j**3 - 2*j + 1. Let h be w(1). Let v be h/15*6/4. Solve 0 = v*z + 2*o - 2, 10*o - 5 = 5*o for z.
0
Let s = -32 - -73. Let r = 15 - s. Let w = -15 - r. Solve -2*p + 26 = -5*q, -4*p - q + w = p for p.
3
Suppose -2*l = -2*g + 3*l - 27, g = 2*l - 11. Let v = 2 - g. Suppose -v*t - 2*n + 79 = 0, -n = 4*n - 10. Solve -4*s + 20 = -0, t = 4*j + 5*s for j.
0
Suppose 8 - 1 = -a - 3*m, 21 = 5*a + m. Solve 0 = 4*y - 2*u - 26, 5*y = -0*y - 5*u - a for y.
4
Let d(w) = -w**2 + 12*w - 9. Let h be d(11). Let z(q) = -h*q + 3*q + 2 + 5 + 2. Let n be z(-5). Solve 2*l = -n*f - 16, -3*l = -f - 0*f - 4 for l.
0
Suppose -69 = -3*c + 27. Solve -5*x - c = -4*i, -5*i = -x - 2*x - 27 for x.
-4
Let x(y) = 2*y**2 - 11*y + 19. Let z be x(2). Solve z*p + 5 = 0, 0 + 2 = -4*k + 2*p for k.
-1
Let c(t) = -t**3 + 9*t**2 - t + 13. Let r be c(9). Suppose 5*d + r*v - 37 = 0, 4*d - 2*v - 14 = -0*d. Solve 4*w = -d*b + 20, -5*b - 15 = -4*w + 5 for b.
0
Let v = 5 + -1. Suppose -15*t + 10*t = -200. Solve 3*n - 4*x = 35, 7*x = v*n + 3*x - t for n.
5
Suppose 0 = 3*z, -z = -5*p + 28 - 3. Suppose -21 = 6*x - 99. Suppose q + q = 0. Solve 3*u - p*l - x = q, -u + 6*u + 40 = -4*l for u.
-4
Suppose 2*z - 10 = -3*z. Solve 2*x = -z*d - 12, 2*d + 5*x + 24 = 3*d for d.
-1
Let q be (-1)/2 - 33/(-2). Let b = 286 - 282. Let p be 1*(-1 - (-2 - -1)). Solve g + l + 4 = 2, p = -4*g + b*l - q for g.
-3
Suppose 0 = w - 2*w + 3. Solve 0 = 3*y - 3*k, y + 3 = -5*k + w*k for y.
-1
Let l be (-3)/((-36)/(-16) + -3). Solve 3*j - 5 = -0*d + 2*d, 0 = -2*d + l for j.
3
Suppose -2*w = 8, 0 = -3*d - 3*w + 2*w + 5. Suppose -3*l - 9 = d*m, -2*m = 3*l + 2*m + 14. Solve 2*j + 3*o = -l*o - 19, 0 = -3*j + o + 14 for j.
3
Let n be (-3)/18 - 212/24. Let i = -9 - n. Solve i = -2*b + 4*z - 6, 5 = 2*b - z + 2 for b.
3
Let k = -13 - -35. Solve 0*u = -3*u - 5*p + 5, 2*u + k = 3*p for u.
-5
Let i be 25/30 - 1 - 813/(-18). Solve 4*r + i = -5*c, -2*c - 4*r = -4*c + 10 for c.
-5
Let l be 96/10 - 2/(-5). Solve -5*w - 7 = -d, -2*d - 3*w - l = -w for d.
-3
Suppose 5*c + 15 = -3*s - 2*s, c - 3 = s. Suppose -i + 17 = -0*i - 3*j, -3*i - 3*j + 15 = c. Solve h + q - 1 = 0, 3*q - i*q - 2 = -2*h for h.
1
Suppose 0 = 4*u + 2*z + 24 - 10, 5*u - 20 = 5*z. Let q = 6 + u. Suppose -s = 4*w - 130, 2*w + 2*s = -3*w + 161. Solve -o + 5 = 0, -2 = q*t - 4*o + w for t.
-3
Let l = -11 + 5. Let j(q) = -q**2 - 8*q - 8. Let b be j(l). Solve r + 4*g = -6, -3*r - r + b*g = 4 for r.
-2
Let k = 1 - -1. Solve -5*n - k*q = 3, 1 = 2*n - q + 4*q for n.
-1
Suppose 2*a + 16 = 16. Solve 3*v = -4*u - a - 8, 4*v - 2*u - 4 = 0 for v.
0
Suppose -5*v + 12 = -10*v + 3*n, v = -4*n - 7. Let a = v - -8. Let q be (1 - -1) + (0 - 0). Solve a*j = -s + q, -10 = s - 5*j - 2 for s.
-3
Let b be 2*(3/6 + 1). Suppose b*n = 6, 8*n = 2*l + 4*n + 2. Solve 0 = h - 0*h - l*q + 6, 4*h + 2*q = 4 for h.
0
Suppose -3*x - 63 = -12*x. Solve 14 = 3*z - r + 2*r, x = 4*z - r for z.
3
Let u be 5/2*(-66)/(-15). Suppose -2*j + 16 = 4*z, -10 = -5*z - 3*j + u. Solve 2*r = 3*r - z*a - 2, 2 = -3*r + a for r.
-1
Let n = -36 - -24. Let t = n - -12. Solve -2*i - 4*k = 0, t*i - i + 3*k - 5 = 0 for i.
-2
Suppose 40 = 6*h - h. Let i(v) = 5*v + 5. Let s be i(-4). Let n = -11 - s. Solve -2*k + 5*x - h = n, k + 5*x = 9 for k.
-1
Suppose 0 = 3*h + 2 - 11. Solve -3*j + 4 = h*i - 5*i, 2*j + 4 = 3*i for i.
4
Suppose 2*k + 4*z - 16 = 0, 5*z = 3*k + k - 58. Suppose -m - k = -4*m. Let o = 4 + m. Solve -o = h - 3*w, 4*w - 4 = -2*h - 0*w for h.
-2
Let i(w) = -w**2 + 14*w + 35. Let l be i(16). Let h(m) = 6*m**2 + m - 1. Let d be h(1). Suppose -l = -y + d. Solve 5*f - 11 = 2*r, -3*f + y = -0*f for r.
2
Let b = 11 + -8. Let n be ((-5)/(-5))/((-5)/(-10)). Solve -r - 4*p = -n*p + b, 15 = -5*p for r.
3
Let h be 160/(-12)*3/(-2). Solve -4 = -2*s + 4*s, -4*p - 4*s - h = 0 for 