17 for g.
-5
Let m(t) = 3*t + 72. Let p be m(-23). Solve 5*j = b - 4*b + 9, b = p*j + 3 for j.
0
Let g = 40 - 28. Suppose n + 4*d = 20, 4*n - d = -0*n + g. Solve 0*t + 4*t = n*j, -4*t - 12 = -j for j.
-4
Let k = -1557 - -1560. Solve 4*x - w - 17 = 0, 2*x + 5*w + 0 = k for x.
4
Suppose 0 = q - 2 - 0. Suppose -q*f = -5*f - 15. Let g(y) = 2*y**2 + 5*y + 1. Let v be g(f). Solve -d + 5 = -4*n + 27, 3*d = 4*n - v for n.
5
Let v = -219 + 221. Let j(o) = 2*o. Let q be j(2). Solve -q*u = -3*u + v*r - 6, 0 = -2*u - r for u.
-2
Let w(h) = 4*h - 82. Let j be w(23). Solve 24 = -3*p + 8*p - 2*i, 0 = 5*p + 5*i - j for p.
4
Suppose 15 = 3*c, 3*c - 99 = 2*x - 92. Solve 5*t - 4 = -4*b - 0, 0 = -t - 4*b + x for t.
0
Suppose y = -2*o + 3, -2*y - 3*o + 8*o + 15 = 0. Let h(b) = b - 5. Let f be h(y). Let m = f - -2. Solve -3*q + 7*l - m*l - 1 = 0, l + 13 = 5*q for q.
3
Let n = 52 - -32. Let w = n - 81. Solve -z + 5*k = -23, 2*k + 5 = w*z - 4*z for z.
3
Suppose -9*h = 43 - 52. Solve 2*k = -4*y + 18, 3*y - 11 = -5*k - h for k.
-1
Let y be (-1)/(-4)*0 + 10. Suppose 3*p = -4 + y. Let z be 2 + 13 + p/(-1). Solve m - 3 = 2*m, 4*r = m - z for r.
-4
Suppose 3*b = 2*v + 2*v + 21, -2*b = -5*v - 21. Suppose 5*l = -b*d - 20 + 107, -3*l = -3*d - 57. Solve -x + l = 5*w, x + 0 = w - 6 for w.
4
Suppose 29*n - 920 = -86*n. Solve 2*k - 5*r = 5*k - 9, -2*r = -k - n for k.
-2
Let n be (21/14)/((-3)/(-4)). Suppose -4*s + 16 = 2*t + n, 3*t - 13 = -4*s. Solve -2*c - g - 9 = 0, -s*c - g = -1 + 14 for c.
-2
Let s(d) = 2*d - 5. Let n be s(5). Suppose 3*k - 3*c - 93 + 78 = 0, -4*k + 5*c + 21 = 0. Solve -n*z = -k*j - z - 8, -z + 4 = 0 for j.
2
Suppose 3*y + 10 = 22. Suppose -5*w + 0 - 5 = -y*b, -4 = -2*b + 2*w. Solve -2*r - 6 = b*o + 6, -12 = -2*r + o for r.
4
Suppose 0 = -z - 1, y + 2*z = 2. Let g(c) = 2*c - 128*c**3 - 3*c**2 + 2*c + 129*c**3 - 4 - 5*c. Let w be g(y). Solve s + w = l + 2*s, 0 = -2*l - 5*s + 31 for l.
3
Let v(x) = 4*x**2 + 8*x + 8. Let m be v(-3). Suppose 0 = 2*d + 7*t - 2*t + 20, m = 5*d - 5*t. Solve -3*u + 0*u - 8 = -2*a, d = u + 3*a - 1 for u.
-2
Suppose 4*s = 8*s - 2*b - 2, 4*b - 14 = -s. Solve -s*g = -4*d - 6, 4*d + 3*g = -g + 24 for d.
1
Suppose -13 = -35*i + 407. Solve -3*a - 32 = 5*g, 0*g - i = 3*g for a.
-4
Suppose 8*w = 15*w - 70. Solve -h + 14 = 4*n - 0*n, 4*n = h + w for h.
2
Suppose 4 + 12 = 2*h + 2*s, 3*s - 6 = 0. Solve 3*g - 5*c - 7 = -h*c, -2*c - 10 = -2*g for g.
3
Suppose -3*v - w + 49 = 3*w, 5*v - 3*w - 130 = 0. Suppose 1 = 3*u - v. Solve -40 = 4*x + 5*f, -3*x - 11 = f + u for x.
-5
Let v = -193 + 195. Solve -8 = -3*t - v*f, 1 = -5*t - f + 19 for t.
4
Let l(z) = -98*z**2 + 3*z - 2. Let k be l(1). Let y = 102 + k. Solve -6*c - 1 = -5*c, -17 = y*s - 3*c for s.
-4
Let f(d) = -8*d**3 + d**2 + 2*d + 3. Let x be f(-2). Let u = x - 43. Suppose 3*r - 3*a + 6*a = u, -3 = -a. Solve 2*b - 13 = j, -b + 3*j = -9 - r for b.
5
Suppose n - o - 5 = -0*o, -2*n - 4*o + 4 = 0. Suppose -n*q + 29 = -19. Solve d + 20 = -4*f, d = 5*f + 4 + q for d.
-4
Let r(l) = -l**2 - 17*l + 30. Let n(c) = -3*c**2 - 50*c + 90. Let w(p) = -6*n(p) + 17*r(p). Let f be w(-14). Solve 0 = 3*d - f, -2*z - 40 = -7*z - 5*d for z.
4
Let n be (-2 - -1*29) + -6 + 3. Let d be (-48)/n + (-8)/(-1). Solve -4 = 3*l - i + d, -4*l - 5*i = 26 for l.
-4
Let m(z) = z**2 + 13*z - 86. Let r be m(-18). Solve -5*y - 13 = -3*p - p, 0 = r*y - 4*p + 12 for y.
-1
Let h be 3/5 - (-405)/75. Solve 4*x = -3*v + 8 + h, -2*v = 2*x - 8 for x.
2
Let p be (-17)/(-5) + (-68)/170. Solve r = p*s - 0*r - 4, 3*s + 8 = -2*r for s.
0
Suppose 353*n = 349*n + 8. Solve 3*p + 2*z + 1 = -n*z, -2 = -3*p - z for p.
1
Let q(s) = -5*s - 14. Suppose 32 - 8 = -4*z. Let h be q(z). Solve -3*g - h = -2*j, 2*j - 11 - 9 = 5*g for j.
5
Let d = 46 + -26. Suppose -d = -g - 4*g. Suppose -5*r + 20 = 5*o, -5*o + 11*r = 12*r - 16. Solve -g*z = -5*h + o + 1, 5*z = -5*h + 40 for z.
4
Suppose -5*o + v + 3 = -6, 3*o - 5 = v. Solve 2*c - 4*y + 14 = 0, 5*y = -4*c + 7*y + o for c.
3
Let z be (-10)/(-3)*(-72)/(-60). Suppose 3*q + 25 = 3*s + s, 5*q = -3*s - 3. Solve s*l = 4*f - 4, -3*f = l + z - 11 for l.
1
Let w = 6 + -7. Let c = w - -6. Suppose -3*z + c + 16 = 0. Solve s = -0*h + 4*h + z, 0 = 2*s + 5*h + 25 for s.
-5
Let w(f) = f**3 + f**2 - 3*f - 2. Let a be w(-1). Let j be a*-2 + 2 - (11 - 14). Solve 2*y + 10 = -j*x + 2, 5*y - 2*x = 18 for y.
2
Let s be (-5)/((-30)/4)*-3. Let h(v) = 4*v - 4. Let g be h(s). Let k be ((-9)/12)/(3/g). Solve d + 15 = -5*t, -5*d = 2*t - 4*d + k for t.
-4
Let j(y) = y**3 - 2*y**2 - 17*y + 10. Let d be j(5). Solve d = -4*f - 3*i - 10, 2*f - 3*i + 14 = -0*f for f.
-4
Suppose -2*y = -2 - 0. Let t be y + (2 - 0) + 0. Let u(d) = 5*d**3 - 74*d**2 - 7*d - 116. Let w be u(15). Solve 0 = o + 3, w*c + t*o = 2*o + 9 for c.
3
Let a be (6 - 14 - -6)/(2/(-5)). Solve r = 2*k + a*r - 12, 3*k - 15 = -3*r for k.
4
Let q = -490 - -503. Solve -q = -3*s - i, 8 = 2*s + 3*i - 3 for s.
4
Let x be -3 + (-17)/(-5) + 38/5. Suppose 18*m - x*m = 30. Solve -3*u + 1 = 4*r - 2, m*u - 3 = 4*r for r.
0
Let m(g) = -3*g - 4*g**2 + 2*g + 2*g**2 - 4 + 9*g**2. Suppose 0 = -0*w + 3*w - 6. Let a be m(w). Solve -3*k - 5*d = -4*k + a, -3*d - 24 = 3*k for k.
-3
Let t(j) = 3*j**2 + 12*j - 11. Let l be t(-6). Let c = -4 - -8. Suppose 2*w = 5*z - l, c*w - 2*w + 2*z = 10. Solve 0 = 2*s - 4*r - 0*r + 8, w = -3*r + 9 for s.
2
Let s = 231 + -230. Solve 0 = 3*o - 5*t - s - 2, 2*o - 2 = 3*t for o.
1
Suppose 3*l + 9*l = 0. Solve 4*z = -4*f - l*f, -2 = 3*z + 4*f for z.
2
Let h be 3 + 9 - (-77)/(-11). Solve g + 3*m = -7, -h*m + 8 = 28 for g.
5
Let s be (2/(-3))/(16/(-96)). Suppose -s*t - 8 = -8*t. Suppose -2*w - p = -13, -3*w = t*w - 4*p. Solve w*r = l - 1, -5*l = -4*l + 2*r - 1 for l.
1
Let y(t) = -1 + 0 + 0*t + t - 5*t. Let q be y(-1). Solve -z = j + q, 0*j - 2*j + 6 = -z for z.
-4
Let d be 3/((-18)/(-3))*0. Suppose -3*t + 12 + d = 0. Let l = 3 + -2. Solve 0 = -3*j + 2*b + l, -4 = -t*j - 2*b + 2 for j.
1
Let i be (-2)/(-4)*2 + 3. Let s(t) = -47*t - 4. Let l be s(-1). Let k = -39 + l. Solve 2*q = 3*v, -3*q = -k*q - i*v for q.
0
Suppose -1624 - 56 = -120*o. Solve o = 5*a - s - 3, -4*a + 14 = -s for a.
3
Let i(z) = 6*z**2 + z. Let b = 4 + -3. Suppose 0 = -3*w + b - 4. Let k be i(w). Solve k*y - 4*y + 5*l + 11 = 0, -l + 17 = 5*y for y.
4
Let z = -667 - -668. Solve -b + z = -4*l, 0 = -8*l + 4*l + 4*b + 8 for l.
-1
Let x be -1 + 0 - (-3 + -2). Let r(p) = 9*p**2 + 12*p - 13*p**2 + 3 + 3*p**2 - 2. Let y be r(12). Solve 0 = -z - 0 + y, 4*z = -x*f - 12 for f.
-4
Let x be (-4)/(-3) + (-2)/6. Let y(z) be the second derivative of z**3/2 + z**2 - 6*z. Let a be y(x). Solve 3*f = 2*o + 19, -a*f = -3*f - 5*o - 20 for f.
5
Let f(a) = -a**3 - 7*a**2 + 9. Let n be f(-7). Let t be 43 + (-4)/(12/n). Let q be (3/6)/(4/t). Solve -4 = -v + q*i - 19, -12 = -4*v + 2*i for v.
5
Let h(m) = -m**2 + 2*m + 6. Suppose 0 = -f + 3*a - 6, -3*a = 3*f - 3 - 3. Let p be h(f). Solve 2*g = 3*y - 15, 3*y + 8*g - 3*g = -p for y.
3
Let w be (-5 - (-38)/10)/(18/(-300)). Solve 3*z + z + w = a, 4*z = 3*a - 20 for a.
0
Let w = -119 - -119. Solve w = -4*v + 2*d + 18, -2*d = -4*v - d + 15 for v.
3
Let x = 93 - 83. Solve q + x = -2*d - 3*q, 3 = 3*d - 3*q for d.
-1
Let l = 83 + -80. Suppose 0 = -4*s - l*j - 6, s + 2*s = -2*j - 4. Solve -4*d + 22 = -3*v, 0 = 4*v - s*d + 2*d for v.
-2
Let x = 132 + -94. Let q = -25 + x. Solve -7*l - 4*h + 32 = -2*l, 3*h = -l + q for l.
4
Suppose 7 = -o - 3*q, 5*q = -3*o - o. Solve 0 = -2*j - 2*d, -o*j - 3*d + 7*d - 45 = 0 for j.
-5
Let s be (22 - 19) + 3*1. Suppose -8 = -w - 5*t, -11 = w - s*w + 4*t. Solve -f + 5*p + 10 = 0, -w*p = -6*p - 6 for f.
0
Let l = -26 - -31. Solve -4*z - 19 = -p, 2*z = 7*z + l*p + 30 for z.
-5
Suppose 182 = 596*x - 582*x. Solve m + 4 = 4*k, m - x*k = -12*k - 1 for m.
0
Let v be -4*(2 + (-26)/8). Suppose -3*w = 3*z - 15, 4*z + 5*w + 295 = 317. Solve -v*h - 5*m + 2 = -3, h = -z*m + 7 for h.
-2
Let l be 6 + ((-6)/(-5))/((-21)/70). Solve -4*n + 14 = l*u, -n - 5*u + 27 = n for n.
1
Let j = 997 - 963. Solve 4*u + a = -j + 10, 5*u = 2*a - 17 for u.
-5
Suppose 0 = 2*z - 6*z + 8. Let n = 5 - z. Let c be 36/6*(-1)/(-3). Solve c + 3 = 4*x + n*d, -x - d = -2 for x.
-1
Let m(f) = 2*f**2 - 23*f - 32. Let q be m(13). Suppose q*y - 10 = 18. Solve 4*p + 3*v - 9 = 0, p - 2*v = 3*p - y for p.
3
Suppose