-32 + 2 = -10*d. Solve 0 = -4*l + d*l for l.
0
Suppose 2*i - 2 - 2 = -4*w, 5*w + 4*i - 8 = 0. Let j(x) = x**3 + x. Let m be j(w). Solve m*r + 3 = -r for r.
-3
Let b be (-138)/10 - (-1)/(-5). Let y be (-81)/(-7) - 6/b. Solve -4 = -2*h - y for h.
-4
Suppose -5*x - k - 13 - 12 = 0, 2*k = -4*x - 14. Let l = 9 + x. Solve -l*z + 2 = -1 for z.
1
Suppose 0*h = -4*h + d - 4, 4*d = 0. Let k = h + 0. Let a = 2 + k. Solve a = q - 1 for q.
2
Let g(i) = i**3 + 13*i**2 + 30*i + 12. Let q be g(-10). Solve 5*a + q - 32 = 0 for a.
4
Let n(s) = -s + 26. Let r be n(25). Solve 4*f + 3 = -r for f.
-1
Let n(x) = x**3 + 6*x**2 + 3. Let u be n(-6). Suppose -3*h - 17 = 4*j, 4*h = u*j + 2*j - 2. Let t be 3/(-6)*(j - 8). Solve -3*z + t = 2 for z.
1
Let l be (12 - -1) + (-4 - -6). Let i = -8 + 8. Solve -l = 5*h - i for h.
-3
Let h = 15 - 11. Solve 4 = -h*z - 12 for z.
-4
Let j be -15 + (-2 - 0 - -1). Suppose 0 = -5*c - m - 4*m - 15, -c = 2*m - 2. Let g = c - j. Solve -3*q = q + g for q.
-2
Let m(o) = 3*o**3 - o**2. Let q be m(1). Let z be (q - -1)/(1/2). Solve -z + 4 = -r for r.
2
Suppose 0 = -2*o + 47*k - 43*k + 28, 2*k = -2*o + 10. Let l(r) = -9*r**2 + r + 1. Let z be l(2). Let i be (-4)/(-14) - z/7. Solve -2 = -i*d + o for d.
2
Suppose -5 = -2*q + 3. Suppose q*l - 24 = -3*g, -l - 2 = -2*g + l. Solve -4*n + 0 + g = 0 for n.
1
Let m(d) = -6*d**2 - d + 1. Let j be m(1). Let b be 2/j*(0 - 0). Solve b - 1 = -a for a.
1
Let y be (2 + 0)*-1*-2. Suppose -3 = a - y*a. Let p be (3 - 1) + 2 - a. Solve 0 = u - 2*u - p for u.
-3
Suppose -4*f - 28 = 3*t, -2*t - t - 22 = -2*f. Let b = t - -10. Let m be (10 - -1) + b/1. Solve -5*j - m = 2 for j.
-3
Suppose 5*r - 5*h - 80 = 2*r, -4*h = -r + 36. Let n = -19 + r. Suppose -15 = -2*y - y. Solve y*u - 16 = -n for u.
3
Suppose p + 0*g - 17 = -3*g, 9 = p + g. Solve -p*h = -h - 16 for h.
4
Let s be (2/(-3))/((-1)/3). Suppose -3*k = -2*y + 26, 3*k = k - 3*y. Let f be k/(-27) + 106/9. Solve -x + f = s*x for x.
4
Suppose -8*k = 4*k - 144. Solve -8*w + 11*w + k = 0 for w.
-4
Let u be (-4)/6*(-108)/8. Solve u = -5*d - 1 for d.
-2
Let t(y) = y**3 + y**2 + y + 2. Let p be t(0). Let g be (-3)/(-6)*p - -2. Suppose g*q + 5*d + 6 + 4 = 0, 5*d + 10 = q. Solve 2*n = -q*n for n.
0
Suppose -2*u - 15 = -5*l, -u - 17 + 2 = -5*l. Solve l*h = 2*h for h.
0
Suppose 5*t - 40 - 16 = g, -18 = -2*t - 4*g. Suppose 0 = -s - 4*u + 14, -4 = 5*s - u - t. Solve r - s = -r for r.
1
Let i be -1*(-1*4 + 12 + -11). Solve 0 = i*u - 5*u for u.
0
Suppose -5*w + 23 = -2. Suppose -w*m - d = 4, -2*m - 4*d - d = 20. Suppose 2*n = -4*x - 8, -x - 16 = 3*x + 4*n. Solve m = f - x*f + 5 for f.
-5
Let b be ((-40)/25)/((-2)/5). Suppose b*j = 3*j - 1, 0 = -5*q - 5*j + 20. Solve 2*k + 12 = q*k for k.
4
Let k = 2 - -5. Let w(v) = v - 5. Let l be w(k). Solve -l*a = -3*a + 1 for a.
1
Suppose -11 = -3*l - 32. Let z = -35 + 22. Let r = l - z. Solve -2*f + r*f - 4 = 0 for f.
1
Let r be 6/4 - (-5)/2. Let g be 5*(-3)/(-30)*r. Solve -3 - 1 = -g*b for b.
2
Suppose 0 = 5*u - 6 - 4. Suppose u*w + 3 - 1 = 0, 0 = a - 3*w - 5. Solve -a*l = l for l.
0
Suppose 3*l = 12, -3*l + 0*l + 12 = s. Suppose n - 10 + 1 = s. Suppose p + n = 3*j, 0 = -j - 0*j + 2*p - 2. Solve 0 = -3*g + j*g + 1 for g.
-1
Let a be 33/9 - (-1)/3. Suppose 5*d - a*i = 6, -1 + 0 = -i. Let c = 1 + 1. Solve d*n + c*n - 8 = 0 for n.
2
Suppose 4*p - 5*n = 32, p + 2*n + 3 = -2. Solve a - p*a = 10 for a.
-5
Let k be 10/5 + 1 + -3. Let x = k - -4. Solve 0 = 3*l + x + 5 for l.
-3
Let t be 12/(-5) + 6/15. Let b be (-2)/6*(t - 4). Let f be -1 - (-4 - -2) - 1. Solve 3*d + b*d = f for d.
0
Let w(g) = g**2 + g + 1. Let d(a) = -3*a**2 + a - 10. Let k(q) = d(q) + 4*w(q). Let u be k(-6). Solve u = 5*h - 19 - 1 for h.
4
Let s(b) = 2*b - 54. Let l be s(33). Solve x - 4*x - l = 0 for x.
-4
Let o(c) = -c**2 + 7*c - 3. Let y be o(6). Let r(w) = 2*w - 14. Let b be r(10). Suppose 10 = -s + b*s. Solve s*v = v + y for v.
3
Suppose 0 = -4*r - 9*r + 52. Solve 5*j = r*j - 1 for j.
-1
Let t = -13 + 10. Let g be (-8)/t + 12/(-18). Let h(n) = n**2 - 5*n - 5. Let y be h(6). Solve a - g*a = y for a.
-1
Suppose 3*d = 2*d + 2. Solve d*y + 2*y - 12 = 0 for y.
3
Suppose 6*j = 10*j - 60. Solve 0 = -5*r + j - 5 for r.
2
Let v be (-16)/40 + 27/5. Suppose 8 - 33 = -v*q. Solve -q*n + 24 = 9 for n.
3
Suppose 2*s - 4*s = -m + 6, 3*m = 4*s + 16. Suppose 4*u - 7 = 3*w, -2*u = -u - 4*w + 8. Let i = s + u. Solve -i*p = p + 12 for p.
-3
Let m(n) = n**3 + 4*n**2 + 2*n + 1. Let o be m(-3). Suppose -4*b = -2*s - b - 12, -8 = 2*s - 2*b. Solve s*r + 8 = o*r for r.
2
Let b = 71 + -63. Solve 4*s - b = -0*s for s.
2
Suppose 6*x - 12 = 2*x. Solve 1 = -x*a + 7 for a.
2
Let a(s) = -s**2 + 4*s. Let c be a(3). Suppose -c*l = l. Suppose -4*k = -l*k. Solve 2*z + 3*z = k for z.
0
Suppose -f - 3*t = 13, 2*f - 9 + 0 = t. Solve -f*z + 0*z = -4 for z.
2
Let c = -6 + 10. Suppose c*n - 8 = 20. Solve -5 = -n*u + 2*u for u.
1
Let s be 38/10 - 1/(-5). Solve -s*r + 4 = -2*r for r.
2
Let v(d) = d**3 - 3*d**2 - 7*d + 1. Let z be v(5). Let p = -28 - -33. Suppose p*u - 4 = z. Solve -u*m = -m - 9 for m.
3
Let b(y) = -y**3 + 8*y**2 - 12*y - 9. Let h be b(5). Solve -h = -3*k + k for k.
3
Suppose -13 = -5*y + 2. Let p be (0 - -2) + 4/2. Suppose -i - k = 0, 13 = 4*i - p*k - 3. Solve i*j - 5 = -y*j for j.
1
Let m(j) = -2*j**3 - 4*j**2 - 2*j + 2. Let u be m(-2). Let i = 10 - u. Solve 3*v - 4*v = i for v.
-4
Suppose 0 = -5*n - 0*t + 5*t + 5, 5*n = t + 5. Solve -n - 5 = 2*m for m.
-3
Let p be (1 + 1/(-2))*0 - 0. Suppose 3*d = 2*n + 12, 0 = -2*n - 6. Solve -j - d = -p for j.
-2
Suppose -3*n = n. Suppose -6 = -2*s - n. Solve b = s*b + 10 for b.
-5
Let j = -12 + 20. Let f be 52/j + 3/(-2). Suppose -f*y + 10 = -0. Solve -q = 1 + y for q.
-3
Suppose -40 = -4*x - x. Let r be (-322)/(-5) + x/(-20). Suppose -11 - r = -3*d. Solve -3*m + d = -8*m for m.
-5
Let x = -5 - -3. Let h = 6 + x. Solve 4 = -h*w + 16 for w.
3
Let a be 3 - (2 + -4 - -1). Suppose q - 5*u = 15, 4*q - 3*q = a*u + 12. Solve q = -4*k - 0*k - 16 for k.
-4
Suppose -2*j + 34 + 2 = 0. Suppose 3*f + 0*f - j = 0. Let r = 5 + -1. Solve -f + r = 2*k for k.
-1
Let l = 0 - -3. Suppose f - 4 = -3*f + 4*s, -3*s = 3*f - 21. Suppose 0 = -f*j + 5*j + 4*k, 5*j = -3*k + 17. Solve -l*x + j*x + 4 = 0 for x.
-4
Let x be (-1)/(-5) + (-3)/15. Suppose n - 7 + 1 = x. Solve 0 = -0*y - 2*y + n for y.
3
Let v = -12 + 44. Suppose -4*c = 3*f - v, c + 5*f = -2*c + 35. Solve c*u - 9 = 16 for u.
5
Let m be 1 + (-1 - (1 + 2)). Let s = m + 13. Solve -5*j + 5 = -s*j for j.
-1
Suppose 0 = -i + 2*i + 4*l, -3*l = 15. Let z be (2 + 2)*i/4. Let c = z + -4. Solve -4*y = -0*y + c for y.
-4
Let x = 0 + 2. Suppose -4*c + 6 = -c. Suppose u + 2 = 0, -x*u = -l - c*l + 31. Solve 0*n + l = -3*n for n.
-3
Let y = -37 - -43. Solve -2 = -4*j + y for j.
2
Suppose 45 - 17 = 14*d. Solve -2 = 2*y + d for y.
-2
Let f be ((-1)/(-2) - 1)*12. Suppose 0 = 2*t + 2*t - 44. Let n = f + t. Solve -l = -n*l for l.
0
Let s(o) = -6*o**2 + o**2 + 2 + 2*o**3 - o**3. Let w be s(5). Solve 0 = -w*p - 2*p - 20 for p.
-5
Let t(q) = 2*q + 8. Let r be t(4). Solve 2*m = 6*m + r for m.
-4
Let p(v) = -v**2 - 6*v + 4. Let w = -2 - 4. Let d be p(w). Solve d*c = -0*c - 20 for c.
-5
Let a = -7 + 12. Let u = -3 + 5. Solve 0 = -7*j + u*j - a for j.
-1
Let j = 30 + -44. Let c = j - -17. Solve 5*i - 13 = -c for i.
2
Let k = 10 - 10. Suppose k = -2*n - 3*n + 5. Solve -y - n = 1 for y.
-2
Suppose -p - 5*j - 3 = 0, 5*j = 3 + 12. Let b be (3*1)/(p/(-24)). Solve b = -l - 0*l for l.
-4
Suppose 5*h = 5*j + 35, -3*h - 3 = 4*j + 4. Suppose 17 - 5 = h*d. Solve -d*l = -1 - 3 for l.
1
Let a(d) = d**3 - 5*d**2 - d + 1. Let x be a(0). Solve -3*y = -x - 5 for y.
2
Let q(b) = -2*b**2 + 5*b + 2. Let v be q(3). Let w(j) = 2*j + 2. Let i be w(v). Solve i*l - 6 = -2*l for l.
3
Let f be 0*(-1)/(-1 + -1). Let x = -2 - f. Let y = 5 + x. Solve -1 = y*p + 8 for p.
-3
Suppose -2*n = 4*f - 6, 2*f - 2*n + 5*n = 1. Suppose -4*g + f + 2 = 0. Solve 5*b - 21 = -g for b.
4
Let r be (0 + -1)/(-1) + -1. Let d = r - -1. Solve -5 = 4*n - d for n.
-1
Let s = 60 - 48. Solve -s = b + 3*b for b.
-3
Let f(m) = m**3 + 10*m**2 + 11*m + 21. Let r be f(-9). Let d(c) = -3*c**3 - 2*c - 1. Let a be d(-1). Let v = a + -1. Solve r*t + v - 12 = 0 for t.
3
Let h = 11 - 7. Suppose -2*l - 8 = -h*l. Let t = 1