 Solve k = -d*f - 0*f for f.
-4
Suppose 2*z = 4*z - 2*u, z + 4*u = 0. Solve z = 5*r + r + 6 for r.
-1
Let l = -39 - -40. Solve -2*q + 5 = l for q.
2
Let j(g) = -g**3 - g**2 - 2*g - 4. Let w be j(-2). Solve -4*s + 2*s - w = 0 for s.
-2
Let t be 9 - 1*4/10*-10. Solve -5*x + t - 38 = 0 for x.
-5
Suppose -7 = 2*f - 17. Let u = -2 + f. Solve j + 12 = -u*j for j.
-3
Suppose 0 = 4*r - 4*s + 7 + 9, r = 5*s. Let g(m) = m**2 + 6*m - 7. Let z be g(r). Let q = -3 - z. Solve q = -0*v + 3*v for v.
3
Let l(c) = c**2 + 2. Let t be l(0). Suppose 5*n - y = -t, -5*n + 2*n = y - 2. Let d(j) = -j**3 - 5*j**2 + 5*j - 4. Let x be d(-6). Solve n = k + x*k for k.
0
Let d = 5 + 2. Suppose -a = 5*f + 23, 0 = -d*a + 2*a - 4*f - 10. Suppose -4*u = -r + 2*r - a, r = -5*u + 3. Solve -2*q = -q + u for q.
-1
Suppose 2*j = -20 + 24. Solve 3 = j*u + 1 for u.
1
Let s(x) = 2*x - 5 + 6*x - x**2 + 14. Let c be s(9). Solve -2*a - 2 = -c for a.
-1
Let o(f) = f**3 + 7*f**2 + 4*f - 7. Let q be o(-6). Suppose q*m = -15, 4*l + 0*l + 5*m - 5 = 0. Solve -l*z - 6 - 9 = 0 for z.
-3
Suppose -3*j + 14 = -2*o, 4*j + 3*o - 18 = 5*o. Solve 0 = j*i - 9*i for i.
0
Suppose 5*n = 2 + 23. Suppose -n*v + 15 = -15. Let r = 7 - v. Solve -i - 6 = -r for i.
-5
Suppose 3*c + 1 - 22 = 0. Solve c = -5*w + 32 for w.
5
Let v = 23 + -12. Let y(k) = k**2 - 10*k - 3. Let p be y(v). Solve 0 = 4*q + 4 + p for q.
-3
Let w = 8 - 12. Let f(m) = m**2 + 4*m + 6. Let p be f(w). Solve -2*i = -4*i - p for i.
-3
Let j be ((-8)/(-6))/((-12)/(-126)). Suppose 5*v - 15 = 2*l, 4*l - 4*v - j = -74. Let t be l/6*3*-2. Solve -2*y = -7*y - t for y.
-4
Suppose 0 = -13*o - 2*o. Let w(g) = -g**3 + 3*g - 4. Let q be w(-3). Solve -5*i - q - 1 = o for i.
-3
Suppose -5*o + 2 + 6 = -4*f, 4*f = 2*o - 8. Let l = 19 + -27. Let w be (0*(-4)/l)/(-2). Solve w*u + u = o for u.
0
Let j = 43 + -39. Solve -j*s = -s for s.
0
Let l(z) = -z**2 + 8*z + 3. Let u be l(8). Solve -t = -u*t + 8 for t.
4
Suppose 33 - 13 = 10*f. Solve 4*m + f = 6 for m.
1
Let w(p) = p**3 + 11*p**2 + 10*p + 1. Let a be w(-10). Solve -1 = v + a for v.
-2
Let i(w) = w**2 - 3*w - 16. Let b be i(6). Solve 0 = -n - b*n - 12 for n.
-4
Let k(o) = o**2 + 8*o + 8. Let i be k(-8). Suppose 0 = -2*r + m - 0*m, 4*m = i. Solve -r = -2*a + 1 for a.
1
Suppose -3*d - 4*d + 42 = 0. Solve -25 = -d*g + g for g.
5
Let h(j) = -3*j**2 + 2*j - 2. Let s(x) = 1. Let c(m) = -h(m) - 3*s(m). Let f be c(-2). Solve -r - 4*r + f = 0 for r.
3
Let y(q) = -q - 4. Let a be y(-6). Solve -h - 5 = -a*h for h.
5
Let c be (-10)/(-1) + -3 + 2. Let o = 2 + 1. Suppose o*l - c = q, -5*q + 2*q - 3*l + 21 = 0. Solve -10 = q*b - b for b.
-5
Suppose -2*s + 3*s - 4 = 0. Suppose -w - 6*k - 2 = -s*k, 4*k + 8 = 0. Solve -x = -4 + w for x.
2
Suppose m + 3*s = 5, 2 + 3 = -5*s. Suppose 0 = i + 2*v - v - m, 2*i = 5*v - 19. Solve -3*c = -i - 0 for c.
1
Let s = 2 + -2. Let a be 1/2*0 - s. Solve -5*l = -a*l - 10 for l.
2
Let a(l) = l**2 - 4*l. Let h be a(4). Solve h = 3*p - 7*p for p.
0
Let j(y) = y**2 - 4*y + 3. Let f be j(3). Suppose -q - 17 = -3*q - t, -t + 1 = f. Solve w - q = 3*w for w.
-4
Suppose v + 4*t = -2 + 15, 2*v + t = 5. Let m be 8/((-2 + v)/(-2)). Solve -4*b + m = -4 for b.
5
Let i(w) = 4*w - 9. Let p be i(6). Let t = p - -1. Let r = t + -10. Solve 2*h + r = -0*h for h.
-3
Let o be 1 + (0 - (-1 + 2)). Suppose i = -10*i + 22. Solve 3*x - i*x + 1 = o for x.
-1
Let c be -1 - (-2 - 7)*1. Suppose -2*r - 14 = -4*z, 3 = z - 2*r - c. Solve 4*v + z - 5 = 0 for v.
1
Let w(p) = 4*p - 5. Let v(a) = -a. Let m(y) = 3*v(y) + w(y). Let z be m(9). Suppose 3*x - 8 - 22 = 4*i, z*x - 5*i - 39 = 0. Solve -o = o + x for o.
-3
Suppose -7 + 1 = w. Let m = -4 - w. Let a be (m + 1)/(6/4). Solve -a*i + 2 = 12 for i.
-5
Suppose 0*l + 5*l - 5*m - 20 = 0, 10 = 4*l + 2*m. Solve -l*w = -w for w.
0
Suppose 4*d - 16 = -4*t, -2*d = 3*t - 3*d + 4. Solve -2*f - 9 + 3 = t for f.
-3
Suppose -4*k + 2 + 22 = 0. Let a be (-2 + 4)*(-9)/6. Let u be (-3)/(-3) - (-1 + a). Solve k*i = i + u for i.
1
Suppose j + 5 = 2*j. Suppose 6*f - 2*f + 5*c - 29 = 0, f = 4*c + 2. Solve -j*m + 1 = f for m.
-1
Let h be (-6)/14 - 374/(-154). Solve 0 = f + 2 + h for f.
-4
Suppose -4*w + 2*r = 12, 5*w - 2*r + 7*r + 15 = 0. Let j = 1 - w. Suppose j*x - x - 15 = 0. Solve -6 = x*k + 4 for k.
-2
Let h be 2/6*15/1. Suppose h*z + 14 = n - 10, -16 = -2*n + 2*z. Suppose 8*x - n = 3*x - 4*v, 5*v = 4*x + 5. Solve -10 + x = 2*q for q.
-5
Let d = 12 - 6. Let t be (d/8)/(2/24). Solve -4*c + 1 = t for c.
-2
Let j be ((-16)/(-20))/(6/30). Solve -j*x - 25 + 5 = 0 for x.
-5
Let g = 4 + 0. Solve 0 = -n + g - 2 for n.
2
Let v(u) = 10*u**2 - u. Let p be v(1). Let r = 14 - p. Solve 0 = r*o - 15 - 10 for o.
5
Let i be 60/(-27) - (-10)/45. Let d be 14/(-63) + i/(-9). Solve d*r + 5*r = -5 for r.
-1
Suppose 30 = 3*g - 2*p - 3*p, 4*p = 0. Solve 4*s - g = -s for s.
2
Let b be 15/(-6)*(-8)/10. Suppose 0 = -5*q - 2*r, 3*r + 26 = b*q + 7. Solve -3*x = q*x - 15 for x.
3
Suppose -m = -4 - 0. Suppose m*r - 1 = 23. Solve z + 20 = r*z for z.
4
Let n(q) = q**3 + 3*q**2 - 5*q + 3. Let b be n(-4). Suppose 3*r - 1 = -16. Let o = b + r. Solve -3 - 5 = o*a for a.
-4
Let w be 4/(-6) - 16/(-6). Let i be 1 + (1*6)/w. Solve i = s - 2*s for s.
-4
Let y(x) = -x**2 - 8*x - 6. Let v be y(-6). Let a(q) be the first derivative of q**4/4 - 5*q**3/3 - 2*q**2 - 4*q + 1. Let c be a(v). Solve -2*h + c = 2*h for h.
2
Suppose 12*a = -3*a + 30. Solve -5*f + 3*f = a for f.
-1
Let z = -21 - -27. Solve -7*c = -z*c for c.
0
Let b(o) = 3 + 1 - 2*o - 1 - o**2. Let h be b(-3). Suppose 4*l + 0*l - 8 = h. Solve l = -j - 1 for j.
-3
Let u be 0 + ((-6)/(-3))/1. Suppose -u*m = -r + 3*m + 4, 15 = 2*r - 3*m. Let v = r - -9. Solve 4*s - 2 = v for s.
5
Let p(m) = 2 - m**3 - 3*m + 0*m + 0*m**2 + 4*m**2. Let z be p(3). Solve z*y + 10 = -0*y for y.
-5
Let t = 39 - 21. Suppose 6 = -4*i + t. Suppose 4*s - 2 - 14 = 0. Solve -w = -s*w - i for w.
-1
Suppose 2*x - x = -5*j - 41, 26 = -3*j - 2*x. Let i(z) be the first derivative of -z**3/3 - 9*z**2/2 + 3*z + 1. Let o be i(j). Solve -o = 4*y + 5 for y.
-4
Let s(f) = -f**3 - 2*f**2 - 3*f - 4. Let b be s(-2). Solve 2*w = -0*w + b for w.
1
Suppose 2*q + q + 5*c - 27 = 0, 2*q - 5*c = -7. Solve 2*i = 3*i - q for i.
4
Suppose 4*b + 32 = -5*d, d - 1 = -b + 2*d. Let g = b + 6. Suppose 5*s - g = k, -2*s + 15 = -8*k + 3*k. Solve -p + 2*p - 1 = s for p.
1
Let q(o) = -4 - o + 0*o**2 + o**2 + 1. Let k be q(0). Let a = k + 6. Solve -c = -4 + a for c.
1
Let k(s) = -s**2 + 12*s + 5. Let u be k(12). Solve -u*q + 3*q = -8 for q.
4
Let k = -8 + 13. Let a be (-3)/(-3) + k + -1. Suppose -4*p + 3*w + 18 = 0, -5*p = -4*w - 5 - 18. Solve 0 = p*b - 4*b + a for b.
5
Let o = -172 + 188. Let c(x) = x**2 + 5*x. Let i be c(-6). Solve -i*q + o = -2*q for q.
4
Suppose 4 = -0*c - 2*c. Let w be ((-4)/(-3))/(c/(-3)). Suppose 2*a = -w*a + 12, 3*a - 12 = -x. Solve v - x*v - 2 = 0 for v.
-1
Let x = 13 - 11. Solve -3*b = x*b for b.
0
Let a be 27/(-18)*(0 - 4). Let l(i) = i**3 - 2*i**2 - 3*i - 5. Let o be l(4). Suppose 2*s - 4*y - 8 - a = 0, 5*y - o = -4*s. Solve 3*u = 2*u - s for u.
-5
Let t = 13 + -25. Let h(n) = n + 16. Let r be h(t). Solve -4 = -r*y - 0 for y.
1
Let t be -5 + 0 - (5 - 3). Let d be (1 - 0)*(-3 - t). Solve -5*i = -d*i for i.
0
Suppose -35 - 1 = -3*z. Solve 3*a - z = -0*a for a.
4
Let d be 5/25 + (-44)/(-5). Let i(n) = n - 4 - 2 + 2. Let h be i(d). Solve q = h*q for q.
0
Suppose 13*x + 7 = 33. Solve -x*c + 4*c + 2 = 0 for c.
-1
Suppose -3*s + 10 = -5*a, 4*a - 3*s + 1 = -4. Let w(b) = -2*b - 9. Let h be w(a). Solve 2*r - h - 1 = 0 for r.
1
Let r be (-4)/(-10) - 108/20. Let y = r + 6. Solve -v + y = -0 for v.
1
Let t(l) = -l**2 + 4*l + 5. Let r be t(5). Suppose r = p - 3*p. Solve 3*k - 2*k = p for k.
0
Let u be 4/((-32)/(-20))*2. Solve -v - 3 = -u for v.
2
Suppose 5*n = 2*s - 3*s + 54, s = -4*n + 44. Let p be (12/n)/((-3)/(-15)). Suppose -2*w = -3*j - 1, -2*j + p = 4*w - 20. Solve -j*c + 4*c = 0 for c.
0
Let p(m) = 2*m**2 + 4*m - 3. Let u be p(-3). Suppose 3 - 9 = 2*k, -5*g + 2*k = -36. Suppose -u*z - 4 + g = -j, 2*z = -4*j - 8. Solve -3 = i - z for i.
-3
Let k = -1 + 3. Solve -4 = -2*z + k for z.
3
Let d be 7/(1*(1 - 0)). Let x(g) = -g**2 + 8*g - 7. Let f be x(d). Solve f*q - 6 = -3*q for q.
2
Let n = -57 - -60. Let k(u) = u + u**3 + 3*u**3 