= 5*t, 0 = w*t - 3*z + d for t.
-3
Suppose 5 = 4*r + p, -3*p - 3 = 33*r - 30*r. Solve -3*u + 4*k - 37 = r*u, u = -4*k + 7 for u.
-5
Let u be ((-13)/4 + 3)*-8. Let t be u*(6 + -4) + 0. Solve -t*v = 5*j - 15, v - 2*j + 6 = 3*v for v.
0
Let x be (-8)/(-6) - (-121)/(-363). Solve x = -n, 7*j - n + 7 = 3*j for j.
-2
Suppose -168 = -17*x - 67*x. Solve -x*z - 2*z = 5*y + 22, y - 2*z = 4 for y.
-2
Let l be ((-16)/(-36))/(12/54). Solve 3*o = 3*d + o + 2, -8 = -l*d - o for d.
2
Suppose 8*u + 19 = 12*u - s, -5*s - 5 = -2*u. Solve -u*n - 10 = -h, 4*n - 6*n - 21 = 3*h for h.
-5
Let h be (11/(-33))/(1/(-129)). Suppose 2*a - 3*n - h - 8 = 0, 0 = -3*a + 3*n + 72. Solve 0 = -t + x + 4, 0*x = 4*t + x - a for t.
5
Let t be (-3)/(-2)*(-16)/(-3). Suppose -2*v + 11*v = -t*v. Suppose 3*j + 4 = 5*j. Solve -j*i + 2*x + x + 8 = v, 3*x - 8 = -2*i for i.
4
Suppose -11*t + 22 = -22. Suppose -5*c = 5*d + 1 - 6, -1 = d. Suppose 4 = 5*k - t*y, -24 = -c*k - 5*y + y. Solve 0*l + l + 4*g = -k, -2*g = 2*l + 8 for l.
-4
Suppose 0 = 3*j - 3*f - 45, -2*f - 79 = -5*j + 2*f. Let v(x) = -x**2 + 27*x + 68. Let h be v(29). Solve 5*b + j = 2*o, 5*b + 4*o + h = 3 for b.
-3
Suppose -6*q + 122 = -52. Let v = -23 + q. Solve -3*l - 4*o + 16 = 0, o - v*o = -3*l - 20 for l.
0
Let a = -37 + 40. Suppose -21 + 9 = -a*g. Solve 0 = g*o + 3*y + 21 - 3, 4*y = 2*o - 2 for o.
-3
Let u be (1/(-9))/((-10)/75)*42. Solve -5 = -2*f + 3*w, -3*f = -w + 5*w + u for f.
-5
Suppose 7*y - b - 23 = 2*y, 10 = 4*y - 5*b. Suppose -5*t = f - 7, -2*t + f + y = -t. Solve -2*a - 10 = 4*c, -t*a - 2*c = -4*a + 14 for a.
3
Let x(t) = -9*t + 1. Suppose 3*j = -j. Let q(m) = m**3 - m**2 - 3. Let f be q(j). Let w be x(f). Solve 0 = d - 4*p + 5 + 14, -4*d - w = -4*p for d.
-3
Let c be (-84)/(-462) + 20/11. Solve c*i = 3*d + 15, 5*d - 5*i + 0 = -25 for d.
-5
Let o(q) = 1 - q + 4 - 6. Let a be o(-1). Suppose a = -4*v + v. Solve v = 3*j + 9, -5*j + 6 = -3*k - 2*j for k.
-5
Suppose d + d = 5*t - 5, 2*d - 4 = 2*t. Suppose 6 + 19 = d*p. Solve 0 = -p*x + u - 1 + 5, -2*x - u = 4 for x.
0
Suppose 3*a + 22 = 4*f + 51, a = -f - 2. Solve -a*m + 3*n = -0*n - 3, 0 = -2*m + 3*n for m.
3
Let k be (16/6)/((-2)/(-36)). Let a be 35*(k/(-15))/2. Let q = a - -82. Solve 2*g - q = -4*i, 0*i - 12 = 2*i - 4*g for i.
4
Let s = -33 - -42. Suppose 5*w = -10, 3*r - s - 5 = -2*w. Solve 4*a - 3*t - r = -t, 5*a = 3*t + 7 for a.
2
Suppose 4*v = -v. Suppose 8*w - 1 - 15 = v. Solve w*o + 3*o = 5*x + 5, 4*o = -2*x + 28 for x.
4
Suppose 16*x = 161 - 113. Solve u + 8*y - 3*y + 12 = 0, 2*u = x*y + 2 for u.
-2
Suppose 5*z = -25, 5*i = -z + 3 + 2. Solve -5*y - 8 = -3*y - i*t, -2*y = 2*t - 4 for y.
-1
Suppose 90 = 15*d + 45. Suppose -c + 45 = 2*c. Solve 0 = 4*u - 2*s - 6, c = d*u - s + 3*s for u.
3
Let u be (-1*3/(-5))/((-24)/(-120)). Solve 12 = -3*f - 3*j, -4*j = u*f + j + 20 for f.
0
Let i be 2/((-3)/36*-8). Solve -3*p + 11 = -h, h + 5*p - 2 = i for h.
-5
Let y(j) = -j**3 + 5*j + 3. Let a be y(-3). Suppose 5*h = -0*h + a. Solve -4*c - l - 9 = 0, -h*l = -5*c + 4 + 6 for c.
-1
Suppose -56 = -z - 5*g, -3*z - g + 117 = -3*g. Let c = -37 + z. Solve 5*t - 2*o + 10 = -3*o, 0 = -c*o for t.
-2
Let i(f) = 4*f**2 - 26*f + 25. Let k be i(1). Solve -3*q - 3*o + 14 = 2*q, k*q - o = 14 for q.
4
Let z be (342/(-22))/(-3) + 2/(-11). Suppose 0*l = z*w + 5*l + 10, -w - 3*l = 12. Solve 4*f + 8 = -2*g - 6, 5*g = -w*f for g.
3
Let o = 26 - 17. Suppose -o*i + 6*i = -12. Suppose 0 = 3*c - 5*u - 10, -3*u - 32 = -i*c - u. Solve 2*n + 3*b = c, 0*n = 3*n + 4*b - 13 for n.
-1
Suppose 4*o + 37 = z, 3*o - o + 167 = 5*z. Let c = z - 16. Solve -5*d - c = -2*x, d - x + 4 = 3 for d.
-5
Let d be -4*((-21)/6 - -3). Suppose -d*o - 2 = -8. Solve -o*x - 2*c = -0*c + 12, 3*x = -5*c - 21 for x.
-2
Suppose -4 = 4*w - y + 3, 3*w - 11 = 4*y. Let r be 469/21 - 2/w. Suppose 3*o - 9 = -d, -3*d - 4 + r = 5*o. Solve -u - 4*x = 12, u + 5*x = o*u - 24 for u.
4
Let t(z) = -8*z - 1. Let l be t(-5). Let s = l + -27. Solve 2*m + 24 + 0 = 4*j, s = -3*m for j.
4
Suppose -5*k + 15 = 5. Suppose -19 = 4*q + 3*v - k*v, -17 = 3*q - 2*v. Let b be (-32)/80 + (-2)/q. Solve 5*y - 2*t + 21 = 0, 3*t - 9 + 0 = b for y.
-3
Let i be (-6)/(-7) + (-1816)/(-1589). Solve 5*x + 1 - 7 = -3*s, -3*x = -i*s + 4 for s.
2
Suppose 684 = 9*m + 48*m. Solve -4*j + m = -2*s, s = 4*j - 4*s - 12 for j.
3
Let f = 6 + -4. Let h be 1 - (-3)/2*f. Suppose z - h = 2. Solve -20 = -4*k - 2*t, -5*k + 4*k - t = -z for k.
4
Let x be (-92)/(-14) - (6 - 38/7). Let k be (6 - 40/6)*x/(-2). Solve -k - 8 = -v + c, v - 2*c - 15 = 0 for v.
5
Let p(a) = -a**3 + 5*a**2 + a - 1. Let g(z) = 5*z**2 + z - 1. Let j be g(1). Let u be p(j). Solve 3*d + 1 = -s - 1, -u*d - 4 = 2*s for s.
-2
Let w = 48 - 45. Solve 0 = -3*z - w*l - 6, 5*z - 4*l = 16 + 10 for z.
2
Suppose -4*r + 3*s + 2 = 0, -r - 5*s + 0 = -12. Let u be (3 + 21/(-6))/(13/(-52)). Solve 0*n + 16 = -2*n + u*a, 3*n - 1 = -r*a for n.
-3
Suppose -6 = -9*o + 3. Let s be 6/(-6) + o*5. Solve t = s*n - 19, -3*n - n + 15 = -5*t for t.
1
Suppose 7*z - 11*z - 16 = 0. Let p be 14 + -15 + (z - -2 - -11). Solve -3*x + 4*u = -10, -2*x - 2*u = -u + p for x.
-2
Let i = 28 - 21. Suppose -2*f = -13 + i. Solve f*u - u + 4*v - 28 = 0, -4*u - 3*v + 31 = 0 for u.
4
Let v be -3 - (-15)/(-30)*(-14 + 0). Solve -o + 3*j = 2*o - 27, -j + 16 = v*o for o.
5
Let l be (-5)/10 + 5/2. Let j(u) = -u**2 - 6*u + 2. Let t be j(-5). Suppose -l*z - 30 = -t*z. Solve -4*w + 28 - 4 = 4*d, -3*w = -d - z for d.
3
Suppose 108*l = 119*l - 22. Solve -4*m + m = l*h - 17, 4*m = -3*h + 23 for h.
1
Let q = -137 - -137. Solve q = -h - 2*x - 1, -2*h = -h - x - 8 for h.
5
Let o = -562 - -564. Solve -o*k - 3 = -k, c = 4*k + 12 for c.
0
Let c(y) = y**2 - 3*y + 4. Let s be c(0). Suppose -3*u - 14 = -s*u. Solve z + 4*h + u = -z, 13 = -z - 4*h for z.
-1
Let d(b) = -3*b**2 + 13*b + 2. Let k(v) = 2*v**2 - 9*v - 1. Let f(z) = 5*d(z) + 7*k(z). Let r be f(3). Solve o + 2*m + 3 = r, -m + 2 = o + 1 for o.
5
Suppose -29 = -5*n - 4*o, -4*o = -0*o - 4. Solve -1 = -4*m + n*k, -k + 6*k = 5*m for m.
-1
Let o(p) = -17*p + 71. Let r be o(4). Solve r*j = n + 4 - 1, -3*j = -3*n + 3 for n.
3
Let q(g) = -g**2 + g + 7. Let m be q(3). Suppose -3*y + m = -8. Suppose y = 2*t - 5. Solve -3*c = t*n - 2, c - 4*c - 12 = -3*n for c.
-2
Let j(v) = -7*v + 145. Let n be j(20). Solve u + 4 = 3*h, n*u = 2*h - 0 + 6 for h.
2
Let q = -1 - -15. Let a = -12 + q. Suppose -4*z + 2*u = -74 - 8, z - 23 = -2*u. Solve o + 4*y = -z, 3*y - 2*y = -a*o - 14 for o.
-5
Let z(j) = -j**2 + 15*j + 104. Let u be z(20). Solve o + 5 = 6*o, -u*a + 4*o = 0 for a.
1
Suppose l = 3*l - 66. Let j = l - 29. Solve -5*r - j = -4*z, 0 = -z + 1 for r.
0
Suppose -2*m - 24*k + 28*k = -6, 2*k = -m + 7. Solve 2*g = -5*t + 18, m*g + 6*t = 2*t + 11 for g.
-1
Let u(o) = -o**3 - o**2 - 4*o - 8. Let x be u(-2). Solve 5*r - 8 = 4*v, 4*v = x*r - 9 + 1 for r.
0
Suppose -2*f + 31 = 3*f - 2*a, 10 = 5*a. Suppose -o = -0*o - f. Suppose -o*u + 18 = -3. Solve -u*x - s + 4 = 0, -3*s + 1 = 4*x - 6 for x.
1
Let z(x) = 17 + 27 + 5*x**2 - 6*x - 34 - x**3. Let i be z(4). Suppose -5*h = i*t - 41, 0 = -3*t + 3*h + 2 + 7. Solve -4*p + t = 3*k - 0, -4*k - 2 = -p for p.
2
Suppose -59 = 5*g - 174. Let b be 5 + -6 - (-6 + 2). Suppose 1 - 4 = -h - b*c, 2*h = -c + 6. Solve 3*u + u = -w + g, -h*w + 9 = 0 for u.
5
Let h(c) = 2*c**3 + 13*c**2 - 4*c + 26. Let v be h(-7). Suppose -s = -2*s + 3. Let b be 3*(-1 - (-5)/s). Solve t - b = i, -v*t - 4*i = -3 - 7 for t.
2
Suppose 4*l + 2*y - 24 = -l, 2*y = 5*l - 16. Suppose 4*i + 90 = -10. Let d = i - -29. Solve 4*u = u - 3*c - 12, d*c + l = 0 for u.
-3
Let d(m) = -m**3 - 66*m**2 + 68*m + 68. Let u be d(-67). Solve 4*v = -2*h + 6, -v + 0*h + u = h for v.
2
Let g be ((-12)/10)/((-1)/(-5)). Let f = -1 - g. Suppose -f*c + 5*d + 12 = d, -12 = -4*c + 4*d. Solve -2*x + b - 1 = 2*x, c = x - 3*b + 3 for x.
0
Let y(t) = -t - 9. Let p be y(-11). Suppose 2*l + w = -p*w - 16, -2*l = -w. Let q be (l - -1)*(-2 + 2). Solve -i + 6*c - 5*c + 2 = q, -2*i - 4 = 2*c for i.
0
Let f(k) = k**2 - 6*k - 12. Let j be f(9). Suppose 2*z - z = 4*p + j, 4*p = 5*z - 27. Solve -3*y = -z*l, -y - 4*l = 4*y - 27 for y.
3
Let m(l) be the third derivative of l**5/20 - l**4/24 + l**2 - 12*l. Let i be m(-1). Solve -k - i*j - 12 = -3*k, -2*k = -2*j - 4 for k.
-2
Suppose -37 = -2