l be h(2). Suppose 3*w - 19 = -4. Solve l - 32 = w*k, -4*i = 2*k + x for i.
-3
Let x be (-72*1)/(-6)*(-4)/(-6). Solve -2*o - x = 5*v, -3*o + 3 = -0*o for v.
-2
Let g = 11 - 9. Let d(t) = 2 + 0 + 4*t - 1 - t**2. Let c be d(3). Solve 0 = 3*v + c*h + 2, 3*v = 2*v - 4*h + g for v.
-2
Suppose -3*i + 5*i - 4 = 0. Suppose -10 = -i*v - 0*v. Solve -v*y = 2*f + 2, -2*y + 4*f - 24 = 2*y for y.
-2
Let d(t) = -t. Let r be d(-4). Solve c + 2 = -5*q - 3*c, r = 5*q + 2*c for q.
2
Let g be 2/(-8) - (-186)/8. Solve 0 = -4*i + s + g, -3 = -3*i - 3*s - s for i.
5
Let b(m) = m - 2. Suppose 3*z + 8 = 23. Let l be b(z). Solve -y + 5*h = -19, 4*y - 9*y = -l*h - 29 for y.
4
Suppose 5*b - 5 = v, -4*b - 5*v = -3*b - 27. Solve -b*i - 17 = 3*j, -i = -2*i + j - 1 for i.
-4
Let g = -11 - -29. Suppose 2*h - h = -5*f + 14, 4*f = -3*h + 53. Let v = h - 12. Solve -3*s = 4*c - 5, 4*s - c = -v - g for s.
-5
Let u be 9 - ((-3)/3 - -2). Let h be 3 - -1 - 4/2. Suppose -h*a - 8 = -4*i, -3*a + 38 = -0*a + 4*i. Solve 5*c = -3*f - u, -f + 9 = -4*c - a*f for c.
-1
Let b(s) = s + 10. Let d be (14/4)/(3/(-6)). Let c be b(d). Let x be (-8)/(-3) + (-2)/c. Solve 3*k + 8 = -4*v, -3*k = -x*v - 7*k + 6 for v.
-5
Let r = -13 - -18. Solve -4*s + 15 = n, -4*s = -r*n - 9 - 12 for n.
-1
Let w be -2 - (-6)/2 - -2. Let a = w + -3. Solve l - b + 2 = a, -14 + 2 = 5*l - 3*b for l.
-3
Let i = 10 + -17. Let v be (-5)/i - 4/(-14). Solve -5*g = 2*z - 0 + v, -5*g - 13 = -4*z for g.
-1
Let j be (-1 - 1) + (-8)/(-2). Let v = j + 0. Let r be v - (2 - 2) - -3. Solve o = -4*q - 7 + 4, -5*o = r*q for q.
-1
Let w = 47 + -41. Solve -2 = -2*a + w, 0 = -4*x + 5*a - 28 for x.
-2
Suppose -29 = -7*m - 1. Solve 4*i - m*q - 16 = 0, -5*i = -0*q - q - 4 for i.
0
Let t be ((-15)/9)/((-4)/12). Suppose -t*a + 36 = -a. Solve 5*j + 3*k - a = -2, 4*k = 5*j - 14 for j.
2
Suppose 9 = d + 2. Let k(m) = -2*m - 3 - d + 0. Let i be k(-7). Solve 0 = -2*h + 6, -h + i = b + h for b.
-2
Let y = 102 + -103. Suppose 5*d + 16 - 1 = 0. Let l be (-2 + 1)*(d + y). Solve 2*w - l*a = 4*w + 8, 5*w - 2*a = -8 for w.
-2
Let v be 3*((-3)/1)/3. Let p be (-17)/(-3) + (-1)/v. Suppose -2*w + 5 = 3*o + 3, 4*w = -3*o - 2. Solve -2*s + p = -5*g, o*g + 8 = -3*s + 17 for s.
3
Let m = -18 + 22. Suppose m*t - 5 = -1. Suppose 0 = 3*u - 5*u. Solve -r = u, 2*g - 4*r + 1 = -t for g.
-1
Let s(j) = -j**2 + 9*j - 13. Let f be s(6). Let l(c) = 4*c. Let b be l(f). Solve 3*g + g = -5*r + b, r = 4*g - 20 for r.
0
Let h be 0*4/(-16)*-2. Suppose 2*d + 4 = 4*d. Solve 2*c + d*r - 4 = -h*c, -r - 6 = -c for c.
4
Suppose 2*r + 6*r = 64. Solve 0 = a + 2*a - 4*u - r, u = -a + 5 for a.
4
Let q = 3 - 6. Let r(s) = s**3 + 5*s**2 - 3*s - 2. Let a be r(q). Suppose o = 6*o - a. Solve -5*m - 20 = -4*k - m, -o*k + 3*m = -25 for k.
5
Let b be -1 - (-3 - -2) - -2. Suppose u + 4 = -2*k, b*u - 34 = -2*u + 2*k. Solve -3*x = u, 5*x - x - 17 = 5*d for d.
-5
Let i(m) = -14*m**2 - 7*m - 1. Let u(l) = l**2 - l. Let s(v) = -i(v) + 5*u(v). Let t be s(-1). Solve 0 = 8*r - 4*r + 5*b + 17, 4*r - 2*b = t for r.
2
Suppose -4*d + 19 = 7. Solve d*t - 10 = 3*x - 2*x, t - x - 6 = 0 for t.
2
Suppose 5*n = 4*n + 3. Solve 2*m - n*i = -i - 14, 4*m + 16 = -2*i for m.
-5
Let z(r) = r**3 - 7*r**2 + 6. Let l be z(7). Let g(s) = -s**3 + 8*s**2 - 7*s + 4. Let p = 11 + -4. Let i be g(p). Solve 0*j = 5*j + 20, -2*a - i*j = l for a.
5
Let u be 3*(1 - 0) - 1. Suppose 8 = u*o + g, 5*g = -4*o - 0*g + 10. Let l(s) = 4*s - 7. Let f be l(8). Solve -5*r = -t - 4*t - f, -r = t + o for r.
0
Let h(u) = -u**2 - 9*u + 6. Let y = 4 - 0. Suppose 2*z + 34 = -y*g, 0*g - 5*z = 2*g + 21. Let a be h(g). Solve -5*f = 4*t - 40, -t - 2*f = 1 - a for t.
5
Suppose 12 = 2*s - 5*l + 3, -2*s - 2*l + 2 = 0. Solve s*p = 2*g - 3*p, 0 = 2*g - p + 8 for g.
-5
Let d = 135 + -72. Suppose -d = -3*r - 3*w, -3*r + 4*r - 5*w - 15 = 0. Suppose i - 5*i = -r. Solve -v - 17 = 4*f, -2*v + 4*v + i*f + 19 = 0 for v.
3
Suppose 0 = -n - 3 + 5. Suppose 0*i = -n*i + 14. Solve -i = r - 2*c + 4, -4*c = -5*r - 25 for r.
-1
Let v be -4 + 0 + (1 - 0). Let b = v - -6. Suppose -4*n + b = -25. Solve 2*f + 3*q = q + 8, f = -2*q + n for f.
1
Let d = 7 - 3. Suppose l - 2*f + f = 6, -2*f - 22 = -d*l. Let o(v) = 4*v + 1. Let a be o(1). Solve j - 1 = 0, -i + a*j = j + l for i.
-1
Let p = -2 + 2. Let t = -2 - -4. Solve 4 = -4*x + 2*r + t, 5*x + 3*r - 14 = p for x.
1
Let y be 5 + -4 + 1 + -1. Suppose 3*w = 5*m + 21, 5*w - y = m - 4*m. Solve 2*g - 6 = -2*f, -g - w*f = -4 - 1 for g.
1
Let w = 19 - 16. Suppose -w*o - 113 = -5*c, 4*o - 12 = 4. Solve -q + 11 = -3*k, -4*q = 4*k + c + 11 for q.
-4
Suppose 7*u = 12 + 65. Solve -5*y = -4*t - 6 - 34, y = -3*t - u for t.
-5
Suppose 0*q = 6*q. Solve -2*l + 2*r = 16, -2 + q = -l - r for l.
-3
Let b(k) = k**2 + 8*k + 1. Let n be b(-8). Let c be (10 - 9)/(n/2). Let o be (-65)/(-25) + (-4)/(-10). Solve -3 = m - c*m + 5*q, m + q = o for m.
3
Suppose -n = 4*f - 14, -5*f - 18 = -9*f + n. Solve -f*g + 20 = -3*h, 0 = -g + h + 2*h + 5 for g.
5
Let s be 3/2*(-10)/(-5). Suppose -5*a + 27 = 5*b - 2*b, -4*b = s*a - 25. Solve 4*d + 4*u + 12 = 0, 2*u - 9 = -3*d + b*d for d.
-5
Let w(a) = a - 4. Let c be w(6). Solve 0 = -j + f - 9, 0*f = 2*j + 3*f - c for j.
-5
Let l be (-2 + 4)*(-1 - -49). Suppose -w = 3*w - l. Solve 4*a - 3*j = a - w, 3*a + 12 = -j for a.
-5
Let r be ((-80)/(-16))/(2/10). Solve 4*q = 5*p + r, -2*p + q = 3*q + 10 for p.
-5
Suppose j = -5*s - 25, 0 = s + 3*s - j + 20. Let n be ((-4)/s)/(2/20). Solve -2*w - 4*x + 12 = 0, 4*x - n = -5*w + w for w.
-2
Suppose 0 = -3*p + 12. Let a be -3 + (-22)/(-2) + -3. Suppose 2*z = 6*z - 4*f - 36, 0 = -a*z - f + 27. Solve -4*b = -p*m + b - 31, -2*b = -z for m.
-4
Let m(u) = -u - 2. Let l be m(-4). Suppose 2*r - 19 + 13 = 0. Solve x - r = 2*t + 4, l*x = 5*t + 15 for x.
5
Let y(m) = m - 1. Let p(t) = t**3 + 5*t**2 + 3*t - 1. Suppose v - 8 = 3*v. Let g be p(v). Let q be y(g). Solve -5*f = 4*h - 1, -h + 2*f - 1 - q = 0 for h.
-1
Let x be (55/35 - 1)*(0 + 7). Solve g = -4*d + 4*g + 2, g + 6 = x*d for d.
2
Let t be 6/4 + 36/24. Solve -2*n = -2*l + 6, 3*l + 2*n - t*n - 3 = 0 for l.
0
Let n(b) = -b + 7. Let d be n(7). Suppose 2 = -i + 7*f - 3*f, 0 = -2*f + 4. Let w = 9 - i. Solve -2*t - 4*x + 22 = 0, d = -2*t - w*x + 2 + 15 for t.
1
Suppose -20 = -4*m - 4*h, 17 = 4*m + h + 2*h. Let u(d) = -d**3 - 4*d**2 + 3. Let i be u(-4). Solve -i*x + m*y - 25 = -0*x, -y = x for x.
-5
Suppose 6*j = 5*j + 15. Solve 0 = 5*a - 4*c - j, -c - 3 = -a + 3*c for a.
3
Let i(z) = 11 + z**2 + 5 - 7 + 6*z. Let m be i(-5). Suppose r - 3*l = -4*l + 8, -3*l = 5*r - 30. Solve -8 = m*s + r*a, 0*a - a = -s + 5 for s.
1
Let g = -6 + 11. Suppose 3*k - g - 7 = 0. Solve -4*m + m + k = -2*a, 0 = 4*a - 5*m + 10 for a.
-5
Let r = -50 - -62. Solve -3*k + 4 = -c - r, k - 8 = 3*c for k.
5
Let p be 14/4*(-12)/(-21). Suppose y = -p*y + 9. Solve 3*n - y = -5*f, -28 - 1 = -3*f + 5*n for f.
3
Let i be (-17 + 2)*2/(-3). Suppose -4*t + i = -10. Let o = -10 - -15. Solve -q + d + t = o*d, 3*q = 2*d + 1 for q.
1
Suppose -106 - 104 = -14*q. Solve i + n = 5*i - q, 2*i = 2*n + 12 for i.
3
Let p(w) = w**2 - 14*w + 3. Let q be p(14). Solve 3*o - 20 = d, 0*o = 2*d - q*o + 25 for d.
-5
Let a be (-1)/4 + 4 + (-9)/(-4). Solve 2*b = 2*x + 4, -b + 14 = 5*x + a for x.
1
Let b = -6 + 13. Let x(q) = q**3 - 7*q**2 + q - 5. Let m be x(b). Solve -s + 5*i + 15 = 44, 5*s = m*i - 30 for s.
-4
Let a(k) = -k**3 + 3*k**2 + 5*k - 1. Let z be a(4). Solve j + 4*v = 15, 0*j - 4*v = -z*j - 19 for j.
-1
Suppose -3*q = -12 - 33. Let n = q + -7. Suppose -4*u - h + 10 = 0, 7*h = u + 2*h + n. Solve 12 = -3*w - u*r, -3*r = -2*w - 7*r - 16 for w.
-2
Suppose 0 = 3*f + j - 6*j + 8, 2*f - j - 4 = 0. Let r(k) = k - 1. Let g be r(1). Let n be (10/3)/(12/18). Solve 4 - 6 = 5*d - 4*q, -n*d - f*q - 18 = g for d.
-2
Let t be 33/(-15) - (-2)/10. Let a be ((-4)/(-3))/(t/(-6)). Suppose 0 = 5*u + f - 32, -32 = -a*u + f - 5*f. Solve s = -m + u*s - 15, -3*s = m - 17 for m.
5
Let l(d) = d**3 + 10*d**2 + 8*d - 12. Let s be l(-9). Let b be 40/15 + (-1)/s. Solve j + 1 = -b*a - 13, 0 = -3*a - 4*j - 29 for a.
-3
Let x be ((6/(-9))/(-2))/((-1)/(-9)). Solve -6*a = -a - 3*y + 26, x*a = -y - 10 for a.
-4
Let u(x) = -x**2 - 4*x - 1. Let l be u(-3). Suppose 4*b = 5*j + 6, 8*b = 3*b + l*j + 16. Suppose 5 = b*m - 7. Solve 2*o = -3*o - 