) + 4*x(k). Let d be j(9). Solve -z = z - d for z.
2
Let t = 16 - 12. Solve c + c = t for c.
2
Let j = -4 + -28. Let c be 8/2 - j/(-8). Solve 2 = -c*k + k for k.
2
Suppose -3 = -3*x, -11 = -i - i + 5*x. Solve -3*n + i*n = 15 for n.
3
Let o = -130 - -133. Solve o = -5*f - 7 for f.
-2
Suppose -4*i = -3*u, -4*u = -3*i - 7*u + 21. Suppose 4*o + 29 = g + 6, i*g + o = 4. Suppose m = s + 15, 0 = 2*m - 4*m + 4*s + 34. Solve -m + 1 = -g*q for q.
4
Suppose b - 9 = -4. Let s = b + -2. Solve -6*u + 6 = -s*u for u.
2
Let o = -7 - -4. Let d be 2/(-8) - o/12. Solve -3*h = -d*h for h.
0
Let v = 26 - 23. Solve s - 1 = -v for s.
-2
Let n(d) = -d**3 - d + 2. Let h be n(0). Solve f = -h + 5 for f.
3
Suppose 0*w - 5*w + t = 0, -4*w - 2*t = 0. Solve 0 = -w*r + 3*r + 15 for r.
-5
Let s = -2 - 1. Suppose -30 = -21*m + 16*m. Let a = m + s. Solve -a = 2*k - 1 for k.
-1
Suppose 0 = -4*c - 12, 0 = 4*a + 2*c + c + 17. Let f be (a + 2)*1/2. Solve f = -0*t - 4*t - 20 for t.
-5
Suppose -4*t + 14 = -2. Suppose 2*x + 13 = x + t*v, -3*x + 26 = v. Solve 0 = -x*n + 2*n for n.
0
Suppose -9 = 4*d - 21. Solve -2*t = d*t + 10 for t.
-2
Let o = 29 + -14. Suppose -4*n + o = n. Solve c = n - 4 for c.
-1
Let r(f) = 2*f - 9. Let a be r(6). Solve -2*q = -a*q for q.
0
Let g(x) = x**2 + 5*x - 10. Let l be g(-7). Suppose -k = -5*i - 25, k + 23 = -5*i - 2. Suppose -4*o - c + 16 = 2, -3*o - 2*c + 13 = k. Solve -u - l = o*u for u.
-1
Let u = -67 - -82. Solve -l - 4*l - u = 0 for l.
-3
Let i = -19 + 49. Let r be i*((-12)/(-5) + -2). Let c be 9*(r/(-9))/(-2). Solve 3*z = c*z for z.
0
Let c(y) = -y**3 + y**2 - 2. Let h be c(-2). Suppose 0 = -u - u + h. Solve -1 = -u*j + 14 for j.
3
Let k = 11 + -7. Let b(h) = h**3 - 4*h**2 + 2*h - 3. Let o be b(k). Solve 2 = -o*i - 3 for i.
-1
Let f(m) be the first derivative of -2*m**2 + 3. Let c = 1 - 2. Let k be f(c). Solve 2*b = -2*b + k for b.
1
Suppose 5*i - 2*n - n + 12 = 0, 5*i = 4*n - 16. Solve i = -4*f + f for f.
0
Let l = 30 + -27. Solve -2 - 7 = l*w for w.
-3
Suppose m + 3*d = 0, m - d - 8 = 4*d. Solve k + 5 = m for k.
-2
Let p(x) = -2*x. Let r be p(-1). Let m be r/(-8)*96/(-8). Solve -20 = -m*q - q for q.
5
Suppose 5*y + 21 = 6, 5*u - 27 = 4*y. Suppose 0 = f + 2*f - 9. Solve -f = -u*q + 2*q for q.
3
Let o = -3 - -9. Suppose -5*q = -16 - 9. Suppose 2*h = -0*h + o, 5*f - q*h = -15. Solve 4 = -f*y - 2*y for y.
-2
Suppose 5*k = 2*k + 27. Suppose 0 = b + b + 4*h + 8, -3*h - k = 2*b. Let t be 12/18 - 8/b. Solve o - 4 = t*o for o.
-4
Suppose 4 + 14 = 9*g. Solve g*n - n = 4 for n.
4
Suppose 3*a - 20 = 8*a. Suppose 0 = -b - 0*b + 4. Let l = b + a. Solve c = -l*c + 4 for c.
4
Suppose 0 = 2*b + 4 - 12. Let y(h) = -h**2 - 10*h - 6. Let k be y(-7). Solve b*d + k = -d for d.
-3
Suppose 3*d - 4 - 8 = 0. Suppose d*r + r = 5. Solve 0 = -s - r - 2 for s.
-3
Let d = -3 + 1. Let u be -1 - (-5 + (0 - d)). Let x(i) = 2*i + 8. Let s be x(6). Solve -s = 3*h + u*h for h.
-4
Suppose 5*k + 28 + 2 = 0. Let l be (2/k)/(4/(-132)). Let q = l - 9. Solve 4*t - q*t = 6 for t.
3
Let v(q) = -q + 1. Let b be v(1). Solve b = 3*c + 4 + 5 for c.
-3
Suppose -5*l = -3*z + 22, -4*l + 1 = z + 5. Solve 0*i = z*i for i.
0
Let p be -16 - (0 + -1) - 1. Let c be (-18)/4*p/12. Suppose -o - 3*o = 2*x - 8, -8 = 2*o + 4*x. Solve -6 = o*h - c*h for h.
3
Suppose -5*b - 4*l = 20, b - l - 4 + 17 = 0. Suppose -3*f + 27 = r - 4*r, 3*f = 2*r + 29. Let a = b + f. Solve -a*v = v - 4 for v.
1
Let h(k) = 2*k - 8. Suppose -7*s + 40 = -2*s. Let u be h(s). Solve -4 = 2*c - u for c.
2
Let l(k) = -k**2 + 6*k - 2. Let y be l(4). Let u(v) = -v - 5. Let x be u(-5). Suppose 0*n + 4 = -2*q + 2*n, 4*q + 13 = 5*n. Solve -q*b = -x*b + y for b.
-2
Let j(m) = -m + 7. Let a be j(5). Let s(k) = k**2 + 2*k + 2. Let p be s(-3). Solve -a*z + p = 3*z for z.
1
Suppose 3*f = -2*f. Solve -2*i - 1 - 7 = f for i.
-4
Let x be -1*(0 + 1) + 1. Suppose x*u = u. Solve 6 = -2*h - u*h for h.
-3
Let g = 0 - -4. Suppose 46 + 29 = 5*s - 4*p, -g*p + 96 = 4*s. Solve 5*l + s + 6 = 0 for l.
-5
Let m = 17 - 12. Suppose -2*c + m*c = 18. Let h be 3/c + 1/(-2). Solve h = 4*y - 1 + 17 for y.
-4
Let f = -9 + 9. Let n be 0/((2 - f) + -3). Suppose i + 5 = 2*i. Solve 5 = -i*l - n for l.
-1
Suppose 4*j - 3*c = -4*c - 42, 0 = 4*c + 8. Let b be 4/j*(-15)/3. Solve -4*i = -b*i - 4 for i.
2
Suppose -2 = d - 15. Let x = 13 - d. Solve 8*z - 4*z + 12 = x for z.
-3
Suppose 0 = -4*v, -3*v + 2*v = 2*s. Solve s = 3*b - 5*b for b.
0
Let t be 2/9 - 250/(-90). Solve -1 - t = n for n.
-4
Suppose -k - 2*k + 9 = 0. Let v(c) = -c**2 - 7*c - 5. Let b be (-2)/7 - 104/28. Let h be v(b). Solve -k*j + h - 1 = 0 for j.
2
Suppose 0 = 7*f - 2*f - 55. Let l = 23 - f. Suppose k - 5*k = -l. Solve -k*r + 0*r = 0 for r.
0
Let t(s) = -s**3 + 4*s**2 + 5*s + 12. Let i be t(5). Solve i = 4*d - 0 for d.
3
Suppose 4*o + 5*o = 27. Solve -f - 4 = -o*f for f.
2
Suppose 0 = -6*i + 3*i + 9. Solve i*t - 16 = -t for t.
4
Let w be 5 - 0 - (1 - -1). Solve -3*f - 3 = w for f.
-2
Let b be -2 + (-1 - -2) + -1. Let i = 4 + b. Solve -3*v = -i*v for v.
0
Let h = 56 + -40. Suppose -5*s + h = 1. Solve -c - s*c = -8 for c.
2
Let l be (-3)/(-4) - 1/(-4). Let v(g) = -g**2 + g - 1. Let d be v(l). Let s be (d - 3)/(-1 - 1). Solve -s*b = 2*b for b.
0
Let x = -24 - -13. Let p be 2/(-11) + (-2)/x. Let u be 2 + (-1 + 3 - p). Solve 3*l = -l + u for l.
1
Suppose 0 = 3*m + 2*m. Suppose 0 = -4*p + n - 2*n + 2, 0 = p + 2*n + 3. Solve 0*j - j + p = m for j.
1
Suppose -13 = -a + 2*t, 0 = -a - 0*a + 4*t + 17. Let s = -5 + a. Solve -s*k = 7 + 13 for k.
-5
Let q(t) = 4*t + 14. Let p be q(-3). Solve -3*d + 5 = p*d for d.
1
Suppose -6*z = -2*z - 5*r + 59, 3*z = 5*r - 38. Let q be (-2)/(-7) - (-6)/z. Let n be 4*(2 + -1) + q. Solve 0 = h + h - n for h.
2
Let b(c) = -2*c + 5. Let j be b(-10). Solve -2*n = -7*n + j for n.
5
Suppose 0*u + 4*u - 20 = 0. Suppose 4*k - 2*a = a + 6, -a - 2 = 0. Suppose -5*q + u + 15 = k. Solve -p + 0 = -q for p.
4
Let d = 19 + -19. Solve d = y + 5 for y.
-5
Suppose 5*p + 25 = 0, -15 = 2*q - q + 3*p. Suppose 5*h - h - 48 = -4*l, -4*h = -2*l. Solve q = 4*t - l*t for t.
0
Suppose -2*b - 2 = -0*b. Let f be (-6)/(-8) + b/(-4). Suppose -3*w = -5 - f. Solve 0 = -w*n - n - 12 for n.
-4
Suppose -7 = 2*t + 3*m, -2*m - 30 = -5*t - 0*t. Solve -l - 10 = t*l for l.
-2
Let t be (2*1)/((-2)/5). Let z = t + 7. Solve -z*c - c - 3 = 0 for c.
-1
Let c be -1 + 1 - (-5)/5. Let h be (c - 0)/(4/12). Solve h*n - 1 = -7 for n.
-2
Let f be (-2)/4 - (-8)/16. Suppose f = 5*n - r - 17, -4*r - 19 = -4*n - 5*r. Solve n*v + 3 = -9 for v.
-3
Suppose 0 = 12*f - 8*f. Solve -2*r = -f*r + 2 for r.
-1
Let g = -2 + 2. Let f = g + 2. Solve 2*j = -f*j - 8 for j.
-2
Suppose 2*h = -5 - 1, -2*i + 15 = -5*h. Solve i = -r - 1 - 3 for r.
-4
Suppose 16*i - 60 = 13*i. Solve 0 = -j - 4*j - i for j.
-4
Let b be 17/(-6) + 4/(-24). Let l(g) = g**2 + 2*g. Let t be l(b). Solve k + 2 = t for k.
1
Suppose -3*c - 4 = -5*c. Suppose 0 = 4*h - 2*a + c, 0 = -h + 3*h + 4*a - 4. Solve o + h = 4 for o.
4
Let x(w) = w**3 + 10*w**2 + 9*w + 2. Let n be x(-9). Solve -3*l = n - 14 for l.
4
Suppose -37 = -3*v + 14. Solve 8 + v = 5*m for m.
5
Suppose -5*y = 31 + 4. Let b = -3 - y. Solve -b = l + l for l.
-2
Let l(g) be the first derivative of -g**4/2 - 2*g**3/3 - 2*g - 3. Let x be l(-2). Suppose p - x = 2. Solve 0*y = 4*y + p for y.
-2
Let o be ((-7)/(-7))/((-1)/(-3)). Solve o*b = -0*b - 15 for b.
-5
Suppose 4*b + 0*b - 64 = 0. Suppose 5*f = 2*x + b, -19 = -3*f - 2*f + 3*x. Let v be 4/6 - 16/(-3). Solve -f*w + v*w = 0 for w.
0
Let q(h) = -h**3 - 3*h**2 - 2*h - 1. Let g be q(-3). Solve -4*v - g = -1 for v.
-1
Suppose 8*d - 34 - 6 = 0. Solve -1 = -d*t - 21 for t.
-4
Let c = 1 + 1. Suppose -u + c - 14 = -5*w, -3*w - 3*u = 0. Let p be w/9 + (-4)/18. Solve p*x = 3*x - 12 for x.
4
Let t be -3 - (-12 + (-1 - -2)). Solve -2*c - 2 = t for c.
-5
Let p be (-297)/(-33) - (3 + 1). Solve 0 = p*l - 4*l for l.
0
Let x(b) = 8*b - 20. Let n(p) = 3*p - 7. Let m(a) = -11*n(a) + 4*x(a). Let o be m(-3). Suppose o = -0*v + v. Solve 4*w = -v*w for w.
0
Let o be (-4)/6*3*-1. Suppose p - o*s = 19 - 7, -2*p - s = -39. Solve 5*j + p = -2 for j.
-4
Suppose -3*z = z - 48. Suppose 28 = 4*y - z. Solve 7*h = 2*h + y for h.
2
Let c(i) = i**3 - i**2 + 3*i. Let w be c(0). Let g be 1/2*2 - -1. Solve d + 0 - g = w for