, 2*l + p - 5 = 14. Solve 4 = -10*u + l*u for u.
-4
Suppose -3*s - 4*q = -27, 0*q = -s - 5*q + 9. Solve -2*c = c + s for c.
-3
Let f = -20 + 11. Let u be (5/(-3))/(3/f). Solve 2 = 3*h + u for h.
-1
Let z(s) = -s - 2. Suppose 0*l + 6 = -d + l, -30 = 5*d - l. Let k be z(d). Solve 0 = -2*r + 6*r - k for r.
1
Let m(g) = 2*g**2 + 23*g + 35. Let q be m(-10). Solve 1 = -3*a - q for a.
-2
Suppose 4*q = -5*r + 18, 4*r - 18 = -3*q - 2*q. Solve n + 3 = -q for n.
-5
Let r(p) = -p**3 - 4*p**2 + 5*p + 4. Let f be r(-5). Suppose -2*k + 4 = -f. Suppose k*v = n + 31, -4*n = 2*v - 2*n - 8. Solve -19 = 3*u - v for u.
-4
Let w be 8/(-4) + 0 + 2. Let k = 2 - w. Suppose 3*g + 4 = 5*r + 1, -3*g = -k*r - 6. Solve 2*x + r + 7 = 0 for x.
-5
Let v(j) be the first derivative of j**2/2 + 8*j + 1. Let w be v(-6). Let n be 2 - (0 - 0)/(-2). Solve w*q + 8 = -n for q.
-5
Let r be -2*((-124)/(-8) + -4). Let a = r - -38. Solve 0 = 7*z - 2*z - a for z.
3
Let n be 3 + (-4)/((-8)/(-6)). Solve 3*y - 12 = -n*y for y.
4
Suppose 0 = 3*z + 9, z - 1 + 12 = 4*q. Suppose -g + 10 = 1. Solve -q*o - o + g = 0 for o.
3
Suppose -2*l - 13 = -17. Suppose -l*s - 2*s + 8 = u, 0 = u. Solve -2*r + 4 = s*r for r.
1
Let r(z) = z**3 + 10*z**2 + 10*z + 12. Let f be r(-9). Suppose d - f*j = 4, -5*d + 0*j = j - 20. Solve -3*l - d = -2*l for l.
-4
Let s(y) = -3*y - 46. Let v be s(-19). Let x(n) = 2*n - 10. Let k be x(7). Suppose a = 2*a - 1. Solve v = -k*j - a for j.
-3
Let r(d) = d**3 + 5*d**2 - 3*d - 4. Let q be r(-4). Solve -4 = -5*o - q for o.
-4
Suppose -3*k = k - 8. Solve 8 = 3*t + k for t.
2
Suppose -3*z - 25 = 110. Suppose 0 = -p + 2*p - 2*j, -5*p + j = -45. Let l be p/z - (-2)/9. Solve l = i + 1 - 3 for i.
2
Let n be (-2 + 11/3)*3. Suppose -2*l = -c - 4, -c = 2*c - 4*l + 8. Solve c = n*b - 0 - 5 for b.
1
Let i(s) = -1 + 1 + s - 3 + 1. Let p be i(4). Solve p*v + 2 = -0 for v.
-1
Let m(z) = -12*z + 4. Let b be m(-1). Solve -b = 2*l + 2*l for l.
-4
Suppose -g - 11 = -5*x, 2*x = -3*g + g + 2. Let k be ((-5)/15)/(x/(-6)). Let q(d) = -d - 3. Let n be q(-6). Solve -k = -2*t + n for t.
2
Let i be (1 + 3/(-5))*5. Let x(k) = -k**3 + 9*k**2 - 7*k - 6. Let a(c) = -c**3 + 4*c**2 + c + 4. Let y be a(4). Let t be x(y). Solve 0*u = -i*u - t for u.
-1
Let v(x) = 9*x - 4. Let d be v(4). Suppose 2*w - w - d = 0. Suppose 0*m - 3*z - 7 = 2*m, -3*m = -4*z - w. Solve -b - 9 = -m*b for b.
3
Let r = -7 - -13. Let z be 37 + 1 - r/2. Let o be 150/z + (-4)/14. Solve -m - o = m for m.
-2
Let k(x) = -5*x**3 + 2*x + 1. Let q be k(-1). Suppose q = 2*z + 2*z. Let l be (25/10)/(z/2). Solve -l*d = 6 - 1 for d.
-1
Let t(h) = -3*h**3 - 4*h**2 - 4*h + 2. Let s be t(-2). Solve 7 + s = 5*y for y.
5
Let c = 124 - 122. Let r = 4 - -3. Solve -c*b + r*b = 10 for b.
2
Let c(u) be the second derivative of -u**3/6 + u**2 + 10*u. Let y be c(0). Let v be (-17)/(-3) + (-4)/6. Solve -v*l + 13 = -y for l.
3
Let k = -47 - -52. Solve 5*z - 5 = k for z.
2
Let i be 42/24 - 2/(-8). Solve -i*y - 2 + 6 = 0 for y.
2
Suppose 2*c + t + 6 = 5*c, 4*t = 0. Let h = -4 + c. Let g be 5 - -2 - (h + 1). Solve -i = i + g for i.
-4
Let c(l) = -4*l - 52. Let o be c(-13). Solve -5*a = -o*a for a.
0
Suppose -3*n + 6 = -6. Let o be (6/n)/((-3)/(-4)). Suppose -w + 3*d + 9 = -6*w, 2*w = o*d + 6. Solve 0*i + 2*i - 2 = w for i.
1
Let q(d) = 3*d - 13. Let l be q(6). Solve 0*r = l*r + 10 for r.
-2
Suppose -3*m - 4 + 7 = 0. Solve 3 - m = f for f.
2
Let r(a) = 3*a + 2. Let q be r(3). Let p be (-4)/22 - (-2)/q. Solve 2*j + 2 - 6 = p for j.
2
Suppose 0 = p - 5*p + 5*w + 14, 4*p - 28 = -2*w. Solve 4*c - p*c = -4 for c.
2
Suppose 18 - 3 = 3*t, -5*h + t = -5. Solve 0 = h*a - 0*a for a.
0
Let q = 17 - 13. Suppose -u = -5*i + 2*u + 33, 0 = q*u - 16. Solve i = 4*g - 3 for g.
3
Suppose -2 = 5*b + 8. Let m be (-18)/(-15)*(-20)/b. Suppose 4*q - m = q. Solve 0 = q*v + 6 + 10 for v.
-4
Let j(x) = x**2 - x - 3. Let z be j(3). Let y be (-3 + z + -1)*-1. Solve k + y = -1 for k.
-2
Let x be 1 - -4 - (-9 + 7). Let s(i) = i**2 - i - 2. Let f be s(4). Let c = f - x. Solve -c*w + 4*w = 0 for w.
0
Let u be (-6)/(-9)*(-27)/(-6). Suppose u*b = b - 16. Let x = -6 - b. Solve z = -z - x for z.
-1
Suppose 0 = y - 2*x, 3*y - 3*x = 8*y. Suppose -3*k + 0*k = y. Solve m - 5*m - 12 = k for m.
-3
Let f(z) = z**3 - 29*z**2 + z - 27. Let m be f(29). Solve 0 = m*u - u for u.
0
Suppose 2*g + 16 = 4*y, 0*y - y = 2*g - 4. Let j = -5 + 9. Solve g = h - j for h.
4
Suppose b + 4*j + 12 = 2*b, b + 4*j + 4 = 0. Let o(n) = n. Let t be o(b). Suppose t*s - 12 = s. Solve 0*y + 16 = s*y for y.
4
Suppose 0 = -5*v + 9*v. Solve -3*y + 2*y = v for y.
0
Let s be ((-2)/(-4))/(1/8). Suppose -s*g = -3*o - 7, 8 = 3*g - 4. Let i be 4/o*(-45)/(-6). Solve -6*w - i = -4*w for w.
-5
Suppose 4*a = 5*a - 3. Solve 0 = -a*o + 2*o - 5 for o.
-5
Let m(r) = -r - 6. Let s be m(-10). Solve c = -s*c - 10 for c.
-2
Let n = -11 - -14. Suppose -4*y = -7*a + 3*a, -2 = -n*a + 2*y. Solve 0 = a*b + 3*b - 10 for b.
2
Let c be (8 + -3 + -1)*10. Let h be (-4)/(-22) - c/(-22). Solve 10 = -h*w + 4 for w.
-3
Suppose 8*y = 5*y. Let w be -2*15*2/(-3). Suppose -n + 4*v - 9 = 6, -2*n - 2*v + w = 0. Solve y*a + 15 = -n*a for a.
-3
Suppose 0*u + 12 = 5*s + 2*u, 3*u - 9 = -3*s. Suppose -2*c - 16 = -5*p - 0*c, -p - s*c = 4. Solve z + p = 3 for z.
1
Let j(f) = 3*f**3 + 2*f**2 - f. Let d be j(1). Suppose 0 = 2*y + d - 8. Suppose 4*m = 20 - 4. Solve m*u - 18 - y = 0 for u.
5
Let n(k) = -k**2 + 9*k + 14. Let x be n(10). Suppose 3*h - 11 = x. Let s = 9 - h. Solve -s = -2*w - 14 for w.
-5
Let v be -1 + (-2)/(4/(-10)). Let g = v + -1. Solve -4*q + 1 = -g for q.
1
Suppose 2*v + 18 = -24. Let i = -19 - v. Solve -3*w = -i*w - 1 for w.
1
Let z = 7 - -20. Let m be (-4)/(-18) - 33/z. Let i = m + 1. Solve -2 = -u - i for u.
2
Let w(n) = -6*n. Let z be w(-1). Let p(u) = u**3 - 5*u**2 + 3*u. Let h be p(5). Let g = h - z. Solve 0 = 2*f + 1 + g for f.
-5
Let d be ((-4)/(-5))/(8/20). Suppose 0 = -0*z - d*z + 8. Solve 0 = p - z*p + 15 for p.
5
Let y = 4 + -1. Let k be (y/6)/((-2)/64). Let g = 26 + k. Solve -5*s - g - 15 = 0 for s.
-5
Suppose -5*v = -0*v + 20. Let m be 3/6 + (-22)/v. Solve 4 = -2*i - m for i.
-5
Let m(i) = -4*i + 6. Let w be m(-6). Suppose 3*h + w = 6*h. Solve -2*c + 4*c = -h for c.
-5
Let q(h) = -h**2 - h + 5. Let i be q(-4). Let y = i - -10. Let z be (1 - y) + 16/8. Solve 4*n + z - 4 = 0 for n.
1
Let p = 7 + -5. Let o be (2/(-5))/(25/(-875)). Solve -o + 6 = -p*z for z.
4
Let q(z) = -z**3 - z**2 + z + 5. Let j = 7 - 7. Let o be q(j). Let m(a) = -a + 3. Let t be m(3). Solve o*u - u + 16 = t for u.
-4
Let w be 2*(-3)/((-6)/(-5)). Let y(o) be the first derivative of o**2/2 + 7*o + 4. Let p be y(w). Solve 0 = k + 1 - p for k.
1
Let t(q) = -q**3 - q**2 + 2*q + 3. Let d be t(0). Solve -4*m + d*m = 2 for m.
-2
Suppose 5*o - 3*o - 16 = 0. Let m = o + -6. Solve 0 = m*d + 2*d - 4 for d.
1
Suppose -4*n - 20 = -2*p + 6*p, 0 = -3*n + 12. Let j be 54/p*(-10)/12. Solve t = 2 - j for t.
-3
Let a(o) = o**3 + 6*o**2 - 6*o + 12. Let u be a(-7). Solve 20 = -q + u*q for q.
5
Suppose 0 = v + 3*v - 4. Solve a + v - 6 = 0 for a.
5
Let y(w) = -4*w - 6. Let k be y(-4). Let t = -8 + k. Let r = -2 - -2. Solve 0 = -r*z + t*z - 10 for z.
5
Let y(k) = -k**2 - 5*k + 4. Let w = 2 + -7. Let t be y(w). Suppose 5*x = t*x + 5. Solve n = x*n - 8 for n.
2
Let r be (-31)/3 + (-8)/12. Let z(l) = l**2 + 10*l - 6. Let w be z(r). Let m be 0 + 2 + 1*w. Solve -m = 3*q - 1 for q.
-2
Suppose -5*l + v + 13 = -2*l, 2*v = 5*l - 20. Suppose -l*x + x = -25. Solve 2*b - 1 + x = 0 for b.
-2
Let c = 0 + 6. Let q(i) = -2*i + 22. Let a be q(9). Solve c*o = a*o for o.
0
Let g = -18 + 26. Suppose 4*z + g = 4*j, 0*j + 2*z - 4 = -2*j. Solve d = j*d - 5 for d.
5
Suppose 7*y - 265 = 2*y. Suppose 5*c + y = 3*g, -c - 22 = -5*g + 59. Let r be (1 - 7)*(-3)/9. Solve -g = -r*o - 2*o for o.
4
Suppose 0 = -x - 3*x + 8. Suppose -2*f - 2 = 2*b, 0*b - 2*f = -2*b + 10. Solve 0*g + x*g = b for g.
1
Suppose -2*q = -5*i - 7, 5*q + i - 6*i + 5 = 0. Let m = 15 + q. Solve -m = 2*p - 1 for p.
-5
Let c(t) be the second derivative of t**4/12 + 3*t**3/2 + 4*t**2 - t. Suppose -5*d - z = 43, d + 3*z + 2*z + 23 = 0. Let y be c(d). Solve y = -i - i + 10 for i.
5
Let l be (0 + (-5)/1)*-1. Suppose 0 = -0*b + 3*b. Suppose 2*n + 0*n = b. Solve n*d = d - l for d.
