- f = -3*l for l.
5
Let r be ((-6)/(-21))/(-4 + 29/7). Solve 3*n = r*n - 3 for n.
-3
Let s(b) = b**3 + 9*b**2 - 3*b + 1. Let w be s(-8). Suppose 4*g - 11 - w = 0. Solve 5*u = -5 + g for u.
4
Let w = -29 + 44. Suppose -h + w = -0*h. Solve -5*x - h = 5 for x.
-4
Suppose -c = 3*c + 3*p - 9, 4*p - 12 = -5*c. Let g(q) = 1. Let n(w) = -w**2 + w + 9. Let x(v) = -6*g(v) + n(v). Let i be x(c). Solve 0*f - i = f for f.
-3
Suppose 3*r + 0*r - 27 = 0. Suppose -4*x + 24 = -4*s, 3*x - r = -s + 5. Solve x*w = 3*w for w.
0
Let m(s) = -2*s - 2. Let k be m(-3). Let v = 7 - 5. Suppose -p + 48 = v*p. Solve 4 - p = k*h for h.
-3
Suppose -7 = -4*x + 9. Let h(k) = 3*k. Let u be h(x). Solve -u = 2*q + q for q.
-4
Let f(q) = q**3 + q - 2. Let g be f(2). Let o(p) = -2*p**2 - 3 - g*p - 2*p**2 + 3*p**2. Let h be o(-6). Solve 0*x = -3*x + h for x.
3
Suppose 0 = k + 5*i + 3, -4*k + 12 = -i - 3*i. Suppose -3*q - 2*q + 25 = -2*l, -l + 10 = k*q. Solve l*a = 3*a for a.
0
Suppose -2*u + 9 + 15 = 0. Let l = -8 + u. Solve l*a - 13 + 5 = 0 for a.
2
Let h be (-4)/(-10) - (-4)/(-10). Suppose 2*a + h*a = 0. Suppose 0 = -3*m - 2*w, a*m + 2*w = -m. Solve m = b - 2*b - 1 for b.
-1
Let d be (-16)/(-6)*3/2. Suppose 0*s = -2*s - 28. Let u = -3 - s. Solve d*a = -u - 1 for a.
-3
Let u = 5 - 3. Suppose -2 = -2*f - u*s, 3*f + 6*s - s - 3 = 0. Let i(d) = d + 1. Let l be i(f). Solve l = x + 1 for x.
1
Suppose -16 = -4*v - 4. Solve r = v*r - 4 for r.
2
Let v = -20 + 9. Let x = 15 + v. Solve -x*m + 3 = -5 for m.
2
Let t(n) = -3*n**2 + 2*n - 1 - n + 2. Let h be t(-1). Let q be 10/4 - h/(-6). Solve -8 + 0 = -q*l for l.
4
Suppose 19 = 2*d - 11. Solve 0 = 5*p - d - 5 for p.
4
Suppose 4*f = 2 + 10, 3*b - 21 = -4*f. Solve -b = -2*k + k for k.
3
Suppose 2*p - 10 = u + 4*p, 20 = -4*p. Suppose u = -3*j - j. Suppose j*g - 3*g = 0. Solve g*w + 2 = -w for w.
-2
Suppose 0*b = 4*b. Let f(d) = d**2 - 4*d + 4. Let t be f(4). Solve x - t*x - 15 = b for x.
-5
Suppose 10 = 9*h - 7*h. Solve 0 = 2*v - v - h for v.
5
Let i(j) = -j**3 + 10*j**2 + 12*j - 13. Let t be i(11). Let f be -1 - (-59 - 2/t). Let h be (-1)/(-2) - f/(-6). Solve 0 = -4*k - 6 - h for k.
-4
Let i(p) = 4*p + 42. Let d be i(-10). Solve 1 = c - d for c.
3
Suppose 0 = -5*d - 9 + 4. Let k = d + 6. Solve 2*i - k = 3 for i.
4
Let u be -1 + 3 + (-13 - 0). Let y(s) = -s - 5. Let w be y(u). Solve -q = -w*q - 10 for q.
-2
Let h(k) = -k**3 - k**2 + k - 2. Let m be h(-2). Let q(b) = -6*b**3 + 1. Let s be q(-1). Let a(z) = z**2 - 7*z + 3. Let i be a(s). Solve -v - i = -m*v for v.
-3
Let u = -21 + 34. Suppose -4 = u*n - 17*n. Solve -n = -g - 0 for g.
1
Suppose 4*w - 2*x - 21 = 5, 3*w = -5*x - 13. Suppose w*j - j - 18 = 0. Solve -r = r - j for r.
3
Let h(b) = -b**3 + 13 + 10*b - 8*b**2 + 0*b**3 + 0*b**3. Suppose 2*r = -3*r - 45. Let j be h(r). Solve 1 = -j*z - 7 for z.
-2
Let z be ((-8)/5)/(2/(-5)). Suppose -9 = t - z. Let w be 2/t - (-22)/5. Solve -f + w = -1 for f.
5
Suppose 3*x + 2*x - 10 = 0. Solve x*q - 6 = -0*q for q.
3
Let g = 4 + -1. Solve -s + g*s = 2 for s.
1
Suppose -4*t + 3*c = 2*c - 36, t - 4*c = 9. Let k(q) = -3*q - 3 + t*q + 3*q. Let l be k(2). Solve -3*i - 2*i + l = 0 for i.
3
Suppose d - 4*d = 0, -5*q - d = -75. Let f = -3 + q. Suppose -3*g + 3*z + f = 0, -3*g = 2*g + 2*z + 8. Solve g*i + 2 = -i for i.
-2
Let h = 9 + -6. Let d = 0 + h. Solve -d*r - 8 = r for r.
-2
Let x be 5*((-44)/(-20) + -2). Solve c + x = 2 for c.
1
Let x be (-16 - -16)*(-1 - 0). Solve 0 = 2*b - x*b for b.
0
Suppose -f - n + 4 = -3, 0 = -3*n + 12. Suppose 0 = 4*x + 3*p - 44, f*x - p = -0*p + 20. Solve 4 + x = 4*k for k.
3
Let x(m) = -9 + 4*m**3 + 9*m - 4*m**2 - 3*m - 5*m**3 - 2*m**2. Let t be x(-7). Let u = 2 + t. Solve 0 = -z - 1 - u for z.
-1
Let c(b) = b**3 - 9*b**2 + 9*b - 5. Let g(k) = -k**3 - 2*k**2 - 2*k + k**2 - 3*k**2. Let z be g(-4). Let l be c(z). Solve -u + l*u = -4 for u.
-2
Let v(h) = 3 + 4*h - 3*h + h**2 + 4*h - 1. Let l be v(-6). Let z = 14 - l. Solve 1 = w + z for w.
-5
Suppose -5*r = u - 84 - 32, -108 = -5*r - 3*u. Suppose d = -2*d + r. Solve 0 + d = 4*z for z.
2
Let k be 641/5 - 1/5. Suppose k = l + 3*l. Solve -5*n + 12 = l for n.
-4
Let j(g) = -g**2 - 11*g - 9. Let s be j(-8). Let h be 0/((-2)/1 - 0). Let v = h + 0. Solve -2*r - r + s = v for r.
5
Suppose -u - u = 0. Suppose -12 = -4*x - u*x. Solve x*k = 7 + 5 for k.
4
Let d(m) = -m - 13. Let h be d(0). Let v = h + 9. Let o = -4 - v. Solve -3*z + o = 3 for z.
-1
Suppose 0*z + 4*z - 5*r = -13, 3*z - 3*r = -6. Solve 0 = -z*c + 2 + 4 for c.
2
Suppose y - 2*y = 5, 0 = -2*i - 5*y - 21. Let p be (-1 - 9/(-5))*5. Suppose -4*c = i*m - 64, -80 = -c - p*c - 4*m. Solve c = -5*t + 1 for t.
-3
Let v = -14 - -23. Suppose 0 = -3*t + v + 3. Solve 3*j = t*j + 1 for j.
-1
Suppose 4*u + 2*u - 30 = 0. Solve 12 = -u*c - 13 for c.
-5
Suppose -3*m - 8 = -6*m - 2*h, 2*m = 2*h + 22. Let a be m/(-3 + 4 + 1). Solve -5*w - 4 = -a*w for w.
-2
Suppose 4*k = -3*i + 1 - 13, 12 = -4*k. Suppose w + 18 = d + d, i = 4*w + 8. Let f be (d/6)/(2/3). Solve -f*h = -3*h - 3 for h.
-3
Let d be (-16)/(-6) - 2/(-6). Suppose d*n = 3, -2*n - 28 = -q - q. Suppose -3*z = -3, -3*y + 1 = 2*y + z. Solve -2*r - r - q = y for r.
-5
Suppose 6 = -0*r + 3*r. Suppose 3*k = i - 14, r*i + 4*k + 15 - 3 = 0. Solve i*u = 1 + 9 for u.
5
Suppose 4*v - 37 = 5*m, v - m + 12 = -4*m. Solve v = -t + 4*t for t.
1
Let u be 6 + (15 - (-10)/(-2)). Solve 9 = -5*h - u for h.
-5
Let a = 1 - -3. Suppose 4*q = -o - 6, -1 + 8 = -o - 3*q. Let t be (-8)/(-1)*(-5)/o. Solve a = t*x - 0*x for x.
1
Suppose -5*p - q + 18 = 2*q, -q = -1. Let t be (-2)/(-1) + (-1)/1. Solve -p = h - t for h.
-2
Let h(u) = u**3 - 6*u**2 + 4*u + 1. Let t be h(6). Solve -f - 4*f = -t for f.
5
Let r(b) = -b**2 + 6*b - 6. Let o be r(4). Suppose -o*l = -l. Solve l = t - 5*t + 8 for t.
2
Let l = 3 + -2. Suppose -2*w - 42 = -8*w. Let n = w - l. Solve -3*u + 3 + n = 0 for u.
3
Suppose -2*u = -47 + 7. Suppose -u = -4*c - c. Solve -z + c*z = -3 for z.
-1
Suppose -i - 29 = 3*i + 5*u, -5*i + u = 0. Let j = i - -1. Solve 0*a + a = j for a.
0
Suppose 0 = 2*g - v + 4*v + 5, 4*v + 6 = -3*g. Suppose -a - 1 + 7 = 0. Let t = a - 6. Solve t = 5*x - g*x for x.
0
Suppose b + 3 = 3*h, -4 = h - 0*h - 2*b. Solve -2*p - 16 = h*p for p.
-4
Let i be 7*(-1 - 81/(-21)). Solve -19*d + i*d = -3 for d.
-3
Suppose -6*l + l - 23 = 2*y, 4*y = -4*l - 40. Let k = 14 + y. Suppose 1 = a - k*z + 18, 0 = -4*a + 2*z + 4. Solve -4 = 7*r - a*r for r.
-1
Suppose 0 = 2*f + f - 6. Suppose 27 = 2*z - 4*p + p, z - 5*p = 17. Solve 0 = 2*b + f - z for b.
5
Let i(s) = s**3 - 14*s**2 - 16*s + 19. Let y be i(15). Solve y*x - x = 9 for x.
3
Let m(k) = -10*k - 1. Let s be -3 + (5 - 2) + -2. Let f be m(s). Solve -f = 3*p - 4 for p.
-5
Let d = 31 - 31. Solve -u - 2*u - 12 = d for u.
-4
Let z = 28 + -25. Solve -w = z*w for w.
0
Let b(c) = c**3 + c**2 + c + 3. Let i be b(0). Suppose -12 = -v - 3*f, 11 + 4 = 5*f. Suppose -3*x = -5*g + 31, -2*g - x = -g - v. Solve g - i = w for w.
2
Suppose -3*j + 5*i = 0, -2*j + 4*j - 4*i + 2 = 0. Suppose 5*l - j = 10. Solve -o = -l*o for o.
0
Suppose -4*a + 27 = i, -21 = -a - 6*i + i. Let j(b) = 6*b - 11. Let q be j(a). Solve -3*y + q = 2*y for y.
5
Let c be ((-7)/(-21))/((-1)/(-6)). Suppose 0 = 5*g + 4*i - 10, -c*i - 6 = -3*g - 3*i. Solve -4 = -j + g*j for j.
-4
Suppose -2*y + 40 = -2*q, -14 = -5*q - 4. Suppose -66 = -4*f - y. Solve 0 = 5*j - 4 - f for j.
3
Suppose -4*b + 3*b = -6. Suppose -b*y + 12 = -2*y. Solve 0 = y*z - 13 + 1 for z.
4
Let f = 2 - 2. Suppose -2*d + 26 = d - 2*m, -4*m = 4. Solve d = -4*l - f*l for l.
-2
Let x(h) = 0*h**2 - 4*h**2 + 3*h**2. Let d be x(1). Let q be -2 - (-1 + 2*d). Solve -c = q - 2 for c.
1
Let m be (6/4)/((-6)/8). Let v be 171/45 + m/(-10). Solve 5*d - 1 - v = 0 for d.
1
Let o(z) be the third derivative of 0 + 0*z - 5/3*z**3 + 1/12*z**4 + 2*z**2. Let m be o(7). Solve h - m = -h for h.
2
Let t be -3*(-9 + -3)/(-4). Let r be t/1*(-1)/3. Solve 0 = 5*y - r - 2 for y.
1
Let n = 44 + -34. Solve 3*d - 1 + n = 0 for d.
-3
Suppose -2 = b - 4*j, 4*b - 5*j - 3 = 44. Solve 6 = -3*x + b for x.
4
Suppose -5*q = -5, -u - 3*u + 63 = -q. Let f be u/5 - 1/5. Let j be 10/f - (-3)/(-9). Solve 0 = -j*a + 15 - 0 for a.
5
Let o be 5*(84/(-35) - -3). Suppose 0 = -3*w - 3*m + 18, 5*w + m + 2*m = 28. Let j be 2 - (1 + -3 + 2). 