
Suppose x - 22 = -4*k + 9, -11 = -4*k - 5*x. Solve -k = 3*y - 0 for y.
-3
Let v(t) = -2*t + 7. Let f be v(-5). Suppose -3*d = -2*o - 0*d + f, -9 = 3*d. Suppose o*w - 35 = -11. Solve -4*m - 2 = w for m.
-2
Suppose t - 6*t + 17 = -h, -4*h - 2*t = -20. Solve 0 = f + h*f + 12 for f.
-3
Let i be (0/((-20)/(-5)))/(-2). Solve i = w + 2*w + 3 for w.
-1
Let w be (-32)/(-8) + 2/(-2). Solve 0 = -u - w*u for u.
0
Let c(k) = 4 + 15*k + k - k + 0 + k**2. Let s be c(-6). Let w be (-2)/(-4)*s/(-5). Solve w*f + 5 = -10 for f.
-3
Suppose 8 - 2 = -n. Let i = n + 10. Solve i*g = 8*g - 12 for g.
3
Suppose w + o - 11 = -3*w, 5*w = 2*o + 17. Let u(h) = -7*h + 1. Let k be u(-2). Solve -w*a - k = 2*a for a.
-3
Let v(x) be the first derivative of x**3/3 - x - 2. Let u(f) = -14*f**2 + 18. Let z(d) = 2*u(d) + 36*v(d). Let r be z(-1). Solve -3*l = -l + r for l.
-4
Let m = 2 + 0. Suppose j + 2*j - 56 = -2*k, j = -m*k + 16. Suppose 15 = n - 5*y, -2*n + 6*y + 12 = 2*y. Solve -2*f - 2*f + j = n for f.
5
Let p be (27/(-6) + 3)*4. Let g be 4/(-6) - 106/p. Solve g = -5*n - 8 for n.
-5
Let o be (-2)/3 + (-11)/(-3). Let v(q) = -q**3 + 5*q**2 + 5*q + 7. Let z be v(6). Let b = o - z. Solve b - 6 = 2*d for d.
-2
Suppose 5*z + 11 = 36. Suppose z*b - 23 = 7. Solve 5*u = -b - 9 for u.
-3
Suppose -52 = 3*o - 7*o. Let y = o - -7. Solve 0 = -4*s - s + y for s.
4
Suppose 0 = -10*r + 13*r. Solve -v - 2*v + 15 = r for v.
5
Suppose 0 = -16*d + d. Solve -4*c - 7 - 1 = d for c.
-2
Suppose 4*u - u + q - 10 = 0, -2*q = -3*u - 2. Let n = -3 + u. Let r be n + 2 - (-2 - -3). Solve -v + 1 + 3 = r for v.
4
Suppose 5*t = -5*z + 2*z + 14, 3*t + 46 = 5*z. Suppose 0 = 4*y - 3*k - 18, -z*k + 3*k = 10. Solve -3*j + y = -6 for j.
3
Let q = 2 - 3. Let w(v) = v. Let u be w(1). Let k = q + u. Solve -2*x = -k*x + 4 for x.
-2
Let k = 134 - 130. Solve k + 1 = o for o.
5
Let v = -7 - -11. Solve 0 = -0*k - 2*k - v for k.
-2
Let b(z) = 2*z**2 + 16*z + 6. Let n be b(-8). Let u(h) = -8*h - 4. Let m be u(-3). Solve -m = n*p - p for p.
-4
Suppose 0*u + 4*b - 6 = 2*u, 0 = 3*b - 12. Solve x = u*x - 8 for x.
2
Let h = -28 - -42. Let g(a) = a**2 - 7*a + 9. Let s be g(6). Suppose s*p - 2 = -0*p - 5*u, 4*p = -u + h. Solve p*m = -11 - 5 for m.
-4
Let p be 0 - 2 - (-1 + 1). Let t be 1/(3*p/(-30)). Let g = -28 + 45. Solve -g = -4*r - t for r.
3
Let s be (2/(-4))/((-1)/(-2)). Let l = -17 - -18. Let x = l + s. Solve b + 2*b = x for b.
0
Suppose 5*h + 5 = 0, -20 + 1 = -5*g + 4*h. Suppose f + 20 = -g*f. Let n = -3 - f. Solve m - 1 = -n for m.
-1
Let p = -1 - -6. Let u = p + -12. Let o = u + 9. Solve 5 - 3 = -o*m for m.
-1
Suppose -4 = -t - 2. Solve 4*z + t = 2*z for z.
-1
Let w be (0 - 0) + 4 - 0. Suppose 0 = -5*c + w*a + 51 - 11, 8 = -3*c - 4*a. Solve -c*r + 25 = r for r.
5
Suppose 2*l - l = 3. Let y be (-5)/(-25) + (-3796)/(-20). Let t be y/15 + (-8)/12. Solve t = -3*i - l for i.
-5
Let d be -5 + 1 - (-26)/2. Suppose 6*t = d*t - 6. Solve -27 = -5*j - t for j.
5
Suppose 12 = 3*i + 3*f, -3 = 4*i - 3*f - 5. Let y be (2 - 5/2)*-20. Let z be (-4)/y + 24/10. Solve 3*x - i = z*x for x.
2
Let q(r) = r**3 + 7*r**2 + r + 8. Let b be q(-7). Suppose b = 4*p - 11. Solve 2*v - 7 = p for v.
5
Let x be 8/44 - (8/(-22))/(-2). Solve 0 = -2*d - x*d for d.
0
Let c = -65 + 81. Solve -c = 2*p + 2*p for p.
-4
Let x be (1 - -11)*10/15. Solve x*d - 10*d + 6 = 0 for d.
3
Let s(c) = c**2 - 3*c - 7. Let k be s(5). Suppose q + 3*q = 20. Solve 0 = -k*v + q*v for v.
0
Let z = 4 + 1. Suppose -5*d + 25 = 4*v, -z*d - 2*v - 3*v + 25 = 0. Solve 7 = -4*q - d for q.
-3
Suppose 4*r = 2*b + 10, 6*r = -3*b + 5*r + 6. Solve -b = -q - 0 for q.
1
Suppose 5*g - 2*f = -58, 2*f = -5*g - 0*f - 42. Let s be (-4)/g*(5 - -25). Suppose 3*n - 4*d - 29 = 0, -3*d + 1 = 3*n + 7. Solve s = n*a - 0*a for a.
4
Let y(p) = p**3 + 4*p**2 + 2*p + 3. Suppose -3*c + 6 = -5*h, -4*h + 2*c - 6 = -0*h. Let w be y(h). Let n = 6 + -1. Solve -w*d = -n*d for d.
0
Let u(t) = t - 16. Let x be u(16). Solve x*c = -c - 3 for c.
-3
Let n(i) = i**2 + 7*i + 12. Let q be n(-4). Solve -3*f + 12 = -q for f.
4
Suppose -w + 13 = -a + 2*a, 2*w = a - 1. Solve 5*g - 6 - a = 0 for g.
3
Let h(a) = -a**3 + 4*a**2 - 2*a - 1. Let q be h(2). Suppose 0 = -4*i + d + 3, q*i - 2*d - 1 = -d. Solve -1 = z + i for z.
-3
Let j = -41 + 41. Solve j = -2*f - 2 - 8 for f.
-5
Suppose 5 + 1 = -v. Let p(u) = u**3 + 6*u**2 - 3*u. Let i be p(v). Suppose 0 = 7*g - 3*g - 12. Solve i = -3*c + g for c.
-5
Suppose -3*t + 2*i = 40, -7*t + 3*t = 5*i + 84. Let a = t - -20. Solve a*p - 3*p - 3 = 0 for p.
3
Suppose -g - 72 = -7*g. Solve 0*j = 3*j - g for j.
4
Let d(q) = q + 2. Let j be d(2). Solve -j*i - 11 = -3 for i.
-2
Let h = 30 - 25. Solve h*l - 17 = -2 for l.
3
Let h(f) = -f**3 + f**2 - f + 1. Let v be (-2)/8 - 2/(-8). Let y be h(v). Let d be y/(5/3)*5. Solve 0 = -3*l - d for l.
-1
Suppose 3*k - 88 = -13. Solve 0*x = 5*x + k for x.
-5
Suppose 5*d + 2*v - 109 = -2*v, 3*v = 3*d - 87. Solve 0 = 5*x + d for x.
-5
Let d(y) = 3 + y - 2 + 5. Let f = -1 - 5. Let u be d(f). Solve v + v + 6 = u for v.
-3
Let y(j) = j**3 - 6*j**2 + 7*j - 4. Let w = 6 - 1. Let n be y(w). Let l(k) = -k**3 + 5*k**2 + 7*k - 3. Let p be l(n). Solve x - p = -7 for x.
-4
Let b(d) = -2*d**2 - 8*d - 8. Suppose -24 = x + 3*x. Let a be b(x). Let s = -21 - a. Solve 2*k + s = 1 for k.
-5
Let k(t) = -2*t - 2. Let x be k(-2). Let o = x + 0. Solve -3*f = o*f - 10 for f.
2
Suppose 0 = -0*f + f - 3. Solve f*m = 2*m for m.
0
Let g(m) = -m**2 - 11*m + 16. Suppose -t + 3*q = 0, 3*t = 2*q - q - 32. Let z be g(t). Solve 0*v - z*v = 12 for v.
-3
Let g(y) = -4*y - 1. Suppose 0 - 4 = -4*t, z + t = 0. Let b be g(z). Suppose -2*m + 2 = -i, -5*m + b*i = 8*i + 10. Solve m = -2*v - v - 3 for v.
-1
Let p = 28 + -28. Solve -15 = 5*t - p*t for t.
-3
Let t be -1 - (0 + -3) - 7. Let h be 5 - 3 - t/1. Solve -h*o + 2*o - 20 = 0 for o.
-4
Suppose 4*l + 3*v = 8, 2*l + 2*v = l + 2. Solve -a = -2*a - l for a.
-2
Let c(j) = j**2 + 3*j - 5. Let x = 11 + -16. Let n be c(x). Solve -3 = -n*k + 12 for k.
3
Suppose -w + 6 - 2 = 0. Suppose w*o = o - 42. Let d be 4/o - 46/(-14). Solve d*m = 3 + 6 for m.
3
Let x(b) be the second derivative of -b**3/6 - 3*b**2/2 - b. Let d be x(-4). Suppose 0 = -3*h + 7 + 5. Solve h*q = 3*q - d for q.
-1
Suppose -q + 4 = -4. Let g = -5 + q. Solve -g*z + 20 = 2*z for z.
4
Let p(v) = -v - 14. Let s be p(-15). Let n(i) = -4*i - 1. Let a be n(-1). Solve -s = -2*d + a*d for d.
-1
Suppose 5*z - 27 - 73 = -5*k, -k + z + 12 = 0. Solve 2*g - k = -2*g for g.
4
Let w = 13 - 7. Let p = -4 + w. Solve -5*f + 9 = -p*f for f.
3
Suppose 0 = 4*z - 2*z. Let m = z - -5. Let g = -2 + m. Solve 0*p + 3*p - g = 0 for p.
1
Suppose -5*d + 69 = 4*o, 3*d + 99 = 4*o - 2*d. Solve 4 = 5*n - o for n.
5
Let r(c) = 3*c - 20. Let x be r(9). Suppose 4*i + 27 = 7. Let t = 8 + i. Solve t*m = -2 - x for m.
-3
Let z be (-25)/(-9) - 4/(-18). Suppose -5*t = 5*d - 65, -d + 0 = -2*t + 2. Solve d = z*b - 4 for b.
4
Let n be (4 - 1)*8/(-12). Let w(h) = -h**3 + 4*h + 3. Let f be w(n). Solve 7 = -2*b - f for b.
-5
Let s = -39 + 59. Suppose 4*x = -x + s. Solve 0*f + 8 = -x*f for f.
-2
Let t be 1/1*(0 + 0)/(-4). Solve 0 = -t*w - w - 3 for w.
-3
Suppose -3*h + 14 = 2*g, -g + 7*h - 2*h = 6. Solve -g*l + 0*l = -20 for l.
5
Suppose 0 = -j - 2*f + 60, 375 = 6*j - j - 5*f. Let s be -42*5/(j/(-12)). Solve 5*t - s = -11 for t.
5
Let u(x) = -x**3 + 14*x**2 - 13*x + 1. Let q be u(13). Let g = 6 + -4. Solve g*y + q = -5 for y.
-3
Suppose -2 = 2*c - 14. Suppose 40 = d - 5*h, -3*d + c = 2*h - 46. Suppose d = -g + 6*g. Solve -g*w + 10 = 2 for w.
2
Let m(k) = k + 5. Let z = -14 + 9. Let a be m(z). Solve b + 2 = -a for b.
-2
Let f = -19 - -34. Let u(n) = n**3 - 2*n**2 - 3*n - 3. Let v be u(3). Let c be (-46)/v + 10/f. Solve -3*z - z = c for z.
-4
Suppose 0 = 5*a + 3*x - 3, 2 + 3 = 5*a + 5*x. Suppose -z + a*z = 0. Solve 5*l - l + 12 = z for l.
-3
Let x(d) be the second derivative of d**3/3 - d**2 + 3*d. Let l be x(2). Solve -4 = l*f + 4 for f.
-4
Let h(d) = d + 10. Let u be h(-8). Suppose u*o = 9 - 5. Solve o*m - 4 = -2*m for m.
1
Suppose -3*c = -4*z - 0*c + 18, 3*c + 15 = 3*z. Solve 0 = -2*m + m + z for m.
3
Let i(d) = -d**3 - 3*d**2 - d + 3. Let k be i(-3). Solve -k*b = -3*b for b.
0
Let r = -12 - -15. Solve -r*v + 0*v = 6 for v.
-2
Let t be (48/20)/