 = -m + 16 for m.
4
Let q be (6/9)/(10/45). Suppose q*p - p = 0. Solve p = -0*f - f + 2 for f.
2
Let c = 59 + -58. Solve 0 = -y - c for y.
-1
Suppose -2*d = 2*d - 12. Suppose 2*g = d*z - 25, 5*z - 2*g = -7*g. Let s(o) = o - 3. Let y be s(z). Solve -8 = -4*x + y*x for x.
4
Let v = 10 - 7. Let n be 1/(v/(7 - 4)). Solve 2 + n = r for r.
3
Let t(h) = -h - 7. Suppose -5*p - 4*g = 25, -3*g + 7*g - 20 = 0. Let f be t(p). Let n = f - 1. Solve 2*q = -n + 5 for q.
2
Let q = -42 - -54. Solve 0 = 3*z - q - 3 for z.
5
Suppose -21 = -2*x + 12*i - 7*i, 4*i + 3 = -3*x. Suppose -3 = 3*d - 9. Solve -x*j + d*j = 0 for j.
0
Let v(n) = n**3 - 6*n**2 - 8*n + 9. Let g be v(7). Suppose -g*j = 3*a - 7*a - 26, 15 = j - 4*a. Solve -4*q - j = 9 for q.
-5
Let t(n) = -n + 7. Let x be -4*3/(-6) + 8. Let k be t(x). Let r = 5 + k. Solve b = 2 + r for b.
4
Suppose 4*j - 2*k = -5*k + 9, 2*j - 4*k - 10 = 0. Suppose -2*p = -j*p + 18. Solve 0 = 4*b - 6 + p for b.
-3
Suppose 8 = -3*l + 20, 0 = 4*t - 4*l + 16. Solve -k = -t*k for k.
0
Let j be 8 - -2*(-3)/(-6). Suppose 2*a - 9 = j. Let l be (-26)/(-6) + 6/a. Solve 0 = l*h - 2 - 8 for h.
2
Suppose 2*w - 13 = -3. Suppose w*z + 16 = -2*d - 0*z, 2 = -3*d - 2*z. Let t be d + -3 - -1 - 0. Solve t = -0*u - u - 2 for u.
-2
Let a be 3*(-4)/4*-2. Solve 4*x = -2 - a for x.
-2
Suppose 13 + 7 = 5*p. Let k(h) = h**3 - 2*h**2 - 4*h + 4. Let b be k(p). Solve -b = m + 3*m for m.
-5
Let j(o) = 3*o + 18. Let b be j(-6). Solve -5*p + b = -10 for p.
2
Suppose -c + 3*g + 29 = -2*g, 3 = 2*c + g. Solve 0*s = -c*s - 8 for s.
-2
Suppose 0 = -2*y + 2*v + 14, 3*y - 24 = -y + 3*v. Suppose -11 = -y*f + 1. Solve q + 20 = -f*q for q.
-4
Let f(w) = -w + 5. Let b be f(5). Suppose -2*x + 0*h - 3*h - 17 = 0, b = 4*x - 2*h - 6. Let y = x - -8. Solve 3 - y = m for m.
-4
Let u(g) = -g + 11. Let n be u(8). Solve -n*v + 15 = 2*v for v.
3
Let z(j) = j**3 + 2*j - 4*j + 3*j + 4*j**2 + 3. Let p be z(-4). Let g be (0*(p + 2))/1. Solve g = -0*i + i + 1 for i.
-1
Let c be 45*(3/(-3) + 2). Suppose 0 = 2*h + h + c. Let n be 0*(h/6 + 3). Solve n*x + x + 4 = 0 for x.
-4
Let u(r) = 2*r**3 + r**2 + r - 1. Let z be u(1). Suppose 3*f = -4*y - 1 - 3, -3*y - 2*f - 2 = 0. Solve 2*c - z*c = -y for c.
2
Suppose 5*f - 5*u + 31 = -u, 0 = -2*f - 5*u - 19. Let w(m) = m + 11. Let d be w(f). Solve -r + d = 3*r for r.
1
Let n be (-2)/((-1)/((-4)/(-16)))*2. Solve -n = 6*v - 5*v for v.
-1
Let w = 29 + -34. Let z = -21 - -12. Let o = w - z. Solve -4 + 0 = -o*b for b.
1
Suppose -20 = -26*m + 21*m. Solve 0*x - 20 = -m*x for x.
5
Let h(a) = -a**3 + 4*a**2 + 5*a + 2. Let o be h(5). Solve -4*j - 2 = o for j.
-1
Let r = 0 - -25. Suppose -4*b - 3*a - 14 = 0, -3*a + 18 = -5*b - 13. Let z be (-25)/(-3) - b/(-15). Solve r = 3*l - z*l for l.
-5
Suppose w = 2*w - 6. Suppose 0 = -7*k + 4*k + w. Suppose -x = -k*s - 5, 5*s + 2*x - 7 - 3 = 0. Solve s = y + y - 4 for y.
2
Suppose 3*p - p = 4. Suppose 5*w - p = 8. Let h = -9 - -14. Solve -15 = -h*o + w*o for o.
5
Suppose 3*r - 6*r - 36 = 0. Let g = -6 - r. Solve g*t = 3*t + 15 for t.
5
Suppose 2*c + c = 0. Let i be (3 + (c - 2))*5. Let f(r) = r**3 - 4*r**2 - 5*r + 2. Let g be f(i). Solve 0*k - 10 = g*k for k.
-5
Let h be ((-2)/6)/(3/(-27)). Let u = h - 2. Solve 2*p - u - 1 = 0 for p.
1
Let o(i) = -i - 6. Let t be o(-9). Suppose -t*p = -2*p. Solve 5*k - 6 - 9 = p for k.
3
Suppose -9 = g + 3*b, -g + 2*b = 3*b + 1. Solve 7*q - g*q - 20 = 0 for q.
5
Let n = 3 + -3. Suppose 15 = 4*s - 5*a, -9 = 5*s - n*s + 3*a. Suppose 2*r - 3*t = 1 + 17, s = -2*r + t + 10. Solve -r*v = v for v.
0
Let c be -1 + 5 + (2 - 2). Solve q - c = 2*q for q.
-4
Let n(x) = -2*x + 1. Let m be n(-4). Solve 0 = -m*j + 4*j for j.
0
Suppose -3*i + 0*i - 6 = -2*c, 3*c - 2*i - 9 = 0. Solve 1 = -2*o + c for o.
1
Suppose 0 = 3*x + 2*x - 20. Suppose x*i - 5 = 5*q, -2 = -i + 2*q - q. Solve -i*o + 0*o = 5 for o.
-1
Let o be 3/(-6) + -2*(-2)/8. Solve o = -0*d - 2*d - 6 for d.
-3
Suppose -1 = -4*h + 11. Suppose -4*j - 16 = -8*j - h*s, -2*j = -4*s - 8. Solve 8*c = j*c - 8 for c.
-2
Let h(k) = k**3 - 6*k**2 + 8. Let s be h(6). Let u(b) = b**2 - 8*b + 2. Let d be u(s). Solve -4*w = -2*w - d for w.
1
Suppose 20 = 4*l + l. Solve -2*z = -z - l for z.
4
Let z be 1 - (-24)/15*45/18. Solve -z = v + 4*v for v.
-1
Suppose w - 2*p - 16 = 2*p, -p = 4*w - 13. Suppose 2*x - w*l - 30 = 0, -6*x - 5*l = -4*x + 15. Solve 30 = -x*v + 10 for v.
-4
Let y = -27 - -31. Solve y*u = u - 15 for u.
-5
Suppose 0 = 2*p - 4*p. Solve -k + 3 + 1 = p for k.
4
Let u = 99 + -89. Solve -7*j + 2*j - u = 0 for j.
-2
Let u = 0 + 2. Suppose u*k + 2*k = 4. Solve 2*d - 1 = k for d.
1
Suppose 2*t + 6 = 5*t. Let i(d) = 3*d**2 + 2 + 4 - 2*d**t - 9*d. Let n be i(9). Solve 3*g = g - n for g.
-3
Let b = 5 + -2. Suppose 0 = 3*x - b*d - 24, -3*x + 12 = -2*x - 3*d. Solve 2*c = x*c + 4 for c.
-1
Let c = 2 + -1. Let r = 6 - c. Solve r*m + 5 = -15 for m.
-4
Suppose 3*w = 2*a - 6, 0 = -a - 5*w + 6 - 3. Let k = a - 1. Suppose k*f = 2*x - 4, -x - 2*f = f + 6. Solve x = 4*l - 3 - 5 for l.
2
Let x(m) = -m + 3. Let g be x(-2). Solve g*a = a for a.
0
Let p = 8 - 6. Suppose 60 = 3*l - 5*r, p*r - 4*r + 40 = 2*l. Let a be 5/l + 22/8. Solve -2 = a*t + 1 for t.
-1
Let x = -4 - 0. Let u be x*(-2 - 0)/4. Let b = 3 + -2. Solve -u = -p + b for p.
3
Let s = 20 + -15. Solve -12 = s*t - 2*t for t.
-4
Let b be (2/9)/((55/(-45))/(-11)). Solve b*v = -0 - 4 for v.
-2
Let x(w) = w**3 - 5*w**2 - w + 6. Let j(p) = p**2 + 5 - 7*p**2 + 0*p**2 - p**3. Let b be j(-6). Let o be x(b). Solve -n + o = -0*n for n.
1
Let q(h) = h**2 + 4*h + 4. Let o be q(-3). Let w(m) = 4*m**2 - m. Let d be w(o). Suppose 0 = -3*p - 5*k + 27, -3*k + k = -d*p + 6. Solve z = -0 - p for z.
-4
Let c(d) = -d - 13. Let z be c(-13). Solve z = -2*y - 6 - 4 for y.
-5
Let s be (0 + (0 - 1))*-2*1. Solve -2*i + 4 = -s for i.
3
Let t(d) be the first derivative of -7/2*d**2 - 1 - 6*d - 1/3*d**3. Let a be t(-6). Solve a = -f + 3*f + 10 for f.
-5
Let k(s) = -s**2 + 2*s + 3. Let r be k(3). Let f = 3 - r. Solve f*p = -p + 20 for p.
5
Let s be 9 + 9/((-18)/8). Solve -s*l + 10 = -10*l for l.
-2
Let d(z) = -4*z. Let o be d(0). Solve o*h = -3*h for h.
0
Let b be 22/6 - 2*3/(-18). Solve 0*g + b = g for g.
4
Let d(p) = -p**2 - 1. Let k(s) = -5*s**2 + 2*s - 3. Let i(b) = 2*d(b) - k(b). Let y be i(1). Suppose y*m = 6*m. Solve 3*f - 5 - 7 = m for f.
4
Suppose 5*d - 2*m = 47, 4*m = 2*m + 8. Suppose 3*y + 13 = 4*o + 2*y, 0 = -3*o + 5*y + 14. Suppose -3*u = r - o, 0*u + 2*u = -5*r - d. Solve 5 = u*z - 3 for z.
4
Let h = 25 + -21. Solve -h*o + 2 = -2*o for o.
1
Let t be 3*-3*12/(-9). Suppose 0*m + t = 2*m. Solve -12 = 2*l - m*l for l.
3
Let p(t) = 8*t**2 - 2*t - 2. Let b be p(2). Let r = -72 + 77. Solve 0 = r*f + b - 6 for f.
-4
Let i(r) = -84*r - 6. Let u(d) = -17*d - 1. Let c(p) = -2*i(p) + 11*u(p). Let g be c(-1). Solve 0 = -4*w + g - 8 for w.
3
Let r(z) = -5*z**2 + 7*z - 3. Let k(y) = 6*y**2 - 7*y + 4. Let w be 30/(-4) - 3/(-2). Let v(b) = w*k(b) - 7*r(b). Let q be v(-6). Solve 0 = -p + q for p.
3
Let n = -34 - -36. Let m = 2 - 2. Solve m = b + n*b for b.
0
Suppose -10*i + 6*i = -20. Solve 3*m - 7 = i for m.
4
Let y(j) = -2*j - 8. Let p be y(-7). Let m(h) = h - 1. Let i be m(p). Solve 4*q - i = -q for q.
1
Let i(w) = -w**2 - 2*w + 3. Let x(z) = -z**2 - 3*z - 4. Let n be x(-3). Let b = 1 + n. Let m be i(b). Solve -5*y - 7 - 3 = m for y.
-2
Let v(g) = g**2 + 9*g + 14. Let n be v(-8). Solve 3*s + n = 5*s for s.
3
Let s = 7 - 7. Suppose r + 4*d + 4 = -0*d, s = -2*r + 5*d + 18. Solve r*w - 17 - 3 = 0 for w.
5
Suppose -8 + 3 = z, 0 = 4*l - 4*z - 28. Suppose -6*m + l*m = 0. Solve -u + 0 + 1 = m for u.
1
Let m = 16 - 12. Suppose 71 = 4*j + 11. Solve -j = m*z + z for z.
-3
Suppose 3*j - 5*j + 10 = 0. Let l(f) = -6*f**2 - 4*f**3 - f + 5*f**3 + 7 + 5*f. Let s be l(j). Solve -5 = s*d - 1 for d.
-2
Let p = 27 - 15. Let g(y) = -2*y**2 - y. Let l(r) = -r**2 + 1. Let f(j) = -g(j) + l(j). Let n be f(-2). Solve a + p = -n*a for a.
-3
Let i = 5 + -2. Let d(b) = 2*b + 6 + 2*b**2 - i - 5. Let u be d(-2). Solve -u*y = 1 + 5 for y.
-3
Suppose 0 = -5*h - 0 - 5. Let t = h - -5. Suppose -w + 4*w + 4*j + 4 = 0, -3 = -4*w + 3*j. Solve 2*o = -w - t for o.
-2
Suppose 4*m - 3*x + 16 = x, 5*x = -5*m + 20. Let k be m - 1 - (-3 - 18). Solve 2*t + 3*t = -k for t.
-4
Suppose 3*b 