g = 17 - 15. Let o(i) = -i**3 - 20*i**2 - 20*i - 17. Let z be o(-19). Solve 5*u + s + z = -13, 0 = -g*s for u.
-3
Let f be 1*(12 + -10 + 21). Solve 0 = c + 4*t - f, 0 = -c - 2*t + t + 8 for c.
3
Suppose n + 312 = 5*n. Suppose 0 = -4*a + r + n, 0*a + a = -5*r + 30. Solve -v - 3*l - a = -3, 2*v + 3*l = -19 for v.
-2
Let b(o) = o**2 + 22*o - 21. Let s be b(-23). Solve 0 = -3*y - 4*l + 25, 4*y - 10 - 10 = -s*l for y.
3
Let g(c) = -16*c - 20. Let h be g(-5). Suppose -63*z + 9 = -h*z. Solve 0 = 5*d + z*x - 10, d - 4*x = -0 + 2 for d.
2
Suppose 6*d - d = -75. Let a = d - -35. Suppose -3*t = t - 8. Solve -4*n = -0*z + 2*z - a, t*z = 5*n - 16 for z.
2
Let j be 2/(-20) - (-147)/70. Solve 2*m + 5*w = -23, j*m - 3*w - 12 = 5*m for m.
1
Let y be 2/3*-1 + 6/9. Suppose y = -j + 3*j - 0*j. Solve -3*l + 2*n = l, -l - n = j for l.
0
Let p(r) = 3*r**2 - 4*r - 5. Let f be p(-1). Suppose -4*m = 3*n - 32, -2*m + 24 = 3*n + f. Solve 0 = -0*c - c - 3*g + 10, 0 = -4*c - 3*g - m for c.
-5
Let d be 3 - 1 - (0 - 0). Let i = 173 + -117. Suppose 21*r - i = 7*r. Solve -2*s - 14 = -d*n + 6, -4*s = r*n for s.
-5
Suppose 4*j - 2*d - 32 = 0, 0 = -4*j + 4*d - 0*d + 24. Let q be -10*(-18)/(-12)*(-2)/6. Let l be (3 + 0 + -2)*0. Solve l = -q*x + 4*o - j, -6*o + 4*o = 0 for x.
-2
Let z be (-4)/((-4)/(4 + 0)). Let g = 6 - z. Solve 0 = -m - 4*u - 12, -g*m + 0*m + u = -12 for m.
4
Let w be 9 + -1 + 0 + -2. Let j be 24/9*9/w. Suppose 4 = -z - 5*m - 4, -j*m = 8. Solve z*r + 3*b = 23, -r + 2 = -2*b + 8 for r.
4
Let a be (-336)/72*-6*1/1. Suppose j = -6*j + a. Solve v + 1 = -5*t - j, -5*v - 25 = 4*t for v.
-5
Let y = 774 + -770. Solve 5*s + 1 = y*t + 6, 5*t - 1 = -s for t.
0
Let f be 4 + (-13 - 4 - 3). Let d be -3*1*f/12. Suppose -4 - 7 = -d*p - 5*k, -9 = -p + 5*k. Solve o + 0*o = 1, -4*o = -p*c for c.
1
Let j(v) = v. Let t(b) = -7*b + 16. Let p(s) = 4*j(s) + t(s). Let u be p(4). Solve 5*l - 12 = -u*a, 0*a + 6 = 2*l + a for l.
4
Let q(j) = -35*j**3 + 2*j**2 - 3*j + 2. Let k be q(1). Let r = k + 38. Solve 2*c + c = 5*i - 17, 0 = -r*c - i - 15 for c.
-4
Let p(q) = -22*q - 19. Let j be p(-1). Solve -5*i + 5*z = 25, 3*z - 5*z = j*i + 15 for i.
-5
Let v = -10 + 5. Let f be (-2)/v - (-24)/(-10). Let d be (7 + f - -1) + 1. Solve 4*a - 2*s + 1 - 23 = 0, 0 = -2*a - 5*s - d for a.
4
Let a(w) = -7*w + 60. Let o be a(10). Let g be ((-14)/o - 2)/(2/(-10)). Solve -u = u + 3*z - 5, g = 5*u - 2*z for u.
1
Suppose -4725*f + 4717*f = -56. Solve -2*y = -4*m + 3*y + 37, -y = 4*m - f for m.
3
Let w(f) = 21*f + 360. Let g be w(-17). Solve g = -d, 5*k - 9*k - 3*d = -3 for k.
3
Let g = -2 - -7. Suppose 15 = 6*f + 3. Suppose -4*t = f*t - 30. Solve -10 = t*x + 5, o + 11 = -g*x for o.
4
Suppose 0 = -3*d - 5*y + 20, y = 4*d - 46 - 19. Solve d = 4*r + 5*w, -3*r + 5*w + 25 = r for r.
5
Let w(n) = -n + 16. Let f be w(8). Solve 0*c = -c + p + 4, 2*c + 2*p - f = 0 for c.
4
Let j(u) = -u**3 + 10*u**2 - 5*u + 2. Let r be j(10). Let s = 52 + r. Solve -4*a - a - s = k, -3*a + 20 = -5*k for a.
0
Suppose -p - 31 = 3*n - 4, 0 = n - 5*p + 9. Let x = -10 - n. Let m be (x/3)/((-2)/30). Solve -g - 3*i + 18 = -4*g, 5*i - 20 = -m*g for g.
-1
Suppose -4*v - 3*a = a + 48, v + 2*a = -9. Let j be (7 - 2)/(v/(-18)). Solve 0 = 3*z + 4*r - j, z - 5*z - 3*r + 1 = 0 for z.
-2
Suppose 0 = 67*w - 73*w. Solve s + 3*s - 3*q + 22 = w, 0 = -s - 3*q + 2 for s.
-4
Let y = -127 - -115. Let s(l) = -3*l - 31. Let a be s(y). Solve -5 = -c, -2*c - 20 = -5*t - a*c for t.
1
Let j(f) = -2*f + 6. Let l(c) = 11*c - 35. Let n(d) = -34*j(d) - 6*l(d). Let w = 10 - 13. Let o be n(w). Solve -5*z + 5*g = o, 3*z + 0*z - 4*g = 2 for z.
-2
Let t be (-155)/(-5) + (-2 - -1). Suppose 5*x + t = 10*x. Solve 3*p + 15 = b + 2*b, -2*b = 2*p - x for p.
-1
Let g(r) = -2*r**3 + 24*r**2 - 2*r - 5. Let y be g(12). Let h be (-1)/4 + 266/8. Let q = y + h. Solve 2*f + 3*f - 20 = 5*i, 0 = -3*i + q*f - 17 for i.
1
Suppose -2*z - 10 = -4*j, 0 = -4*j - 84*z + 79*z + 31. Solve 2*n - 16 = j*q, 2*q - 8 = n + 4*q for n.
0
Suppose 34*k - 42 = 36*k. Let j be ((-18)/15)/(k/70). Solve 5*u - 4*u - 3*h - j = 0, 3*h = -3*u for u.
1
Suppose 0*q = -5*f + 3*q + 32, -5*f + 36 = -4*q. Let w(x) = -2*x + x**2 - 7*x + f + 8*x. Let j be w(0). Solve j*u = -2*a + 8*u - 2, -3 = 3*a + 5*u for a.
-1
Suppose 0 = -x - x. Suppose 10*r = -x*r. Solve -3*w = -4*b - 6*w + 35, -b - 5*w + 30 = r for b.
5
Let j = 31 + -15. Let g = j - 11. Suppose g*u - 17 = -7. Solve -3*l = u*q - l, 3*l - 20 = q for q.
-5
Suppose -3*z = -0*z - 3*p - 15, 4*z - 30 = -p. Suppose -z*w - 72 = -11*w. Solve -2*i = 5*u + w, -3*u = -i + 4*i + 9 for i.
1
Suppose -5*f = -2*y - 30, y = -5*f - 2*y + 5. Suppose -40*h + 45*h - 10 = 0. Solve d + b = 3, -h*b + 4*b = f*d + 18 for d.
-2
Suppose 2*o - a = 5, 7*o = 8*o + 5*a + 14. Suppose -5 = -4*x + 7. Suppose -3*c - j = -o - 14, 5*c - x*j = 25. Solve -3*h = 5*u + c, -3 = -5*h + 2*h + 3*u for h.
0
Let c = -113 - -109. Let i be 1/(21/5 + c). Solve -3*g = 6, 7 - 19 = y + i*g for y.
-2
Let l(y) be the second derivative of -y**4/12 - y**3 + y**2 + 7*y. Let r be l(-6). Let c be 1 - 2/((-4)/2). Solve c*b - a - 5 = 0, 3*b + r*a - 7 = 4*a for b.
3
Suppose -8 = -2*d, 0 = w - 6*w + 2*d - 483. Let x = w + 95. Solve 4*y + x = -2*z - 2, -5*z = -3*y + 31 for y.
2
Let o(s) = -s - 29. Let x be o(-33). Solve -3 = 3*r + x*k, 4 = -5*r + r + k for r.
-1
Let a(q) = 79*q + 716. Let v be a(-9). Solve 5*r = 3*i + 4*r + 5, v = 2*i + r for i.
0
Let x = -14 + 22. Let u = 28 - 16. Let o = 16 - u. Solve -2*d + x = 0, o*w = 2*d - 0*d - 4 for w.
1
Let v = -559 + 579. Solve 4*s + 4 = 5*z, -4*z + s - 8 = -v for z.
4
Let s be 6 + 6*2/6. Let l be (4/3)/((-20)/(-690)). Suppose -3*d + 8 = 2*p - 9, -l = -4*p - 2*d. Solve 0 = -0*v - 3*v - 4*c + p, -2*c + s = 2*v for v.
3
Let v = 33 + -57. Let p be (4/8)/((-3)/v). Let q = p - 2. Solve 0 = h + 2*w - 6, -q*h + 5*w = -3*h + 12 for h.
2
Let f(s) = 2*s**2 + 33*s - 51. Let d be f(-18). Solve -d*q + 0*q = -m - 2, q - 22 = -5*m for q.
2
Let u = -252 - -252. Solve -2*t + 6 = 3*f, 0 = 4*t - u*f - f + 2 for t.
0
Let l = 152 + -148. Solve 10 = z - n + 3, -l*n = 12 for z.
4
Let y(o) = -o**3 + 9*o**2 + 4*o - 12. Let b be y(9). Let q = 24 - b. Solve -4*a + 4*z + 24 = q, 2*a - 14 = 4*z + 8 for a.
1
Let y = 2 + 34. Let k be ((-36)/(-15))/(21/10 - 2). Let g = y - k. Solve 0 = h + 5*o + g, -4*o = -h - h + 18 for h.
3
Let z(f) = -2*f**2 - f - 7. Let w(p) = -p + 1. Let r(i) = -3*w(i) - z(i). Let y be r(-2). Solve y*o + 4 = -5*j + 3*o, 0 = 2*j - 5*o - 20 for j.
0
Let f(t) = 2*t - 4. Let i be f(2). Suppose -3*m + 15 = -i*m. Let d be 23/m + 15/(-25). Solve -4*c + d*n + 12 = 0, -c - c - 2*n = 14 for c.
-2
Let c(q) = -q**2 + 44*q + 247. Let i be c(-5). Solve -3*g + 2*n = -16, 4*n + 21 = -i*g + 5 for g.
2
Let u(n) be the first derivative of 428*n - 440*n + 14 + n**2 + 0*n**2. Let q be u(11). Solve 3*j = -z - 2, -2*j - 4*z + 2 = q for j.
0
Let p(a) = -7*a + 53. Let m be p(7). Let i be -1 + 14*(-2)/(-4). Solve 3*y + 14 = -m*v - i, -5*y = -2*v - 10 for v.
-5
Suppose -8*i + 6*i + 8 = 0. Suppose 0 = 5*r - 4*d - 41 - 39, -i*r + 3*d + 64 = 0. Solve -h + 3*v + 8 = v, -h - r = 4*v for h.
0
Let q(a) = -a**3 - 3*a**2 + 2*a + 5. Let f be q(0). Solve -5*i + f*p - 20 = 0, -i + 1 = p - 5 for i.
1
Let b be (8 - 10)*(44/(-8) + -1). Solve -35 = -5*o + 5*h, 3*o + h - b = -o for o.
4
Suppose f + 3*j = 4*f - 90, -3*j = 0. Suppose 0*a + 2*a - 40 = 4*m, 2*m = -4*a + f. Solve 0 = -t + 5*i - 0*i + 23, 2*t + 4*i = -a for t.
3
Suppose 0 = 2*u - 39 + 35. Solve -u*j + 3*j + 3*q = 11, 4*j - 22 = -q for j.
5
Let s be -4*(-35)/28 + -3. Solve 5*x + 5*r = -15, 0*r = s*r - 4 for x.
-5
Suppose 15 = 49*d - 44*d. Solve 5*x + 2 = q, -3*q + 9 = 4*x + d for q.
2
Suppose -x = 2*g - 3, 5*g - 30 = -x - 4*x. Suppose 18*v - 21*v = -x. Solve -4*i + 1 = 5*o, -3*i + 0*i - v*o = 0 for i.
-1
Suppose 5*d = -x - 3, 4*x + 0*d = -5*d + 33. Suppose -19*w + 63 = -x*w. Solve -5*l = -3*r + r - w, -4*l = 2*r - 18 for r.
3
Let j = 188 - 188. Solve -5*d = -4*z - 3, 3*z - d = -j*d - 5 for z.
-2
Let k be 5/(-40) - 33/(-8). Let s be (-336)/(-12) + -1 + 0. Solve 5*f = 4*f - k*d - 18, f = 5*d + s for f.
2
Let k = -26 - -5. Let j = 24 + k. Solve -4*p - 29 = j*y, p = -4*y + 4*p + 3 for y.
-3
Let s(f) = -f + 15. Let y = -24 + 31. Suppose 4*c + y - 59 = 0. Let m be s(c). Solve -4*a - 4*r = 