Suppose i*d - 48 = -d. Solve 0 = -3*r - 0 + d for r.
4
Let h be 26/6 + 22/33. Solve -3*s + 4 = -h*s for s.
-2
Let k(q) be the first derivative of q**2/2 - 3. Let h be k(0). Solve h*y = 4*y for y.
0
Suppose 3*d - 12 = -2*x, 2*x - 19 + 3 = -5*d. Let n be 6 + (-2 - 2/d). Suppose -n*k = -11 - 7. Solve 2*f + 20 = k*f for f.
5
Let r be (2/(-6))/((-5)/30). Solve 0 = z - r*z for z.
0
Suppose -4*f - 4*s + 2*s + 14 = 0, f - 4*s = -10. Suppose 2*y = 8*o - 3*o + 7, f*o + 22 = 4*y. Solve -2*i - y = -0 for i.
-3
Let k(m) = 3*m**2 + m. Let z(l) = -l**3 + 9*l**2 - l + 13. Let a be z(9). Suppose -5*d + 10 = 0, 3 - a = 5*j + 2*d. Let q be k(j). Solve b - 3 = q*b for b.
-3
Let j(r) = -r**3 + 9*r**2. Let z be j(9). Solve z*o + 1 = -o for o.
-1
Let c = 43 - 38. Solve -3*r = -c*r - 6 for r.
-3
Let b be -3 - 3*4/(-3). Solve 0 = 5*y + b + 14 for y.
-3
Let m = 3 - 1. Suppose -2*q + 15 = 5*n, -5*q + 0*n = -m*n + 6. Solve q = 4*r + r for r.
0
Suppose -2*l + 18 = 2*m, -1 = -2*l - 3. Solve 0 = -16*q + 11*q - m for q.
-2
Let h(s) = -s**3 - 6*s**2 - 3*s - 6. Let a be h(-6). Suppose a = -w + 5*w. Solve 0 = -4*f + f + w for f.
1
Suppose 5*k + 5 = -0. Let b be (0/(-3))/(-3 - k). Solve b = -w - 4 - 0 for w.
-4
Let f be ((-12)/18)/(2/(-15)). Solve -4*w = -f + 1 for w.
1
Let g(z) = z**2 - 6*z - 3. Let s be g(7). Suppose 2*l - 4*h + 12 = l, 4*l - s*h = 0. Solve 0 = f - l*f for f.
0
Suppose -8*a - 3*a + 11 = 0. Solve 2*p + 1 + a = 0 for p.
-1
Let w be -2*((-30)/(-4))/(-5). Let a = w + 0. Suppose -t = a*n - 15, -3*t - 3*n = -16 - 5. Solve t = r + 6 for r.
-3
Let v be (1*2)/(12 - 10). Let k(d) = d**3 + 4*d**2 + 2*d - 1. Let y be k(-3). Let h = v + y. Solve 5*x - 23 + h = 0 for x.
4
Let q(l) = l**2 + 2*l - 1. Let u(h) = -4*h**2 - 2*h - 1. Let s be u(-1). Let c be q(s). Solve -3*n - c*n = 10 for n.
-2
Suppose 11*q = 19 + 3. Solve -q*a - 4 = 6 for a.
-5
Suppose 37 = 4*z + 13. Let c = -2 + z. Solve -c*r - 1 + 9 = 0 for r.
2
Suppose -1 = u - 4. Solve -u*d = -4*d for d.
0
Suppose 4*b = -4*o + 4, -3 = -0*o + 3*o. Suppose a = -4*s - 22, -4*a + b*s - 46 = -3*s. Let u = a - -20. Solve 2*f + 0 + u = 0 for f.
-3
Let w be 0/6 - (-1 + 2). Let s = w - -9. Solve k + s = -k for k.
-4
Let j = 0 - 0. Let l = j + 5. Let x = 5 + -2. Solve x*o = l + 7 for o.
4
Suppose -3*r + 2*w = -2*w + 11, -2*w + 19 = 3*r. Suppose -r = -2*v + 7. Solve 3*b - 4 = v for b.
3
Suppose 0 = 4*z + 3*y - 41, 2*z + 0*y = 2*y + 10. Solve o + z = -o for o.
-4
Let u be (-12)/(-8) + (-22)/(-4). Solve -u*m = -4*m for m.
0
Let d = 33 + -23. Suppose d = 4*z + 2. Solve -z*v = -v for v.
0
Let l(u) be the third derivative of u**2 + 0*u + 1/2*u**3 + 0 - 1/24*u**4. Let n be l(3). Solve 4 = -4*t - n for t.
-1
Let z(y) = 2*y - 10. Let r be z(6). Solve 4 = -r*w - 0*w for w.
-2
Suppose 0*l = 3*l - 5*b + 11, 0 = -3*l - 2*b + 17. Let i(n) = 8*n**3 + 2*n**l - 11*n**3 - 2*n**2 - 2. Let m be i(-3). Solve -2*q - 3 = -m for q.
2
Suppose 0 = -3*j - 20 + 26. Let o be 57/21 - 4/(-14). Suppose 0 = -w - o*w. Solve w = -2*r + r + j for r.
2
Suppose 0 = 2*u + 5*z + 16, -3*u + 0*u = 3*z + 6. Solve u*k - 4 = -0*k for k.
2
Let r be -7 + 0 + -2 - -1. Let s be ((-5)/(-4))/((-2)/r). Solve -s*a - 1 = 4 for a.
-1
Let j = -8 + 12. Let r = j - 2. Solve -r = 3*u + 1 for u.
-1
Let q be -1*11*(6 + -7). Let a = q - 7. Solve 0 = -a*f - 0 - 4 for f.
-1
Let t = -8 - -18. Let w(v) = v**2 + 5*v. Let j be w(-5). Solve j = x - 3*x - t for x.
-5
Let i(q) be the second derivative of -q**4/12 - 3*q**3/2 - 3*q**2/2 - 3*q. Let x be i(-8). Solve -x*k = -0*k for k.
0
Suppose -5*w = -12 - 28. Let m(l) = -l**3 + l**2 + l - 1. Let v be m(2). Let c = 4 + v. Solve -3*k + w = -c for k.
3
Let l(m) be the third derivative of -m**5/60 - m**4/4 + 7*m**3/6 + m**2. Let k(c) = -c - 1. Let r be k(5). Let u be l(r). Solve -u = 2*h - 3 for h.
-2
Let p(h) = -h**2 + 2*h + 2. Let f be p(0). Solve f*r - 11 = -3 for r.
4
Let s = -18 + 38. Solve -z - s = -6*z for z.
4
Let l(c) = c**3 - 6*c**2 + 6*c + 1. Let h be l(5). Suppose 2*r + 2 = 4. Let b be (-2)/(-1 - r) - 1. Solve b = u - 3*u - h for u.
-3
Let p = -5 + 3. Let i = 0 + p. Let j be ((2 - 2) + -1)*i. Solve j*m = 4*m for m.
0
Suppose 8*z - 4*z = 24. Let r be z/(-15) + (-6)/(-15). Suppose r*n + 8 = 2*n. Solve -n = 5*x + 1 for x.
-1
Let n be (0/(-1))/(3/3). Suppose 5*f + 85 = 4*v, 5*v - 2*f + 46 = 131. Solve 2*x + 3*x + v = n for x.
-3
Let j(x) = -x**3 + 1. Let d(c) = c. Let b be d(1). Let i be j(b). Solve i = 4*a + a + 25 for a.
-5
Let b(m) = m**3 + 2*m**2 + m. Suppose -l - 4*l = 0. Suppose 4 = 2*a - 3*u, -5*a - 7 = -l*a + u. Let v be b(a). Solve -2 = -r - v*r for r.
2
Let g(q) = -2*q - 29. Let r be g(-14). Suppose -i = -2*i - 1. Let v = i - r. Solve -3*w - 23 + 8 = v for w.
-5
Suppose 3*v - 7 = -3*l + 5, 0 = -v + 5*l - 14. Let f = v - -3. Solve -f*g + 4 = -8 for g.
3
Suppose -2*z = -5*o + 76, 2*o - 26 = o - 5*z. Solve 6*h - o = 2*h for h.
4
Let d(t) = -t**3 - 7*t**2. Let v be -9 + (-6 + 2)/(-2). Let m = -14 - v. Let r be d(m). Solve r = z - 4 for z.
4
Let g(j) = 11*j - j**2 - 6*j - 6 + 3*j. Let o be g(7). Let f be -2 + (-2 - -4) - -1. Solve 2*r + o + f = 0 for r.
-1
Let g be 0 - 2*(-2 - 0). Solve -20 = -g*k - 0 for k.
5
Let b(h) = -h**2 - 20*h - 14. Let t be b(-18). Solve -t + 2 = 4*v for v.
-5
Let p be (1/(-2))/((-5)/10). Let d(x) = x**3 + 2*x**2 - 1. Let w be d(p). Let n = -74 + 76. Solve 0 = n*c + w*c for c.
0
Let l(p) = -24*p**3 + p**2 - p - 1. Suppose -f = 3*f + 4. Let x be l(f). Solve -6*m = -m + x for m.
-5
Let z be (-2 - -1) + 12/1. Let w = 16 - z. Suppose -4*k - k + w = u, -k = 3*u - 1. Solve 0 = -u*a - a + 1 for a.
1
Let t be ((-6)/9)/(4/(-150)). Solve 4*r + 5 = t for r.
5
Suppose 3*l - 5*s - 15 = 0, -4*l + 0*s + 5*s + 20 = 0. Suppose -3*f = 2*x - 7, -l*x + f + 2 = -7. Solve 5 - x = -d for d.
-3
Suppose -5*g - 25 = 3*f, 0*f - 4*f = 2*g + 10. Let h be (-27)/g - (-2)/(-5). Solve -h*p - 1 = 14 for p.
-3
Suppose 3*x - x - 6 = 0. Suppose -7 + x = -w. Solve w*l - 2 = -10 for l.
-2
Let r = 6 + -1. Suppose 3*o - 3 = -4*d, -3*d - 2*o = -0*o - 2. Solve 0*j - r*j - 20 = d for j.
-4
Let l(m) = m + 8. Let n be l(-6). Solve 3*c + 4 = n*c for c.
-4
Let i be (70/(-15))/((-2)/6). Let j = 14 - i. Solve -3*r + 3 + 6 = j for r.
3
Let t(q) = -q**3 - 6*q**2 + 8*q + 1. Let n be t(-7). Let k = 8 + n. Solve -p + 1 = k for p.
-1
Suppose -4*n + 6*n - 16 = 0. Let w = -14 + n. Let v = w - -6. Solve i = -v - 3 for i.
-3
Suppose 5*c = 2*c + 9. Suppose 4*r = c*r. Suppose r = 2*g - 0*g. Solve g = -o + 2*o for o.
0
Suppose -6*x + 50 = -x. Suppose 4*b + 18 = 2*p, b = -2*p - 0*b + 3. Solve -r = -p*r - x for r.
-5
Let j = -24 + 12. Let s = j - -17. Solve -s*x = 10 - 0 for x.
-2
Let l = -23 - -28. Solve -1 = l*a - 11 for a.
2
Suppose 3*z - 4*z = -1, -1 = 4*n - z. Suppose 4*c - 8 = -5*o + 4*o, -4*o - 4 = 4*c. Solve n*l = l + c for l.
-3
Suppose 2*z - 10 = -5*d, 4*d = -z - d + 10. Suppose z*q + 54 = 2*q. Suppose q = 5*a - 13. Solve -a*t + 6*t = 0 for t.
0
Let u = 41 - 26. Solve 4*o + u = -5 for o.
-5
Let q = -14 - -17. Solve -q*u - 3 = -4*u for u.
3
Let a be (2/(-4))/((-3)/18). Solve a*t - 7*t + 4 = 0 for t.
1
Suppose -4*z - 5*o + 8 = -3*o, -2*z = 3*o + 4. Solve -z*a = -9*a - 20 for a.
-4
Let q be 22/4 - (-5 + 22/4). Suppose 2*g = 5*c + 9, 0 = g + 3*c - 4*c - 6. Solve 0 = -q*s - g - 13 for s.
-4
Let j be 48/26 - (-8)/52. Solve -j*k - 1 = -k for k.
-1
Let y(t) = t**2 - 5*t + 3. Let z = 11 + -6. Let r be y(z). Solve r*g - 1 = -16 for g.
-5
Let i be 0/14 - (-4)/2. Solve -3*y = -i*y - 5 for y.
5
Suppose -4*l + 2*l = 2. Let t be ((-3)/(-4))/(l/(-12)). Suppose 2*u = -3*u + 20. Solve -29 = u*b - t for b.
-5
Let p = -9 - -11. Suppose -2*n = -4*i - 0*i + 20, 3*i + 3*n = 6. Solve p*l = l + i for l.
4
Let m be (-6 - -6) + 2 + -1 - -7. Solve 0*k + 2*k = m for k.
4
Let j be 4/(-6) + 75/(-9). Let h be (-12)/j - (-2)/3. Solve -h*d - 4 - 4 = 0 for d.
-4
Let g = 9 + -5. Let h(l) = l - 6. Let z be h(6). Suppose z = g*o - 3*q - 6, 5*o - 3*q + 3 = 12. Solve -o - 2 = -s for s.
5
Let r be 3/18 - 5/30. Solve -k - 5 = -r for k.
-5
Let v = 7 + -13. Let u = v + 8. Suppose -w - 3*t = u, 4*t = 2*w + 2 - 18. Solve -5 = w*d - 17 for d.
3
Suppose 2*g = -2*g + 8. Solve -g*i + 1 - 5 = 0 for i.
-2
Suppose -2*p = -3*p - 3, -3*p = -3*n + 24. Let a be (0 + -3 + 5)*1. Suppose -4 = -a*d - 5*x + 42, -2*x + 73 = 5*d. So