= -5*t - r*u. Solve z = 3, -2*z - 2 = -5*x + t for x.
2
Suppose 5*m - 45 = 5*c, 2*c = -2*c - 4. Suppose -m*a = -3*a - 160. Let s = 48 - a. Solve r - 3 = -2*r, -5*d - r = -s for d.
3
Let n be (4/6)/((-140)/(-15) - 9). Solve n*i - 3*g = 3*i + 14, -g = -5*i + 10 for i.
1
Suppose -14*t + 92 - 36 = 0. Solve 3*p = -4*g - 22, -5*g - 5 - 7 = -t*p for p.
-2
Let h = -22 + 51. Let q be 2/(-6) + (-56)/(-6). Let b be 1*(1 + -1) - -5. Solve g - h = b*r, -g + r + q = -0*g for g.
4
Let f(d) = -5*d - 1. Let g be f(-1). Solve 0 = 3*b - p + 10 - 24, -g*p + 8 = 4*b for b.
4
Suppose v = -0*v + 5. Suppose -v*y = -3*y. Solve -2*s = -5*p - 14, -4*s = 4*p + 28 - y for p.
-4
Suppose -3*m - 4*v = 8, -3*v = -7*m + 3*m + 31. Suppose -m*s + 2 = -3*s. Let o be 6*1/s - -1. Solve -o*u = -3*q - 2 - 13, 0 = -q + u - 5 for q.
-5
Let y = 136 + -122. Solve 3*t + 2 = -2*d, 0*d - y = -5*t + d for t.
2
Suppose -6*v + 2*v = -5*m - 80, 5*v = -m + 100. Let h = v - 20. Solve h = -4*w + 3 - 19, -5*f - 4*w - 16 = 0 for f.
0
Suppose 3*b = -3*i - 27, 0 = 3*i - 6*b + b - 13. Let v be (i/(-5))/(2/(-10)). Let z be (-10)/v + 4/(-8). Solve -z = -p, 4*p + 2 = 3*y + 5*p for y.
0
Suppose -3*w = 6 + 18. Let q(f) = -f**3 - 7*f**2 + 9*f + 10. Let i be q(w). Let v be (-1)/(-3)*i*3. Solve -2*l - 3*u = -8*u + 21, -4*u + 24 = v*l for l.
2
Let l be 3 + 1/(-2)*0. Solve 0*f = l*f + 5*t - 37, 8 = -3*f + 4*t for f.
4
Suppose -c + 1 + 3 = 0. Solve 0 = -i + 5*w + 13, c*i + w + 8 = -3 for i.
-2
Let p(g) = g**2 + 3*g - 5. Let s be p(2). Solve 4*f = -4*u - 4, 18 - 8 = 2*u + s*f for u.
-5
Let i = -4 - -4. Suppose 0 = f + 2*h - 2, 5*f - 3*h - 10 = i. Solve -4*m + 7*m = f*g - 5, -5*m + 5*g - 15 = 0 for m.
1
Let t(i) = i**2 + 5*i - 3. Let d be t(-6). Solve d*z = -q - q + 14, -3*q - 4*z = -19 for q.
1
Let b = -9 - -15. Let n = b + 2. Solve 2*j = 5*r - 11, 2*r - r + 3*j = -n for r.
1
Let m(s) = 6*s - 31. Let l be m(6). Solve l*v + 29 = -z, 8 = 3*z - 5*z for v.
-5
Suppose 4*t = -2*p + 20, p + 12 = -2*p. Suppose 2*c = 5*c - 6. Solve 4*u = -3*a, 3*u = -2*a - c*a - t for a.
-4
Let m be 1/3 - (-134)/3. Solve 0 = -5*w + 5*z - m, 3*w + z + 7 = -0 for w.
-4
Suppose c = 5*c - 8. Suppose -3*j - 3*z - 1 + 7 = 0, 2*j + 5*z = 1. Solve 4 = -4*a, -r - c*a = -0*r - j for r.
5
Let s be 2 - 0/(3 + 0). Let p = s + -2. Solve p = -4*a - i - 5 - 5, -2 = 4*a - 3*i for a.
-2
Let q be (-4)/(-18) - (-60)/(-27). Let y be (q/8)/(2/(-8)). Let r = 1 + y. Solve 4*z = r*d - 22, 4*z + 2*d + d = 3 for z.
-3
Let w(c) = -c**3 - 7*c**2 - 8*c - 1. Let p be w(-6). Solve 4*a + t + t - 22 = 0, 5*a = 3*t + p for a.
4
Let c = -183 + 185. Solve 4*h + 4*j = -16, -4*h - 3 = c*j + 11 for h.
-3
Suppose -5*q = -3 - 7. Let d(m) be the first derivative of m**4/4 + m**3/3 - m**2/2 + m - 2. Let z be d(q). Solve 0 = -v + 4*b - z, -b = 3*v + 2*b - 27 for v.
5
Suppose -2*a - 2*y = -12, 4*a + 2 - 12 = 3*y. Solve -2*d = a*x + 6 - 2, -d - 2 = 4*x for d.
-2
Let b = 63 + -61. Solve -a = b*c - 12, -2*c + c = -a for c.
4
Let f = 3 + 2. Let t = -6 + 11. Solve -4*n = -l + 13, -3*l + f*n = -6*l + t for l.
5
Let y be 8/6 + 24/36. Solve -4*s = y*g - 12, -2*g = s - 0 + 3 for s.
5
Let h = 26 + -15. Suppose -q + h = -2*y, -3 + 17 = q - 3*y. Suppose 2*p - 7 - 7 = 0. Solve -p*t - 30 = -4*t - q*k, -3*t - 6 = 3*k for t.
-5
Let r(f) = f**2 - 7*f + 2. Let z = 6 + -4. Let y = z - -5. Let s be r(y). Solve n - s*n + k = -9, 5*n = -3*k + 13 for n.
5
Suppose -7*s = -13*s + 30. Solve -5*n - s = 0, -3*p - n - 5 = -1 for p.
-1
Let i be 12/42 + 5/7. Suppose -2*p + 3*x + 12 + i = 0, -3*p - 4*x = 6. Solve -p*f - 5 = 2*q + 7, -f - 15 = 4*q for f.
-3
Let v(g) = 11 - g - 11. Let s be v(-2). Solve 4*p + 5 = 4*x - 15, 0 = -2*p - 2*x - s for p.
-3
Let u(c) = 3*c + 20. Let f be u(-6). Solve -2*y = 4*t - 0*t, -5*y + 8 = f*t for t.
-1
Let p = 0 - -2. Solve 4*f + 28 = 6*b - 2*b, 10 = p*b - f for b.
3
Suppose -4*s = b + 16, -b - 4*b = -2*s - 8. Suppose -2*n + 6*n = b. Let d(p) = -p**3 + p + 5. Let g be d(n). Solve 3*z = -g*m - 10, -z = -5*m + z + 15 for m.
1
Let o = 11 + -11. Let z = 11 - 5. Let s be 38/6 + 4/z. Solve x + x + b = 0, o = -x + 3*b - s for x.
-1
Let x be 24/40 - (-3)/(-5). Solve -2*h = 2, 3*m - 5*h - 1 - 1 = x for m.
-1
Suppose 8 = 4*l - 5*f, 2*f + 3*f - 2 = -l. Solve 2*h = l*v + 2, -2*v = 3*v - 4*h + 3 for v.
1
Let j be (-18 - -3)/((-3)/2). Suppose f + 2*r = -0*f - j, f + r = -13. Let a be 6/(-21) + f/(-7). Solve 2*l = -2*k - a*l + 4, k - 2*l + 6 = 0 for k.
-2
Let x = -5 - -7. Suppose -5*n + 2 + 2 = -3*y, y - 6 = -2*n. Solve -x*p + 4 = -2*z + n, -4*z + 4 = 4*p for p.
1
Suppose 0 = -4*y - 2*m + 16, 0*y + 5*m = -4*y + 28. Solve 5*r + 18 = -0*o + 2*o, 3*o + 5*r = y for o.
4
Let z(c) = -c + 1. Let l be z(-1). Solve -5*g - 3*m + 10 = 0, 0*g - l*g + 4*m + 4 = 0 for g.
2
Let y be 270/63 + 4/(-14). Solve y*t = -5*c + 5, 0 = 4*c - 3*c + t - 2 for c.
-3
Let m = -5 + 25. Solve 2*v + 5*o - m = -3*v, -5*v + 20 = o for v.
4
Let r(t) = t - 2. Let f(j) = -5*j + 9. Let a(i) = 2*f(i) + 11*r(i). Let g be a(2). Let y be (g - -3) + 2 + 1. Solve u = y*v - 11, -3*v - 9 = -5*v - 3*u for v.
3
Let d(h) = h - 1. Let a be d(3). Suppose -a + 12 = r. Solve 3*x = 2*b - 18, 3*x - 4*b = -34 + r for x.
-4
Let n be 9/(-12) - (-69)/12. Solve y - 2*l = 3, -5*y + 24 = n*l - 6 for y.
5
Suppose -5*i + 21 = -3*k, 6*i - 11 = i - 2*k. Solve 3*t + 22 = -4*s - 3, 5*t = i*s - 3 for t.
-3
Let j be 0/((-1)/1 + 6/2). Solve l + 2 = j, -4*c - c - 5*l - 10 = 0 for c.
0
Suppose 5*p - 9 = 11. Suppose 4*h - p = -3*n + 6, h = n + 6. Solve z - 3*z - 4*d = -4, 4 = z + h*d for z.
0
Let t(n) = -n**2 - 4*n - 1. Let g be t(-2). Let i = -66 + 72. Solve -4*v = -g*u + 11 + i, 1 = 4*v + 3*u for v.
-2
Let b = 4 + 1. Solve b*s = n - 4, -2*s + 4*n - n - 12 = 0 for s.
0
Let x = -8 + 12. Suppose -1 + 13 = x*s. Suppose s*j - 3 - 3 = 0. Solve 0 = c + 2*c - 15, 3*c - 9 = j*o for o.
3
Let b(t) be the first derivative of t**3/3 - 2*t**2 + t + 2. Let z be b(4). Let w be 4*(z + (-3)/12). Solve -2*r + w*o - 9 = 0, -5*r = -3*o - o + 19 for r.
-3
Suppose 2*a = 4*d, -5*a + 20 = -0*a. Solve -d*b + 2 = -4*w, -3 = 3*b + 12 for w.
-3
Let r(t) = t - 8. Let m be r(-4). Let j(a) = -a**3 - 12*a**2 - a - 7. Let w be j(m). Solve 5*f = 2*g + 2*f - 3, g = w*f + 12 for g.
-3
Let b(s) = s + 8. Let c be b(-4). Solve 0 = 5*q - 3*g - 3, -c*q + 2*g + 1 = g for q.
0
Let g(s) be the second derivative of -s**4/12 - s**3 + s**2 + 3*s. Let u be g(-6). Solve x + 4*x + 8 = u*a, 5*x = -a + 4 for a.
4
Let j(c) = -c**3 - c**2 + c - 1. Let v be j(-2). Let a = 2 + 1. Let i be ((-3)/(0 - a))/v. Solve -h + k - 4 = 0, i = -2*h + k - 8 for h.
-5
Suppose 4*u = -5*y + 10 - 30, -5*y + 20 = -4*u. Solve -f + 3*r + 15 = -3*f, -3*f + r + 5 = y for f.
0
Suppose 3 - 5 = -d. Solve 4*n = n - 4*r + 16, -12 = -d*n - 4*r for n.
4
Let o(i) = -7*i + 0 + 6*i - 6. Let j be o(-6). Suppose -y + 2*y - 5 = j. Solve -h - y*q + 8 + 7 = 0, 2*h = -q + 3 for h.
0
Let t(y) = -2 + y - 3*y - 4. Let g(w) = -3*w + 8. Let v be g(4). Let r be t(v). Solve 0 = 2*l - a + 1, 0 = 2*l - 0*l + r*a - 2 for l.
0
Let y = -38 + 38. Solve 0 = -2*n + 4*i, -3*n + 4*i - i - 6 = y for n.
-4
Suppose -3*x + 12 = -k + 1, 2*x - 9 = -k. Suppose k + 4 = p. Solve -16 - 4 = p*q + 5*o, 0 = -5*q + 2*o + 8 for q.
0
Let g(l) = -l**3 + 7*l**2 + 3. Let k be g(7). Solve 3*i + 14 = -d, 2*d + 26 = k*d - 5*i for d.
1
Let y(q) = -q**2 + 5*q - 4. Let n be y(3). Solve 0 = -3*t + t - 4*r - 4, 0 = -5*t + n*r + 2 for t.
0
Let i = -130 + 132. Solve -4*p + 4 = 2*h - 4, 0 = -i*h + 2*p + 2 for h.
2
Suppose m = 2*m + w, 5*w + 40 = 5*m. Suppose -m = 2*p - 3*p. Solve -2*r - 3*i = 1 - p, 3 = 4*r + 3*i for r.
0
Let v(u) = u. Let s be v(10). Solve 4*j - 18 = -m, -s = -2*m - 2*j + 2 for m.
2
Suppose 9 + 11 = 5*x. Suppose 3*y - 3 = -f - 0*y, -2*f = -x*y - 26. Suppose 5*v - 1 = f. Solve -v*i - o - 5 = 0, -12 + 4 = 3*i + o for i.
-3
Let q = 30 + -26. Solve -2*v + 6 = -5*p + 24, -q*v = -3*p + 8 for v.
1
Let l(n) be the first derivative of -n**3/3 + 3*n**2 - 2*n - 1. Let m be l(5). Suppose 0 + 6 = m*f. Solve -f*x - 1 = -0*x - j, 0 = 4*j + 12 for x.
-2
Let d(i) = 10*i + 6*i + 49*i. Let h be d(1). Let k = -41 + h. Solve -2*j + 2*v = -3*v - 16, -k = 2*j + 5*v for j.
-2
Let w be 6/(-4)*32/(-6). Let h = w + -5. Suppose -h*m - 2*f + 16 = 0, -m - 2*f - f = -10. Solve -4*u + 16 = 0, 2 = -2*d + m*u - 16 for d.