g*r + 10 for r.
5
Suppose s + 2*a - 17 = -0*s, 141 = 5*s - 4*a. Let w = s - 9. Solve -5*b = 6 - w for b.
2
Let l(k) = -5*k**2 - 8*k - 3. Let t(v) = 11*v**2 + 16*v + 5. Let u(w) = -7*l(w) - 3*t(w). Let b be u(-5). Solve 2*n + 2*n = -b for n.
-4
Suppose -6*s + s = 0. Let b = -9 - -13. Solve b*d + d + 10 = s for d.
-2
Let x(u) = -u**2 + 7*u + 6. Let z = 3 - 1. Suppose 0 = 2*d + z*j - 20, -d - 3*j = -7*j + 10. Let v be x(d). Solve 3*p + p = -v for p.
-3
Suppose 0*x - 6 = 2*x. Let s(q) = -q + 2. Let z be s(x). Let a(t) = -2*t**3 - 3*t**2 + 6*t + 6. Let g be a(-3). Solve -g + 40 = z*r for r.
5
Let g be (4 - (-4 - -7))*3. Solve -g*l - 2 = -4*l for l.
2
Let p(r) = -r**2 + 10*r - 12. Let t be p(8). Solve -t*q = -q - 15 for q.
5
Let j(m) = m**2 + 8*m + 4. Let b be j(-8). Suppose w + 6 = b*d - 0*w, -3*w = -2*d + 8. Solve -2*v = d - 7 for v.
3
Let f(i) = -5*i**3 - i**2 - 4*i - 3. Let j be f(-1). Solve j = -5*m + 20 for m.
3
Let o be (-3)/(-15) + 49/5. Suppose 0 = -5*a + 2 + 3. Let t be a + -2 + 1 + 3. Solve o = -2*k - t*k for k.
-2
Let v(a) = a**3 + 11*a**2 - 11*a + 14. Let k be v(-12). Let c = k - 0. Solve 15 = c*q - 5*q for q.
-5
Let b be 4/(-2) + (-12)/4. Let s(t) = -t**3 - t - 2. Let h be s(0). Let w be -1*(b + h/1). Solve 4*a - 1 = w for a.
2
Let g(q) = q**3 + 11*q**2 - 2*q - 1. Let c(v) = -2*v**3 - 21*v**2 + 3*v + 2. Let a(m) = 6*c(m) + 11*g(m). Let u be a(-4). Solve -j - 2 = -u for j.
-1
Suppose 5*p + 12 = 3*g, -p + 30 = 5*g + 10. Solve p*d - d = -4 for d.
4
Let i be (-2)/(-13) - 1/((-78)/144). Solve 0 = -2*g + 3*g - i for g.
2
Let m be (-245)/(-56) + 1/((-16)/6). Solve s = m*s - 3 for s.
1
Let a be 86/3 + 9/27. Suppose -4*z = -3*n - a, 2*z + 3*z = -2*n + 19. Solve z*l = 8 - 33 for l.
-5
Suppose 2*v + 52 - 202 = 0. Let y = -105 + v. Let u be (-12)/y*10/4. Solve 2*k - u = -11 for k.
-5
Suppose 0*r - 4*o - 2 = -r, -5*r + 4*o = -10. Suppose r*t = 2*d - 18, d + 5*t - 27 = -12. Solve 0 = 3*k - k + d for k.
-5
Let i = 85 - 78. Solve -i*l + 20 = -3*l for l.
5
Suppose 3*x + 3 = 4*x. Solve 2*u - 1 - x = 0 for u.
2
Let z = -1 + 5. Suppose -2*i + 128 = 6*i. Let w = i + -16. Solve -z*g + 4 - 20 = w for g.
-4
Let x = 88 - 85. Solve 7 = 2*i - x for i.
5
Let b(m) = -2*m - 2. Let x be b(-5). Solve -12 = -4*u + x for u.
5
Suppose -7*o + 23 - 2 = 0. Solve 0*a + o*a + 9 = 0 for a.
-3
Suppose -4*v - 5*z + 0*z + 1 = 0, -2*v - 3*z = 1. Suppose 0 = 2*m + 3*l + 33, 5*m = 5*l + 1 - 21. Let u = -6 - m. Solve -u = -w - v for w.
-1
Suppose 0 = r - 5*m - 17, m = -5*r + 4*m + 19. Let v = 1 + r. Suppose 0 = -5*p - v*o + 16, -4*p = -2*o - 3*o + 2. Solve -p*t = -6*t + 16 for t.
4
Let r(c) = c**3 - 5*c**2 + 12*c - 6. Let l be r(3). Solve 2*i = -2*i - l for i.
-3
Suppose 7*u = 3*u + f + 12, -3*u = -3*f. Solve 5*r = -1 - u for r.
-1
Let h be (-12)/(-42) + (-2)/7. Solve 0 = 5*f - 10 - h for f.
2
Let x be (-3)/(-12) - (-9)/(-4). Let a(y) = 6*y**2 - 2*y - 2. Let s be a(x). Suppose 3*q + 28 = 4*p + 2*q, -p + 5*q + s = 0. Solve -p*o + o = 25 for o.
-5
Suppose 3*k + 6 = 18. Suppose 0 = -4*b + 5*v - 60, -3*v = 3*b + 28 - 10. Let n = -5 - b. Solve -n = -k*h + 11 for h.
4
Let a be (-2)/3*75/(-10). Let j = -5 + a. Solve -5*p - 9 - 1 = j for p.
-2
Suppose 0 = 4*l - 3*f - 2, -8*f = 3*l - 3*f - 16. Let j(a) = -a**3 - 4*a**2 - 3*a + 1. Let z be j(-3). Solve -3*v - z = l for v.
-1
Let s be ((-7)/14)/(3/(-102)) + 3. Solve s = 2*n - 7*n for n.
-4
Let y(k) = -k**3 - 2*k**2 - 2*k. Let f be y(-2). Let h(i) = i**3 - 5*i**2 + 4*i + 3. Let d be h(f). Solve d - 1 = -2*n for n.
-1
Let n(s) = -s**3 - 5*s**2 - 4*s - 2. Let m be (-15)/(-6)*4/(-2). Let q be n(m). Let i be 4/q - 68/(-18). Solve -2*b = 2*b + i for b.
-1
Let b(u) = -19*u + 1. Let v be b(-1). Suppose -5*g - k = v + 3, 5*k + 23 = -2*g. Let l = -2 - g. Solve 0*n = -l*n - 10 for n.
-5
Suppose f + 2*x = -x - 6, -3*x = -f + 6. Solve -2*a - 4 - 2 = f for a.
-3
Suppose 4*l - 3*l = 2. Suppose 4*n = -s + 22 + 1, 19 = -l*s + 5*n. Solve -s*q + 3 = 15 for q.
-4
Let z be (1/(-2))/(2/(-12)). Solve -4*k + k = -z for k.
1
Let u = -16 + 32. Suppose -u*o + 18*o - 14 = 0. Solve -3*j + o*j = -8 for j.
-2
Let w(c) = -c**2 + 5*c + 6. Let r be w(6). Let v(p) = -p**3 + 3*p**2 + 3. Let b be v(3). Let f = b - 1. Solve -2*x + x + f = r for x.
2
Let y(q) = 6*q**2 - 2*q + 1. Let s be ((-10)/(-6) - 2)*-3. Let i be y(s). Solve -i*c + 0*c + 15 = 0 for c.
3
Let g be (-2)/7 - 23/(-7). Suppose 4*d + i = 5*i + 20, g*d = 4*i + 18. Suppose 2*x - 20 = -d*x. Solve -4*n - x = n for n.
-1
Suppose 2*y - 19 - 1 = 0. Let g be 6/y - 35/(-25). Solve 0 = -0*p + p + g for p.
-2
Let a(s) = 3*s**2 - s. Suppose -20 = -5*z - 3*m, 4*m - 16 = z + 3*z. Let d = -2 + z. Let x be a(d). Solve -2*v + 2 = x for v.
-1
Let a(f) = 2*f + 3. Suppose -h + 5*h = 24. Let q be a(h). Solve 0*j = 3*j + q for j.
-5
Suppose 11*m - 3*m = 3*m. Solve m = 5*v - 4*v - 2 for v.
2
Let y(d) = 4*d**2. Let o be y(-1). Solve -11 = -o*r + 9 for r.
5
Let i be 4/(-22) + (-756)/77. Let r = i - -12. Solve -c - 5 = -r*c for c.
5
Suppose p - 3 = -2*p. Solve 0 = -2*n + 1 + p for n.
1
Let k = -1 - -1. Let v(c) = c - 8. Let l = -6 + 16. Let q be v(l). Solve k = -0*o + q*o + 4 for o.
-2
Suppose -3*q = 2*q - 4*u - 20, -3*u - 15 = 3*q. Suppose q = -4*w - h + 18, -w - h + 3*h = 0. Solve -y + w = y for y.
2
Suppose 3*z - 4 = 2*z. Suppose z*v = 13 + 3. Let i = v + 1. Solve -i*m + m + 20 = 0 for m.
5
Suppose -8 + 13 = g. Solve -b - 20 = -g*b for b.
5
Let s = -1 + -1. Let k be 2 - -1 - (s + 2). Solve -2*f = -9 + k for f.
3
Let w = -5 + 7. Suppose w*h = 7*h. Suppose -4*j + 5*j - 7 = h. Solve 0 = -3*d + j*d + 16 for d.
-4
Let n be 2*8/(-20) - (-20)/25. Solve n*q = -5*q - 15 for q.
-3
Suppose 5*w = 2*w - 30. Let b = -7 - w. Solve 4*x + b = -1 for x.
-1
Suppose 3*p + 3*p = -4*p. Let j = 7 - 5. Solve p = 3*n - 2*n - j for n.
2
Let w(g) = g**2 - 10*g - 2. Let b be w(10). Let c be (3 - 2)/(b/(-8)). Solve c*x + x = 15 for x.
3
Suppose -6*g + 104 = -2*g. Let a be (-4)/14 - g/7. Let n be (-9)/a + (-1)/4. Solve 0 = -n*y + 8 + 2 for y.
5
Let y(x) = -2*x**2 - 12*x + 10. Let n(j) = -j**2 - 6*j + 5. Let v(l) = -7*n(l) + 3*y(l). Let c be v(-8). Solve -5 - c = -4*a for a.
4
Let r(s) be the third derivative of -s**7/5040 + s**6/120 - s**5/30 - 2*s**2. Let v(q) be the third derivative of r(q). Let x be v(6). Solve x*c - 5 = -c for c.
5
Let l be 416/234 - 1/9*-2. Solve -l*t = t + 15 for t.
-5
Suppose 25 = 4*m + m - 5*w, -2*w - 12 = -3*m. Suppose 3*a - m*a = 0. Suppose a = 3*x + x - 16. Solve x*i - 15 = -i for i.
3
Suppose 0 = 3*y - 3*g - 6, -14 = -9*y + 5*y + g. Suppose 26 = 4*h - u, 27 = 4*h - 2*u - 1. Let j = 7 - h. Solve j = -v + y for v.
3
Suppose 0 = -3*o - 17 + 23. Solve 6 = -o*q - 4 for q.
-5
Let g = 2 - -4. Let o be -1 + 5 - g/(-2). Solve -4*f + o = 3 for f.
1
Suppose -1 = -b + g + 5, 5*g - 69 = -4*b. Suppose 0*d - 10 = -d. Let o be (-1)/(-2) - (-5)/d. Solve 5*l - o = -b for l.
-2
Let b = 4 - 7. Let k = b + 5. Solve 0 = -k*f - f - 3 for f.
-1
Suppose -10 = -7*c + 4*c - t, 4*c - 16 = -2*t. Suppose 4*k - 4*l - c = 14, 3*k = 2*l + 10. Let y be ((-4)/12)/(k/(-12)). Solve a + y*a - 9 = 0 for a.
3
Suppose -2*c + 6 = 0, -5*r - 5*c = -3*r - 33. Let s(o) = -3*o - o + 2 - 3*o**2 + 5*o**2 + 2*o. Let f be s(2). Solve -5*q + r = -f for q.
3
Suppose -3*o - 3 + 9 = 0. Solve o*u = -0*u + 2 for u.
1
Let s = 159 - 99. Suppose 3*m - 6*m = -s. Solve -m = -5*l - 0*l for l.
4
Let l(g) = -1 - 3*g**2 + 5 + 4*g**2. Let d be l(0). Solve 5*t - t = d for t.
1
Suppose 3*y = 2*f + 12, y - 2*f - 2 = 6. Suppose -l = 4*l. Let g = l + y. Solve g = -d - 1 for d.
-3
Let m be ((-9)/12)/(2/(-8)). Solve -2 = m*x + 1 for x.
-1
Let k = -7 + 12. Solve -k*p = 2 + 8 for p.
-2
Let m be (-4)/14 - (-24)/(-14). Let u be -4*(-1 - 1/m). Let o = -181 - -181. Solve 0*i + u*i - 2 = o for i.
1
Let u(x) = 7*x**2 + 2*x - 5. Let j(y) = 20*y**2 + 6*y - 14. Let b(s) = 4*j(s) - 11*u(s). Let w be b(-3). Let n be w/6*(2 - -1). Solve 2*l - 2 = -n for l.
-4
Suppose -12 = 4*t + 12. Let v be 79/7 + t/21. Solve 5*i + 1 = v for i.
2
Suppose -17 = -5*c + 63. Let r = 0 + -1. Let j be c + -2 + 2 + r. Solve j = -4*q + q for q.
-5
Let o(n) = n + 6. Let x be o(4). Let k = x - -2. Solve -5*w - 2 = -k for w.
2
Let l(j) = -j + 5. Let s(a) = a + 4. Let n be s(0). Let z be l(n). Solve -3*v - z = -7 for v.
2
Let q = -52 - -52. Solve 4 +