 x, -3*x = -2*u + 4 - c for u.
1
Let l be (8/3)/(4/150). Suppose -3*q = -2*k + q + 40, l = 5*k - 4*q. Solve -5*v - k = 0, 2*z = 5*z - v - 19 for z.
5
Let i(x) = x**3 - 2*x**2 - 3*x + 4. Let j be i(3). Solve 4*k - 5 = 5*w, 0*k - 2 = -j*k + 2*w for k.
0
Let q be (3/8)/((-13)/(-104)). Solve 5*i + q*g + 2*g + 10 = 0, -4*i - 18 = -g for i.
-4
Let x be 2/4 - (-28)/8. Solve z + t = -3, 6*z - 3*z = -x*t - 12 for z.
0
Let y(p) = 15*p**2 + 1. Let n be y(-1). Suppose 2 = -3*d - n. Let h(r) = -r - 3. Let k be h(d). Solve -3*x = 3*a - 5*x + 7, a = -k*x - 6 for a.
-3
Let s be (3 + -3)/(1 - -1). Suppose s*u - 4*u = -12. Solve x = -t - 2, -u*x + 2*t + 2*t = 6 for x.
-2
Let t be 3*2 - (-1)/(2 + -3). Solve 5*u + p = 6*p - 35, -4*u - t*p + 8 = 0 for u.
-3
Let j(p) = -p**3 - 8*p**2 + 8*p - 5. Let w be j(-9). Solve u + w = -2*t, -3*u - u - 16 = -4*t for u.
-4
Let h(m) = 2*m**2 - 4*m + 3. Let c be h(2). Suppose -2*k - 25 = -5*t, 2*t + c*k + 0 - 10 = 0. Solve -i - 2*d - 8 = -t*i, -5*i + 16 = -4*d for i.
0
Let z(v) = 2*v**2 - 3*v + 4. Let g be z(3). Suppose 5*l + 6 = 3*i, 5*l + 9 - 5 = 2*i. Suppose 6*r = r. Solve r*a - g = -i*a - f, 3*a - 37 = -5*f for a.
4
Suppose -10*i + 2 = -11*i. Let g = 5 + i. Solve -2*y + 5*z + g = 0, 4*z + 8 + 8 = 5*y for y.
4
Suppose -2*x + 7*x = 10. Solve -2*a - 5*c = -4*a - 19, 4*c - x = -5*a for a.
-2
Let g be ((-11)/2)/((-1)/2). Suppose -3*t - 4 = -22. Suppose 2*z = -o + 2*o - 4, -4*o - 2*z + 16 = 0. Solve -n + g = -2*q, -5*q + t = o*n + 1 for q.
-3
Let n be (-2)/(-10)*-2 + 68/20. Solve 5*y - 27 = -4*i, -3*y - n*i + 15 = -i for y.
3
Let p = 63 - 39. Suppose 0 = -3*g - 3*q - 2*q + 4, 0 = 2*q + 2. Suppose 0 = s - g*s. Solve 0 = -3*m + 6, 5*u + 3*m - 2 - p = s for u.
4
Let j(i) = -i**2 - i - 46. Let c be j(0). Let u = 101 + -33. Let g = c + u. Solve -f - 4*f = 3*l - g, -2*f = -l for l.
4
Let x(j) = j**2. Suppose -6 = -2*z - z. Let m be x(z). Solve 2*y - k = k - 10, -5*y - m*k - 7 = 0 for y.
-3
Let o(p) = -18*p**3 - p - 1. Let j be o(-1). Solve 3*x + 4*w + 12 = x, 0 = 5*x + 4*w + j for x.
-2
Let p(b) = -5*b - 27. Let u be p(-6). Solve 3*l = 4*q + 23, -q - q - u*l = 7 for q.
-5
Suppose -f + 7 = 3. Suppose 4*l + 2 + f = 5*u, 0 = 2*u - 5*l + 1. Solve -3*q - 3 = -0*q, -u*i = -4*q for i.
-2
Let k = 39 - 27. Suppose 6*r = 2*r + 16. Suppose r*j + 0*j = 12. Solve l - 12 = -5*x, -7*l + j*l - k = 0 for x.
3
Let x = -6 - -8. Solve 6 = x*i, 3*n - 5*i + 20 = 5 for n.
0
Let p be (-1 + 1)/((-2)/(-1)). Let n be (3 + 0)/(1 + p). Suppose n*g + 4*y = -0*g + 9, 0 = 4*y. Solve 0 = -3*d + 2*v + 21, v + 0*v + g = 0 for d.
5
Let b(d) = 3*d + d**2 - 2*d + 16 - 15. Let z be b(-2). Solve 0*f - 2*x = -z*f - 11, -4*f - 4*x - 8 = 0 for f.
-3
Suppose 2*x - 15 = -3*x, 2 = -y + x. Solve h + y = 2*j, 5*j = -h - 0*j - 1 for h.
-1
Suppose -3*g + 2*g = -2*g. Solve 2*t = 4*s - 14, 0 = 4*s - g*s + 4*t + 4 for s.
2
Suppose 0*o = 3*o - 6. Let i be 110/8 + 7/28. Solve 0 = -5*z - 0*d - 2*d - 23, i = -2*z - o*d for z.
-3
Let w be ((-1 - 1) + -10)/(-1). Solve 3*z + 5*t = w, -2*z + t - 2 = 3 for z.
-1
Let r = -7 + 9. Solve -2*d + 3*d = 5*a, r*a = -2 for d.
-5
Let f be 4/(-20) + 755/25. Solve 2*r - 4*r - 4 = 2*t, -5*t = -5*r - f for r.
-4
Let q be 4/(-22) + 276/66. Solve -2*k = -5*v - 3, -q*v - v = -k + 4 for k.
-1
Let n be (-1)/(-2)*(-1 + 1). Let y(j) = -2*j**2 - 6*j. Let s be y(-4). Let t = 12 + s. Solve -v + 3*z = -7, n*z + 14 = -t*v - 2*z for v.
-2
Let y be 10/3 - (-4)/6. Let j = -2 - 0. Let i = j + y. Solve -9 = m + 2*l + i*l, 2*m = 2*l - 8 for m.
-5
Let x = -25 + 27. Solve 4*o = s + 3, -x*s + o + 0*o = -8 for s.
5
Suppose -29 = -2*f - 5*i - 5, -3*f - 2*i = -14. Solve 0 = -3*s - 5*n - 17, -5*n = -4*s + 22 + f for s.
1
Suppose -9*b = -18*b + 117. Solve 4*u + 2 = z + b, z = u + 1 for z.
5
Let d(i) = i**2 - 12*i + 14. Let s be d(11). Suppose s = x - 0*x. Suppose -3*b + 8 = 5*n, 2*b - 1 = 3*n - 21. Solve 4*t + 20 = 0, n*u = -2*t - t - x for u.
3
Let l(k) = k**3 + 8*k**2 + 7*k + 5. Let f be l(-7). Solve -5*q + 4*z + 4 + 5 = 0, -2*q - 10 = -f*z for q.
5
Let o = -21 - -24. Solve 0 = -o*c + 4*c - 2*s - 11, -2*s - 5 = 5*c for c.
1
Let z = -5 + 5. Suppose -4*c + 0*c + 24 = z. Suppose 4*u = 5*k - 5, 3*u = -5*k + 1 + 4. Solve u*s - 3*s = c, -2*a - 3*s - 6 = 0 for a.
0
Let u = -3 - -5. Suppose 4*z + u*p = 4, 4*p - 1 + 2 = -5*z. Let t = -26 + 26. Solve t = s + 3*r + 13, -z*s + 4*r + 3 = -r for s.
-4
Let q = -13 + 27. Let g = -9 + q. Let p be 1 + (1 + 2 - 1). Solve 0 = g*k + n - 15, -2*k = 2*k - n - p for k.
2
Let y = 1 - -3. Solve -2*i - 2*l = 18, 5 = 5*i - y*l + 14 for i.
-5
Suppose -42 = -u - 2*u. Let g = -11 + u. Solve -l + g = 5*k + 15, -l - 10 = 4*k for l.
-2
Let n(o) = -7*o + 17. Let v be n(2). Solve 5*b = -j + 4*b - 1, -v*b = 4*j + 5 for j.
-2
Let c be (36/(-6))/(-2) + 0/2. Solve u + 2*d = -c, -u = -0*u - 2*d - 9 for u.
3
Let w be 6/(-12) - (93/(-6))/1. Solve -2*r + w = -a, 2*a - 5 = -4*r - a for r.
5
Let b = -7 + 8. Suppose -5*i = -6*i + 10. Suppose -3*h = 2*h - i. Solve l = -2*x + 4, b = -2*l - h*x + 5 for l.
0
Let n(y) = -y**2 + 5*y - 2. Let s be n(4). Suppose -4*p + 9 = -3*p. Solve -2*d + 5 = -4*j - p, -s*d - 2*j = -2 for d.
3
Let b(c) = c + 1. Let d(h) = -4*h. Suppose 2*x + 6 = 4. Let j be d(x). Let o be b(j). Solve -3*a - 5*m - o = 0, -5*m = -2*a - 0*m + 30 for a.
5
Let d(b) be the third derivative of b**4/24 - 3*b**3/2 - b**2. Let y be d(4). Let z = y + 8. Solve 22 = 2*q + 4*l, -z*q + 28 = -l + 6*l for q.
1
Suppose -b - 2*b = 0. Suppose 4*r - 8 - 28 = 0. Suppose 5*q - 17 = -w, 5*w + 3*q - r - 10 = 0. Solve 0 = -5*u - w*h - 23 + 4, -3*u - h - 11 = b for u.
-3
Let c(o) = 6*o - 3. Let x be ((-20)/(-4) - 3) + 0. Let n be c(x). Solve 0 = -3*l - 2*w - 6, 4*l - 5*w = -2*w + n for l.
0
Let v = 7 - 11. Let z be 0*2/v*1. Let o = z - 0. Solve 2*u = -0*u - 3*g - 4, o = 3*g - 6 for u.
-5
Suppose 0 = -10*k + 5*k. Let l be 4 - (k + -2) - 2. Solve 12 - 2 = -l*t - 3*b, -5*t + 5*b = 30 for t.
-4
Let h be (5 + -5)/(-3*1). Suppose 5*u + 15 = 5*q, 0*q - 7 = q - 3*u. Solve 5*m = 2*j - 4*j - 11, h = 4*j - q for m.
-3
Let t be ((-1)/(-2))/((-5)/(-140)). Let i = -9 + t. Let r be (-3 - 0)*(-16)/6. Solve 0 = -4*l + 4*p - 16, -4*l - 9*p - r = -i*p for l.
-3
Suppose -2 = 3*n + 4. Let l be (-1)/n*(6 + 4). Solve 0 = -4*a - 2*g - 10, -l*a + g = 2*g + 14 for a.
-3
Let a be ((-35)/84*3)/((-2)/8). Solve 4*b = 5*s - 8, -2*b - a*s + 4 = -4*b for b.
-2
Let n be (2/6)/(21/126). Solve 2*l = -2*y - 6, y - 6*l - 22 = -n*l for y.
2
Let d(x) = -x**3 + 7*x**2 - 7*x - 1. Let k be d(6). Let h(o) = o + 9. Let c be h(k). Solve -c*l = 4*p - 4, 5*l - 6*p = -p - 20 for l.
-2
Suppose 4*v + h = 10 + 7, 0 = -v - 2*h - 1. Solve 13 = -3*r + 4*c, -v*c + c + 1 = r for r.
-3
Let f = -6 + 6. Solve -2*o + 5*y - 17 = 2, f = 3*o - 3*y + 15 for o.
-2
Suppose 2 = r - 7*n + 3*n, -5*n - 4 = -2*r. Solve r*o - 4*x = -18, -2*o + 3*o + 4*x = 3 for o.
-5
Suppose -40*u - 25 = -45*u. Solve 5*c - 5*x + 5 = -5, -u = -2*c + 5*x for c.
-5
Let r be (-2)/(2 - 4)*5. Solve -4*x - 4*s + 16 = 0, -19 = -r*x + s + 7 for x.
5
Let x(n) = 2*n - 8. Let u be x(5). Solve -5*q + 2 = -4*z, 0 = 2*z - 7*z - u*q + 14 for z.
2
Let z be (1/(-3))/(2/(-66)). Let v(s) = s**3 - 10*s**2 - 11*s + 6. Let t be v(z). Solve -2*p = -4, -4*p - 3 + t = -5*q for q.
1
Suppose v + v - 6 = 0. Solve v*q = q + 3*g - 10, g = 2 for q.
-2
Let x = -4 + 5. Let w = x - -2. Solve -w = 3*t, 0 = -y - 2*y - 4*t - 10 for y.
-2
Let t(r) = r + 10. Let p(g) = 4*g**2 + 1. Let y be p(1). Suppose 0 = y*f - 30 - 15. Let i be t(f). Solve 0 = 2*k + 10, k + 2*k = -z - i for z.
-4
Let d = 5 - -14. Let c = d + -17. Solve -4*g + 8 = 2*m, c*g - 7*g = m - 16 for g.
4
Suppose -3*o = -0 - 12. Suppose 9*h - o*h + 35 = 0. Let r be (4/h)/((-4)/14). Solve -4*n + j - 11 = 0, r*n + 5*j = n + 13 for n.
-2
Let g be (-4)/10*-15 + 1*-3. Solve -30 = -4*b + 5*u, 4*b + 2*u + g*u = 10 for b.
5
Let h be 2/(-8) - 246/(-24). Solve 0 = -4*q + 2*m - 16, 2*q - 5*m = -2*q - h for q.
-5
Suppose -i + 0 = -x + 4, -20 = 3*i + 5*x. Suppose 4 + 4 = -2*a, 3*l = -2*a - 17. Let b be l - (-1 - 1) - i. Solve -3*p = 2*q - 2*p, q + b*p + 7 = 0 for q.
1
Let y = 49 + -29. Solve 4*d - 2*d + 4*u = -16, -3*d + y = -5*u for d.
0
Let q = 65 + -65. Solve 5*o - 4 = -g, 3*g + q*o = o + 12 for g.
4
Suppose 4*b + 3 = -1. Let h be b*14/3*-3. Let y = -7 + 10. Solve -y*f