) = 3*r**3 + 2*r**2 - r**3 - 1 - 5*r**3 + 4*r**3. Let c be u(1). Let d = 2 + -2. Solve d*z = c*z - 2 for z.
1
Let h = -6 + 8. Solve -r + 3 = -h*r for r.
-3
Suppose -z - x - x + 39 = 0, z + 4*x = 43. Suppose -4*k + 7 = -1. Suppose 3*s + k - 27 = -5*b, -5*b = 5*s - z. Solve b*y + y - 15 = 0 for y.
5
Suppose 0 = -18*b + 17*b + 3. Solve 0 = -2*n - b*n for n.
0
Let z = 43 + -29. Let f be 0/1 + 0/(-1). Let h be 1 + (f - 3) - -6. Solve h*d + 6 = -z for d.
-5
Suppose -18 = z - 3*s - 2*s, -s = -2*z. Suppose 8 = 4*w + 5*c - 24, -5*w = 4*c - 31. Suppose -z*a + 4 = -0*a, -2*a + 10 = w*j. Solve 20 = -j*b + 6*b for b.
5
Let r = -10 - -10. Let m(c) = c**3 - c + 18. Let z be m(r). Solve z = 3*w + 3 for w.
5
Let w(z) = -z**2 - 8*z - 8. Let v be w(-8). Let p = v - -8. Solve 3*m - 6 = -p for m.
2
Let o be -2*3/2 + 9/3. Solve 3*z + z + 8 = o for z.
-2
Let m = -6 - -2. Let l(s) = -2*s + 6. Let o be l(5). Let a = m - o. Solve 2*t - 7*t + 20 = a for t.
4
Suppose 4*o + 4*b = b + 42, 0 = -4*o - b + 38. Suppose 0 = n - 3. Solve 3*z - n = o for z.
4
Let v(h) = h**3 + 4*h**2 - 5*h + 11. Let g be v(-5). Solve 2*q = 3 - g for q.
-4
Let d(z) = z**3 + 7*z**2 - 2*z - 5. Let v be d(-5). Let u = v - 39. Suppose 3*x - 8 = u. Solve 3*b = 5*b - x for b.
4
Suppose 3*j = -2*j + 5*i + 40, 4*j - 3*i - 27 = 0. Suppose 2*x + j*u = 5*x - 6, 3*u + 8 = 4*x. Solve -d = d - x for d.
1
Let q(a) = 7*a - 3. Let d(r) = -13*r + 5. Let v(m) = -6*d(m) - 11*q(m). Let x be (-2)/8 - (-1)/4. Let z be v(x). Solve -z*p = -p + 4 for p.
-2
Let p = -23 + 25. Suppose -3*l = z + 2*l - 21, -4*l + 14 = -2*z. Solve p*b + 5 = -z for b.
-3
Let l(y) = -y**3 + 6*y**2 + 3*y - 5. Let t be l(6). Solve 3*z = -t + 4 for z.
-3
Let l be (-12 - -2)/(-1 + -1). Solve l*y - 4*y = 0 for y.
0
Let y(f) = -4*f - 9. Let k(x) = -7*x - 18. Let i(n) = -3*k(n) + 5*y(n). Let w be i(-3). Solve w = 5*h - 14 for h.
4
Let b(l) = -l**2 + 3*l. Suppose 2*i = -j - 7, 4*j - i + 34 + 3 = 0. Let y be (-2)/((-3)/j + -1). Let t be b(y). Solve k + k = t for k.
0
Let q(k) = -6*k - 8. Let u be q(-7). Let m be 3/(4 + u/(-10)). Solve -m = -n - 0 for n.
5
Let p be (-4)/(-6)*27/6. Suppose 0 = p*g - 1 - 5, 0 = 3*j + 5*g - 13. Solve z + 1 = -j for z.
-2
Suppose i + 6 = -5*d + 1, -4*i - d = -18. Suppose -37 + 2 = -i*n. Suppose 0 = -j - 2*k - 0*k, 4*j = -k + n. Solve 0*x - j = 2*x for x.
-1
Suppose 24 = u + 2*u. Let h(m) = -m**2 + 11*m - 13. Let n be h(9). Suppose 2*s = n*p, 2*s = 3*p - 2*p. Solve p = v + v + u for v.
-4
Let r be (-1)/4 - (-2 + (-5)/4). Solve -r*p = -5*p for p.
0
Suppose -2*z + 2*s = 32, 8 = -4*z - 5*s - 47. Let x be 6/(-45) - 2/z. Solve x*g = g + 2 for g.
-2
Let q = 9 - 16. Let t = 3 + -8. Let h = t - q. Solve 3*y + 1 = -h for y.
-1
Let y = -9 + 13. Solve -y*b - b + 25 = 0 for b.
5
Let p be 8/(-4) - 14/(-2). Solve p*f + 4 + 1 = 0 for f.
-1
Let j(s) = -2*s**3 - 2*s - 1. Let d be j(-1). Suppose 2*l + 27 - 89 = 4*z, 2*z - 77 = -d*l. Let x = 2 - 0. Solve -x = 5*b - l for b.
5
Let x(a) be the second derivative of a**3/2 - 9*a**2/2 + 5*a. Let d be x(5). Solve 0 = d*q - 5*q + 2 for q.
-2
Let p = 3 + 0. Solve p*n + 2*n + 10 = 0 for n.
-2
Suppose -63*z = -62*z - 2. Solve 2*h + z*h = 0 for h.
0
Let h(a) = -4*a**3 - 7 + 2*a**2 - 7*a**2 + 3*a**3 - 2*a. Let d be h(-5). Suppose 0 = -3*g + g + 2*n + 50, -3*g + 5*n = -85. Solve d*y = -y - g for y.
-5
Suppose 9 = -0*j - j - 5*n, 3*n = -5*j - 1. Solve d + 0 + j = 0 for d.
-1
Suppose 0 = -2*o - 5 - 3. Let h be (o - -3) + (7 - 4). Solve -h*t - 3*t - 20 = 0 for t.
-4
Suppose -x - 18 = -3*x - 2*r, r = 3*x - 7. Suppose -x = -2*d - 4*u, -d - u + 2 = 3*u. Solve 3 = o - d*o for o.
-3
Let s be 3 - 2*3/6. Solve -s*i + 4*i + 2 = 0 for i.
-1
Suppose 0 = -w - 1 + 3. Suppose -w*u = u. Solve o - 4 - 1 = u for o.
5
Let s be (16/(-20))/(((-3)/5)/3). Solve -10 = s*q + 2 for q.
-3
Suppose 3*x + 4*t = 15, -4*x + 11 = 3*t - 2. Let s be -3*(-1 + 0/x). Let i(v) = -v**2 + 3*v + 3. Let a be i(s). Solve a*b = -20 + 5 for b.
-5
Let j be (-30)/(-4) - 3/(-2)*-1. Let x be 21 + -1 - (1 + -1). Solve -j*k + 2*k = -x for k.
5
Let n(s) = 3*s**2 - 2*s + 1. Let r be n(2). Let j = 7 + r. Solve -5*w + 4 = -j for w.
4
Let q be 8/(-3)*(-18)/8. Suppose 3*a + q = 15. Solve -a*s - 6 - 6 = 0 for s.
-4
Let y = 2 + 1. Suppose -y*p - 2*z = -p, 2*p = z + 3. Let w be (p + 1)*5/2. Solve -w*u + 5 = -5 for u.
2
Suppose 2*y = -0*y + 4. Let j(t) = -t**3 + t**2 + 2*t + 1. Let x be j(-2). Let p = x - y. Solve -3 = v - p for v.
4
Let u = -2 + 6. Suppose 3*q + 106 = 5*p + 7*q, 0 = -u*p + 2*q + 90. Let x be (-4)/p - (-79)/11. Solve 16 = -3*v + x*v for v.
4
Suppose g - 7 = 4*n, 0 = 4*g - 2*n + 4*n - 10. Suppose -3*l - 5 = -5*u, -g*l - l + 4 = 4*u. Solve j - 4 = -u for j.
3
Let g(r) = 1. Let t(l) = l**3 - 4*l**2 + 2*l - 9. Let o(v) = 6*g(v) + t(v). Let p be o(4). Solve f = p*f + 16 for f.
-4
Suppose -2*t - 2 = -2*z, 3*z + 3*t = -5 + 14. Suppose -3*m + a + 5 = 0, -2*m - 5*a = -a + 20. Let q = z - m. Solve -3*v - q*v = -20 for v.
4
Let k = -2 - -3. Let j(o) = o**3 + o**2 + 2. Let q be j(0). Let b = k + q. Solve d = -b*d for d.
0
Let r be (4 + -22)*(2/(-4) + 0). Solve 0*c - 3*c - r = 0 for c.
-3
Let d(l) = -l**2 + 5*l + 17. Let j be d(7). Let q(h) = h**2 + 2*h + 3. Let g be q(-2). Solve -g*v = -2*v + j for v.
-3
Let p be ((-75)/20)/((-6)/32). Let v(n) = -n**2 - 6*n + 3. Let g be v(-6). Suppose 0*r + 5*r = 2*s - 5, -4 = 4*r. Solve g*c + 2*c - p = s for c.
4
Suppose -4 = 4*o - 20. Let k be (2/o)/((-2)/(-8)). Solve l = -k*l for l.
0
Suppose -3*k + 8*k - 53 = -3*c, 0 = -3*k + 2*c + 28. Suppose -k = -3*t + 4*u + 29, -3*t + 3*u + 39 = 0. Solve t = -5*a - 12 for a.
-5
Let m(g) = -g**3 + 8*g**2 - 7*g - 5. Let s be m(6). Suppose 1 = -3*a + s. Solve -3*p + p = -a for p.
4
Suppose -7*a + 12*a = 75. Solve u + a = -2*u for u.
-5
Suppose -5*g + u = -3, -1 = 3*g + 3*u - 10. Let b be -5 + 3 - -4 - 0. Solve g = n - b for n.
3
Suppose -10*z + 13*z = 3, -3*h + 28 = -2*z. Solve 12*f = 7*f - h for f.
-2
Let g(b) = b. Let p be g(0). Let d(f) = -f**3 - f**2 - f + 5. Let h be d(0). Suppose -r = -5*o + 56, p*o + 50 = h*o + 5*r. Solve 0 = 4*v + 1 + o for v.
-3
Let q(g) = -g**3 + 9*g**2 - 3*g - 2. Let d be q(7). Suppose -o + 6*o = d. Solve -5*u + 10 = -o for u.
5
Let p(r) = 3*r - 18. Let w be p(6). Solve -3*t + 9 = -w*t for t.
3
Suppose 0 = 4*l - 3*k - 64, -5*l + 5*k + 11 + 74 = 0. Solve l + 12 = -5*o for o.
-5
Suppose -9*o + 3*o = -24. Suppose -3*y - 2*b = 2*b - o, 0 = 4*y + 3*b - 17. Solve y = -2*u - 2 for u.
-5
Let x(r) be the third derivative of -r**5/60 + 5*r**4/24 + r**3/3 + 7*r**2. Let c be x(4). Solve c*z + 16 = 2*z for z.
-4
Let m = 10 + -10. Solve 0 = 2*r - m - 10 for r.
5
Let q = 90 - 77. Solve q = 4*o + 5 for o.
2
Let d(j) = 3*j - 1. Let z be d(2). Let k = 2 - 0. Suppose 0 = -h + r + 23, k*h - z*h + 79 = 2*r. Solve 0 = 7*c - 2*c - h for c.
5
Let s = 21 + -21. Suppose 2*g = 3*p + 8, 0 = p - s*p - g + 4. Let n(z) = z + 5. Let w be n(-5). Solve t + p*t = w for t.
0
Let u(c) = c + 11. Suppose -6*d + 3*d - 15 = 0. Let n be u(d). Solve -2*o = -n*o for o.
0
Suppose 0*s - 5*r = -4*s + 39, -s + 10 = -r. Let m = s + -7. Solve p - 2*p + m = 0 for p.
4
Suppose -2*o = -3*y - 55, 85 = 5*o + 3*y - 0*y. Solve 2*q - o = 6*q for q.
-5
Let m(g) = g**2 + 4*g - 7. Let z be m(-6). Suppose r = 4*o - z, 7*o - r = 2*o + 5. Solve o = 6*d - d + 10 for d.
-2
Let v(l) = 2*l**2 - l. Let b be v(-1). Solve b*q + 3 = 9 for q.
2
Suppose i - 3 + 6 = 0, 0 = x + i - 1. Suppose -5 = 3*j - 11. Suppose -8 = -j*m + x. Solve 3 = q + m for q.
-3
Suppose 2*b - 2*a = 26, 3 = -b + 4*a + a. Let x = 23 - b. Solve 3*n - x*n = -6 for n.
2
Suppose -2*a + 8*a = 18. Solve -t - a*t = 0 for t.
0
Let u be 86/4*2 + -1. Suppose -5*d - 28 = u. Let l be 6/21 + (-52)/d. Solve 1 = l*v + 5 for v.
-1
Suppose -20*g + 62 = -38. Solve g*o = 2*o for o.
0
Let z be 16/(-12)*3/(-2). Let q be z/2 + (6 - 1). Solve 0*g = -2*g + q for g.
3
Let y = 30 - 4. Suppose -3*a - y = -8. Let m = a - -6. Solve -2*s + 0*s = m for s.
0
Suppose 0*l + 1 = -l. Let d be (-1 + l)/(8/(-20)). Suppose 5*s - 4*n - 23 = -0*n, 2*n = -4. Solve 0 = s*h - 8*h + d for h.
1
Let k(n) = -2*n - 8. Let j be k(-6). Suppose -6*s = 2*s. Let h(a) = a + 4. Let c be h(0). Solve c*l - j = -s*l for l.
1
Let j = -30 - -35. Solve -j = -5*v - 0 for v.
1
Let i = 13 + -24. Let z = -9 - i. Let d be 10/3