 0 for m.
-4
Let m = 8 - 13. Suppose 10 + 6 = 2*q. Let u = m + q. Solve -u*r - 9 = -3 for r.
-2
Let g(z) = z**3 + 2*z**2 + 2. Let u be g(-2). Suppose -13 = -4*s + 3*c - 1, -5*s = u*c - 15. Solve o + s = 5 for o.
2
Let z(o) be the second derivative of -o**4/12 - o**3 - 2*o**2 + o. Let w(n) = n**2 - 7*n - 4. Let y be w(7). Let x be z(y). Solve -4 = x*f + 8 for f.
-3
Let u = 0 - 1. Let n(w) = -2*w. Let y be n(u). Let l be ((-8)/12)/(y/(-36)). Solve l = 3*m - 3 for m.
5
Let z = -15 + 20. Solve -z*v + 8 = -7 for v.
3
Let v = 2 - 2. Suppose v + 8 = 4*s. Suppose -s*g = -y - 10, 2*g + 0*y - 18 = 3*y. Solve -a + g = -4*a for a.
-1
Let x = 43 - 34. Solve -2*c - c = -x for c.
3
Suppose -4*w + 7*w = 6. Suppose -y = -w*y. Suppose y = -0*h + 4*h - 12. Solve h*x + 8 = -4 for x.
-4
Let j(w) = w**2 + 3*w + 2. Let c be j(-2). Let t = 11 - 6. Let q = 372 + -372. Solve q*i + 5*i + t = c for i.
-1
Let z(p) = -6*p**3 + p - 1. Let g be z(1). Let k be -5*(-3)/g*-2. Solve -k*r = -2 - 8 for r.
2
Suppose 2*b = 3*q - 29, -q + b = -7 - 4. Let x(d) = -d**3 + 8*d**2 - 6*d - 7. Let t be x(q). Solve 4*r + 12 + 4 = t for r.
-4
Let u be 2/(-1)*(-5)/(-10). Let a(i) = i. Let b be a(6). Let q = b + u. Solve -h = -q*h for h.
0
Let o be -13 - -10 - (-7)/((-7)/(-10)). Solve -o*t = -8*t - 2 for t.
-2
Suppose -2*t + 4 = -0*t. Let r be t/(-2) + (10 - 0). Solve r*z = 4*z for z.
0
Let l = -37 - -40. Solve l*u + u = 8 for u.
2
Suppose -10*i + 11 + 39 = 0. Solve -i*m + 10*m = 20 for m.
4
Suppose 7*f = t + 2*f - 7, 5*t = -3*f + 7. Let b be (-52)/(-20) - t/(-5). Solve -b*n - 6 = -18 for n.
4
Let f(h) be the first derivative of h**4/4 + 8*h**3/3 + h**2/2 + 4*h + 1. Let c be f(-8). Let q be (-6)/8 + (-3)/c. Solve q = -5*d + 16 - 1 for d.
3
Let d(i) = -5*i - 7. Let a be d(-2). Suppose 0 = -a*z - 2*z. Solve z*o = 4*o + 16 for o.
-4
Suppose i + i - 3*l = 46, -2*l = 4. Solve i = -0*a - 4*a for a.
-5
Suppose v = -0*v. Solve -2*n = -v + 4 for n.
-2
Suppose 2*k = 5*k - 12. Let c = -1 + k. Solve c*s + 4 = -s for s.
-1
Suppose 0 = -3*u + 44 + 19. Solve -5*c + 1 - u = 0 for c.
-4
Let r be 0/(-2) + -8 + 8. Let k be 4/(-16) + (-2)/(-8). Suppose k = l - 0*l - 2. Solve r*s - l*s - 8 = 0 for s.
-4
Suppose 4*d - 4*y - 52 = 0, 2*y = -2*d - 2*y + 56. Let i = 2 + -12. Let j be 5/i - d/(-4). Solve -s = j*s for s.
0
Suppose 3*s = -r - 3 - 6, s - 8 = -4*r. Suppose 4*j - 15 - 11 = -r*w, -2*j = -w - 8. Suppose k - 5 = w. Solve 0 = -5*q + 32 - k for q.
5
Suppose -2*l - h = -2*h - 47, 76 = 4*l + 4*h. Suppose -8 = -5*b + l. Suppose f + f = b. Solve f*d = 5*d for d.
0
Suppose -5*j + 8 = -c, c + 3*j = -j + 10. Let f be ((-1)/3 + 1)*9. Suppose 0 = 2*p - f - 16. Solve -3*g - p = -c for g.
-3
Suppose 0 = -3*r - r - 4. Let k = r + 5. Suppose -9 = -k*a + a. Solve -a*w + 8 = -4 for w.
4
Let i be 30/25*(-5)/(-2). Suppose 0 = 2*q + i*q. Suppose -4*k - 4*y + 12 + 8 = q, -5*y - 15 = -5*k. Solve k*z = -0 - 4 for z.
-1
Let d(p) = -p**3 - 5*p**2 + 14*p + 5. Let w be d(-7). Solve 16 + 4 = -w*c for c.
-4
Let l(r) = r**3 + 0*r**3 - 2*r - 3 + 5*r**2 - 3*r**2. Let w be l(-3). Let m be w/(-3) - 3 - -2. Solve -k + 2 - m = 0 for k.
1
Let v = -72 - -74. Solve 0 = v*h + 3*h for h.
0
Let r(u) = -u + 7. Suppose 4*x - 20 = -5*c, 4 = 3*x - 0*x + c. Let w be r(x). Let d be (-2)/(-6) - 24/(-9). Solve -8 - w = -d*y for y.
5
Let z = -5 - -1. Let m = z - -1. Let h = 5 + m. Solve 0 = -h*x + 5 + 1 for x.
3
Let k(c) = c**2 + 3*c + 4. Let g be k(-3). Solve 0 = n - 0*n + g for n.
-4
Let f(z) = -z**3 + 2*z**2 + 5*z - 2. Let r be f(3). Suppose -2*p + r + 0 = 0. Suppose 14 - p = 2*u. Solve 15 = s - u*s for s.
-3
Let j(w) = 26*w - 3. Let a be j(2). Suppose -5*t = 3*i - 49, -5*t = i - a + 16. Solve -6*b - i = -2*b for b.
-2
Let y be 1/1*(3 - 2). Let m be (-20 - 1)*y/(-3). Suppose -2*n + 7 = -17. Solve -3*l - n = -m*l for l.
3
Suppose -j = 3 + 1. Let d be -6*(1 - (-6)/j). Solve -d*m = m for m.
0
Suppose 5*o = -q - 3*q + 36, 0 = 4*q - 4*o. Solve q = -2*h - 0 for h.
-2
Let d = -30 + 43. Suppose -d - 16 = -p + 5*u, 5*p = -4*u. Solve p*x - 2*x = 0 for x.
0
Suppose 5*h = -7 + 17. Solve -h*s + 2 = -0 for s.
1
Let f be 18*5/((-60)/8). Let b be (-2)/(-6) + f/(-18). Solve -b = -z + 4 for z.
5
Let i = -3 - -3. Let f be 2*9/6 + i. Suppose -p + 63 = 3*p - 3*n, f*p - 4*n = 56. Solve 5*j - 2*j = p for j.
4
Let r(c) = -3*c**3 - c - 1. Let x be r(-1). Solve z + x*z = 0 for z.
0
Suppose 2*m + 6 = 0, 2*a - 3*m = -a + 21. Suppose j + 16 = 5*r - r, a*j + 4 = 4*r. Solve j*t = t + 3 for t.
1
Let k be 132/(-20) - 4/10. Let t = -4 - k. Solve 6*g = t*g + 15 for g.
5
Let i be -1 + -5 + -1 + 2. Let n = i - -8. Let w be 0*-1*n/6. Solve w*g + g = -3 for g.
-3
Suppose -429 = -6*d + d + 2*k, -15 = -5*k. Let a be d/12 - 1/4. Suppose 0 = 2*g - a*g. Solve 2*o - 2 + 4 = g for o.
-1
Let c(m) = m**2. Let v be c(2). Suppose 3*i = 7*i + v. Let n = i + 1. Solve n = 6*p - 3*p for p.
0
Suppose -45 = -5*t + 5*q, 7*q - 4*q = -2*t + 28. Solve 5*v + 31 = t for v.
-4
Suppose -12 = -2*j + 2*b, -2*j - 3 = b - 0. Suppose 0 = r - 2 - j. Let l = 3 + -1. Solve -l*v = r*v for v.
0
Let m = 0 - -4. Suppose -v + 20 = m*v. Suppose -16 + v = -3*i - 3*t, 11 = -i + 4*t. Solve 5*w - i - 4 = 0 for w.
1
Suppose 3*x = 6, -4*u - 5*x + 14 + 8 = 0. Let n = 492 + -490. Solve u*w = -n*w + 15 for w.
3
Let h = -15 + 10. Let a = 7 + h. Solve -9 = -s - a*s for s.
3
Let f be ((-16)/(-6))/((-2)/(-6)). Let o be (f/12)/(1/6). Let m be (o/3)/((-6)/(-9)). Solve 2*y + 0 = m for y.
1
Let u be (-9)/15 + (-9)/(-15). Solve w + u = -2 for w.
-2
Let p = 16 - 5. Let z be 7/28 + p/4. Solve z*d = -2*d + 25 for d.
5
Suppose p + 3*p = 16. Solve 0 = p*m - 0*m for m.
0
Suppose 4*c - 4 = -6*o + 3*o, 5*c - 2*o - 28 = 0. Solve 3*g + c = -2 for g.
-2
Suppose -10 - 10 = -4*n. Let b(s) = -3*s - 11. Let c be b(-11). Solve -c = -n*i + 3 for i.
5
Let j(x) = x**3 + 15*x**2 + 14*x. Let f be j(-14). Solve f*g - 2*g = -10 for g.
5
Suppose -3*u + 2*u = -2. Solve u*z - 1 = -3 for z.
-1
Let t = 0 + -1. Let d be (-2 - 0)*t - 0. Suppose -4*p = 3*s - 5*s + 14, 2*p = -s - 1. Solve s*b - 1 = d*b for b.
1
Let g be -14*(-3)/(-18)*-3. Suppose -22 = -q - g. Solve -2*l - l + q = 0 for l.
5
Suppose 2*p = 5*p - 9, 2*l + 43 = 5*p. Let z be (-348)/(-42) + 4/l. Suppose k + 0*k - 5 = 0. Solve k*v + 2 = -z for v.
-2
Suppose j - 16 = -3*j. Solve 8 = j*q - 6*q for q.
-4
Let k(f) = f**2 - 5*f + 8. Let p be k(7). Suppose -5*v + 10 = -4*j, -2*v - 2*j = -0*v - p. Suppose -4*i + i + v = 0. Solve i*d - 4*d = 4 for d.
-2
Suppose -2*b = -3*i - 1, -b - 5 = i + 3*i. Let m = b - -2. Solve -4*x - m = 7 for x.
-2
Let a = 116 - 108. Solve 0 = d + a - 6 for d.
-2
Suppose 0 = 3*k - 0*m + 4*m - 20, 0 = 3*k - 4*m - 52. Suppose 0*w - k = -2*w. Solve 0 = 3*a + w for a.
-2
Let x(o) = o - 12. Let r be x(16). Solve 0*h + 2*h + r = 0 for h.
-2
Let m(w) = -11*w**2 + 0*w**3 + w**3 + 12*w - 2*w**3. Let s be m(-12). Solve s = 4*y + 16 - 4 for y.
-3
Let v = 23 + -19. Solve v - 3 = d for d.
1
Let r = 3 + -3. Suppose 2*l - 5 - 3 = 0. Solve -q + l + 0 = r for q.
4
Suppose -13 + 52 = 5*y + 2*n, 5*n - 31 = -3*y. Solve 27 = 4*h + y for h.
5
Let v be (4/12)/((-3)/(-27)). Solve 1 + v = -a for a.
-4
Let h = 28 + -26. Solve -2*g = h*g - 12 for g.
3
Let g be (-4)/5*15/2. Let d(i) = i**3 + 6*i**2 - i - 4. Let n be d(g). Solve 0*p - n = 2*p for p.
-1
Let h be (-40)/(-10) + 4/1. Solve r = 3*r + h for r.
-4
Let h(x) = -x**2 + x + 4. Let f be h(0). Let t = 1 + f. Solve g + t = -4*g for g.
-1
Let c = 9 + -12. Let d = c + 9. Solve d*n - 2*n + 12 = 0 for n.
-3
Let c = -15 + 28. Let i = 119 + -128. Let j = c + i. Solve -4 = j*y + 4 for y.
-2
Suppose -5*o + 3 - 1 = -r, -10 = 5*r. Suppose o*f + 10 = f. Let m be (-4)/f - 44/(-10). Solve -m + 8 = -2*l for l.
-2
Let c(z) be the third derivative of z**5/60 + z**4/6 - 5*z**3/6 - z**2. Let q be c(-5). Let s be (-22)/(-6) - 2/(-6). Solve q = -5*m + s*m for m.
0
Suppose -p = 4*f - 13 - 2, 5*p = -2*f + 21. Solve -3 = -f*o - 12 for o.
-3
Let z = -7 - -7. Solve 4*h - 2*h - 6 = z for h.
3
Let z(g) = -3*g**2 - 35*g - 24. Let s(c) = -c**2 - 12*c - 8. Let l(d) = -11*s(d) + 4*z(d). Let w be l(-6). Solve 25 = a + w*a for a.
5
Suppose m = -4*m - 5*b, 0 = -3*b + 12. Let z be ((-2)/m)/(1/(-4)). Let w be 4/2 - (-6 - z). Solve -f + w*f - 10 = 0 for f.
2
Suppose -12*n = -17*n + 25. Solve -2*l + n = 3*l for l.