
Suppose 0 = 4*b - 2*b - 12. Let v(g) = -g**2 + 6*g - 6. Let w be v(4). Suppose 0*z - 3*m - 6 = 3*z, 4*m = w*z - 26. Solve z*o - b = -0*o for o.
2
Let s(j) = j**2 + 16*j + 4. Let g be s(-16). Solve g*z = -z + 5 for z.
1
Let y = -5 + 2. Let l = y - -6. Solve -20 = -8*s + l*s for s.
4
Suppose -i + 5 = -0. Let v(o) = o**3 - 6*o**2 + 6*o - 1. Let s be v(i). Solve -3*a = -a + s for a.
-2
Let q = -81 + 85. Solve 4*m + 0 = q for m.
1
Let l(s) = -2*s**3 + 3*s**2 - s - 3. Let c be l(-1). Solve -c*b - 5 = 4 for b.
-3
Suppose -y + 5*m = -21, y - 4*m = 30 - 13. Let j be -1 + y + 0 + 3. Solve g + j*g + 20 = 0 for g.
-5
Let v(c) be the second derivative of c**4/12 - c**3/3 - 3*c**2/2 - 2*c. Let j be v(4). Suppose -4*p + 11 + j = 0. Solve 0*s = -p*s + 8 for s.
2
Let g(s) = -s**2 + 15*s - 14. Let o be g(13). Let y(r) = r**3 + 4*r**2 - r - 2. Let c be y(-4). Solve -c*k = 2*k + o for k.
-3
Let u be 21/(-28) + (-201)/(-12). Solve -4*a + u = -0 for a.
4
Let k(y) = -y**3 - 9*y**2 - 9*y - 8. Suppose 2*h - 170 = -3*h. Suppose 3*d = -5*w - h, -4*d + w - 5*w = 40. Let j be k(d). Solve 4*l + 3 + 1 = j for l.
-1
Let f = 21 + -18. Solve -f = -2*r + r for r.
3
Suppose -2 = -3*s + 1. Let z(i) = 3*i - 1. Let b be z(s). Solve 2*n = -b*n + 4 for n.
1
Suppose 3 = 4*o - 1. Let b(g) = -5*g - 1. Let m be b(-3). Let x be -3*(m/(-6) + o). Solve x*k = -k - 15 for k.
-3
Let p(g) = -3*g + 1. Let c(a) = 2*a - 1. Let j(f) = 4*c(f) + 3*p(f). Let r be j(-3). Solve y + r*y - 15 = 0 for y.
5
Suppose 75 = k + 2*k. Solve m + 4*m = k for m.
5
Let h be 0/(-3 - (0 - 1)). Let j be (-2)/8 + (-2)/(-8). Let b be -4 - -6 - (j + 2). Solve h = -b*l + l - 4 for l.
4
Let n be -3*6/(-27) - (-16)/3. Solve 3 = -3*r + n for r.
1
Suppose 0 = 3*v - 0*v - 6. Suppose 44 = -4*g + 124. Suppose -5*m - g = 0, 5 = -4*p - 2*m + 13. Solve 4*s + p = v*s for s.
-2
Let u(r) = r**2 + r - 3. Let v be u(-3). Suppose 0*f - f + 4 = -2*c, f + 5*c = -v. Solve x = f*x + 3 for x.
-3
Let s = 7 + -7. Suppose 2*b = -s*b + 4. Suppose 2*t = -5*o + 35, t + t + b*o = 20. Solve 0 = 2*q - 3 - t for q.
4
Suppose 30 = 3*i + 2*i. Suppose -3*h + 9 + i = 0. Solve -4*r - 1 = -h*r for r.
1
Suppose 3*o - 17 = -5*i, -2*i + 2*o - 3 = 3. Solve -i = r + 3 for r.
-4
Let b = 26 + -16. Suppose -2*j + b = 3*j. Solve 10 = -2*d + j for d.
-4
Let y(f) = -f**2 + 6*f + 7. Let d be y(7). Solve d = 3*t - 7*t + 4 for t.
1
Let t(z) = 3 - 5 + z + 0*z + 11. Let w be t(-7). Solve -3 = -w*q + 5 for q.
4
Suppose 0 = v - 1 - 3. Let l = v - 2. Solve -l*o + 3 = o for o.
1
Let f(a) = 27*a**2 + 1. Let o be f(1). Suppose 0 = -3*h - 10 + o. Solve -g = -3*g + h for g.
3
Let o = -20 + 45. Solve -2*w + o = -7*w for w.
-5
Suppose 5*f = 39 + 36. Solve 0*h + f = 5*h for h.
3
Let o = 4 + -2. Suppose k + o = 2*k. Solve -k*s + 15 = 3*s for s.
3
Let m = -30 - -35. Solve -15 = -5*f + m for f.
4
Let z = 7 - -1. Let i be 39/(1 + (2 - 2)). Let v be (-1)/4 - i/(-12). Solve v*y + z = 5*y for y.
4
Let i be 102/14 - (-4)/(-14). Suppose -3*b - 5 = -b + 3*m, -m - i = -2*b. Suppose -o - 3*y = -8, -2*y = -o + 3*y - 8. Solve b*a + o*a = 4 for a.
1
Let g(w) be the second derivative of 0 - 1/6*w**3 + w + 3*w**2. Let z be g(6). Solve -b + z = 1 for b.
-1
Let x = -30 + 35. Solve -2*t + t + x = 0 for t.
5
Let f be 0 + 18 - 10/(-5). Suppose -4*a = -5*j + 4, -2*a = 2*a + j - f. Solve g - 6 = a*g for g.
-2
Suppose -4*d + 6 = -l, 30 = 5*d + 10. Solve 3*u = 8*u + l for u.
-2
Let m = 1 - -5. Suppose -3*v + 20 = s, -2*v - m = s - 21. Suppose -28 = -v*f - 8. Solve -7 - 9 = -f*h for h.
4
Let q(f) = -f**3 + 4*f**2 + 5*f + 2. Let h be q(-3). Let x be 1/(-3) + h/15. Solve -u - 4 = -x*u for u.
2
Suppose -8*r = -6*r + 2. Let w be -1 - (0 - -2)*r. Solve -4*c + w = -11 for c.
3
Let f = -7 + 7. Suppose -5*o = -f*o. Solve 3*q = -o*q for q.
0
Let p be 2/(-10) + (-6 - 1092/(-35)). Solve -5 + p = 5*g for g.
4
Suppose -3*i = -0*i - 15. Suppose -d + i = 1. Let l = 8 + d. Solve -6*m + 2*m = -l for m.
3
Let a = -4 - -4. Let c = a - -8. Solve 0 + c = -2*t for t.
-4
Suppose -3*y + 15 - 3 = 0. Solve 4*b - y + 0 = 0 for b.
1
Let s(a) = 13*a + 39. Let o be s(-3). Solve o = 4*l - 0*l for l.
0
Let j be 6*-1*(-20)/(-15). Let m = -3 - j. Solve h - 4 = m*h for h.
-1
Let d = -92 - -95. Solve 2*j = d*j + 5 for j.
-5
Let m(b) = -b**2 - 6*b - 4. Let x be m(-5). Let y(j) = 18*j. Let v be y(x). Suppose v = -3*k + 5*i + 5, -18 = -2*k - 2*i. Solve -5 = -f - k for f.
1
Let m be (-64)/(-24)*15/(-2). Let d = m + 20. Solve 0*h + h - 5 = d for h.
5
Suppose z + 38 = 3*z. Suppose -5 = -l - u, -5*u + z = 44. Solve -10 = -l*d + 5*d for d.
2
Let c be (-2)/(0 - 1 - 1). Solve -c = -b + 3 for b.
4
Suppose -4 = 2*v + 4*n, 3 - 4 = n. Suppose v = -4*m + 8 - 0. Suppose 5*s = -20, 0 = -0*f + f + 4*s + 9. Solve -m + f = x for x.
5
Suppose 5*r = 34 + 1. Let k be (-1)/r - (-4)/28. Let l be -1 + 2 + (2 - -1). Solve -l*h = -k*h for h.
0
Let r(c) = -4*c. Let f be r(-1). Suppose 0 = -v - 5, 0 = f*p + p + v - 5. Solve 0 = p*n - 2 for n.
1
Let u be ((195/(-18))/13)/((-1)/6). Solve -14 - 11 = u*k for k.
-5
Let k(q) = q**2 - q - 2. Let i be k(2). Suppose 5*h + 5 = 3*o - 4*o, -5*o - 4*h + 17 = i. Suppose 5*v + o - 25 = 0. Solve -4*m + v + 0 = 0 for m.
1
Let a(z) = -z - 2. Let q be a(-4). Suppose 2*f = -3*c + 15, -3*f = q*c - 5 - 10. Solve h = -c + 4 for h.
1
Let s(h) = h**2 - 5. Let o be s(3). Let r(i) = i**3 + 4*i**2 - 7*i - 6. Let v be r(-5). Solve v*y + o = -0*y for y.
-1
Let p = -15 + 16. Let c be p/(((-14)/8)/(-7)). Solve -g - 5 = c*g for g.
-1
Let i = -17 - -16. Let n(l) be the third derivative of l**5/15 + l**4/24 + l**3/6 + l**2. Let u be n(i). Solve -4 = 2*d - u*d for d.
2
Let t = -55 - -61. Solve t*p - 8*p = 0 for p.
0
Suppose 0 = 4*g - 53 + 5. Suppose -3 = 2*j - 3*j. Suppose 2*v = j*v. Solve t + 2*t - g = v for t.
4
Suppose -b = -t - 4, 3*b - b = t + 7. Solve -b*y + 9 = -6*y for y.
-3
Suppose t - 9 = -0*t - 3*n, 5*t = 5*n - 15. Suppose 0 = -8*r + 3*r + 65. Suppose -r*x + 25 = -8*x. Solve t*u + x = u for u.
5
Let n(z) = z**2 + 6*z - 3. Let m be n(-6). Let q be -1 + 5 + (m - -4). Suppose 0 = -b + 2*b - q. Solve 0*c - b = c for c.
-5
Suppose -6*j + 8*j = 0. Solve j*i = -i - 2 for i.
-2
Let i = -4 - 0. Let y be 105/33 - i/(-22). Let r be (0 - -1)/(y/6). Solve 2*t - 3*t = -r for t.
2
Let t = 99 - 89. Solve 0 = -w - 4*w - t for w.
-2
Let k be (-98)/10 - 4/20. Let h be (-86)/(-4) - (-15)/k. Solve -2*l - 2*l + h = 0 for l.
5
Suppose 2*f + 2*f = 0. Let b = -23 + 29. Solve f = -h - 2*h + b for h.
2
Let k = 9 + 3. Solve 0*r - 4*r = k for r.
-3
Let p(a) = -a**3 - 4*a**2 - 3*a + 2. Let j = -8 + 5. Let y be p(j). Solve o - 1 = y*o for o.
-1
Suppose -5*y = -2*y + 3*o - 3, 13 = 5*y + 3*o. Let l = 16 + -28. Let c = 4 - l. Solve y*q = c - 6 for q.
2
Suppose l - 4 + 2 = 0. Suppose -2*p = l*p. Solve p = -6*t + 2*t - 8 for t.
-2
Suppose -5*l = -5 - 15. Suppose -l*k = -7*k. Let z = k - -12. Solve 0 = -3*w - z - 3 for w.
-5
Let y(n) = 5*n**2 - 10*n - 4. Let l(v) = v**2 - 1. Let z(j) = -6*l(j) + y(j). Let o be z(-10). Solve 5*i - o*i = 9 for i.
3
Let w = 1 - 3. Let b be 2 + ((-4)/w - 1). Solve 3*x + b = 15 for x.
4
Let v = -88 - -104. Solve 0*b = -4*b + v for b.
4
Suppose 0 = 4*x - 21 - 59. Solve -x = 4*u + u for u.
-4
Let j(w) = 2*w**2 - 8*w - 8. Let u be j(5). Suppose 0 = -7*k + u*k + 40. Solve 0 = 4*m + k for m.
-2
Let f = -5 - -6. Let b(r) = r**2. Let t be b(0). Let k(g) = -g**3 - g**2 - g + 2. Let p be k(t). Solve p = v - f for v.
3
Suppose 0 = -2*n - 2*n. Suppose 0 = 3*m - n*m. Let d(c) = 6*c**2 - c. Let z be d(1). Solve z*w + 5 - 20 = m for w.
3
Let m = -5 + 4. Let q be m - -2*2/4. Suppose 0 = -v + 2 - q. Solve -c = -v*c for c.
0
Let f be (-11)/(-33)*(0 - 0). Solve 0 = -f*i + 3*i + 15 for i.
-5
Let t be 1*(1 - -2*3). Let z = -5 + t. Solve -5 = -z*x + 1 for x.
3
Let t = -59 + 72. Solve -1 = 4*a - t for a.
3
Let o be -1 - -2 - -1*1. Let k(w) = 2*w**2 + 2*w - 2. Let y be k(-3). Suppose y*z - 6*z = 12. Solve -m + o = -z*m for m.
-1
Let b(k) = -k**2 - 6*k. Let c be b(-5). Solve -c*v - 45 = -20 for v.
-5
Let s be -1*(-1)/((-3)/(-9)). Suppose j + 3*m = 12 + 17, 0 = s*j - 4*m - 61. Solve -4*h - j = -3 for h.
-5
Let n(r) = 0*r**2 + 2 - 2 + 3 + 7*r + r**2. Let u be n(-7). Solve a + 6 = u*a for a.
3
Let l be (20/12)/((-2)/(-6)). Suppose l*w = 24 + 16. Solve -12 = -5*r + w for r.
4
Let y