-2*t + 2*v = 0, -v = 5*t - 7 - 23. Solve -2*p = -t*c + 2, -c - 2*c - 4 = 4*p for p.
-1
Let q be ((-10)/15)/((-3)/9). Suppose -u - q*u = -4*k + 44, -4*k + 44 = -5*u. Suppose 6*f = k*f. Solve f = 2*t - 5*a + 11, -a - a + 11 = -3*t for t.
-3
Suppose -6*m + 3*m + 30 = 5*w, 0 = -w - 5*m + 28. Solve -5*a - 16 = t, 0 = -2*a + w*t - 0 - 3 for a.
-3
Suppose -3*x + 15 = -5*p, 5 = 2*p - 3*x + 2. Let b be 3/(-2)*(-8)/p. Let v be (0 + b - -1)*-5. Solve v*c + a = -a - 12, 4*c = -2*a - 10 for c.
-2
Let f(t) = 2*t**2 + 14*t - 3. Let v(s) = -s**2 + 1. Let l(h) = -f(h) - v(h). Let r be l(-14). Solve 4*d + 14 = -r*i, 0*d + 4 = -2*i + d for i.
-3
Suppose -16 + 28 = 4*c. Solve y + c*t = 6, 0*y - y + 4*t = 15 for y.
-3
Let v(f) = 4*f - 10. Let i be v(-5). Let g be (8 - 2)*(-20)/i. Solve w - g*t = 6 + 12, 4*w - 28 = 5*t for w.
2
Let y = -1631 - -1635. Solve 3*n - 17 = -3*x + y, 4*n - 24 = -3*x for n.
3
Suppose 3*v - 5*f - 31 = 0, 41 - 8 = 4*v - 5*f. Solve -4*r + 6 = j, 17 = v*r + 5*j + 5 for r.
1
Let g be -10*3/(-6)*1. Solve m = 2*n + g, 3*n - 5*m = 2*n + 11 for n.
-4
Let m(b) = -34*b - 380. Let q be m(-12). Solve q = 4*h + 5*c, 12 = -2*c + 5*c for h.
2
Let b be (10 + -11)*(-1 - (-3)/(-3)). Solve 2*x = -b*m, 3*x + 10*m - 8 = 5*m for x.
-4
Suppose -3*p = -3*z, 4*p + 15 = 5*z + 2*p. Solve 5*y - 3 = -r, -y + z*r + 13 - 2 = 0 for y.
1
Let t = -17 - -18. Let x(i) = -4*i - 3 + 3 - i**3 + 5*i**2 - t. Let o be x(3). Solve 3*k + z = o*z - 20, 0 = 4*k + 4*z - 20 for k.
0
Let o be (3 + 0)/6 - (-40)/(-80). Solve o = -3*c + b - 10, -2*c - 5 = -b + 2 for c.
-3
Let l = -90 + 39. Let o = 19 + l. Let d = 49 + o. Solve 3*f + a = d, 2*f - 6 = a + a for f.
5
Let o(n) = 2*n + 44. Let z be o(-19). Let k(g) = g**2 - 3*g - 14. Let q be k(z). Solve q = 2*s + 2*s + 2*f, 0 = s - 5*f - 12 for s.
2
Let c(z) = z**3 - 3*z**2 + 3*z - 7. Let m be c(3). Suppose -m*g + 21 - 9 = 0. Solve u - 1 = 3*x + 3, 2*u - 5*x - g = 0 for u.
-2
Suppose 4*i + 2*a = 2, 137*i = 138*i + 3*a + 12. Solve -i*q + 7 = -2*l, -3*l + 4*q - 8 = -0*l for l.
4
Let a(r) = 3*r - 12. Let b be a(5). Suppose 5*f - 20 = 2*i, -13 = -f + b*i + 4. Solve 5*x + 0*x - 20 = -5*o, o + f*x - 9 = 0 for o.
-1
Let d = 70 - 140. Let b = 73 + d. Let n be 8/(-36) - 20/(-9). Solve -6*z + 2 = -n*z + 2*p, z - b = -3*p for z.
0
Let w(p) = p**2 - p + 23. Suppose 2*r - 3 = 3*m, 0 = -4*r - r - 3*m - 3. Let f be w(r). Solve -x - 18 = -3*c, -1 - f = -3*c + 3*x for c.
5
Let c be (6/18)/(9/81). Solve -4*f + 14 = -c*i + i, -5*i - 5*f = -10 for i.
-1
Let m be (-4)/60*-3 - (-38)/10. Let p(j) = j**2 - 5*j + 4. Let c be p(4). Let g = c + m. Solve 4*o + 5*h = -8, -4*o + g*h = -o - 25 for o.
3
Let v(b) = -4*b + 12. Let j be v(7). Let d be (-40)/j - 1/2. Let o be (-1)/d + 30/4. Solve 2*w - 2*s + o = s, -4*w + 2*s = 10 for w.
-2
Suppose 4*m - 32 = 3*k, -2*k = 18*m - 13*m - 17. Solve 4*z + 0*w - m*w = -17, -2*z - w - 5 = 0 for z.
-3
Let o be 2*(4 - (-36)/(-8)). Let s be (-11)/(-77) - (o/1)/(-7). Solve s = -0*q - 4*q - 5*w, -2*q - 3*w = 0 for q.
0
Let c be 88/(-66)*(-6)/1. Solve 0 = -3*i + 3*p, -i = -4*p - 4 - c for i.
-4
Let p(b) = b**2 + b + 10. Let l be p(4). Solve 5*f + 2*n - l = 0, f + 3*n = -n + 24 for f.
4
Let w(d) = -d**3 + 6*d**2 + 2*d - 12. Let z be w(6). Solve 0 = -k - z*k + 2*s + 5, -5*s = 2*k + 35 for k.
-5
Suppose -28 = -7*h + 3*h. Suppose -h*k = -10*k + 15. Solve -d = f - 2, -4*f + 0*d = k*d - 7 for f.
3
Let s be 39/9 + (-1)/3. Suppose -s*y + 42 = 5*w, -2*w + 3*y - y = -6. Suppose w*u - 2*u = 8. Solve 2*l = 5*q + 11, -u*l - 19 = 5*q - 0*q for l.
-2
Let s be 2/(-1*(-6)/111). Let b = s + -35. Solve 0 = -b*l - 3*q + 14, -3*q = -2*l - q - 6 for l.
1
Suppose -o = 2*o + 4*m - 15, -2*o = -m - 21. Let n be (-4)/3 - (-66)/o. Let h be 84/7*2/n. Solve -h*b + 17 = -f, -2*f + 5*b - 19 = -0 for f.
3
Let r = -29 - -43. Solve -s + 2*q + r = 0, -s + q + 3*q = -24 for s.
4
Suppose 0 = -h + 15 + 5. Let q = h - 18. Solve a = q*x + 1, 4*a - a = x - 12 for a.
-5
Let q = -86 + 92. Let o(x) = -x**3 + 21*x**2 + 22*x + 4. Let y be o(22). Solve 5*u - 25 = -q*b + b, -3*u = -y*b + 20 for b.
5
Let o = 45 + -36. Let g(c) = -15*c + 0*c**2 - o*c**2 - c**3 - 12 - 6*c**2. Let y be g(-14). Solve -16 = -3*d - y*x, -2*x + 0*x + 8 = d for d.
4
Suppose 40 = 120*z - 118*z. Solve h + 5 = -q + 3*h, 0 = 4*q - 3*h + z for q.
-5
Suppose 3*m = -4*k + 19, 0*m + 3*m = 4*k - 13. Solve 3*t + u = -18, k*t - u = -21 + 4 for t.
-5
Let o be 3 + 25 + (-1 - -1). Suppose k - 5*i - 45 = 6*k, 0 = -2*k - 4*i - o. Let z = -1 - k. Solve w = -s + z, 4*w - 5 = 4*s + 23 for s.
-2
Suppose -7*j + 3*j = -8. Let a = -43 - -46. Let v = -1 - -4. Solve -a*n + 4 = d, j*d - 1 - v = -2*n for n.
1
Let c = -8 + -1. Let b(k) = -8*k - 4*k**2 + 3*k**2 - 5 + 8 + 9. Let m be b(c). Solve m*p = 5*o + 5, -5*p - 21 = -o - 0*o for o.
-4
Let v = 142 + -130. Suppose 5*y + 4*k - k - 20 = 0, 0 = -3*y - 2*k + v. Solve 4*t + y = 5*u, 2*u + 5*t + 7 = 2 for u.
0
Let h be 0 - 1/((-3)/3). Let z(r) = -r**3 + 6*r**2 - 2*r - 11. Let w be z(7). Let a = w + 74. Solve -h = -y + p, -y + a*p - 4*p = -21 for y.
5
Suppose 50 = 3*t - 2*o + 4*o, -t - 6 = -5*o. Suppose -11*p - 6 = -t*p. Solve 5*d = 2*j - 0*j - 12, p*j - 3*d = 8 for j.
1
Let z be (12 + -31 - -16)*(0 + -2). Let x(l) = l - 6. Let a be x(6). Solve 5*d - z*f + 3*f - 5 = a, -4*d + 3*f + 4 = 0 for d.
1
Let s = -53 + 86. Let q = -10 - -13. Suppose -9 = -q*y + s. Solve 2*z - 2*g = -10, -2*z + y = -4*z + 4*g for z.
-3
Suppose 2*g + 5*k = 33, -2*k + 38 = 28. Let z(u) = -u**3 + 4*u**2 + 5*u + 2. Let y be z(5). Solve 17 + 5 = -g*t - y*a, -4*t - 31 = 5*a for t.
-4
Suppose -5*x = -4*u - 36, -5*x - 3*u + 4 = -x. Solve 0 = 2*a - 3*o - 1, 32 = 4*a + x*o for a.
5
Let b(l) be the first derivative of 2 - 5*l + 7/3*l**3 + 1/4*l**4 - l**2. Let v be b(-7). Solve 3*m = -v - 6, -m - 8 = -3*r for r.
1
Let f be -10 + (630/6)/7. Solve j - 5*b = 3*j - 11, -3*j + f*b = -4 for j.
3
Suppose 0 = -y - 1 + 5. Suppose h = -y*h + 20. Let b be 8 + 10/15*-6. Solve -k + h = -b*f, k = -k - 3*f - 3 for k.
0
Let l(t) = -t**3 + 3*t**2 - t + 5. Let q(a) = -a + 2*a + 9 - 2. Let i be q(-4). Let u be l(i). Solve 3*x - 8 = u*o - 2, -o = 3 for x.
0
Let h be 19 - (-1 - 1)*(4 + -2). Suppose 0*m + 15 = 5*m. Solve -3*t + 5*v + m = 2, 5*t + h = -4*v for t.
-3
Suppose 1 = -25*b + 51. Solve 0 = -5*c + 20, 2*d + b*d = -5*c + 20 for d.
0
Let f = -713 + 718. Solve f*i - 3*s + 33 = s, 5*s = -i + 5 for i.
-5
Let n(o) = -5*o - 23. Suppose 2*q - 5*f = -35, -3 - 2 = -f. Let c be n(q). Solve -5 = 5*b, c*y + 8 = y - 5*b for y.
-3
Let i = 124 + -118. Let s = 4 + -2. Let j = i - s. Solve 0 = -3*r + j*n - 13, 4*r + 2*n + n = -9 for r.
-3
Let s be 0 + (-16)/4 - (0 - 43). Suppose -16*n + s = -9. Solve -15 = 4*b + c, 21 = -n*b + c + 1 for b.
-5
Let l = 3 + -3. Let m = -42 - -56. Let r be (-4 - 0)/(m/(-35)). Solve -r = -2*q + 4*q, l = -t + 3*q + 17 for t.
2
Suppose -2*c = -75*c. Solve 5*m - 4 = 3*m + 2*u, 5*m + 3*u + 14 = c for m.
-1
Suppose 4*m = -4*k + 24, -m = -3*m + k + 3. Solve -3*t - 2*t - 5*v + 5 = 0, 4*t + 3*v = m for t.
0
Let v be 4 - ((1 - 0) + -1). Suppose 0 = -13*q + 8*q + 15. Solve q*i + 2*x - v*x - 10 = 0, 6 = -3*x for i.
2
Suppose -2*x = 3 + 15. Let l be (-3 - -2)*-1 - (x + 3). Solve -1 + 9 = -4*b + 2*u, 3*b - 2*u = -l for b.
-1
Let h = 88 + -84. Solve -3*z + 2*j + h = 6*j, j - 1 = -z for z.
0
Let i be (28/3)/(7/(-21)). Let t be (-2)/(-4) + i/(-8). Suppose 0 = 2*q - 2*s - 0*s - 2, 3*q = t*s + 4. Solve -4*v + 16 = q, -4*v + 4 = -h - 14 for h.
-2
Suppose 3*u + 3 = -c, -5*c + 11 = -0*c + 2*u. Solve c*g = 2*n + 21, 3*n + 24 = g + 2*g for g.
5
Suppose 4*t - 1 - 15 = 0. Solve 4*x + x = -t*k + 5, -2*k - 3 = -3*x for k.
0
Let t(s) = 2*s - 4. Let w be t(2). Suppose 2*o - 7 + 3 = w. Solve -3*l - 4*n = -18, -9 = -o*n - n for l.
2
Let g(m) = -2*m + 7. Let p be g(5). Let i be 4/(p + 4/1). Let x(v) = v**2 - 4*v + 4. Let f be x(i). Solve -2*s = -5*s + 4*u + 22, 26 = 5*s - f*u for s.
2
Let r be (-20)/(-6)*(-36)/(-30). Suppose -4*g - 2*l + 6*l = -r, -5*g - 5*l + 5 = 0. Let p be g/(3 - 53/18). Solve -4*b = s - p - 2, s + 3*b - 15 = 0 for s.
0
Suppose -5*v = 4*s, -2*s + v - 4 = -18. Solve 3*q + 35 = 5*j - j, 4*q + 5*j = s for q.
-5
Suppose -13*l + 9*l + 40 = 0. Let b = l + -10. Solve 4*x + 3*z - 16 = 5*z, b = 2*z for x.
4
Let l = -8 - -13. Let i be (1 - (-116)/(-8))*2. L