
Let j = 2 - -1. Let b = 15 - j. Let z = b - 1. Solve -5*f - 31 = -z for f.
-4
Suppose -140 = -5*t - m - 2*m, 5*t - 140 = -2*m. Let o be 150/14 - (-8)/t. Suppose 1 - o = -2*c. Solve -c*v = -v for v.
0
Let q(k) = -k + 6. Let u be q(3). Suppose 2*i = 2*s + u*i + 1, 0 = -s + 2*i - 13. Let z be 0/(-1*(-1 - s)). Solve z = -3*l + 5*l - 8 for l.
4
Suppose 0 = -g + 3 - 24. Let p = 14 + g. Let y = p + 11. Solve k + y*k = 0 for k.
0
Let h(a) = a**2 + a - 4. Let w be h(0). Let b = w + 5. Let m be (1 - b) + (-88)/(-4). Solve 5*x + 2 = m for x.
4
Suppose 3*d = 23 + 16. Solve 5*v = d + 12 for v.
5
Let r(u) = 4*u**2 + 2*u - 1. Let x be r(2). Suppose -9*k + x = -8*k. Solve 4*t - 1 - k = 0 for t.
5
Suppose 14 = 4*i - 2. Suppose 8 = i*j - 12. Let v be 1/(-1) - (0 - 4). Solve 4*a + j = -v for a.
-2
Suppose -4*g + 26 = 4*w + 6, 2 = -2*g + 4*w. Suppose 6 = -j + 3*j. Solve 12 = j*f + g for f.
3
Suppose 0 = s - 5*s. Solve -2*p + s*p = 0 for p.
0
Let m be (2/(-4))/((-13)/26). Solve 2*s - 5 + m = 0 for s.
2
Suppose 0 = -w + 2*r + 5, 3*w - 5*r - 11 = -0. Let k be (-25)/w - 3/9. Solve 3*p + k = p for p.
-4
Let h = 4 - 2. Suppose -b = -h*b + 3. Let w = 1 + 1. Solve -w = -v - b for v.
-1
Suppose d - 2*d - 25 = 5*i, 3*d - 4*i = 20. Let v = 4 - d. Solve -2*j + v*j - 2 = 0 for j.
1
Let n = -2 + 1. Let c be (1 - n) + (-1)/(-1). Let k(o) = o**2 - 8*o + 10. Let m be k(7). Solve c*f + 0 = m for f.
1
Let n be (2/2)/((-3)/(-33)). Solve 5*s + 4 + n = 0 for s.
-3
Let i(h) = -h**2 + 10*h + 29. Let s be i(12). Solve -s*v - 9 = 11 for v.
-4
Suppose 8*v + 5 = 3*v. Suppose -2 - 1 = 3*z. Let y = v - z. Solve d = -y*d for d.
0
Let f = -14 - -14. Let z be ((0 + f)/3)/(-2). Solve 0 = -z*d - 3*d + 9 for d.
3
Let l be -1 - 0 - (-1 - 0). Let q be 6/(-15) + 10/25. Solve q = -l*p + p for p.
0
Let v(c) = -c**3 + 11*c**2 + 15*c + 2. Let d be v(12). Let r = -5 + -22. Let p = r + d. Solve 0 = -3*s + p + 1 for s.
4
Let v be -1 + (-7)/(21/(-72)). Let a = v + -10. Solve 0 = -5*o + a + 7 for o.
4
Let i(c) = 2*c**2 - 13*c - 7. Let y be i(7). Solve -x - 3 = -y for x.
-3
Suppose a - 5*g + 67 = -2*a, 0 = a - 2*g + 24. Let m = -10 - a. Let n(w) = w + 8. Let b be n(7). Solve -z - b = m*z for z.
-3
Let t = -152 + 156. Solve 8 = 8*a - t*a for a.
2
Let k = -5 - -5. Let w be (k - 0/(-2))/(-1). Let r be 1 - -2*(w - -1). Solve b = -r*b for b.
0
Suppose 2 = 2*f - 0. Let p(u) = u - 1. Let a be p(4). Solve a*s = 2*s - f for s.
-1
Let y(u) = -u**3 + u**2 - u + 5. Let r be y(0). Solve 0 = -r*z - 5 for z.
-1
Suppose 5*i = 2*i + 12. Let x(s) = -s + 8. Let q be x(5). Solve i*v - 1 = q for v.
1
Let h = 33 - 30. Let n(g) = 4*g**2 + 2*g. Let x be n(-2). Suppose 0*w = -4*w + x. Solve w*c - h = 12 for c.
5
Suppose 0 = -u - 3*u - 5*c - 12, 12 = -4*u - 2*c. Let d = 7 - u. Solve 0*o - 2*o - d = 0 for o.
-5
Let t(r) = r**3 + 6*r**2 - r - 5. Suppose -m = 2*m + 18. Let n be t(m). Let i be n/(3/(9 + 0)). Solve -o + i = -4*o for o.
-1
Let g(s) be the first derivative of s**6/40 - s**4/12 + s**3/6 - s**2 + 2. Let d(v) be the second derivative of g(v). Let t be d(1). Solve -t*m + 3 = -m for m.
3
Suppose m + 3*m - 20 = 0. Suppose -5*f = 4*o - 22 - 4, -3*f + m*o - 14 = 0. Suppose l - 2*l - 4*s - 1 = 0, -4 = -3*l - 5*s. Solve f = -l*k + 2*k for k.
-2
Let t(n) = -n**2 + 9*n - 8. Let u be t(6). Solve -h - h - u = 0 for h.
-5
Let i be 1/((-2)/(-20))*-1. Let h be i*(-1 - 3/(-5)). Solve 7 = -h*j - 1 for j.
-2
Suppose -2*f + 5 = 3*f - k, -3*k = -2*f - 11. Suppose 4*y - 10 = v, f = -4*v + 4*y - 2. Let u be (0 - -2)*(-3)/(-2). Solve -v*g = -7 + u for g.
2
Let l = 10 - 4. Let y be (-2)/(3/((-27)/l)). Suppose -4*z - 13 = y*r - 81, -20 = 5*r. Solve 6*i - z = i for i.
4
Let z = -8 - -9. Let t = 3 - z. Solve 0 = t*n + 3*n for n.
0
Let j be (-336)/(-98)*(0 + 7/2). Solve -3*n + j = n for n.
3
Let b(t) = 2*t**2 + 2*t - 7. Let o be b(-3). Solve -o = -5*l + 10*l for l.
-1
Suppose -3*u = -w - 11, 28 = 4*u - 2*w - 2*w. Let k = u + -1. Let b = k + -1. Solve 0 = 2*g - b*g for g.
0
Let c(j) = 2*j - 1. Let y be c(2). Solve y*n + 2 = 5 for n.
1
Let z = -66 + 67. Solve -j - z = -0*j for j.
-1
Let w be (1 - 1)/(8 + -7). Suppose w = 5*t - r - 19, -2*r = -8*t + 3*t + 23. Solve t*z = 2*z for z.
0
Let p(o) = o**3 - 7*o**2 + 2*o - 7. Let y be p(7). Solve 0 = 3*j + 8 + y for j.
-5
Let a be -1*0*(-1)/4. Let w be (6 - 3 - -3) + a. Solve 2*g = w*g for g.
0
Let y be 1 + 1 + -1 + -7. Let l(j) = -j + 5. Let m be l(8). Let h = m - y. Solve 0 = h*u + u - 20 for u.
5
Let v(g) = -g**2 + g. Let p(b) = -5*b**2 + 6*b - 7. Let s(t) = -p(t) + 6*v(t). Let y = 3 + -3. Let c be s(y). Solve 4*q = 3 - c for q.
-1
Let b(l) = 2*l + 2. Let x be b(2). Suppose 2 = -o + 4*f - 8, -3*o - x = -4*f. Solve 3*y - o*y + 4 = 0 for y.
-4
Let q(b) = 3*b**2 + 2*b + 1. Let k be q(-1). Suppose -k*p = -58 + 12. Let n be p - (6/1)/3. Solve 1 = 4*o + n for o.
-5
Let r(u) = u**2 - 2*u - 5. Let s be r(4). Suppose 7*d - 2*d - 21 = -2*w, 5*w = -2*d. Suppose 0 = d*c + s*y - y - 110, -y = c - 25. Solve 0 = 6*l - l + c for l.
-4
Suppose -2*y - 50 = -12*y. Let k = -12 - -7. Let u be (-4)/20 - 1/k. Solve u*a = a + y for a.
-5
Suppose 0 = a + 4*k - 11 - 0, -5*a = -5*k - 5. Solve a*v - 20 = 7*v for v.
-5
Suppose 3*j + 12 = -j. Let t(k) = -k - 3. Let h be t(j). Suppose -4*z + 2*z = h. Solve z = -4*m + m - 6 for m.
-2
Let p = -3 - -4. Let s be (-1 - -1) + (4 - p). Solve 0 = -s*i - 12 for i.
-4
Let w be -4*(-4 + 35/10). Solve l - w*l - 5 = 0 for l.
-5
Suppose 0 = -3*g + 2*g. Solve g = a + 4 for a.
-4
Let z be (-2)/(-4)*(4 - 4). Suppose z = -8*k + 5*k. Solve 1 + k = v for v.
1
Suppose c + 3*c = 0. Let n be 3 + 1 + 1*-2. Solve c = a - n*a for a.
0
Let m(p) = -4*p**2 - p. Let q be m(-2). Let z be q/4 + (-9)/(-6). Let t be 28 - ((-1 - z) + 2). Solve -6*l = -l + t for l.
-5
Suppose -5*j + 39 = -2*j - 3*k, -3*j = 2*k - 24. Solve -j = -4*d + 2*d for d.
5
Suppose -4 = -2*t - v, -6*v = -3*t - 2*v + 17. Suppose 15 = -t*m, -h + 2*m + 0*m - 4 = 0. Let j = -4 - h. Solve 3*n - 1 = -j for n.
-3
Suppose 5*k = -5*t, -4*t - 3 = 2*k + 3. Suppose m - 8 = -7*a + 2*a, -5*m - 2*a = -40. Solve k*i - 25 = m*i for i.
-5
Suppose 4*z - 7 = 7*z + 4*l, 24 = 4*z - 3*l. Solve -z*w = -0*w + 12 for w.
-4
Suppose -4*q + 2*q = -2. Let s = 3 - q. Solve -r + 2*r = s for r.
2
Let d = 7 + -1. Let k be (-1)/d*-2*3. Let a = -3 - -4. Solve 2*w - a = k for w.
1
Let f = 18 - -2. Let i(d) = d**3 - 5*d**2 + 2*d + 3. Let x be i(4). Let q = x + f. Solve 2*c + q = -c for c.
-5
Suppose 5*i + 4*y = 37, 5*i - y = -4*y + 34. Solve 3 = i*v + 8 for v.
-1
Let h be (-95)/10 + (-2)/4. Let c be (h/(-15))/((-4)/(-42)). Solve 3*r + c + 2 = 0 for r.
-3
Let o = 29 - 17. Solve o + 3 = -5*w for w.
-3
Let f = -77 - -82. Solve 3*x + f = -4 for x.
-3
Let o = 77 + -74. Solve 7 + o = -2*k for k.
-5
Let z be (-3)/(-4 + -1 + 4). Suppose 0 = -4*q + 3*i - 1, 2*q + i = -0*i - z. Let s be (-4 + q + 2)/(-1). Solve -4*y = -1 - s for y.
1
Let f be ((-2)/(-7))/(5/35). Let l = f - -1. Suppose -5*m - y - l*y + 21 = 0, m - 9 = 4*y. Solve -b = -6*b + m for b.
1
Let n(g) = g - 5. Let y be n(-11). Let f = -10 - y. Solve f = 4*i - i for i.
2
Let g = -8 + 16. Let o = g + -5. Solve o*p + 7 = -8 for p.
-5
Let v = -2 + 7. Let f(t) = -3*t**3 - 2*t - 2. Let i be f(-1). Solve i*x = -2*x + v for x.
1
Let r(h) = -h + 8. Let c be r(7). Let x(s) = 4*s - 5*s**2 - 3*s**3 + 3 + 2*s**2 + 2*s**3. Let k be x(-4). Solve -k*l + 2*l = -c for l.
1
Suppose 36 = 3*x + 3*y, -3*y = 4*x - 32 - 12. Let z be 4*4/x*1. Solve -3 = -3*j + z*j for j.
3
Let v(i) be the second derivative of -2*i + 0 - i**2 + 1/3*i**3. Let h be v(2). Solve 0 = 5*t - h*t + 6 for t.
-2
Let r be 36/3 + 4 - 1. Solve 0 = -5*l - r - 0 for l.
-3
Suppose -3*y + 8 = 2. Suppose -1 = 4*m + 3*d, -m - 4*d + y*d - 4 = 0. Solve m*o + 3*o - 5 = 0 for o.
1
Let a(p) = p**3 + 7*p**2 + 7*p + 6. Let v be a(-6). Let c be 5 + 2 + -3 + v. Solve -r + 2 = c for r.
-2
Let r(w) = w**3 + w**2 - w + 1. Let t be r(1). Let l(y) = y**3 - y**2 - 3*y + 3. Let n be l(t). Let j = 3 - n. Solve -j*x + 4*x = 0 for x.
0
Suppose 0*w = 3*w - 15. Let u = 10 - w. Solve 4 = u*c - 1 for c.
1
Suppose -7*j + 2*j = 0. Suppose -4*i - 3*m - 9 = j, -3*m = -5*i - 4*m - 3. Suppose -2*n - 2*n = i. Solve 0*y + y + 2 = n for y.
-2
Let v be -4 + -5*8/(-10). Solve -u + v*u = -1 for u.
1
Suppose -8 = -2*a, -5 = -v - 2*a +