 - c = 4*g for g.
-3
Suppose m - 13 = 2*f - 7*f, 0 = -m + 3. Solve x + 9 = -f*x for x.
-3
Suppose 3*v + 3*o = 24, -v + o = -0*v - 4. Solve -v*q = -7*q - 5 for q.
-5
Suppose -252 = 31*u - 43*u. Solve 9*g - u = -12*g for g.
1
Suppose -v - 1 = r - 6, 0 = -4*r - 5*v + 18. Suppose -2*c + 31 = 5*o, -5*c - 9 = -4*o - 4. Solve 0 = c*w + r + 2 for w.
-3
Let k(g) = -2*g - 7. Let j be k(-5). Let v(a) = -a**3 + 4*a**2 + 12*a - 9. Let p be v(5). Suppose p = 3*w - 22. Solve -j*n = -7 + w for n.
-3
Let k be -7*(-24)/(-252)*(-30)/4. Let j = 3 - -1. Solve j*r = -k - 3 for r.
-2
Let p(n) = -n**3 + 8*n**2 - 3*n - 3. Let l be p(4). Let s = l - 43. Solve -s*i = -i + 10 for i.
-2
Suppose -70 = 104*z - 111*z. Solve 3*m - z*m = -35 for m.
5
Suppose -3 = 5*b - 18. Suppose b*t - 6 = -3. Suppose -11 = -6*s + t. Solve -i = -0*i - s for i.
2
Let p = -11 + 11. Suppose -23 = -5*j + l, p*j + 4*j = 3*l + 14. Solve j = -2*w + w for w.
-5
Let z(o) = -o**2 - 27*o - 54. Let i be z(-25). Let y(q) = -q**3 - 2*q**2 + 7*q - 2. Let k be y(i). Solve -k*m - 9 + 1 = 0 for m.
-4
Let a = -5 + 21. Let s = 19 - a. Suppose 2*x - 60 = -s*x. Solve 5*d = -x + 2 for d.
-2
Let x = 13 - 8. Let w be 21 - (-21 + 23 + 0 + 3). Solve c = x*c + w for c.
-4
Let u(q) = -3*q + 2. Let p be u(-1). Suppose -p*w - 45 = -8*w. Suppose c + w = 4*c. Solve c*v = 1 - 6 for v.
-1
Suppose 4 = -5*i + 24. Suppose -i*u - 2*u = 0. Solve u*o = -4*o - 4 for o.
-1
Suppose -6 = -7*d + d. Solve -9*l - d = -8*l for l.
-1
Suppose -2*i = 5*n + 208, -4*n + 2*n - 2*i - 82 = 0. Let m be 12/n*(-14)/4. Solve v + m = 2 for v.
1
Let o(h) = -40*h + 3. Let k be o(0). Solve 4*z = 3 - k for z.
0
Let k(x) = -x**3 + x**2 + 2*x + 4. Let y be k(0). Suppose -4*a = -12 + y. Solve 0 = 2*w + a*w - 20 for w.
5
Let l be -25 + 26 + 6 + 1. Solve l = -0*d + 4*d for d.
2
Let o = -19 - -19. Solve o*f = 4*f - 20 for f.
5
Let k(c) = 3*c**2 + 2*c - 24. Let r be k(3). Solve 0 = -6*h + r + 3 for h.
2
Let d be (-2)/(-27)*-3 + (-4184)/(-36). Let n = 134 - d. Solve 5*v - n - 2 = 0 for v.
4
Let a = -854 - -875. Solve -2*w - 5*w = a for w.
-3
Let a(h) = -10*h - 154. Let o be a(-16). Solve 0 = 6*n - 4*n - o for n.
3
Let x(s) = -s + 3. Let t be x(6). Let w = 3 + t. Let k be (w/(-1))/(-1 - 1). Solve k*u - 3 = u for u.
-3
Let s(x) = 14*x + 3. Let m be s(2). Let g = m - 22. Solve -3*h + 3 - g = 0 for h.
-2
Let i be ((-78)/(-9))/(5 - (-78)/(-18)). Solve i*n - n = 0 for n.
0
Let h be ((-105)/(-14) + -7)*(-1 - -1). Solve 6*j = -h - 12 for j.
-2
Suppose -w = 4*c - 27, 3*c - 15 - 11 = 5*w. Solve -3*t - 5 = c for t.
-4
Let u be ((40/(-15))/(-8))/(5/60). Solve -u*k - 15 = -7*k for k.
5
Suppose 24*y - 16 = 152. Solve 17 = 2*s + y for s.
5
Let j be 3*2 - ((-144)/16 + 11). Solve -10*v = -j*v - 18 for v.
3
Suppose 3*a - 62 = -4*q + 21, 2*a - 52 = -2*q. Let t be (-6)/(-10) + a/15 + -2. Solve -3 = d - t for d.
-3
Let x = -21 + 9. Let a = 14 + x. Let d(w) = w**2 - 4*w + 3. Let y be d(3). Solve y = 3*m + 4 + a for m.
-2
Suppose -p + 4*w = -96, 156 = 5*p + 3*w - 232. Solve -84*j + p*j = 0 for j.
0
Suppose -4*d + 42 = -2*f, 3*d - 3*f - 21 = -5*f. Let j be 1/(-4 + d/2). Solve s - j = 3*s for s.
-1
Let q = -29 - -35. Suppose 4*z + 6 = q*z. Solve 5 - 20 = z*l for l.
-5
Let d(t) = -9*t + 1. Let h be d(-1). Suppose -9*r + 145 = h. Solve -r = -2*i - 3*i for i.
3
Let k = -37 - 91. Let p be (-8)/(k/324) - (-1)/(-4). Solve 10*l - 6*l = p for l.
5
Let g(p) = p**3 + 42*p**2 + 153*p + 47. Let u be g(-38). Solve -u*r - 89 = -98 for r.
1
Suppose 3*y - 15 = 0, -2*y + 110 = a + 3*a. Let s = 32 - a. Suppose 2*k = 5*v - 8, -v + s = v + 3*k. Solve v - 10 = 2*w for w.
-4
Let b(g) = -11*g - 40. Let i be b(-5). Solve 2*l = -l - i for l.
-5
Let c(a) = -a**2 - 10*a - 8. Suppose x - 30 = 6*x. Let j be c(x). Suppose 4*o + 3*f - j = 7, -f + 9 = 2*o. Solve y = o*y - 4 for y.
4
Let t(x) = x**3 - x**2 - 60*x + 10. Let h be t(-7). Solve -34*n - 20 = -h*n for n.
5
Let h = -209 + 211. Solve 2 + h = 2*p for p.
2
Suppose 0 = -5*l - g + 31 + 42, -4*g = -3*l + 30. Let i be (-6)/(-21) + 0 + 80/14. Solve 4*j = -l - i for j.
-5
Suppose 37 = l - 44. Suppose -a - l = -86. Solve -4*k = -3*k + a for k.
-5
Let u(d) = 4*d - 1. Let i be u(1). Suppose -i*q = q - 12. Suppose 5*k + 22 = 3*t, 6 = t - q*k - 4. Solve 10 + 6 = t*g for g.
4
Suppose 4*t + 17 = 5*c - 2*c, 2*c - 10 = 2*t. Suppose 0 = -c*f + 2*f. Solve f = -p + 3*p for p.
0
Suppose 0 = -2*c + 8*c - c. Solve -5*f + c*f + 20 = 0 for f.
4
Let h(d) = -d**2 - 2*d + 12. Let c be h(-4). Suppose 13 = c*o - 19. Solve 3*l = 2 - o for l.
-2
Let c(k) = -3*k - 3. Let s be c(-2). Let m = 9 - s. Let y = m + -2. Solve -y*o - 20 = o for o.
-4
Let x be (18/24)/(2/8). Suppose 3*z - 7 - 2 = -2*q, 2*q + x = z. Suppose 5*f = q, c + 15 = 2*c - 3*f. Solve 0 = -2*j + 5*j - c for j.
5
Let u be (9 - 1) + (200/5)/(-5). Solve 6*p = -2*p - u*p for p.
0
Let i be ((-39)/(-26))/((-3)/8). Let l be -1*(i - -4)/(-4). Let u(n) = -n + 1. Let r be u(-3). Solve l*s + r = -s for s.
-4
Let h(g) be the third derivative of g**5/10 - g**4/24 - 6*g**2. Let u be h(1). Let i = 5 - u. Solve i*q = 2*q - 8 for q.
4
Suppose 4*u - 33 = u. Solve -u = -5*j + 9 for j.
4
Let k(p) = 2*p - 2. Let u be k(-3). Let h = 9 + u. Let f be (-1 - 0)*(-2)/h. Solve 0*q = q + f for q.
-2
Let k = -7 + 17. Suppose 29*u = -x + 27*u + 7, -4*x = 2*u - 16. Solve 5*y - k = x*y for y.
5
Let a(j) = j**2 + 2*j - 7. Let r be a(0). Let t be (r + 1)/(-2) - -2. Solve -t = 3*q - 20 for q.
5
Let y be -7 + 54/(30/5). Suppose 2*t = i + 4 - 3, -12 = t - 3*i. Solve 0 = -y*c - t - 3 for c.
-3
Suppose -3*k + 39 = -30. Let m = k - 18. Solve m*c = 11 + 14 for c.
5
Let a = -108 + 123. Solve -10*m + a*m = -25 for m.
-5
Suppose 2*t = 2*m + 28 - 94, t + 144 = 4*m. Solve -m*u + 32*u = 20 for u.
-4
Let f = 11 + -6. Suppose -5*n - 13 = 4*c + 4, 4*c + 3*n + 7 = 0. Solve c*x = f*x for x.
0
Let q = -729 + 731. Solve -t = -2*t + q for t.
2
Let d(q) = -4 - 5*q + 8*q + 5. Let l be d(-6). Let n = l + 17. Solve c + 4 = -n*c for c.
-4
Let r = 1558 + -1545. Solve -r*p = -12*p + 5 for p.
-5
Suppose 22 + 54 = 19*k. Solve k = -j + 3 for j.
-1
Let l(r) be the second derivative of -r**3/6 + 19*r**2/2 - 3*r. Let t(b) = 2*b**3 - 3*b**2 + 2*b. Let g be t(2). Let o be l(g). Solve 4 = 3*i - o for i.
5
Let m = 0 - 7. Let y = -7 - m. Let z = -44 + 47. Solve y = -z*j + 9 for j.
3
Let p(u) = -2*u**2 - 7*u + 169. Let b be p(-11). Suppose o = 3, -w - 5*o + 21 + 3 = 0. Solve 1 = b*x + w for x.
-2
Suppose 3*j - 4 = j. Let u = 4 - j. Let p = 35 - 25. Solve 0 = -u*q - 0*q + p for q.
5
Suppose 2*w + 3*w - 4*o - 45 = 0, 0 = 2*w - o - 21. Solve 2*m - w = -7 for m.
3
Let n(c) be the second derivative of 5*c**3/6 - 49*c**2/2 - 15*c. Let l be n(11). Solve p = -2*p - l for p.
-2
Let a be 3*(1 - 20/15) + 5. Solve 0 = -a*x - 0*x - 20 for x.
-5
Let z be -5*3/30*-6. Solve -z*m + 4*m - 2 = 0 for m.
2
Let m(i) = -13*i**3 - 2*i**2 + 1. Let d be m(-1). Suppose -8*q = -d*q - 20. Let c be (12/(-5))/(1/q). Solve 0*k = -3*k + c for k.
4
Let n(r) = -3*r - 5. Let y be n(-5). Let h = 10 + -8. Suppose h*i = i + y. Solve 6*q - i = 4*q for q.
5
Let r(o) = 22*o + 9*o**2 - 11*o**2 - 11*o - 5. Let t be r(5). Suppose -1 - 7 = -2*g. Solve t - 8 = -g*x for x.
2
Let b(k) = k**2 + 18*k + 3. Let u be b(-18). Let o be (12/10)/(u/10). Solve o*m = 6*m + 2 for m.
-1
Let l(u) = 3*u - 10. Let o be l(3). Let x be -6 - (2/(-1) + o) - -8. Let f(h) = -h**3 - 5*h**2 + h + 5. Let k be f(-5). Solve k*s + 20 = -x*s for s.
-4
Suppose -21 = -g + 5*l, l - 49 = -3*g + 2*l. Let c = -12 + g. Solve 6*b - c*b = -10 for b.
-5
Let m be (3/(-6))/(5/(-10)). Let j = -62 + 94. Let b be 120/j - m/(-4). Solve b - 1 = -y for y.
-3
Let v = 49 - 72. Let r = 24 + v. Solve -o = -3 - r for o.
4
Let z(a) = 3*a**3 - 5*a**2 + 2*a - 4. Let c(g) = g**3 - 8*g**2 + 14*g + 7. Let i be c(5). Let o be z(i). Solve -o*b + 20 = 8 for b.
3
Suppose -2*s + 3*w = -0*s + 11, 4*w - 4 = 0. Let x be -5*(-2 + 5 + s). Solve x = 3*p - 2*p for p.
5
Let g = -537 - -544. Solve 13 + 8 = g*s for s.
3
Suppose -2*v - y + 2 = 0, 4*v - 2*y + 8 = 4. Solve -d + 8*d - 7 = v for d.
1
Suppose 27*b - 29*b + 46 = 0. Suppose -b*h + 32*h = 36. Solve -5 - h = -3*x for x.
3
Let q be 63/(-14)*(-2 + 6). Let g = 23 + q. Solve g = -3*t + 4*t for t.
5
Suppose f + 2*m = 7 - 2, -4*m + 22 = -2*f. Let v be 1/(3/(f/(-1))). S