*r + 2 for r.
1
Let s be ((-5)/2)/(1/(-2)). Suppose 3*a = s*a - 8. Solve 2 = -a*z - 2 for z.
-1
Let r(v) = v**2 + v. Let a be r(0). Solve -5*o + a = -5 for o.
1
Let t(a) = -a**2 - 5*a - 1. Let y = -5 - -1. Let r be t(y). Solve r*i + 3 - 6 = 0 for i.
1
Suppose 3*b + 23 = -4*n, n = -4*n - 3*b - 31. Let l = -8 - n. Suppose l = 3*u + 2*u - 15. Solve -p + u = 2*p for p.
1
Let c(z) = z**2 - z - 1. Let b be c(0). Let l be -2*(b + (-39)/6). Solve -4*d + l = -7*d for d.
-5
Let o = 8 + -5. Suppose 0 = -0*q + o*q - 18. Let y be q/8*4/1. Solve y*t = -t - 8 for t.
-2
Suppose 3 = -5*w + 8. Suppose -2*u + 2 = -5*z, u - 2 + w = 4*z. Solve d + 0 + 3 = z for d.
-3
Let o(l) = l**2 + l - 2. Let w be o(-3). Solve -2 = -w*c + 2 for c.
1
Let h be (92/6)/(2/(-6)). Let v be 6/(-21) + h/(-14). Suppose 5*g + f = 25, 2*g + v*f = g + 5. Solve -j = -g*j - 8 for j.
-2
Let h(j) = 3*j**2 + j. Let m be h(-1). Let y be m/6*(3 - -3). Solve -y*z = -3*z for z.
0
Let o = 106 + -79. Solve -2 = -5*f - o for f.
-5
Suppose -28 = -2*k - 2*n, -3*n + 12 = -k + 2*k. Solve -u - k = 4*u for u.
-3
Let l = 0 + -2. Let f = l - -9. Solve 1 + f = -2*n for n.
-4
Suppose -2*b + 9 + 29 = 0. Suppose 4 = -5*q + b. Solve 0 = 5*h + 12 + q for h.
-3
Suppose 5*m - 3*m - 4 = 0. Let s be 9 + m/((-6)/(-9)). Solve 0*b - 3*b = s for b.
-4
Let m(a) = -3*a + 24. Let j be m(7). Solve -j*c = 2*c - 15 for c.
3
Let f(t) = -t**3 - 7*t**2 + 7*t - 2. Suppose 0 = -5*a - 4*n - 60, -a + 3*n - 33 = 8*n. Let d be f(a). Suppose -3*u + 21 = -d. Solve 4*r = r - u for r.
-3
Let u(x) = x**2 + 5*x + 6. Let g be u(-4). Suppose 0 = -o + 3*o + 10. Let w(t) = t**3 + 4*t**2 - 6*t + 3. Let c be w(o). Solve -c = -g*y - 0*y for y.
4
Suppose -5*h = 3*q - 0*h - 29, -h - 8 = -4*q. Solve 6 + 0 = q*p for p.
2
Suppose -2*y + 3 = 9. Let o(w) = -w**3 - w. Let m(z) = -4*z**3 - 2*z**2 + 2*z + 3. Let i(g) = -m(g) + 3*o(g). Let v be i(y). Solve -v*d = -10 + 1 for d.
3
Let z(k) = 0 + 3*k + 0 + 0 - 2 + k**2. Let o be z(-2). Let u be (4/(-6))/(o/12). Solve u*w + 15 = 7*w for w.
3
Suppose -2*n + 5 - 1 = 0. Solve -n*c = 12 - 2 for c.
-5
Suppose -42*o + 47*o - 20 = 0. Solve -o*k + k = 0 for k.
0
Suppose 3*m = 5*y + 16, -2*m + 5*m = -3*y. Let s be -1*(-2)/(-2) + 4. Suppose -4*k = -5*k + s. Solve k*n - m = n for n.
1
Let a(g) = -g**3 - 13*g**2 + 15*g + 16. Let q be a(-14). Solve 4 = q*k - 3*k for k.
-4
Let t be (6 + -4)*10/4. Let m = -5 + t. Suppose n = 5*c - 0*n - 102, m = c - n - 22. Solve c = -3*z - z for z.
-5
Let p be (10/(-4))/(-1*(-2)/(-4)). Solve p*z = -0*z for z.
0
Suppose -3 + 5 = o. Let c = -4 + 19. Solve o*p - c = -p for p.
5
Suppose -g + 8 + 19 = 4*q, -q = 2*g - 12. Let a(p) = -p + 11. Let s be a(q). Let r = s + -3. Solve -r*o - 5 = -1 for o.
-2
Suppose 3*r - i - 11 = 0, 0*r - 3*r = 2*i + 4. Solve -r*c = -7*c + 5 for c.
1
Suppose -3*k = 2*k. Let r be (k - (-3 - -3))/(-3). Solve r = -w - 2 for w.
-2
Suppose l + 4*v + 30 = -0, -2*v - 22 = l. Let b = 2 + l. Let d be b/(-7) - 2/(-7). Solve 0 = 2*c + d*c - 12 for c.
3
Suppose 5*c + 14 - 44 = 4*q, 4*q + 12 = -4*c. Let x be (-1 - 14)*2/q. Let b = x - 2. Solve -b = -0*p + p for p.
-4
Let u(d) = 4*d - 18. Let h be u(5). Solve 0*p - 8 = -h*p for p.
4
Suppose x - 2*b = -4*b + 3, 0 = -2*b. Suppose -x = j - 4. Solve -y = -1 - j for y.
2
Let g = -3 - 5. Let s be 7/3 + g/(-12). Let n = -2 - -2. Solve s*t - 13 + 1 = n for t.
4
Suppose 0 = 4*q - 0*q. Solve q*i = 3*i + 12 for i.
-4
Suppose 4*c + 5*o + 5 = 0, -44 + 9 = -2*c + 5*o. Solve -c*x + 9 = -6 for x.
3
Let i(a) = -a**2 + a + 14. Let u be i(4). Solve -5*q + 17 = u for q.
3
Let j = -143 - -78. Let a = 94 + j. Suppose 4*t + n + 8 = a, -26 = -4*t - 2*n. Solve -8 + t = -f for f.
4
Let g(s) = s**3 - 12*s**2 + 21*s - 7. Let f be g(10). Solve -2*q = f - 1 for q.
-1
Suppose -3*p - 3*x - 5 = -2*x, 0 = 2*p + 3*x + 1. Let l = p - -5. Let o be l/(-6)*(0 + 0). Solve 10 = 5*s - o for s.
2
Let g(c) = c**3 - 5*c**2 + 2*c - 8. Let n be g(6). Suppose 0 = -5*w - 0*w + n. Solve 2*a = -2*a - w for a.
-2
Suppose -r = -5*r + 12, 5*r = -3*b + 30. Let f = 6 - 14. Let g = f + 11. Solve g*t - b = -2*t for t.
1
Let s(r) = r**2 - 6*r + 4. Suppose 5*z - 5 = 5*i, 0*z - 5*i + 19 = -z. Let y be s(z). Solve -y = -0*x - 4*x for x.
1
Let a(g) = -2*g + 13. Let o be a(9). Let j = o + 5. Solve -5*s + 19 + 1 = j for s.
4
Let b be -30*((-12)/9)/2. Suppose -2*w + 8*y = 3*y - 40, 4*w = -y + 80. Suppose -5*m + w = 10. Solve b = m*p + 3*p for p.
4
Let j be (-3)/(-12) + (-133)/(-28). Suppose -4*s = 3*i + 2*i - 20, -3*s + 5*i = -50. Suppose 4*l = 4, 5*l - 4*l - 1 = 3*t. Solve -s + t = j*u for u.
-2
Let c = -22 + 26. Solve 4*j + 0 = c for j.
1
Suppose -2*k = -8 + 2. Suppose 0*j + 4*a = k*j - 26, -4*j + 5*a = -33. Solve 0 = -3*h + j*h for h.
0
Let g(r) = r**2 + 4*r + 5. Let h(n) = 2*n + 4. Let q be h(-4). Let j be g(q). Solve 5 + 10 = j*w for w.
3
Suppose -20*n = -152 + 32. Solve n*v - 3*v + 12 = 0 for v.
-4
Suppose -1 = -3*k + 8. Solve -k*d - 2*d = 0 for d.
0
Let p(s) = -s**2 - 7*s - 6. Let k be p(-5). Suppose -k*x = -n - 12, -2*x = x - 4*n - 22. Solve -3*f + 10 = x*f for f.
2
Let i be (-12)/(-3)*2/4. Let l be (i/(-4) + 0)*-8. Let b = l - 1. Solve -b = g + 2*g for g.
-1
Suppose 2*z - 10 = 4*l - l, 5*l + 5*z + 25 = 0. Let u be 1/4 - (-25)/l. Let i(k) = -k**3 - 7*k**2 - 7*k - 6. Let w be i(u). Solve -3*f + w + 12 = 0 for f.
4
Let c be (-31)/(-2) - (-1)/(-2). Let p be ((-3)/4 - -2)*(-76)/(-19). Solve -c = p*y - 0*y for y.
-3
Suppose 0 = 5*f + 3*c - 92, 53 = 3*f - c + 9. Suppose -3*t - 4*r = -7*t + f, -t = -4*r - 10. Solve -5 = t*q + 3*q for q.
-1
Suppose p + 4 = 12. Solve p*w = 3*w for w.
0
Suppose 5*z + 5 = 0, 2*i - 6*z = -3*z + 13. Suppose 4*g + 3*l - 9 = g, i*g + l = 19. Solve 2*y - g = 2 for y.
3
Suppose 4*o + 0*o - 3*s = 25, 0 = 2*o + 3*s + 1. Solve 5*t - 6 = o for t.
2
Suppose -d = -4*q + 12, -2*q = -3*d + 3*q - 22. Let s = 4 + d. Solve s = -4*o - 4 for o.
-1
Suppose 12 = w + b, 7*w - 3*w - 3 = 5*b. Suppose 13 - 3 = 5*n. Suppose -1 = -k + n. Solve -k*l = -w*l + 4 for l.
1
Let n = -56 + 9. Let r = -26 - n. Suppose 5*s - r = 2*s. Solve -5*i = -8 - s for i.
3
Let y(w) = -2*w**3 - 4*w**2 - 3*w. Let r be y(-2). Suppose 4*j + r = 5*j. Solve 2 = n + j for n.
-4
Let d be 210/66 + 4/(-22). Solve 2 = x - d for x.
5
Let c(t) = t**3 + 7*t**2 - 10*t + 4. Let w be -2 + (1 + 0 - 7). Let y be c(w). Solve 0 = 2*i - 7*i + y for i.
4
Suppose -6*v = -152 + 140. Solve -14 - v = 4*o for o.
-4
Suppose 6 = -41*s + 43*s. Solve -s*u = -1 - 2 for u.
1
Suppose -2*b - z = -8, 4*b = -b - 3*z + 20. Suppose 0 = -4*d + 3*p + 106, d - p = b*d - 73. Solve 0 = 7*q - 2*q + d for q.
-5
Suppose 1 = -3*t + j, -2 = -0*j - 2*j. Let b(x) = x + 12. Let a be b(t). Solve q - a = -2*q for q.
4
Let g = 2 + 0. Let y = 3 - g. Solve -5*d - y = -11 for d.
2
Let c be ((-150)/9)/((-8)/12). Suppose -m = k - c, m = 5*k - 50 - 45. Solve 0 = -5*b + b + k for b.
5
Let t(p) = -4*p + 6. Let k be t(-1). Let f be 1 - (0/(-3) + 1). Suppose 3*y - 2*y - 11 = -3*d, 0 = -5*y - 5*d + 25. Solve f*n - y*n = -k for n.
5
Let j = 12 + -10. Solve -6 = -0*f - j*f for f.
3
Suppose 0 = 5*o + 3*l - 4 - 12, -o + 20 = -5*l. Let b(w) be the third derivative of -w**4/24 + 7*w**3/6 + 2*w**2. Let g be b(6). Solve 2*i - o + g = 0 for i.
2
Suppose 5*b = 2*b. Let x(v) = 3*v**3 - 53*v**2 - 16*v - 24. Let f be x(18). Solve -f = -3*m - b*m for m.
4
Let y be 3/(-1)*(-8)/3. Let k(m) = 4*m - 5. Let i be k(2). Suppose 6 + 0 = i*b. Solve -b*h - y = -18 for h.
5
Let a(v) = -6*v + 3 - 4 + 3*v. Let l be a(-2). Solve j = l*j for j.
0
Suppose -6 = 4*p + 22. Let v be (-12)/(-42)*p/(-1). Solve -5*z + 3 = -v*z for z.
1
Let t(h) = h**3 - 9*h**2 + 8*h + 4. Let y be t(8). Solve y*z = z for z.
0
Let g be 6/15 + (-46)/(-10). Solve 4 = i + g for i.
-1
Suppose -8*k + 4*k + w = -14, -2*k = 4*w - 16. Solve 0 = -x - 1 - k for x.
-5
Let j(s) = 3*s + 2. Let z be j(4). Let q be ((-8)/z)/((-4)/14). Solve -o - 3 = q for o.
-5
Suppose y - 5*y + 12 = 0. Let g(u) = -u**3 - 2*u**2 + 3*u + 4. Let s be g(-3). Solve -y*b = -5*b - s for b.
-2
Let w(f) = f**3 - 5*f**2 + 2*f - 7. Let x be w(5). Solve -i + 0*i = x for i.
-3
Suppose -w = -0*w - 1. Let i be 1*-2 - (w + -6). Solve i*m = -0*m for m.
0
Suppose -8*a - 7 + 23 = 0. Solve a*w = -w for w.
0
Let m = 1 - 9. Let q be 3/((-4)/m*3). Solve q*s = 3*s + 1 for s.
-1
Let f(i) 