uppose -u - 3*c = -3, -u = 5*c + 1 + 4. Let d = -15 + u. Solve -l - 3*l + 4 = d for l.
1
Suppose 3*g + g + 24 = -5*d, 0 = d. Let m be 8/g*(-6)/(-4). Let v be -2 + 0 - (m - 2). Solve y = -y - v for y.
-1
Let a be (2 + -2)/1*-1. Suppose 0*y + 3*y = a. Solve 0 = c - 1 - y for c.
1
Let r(g) = g**3 - 30*g**2 + 30*g - 25. Let s be r(29). Solve s*c - 2*c + 4 = 0 for c.
-2
Suppose 30 = 3*o + 2*o. Let z = o - 6. Solve z*m = -5*m + 20 for m.
4
Let l = -17 - -19. Suppose -5*w + 3 = -4*w. Solve -l*y + w = y for y.
1
Suppose 18 - 158 = -7*j. Solve 0 = a + 3*a - j for a.
5
Let m be ((-4)/12)/((-2)/(-6)). Let d be 1 + 6/(-2)*m. Solve 0 = 2*c - 2 - d for c.
3
Let l(g) = -g**2 + 9*g - 6. Let q be l(8). Suppose -5*f + q*f + 9 = -s, 3*f - 3*s - 9 = 0. Solve 0 + 6 = -f*p for p.
-2
Let t be 43/3 + 2/(-6). Suppose -5*z + 0*f + 4*f = 25, -4*f + 19 = z. Let b = 1 - z. Solve b*h + t = 4 for h.
-5
Let l be (7 - 282/(-22)) + (-2)/(-11). Let m(k) = -2*k - 1. Let f be m(-3). Solve f*x - x = l for x.
5
Let f = 4 + -11. Let j be (-2)/f - (-52)/14. Solve -j*r - 13 = -5 for r.
-2
Suppose 77*d - 73*d = 12. Suppose 4 + 8 = 4*n + 3*l, -4*n + 4*l - 16 = 0. Suppose 2*q + q = n. Solve 8*o - d*o + 10 = q for o.
-2
Let f = -49 - -51. Solve 13 = -f*c + 3 for c.
-5
Let r(z) = -z**2 + 6*z + 16. Let o be r(8). Let y(g) = g**3 - 7*g**2 + 8*g + 4. Let j be y(7). Suppose -j = x - 4*x. Solve -4*d - x = -o for d.
-5
Suppose 5*r + 0*r = -4*r. Solve -7*y + 2*y + 5 = r for y.
1
Let t(g) = -2*g + 12. Let s be t(8). Let d be 0/s + 0/(-1). Solve d = -z + 2*z + 2 for z.
-2
Suppose -3*d - 6 = -0. Let b be (d/(-4))/(3/(-6)). Let x = b + 1. Solve 4*s + x + 12 = 0 for s.
-3
Let o be 50/3 - (-4)/(-6). Let g = -11 + o. Solve -10 = n - g for n.
-5
Let j be 7/((-14)/15)*-2. Solve j = -0*f - 3*f for f.
-5
Let g(c) = 7*c - 3. Let l be g(4). Suppose -5*n + l = 4*d, 3*d + 5*n = n + 19. Solve -d*b - 30 = -10 for b.
-4
Let a = 0 + 3. Suppose -p + a = 2*i, -3*p - 4*i + 6 = -i. Solve 5*q - 4 = p for q.
1
Suppose 8*s - 6*s = -3*m + 20, 0 = m + 2*s - 4. Solve -5 = 3*v - m*v for v.
1
Let u(i) be the first derivative of i**4/12 + 2*i**3/3 - 2*i**2 + i + 2. Let f(l) be the first derivative of u(l). Let n be f(-5). Solve 6 = -t + n for t.
-5
Let r = 115 + -175. Suppose -14 = 6*b - 5*b. Let z be r/b + 2/(-7). Solve -d - z = -2*d for d.
4
Let x(g) = -4 + 4 - 6*g**3 - 2*g**2 - g + 0*g. Let c be x(-1). Solve c*z + 0*z = 0 for z.
0
Suppose 3*b + 4 = -4*j, 5*b = -3*j - 2*j. Solve -6 = 2*y + b for y.
-5
Let p(s) = -s + 2. Let q be p(0). Suppose 6 = -c + q. Let t = c + 9. Solve t*g + 4 = -1 for g.
-1
Let a = -8 + 11. Let b(x) = x**3 - 2*x**2 - 2*x. Let v be b(a). Suppose -v*h - 3 = -18. Solve 0 = h*l - l - 16 for l.
4
Suppose a = -7 + 13. Solve 5*p + 1 = a*p for p.
1
Suppose 0 = 24*f - 28*f + 16. Solve f*y + 0*y + 20 = 0 for y.
-5
Let x be (-45)/(-9) + 1 + -1. Let r(i) = i**2 - 4*i + 2. Let y be r(4). Let o(f) = f. Let a be o(3). Solve y*t = -a*t - x for t.
-1
Suppose -15 = -m - 5*w, 2*m + 2*w - 15 + 1 = 0. Suppose -3*n = -5*g + 12 + 13, -g + m = n. Solve -g*l - 2 = -7 for l.
1
Let d be 4/(-3)*(-5 - -2). Suppose d*l + 4*b = 1 + 3, -3*b - 12 = 0. Solve 0 = g - 0 - l for g.
5
Let k(f) be the first derivative of 11*f + 1/2*f**2 + 3. Let d be k(-7). Solve d*z + 3 = 7*z for z.
1
Suppose 51 = 10*w - 9. Solve -3*l + w = -0*l for l.
2
Let l(i) = i**3 - 6*i**2 - i + 6. Let p be l(6). Suppose 2*t - 4*u + 4 = -t, -t - u + 1 = p. Solve 0 = q - t*q for q.
0
Let m be (-14)/((-1*2)/1). Let q(i) = -i**2 + 2*i + 3. Let u be q(4). Let z be -1 - u/(5/6). Solve 18 = -z*r - m for r.
-5
Suppose 0*p - 3*p + 3*t = -24, -8 = -3*p - t. Solve 0 = 4*l + p + 4 for l.
-2
Suppose -3*m = -4*m. Suppose 3*p + m*p = -36. Let o be (-4)/p - 8/(-3). Solve 1 = -4*r - o for r.
-1
Let i = 8 + 12. Solve 0 = -3*q - 2*q + i for q.
4
Suppose -19 = 3*z + 5*l, 3*l = 4*z + l - 18. Solve c + c = -z for c.
-1
Suppose 2*i - 2 = 3*i. Suppose 0 = p - 2*p - 2. Let s = i - p. Solve 0 = q - s*q for q.
0
Suppose -1 + 9 = 2*u. Solve -4 + 0 = u*b for b.
-1
Suppose -5*s - 2*d = 73, 5*s - d + 22 + 54 = 0. Let y = s + 18. Solve y*h = -2*h for h.
0
Let x = -27 + 28. Solve x = f + 4 for f.
-3
Let v be 95/35 - (-2)/7. Solve 4*w - v = -7 for w.
-1
Suppose 2 = -s + 2*s. Solve 0 = s*u + u for u.
0
Suppose 0 = -3*y - b + 3*b + 22, 5*y + 4*b = 0. Solve -4*g - y = 16 for g.
-5
Let h = -1 - -2. Let a = h - -2. Solve -4*i - a = -i for i.
-1
Let d be (-23)/(-3) - 6/9. Suppose -g + d = 7*h - 2*h, 3*h - 2*g = 12. Solve h*o = 3 + 7 for o.
5
Let v be (-8)/12 + (-14)/(-3). Let w be (9/6)/(3/v). Let g be 1*4 - (w + -4). Solve 0*n + g = -2*n for n.
-3
Let m(j) = 4*j**2 - 4*j - 5. Let r be m(-1). Solve r*v = -0*v + 9 for v.
3
Let v = 10 + -10. Solve v = d + 2*d + 3 for d.
-1
Let r = -18 - -21. Solve -6 = -r*d - 0 for d.
2
Suppose 2 = y + 1. Solve -5*t - y - 24 = 0 for t.
-5
Suppose -4*k = 5*t - t - 32, -3*t = -5*k + 8. Let m be 2 + k*1/4. Solve -c + m = -1 for c.
4
Let u(d) = -d**2 + 1. Let q be u(0). Let r be (2/(-4))/((-1)/8). Solve r = b - q for b.
5
Let x(i) = 7*i**2 - i - 1. Let m be x(-1). Let r be ((-4)/(-3))/((-8)/(-12)). Let j be (r + 2)*18/24. Solve -8 - m = j*a for a.
-5
Let g be 1 - (2 - (4 - -2)). Solve -6*x = -g*x + 2 for x.
-2
Let f be (-1)/(-4) - (-1)/(-4). Let p = -4 + 9. Suppose -t + p + 5 = f. Solve 0*a - 5*a = t for a.
-2
Let j(f) = -3*f - 2. Let o be j(-2). Let s = -2 + o. Solve -s*a - 11 = -1 for a.
-5
Let r be (8/4)/(-2)*-1. Solve -2*k + r = 5 for k.
-2
Let p(t) = t**3 - 7*t**2 + 7*t - 4. Let q be p(6). Let y = 0 + q. Solve 0 = j - y*j for j.
0
Suppose -34 = -0*p - 3*p + 2*k, 38 = 4*p + k. Let x = 22 - p. Solve x = 3*g - 6*g for g.
-4
Let v be ((-1)/(-3))/(8/144). Let d(l) = l**2 + 6*l - 3. Let r be d(-6). Let o = r + v. Solve -a = o*a - 16 for a.
4
Suppose -2*k = -3*k. Let s(w) = w + 6. Let v be -8 + 4*(-3)/(-6). Let i be s(v). Solve i = -k*d - 4*d + 8 for d.
2
Suppose 3*r + 35 = 8*r. Let d = -4 + r. Solve 0 = 4*u - d*u - 2 for u.
2
Let y(c) = 5*c**2 - 3*c + 1. Let w be y(1). Solve 2*s = 5*s - w for s.
1
Let j(b) be the third derivative of -b**4/12 - b**3/3 - 3*b**2. Let g be j(-3). Suppose -c - g*c + 100 = 0. Solve -h + 6*h + c = 0 for h.
-4
Let m(d) = -d**3 + 2*d**2 + 2*d - 4. Let g be m(2). Solve g = z + z - 8 for z.
4
Suppose -2*z + 3 = -17. Solve -z = -3*r + 5 for r.
5
Suppose -8*k + 12 = -4*k. Let h be (-22)/(-8) - 1/(-4). Solve h*x - 4*x = -k for x.
3
Suppose 6*d - d = 0. Let n be d + (-1 - -2) - -2. Suppose -n*a + 10 = 2*a. Solve -2*o - 12 = a*o for o.
-3
Let r = -3 - -5. Let q(v) = v**3 - v**2 - 1. Let i(a) = 3*a**3 - 5*a**2 - 4. Let t(s) = i(s) - 4*q(s). Let y be t(0). Solve r*h + y*h = -4 for h.
-2
Let s(c) be the first derivative of c**2 - 5*c + 4. Let q be s(4). Suppose 7 - 1 = q*f. Solve -b + f = -0*b for b.
2
Let x(p) = 2*p**3 - p**2 - 3*p + 2. Let n be x(2). Let r = n - 2. Suppose -28 = -2*b + 3*y, -36 = -2*b + 3*y + 2*y. Solve -2*t - b = -r*t for t.
2
Let q be (-21)/(-14)*(3 - 1). Suppose 2*f - j - 36 = 0, 51 = -0*f + q*f - 3*j. Solve -5*a + 1 = -f for a.
4
Suppose 4*i + 8 = -4*h, -3*i - h + 4 - 2 = 0. Let a(g) = 2*g + 34. Let n be a(-14). Suppose -i*f + n = -0*f. Solve -2*k - f*k = -20 for k.
4
Suppose 0 = -5*v + 22 - 7. Solve 0 = -v*f - 2*f for f.
0
Let i(l) = -l**3 + 10*l**2 - 10*l + 1. Let b be i(9). Let f be (b/(-14))/(8/28). Solve 4*o - f = 2*o for o.
1
Suppose 2*m + 3*m = 0. Suppose -8 = 28*n - 30*n. Solve 2*t - n = -m*t for t.
2
Let a be 4/(-14) - 37/(-7). Suppose -j + 32 = a*m, 2*j - 5 = -m - 4. Solve -4*d + m*d + 3 = 0 for d.
-1
Suppose 5*f - 39 = 3*h, -2*h - 3*f + 6*f = 26. Let p = h + -4. Let q = -7 - p. Solve t - q = -t for t.
5
Suppose m - 3*m = -10. Solve 17 = -m*v - 3 for v.
-4
Let d = -2 - -2. Suppose k - 10 = -1. Suppose -4*u = -3*b - 2*b + 6, -3*b - 3*u = -k. Solve c = b - d for c.
2
Let v(o) = 15*o. Let c be v(1). Solve -c = -4*a - a for a.
3
Let n(t) = -t**3 - 7*t**2 - 8*t - 9. Let m be n(-6). Suppose 2*a = -m*i - 4, -3*a - 20 + 5 = 0. Suppose -31 = -3*y + 11. Solve 3*u - i = -y for u.
-4
Let u = 1 - 1. Let i be 2 + 1 + (7 - -2). Suppose -q + i = 3*q. Solve u = m - q - 1 for m.
4
Let t(j) = -j - 11. Let a be t(-13). Solve -a*z = -4*z - 6 for z.
-3
Let m = -3 + 8. Suppose -m*j + 38 = -17. Suppose 2*c + b = j, c - 3*b = -2*c - 6. Solve -c*v = -0