et b be g(5). Solve -v + 0*v + 3 = b for v.
3
Let q be 2/(-1)*(-10)/4. Let k = -3 - -2. Let i = q + k. Solve 0 = i*u - u + 9 for u.
-3
Suppose -8 - 10 = -3*m. Solve 3*r - m = 6 for r.
4
Suppose 3*g - 4 - 14 = 3*r, 2*r = -2*g + 12. Solve -y - y = g for y.
-3
Let q = 165 + -157. Solve q = -2*b + 2 for b.
-3
Let x(f) = -f**2 + 3. Let o(b) = b - 1. Let k(a) = 2*o(a) - x(a). Let c be k(-4). Suppose -c*j - 2*j = -50. Solve 3*v + 2*v = j for v.
2
Suppose 0 = -3*m - 5*o + 25, -m - 11 = -4*o - 42. Suppose n = 4 + m. Let i = -3 + n. Solve 8*d - 4*d = i for d.
4
Let m = 25 + -22. Solve -1 = w - m for w.
2
Suppose 0*n + 4*n = 8. Suppose -5*w = 2*j + 5, -4*w = -3*j - n + 6. Let z be (-5)/(-20) + w/4. Solve f + 2 = -z*f for f.
-2
Let o(b) = 2*b**2 - 4*b + 5. Let w be o(2). Let u = 2 - 1. Let g = 2 + u. Solve -z - g + w = 0 for z.
2
Suppose 2*n = 7*n. Solve -k - 2*k + 3 = n for k.
1
Suppose 29 = 4*o + w, 3*o + 3 = o + 3*w. Solve o*k = 3*k for k.
0
Let j(d) = 2*d**3 - d**2 - d. Let h be j(-1). Let a be ((-8)/10)/(h/55). Suppose 5*l = -7 + a. Solve -b - 6 = -l*b for b.
3
Let i be 8/12*(2 + 1). Let a = 4 - i. Solve -a*u - 3 = 5 for u.
-4
Suppose 2 = 37*k - 36*k. Solve -k*f - 3*f = -20 for f.
4
Suppose -7*h + 2*h = -3*g - 49, -4*g - h = 27. Let n be (-4)/g - (-2)/(-4). Let j(q) = -q + 2. Let r be j(n). Solve -5*m = -r*m - 3 for m.
1
Let o be (-6)/(-4) + 1/2. Suppose -p + o*p - 10 = 0. Solve j + 4*j = p for j.
2
Let l(z) = -z**2 + 5*z - 6. Let t be l(4). Let o = 4 + t. Suppose h = -o*h + 9. Solve -2*n - 15 = h*n for n.
-3
Let k(z) = z**2 - 2*z + 1. Let n be k(0). Solve 2*o - 3*o + n = 0 for o.
1
Let f(m) be the third derivative of -m**5/60 + m**4/3 + 2*m**3/3 + 2*m**2. Let k be f(6). Suppose q + 3*q = k. Solve -q*b = -0*b + 16 for b.
-4
Let z(f) = 2 - 4*f + 4*f + 3*f - 4*f. Let g be z(2). Solve g = -5*a + a + 20 for a.
5
Suppose -2*o = 2 - 26. Let w be 1/2*2 + o. Solve 5*z - 7 = w for z.
4
Suppose -5*w = -17 - 8. Suppose -4*t = 3*d - 7, -6 = 5*t - w*d - 41. Suppose 20 = t*u + u. Solve -v = -0 - u for v.
4
Let g be -52*(10/4 - 3). Suppose 0*k - 6 = 3*j - 3*k, -4*k = 5*j - g. Suppose j*m - 8 = -2*r, m = 3*r + 3*m - 15. Solve 0 = 4*w - 1 - r for w.
2
Suppose 0 = 2*x - 20 + 12. Solve -1 - 3 = x*o for o.
-1
Let a(g) = g + 21. Let j be a(-19). Solve r + j - 4 = 0 for r.
2
Let h(v) = -2*v - 5. Let j be h(-5). Let t = 5 + -3. Let p be (-407)/(-44) + 1/(-4). Solve -t*u + p = -j*u for u.
-3
Let i be (-2 - (-4 - -3)) + 0 + 4. Solve -i*u - 2*u = 0 for u.
0
Suppose -5*l + 1 = -2*v, -4 + 3 = -l. Solve 4*h - v = 6 for h.
2
Let k(r) = -r - 7. Let j be k(-5). Let l be 16/2*j/(-4). Suppose -4*a + 12 = l*f, 3*f - 3*a + 1 + 8 = 0. Solve 5*y + 0 + 20 = f for y.
-4
Let d(c) = c**3 + 17*c**2 - c - 14. Let z be d(-17). Solve z*x + 0*x + 15 = 0 for x.
-5
Suppose v + 2*v + 2*x = 59, -5*x = -3*v + 73. Solve 0 = -5*i - v + 1 for i.
-4
Let t = 8 - 4. Let v = 1 + t. Solve 2 = -3*u + v*u for u.
1
Let l = 36 - 34. Solve 3*z + l - 5 = 0 for z.
1
Let n(c) = -c**3 + 6*c**2 - 4*c - 2. Suppose -3 = -5*h - 2*p + 28, p = -5*h + 28. Let u be n(h). Solve 1 = -2*q - u for q.
-2
Suppose -x = -4*x. Let z be -22*(-2)/10 - 30/75. Solve z*q + q = x for q.
0
Suppose 3*f + 1 = 2*x, 9 = 2*f - 3*x + 18. Solve 3*l = -0*l - f for l.
-1
Suppose -4*a - 3*f = -47, 0*a - 12 = -a - f. Let v = a + -6. Solve v*b + 9 = 2*b for b.
-3
Let m = 4 + -1. Suppose 0 = -0*d + m*d - 15. Suppose d*p - 7*p = -46. Solve 5*c + 3 - p = 0 for c.
4
Let c(y) = 4*y. Let r be c(1). Let v = 6 - 3. Suppose -5*f + 9 = -v*n, -2*n + r*n - 4*f = -8. Solve 0 = 3*o - n - 1 for o.
1
Let l be 7*(4/14 + 0). Let x be 2/l*36/3. Let r be 1*x - (3 - 3). Solve -r = 2*h - 2 for h.
-5
Let u be (-3)/7 + 33/77. Solve u*o - o + 2 = 0 for o.
2
Let g = 89 - 57. Solve -5*o + 12 - g = 0 for o.
-4
Let k(j) = -j**2 + 12*j + 47. Let d be k(15). Solve -d*g = -3*g for g.
0
Let v be 11/4 + 1/4. Solve v + 1 = l for l.
4
Let b = 3 + -6. Let r = 4 + b. Solve -5*o + 4*o = r for o.
-1
Suppose 0 = -b - 2*s - 0*s + 2, s = 0. Let m(w) = w - 16. Let h be m(7). Let v = -7 - h. Solve 3*d - v = b*d for d.
2
Suppose -5*f = -5*r, -3*r = 2*r - 4*f - 3. Solve 8*y + 10 = r*y for y.
-2
Let q(w) = 3*w - 1. Let p be q(2). Solve -p*c = 12 + 3 for c.
-3
Let a = -219 + 220. Let s(q) = q**2 - 3*q + 2. Let c(v) = v**2 - 3*v + 2. Let y(n) = -4*c(n) + 5*s(n). Let d be y(2). Solve -f - 4 - a = d for f.
-5
Let q = 129 + -77. Let r be q/12 - (-3)/(-9). Solve -r*g - 7 = 5 for g.
-3
Suppose 2 = -2*c + 4*c. Suppose 5*m + 0*m - 20 = 0. Let u = m + c. Solve h - u = -4*h for h.
1
Let x = -2 - -7. Suppose -2*u - 7 = -x*q - 2, 2*q = 5*u - 40. Solve -5*y + 0*y + u = 0 for y.
2
Let c(x) = -x**2 + 8*x - 7. Let d be c(7). Solve d = -4*a + a for a.
0
Suppose 0 = -2*f - f + 9. Suppose f*h - h - 12 = 0. Solve 3*q - h*q = 15 for q.
-5
Suppose 3*x + 121 = 5*s - s, -4*s + 5*x = -127. Suppose -5*t + 17 = -s. Solve -3 + t = -2*u for u.
-3
Suppose 33 = 4*f - 5*q, -3*f + q - 2*q = -1. Suppose -2*s - 2*w = -w, -3*s - 5*w = -7. Let l be (-3 - -1)/(s/3). Solve -l = -f*i - i for i.
2
Let n(g) = -g**2 + 7*g - 4. Let d be n(6). Suppose -2*t - 2 = 0, -d*t - 28 = -5*o + 39. Solve 0 = -5*x - 7 - o for x.
-4
Let c be (-2)/((0 + 2)/4). Let k be 8*(2/c + 1). Solve 2 = -2*q + k for q.
1
Let x(w) = -w**3 + 6*w**2 + 5*w - 9. Let a be x(6). Solve -6 + a = -5*f for f.
-3
Let b = 15 + -22. Let d(l) = -l - 3. Let a be d(b). Solve -10 = a*u - 2*u for u.
-5
Let i = 4 - 3. Solve -i = 3*w + 14 for w.
-5
Suppose -5*v + v + 240 = 0. Suppose -3*w - 12 = -v. Suppose -k - 9 = -3*b - 2*k, 0 = 4*b - 5*k - 12. Solve -b*o + w = o for o.
4
Let z = -2 - 3. Let y be z/((-15)/(-4))*-3. Let p = y - 4. Solve 4*o - 2*o - 2 = p for o.
1
Let s = -5 + 8. Suppose -7 = -2*p - s. Suppose 40 = 2*x - 0*x. Solve -x = p*m - 7*m for m.
4
Let k(j) = -j - 15. Let u be k(-18). Solve 13 = -u*y + 1 for y.
-4
Suppose 2*b - 3*b - 5 = 0. Let g = 2 - b. Solve -3 = s - g for s.
4
Let o(l) be the second derivative of l**4/12 + l**3/2 - l. Let j be o(-3). Solve j = -0*x - 2*x for x.
0
Let i be ((-20)/8 - -1)/((-3)/40). Let z be 49/21 + (-2)/6. Solve -z*a - i = -7*a for a.
4
Suppose 4*s = s - p + 10, 0 = 3*s + 4*p - 4. Solve -s*c = c for c.
0
Let j be 0 + (3 - -7)*-1. Let v = j - -13. Solve v*a - 6 = a for a.
3
Let p be 2/(-2 - 10/(-4)). Suppose -p*n = -n - 15. Suppose -n + 1 = -c. Solve v = -0 + c for v.
4
Suppose 11 = -4*t + 3. Let w be (0*2/(-6))/t. Let a be (-1 + w)/((-8)/56). Solve a = -z + 2 for z.
-5
Let k(r) = 3*r - 8. Let z be k(8). Let x be 2/(-8) + 132/z. Solve 3*y + x = 5*y for y.
4
Suppose 4*b = 17 - 1. Solve -1 + b = n for n.
3
Let b be 6/16 + (-372)/(-32). Let w(s) be the second derivative of -s**4/12 + 2*s**3/3 + 3*s**2/2 - s. Let i be w(4). Solve -b = i*o - 6*o for o.
4
Let j(x) = -x**2 - x + 2. Let y be j(0). Let v = y - 2. Solve 3*u = -v*u for u.
0
Let k be (-87)/(-29) + (1*-1)/(-1). Solve k*j - 15 = 1 for j.
4
Let m(u) = 2*u + 15. Let x be m(-6). Solve x*o + 13 = 1 for o.
-4
Suppose 2*r + 5 = j, -r - 3*j + 15 = 3*r. Let s = r + 0. Solve -2*o + o + 1 = s for o.
1
Suppose -2*w = -4*m + 32, -4*m - 2*w = 2*w - 8. Suppose 5*v = -9 - m. Let c = v + 3. Solve y + 2*y = c for y.
0
Let w be 24/6*(-2 + 0). Let p be (-22)/w*1*4. Solve -p = -5*f + 14 for f.
5
Suppose 4*a = -12 - 4. Let u = 1 - a. Suppose 5 - 20 = -5*r - 4*m, u*r = -m + 30. Solve 0 = 4*x + 23 - r for x.
-4
Suppose 2*r = r. Suppose 4 = 3*q - 5*u, -3*q + 3*u + 7 - 1 = r. Solve s = q*s + 2 for s.
-1
Let j = 4 + -2. Let s(f) = f**2 - 8*f - 2. Let a be s(9). Solve -a*q + 10 = -j*q for q.
2
Suppose 4*n = n + 18. Let h be (15/10)/(n/8). Solve -h*c - 8 + 2 = 0 for c.
-3
Suppose -6*z = -3*z - 18. Let a(i) = -3*i**2 + 6*i - 7. Let q(o) = 8*o**2 - 17*o + 20. Let b(t) = -17*a(t) - 6*q(t). Let c be b(1). Solve -4*r + c*r = z for r.
-3
Suppose -3*d = -d - 20. Let z be 44/10 + (-4)/d. Suppose z*j - 6 = 2. Solve -j = -2*o + o for o.
2
Let n(r) = -3 + 6 - 2*r + 1 + 3*r**2. Let i be n(3). Suppose -2*m - 5 = -i. Solve 0 = -0*z - 2*z + m for z.
5
Let t be 4 - 4 - 0/(-1). Let r be 0 + -3 - 56/(-7). Suppose 5*o = 2*z - 24 + 67, 5*z - r = 0. Solve -2*j + o - 3 = t for j.
3
Let u(b) = -b + 1. Let r be u(0). Suppose -r = -2*s + 3. Solve 0*f = -s*f - 10 for f.
-5
Let k be 21/(-15) - (-4)/10. Let o be (-4)/6*3/k. Suppose 2 = t - 1. So