
Let l be 0/3 + (2 - -22). Let d be (l/42)/(2/7). Solve 4 + 0 = -d*s for s.
-2
Let o be ((-19)/2)/((-1)/2). Let z = -15 + o. Solve z*r + 11 - 3 = 0 for r.
-2
Let t be (-4 - -2)/6 - 19/(-3). Solve -2*c + 0*c - t = 0 for c.
-3
Suppose 0 = 4*a - 9 + 1. Solve -x = a*x + 3 for x.
-1
Let z be 7 - (1 - -4 - 3). Solve 2*k - z = k for k.
5
Let x(u) = -2*u + 4. Suppose 1 + 6 = -r. Let v be x(r). Suppose 16 = 2*c - v. Solve -2 = 3*j - c for j.
5
Let u = -55 - -57. Solve u*z - 10 = -0*z for z.
5
Let j = 11 - 7. Suppose -j*z + 21 = -0*z + s, -5*z = -4*s. Suppose 3*u = 2*a + 9, 5*u = a + 4*a + 10. Solve -a*o - 1 = -z for o.
1
Suppose -m = -4*m. Suppose -4*w = -0*w + 4*c - 8, m = w - c - 8. Solve w*b - 3 = -23 for b.
-4
Let g(l) = -l**2 - 11*l + 4. Let x be g(-11). Suppose -3*c = -5*q - 12, 4*c + q + 10 = 49. Let b = -4 + c. Solve b*n + 5 = x*n for n.
-5
Let o be 1 + (-4)/(-2 + 4). Suppose -5*a + 2*c - 5 = -18, 3*c = -3*a - 9. Let b = a - o. Solve 3 = -g - b for g.
-5
Suppose -3*x - 3*t = 9, 2*x = -4*t + 7 - 23. Solve -4*q + 2 = -x for q.
1
Suppose 0*d + 1 = d. Suppose -6*x + 5*x = -d. Solve -1 = -q + x for q.
2
Let z = 9 - 9. Solve z = -3*c + 2*c - 4 for c.
-4
Suppose 2*n = p + 54 - 8, -3*p = 2*n - 30. Suppose -v = c, 2*v + 3*c = 8*c + n. Solve -3*i + v = 6 for i.
-1
Let q be (0 - 0)*1/3. Let u be (-1)/(-3) + (-10)/(-6). Suppose -5*v - 3*w = -w - 18, u*v - 2*w = 10. Solve q = -2*n + v for n.
2
Let f be (-10)/40 - (-18)/8. Solve w = f*w - 3 for w.
3
Suppose -2*a + 48 = -2*j - 2*j, -3*j = -a + 26. Solve a = -4*s + 4 for s.
-4
Let x(k) = k**3 + k**2. Let i be x(0). Solve -4*t = -i*t - 4 for t.
1
Let w be (-3 - (1 + -5)) + (4 - 1). Solve 2*z + w = 12 for z.
4
Let j(f) = 3*f**3 - 1. Let x be j(1). Let s = -11 + 15. Let t = s - x. Solve -p + t = p for p.
1
Suppose 0 = 3*a - 0*a. Solve 5*k - 11 - 14 = a for k.
5
Suppose 6*m + m = 14. Solve b - m = -1 for b.
1
Suppose 5*d - 52 - 81 = -4*b, 4*b - 2*d = 98. Suppose 5*t - 14 = -4. Suppose -5*y - t + b = 0. Solve -3*p + y = -1 for p.
2
Suppose 0 = -16*l + 9*l + 70. Solve 4*q = 6*q - l for q.
5
Suppose -f - 4*d - 19 = 0, -5*f - 7*d - 15 = -3*d. Let y be ((-3)/3 + 1)/f. Suppose -q = -y*t - t - 13, 4*t - 4 = -3*q. Solve j = -j - q for j.
-4
Suppose -3*c - 3*d + 57 = 0, -3*c + 34 + 19 = 4*d. Suppose 7*q - 3*q + 3*p = -c, -24 = 5*q - p. Let h = -3 - q. Solve -g - 2 - h = 0 for g.
-4
Let r = -27 + 29. Let n = -7 - -10. Solve -j + n = r for j.
1
Suppose 5*j + 5 = 4*i - 0*i, 3*i = 5*j. Let d be (1 + (-3)/j)/(-2). Solve -3 = -p - d for p.
3
Suppose 26 = 5*b - 5*p - 24, -4*b + 3*p = -35. Suppose -r = -2*r - b. Let i = 0 - r. Solve i*j - 4 - 6 = 0 for j.
2
Let i be -2*(2 - 5/2). Solve 0 = -2*f - 5 - i for f.
-3
Let t be (6/18)/((-1)/(-6)). Solve -5*y + t + 23 = 0 for y.
5
Suppose c = 2*d - 6, 0 = 5*d - 3*c - 2*c - 5. Solve d*a + 7 = -13 for a.
-4
Suppose -8*r = -7*r. Solve r*f = 2*f + 4 for f.
-2
Let z = -7 + 4. Let r be (-5)/2*(-3 - -1). Let u be (1 + r)*z/(-9). Solve -a - u*a - 3 = 0 for a.
-1
Let w be 3*(-6)/(-9)*1. Suppose -5 = -w*c + 11. Suppose c*o - 3 = 7*o. Solve x + o = -2 for x.
-5
Let h(j) = j. Let n be h(-6). Suppose 3*i - 4*m - 49 = 0, -3*m = -3*i + 8*i - 43. Let s = i + n. Solve 0*p - 10 = s*p for p.
-2
Let a be (5/(-15))/((-2)/84). Let o = 17 - a. Solve -o*t = -0*t + 9 for t.
-3
Let r(o) = o**2 + 6*o - 5. Let s be r(-7). Let y(v) = -3 + 0 - 1 + 3*v + s. Let k be y(2). Solve -w = -0*w + k for w.
-4
Let u(m) = -m**3 - 5*m**2 + 9*m - 10. Let i be u(-7). Solve 2*t + 3*t = -i for t.
-5
Suppose 4*l - 8 = -4*n, l - n + 2 = -0*l. Solve l*s - 5*s = 0 for s.
0
Let t(p) = p**3 + 12*p**2 + 11*p - 1. Let d be t(-11). Let i be ((-3 + -6)/3)/d. Solve 3*a - i = -0 for a.
1
Let w be (4/2)/(-2)*-4. Let h = 33 - 21. Let a = h - 7. Solve -d = -a*d - w for d.
-1
Let n be (12 - (9 - 7))*6/4. Solve -p - n = -4*p for p.
5
Let q(c) be the first derivative of c**2/2 + 2*c - 1. Let d be q(3). Suppose 5*w + 3*x = 2*w + 12, -w - 4 = -x. Solve d*h - 1 - 24 = w for h.
5
Let d = -248 + 251. Suppose -4*r = r. Solve d*o = -r*o - 6 for o.
-2
Let a = -10 + 10. Solve a*g + 5*g = 0 for g.
0
Let p(b) = -3*b - 34. Let c be p(-13). Solve 9 + 6 = c*h for h.
3
Let q = -45 + 46. Solve 0*f + q = -f for f.
-1
Suppose -4*h = 0, 4*h + 13 = 2*i - 3. Suppose -2*o + 3*g = -9, 0 = -2*g - i + 2. Let v = 0 - o. Solve -4*f - 7 + 3 = v for f.
-1
Let n(k) = 7*k. Let o be n(2). Suppose 0 = -3*i + 4*f - o, 18 = -i + 4*f - 0. Suppose -i*v = -4*a, -2*a + 3*v = -5*a. Solve j - 1 - 3 = a for j.
4
Let a be 0/((4 - 8) + 2). Solve 5*f + 9 + 1 = a for f.
-2
Let v(f) = -2*f - 10. Let i(b) = -6*b**2 - b + 1. Let d be i(1). Let q = d - 1. Let k be v(q). Solve 0 = 5*p - k*p - 2 for p.
2
Let d = 4 + -3. Let s = 3 + d. Suppose 2 + 14 = s*h. Solve -3*c = -h*c for c.
0
Let s be (3/6)/(4/(-16)). Let a = 5 + s. Let i(r) = 2*r - 2. Let f be i(a). Solve -3*m + f*m - 1 = 0 for m.
1
Let q(o) = o - 4. Let g be q(7). Suppose 0 = -g*v - v + 20. Solve -w = -v*w - 12 for w.
-3
Let o = 2 + 1. Let j be (-2)/6 + 7/3. Suppose -5*b + 5 = -5*c, 0 = -b + 5*c - j*c + o. Solve b*a + 5*a = -15 for a.
-3
Let s = -3 + -3. Let t = -5 - s. Let w(o) = -o**2 - 8*o + 5. Let q be w(-6). Solve t = 4*h + q for h.
-4
Let p be (1 - 0)/(-4 - -3). Let h = 3 - p. Solve 2*n = h*n for n.
0
Let v be (0 - 2)*(-4 + 1). Solve 4*u - u + v = 0 for u.
-2
Let v be 8 - ((-25)/(-5) + 0). Solve -12 + 0 = -v*z for z.
4
Suppose -5*t + 4*w + 18 = 0, -4*t + 4*w + 12 = 2*w. Solve 0 = 2*n - 0 - t for n.
1
Let w be (-77)/(-21) + (-4)/6. Solve -w*c + c = 6 for c.
-3
Let m(h) = -h**3 + 6*h**2 - 7*h + 10. Let r be m(5). Solve -k - 2 + 4 = r for k.
2
Let x(h) = -h**2 + 11*h + 4. Let a be x(11). Solve 0*d + a = -d for d.
-4
Let l(h) = -h**2 - 2*h + 11. Let d be l(-4). Solve -d*n - 5 = -2*n for n.
-5
Let v(l) be the first derivative of l**4/4 + 2*l**3/3 - l**2/2 - l + 2. Let i be v(-1). Solve -3*m = i + 8 for m.
-3
Suppose 6 = r + u, 5*r = 4*u - 12 + 33. Solve r*x = -29 + 9 for x.
-4
Let s be -1 + 11/(33/18). Solve -7 = -s*p + 3 for p.
2
Let q(l) = 2*l + 6. Let z be q(-13). Let p be (-16)/(-9) - z/90. Solve 7*d - p*d + 15 = 0 for d.
-3
Let k be 1/8*4*(-2 + 18). Solve -9*q + k = -13*q for q.
-2
Let k(r) = r**3 + 3*r**2 - r + 14. Let u be k(-4). Solve -u*c + 10 = 4 for c.
3
Let y = 8 - 8. Solve -a - 1 + 4 = y for a.
3
Let j = 3 + -2. Let i = j - 1. Let z(x) = x**3 - 6*x**2 + 4*x + 6. Let t be z(5). Solve -o = -i + t for o.
-1
Suppose -38 = 2*k + 16. Let m = -19 - k. Solve 28 - m = 4*l for l.
5
Let m(a) = -4*a - 2. Let i be m(-2). Let g(o) = o**3 + 9*o**2 - o - 8. Let s be g(-6). Suppose -5*l + s = i. Solve r - 5*r = l for r.
-5
Suppose 4*p = -5*l + 30, -l = 2*p - 0*p - 12. Let f be (4/6)/(4/18). Suppose -4*z + 0*z = t - 10, -l*z + 12 = -f*t. Solve 0*w - 3*w = z for w.
-1
Suppose 2*u + 11 = 3*z, 4*z - 2*z = -3*u - 10. Solve 3 = g + z for g.
2
Let r(y) = -y**2 - 6*y + 4. Let t be r(-7). Suppose -2*p + 7 = 2*s - 9, 5*s = -3*p + 18. Let o = t + p. Solve -3*f + 7*f = -o for f.
-2
Let a = 10 + 0. Solve -4*t - a = -2*t for t.
-5
Suppose -19 = -4*h + 29. Suppose -2*s - 5*v = h + 1, -2*v = 3*s - 8. Suppose -2*m = -3*m + s. Solve 2*i - m = -i for i.
2
Suppose 15 = -3*a + 3*o, 3*a + 5*o = 5*a + 1. Let q(t) = t + 10. Let b be q(a). Solve -2 - b = -4*u for u.
1
Let u be (3 - 3) + 1/(-1). Let p be u/6 + 25/6. Solve 0 = -p*i + 8*i + 8 for i.
-2
Let b = -5 + 9. Let v(a) = -a + 3. Let r be v(5). Let w be (-3)/(-6)*8 - r. Solve -b = 2*x + w for x.
-5
Let t(j) = -j**3 - 11*j**2 - 11*j - 2. Let x be t(-10). Let w = -5 + x. Let u = 16 - 4. Solve 3 = w*a + u for a.
-3
Let a(c) = -c**3 - 8*c**2 - c - 3. Let z be a(-8). Solve z*p + 0*p = -5 for p.
-1
Suppose 9 = -5*w + 29. Suppose b + 30 = -w*b. Let x be 1/(-2) - 57/b. Solve 0 = 4*n - n + x for n.
-3
Suppose -c - 17 = -4*c + x, -2*x = 10. Let f(w) = -w**2 + 4*w - 1. Let k be f(2). Solve 0 = -n - k*n - c for n.
-1
Let t be ((-4)/12)/((-1)/12). Suppose -t = -2*m - 0*m. Suppose -1 = -m*n + 7. Solve -5*r + n*r + 2 = 0 for r.
2
Let v(s) = s**2 + 2. Let h be v(0). Let i = h + -3. Let j be i - (-1)/((-1)/(-11)). Solve -j = 4*x - 2*x for x.
-5
Let n be -9*-5*4/12. Solve 3*r = -0 - n for r.
-5
Let l = 10 + -6. Suppose 0 = -l*d + 4*w + 32, 3*w + 17 = 3*d - d. Suppose -5*h - 5*o = -15, 2*h - 5*h + 5*o = d. Solve -h + 9 = 2*i for i