
4
Let m = 13 + -13. Solve -b - b - 4 = m for b.
-2
Suppose 22 = i + 11. Suppose 0 = 3*c - 2*o - 0*o - 23, -2 = -2*c - 2*o. Suppose -c*n - i = -51. Solve -n = -2*h - 2*h for h.
2
Let p = -1 + 3. Solve 0 = -p*n - 0 + 4 for n.
2
Suppose 36 = -3*p + 2*i - 26, p = -4*i - 2. Let u be (-10)/3*p/15. Solve -m + 0 = u for m.
-4
Suppose -6*m + 33 + 15 = 0. Solve t = -t - m for t.
-4
Let p = -18 + 20. Solve -p*a = 1 + 1 for a.
-1
Let c be (-2)/((-2)/3 + 0). Suppose -c*i = -n - 7, 2*i + 7*n - 33 = 2*n. Solve -3*x = -i + 19 for x.
-5
Let j be (1 + 1/(-1))/2. Solve 6*u - 5*u - 1 = j for u.
1
Suppose -b - 4*f = -17, 7*b - 8 = 3*b - 4*f. Let g be -2 + 1 + 7 + b. Solve t + g = 2*t for t.
3
Let g = 20 - 20. Let h(b) = -2*b + 2. Let m be h(g). Solve -4*s = -m + 14 for s.
-3
Let j be (6*(-8)/(-18))/(4/6). Solve -15 = j*d - d for d.
-5
Suppose l - 2 = -0*l. Let y be (-5 - -7)/((-2)/(-2)). Suppose 0 = z - b - 7, 3*b = l*z - y*b - 29. Solve z - 6 = u for u.
-4
Suppose 2*y - 4*p + 3 - 39 = 0, 3*y = -5*p - 1. Solve y = 4*l - 12 for l.
5
Suppose -4*a - 7 = -107. Solve -a = 7*f - 2*f for f.
-5
Suppose 2*y + r = 2*r + 10, 0 = -3*y + 5*r + 29. Suppose 0 = -z + y*z - 6. Solve 2*d + 1 = z*d for d.
1
Let a(q) = -q - 13. Let b be a(-17). Solve i + 9 = b*i for i.
3
Let w = -24 + 32. Solve w + 7 = 5*b for b.
3
Let n(m) = -m**3 - 11*m**2 + 13*m + 13. Let o be n(-12). Solve 5 = -4*i + o for i.
-1
Let y(w) = w**2 - 1. Suppose 0 = n - 4*n + 6. Let h be y(n). Solve -8 = v + h*v for v.
-2
Let i(x) = x**3 + x**2 - x + 1. Let v be i(0). Let j be 0*(-3 - v)/4. Solve 2*p + 3*p + 5 = j for p.
-1
Let z(o) = o**3 - 5*o**2 - 6*o + 3. Let q be z(6). Suppose 4*y + 5*x + 7 = -13, -q*x = 4*y + 12. Solve y = 2*w + 5 - 15 for w.
5
Let v be 0*(-4)/(7 + -3). Suppose -7*a + a + 42 = v. Suppose 0 = -6*n + 2*n. Solve n = -4*j - 9 - a for j.
-4
Suppose -34*a + 20 = -30*a. Solve 2*b = a*b + 9 for b.
-3
Let q(y) = -y**3 - 8*y**2 - 9*y - 12. Let i be q(-7). Solve -i*x = x for x.
0
Suppose -5*t + 1 = 4*b + 8, -4*t - 4 = 4*b. Solve k = b*k for k.
0
Let x be -9*(0 - 1/3). Solve x = -5*i + 8 for i.
1
Suppose -10*q = -5*q. Solve q = -5*l + 4*l + 3 for l.
3
Let f = -16 - -22. Let t = f + -4. Suppose -t*g - 4*v = 0, 0 = -2*g + 3*v - 2*v + 20. Solve 0 = -3*w + g*w - 5 for w.
1
Suppose 0 = z - 9 + 5. Solve -z*k = -k - 6 for k.
2
Suppose -2*l - 3*w = 62, -2*l + 3*l + 29 = -w. Let s = 30 + l. Solve 0 = -2*f + s*f - 9 for f.
3
Suppose 3*y + 5*i - 7 = -y, 4*i + 13 = 3*y. Suppose -9 = -h - 3*s + 2, -69 = -5*h - s. Let l be -7*(12/h)/(-3). Solve -y*a = 8 - l for a.
-2
Let a(d) = 100*d**2 + d. Let i be a(-1). Let z be (-1)/4 - i/(-12). Suppose 0*u = -5*u. Solve -2*p - 2*p + z = u for p.
2
Suppose 0*l - 36 = -5*l - 3*z, 5*z - 28 = -3*l. Suppose 4*g - l*g = -50. Solve g = 4*y + y for y.
5
Suppose -2*l + 4*l - 6 = 0. Suppose h - l = 3. Suppose -f = f - h. Solve 2*p - p = -f for p.
-3
Suppose -5 = -l - 3*v, -4*l = -5*l - 5*v + 7. Solve d + 0*d = -l for d.
-2
Let f(l) = -l**3 + 18*l**2 - 2*l + 39. Let d be f(18). Let u = 1 - -2. Solve 3 = d*m - u for m.
2
Suppose k - 2*k = 5. Let w be -1*6/3 - k. Solve w*o = -o for o.
0
Let y be (-1)/(2*3/(-18)). Suppose y*u - 18 = -0. Solve 0 = v - u*v - 5 for v.
-1
Let t be (-5)/25 + 11/5. Suppose 0 = t*a - 7*a. Solve d = -a*d - 4 for d.
-4
Let u be 1/(-3 + (-14)/(-4)). Suppose -4*i + 4*m - u*m = -10, 0 = -5*i + 2*m + 10. Solve -4*r - 2 - 10 = i for r.
-3
Suppose 0 = -3*b - 4*i - 4, -2*b + 2*i + i = -20. Solve -b = -s - 0 for s.
4
Suppose u + 3*x - 15 = -u, 4*x = u + 9. Solve -t + 4*t = u for t.
1
Let l be 3*-3*(-6)/18. Let p = 0 + 0. Let k = l + p. Solve 2*j = k*j for j.
0
Let f be (-7)/(21/(-6)) - 0. Let h be 0/(4 - (-4)/(-2)). Let b(j) = -j**3 - j**2 + j + 12. Let o be b(h). Solve -6*l + f*l = o for l.
-3
Let v(c) = c**3 + 10*c**2 + 8*c - 5. Let s be v(-9). Let w be (-56)/12 + s/6. Let j = -1 - w. Solve -z = 2*z + j for z.
-1
Let n = 43 - 41. Solve -n*u = -0 + 6 for u.
-3
Let c(k) = 2*k**2 - 4*k + 3. Suppose -o - f = -0*o - 2, -4*o = 3*f - 8. Let t be c(o). Solve -1 = t*y + 11 for y.
-4
Suppose -3*w - 14 = 5*x, -w + x + x + 10 = 0. Solve -2 = -b + w*b for b.
-2
Suppose 0 = -2*k + 3 + 1. Solve -3*g + 2 = -k*g for g.
2
Suppose 2*f - 2*l - 8 = 0, -f = 2*f - 2*l - 9. Solve -f = 3*q - 4*q for q.
1
Suppose -5*z + 7 + 8 = -4*s, -3*s + 12 = 4*z. Suppose s = -3*l + 2*l. Suppose l = m - 2 - 4. Solve -j = j + m for j.
-3
Let q = -6 + 0. Let n(y) = y**3 + 5*y**2 - 8*y - 7. Let b be n(q). Solve 0 = -2*h - 3*h - b for h.
-1
Let v = -16 - -21. Solve -s = -v*s for s.
0
Let n(u) = -u**2 - 8*u + 5. Let r be n(-8). Suppose 0 = -r*a + 13 - 8. Solve -a - 14 = -5*l for l.
3
Let w be (-5)/(-2) + 9/6. Suppose w*g = -g + 25. Suppose -5 = -g*d - 2*p, 16 = 2*d + 3*p - 5*p. Solve -d*q + 15 = 2*q for q.
3
Let x = -10 - -20. Let f(h) = -2*h - 2. Let b be f(-2). Let g(q) = 4*q - 2. Let i be g(b). Solve -x = -4*r + i for r.
4
Suppose -4 + 1 = -g. Let y be 28/(-6)*(-9)/g. Solve y = 3*s + 5 for s.
3
Let w be (-3 - -2)*0/(-3). Solve -n + 3*n - 10 = w for n.
5
Let m = 36 + -59. Let n = m + 26. Solve 0 = -0*k + n*k + 6 for k.
-2
Let l(n) = -n**2 - 2*n + 7. Let g be l(-4). Let r be g - -3*(-4)/(-12). Solve p + r*p = 3 for p.
3
Let p = -51 - -51. Solve p = 5*s - 2 + 7 for s.
-1
Let i(s) = 2*s - 13. Let l be i(9). Suppose -4*p = -3 - l. Solve 0 = -2*z + p + 2 for z.
2
Let o(w) = w - 1. Let z be o(3). Let f = -27 + 13. Let b = f - -21. Solve b = y + z for y.
5
Suppose -4*t + 3*t = -2. Suppose d - 5*k = 5 + 5, 0 = -d - 3*k + 2. Suppose -24 = -d*o + 2*o. Solve -2*z - t = -o for z.
3
Let c(d) = 2*d**3 + d**2 - 2*d + 1. Let v be c(1). Solve 3 = -v*y + 1 for y.
-1
Suppose -d + 6*d = 3*g + 15, -4*d = -g - 19. Solve a + d = 3*a for a.
3
Let r(x) = -x**3 - 8*x**2 - 8*x - 2. Let q be r(-7). Suppose 3*u - q*p = -2*u, 0 = 4*u + 5*p - 45. Suppose -4*v = -7*v - 7*v. Solve v*g - g + u = 0 for g.
5
Let l(i) = 4*i**2 - i. Suppose -3*s = s + 8. Let r = s - -3. Let x be l(r). Solve 0 = z + x*z + 16 for z.
-4
Let c be 1 + 1 + (2 - -6). Suppose -c = -2*q - 0. Solve -3 + q = o for o.
2
Suppose 2*t - 3*o + 0*o - 15 = 0, 5*o = -t - 12. Solve -2*b + 5 = -t*b for b.
-5
Let z(k) = 3*k**3 + 5*k**2 + k - 4. Let w(d) = -d**3 - d**2 - d. Let p(f) = 2*w(f) + z(f). Let r be p(-2). Solve 3*o + 7 + r = 0 for o.
-3
Let a be -1 + (-3)/6*-6. Solve -a*q = q + 15 for q.
-5
Let w = 3 - 7. Let k = w + 6. Solve 0 = b - 4 + k for b.
2
Let z be 23 + 2*((-9)/(-6) + -3). Solve 0 = -3*f - 2*f - z for f.
-4
Suppose 0*t + 6 = 2*t. Suppose 2*m - 16 = m. Solve -n = t*n + m for n.
-4
Let r(z) = z**3 - 3*z**2 - 2*z - 4. Let o be 15/(-6)*24/(-15). Let q be r(o). Solve -3*n = -q*n + 2 for n.
2
Suppose -2*m + 2 = 2*g - 4, 13 = 2*m - 5*g. Suppose -3*p + 5*l - 3*l + 2 = 0, -3*l = -m*p + 3. Solve 3*h + 4 + 5 = p for h.
-3
Suppose -4*l + t + 3*t + 80 = 0, 4*l - 2*t = 70. Let r be (l/6)/((-1)/(-2)). Solve 5*j + r = -0*j for j.
-1
Suppose 2 = p - 0*p. Solve -j = -0*j - p for j.
2
Let w(d) = -3*d - 6. Let a be w(-2). Solve 3*l - 5 - 4 = a for l.
3
Let v = 15 - 11. Suppose -3*f = -3*l + 12, -2*f - 4 = -v*l + 12. Solve 0 = 2*x - f - 6 for x.
3
Let i be -8 - ((-3)/1 - -1). Let b be 4*((-3)/i + 0). Solve 0 = -b*o + 3*o + 3 for o.
-3
Suppose -4*h + 8*h = 112. Suppose -2*v = 3*d, 3*v + v - h = d. Let g be 26/3 - (-2)/v. Solve g = j - 4*j for j.
-3
Let y = -10 + -4. Let j be (-49)/y + 1/(-2). Let q = -1 - -1. Solve q = v + j + 1 for v.
-4
Suppose 9 = -4*a - 3. Let h = a + 2. Let n be 1 + (3/(-3))/h. Solve -2*z - n = -0*z for z.
-1
Suppose 2*j = 8 + 16. Solve -5*p + p = -j for p.
3
Suppose 9 + 31 = 5*q. Solve q*m = 3*m - 5 for m.
-1
Let r be 1 + (-2 - 3/(-2))*-4. Solve -r*z + 4*z = 0 for z.
0
Suppose -5*m + 37 = 4*y, m + 0*y + 5*y - 20 = 0. Suppose 2*o = o + 3. Solve m*k + 4 = o*k for k.
-2
Suppose -4*i + 0*i - 4*z = -416, z - 2 = 0. Let q be (i/(-15))/(1/(-10)). Suppose 2*o + q = 6*o. Solve 3*m = -5 + o for m.
4
Let f = 30 + -24. Solve 7*a = f*a for a.
0
Let w = 15 + -15. Solve 6 = -2*f - w for f.
-3
Let h be ((-4)/(-12))/(1/3). Let z be 4/8*(-12)/h. Let o be 15/21 - z/21. Solve -4*b - 5 = -o for b.
-1
Suppose -5*k + 18 = -2. Suppose k*d - 44 + 8 = 0. Solve -4*i = -d*i + 25 for i.
5
Suppose 6*t + 15 = 4*t + 5*s, 2*t - 2*s = 0. Solve -2*q = -3*q - t for q.
-5
Let p = -20 + 20. Solve 3*w + 12 =