e i*s - h = s for s.
3
Suppose -30 + 10 = -5*n. Let s = 57 - 32. Solve n*u + u = s for u.
5
Let l(t) = -t + 14. Let s be l(12). Solve s*n = 6*n for n.
0
Suppose 5*y + 24 = 3*j, 0 = -4*y + y - 3*j - 24. Let v be 84/15 + y/(-15). Solve 2*i = -i + v for i.
2
Let z be 48/20*(-40)/(-6). Solve 6*x = 2*x - z for x.
-4
Let p(v) = -v**3 + 7*v**2 + 8*v + 2. Let k be p(8). Let m be 1/k + (-7)/14. Let q(z) = 4*z + 1. Let b be q(1). Solve b*y = -m*y - 15 for y.
-3
Let y be 2*(-22)/(-4)*1. Suppose 1 = w + 3*p - y, -2*w - p + 19 = 0. Solve -w - 6 = -5*g for g.
3
Let t = -2 - -4. Solve -t*n - 3*n = 0 for n.
0
Let r(x) = x**2 - x - 18. Suppose 8*p = 3*p. Let t be r(p). Let g be (-4)/18 - 166/t. Solve g = -3*s - 0 for s.
-3
Let v = -55 - -79. Suppose -p - p = -2*d + v, -3*d = 4*p - 50. Let j be 7/d - (-10)/4. Solve -5 + j = c for c.
-2
Suppose 2*u + 0*u - 4 = 0. Let b(i) = i**2 + 2*i - 3. Let t be b(-3). Solve -q - u + 1 = t for q.
-1
Let b(d) = d**2 + 4*d + 4. Let p(j) = -2*j**2 - 2*j. Let q be p(-2). Let g be b(q). Suppose -4*u = -g - 4. Solve -i = u*i + 12 for i.
-4
Let u = -5 + 9. Solve 2*t = -0*t + u for t.
2
Suppose 3*j + 7*z = 4*z - 9, 5*j - 15 = 5*z. Let s = 20 - 18. Solve j = b - 0 + s for b.
-2
Let o(z) = -2*z**2 - 11*z + 5. Let y be o(-5). Suppose -10 = 4*m + 5*h - 0, -y = -m + 5*h. Solve m = 5*a - 5 for a.
1
Let p(k) = k**3 - 6*k**2 - 5*k - 10. Let r be p(7). Suppose 0 = -r*u + 3*u. Solve -s + 3 = -u for s.
3
Suppose -z = 2 - 7. Let d(n) = n**3 - 5*n**2. Let y be d(z). Solve -6 = -y*o + 2*o for o.
-3
Let w = -6 + 5. Let p be 1 + (1 + -1 - w). Suppose c - 5 = -2*r, 4*r - 20 = p*r + 4*c. Solve r = 4*o - 0 for o.
1
Suppose 2 = -4*x + 14. Suppose x*b + 2*b - 10 = 0. Suppose -1 = -b*q + 3. Solve 5*l - q*l = -9 for l.
-3
Suppose -2*j - 9 = 2*b + b, -4*j + 5*b + 37 = 0. Suppose t = 6 - j. Suppose -2*k = t*k. Solve -m + 4*m + 15 = k for m.
-5
Let w = 191 + -185. Solve w = 5*u - 9 for u.
3
Let d = -84 - -88. Solve -3*b + 2*b = -d for b.
4
Let d(k) = k - 5. Let b be d(10). Suppose -3*z = -2*z - 7. Let h = b + z. Solve -3*r + 0 = h for r.
-4
Let l = -24 + 29. Solve y + 20 = l*y for y.
5
Let q = -18 - -45. Suppose -2*c = -z + 3*c + q, -4*z + 2*c = -18. Solve -z*i = 3*i + 5 for i.
-1
Suppose -k - 4*u = -3*u - 1, 2*u - 11 = -5*k. Let l = k - 0. Let c(p) = p - 15. Let v be c(15). Solve -l*y + 5*y - 4 = v for y.
2
Let c(h) = h**3 + 5*h**2 - 8*h - 6. Let d be c(-6). Suppose 2*a - d = -0*a. Solve -7 = a*r + 5 for r.
-4
Let k be (-4)/8*8 + 4. Suppose k*s = 3*s - 6. Solve b = -4 + s for b.
-2
Suppose 0 = 2*v - 12 + 4. Suppose -2*s - v = -0*s. Let h be s + (2 - (-2 + 0)). Solve -3*r - h = -14 for r.
4
Let f be 38/(-8)*(-12)/3. Suppose 0 = g - 3*u - 8, 0 = 4*g + 3*u - f - 13. Solve -3*y - 15 = -g*y for y.
3
Suppose 4*z - 17 = 51. Solve 3*k = -z + 5 for k.
-4
Let i = 37 + -37. Solve 2*t + 2 + 0 = i for t.
-1
Suppose 0 = -k + 4*k + 9. Let y be -2*(-1 - k/(-6)). Solve -4*w - y = -7 for w.
1
Let p = -18 - -26. Solve p*g = 4*g for g.
0
Suppose -5*j + 4*f = -f - 145, -4*j = 4*f - 92. Let q be 5/15 - j/(-3). Let z(m) = -m**3 + 10*m**2 - 8*m - 6. Let y be z(q). Solve 0*o = -y*o + 9 for o.
3
Suppose 19 = 4*q + 2*h - 25, -5*h = 2*q - 22. Suppose -2*w + q = -7. Solve -t + w = -4*t for t.
-3
Let g = -10 - -16. Suppose 3 = 3*h - g. Solve 0 = 2*y - h - 3 for y.
3
Let y be 1*(0 - 1) + 3. Solve -g - g = y for g.
-1
Let c be 4/12*3*3. Solve -1 - c = -z for z.
4
Suppose x - 3*x = -3*p + 2, 0 = 5*x + 2*p - 14. Suppose -s = x*s - 75. Solve 4*l + 9 - s = 0 for l.
4
Suppose 20 = 4*y + 80. Let g = y - -16. Solve g + 5 = 2*h for h.
3
Let j(p) = -p + 2. Let y = 1 + -1. Suppose 2*h + y + 6 = 0. Let c be j(h). Solve 0 = c*i - 6 - 4 for i.
2
Suppose 16 = 2*r - 14. Let u be ((-16)/(-12))/((-4)/42). Let j = -11 - u. Solve -4*c - r = -j for c.
-3
Suppose 4*b - 2*t = 30, b - 2 = t + 8. Suppose 27 = b*p + 7. Solve -p*j = 20 - 8 for j.
-3
Suppose q + 4 = 4*p + 4*q, 2*q = 0. Solve u + 1 + p = 0 for u.
-2
Suppose 4*g + 40 = -2*c + 8, 2*g + 5*c = -16. Let b be 55/20 + (-2)/g. Solve -t - 8 = b*t for t.
-2
Let f be ((2 - 10)/(-2))/(12/9). Solve -12 = n + f*n for n.
-3
Suppose m + 9 = 4*m. Let n(g) = 2*g - 5 + 20 - m*g. Let p be n(0). Solve -y = 2*y + p for y.
-5
Suppose -2*q = v - 13, 4*v - 3*q - q = 64. Let b be (10/v)/((-2)/(-6)). Solve -b*w - 3*w = -15 for w.
3
Let p = -15 - -19. Solve 0 = p*b - 0*b for b.
0
Suppose -21 = -3*c - 3. Solve -2*q = -c*q + 8 for q.
2
Let h(s) = s**3 + 5*s**2 - 2*s - 6. Let w be (7 + 0 + -2)*-1. Let z be h(w). Solve z*v = -0*v + 8 for v.
2
Let g be 2/(4/6) + 0. Suppose g*a - 6 = -0*a. Suppose -5*m + 25 = w, -w + a + 3 = m. Solve w = -5*o - 0*o - 25 for o.
-5
Let b = 19 - 15. Solve -3 = a - b for a.
1
Let f(n) = -3*n**3 + 2*n**2 + n + 2. Let m be f(2). Let d be m/15*15/(-6). Solve 0 = -d*i - 3*i + 15 for i.
3
Let d be 3 + (2 - (-2)/(-2)). Solve 1 + d = f for f.
5
Suppose 0 = 3*p - 23 - 10. Let n be (-1)/(-2)*(p + -1). Let i be 1/(-4) + (-65)/(-4). Solve i = n*c + 1 for c.
3
Suppose -i = -2*i - 1, 3*i = -2*h + 37. Solve 0*w + 5*w = h for w.
4
Suppose 4*l - 5 - 55 = -5*f, -2*l = -f - 2. Solve 0 = -0*j + 4*j + f for j.
-2
Let z(b) = -b**2 + 11*b + 2. Let k be z(11). Suppose -a = 5*o + 8, k*a - 14 = -0*a + 5*o. Suppose 15 = a*h + h. Solve 0 = h*t - 12 - 8 for t.
4
Let k be (12 - 8) + (-5 - -1). Solve -2*r + 3*r = k for r.
0
Let a = 23 - 19. Suppose -4*c + 1 = 5*i - 1, -3*i + c = -8. Let q be (-1 + 1 + i)/2. Solve a + q = o for o.
5
Suppose 4*g - 2*u + 4*u = 10, 3*g = -3*u + 6. Solve l + g*l = -16 for l.
-4
Let t be (-5)/(20/(-16)) + 1. Solve 0 = 5*q + t for q.
-1
Let s(i) = -2*i + 2. Let a be s(-4). Suppose 0 = -a*v + 6*v + 20. Solve -v*n - 3 = 7 for n.
-2
Suppose u - 19 = 4*q, u - q - 17 = q. Solve u = -5*s - 10 for s.
-5
Let q be (-6)/27 + 44/36. Suppose -5*b + 5 = 5*f, f = -5*b + 4 + q. Suppose 0*j - 5*j = f. Solve j*m = -m for m.
0
Let f(k) = k + 12. Let p be f(-6). Suppose -14 = -4*u - p. Solve 0 = u*d + 1 + 5 for d.
-3
Let a(p) = p**2 + 8*p + 7. Let f be a(-7). Suppose 4*s = -f*s. Suppose -w = -s*w - 6. Solve 0 = -2*k + w for k.
3
Let q = 10 - 6. Suppose -5*s = 3*j - 16 - 13, 4*j = q*s - 4. Let l = j - 1. Solve -6*i = -l*i + 16 for i.
-4
Let k(m) = m**2 + m - 2. Let j be k(-4). Suppose 2*i - 15 = -3*i. Suppose 0*f = -i*f. Solve 3*r + 2*r + j = f for r.
-2
Suppose 3*t - w = 4*w, -4*t = -5*w - 5. Solve 17 = -4*c + t for c.
-3
Suppose 0*y + y - 7 = 0. Solve 0 = 3*z + 19 - y for z.
-4
Let b = 14 + -10. Suppose 2 = b*f - 2. Solve -v + 0 = -f for v.
1
Let l = -1 + 10. Suppose 0 = -4*u + 7*u - l. Solve u*t = 4 - 10 for t.
-2
Let w be 1 + 3/(-4 - 33/(-6)). Solve -f - w = -2 for f.
-1
Let k be -3 + (-10)/(-4) - 75/(-10). Solve k*t = 6*t + 1 for t.
1
Let m be (-2 - -1 - 2) + 2 - -2. Suppose -4*y + 3*q = q - 6, 2*q - 4 = -y. Solve -m = z + y for z.
-3
Suppose l = 11*l - 80. Solve 6*t - 2*t - l = 0 for t.
2
Let g(d) = -d - 6. Let v be g(-8). Let n(u) = 5*u - 2. Let l be n(v). Solve 4*f + 0 = l for f.
2
Let d = 16 + -14. Solve -15 = -d*h - 3*h for h.
3
Let f = -7 + 6. Let a(z) = -4*z + 1. Let x be a(f). Let h(b) = -b**2 - 6*b - 5. Let s be h(-4). Solve -s*g - 2*g = x for g.
-1
Suppose 14 - 34 = -5*l. Suppose l*q + q - 65 = 0. Suppose 3*h - q = -4. Solve -h*b = -3 + 6 for b.
-1
Let b be (-1 + 3)/2*2. Let x(y) = b + 0 + 3*y - 6. Let w be x(8). Solve -4*j = -0*j - w for j.
5
Let b(o) = o**3 - o**2 - o + 6. Let v be b(0). Let u = -4 + v. Let n = 27 - 25. Solve 6 = n*c + u for c.
2
Let j be 5 - (-4 - -1) - 3. Suppose 3*r + 0*r - j*q - 25 = 0, -2*q = 2*r + 10. Solve r = z - 2*z - 2 for z.
-2
Let z be (-3)/(9/6 - 0). Let s be 1/z + 4/8. Solve s = -a - 2*a + 15 for a.
5
Let x = 1 + 9. Solve -u + x = -3*u for u.
-5
Suppose 2*a + 3 - 2 = -w, 0 = 5*a + 5*w + 10. Let x = 1 + a. Solve 6 + x = -4*l for l.
-2
Let d be (1 - 2)/(2/(-4)). Solve -3*g = -d*g for g.
0
Let m = 774 - 771. Let n(h) = -h + 1. Let u(a) = -5*a - 1. Let r(x) = 6*n(x) - u(x). Let f be r(5). Solve f*s = -s - m for s.
-1
Let u be ((-4)/6)/((-2)/39). Suppose -4*r + 3 = -u. Solve 5 = d + r for d.
1
Suppose 0 = -y + 6*y. Let t = 2 - y. Solve t*n - 1 = 3*n for n.
-1
Let u be (-2)/6 - 34/(-3). Suppose -u - 9 = -4*i + 4*n, -n = -2*i + 8. Let y be -4 + i + 3 + 0. Solve y*v = -1 - 5 for v.
-3
Let o be 16/12*12/8. Let s(r) = r. Let k be s(o)