 = -t, 3*h + 12 = -2*t - 3*t for t.
-3
Let r(i) = i**2 - 7*i + 3. Let t be r(7). Let y = 42 + -33. Suppose 4*h - 8*h + y = -o, -3*o = -4*h + 3. Solve -3*k = 6, t*w + 5*k + o = -16 for w.
-3
Suppose -8 = 3*u - 9*o + 14*o, 3*u = 2*o + 20. Solve -7*z + 2*z - 4*a = 0, 0 = -4*z - 4*a - u for z.
4
Let a be 6/(-9)*(-36)/(10 + -4). Solve 4*t = -3*n - 23, a*n = -5*t + 2*n - 27 for t.
-5
Let t(b) = b**2 - 8*b + 14 - 7 - 2. Let a be t(8). Solve -2*l + 14 = -a*u + 4, 6 = -3*u - 5*l for u.
-2
Let u(q) = -q**3 + 12*q**2 + 4. Let w be u(12). Solve -3*h + 10 = 2*n - w*n, -5*h - 5 = n for n.
-5
Suppose r + 4*r = -10. Let f be r + (-6)/3*-1. Solve 5*l + f*g + 2*g + 15 = 0, 0 = -2*l - 3*g + 5 for l.
-5
Let g(y) = 3*y + 21. Let r be g(-7). Suppose r*k - k - 4*i + 6 = 0, 2*k = 3*i + 1. Solve -3*u + k*u = 2*f, -f = -u for u.
0
Let b be ((-24)/16)/(15/(-100)). Solve -4*y + z + 0*z = 2, 0 = -2*y + 5*z - b for y.
0
Let n = 29 - 31. Let r(m) = m**2 - 2*m - 3. Let g be r(n). Solve -3*k + 11 = h - k, 0 = g*h + 5*k - 40 for h.
5
Suppose 2*m - 2 = -2*v, 3*v = 3*m - 37 + 22. Solve -2*u = 5*t - 11, u - m = t - 1 for t.
1
Let p(v) = -2*v + 24. Let q be 236/40 + 2/20. Let g be p(q). Solve -2*o - g = 2*k, -o + 3*k = -7 + 1 for o.
-3
Suppose 6*r - 23 = 5*r. Suppose 0 = -5*a - 8 + r. Solve 4*g - 5*g = -2*w + a, -w = -2*g - 6 for w.
0
Suppose -2*g + 0*g + 4 = 0. Let j be (30/35)/((-2)/(-70)) - 2. Let y = j + -25. Solve m = d + g, -2*m - 2*m - y*d = 20 for m.
-2
Let s be (2 + -8)*1/2. Let g(c) = c**3 + 4*c**2 + 3*c + 4. Let k be g(s). Let m be 3 + (-1 + 5)/2. Solve 6*r + 4 = m*r + k*j, 0 = r - 2*j for r.
4
Suppose -4*t - 20 = 3*a, 2*t + 25 = -3*t. Let s = 124 + -112. Let w be (-4)/18 - (-152)/36. Solve -w*b + 6 = -a*x + 2*x, 5*x = -b - s for x.
-3
Let l = 363 - 361. Solve -2*o + o - 4*x - 17 = 0, l*o - x + 7 = 0 for o.
-5
Suppose 5*s + 18 = 4*n, -2*n + 2*s = 2*n - 12. Solve -4*v + i = 1, n*v - 7*i - 10 = -3*i for v.
-1
Let z = -2090 + 2115. Solve 0 = 4*a - 6*p + 11*p - z, 0 = -a + 3*p + 2 for a.
5
Suppose 0 = 17*z - 128 - 110. Solve z = -2*g + 4*g - 3*w, -3*g - 5*w = -2 for g.
4
Suppose -29*r = -34*r + 135. Suppose 3*s + 16 = 5*z, s + 5*z - r = 1. Solve -15 = s*c - 7*g + 4*g, 4*g + 4 = -4*c for c.
-3
Let n(x) = -3*x**3 - 2*x**2 - x - 2. Let g be n(-2). Suppose -13*i - 141 = -306 + 139. Solve -2*d + 10 = i*c, 3*c + 2*d + 5 - g = 0 for c.
1
Let w(t) = t**3 - 2*t**2 - 4*t + 4. Let p be w(0). Solve -10 = -2*u + p*j, -u + 0*j = -j for u.
-5
Let b be 0*(-16)/(-96)*(0 + 3). Solve 2*i - 2*f - 12 + 2 = b, 0 = 4*i + 5*f - 11 for i.
4
Let t(v) = -v**3 - 8*v**2 + 3*v + 28. Let n be t(-8). Solve 5*i = -3*d - 28, d - 4*d + n*i + 17 = 0 for d.
-1
Let q = -1 - -6. Suppose -q*j = 12 + 53. Let b = 20 + j. Solve -2 = 5*r - b, 0 = -5*h - 2*r + 27 for h.
5
Suppose -l - 2*u + 17 = 2*u, -4*l = -5*u - 110. Let k = -20 + l. Let s be 1*-3*k*-1. Solve -z = -5*o + 3*z + 17, -5*z = -5*o + s for o.
5
Suppose 38 + 30 = 17*h. Solve 3 + 2 = -4*u - r, h*u - 3*r + 17 = 0 for u.
-2
Let r be (-46)/(-10) + 74/185. Solve 7*k - 5*k + r*n - 22 = 0, 4 = n for k.
1
Let z = -67 - -67. Solve 0 = -n + 5*c, 0 = -n - z*n + 2*c + 3 for n.
5
Let v(b) = b**2 + 10*b + 14. Let t be v(-6). Let i = t + 10. Suppose 3*x - 3*m - 6 = i, 0*m + 11 = x + 2*m. Solve -s + 4*q = s - 14, x*s = 3*q for s.
-3
Let d = -55 + 59. Suppose 2*o = d*o. Solve -5*s = -n + 10, s + 4*n - 19 = -o*s for s.
-1
Let w be ((-8)/5)/((-189)/35 + 5). Solve v - w*n + 6 = 0, -2*v - 5*n = -5*v - 4 for v.
2
Let s(u) = 2*u**3 + 28*u**2 + 5*u + 84. Let v be s(-14). Solve -2*j + 12 = 2*g, 0 = 4*j - v*g + 13*g - 19 for j.
5
Suppose 10*s - 14*s - 4*p + 36 = 0, 3*p = -4*s + 35. Solve n = -4, 4*n + 6 = x - s for x.
-2
Let f = -16 - -28. Suppose -4*m + m = -f. Suppose -22 = d - 22. Solve -m*u + 5*r = -d*u - 27, -6 = -5*u - 3*r for u.
3
Suppose -12*u + 5*u = -28. Solve 5*t - 3*q - 10 = 0, -u*t + 3*q - 1 = -6 for t.
5
Suppose 0 = -5*q + 140 + 15. Suppose 0 = -12*r + 17 + q. Solve -2*g = r*u + 8 + 12, 5*g = 0 for u.
-5
Let i be (0 - -34) + (2 - 1). Let o = -72 - -64. Let q(l) = 3*l**2 + 24*l + 2. Let p be q(o). Solve -w + 16 = 4*y, -3*y - p*w + i = -7*w for y.
5
Suppose 3*h + 2*t - 21 = -2*h, -5*t = 2*h. Solve -6*j = -2*j - 5*v + h, 0 = 2*v - 10 for j.
5
Let x = -17 - -7. Let z be 12/x*5/(-2). Suppose 0 = z*j + 5*q + 8, 12 - 4 = 4*j + 2*q. Solve 0 = b - 4*p + 14, j - 22 = 3*b - 4*p for b.
-2
Let t be (30 - 33) + (8 - (-1 + 2)). Let h be 9/((-15)/12 - -2). Solve -t*u = 2*p + 16, -2*p + 3*p + 3*u = -h for p.
0
Suppose -10*t = -27*t. Solve -2*n - n = 2*d, t = -4*n - 2*d - 2 for n.
-2
Let o(d) = d**2 - d - 18. Let y be o(5). Let a(j) = j**2 + 5*j - 2. Let k be a(-6). Solve 14 = 3*g - 6*g + y*z, -k*g - 17 = -z for g.
-4
Suppose 2*i + 0*s = 4*s + 12, -3*i = 4*s - 48. Suppose -3*l = -q + 5*q - 54, -q = l - 13. Let m = q - i. Solve 3*o - 32 = m*w + w, -o + 4 = 0 for w.
-5
Let r = 11 - 14. Let m be ((-32)/r)/((-4)/(-6)). Suppose 3*y - 19 = -2*f, -3*f - y + 1 = -2*y. Solve -5*n - 6*x + 2*x + m = 0, -f*n - 12 = -3*x for n.
0
Suppose 58*h = 147*h - 267. Solve h*i - 35 = -0*i - 5*m, 4*i - 5*m = 0 for i.
5
Let o be 5/(15/18 + (-3)/6). Solve 0 = 5*s - p - 0*p - 25, 3*p - o = -3*s for s.
5
Let a(w) = w**3 - w**2 + 1. Let l(j) = 4*j**3 + 2*j**2 - 8*j - 6. Let u(f) = -3*a(f) + l(f). Let g be u(-6). Solve 2*b - v = 6, -5*b + g*v = -0*b - 17 for b.
1
Suppose -5*a - 50 - 70 = -5*f, 33 = 2*f + 3*a. Solve -5*b + r = 3*r - f, 2*r = -2*b + 12 for b.
3
Suppose -4*j - 58 = -3*o, -2*o - j = 3*o - 89. Suppose o + 6 = 4*n. Let m be (-1)/2*(n - 6). Solve m = -2*t - 2*y + 10, -4*y = 2*t - 12 + 2 for t.
5
Suppose -3*r - 4*q + 9 + 8 = 0, -r = -2*q - 9. Solve -4*g = 2*z - 12, -5 = -5*g + 2*z - r*z for g.
5
Suppose 187 = 9*q - 38. Let g = q - 22. Solve 0*h = 2*c - 5*h - 31, -g*c + h = -14 for c.
3
Suppose 0*f = 5*f - 3*h, 0 = 3*f - 3*h - 6. Let s = f - -7. Suppose -s*w + 2*l = 10 - 26, -3*l - 18 = -4*w. Solve 9 = w*t + 3*x, 3*x = 5 + 10 for t.
-2
Suppose -2*s = 3*s - 220. Let i = -39 + s. Solve -i*n + b - 17 = 4*b, 3*n = -2*b - 11 for n.
-1
Let q(x) = -x**2 + 9*x - 13. Suppose -7*t = -3*t - 16, 2*w + 3*t - 28 = 0. Let v be q(w). Let g be 1*(8 + 2 + v). Solve -d = -4*r + 11, -22 = d - g*r - 9 for d.
-3
Let t = 776 + -771. Solve -5*q - 4 = 2*w, 2*w - 10 - 6 = t*q for w.
3
Suppose -2*n + 2 + 2 = 0. Suppose -f - 4 = 3*i, -3*i = 4*f - n*i - 17. Solve 3*b - 8 = f*j, -b - 4*b + 1 = 4*j for b.
1
Suppose 6*j - 12 = -0*j. Suppose 4*q - 2*q = -3*o + 18, 6 = 2*q. Solve -20 = o*s - 0, -2 = -2*w + j*s for w.
-4
Let k(t) = -t**2 + t + 4. Let s = -86 - -88. Let f be k(s). Solve 3*g - w - f = g, 3*g = -4*w - 19 for g.
-1
Let h = 7 + -4. Let t(n) = -2*n**2 - 15*n - 2. Let u be t(-7). Suppose -5*l - u = -4*a, -a - 4*l - 4 = 4*a. Solve a = 2*m + 2*k - 4, -h = 2*m + k - 7 for m.
2
Let w(i) = -2*i**2 - 29*i - 1. Let p be w(-14). Suppose -14*b = -p*b - 3. Solve 5*h + 2 = l, l - 4 = b*h - l for h.
0
Let r be ((-8)/36)/((-3)/81). Solve -2*l + r = -3*g - 0, 0 = 2*l - 6 for g.
0
Suppose 3*n + 2*p + 3*p = 33, -2*n = -4*p. Suppose -25*k + 27*k = n. Solve -2*i - 5 = -3*d, -2*d - 10 = -k*d - i for d.
5
Let h = -1 + 4. Suppose -h*g + 25 = 2*g. Solve -29 = -3*u + 4*t, -3*u - g*t = 17 - 1 for u.
3
Suppose -26 = -2*b - 16. Solve -2*d - 21 = b*j, 6*d - d - 3*j = -6 for d.
-3
Suppose -v - 6 + 2 = 0, 4*v - 4 = -4*r. Solve -z + 16 = -r*w, 0*w + z + 11 = -4*w for w.
-3
Suppose -36*b + 31*b = 0. Solve -2*r - 2*x - 20 = b, 30 = -3*r - 2*r - x for r.
-5
Suppose 9*t + 28 = 16*t. Solve 4*w - 3*p = -4, 0*w - 4*w = -t*p + 4 for w.
-1
Suppose -17*m - 2 = -18*m + d, 2*m + 4*d = 10. Solve 5*y = 2*p - 3 - 12, -13 = -2*y - m*p for y.
-1
Suppose -2*t = -5*w - 19 - 14, -4*t + 5*w + 51 = 0. Let a(s) = 6 + t + s - 1 - 6. Let z be a(12). Solve -b = 2*g + b - 2, -4*g - z = -2*b for g.
-3
Suppose 1 + 11 = 4*b. Let q = 7 - b. Solve -4*k + q = -3*d - 2*d, -5 = -5*k - 2*d for k.
1
Let s = 306 - 216. Let b = s + -86. Solve -4 = b*o + 2*c, 5*o + c + c + 6 = 0 for o.
-2
Let i(t) = t**2 + 5*t + 3. Suppose a - 15 = 6*a. Let w be i(a). Let r = w + 6. Solve 3*m - m + 8 = -3*g, -r*m - 12 = g for g.
0
Let h = 20 + -18. Let r(v) = 0 + 3*v**h + 0 - v - 4 + 0. Let g be r(-3). Solve 4*s - 20 = -s, 2*b - 4*s = -g for b.
-5
Let y(m) = m + 1. Let d be y(9). Let x(k) = k**3 + 5*k**2 + 2*k +