r k.
3
Let g(o) = o**3 + 6*o**2 + 2*o + 7. Suppose 8*j + 12 = 6*j. Let h be g(j). Let w(n) = n**2 + n - 7. Let q be w(h). Solve 4*l = -q - 7 for l.
-5
Let j be 380/50 + (-2)/(-5). Solve -k = j - 3 for k.
-5
Let r(f) = f + 9. Let s be r(-7). Suppose s*u = u. Solve u = -2*v + 1 + 3 for v.
2
Let x = 20 + -29. Let k = x + 11. Suppose -5*o + 7 = k. Solve l - 4 = -o for l.
3
Let b(y) = -y + 1. Suppose -3*h = 3 + 9. Let z be b(h). Solve 2 = -3*o + z for o.
1
Suppose 6*r - 72 - 18 = 0. Solve r = d + 4*d for d.
3
Suppose 4*j - 2*r - 33 = j, 0 = -r - 3. Let u be (-3)/(-1) + j/(-3). Solve -l - 3*l + 20 = u for l.
5
Suppose 0 = -s + 17 + 19. Let o be 120/s + (-1)/3. Solve -7*r - 16 = -o*r for r.
-4
Suppose 6 = 4*k - 2. Solve -k*g = -g for g.
0
Let r(z) = -5*z**3 - z. Let c be r(-1). Solve c + 2 = -2*q for q.
-4
Let u be (-2)/4 + (-6)/(-4). Solve -4*s + u - 5 = 0 for s.
-1
Let a be (4 - -1)*(-2)/(-5). Suppose -4*g = 5*g - 18. Solve -3*p = -g*p - a for p.
2
Suppose 20 = 2*b + 3*b. Suppose -12 = 2*l - b*l. Solve 0 = -5*j + 2*j + l for j.
2
Suppose 5*z = 11 + 4. Solve -z = p - 4*p for p.
1
Let i = -23 - -26. Solve i - 5 = q for q.
-2
Let f be ((-12)/6)/(2/(-2)). Suppose -f*l + 6 = l. Let a be 1*(-3)/3 - -1. Solve a = l*o - 0*o for o.
0
Let z(s) = s - 2. Let w be z(-6). Let v be (w/(-12))/((-2)/(-3)). Suppose i - 3 + v = 0. Solve 0*j = -2*j + i for j.
1
Suppose 2*y - 12 = -h + 1, 4*h = 20. Solve -y = -3*k + 5 for k.
3
Suppose -5*g = -3*t - 39, 3*g - 5 + 2 = -5*t. Let c be 2/(-9) - 364/(-18). Suppose 0 = -2*k + 7*k - c. Solve v - g = k*v for v.
-2
Let w(l) = l**2 + 5*l - 6. Let g be w(-7). Solve -10*q = -g*q for q.
0
Let s(w) = w**3 - 7*w**2. Let x be s(7). Solve 3*c + 4 + 5 = x for c.
-3
Let i = -20 - -24. Solve -p = i*p + 10 for p.
-2
Let a be (-36)/(-24)*4/3. Suppose a*t = -0*t - 2*b + 6, -t + 3*b + 7 = 0. Solve -1 = -3*w - t for w.
-1
Let i be 61/9 - (-24)/108. Let l(o) = o + 5. Let c be l(-4). Suppose 4*f - 3*g - 10 = 0, -f + c - i = -5*g. Solve -f*u + 3 = -u for u.
1
Let t(u) = -u + 4. Let w be t(5). Let z be (w/(-2))/((-1)/(-12)). Solve 0 = 2*l + l + z for l.
-2
Let o be 1/4 - (-15)/(-60). Solve -2 = -u - o*u for u.
2
Suppose -11 + 15 = 4*u. Solve -u = 2*g - 5 for g.
2
Let r be 1 + (-2)/(-3)*9/(-6). Solve 2 = -j - r for j.
-2
Suppose 6 = 5*z - 0*c - 2*c, -c + 2 = 0. Let g be (-3)/(-2)*(0 + z). Suppose g*u + 0*u = 0. Solve -2*m = -u*m for m.
0
Suppose 5*b = -0*b - 10. Let y(l) = l**2. Let j be y(b). Solve j = -u - 0*u for u.
-4
Let j = 50 + -47. Solve 0*f = j*f for f.
0
Suppose 0 = -i - 2*i + 4*i. Solve -4*x + i = -12 for x.
3
Let q be (0 + -15)*(2 - 1). Let y = -9 - q. Solve -2*i - y = -0*i for i.
-3
Suppose 4*q + x - 14 = 0, -4*q - 3*x = -7*q + 3. Let t = q - 2. Suppose -t = d, d + 4*d - 35 = -4*i. Solve -3*v - i = -5*v for v.
5
Suppose 0 = h - 0*h - 3. Suppose 5*c - c - 12 = -i, -c = -h*i + 10. Solve 5*s - 3 = c for s.
1
Let b = -4 - -5. Let t be b/4 + 70/8. Solve 2*m + 1 - t = 0 for m.
4
Suppose -4*r - 24 = -0*r. Let k be (-5 + 2)/(r/8). Solve 2*w = -k + 2 for w.
-1
Let s(v) = v**2 + 2*v + 3. Let j be s(-2). Let p(o) = o + 4. Let b be p(j). Solve b*d + 25 = 2*d for d.
-5
Suppose -4*u = 2*h + 2, -2*u = -h + 3*h. Solve h = t + 2 for t.
-1
Let m = -184 + 194. Solve z + z = m for z.
5
Suppose 2*g + 0*g = 4*k - 8, -2*k - 4 = -5*g. Let z = k + -4. Let a be (0/(-1 - -4))/z. Solve a = -4*p - 12 - 8 for p.
-5
Let k = 10 + -20. Let m = -8 - k. Solve v - 7 = -m for v.
5
Let j(u) = -u**3 - 1. Let v be j(-2). Suppose -v = x + 3*z, -16 - 5 = -3*x + 5*z. Let p be -4*(1 - 4)/12. Solve -p = -3*d + x*d for d.
1
Let n be 5 - (5 - 4)*1. Solve 10 + 6 = -n*t for t.
-4
Let y(c) = -c**3 + 7*c**2 + 9*c + 8. Suppose -3*a - 8 = -4*a. Let t be y(a). Solve -4*g + t + 4 = 0 for g.
5
Let s(c) = -c**3 - 3*c**2 + 2*c - 1. Let n be s(-3). Let l(h) = -h**3 - 8*h**2 - 7*h + 6. Let g be l(n). Solve -d = -g*d for d.
0
Let x = 12 + -9. Suppose -a = -2*a - x. Let r be a/1*(-24)/18. Solve 0 = r*k - 0*k - 16 for k.
4
Suppose 23*b - 19*b - 4 = 0. Solve -j + 4 = -b for j.
5
Let b be (-2)/2*(5 - 7). Solve 3*m - m = -b for m.
-1
Let x(o) = 2*o**2 + 4*o - 11. Let q be x(2). Solve -q*y + 3 + 7 = 0 for y.
2
Let u = -54 - -61. Solve 1 + u = -2*k for k.
-4
Suppose 0 = -5*j + 3*r + 26 + 54, -2*j - 4*r + 32 = 0. Solve 5*h = 4 + j for h.
4
Let g(f) = f**2 - 4*f + 8. Let o(v) = -7*v - 1. Let d be o(-1). Let j be g(d). Solve 3*u = -u + j for u.
5
Suppose 0 = -2*v - v + 48. Suppose -r + v = 3*r. Let p = -7 + 10. Solve -m + p = r for m.
-1
Let v = 10 + -5. Solve -v*j = 9 + 11 for j.
-4
Let g be (-15)/(-3)*14/10. Suppose -5*i - w + 19 = 0, -3*w + 5 + g = 0. Let h = i + -1. Solve 3*l + h*l - 20 = 0 for l.
4
Let j(h) = h**2 + 4*h + 2. Let n(f) = f**3 + 5*f**2 - 6*f - 4. Let w be n(-6). Let c be j(w). Solve c*i = i for i.
0
Suppose 3*u = 5*r + 15, -4*u + r + 31 = -2*r. Suppose -s - 3*b = 4, -3*b - u = 2*b. Let w be (8/10)/2*20. Solve 5*y - w = s for y.
2
Let p(r) = r**2 + 6*r + 2. Let u be p(-6). Suppose -u*z - 2*q = -8, z = -2*q - 1 + 5. Solve -4*a = -z - 16 for a.
5
Let t = -3 + 3. Solve w = -t*w for w.
0
Let u(g) be the third derivative of -g**6/120 - g**5/60 + g**4/8 + g**3/3 - 3*g**2. Let a be u(-2). Solve a*o + o = -5 for o.
-5
Suppose -5*y + 22 = g, -g - y + 5*y = 14. Let t be (-8)/(-6)*(20 + -17). Let a(u) = -u**3 - 2*u**2 - u - 2. Let k be a(-2). Solve k = t*l - g*l for l.
0
Suppose -2*q + 5*f - 21 = 0, -33 = -4*q - 6*f + f. Suppose 24 = -q*b - b. Let k be (-2)/b - (-2)/(-8). Solve h - 5*h + 4 = k for h.
1
Let b(i) = -i**2 - 5*i + 3. Let v be b(-5). Suppose -6 = v*d - 5*d. Solve 3*z - d + 15 = 0 for z.
-4
Suppose 0 = f - 2*m - 106, -2*m = 2*f - 132 - 74. Let h be (f/4 - -1) + -2. Solve z - 6*z + h = 0 for z.
5
Suppose 0 = -4*d - 3*n + 61 + 30, 40 = 2*d - 4*n. Suppose 5*m + v = 0, 5*v + d = 4*m - 7. Let x be ((-12)/16)/(m/(-4)). Solve -x = -3*z + 3 for z.
2
Let z = 13 + -16. Let t = z + 3. Solve t = -2*q - 3*q - 10 for q.
-2
Let k = -10 + 38. Let l = k + -28. Solve 2*b - b - 2 = l for b.
2
Let c = -21 + 24. Solve 1 + 5 = c*t for t.
2
Let a be 1/(-2) - (-25)/10. Suppose 2*g + 3 = 3*g. Suppose -g*x - x = 0. Solve x*m - a*m = 0 for m.
0
Let s = -1 + 0. Suppose -3*v + 8 = -7*v. Let m be 0 + s - (-3 + v). Solve -r = -m*r for r.
0
Let p(h) = -h**3 + 10*h**2 + 13*h - 6. Let o(z) = z**2 - z - 1. Let k be o(4). Let c be p(k). Solve l = -3*l + c for l.
4
Let l(d) = 3*d - 1. Let b be l(2). Solve b*c = 2 - 12 for c.
-2
Let o(y) = -y**2 + 6*y + 31. Let k be o(-3). Solve -r = 3*r + k for r.
-1
Let u(j) be the first derivative of j**6/360 + 5*j**4/24 - 2*j**3/3 + 2. Let m(c) be the third derivative of u(c). Let h be m(0). Solve -n - h = -0*n for n.
-5
Suppose a = 2*a + 5*l - 25, 2*a - l - 28 = 0. Solve 7*d - 4*d = a for d.
5
Let q = 13 - 24. Let m = q - -15. Solve 2*x = -0 - m for x.
-2
Let k(b) = b**3 - 4*b**2 + 5*b - 2. Let v be -9*(5/3)/(-5). Let h be k(v). Let s = h + -4. Solve 3*p - 2*p - 2 = s for p.
2
Let y be (-6 - 0)/(-3) - 16. Let a be 2*-1 - y/2. Suppose 5*s + 4*q = 3*s + 16, s = -a*q + 20. Solve s = 3*j + 1 - 4 for j.
1
Let k = 15 - 13. Solve -k*j = 3*j + 10 for j.
-2
Let y(v) = v. Let p be y(-6). Let l be 3*2*2/p. Let j = 7 + l. Solve j*b - 3 = -8 for b.
-1
Suppose -z + 45 = 4*z. Suppose z*h - 4*h - 6 = 4*q, -5*h - q = -11. Solve 0 = h*d + d for d.
0
Let d(j) = -j**3 - 2*j**2 + j. Let u be d(-2). Let f be ((-1)/u)/((-6)/(-24)). Solve -5*v = f - 12 for v.
2
Suppose -2*f + 4 + 248 = 0. Let u = f + -71. Let r = u - 35. Solve 0 = 2*b + 2*b + r for b.
-5
Let m = 17 - 15. Solve 0 = -3*a + m*a for a.
0
Let i(m) = m**3 - 19*m**2 - 19*m - 20. Let c be i(20). Solve -q - q - 2 = c for q.
-1
Suppose -3*n - 12 = 0, -51 = -4*t + 2*n + 25. Let l = t - 10. Suppose 3*h = -2*r + 40, r + 3*h - l*h = 20. Solve 2*g - 6*g = r for g.
-5
Suppose 2*n - 3*n - 2 = 0. Let c be (3 + n)/((-2)/4). Let b be (6/(-9))/(c/9). Solve b*q + 0 = -3 for q.
-1
Let v(c) = -c**2 - 6*c + 3. Let l be v(-6). Suppose -a + 3*k = -k, -2*k = a. Let t be 0/(1 - a - 3). Solve f - l + 1 = t for f.
2
Let z = 12 + -12. Suppose z = 3*u - 6, 3*d + 0*u = 2*u + 8. Solve d*w - w = -3 for w.
-1
Let h(c) = 2*c - 9. Let y(d) = -7*d - d**2 - 8 + 0 + 2. Let g be y(-4). Let q be h(g). Solve 2*t = q*t - 5 for t.
5
Suppose -3*x = -11 - 4. Let d(g) = g**2 + g + 38. Let