1
Suppose 21 = 5*v - 8*v. Let p = v + 5. Let d be p/3 - (-28)/6. Solve b = 2*b - d for b.
4
Let r be (-1)/((-28)/12 + 2). Solve -c = -r*c + 8 for c.
4
Let r = 3 + -3. Solve r = -3*c + 15 - 0 for c.
5
Let t(f) = 2*f + 49. Let p be t(-21). Solve -p*i + 4*i = 6 for i.
-2
Let v(n) = 20*n**2. Let p be v(-1). Solve 4*w + p = -0*w for w.
-5
Let x = 7 - 6. Suppose 0 = -w + 2 + x. Solve -u - w + 2 = 0 for u.
-1
Let v(h) = h**3 - 8*h**2 - h + 8. Let c be v(8). Suppose 0 = -2*w - 0*w. Solve 5*p + w*p - 20 = c for p.
4
Suppose 3*d = -3*p - 9, 2*d - 6*d = 2*p + 2. Suppose -d = -3*u - 2*z - 29, -3 = z. Let n = u + 11. Solve n = -o + 2 for o.
-2
Let x be (-232)/(-72) + 2/(-9). Solve m = -x*m - 8 for m.
-2
Let c(d) = d**3 - 5*d**2 + 2. Let g be c(5). Solve 2*r + 6 = g for r.
-2
Suppose -4*y = -2*y. Solve y = -5*u - 5 for u.
-1
Let a(o) = -o**3 + 7*o**2 + 2. Let r be a(7). Suppose -r*y = -5*y. Suppose v = 2*t + 6, -5*v - 3*t + 2 = t. Solve 0 = -y*i + i + v for i.
-2
Let y be (42/18)/(2/(-6)). Let g(o) = 4*o**2 - 7*o - 3. Let f(p) = -5*p**2 + 7*p + 4. Let n(d) = 5*f(d) + 6*g(d). Let m be n(y). Solve -3*x = -m*x for x.
0
Suppose 5*j = 4*q + 10, 4*j = j - q + 6. Suppose -c + 7 = j. Let x be 2/3*-3 - -7. Solve x = -5*d - c for d.
-2
Let h = -28 + 40. Suppose -3*r - 3 = -h. Solve q + r*q = -16 for q.
-4
Suppose -4*x + 6 = -x. Suppose 0 = x*y - 0*y - 12. Solve -5*v + y = -4 for v.
2
Let y be (1 - 4)/(3/(-3)). Suppose 4*p - 7*p = -24. Suppose -2*j + y*w = -13, p*w - 3*w + 9 = -3*j. Solve -j*x - 16 = 2*x for x.
-4
Let w(j) = -j**3 - 3*j**2 + 2*j + 4. Let y be w(0). Solve -3*l + l + y = 0 for l.
2
Let v be 56/(-40)*(-3 - 2). Suppose -4*b - 2 = -14. Solve -b*t = -v*t - 16 for t.
-4
Suppose -1 = -4*x - 3*c + 6, 0 = -2*c - 6. Solve 7*a - 15 = x*a for a.
5
Suppose -4*m = 4 + 4. Let s be (m/(-6))/((-1)/(-6)). Let a be s/9 + (-665)/(-45). Solve 0 = 5*i - 10 - a for i.
5
Suppose 6*q + 4*m - 12 = 4*q, -3*q - 2*m - 2 = 0. Let x(r) = -2*r - 5. Let s be x(q). Let w be (-4 - 1)/(2 - s). Solve w*j + 5 = 4*j for j.
-5
Let s = -28 + 44. Let y = 18 - s. Solve 0 = j + y for j.
-2
Suppose 0 = 2*v - 4*v + 10. Let x = -29 - -31. Suppose x*q = -5*i + 8 + 22, 5*q - 45 = -v*i. Solve 0 = 5*h + 21 + i for h.
-5
Suppose 3*n - 4*h = 2 + 18, -h = 5*n - 18. Solve -n = -3*g - 1 for g.
1
Let u be (-1 - -1 - -1) + 8. Solve -2*z + u = z for z.
3
Let s = -1 - -5. Solve r + 0 + s = 0 for r.
-4
Suppose 2*m = -3*t + 17, 0 = -4*t + 2*m + 3*m - 8. Solve 2*o + 5 = -t for o.
-4
Let s(t) = t**3 - 11*t**2 + 16*t + 13. Let x be s(9). Let m(j) = 4*j + 3. Let o(q) = -q + 1. Let d(y) = m(y) + 3*o(y). Let h be d(x). Solve 0 = c - h - 2 for c.
3
Let p be ((-12)/(-10))/((-64)/40 - -2). Solve -7*u + 16 = -p*u for u.
4
Let x be (-1 - 0)/((-12)/(-60)). Let l be (-2)/(-8) - (-26)/(-8). Let u = l - x. Solve -u*h - 1 - 1 = 0 for h.
-1
Let g(n) be the first derivative of -4*n**3/3 + n**2/2 + 2*n + 2. Let r be g(2). Let y be 18/(-4)*8/r. Solve 2 + 1 = -y*a for a.
-1
Let d(c) be the second derivative of c**4/12 - c**3/2 - 3*c**2 + 4*c. Suppose f = -3*x + 5, -3*f + x = -0*f - 15. Let g be d(f). Solve 2*t - g - 2 = 0 for t.
3
Let c = 34 - 32. Solve 6 = 2*r - c for r.
4
Let j(n) = 2*n**2 + 2*n - 2. Let u be j(-2). Let o = u + 0. Solve i - o = 2 for i.
4
Suppose 2*q - 42 = 5*q - u, u = 3. Let p = q + 14. Solve -p = -m + 1 for m.
2
Let y(i) = -i - 1. Let g(p) = p**2 - 7*p + 4. Let b be g(4). Let h be y(b). Solve -2*o + h*o = -5 for o.
-1
Let a(p) = p**2 - 6*p + 8. Let d be a(4). Solve d*q - 5*q + 25 = 0 for q.
5
Let g(q) = 7*q + 9. Let m(b) = b + 1. Let z(j) = -g(j) + 6*m(j). Let o be z(-3). Solve o = v - 1 - 1 for v.
2
Suppose -6 - 18 = -8*t. Solve t = -2*v - v for v.
-1
Let d(k) = k**3 + 3*k**2 + 4. Let g be d(-3). Solve g = 4*y + 12 for y.
-2
Let f be -1 + 2 - (1 + -2). Let t = 2 + -15. Let k = t + 22. Solve -f*g - g = k for g.
-3
Suppose -3*r - a + 56 = a, 3*a = -6. Suppose 2*m + 2*m - r = 0. Let g = 11 + 7. Solve m*z + g = -7 for z.
-5
Let l = -5 - -9. Suppose 3*r + w - 5 = r, 3*r + 20 = l*w. Let g(n) = n**3 + n**2. Let c be g(r). Solve -2*b + c*b = 2 for b.
-1
Suppose -5*r + 9*r = 0. Solve r*t + 8 = 4*t for t.
2
Let i(r) = r + 8. Let a be i(-5). Suppose -104 + 59 = -5*l. Solve l = -0*x - a*x for x.
-3
Let m = -32 + 32. Solve v = -m + 1 for v.
1
Let p = 164 - 161. Solve 0*w - p*w + 6 = 0 for w.
2
Let r(d) = -d**3 + d. Let v be r(0). Suppose v = 4*j - 6 + 2. Solve y = j - 5 for y.
-4
Let a(n) = -n - 12. Let r be a(-10). Let y = r + 2. Solve 2*c - c + 4 = y for c.
-4
Suppose -7*q = -6*q - 4. Solve 0 = x + 1 + q for x.
-5
Suppose 2*q = 1 + 5. Solve 2*w = -w + q for w.
1
Suppose 4*n - 16 = -4*z, 0*n - 3*n + 20 = -z. Solve -n*s = -5*s + 3 for s.
-3
Suppose 4*l + 5 = -l. Let x be (3/(-9) - l)*3. Solve 4 = 2*g - x for g.
3
Let f be (-2 - (-4 - -2))*1/2. Solve -4*y + 5 - 1 = f for y.
1
Let u = -11 + -5. Let q = -9 - u. Let j(m) = 2*m - 5. Let c be j(4). Solve c - q = o for o.
-4
Let b = -8 - -8. Suppose b = a - 6*a + 10. Solve 0 = -2*d - a*d + 12 for d.
3
Suppose n - 18 = -2*n. Solve 0 = 2*w - 0*w + n for w.
-3
Suppose -4*x = -5*y - 10, 3*x = -2*x + 4*y + 8. Suppose -2*d - 3*d = x. Solve 0 = k - d*k + 4 for k.
-4
Let z be (-1)/(-2) + 114/(-4). Let u be (3/(-2))/(6/z). Solve 2*q + u = 1 for q.
-3
Let m be 6*(6 - (-1 - -6)). Solve 2*g + m = 4*g for g.
3
Let n = -1 + 0. Let u be (0 - -7) + 2*n. Suppose -2*b - 10 = 0, q + u*b - 2*b = -14. Solve 5*t = 11 - q for t.
2
Suppose -3*a + 5*a = 0. Let x = 3 + a. Let t be 2*-1*45/(-18). Solve x - 8 = t*h for h.
-1
Suppose 0 = -0*s + 3*s. Suppose s = -3*b - 0*b. Suppose -a = -6*a + 20. Solve b*x = -a*x for x.
0
Let i = -11 + 11. Suppose 3*m - 3 = 4*f + 42, 2*f = i. Solve 0 = d + 2*d - m for d.
5
Let n = 3 - 1. Suppose -p = 2*u - 12, u - 4*p = -n - 1. Solve -u*h - 8 = -h for h.
-2
Let i(v) = v**2 - 8*v + 10. Let x be 4 + 0 - (0 + -3). Let c be i(x). Solve 0*y = c*y for y.
0
Let g = -10 - -8. Let l be 0/((-1)/(-2)*g). Solve -q - 2*q - 3 = l for q.
-1
Suppose 0*r - 1 = 3*r - 4*f, 2*f = 3*r + 5. Let a be (-3)/r + 3/3. Solve 0*d + a*d = 10 for d.
5
Suppose -3*t - t = -8. Let m be 30/7 - t/7. Solve m*n - n = -6 for n.
-2
Let d be 2/10 - (-24)/5. Let w be 54/10 - (-12)/(-30). Solve d = 4*n - w*n for n.
-5
Let i = 99 + -95. Solve -15 = i*h + h for h.
-3
Suppose 5*s - 3*i + 39 = 0, -5*i + 26 = -2*s - 2*s. Let z = s + 10. Solve -z - 4 = -f for f.
5
Let w = 14 - 14. Let o be 1 - w - (7 - 6). Solve o = -6*d + 3*d - 3 for d.
-1
Suppose -8 = -4*i, 0*j + 2*i + 16 = 4*j. Solve -3*d + j - 2 = 0 for d.
1
Let w(a) = -a**3 - 7*a**2 + 9*a + 5. Let m be w(-8). Let t be 3 - ((-9)/m)/(-3). Let k be t + -1 + -1 + 1. Solve -4 = 2*r - k*r for r.
4
Let v be (-4)/(-14) + 16/(-7). Let j = 18 - v. Suppose 6*m - m - r = 21, 3*m - 16 = 4*r. Solve j = m*o + 4 for o.
4
Let u(y) be the third derivative of -y**4/24 + y**3/2 - 4*y**2. Let m be u(-4). Let k = 2 - 1. Solve -3*i + m = k for i.
2
Let g be 0*-3*(-4)/(-24). Solve g = -2*i + i for i.
0
Suppose -2*p - 3*p - y + 50 = 0, 3*y - 50 = -5*p. Suppose -5*r = -0*r - p. Let j be (-8)/(-4) + (-1 - -14). Solve 0 = r*a + a + j for a.
-5
Let f(v) = v**2 - 10*v - 5. Let o be f(11). Let a(u) = -u**2 + 6*u. Let p be a(o). Solve p = -h + 4*h for h.
0
Suppose 2*k - k = -5*x + 12, -3*k - 18 = -3*x. Suppose -21 = -s + x*g, 4*s - 4*g + 10 = 9*s. Solve 0 = -s*u + 3*u for u.
0
Let n = 32 - 13. Suppose -5*l - 2 = -3*k, -3 + n = -2*l + 5*k. Solve 0 = l*q - 1 - 5 for q.
3
Suppose -x + 0*x - 12 = 4*s, s - 3*x = -3. Let u = s + 7. Solve -11 = u*o + 5 for o.
-4
Suppose 3*o = -4*a - 11 - 8, -2*o = 5*a + 15. Let u be (o - -4)*0/2. Let f be u + 0 - 10/(-5). Solve -7 = -x - f for x.
5
Let s be 266/21 - (-1)/3. Let p = s + -10. Solve t + 0*t - p = 0 for t.
3
Let w = -106 + 114. Solve -3*o = -7*o - w for o.
-2
Let y(r) = r - 3. Let x be y(6). Let m(p) = 6*p - 4. Let z be m(x). Solve 5*f = -11 - z for f.
-5
Suppose 0 = -3*k - 4*c + 17, -5*c + 13 = -2*k + 3*k. Solve m - k*m = 10 for m.
-5
Suppose 141*y - 30 = 136*y. Solve y + 19 = -5*r for r.
-5
Suppose 0 = 2*p + 4*v, -p + 0 = -2*v + 4. Let o be -2 - (-3 - p)*4. Solve -3*h = -o*h + 4 for h.
-4
Let t = 5 - 2. Let v(d) = -d**3 - 8*d**2 - d - 4. Let q be v(-8). Solve -t*p + q*p = -4 for p.
-4
Suppose -3*r + 5 = 4*w - 15, w + 17 = 2*r. Solve -4*i + 0 = r for i.
-