3 for u.
3
Suppose 0 = -4*b - 3*j - 28, 3*b - 2*j + 22 = -4*j. Let x = 12 + b. Let i = 17 + -11. Solve -2*c = -3*o + x, o = 3*c - 2*o + i for c.
-4
Let r = 96 + -92. Solve r*p - w - 3 = 13, 0 = -3*p - 2*w + 23 for p.
5
Suppose -44 = 8*f - 4*f. Let l = f + 15. Let w = 0 + 5. Solve -4*v - l*i + 2*i + 8 = 0, -3*v - w*i + 13 = 0 for v.
1
Let n(q) = q**3 + 4*q**2 - 3*q - 1. Let h be n(-3). Solve 3*i - f - 7 = 0, 2*i - 2*f - 3*f + h = 0 for i.
4
Let x be (-9)/(-4) - (-1)/(-4). Suppose -5*m - 10 = 0, 3*b + b + 5*m = -x. Solve b*i - 3 = -v - 0*v, 4*i = 12 for v.
-3
Let x(u) = 9*u**3 + u**2 + u - 1. Let f be x(1). Solve -f = 3*b - 2*y - 2, -4*b - 3*y - 5 = 0 for b.
-2
Let w(g) = 2*g + 7. Let y be w(-8). Let c be (-21)/(-6) - y/(-6). Solve -19 = 2*v + 2*b - 1, 3*v - c*b + 7 = 0 for v.
-5
Suppose 0 = 3*g - 2*c - 22, 3*c + 4 = c. Let v be g/(-9) + 16/6. Solve v*n + 4 = 2*q + q, 0 = 4*n + q + 8 for n.
-2
Let i = 1 + -1. Suppose i = 4*x - 8, -20 = 5*o + x + 4*x. Let w(l) = -l**2 - 7*l - 1. Let f be w(o). Solve f*y + 4*s - 4 = -18, s + 9 = -4*y for y.
-2
Suppose 5*r = -c - 4, 4*r - 2*c = -6*c. Let d be 1/(2*r/(-18)). Let y = -20 - -22. Solve 0 = -5*w - 4*a - 11, 5 = -y*w - 4*a - d for w.
1
Let g = 2 - 9. Let w = g + 7. Let q be w - -1 - (2 + -6). Solve q*p - p = -2*f + 24, -f + 17 = 3*p for f.
2
Suppose 0 = 3*q - h - 12, q - 5*h + 2 = 6. Solve -3 - 2 = -5*n - 5*s, 5*s = -q*n + 4 for n.
1
Suppose 2*b + 2*f = 0, -f - 16 = 3*f. Solve -5*t + 4*m - 15 = 0, b*m + m = 25 for t.
1
Suppose 3*t + 4*j + 28 = 5*t, -4*t = -3*j - 31. Solve t*c = -3*r - 29, 0 = 4*c + c + 5*r + 40 for c.
-5
Suppose -5*m = -3*q + 15 - 5, -5*q + 22 = -3*m. Solve i = q*g - 22, 0 = 5*i + 2*g + 1 - 26 for i.
3
Let m be (-40)/(-25) + 4/10. Suppose 5*y = -m + 12. Let u(c) = -c**3 - 4*c**2 - c + 1. Let o be u(-4). Solve -o*b = -0*d - y*d + 17, 4*d - 13 = 3*b for d.
1
Let v = -120 + 123. Solve v*r + 21 = -2*h, -3*r - 5*h - 45 = -15 for r.
-5
Let o(q) = -q**3 - 8*q**2 - 2*q - 9. Let c be o(-8). Let k = c + -4. Solve 3*m = 5*m + 2, -k*m + 6 = 3*f for f.
3
Let i be (1*8/(-10))/(8/(-20)). Solve -4*s + i*h = -5 + 1, s = -3*h - 6 for s.
0
Let i be (13 - 20/4) + -3. Solve -3*k + 2*m - 12 = 0, -4*k - 3*m + i = -2*k for k.
-2
Let g = 7 + -5. Solve 0 = -2*b - 2*b - 4, g*y = -2*b + 2 for y.
2
Let p = -31 - -57. Let k = -8 + 13. Solve -g = 3*w + 4*g + 29, k*g + p = -2*w for w.
-3
Suppose l = 3*l - 4. Let x be (-3)/(l/(-4)*2). Let v be -3*(-2)/3*2. Solve 3*d - 4*h + 17 = 0, 0 = -x*h + v + 2 for d.
-3
Suppose w - 3*w + 4 = 0. Suppose 0 = -4*z + 3*p + 17, z - w*p = 3*p + 17. Let t = -36 - -64. Solve -2*f - c = 11, 4*c + t = z*f - 6*f for f.
-4
Suppose 6 = -2*s + 5*s. Solve 20 = 5*q, s*b + 1 = -b + 4*q for b.
5
Suppose 8 - 26 = -3*n. Solve 4*j - n*f = -4*f + 18, -2*f = 2*j for j.
3
Let j be 0*(-4 - 28/(-8)). Solve 3*i - b + 15 = j, 0*i + 4*b + 15 = -3*i for i.
-5
Let w = 2 - -2. Suppose 5*l - 5*s + 15 = 0, -4*l + w*s + s - 15 = 0. Solve 4*z - 3*v + 32 = -z, l = -4*z - 3*v - 4 for z.
-4
Suppose 0 = -4*x - 7 + 3. Let j(o) = 3*o**2 + 3*o. Let l be j(-2). Let a = l + x. Solve m - a*m + 3*p - 20 = 0, 2*m + 10 = p for m.
-5
Suppose q + 22 = 5*i, 5 = -5*q - 0*q + 4*i. Solve 3*d - q*f + 8*f = 35, -4*d = 2*f - 28 for d.
5
Suppose -47 - 7 = -3*u. Solve 0*c - 5*v + u = c, 0 = 2*c - 5*v + 24 for c.
-2
Let l = 5 + -2. Suppose -l*b + 6 = -0. Suppose 3*a + 4 = 3*m - b*m, -4*m + a + 16 = 0. Solve -2*u - p - 15 = -m*p, -2*u = -5*p + 25 for u.
0
Suppose 4*g = -0*g + 4. Let o be (1 - -4)*(g - -1). Solve -a + 2 = 4*t, 0 = -3*a - 2*a + o for t.
0
Suppose 5*y - 36 = y. Let b = y - 7. Solve -2*w = 5*t - 17, b*t + 2*t - 32 = 3*w for w.
-4
Let x(o) = o. Let w be x(2). Suppose -2*z - z + 2*r = 16, -4*r - 12 = 5*z. Let p be z/10 - 4/(-10). Solve 2*y - y + w*q - 9 = p, y + 6 = q for y.
-1
Let y(l) = -4*l - 1. Let s be y(-1). Let a(c) = c**2 + 2*c + 1. Let r be a(-1). Solve s*g + 3*n = 15, -g + 5 + r = 4*n for g.
5
Let k be 5 - (2 - (2 + -2)). Solve -4*m = -4, k*z = m - 5*m - 2 for z.
-2
Suppose -6*c + 8*c = 10. Solve 0 = -4*j - k + 1, -2 = -3*j - c*k + 3 for j.
0
Let q(u) be the first derivative of 3*u**2/2 + u - 4. Let k be q(4). Solve -4*h + 0*h = -x - k, -3*h + 26 = -4*x for h.
2
Let p(t) = -9*t**3 - 3*t**2. Let i be p(-2). Suppose 20 = -5*j + i. Solve x + 0 - 4 = 4*y, 2*x + 4*y = j for x.
4
Let a(b) = b**3 - 7*b**2 + 2*b - 10. Let z be a(7). Let t = 242 - 237. Solve -n = q, -z*q - 15 + t = 2*n for n.
5
Let i = 3 - -1. Suppose 5*s + 3 = 13. Let k = 1 + s. Solve 4*w = n + 13, -i*w + 5 = -k*n - 2 for n.
3
Let t = 0 - -2. Suppose q + 3 = t*q. Suppose 0*o = -q*o + 39. Solve 5*r - o = -l - 0*l, -l - 3*r = -7 for l.
-2
Suppose 0 = 5*n - 3*n - 6. Suppose 2*k - 225 = -n*k. Solve 0 = 4*q + 5*t + k, t + 0*t - 5 = 2*q for q.
-5
Let z be (-5)/10*(-1 - 9). Suppose 5*q + u + 0*u = 17, 2*q + 2*u - 10 = 0. Solve 5*m = t - 22, -z*t - 3 = q*m - 1 for m.
-4
Suppose 15*i - 12*i = 0. Let d(o) = 3*o**3 + o - 1. Let u be d(1). Solve -m = -3*q + 18, -u*q + i*m + 27 = -4*m for q.
5
Let u be 1 + -3 + 2 - 15/(-5). Solve 10 = -4*c - 2*w, -3*c - u*w - 2*w - 18 = 0 for c.
-1
Let y = 17 + -12. Suppose 0 = -a + 10 - y. Suppose -a*r - n = -r - 12, -n = -4*r + 20. Solve -4*j + 4 = 0, r*j = -o + 2*o + 4 for o.
0
Let x be 12*(5 - 76/16). Solve 8*d = x*d - 15, z - 2*d = 10 for z.
4
Suppose -2*g = -g - 3. Suppose -20 = -g*a - 2. Suppose -4*y + 5*u = -5, 2*y - 5 = -0*y + 5*u. Solve y = 4*o + 4*x + a - 14, 0 = -o + 2*x + 2 for o.
2
Let j(y) = -4*y - 1. Let z be j(-1). Let s be (3/(-1) + 1)*-1. Suppose v + 0 = -s*m - 3, -3*v + 15 = -2*m. Solve -14 = 2*g + 2*q, -4*g = -z*g - q + v for g.
-5
Suppose 2 = -9*x + 10*x. Suppose -x - 1 = -a. Solve 0 = t + 5*m - 13, 0 = 6*t - 2*t - a*m - 6 for t.
3
Suppose -u + 8 = -5*u - 4*x, 3*x = 3. Let n = u + 6. Let v be 33/7 + 4/14. Solve 4*i + i = -n*d + 34, 2*i + v = 5*d for i.
5
Suppose -2*s - 8 = -2. Let c = 6 + s. Solve -c*x + 4 = 2*d, 4*d = -0*d + 3*x + 8 for d.
2
Suppose 2*h + 3*k = 4*k + 11, 3*h + 4*k = 0. Solve 2*u - 4*u - 5 = -3*g, 3*g - h*u = 13 for g.
-1
Let m = -10 - -14. Suppose -m*w + 2*w = 0. Solve -4 = -2*g - 2*g, w = -b - 2*g for b.
-2
Suppose 0 = -2*w - 2*d + 24, 5*w + 2*d = 6*d + 33. Let g be (-16)/(-6) + 2/(-3). Solve -4*x - w = y - 0*y, 0 = -y - g*x - 3 for y.
3
Let w be (4/(-3))/(5/15). Let z = 4 + w. Solve -2*n = -5*c + 24, -28 = 4*n - z*n - 5*c for n.
-2
Let b(k) = -k - 6. Let r be b(-6). Suppose r = -5*n - 0*n. Suppose n*q = q. Solve 4 = 2*p, 0 = 2*o - 5*p + 4 - q for o.
3
Suppose m - 3 + 0 = 0. Suppose 3*h - 4 = 2*v + h, -v - m*h + 14 = 0. Solve 0 = -2*d - 6, -v*d + 6*d = -i - 13 for i.
-1
Let b be 1/(12/(-30) - (-3)/5). Solve g - 6*g + 30 = 5*p, -4*p + 28 = b*g for p.
2
Let y be (2/(-6))/((-2)/42). Solve -5 = -3*a + 2*g, 2*a = -4*g + y + 7 for a.
3
Let q = 1 - 3. Let u be (-21)/q - (-9)/18. Solve 3*f = -2*t - 22, -5*t = -4*f - 4*t - u for f.
-4
Let i(l) = l**2 + 4*l - 3. Let d be i(-5). Suppose 3*b = 2*b - 3*n + 12, 4*b - 2*n = -8. Solve d*k - 6 = b, 3*a - a + k + 1 = 0 for a.
-2
Suppose 0 = -4*x - 5*w - 37, 25 = -4*w - w. Let l be ((-3 + 3)/x)/2. Solve -2*i - 4*k + 0*k = 22, l = -2*i + 2*k + 8 for i.
-1
Let v(z) = z**3 - 6*z**2 + 2*z - 9. Let s be v(6). Solve -2*g + 0*d - 1 = d, -d + s = -2*g for g.
-1
Let o be (-4)/(-3 + 2) + 1. Solve 0 = -o*x + 2*u - 22 + 4, x + 22 = 5*u for x.
-2
Let a = 4 + -2. Suppose 2*o = 3*f - 3, 3 = 4*f - a*f - o. Solve 2*v - 22 = -4*u, -10 = -f*v + v - u for v.
3
Let l be -8 - -7 - (2 + -3). Solve -4*w - 4 = -c + 8, l = -5*c - 5*w - 15 for c.
0
Let q be -3*3/(-18)*-12. Let f = -4 - q. Suppose f*h + 25 = 7*h. Solve 0*r = -2*r + 4*y, h*y - 30 = -5*r for r.
4
Suppose -h + 4 = -0*h. Solve -3*v - 10 = y + 9, 4*v + 36 = -h*y for v.
-5
Suppose -230 = -4*k - k. Suppose k = 5*c + 16. Let w be 0*-3*1/(-6). Solve -15 + c = o - z, w = o + 2*z - 3 for o.
-5
Let u(v) = -2*v**2 + 24*v - 22. Let j be u(11). Solve j*r - 3*o = 3*r + 12, 0 = 2*r - o + 11 for r.
-5
Let u = 0 - -3. Suppose -u*v = -v. Solve g + 2*y + 13 = v, -g = g - 2*y + 2 for g.
-5
Suppose 32 - 24 = 2*q. Solve z - q = 3*d - 4*z, 10 = -4*d + 2*z for d.
-3
Let o be (-8*(9/(-6) - -2))/(-2). Solve 8 = 3*s - 2*v, -4*s = -0*s - o*v - 10 for s.
2
Let r be (2 + 6)*1 - 3. Solve 3*i - 23 = -0*w + 4*w, -4*w + 17 = r*i for w.
-2
Suppose t + 18 = -2*v +