4*r - 13 = t for w.
-3
Let t(k) = 9*k**3 - k - 1. Let c be t(-1). Let p = -2 - c. Let f = p - 3. Solve f*v - g = -17, v - 6*v - 22 = -g for v.
-5
Suppose t + 15 = 4*c, -2*t = 1 - 3. Suppose -2*j - 7 = 1, 0 = -3*o + c*j + 28. Solve -o*y = 3*a + 2*a, 2*y = 4*a for a.
0
Let c be 6/11 - 588/(-132). Solve -c*x - g - 5 = g, -3*x - 29 = -4*g for x.
-3
Suppose 11*x = -54 - 23. Let b = x - -11. Solve -b*l + a = -0*a + 1, 11 = l - 4*a for l.
-1
Let p(y) = -2*y - 7. Let x be p(-5). Let i(f) = -f**2 + 21*f - 80. Let m be i(16). Suppose m = 13*a - 36 - 276. Solve 5*z + x*v - 7 = 19, -a = -5*z - 2*v for z.
4
Let m = 57 - 40. Suppose 0 = -m*h + 13*h. Solve 2*r = 5*r + g + 4, h = r - 2*g + 13 for r.
-3
Let w be ((-4)/5)/((-7)/35). Suppose 0 = w*a - 0*a. Let f(s) = s. Let x be f(a). Solve -3*o + 2*b = x, 0*o = -o + 5*b for o.
0
Let b(t) = 55*t + 182. Let v be b(-3). Solve -4*w = s - v, -s - 5*w = -2*w - 14 for s.
5
Suppose 0 = -6*v + 8*v - 12. Let o be ((-75)/v)/(2/4). Let a = -23 - o. Solve -a*c + 10 = 0, 2*t - 2*c - c = -21 for t.
-3
Let z = 579 - 571. Solve 4*v - 16 = 5*g, 8*v - 4*g = 6*v + z for v.
4
Suppose 2*o = 4 - 0. Suppose -y - 48 = 2*y. Let j be y/(-7) + o/(-7). Solve -3*v = -5*l + 2, -5*v - l + 4 = -j*l for v.
1
Let z be 27/9 - (2 - 4). Let b be ((-16)/(-6))/((-2)/(-24)*8). Solve -n = n - b*k - 16, -2 = -3*n - z*k for n.
4
Let t be 2/6 + -3*69/(-27). Let a(h) be the second derivative of h**3/6 + 6*h**2 + 3*h. Let q be a(0). Solve o + q = -4*y, 3*o = o + t for y.
-4
Let b = 226 - 226. Solve b = t - 5*y + 1, t - 3*y = -0 - 1 for t.
-1
Suppose -4*h = -2*r - r - 3, -r = -2*h + 3. Solve 2*l + 4*c + 20 = 0, -4*c - 20 = -h*l - 0*l for l.
0
Suppose -14 = 3*p - 20. Suppose -2*l = -p*w - 2, w + w + 7 = 3*l. Solve -10 + w = 2*z, -13 = -4*v + 3*z for v.
1
Let n = -9 + 3. Let t be 2 - 3 - n/2. Suppose -2*u - h + 8 = 0, 3*u - 4*h = 25 - t. Solve -4*f + v - 14 = -4, 0 = -u*v - 10 for f.
-3
Let q = -101 - -101. Suppose 3*a - 4*y - 26 = q, 3*a - y + 4*y = 12. Solve 8*s - 3*s = -25, 0 = -4*v + 2*s + a for v.
-1
Let a be (10 + -12)*(-2 + 7). Let m(c) = -c - 5. Let r be m(a). Solve -3*x = -r*z - 15, 3*z = -0*z - 3*x + 15 for z.
0
Let p(a) = 15*a - 5. Let u be p(2). Suppose u*z + 6 = 28*z. Solve -2*m + z*x - 10 = -0*m, -x + 5 = m for m.
0
Suppose 7*n = 5*n - 50. Let v = -23 - n. Solve 4*a + z = -0*z + 13, -2 = -v*a - 2*z for a.
4
Let d(l) = -129*l - 2176. Let m be d(-17). Let w = -5 - -9. Solve m = -j - 4*q, q - 6*q - 13 = w*j for j.
3
Suppose 5 = t - 22*n + 21*n, -5*n = -5. Solve 0 = f - 2*d + d + 6, 2*d + t = -4*f for f.
-3
Suppose -266 = 222*i - 241*i. Solve 0 = -2*k + 3*d + 9, -10*k + 13*k - i = 5*d for k.
3
Let m be (-1 + -1)*13/2. Let h = 161 + -148. Let q = m + h. Solve i - 3 = 4*y - q*y, 4*i = -4*y + 12 for i.
3
Suppose 0 = -4*r + r + 45. Suppose -4*v = -47 + r. Let j = v + -8. Solve -3*l + 2*x - 7*x = -37, 2*l - 2*x + 2 = j for l.
4
Let h = 28 + -20. Let l be 0*((-10)/h)/(-5). Let f(i) = -i**2 + i + 4. Let s be f(0). Solve 3*w + l - 5 = 4*v, 3*v = s*w - 9 for v.
1
Let i be (-60)/(-40)*(-1 + 5/3). Suppose 4*k - 33 = -t, 2*k = 2*t + 5 - i. Solve 0 = 2*r + 2, 4*v - 4*r - 1 = -k*r for v.
1
Suppose 0 = -14*l + 57 - 1. Solve 0*x = 4*i - 2*x, -5*i = -l*x - 3 for i.
-1
Let s = 1729 - 1725. Solve 2*x - 4 - 6 = 0, s*x - 25 = a for a.
-5
Let x be 0/1 - -14 - (7 - 13). Solve -w + x = 4*o, 8 = -2*o + 21*w - 17*w for o.
4
Suppose 4*b - 60 = -0*b. Suppose -4*s = -5*x - b, 5*x = 5*s - 2*s - 10. Solve -g = 2*a - 3 - s, 3*a - 12 = 4*g for g.
0
Suppose -3*x - 5*i = -4*i - 49, 5*x = -4*i + 84. Let n be (4 - (-2)/2) + 0. Suppose -u = -n*u + x. Solve 5*t = -u*d - 6 + 3, -3*t + 4*d - 21 = 0 for t.
-3
Let x = 31 + -24. Suppose 98 = 5*j - 2*n, 3*n + 4 - x = 0. Solve 0 = 4*h - 2*s + j, 1 + 5 = -h + s for h.
-4
Suppose 5*i - 4*d + 12 = 0, d - 6*d = -15. Let g = -21 + 24. Suppose -g*q = -2*q + 5*q. Solve 5*m + q*z + z + 11 = i, 5*m + 4*z - 1 = 0 for m.
-3
Suppose 0 = 4*s + 4*q + 204, 4*q - 2 = 2*q. Let m = 52 + s. Solve y = -5*p - 18, -p - 4*y + 6*y - 8 = m for p.
-4
Suppose -55 = -16*p - 7. Solve 2*k + w = -10, p*k - 4*k - 5 = -5*w for k.
-5
Suppose 2*u = -15 + 23, -s + 9 = u. Solve -s*o = 2*q - 1 + 6, 0 = 3*o - 3 for q.
-5
Let n(v) = -v**3 - 2*v**2 - 2*v - 1. Let k = 1 + 1. Suppose 4 = k*j - 6*j. Let r be n(j). Solve f + r*o = -5*o - 22, -3*f = -o + 2 for f.
-2
Suppose -3 = -q - 3*n, 1 = -3*q - 2*n + 3*n. Suppose -3*g + 6 = -q*g. Solve -5*l - x - 17 = 0, -14 = -0*l + g*l - 2*x for l.
-4
Let g(c) = 6*c + 2. Let k be g(1). Suppose -k*s = -2*s - 18. Solve 5*d = -q - 17, -19 = s*d - q - 4 for d.
-4
Suppose -14*i = 244 - 286. Solve -i*k = -6, 3*k - 10 = u - 7 for u.
3
Suppose 4*s - 4 = b - 6*b, -2 = 4*b - 2*s. Solve -z + b = -3*v + 10, 4*v + 4 = -3*z for z.
-4
Let k = -22 + 25. Let q = 5 - k. Solve 18 = -5*j - 4*m, 6*j - q*j + m = -10 for j.
-2
Suppose 5 = 2*d - 3. Let m = -174 + 174. Solve -n - d*c - 24 = m, -2*n + 4*c = -0*c - 12 for n.
-4
Suppose -5*j + 2*z + 15 = 0, -j + 0*j + 5*z + 3 = 0. Suppose 12 = 3*s - j. Solve -3*o + 17 = -s*a - o, -2*o = -2*a - 8 for a.
-3
Suppose -14*u = 10*u. Solve 4*z = -2*b - 30, u = -3*b + 3*z - 0*z for b.
-5
Let m(w) = w**3 - 10*w**2 + 26*w - 11. Let t be m(6). Solve 0 = -q + t, 2*a + 2*q = 6*q - 6 for a.
-1
Let k(d) = -22*d**2 + 6*d + 5. Let f(q) = q**2 + q + 1. Let j(i) = 3*f(i) - k(i). Let x be j(-1). Solve 3*h + h = t - 1, -5*t + x = h for t.
5
Suppose 6*o = 11*o - 20. Suppose -2*i - i + 29 = 4*h, 2*i = -o*h + 26. Solve -17 = -h*m - 3*y + 2*y, 4*y - 14 = -2*m for m.
3
Let p = -758 + 760. Solve -2*a + 3*a + 23 = -5*t, 4*a = -p*t - 2 for t.
-5
Suppose -2*v + 4*s + 4 = 8*s, 3*v = s + 6. Suppose -7*t = -v*t - 65. Solve -b + 10 = -5*y, 4*y - 4*b + 11 = -t for y.
-1
Let j(g) = -2 + 33*g - 13*g - 7*g - 14*g. Suppose -5*m + 4*m = 4. Let t be j(m). Solve -5*o + o = t*v - 10, 4*v - 2*o - 10 = 0 for v.
3
Suppose 4*q - 68 = -28. Suppose q*h = 2*h + 160. Solve l = n - 4, -3*l = -7*l - 5*n + h for l.
0
Suppose 2*j + v + 10 = 4*j, 0 = -j + 5*v - 4. Let u(w) = -4*w + 4. Let s be u(4). Let x be 150/9 + (-4)/s. Solve -h - j = 3*c, -1 = 3*c + 5*h + x for c.
-1
Let k(h) = h - 10. Let i be k(12). Let z be i/6 + (-10)/(-6). Suppose -z = 3*p - 14. Solve 2*m = p*g - 18, 5*g - 2*m - 20 = -0*m for g.
2
Let p be (-6)/(-27) + 4/(-18). Let k = 2 + p. Solve -1 + 16 = 3*x, 4*x = -k*t + 28 for t.
4
Let v(b) = b**3 - 6*b**2 - 35*b - 28. Let t be v(10). Solve -w + 3*w - 5*i - 15 = 0, -3*i = 5*w - t for w.
5
Let s be 16/(-12)*351/(-156). Solve 8 = j - 4*y - y, s*j - 12 = 3*y for j.
3
Let l(y) = y. Suppose i + a - 3*a - 1 = 0, 2*i - 3*a = 7. Let h = 13 - i. Let z be l(h). Solve -c + 4*q + 18 = 1, z*c = 3*q + 9 for c.
-3
Suppose 150 = 51*t - 156. Solve 1 = m, -5*c - 3*m = -t*m - 17 for c.
4
Suppose -4*m + 6*x + 60 = 2*x, 0 = -3*m - 4*x + 17. Let l = 7 + -5. Solve -l*k + m = -f - 0*k, -f = k + 2 for f.
-5
Suppose -6 = -3*q + 2*x - 16, -5*q + 25 = 5*x. Solve 4*r = 2*b + 14, -5*b + b + r + 7 = q for b.
3
Suppose 3*o + 4*g = -10, -3*g = -4*o + 14 + 6. Solve 3*l + 1 = -v, l + v - o*v + 3 = 0 for l.
-1
Let y = -10 - -14. Solve 4*r = 4, 4*r + 2 = -y*z - 10 for z.
-4
Suppose 16 + 12 = 4*l. Let t = -89 - -89. Solve -4*s + 4*a = l - 27, -2*s - 5*a - 11 = t for s.
2
Suppose 38*y - 154 - 36 = 0. Solve f + 3*f + 13 = -y*z, -5*f + 5 = 2*z for f.
3
Let l(f) = f**3 + f**2 + 2*f + 2. Let k be l(0). Solve -3*d + d - k*z + 6 = 0, 0 = -z for d.
3
Let v = -1753 + 1754. Solve 19 + v = 4*r - 3*b, -r + b = -5 for r.
5
Let s(g) be the first derivative of -g**4/4 - 8*g**3/3 + g**2/2 + 9*g - 9. Let h be s(-8). Solve 4*q + 7 = -b, 0 = b + 2*b + q - h for b.
1
Suppose q - 16 = 5*q. Let g(c) = -c**2 - 3*c + 5. Let v be g(q). Solve 2*t = -j + 1 + 1, t - v = -3*j for j.
0
Let z be (-18)/4*70/(-105). Solve 2*x + 12 = -4*y, -5*y - 5*x + z*x - 15 = 0 for y.
-3
Suppose 15 = 4*c - 3*c - 5*r, 2*r - 16 = -4*c. Solve -5*y = 5*w, 2*w + 18 = w + c*y for w.
-3
Let i(l) = l**2 - 16*l - 34. Let t be i(-2). Solve 2*c - 5*x = 23, -3*c - t*x = 2*x for c.
4
Let g(h) = h**3 + 5*h**2 + 3*h + 1. Let f(r) = -r**2 - 8*r + 5. Let l be f(-9). Let b be g(l). Solve -b = u + 2*y, 20 = -4*u - 2*y + 3*y for u.
-5
Let o(b) = -3*b**3 - 17*b**2 + 8*b + 27. Let p be o(-6). Solve -2*h - 9 = -3*n - 3, -h + p = 3*n for h.
3
Suppose 9 = b - 14. Suppos