*z**2 + 4. Let g be y(-9). Solve 6*u = g*u - 3*h + 2, -u + 14 = -j*h for u.
4
Let n = 144 - 120. Suppose -9*f = -15*f + n. Solve -3*y = j - 11, f*y + 5*j = 2*j + 18 for y.
3
Suppose -3*y = y - 4*p - 12, 0 = -3*y + 5*p + 1. Solve -y*g + 4*g = 5*x + 9, 5*g + 15 = 2*x for g.
-3
Let b = -84 - -61. Let k be (0 - b) + (-13 - -13). Solve 0 = -5*f + 3*u + k, 1 = 3*u - 4*u for f.
4
Let n(s) = -7*s + 4. Let k be n(5). Let t = k + 31. Solve -3*d - 5*r + 5 = 0, t*r + 20 = 5*r for d.
-5
Let r = 20 + -21. Let h(p) = -p + 1. Let i be h(r). Solve 0 = -i*j - 2, 0*j = 5*y + 5*j - 5 for y.
2
Suppose -5*t - 2*d = -55 - 96, -2*t - d = -61. Let c = -23 + t. Solve -5 = 5*h + 5*r, c*h + 5 = h - 3*r for h.
-1
Let a = 159 - 99. Suppose -a + 25 = -5*q. Suppose 8 = b + b. Solve i + b*r = -2, -3*r - q = -i - i for i.
2
Let d be 15/7 - (-47)/(-329). Solve v + d*a = -v, 5*v - 5*a = -40 for v.
-4
Let f(m) = m + 19. Let a be f(-9). Suppose 0 = -u + 9 + a. Solve 0 = 3*b - 3*w - 3, -b - 4*w - u = -0*w for b.
-3
Suppose 5*x - 20 = 3*x - 2*n, -3*n = -3*x + 48. Suppose 37 = 4*b - 99. Suppose -s + o = 2*s - 51, 2*s - 3*o = b. Solve 5 = -w, 3*w + s + x = 3*d for d.
5
Let v(o) = o**3 + 7*o**2 + 10*o - 14. Let m be v(-6). Let n = -28 - m. Solve 2*t = -5*r - n, 13 = r + 2*r + 5*t for r.
-4
Let d be 0 + 2 - (-1 - -3). Let g = -10 - -18. Suppose -3*s = 2*x - g*s - 28, -2*s = -4. Solve 0*q - 4*q - x = -l, -3*q - 15 = d for l.
-1
Let a = 19 + -28. Let o be 10 + a + 6/2. Solve -s - o*x = -6*s - 12, -s = -2*x + 6 for s.
0
Suppose 12*a - 64 = -4*a. Solve -o - 2 = -a*t - 3*o, 7 = 3*t - 4*o for t.
1
Let j(k) = k**3 - 5*k**2 - 3*k + 17. Let t be j(5). Solve 2*d - 2 = t*n, -4*d - 2*n = -23 + 1 for d.
4
Suppose 2*a - 4*g - 32 = -0*a, 2*g = -8. Let k = -5 + a. Let j = -4 + 8. Solve -k*s - 3*z = -18, -4*s + z + j = -0*s for s.
2
Suppose 18 = 28*p - 150. Solve 0 = 2*a - p, 5*h + 1 - 18 = a for h.
4
Let r = 13 + -6. Let v be 3/(1 - 4)*0. Suppose v*d = -d + 5. Solve 3*t - 13 = -2*c, -d*t + r + 14 = 3*c for t.
3
Let t(s) = s**2 + 33*s - 55. Let y be t(-35). Solve 0 = -2*r + 5*k - 3 + 16, 5*k - y = -5*r for r.
4
Let b(f) = -f**2 - 5*f - 2. Let x be b(-2). Suppose -x*j = -7*j + 21. Solve -3*y - 5*v + 6 = 0, -y + j = -4*v + 22 for y.
-3
Let f be 2 - (-4 + 3 - 4). Solve n + 2 + f = 5*i, 0 = i - n - 1 for i.
2
Let l be -3 - (2/9 - (-390)/(-54)). Solve l = -v, -5*i + 3*v - 2 = 6*v for i.
2
Suppose 5*f = 81 - 21. Solve 4*w - f = s + 2*s, -2*w + 6 = -3*s for w.
3
Suppose 0 = 3*d + 18 - 78. Suppose 3*u = -2*u + d. Let v(q) = -q + 4. Let i be v(u). Solve -4*s + 18 = -2*t, s - 2*s - 3*t + 8 = i for s.
5
Let v(r) = -4*r - 7. Let k be v(-3). Suppose k = -i - 0, i = 4*x - 5. Let n be 10*(x + (-9)/(-6)). Solve l = a, 5*a = -5*l + 25 + n for l.
4
Suppose -4*i + 5*f = -31, -5*f + 14 + 18 = 3*i. Let w = 3 + i. Suppose 5*g = 4*g + 4*n - w, -4*g + 2*n - 6 = 0. Solve 2*m = 5*r + 6, 2*r - 4*r = g for m.
3
Let u = -23 - -28. Solve -2*g - u*b + 14 + 17 = 0, 25 = 5*g + 2*b for g.
3
Let w be -3*(-1 + (-94)/(-6)). Let p = -39 - w. Solve -p*h = -4*l - 2*h - 19, 4*l - 5*h + 29 = 0 for l.
-1
Let v = -388 - -392. Solve o = -v, o = -5*j + 3*o + 23 for j.
3
Let m(t) = -10*t + 10. Let c be m(1). Solve 3*b - 2 + c = 2*w, 0 = -4*b - 5*w + 18 for b.
2
Suppose b - 4*b = -30. Let a = 10 - b. Suppose -7 - 4 = -p - 4*d, 0 = 5*p - 4*d - 7. Solve -3*i + a*i = h + p, 3*h - 3 = -3*i for h.
3
Let m be ((-24)/(-9))/(6/45). Let d = 24 - m. Solve -8 = 3*h - d*h + 2*a, -28 = 4*h + 4*a for h.
-2
Suppose -5*r = -10*r + 10. Let t(i) be the first derivative of 2*i**3/3 + 2*i + 5. Let g be t(-3). Solve g = -r*b - 4*u, 3*u = -0*u - 9 for b.
-4
Let b(z) = z + 10. Let w be b(0). Let c be ((-8)/w)/((-22)/55). Suppose n = 0, -r + 3*n = -3 + 1. Solve 0 = 2*q + c - 0, g - r = q for g.
1
Suppose -20 = -f - 3*f + z, -3*z + 5 = f. Solve -4*n - 40 = -5*s, f*n - 17 = -3*s + 6*n for s.
4
Let n(l) = l**2 + 9*l + 10. Let b be n(-8). Solve -2*t = -5*g + t - 15, b*g = 4*t - 6 for g.
-3
Suppose 0 = 4*c + 5*l - 12 - 7, 5*c = -l + 29. Solve 0 = -2*w + 3*z + c, 2*z + 3*z + 20 = 0 for w.
-3
Let s be 1090/109 - (7 - 0). Solve -s*q + 3*t - 5 = 16, -2*q - 18 = -4*t for q.
-5
Let b(l) = -5*l - 1. Let r(g) = -9*g - 3. Let s(d) = 7*b(d) - 4*r(d). Suppose 0*i + 2 = -i. Let h be s(i). Solve h*n = -4*v - 20, -n - 2*n = -3*v - 15 for v.
-5
Let g(o) = o**3 - 3*o**2 - o - 6. Let i be g(4). Solve -9 = 3*t - 4*j, 8*j - i = -3*t + 7*j for t.
1
Let j(q) = -q**3 - 34*q**2 - 65*q - 19. Let s be j(-32). Solve -3*b = -3*k - k - s, -b + 2*k + 5 = 0 for b.
3
Let x be (-38)/(-8) - (-1)/4. Let v be (-61)/(-366)*36/3. Solve -i - 5*g = -4*i + 11, -x*i - 23 = v*g for i.
-3
Let v be (75/(-12))/5*-4. Suppose 0 = -v*o + 23 - 83. Let d = 17 + o. Solve d*c + 17 = 3*q, 0 = -5*q + 3*c + 3 + 4 for q.
-1
Suppose 2*w - 4*f - 88 = -2*w, -5 = f. Solve 0 = -q + 3*o + 1 - w, 5*o = q + 24 for q.
-4
Let o(a) = 2*a + 64. Let r be o(-24). Solve 0 = -4*m, -5*z + m = -4 - r for z.
4
Let v(m) = -m**3 - 1 + 1 - 8*m**2 + 3. Let w(q) = -q**2 + 27*q - 58. Let k be w(25). Let j be v(k). Solve -3*o + 4*g + 0 = j, 0 = 5*o + 5*g + 5 for o.
-1
Let p = 59 - 40. Suppose 4*k - 28 = -4*w, -2*k + k + p = 5*w. Solve -b - 4*l - 10 = 0, 0*l = b - w*l - 11 for b.
2
Suppose -2*h + w + 4 = -w, 0 = 2*h - 5*w - 10. Suppose -3*f + 47 - 47 = h. Solve -5*v = p - 8 - 0, f = p - 5*v + 12 for p.
-2
Suppose s - 3 = -h, -2*s = -0*h - 3*h + 9. Solve -2*u - 6 = -s*d - 2*d, -u = 2*d - 9 for d.
4
Let x(p) = -p**3 + 51*p**2 - 3*p + 165. Let q be x(51). Solve 5*z - 4*j + 40 = 0, -q = -9*z + 7*z - 4*j for z.
-4
Let a(g) = -g**3 - 8*g**2 - 8*g - 1. Let b be a(-7). Suppose 0 = -d + b*d - 350. Let w be 7*(-5)/(d/(-12)). Solve -23 = -5*h - 0*c - c, -2*c = -w for h.
4
Let p = -76 + 7. Let h = -44 - p. Solve -3*z - z + 5*j = h, 2*j - 22 = 4*z for z.
-5
Suppose 18*b - 204 = b. Solve 2*j = 6*j - 5*r + 17, -4*j = -4*r + b for j.
2
Let p = -908 + 911. Solve -2*k + 24 = -4*r, 0 = -7*r + 3*r - p*k - 14 for r.
-5
Suppose 30*m - 35 = 25. Suppose 5*s - 25 = -5*j, 4*s + 5*j - 5 = 14. Solve -5*u + m*w - 3 = 0, u + 4*w = -s + 1 for u.
-1
Let v be (-2)/((-2)/(-5)*5) + 24. Let s = 39 - v. Solve 0 = -2*p - 4*z + 12, s = -p + 5*z + 1 for p.
0
Let w(t) = -2*t**2 - 5 - 3 + t**3 + 1 - 2*t**3. Let c be w(-3). Solve c*s + s = 5*g + 16, 3*s + 5*g = -4 for s.
2
Let x = -21 + 23. Suppose -q + 9 = x*q. Let j be 2 - (2/2 - 2). Solve 4*l - q*t = 14, -t + 8 = j*l - 2*t for l.
2
Let h(t) = 3*t**2 + 4*t + 3. Let g(r) = r - 7. Let x be g(5). Let d be h(x). Let s = -3 + d. Solve s*u - 3*o + o - 22 = 0, -2*o = -2*u + 12 for u.
5
Let j be 9/15 + 87/5. Suppose 2*f = 3*z - j, -3*z + f + 21 = -2*f. Let m be ((-6)/z)/(6/(-12)). Solve m*p + 2*n = -23, -5*p + 3*n + 2*n = 5 for p.
-5
Let g be (-2)/8 + 2/8. Suppose g = 4*j - 22 + 14. Solve -5*v = 3*k + 2 + 5, -v + j = 4*k for v.
-2
Suppose -i - z = 2*z - 10, -5*z - 50 = -5*i. Suppose f - i = 3*a - 0*a, -3*a - 11 = -2*f. Solve 4*v - 2*g + f = -5, 2 = -2*g for v.
-2
Let h = -4 + 24. Suppose 67*i - 144 - 72 - 119 = 0. Solve -4 = 4*s + w, -i*s - 3*w + 8*w = -h for s.
0
Suppose -2*s + 3*b = 0, s + 3*b = -4*s + 21. Let o(r) = -r**3 + 2*r**2 + 5*r - 4. Let h be o(s). Solve h*a - 2 = 0, -c - c - 7 = 3*a for c.
-5
Let d be 0*(5/(-2))/5. Let g = -29 + 33. Suppose d = g*b + r - 11, 3*r + 2 = -b - 2*r. Solve 12 = 5*i - b*a, -2*i + 3*a = -a - 2 for i.
3
Let j(v) = -9*v + 151. Let a be j(15). Solve -3*l - 5*h - a = -0*l, -5*h = -l + 8 for l.
-2
Suppose 394 = 3*y - w, 3*y - 3*w = -0*y + 384. Suppose y = 10*m - 27. Solve z - m = 4*x, 3*x = z - 13 + 2 for x.
-5
Let w = 17 + -12. Suppose 0*k + 10 = w*k. Solve -3*t = 3*g + 3, 3*t + 2*g = 5*t - k for t.
0
Suppose 0 = -3*n + 2*n. Let t(f) = f - 8. Let o be t(10). Suppose o*y - 6 = -n*y. Solve -4*s - 10 = -y*w + 13, 3*w = -3*s + 9 for w.
5
Let u be 9/((2/(-2))/1) + 3. Let w be ((-21)/28)/(0 + u/16). Solve w*k - 8 = -4*v, -2 = 4*v + 3*k - 8 for v.
3
Suppose x + 4*x - 443 = -2*v, v - 224 = -3*x. Suppose -v*p + 20 = -204*p. Solve -8 = -4*h, -3*r - p = -4*h + 19 for r.
-5
Suppose 0 = -211*d + 210*d + 2*k + 6, -3*d = 4*k - 18. Solve 0 = 3*t - d*u + 3*u, 0 = -2*u - 2 for t.
-1
Let t = 1508 + -1493. Solve -q + 5 = -4*r - t, 25 = -5*r - 5*q for r.
-5
Let m = 41 + -21. Let k be (m/(-8))/((-4)/8). Solve -3*a - t = -12 - k, -5*t = -4*a 