e 4*a + 0*a + 12 = g for a.
-3
Let h = 1177 - 1160. Solve 0 = 9*s + 19 + h for s.
-4
Let z(c) = 11*c + 135 - 191 - 5*c. Let t be z(13). Solve -4*g = t - 2 for g.
-5
Let o(l) = 5*l**2 - 40*l - 84. Let t be o(-2). Solve 21*q = t*q for q.
0
Let w(x) = x**3 + 9*x**2 + 9*x + 8. Let p be w(-8). Let s be 2 + (-1 - p)/(-1). Let n(c) = 2*c**2 + c + 1. Let t be n(-1). Solve 4*j - t = s*j for j.
2
Let w be (9/(-6))/3*2. Let r(l) = l**3 + l**2 - l - 1. Let h be r(w). Suppose 50*y - 524 = -424. Solve -y = b - h for b.
-2
Let o = 694 + -700. Let f(y) be the third derivative of y**6/120 + y**5/12 - 7*y**4/24 - y**3/2 + y**2. Let p be f(o). Solve p = -3*r - 6 for r.
-3
Suppose 0*j + 2*j = 5*l, -27 = -l - 5*j. Suppose -5*k = l*x - 8 - 23, -x + 8 = k. Solve 0 = -k*h + h for h.
0
Let b(w) be the first derivative of 4*w + 1/2*w**2 + 4. Let r be b(12). Solve -4*d = -0*d + r for d.
-4
Let g(w) = -w**2 + 6*w - 10. Let t be g(4). Let r be ((-9)/t)/(-3)*(-216)/81. Solve 6*m - r*m = 4 for m.
2
Let y(w) = -w**3 - 13*w**2 + 14*w + 2. Let o be y(-14). Suppose -2*i + 3 = -7. Suppose -i*v + q + 56 = 3*q, -2*v + q + 17 = 0. Solve -v = -3*m + o for m.
4
Let a(f) = f**3 + 1. Let n be 1/3*3 - 7. Let y = n - -7. Let v be a(y). Solve -3*i - v = 7 for i.
-3
Suppose 4*u + 25*d - 45 = 30*d, -5 = 4*u + 5*d. Solve -u + 6 = n for n.
1
Let i = 622 + -622. Solve 2*w + w + 15 = i for w.
-5
Suppose 3*u = -m + 23, -4*m - 63*u = -67*u - 108. Solve -29 = -11*o + m for o.
5
Suppose 2*v + 3*v = 4*x - 3, 5*v - 13 = -4*x. Let f = 114 - 114. Solve f = 3*k + x*k for k.
0
Let r = 151 + -136. Solve r*c = 18*c - 3 for c.
1
Let n = -5 + -2. Let r = 7 + n. Solve r = 2*k - 5*k for k.
0
Let o(w) = -3*w**2 - 3*w + 4*w**3 + 4 + 0*w**3 - 3*w**3 + 2*w**2. Let k be o(2). Suppose k*m = -2*a + 6, 0 = -2*a - m + 6 - 3. Solve 2*y - 7 - 3 = a for y.
5
Suppose 25*y - 10*y = 90. Solve -y*q + 57 = 13*q for q.
3
Let x = 253 - 245. Solve -x = -6*g - 14 for g.
-1
Let v(g) = 23 + 0*g**2 + 19 - 3*g**2 + 22*g + 4*g**2. Let n be v(-20). Solve -5*j + 8 = -n for j.
2
Let g be (-32)/6*(-207)/276. Solve 12*w - g + 52 = 0 for w.
-4
Suppose -5*j = -2*o + 4*o + 50, -3*j - o = 29. Suppose 27*f = 28*f + 1. Let k be f*(-8)/4 - j. Solve -q = q - k for q.
5
Let p = 229 + -217. Solve 5*v - 37 = -p for v.
5
Let o = -350 - -369. Solve -o*r - 97 = -2 for r.
-5
Suppose -2*r = -5*d + 53, -41 = 14*d - 18*d + 3*r. Solve 6*f - 7 = d for f.
3
Suppose x + 2 = -2, -3*x - 72 = -4*q. Suppose 20 = a + q. Solve -9 = -2*k + a*k for k.
-3
Let k = -183 - -153. Let s = 50 + k. Solve 3*h = 8*h - s for h.
4
Let j be 1 + (-30)/(-4) + (-150)/(-100). Solve -8*h = -j*h + 6 for h.
3
Suppose -4*f = -4*z + 16, -4*f + 8 = 4*z - 6*f. Solve -4*k - 26 + 46 = z for k.
5
Suppose 2*s - 2 = -0*d + d, -10 = -4*s + 5*d. Let h = -70 + 72. Suppose 5*a - 3 = u, 0*a - 5*u - 15 = a. Solve a = -y - h - s for y.
-2
Let a be (37 - 1)*1/(-2). Let r = a - -21. Solve -7*l + r*l = -4 for l.
1
Let z(p) = 3*p + 6. Let o(n) = 4*n + 5. Let v(u) = -3*o(u) + 2*z(u). Let j be v(-2). Let g = -8 + j. Solve t = -g + 4 for t.
3
Suppose 2*i + 2*d - 5 = -d, -5*i - d = -19. Let l be ((i - (-24)/(-5))*5)/(-2). Solve l*o + 2*o = -12 for o.
-3
Let v(x) = 53*x - 400. Let n be v(8). Solve -16*h - n = -4*h for h.
-2
Let s = -9 + -20. Let d = s - -31. Solve 3*k - d*k = 0 for k.
0
Suppose -4*f = 4*w - 32, 4 = 2*w + f - 7. Let u = 0 + w. Let p(m) = -4*m**3 + 75*m**2 + 99*m + 20. Let x be p(20). Solve u*l + 12 = -x*l for l.
-4
Let c(y) be the third derivative of y**6/120 - 2*y**5/5 + 7*y**4/8 + 26*y**3/3 - y**2 - 3. Let o be c(23). Solve -5 = -o*k + k for k.
1
Suppose m = 6*m - 15. Let i(u) = -15 - 3*u**2 + 1 + m*u**2 + u**2 - 8*u. Let f be i(10). Solve 0 = 5*s + 1 - f for s.
1
Suppose -18*r = -47*r + 696. Solve 0 = -t - 7*t + r for t.
3
Let g(s) = -s**2 + 3*s + 14. Let q be g(4). Solve 4*d - 14 = -q for d.
1
Let v = -8 + 12. Suppose 0 = 6*q + 12. Let b be (-12)/3 + (2/q - -5). Solve -4*m + 0 - v = b for m.
-1
Let j(t) = t**2 - 3*t + 5. Let i be j(3). Suppose -4*s + 49 = -i*x, 3*s - 3*x - 34 + 1 = 0. Solve f = 7 - s for f.
1
Let q(t) = -3*t - 2. Let s be q(2). Let o = s + 11. Let i be o/15 - 2/10. Solve -9 = -3*x - i for x.
3
Let q(v) = 10*v**2 - v + 1. Let y be q(1). Let o be 2*(2/(-4) + 1) + -1. Solve o = 3*k + 2*k + y for k.
-2
Let f be (-32)/14 + (-2)/(-7). Let h = 6 - f. Let i = 11 + -11. Solve i = 5*g - h - 2 for g.
2
Let r = -30 + 63. Let m = r - 28. Solve 3 - m = v for v.
-2
Suppose -7*m - 27 = -4*p - 2*m, 2*m - 6 = -4*p. Solve 0 = -t + p*t for t.
0
Let b be (-75)/45 + 2/(-6) - -12. Solve -q + 45 = -b*q for q.
-5
Let s be ((-420)/(-54) - -1) + (-4)/(-18). Solve -4*o - 7 - s = 0 for o.
-4
Let f be (-2)/(-12) + 2350/300. Solve -f*x - 2*x = -20 for x.
2
Let j be ((-14)/4 - -2)/((-13)/182). Solve 10*z - 1 = -j for z.
-2
Let s = 7 + -4. Let t be (-3)/((-6)/(-10)) + (14 - 1). Solve s*c + t = -1 for c.
-3
Let k(x) = 5*x + 87. Let v be k(-12). Solve -4*q = -13*q - v for q.
-3
Suppose -5*y + q + 1 = 0, -6*y + 3*y = -2*q - 2. Solve y = -3*i + 4 + 5 for i.
3
Let f(u) = -u**2 - 6*u - 5. Let s be f(-4). Solve -5*c - s = -2*c for c.
-1
Let d(m) = 2*m - 6. Suppose -4*w + 37 = 9. Let g be (2/(-3))/(w/(-84)). Let z be d(g). Solve 0 = 4*h + h - z for h.
2
Let a(r) = r**3 + 56*r**2 + 2*r + 207. Let w be a(-56). Solve w = -19*c - 0*c for c.
-5
Suppose 4*i - 22 + 6 = 0. Let f be ((-1)/2)/((-1)/10). Let h = i + f. Solve -h + 29 = -4*p for p.
-5
Suppose -3*l = l - 4. Suppose 2*n + 1 = -l. Let y be 0/(-2)*n/2. Solve -8 = 2*a - y for a.
-4
Let x be 3/12 - 1/4. Suppose x = 5*s + 3*s. Solve w - 3*w + 8 = s for w.
4
Suppose 0 = -2*q + 2*c + 24, 5*q - c + 204 = 284. Solve 0 = 8*x - 23 - q for x.
5
Let o = -160 - -164. Solve 0 = -4*s - o*s + 32 for s.
4
Suppose -3*a = -o + 55, 2*o + 16*a = 15*a + 82. Solve -o*d + 4 = -42*d for d.
4
Suppose 0 = -3*a - 30 + 36. Suppose b = a*b - 3. Solve -z - 10 = -b*z for z.
5
Let s = -668 + 671. Solve -6 - 6 = s*g for g.
-4
Let b(v) be the second derivative of -v**3/2 + 13*v**2/2 + 10*v. Let t be b(3). Solve 3*d = d - t for d.
-2
Let c = 145 + -139. Solve -9*r = -c*r - 9 for r.
3
Let w(u) = -u**3 + 4*u**2 - 4*u + 3. Let g be w(3). Let o(n) = 215*n + 2798. Let k be o(-13). Solve -k*b = -15 - g for b.
5
Let z(u) = -9*u - 3 - 7 - 5*u**3 + 2*u**3 + 2*u**3 - 6*u**2. Let y be z(-5). Solve y = -4*q - 10 for q.
-5
Let v = 26 - 24. Let r be 57/9 - v/(-3). Suppose -2*o + r*o = 5. Solve 4*q - o + 5 = 0 for q.
-1
Let d = 10 + -3. Suppose 0 = -3*r + d*r. Solve r*c + 2 = -2*c for c.
-1
Let a(l) = l**3 - 30*l**2 - 263*l + 153. Let b be a(37). Suppose 3*g = -0*x + 2*x - 23, 3*x - 33 = 4*g. Solve -b*z + x = 22 for z.
-3
Let r be 0/(-3*2/(-6)). Suppose -o = j + 2 + 2, -2*o = -3*j + 13. Solve r = -f + j for f.
1
Suppose 11 = -15*b + 41. Let w = 10 - 6. Solve 2*r = w + b for r.
3
Suppose 0 = -10*c + 6*c + 12. Suppose 0 = c*x + 20 - 20. Solve 8*t - 4*t + 8 = x for t.
-2
Suppose 3*z - 6 = n, -6*z - 9 = -7*z - 2*n. Solve 6 = z*x - 0 for x.
2
Suppose 5*a = -3*k - 11 + 35, -k - 4*a + 15 = 0. Solve -k*f = -f + 6 for f.
-3
Let q(d) = d**2 - 29*d + 192. Let n be q(20). Solve -m - n = -5*m for m.
3
Suppose 7*y - 19 = 16. Suppose -u - y*q + 12 = 5, -q = 3*u - 7. Solve z - u = -z for z.
1
Let k(o) = o - 6. Suppose y = a + 4, -6*y = -a - y - 8. Let f be a/(-9)*(18 + 0). Let c be k(f). Solve -t - 4*t = c for t.
0
Suppose 5*o = v + 20, o - 3*v = -2*v. Solve 0 = l - 0*l - o for l.
5
Let g = -111 + 114. Let m(v) = -6*v**3 - v**2 + v - 1. Let h be m(1). Let k = -6 - h. Solve 8 + k = -g*p for p.
-3
Let l(n) = -n**3 + 8*n**2 - 13*n - 12. Let d be l(4). Solve d = -5*x + 9 + 6 for x.
3
Let v be 7 - (-12)/(-3) - 3. Suppose v*n + 5*k = 3*n - 16, 3*k + 36 = 4*n. Solve -p - n = 2*p for p.
-4
Let a be ((-2)/(-4) + 0)*0. Let t(k) be the third derivative of k**5/60 - k**4/24 + 5*k**3/6 + 50*k**2. Let m be t(a). Solve m = 2*y + 11 for y.
-3
Suppose -17*h + 17 + 170 = 0. Solve -22 = -h*z + 11 for z.
3
Suppose -i = -2*s - 3*i + 16, -s - 2*i = -11. Solve s + 1 = -3*v for v.
-2
Suppose -2*f - 8 = -3*o, -4*f = -5*o - 5*f + 22. Let u(c) = c**2 - 4. Let m be u(-3). Suppose -m*l + o*l = 0. Solve -j + 3*j = l for j.
0
Suppose -3*x - x + 3*m + 9 = 0, -x - 5*m = -8. Suppose -9 = -0*c - x*c. Solve 0 = -f - 2*f - c for f.
-1
Let c = -13 - -17. Suppose 5*