
Let v = 16 + -9. Solve v*d = 2*d + 10 for d.
2
Suppose -4*o + 14 = -4*u + 6, 5*u - 20 = -o. Suppose 0 = 20*x - 12*x - 48. Solve j = u*j - x for j.
3
Suppose 0 = -5*y - 2 - 8. Let m(b) = -5*b**2 + 3*b + 1. Let o be m(y). Let u be (o/2)/(3/(-6)). Solve 0 = t + 4*t + u for t.
-5
Let z(l) = -l**3 + 4*l**2 - l + 2. Let p be z(4). Let h be -1*(11 + p)/(-3). Suppose 0 = 5*v - 10*v. Solve v = -h*b - 0*b - 9 for b.
-3
Suppose -a + 6 = 5*b - 16, 2*a + 16 = 2*b. Let s = 2 - a. Solve -n = -s*n - 16 for n.
-4
Let v = 5 + -1. Let l be 1/(-2) - (-2)/v. Solve 5*c - 2*c + 12 = l for c.
-4
Let p(x) = -1 + 4*x + 2 - 1 - 5. Let n be p(5). Solve -2*v - n = 3*v for v.
-3
Let s(i) = -10 + 7 - i - 10. Let m be s(-13). Solve 4*g + 32 - 12 = m for g.
-5
Let t = 9 - 2. Solve 4*z + t + 1 = 0 for z.
-2
Suppose 5*i - 12 = i. Suppose 2*a = -2*x + 2, -i*a + 2*x + 22 = a. Solve -a*v = 6 - 2 for v.
-1
Suppose -2*d + 12 = -0. Suppose -7*c + 3*t = -2*c - d, c = 4*t + 8. Let n be (c + -1 - -1)/(-2). Solve n = y - 2*y - 4 for y.
-4
Let z = -65 - -110. Suppose 2*l + l - z = 0. Solve -2*n = n - l for n.
5
Suppose -3*r = r - 16. Solve -r - 4 = 4*d for d.
-2
Suppose 3*b + 12 = 5*b. Solve -2*n - 2 - b = 0 for n.
-4
Let z be (-81)/(-15) + (-8)/20. Suppose -q + 0 = 2. Let d = z + q. Solve 0*v - 9 = d*v for v.
-3
Suppose 0*s - 5*s + 25 = 0. Suppose s*z - 17 = -2. Solve 0 = m + z*m for m.
0
Let o(q) = -q**3 + 13*q**2 + 15*q + 4. Let r be o(14). Let j be 174/r + (-6)/9. Solve 0 = 4*i - i - j for i.
3
Let x(b) = -4*b. Let m be x(-2). Solve -3*u + 2 = m for u.
-2
Suppose 10 = -n - 1. Let b(x) = x**2 + 8*x - 7. Let a be b(-8). Let s = a - n. Solve 0 = -i + 3*i + s for i.
-2
Let g = -4 + 9. Suppose -f = -0*f. Suppose f = g*n - 13 - 2. Solve -n*t = t for t.
0
Let d = 2 + -2. Suppose d = 3*u - 24 - 21. Solve -4*l = 5 + u for l.
-5
Suppose -2*v + v + 2 = 5*u, 0 = -4*v - 3*u - 9. Let d(y) = 0*y + y - 2*y. Let c be d(v). Solve -f - c*f = 4 for f.
-1
Let v(x) = -2*x + 8. Let l be v(6). Let y be l/(-8) + 5/2. Let s = 3 - y. Solve -3*b + b - 6 = s for b.
-3
Let r be ((-30)/40 - (-3)/4) + 0. Solve 2*b = -r*b for b.
0
Let j be 51/(-9) + (-2)/6. Let t = j - -19. Solve -5*h = 3 - t for h.
2
Suppose -3*k = k - 16. Suppose 3*s + 26 - 3 = 4*u, -19 = 3*u + 5*s. Solve -u*q = -k*q + 10 for q.
5
Let a be (-2 + 1)*0/1. Solve a = y - 5*y + 16 for y.
4
Let m = 126 - 124. Solve -2*x - m = -4*x for x.
1
Suppose -p = 3*p + p. Solve -5*o - 1 - 14 = p for o.
-3
Let r = -25 - -41. Let m be 20/8*r/10. Solve -m*o + 13 = -7 for o.
5
Let w be 8/(-2)*15/12. Let v = -3 - w. Solve -8 = v*p + 2*p for p.
-2
Let p = -47 + 49. Solve k = 2*k + p for k.
-2
Let v(l) = l + 3. Let f be v(3). Let j = f - 3. Solve 10 = -p + j*p for p.
5
Let f be -2*1/(-3)*-3. Let l = 5 + f. Suppose l*p = 3 + 3. Solve 4*d + p = -2 for d.
-1
Let k(m) = -m**2 - m. Let n be k(0). Solve 4 + n = 2*d for d.
2
Let h(j) = 2*j. Let x be h(1). Let o = 3 + -1. Suppose -5*m = -o*m. Solve m = b - x for b.
2
Suppose 0 = -3*q + 4 + 11. Let o(g) = g - 1. Let p be o(q). Solve p = 5*v - v for v.
1
Suppose 3*j = 11 + 4. Let u(q) = q**2 - q - 9. Let t(p) = -p**2 + 10. Let f(i) = -3*t(i) - 4*u(i). Let z be f(j). Solve -s - z = -0*s for s.
-1
Let s = 10 - 10. Solve 2*r = -s*r for r.
0
Let b = 2 + 3. Solve -n + 4 = b for n.
-1
Let n(i) = i**3 + 4*i**2 - 6*i - 5. Let p be n(-5). Let h(u) = u - 10. Let l be h(10). Suppose -3*k - 3*a = -3 - l, -4*a = 4. Solve p*o - o = -k for o.
2
Suppose 24 = 5*o + 4*i, -4*o - 7*i = -12*i - 52. Solve 4*u - o = -0 for u.
2
Suppose -3*r - 22 = -4*g, -22 = -2*g - g + 5*r. Solve -3 = -s + g*s for s.
-1
Suppose 7 = 4*x - y - 13, 4*x = -3*y + 4. Solve b - 20 = -x*b for b.
4
Suppose -3*z - 20 = -5*t, -3*t - 4*z + 12 = -8*z. Solve 0 = s - t for s.
4
Suppose -9 = -2*d - a, -4*d + 15 = -0*d - a. Suppose -v = -4, -2*r + v = -d*r + 20. Solve r*s + 8 = 4*s for s.
-2
Let u(s) = s**2 + 16*s - 17. Let z be u(-17). Solve z*m = -3*m + 9 for m.
3
Let x = 98 + -86. Solve 0 = -4*v - x - 0 for v.
-3
Let v(f) = 13*f + 37. Let t(l) = 9*l + 25. Let d(x) = 7*t(x) - 5*v(x). Let p = 1 + -8. Let m be d(p). Solve r = -m + 1 for r.
-3
Let r(p) = -p + 4. Let o(q) = q - 3. Let m(n) = -3*o(n) - 2*r(n). Let h(u) = u**3 + 6*u**2 + 6*u + 6. Let v be h(-5). Let j be m(v). Solve -2*b - b = j for b.
0
Suppose 12 = y - 4*y. Let i = y + 6. Suppose 3*c - 30 = -i*c. Solve -c = 2*a + 2 for a.
-4
Let t(u) = u - 4. Let i be t(7). Suppose -i*o = -2 - 19. Let m be (-13)/(-3) - (-1)/(-3). Solve -m*f - 5 - o = 0 for f.
-3
Suppose 0 = -3*r - 0 + 6, 4*r - 44 = -3*s. Solve s = -4*b + b for b.
-4
Suppose -k = -3*t + 3*k + 15, -5*t - k + 25 = 0. Solve -4*x - t = -1 for x.
-1
Let h be (-9)/15 - 4/10. Suppose 3*k = 8*k. Let g be (2 - 2)*(h - k). Solve -7*u + 3*u = g for u.
0
Suppose -3 = 3*l - 15. Solve 9*d - l*d = 0 for d.
0
Suppose 3 = 4*n - 5. Solve -n*p - 1 = -9 for p.
4
Let t = -1 + 0. Let v be (3/6)/(t/(-4)). Solve 6*u - 4 = v*u for u.
1
Suppose 0 = -10*i + 12*i. Solve 2*v + v = i for v.
0
Let g(w) = w - 13. Let v be g(7). Let t be v/(-1) - (1 - -1). Suppose 3*k - 50 = -2*k. Solve -t*l - l = k for l.
-2
Suppose 2*g = -g + 9. Suppose -g*v - v = -8. Solve -10 = -0*c + v*c for c.
-5
Suppose -44 = -3*z - 2*z + 3*x, -2*z = 3*x - 26. Suppose -4*o - o + z = 0. Let f(m) = 2*m - 2. Let a be f(o). Solve -a*b = 2 - 10 for b.
4
Let y = 31 + -19. Let k = y - 9. Suppose 0 = d + k*q, -3*q + 12 = 2*d + 3. Solve 0*n + 3*n - d = 0 for n.
3
Let x(b) = -3*b - 4. Let d be x(-3). Suppose d*q - 3 = -13. Let h be (3 + -2)*(5 + q). Solve 4*n - h*n = -1 for n.
-1
Let n = 74 - 68. Solve n = -5*g + 7*g for g.
3
Suppose -v = 4*v. Solve -2*k + 3*k - 2 = v for k.
2
Suppose 0*u = 4*u + 2*n - 112, 5*n - 118 = -4*u. Let g = u - 19. Suppose 0 = -3*z - z + g. Solve z*x - 5 = 3 for x.
4
Let p(o) = -4*o + 1 + 0*o + 2*o**2 + 2*o. Let b be p(2). Suppose b*n + v + 0*v = 16, -5*n + 3*v = -32. Solve 2 = -2*m - n for m.
-3
Let m = -6 + 8. Suppose 2*s - 22 = -3*u - 0*u, -16 = -2*u - m*s. Solve u + 19 = 5*w for w.
5
Let w be -1 + ((-4)/(-1))/1. Let f(y) = -y**3 + 6*y**2 - 3*y - 3. Let v be f(5). Let r be -4 + 2 - (1 - v). Solve 0 = -z - w*z + r for z.
1
Let u = -9 + 14. Solve u*y = -2 - 18 for y.
-4
Suppose 3*m - 130 = -10. Suppose 4*l = -3*o - 20, o - 5*l = 6*o + m. Let f be 9/o - 6/(-8). Solve 0*i + 3*i - 12 = f for i.
4
Let k = 10 + -9. Let g be -2 + (1 + 1)*k. Solve g = -3*x - 19 + 7 for x.
-4
Let b(v) = -16*v**2. Let w be b(1). Let u = -13 - w. Solve u*r = 14 + 1 for r.
5
Let m(i) = i - 9. Let g be m(7). Let o be (g/6)/((-8)/432). Solve -5*s - o = 2 for s.
-4
Suppose 2*a + 0*a + 30 = 0. Let z = a + 21. Let m be (8/z)/((-4)/(-6)). Solve m*g = g for g.
0
Let b be 15 - (-1 - -4 - 3). Suppose 0 = 13*z - b*z. Solve 5 = u - z*u for u.
5
Let h(z) = -z**2 + 7*z - 3. Let o be h(6). Let k(c) = 22*c - 82. Let x(r) = 9*r - 33. Let u(l) = 5*k(l) - 12*x(l). Let p be u(12). Solve 8*v - p = o*v for v.
2
Let g(x) be the third derivative of -x**4/24 - x**3/3 - 9*x**2. Let y be g(-5). Solve 8 = y*o - 5*o for o.
-4
Let p be (2/2 - 1)/2. Let x be (-12)/(-4) - (p - 0). Solve x*u - u = 2 for u.
1
Suppose 0 = 3*a + 12 + 6. Let y = 22 - 13. Let x = y + a. Solve p - x = 2*p for p.
-3
Suppose a - 5 + 3 = 0. Suppose 4*s - 2 = a. Solve 4*o - 3*o = s for o.
1
Let h(r) = -r - 3. Let p be (3 - 5) + 1 - 5. Let x be h(p). Solve 0 = -8*b + x*b - 20 for b.
-4
Suppose -5*x = 1 - 6. Suppose -4*m + o + o + 2 = 0, 3*o = 2*m + 9. Solve -h + m = x for h.
2
Let o(j) = j**2 - 4*j + 3. Let h be o(4). Solve 0 = -u - h for u.
-3
Let b = -2 + -7. Let g = -9 - b. Solve g = 2*s - 4*s + 6 for s.
3
Let q(k) = 2*k**2 - k + 1. Suppose -d + 2 = d. Let y be q(d). Solve 0 = j + j + y for j.
-1
Let v be (-1 + -3)*6/(-24). Let k be (-2)/(-7) - (-38)/14. Suppose 0 = -k*o + 5*b - 6, 5*o - 10 = 2*b - v. Solve 0*c + o*c - 9 = 0 for c.
3
Let w(y) = -y**3 + 4*y**2 - y + 3. Let z be w(4). Let n = -1 + 0. Let h be z*(-2 - n/(-1)). Solve 17 = -5*d - h for d.
-4
Let m(i) = 6*i + 12. Let p be m(-2). Solve -2*c - c - 6 = p for c.
-2
Let a(t) = t - 6. Let v be a(8). Suppose 0 = 3*f - 4*f + v. Solve -2*n + 6 = -f for n.
4
Suppose -4*m + 8 = -2*m. Let j be 2 + 6*(-3)/3. Let d be (-33)/j - 1/m. Solve -5*p = -p - d for p.
2
Suppose -j - 2 = -2*j. Suppose -j = -5*a + 8. Solve a*q - 2 = 4*q for q.
-1
Let t be 