= -4*r - z - 2*z. Solve -k - r*k + 15 = 0 for k.
3
Let w(k) = 2*k - 7. Let t be w(5). Suppose -2*f + 17 - t = 0. Solve f = 2*l + 15 for l.
-4
Let k(q) = q**3 - 4*q**2 + 4*q + 1. Let x = 12 + -9. Let o be k(x). Solve 5 = -o*f - 11 for f.
-4
Let p be (-6)/15 - (-8)/20. Solve -2*x = -p*x for x.
0
Let u(b) = -2*b**3 - 3*b**2 + 2*b - 2. Let w be u(-3). Solve -4 + w = -5*p for p.
-3
Suppose -3*r = -12, 4 = 4*j + j + r. Solve s = -j*s + 5 for s.
5
Suppose 4*k - 2*u = 3 + 3, -3*k - 15 = 5*u. Solve j - 3*j - 4 = k for j.
-2
Let w(i) = i**3 - 5*i**2 + 6*i - 8. Let s be w(4). Solve 2*v + 2 - 10 = s for v.
4
Let d be (2/(-4)*2)/1. Let t = 3 + d. Suppose 0 = -4*p + 15 + 45. Solve t*f + f + p = 0 for f.
-5
Suppose 7*g + 4*m = 11*g - 40, 3*g - 34 = 5*m. Suppose 2*z = -2*z. Solve z = f + f - g for f.
4
Let f(r) = -2*r - 7. Let k be f(-5). Suppose -5*u = k*y - 28, u + 2*u + 2*y - 17 = 0. Solve -u*b = -4*b for b.
0
Suppose 0 = -o + 11 - 2. Solve 0 = 2*t - o + 1 for t.
4
Suppose 0*s + 12 = -2*q + 2*s, -5*s = 5*q + 50. Let u be 4/10 + q/(-5). Solve 2*v + 20 = -u*v for v.
-5
Suppose -30 = -3*u - 6. Let p = 19 - u. Solve 2*s = -1 + p for s.
5
Let z(p) = 2*p + 6. Let c(s) = -s - 3. Let m(t) = -7*c(t) - 4*z(t). Suppose 10*i = -3*w + 5*i + 1, w + 1 = -i. Let f be m(w). Solve 0*x + x - 2 = f for x.
2
Let v be (-5 + 4)*(1 + -18). Let z = -12 + v. Suppose -z*h = -14 - 1. Solve 1 + 5 = -h*q for q.
-2
Let a = 7 + -4. Suppose -a = -f - 1. Solve 0 = -x + f*x for x.
0
Let p be 0/(-3*(-2)/(-3))*-1. Solve k + k + 2 = p for k.
-1
Let w be 33/9 + (-6)/(-18). Solve -2*p + p = w for p.
-4
Let n(l) = -3 + 7*l + 7*l - 13*l. Let x be n(4). Solve o + 0 = -x for o.
-1
Let c = 0 + 12. Let y be (3 - 4)/((-4)/c). Solve y*o - o = -6 for o.
-3
Let b(s) = s**2 - 5*s - 1. Let w be b(5). Let z be (2/(-6))/(w/21). Solve q = 3 - z for q.
-4
Let r(c) be the first derivative of c**3 - c**2/2 - 1. Let w be r(-1). Solve 0 = -w*a - 18 - 2 for a.
-5
Suppose -9 + 33 = 3*o. Suppose 2*m - o - 2 = 0. Solve m*q + 5 = -0 for q.
-1
Suppose 0*c + 2*c - 12 = -w, 0 = 4*c + 5*w - 24. Let s be (-9)/3 + c + 1. Solve 12 + s = 4*f for f.
4
Let g(t) = -t**2 + 6*t + 6. Let o be g(6). Solve 6 = 4*z - o for z.
3
Suppose -z = 3*p + 1 + 8, 0 = -p - 4. Suppose -22*i = -30 - 14. Solve -v = i*v + z for v.
-1
Let a(b) = b**3 + 10*b**2 + 15*b - 5. Let d be a(-8). Solve 0 = -d*z + 2*z for z.
0
Let y be 12/(-30) + (-67)/(-5). Suppose -2*n + 43 = y. Solve 0 = -3*i - 0*i - n for i.
-5
Let g(t) = t**3 - 13*t**2 + 12*t. Let d be g(12). Suppose d*o - 2*o = 40. Let x = 31 + o. Solve -4*z + x = -9 for z.
5
Let r be (-1 + 1)/((-3)/1). Suppose -2*a - 5*u - 11 + r = 0, -12 = 4*u. Let y be (a/(-1))/(-2) - 1. Solve 2*t + y*t = -6 for t.
-3
Suppose -2*q + 38 = -5*q - 2*p, 3*p + 62 = -5*q. Let a = q + 20. Solve 0*z = 5*z + a for z.
-2
Let x = 149 - 143. Let k(s) be the first derivative of -s**2/2 + s - 1. Let z be k(-1). Solve -z*m + x*m = 0 for m.
0
Let w = -2 - -2. Let b = -6 - -13. Solve w = -4*d + b - 23 for d.
-4
Let i be 6/21 + (-204)/(-21). Let q be (18/i)/((-3)/(-10)). Solve -3*s + 6*s = q for s.
2
Suppose 10 + 22 = 4*x. Solve -p = p + x for p.
-4
Let z be 1 - -52 - 4/(-2). Suppose 3*r = -2*r + z. Suppose -4*h + 3*j - 4*j = -r, -6 = -h + 3*j. Solve -4*b - h = -3*b for b.
-3
Suppose -29 - 16 = -3*v. Let k be -2 + v/3 + -3. Solve 0*p - 4*p - 20 = k for p.
-5
Suppose g - 11 = -2*s, -4*g + 3 + 8 = -3*s. Solve 2*m + s*m = 20 for m.
4
Suppose -3*u + 5*u = 0. Solve 3*q + u*q - 12 = 0 for q.
4
Suppose 0 = -5*x - x + 6. Let o be (-12)/((-2)/x) - 2. Solve o*a - 5*a = 5 for a.
-5
Suppose -5*i = -12 - 78. Let s be 50/i - 2/(-9). Solve b + s = -0 for b.
-3
Suppose -2*h + 2 = -34. Suppose 0 = 17*m - 19*m + h. Solve -3*j = -6*j + m for j.
3
Suppose -20 = -5*c, -7*m + 2*m + 8 = 2*c. Suppose m = -3*t + 7*t - 80. Solve -5*q + 0 + t = 0 for q.
4
Let k = 65 - 59. Solve -2*w = -k*w - 16 for w.
-4
Let q(j) = j**2 - 4*j + 1. Let b be q(5). Let t be (1 - 1 - 3) + b. Suppose t*r = 2*r. Solve -v = -r*v + 2 for v.
-2
Let c(z) = z**3 - 16*z**2 - 20*z + 53. Let v be c(17). Solve -v*u = 3*u + 25 for u.
-5
Suppose -i + 15*o - 13*o = -12, -2*i - 3*o + 17 = 0. Let t(n) = -n**2 - 7*n - 5. Let g be t(-5). Solve i = -g*w + 3*w for w.
-5
Let d(i) = -i + 30. Let k be d(21). Solve v + 7 - k = 0 for v.
2
Let x(h) = -15*h - 27. Let v be x(-3). Solve v = -r + 7*r for r.
3
Suppose 2*j - 10 = 2*o, -j + 5*j = 5*o + 20. Solve 0*h - 4*h = o for h.
0
Let k(y) = y**2 - 4*y + 3. Suppose 4 = -c + 2*c. Let f be k(c). Solve 1 = b + f for b.
-2
Suppose 0 = 2*s, -2*s - 6 = -x - 2*x. Suppose -3*o = x*o - 60. Let u be -5*(3 - 54/15). Solve u = 5*t - o for t.
3
Let i = 53 - 9. Suppose -2*k - 38 = -4*l, 5*l + 2*k = k + i. Solve x - l = -2*x for x.
3
Suppose -3*a = 47 - 107. Solve -4*o - a = -8 for o.
-3
Let v = 36 + -26. Suppose 2*p - 6 = 2. Let b be (-6)/p*2/(-1). Solve -5 = b*j + v for j.
-5
Let z(g) = -35*g**2 + g - 1. Let s be z(1). Let j = -15 - s. Solve 0 = 3*n + 2*n - j for n.
4
Let c = 22 + -22. Suppose 4*g - 3 = -g + 4*y, -g = -5*y + 12. Suppose 2*d + 0*n + 20 = 5*n, -12 = 2*d - g*n. Solve 2*p + c*p - 2 = d for p.
1
Let x = -7 + 15. Let v = -5 + x. Solve 4*b - 3*b + v = 0 for b.
-3
Suppose 12 + 12 = 2*t. Suppose 3*k - 2 = 10. Suppose k*i = -0*i. Solve -c + 5*c - t = i for c.
3
Let f(r) = r**3 - r**2. Let z be f(1). Solve -5*l + 0*l - 25 = z for l.
-5
Let s = -14 + 20. Let o = 6 - s. Suppose 2*f - 12 = -2*f, 5*j - 16 = 3*f. Solve o = -j*w + w for w.
0
Suppose -s + 15 = -2*b - 4*s, 3*b + 4*s = -20. Solve b = g - 4*g for g.
0
Let k be (-1)/2 - 34/4. Let d = -6 - k. Solve d*a + 4 + 5 = 0 for a.
-3
Let a(s) be the first derivative of 1/2*s**2 - s + 2. Let q be a(6). Solve -8 = q*n + 12 for n.
-4
Let b be (-8)/(-3)*(12 + -9). Solve 4*y - 4 = b for y.
3
Let h(v) = -2*v - 12. Let m be h(-7). Solve -u - 15 = m*u for u.
-5
Let w be 4/10 - (-4)/(-10). Solve -t + 2 - 7 = w for t.
-5
Let c = 20 + -14. Solve -c*o - 16 = -2*o for o.
-4
Suppose 0 = -3*d - r + 10, -2*d = -4*d + 3*r + 3. Let v(k) = -k + 1. Let c be v(-1). Suppose 3*y = 3*q - 12, -y - 33 = -3*q - 5*y. Solve -d*t + q = -c for t.
3
Let k be 2 + 0/((-4)/(-2)). Suppose 4*c - 3*t - t - 32 = 0, k*t + 8 = 0. Solve 0 = -c*a - a + 25 for a.
5
Suppose -2*k = 2*k - 8. Suppose 0 = 4*d + 1 - 17. Solve k*u + d = u for u.
-4
Let s(p) = 5*p - 8. Let q be 4 + (-9)/(-3 - 0). Let f be s(q). Suppose -f + 7 = -5*z. Solve 0*g - z*g = 12 for g.
-3
Let g be 1/(-3 + (-35)/(-10)). Solve 0 = -4*y + 6 + g for y.
2
Suppose 5*a + 8 = 3*d, -a - 4*d = d - 4. Let k be a/((-9)/(-5) + -2). Let r(i) = i**3 - 11*i**2 - 12*i + 1. Let j be r(12). Solve -j = -3*s + k for s.
2
Let r(u) = -2*u - 2. Let j be r(-2). Suppose -j*s + 20 = -s. Solve -2*t + 6*t + s = 0 for t.
-5
Suppose 0 = -0*s - s - 3*o - 6, -4*o - 8 = 0. Let q = 32 - 46. Let i = -3 - q. Solve -2*f + 1 - i = s for f.
-5
Let v be 20/8 - 2/4. Suppose -v*r - r - 153 = 0. Let z be -2 + r/6*-4. Solve -5*c = -z + 12 for c.
4
Let x be 29 + -29 - 10/(-2). Solve -10*y + x*y = 0 for y.
0
Let z = -11 - -15. Solve 0 = -4*j - 4 - z for j.
-2
Let d = 4 + -3. Let a(j) = 10*j**2 - j. Let n be a(1). Suppose -n = -3*b + 3. Solve d = -b*t + 21 for t.
5
Let y = 0 + 3. Suppose y*c + 22 = -14. Let r = -7 - c. Solve 0 = 4*d - r*d - 1 for d.
-1
Let d = -155 - -158. Solve 20 = m + d*m for m.
5
Let o = -8 + -13. Let c be 2/(-4) - o/6. Solve c = 3*p - 12 for p.
5
Let o be 11/11 + 2 + -1. Suppose -2*x - x = 0. Solve -o*t + x = -2 for t.
1
Let b(k) = 2*k + 9. Let a be b(3). Solve 4*s - a = s for s.
5
Suppose 117 = 3*o - 0*o. Suppose 0 = 4*v + 11 - o. Solve -v*z + 20 = -3*z for z.
5
Suppose 5*p = -2*d + 7, 6*d = d - 20. Suppose 3*k - 3*g = -57, 7 = 4*k + 4*g + 67. Let r = -4 - k. Solve -4 = -p*s - r for s.
-3
Let p = -8 - -11. Solve 0 = 3*t + 6 + p for t.
-3
Let n(b) = b - 13. Let i be n(8). Let r = 7 + i. Suppose -6*j + 4 = -2*j - 4*a, 4*a = r*j - 4. Solve 0*f + 5*f - 10 = j for f.
2
Let h(d) = d - 1. Let i be h(5). Let v = 1 + 2. Suppose -5*a = -i*a - 3, k = -a + v. Solve k = -2*g + 6 for g.
3
Suppose -3*p + 140 = p + 2*g, -152 = -4*p + 4*g. Suppose 7*x - p = 4*x. Solve 6*a - 2*a = x for a.
3
Let d = 8 + -10. Let g be (-4)/(-8)*6 - d. Solve 0*b = -g*b + 5 for b.
1
Let h be 1/((12/9)/4). Let n be 4*h/12*2. Solve 0 = n*l - 1 - 7 for l.
4
Le