
Suppose v + 10 = 6*v. Solve 4*l + v = 10 for l.
2
Suppose -3*c = -5*c. Solve c*v = 2*v - 10 for v.
5
Let b(g) = -g**3 - 4*g**2 - 2. Let t be b(-6). Suppose -t = -9*n + 4*n. Suppose -n = -2*p + 2*c, -2*c = p + 2*c + 18. Solve p + 2 = -f for f.
-4
Suppose -4*n = -0*n, -y = 5*n - 3. Let b = -9 - -29. Suppose 0*x - 5*x = -b. Solve -y*p = -x*p for p.
0
Let f = 34 - 30. Solve -6 = f*s + 2 for s.
-2
Let j = 1 - -4. Let p = -1 - -4. Suppose 0 = -7*d + 2*d + w - 5, 5*w - 25 = p*d. Solve j*u + d*u = 0 for u.
0
Let z be (138/115)/(1/10). Solve 14*w - z*w = 0 for w.
0
Let z(a) = a**3 + 6*a**2 + 4*a - 1. Let h be z(-5). Suppose 3*d - 14 = -o, -h*d - 5*o + 3*o + 20 = 0. Solve 1 = -d*x + 13 for x.
3
Let s be 8/20 + (-2)/5. Suppose 5*p = -s*p + 20. Solve -29 + 13 = -p*d for d.
4
Suppose 16 = -d + 2*n + 3*n, -d + 3*n - 8 = 0. Suppose -h = -4*h. Let a be 4 - (h - -2 - 3). Solve a*l - 6 - d = 0 for l.
2
Suppose m - 3*r + 2*r = 2, -r + 13 = 4*m. Solve -7 = 5*w + m for w.
-2
Suppose -y - 5 - 1 = 0. Let x = -6 - y. Solve 3*z + z = x for z.
0
Let i(t) = -2*t**2 + 12*t + 2. Let d be i(6). Solve d = -5*r + 22 for r.
4
Suppose -15 = 73*a - 76*a. Solve -5*k + 5 = -a for k.
2
Let v(f) = -f**2 + 8*f - 9. Let x be v(6). Solve -x*z + z = -4 for z.
2
Suppose c + 0*c + 4 = 0. Let l = -1 - c. Solve l = -4*w + 7 for w.
1
Let i(t) = -t**2 + 5*t + 8. Let w be i(6). Suppose -q - w*q + 3 = 0. Solve q + 3 = 4*j for j.
1
Let k be (-15)/(-10) + 1/(-2). Let l be (1 - (0 + k))/(-1). Let w(f) = -f**2 + 4*f + 7. Let g be w(5). Solve a = -l*a - g for a.
-2
Let y be 1/2 + 35/10. Suppose 7*b - 3*b = 24. Let u be -2 - -1 - (-1 + 0). Solve u = -5*l - b - y for l.
-2
Let y be 3/((-6)/(-16)*2). Suppose 2*m = -4*a + y*m + 14, -20 = -4*a + 4*m. Solve -a*l - 20 = 2*l for l.
-5
Let m(f) = f**2 + f - 3. Let j be m(-4). Let z = j + -5. Solve 16 = z*l - 0*l for l.
4
Suppose 6 = 4*w + c - 2*c, 0 = -4*w + 2*c + 4. Solve 2 - 10 = w*f for f.
-4
Let f(r) = -2*r**3 - 22*r**2 - r + 1. Let g be f(-11). Solve 2*a + g = 6*a for a.
3
Let l(g) = 13*g**3 + 14*g**2 + 10*g - 4. Let b(y) = -7*y**3 - 7*y**2 - 5*y + 2. Let h(o) = 11*b(o) + 6*l(o). Let i be h(-6). Solve i*x + 15 = x for x.
-5
Suppose 0*q - 2*q = 4, 4*o - 4*q - 40 = 0. Solve 2*l - o = -0*l for l.
4
Let a be ((-12)/(-10))/((-12)/(-40)). Solve 12 = -f + a*f for f.
4
Suppose 0 = 4*l + 2*w - 20, -2*w - 3 = -l + 7. Let y(n) = n + 13. Let u be y(-10). Suppose 0 = u*h - h - l. Solve 0 = 3*x + h + 3 for x.
-2
Let a(o) = -o + 3. Let s be a(-1). Solve -y + s*y = -15 for y.
-5
Let q(z) = -4*z + 2. Let m be -7 - -3 - -6 - 4. Let b be q(m). Solve -6*s = -s + b for s.
-2
Suppose 3*r - 20 = -8. Suppose 4*h - 28 = -r*d, 0 = d - h - 2*h + 5. Solve -12 = -0*a - d*a for a.
3
Let l = -22 - -25. Solve 0 = l*q + 3 - 0 for q.
-1
Let y(z) = z**3 - 4*z**2 - 6*z - 1. Let c be y(6). Suppose -5*k - c = -10. Let q(t) = t**3 + 6*t**2 + 3*t - 6. Let h be q(k). Solve -h + 1 = -3*s for s.
1
Suppose 0*z + 75 = 5*z. Solve w - z = 6*w for w.
-3
Let u = 15 - 12. Solve -u*d = -6*d - 15 for d.
-5
Suppose -3*d + 12 = -4*r + d, -4*r + 12 = 4*d. Let q(a) be the first derivative of -a**2/2 + 3*a - 23. Let u be q(r). Solve p - u = 2 for p.
5
Let g = -70 + 70. Solve 0 = -g*u + 4*u for u.
0
Suppose 5*r - 24 = 16. Solve -3*p + r = -5*p for p.
-4
Let q(l) = -7*l + 3*l - 1 + 7 + l**2. Let f be q(4). Suppose 2 - f = -2*w. Solve s = w*s + 1 for s.
-1
Let r(z) = z**2 - 6*z - 64. Let x be r(-6). Solve 6*d - x = 2*d for d.
2
Suppose 2*u - 5*g = 3*u + 11, 4*u - g - 19 = 0. Solve 8 = 2*t - u*t for t.
-4
Let k(d) = -d + 1. Let u(w) = -2*w + 1. Let b(s) = -10*k(s) + 6*u(s). Let c be b(-3). Let a be 1/(-2)*-2*5. Solve -c*i + a*i = 15 for i.
5
Let l(t) = -t**3 - 2*t**2 + 4*t + 1. Let w be l(-4). Solve -4*o - w = 3 for o.
-5
Let y(g) = 60*g. Let f be 2/3 - 4/(-12). Let l be y(f). Suppose l = 5*c - 20. Solve 3*k - c + 1 = 0 for k.
5
Suppose -g = -3*b - b + 5, 2*g - 4*b = -2. Solve -2*k - 10 = g*k for k.
-2
Suppose -5*h + 3*h - 6 = w, 0 = 4*w + 3*h - 1. Suppose -k + 1 = w*c, 2*k = -2*k - 2*c + 18. Solve -k*v = -2*v + 12 for v.
-4
Let h be (-52)/130 + 24/10. Solve 2*s - 8 = -h for s.
3
Suppose 2*t = -4*r + 8, -3 - 2 = -2*t - 5*r. Let l = t - 6. Solve -3 = -g - l for g.
-1
Let k(w) = -6*w + 22. Let j be k(3). Solve 0 = j*q - q + 6 for q.
-2
Let f be (-1)/(-1) - (-2 - 4). Let q(z) = -z**3 + 7*z**2 + z - 2. Let k be q(f). Suppose -28 = -g - k*l, -16 = g - 5*l + 6. Solve -2*o = 1 - g for o.
1
Let v = -31 - -39. Solve 5*b + 7 = -v for b.
-3
Suppose 0 = -7*p + 3*p + 16. Solve p*c - 2 = 2 for c.
1
Suppose 65 = 4*a - 3*d, a - 5*d + 4 = -1. Solve -4*w + 0*w = a for w.
-5
Let q = 69 - 53. Suppose -3*c + 20 = c - 4*j, 2*c + 10 = -2*j. Suppose c*b - 5*b = -20. Solve b*r - 4 = q for r.
5
Let f(y) = -y - 21. Let t be f(-9). Let i = t + 20. Suppose -4 = -5*g - 5*s + 1, 0 = 5*g + 4*s - i. Solve -w - g = w for w.
-2
Suppose -44 = -5*x - v, 4*x - 19 = -4*v + 29. Solve 0 = d - 3*d - x for d.
-4
Let m(t) be the third derivative of t**4/6 - 5*t**3/6 + 8*t**2. Let i be m(2). Solve 9 = i*w + 3 for w.
2
Let o be 15/6*(2 + 0). Suppose -2*n + 42 = -0*n. Suppose 4*r = -o + n. Solve 3*j = j + r for j.
2
Let r = -114 + 114. Solve -p + 6*p = r for p.
0
Suppose -4*z - 9 = 5*h, 5*h + 5 = 3*z - 8*z. Let w be 1/(-3)*-3*0. Suppose 8*x - 88 = -3*x. Solve -z*r + w + x = 0 for r.
2
Let r = 10 + -7. Suppose y = -r*y. Suppose -h + 4 = -y. Solve -h = -3*u - 1 for u.
1
Let m(p) = 3*p - 2. Let l be m(-3). Let b be (-53)/l - (-2)/11. Suppose 4*s + h = 13, 5*h + 12 = 3*s - 15. Solve b = 3*x - s*x for x.
-5
Suppose 3*d = -0*d. Suppose -i + 1 = 5. Let q be 10/4*i/(-5). Solve q*c = -d*c for c.
0
Suppose -4*p + 17 = 5. Let j be (4 - 30/9)*p. Solve -u - u = -j for u.
1
Suppose 0 = 2*y + 3 - 7. Suppose 7 = -5*k + 22. Solve k = -5*n - y for n.
-1
Suppose -3*u = -7*u + 8. Solve u*y - y = -2 for y.
-2
Let j be (-1)/(6/9 - 1). Suppose j*r = 5*r - 2. Let q = 34 - 21. Solve -3*t - q = -r for t.
-4
Let y(a) = 4*a**2 + 7 - 3*a**2 + 4 + 9*a. Let o be y(-8). Solve o*f - 2*f = 1 for f.
1
Let z(f) = f**3 + 3*f**2 - 3*f - 2. Let y(x) = -2 - 8*x + 3*x**3 + 8*x**2 - 1 - 2. Let l(b) = 3*y(b) - 8*z(b). Let q be l(1). Solve 0 = -q*t - 0*t - 8 for t.
-4
Let n(p) = p + 11. Let f(q) = 5*q + 45. Let d(z) = -2*f(z) + 9*n(z). Let s be d(4). Solve 0 = 5*r + 5 + s for r.
-2
Suppose 3*m - 1 - 5 = 0. Let o be (3 + -3)*m/(-4). Solve -4*d + o*d - 4 = 0 for d.
-1
Suppose 0*y - 3*m = y, 0 = -4*y - 4*m + 16. Suppose -3*s + 2*s + y = 2*c, -3*c + 16 = 5*s. Solve 0*b = -s*b - 2 for b.
-1
Let l(f) = f**2 - 6*f - 19. Let i be l(9). Solve -3*r - r + i = 0 for r.
2
Let h(m) = -m**3 + 3*m**2 + 4*m. Let g = -2 - -5. Let b be h(g). Let k be (-2)/6 - (-48)/9. Solve -b = y - k*y for y.
3
Let m = 28 + -28. Solve m = 3*b + 2*b - 25 for b.
5
Suppose -2*d + 2 = -8. Suppose 0*g = -19*g + 380. Suppose -3*q = 2*q. Solve d*h = -q + g for h.
4
Suppose -3*z = -s + 1, z + 4*s = -3*z + 4. Let o be (z - 0)/(4 + -5). Solve 0 = -x + 5 - o for x.
5
Suppose 3 = k + 1. Suppose 5*y - 5*d - 10 - 60 = 0, 5*y - 4*d - 68 = 0. Solve -i - y = k*i for i.
-4
Suppose g - 20 = -4*g, -36 = -4*l - 4*g. Solve 3*r = 2*r - l for r.
-5
Let b be -1 - (-6 + 2 + 1). Suppose 2*o + 15 = 11. Let t be 1 + (-1 - o) + 1. Solve 0 = n + t + b for n.
-5
Suppose 7 = 3*r - 2. Let q be ((-3)/1)/((-6)/16). Suppose -r*w = -q + 2. Solve 0 = -w*i - i for i.
0
Suppose 0*k - 21 = -k + l, 2*l + 108 = 5*k. Solve 4*d - 6 = -k for d.
-4
Let z(g) = 9*g**2 + 6*g + 5. Let k(s) = s**2 + s + 1. Let r(q) = -6*k(q) + z(q). Let m be r(1). Let c be (-22 + -3)*(-2)/2. Solve -m*t = -7*t - c for t.
-5
Let l = 25 + -21. Solve -j + 2*j = l for j.
4
Let u(m) = -m**3 - 2*m**2 + 5*m - 3. Let g be u(-4). Let d(s) = -s**2 + 9*s - 10. Let n be d(7). Solve -t = g - n for t.
-5
Suppose 0 = -0*p - p + 3. Solve 0*z + p = -z for z.
-3
Suppose 5*f - 23 = -4*l, f - 1 + 9 = -5*l. Solve 0 = -5*k - 13 - f for k.
-4
Let i(m) = m**2 + 8*m - 3. Let r be i(-6). Let y be 2/(-2 + r/(-6)). Solve 9*d = y*d + 5 for d.
1
Let g(c) = -c**3 + 7*c**2 - 6*c + 6. Let u be g(6). Solve -u = -x - 1 for x.
5
Let t(n) = -n - 1. Let r be t(-4). Suppose -r*d - 2*a + 20 = 0, d + a = -d + 12. Suppose 2*s = -0*y + d*y + 6, y - 3 = -s. Solve v = -y*v for v.
0
Let w = -20 + 23. Suppose 3 = w*x - 3. Solve -p = x*p + 3 for 