2
Suppose w - 1 - 3 = 0. Suppose 0 = 2*x + 3*f - 13, -x - 3*f - 2*f = -17. Suppose 4*d - 40 = 4*k - 5*k, w*k - 70 = x*d. Solve 7*r + k = 3*r for r.
-5
Let w = -4 - -6. Let n = -11 + -1. Let r = -12 - n. Solve r = -w*m + 6 + 4 for m.
5
Let z(f) = f**3 - 6*f**2 + 5*f + 4. Let a(x) = x**3 - 6*x**2 + 7*x - 5. Let y be a(5). Let j be z(y). Solve k = -j*k for k.
0
Let j(i) = -4*i**2. Let f be j(1). Let l be (-1 + (-6)/f)*4. Suppose -h + 3*h = 5*s + 29, -2*h = l*s + 6. Solve -h = -n - 0*n for n.
2
Let r(u) = -u**3 + 7*u**2 - 5*u. Let b be r(6). Let o(a) = 2*a - 10. Let p be o(9). Suppose -z = 4*c - p, 5*c + 0 = -4*z - 1. Solve -c*s - b = -5*s for s.
3
Let r = 0 - 0. Let j = 6 - 9. Let k be -2 - (2 + -2) - j. Solve r = n - 0*n - k for n.
1
Let y = -18 - -17. Let p be (-3 + 0)/(0 + y). Solve -15 = -p*b - 0 for b.
5
Suppose -2*s + s + 5*c - 4 = 0, 0 = 2*s + 2*c - 40. Solve s = 2*o + 20 for o.
-2
Suppose 0 = -11*h + 12*h. Solve h = -q - q + 2 for q.
1
Let t be 62/22 + (-6)/(-33). Suppose 0*y - t*y = -6. Solve i + y = -i for i.
-1
Suppose -4*l = -3*b + 2*b + 12, 0 = -4*b + 16. Let y be 32/8*l/(-2). Suppose 3*w - y = w. Solve -2*r + r = w for r.
-2
Let i = -20 - -56. Suppose 0 = -4*r - 12 + i. Solve -20 = -r*a + 2*a for a.
5
Let k = 19 - 17. Suppose -5*o - 17 = 13. Let z(v) = -v**2 - 6*v + 4. Let q be z(o). Solve -6 = q*x - k*x for x.
-3
Let r be 15 + 1 - 8/(-2). Solve -w - 4*w = r for w.
-4
Let p be (0 - 3) + 7 - 2. Let n(x) = -x**3 - 4*x**2 + 3*x - 7. Let d be n(-5). Let m = d + -3. Solve p*a = -m*a + 10 for a.
5
Let n(d) = -d + 12. Let b be n(8). Suppose -5*q + r = 74, 0 = 3*r - b*r + 4. Let t = -8 - q. Solve 0 = t*o - o + 15 for o.
-3
Suppose -2*f - 8 = -4*n, 5 = -4*f + 4*n + 1. Suppose 0*s - f*s = -4. Solve -3 + 11 = -s*d for d.
-4
Let r = 1 - -1. Suppose 14 = 2*u - 2*d, 2*u + r*d - 2 = -0*u. Solve u = -g - 1 for g.
-5
Let f be -1 + 5 + 8 + -1. Solve 0 = -4*j - f - 5 for j.
-4
Let n(o) = 8*o**3 - o - 1. Let d be n(-1). Let a be (-20)/d*16/10. Solve -5*i + 3 = -a*i for i.
3
Let p(a) = a**3 - 8*a + 4*a**2 - 18*a**2 + 9 + 8*a**2. Let w be p(7). Solve -2*h + h + w = 0 for h.
2
Let q(c) = 3*c - 30. Let t be q(12). Let g be (-2)/3 - (-28)/t. Solve g*s = s for s.
0
Suppose a - 2*o = 23, 5*a - o - 4*o = 90. Solve 4*n = 3 + a for n.
4
Let c = -4 - -1. Let w be (-1)/c - 140/(-12). Solve 0 = -5*h - 13 - w for h.
-5
Let k be (-7)/(-42) + 1/(-6). Solve 12 + k = 4*d for d.
3
Suppose -7*q - j + 8 = -2*q, -q + 3*j + 8 = 0. Let s = -406 + 409. Solve -q*z + z = -s for z.
3
Suppose -4*j = -0*j + 12, -x + 3*j + 29 = 0. Let o be (2 + -2)/(2 - 1). Solve x = 5*c - o*c for c.
4
Let h = -7 + 11. Suppose 5*p + i - 2*i - 1 = 0, 3*p = i + 1. Suppose p = n - 2 - h. Solve 3*k = n*k for k.
0
Let y(h) = h + 3. Let b be y(-3). Suppose 3*u + b*u + 5*t = -14, -24 = -4*u + 4*t. Suppose u*g - 4*i - 10 = -g, -g - 2*i = 0. Solve -g*d + d = 3 for d.
-3
Suppose -2*h + 0*h - 12 = -4*j, -2*h = j - 13. Suppose -j*s - p = 3*p, -s = -2*p - 14. Solve s = -4*v + 3*v for v.
-4
Suppose -5*q + 115 = -45. Let r be (-4)/10 - q/(-5). Suppose 3*h - h = 0. Solve h*v + 3*v + r = 0 for v.
-2
Suppose -2*j - j = 15, -4*j = 5*p + 5. Let w = -2 + 1. Let x = p + w. Solve x*g = 7*g + 10 for g.
-2
Let c(t) = 3*t**2 - 2*t + 1. Let h be c(1). Solve h*j + 10 = -3*j for j.
-2
Let d = -28 + -15. Let u = 71 + d. Let s be (35/u)/(2/24). Solve 5*x - 10 - s = 0 for x.
5
Let t(h) = h**2 + 2*h - 3. Let k be t(-3). Solve -2*a + k*a = 0 for a.
0
Let p be 2/(-8) + (-50)/(-8). Let q(m) = m**2 - 5*m + 7. Let l(x) = -2*x**2 + 9*x - 13. Let z(i) = 2*l(i) + 5*q(i). Let s be z(p). Solve s*c + 5 = 11 for c.
2
Let j(f) = 2*f**2 - 2*f - 2. Let l be j(2). Suppose 3*m + 4*i - 209 = 0, -3*m + 79 = -2*m - i. Suppose 6*g = g + m. Solve -l*r + g = r for r.
5
Suppose s - 2*s = 0. Suppose 5*d - 1 - 24 = s. Solve -d*w + 1 + 4 = 0 for w.
1
Let s = 16 + -14. Solve s + 4 = -2*u for u.
-3
Let y = -6 + 6. Let v be 16/(y + -4) - -10. Solve -v = -3*h + 6 for h.
4
Let m be 1/(-1*(2 - 1)). Let s = 38 - m. Let z be 2*(s/6 - 2). Solve t - z = 4*t for t.
-3
Suppose z + 3 = -2*l, -2*z + 2*l = 3*z - 33. Let x(u) = -2*u - 18. Let v be x(-9). Solve z = -v*y - y for y.
-5
Let j be (-44)/(-33) - 4/3. Solve j = -f + 3*f for f.
0
Suppose -2*p + 2 + 2 = 0. Let i be (p/1)/(2 + 0). Solve -r + 2 = i for r.
1
Let x(r) = r**2 + r. Let i be x(1). Solve 2*t - 4 = -i*t for t.
1
Let l be (2/5)/(1/5). Let q(h) = h**3 - 2*h**2 + 3*h - 3. Let o be q(l). Suppose 3*k + 4*g + 0*g = 27, -2*k + 3*g + 1 = 0. Solve -k*i - 6 = -o*i for i.
-3
Let h be ((-3)/2)/3*0. Let k(l) = -l**3 - 8*l**2 + 10*l + 12. Let z be k(-9). Solve -3*b + z = -h for b.
1
Let z(u) be the first derivative of -u**2/2 + 9*u - 2. Let s be z(4). Solve 0*c + 5 = s*c for c.
1
Let u be 18/9*(-4)/1. Let p be 6/(-6) - u/2. Solve -1 + 13 = p*x for x.
4
Let m(x) = -x + 9. Suppose -3*w + 14 = 2*u - 3, 0 = w - 2*u - 19. Let q be m(w). Let g = q - 0. Solve -2*h + h - 2 = g for h.
-2
Let v be 10 - 1 - (-1 - -4). Suppose -2*r = r - v. Solve r*q + 0 = -4 for q.
-2
Suppose 0 = 2*p, -2*p = 5*n - 6*p + 25. Let d be (0 + 0)*(n + 4). Solve -y + 4*y = d for y.
0
Let h(g) = -7 + 9*g + 5*g**2 - 4*g**2 - 6*g. Let j be h(-5). Solve -f + 16 = j*f for f.
4
Let r be (4/3)/(4/6). Let o be r*3/(-12)*0. Let x be 32/2 + (-1 - 1). Solve 5*b - x + 39 = o for b.
-5
Let b be (-28)/14 - 2*-1. Let h(w) = -w**3 + w + 2. Let j be h(b). Solve t = -j*t + 12 for t.
4
Let b = -101 + 104. Solve b*k = -11 - 4 for k.
-5
Suppose 5*k - 5*b = -20, -3*k + 5*b = -k + 23. Let h be 9 - (k + 6/(-3)). Solve 5*d + 0 + h = 0 for d.
-2
Let y(c) = -5*c**2 + 6*c - 6. Let u(j) = -4*j**2 + 6*j - 5. Let p(k) = -4*u(k) + 3*y(k). Let d be p(5). Let g be (-4)/(4/d) + 2. Solve -g*q - 2 = 13 for q.
-3
Suppose 4*p - 8 = 0, 44 = h - 5*p - 0*p. Let g = h + -38. Solve 4*q + 4 = g for q.
3
Suppose -7*y = -2*y. Solve y = -4*p + 3*p for p.
0
Suppose 0 = q - 4*o + o + 8, 2*q + 4 = 3*o. Solve 2*b - 10 = q*b for b.
-5
Let x be 4 - (4 - (-6)/(-3)). Suppose -10 = -4*s + x*z, 2*s + 2*z = -0*s + 20. Suppose -4*v = -s*v. Solve -15 = 3*y - v*y for y.
-5
Let h(s) = s**2 - 5*s - 3. Let w = -14 + 20. Let k be h(w). Suppose k*t = 2*t + 8. Solve -t = 5*p + 2 for p.
-2
Suppose 4*z - 15 = v, -4*z + 2*z - 15 = -5*v. Suppose -4*b = 5*c - 14, v*b = 2*b + c + 20. Let i be (-2 + b)/(2/4). Solve i + 12 = -5*t for t.
-4
Let l be (3 - 3)/(-1 + -1). Suppose 2*w = -5*f - 0 - 4, f + 3*w = -6. Let b = f + l. Solve 0 = -p - b*p for p.
0
Let b = 23 + -16. Let x = b + -2. Let s = -3 - -5. Solve -x*p + 22 = s for p.
4
Let y(i) = i**3 + 6*i**2 + 5*i - 2. Let r be y(-4). Solve -n + r = -3*n for n.
-5
Suppose 0*m + 3 = 3*m. Suppose 51 = 5*b + m. Solve 0 = -2*g + 7*g - b for g.
2
Let z(f) be the third derivative of f**6/120 + f**5/20 - f**4/12 - f**3/3 + f**2. Let o = -8 - -5. Let s be z(o). Solve s = -i - 0*i for i.
-4
Let w(n) = -n**2 - 5*n - 3. Suppose 2*h - 9 = 5*h. Let j be w(h). Solve 0*r = -r - j for r.
-3
Suppose 0 = 2*f - 95 - 43. Let g be (-2)/(-5) - f/(-15). Solve -4*w = w + g for w.
-1
Let r = -6 + 8. Suppose -r*l + 23 + 23 = -2*p, -2*p + 74 = 4*l. Solve -2*j = 2*j + l for j.
-5
Suppose 8 = -z + 2*z. Suppose -3*o + 1 = -z. Suppose -2*g + 9 + 1 = 0. Solve -g = 2*v - o for v.
-1
Suppose 4*q + 2 = 2*d, -6*q = -5*q + 4*d - 22. Let s be (30/(-8))/(4/(-16)). Solve -g - q*g = -s for g.
5
Let k be 410/20 - (-1)/(-2). Let f = k - 19. Solve -2*d - 1 = f for d.
-1
Suppose 0 = -2*b + 5*b + 54. Let j(l) = -l**2 - 6*l + 1. Let t be j(-7). Let m be ((-10)/t)/((-2)/b). Solve -n = 4*n + m for n.
-3
Let c(d) = 1 - 9 - 3*d + 0*d + 2*d. Let y be c(-11). Solve 2 = -4*f + y*f for f.
-2
Suppose 2*y - 4 - 4 = 0. Let t(h) = 6 + 2*h**2 + 0*h**2 - 3*h**2 - 5*h. Let u be t(-6). Solve u*w - w = -y for w.
4
Let z = 0 - 0. Suppose z = -w + 6*w - 20. Solve 0*f - w*f = -8 for f.
2
Let j(n) = n - 11. Let s be j(11). Let k be (4 + -1 + s)*3. Let i = k - 5. Solve z + i = 2*z for z.
4
Suppose -3*u + u + 2 = 2*s, 5*u = 3*s - 3. Suppose -17 = -4*a - k, a - 2*a - 2*k + 6 = 0. Let g = u + a. Solve -2*o + 4 = -g for o.
4
Suppose 5*a = -0*a + 60. Suppose -10 = -2*v - 2, 5*x - a = -3*v. Let m(i) = i**3 - 8*i**2 - i + 10. Let l be m(8). Solve -l = -x*q + q for q.
-2
Suppose 0 - 24 = 4*m. Let b(x) = 4*x - 1 - 6 + 0*x**2 + x**2. Let w be b(m). Solve -5 +