 m + -6. Suppose -k = -0*k - g. Solve o + 4*o + k = 0 for o.
-1
Suppose 2*r = 6 + 4. Suppose c - r*c = -64. Suppose 0*w + 3*a = 2*w - 16, 4*a + c = 0. Solve -x - 5 = -w*x for x.
5
Let j(z) = -7*z + 1. Let a(m) = -6*m + 1. Suppose 3*b = -w + 19, -b = -0*b - 3*w - 3. Let t(p) = b*a(p) - 5*j(p). Let h be t(0). Solve -2*n + h = -5 for n.
3
Let v be 0 + -1 - (-2 - 1). Suppose 0*a + v*a = 4. Let r be 5*((-1)/1 + a). Solve r*w = 9 + 11 for w.
4
Let s(a) = a**3 + 4*a**2 - a + 4. Let g be s(-4). Suppose -5*l = 13 + 7. Let h = l + g. Solve 2*t + 6 = h*t for t.
3
Let l = 71 + -51. Solve -l = -4*a - a for a.
4
Let t = -3 + 7. Solve 1 = -5*o - t for o.
-1
Let v be 10 - 8 - 0/(-1). Solve v*g = 4*g - 8 for g.
4
Let q be 0*((-6)/(-2))/(-3). Solve 3*x + 0*x + 9 = q for x.
-3
Let v = 0 - -17. Solve v = 4*u + 1 for u.
4
Let s = 19 - 15. Solve 5*o - 14 = -s for o.
2
Suppose -5*p + 14 + 36 = 0. Solve -5*i - p = -0*i for i.
-2
Suppose -10 = 4*n - 30. Solve -m + 8 = -n*m for m.
-2
Let z be (-1 - 3) + 0 + 9. Suppose 16 = k - 6. Suppose z*r - k = r - 3*l, r + 5*l - 14 = 0. Solve -3*n = -r - 2 for n.
2
Let t(x) = x + 3. Let c be t(-3). Suppose c = 4*u + 2*s + 32, 2*u + 2*u = -3*s - 36. Let h be 54/12*(-8)/u. Solve 0 = 5*p + 21 - h for p.
-3
Suppose 4*n - 3 = 9. Let p be (-1)/n*(-8 - 1). Suppose -4*m + 46 = -34. Solve r = -p*r + m for r.
5
Let j(g) = 2*g**3 - g**2 - 2*g - 1. Let u be j(2). Let h = u - 6. Solve a = h - 0 for a.
1
Let a(z) = -z - 4. Let l be a(4). Let r = 13 + l. Suppose -w = r*p - 21, 0 = -p - 0*w + 5*w - 1. Solve 0*j = j + p for j.
-4
Let m be 5 + 0/(5 + -2). Let h be m/2 - (-3)/6. Let n be -4 + 3 - -1*1. Solve -2*q + h + 5 = n for q.
4
Let k = -1 + 3. Let u = 6 - k. Let s be u/12 + 2/(-6). Solve s = -o - 3*o - 16 for o.
-4
Let s be (-2)/(0 - (3 + -4)). Let f = 6 + s. Suppose 5*q + 21 = 3*k, f*k + q - 1 = 4. Solve -6 = 2*u - k for u.
-2
Let w = 21 + -17. Solve -12 = -w*n + 8 for n.
5
Let o be 9*1 - (3 - 1). Solve 5*w + 3 = -o for w.
-2
Let r be (-15 + 0)*(-14)/(-35). Let u be (2/1)/(r/(-9)). Solve 0 = -3*s - 6 - u for s.
-3
Let j(h) = -h**2 - 7*h. Let g be j(-6). Suppose n - 1 = -3*x, 2*x = -2*x - 2*n - 2. Solve -x*r - g = r for r.
-2
Let i(f) = f**2 - 9*f + 16. Let z(y) = 2*y**2 - 1. Let l be z(2). Let w be i(l). Solve -3 = w*s - 3*s for s.
3
Suppose 2*y = 5*y - 4*l - 31, -5*y + 21 = l. Let k = 32 + -32. Solve y + k = h for h.
5
Let q(z) be the first derivative of 4*z**3/3 - z - 1. Let i be q(-1). Suppose -b + i*s = -2*b, 0 = 4*s + 4. Solve -b*g + 0*g - 6 = 0 for g.
-2
Let r be (-5 + 6)*(-1 - -2). Let k be -7 + 5 + r*4. Suppose -k*q = 2*q - 8. Solve a - q + 0 = 0 for a.
2
Let y(x) = 2*x - 4. Let h be (-1)/(-4) + (-11)/(-4). Let l be y(h). Suppose 4*j - 5 = -i, -2*j + 3*i + i = l. Solve -u - j = -0 for u.
-1
Let a be 37/7 - ((-8)/(-28) + 0). Solve -a*m + m + 12 = 0 for m.
3
Let w = 15 + -10. Suppose 0 = 2*i - 2, -4*v = -4*i - 16 - 8. Solve -13 = w*z + v for z.
-4
Let v(t) = -t**2 + 6*t - 4. Let p(n) = 3*n**2 + 2*n - 1. Let h be p(1). Let y be v(h). Solve y + 5 = 3*k for k.
3
Suppose 4*j = 60 - 0. Suppose 5*m = -0*m + j. Solve -m*n = -7*n for n.
0
Suppose 7 = 3*z - 2. Let u(v) = -v**3 - v**2 + 4*v + 4. Let g be u(-3). Let p(j) = -j**3 + 11*j**2 - 9*j - 7. Let x be p(g). Solve z*o + 3 = -x for o.
-2
Let n = 71 + -140. Let y be n/9*-3 - -3. Solve 0 = -5*d + 1 - y for d.
-5
Let x be 0/(-2)*(-7)/28*2. Solve -3*o + x*o = 0 for o.
0
Let h = 19 + -37. Let s = -13 - h. Solve 2 = -s*k + 7 for k.
1
Suppose c = 4 - 1. Suppose 0 = 4*j - 0*v + 2*v - 20, -15 = -c*j + 2*v. Suppose f = 2*q + q + 21, -q = 2. Solve -2*a - f = -j*a for a.
5
Let z(p) = p**3 - 2*p**2 + 3*p - 9. Let d be z(3). Solve -4*a + d*a = -15 for a.
-3
Let m(c) = c**3 + 9*c**2 - 11*c. Let g be m(-10). Solve -s = -6*s + g for s.
2
Suppose -a + 2 = 4*w + 11, 3 = -w. Solve -a*k = k + 16 for k.
-4
Let w = 13 + -10. Suppose -c - 4 = -w*c. Let q be 5*1 - (1 + -1). Solve 3*x + c = q for x.
1
Let r = 4 - 3. Solve 4*c + r + 7 = 0 for c.
-2
Let l be ((-2)/3)/(6/27). Let o be 4*(-4 - -2 - l). Solve -13 = o*t + 3 for t.
-4
Let a = 6 - 1. Suppose 11 - 1 = 5*q. Let f be 13/4 + q/(-8). Solve f*o = a - 2 for o.
1
Let v(j) = j**3 - 9*j**2 + 6*j + 3. Let y be v(8). Let c = -10 - y. Solve -l + 16 = c*l for l.
4
Suppose -55 - 41 = 4*t. Let h be (6/8)/(1/t). Let s be (1*2)/((-12)/h). Solve s*u + 2 = u for u.
-1
Let w(c) = -4*c**3 + c**2 + 2*c + 1. Let q be w(-1). Suppose -5*i - 55 = -a, -2*i - q*a = -0*i. Let t be (i/(-15))/(1/3). Solve -t*r = r - 9 for r.
3
Let y = 9 - 6. Suppose y*p - 24 = -0*p. Solve 0*i - 4*i - p = 0 for i.
-2
Let l be 2/4*((-8 - -4) + 8). Solve 0 = 2*b - l - 2 for b.
2
Suppose -16 = -4*o - 0. Let q(z) = -3*z**2 + 3*z - 4. Let p(t) = 2*t**2 - 2*t + 2. Let m(x) = 5*p(x) + 3*q(x). Let b be m(4). Solve n + b = -o*n for n.
-2
Let v(o) = -o**3 - 2*o**2 - 2*o - 2. Let n be v(-2). Suppose -3 = -4*j + w, 0 = -n*j + 5*w - w - 16. Suppose y + j*y = 0. Solve s = -y*s + 1 for s.
1
Suppose 2*t - l - 6 = 4, -3*t = -l - 15. Solve 0 = -t*v + v - 12 for v.
-3
Suppose 0*k = -k + 2*v + 6, -3*k = 3*v. Let x be (0*(-2)/(-6))/3. Suppose x = -5*m - 6 + 21. Solve -5*g - k = m for g.
-1
Let g(d) = -2*d - 1. Let v be g(-2). Suppose -4*j + 20 = 4*c - 0*c, -5*c - 15 = -3*j. Suppose j*f - 36 + 6 = 0. Solve 15 = v*q - f*q for q.
-5
Let s be (-6 + 7 + -1)*(-1)/2. Solve s = -5*j - 10 - 10 for j.
-4
Suppose -n + 7 = 4*m, 1 = -m - 3*n - 11. Solve 0 = -2*y + m*y - 3 for y.
3
Suppose 4*d = -2*y + 66, 5*y - 66 = -3*d + 1. Solve -4*a - d - 2 = 0 for a.
-4
Let f(s) = s + 7. Let o be f(8). Solve 0*r = -5*r + o for r.
3
Let r be -106*(-1)/(-4)*-2. Let u = r + -33. Solve -z + u = 3*z for z.
5
Let v = -101 + 106. Solve -5 = 5*w + v for w.
-2
Let o be -4*6/(-8)*1. Solve 7 = -o*v - 8 for v.
-5
Suppose 3*x - 3*f + 0*f - 6 = 0, 3*f + 9 = 4*x. Solve 2*i + x = -i for i.
-1
Let v be ((-10)/30)/((-2)/30). Solve -4*b - 17 = -v for b.
-3
Let g be 2/(-9) - 220/(-99). Solve 7 = -5*d + g for d.
-1
Let u(g) = -g**3 - 7*g**2 - g - 3. Let l be u(-7). Solve -s = s - l for s.
2
Suppose -13 = 4*x - 2*x - 5*n, -3*x + 6 = n. Let a(i) = i**3 + 4*i**2 - 6*i - 5. Let g be a(-5). Let r be x + g - (-4 - -3). Solve r*l = -2*l for l.
0
Suppose 3*c = -0*c. Suppose -2*x - 7*x = 0. Solve x = l - 4 - c for l.
4
Let y be -26 - -30 - (1 - 0). Solve -y*v = -0*v + 9 for v.
-3
Suppose 20 = p + 3*p, -133 = -2*s - 5*p. Let j be s/(-12)*4/(-6). Suppose j*b + 5*h - 10 = 3*h, b - 4*h = -20. Solve 1 = -d - b*d for d.
-1
Let v(m) be the second derivative of m**5/10 + m**4/3 + m**3/2 - 2*m. Let j be v(-2). Let w = 18 + j. Solve -2*o - w = -4 for o.
-4
Let t(y) = -y**3 + 4*y**2 + y - 5. Let p be t(4). Let b = 5 + p. Solve r = b*r - 6 for r.
2
Suppose 0 = 5*a - a - 20. Suppose 0 = k - 2*y - 6, -5*k = a*y - 0*y - 30. Solve k = -2*z - 2 for z.
-4
Suppose 0*w - 3*w + 306 = 0. Suppose 0*l = -3*l + w. Solve 5*n = -l + 9 for n.
-5
Let l be (16/(-56))/(76/28 - 3). Solve -2*a + 3 = -l for a.
2
Suppose 15 = 2*z + z. Let j(o) = -o**3 - 7*o**2 - 6*o + 2. Let t be j(-6). Suppose t*a - a = 8. Solve -z*c = -c - a for c.
2
Suppose 3*k = -0*y + 2*y - 17, -5*y = 2*k - 71. Let b = y - -2. Solve 5*r + 0*r = b for r.
3
Let d(b) = 3*b + b - 2*b - 3*b. Let z be d(-1). Solve -g = 4 + z for g.
-5
Let w = 63 - 55. Solve -x - w = x for x.
-4
Let o(n) = 3*n - 4. Let s be -5*3/(45/(-24)). Suppose -4*z + s*z = 16. Let x be o(z). Solve 7 + x = 5*r for r.
3
Suppose -2 = p - 1. Let i = p + 5. Let m be ((-2)/i)/((-3)/18). Solve 4 = m*r - 11 for r.
5
Let x(v) = -v. Let h be x(0). Suppose 3*r + 6 = 0, 4*n - 5*r + 4 = 22. Solve n*p + p = h for p.
0
Let c be 0 + 0 - 15/5. Let g be c - -4 - (1 + -2). Solve q = g*q + 2 for q.
-2
Suppose 3 + 0 = o. Let t = 21 - 19. Solve 3*q = t*q - o for q.
-3
Suppose t - 3*t + 6 = 0. Suppose -5*p + 4*d = -15, 2*p - 2*d - t = p. Solve p*n + n = 0 for n.
0
Suppose -3 = 8*m - 3*m - 3*a, 3 = 3*a. Solve 4*f - 3*f = m for f.
0
Suppose 0*u + 6*u - 24 = 0. Solve -u = 2*d - 4*d for d.
2
Let p = -3 - -5. Suppose 14 = -p*v + 3*v. Solve 5*j - v + 34 = 0 for j.
-4
Let n be -3*(3 - (-1 - -5)). Suppose s = n*i + 12, -4 = s - 5*i - 24. Solve -4*w + 6 + 2 = s for w.
2
Let u(f) = f - 3. Let h be u(7). Let y = h - 4. Suppose -2*o + 3*o = y. Solve o*v - 9 = -3*v for v.
3
Let m be (-105)/(-33) - (-4)/(-22). So