+ t for d.
4
Let c = 31 - 21. Let r(i) = -i - 10. Let b(w) = 3*w + 20. Let j(l) = 4*b(l) + 9*r(l). Let s be j(c). Solve -u = -5*u + s for u.
5
Let d(l) = -l**3 + 3*l**2 - l - 1. Let w be d(1). Solve 2*q + 1 + 9 = w for q.
-5
Suppose -3*b - 2*b = 0. Let d be (6/15)/(4/40). Solve b = -l + d - 7 for l.
-3
Suppose -2*y = -3*y - 44. Let b be y/(-7) - (-8)/(-28). Solve 6 = 3*l - b*l for l.
-2
Suppose 0 = j - 4*a + 18, -4*j = 6*a - a - 33. Let b be (2 + 0)*1/j. Solve h + b - 5 = 0 for h.
4
Suppose -10*p + 21 = -3*p. Solve 8 = -p*r + 5*r for r.
4
Suppose -5*s + 9 = -4*o, 3*s + 0 - 31 = -4*o. Suppose 0 = s*u - 2*r - 10, -4*u + 2*r = -12 + 4. Solve 5 = -u*n - 3*n for n.
-1
Let y be 5/(1/2*-2). Let q(b) = b**2 + 6*b + 5. Let h(u) = -2*u**2 - 12*u - 10. Let r(i) = 2*h(i) + 5*q(i). Let c be r(y). Solve c*w = 5*w + 10 for w.
-2
Let a be (-3)/12 - (-63)/12. Solve -2*s + 3 = -a*s for s.
-1
Let d = 10 + -5. Solve d = r + 4 for r.
1
Let h = -24 + 26. Solve 7*n = h*n for n.
0
Let g(h) = -11*h + 5. Let n be g(8). Let x be (-2)/(-5) - n/5. Let r = x - 12. Solve r*o = 2*o for o.
0
Let n(i) = -i - 9. Let j be n(-4). Let s = -5 - j. Let d be 5 + (2 + -1 - s). Solve a = 3*a - d for a.
3
Let l = -3 + -2. Let p = l - -8. Let x be 40/15 - (-1)/p. Solve -8*c + x*c = -15 for c.
3
Suppose 21 = 4*g + 5*b, 6*g - 3*g - 2*b - 10 = 0. Let n be (-17 + 2)/(12 - 13). Solve -h = -g*h - n for h.
-5
Suppose 0 = 4*h - w - 3, -4*w - 6 = -4*h - 2*w. Solve y = -h - 1 for y.
-1
Let a(h) = 11*h - 6*h - 15 - 4*h. Let t be a(15). Solve 2 + t = -d for d.
-2
Let w(u) = 3*u**3. Let a be w(1). Suppose 0*y + a*y - 9 = 0. Solve 3 = -y*g - 0 for g.
-1
Let c be 2/(-4) + 34/4. Let d = 26 - 29. Let v be d/2*(-4 + 2). Solve -5*h - c = -v*h for h.
-4
Suppose 25*c = 26*c - 2. Solve -3*r - 2 = -c*r for r.
-2
Let j be ((-20)/8 + 3)*0. Solve j = -4*b - 0*b - 12 for b.
-3
Let s = 11 + 2. Suppose s = 2*f - 17. Solve 2*z + f = -3*z for z.
-3
Suppose 0 = 3*q + 3*y - 3, 3*q - 8*q + 23 = -4*y. Solve 0 - 3 = -q*v for v.
1
Let b be 1/(5/(-2) + 3). Let w(j) = 2*j - 1. Let l be w(b). Solve 0 = l*h - 3 - 9 for h.
4
Suppose -5*u = -4*u. Suppose -4*s + 6*s - 10 = u. Solve -s*j + 0 = 15 for j.
-3
Suppose -5*g + 5*u = 145, 2*g - g + u + 19 = 0. Let k be g/(-9) + (-4)/6. Solve k*y = -y + 12 for y.
4
Let n = 2 + 1. Solve 6 = -d + n*d for d.
3
Let w(h) = -h - 8. Let s be w(-8). Suppose 0*n + n - 12 = -4*j, -4*n - 5*j + 26 = s. Let l be 3/n - (-24)/(-32). Solve 0*g + 2*g = l for g.
0
Suppose 3*r - 2*i = 7 + 3, -4*r - i = -28. Solve -4 - r = -2*u for u.
5
Let v(h) = 5 - 6*h + 3*h**3 - 11*h**2 - 6*h + h - 4*h**3. Let d be v(-10). Solve 0 = -2*o - o + d for o.
5
Suppose 5*u - 16 = 89. Let s = 0 + 4. Suppose s*g = -3*o + 11 + u, -5*g = -2*o - 40. Solve 0*p = 4*p + g for p.
-2
Let v(q) = -q + 2. Let f(n) = -n + 1. Suppose 0 = s + 4*d + 5, d = -3*s + 2*d - 2. Let g(o) = s*v(o) + 2*f(o). Let z be g(-3). Solve -9 - 3 = -z*b for b.
4
Let n be (-2)/(-6) + (-2)/(-3). Solve -b + n = -4 for b.
5
Let w be 3*2/6 + (-7)/(-7). Solve -2*t - 20 = w*t for t.
-5
Suppose -4*n = -3*n - 2. Let h be 53/11 - 8/(-44). Suppose -8 = -h*b - 4*z, n + 0 = -b + z. Solve b = -4*p + 19 + 1 for p.
5
Suppose 2*o = -o - 6. Let g = o + 5. Suppose -g*l = -4*f - 13, l - 5*f = -0*l + 8. Solve -l*x - 15 = -3 for x.
-4
Suppose b = -0*b + 5. Let y = -5 + b. Solve 0 = -4*x - y*x for x.
0
Let s be -4 - (1 + 0 - 8). Solve -3*g - s = -6 for g.
1
Suppose -15 = -z - 4. Solve 0 = -3*c - z - 4 for c.
-5
Suppose -9 - 1 = -g. Suppose 2*a = 5*o - 0 - 6, -3*o = 2*a - g. Solve 0 = -h + a*h for h.
0
Suppose 0 = -7*l - 3*l + 6*l. Solve 2 = -r - l*r for r.
-2
Let g(q) = -q**3 - 4*q**2 - 5*q - 5. Let s be -12 + 10 - (1 + 1). Let x be g(s). Let a(o) = 2*o**2 - o. Let u be a(2). Solve u*w - w - x = 0 for w.
3
Let s be 22/4 + 25/(-50). Solve 5*x - 5 = s for x.
2
Let b = 33 + -24. Suppose b = 3*m + 3. Suppose 2*k = -5*z + 33, -3*k + 22 = 2*z - 0*k. Solve z*j - m*j - 3 = 0 for j.
1
Let g be 2/(-5) - 4/(-10). Suppose -d - 10 = -3*d. Solve 0 = -y + d - g for y.
5
Let c(p) = 4*p - 4. Let g be c(8). Suppose g = 4*y - 8. Suppose r + 2*r = y. Solve -k - 16 = r*k for k.
-4
Suppose -3*f + 11 = -1. Let h = 36 + -11. Solve -f*y = -9*y - h for y.
-5
Suppose 40 = 3*r - 4*j, 0*r + r = -2*j. Suppose -r = -0*x - x. Let h = x - 8. Solve 0 = p - h + 2 for p.
-2
Let y(i) = 2*i**2 + 13*i + 20. Let p be y(-4). Solve z = -p*z + 1 for z.
1
Suppose 0 = 2*n + g - 10 + 5, -5 = -g. Solve 3*h + 2 + 13 = n for h.
-5
Suppose 2*d + 0*b + b + 23 = 0, -d - 5*b = -11. Let z = d - -20. Solve 3*f = z*f - 15 for f.
5
Let j(w) = w**2 + 6*w - 3. Let l be j(-6). Let g(r) = 2*r - 5. Let d be g(6). Let i = l + d. Solve i*c + 8 = -0*c for c.
-2
Let k(l) = -l**2 - 4*l + 2. Let b be k(-4). Suppose -32 = -3*p - p. Suppose 0 = -5*v + 10 - 0. Solve -b*y - v*y = -p for y.
2
Let o = -55 + 58. Solve o*x + 12 = 6*x for x.
4
Let y be -1 + -1 + 0 + 6. Suppose 0 = -q + y*q - 66. Let s = 37 - q. Solve 2*b = -s + 5 for b.
-5
Suppose 0 = -x + 3*x - 14. Solve 0 = -q - 2 + x for q.
5
Let p be (-1 + -1 - 16/8) + 16. Solve 0 = -b + 4*b + p for b.
-4
Let u(n) = n**2 + 10*n + 2. Let q be u(-10). Suppose -12 = -6*f + q*f. Solve -2*i = -f*i + 3 for i.
3
Let s be (-27)/(-3)*4/(-6). Let g be -1 + 4 + s + 3. Suppose 2*k = -g*k + 16. Solve -4 = 4*v - k for v.
1
Suppose 4*n = 75 + 121. Suppose 4*s = 3*l + n, 5 = 3*s - s + 5*l. Let k be (-1)/(-2)*(-4 - -4). Solve k = 2*c + s for c.
-5
Suppose 0*r = 2*m + 4*r, -4*m - 4*r = -16. Solve -i = i - m for i.
4
Let b(j) = 3*j**2 - j. Let h be b(1). Let w be h/(1/3*2). Suppose -f = -2*f - y + 4, -f + 2*y = -4. Solve -3*s + w = -f*s for s.
-3
Let w(l) = 4*l - 4. Let c be w(4). Suppose -2*o + 2*s = s - 6, 0 = -4*o - 2*s + c. Let a(h) = h + 2. Let d be a(0). Solve o*i = -d*i for i.
0
Suppose 8 = -4*w + 6*w. Solve w*x = -1 - 3 for x.
-1
Let a = 6 + -3. Let w be (-18)/4*8/(-12). Let k be (-8)/2*w/(-6). Solve 0 = k*f + 7 + a for f.
-5
Let d = 12 - 9. Suppose 4*f = -r + 16, f - 8 = -3*f - d*r. Solve -4*t + 1 = f for t.
-1
Suppose 4*h = 3*w - 0*w + 76, 5*h + 5*w - 95 = 0. Suppose -h*k = -14*k - 20. Suppose 3*b + 1 - 10 = 0. Solve -k = 2*c - b*c for c.
4
Let a = 13 + -13. Solve -6*f + f = a for f.
0
Let i be -2 - -1*4 - 0. Suppose -5*a + 14 = i*c - c, 5*c - a = 18. Solve c = 2*d + 2*d for d.
1
Let g be 0/(-1)*(-1)/(-1). Solve g = -4*x + 5 + 3 for x.
2
Suppose 4*l = -2*r + 2, 4*r - 4 = l - 0. Solve 0 = s + r for s.
-1
Let s be 2/2*(-3)/(-1). Let v = -9 - -11. Let c be 3/(-2) - (-9)/v. Solve -c*x + s = -0*x for x.
1
Let c = -1 - 0. Let f(d) = -16*d**2 + 1. Let r be f(c). Let k be ((-5)/r)/(2/24). Solve 2*u = u + k for u.
4
Let t = 0 + 1. Let j be ((t - 1)/(-2))/(-1). Suppose j = 5*b + 5, 6*x + 5*b = 3*x + 10. Solve x*w + 0 - 25 = 0 for w.
5
Let t be 3/9*(17 + -2). Suppose -10*v + t*v = -10. Solve 2*c + v = -0*c for c.
-1
Suppose 0 = -3*g - t + 2*t + 14, -2*g - 2*t = -20. Solve -g = 9*k - 7*k for k.
-3
Let w(m) = 4*m**2 + 3*m - 3. Let y be w(2). Suppose -v = 2*x + 6, 0 = 4*x - x - 9. Let i = v + y. Solve 15 = 4*d + i for d.
2
Let l = 23 - 19. Suppose l*c = 3*c. Solve c = -x - 2*x for x.
0
Let i = 5 - 2. Let g be (-1 + 10)*4/3. Suppose -2*j - j + g = 0. Solve -i*x + 4*x + j = 0 for x.
-4
Let b be 3*(1/1)/3. Let l = 2 + b. Suppose 0*g = l*g. Solve -f + 2*f = g for f.
0
Let j(p) = p**3 - 3*p**2 + p + 1. Let t be j(3). Let b(w) = 2*w - 8. Let s be b(9). Solve -t*g = g - s for g.
2
Let k be 4/(-5)*10/(-4). Let w(v) = -3*v**3 + 2*v**2 - 1. Let h be w(1). Let u be (20/h)/((-4)/k). Solve u + 20 = -5*p for p.
-5
Let o(c) = -4*c - 24. Let f be o(-6). Solve 5*j = -5 - f for j.
-1
Let r be 40/(-4) - -2 - -2. Let i = 8 + r. Solve -1 = i*d - 7 for d.
3
Let a be (-3 + (-12)/(-4))/(-1). Solve -2*q + 5*q + 9 = a for q.
-3
Suppose -v - 2 = -0*v. Suppose -2*q + 4 = 3*w, 0*q - w - 2 = -q. Let n = v + q. Solve 0*t + 2*t = n for t.
0
Let r = -4 - -11. Solve -6 = x - r for x.
1
Suppose -5*x + 10 = -5*b, 3*x - 3 = 4*b + 2. Solve -2*p = x*p for p.
0
Let k be 7 + -5 - (1 + 6). Let t = k + 7. Solve -3*f + t = -f for f.
1
Suppose 0*a = -a + 36. Let g be (-2)/(-12) - (-354)/a. Solve 5*x - 3*x + g = 0 for x.
-5
Let b = 3 + -3. Let l = 2 + 1. Suppose 4*j = -5*c + 12 + 12, 2*j = -l*c + 14. Solve b = -0*k + k - c for k.
4
Let g(t) = t**2 - 6*t - 2. Let o be g(7