- 15 + 7 = 0 for m.
-2
Suppose 2*s - 3 = -h, -3 = -3*s - h + 3. Solve 2*v + 13 - s = 0 for v.
-5
Suppose 2*b = -5*f - 5, -4*b + 35 = -0*b - 5*f. Suppose -b*n + 3*n = 0. Solve 3*w - 4 + 1 = n for w.
1
Suppose h = 3*h. Suppose 0 = -2*y - h*y. Suppose 1 = 2*n - 9. Solve -d + n*d = y for d.
0
Suppose 6*g - 3*g = -5*t - 20, 4*g - 12 = 3*t. Suppose 10*v = 14*v - 20. Solve -s + v = -g for s.
5
Let q(n) = -8*n**3 + 2*n**2 - 6*n + 3. Let l(t) = 7*t**3 - t**2 + 5*t - 2. Let v(p) = -5*l(p) - 4*q(p). Let g be v(-2). Solve 5*h + g = h for h.
-3
Let g(i) = -i + 8. Let l be g(8). Let u = l + 4. Let n be (-2 - (-6)/u)*-2. Solve h = 4 - n for h.
3
Suppose 5*h = h. Let g = h + 2. Suppose g = p - 0. Solve -p*b = -4*b for b.
0
Suppose 0 = -2*p - 4*f - 6, 0 + 10 = -5*f. Solve n - 1 = p for n.
2
Let g be (-2)/(-6) + (-4)/(48/(-92)). Solve g*l = 4*l for l.
0
Suppose 3*t + 15 = 3*u, -2*t + 3*t + 2 = 0. Solve -u*q = 2*q + 15 for q.
-3
Let y = -3 + 5. Let d = 6 - y. Solve -13 - 7 = d*t for t.
-5
Suppose w - 3*d + 0 - 4 = 0, -d = 0. Let v(f) = -2*f**3 - 4*f**2 - 4*f - 2. Let h be v(-2). Solve -x + h = -w*x for x.
-2
Suppose 2*j - 11 + 7 = 0. Solve 0 = -j*l - l for l.
0
Let m(x) be the second derivative of -x**5/20 - x**4 + x**2/2 + 2*x. Let k be m(-12). Solve 0 = -3*a - 10 + k for a.
-3
Suppose 0 = 5*i - i - 12. Suppose 0 = 4*t - i*t - 5. Solve -t*z - 22 - 3 = 0 for z.
-5
Let c(u) = u**3 + 13*u**2 + 11*u - 12. Suppose 63 - 3 = -5*x. Let o be c(x). Solve -2*v + 4*v + 6 = o for v.
-3
Suppose -2*a = 5*g - 2*g - 14, a - g - 12 = 0. Solve 0 = -0*p - 2*p + a for p.
5
Let q(v) = -v**3 - 6*v**2 - 7*v - 7. Let c be q(-5). Suppose -c*y = -y. Suppose 0*f = -3*f + 9. Solve y*g - f = g for g.
-3
Suppose 2*k - 3 = -k. Let o be (k - 2/4)*10. Suppose -b = -o*b. Solve -a = -b*a for a.
0
Let j(b) = b**3 + 6*b**2 - 6*b + 8. Let u be j(-7). Solve d = 3 - u for d.
2
Let o = 88 - 86. Solve -2*m - o*m - 4 = 0 for m.
-1
Let q = -72 - -92. Suppose -5*w = 7 - 17. Solve 6*d - w*d = q for d.
5
Let q be (-16)/(-10) + (-4)/(-10). Let h be q*(-31)/(-6)*3. Suppose 3*y + s - 18 = 0, 4*y = 3*s - 2*s + h. Solve 1 = -3*o + y for o.
2
Suppose 0 = -4*p + 2 + 6. Let h = p - 1. Let b = -3 - -5. Solve 0 = b*k - k + h for k.
-1
Suppose 4*o = 2*y, -4*y + 2*y + 3*o = 0. Solve y*f + 2*f = 8 for f.
4
Let f = 11 + -8. Let t = f - 0. Solve 2*i - 11 + t = 0 for i.
4
Suppose 5*w - 4*g - 55 = 0, w - 17 = 3*g + 5. Let q = w + -3. Suppose -d + 6*d + 5*j - 10 = 0, 0 = 2*d - 3*j - q. Solve -1 + 3 = d*z for z.
1
Let q be (-5 + 5)/(1/2*-2). Solve q = 5*f - 1 - 4 for f.
1
Let d be 3 + 1 + 17 - -4. Solve -4*h + 5 = d for h.
-5
Suppose 3*i + 3 = 3*h, 2*h = i - 0*i + 6. Let m = 10 - 6. Solve m*d + i = 2*d for d.
-2
Suppose -n = -3*s + 6, 4*n + 9 = -5*s + 36. Suppose 2*f + 6 + 0 = 4*g, 0 = g - 5*f + 3. Solve g = -2*m + n*m for m.
2
Let l(b) be the first derivative of -b**4/24 + 7*b**3/6 - 2*b**2 + 3. Let o(v) be the second derivative of l(v). Let h be o(5). Solve -2*z - 4 = -h for z.
-1
Suppose -3*k + 3 = -6. Let n(u) = k - 3 - 4 + u + 2. Let m be n(6). Solve 4*p = 2*p + m for p.
2
Let h be 3/((-34)/(-18) - 2). Let r be (2/(-3))/(6/h). Solve r*l + 3 = -0 for l.
-1
Let x be (-1)/2*(0 - 0). Suppose 0 = -x*d + 5*d. Solve l + 4 = -d*l for l.
-4
Suppose -2*x + j + 15 + 20 = 0, -x = 3*j - 7. Let d = 18 - x. Solve -l = -d + 7 for l.
-5
Suppose -3*y - i + 3 = 0, 3*i - 6 = i. Solve y = -f - f - 6 for f.
-3
Let u = -10 + 11. Solve -u = t - 0 for t.
-1
Let b(s) = -s + 8. Let v be b(6). Let p(d) = -d + 6. Let u(t) = -3*t. Let m be u(-2). Let r be p(m). Solve r = -v*i - 0 + 6 for i.
3
Let r(y) = -y - 4. Let p be r(-8). Suppose 5 = -5*g - p*h - 5, -g = -4*h - 22. Let x(f) = f + 9. Let m be x(-7). Solve -16 = g*a + m*a for a.
-4
Let m = 76 - 76. Solve -6*b + 3*b + 12 = m for b.
4
Let v be 12/8*(-20)/(-6). Suppose -v*k + 30 = -5*u - 15, -3*k + 4*u + 31 = 0. Solve 5 + 0 = -k*y for y.
-1
Let o = -34 - -100. Let m be (-6)/15 - o/(-15). Solve m = r + r for r.
2
Let d = 2 - 3. Let k be d/6*2*-3. Let t be (12/9)/((-2)/(-6)). Solve -t*n + k = -3 for n.
1
Let d(t) = t**2 - 3*t + 3. Let j be (-1)/(-6) - 34/(-12). Let f be d(j). Suppose f*b = 2*a + a + 3, -4*b = 4*a - 36. Solve 8 = 3*i - a for i.
4
Suppose 0 = -4*b - 20, -4*h - h = 4*b + 20. Solve h = -u + 5 - 0 for u.
5
Let w be ((-6)/(-5))/((-2)/10). Let a = w + 31. Let d = 108 - 105. Solve a = -d*f + 8*f for f.
5
Let u be (10/4)/((-1)/(-2)). Solve 5*s - u = -20 for s.
-3
Suppose -4*k + 20 = 3*a - 0*a, 0 = 4*a - 4*k + 20. Suppose 2*s + 2 - 14 = a. Suppose -3*b - 5*h - 24 = -s*b, -3 = h. Solve 3*i - 2*i = -b for i.
-3
Let h(c) = -c**2 + 6*c + 18. Let k be h(8). Solve 6 = -k*b + 2 for b.
-2
Suppose 0 = -4*q + 23 - 11. Solve s + q*s = 0 for s.
0
Let v(z) = -z**3 + 6*z**2 - 8*z + 2. Let b be v(3). Solve -b*s - 8 - 2 = 0 for s.
-2
Suppose 2 + 7 = 5*b + y, 0 = 3*b - 3*y - 9. Solve -v + 15 = b*v for v.
5
Let v = 14 + -11. Solve z = 6 - v for z.
3
Let n = -5 - -10. Solve 0 = 4*g + 3 + n for g.
-2
Let x = 26 - 13. Solve -2 = 5*w + x for w.
-3
Suppose 0*a - 4*a = 3*a. Solve -3*w - 11 - 4 = a for w.
-5
Let n = 17 + -15. Let k be n*(34/4 + 1). Solve -6 - k = 5*x for x.
-5
Suppose -3*w = 4*n, 0*n = 5*w + 3*n - 11. Solve -w = -5*q + 6 for q.
2
Let d = 50 - 47. Solve -d*s + 5 = -1 for s.
2
Let t be 15/10 + 10/(-4). Let z = t + -1. Let u be ((-12)/(-8))/(z/(-8)). Solve -u*f = -f for f.
0
Suppose 3*z - 4 = w + 9, w + 5 = z. Let c be 6/(-45) - (-47)/15. Let r be (5/3)/(1/c). Solve -h = z*h + r for h.
-1
Let u be (-1 - -1)/(-2*1). Let s = -1 + 3. Suppose -s*q = -4*b + 10, -b - q - 5 = -u. Solve 15 + b = -3*i for i.
-5
Let o(f) = 2*f - 4. Let i be o(3). Solve -5 = -i*m + 3 for m.
4
Suppose 2*o - 2 = -3*w - 10, 4*w = -3*o - 10. Suppose -5*a + 9 = -n, 4*a + 2 = -2*n - o. Suppose 0 = -5*j + 8*z - 3*z + 60, -8 = -4*z. Solve 3*s = -j - a for s.
-5
Suppose 3*l - l + 2*y - 14 = 0, 3*l - 56 = 4*y. Solve -7*h = -l*h - 15 for h.
-3
Suppose 0 = -l - 4*l + 35. Let w(z) = 7*z**2 + 5*z + z**3 + l*z - 6*z. Let a be w(-5). Solve 6*r + a = 2*r for r.
-5
Let t(s) = -s**2 - 12*s - 7. Let c be t(-8). Solve 0 = 4*l + l + c for l.
-5
Let y be 2 - 5 - (0 - 2). Let v be (-4)/y*5/4. Suppose -2*h - 30 = -v*h. Solve h = -q - q for q.
-5
Suppose -3*f - 8 = 7. Let s = -3 - f. Suppose 0 = -0*g + s*g. Solve g = -4*t - t - 10 for t.
-2
Suppose l - 15 - 2 = 3*b, -b = -2*l + 14. Let z = 7 - l. Suppose 3*n = 6, 3*g + 3*n - 28 = -z*n. Solve -a - g + 1 = 0 for a.
-5
Suppose -2*q = -0*q. Let l(d) = -d**2 - 6*d + 10. Let u(m) = m**2 + 7*m - 1. Let g be u(-6). Let y be l(g). Solve y = -3*f - q*f for f.
-1
Let f be (2/(-5))/((-1)/5). Let q = 0 + f. Suppose 0 = -4*p + 5 + 7. Solve q*h - p = -5 for h.
-1
Let v = 21 + -12. Solve 4*z - z = -v for z.
-3
Suppose 0*l - 3*l + 5 = q, 3*l = 2*q - 10. Solve l = 2*b - 4*b + 8 for b.
4
Let b(k) be the second derivative of -k**5/20 + k**4/3 + k. Let l be b(4). Suppose -4*r + r = l. Solve r*z - 2 = z for z.
-2
Let l(j) = j**2 - 3*j + 3. Let m be l(3). Let k = 4 - m. Let f = k - -1. Solve 5*h - 4*h = f for h.
2
Suppose 0 = 4*k + 5*m - 11, 3*k + 0*k - 8 = -4*m. Solve -5*t - k = -t for t.
-1
Let u(a) = -a + 10. Let r be u(12). Let z be (-1 - r)*(4 - 0). Solve j = -z*j + 5 for j.
1
Suppose -2 - 2 = -t. Let u = 1 + 2. Solve u = -j + t*j for j.
1
Let p(b) = -2*b + 12. Let w be p(4). Solve w*d = 2*d + 2 for d.
1
Let l = -4 - -4. Suppose -5*z - 6*a + 70 = -2*a, -z - 3*a + 25 = l. Solve -z = 3*y + 2*y for y.
-2
Let o be (7/(-2))/((-1)/2). Suppose o = 3*u - 2. Let a be (-128)/(-10) - 13/(-65). Solve -u + a = -5*i for i.
-2
Let s be (-1)/2*(0 + 0). Suppose 0 = -2*n - 3*n + 10. Let z be 43/3 - 2/(-3). Solve s = -n*u + 5*u - z for u.
5
Let f = -9 - -15. Solve f*i - i + 5 = 0 for i.
-1
Let w(t) = t**3 + 3*t**2 - 5*t - 4. Let u = -6 + 2. Let k be w(u). Solve -2*l - 7 - 3 = k for l.
-5
Let t be (-8)/(-10)*(-10)/4. Let h be (20/(-3))/(t/6). Suppose 0*s + 2*s = 4. Solve s*c = 7*c - h for c.
4
Let z(x) = x**3 - 7*x**2 + 8*x - 8. Let d be z(6). Suppose d*n - 16 - 24 = 0. Let i = n - 2. Solve -2 = -5*q + i for q.
2
Let m = 3 + 9. Let z = m + -8. Suppose -5*o + 2*c = -21, -c - 16 = -z*o + 2. Solve -o = k - 0 for k.
-5
Suppose 2*q = -3*q + 100. Suppose r = 6*r - q. Let n be 2/4 - 34/(-4). Solve r*c - n = 7 for c.
4
Let l be (2/(-4))/((-4)/8). Sol