r = 0 for r.
0
Let i(v) = v + 8. Let j be i(-7). Solve -f = -6 + j for f.
5
Suppose -x + p = -4, 5*x - 18 = 2*p + 2*p. Let n = -3 - -3. Suppose n*f = -5*f. Solve f*t + 4 = x*t for t.
2
Suppose -2*w - w = v - 18, -4*w + v + 31 = 0. Solve 5*q = -w + 2 for q.
-1
Let i be 2/(-4)*(-48)/8. Solve i*m + 3 - 9 = 0 for m.
2
Let z(i) = -i**3 - 15*i**2 + 12*i - 64. Let v be z(-16). Let t(s) = -s**3 + 2*s**2 + 4*s + 1. Let a be t(3). Solve v - a = n for n.
-4
Let b = 26 + -17. Let l be (-3*6/b)/1. Let t be 1 + l/(-1) + -3. Solve t = -w + 3*w for w.
0
Let c be 28/(-21) + (-14)/(-6). Solve c - 6 = b for b.
-5
Let u(v) = 2*v + 12. Let i be u(-11). Let r be ((-16)/i - 1)*5. Solve -r + 4 = c for c.
1
Let d(w) = w**3 - w. Suppose -2*b - 3*b = 0. Let p be (b/2)/(3 - 2). Let v be d(p). Solve -3*f + 12 = -v*f for f.
4
Let b(k) = -2*k + 5. Let z be b(4). Let t(u) = u**2 + 2*u - 4. Let l be t(z). Let f(p) = -4*p. Let w be f(l). Solve 22 = w*h + 2 for h.
5
Let x(i) = -i**3 + 4*i**2 - 2*i - 3. Let h be 33/9 + 4/(-6). Let o be x(h). Solve o = 3*v - 7*v - 4 for v.
-1
Let n(g) = g - 4*g + 3 + 0*g. Let h be n(-8). Let p = h - 18. Solve -3*m = -6*m - p for m.
-3
Let c be (20/12)/(1/3). Solve c = -o - 0 for o.
-5
Let w(m) be the second derivative of -m**5/20 + 5*m**4/6 - 3*m. Let s be w(10). Solve -4*q = -12 - s for q.
3
Let w = -8 + 17. Suppose -9 = 2*d + m, -5*d + 10 = -0*d - 4*m. Let y = -1 - d. Solve 5*z - w - y = 0 for z.
2
Let g(b) = 3*b**3. Let z be g(1). Suppose -w = 5, -z*l = -3*w - 3 - 27. Solve 3*u - 2 = -l for u.
-1
Suppose -6*n = 2 - 38. Solve -2 + n = -2*x for x.
-2
Let f be (-150)/(-9) + 3/9. Let t = f + -12. Suppose 0 = -5*x + t, 2*x - 1 = -2*g + x. Solve 0*o + 2*o = g for o.
0
Let l = 32 + -12. Suppose l = 4*g - 60. Let b(c) = c**2 + 2*c + 2. Let r be b(-3). Solve 5*t = -r - g for t.
-5
Suppose 0 = -v - v + 6. Suppose -1 = -q + m, 2*q + 3*m = q - v. Solve -2*c + c + 5 = q for c.
5
Let y(h) = 33*h**2 + 2*h + 1. Let x be y(-1). Solve -12 + x = 5*l for l.
4
Suppose 4*x + 2*r = 18, x = -2*r + r + 2. Let k = x - 5. Let l be ((-20)/6)/(k/(-6)). Solve n = -n + l for n.
5
Suppose 3*i = 4*i + 8. Let s = i + 15. Solve 0 = -4*g + s + 1 for g.
2
Let w(v) = 2*v**2 + 3*v - 2. Let x be w(3). Solve 4*r = -r + x for r.
5
Suppose 4 = 2*n + 2*n. Let h be (-1 - 1)/2 + -2. Let c = n - h. Solve -3*g - c = 8 for g.
-4
Let w = 3 - 3. Let a(b) = -11*b - 22. Let h be a(-2). Solve w = -h*g - 4*g for g.
0
Suppose 0 = i - 1 - 3. Suppose r + 1 = 11. Solve r = -i*v - 10 for v.
-5
Suppose 5*c - 4 = c. Solve 11 = 2*j + c for j.
5
Let s(l) = -l**3 - 8*l**2 - 7*l + 5. Let i be s(-7). Suppose -i*c + 4*y = -8, -2*c + 5*y + 2 = 4*y. Solve -5*q + 15 = -c*q for q.
3
Let k be (30/18)/(1/3). Solve k*x = 24 + 1 for x.
5
Let t(u) = u**2 - 9*u + 10. Let z be t(8). Suppose 6 = y - 3*y + z*v, -5*y + 30 = 4*v. Solve 25 = 3*w + y*w for w.
5
Let k(j) be the third derivative of -4*j**2 + 1/8*j**4 + 0 + 1/10*j**5 + 0*j + 1/3*j**3 - 1/120*j**6. Let x be k(6). Solve 0 = 4*v + v - x for v.
4
Let k be 1*3*(-1)/(-1). Suppose k*a + a - 16 = 0. Suppose -p + 4*p = -5*o + 11, 20 = 2*p - 3*o. Solve -a*v + 9 = -p for v.
4
Let z = 0 + 0. Suppose 3*q + 2*q - 20 = z. Let p be (-12)/(-24)*(1 - 1). Solve -x + q - 2 = p for x.
2
Suppose 0 = t - 2 - 1. Suppose -5*m + 115 = -4*f, -7*f + 106 = t*m - 2*f. Let z be 1/(-2) + m/6. Solve 2*y = -0 - z for y.
-2
Suppose 2*h + h - 9 = 0. Let z be -2*(-2)/8*-6. Let p = h + z. Solve p = -0*v + 3*v - 12 for v.
4
Suppose 4*y - s = 4 - 0, 4*y - 2*s = 8. Solve -3*p + 2*p + 2 = y for p.
2
Let o(y) = 3 + 2*y + 13*y + 1 - y**2. Let v be o(14). Solve -5*n = 3 - v for n.
3
Let o = 13 - -2. Suppose 0 = 4*c - 29 - o. Suppose 3*w + 2 = c. Solve -4*p + w = -3*p for p.
3
Suppose 0 = 2*h - 6*h - 4. Let x = 3 - h. Suppose w = -x*w. Solve w*k + 2 = 2*k for k.
1
Suppose y + 2 - 26 = 0. Suppose 0 = -2*c - d + 30, 5*c + 2*d = 7*d + 75. Let s be 5/2*y/c. Solve 0 = -s*h - h - 25 for h.
-5
Suppose -4*j + 30 = 6. Solve 0 = 2*r - j for r.
3
Let q(a) = -a**3 + 8*a**2 - 5*a - 10. Let m be q(7). Suppose 5 = k - j, -4*k - m*j - 7 + 43 = 0. Solve k + 13 = -4*b for b.
-5
Let a = 0 + 4. Let j be a/(-10) - 154/(-10). Solve 2*c - j = 5*c for c.
-5
Let n be 39 + -1 + 3 + -1. Let d be ((-3)/6)/((-1)/n). Solve -3*g = -8*g - d for g.
-4
Let d be ((-55)/5)/(2/(-2)). Let l = d + -8. Solve 2*n + l = n for n.
-3
Let t(s) = -4*s + 2. Let d(c) = c. Let r(b) = 3*d(b) + t(b). Let z be r(-4). Solve -2*f = -16 + z for f.
5
Suppose 3*t = -5*g - 6, 3*g + 6 = t - 6. Let n(s) = t + 6*s - 3 + 5 - 3 - s**2. Let b be n(6). Solve b*o = 7*o + 10 for o.
-2
Let h = -15 - -17. Solve -h*r = -1 - 1 for r.
1
Let v = 6 - 4. Solve -d + v*d = -4 for d.
-4
Let x be 4/2*(-4 - 36/(-8)). Solve -x + 5 = -f for f.
-4
Suppose -40 = -0*n + 5*n. Let r(l) = l + 12. Let y be r(n). Solve 0*p = p - y for p.
4
Let r(d) = -2*d + 2. Let j be r(3). Let c = j - -7. Suppose c = u - 5. Solve 4*b - u = -0 for b.
2
Let p(q) = q**3 - 2*q**2 - q - 1. Let u be p(3). Solve -r + 0*r = -u for r.
5
Let z = -7 + 10. Solve z*h - 15 = 6*h for h.
-5
Let s(n) = 2*n - 10. Let m be s(8). Suppose -3*t + 21 = 3*l, 2*t + l - 6 - m = 0. Solve -t = -2*q + 1 for q.
3
Suppose c + 11 = 5*a - 5, 3*c + 3*a - 24 = 0. Solve 0 = -c*k + k - 12 for k.
-4
Suppose -5*r + h + 21 = 0, 0*r + 5*h - 40 = -4*r. Suppose r*o - 6 = 4*s - 21, 0 = -s + o + 4. Solve -s = 4*l + 3 for l.
-2
Suppose -9*h = -3*h - 12. Solve -o + h = o for o.
1
Let d(j) = j + 1. Let n(h) = 9*h + 15. Let b(m) = m. Let i(s) = 4*b(s) - n(s). Let x(k) = -6*d(k) - i(k). Let a be x(9). Solve 4*t + a*t + 12 = 0 for t.
-3
Suppose k = -3*k + 3*g + 86, -2*k = -3*g - 46. Solve -6*q + q - k = 0 for q.
-4
Let k(b) = b + 4. Let f(o) = -1. Let a(s) = -3*f(s) + k(s). Let d be a(-7). Suppose 5*w = 7*w. Solve d = -4*l - w*l for l.
0
Let o = 8 + -4. Solve w - o*w = 0 for w.
0
Let p = 11 - 11. Let h be (-2)/((-2 - -1) + -1). Solve -n = -h - p for n.
1
Let u(l) = -l**2 - 4*l + 3. Let t(p) = p**2 + 4*p - 3. Let s(z) = 4*t(z) + 3*u(z). Let c be s(-5). Suppose -c*a = -a - 3. Solve 0 = 5*i - a*i for i.
0
Let z(g) = g**2 + g - 6. Let w(j) = -j**3 - 5*j**2 + 6*j - 4. Let d be w(-6). Let b be z(d). Solve -c - b = c for c.
-3
Suppose 0 = -78*m + 83*m - 55. Solve 2*b + m = 3 for b.
-4
Suppose -2*m = -m - 2. Suppose m = 4*r + 5*n, 2*r + 2*n - 8 = -2*r. Solve r*p - 20 = -2*p for p.
4
Suppose 3*z + 4 = -11, b - z = 41. Suppose b = o + 2*o. Let j = o - 7. Solve j*f - 13 + 3 = 0 for f.
2
Suppose 0*u + 36 = 4*y - 2*u, -5*y - 3*u + 45 = 0. Solve -y = 8*l - 5*l for l.
-3
Suppose 0 = -0*v - 5*v. Let p = 0 + v. Let w be (-2)/5 + 254/10. Solve 4*j + j + w = p for j.
-5
Let x = 57 + -32. Suppose -j + x = 75. Let t be j*1*(-6)/15. Solve 0 = -3*y - 2*y - t for y.
-4
Let j = -2 + 4. Let b be (-5)/(-2)*j + 1. Let x be 3/9 + (-22)/(-6). Solve -5*v - b = x for v.
-2
Suppose -6 = -q - 0*q. Suppose -5*d + 45 = 5*c, -18 = -2*d - q*c + 3*c. Let n = d - 6. Solve -y = -n*y - 6 for y.
-3
Suppose 7*h = 5*h. Let p be (h + 1)*(-1 - -12). Solve -9 = 5*v + p for v.
-4
Suppose -n + 29 = 3*i, -2*i + 2*n = -3*n - 8. Let q = i - 6. Suppose 4*l = 3*f - 5, 0 = q*l - 3. Solve x + f*x = -12 for x.
-3
Let v(y) be the second derivative of -y**4/12 + 11*y**3/6 + 6*y**2 - 2*y. Let i be v(12). Solve 5*d - 4 - 11 = i for d.
3
Let w(z) = z**2 - z - 2. Let r be w(2). Suppose -3*d + 5*c - 19 = 0, r = d - 2*d + 2*c - 8. Solve d - 7 = -5*u for u.
1
Suppose 0 = -0*p - 2*p + 4*b + 16, 2 = -2*b. Let w be (-2)/p + (-117)/(-27). Solve w = n + 3*n for n.
1
Let j = 34 + -34. Solve 0 = -3*l - j*l + 6 for l.
2
Suppose 5*q = -4*s - 2, 4*s - 5*q + 27 - 5 = 0. Let x be (s/(-2))/(4/8). Solve p + 16 = -x*p for p.
-4
Suppose 5*k = -0 + 20. Suppose -g - 24 = -k*g. Let r(o) = -o + 11. Let c be r(g). Solve -3*x + 0 - c = 0 for x.
-1
Suppose -5*i + 3*u + 2*u = -15, 0 = -4*i + u. Let d be 0/(i/(-1))*-1. Suppose d*z = -4*z + 8. Solve 0 = n - z*n - 5 for n.
-5
Let w(b) be the first derivative of -b**2 - b - 3. Let t be w(-2). Solve 2*u - 15 = -t*u for u.
3
Let z = 1 + 11. Suppose -2*x = -5*c + 18, 4*x = -2*c + 2*x - 4. Solve -6*n - z = -c*n for n.
-3
Let n be (-3)/(-4) + 147/28. Solve -6 = 4*q + n for q.
-3
Suppose 3*p - 20 = 3*m - 2, -m = 3*p + 6. Let h(j) be the third derivative of j**6/120 + 7*j**5/60 + j**4/4 + j**2. Let k be h(