- h*a - 3 = 0 for a.
-1
Let o be (24/(-20))/(9/(-30)). Let z = -12 - -2. Let u = z + 15. Solve 4 = -u*c + o*c for c.
-4
Let v(x) = x**3 - 5*x**2 - 6*x + 2. Let h be v(6). Let f(t) = t**3 + 7*t**2 - t - 5. Let g be f(-7). Solve s = g + h for s.
4
Suppose 0 = -3*r - 5*r. Solve -x + 5 - 3 = r for x.
2
Let s(n) = n**2 + 12*n + 13. Let r be s(-11). Solve -2 - r = f for f.
-4
Let r(u) = -4*u**3. Suppose z = 3*z + 2. Let y be r(z). Solve -y*l = -12 - 0 for l.
3
Let k(f) = 4*f**2 + 2*f + 2. Let p be k(-1). Solve -3 + 7 = p*y for y.
1
Suppose -16 = 9*l - 13*l. Solve -3*t = -7*t + l for t.
1
Let l = 38 + -26. Suppose 0*r + 2*r = l. Solve r*n = 2*n - 8 for n.
-2
Suppose -7*d + 19 = -2. Solve -2*u = -d*u + 3 for u.
3
Let q = -7 + 11. Let s(r) = -2*r - 5*r**2 + r**3 + r + 6*r. Let l be s(q). Solve -2*v + l = 2 for v.
1
Suppose 0 = n - 1. Let t be 7 - (-1 - (n - 2)). Solve 2*c + 1 = t for c.
3
Suppose i = 5*i - 20. Suppose 5*b + 5 - 1 = -4*g, 2*b = -2*g. Solve -i = g*r - 3*r for r.
-5
Let m = -44 - -162. Let a = m + -83. Suppose -a = -5*h + 6*x - x, -5*h - 4*x = 1. Solve h*n + 3 = -0 for n.
-1
Suppose 11 = 4*d - 5. Let x be 2*3/(-6) + d. Suppose -2*u - x*j + 5 = 3*u, 0 = -2*u - 4*j - 12. Solve u*y + 6 = y for y.
-2
Let w be 3 + (0 - -1) + 0. Suppose 3*r + 5*c = -7 - 18, 5 = -w*r - c. Suppose r = 2*l - 9 + 3. Solve -u + l = -1 for u.
4
Suppose -4*t = 4*v - 4, -18 = -4*v - t - 5. Suppose -6*l + 4*l + 36 = 0. Suppose -4*a - a = v*f - l, 0 = -3*f - 4*a + 14. Solve 0*h - 6 = -f*h for h.
3
Let s(x) = 10*x - 4*x + 3 - 3. Let q be s(2). Solve -2*n = 2*n - q for n.
3
Let x be 8/(-20) - 17/(-5). Suppose 4*l = -4*p + 32, x*p + 3*l - 34 = -2*p. Solve -2*m - p = -m for m.
-5
Let c(z) = -z + 6. Let m be c(4). Solve r + 0 = -m for r.
-2
Suppose 4*u + 26 = 3*p, p + 2*u = -p + 22. Let i = p + -5. Suppose -a - 28 = -3*j + j, -i*j + 72 = -3*a. Solve -w + 5*w - j = 0 for w.
3
Let r = 0 - -2. Solve x + 12 = -r*x for x.
-4
Let l(d) = d**3 + 5*d**2 - d - 5. Let a be l(-5). Solve 5*c - 2*c = a for c.
0
Let b(q) = -q**3 + 2*q**2. Suppose 2*x - 8 = -2*x. Let y be b(x). Solve -4*m - 4 + y = 0 for m.
-1
Let h(i) = i. Let d be h(8). Let t = d - 8. Solve -3*r = -t*r - 3 for r.
1
Let c = -57 - -59. Suppose -4*x - 1 = -a - 4, -3*a = 4*x - 7. Solve x = -u - c for u.
-3
Suppose q + 1 = -r + 2*r, -5*q = -r + 25. Let l = q + 11. Solve l*g + 16 + 4 = 0 for g.
-4
Let w be (-12)/(-3)*12/8 - 4. Solve 0 = -i - 4 + w for i.
-2
Let v = 5 + 0. Suppose 6*p - 15 = v*p. Solve -p + 5 = -2*o for o.
5
Let i(v) = 5*v**3 - 1. Let x be 5/2*4/10. Let r be i(x). Solve r*b = -b for b.
0
Let y be 0/(-1 - 1*-2). Suppose y*r + 6 = 3*r + a, -5*r = -4*a - 10. Solve 0*t = -r*t - 4 for t.
-2
Let m(f) = -4*f + 30. Let r be m(6). Suppose h = 3, q = 4*q - h - 3. Suppose q*g = -0 + r. Solve -y - g = -4*y for y.
1
Let a(v) = -v**3 - 5*v**2 + 5*v - 4. Let d = 4 + -2. Suppose -3*t = 3*p - 4*p + 18, 4*p - 12 = d*t. Let s be a(t). Solve w + s = -w for w.
-1
Let t be ((2 + -2)/1)/2. Let i = -4 + t. Let c = i + 6. Solve c*p + 5 = 3*p for p.
5
Suppose -f - 2 - 7 = 0. Let k = f - -5. Let a be (-6)/k*(-30)/(-9). Solve 1 - a = 4*x for x.
-1
Suppose -2*k = -3*k. Suppose k = 5*r, 7 = 2*n - 2*r + 3. Solve -n = -p - 4 for p.
-2
Let p(g) = g**2 - 5*g. Let i be p(5). Solve b + 4*b + 25 = i for b.
-5
Suppose -2*y = -0*y - 66. Let b be (-4)/(-10) - y/(-5). Suppose 2*m - b*m - 4*f = 6, 0 = 3*m - 4*f - 22. Solve m = 5*c - 3 for c.
1
Suppose -4*c = -2*c. Solve -k = -c*k for k.
0
Let v(o) = -o - 5. Let n be v(-5). Let c be -1*(2 - n) + 6. Suppose 3*f + 19 = 4*p, -c*p + 5*f + 21 = -0*p. Solve 0*h - p*h = 0 for h.
0
Suppose 0 = -4*n - 3*u - 28, 2*n + 4*u + 12 = 2*u. Let x(p) = p**2 + 10*p + 6. Let a be x(n). Let l = a + -4. Solve 0 = -4*y + l*y for y.
0
Let f = 5 + 1. Let c(j) = -j**3 + 6*j**2. Let t be c(f). Suppose t = -5*n + 2 + 8. Solve -x = -n*x - 1 for x.
-1
Suppose 2*q - 9 = -z - 3*q, 0 = 5*z - 3*q + 11. Let s be -3 + (z - 0 - -10). Solve 3*a - s = -0 for a.
2
Let g be (12 - 4)/(0 + 2). Solve 23 = g*l + 7 for l.
4
Let q(g) = 5*g**2 - 6*g - 11. Let w(j) = 4*j**2 - 6*j - 10. Let r(t) = -3*q(t) + 4*w(t). Let p be r(8). Solve 3 = -3*x - p for x.
-4
Let w(h) = -2 + 9*h + 2*h + 1. Let r be w(1). Let n be r/(-15) + 16/6. Solve 0 = -u - u - n for u.
-1
Let w(n) = 2*n + 7. Let l(o) = 4 + 0 + 2*o + 4. Let j(m) = 3*l(m) - 4*w(m). Let d be j(-7). Solve 2*a = -3*a + d for a.
2
Let m be (-13)/(-4) - 2/8. Let d(g) be the second derivative of g**4/12 + 5*g**3/6 - 5*g**2/2 - 2*g. Let p be d(-6). Solve -m*o + p = -2 for o.
1
Let j(m) = 0 + 6*m - 4 + 3. Let s be j(1). Let q = s - 4. Solve -v = -2 + q for v.
1
Let z(l) = 2*l. Suppose -6*s + 6 = -3*s. Let a be z(s). Solve -9 + 1 = -a*x for x.
2
Suppose -6 = 4*n - 5*n. Let s(a) = a**2 - 2*a + 3. Let o be s(4). Let i = o + -8. Solve -3 = -i*l - n for l.
-1
Let j = -1 - -3. Suppose 0 = -2*i + j. Solve -i = -4*k + 7 for k.
2
Suppose 0 = 6*a - 3*a - 4*h, -5*a + 5 = -5*h. Solve 3 = -a*s - 1 for s.
-1
Let h = -9 - -8. Let d be 0/(-5) - 0/h. Solve -3*p + 2*p - 2 = d for p.
-2
Suppose 5*m + 15 = 75. Let n = 19 + -13. Let r = n - -2. Solve 5*z = -m - r for z.
-4
Let z(m) = m**2 + 13*m + 12. Suppose 10*o - 5*o + 60 = 0. Let w be z(o). Solve -5*l + l - 12 = w for l.
-3
Let m = 4 - 2. Suppose 9 = 2*b + b. Solve -b*k + m*k = -4 for k.
4
Suppose 2*l + 2*z - 22 = -l, 34 = 4*l + 5*z. Let c(n) = 3*n - 26. Let i be c(10). Solve -i*p - l = -2 for p.
-1
Suppose -2*t = 5*a + 8, 5*t - 2*a - 49 + 11 = 0. Solve 0 = 4*k + t + 2 for k.
-2
Suppose 2*v + 0*v = 14. Let l = -3 + v. Solve -h + 2 = l for h.
-2
Let h = 8 - 8. Solve 0 = -5*j - 5 - h for j.
-1
Suppose -2*v - 4 = b, 0*v + 2*b = 2*v - 8. Solve -3*x - 3 - 12 = v for x.
-5
Let f = 5 + -2. Let r(z) = z**3 + 5*z**2 - z + 1. Let j be r(0). Solve -h + f = -j for h.
4
Let q(n) = -n - 2. Let f(b) = -b + 5. Let l be f(9). Let u be q(l). Suppose -5 = u*x - 3*x. Solve x*y = -0 - 20 for y.
-4
Suppose -4*k - 2*d + 8 = 0, -7*d - 4 = -5*d. Solve -k*g = -g + 6 for g.
-3
Suppose -l = 3, -3*x + l + 108 = 5*l. Suppose 0 = v - 5*v + x. Solve v = -0*h - 5*h for h.
-2
Let h be 2 + (1 - 0)*0. Suppose -3*o + 1 + 2 = 0. Suppose o + 8 = 3*p, -3*i + 48 = 5*p. Solve -i = 3*y - h for y.
-3
Let m(b) = -b**3 - 8*b**2 - 9*b - 11. Let u be m(-7). Let t be 44/7 + (-2)/7. Let v = -1 - -1. Solve -t = u*a - v*a for a.
-2
Let x = 5 + 0. Suppose -x*q = -10 - 0. Suppose 0*y - 60 = -q*y. Solve -10 + y = 5*s for s.
4
Suppose -5*f = -4*f - 7. Suppose 5 + 51 = f*m. Solve 3*g + g - m = 0 for g.
2
Let x(v) = 7*v + 5. Let o(b) = -20*b - 16. Let a(m) = -6*o(m) - 17*x(m). Let g be a(-11). Solve 3*q + 0*q = g for q.
0
Let d(q) = -q**2 + 6*q + 4. Let k be d(7). Let g = 1 - k. Let b(u) = u**3 + 5*u**2 - 2*u - 6. Let z be b(-5). Solve -g = z*j - 0 for j.
-1
Let k(y) = -y**2 + 12*y - 9. Let d be k(8). Suppose -31 = -m - 4*l, 0 = 2*m + 2*l - d - 15. Solve 0 = -4*w + w - m for w.
-5
Let n be ((-18)/21)/(1/(-7)). Solve 11*u + 15 = n*u for u.
-3
Let c(z) = -2*z - 4. Suppose r + 2 = w, 0*w + r - 4 = 3*w. Let m be c(w). Suppose -m*t = -t - 4. Solve h + 6 = t*h for h.
2
Let i(q) = 4*q**3 + q**2 + 2*q - 2. Let k be i(1). Suppose 3*m = 4*n + k*m + 10, 10 = n - 2*m. Solve 4*x = -n*x - 4 for x.
-1
Let m be 2 + -3*(-1)/3. Let o be 16/m + (-10)/(-15). Solve 0 = -3*j + o + 6 for j.
4
Let c = 5 + -13. Let b(f) = -2*f - 8. Let w be b(c). Solve w = 4*r - 0*r for r.
2
Let v(t) = -t + 8. Let y be (-7 + 10)/((-1)/2). Let i be v(y). Suppose -i = 5*p + 2*a - 131, -96 = -4*p - 4*a. Solve -p = 5*n - 3 for n.
-4
Suppose -3*z + 4*v + 29 = 0, 3*v - 18 = 4*z - 52. Suppose -z + 3 = -2*t. Solve 0 = -y - t*y + 3 for y.
1
Suppose 4*r + 10 = -t + 26, -2*r = 3*t - 18. Let f = 8 + -5. Solve 0 = t*l - f*l + 3 for l.
-3
Suppose -2 + 6 = 2*s. Solve 4*t + s = 2*t for t.
-1
Let o(c) = 5*c**2 - c + 1. Let y be o(1). Solve -y*w - 5 = -10*w for w.
1
Let c be 2/4 + (-12)/24. Solve 2*v + 18 - 8 = c for v.
-5
Suppose 5*k - k - 20 = 0. Suppose 0 = k*h - 10*h. Solve -1 = -v - h*v for v.
1
Suppose 0 = -k + 2*k - 2. Suppose 12 = j - 3. Solve -j = k*b - 7 for b.
-4
Let o be 2/3*6/4. Let k = 26 - 22. Solve o = -c + k for c.
3
Suppose 0 = -4*p - 12, 0 = -v - 4*p - 7 + 1. Let k be ((-12)/(-7))/(v/21). Solve 0 = 3*z + k - 3 for z.
-1
Suppose i = -k - i + 10, -2*i + 2 = -3*k. Solve -5