 m.
1
Suppose 0 = p - i - 1, 0 = -4*p - 6*i + 2*i + 12. Solve 0 = p*h + 8 + 2 for h.
-5
Let i = -4 + 8. Suppose 8 = 2*d, -5*j - 2*d + 7 = -31. Let z = j - i. Solve -z*c = -6 + 2 for c.
2
Suppose 10 = 3*w - 4*n, -3*w + 6*w - 5*n = 8. Suppose w + 0 = v. Solve -v*b + 15 = -3*b for b.
5
Let s(u) = 7*u**2 + 2*u - 2. Let r(z) = 4*z**2 + z - 1. Let h(b) = -5*r(b) + 3*s(b). Let v be h(-3). Suppose 4*o - 3*o - v = 0. Solve o*w - 2*w = 0 for w.
0
Let i(h) = -h**3 - h**2 - h + 2. Let s be 3/(-6)*(0 + 0). Let v be i(s). Solve 3*z - v*z = -5 for z.
-5
Let m = 3 + 0. Solve -6*u = -m*u + 9 for u.
-3
Let s = 33 - 31. Solve 0 = -s*l - l for l.
0
Let a = 4 - 8. Let o = -2 - a. Solve 2*g + 6 = -o for g.
-4
Let b = -8 + 13. Let j = 2 + b. Solve 2*g - 1 = j for g.
4
Let k = 41 - 36. Solve 0 = k*g - 2*g - 3 for g.
1
Suppose 5 = 2*l + 1. Suppose 5*g = 4*n + 2, g - n = 3 - 2. Let k = g + 3. Solve 0 = j + k + l for j.
-3
Suppose 0*g + 2*g = 24. Let d = g + -9. Solve -2*y = d*y + 15 for y.
-3
Suppose 2*v + 15 = 5*v. Solve 2*j - v = -3*j for j.
1
Let c = 2 - 0. Let w = 15 - 13. Solve w = c*o - 0*o for o.
1
Let v(g) be the first derivative of -g**4/4 + 3*g**3 + 5*g**2 + 2*g + 2. Let i be 1/(-3) - (-62)/6. Let m be v(i). Solve 0 = 2*s + 8 + m for s.
-5
Suppose 10 = 7*n - 2*n. Solve 0 = -n*v + 4*v - 2 for v.
1
Suppose v = -0 + 2. Let g(a) = a + 7. Let o be g(-2). Solve -v - 18 = -o*q for q.
4
Let x be 4/14 + 5*10/(-175). Solve -3*k + 3 + x = 0 for k.
1
Let c(r) = -r**2 + 7*r - 4. Let o be (1/(-2))/(2/4). Let f(v) = 5*v**2 - 2*v - 1. Let x be f(o). Let n be c(x). Solve 4*g + 6 = -n for g.
-2
Suppose -46*x + 64 = -38*x. Solve 0*b = -2*b + x for b.
4
Let l = -3 + 7. Let h = l + -4. Solve -k + h = 2 for k.
-2
Let d(c) be the third derivative of c**6/120 - c**5/15 - c**4/24 + 2*c**3/3 - c**2. Let h be d(4). Solve h = 3*l - 5 + 11 for l.
-2
Suppose w = 2*j, -w - 2*w = 4*j - 20. Suppose 3*l = 7 + 5. Solve l - j = m for m.
2
Suppose -6 = 5*q - 5*o + 14, 5*q + o = 10. Solve 0 = -3*n + q - 7 for n.
-2
Suppose 5*r - r = 0. Let n(m) = 18*m + 9. Let y be n(3). Let l be (18/y)/((-6)/(-21)). Solve -s - l = -r for s.
-1
Let t = -5 + 9. Let g be (t/(-5))/((-2)/5). Suppose 4*i - 4 = g*i. Solve 2*a + 20 = -i*a for a.
-5
Let m(w) = -w**3 + 5*w**2 - 2*w. Let s = -1 - -4. Let h be m(s). Solve 0 = -4*q - 0 - h for q.
-3
Let j(g) = 3*g + 4. Let r be j(-4). Let t = -5 - r. Solve t*q - 3 = -18 for q.
-5
Let y = 113 + -111. Solve y*t + 8 = -2*t for t.
-2
Let o(f) = f**2 + 5*f + 5. Let i be o(-6). Let z = i + -9. Solve -s = -z*s + 3 for s.
3
Suppose h - 6*h = 0. Solve h = -0*l - 5*l for l.
0
Let c = -3 - -8. Let k = -1 + c. Solve -k*p - 8 = -2*p for p.
-4
Let s be -1 + (-1 - (-2 + 1)). Let o be 15/s*(-2)/6. Suppose -8*l + o*l = -6. Solve 4 + 0 = l*v for v.
2
Let n(o) = o**2 - 5*o. Let f be n(5). Let p be 6 + (3 - 2) + -3. Suppose 5*d - p*d + 5 = 3*w, 10 = d + 2*w. Solve -y + d*y - 3 = f for y.
1
Suppose 2*q + 0*q = 0. Let f be ((-16)/(-10))/(1 + (-9)/15). Solve -r + q = f for r.
-4
Let h be ((-12)/(-18))/(4/30). Solve h*r + 12 = -3 for r.
-3
Suppose 0 = -10*b + 15*b - 30. Suppose -5*c + 13 = 3. Solve -d = c*d - b for d.
2
Suppose 10 = 2*a + 2. Let y(n) = 2*n - 4. Let b be y(a). Suppose -b*i + 44 = -3*q, -5*i - 2 = -6*i + 3*q. Solve -i = 4*x - 2 for x.
-3
Suppose -5*x + 26 = -14. Suppose -6*c - x = -10*c. Solve -z + 4 = c for z.
2
Let r = 1 + -43. Let k = r + 62. Solve a = 5*a + k for a.
-5
Let s(i) = -3*i**2 + 18*i - 16*i + 5*i**2 - 3*i**2. Let x be s(2). Solve x = b + b - 2 for b.
1
Suppose -88 = -4*u - 0*u. Let n = u - 12. Solve -3*i - 1 = -n for i.
3
Let u(j) = j**3 + 9*j**2 - 11*j - 10. Let p be u(-10). Suppose -4*y + 6 + 2 = p. Solve -o + y*o - 5 = 0 for o.
5
Let s = -3 + 19. Let i(u) = -u**3 - u + 7. Let g be i(0). Solve -g*r + s = -3*r for r.
4
Let v be 5*-1*(-1 + -1). Suppose -25 = 4*q - 37. Solve 0 = q*r - r - v for r.
5
Let s be (-30)/(-18) - (-2)/6. Solve 7*i - s*i = 25 for i.
5
Let m = -8 - -4. Let s be (-2)/2*m*1. Let a = s - 1. Solve a*i + 6 = 6*i for i.
2
Let v be 7/28*(-1)/((-2)/24). Solve 0 = -v*x - 1 - 11 for x.
-4
Let l = -6 - -2. Let z be 1/(-4)*5*l. Suppose 0 = -z*q - 0*q. Solve c = -q*c + 4 for c.
4
Suppose 9 = 5*z + b - 11, -5*z + 20 = 3*b. Let s = 2 - 0. Solve s*r = r - z for r.
-4
Suppose 3*l = -17 + 74. Suppose -2*u + 9 = 3*r - 10, 2*r = 5*u - l. Solve r + 1 = -2*x for x.
-2
Suppose -1 = -3*p + 5. Let u = 5 - p. Solve -4*t - u = 17 for t.
-5
Let m(y) = -7*y**2 + 10*y + 1. Let k(d) = -4*d**2 + 5*d + 1. Let v be -1 - (-2 + 6 - 2). Let f(s) = v*m(s) + 5*k(s). Let u be f(5). Solve 3*j + u = -4 for j.
-2
Let x be (-156)/(-8) - 2/4. Suppose -3*y = 2*y - 30. Let k = 10 - y. Solve -k*n = x - 3 for n.
-4
Let w = -29 + 30. Solve -4*n + w = -3 for n.
1
Let d(v) = -8*v + 1. Let j be d(-3). Suppose 0*m - m + j = 0. Solve m = -r + 6*r for r.
5
Let r be (-6)/(-72)*6*(-12)/(-2). Solve r*x = -2*x + 10 for x.
2
Let y be 8/6 + 22/33. Solve y - 4 = -m for m.
2
Let d(a) be the second derivative of a**3/6 + 8*a**2 + a. Let x be d(-11). Solve -3*c = -x*c - 2 for c.
-1
Let v(q) = q + 5. Let p(o) = 3. Let g(m) = 5*p(m) - 3*v(m). Let n be g(1). Let u be (-2 + 2)/(1 + n). Solve u = 2*h + 2*h - 16 for h.
4
Suppose 4*d - 57 = 3. Suppose 4*n - 1 - d = 0. Solve n*c = 2*c - 10 for c.
-5
Let v(y) = -4*y - 4. Let a be v(-4). Let s be (2 - 2) + a/4. Solve -8*o + s*o = 10 for o.
-2
Let n(a) = -a + 2. Let z be n(2). Suppose b - 28 = -24. Let h(y) = -2*y - 2. Let s be h(-3). Solve b = -z*d + s*d for d.
1
Let x(y) = -y**3 + 7*y**2 - 5*y - 6. Let c be x(6). Suppose 5*f - 30 = -c*f. Solve -4*b - 2 = f for b.
-2
Suppose -4*n + 0*l - 3*l + 33 = 0, 5*n = 2*l + 70. Solve 0 = 2*a + a + n for a.
-4
Suppose 5*h = 4*h + 2*f + 4, 0 = -h - 2*f. Solve h*x + 1 = 5 for x.
2
Let d = 0 + 3. Let y = d - 3. Solve g + 2*g - 6 = y for g.
2
Let v(f) = f**3 - 6*f**2 + 5*f. Let q be v(5). Let i(o) = o. Let y(s) = 4*s - 4. Let p(g) = 5*i(g) - y(g). Let h be p(0). Solve 4*m + h + q = 0 for m.
-1
Suppose -2*w + 4*w = d + 1, -2*d - 5 = -5*w. Let a(i) = -i - 2. Let l be a(-4). Solve -15 = l*t + w*t for t.
-3
Suppose y + 0*y - 1 = 0. Let o be (6/7)/(-3) + (-48)/(-21). Solve -o*i + y = -7 for i.
4
Let f(c) = -c**3 + 6*c**2. Let g be f(6). Suppose -2*w + 22 = 4*k, g*k - 19 = -5*w - k. Suppose -2*i = 0, -3*t - 5*i = -2*i. Solve t = o + w - 2 for o.
-1
Suppose -4*v - 4 = n, -2*n = 2*n + 3*v + 3. Solve -2*d + d = n for d.
0
Let t be (-3)/6*11*4. Let m = 37 + t. Let c be 51/m - 2/5. Solve c*q - 3 = 2*q for q.
3
Let u be (-92)/(-20) - (-3)/(-5). Let o = u - 1. Suppose 2*v - 24 - 6 = 0. Solve -o*b + v = -0 for b.
5
Let q = -37 + 49. Suppose 0 = 2*x + 3*x - r - 20, 5*r + 22 = -x. Solve 0 = -c - x*c - q for c.
-3
Let c(v) be the second derivative of -v**5/20 + v**4/3 + v**3/2 - 5*v**2/2 - 6*v. Let w be c(4). Solve 2*k - w*k = 20 for k.
-4
Let g(y) = -y**2. Let o(n) = -6*n**2 - 3*n + 4. Let a(d) = 5*g(d) - o(d). Let r be a(-5). Let k(m) = 2*m - 11. Let t be k(8). Solve -t*j - 21 = -r for j.
-3
Suppose 4*n + n = 230. Suppose -4*o + 2*r + n = 0, 5*r - 30 = -5*o + 5. Suppose 0*g + 17 = 2*g - b, 5*g - b = 44. Solve -4*f = -g*f + o for f.
2
Let o be (-3)/((-2)/(-4)*40/(-60)). Solve -o = -0*i - 3*i for i.
3
Suppose 6 = 2*c - 10. Suppose -3*l = g - 2*g - c, 0 = -5*l + 15. Solve 4*j - g = -17 for j.
-4
Let p(y) = y - 4. Let h be p(8). Solve -3*j + h = -j for j.
2
Let n(x) = -x**2 - 4*x. Let q be n(-3). Let g = -4 - q. Let b be 8/28 + (-19)/g. Solve 0*a = b*a for a.
0
Let p be 1*-2 + (3 - 3) + 2. Solve 4*t + 8 + p = 0 for t.
-2
Let u(a) = a**3 + 9*a**2 + 8*a. Let g be u(-8). Suppose g = -4*w + 4 + 16. Solve 0*t - t = -w for t.
5
Suppose 0 = o - 3*o + 3*a - 9, 4 = -2*o + 2*a. Suppose -h + 0*h + o = 0. Solve -r = -h*r for r.
0
Let q(o) = o**2 - 8*o - 8. Let g(j) = -4*j - 3. Let d be g(-3). Let t be q(d). Solve 2*a = a + t for a.
1
Suppose 5*a + 0*a = 0. Suppose -4*q - r + 10 - 1 = a, 5*r = -15. Suppose 4*n = -p + 15, 15 - 2 = q*n - p. Solve 5 = -t - n*t for t.
-1
Suppose 0 = -2*v - 0*v + 6. Suppose -v*l = l. Solve -o + 5*o = l for o.
0
Let n = 8 - 7. Let w be (n - 1) + (3 - 0). Solve -2*g = -w*g for g.
0
Let u be (2/(-2))/(15/(-45)). Solve -u*t = -0*t for t.
0
Let a be (-4)/18 - 83/(-9). Solve -t - a = 2*t for t.
-3
Let q(u) = u - 4. Let t be q(8). Solve 0 = 