 Let y be d(-2). Let c = 3 - y. Solve -u + c = -1 for u.
1
Suppose 5*b + 2*x - 4 = 2, 16 = 5*b - 3*x. Solve -b*g + 7 - 15 = 0 for g.
-4
Let h(b) = -b + 3. Let i be h(5). Let g = 6 + i. Solve 5*q = -g - 16 for q.
-4
Let h = -147 + 149. Solve 0 = -h*i + 14 - 4 for i.
5
Let r be (-1)/2*-7*2. Suppose -2*l = -r*l. Suppose l = t - 5*t. Solve -z = -t + 5 for z.
-5
Let g(r) = -4*r. Let i = 8 + -9. Let w be g(i). Suppose w*j + 0 - 8 = 0. Solve -5*s + j*s = 0 for s.
0
Let c = 5 + -2. Let b = -4 + c. Let l be (2 - (2 + 1))/b. Solve l = n - 3 for n.
4
Suppose 0 = -3*b - 2*q + 21, 3*q + 25 = 2*b + 8*q. Suppose 4*h - b = -h. Solve -14 = 5*f + h for f.
-3
Suppose -4 = -5*i + 1. Solve 4*o - 21 = -i for o.
5
Let s = -18 - -19. Let p = s - -1. Solve 0 = -p*u + 3*u for u.
0
Let c be 2/(-6) - 12/(-9). Let v = c - -3. Solve -6*o + 8 = -v*o for o.
4
Let a(t) = t. Let y be a(2). Let j(k) = 3*k**3 + k**2 - 1. Let g be j(1). Solve g*z - 20 = -y*z for z.
4
Let q(c) = 2*c - 3*c + 3*c + 1. Let r be q(2). Solve -r*n + 16 = -n for n.
4
Let r(l) = l**2 + 2*l - 2. Let c = 3 + -1. Let v be r(c). Let n(b) = -b**2 - b + 5. Let y be n(0). Solve v*s = s + y for s.
1
Let b(r) = 4*r**3 - 4*r**2 - 2. Let d(v) = 3*v**3 - 4*v**2 + v - 2. Let g(z) = 4*b(z) - 5*d(z). Let m be g(-5). Solve -2*n + 2 = -m for n.
2
Suppose -19 = -4*a + 17. Solve 1 + a = 5*h for h.
2
Let i = 8 - 17. Let m = -3 - i. Solve -5*t = -m*t for t.
0
Let y = 76 - 74. Solve 3*s + y*s + 10 = 0 for s.
-2
Let f = -8 + 11. Suppose c - 20 = -f*s, 5*s - 48 = -3*c - 8. Solve -s*h = -h for h.
0
Suppose -6*v + 23 = -v + 3*z, 3*v - 3*z - 9 = 0. Let l = 1 + 4. Suppose 5*f - w - 4 = 0, 2*f + 2*w - l*w + 1 = 0. Solve x + f = v for x.
3
Suppose 2*q = 0, 2*m = 4*q - 0 - 4. Let d be 0 + m/(-6)*0. Solve -2*k + 7*k - 5 = d for k.
1
Let k be 3 + 0/3 + 2. Suppose -k = -7*d + 2*d. Solve m = -2 - d for m.
-3
Let f = -3 + 5. Solve f*b + 4 = 4*b for b.
2
Let z = 3 - 4. Let s be (3 - (-6)/(-1)) + z. Let n = -2 - s. Solve 2*j + 2 = -n for j.
-2
Let m(t) be the third derivative of t**4/24 + 5*t**3/2 + 2*t**2. Let w be m(-9). Suppose -w = 5*s - 21, 24 = 3*r + s. Solve 2*b + 3 = -r for b.
-5
Suppose 0*z - 5*z + 20 = 0. Suppose 3 = 5*p - 2. Let x be (1 - p)/(-3 - -1). Solve -z*j + x*j + 8 = 0 for j.
2
Let n(m) = m**3 - 3*m**2 - 3*m - 3. Let f be n(4). Suppose 0*u = -5*u + 40. Let i(s) = 5*s**2 + s - 1. Let c be i(-1). Solve u = c*t - f for t.
3
Suppose 3 = 4*o + x + 2, x = 1. Suppose o = -k + 3 - 2. Solve k = -2*a + 7 for a.
3
Suppose -m = -x + 2, -4*x - 13 + 3 = 5*m. Suppose 3*k + x*b = b + 12, 0 = -k + 3*b + 12. Solve k*f = -0*f for f.
0
Let b be (-12)/(-30) - 3/(-5). Suppose -8*f + 10*f = 6. Solve -5 - b = f*g for g.
-2
Suppose 2*r = -0*r + 2*a, 3*r + 5*a - 32 = 0. Solve -5*g - 11 - r = 0 for g.
-3
Let h = -24 - -13. Let m = h - -11. Solve c - 5*c - 20 = m for c.
-5
Let c(r) = -r**2 - 7*r + 9. Let w be c(-8). Let y(o) = -o**3 + 11*o**2 + 5. Let j be y(11). Let t be (j + -5)/(1/w). Solve t = -3*l - 12 - 3 for l.
-5
Let g = 4 + -2. Suppose -6 = g*m - 2. Let x(d) = -d - 1. Let p be x(m). Solve -2*j = 5 - p for j.
-2
Let b = 38 + 4. Suppose -b = -4*f + f. Solve 5*x + 6 + f = 0 for x.
-4
Let p = -29 - -34. Solve -5 = p*s + 5 for s.
-2
Suppose 0 = 2*k + 4 + 2. Let s be (-9)/(-2)*(-4)/(-6). Let u = s + k. Solve 0 = -u*q + 4*q + 8 for q.
-2
Let c(x) = x**3 - 4*x**2 - 6*x + 8. Let w be c(5). Solve -w*f + 4 = 16 for f.
-4
Let p be (-34)/(-12) + (-1)/(-6). Solve p*g + 0*g - 9 = 0 for g.
3
Let a be ((-2)/(-4))/(2/4). Let o be 10/(a - (-15)/(-18)). Suppose o = -2*z + 6*z. Solve -2*x - z = -5*x for x.
5
Suppose 3*a = -4*d - 7, -2*d + 5*d = -3*a - 9. Let g(t) = -4*t - 3. Let w be g(-2). Solve 3 = w*k - d for k.
1
Let x be 0*(1 - 0/(-2)). Let l(b) = -3*b**2 - 2*b + 1. Let f be l(-2). Let d(q) = q + 9. Let j be d(f). Solve j*u - 4*u = x for u.
0
Let k = -12 - -20. Solve -k = m + m for m.
-4
Suppose -8*b = -5*b - 21. Solve 3*x = 5 + b for x.
4
Let t = 18 - 12. Let p be 2/t + 5/3. Let i be (-2)/(8/p)*-2. Solve i = -2*j + 5 for j.
2
Let o(j) = j**3 + 12*j**2 + 2*j - 9. Let p(c) = c**3 + 11*c**2 + c - 9. Let t(z) = -5*o(z) + 6*p(z). Let l be t(-6). Solve l = -0*s + 3*s for s.
5
Suppose -3*d + 5*j = j - 22, 4*j = 4*d - 24. Solve 6 + d = -2*v for v.
-4
Let f(s) = -s**3 - 4*s**2 + 4*s. Let o be f(-5). Suppose -o*d = 25, 4*j = 3*j + 5*d + 29. Let g = 46 + -31. Solve -g = t - j*t for t.
5
Let s(x) = x**2 + 2*x - 4. Let z be s(-4). Let j = -2 + z. Let l be -1 - j/((-4)/10). Solve 0*y + l*y - 20 = 0 for y.
5
Suppose 0 = 2*m + 5*j + 3, 12 = 5*m - 5*j + 2. Let z(c) be the first derivative of c**3/3 - c + 2. Let x be z(-3). Solve 3*q - x = m for q.
3
Let k be 5/15*15/1. Solve k*u + 0*u = -20 for u.
-4
Let q(a) = -a**3 - 8*a**2 + 6. Let b be q(-8). Solve 20 = b*j - 2*j for j.
5
Suppose q = -4*q - 25. Let y be (4/q)/(2/(-5)). Solve -15 = -y*n - 3*n for n.
3
Suppose -2*d = 4*y + d - 11, -5*d = 2*y - 9. Solve n = -y*n - 9 for n.
-3
Suppose 0 = 4*o - 9 + 1. Suppose -2*p = 5*a - 0*a - 33, o*a + 10 = 5*p. Solve -t + 15 = -p*t for t.
-5
Let w(j) = j**3 + 4*j**2 - 4*j + 1. Let i be w(-5). Let z = i + 11. Solve -4*m + 1 = -z for m.
2
Suppose 3*p = -2*g - 1 + 15, -5*g + 12 = -4*p. Solve 0 = y - p + 1 for y.
1
Let g = 22 - 21. Solve g = 2*o - 3 for o.
2
Let r(a) = -a**2 + 20*a + 23. Let i be r(21). Solve 2*p - i = 4 for p.
3
Let w be 0/(-2 - (0 - 0)). Suppose 0 = r - 5*i + 11, w*r + 3*r = -i + 15. Solve 2*c - 2 = r*c for c.
-1
Suppose -4*n = -5*j + 12, 2*j - 6 = -3*n + 4*n. Solve 4*c - n = 5*c for c.
-2
Suppose -16*o + 9*o = -112. Solve 4 - o = 4*r for r.
-3
Let l = -2 - -5. Suppose -2*s - 3*m = -7, 3*s - 10 = -0*s - 4*m. Solve s*j + 1 = -l for j.
-2
Suppose o = 4*o - 6. Suppose -o = -h - 0. Solve 3*m + 20 = -h*m for m.
-4
Suppose -d + 3 = 2. Let n = d - -2. Solve 0 = -n*t - t - 16 for t.
-4
Suppose 0*b - 14 = -4*b - 2*o, 0 = 2*b - 4*o - 2. Suppose -b = -w + 3. Solve -2*y - 2 = w for y.
-4
Let m(k) = -7*k**2 - 4*k + 10. Let x(h) = -6*h**2 - 5*h + 10. Let r(d) = -5*m(d) + 6*x(d). Let z be r(-10). Suppose 4*t - 18 - z = 0. Solve 3*b = 2 + t for b.
3
Let h = -8 + 14. Let t = h - 4. Suppose -30 = -4*a + t*a. Solve -m = -4*m - a for m.
-5
Let i be 10/(-25) + 12/5. Suppose -6 = j + 2*j, 2*o = -4*j + i. Solve 2*n - o + 1 = 0 for n.
2
Let j(u) = u - 1. Let h(v) = v**3 + 10*v**2 - v - 4. Let b be h(-10). Let t be j(b). Suppose -4*q - t*i + 24 = 0, 4*i = 3*q - 26 + 8. Solve -q = 2*k - 2 for k.
-2
Let a(c) = c + 16. Let x be a(-11). Let q be 2/3 - 104/(-6). Suppose -3*r - q - 2 = -4*h, -2*h = x*r - 10. Solve h = 5*b - 15 for b.
4
Let x(j) = j - 9. Let s be ((-20)/(-2) - 1) + 0. Let o be x(s). Solve o = 8*r - 4*r - 4 for r.
1
Let c(z) = -z**2 - 3*z + 5. Let f be c(0). Solve -f*b - 2 - 3 = 0 for b.
-1
Let p be (-6)/(-15) + (-23)/(-5). Suppose -29 + 4 = -p*q. Suppose -q*d - 3 = -4*l, -4*l + 2*d + 12 = 6*d. Solve 0 = -4*c - 10 + l for c.
-2
Let l = 14 - 10. Suppose l*c = c. Solve 2*s - s - 2 = c for s.
2
Suppose 20 = -z + 6*z. Suppose -5*d - 3*f + 20 - z = 0, -2*d - 5*f + 14 = 0. Solve c - 12 = -d*c for c.
4
Let r(o) = o**3 - 3*o**2 - o + 3. Let v be r(4). Solve -3*x - 2*x = v for x.
-3
Let o(r) = -r**2 - 16*r - 27. Let k be o(-14). Let u = -2 - -7. Let l = -2 + u. Solve -7 = l*w - k for w.
-2
Suppose 0 = 4*q - 26 + 10. Suppose -11 = -3*v + q. Let p(s) = -s + 11. Let j be p(v). Solve -10 = 4*m - j*m for m.
5
Suppose -2*t = -1 + 17. Let y be (36/(-24))/(3/t). Let n(o) = o - 5. Let g be n(6). Solve 0 = -5*q + y + g for q.
1
Suppose 0*p + 36 = 6*p. Solve 0 = -p*j + 3*j + 3 for j.
1
Let o be 1 - 6/(-9)*6. Suppose 2*m + 0*s - o*s = -5, m - 20 = -5*s. Solve -5*w + 20 - m = 0 for w.
3
Suppose g + 3*o = -6 - 9, 2*g = o + 5. Let v = g - 0. Solve 2*d - 5 - 5 = v for d.
5
Let f(k) = 0 - 5 + k + 3 + k**3 + 3*k**2. Suppose 2*y - 8 = -12. Let c be f(y). Solve -9 = -c*o + 3*o for o.
-3
Let w = 30 - 30. Solve 4 = -4*m - w for m.
-1
Let c be -2*(-1 + 0) + 2. Suppose 0 = -4*h - 16 - 0, c*h + 28 = 3*n. Solve -7 = -n*u + 9 for u.
4
Let v(d) = d**3 + 2*d**2 - 3*d + 2. Let f be v(-3). Solve f = -g - g for g.
-1
Suppose 0 = -3*p - 0*p + 24. Let c(s) = -7*s**2 - s**3 + 3*s**3 - 8*s - p - 3*s**3. Let z be c(-6). Solve 3*f - 1 = -z for f.
-1
Suppose -4*n - 3 = 5*j, 4*j - 2*j + 9 = n. Let s be (38/8)/(j/(-12)). Let x be ((