-0 for x.
3
Let o(b) = -b**3 - 9*b**2 + b + 10. Let f be o(-9). Solve -3 = 2*h - f for h.
-1
Suppose -2*p + 16 = -3*b, p - 4 = 3*p + 2*b. Solve g - p = 3*g for g.
-1
Let s(l) = 2*l**2 + 4*l. Suppose -4*m + 10 + 10 = 0. Suppose -3*k = 5*r, -4*r + m*k = -0*r + 37. Let o be s(r). Solve o*n - 8 = 2*n for n.
2
Suppose r + 0*w - 5*w = 29, 4*r = w + 21. Let a = 11 - r. Let h(q) = q**2 - 2. Let i be h(-2). Solve -3*l - a = i for l.
-3
Suppose -3*z = -6*z + 9, 3*z - 7 = -2*l. Let y be l + (3 - 1) + 3. Let k be -3 - (y + -3 - 6). Solve d - k = -d for d.
1
Let f = 60 - 9. Suppose 0 = 5*t - 2*b - 20 - f, -2*b = 4*t - 64. Let i = t + -11. Solve 2*s - 6 = i*s for s.
-3
Let m(j) = -3*j + 1. Let h be m(-2). Suppose -3*a + h*a = 20. Solve a*b = b for b.
0
Let s = 80 + -78. Solve 1 = s*x - 3 for x.
2
Let q = 30 + -28. Solve -1 - q = n for n.
-3
Suppose 0 = 2*z + 3*h - 8, -2*z + 10 - 2 = -2*h. Let g be 10 + 2/z*-2. Suppose f - g = -4. Solve -5*w - f = -0*w for w.
-1
Suppose 0 = -2*q + 4*u + 4, 2*u + 6 = 2*q - 0*q. Let x be (-4)/2 - (-12)/q. Solve j + 3 = x for j.
-2
Suppose 0*v + 2*v = -3*c + 19, -4*v - 7 = -3*c. Solve 0 = c*a - 3 - 12 for a.
3
Suppose -5*s + 1 = 46. Let u be s/3 + 8 + -1. Let j = -2 + u. Solve 2*p = -0*p - j for p.
-1
Let u(a) = a - 5. Let t be 4/14 - 57/(-21). Suppose -i + c = -t*i + 12, 32 = 5*i + 2*c. Let z be u(i). Solve z*h = -1 - 5 for h.
-2
Let x be (4 - 5)/(2/(-4)). Solve -6 = x*v + 2 for v.
-4
Let a(o) = 4*o - 3. Let f be a(2). Let h(k) = k**2 - 5*k - 9. Let r be h(6). Let x = r + f. Solve -3*v + 1 = -x for v.
1
Suppose -2*l + 15 = l. Solve -3 + l = 2*u for u.
1
Suppose 0 = -3*z + 15, 2*p + p = -2*z + 19. Suppose 5*i - 5 = 0, -5*h + 37 = -3*i + 15. Solve h = p*q + 11 for q.
-2
Let u be (-3 - -2)*1 + 6. Solve -u*x = -9 - 6 for x.
3
Let f(p) = -p**2 + 6*p - 5. Let g be f(4). Let b(q) = -2*q + 2 + 5 + q. Let n be b(4). Solve -n*a - 3 = g for a.
-2
Let y be (-2 - 0)/(-2) + 2/(-2). Solve 0 = o - y*o + 3 for o.
-3
Let x(w) = -w**3 - 8*w**2 + w + 7. Let h be x(-9). Let q = h + -54. Suppose -4*p + 0*d + 20 = -d, -12 = -2*p + d. Solve -i + q = p*i for i.
5
Let f(w) = w**3 - 4*w - 3. Let s(y) = y**3 - 4*y**2 - 2*y + 6. Let x be s(4). Let b be f(x). Let c be 3/(-2)*20/b. Solve 1 = -3*t + c for t.
3
Let f = 45 - 42. Suppose -p + 5*z - z - 12 = 0, -5*p - 12 = -4*z. Solve -f*k + p*k = -3 for k.
1
Let d(v) = v**2 + 5*v - 12. Let j be d(-7). Solve 0*b + j*b = 6 for b.
3
Suppose 6*s + 16 - 70 = 0. Solve s = 3*n - 0*n for n.
3
Suppose 38*u - 39*u + 1 = 0. Solve -2*i = 7 + u for i.
-4
Suppose -5*x + 4 = 4. Solve x = -2*h + 10 for h.
5
Let s be ((-6)/18)/((-3)/9) + 1. Solve s = -5*m - 3 for m.
-1
Suppose -23 + 11 = -4*p. Solve -p*j + 1 + 5 = 0 for j.
2
Suppose -3*z - l - 2 = 3*l, 2*z = -2*l. Solve 0 = x + z*x for x.
0
Let z(k) = k**2 + 10*k + 15. Let n = -29 - -19. Let d be z(n). Solve f = 4*f + d for f.
-5
Suppose 8 + 7 = 3*z. Let b = 7 + -7. Suppose -4 = -2*h - b. Solve 9 = z*d - h*d for d.
3
Let a(q) = 2*q**2 - 2. Let f be a(2). Solve -20 = -2*c + f*c for c.
-5
Suppose -4*g + 4 = 0, l - 5 = -2*g - 3*g. Solve l = m + m - 2 for m.
1
Let v be 6 - 4 - 2/1. Suppose v = -2*w - 0*w + 6. Solve -q - w = -4*q for q.
1
Suppose -7*v - 3*a + 19 = -2*v, 20 = 2*v - 5*a. Solve v*g = -1 + 11 for g.
2
Let z(r) = r**3 - 5*r**2 - r + 6. Let q be z(5). Suppose -y - q = -9. Solve -y = -5*s + s for s.
2
Let q = -3 - -2. Let z be 1*q/(-3 - -4). Let b be -9*z/((-3)/(-1)). Solve -8 = -b*i + 7*i for i.
-2
Let h(t) = -t**2 - 5*t. Let p be h(-5). Solve 5*o - o - 4 = p for o.
1
Suppose 5*w = -16 - 14. Let l be ((-4)/w)/2*48. Suppose -7 = -5*q - 2*y + 36, -3*y = -q + 12. Solve q = -5*b - l for b.
-5
Let b = -6 - -6. Suppose -h = -2 - b. Solve 6*j = h*j + 8 for j.
2
Let j(w) = 2*w**2 - 4*w - 6. Let m be j(3). Solve 5*y + m - 10 = 0 for y.
2
Let b be 31/(-1 - -1*2). Let f = -4 + -15. Let c = b + f. Solve -2*g + 5*g = -c for g.
-4
Suppose -8*z + 3*z + 15 = 0. Solve 0*l = z*l - 15 for l.
5
Let t be 2/(((-28)/(-8))/7). Solve 2*p = t*p for p.
0
Let g(n) = -n + 9. Let x be g(-16). Solve x = 7*v - 2*v for v.
5
Let c be 70/5 + (3 - 1). Let x(m) = -m**2 + 16*m + 18. Let a be x(c). Solve 2 - a = -4*s for s.
4
Suppose 4*f = 8*f + 8*f. Solve -k + 2*k - 3 = f for k.
3
Let p(f) = -19*f**2 + 8*f + 3. Let u(s) = 13*s**2 - 5*s - 2. Let c(y) = 5*p(y) + 8*u(y). Let m be c(1). Suppose -g - 1 = -m. Solve -i + 2 = g for i.
-5
Suppose 32 = 4*a - 5*w, 2*a + 0*w - 4*w - 22 = 0. Solve -p + a*p - 2 = 0 for p.
1
Suppose 8 = -2*q + 2*b, 4*b - 35 + 10 = -5*q. Let z = -1 - -1. Let j be (-3)/(-6)*(0 + z). Solve j = -t + q - 2 for t.
-1
Suppose -5*p - 2*z = -11, 3*z + 6 = 5*z. Solve -2*k + p = -k for k.
1
Let u(c) = -5*c - 7. Let m be u(-7). Solve -5*w - 3 + m = 0 for w.
5
Suppose 13 = p - 4*a, 3*p - 17 = 2*a - a. Solve 13 = 2*f + p for f.
4
Let i = -11 + 16. Let n(c) = -c**2 + 3*c + 1. Let h be n(3). Suppose -2 = -2*b - i*j - 10, -j = b + h. Solve -2*d - 3 - b = 0 for d.
-2
Let h = -1 + 6. Let o be (-10)/(((-8)/h)/4). Solve 0 = -v - 4*v + o for v.
5
Suppose 0 = 5*f + 5*g - 25, f + 2*g - 8 = -0*g. Suppose f*x - 28 = 5*h, 2*h = x + 4*x - 28. Solve x = 5*i - 1 for i.
1
Let n be (2/(-6))/((-1)/12). Suppose -6*u = -u - 5. Let l be (-4 + 4)*1/u. Solve l = n*s - 19 - 1 for s.
5
Let p = -74 + 77. Solve 2*o = 5*o - p for o.
1
Let l(b) = 4*b - 1. Let y be l(4). Let g = -1 - -1. Let r(x) = -x**3 + 3*x + 1. Let d be r(-2). Solve g*p + y = d*p for p.
5
Let i(t) = -t + 7. Let z be i(5). Suppose 5*l = z*l. Suppose -4*a + 4*q = l, -3*q - q + 12 = 0. Solve -h - a*h = 8 for h.
-2
Suppose -23 = -0*j - j. Let d be j/4 - (-2)/8. Let y = 6 - d. Solve y = -3*m - 2*m - 25 for m.
-5
Let p = 3 + -4. Let z be p*(-3)/3 - 1. Solve -4*q + z*q + 16 = 0 for q.
4
Suppose 0 = 6*k + k - 84. Solve f - k = -3*f for f.
3
Suppose -3*l - 67 = -4*x, 2*x + l - 4 - 27 = 0. Solve 0 = f + 3*f - x for f.
4
Let j(v) = -v**2 - 9*v + 13. Suppose 3*k = -0*a + a + 7, 2 = 3*k - 2*a. Suppose -4*t + 0 = -4, 0 = -k*n - 3*t - 37. Let q be j(n). Solve -3*w + 12 = -q for w.
5
Suppose 9*z - 18 = 3*z. Let r(k) be the first derivative of -k**4/4 - 4*k**3/3 - 2*k**2 + 1. Let v be r(-3). Solve v*a + z + 6 = 0 for a.
-3
Suppose 4 = 2*b - 0*b. Solve -q = -b - 2 for q.
4
Let p = -18 - -27. Suppose -y + j = -p, 5*y = -4*j - 0 + 18. Solve y*f = f - 5 for f.
-1
Let i(f) = -7*f. Let d be i(-1). Let q be -1 - 0 - 18/(-6). Let g be (q + d/(-3))*-6. Solve -g*t - 3 - 5 = 0 for t.
-4
Suppose -2*s + 17 + 15 = 0. Solve 9 + s = 5*w for w.
5
Let x(a) = -a**2 + 4*a + 5. Let i be 2*9/12*10. Let d be 1/((3/i)/1). Let s be x(d). Solve 2*m + 11 - 3 = s for m.
-4
Suppose 3*l = -2*q + 12, 3*q - 9 = 2*l - 5*l. Solve 0 - l = 2*y for y.
-3
Let d(j) = j**3 + 11*j**2 + 13*j + 1. Let h be d(-9). Suppose 3*a + 1 - h = 0. Solve -s - 2*s = a for s.
-5
Let u = 2 + -2. Suppose u = -5*j + 5*d - 25, -5*j + 11 = 4*d - 9. Solve j*k - 3 = -3*k for k.
1
Let f = 5 - 2. Let n(h) = 2 + 0*h**3 + 6*h**2 - h**3 - h**2 + 2*h**3. Let l be n(-5). Solve f*i - l = 1 for i.
1
Suppose 4*w + 12 = 0, -2*g - 7*w = -4*w - 7. Suppose 0 = y + 2 - g. Suppose 0 = -3*n + y. Solve -3*p + 13 + n = 0 for p.
5
Let a be 8/1 + (2 - 2). Let j(n) = -n + 8. Let f be j(a). Solve f = -r + 1 - 2 for r.
-1
Suppose 2*d - 2 - 5 = -3*z, -5*d - 2 = z. Solve 0 = -q + z for q.
3
Let i be ((-4)/(-7))/(4/14). Solve d + 0 = i for d.
2
Suppose i - 3*i = 5*k - 35, 5*k - 40 = -3*i. Solve 16 = k*l - 4 for l.
4
Let u(s) = 3*s**3 + s. Let l be u(1). Solve -l = 2*c - 0 for c.
-2
Let t(r) = -r**3 - 5*r**2 + 3*r - 8. Let l be t(-6). Solve l = -3*u - 5 for u.
-5
Let g(t) = 6*t**2 + 2*t - 1. Let a be g(1). Let c = a + -7. Solve -j - j + 2 = c for j.
1
Suppose -5*o + 74 - 59 = 0. Solve 0*y - y = -o for y.
3
Let s(j) be the first derivative of -j**2/2 + 14*j + 6. Let b be s(12). Solve -r - b = r for r.
-1
Suppose 4*l = -5*d + 10, -d - 27 + 5 = -4*l. Let t be (0 + 0 - d)*3. Suppose 5*j - 6 + 1 = 0. Solve t = c + j for c.
5
Suppose 0 = j + 2 - 8. Suppose 4*n = 102 - 30. Let k = n - j. Solve -4*v = -k - 4 for v.
4
Let h be ((-6)/18)/(2/(-6)). Let m be (2 - 1)*(-27)/(-9). Solve 2*r - m = h for r.
2
Suppose 3*c - 8*c - 5*m - 25 = 0, 0 = -3*m - 15. Solve c*p = 2*p for p.
0
Suppose -b + 65 = 3*b - 3*i, 2*b - 2*i - 34 = 0. Suppose h = -3*o + 1 - 0, 2*h = 2*o - b. Solve 0 = -