z + 5 = u for z.
3
Let i = 81 + -71. Solve 3*o - i = -1 for o.
3
Suppose 0*m + 6 = m. Let y(z) = z - 5. Let x be y(m). Let n = -151 + 154. Solve -j = n + x for j.
-4
Suppose 0*x + 2*x + 4 = 0. Let p be x/7 - 74/(-14). Solve p*k = 7 + 13 for k.
4
Let p(z) = z**2 + 5*z. Let x be p(-5). Solve x*b = 4*b for b.
0
Let a be 5 - ((-6)/(-2))/(-3). Suppose -2*i = -a - 4. Suppose -q + t = 1, i*q + 3*t + 11 - 38 = 0. Solve 2*d = -7 - q for d.
-5
Let w = -22 + 28. Solve -w + 15 = 3*l for l.
3
Let g = -192 - -195. Solve -g*k - k = -16 for k.
4
Suppose 1 = 2*x - 3. Solve 0*u = -u - x for u.
-2
Suppose -5*x + 13 = 3. Suppose 0 = x*t + 4*d, 0*t + 2*t = 3*d. Solve -2*f = -2 - t for f.
1
Let f = 40 + -23. Suppose 5*z + 2 = f. Let n be 0/(2 + -1 + -3). Solve n = w - 4*w - z for w.
-1
Let r = 174 - 174. Solve 2*t = -r + 8 for t.
4
Let g be 33*(-1)/(-12) + (-5)/(-20). Solve -g*p = -6 - 6 for p.
4
Let b be 2/(-6) - (-30)/9. Solve b*r - 4 = r for r.
2
Suppose -12 = -0*p - 3*p. Solve 0 = -0*q - q + p for q.
4
Let r(c) = c + 4. Let t be r(3). Suppose 53 = 4*o - t. Let n = o - 0. Solve -3*k + n = -0*k for k.
5
Suppose 2*v = p - 3, -p - 6*v + 3*v + 8 = 0. Solve -p = d - 6*d for d.
1
Let z be 2/3 + (-4)/(-12). Suppose -4*l = 4*v + 4, 2*l + 5*v + 11 = -0*l. Suppose -3*k = l*k. Solve -u + k = z for u.
-1
Let v = 4 - -1. Suppose -5*q = v - 25. Solve -6*g - q = -2*g for g.
-1
Let a(d) = 5*d - 4. Let k be a(5). Suppose 3*r = -5*n + 25, -r + 2*n = 4*r - k. Solve r*g = 8 - 33 for g.
-5
Let d = 2 - -2. Solve 5*x - x = -d for x.
-1
Let o(u) = u + 8. Let k be o(-8). Suppose -5*g = -k*g - 15. Solve 0 + 3 = g*y for y.
1
Suppose -3*p = -7*p + 8. Suppose -p*c = c - 18. Let k = -5 + c. Solve -k = x - 2 for x.
1
Let y(h) = -h**3 + 5*h**2 + 8*h - 4. Let v be y(6). Solve -v*o + 10 = -3*o for o.
2
Suppose 2*x - 4 = -0. Let j = -17 - -42. Suppose 0 = -4*p + x*z + 20, 5*p - 5*z = -2*z + j. Solve p - 3 = -2*c for c.
-1
Let w(o) = 2*o + 32. Let b be w(-16). Solve 0*v + 5*v = b for v.
0
Let v(g) = g**2 - 8*g - 5 + 2*g + 9. Let l be v(6). Solve c + 10 = -l*c for c.
-2
Let a(o) = -o**3 - 6*o**2 + 6*o + 2. Let k be a(-7). Suppose 5*z - 8*z + k = 0. Solve 4*d + 1 = -z for d.
-1
Suppose 0 = l + 3*l - 28. Solve l*c - 3*c = 20 for c.
5
Let o(n) = 2*n**3 - n**2 - 3*n - 1. Let c be o(-2). Let z = c - -19. Solve -4 = -z*p + 5*p for p.
-4
Let o = 10 - 10. Suppose r - 7 = -4*g - 0*r, 16 = g + 5*r. Let l = o + g. Solve l = w + 2 for w.
-1
Let w(s) = s**2 - 9*s + 4. Let g be w(9). Solve -3*x = -g*x for x.
0
Suppose -b + 5*b = 0. Suppose 0*z - 16 = -5*z + 2*c, -4*z - 4*c + 24 = b. Solve -5 = -z*x + 3*x for x.
5
Suppose -u - u + 4*w + 4 = 0, -23 = -5*u - 3*w. Suppose -5*p + 2*t = -21, 3*t = -2*p + u - 7. Solve 0 = p*f - 8 - 4 for f.
4
Let o be ((-150)/(-20))/((-6)/(-20)). Solve 3*p = 8*p + o for p.
-5
Let g be 2 + (6 - 4) + -4. Solve -x + 1 + g = 0 for x.
1
Let a be (-166)/18 - 2/(-9). Let y be (-1 - a) + (-1 - -2). Let u = y + -9. Solve u*w = w for w.
0
Suppose 0 = 5*s + 16 + 29. Let y = 13 + s. Let z(l) = l**2 - 5*l - 6. Let a be z(6). Solve a = 4*i - 5*i - y for i.
-4
Let h(o) = -2*o. Let q be h(-6). Suppose 3*r - 4*r + 27 = 0. Let u be (-36)/r*(0 - 3). Solve f = u*f + q for f.
-4
Let z = 0 + 2. Let j be 0*((-1)/(-2))/(-10 + 9). Solve j = -z*u - 2*u for u.
0
Let t = -2 + 4. Let v = t - -31. Let h = -18 + v. Solve h = z + 2*z for z.
5
Let x(p) = p**3 - 4*p + 3. Let s be x(2). Solve 0 = -y - s + 8 for y.
5
Let m(t) = -3*t - 1. Let x be m(-3). Let g = -2 - -6. Suppose -g*s = -3*q - 6, 4*s + 5*q + 13 = 35. Solve -x = -s*l + l for l.
4
Let k = -14 + 14. Solve -h + k = 1 for h.
-1
Let q(i) = 5*i**3 - 9*i**2 - 7*i - 1. Let d(h) = -3*h**3 + 4*h**2 + 3*h + 1. Let p(l) = 7*d(l) + 4*q(l). Let n be p(-7). Solve 5 = -n*y + 2*y for y.
-5
Let q(z) = -2*z**2 + 5*z + 5. Let h be q(5). Let w = -46 + 74. Let p = w + h. Solve -p = -0*n - 4*n for n.
2
Let q = 176 - 96. Suppose 4*c + 5*l = q, 0 = -2*l + l - 4. Solve c = -4*y - y for y.
-5
Suppose -6*l + 15 = -l. Suppose z - 5*z - 16 = 0. Let o be 0 + (-4)/8*z. Solve l*c + o = 14 for c.
4
Suppose v - 19 = -2*n - 0*n, 3*n + v - 26 = 0. Solve n*h = 2*h for h.
0
Let s be (-16)/32 + (-1 + -1)/(-4). Solve 5*m - 15 = -s*m for m.
3
Let q(w) = -5*w - 2. Let h be q(-2). Let f = 12 - h. Let m = 8 + -5. Solve -f*t + 3 = -m*t for t.
3
Suppose -42*p + 43*p = 2. Solve 2 + 4 = -p*h for h.
-3
Suppose -2*n + 1 = 31. Suppose -5*d - 115 = -10*d. Let y = d + n. Solve 3*f = -f + y for f.
2
Let p = -4 - 2. Let z be p/(-12) + (-42)/4. Let s = z - -17. Solve -s = -3*w - 1 for w.
2
Let p = 0 - 0. Suppose 0 = o - 2 - p. Let m be (-10)/(-35) + (-40)/(-7). Solve 0 = o*a + a + m for a.
-2
Suppose 3*i - 9 = -0. Suppose 2*n - i + 1 = 0. Solve -k - 4 = n for k.
-5
Suppose 3*b + 2*l = 2, 2*l - 14 = -2*b + 5*b. Let p be 1/1 + b/(-2). Let g be 0 + (2 - 2) + p. Solve 0 = -5*a - g - 13 for a.
-3
Suppose -3*c + 3*r = -12, 2*c + 2*r - 16 + 4 = 0. Let w be (-1)/(-4) - (-11)/4. Solve 4*n + c + w = 0 for n.
-2
Let x(p) = 4*p - 1. Let j(r) = -11*r + 3. Let w(m) = -6*j(m) - 17*x(m). Let t be w(-2). Solve t*o + 3 = -6 for o.
-3
Let i be 4/(-10) - (-48)/20. Suppose 4*x - 5 = 3*l - 11, -i*x + 10 = 5*l. Solve -l*w = -w for w.
0
Let o be (3/(-2))/(3/8). Let j(l) = -6*l - 3. Let f be j(o). Solve f = -5*i + 6 for i.
-3
Let s(n) = -n - 2. Let r be s(-4). Let w(z) = -z**2 + z + 2. Let i be w(0). Solve i = r*b + 4 for b.
-1
Suppose 0 = 5*n - 10 - 10. Let u(r) = r**3 - 9*r**2 + 8*r + 3. Let w be u(8). Solve 0 = k + n - w for k.
-1
Let i be 15/(-2)*4/(-6). Let p(n) = n**2 + 12*n + 7. Let u be p(-12). Solve -i*c - u - 8 = 0 for c.
-3
Let w(f) = -f + 5. Suppose 4*t + t = 0. Let s be w(t). Solve c + 0*c - s = 0 for c.
5
Suppose -z = -p + 3*p - 10, 4*z + 3*p - 25 = 0. Suppose -14 = -4*u - w, u = -4*u + z*w + 28. Let g be 4/14 - u/14. Solve 4 = -m - g*m for m.
-4
Suppose v = -1, -4*u + 5*v - 7 = 4*v. Let f be u/(-2) - 3/3. Let n(x) = -x**3 - x**2. Let j be n(f). Solve j = 2*s - 4*s for s.
0
Let q(l) = -l**2 + 5*l - 6. Let m be q(3). Solve -2*y - 3*y + 15 = m for y.
3
Suppose -2*r - 2*r - 2*s = -16, 0 = 2*r + 5*s. Solve 2*a = r*a + 6 for a.
-2
Let b = 9 - 3. Let u be (-2)/(-4) + 45/b. Let n be (2 - (0 + 2))/(-1). Solve n = -0*a + 2*a + u for a.
-4
Suppose 0 = -4*g + 40 + 8. Solve 3*z = -z + g for z.
3
Suppose -5*c = -5*m + 30, -m - c + 4 = -3*c. Suppose 4*i - m = -0*i. Let f(h) = h + 13. Let x be f(0). Solve -i = 5*k + x for k.
-3
Let o be (0 + 32/6)*6. Let i = -12 + o. Solve -3*w - w + i = 0 for w.
5
Suppose -2*r = 2, -r = 2*y - 6*r - 9. Suppose -y = b + 2*x, 3*b = 5*b + x - 2. Suppose b + 2 = 2*s. Solve 7*k = s*k - 20 for k.
-4
Suppose 2*h - 3*a = 8, -2*h - h + 5*a = -13. Solve d = 2 - h for d.
1
Let t be 8*(-1)/2 + 9. Solve z - t*z = 0 for z.
0
Let i(s) = -s**3 - s. Let x be i(1). Let d be (x/(-4))/(2/8). Suppose 4*v = 2*a + 18, d*a = -0*a - 6. Solve -8 = -5*p - v for p.
1
Let t = -5 + 5. Suppose t = -3*b + 51 - 6. Solve b = -0*n + 3*n for n.
5
Let f = 4 + -4. Suppose -16 = -4*b, f = -i - 4*b + 19 + 7. Suppose -t - 4*t + 50 = 5*r, -5*r + 4*t = -5. Solve -r*n + 0*n = i for n.
-2
Let v be (-50)/(-15) + (-4)/(-6). Let r be ((-1)/2)/((-1)/v). Suppose -o = 5*j - 10, 0*j - r = -j - 5*o. Solve -j + 7 = 5*y for y.
1
Suppose -5*x + 3 = -7. Solve 2*c = -x*c + 4 for c.
1
Let a(z) = -z - 1. Let c be a(-3). Let t be 3 + -1*2 + c. Let u(o) = -o**2 - 10*o + 2. Let h be u(-10). Solve -t*w = h*w for w.
0
Let m = 167 - 161. Solve 0 = -5*r + 2*r - m for r.
-2
Suppose 2*h = 4 + 2. Let k be (-2 - 1) + (h - -2). Solve 0 = -k*z - 7 + 1 for z.
-3
Let v(f) = -f**2 + 6*f - 6. Let l be v(4). Let x = l + -2. Solve -3*r - 6 = -x*r for r.
-2
Suppose 6*t - 8 = 16. Solve t*z - 10 = 6*z for z.
-5
Let v = -31 + 34. Solve 0 = 2*l - v*l - 2 for l.
-2
Let j be (3/9)/((-2)/(-102)). Suppose -3*x + 13 + j = 0. Solve 0 = y + y - x for y.
5
Suppose 2 = 4*f + 2*o + 4, -2*f - 4*o - 4 = 0. Solve 10 = 2*s - f for s.
5
Let f(m) = -m**2 + 2. Let s be f(-3). Suppose 6*p - 12 = 5*p. Let l = p + s. Solve -l*h + 9 - 29 = 0 for h.
-4
Let x = 7 - 6. Let n be -2 - (3 - 1 - 4). Solve n = -4*h - x - 11 for h.
-3
Suppose 22 = y + 10*y. Let u be (-9)/(-2) + (-1)/2. Solve y*d + 0*d = -u for d.
-2
Let z = 4 + -8. Let u(i) = 6 + 2*i - 11 - i**2 + 0*i**2 + 2*i**2. Let l be u(z). Solve -t - 4 = -