
Let x = -25 - -30. Solve 0 - x = -u for u.
5
Let q be (3 - 1)*10/4. Suppose 0*c = -q*c + 15. Suppose 28 = s - 4*y, 4*s + 2*y = c*s + 16. Solve 3*h + 2*h - s = 0 for h.
4
Let s be 4/(3 + -1) + 4. Suppose 5*t - 36 = -26. Solve t*b = s*b for b.
0
Let z(t) = t**3 - 8*t**2 + 8*t - 2. Let l be z(7). Solve 0 = 2*m - l*m + 6 for m.
2
Suppose 7 + 1 = j. Suppose 5*s + 2*t = 11, -4*s + j*s + 11 = 5*t. Solve g - s = -0*g for g.
1
Suppose -b = 5*o - 6, -4*o - 4*b = 8 - 0. Suppose -3*f + 8 = f. Suppose 3*a - f = o*a. Solve -a = -4*c + 6 for c.
2
Let p be (-1)/(-1) - (9 - 10). Solve -5*r - 12 = -p*r for r.
-4
Suppose 0 = 3*z, -s - 2*z + 3 = z. Solve -7*a - 4 = -s*a for a.
-1
Let o(h) = -h - 3. Suppose 2*k = -10 + 2. Let j be o(k). Solve 2 = n - j for n.
3
Let f be 2*-151*2/(-4). Let w = f - 103. Suppose 3*v = -0*v + w. Solve -s - 3*s = -v for s.
4
Suppose 3 = -a + 3*x, 10 = -2*a + 2*x - 8. Let h be (-31)/(-7) - a/(-28). Solve h - 2 = j for j.
2
Let d = 10 - 5. Suppose 0 = -3*y - 2 + d. Let o = y - -4. Solve -o*i - 17 = -2 for i.
-3
Let d be -4*6/(-8) - (3 - 2). Solve -d*x + x = 2 for x.
-2
Let b(a) = -a**2 - 8*a - 3. Let o be b(-8). Let r be 3 + 1 + 6/o. Solve 5*g + r = -13 for g.
-3
Let n be ((-40)/24)/((-2)/24). Solve -3*h - 8 + n = 0 for h.
4
Let i be (-1 - 3/(-1))*2. Suppose i*h = 2*h. Solve -4 + h = -v for v.
4
Let r(t) = -t + 5. Let a be r(-7). Suppose -8 + a = f. Solve -j = -f*j + 6 for j.
2
Suppose 0 = -v + 23 - 3. Let g(c) = -c**2 + 3*c. Let x be g(3). Suppose 0 = 4*t - x*t - v. Solve 0 = -t*k - 24 + 4 for k.
-4
Let v(s) = s**2 + 2 + 4*s - s**2 - 11*s - s**2. Let h be v(-7). Solve 5*l + h = 22 for l.
4
Let t = 8 + -8. Solve t = -5*k - 1 - 9 for k.
-2
Let n = -172 - -176. Solve -j = n*j + 15 for j.
-3
Let f = 20 - 17. Suppose c - 3 = 2*c. Let k = c + f. Solve 2*t - 4 + 0 = k for t.
2
Suppose a + 3 = -2*x, a - 12 = -3*x + 4*x. Suppose a*r = 3*r + 8. Solve r*f - 2 = 3*f for f.
-2
Suppose 17*f - 68 = -17. Solve -16 = -f*l + 7*l for l.
-4
Suppose -5 = 2*n - 13. Solve -12 = 4*f - n for f.
-2
Let x(k) = 2*k**2 + 3*k. Let q be x(-2). Let f = -13 - -8. Let j be (4/(-5))/(2/f). Solve q*b = -j*b for b.
0
Suppose 3*o = 0, i = -2*o - 1 + 3. Solve -t = -i*t + 3 for t.
3
Let q = -157 + 262. Suppose 0 = -5*b - 4*a - 9 + q, -2*b + 44 = -4*a. Solve -b = -2*c - 2*c for c.
5
Let o be (-10)/((-4)/4*2). Suppose 4*n = -5*f - 0*n + 32, -f + o*n - 11 = 0. Let w = -1 + 1. Solve w = 2*b - 0*b + f for b.
-2
Let b be 24/14 + 2/7. Suppose 2*w - 6 - 2 = -j, b*w - 5*j = 20. Let a(s) = -s**2 + 13*s - 16. Let t be a(11). Solve -t*p = -w*p for p.
0
Suppose -4*j + 39 = 19. Let g be (6 + 0)*2/4. Suppose 0 = g*r - 6 - 9. Solve -5 - r = j*x for x.
-2
Let a = -16 + 22. Let f be 3/(-2)*(-2 + 0). Solve 15 = f*t - a*t for t.
-5
Let x(r) = 2*r - 4. Let d be x(5). Suppose -t = t - d. Suppose n - 20 = -t*n. Solve -2*g - 9 = -n*g for g.
3
Let a(r) = -r + 6. Let w be a(5). Let i be 2/(-4)*0/w. Solve i = -5*o + 1 + 24 for o.
5
Let r = -14 + 16. Suppose -2*n = 3*s - n - 17, -r*n - 2 = -3*s. Solve 0 = -2*i + i - s for i.
-4
Suppose 11*w - 13*w = -8. Solve w*n + 2 - 14 = 0 for n.
3
Let h = -7 - -11. Let n(t) = -t**3 + 3*t**2 + 6*t - 4. Let d be n(4). Let l be 2/d + (-6)/(-12). Solve y + l = h for y.
3
Let y(p) be the first derivative of p**4/12 - 2*p**3/3 + p**2 - p - 2. Let q(d) be the first derivative of y(d). Let l be q(4). Solve j - 3 = -l*j for j.
1
Suppose -u - 4 = -2*u. Let f be (u/(-10))/(1/(-5)). Suppose 3*s - 17 = -4*v, 0*s - 5*v + 9 = f*s. Solve -23 = 4*r - s for r.
-4
Let r be -6*(-1 + 0)/2. Let t(y) = y**3 - 3*y**2 - y. Let s be t(r). Let l be 1 - (0/s - 2). Solve -3 + 15 = l*q for q.
4
Let s = 130 - 125. Solve 4*n - s*n = 3 for n.
-3
Let x = 5 - 7. Let w be (-1)/(-1) - (-14 - x). Solve 5*g = 3 - w for g.
-2
Suppose 2*j + 10 = 7*j. Solve i - j = -i for i.
1
Let c = 127 - 121. Solve 5*q = c + 4 for q.
2
Let c be 20/6 - (-4)/6. Let d = 7 - c. Let w = 26 - 24. Solve -5 = w*m + d*m for m.
-1
Suppose 2*q = -2*w + w + 4, 4*q + 4*w - 4 = 0. Solve 4*b - b = q for b.
1
Let h be (2/(-6)*0)/(-1). Suppose -2*t - t + 6 = h. Let q be 1*(3 - t) + 7. Solve 6*w - 2*w = q for w.
2
Suppose -3*j - t - 2*t + 12 = 0, 0 = -j + 2*t + 4. Suppose u = 3 + 2. Let r be 5/(-10)*6 + u. Solve j = r*x - x for x.
4
Suppose 3*r = -4*p - 41, -4*p = r + r + 38. Let b be 15/((-1)/(p/6)). Suppose 0*q - 4*c = -2*q + 24, -2*c = -5*q + b. Solve -3 - q = -5*l for l.
1
Suppose 2*d - 7*d = 0. Suppose 6 + 19 = -5*n. Let t = n + 5. Solve d = 3*a - t + 6 for a.
-2
Let q = 6 + -11. Let f be 5/((-25)/24)*q. Solve 4*n + 4 = f for n.
5
Let t = 3 + -1. Let s(g) = g**3 + 25*g**2 - 52*g + 58. Let w be s(-27). Solve -t*x + w = 2 for x.
1
Let a(d) = d**2 - 4*d + 7. Let q be a(5). Suppose 2*n = -2*x + q, 0*x - 3*x + 20 = 4*n. Suppose -j - n*j = -3. Solve -m = -2*m - j for m.
-1
Suppose -4*d = d. Suppose -i - 3*i + 16 = d, 5*t = i + 21. Solve t*x - 20 = -0*x for x.
4
Let m(k) = -4*k + 1. Let i be m(-1). Solve 0*c + i*c - 20 = 0 for c.
4
Let n(v) = -v - 1. Let g be n(-4). Suppose -3*p - 1 + 4 = 0. Solve o + p = g for o.
2
Suppose 4*i - 20 = -3*a + 2*i, -5*a + 32 = 3*i. Solve -a = h - 3*h for h.
2
Suppose i + 2 = 2*h, -3*h + 3*i + 1 = -5. Solve a + a = h for a.
0
Let g = -34 - -37. Solve 8 = h + g for h.
5
Let t be (-3)/(-2)*(9 + -11). Let g = t + 7. Solve -h = -g*h + 12 for h.
4
Let o = -141 + 143. Solve 4*k + o = 2*k for k.
-1
Let o = 9 - 14. Let a be 3 + o - (2 + -12). Solve 0 + a = 4*h for h.
2
Let b be 4 + (-2 - -1)*2. Solve -2*w = b*w for w.
0
Let d be (2 - 1) + -3*1. Let x(a) = -2*a - 2. Let s be x(d). Solve s*f = -2*f for f.
0
Let t = -15 - 0. Let h be (5/t)/((-1)/(-3)). Let s = h - -3. Solve s*z + 2 = z for z.
-2
Suppose 10 = 15*l - 10*l. Let p = 9 + -9. Solve p = l*o - 7*o + 5 for o.
1
Suppose -d + 2*d + 5*p - 6 = 0, p - 12 = -2*d. Let x = d + -4. Solve 2 = -f - x for f.
-4
Let s be 1 + 1 - (-14 + 12). Suppose i = s*i - 15. Solve -5*l = i - 0 for l.
-1
Let o = 36 - 34. Solve -2*h - o = -6 for h.
2
Suppose 6*o - 3 = 3. Solve 0 = -r - 4 - o for r.
-5
Let k = 10 + -6. Let q be 1 - 1 - (-5 + -1). Suppose 0 = d + 3*n - 3, 0*d + 5*n = 2*d + 5. Solve d = -2*z - q + k for z.
-1
Let o(t) = -t**2 - 15*t + 6. Let c be o(-15). Solve 0 = k - 4*k + c for k.
2
Suppose 2 = -4*m + 2*m. Let r = 31 + m. Suppose 0 = 2*c - 5*l + 6 + 4, -2*c - 5*l + r = 0. Solve 0 = -2*s - 3*s - c for s.
-1
Let r(k) = k**3 - 8*k**2 + 6*k + 1. Let t be r(7). Let m(v) = v**2 + 5*v - 5. Let u be m(t). Let w = 0 + u. Solve l = -3 + w for l.
-2
Suppose z - b = -4, -2*z = 3*b - 3 - 9. Solve z = 3*o - 6*o - 12 for o.
-4
Let o be ((-24)/(-9))/((-8)/(-12)). Let z(u) = u**3 - 4*u**2. Let s be z(o). Suppose 2*p + 3*d = -s*p - 12, p + 16 = -4*d. Solve 2*j = 4 - p for j.
2
Let f be (-50)/(-20)*(3 + -1). Suppose 0*j - f*j = -15. Solve q + j = 4 for q.
1
Let o = 10 + -5. Let r = -13 + o. Let b(x) = -2*x - 12. Let z be b(r). Solve z = -2*l + 2 for l.
-1
Suppose -2*y + 33 + 3 = 0. Suppose 0 = -5*k + 7 + y. Solve a = -k + 4 for a.
-1
Let c(h) = 2*h - 7. Let k be 2/3 - 10/6. Let l = 4 - k. Let o be c(l). Solve -2*m + o*m = 0 for m.
0
Let u = -65 + 66. Solve 4*k + u + 3 = 0 for k.
-1
Let a(h) be the second derivative of -h**3/6 - 5*h**2/2 + 8*h. Let p be a(-7). Solve p*n + 2 = -0*n for n.
-1
Let f(x) = -10*x**3 - x**2 - x - 1. Let q be f(-1). Let h(a) = a**3 + 4*a**2 + a + 1. Let r be h(-4). Let m = q + r. Solve 2*z + 4 = m*z for z.
1
Let z = -48 - -60. Solve -3*k = -7*k - z for k.
-3
Let p = 0 - 2. Let f be (1/p)/(1/(-4)). Solve -f*i + 0*i = 0 for i.
0
Let v(x) = -5*x - 18. Let h be v(-5). Solve -3*u + 2 = -h for u.
3
Let p(w) = -w**3 + 3. Let b be p(0). Suppose b*j - 8 = 7. Solve 0*y + j*y = 0 for y.
0
Let u(o) be the second derivative of 0 + 1/4*o**4 + 3/2*o**2 - 1/20*o**5 - o - 1/3*o**3. Let k be u(2). Solve k*g + 1 = -8 for g.
-3
Let x(h) = h**2 + h + 9. Let o be x(0). Suppose -5*y = -w - o, 33 + 30 = 3*w + 3*y. Suppose -w = -4*p - 0*p. Solve -2*l + l = p for l.
-4
Let a(v) = -v**3 + 2*v**2 + v. Let t be a(2). Let z be -1 + t + 21 + -1. Solve 5*w + z - 6 = 0 for w.
-3
Let a(n) = n**3 + 4*n**2 + 3*n - 2. Let v be a(-3). Let p be (-39)/v + (-2)/(-4). Solve 2*d - p = 6*d for d.
-5
Suppose 3*i - c = 20, 4*c + 18 = i - 7. Suppose 4*p + 5*x = 0, 5*p = p - 4*x + 4. Suppose -i*f + 3*f - 3*j +