r z.
-3
Suppose 0 = -2*w - 9 + 27. Suppose m = 3*r - w, 4*m = -r - 2*r - 6. Let b be 1*2*2 + -1. Solve b = -5*y - r for y.
-1
Let a(l) be the first derivative of -l**4/4 - 10*l**3/3 - l**2/2 - 7*l - 4. Let v be a(-10). Solve -1 = -v*k + 11 for k.
4
Suppose 3 + 7 = 5*n. Let d be (0 + 0)*(-7)/7. Suppose 0 = -d*v + 3*v - 15. Solve v*r = n*r - 15 for r.
-5
Suppose -3*w - 10 = -2*w. Let c = w + 12. Solve c*p = p - 1 for p.
-1
Suppose l + 10 = -1. Let m = l - -15. Solve 0*k + 4 = -m*k for k.
-1
Suppose 9 = a + 1. Let t(d) = 4*d**2 - 17*d. Let s(h) = 3*h**2 - 16*h. Let b(n) = -5*s(n) + 4*t(n). Let r be b(-12). Solve r = -0*j - 4*j - a for j.
-2
Suppose 2*a + p - 55 = -2*a, -3*a + 65 = -4*p. Suppose x = -3*r + a, -7 = -x - r - 0*r. Suppose -x*d = -14 + 5. Solve o - 2*o - d = 0 for o.
-3
Let d(v) = v**3 + 5*v**2 - 14*v + 9. Let y be d(-7). Solve -y = -2*s + 5*s for s.
-3
Let p be (-1)/((2/2)/(-3)). Suppose 1 = 2*w - p. Suppose w*n + 4 = 28. Solve 0*d - n = 3*d for d.
-4
Suppose 0 = 2*t - 5 - 1. Suppose -n + k = 0, 4*k - k - 21 = -4*n. Suppose -n*x + 18 = -6. Solve -x - 1 = t*z for z.
-3
Let a = 2 - 6. Let g(l) = l**2 - 3*l - 3. Let f be g(a). Solve -u - 4*u + f = 0 for u.
5
Suppose 0 = 3*j + 167 - 179. Solve j = -4*f - 0 for f.
-1
Let v(f) = -5*f - f**2 + 9*f + 1 + 5*f. Suppose m - 56 = -3*m - 4*c, -c = -m + 4. Let o be v(m). Solve 3*i = o - 10 for i.
-3
Let i be 6/(-4)*30/(-9). Solve i*g + 2 + 3 = 0 for g.
-1
Suppose -6*f - 27 = -9*f. Let y be (-1 + 3)*f/6. Solve y*r - 9 = -0*r for r.
3
Suppose -5*z = -z - 104. Suppose -2*h - v = -7, 3 + 22 = -5*v. Let x = h - 6. Solve x = -5*q + z - 6 for q.
4
Let n = -8 + 13. Solve n*o - 15 = -5 for o.
2
Let y(s) = -s**3 + 2*s**2 - s. Let f(t) = -t**2 - 6*t - 4. Let w be f(-5). Let v be y(w). Solve v*p + 2*p = -8 for p.
-4
Let n(x) be the second derivative of x**3/6 + 6*x**2 + 6*x. Let w be n(-12). Solve w*h = -5*h - 5 for h.
-1
Suppose 0*b = 3*b. Solve -q + 5*q + 4 = b for q.
-1
Suppose -7*w = -8*w. Suppose 2*m - 6*m = -24. Solve w = -r - 1 + m for r.
5
Suppose k + 10 - 25 = 0. Let u(g) = g**2 + g + 24. Let s be u(0). Let j = s - k. Solve -5*m = -2*m - j for m.
3
Let d = 0 - -5. Solve -d = 4*y + 3 for y.
-2
Let q(b) = b**2 - 2*b - 5. Let c be q(4). Solve s + 8 = -c*s for s.
-2
Let k be 112/21*9/12 + -4. Solve 0 = -3*y - k + 9 for y.
3
Let k(d) = -d**2 - d + 6. Let h be k(-3). Solve h*o - 2*o + 4 = 0 for o.
2
Let h be 16/3 + (-2)/(-3). Let x = 4 - 3. Let y = x - -2. Solve h*u = y*u for u.
0
Let d = 3 - -3. Let f(u) = 6*u**2 + u. Let m be f(-1). Suppose -m*w = 25, b + 0*w - 4*w = 22. Solve -i = b*i - d for i.
2
Suppose -2*j + j = -6. Let i be 5/2*j/5. Let m = 4 + 5. Solve i*z + m = -0*z for z.
-3
Let g be (-21)/(-9)*(-18)/2. Let a = -15 - g. Suppose 5*n - a*n = -4. Solve 2*f - n*f - 6 = 0 for f.
-3
Suppose -12 = -0*t - t. Suppose k - t = -k. Solve -3*x = -k*x for x.
0
Let h = 27 - 7. Suppose 3*k = 46 + 2. Suppose k = -s - 2*s - 4*x, -4*s = -5*x - h. Solve s = 2*q - 8 for q.
4
Let c be ((-4)/(-10))/((-31)/(-930)). Solve -c*l + 11*l = 5 for l.
-5
Suppose -u = 2*u. Solve -s - 3*s + 8 = u for s.
2
Let a(s) = -s**2 + 10*s + 10. Let d be a(11). Let g = 1 - d. Solve -w = -g*w + 2 for w.
2
Suppose z = 2*g + 4*z + 2, 2*g + 6 = -5*z. Let f be (-6)/2*(g - 3). Solve -f*c - 15 = -0*c for c.
-5
Suppose p + 5*m - 7 = 4*p, 0 = -5*p - 4*m + 13. Let r be -5 - (-3 + p) - -11. Let h(d) = -d**3 + 9*d**2 - 9*d + 10. Let u be h(r). Solve -u*w = -0*w + 6 for w.
-3
Suppose 29 - 14 = 5*g. Solve -g*u + u = 10 for u.
-5
Suppose q - 4*i = -20, 0 = -3*q + i - 5. Solve q = 4*k - 6*k - 6 for k.
-3
Let a be 2/(-3) - (-22)/6. Suppose -7 = -a*i - 1. Solve -6*x = -i*x for x.
0
Let f be (2 - 4)/(2 - 3). Let j be (4/6)/(2/3). Let z be (j/1 - 2) + 1. Solve -x + 7 - f = z for x.
5
Let b(u) be the third derivative of u**5/60 - 7*u**4/24 + u**3/2 + 3*u**2. Let o be b(7). Suppose -3*y - 2*l = 2*l - 4, 2*l = -y. Solve 13 = -y*m - o for m.
-4
Let t(q) = -4*q - 56. Let n be t(-15). Solve n = -2*j - 0 for j.
-2
Let t = 9 + -7. Solve -t*g + g = -3 for g.
3
Let x(k) = k**2 + 4. Let a be x(-6). Let i be ((-9)/(-6))/(3/a). Solve 5*t = t + i for t.
5
Suppose -h = -0*h + 3. Let l(i) = 1 - 9 + 5 - 2*i + i**3 + 4*i**2. Let o be l(h). Solve -o = -3*u - u for u.
3
Let c = -7 - -3. Let h be (-1)/((-1)/(-2)) - c. Solve 11 = -h*u + 5 for u.
-3
Suppose 9*v - 5*v = 0. Solve v = 4*q - 8 for q.
2
Let g(o) = -4 + 2*o + 2*o - 2 - 3*o. Let j be g(6). Solve 5*i = -j*i - 10 for i.
-2
Let k(f) = -f**2 - 7*f - 7. Let l be k(-5). Suppose -4*h + 10 = 4*a - l*h, -10 = -5*h. Solve 3*b + a*b = 10 for b.
2
Let l = 4 + -3. Let g(z) = 3*z + 1. Let i be g(l). Solve 2*t - 4*t = -i for t.
2
Let w = -9 + 10. Solve w = 3*v - 2 for v.
1
Let i(g) = g**2 - 7*g + 8. Let t be (-46)/(-8) - (-3)/12. Suppose -t*b + 18 = -3*b. Let f be i(b). Solve f*d - d = 4 for d.
4
Let y be -1 + 3 + (-28)/7. Let j = 10 + y. Solve -s - s - j = 0 for s.
-4
Let b(l) = l**3 - 9*l**2 + 7*l + 11. Let m be b(8). Let j be 0/(2*(m + -2)). Solve j = -2*h - 0*h for h.
0
Let c(s) = s. Let m be c(2). Suppose 5*x - 3*y - m = 0, 2 = x + 2*y - 1. Let b be -7*x*(-6)/6. Solve b = 4*j - 9 for j.
4
Let m(b) = -b**2 - 5*b. Let p be m(-5). Suppose -2*y + 6 = -p. Solve 0 = -i + y for i.
3
Let f = -4 + 2. Let v be (12/20)/(f/(-10)). Solve -l - v*l = -8 for l.
2
Let d = -8 - 2. Let x = 15 + d. Solve -x*r + 3 = 8 for r.
-1
Let j(r) = -r**2 + 7*r - 5. Let s be 1/((-2)/(-16 + 2)). Let a be j(s). Let b be ((-3)/(-1))/(a - -6). Solve -b*t - 2*t = -10 for t.
2
Let u(f) = f**3 - 8*f**2 + f - 7. Let p be u(8). Solve -p = -j - 5 for j.
-4
Let m = 83 - 81. Solve 5*w + m + 18 = 0 for w.
-4
Let i(n) = n + 2. Let k be i(-4). Let s(x) = 3*x**2 - 8*x - 7. Let l(m) = 4*m**2 - 7*m - 6. Let d(r) = k*l(r) + 3*s(r). Let y be d(11). Solve y*b = 5*b for b.
0
Let d(u) = u + 1. Let o be d(3). Let w(n) = n**3 - 9*n**2 + 8*n + 2. Let s be w(8). Solve 2*m = o*m - s for m.
1
Let z be 2 - (-2 - -1 - -9). Let a(n) = -n**2 - 6*n + 4. Let g be a(z). Solve -g*u = u + 10 for u.
-2
Suppose 2*t - 3*t + 3 = 0. Solve -4 = -t*i + 2*i for i.
4
Let n = -8 + 11. Solve n = -6*b + 21 for b.
3
Let c be 72/27 + (-4)/6. Solve 4*k - c - 2 = 0 for k.
1
Suppose -4*b = -95 - 129. Let n be ((-12)/8)/((-6)/b). Suppose 0 = a - 2*y - n, 2*y + 1 = -a + 3. Solve 0 = -4*v + 2*v + a for v.
4
Let n = -4 - -11. Let l be (n - -1)*2/4. Solve 3*x = 2 + l for x.
2
Let h be 4 + -3 - (0 - -3 - 2). Solve -g + h = -5 for g.
5
Let s = 43 - 27. Suppose -2*u - 2*u - 1 = 3*r, -5*u - r - 4 = 0. Let g = u + 3. Solve 0 = 2*i + g*i - s for i.
4
Let l be (0 + 2)/(2/7). Suppose 0 = 5*b + 2*q - 0*q - 18, 0 = q - 4. Solve -b*w - 1 = -l for w.
3
Let o(q) be the first derivative of -1/4*q**4 - q**3 + 3*q - 3/2*q**2 - 3. Let v be o(-3). Solve -j = 2*j + v for j.
-4
Let p = 8 - 5. Solve p*a = a for a.
0
Suppose 7*v = 12*v. Solve v*m = m + 1 for m.
-1
Let c = 53 - 53. Solve 0 = -5*h - c*h - 25 for h.
-5
Suppose 2*a + 6 = -2*m, 6 = -m - 4*a - 9. Solve -m - 3 = -4*l for l.
1
Suppose -3*h - s + 4 = 0, 2*h = -3*h + 3*s - 12. Solve h = 4*z + z - 5 for z.
1
Suppose -o + 13 = -2*d, -8*o + 3*d = -4*o - 42. Suppose 0 = -3*b + o. Solve -b*t - 12 = -0*t for t.
-4
Let k = -5 - -11. Solve -n + k*n = -20 for n.
-4
Let s(u) = -u + 4. Let m be s(2). Solve -4 = -4*h + m*h for h.
2
Let x(v) = -v**3 + 4*v**2 - 3*v - 2. Let t be x(3). Let d be t/4*2 + 22. Suppose 0 = -k + 5*w + d, -3*k - 2*w = -15 + 3. Solve -y = -3*y + k for y.
3
Let j = 14 + -11. Suppose -j*t + 35 = 2*p, -4*p = -5*t + t - 120. Solve 6*k - k = p for k.
5
Let k be (0 + 1*-2)*-10. Let d = -4 + 5. Suppose 2 = 3*w + 2*a, 4*a - 5 + d = 5*w. Solve t + 4*t + k = w for t.
-4
Suppose -4*q - 5*x = -61, -2*q + 20 = 3*q - 5*x. Solve -q = r + 2*r for r.
-3
Let u be ((-15)/6)/(1/(-10)). Let r be 1/5 - (-145)/u. Solve -3*i - r = -18 for i.
4
Let n(p) = 4*p**3 + p - 1. Let z be n(1). Solve -3 = z*c + 9 for c.
-3
Let m(o) = -o**2 - 7*o - 3. Let u be m(-5). Solve -u*k + 2*k - 15 = 0 for k.
-3
Let g = 18 - 3. Let k = g + -15. Solve -p + 3 = -k for p.
3
Let w(s) = 3*s**2 + 5*s + 9. Let a(u) = -2*u**2 - 3*u - 5. Let f(i) = -5*a(i) - 3*w(i). Let m be f(-2). Solve 0 = 7*q - m*q - 25 for q.
5
Let s(t) = -t**3 + 5*t**2 + 7*t - 3. Let r be s(6). Suppose -r*y = 12, 3*p - 16 = 4*y - 3*y. Solve 3 = a - p*a