Suppose 0 = -8*d + 4*d. Suppose 0 = -2*c - 4*u - 4, 3*c - u - 2 = u. Suppose c*x = x. Solve d*m + 5*m + 20 = x for m.
-4
Let c = 14 - 11. Solve 0 = c*k - 8*k for k.
0
Let t = -8 + 11. Suppose 20 = 5*m - 5*y, 4*m - 3*y = t + 11. Suppose 0*j + 3*j = 0. Solve j*l = -m*l for l.
0
Suppose -t + 37 - 12 = 4*b, b - 31 = -3*t. Suppose -q = -5*p + 15, 3*q - 3*p = q - t. Solve 2*j - 3 - 1 = q for j.
2
Suppose 0*q = -2*q. Solve -5*k + k + 12 = q for k.
3
Suppose -72 - 8 = -8*s. Solve 0 = -3*r - s - 5 for r.
-5
Let c be -15*6*4/(-8). Suppose 4*b + 17 = c. Solve b*r = 3*r for r.
0
Suppose h - 10 = -0*h. Suppose 0*z = -2*z - g + h, 0 = -4*z + 5*g + 6. Solve z = 5*m + 9 for m.
-1
Let s be (4 + -2 + 2)/2. Suppose 0 = 4*z + 4*h - 20, z = s*z + 2*h. Solve -5*k = -z*k - 25 for k.
-5
Let r(t) = -t**3 - 2*t**2 + 2*t. Let h(s) = -4*s**2 + s. Let c be h(1). Let f be r(c). Solve -1 = z + f for z.
-4
Let q be 11/4 - 2/(-8). Let v be (2 - 3)/((-1)/q). Solve 0 = -5*x - 7 - v for x.
-2
Let a be 2/6 + (-380)/(-12). Suppose 0*o - 4*o + a = 0. Solve -5*v = 12 + o for v.
-4
Let p(b) be the second derivative of b**3/6 - 2*b**2 - 2*b. Let a be p(10). Solve 12 = 2*l - a*l for l.
-3
Suppose 2*r - 6 = 4*s, -9 = s + 5*r - 3*r. Let o be (s - 19/(-5))*5. Solve 8 = -o*f - 0*f for f.
-2
Let g = -28 + 16. Let q = -6 - g. Solve 2*x = q*x + 4 for x.
-1
Suppose 4*a = -3*b + 11, 5*a = 4*b - 2*b + 8. Suppose -h + 0 = -a. Solve h*m = 3*m - 2 for m.
2
Let v = -50 - -53. Solve -n + v*n = -2 for n.
-1
Let p be 5 - (-3)/((-6)/4). Solve -16 = -p*f - f for f.
4
Let h(x) = -3*x + x + 7 - 7 - 8. Let y be h(-6). Suppose y*r = -0*r. Solve -3*w + 9 = -r*w for w.
3
Suppose 23 - 17 = 3*w. Solve -w*j = -5*j for j.
0
Suppose 2*r + 5 - 3 = 2*g, 4*r = -5*g + 32. Let s(k) = -k**2 - 4*k - 3. Let w be s(-3). Solve 0*d - g*d + 8 = w for d.
2
Let y be -2 - (-14)/(-2)*-1. Suppose -5*g + 20 = 3*n, -n = 3*n + y*g - 20. Solve n = -4*f - 0 - 20 for f.
-5
Let a(u) = -u**2 - 11*u - 8. Let c be a(-9). Solve 0 = 4*p - 6*p - c for p.
-5
Let u = -52 - -60. Let k = 9 - 5. Solve -u - k = 4*y for y.
-3
Suppose 2*i + o - 24 = -3*o, 4*i = -2*o + 30. Suppose 3*r + u - 4 = 0, -3*u + 0*u - 30 = -5*r. Solve g - r*g = i for g.
-3
Let f(u) = u**2 - 4*u + 5. Let z be f(5). Suppose -z = -3*i + 35. Solve 3 = 4*m + i for m.
-3
Let g(s) = s + 8. Suppose 3*t = -2*t - 2*a + 31, -a = -4*t + 17. Suppose 2*o - 11 = 2*q + t, -14 = q - 3*o. Let k be g(q). Solve 0 = -6*u + k*u + 12 for u.
4
Suppose -3*r + 12 = -r. Suppose 0 = -r*v + 2*v. Solve v*t + 5*t = 5 for t.
1
Let q(s) = -s**3 + 6*s**2 - s + 2. Let k be q(6). Let u = k + 11. Let c = u + -2. Solve 0 = 3*a + 2*a - c for a.
1
Suppose b + 0*b - 1 = 0. Suppose 5*h + 5*z - 100 = 95, 0 = 2*h + 3*z - 83. Let w = -13 + h. Solve -5*m - b = -w for m.
4
Let j = 30 + -30. Solve -5*u + 4*u = j for u.
0
Let q = 12 - 6. Let f(c) = c**3 - 15*c**2 + 15*c + 6. Let n be f(14). Solve -q*j = -2*j - n for j.
5
Let y = 5 + -1. Let t(z) = 122*z. Let q be t(5). Let x be 2/(-8) + q/40. Solve -y*w = w - x for w.
3
Let x(p) = -1 + 6*p - 7*p**2 + 5*p**2 - 4*p**2 - p**3 - 6. Suppose 3*h + 2*n = -2*n - 1, 0 = -n + 5. Let g be x(h). Solve g = -f - 2*f for f.
0
Suppose -k + 3 = 0, -2 - 16 = -5*s + 4*k. Suppose b - s = 3*x - 21, -4*b = 4*x + 92. Let y be ((-12)/b)/(4/14). Solve y*q = -4 - 0 for q.
-2
Let i = -13 - -13. Suppose -4*z + 12 + i = 0. Solve -z*k = -2*k for k.
0
Let o = 4 + -13. Let m be (-8)/(-12)*(-117)/6. Let r = o - m. Solve -r = 2*y - y for y.
-4
Suppose 0 = 3*i + 3*w - 30, -6*i - 3*w + 20 = -4*i. Suppose -4 = -2*t - 2*n, -3*t + n - 3*n + i = 0. Solve z = 3*z - t for z.
3
Suppose -2*j = j. Suppose -l - 4*l + 95 = j. Suppose -m + l = 5*w, -3*w - 5*m = 2*w - 35. Solve 2*g - g - w = 0 for g.
3
Let b = -4 - -17. Let m = b - 5. Let p be -2*2/m*-10. Solve -p*w = -3*w for w.
0
Suppose -g - 4*g + 4*s + 9 = 0, -2*g + s + 3 = 0. Let i(x) = x**2 + 8*x + 9. Let c be i(-7). Let q be 5/c + g/2. Solve q*n = -0*n + 12 for n.
4
Suppose 8*d + 5 = 3*d. Let p = d - -5. Suppose 0 = f - 1, 3*f = -4*b - 2*f + 25. Solve 1 = p*v + b for v.
-1
Suppose 2 = 2*u, n = -n - 3*u + 9. Let x = n - 1. Solve x*d - 2 - 6 = 0 for d.
4
Let j be 13/5 - (-10)/25. Let c be (5 + j)*(-1)/(-2). Solve 0 = -c*m - 0*m for m.
0
Suppose s = 4 - 1. Solve 0 = s*o - 2*o + 1 for o.
-1
Let x be 6*6/36*(-1)/(-1). Solve -5*v = 16 - x for v.
-3
Suppose 0 = h - 6*h + 10. Solve u + 5 = h for u.
-3
Suppose 2*h + 7*g - 4*g - 4 = 0, 0 = 3*h + 2*g - 6. Suppose 0*a - h*a = -6. Solve a*p - 3 = -0*p for p.
1
Let r be 6 + -1 + 4/(-2). Suppose -2*w - r*w = 0. Let g = 47 - 41. Solve w = g*i - i - 5 for i.
1
Let b = 165 + -113. Let i = b + -32. Solve 2*v = -3*v + i for v.
4
Let i = 33 - 33. Solve -9*f + 4*f = i for f.
0
Let r(t) = 2*t + 7. Let v be r(-1). Solve 7 = v*l - 13 for l.
4
Let q = 3 + -1. Let m(b) = b + 8. Let d be m(-6). Let l be -12*(0/d - 1). Solve r - l = -q*r for r.
4
Suppose 2*z = 2*c + z + 4, -c + 4*z + 12 = 0. Suppose -3*n + 72 = -t, 2*n - 58 = 3*t + t. Let p be n + c*(-3)/6. Solve -v = -6*v - p for v.
-5
Let n be (-66)/(-10) - (-9)/(-15). Solve -b - 25 = -n*b for b.
5
Let h = 2 + -2. Suppose 5*f - 4*x + 4 = 0, f + h = -x + 1. Solve f*w = -w for w.
0
Let r(q) = -q**3 - q**2 - q + 4. Let z be r(0). Suppose 0 = 4*g - 5*l - 24, 0 = 2*g + z*l + 2 - 14. Let s be (g/(-4))/((-6)/8). Solve s*m = 3*m for m.
0
Suppose 22 = -5*h - 4*g + 125, -3*h = 5*g - 54. Let v(b) = b + 11. Let j be v(-6). Solve h = j*t - 2 for t.
5
Let j(b) = 3*b - 6. Let z be j(4). Suppose z*i - 2*i = 0. Solve -f - 4 + 6 = i for f.
2
Let y = 0 + 4. Solve i = y*i + 3 for i.
-1
Suppose 4*f - 12 = 4*h, 5*h + f + 14 = 5*f. Let x be ((-4)/10)/((-1)/5). Let z = x - h. Solve -z = 3*o + 11 for o.
-5
Let z(s) = -2*s + 1. Let a(j) = -3*j + 1. Let b(h) = 5*a(h) - 7*z(h). Let u be b(-7). Suppose -11 + 1 = -5*g. Solve -u*r = -3 - g for r.
1
Suppose 2*s - 50 = -0*s. Solve -8*t - s = -3*t for t.
-5
Let s be 45/9 - (3 - 1). Suppose s*u + 4*r = 2*u + 20, u + 2*r - 10 = 0. Solve 4*i + i + 5 = u for i.
-1
Suppose -6 = -n - 3*l, -2*n - n + 2 = l. Solve n = -3*d - 0 - 12 for d.
-4
Let q = 50 - 25. Solve 0 = k + 4*k - q for k.
5
Suppose -a + 6*a = 40. Suppose 0 = 4*t - a*t. Solve 2*h + h + 12 = t for h.
-4
Let n(h) = -3*h - h**3 + 0*h + 6*h**2 - 3 - 4. Let u be n(5). Suppose -r - 1 + u = 0. Solve g - r = -1 for g.
1
Let a = 5 + 0. Let f(x) = -x**2 + 3*x + 2. Let z(m) = -3*m**2 + 7*m + 3. Let o(c) = a*f(c) - 2*z(c). Let u be o(0). Solve 0 = -u*r + 3*r for r.
0
Suppose -5*x = 5, -w + 0*x + 4*x - 18 = 0. Let u be 648/66 + (-4)/w. Solve -5*s = -u*s - 5 for s.
-1
Let s = 29 + -47. Let r = s + 33. Solve 0 = 2*c + 3*c + r for c.
-3
Let o(g) = -7*g**2 - 5*g + 6. Let q(c) = -4*c**2 - 2*c + 3. Let x(i) = -3*o(i) + 5*q(i). Let l be x(-5). Let h = 3 + l. Solve p - 2 + 0 = h for p.
2
Suppose x = -4*x. Suppose x = -5*y + s + 15, -3*y - 2 = 3*s + 7. Solve 4*r + 18 + y = 0 for r.
-5
Suppose k - 4*k + 6 = 0. Solve 2*o - 4*o = -k for o.
1
Let s(d) = -2*d - 17. Let i be s(-12). Suppose -3*z - 2*c + 17 = 0, -24 = -4*z + 3*c - i. Solve 4*v - z = -v for v.
1
Suppose -12*u + 6*u + 96 = 0. Solve 18*p - u*p = 0 for p.
0
Let b be (-2)/8 + 26/8. Let l be (-1)/(-2 - -3)*-5. Suppose -2*s - 22 = -4*i, -s - 2*s - 27 = -l*i. Solve 0*f + i = -b*f for f.
-2
Suppose v - v = 3*v. Solve 4*f - 19 + 3 = v for f.
4
Let i be 3/(-9) - (-22)/3. Let s(b) = -b + 10. Let n be s(i). Solve -3 = -n*q - 9 for q.
-2
Let n be 0*3/(-3) + -4. Let h = n - -6. Solve -h*z = -0*z for z.
0
Suppose v = -0*v - 9. Let l = -3 - v. Suppose -c + l = -4. Solve r = -r - c for r.
-5
Let s be (-28)/(-6) - 4/(-12). Suppose -4 = s*p - 3*m, -5*p + 2 = -m - 0*m. Suppose -2*f - 16 = -0*r - 4*r, -f + p = r. Solve h - 4 = -r*h for h.
1
Let l(r) be the first derivative of r**3/3 + 2*r + 4. Let n be l(0). Solve -n*y + 0*y = 0 for y.
0
Suppose -3*f = -g - 13, -23 = -5*f - 3*g + 5*g. Suppose -2*m + 3 = -1. Suppose -2*y - 3 + 1 = 3*x, -20 = -m*x + 4*y. Solve f*k - x*k = -5 for k.
-5
Let x(m) = m**3 + 10*m**2 + 11*m + 22. Let t be x(-9). Solve -s = -t*s - 12 for s.
-4
Suppose 0 = 3*s + 3*c - 18, -4*c + 26 = 6. Let l(t) = t + 9. Let d be l(0). Solve -d - s = -2*a for a.
5
Let g = -74 + 77. Solve -12 = l + g*l for l.
-3
Suppose 0 = 2*v + 4*n + 16, -v + 4 = 3*n + 17. Let z be -1*((-1)/(-1) - 1). Solve -