r = 4*f + 5*m + 41 for f.
-4
Let z be (-31)/(-2) - (-1)/2. Let x be 22/55 - (-18)/5. Suppose -x*p = p - 60. Solve v = -4*r - z, p = -4*r - 3*v + v for r.
-5
Let a be 8/6*162/72. Solve -15 = -5*m, 2*y - y = m - a for y.
0
Let d be 8/92 + 6303/253. Solve 0 = 5*y + 4*x + x - d, -5*x = 4*y - 21 for y.
4
Let o = 10 + -11. Let z(t) = -t - 2. Let s be z(o). Let l be -7 + 7 - (s + 1). Solve l*n - 5*n + 10 = i, -n + 23 = -4*i for i.
-5
Suppose -5*l - 56 = -3*n + 8, 44 = 3*n - l. Suppose -8*t + 8 = -24. Suppose -q = 5*d - 25, 3*q + t*d - 10 = 2*d. Solve x + 17 = -5*c, -c - n = -q*x + 5*x for c.
-3
Suppose 0 = 7*f - 436 + 464. Let b = -6 - -4. Let i be f/b - (-3 - 0). Solve 0 = -4*t + i*k - 22, -5 = -4*t - 2*k - 13 for t.
-3
Let n = 1266 - 1263. Solve -19 = -5*v + 10*g - 11*g, n*v = -3*g + 21 for v.
3
Let x = 191 - 185. Solve -12 = -4*a, -6 = -3*f - 4*a + x*a for f.
4
Let d be 8544/(-204) + (-4)/34. Let v be (-138)/d + 2/(-7). Solve q + 1 - 3 = -i, 0 = v*q - i - 18 for q.
5
Suppose 7*q - 12*q - 155 = 0. Let x = q + 71. Solve -4*c = 3*s - 5, 3*c + 0*s - x = 5*s for c.
5
Let m = -11 - -13. Let i be 54/10 + m/(-5). Solve 20 = x + 5*j + 50, -i*j = 25 for x.
-5
Suppose -1 = -3*z + 14. Suppose -5*o + 5*l + 40 = -o, 0 = -2*l - 8. Suppose -r + w - 2 + 3 = 0, r + 3*w = o. Solve z = -r*n + h, -3*n - 3*h = -2*n + 6 for n.
-3
Let f = -32 - -15. Let y = 20 + f. Solve 3*i - 2*x - 7 = 0, y*i = -0*i + x + 2 for i.
-1
Let i(u) = -2*u**2 - 8*u + 6 + 3*u**2 + 0*u + 0*u. Let k be i(5). Let w = 11 + k. Solve -q - w*d - 5 = 0, -d = 2*q + d for q.
5
Suppose -2*u + 4*u - n + 35 = 0, 5*u + 5*n + 95 = 0. Let p(x) = -2*x - 34. Let y be p(u). Solve 5*f + y*i = 3*f - 6, -3*f - 5*i = 5 for f.
-5
Let f = 350 - 344. Solve -p - f = -w, -7 = 3*p - p - w for p.
-1
Let f(a) = a**3 + 10 - 9*a - 7*a**2 + 3*a**3 - 3*a**3. Let y = -12 - -20. Let d be f(y). Solve -4*r - 4 = 4*b - 12, d*r = 3*b + 19 for r.
5
Let b(t) = -t**3 - 8*t**2 - 3*t - 12. Suppose -4*o - 8 = 24. Let d be b(o). Solve -5*v - 19 = f, 4*f = -d - 4 for v.
-3
Let r be (-4)/24 + (-886)/12. Let p = r + 104. Let t = 3 + 2. Solve 3*c = -t*g + p, g - 4*c + 8 = -3*g for g.
3
Let g = 104 + -72. Suppose -p - 9 = -2*p - 2*h, 0 = h - 2. Suppose 63 = 8*b + 15. Solve 2*z - 3*w = -b, p*w + 0*w = -4*z + g for z.
3
Let x be 2/(-3 - (-65)/21). Let n be (1 - 4/2) + 4. Solve 3*b + 6 = 0, n = -5*c + 4*b + x for c.
2
Let a(c) = -5*c**2 + 36*c + 35. Let j be a(8). Solve 0 = 3*r + j*y - 10 - 2, y = 1 for r.
3
Let w = -3 - -7. Suppose w*l = -t - 39, -2*t - 3*t - 25 = 3*l. Let q = l + 15. Solve c - 3*c + o = q, 4*o - 4 = 0 for c.
-2
Suppose 55 = 11*x - 0*x. Let d be 2 + -3 + -4 + 9. Solve -x = 3*k + r, -2*k + d*r - 25 = k for k.
-3
Suppose -t + 3 - 1 = 0, -3*t = -5*f + 214. Suppose -f = -5*m - 19. Solve 4*a + 4*y = -12 - 0, -m*a = 4*y + 13 for a.
-1
Let l(c) = -3*c - 4. Let o be l(-3). Suppose 5*w = -o*g, 4*w + 5 = -3*g - 0. Let k be g/1 + (6 - 5). Solve -4*q - 4*z + 24 = 0, q - k*q + 26 = z for q.
5
Let i(m) = m**2 + 3*m + 3. Suppose 0 = -5*o - 9 - 1. Let j be i(o). Let r be j + (2 - 2) - -2. Solve 2 = 3*p - 2*f + r, 5*f - 10 = 0 for p.
1
Let k = -16 + 30. Let p be 116/k + 26/(-91). Let q(x) = -x**3 + 7*x**2 + 7*x + 10. Let t be q(p). Solve 3*l + 9 = -2*u, u - 6 = -0*l + t*l for l.
-3
Suppose 11*o - 19*o = -48. Solve d - 2*g = o*d + 15, 0 = 2*g + 10 for d.
-1
Let u(l) = -l**3 + l**2 + 2*l + 2. Let g be u(-1). Let b(i) = 3*i**2 + i + 2. Let n be b(g). Solve -2 = a, -3*x + 5*a + n = -5*x for x.
-3
Let d be 140/42 + (-4)/(-6). Suppose d*n - 18 = -3*k, -5*k + 0*k - 2*n + 16 = 0. Solve 13 = k*h - j, 4*j + 6 + 31 = 5*h for h.
5
Suppose -5*r + 201 = -174. Let u be 15/r - (-24)/5. Solve -q + 0*q - 2 = -l, 13 = -4*q + u*l for q.
3
Let f(x) = x + 4. Let s be 0 - 2 - (2 + 0). Let k be f(s). Let u = -168 - -171. Solve k = -i + l + u, 4*i - i = -3*l + 3 for i.
2
Let p(i) = -7*i**2 - 111*i + 23. Let r be p(-16). Solve 4*z + 2*t - 12 = 0, z + 12*t = 14*t - r for z.
1
Let t(z) = z**2 + 10*z + 26. Let g be t(-7). Suppose g*k = k + 8*k. Solve k = -i + 6*i - 5*r - 20, -r + 5 = 2*i for i.
3
Let n = -108 + 94. Let c(k) = -k**2 - 18*k - 31. Let r be c(n). Solve 3*m - r = 4*m - 5*u, -5*m - 4*u = 9 for m.
-5
Let x(p) = -p**2 - 4. Let z(q) = -10 + 1 + 3*q - 2*q - 2*q**2. Let v(j) = -5*x(j) + 2*z(j). Let i be v(-3). Solve -i*c + 4*c + 3*r - 9 = 0, c - 23 = -5*r for c.
3
Let x(u) be the first derivative of u**4/4 - 23*u**3/3 - 32. Let a be x(23). Solve 5*t + a*t - 27 = 3*c, 4*c + 4 = -4*t for t.
3
Suppose 3*a = 5*k + 3 + 18, -2*a + 2*k = -10. Solve -5*g - a*x - 12 = 5, 2*x = 8 for g.
-5
Let y(m) = 7*m**2 - 4*m - 4. Let x be y(-3). Let b = -67 + x. Solve b*j + 4*i = 4, 4*i - 2 = -2*j + 5*i for j.
1
Let n(d) = d**2 + 57*d - 550. Let p be n(9). Solve 4*o + c = -15, o + p - 14 = 5*c for o.
-5
Let t = -110 - -115. Solve 0 = b - 5*j + 12 + t, 4*b + 14 = 2*j for b.
-2
Let a(z) = 2*z**2 + 24*z - 7. Let s be a(-12). Let g(l) = l**2 + 8*l + 7. Let i be g(s). Solve t - 5*k = -k - 8, i = 2*k - 2 for t.
-4
Suppose -g + 2 = 3, 3*g = -3*l + 9. Suppose -s + l = 2. Solve s*d + 1 = 3*x, -2*x = -4*d + x + 1 for d.
1
Let u = -288 + 293. Solve 8*h = -5*i + 3*h + 20, -u*i + 14 = 3*h for i.
1
Suppose 28 = 4*o + 2*j + 14, 5*j - 11 = 2*o. Suppose -6*q + 30 = -3*q. Solve w + 2 + 8 = 5*h, -o*w + 5*h - q = 0 for w.
0
Let t = 20 + -14. Suppose 0 = -3*m - 5*r + 18 - t, 4 = m - 4*r. Solve 5 = s, -4*q + 11 = -q + m*s for q.
-3
Let k(t) = -18*t - 31. Let c be k(-2). Solve -b + 5*x = 3*x + 8, b - c*x + 23 = 0 for b.
2
Let t(m) = 2*m - 31. Suppose -61 = -5*s - 2*b + 32, 3*s = b + 47. Let h be t(s). Solve v + h*q = 5, 4*q = -q for v.
5
Suppose 130 = 54*g + 11*g. Solve 0*m + 5*x = m - 23, -2 = -g*m - x for m.
3
Let g be 0 + 6/6 - (-1 - 1). Suppose 0*s + 3 = s. Suppose -s*f - l + 17 = 0, 2*l - 27 = -3*f - l. Solve g*y = -4*d - 20, f*y - 3 - 2 = d for y.
0
Suppose -2*n = 5*m - 12, 0 = -2*m + 5*n + 20 + 8. Solve 9 + m = -5*t + 4*h, -2*t - 5*h = 25 for t.
-5
Let r(h) = -52*h + 429. Let a be r(8). Solve f + 0*c + c = 1, 0 = -3*f + c - a for f.
-3
Let f(o) = -2*o + 3*o + 13 + 13*o**2 + 64*o**3 - 63*o**3. Let h be f(-13). Solve -i = -3*w + 6*w + 12, h = 3*i for w.
-4
Suppose 2*m - 4 = 0, 27*r - 166 = 23*r + 5*m. Let g = 12 - -1. Suppose g*w - 9*w = r. Solve k - 2*b = 6, -b = 5*k + w + 14 for k.
-4
Let z be (2*-1)/(-7 - -8). Let m be (-30)/(-14) + z - (-34)/7. Solve -a + 2 = -2*a + x, 24 = 2*a + m*x for a.
2
Suppose 0 = 4*x + 7 - 35. Suppose -22 - 13 = -x*d. Solve -5*k - 30 = d*j, -3*j + 3*k - 7 = -1 for j.
-4
Let v be 137/27 - (7740/(-486) - -16). Solve -5*r - 11 = 4*x, 2*x - 2*r - v = 3*x for x.
1
Suppose 107 + 28 = 15*v. Solve -3*h - v = -5*b + b, -4*h + b = -1 for h.
1
Suppose 4*y - 8 = -4*d - 24, 2*y + d + 4 = 0. Let w(s) = s**3 - 11*s**2 + 10*s + 3. Let t be w(10). Solve -4 = -4*j, y*x - x + 3*j - t = 0 for x.
0
Suppose -9*k + 37 + 8 = 0. Solve -3*o = -2*r - 5, -k = r - 4*r + 2*o for r.
5
Suppose -2*d + 7*d = 10. Suppose -5*x + 2 = 3*c - d, -3*x - 28 = -2*c. Solve o + 0*o + 2*g = -c, -2*o - 18 = 5*g for o.
-4
Let u = -81 + 89. Let k be (4/u)/(2/(-36)*-3). Solve -8 = -o + 5*n + 22, k*o - 4*n - 35 = 0 for o.
5
Suppose -977 + 1113 = 8*x. Solve m = 5*s - 13, 0*m + m + 5*s = x for m.
2
Let l(d) = -35*d + 460. Let m be l(13). Solve 17*h - 18*h = 5*f - 7, h - m*f = -3 for h.
2
Let m be (1/(-2))/((-2)/20). Suppose -4*o - o = m*v, -o + v = -10. Suppose x + 7 = 3*i, 2*i + o = 3*x - 2. Solve g = 3*j + 8, 10 = i*g + j - 2*j for g.
2
Let i(r) = -2*r**2 - 5*r + 3. Let a be i(-4). Let f = a + 14. Suppose -5*n + 30 = 4*c, 4*n + 4*c - 27 = 1. Solve 0 = f*y - b + 27, 4 = -3*y + n*b - 15 for y.
-5
Let b be 13*(0 + 1 + (-7 - -7)). Suppose 4*y = p + b, 7 + 3 = 5*y + 5*p. Solve -y*c - 18 = -4*i, 4*c + c = 4*i - 22 for i.
3
Let w be (-28)/20 + (-4)/(-10). Let h be (-6 + 4 - -3) + w. Suppose 5*q - 2*l = 30, -5*q = -0*q + 4*l. Solve h*x = 4*t - q*x, -3*x = -t - 8 for t.
4
Suppose 5*m - 5*h = -9*h + 133, -4*m - h + 102 = 0. Solve -5*f - c - m = -6*c, 0 = -2*f - 5*c - 10 for f.
-5
Let z = 550 - 546. Solve -16 - 1 = -c - z*b, 3*c = 2*b - 19 for c.
-3
Suppose 102 = 5*j - 3. Let b = -17 + j. Suppose 0 = 3*x - b*x + 16. Solve 0 = -z - 5*c - 20, -1 + x = -2*z - 5*c for z.
5
Suppose 23*w = 21*w. Suppose w = g - 3 - 0. Solve -24 = -g*n + 3*m, -