= 3*x for x.
-1
Let t(g) be the second derivative of -3*g**2 - 1/20*g**5 - 1/3*g**3 - 3/4*g**4 - 2*g + 0. Let j be t(-9). Solve 4*w - 3*k = j, 0*w - w = k + 4 for w.
0
Suppose 4*u - 10 = 2*l, 5*u = -5*l + 3 + 2. Suppose -1 = 4*n + 2*f - 19, -3*n = -f - 1. Let y = 1 + n. Solve u*k - 2 = -3*i + 7*i, -y*k = -i - 13 for i.
2
Let m be 6/(-2) - (-35)/5. Solve -4*f - 8 = 2*r, m*f + 22 - 6 = 2*r for r.
2
Let s be (-4)/16*-4*5. Solve -7*k - n - 3 = -3*k, 5*k - s*n = -10 for k.
-1
Let z be (-3)/(-6) + (-3)/(-2). Solve -b - 1 = z*x + 8, 2*x = 2*b - 6 for x.
-4
Suppose 0 = -11*g + 6*g - 110. Let a = g - -34. Solve 3*d - 9 = w, 5*w = -4*d - 0 + a for d.
3
Let f(o) = -o**3 - 3*o**2 - 1. Let b be f(-4). Let d = -11 + b. Solve d*k - 10 = -2*y, y = -0*y + k + 5 for y.
5
Suppose 2*f = 2*g + 13 - 5, 5*f + 4*g = 2. Solve -7 = -5*q + 2*q - f*a, -4*a = -8 for q.
1
Let k be 18/(-27) - 4/(-6). Solve -34 = -5*m - k*m + 3*r, -r - 13 = -2*m for m.
5
Let g be 0 + 5 + (2 - 5). Suppose -q + p + 9 = 0, g*q + 4*p = -12 - 0. Solve 3*m = 5*a - 22, -14 = -q*m - a - a for m.
1
Let q(w) = -20*w. Let b be q(-1). Let m = -4 + b. Suppose 4*c + 0 = 16. Solve m = -6*g + 3*g - 5*u, -8 = c*u for g.
-2
Let x(r) = r**2 + 3*r - 3. Let q be x(3). Let o = -6 - -8. Suppose 0 = -4*y + o*y + 30. Solve 4*m = 8*m + 3*g + y, -2*m - 3*g - q = 0 for m.
0
Suppose 3*z - 19 = 6*z - 5*g, 15 = -3*z + 3*g. Let k be (-3)/9*z*3. Solve -b - 1 = -k*w - 5, 5*b + 2 = 4*w for w.
-2
Suppose 5*t - 5*s = 20, 0 = 3*s - 0 + 3. Solve 3*d - 5 = k, 0 = t*d - 4*k - k - 1 for d.
2
Let l(p) = 5*p - 2. Let h be l(2). Let v(z) = z - 4*z + 6*z - 4*z + h. Let w be v(4). Solve 3*k - c - c = -10, 20 = -w*k + 4*c for k.
0
Let d(z) be the third derivative of z**4/24 + 4*z**3/3 - 3*z**2. Let r be d(-5). Solve 3*s + x + 9 = 0, r*s - 2*x + 4 + 5 = 0 for s.
-3
Let s(t) = 2*t**2. Let l be s(1). Let r be (0 - (3 - 3)) + l. Solve -2*d = r*i - 16, -d - 3*i + 20 = d for d.
4
Suppose -c - 4*i + 29 = 0, -i - i - 45 = -3*c. Solve -m - c = 3*m - 5*t, 3*t - 18 = 5*m for m.
-3
Let y = 10 - 5. Let u = y + -2. Let j(v) = 2*v**2 - 8*v + 10. Let h be j(2). Solve -h*k - 2*m + 6*m + 8 = 0, k - u*m = 6 for k.
0
Let w(a) = a**3 - 7*a**2 + 7*a - 4. Let j be w(6). Let k = -4 + 8. Suppose -y + j = 3*n - 2*y, 0 = -5*n - 2*y - k. Solve 4 - 1 = 3*d, n = 4*g + 5*d - 17 for g.
3
Let y be 4/(-14) + (-37)/(-7). Suppose y*j - 44 = -3*v, -25 + 5 = -5*j. Solve 5*s = -d + 15, -2*s + 3*s + v = 2*d for s.
2
Let w(r) = r**3 + 6*r**2 + 3*r - 3. Let m be w(-5). Solve 5*n + m = 5*l - l, -4*n - 2*l = 16 for n.
-3
Let c(d) = d + 20. Let h be c(-19). Solve 4*f - 1 - h = -2*z, -3*f + z + 14 = 0 for f.
3
Suppose 2*a - 3*a + 5 = 0. Suppose -4 - 36 = -a*u. Suppose -6 = -2*w - s, 0 = 5*w - 4*s - 8 - 7. Solve -u*f - 20 = -w*f, 0 = 5*x - 3*f - 12 for x.
0
Let i(o) = 10*o**2. Let f be i(-1). Let t be ((-12)/10)/((-3)/f). Solve -2*h + 0*r + 5*r = -26, -2*r + 4 = t*h for h.
3
Let i be 8/(-12) + (-8)/(-3). Suppose 0*l + i = l. Solve 3*g + l*m - 7 = 7, -5*g + 22 = 2*m for g.
4
Let v = 45 - 25. Solve 2*b + 4 = 3*b, -5*b + v = 2*k for k.
0
Suppose -i + 45 + 30 = 0. Suppose -q + 7 = 3*z, -29 + i = 5*q + 4*z. Let a = q + -6. Solve a*v - 3*u = -v - 3, 0 = 4*u - 4 for v.
0
Suppose -3*u + k + 5 = -8*u, 15 = u - 3*k. Suppose 0 = m + l, -3*m + 2*l + u*l = -5. Let i = -8 + 11. Solve v - 13 = -2*s, -28 = -3*v - i*s - m for v.
5
Let l(p) = -2*p**2 + 2*p + 4. Let q be l(3). Let o = -3 - q. Solve -2*j = -3*r, 5*j + 3 = o*r - 2 for j.
-3
Let n = 12 + -9. Solve 5*m + 23 = v - n*v, 16 = -3*m + v for m.
-5
Let c = 48 + -43. Solve y = 5*b + 5 + 4, 4*y = -c*b - 14 for y.
-1
Let a = 9 - 4. Solve r - 2*t - a = 0, 2*r + 0*r + 5*t = -8 for r.
1
Suppose 0 = -b, t + 2*b + 3 = 5. Let i be ((-7)/t - -3)*-30. Solve 2*h + i = 2*n + n, -5*h = 5*n - 25 for h.
0
Let b = -11 - -6. Let a(s) = -18*s**2 + 17*s**2 + s + 3 - 6*s. Let z be a(b). Solve 2*m - 9 = l, -z*m + 2*m = -3*l - 12 for m.
3
Suppose -2*h = 2*h. Suppose 0 = -h*x + 3*x. Solve s = 5*m + 15, 2*m = -5*s - x*s - 6 for m.
-3
Suppose 13*i + 2 = 14*i. Solve 32 = -4*d + 4*l, -i*l + 0 - 9 = 3*d for d.
-5
Let l be -2*(-4 - (-5)/2). Solve 4*j + 2*b - 20 = 6*b, l*b = 4*j - 15 for j.
0
Suppose 4*w = -2*i - 9 + 39, 2*i = -2. Suppose -8*m = -5*m - 24. Suppose -3*l = -m*l. Solve -c + p + w = c, -c + p + 4 = l for c.
4
Let l(w) = 3*w - 9. Let a be l(4). Suppose -a*y + y = -6. Solve -3*z = 3*s, -s - s = 3*z - y for s.
-3
Let d = -84 - -122. Let u be 3/6*(2 + d). Suppose -4*g + 0*g = -u. Solve g*p - 1 = -4*x + 8, -5*x = 4*p - 9 for x.
1
Let t(q) = 3*q**3 + 18*q**2 - q - 4. Let i be t(-6). Solve 3*u + i = -2*d + 13, 3*u + 13 = 4*d for u.
1
Suppose 0 = x - 5*l + 4*l, 0 = x + 4*l - 25. Let q be (6/x)/((-8)/(-20)). Suppose -q*h - 8 = -5*h. Solve -2*w + 3*y + 1 = 0, -3*w - 5*y - 23 - h = 0 for w.
-4
Let y = -1 - -3. Suppose -2*b - 18 = -2*s, 7*s - y*s + 4*b = 0. Solve -f + 2 = -s*v - 3, f + 5*v = -4 for f.
1
Let k(p) = -p**3 - 9*p**2 - 10*p - 11. Let n be k(-8). Suppose h + n = 7. Solve -u + 15 = 3*l, -h*u + 5*l - 9 - 5 = 0 for u.
3
Let y = -1 + 5. Let g(c) = -c**3 - 10*c**2 - 9*c. Let q be g(-9). Suppose -3*v + v = q. Solve 2*w + 6 = v, 2*a + 5*w = y*a - 25 for a.
5
Suppose 0 = x + q + 9, 5*x - 2*q + 0*q + 73 = 0. Let b = x - -16. Solve -3*g + 6 = 0, -5*l = b*g - 10 - 16 for l.
4
Suppose 4*t - 4 = 4*d, 26 = -3*t - 2*d + 4. Let y be 1*t/(-3 + 2). Solve 0 = -4*g + 5*g + y*x + 6, 0 = -g + 3*x + 8 for g.
2
Suppose 25 + 0 = 5*y. Solve 5*n - y*x = 30, -4*x - 20 = n - 3*n for n.
2
Let j(n) = n**2 + 10*n - 13. Let o be j(-11). Let d = o - -4. Solve -2*a + 4*a - w = -2, -4*w + 18 = d*a for a.
1
Let h be 1/2 - 9/(-6). Suppose 0 = -h*g - 2 + 76. Solve -g = 4*u + 5*p, 0 = -2*p - 2*p - 20 for u.
-3
Suppose 0 = -3*v + 2*g - 5*g + 24, -4*v - 2*g + 26 = 0. Let h be ((-16)/(-10))/4*v. Solve -h*d + 12 = y, 3*y - d = 4*d - 19 for y.
2
Let z be (-4)/6*(-4 + -1 + -1). Solve m + 2*q = -m + 16, -2*m - z*q = -24 for m.
4
Let t = 9 - 17. Let k be (-1)/4 - 186/t. Solve -5*o = 2*g + 10, -4*g - k = 4*o - 3 for o.
0
Let h = -16 + 36. Suppose 4 = 4*l - h. Let u(y) = -y**3 + y**2 + y + 2. Let n be u(0). Solve n*w + 2*w + 16 = 4*a, -l = a + 4*w for a.
2
Let w be 4*-1*(-4)/8. Let d be 6*(w - (-10)/(-6)). Solve 0 = m + 4, 0 = -g - d*m + 5*m + 7 for g.
-5
Suppose 0 = f - 6*f + 25. Solve -2*g - 3*c = 8, f*c = 3*g - 3 + 15 for g.
-4
Suppose 0 = a - 2*a. Suppose a*m + 18 = 6*m. Solve m*t = 2*c, -c + 2*c = -4*t for c.
0
Suppose 3*x - 7*t + 2*t = -2, 0 = -t + 1. Solve -3*f = -4*u + 2, 5*u - 1 = 4*f + x for f.
2
Suppose m + 4*b + 7 = 0, -4*m + 35 - 9 = -2*b. Solve -4*o = m*y, y + y + o - 3 = 0 for y.
4
Suppose 0 = -2*x + 1 + 3. Suppose -3*i = -x*i - 2, 4*u - 5*i - 14 = 0. Solve s + 4*w - u = 0, 2*w = 2*s - 2*w for s.
2
Suppose -5 = -2*o - 3*q + 1, 0 = o + 2*q - 3. Let l(i) = i + 7. Let k be l(-3). Solve -r + o*t + 4 = -7, 22 = k*r - t for r.
5
Let f = -115 - -135. Solve -3*h = 2*x + f, -5*x - h - 36 = 3*h for x.
-4
Let u(w) = -w + 8. Let j be u(-7). Suppose 0 = -4*v + z + j, z + 3 + 0 = 0. Solve -4*h = -v*h - 2*m + 8, -3*h - 4 = -m for h.
0
Let t be (2 - 3)*(-15)/3. Suppose -g = -6*g + t. Suppose w - g = 4. Solve 0 = -2*u + 6*u - q, -25 = w*u + 5*q for u.
-1
Let v be (2 + -1 - 1)/2. Suppose v*z - 15 = 3*z, 15 = h - 2*z. Solve 0*m + m = -4*r - h, -15 = 3*m + 5*r for m.
-5
Suppose 34 - 14 = -4*r, 3*z + 5*r + 13 = 0. Suppose 5*k - z*m = 104, -4*k - 6*m + m = -75. Solve 30 = -5*s + 5*t, 0*s - 5*s - 5*t - k = 0 for s.
-5
Let o be (1 + 2)*1 + -1. Suppose x = o*w - 3, -2*x - 2 = -12. Let f be (-3)/(-3) - (0 + 1). Solve -3*r - 28 = w*b, 2*b + 8 = -f for r.
-4
Suppose z - 3 = -1. Suppose 0*s + 6 = z*s. Let c be (156/91)/((-4)/(-14)). Solve s = 3*i - h - c, -3*i + 9 = 5*h for i.
3
Let y be (24/(-10))/((-4)/10). Suppose -2*w = -4*h + w + 21, h = -3*w - y. Solve 0 = 3*x - x - h*n + 7, 5*x - 5*n + 15 = 0 for x.
-2
Suppose 10*c = 19 + 31. Suppose -10 = 4*k + k. Let i = k + 15. Solve -j + 3 = 2*b + c, -b + i = 4*j for b.
-3
Suppose -g = -p + 10, 3*p - 32 = -p - 4*g. Let b be -15*(3/5 - 1). Suppose b*f - 85 = f. Solve -6 = 3*d + 3*o, -2*d + p*o = 4*o - f for d.
1
Let n(o) = -o**3 - 3*o**2 + 5*o + 7. Let t be n(-4). Solve -r - 3 + 0 = -2*h, -4*h - t*r = -11 for h.
2
Suppose -o = -4*o, -o + 6 = 3*x. Suppose 5*q - q = 0. Suppose -5*b 