 = -z + a*z for z.
0
Let n = -3 - -8. Suppose -4*y + 4*v + 4 = 0, 11 = n*y - 4*v + 4. Suppose 2*h - 9 = -3*s + y*h, s + 3*h - 3 = 0. Solve -10 = 2*z + s*z for z.
-2
Suppose -2*l + 12 = z, 2*z - 35*l + 12 = -30*l. Solve 2 = -z*d + 6 for d.
1
Suppose 2*f = 5 + 5. Suppose 3*k = -f - 25. Let n(v) = v + 22. Let p be n(k). Solve -r + p = -4*r for r.
-4
Let z(s) be the first derivative of 0*s + 7/2*s**2 + 1 + 2/3*s**3. Let f be z(-5). Solve f = 2*u + 3*u for u.
3
Let m = 1411 + -1382. Solve -1 = 6*t + m for t.
-5
Suppose 0 = s - 0 - 3. Suppose -y - s = 3*i, -4 = 5*y + 2*i - 2. Solve 3*l + 8 + 1 = y for l.
-3
Let x(q) = -q**3 - 3*q**2 + 15*q - 12. Let r be x(-6). Solve -7*b + r*b + 3 = 0 for b.
3
Suppose -3*t - m + 8 = -7, 4*t = 3*m + 33. Solve -t*k + 8*k = -6 for k.
-3
Let f(k) = 3*k**2 - 35*k + 25. Let b be f(11). Solve 7*c - 10*c = b for c.
-1
Let m be 40/(-10) - (-39)/1. Let l = m - 30. Solve -l = -2*u - 3*u for u.
1
Suppose -5*g = -3*o - 236, -4*g + 5*g = 3*o + 40. Solve 45*n - g*n = 12 for n.
-3
Let r(s) = -s**3 + 3*s**2 + 2*s - 3. Let n be r(3). Suppose -n*l + 10*l - 35 = 0. Solve l*c + 2 = 4*c for c.
-2
Let r be (0 - -5)/((-30)/(-24)). Solve 0 = -w - 3 + r for w.
1
Suppose 0 = 3*k - 4*h - 4, 3*k + 13*h = 11*h + 16. Solve 0 = w + 6 - k for w.
-2
Let t(u) be the third derivative of 0 + 2/3*u**3 - 1/20*u**5 + 0*u + 5*u**2 - 1/120*u**6 + 0*u**4. Let f be t(-2). Solve f = y - 6*y - 25 for y.
-5
Let n be ((-4)/5)/(2/(-5)). Solve 0 = 4*d - 6 - n for d.
2
Suppose -4*x = -x - 2*s - 27, 0 = -2*x - 4*s + 34. Let y = x + -11. Let q be (-4)/(-2) + (0 - 0). Solve r = -y - q for r.
-2
Let u(c) be the first derivative of -2*c**2 + c + 4. Let x be u(-1). Solve 1 + 4 = -x*f for f.
-1
Suppose r + 16 = 4*c, -5*r - 42 = 3*c - 8. Let j(w) = -3*w - 9. Let g be j(r). Solve -2*h = 3*h - g for h.
3
Suppose -2*a = -9 - 19. Suppose 0 = -2*d + 4*w, 4*d + 0*w + 2*w - 10 = 0. Solve -a = 4*p + d for p.
-4
Let k(f) = 2*f - 19. Let o be k(6). Let u = 20 + o. Suppose 0 = -5*q - 3*t + u, -4*q - q = -3*t - 7. Solve 3*g = g + q for g.
1
Let q(a) = a**3 + 13*a**2 - 71*a - 39. Let v be q(-17). Solve 8*g = -v + 44 for g.
4
Let g(p) = p**3 - 13*p**2 + 13*p - 7. Let h be g(12). Suppose 3*i = 4*i + 4*x, 4*x - 16 = -h*i. Solve -5*k = -i*k for k.
0
Let s(x) = -x**3 - 3*x**2 - 3*x. Let w be s(-2). Suppose w*z = -i + 2*i + 6, 5*i + 14 = 2*z. Solve k - z = -6 for k.
-4
Suppose -3*u = -6*u + 393. Let r = 133 - u. Solve 2*q + 4 - r = 0 for q.
-1
Suppose q - 3*n = -1, q + 20 = 3*q + 5*n. Suppose 5*f + 40 = -0*i + 5*i, 0 = -2*i - q*f - 12. Solve -1 = -i*l + 3 for l.
1
Let f = 13 + -16. Let r be f - 1 - -2 - -4. Suppose -5*g = 5*o + 11 - 1, -o = -r*g + 8. Solve -g*u + u = 3 for u.
-3
Let d be (-2 + -2*(-4)/6)*-36. Suppose 0*o - d = -5*n - 4*o, 2*o + 48 = 5*n. Solve v - n = -3 for v.
5
Suppose 0 = i + 3*n - 5, 7*i - 3*n + 29 = 11*i. Solve i*u = 3*u + 25 for u.
5
Let v(l) = -l**2 + 2*l + 3. Let d be v(-2). Let m be (-4 - 21/(-7))/(1/d). Solve 15 = m*u - 5 for u.
4
Let v be 42/9*(32 + -29). Solve -12*s = -v*s - 10 for s.
-5
Let t = 3 - 6. Let y = t - -8. Suppose -4*g - 27 = -y*d, -d + 24 = 2*d - 5*g. Solve -w = d*w for w.
0
Suppose 0 = -5*t + 3*k - 50, 2*t - 4*k = 3*t + 10. Let m be 14 + (16/t - 18/45). Solve -4 - m = 4*s for s.
-4
Suppose 21 = -69*m + 76*m. Solve m*k + 15 = 6*k for k.
5
Let y be (-1 - -6)/(-5) - -4. Suppose -45 = -5*w - 2*i, y*w + w - 49 = i. Solve -5*p = w - 36 for p.
5
Suppose -5*i = -2*c - 38 - 4, 4*c - 26 = -i. Solve i = -5*s + 35 for s.
5
Suppose 0 = 4*i - 20, -2*i = 5*o - 4*i + 355. Let q = -54 - o. Solve 2*d - q = -3*d for d.
3
Let h(w) = -6*w - 1. Let p be h(-1). Suppose -10 = -p*r + 20. Suppose 0 = -3*q + 2*j + 2*j + 46, -5*q = -3*j - 62. Solve -r*a + a = q for a.
-2
Suppose z - w + 1 = 0, z + 2*z - w = 3. Suppose -3*n - 65 = -z*i, 2*i + 0*i + 2*n = 90. Suppose 2*a = b - 0*b + 14, -4*b = 4*a - i. Solve -4*f - a = -0 for f.
-2
Suppose t + 45 = 3*h, 2*h - 4*t + 11 = 31. Solve -12*o = -8 - h for o.
2
Let q(l) be the first derivative of -l**2 + 14*l + 20. Let b be q(7). Solve b*z = -3*z + 12 for z.
4
Let q be (-3)/(9/(-3))*7. Suppose 0 = t - 2*t + 3. Suppose 5*y - 25 = 0, 0*y - 6 = p - t*y. Solve -4*u + q*u = -p for u.
-3
Let x(p) be the second derivative of -1/12*p**4 - 5/6*p**3 + 8*p - 1/2*p**2 + 0. Let y be x(-4). Solve 3 = -3*a - y for a.
-2
Let p = 102 - 77. Solve 4*f + p = 9*f for f.
5
Let v(s) = s**3 + 32*s**2 - 34*s - 27. Let r be v(-33). Solve -2*l - r = 4*l for l.
-1
Suppose 4*n + 6 + 2 = 0. Let i be 2 - ((-6)/n + -1). Suppose i = 4*r - 10 - 2. Solve r*s - 6 + 3 = 0 for s.
1
Suppose 0 = -50*x + 48*x. Solve 5*h - 11 - 4 = x for h.
3
Let a = 6 - -9. Let m = 0 + a. Suppose -2*i - 6 = -5*y, 2*y + 5*i + m = -2*y. Solve -o = -y*o - 5 for o.
5
Suppose -x - 41 = -46. Solve a = x*a - a for a.
0
Suppose -5*x - 448 = -4*z - x, -z + 116 = -3*x. Let t = 122 - z. Solve -t = -5*f + 13 for f.
5
Suppose 13*h = 128 - 50. Solve -h = -3*a + 3 for a.
3
Let n = -60 + 70. Suppose n = -l - 4*c + c, 3*l - 4*c - 35 = 0. Solve -l*k - 11 = -1 for k.
-2
Let v(l) = l**2 + 3. Let c(n) = -n**3 - 12*n**2 + 11*n - 24. Let q be c(-13). Let i be v(q). Solve 11*s = i*s for s.
0
Let z = 35 + -26. Solve t + 14 = z for t.
-5
Let d be 2/(-10) + (-119)/5. Let t = d - -24. Solve t + 5 = -j for j.
-5
Let x = -73 + 76. Solve -3*i - x = -12 for i.
3
Let u(g) = 3*g + 1. Let o be u(1). Suppose -f = -o*f. Let x be (0 + 0)/(f - -2). Solve x*b = 2*b for b.
0
Let l(u) = u**3 - 5*u**2 + 2*u - 7. Suppose 16 = 4*j - 4*s, j + 2*s + 3 = 10. Let y be l(j). Solve y*f = -0*f for f.
0
Let q be (-52)/13 + 54/2 + 3. Solve q*y = 28*y + 8 for y.
-4
Let f(n) = -n**2 - 10*n - 14. Let r be f(-8). Solve 6*q + 4 = r*q for q.
-1
Let i = 573 + -568. Solve -6*l = -i*l + 3*l for l.
0
Let f(o) = 2*o**2 + 6*o - 13. Let k be f(-5). Solve 3*w - 5 = k for w.
4
Let c be 10/4 + 17/34. Suppose -c*s + 210 = 2*s. Let q be s/14*(-4)/(-6). Solve q*d + 20 = -2*d for d.
-5
Let y(r) = 5*r**2 - 9*r + 2. Let p be y(2). Suppose 4*v - 4*n = -16, v - 3*n - 20 = -8*n. Suppose v = k + 2*k. Solve p*o = -k*o for o.
0
Let z(c) = 32*c**3 - 2*c**2 - c + 1. Let d = -11 + 10. Let q be z(d). Let k be (q/(-20))/((-8)/(-20)). Solve -k = n - 2 for n.
-2
Suppose 0 = 193*p - 190*p - 45. Solve -h + 14 - p = 0 for h.
-1
Let w = -180 + 186. Let f be (-1)/(1/(-8)*-2). Let n = w + f. Solve 0 = -n*l + 5*l + 3 for l.
-1
Let n(a) = a - 20. Let o be n(7). Let b = o - -13. Let x be b/(3 + -7 + 2). Solve x = -5*c - 26 + 6 for c.
-4
Let f(o) = o**2 + o - 3. Let b be f(-3). Let r be (b + -4)*2/(-1). Solve -2 = r*q - 0*q for q.
-1
Suppose 0 = 5*f + 3*b - 185 - 75, -4*f - b = -201. Suppose 5*u = 204 - f. Let d = -28 + u. Solve d*k + 5 = -2*k for k.
-1
Suppose 0*r - 5*n = 3*r - 44, 0 = -n + 1. Let v be 9*(-1 + r/3 + -3). Solve c - 16 = -v*c for c.
4
Let j(t) = -10*t**2 - 3*t - 4. Let u be j(-2). Let i = u - -43. Suppose 0*q - 12 = -3*g + 4*q, 4*q = -12. Solve -5*n = -i - g for n.
1
Suppose 0 = 10*d - 2*d. Solve 6*f + 20 + 10 = d for f.
-5
Let d(a) = a**2 + 4*a + 3. Let x be d(3). Solve -x*o = -20*o - 16 for o.
4
Let l be 188/(-752) + 74/8. Solve 20*w = -l*w + 6*w for w.
0
Suppose -2*k - 3*f + 12 = -4*f, -2*k + 36 = 5*f. Solve -v - k = 7*v for v.
-1
Let l be 13/(364/264) - 44/(-77). Solve 13*m - l*m = 9 for m.
3
Let m(s) = s**3 - 3*s**2 - 7. Let n be m(4). Let o = -9 + n. Solve -8*v + 3*v - 20 = o for v.
-4
Suppose 0 = 4*s + 4*q - 16, -4*q - 10 = -3*s + 2. Let b = -3 + -3. Let k(l) = -l - 5. Let r be k(b). Solve -r = 3*t - s for t.
1
Let m(v) = -v**2 + 18*v - 4. Let s(n) = -n**2 + 17*n - 3. Let f(h) = -6*m(h) + 7*s(h). Suppose 0 = y - 2*y + 11. Let g be f(y). Solve -g*z = 10 - 4 for z.
-2
Suppose 0 = -10*j + 13*j - 6. Suppose -5*w + 2*d = -0*d - 129, -w - 3*d = -19. Solve 3*v = -j*v + w for v.
5
Let d = -152 - -155. Let t be 4/(-18) + 11/9. Solve t + 8 = d*q for q.
3
Let k(p) = -p - 3. Let g be k(-4). Let f be (-7)/(21/(-18)) + g. Suppose -v + f - 4 = 0. Solve 7*s - v*s = -8 for s.
-2
Suppose -398*m + 508 = 110. Let p = -51 - -72. Solve m - p = -5*v for v.
4
Suppose 0 = -5*z - 25, l + 5*z + 8 = 3*z. Let o be (2 - 2)/(0 - l). Solve -8 = -4*d - o*d for d.
2
Suppose -4*i = -2*c + 5*c + 11, 0 = -4*c + i + 17. Let w(r) = -r**2 + 3*r. Let l be w(c). Solve 0 = -3*f - l*f + 9 for f.
3
Let b(l)