-b - 3*b for b.
0
Let x(a) = a**2 - 2*a - 1. Let i be x(-1). Let j be (-3)/(i - 1) - -3. Solve 2*k - k - 2 = j for k.
2
Let q(r) = r**3 - 2*r**2 - 3*r + 3. Let z(h) = -h + 11. Let l be z(8). Let o be q(l). Solve 7 + 8 = o*c for c.
5
Let y(p) = -p**3 + 8*p**2 + 9*p - 11. Let d be y(9). Let v = d + 17. Suppose 5*m - 2 = -c + 2*c, 3*c + v = -2*m. Solve m = x + 2 - 4 for x.
2
Let p(f) be the first derivative of 3*f**2/2 + 1. Let d be p(1). Let s be (-4)/(-6) + (-4)/6. Solve -4*y + y + d = s for y.
1
Suppose -5*i + 0*i + 5 = 0. Let f = i + 4. Solve 2*v + 12 = f*v for v.
4
Suppose -21*h + 26 = -8*h. Solve i = h*i for i.
0
Let n be 8 + (-4)/(3 + -1). Let q be n + -1 + 0 + 3. Let m = 4 - 4. Solve m = 3*p - p - q for p.
4
Let s be -10 + 7 - (-10 + 2). Solve -s*u = -3*u + 6 for u.
-3
Let l(g) = g**3 + 7*g**2 + 6*g - 5. Let q be l(-5). Solve 2*m + q = -3*m for m.
-3
Let r = -6 + 11. Suppose 2*h = r*k - 5, -2*k - 1 = 4*h - 3*k. Let y be 4 + (0 + 2 - 1). Solve 5 = y*l - h*l for l.
1
Suppose 0 = z + 11 - 21. Solve -7*i + z = -2*i for i.
2
Let q(x) = -x**3 + 12*x**2 + 3. Suppose -36 = 2*k - 5*k. Let r be q(k). Solve 0 = f - r + 6 for f.
-3
Suppose -10 = -2*q, 4*w + w = -q + 15. Solve b = -w*b for b.
0
Suppose d + 3 + 8 = -4*b, -2*d - 2*b + 2 = 0. Solve d*t = -0*t + 5 for t.
1
Suppose -2*l - 4 = 2, -24 = -5*n + 3*l. Solve 0 = -4*a - n - 5 for a.
-2
Let t(b) = b**2 + 7*b + 1. Let y be t(-5). Let f = y + 13. Solve 0 = -f*l + 4 for l.
1
Let o(z) = z**2 + 2*z + 2. Let f(w) = w**3 - 4*w**2 + 4*w - 2. Let a be f(2). Let v be o(a). Let b = -21 + 27. Solve g = -v*g - b for g.
-2
Suppose 13*u - 15*u = 0. Solve 0 = -2*n - u*n + 8 for n.
4
Suppose 2*b = -3*b - 2*c + 58, 4*b - 47 = -c. Suppose 5*a = 3 + b. Solve y = -0 - a for y.
-3
Let y = -36 + 51. Let b be 36/y - 6/15. Solve b*x - 3*x = 0 for x.
0
Let d = 0 + 3. Suppose -d = -2*u - 5. Let x = u - -5. Solve x*f = 16 - 4 for f.
3
Let m(q) = q**3 + 5*q**2 + 4*q + 2. Let v be m(-4). Suppose -o = -1 - v. Solve 0*b + 15 = -o*b for b.
-5
Suppose 8 = 11*l - 10*l. Suppose -l*v = -3*v. Solve c + v = -1 for c.
-1
Let b = 10 + -9. Solve 5*v + b = -14 for v.
-3
Suppose -3*z - 2*n - 86 = 0, 0*z + 3*n = 2*z + 53. Let h = z + 42. Let b(g) = -4*g. Let i be b(-1). Solve 2*q + i - h = 0 for q.
5
Let a = 18 - 13. Solve -a*p - 10 = -0*p for p.
-2
Let c be 2/(-8) - 3/(-12). Suppose -4*v = -3*f + 26, 4*f + c*v - 18 = 2*v. Solve f*t = -2*t + 4 for t.
1
Suppose -7 = -4*q + 3*z + 1, 2*q + 2*z = 18. Suppose -q*x + x = -12. Solve 0 = c - 7 + x for c.
4
Let v = -9 - -9. Suppose 5*d - 10 = -v*d. Solve 0 = -0*r - 2*r - d for r.
-1
Let d(p) = p - 2. Let h be d(-4). Let z = -3 - h. Solve -5*f - 10 = -z*f for f.
-5
Let h be (-6)/9*3/(-2)*3. Solve -h*s = 5 + 1 for s.
-2
Let n(z) be the first derivative of z**2/2 - 2. Let w be n(0). Solve v + 3*v - 8 = w for v.
2
Suppose 3*q - 15 = -0. Suppose 0*y - 3*y = 9. Let k = q + y. Solve k = -d + 7 for d.
5
Let q = -29 - -17. Suppose 3*x - 7 + 28 = 0. Let d = x - q. Solve -3*t = 1 + d for t.
-2
Let v be (-164)/(-287) - (-48)/14. Solve v = -2*r - 2*r for r.
-1
Let s(f) = f**3 - 5*f**2 + 2*f - 7. Let w be s(5). Let m be 3 + 0/(w - 2). Solve -m*c + 7*c = 4 for c.
1
Suppose -z = 4*k + 23, -4*z - 21 = -k + 20. Let i be z/(-3) + (-2)/(-6). Solve b = i*b for b.
0
Let g be ((-2)/3)/(1/(-6)). Let c = -3 - -3. Solve c*m = g*m for m.
0
Suppose 5*t - 16 + 1 = 0. Let r be t + -3 + -1 - -9. Solve r - 4 = 4*i for i.
1
Suppose -3*t = -t. Solve -q = -4 - t for q.
4
Let y be ((-5)/1 - -3)/2. Let x be 1 - ((-3 - -3) + y). Solve -b - 5 + x = 0 for b.
-3
Suppose -8*r + 38 = 11*r. Solve -2*w - r*w = -4 for w.
1
Suppose -10 = -r - 4*b, -2*r + 6*r - 3*b - 40 = 0. Let v be ((-6)/r)/(6/(-90)). Solve 2*w - v = -1 for w.
4
Let j(v) = v**3 - 2*v**2 - 3*v - 4. Let h be j(3). Let b be (-2)/4 + (-34)/h. Solve -15 = 3*y - b*y for y.
3
Let b be 1 + -1 - (-2 + 0). Let h = -2 + 2. Suppose h = -p - 2*p + 21. Solve d = p - b for d.
5
Suppose 11*x = 14*x. Solve 3*h + h + 20 = x for h.
-5
Suppose 0 = -2*t + 5*t - 6. Let f be (15/(-10))/(6/2)*-4. Solve -4 - f = t*b for b.
-3
Let t(m) = m**3 - 3*m - 2. Let a be t(-2). Let k = 16 + -10. Let h = k + a. Solve -i = -2*i + h for i.
2
Let j(u) = u**2 - 2*u - 30. Let z be j(7). Solve 0*b - z*b + 25 = 0 for b.
5
Let j be -1*(-3)/((-6)/(-4)). Solve 0 = -2*b - 12 + j for b.
-5
Let z = 10 + -5. Solve 3*k - 11 = -z for k.
2
Suppose -9*w = -11*w. Solve -5*r + w = -5 for r.
1
Let k be 1/((-23)/8 - -3). Let q(v) = v**3 - 7*v**2 - 9*v + 10. Let d be q(k). Solve -d = 2*z + 2 for z.
-2
Suppose 14*n + 3 = 13*n. Let a = 4 + n. Solve -u - 4 + a = 0 for u.
-3
Suppose -6 = -5*n - 1. Suppose -q + 1 = -n. Solve 10 = q*j + 3*j for j.
2
Let u(l) = -3*l**2 + 3*l + 9. Let q(b) = 2*b**2 - 4*b - 8. Let s(i) = -4*q(i) - 3*u(i). Let a be s(-7). Solve a*m + 5 = 30 for m.
5
Suppose i - 2*l - 3 = -7*l, -i - l + 3 = 0. Solve y - 1 = -i for y.
-2
Suppose -58 - 12 = -7*z. Solve -26 + z = 4*o for o.
-4
Let k be 112/18 + (-18)/81. Suppose -k*m = -5*m - 3. Solve -15 = 2*r + m*r for r.
-3
Suppose 2*l + 5*n - 1 = 0, -l - 4*l - 2*n = -13. Suppose -l*k = -0*k - 12. Suppose -3*f + 3*o = o - 64, -k*f = 3*o - 57. Solve 3*b = 3 - f for b.
-5
Suppose 30 = 4*k - 2*o - 0, -o = 5. Let n(b) = b**3 - 4*b**2 - 5*b + 5. Let j be n(k). Suppose -s = 1 - j. Solve 0 = s*a + 16 for a.
-4
Let z(q) = -3*q - 6. Let c be z(-7). Suppose -4*h + c = h. Solve 0 = -h*f - f for f.
0
Let g(x) = -5*x - 13. Let y be g(-4). Solve -y - 9 = 4*s for s.
-4
Suppose 2*x - 2 = 5*c, -x = -0*x - 3*c. Solve i = x*i for i.
0
Let h be (-10)/((-1)/((-15)/(-6))). Let l = 35 - h. Solve 0*c - l = -5*c for c.
2
Suppose 0 = 2*v - 0*z - z + 2, 3*z = -v + 6. Solve 4*c = -8 - v for c.
-2
Let h = 23 - 14. Solve 2*b = -b - h for b.
-3
Suppose 5*y - c = -18, 5*y + c - 16 = -38. Let n be (32/6)/(y/(-6)). Solve 4*l + 4 = -n for l.
-3
Suppose -2*n - 5*h = -5*n + 3, -n = -5*h + 9. Let d = -7 + n. Let f be (-4)/2 + (5 - d). Solve -c + f*c = 0 for c.
0
Let i = 3 - -5. Let u(d) = -d**3 + 7*d**2 + 8*d + 3. Let t be u(i). Solve -t*s = -s for s.
0
Suppose 0 = -5*h + 5*b - 15, -3*b + 7 = -2*h - 4. Suppose -h*v - 7 = -19. Let q be ((-4)/(-6))/(10/15). Solve v - q = d for d.
5
Let i = -6 - -10. Suppose 3*y = i*u - 15, -2*u - 5 = 3*u + y. Suppose 5*s = 4*r + s - 12, 5*r + 5*s - 35 = u. Solve 0 = -4*a + r - 1 for a.
1
Let q(v) = 12 - 4 - v + 2*v + 0*v. Let t be q(0). Solve j - t = -j for j.
4
Let l(b) = -2*b + 5. Let u be l(0). Let h(w) = -w + 1. Let m be h(2). Let x be 1/((m/(-5))/1). Solve x + 10 = -u*z for z.
-3
Let b be 2/9 - (-224)/(-36). Let q = b - -9. Suppose -q*c - 5*a = -11, 3*a - 27 = -5*c - a. Solve -c = 4*v - 27 for v.
5
Let o(a) = a**2 + 9*a - 26. Let r be o(-12). Solve -r = 2*j - 4*j for j.
5
Let y(a) = -a**2 + 8*a - 11. Let u be y(5). Suppose -2 = 4*x - 10. Solve -u = -x*v - 0*v for v.
2
Suppose -15 = -3*l - 2*l. Suppose 5 + l = -4*n. Let w be (3/(-2))/(n/4). Solve 4*b = 13 + w for b.
4
Let b(t) = t + 4. Let y be b(-4). Solve y*o + 5 = -o for o.
-5
Let l = 2 + 4. Suppose h = l - 2. Solve -6 = h*j - 26 for j.
5
Let m be 3/9 - 5/(-3). Suppose 0 = 4*j + 4*t - 39 - 5, 5*t + 15 = 5*j. Let n = 10 - j. Solve 0 = -n*p - 10 - m for p.
-4
Suppose -4*s = -1 - 3. Suppose -4*j + 3 = -s. Solve -5 = -f - j for f.
4
Suppose f = 6*f - 90. Let n be ((-4)/(-6))/(4/f). Solve 7*g - n*g = 4 for g.
1
Suppose -4*f + 4*t = -f + 16, 4*f - 12 = -3*t. Suppose -2*d + 5 = 1. Let p be (2*2)/(d + 0). Solve -p*i - 4 = -f*i for i.
-2
Suppose -r - 1 = 5. Let n = 1 + -7. Let k be 3/n*1*r. Solve -k*x = -0*x for x.
0
Suppose -5 = -20*y + 15*y. Solve 5 - y = 2*o for o.
2
Suppose 3*a + 3 + 3 = 4*y, 0 = a + 2*y - 8. Let v(x) = x**2 - 5*x + 4. Let j be v(5). Suppose 10 = 3*p + j. Solve -p - 2 = a*l for l.
-2
Let t = 50 + -46. Solve 2*a + 2 - t = 0 for a.
1
Let z(f) = f**2 - 2*f + 3. Let y be z(2). Solve 0*b = b - y for b.
3
Suppose 4*g - 2*g = 6. Let j be (-1)/2*(-3 - -3) + 7. Solve -5*f + j = -g for f.
2
Let v = -5 - -7. Let n be 2 + -1 - (-5 + 9). Let m be (8/(-6))/(v/n). Solve -r - m*r = 0 for r.
0
Let w(g) = 2*g**2 + 4*g - 1. Let o be w(-3). Let c be (-10)/o + 24 + -1. Suppose -x - 2*r + 8 = 0, 0 = 3*x + 5*r - 0 - c. Solve 0 = -x*a + a for a.
0
Let l(f) = -3*f**3 - f - 2. Let p be l(-1). Let s(r) = r**2 - 3*r + 4. Let q be s(p). Solv