q - 8 = f for q.
4
Let z be ((-138)/18 - -5)*(-9)/12. Solve -z*f - 3*f - 10 = 0 for f.
-2
Let m(h) = -2*h + 7*h - 2*h - 5 + h**2. Let c = -13 + 8. Let t be m(c). Solve 0 = t*y - 0*y for y.
0
Let y(v) = -v**3 + 6*v**2 - 5*v - 4. Let r be y(4). Let f(c) be the second derivative of c**3/6 - 3*c**2/2 + 4*c. Let g be f(r). Solve 4*j - 3 = g for j.
2
Suppose -1 - 2 = 3*k. Let l = k + 2. Solve 4*u - l = 7 for u.
2
Let w be -1 + 1 + -3 + 3. Suppose 70 = 3*r - n, 5*r + n + w*n = 114. Solve -r + 3 = -5*a for a.
4
Suppose 5*z - 23 - 37 = 0. Suppose 0*u = 4*u - z. Solve 0 = u*t + 2*t + 15 for t.
-3
Let h = -2 - -3. Suppose -2*d - 8 = -6*d - 4*k, 2*k = -5*d + 13. Suppose 0 = i + 8*g - 3*g + 3, 2*i + d*g - h = 0. Solve i*m + 3 = -m for m.
-1
Let p(k) = k**2 - 6*k - 4. Let d be 2/(-3) + 46/6. Let x be p(d). Let r be ((-3)/12 - -1)*4. Solve x*v - r = 12 for v.
5
Let t(r) = 5*r**3 - r + 1. Let u be t(1). Suppose u*a + 5 = -0, -5*w + 49 = -4*a. Solve 0*b + w = -3*b for b.
-3
Let r(y) = y**2 - 2*y - 18. Let q be r(0). Let s be ((-45)/q)/(1/2). Solve s*w = 3*w - 10 for w.
-5
Suppose -2*k = 2*n - 3*k - 6, 5*n - 6 = -2*k. Suppose -z - n = -2*z, -3*g + 5*z = 10. Solve g*y + 20 = -4*y for y.
-5
Let w be ((-9)/(-3))/(6/(-16)). Let v(f) = f**2 + 7*f - 5. Let d be v(w). Solve 8*o = d*o + 25 for o.
5
Suppose -4 = -3*q + q. Solve -5*a + 3 = -q for a.
1
Let t be (-38)/(-3) + (-1)/(-3). Solve 4*x + 5 = t for x.
2
Let u(p) = p + 5. Let m(j) = j**3 - 5*j**2 + j - 5. Let b be m(5). Let x be u(b). Solve -8 = x*o + 2 for o.
-2
Let j(i) = -i**2 + 10*i + 4. Let b be j(10). Suppose 0 = -z - b*z. Solve -2*g + 6*g = z for g.
0
Suppose 0 = -4*z + 2 + 10. Solve -1 = j - z for j.
2
Suppose q + 3*q - 16 = 0. Let t = 8 + -6. Solve q*a = -6 - t for a.
-2
Suppose -x + 6*x = 20. Let a(t) be the second derivative of t**5/20 - t**4/4 - t**3/3 - 5*t**2/2 - 2*t. Let h be a(x). Solve -h*k - 8 = -k for k.
-4
Let j be 27/3 - (4 - 6). Solve 5*c + 31 = j for c.
-4
Let m be 3*(0 + -1 + 2). Let k = -5 + 9. Solve -c + k = m*c for c.
1
Suppose 5*t + d = 10, 2 = -2*d - 8. Solve -g - 2 = t for g.
-5
Suppose -5*a - 2 = -2*w - 4, 2*a = w. Suppose 2*d - 16 = -2*g, -g - w = -2*d + g. Solve 5 = -d*y - 10 for y.
-3
Suppose -2 + 1 = w. Let v = w - -4. Solve v*u - 1 = -7 for u.
-2
Suppose 0 = 2*v - 0 - 2. Suppose -4*t + r - v = -5, -t - r + 1 = 0. Solve 3*l - 2*l + t = 0 for l.
-1
Let r = -86 - -102. Suppose -3*s + 15 = 2*s. Solve -d = s*d - r for d.
4
Let v(m) be the third derivative of m**6/120 - m**5/4 + m**3/2 + 5*m**2. Let c be v(15). Solve 6 = -c*i + i for i.
-3
Suppose 1 = -h + 2*h. Solve v - 2*v + h = 0 for v.
1
Let s(x) = x**3 + 6*x**2 + 4*x - 3. Let w be s(-5). Suppose -y = -w*b + 3 + 4, 5*y + 14 = 3*b. Let l = y + 3. Solve 2*z = z + l for z.
2
Suppose -38 = 2*w - 58. Solve w*o = 8*o + 6 for o.
3
Let h be 4/10 + 56/10. Let g be h/(-8) + 57/12. Let q be (-20)/6*(-6)/4. Solve 0 = g*b + 7 + q for b.
-3
Let p(c) = -c - 6. Let k be p(-6). Let a(x) = -x**3 - x**2 + 5. Let v be a(k). Suppose 0*s = -s + 3*y + 5, -v*y - 11 = -3*s. Solve -s*t = 4 - 12 for t.
4
Suppose 4*u + 74 = -2. Let r = u + 23. Solve -1 = -r*a + 3 for a.
1
Let t = 25 + -21. Solve -4*x + t = 16 for x.
-3
Suppose -2*x - 4*y + 8 = -7*x, -5*y - 19 = x. Let w = -1 - x. Solve w = 2*s - 3 for s.
3
Let f be 1 + 0 - (-2 + 2). Let j be 2 + 1 - (1 + f). Solve -2*o - 3 = j for o.
-2
Suppose -5*u + 20 = -5. Solve 3*o - u*o - 6 = 0 for o.
-3
Suppose 3*a - 4*a = 0. Solve a*d - 3 = -d for d.
3
Let q(b) = b**3 + 13*b**2 - 4*b - 27. Let t be q(-13). Solve 0 = -4*l + 9*l + t for l.
-5
Let l(z) be the third derivative of -2*z**2 + 0*z + 5/6*z**3 + 1/120*z**6 + 1/12*z**5 - 1/24*z**4 + 0. Let o be l(-4). Solve -2*m - 3*m - o = 0 for m.
-5
Let j be -3 + (0 - 0) + 4. Let a be ((-3)/(-6))/(j/4). Solve 3 = a*c - 1 for c.
2
Let h be 6/((-12)/(-4)) + 2. Suppose -v - 10 = -2*z, -24 = -2*z - 2*z + h*v. Solve 3 = -a + z*a for a.
1
Let p(t) = -t - 13. Let q be p(-5). Let c be 0 + 1 - (4 + q). Solve o + c = 1 for o.
-4
Let f be (-486)/9*2/(-4). Let c = -22 + f. Solve -4*y + 13 - c = 0 for y.
2
Suppose -a = 4*a + 45. Let n = -5 - a. Suppose -n*g = -0*y + 5*y - 40, -5*y = 2*g - 30. Solve 3*b + y = 4*b for b.
4
Suppose -1 = -2*g + 5*b, 2*g = b + b + 4. Solve 5 = -g*p + 17 for p.
4
Suppose -3*o + 46 = 5*k, -3*k - k + o + 30 = 0. Solve -2*a = -k + 4 for a.
2
Let p = 19 - 15. Solve -p*i + 7 = -9 for i.
4
Let f(x) = x**2 + 5*x - 4. Let z be f(-6). Solve -d = -z*d + 1 for d.
1
Let n(k) = k**3 - 2*k**2 + k. Let b be n(2). Suppose 18 = -b*g - 4*f, -3*f = -3*g - 0*f + 18. Let o = 0 + g. Solve -o - 5 = -2*t for t.
3
Let y = 5 - -1. Suppose -4*a + 2*q = 10, a - q = 2 - 5. Let k be 0 + y + a + 0. Solve p = -p - k for p.
-2
Let r be -7 - 1 - 4/(-4). Let p(q) = q**2 + 7*q. Let t be p(r). Let z be 0*-1*(-1)/2. Solve z*a - a + 1 = t for a.
1
Suppose -x + 10 = 4*x. Let q be ((6 + -6)*1)/(-1). Solve 2*s = -q + x for s.
1
Let w be 6/4*1*12/2. Solve 3*y + w = -6 for y.
-5
Let y(m) = -m**2 - 4*m + 7. Suppose 5*f - 6 - 9 = 0. Suppose -p + o - 5 + 4 = 0, 4*o + 1 = f*p. Let c be y(p). Solve -3*w + c = -4*w for w.
-2
Let s = -3 - -3. Suppose 12 = m - 3*x, 0*m - 5*m + 3*x + 12 = s. Let p(r) = r**2 + 7*r + 8. Let l be p(-6). Solve m = -2*w - 0*w - l for w.
-1
Let j(q) = 6 - 2*q + 0*q - 8 - 8. Let i be j(-7). Suppose 5 + 11 = i*y. Solve 0*t - y = t for t.
-4
Let o(h) = h**2 + 5*h - 3. Let z be o(-6). Let a(t) = -t**2 - 4*t - 3. Let f be a(-3). Suppose f = -d + 5*d. Solve z*p - 5*p + 10 = d for p.
5
Suppose 4*z = -m + 22, 3*m + 21 = 3*z - 3. Solve 0 = z*q - q for q.
0
Let a = -1 - -4. Suppose -2*w + 52 = 5*j, 3*j - a*w = -0 + 27. Solve 3*y + j = -2*y for y.
-2
Let z(y) = y**3 + 8*y**2 - 9*y + 13. Let d(h) = -3*h + 6. Let n be d(5). Let a be z(n). Solve 2 + a = 3*u for u.
5
Let p = -29 + 27. Let d be (-1)/(-4) + (-1)/4. Let j = d - p. Solve j*b = -b for b.
0
Let w be -1 + 1 + 84/21. Solve -2*a + 2 = -w for a.
3
Let d be ((-8)/(-3) - 1)*(-108)/(-90). Suppose 5*h = 5*p + 15, -3*p + 11 = 2*h - 0*h. Solve w - p = d*w for w.
-1
Let y = -25 - -37. Let b = y - 7. Solve -j = 4*j + b for j.
-1
Let h be (1 - 1)*1 - -3. Let a(b) = -b + 10. Let m be a(8). Suppose -m*l - 4*x - 14 = 6, 4*l - 25 = 5*x. Solve -r = -l*r - h for r.
3
Suppose 3*v - 27 = 3*r, 2*r = -0*v + 5*v - 21. Let o be (-3)/(-9)*r*-9. Suppose -2*n + 5*n - o = 0. Solve n = 4*d - 8 for d.
4
Suppose 0 = -2*b + b. Let j be (-35)/(-14)*(2 - 0). Solve b = o - j for o.
5
Let y(c) = c**3 - 2*c**2 - 7*c + 1. Let v be y(4). Solve a + 12 = v*a for a.
3
Let s be (5 + -5)*2/(-4). Solve -2 = n - s for n.
-2
Let p be (-120)/9*(-12)/10. Solve -3*f = f - p for f.
4
Let s = 74 + -70. Solve -3*i = -s*i - 3 for i.
-3
Let l be (1/6)/((-1)/(-6)). Let v be 1*0/(-1 - l). Solve v*k + 6 = -2*k for k.
-3
Suppose 2*g = -b + 21, 5*g - b = 3*g + 11. Let p be (-3)/((1/6)/((-4)/18)). Solve 8*l - p*l - g = 0 for l.
2
Let f(q) = q + 15. Let x be f(0). Let a be 4/(-6) - 10/(-15). Solve -4*u - 5 - x = a for u.
-5
Let y(z) = -z**3 + 3*z + 3. Let g be y(-2). Suppose o + 2*o - 51 = -4*l, l + g*o = 17. Solve 0*t + 4*t = l for t.
3
Suppose 22 = 6*t + 4. Solve 6*l + 3 + t = 0 for l.
-1
Let f(b) = 2*b - 1. Let x be f(5). Let s(o) = -o + 13. Let m be s(x). Solve m*r + 11 = 3 for r.
-2
Let j(z) = z**3 - 5*z**2 + 2*z. Let g be j(5). Suppose -5*x = -g*x. Solve x*v = -2*v - 8 for v.
-4
Let i(g) = -2*g**2 + 4 + 3*g**3 - 2*g**2 - g**2 - 14*g - 2*g**3. Let q be i(7). Solve -q*s + 0*s - 16 = 0 for s.
-4
Let o be 10/(-1*2*-1). Let p be (-17)/(-2) + (-3)/6. Suppose 0 = p*m - 3*m - 15. Solve -o*n + m*n = -10 for n.
5
Suppose -2*o + 3 = -f - 1, 5*f - 20 = 0. Suppose 0*j - 4*j + 24 = 0. Let h = j - o. Solve -h*d = -3*d + 1 for d.
1
Let p be (2 - (-1)/(-4))*-4. Let x = -5 - p. Solve -8 = -2*c - x*c for c.
2
Let n be -1 - -1 - (-3 - -3). Suppose n = -f - 2*r - 1, f = -3*f + 3*r + 7. Solve -2*b + 1 = -f for b.
1
Suppose 0 = -3*p - v + 2 + 12, -4*p - 5*v + 15 = 0. Solve -p*r + 20 = -r for r.
5
Let l(b) = b**3 + 4*b**2 - 6*b + 6. Let s be l(-5). Solve 9 = -4*c - s for c.
-5
Let l(f) = -3*f**2 - 6*f. Let j(z) = -2*z**2 - 5*z. Let v(s) = 5*j(s) - 4*l(s). Let r be v(1). Solve -b = -1 - r for b.
2
Let c(k) = -k**2 - 9*k + 9. Let a be c(-9). Suppose -2*z - 2*b - 6 = 0, -14 = 3*z + 6*b - 2*b. Solve -a = z*v + v for v