 -7 - 2 = u*v for v.
-3
Let v(f) = f**2 + 9*f. Let g be v(-9). Solve g = 4*o - o + 3 for o.
-1
Let i(y) = y**3 + 3*y**2 + 2*y. Let t be i(-2). Solve t = -c - 2*c for c.
0
Suppose 5*x - 4*x = -12. Let u = x - -17. Suppose 0*a = -u*a. Solve a*z = -z for z.
0
Let g = 20 + -20. Solve g = 5*c - c for c.
0
Let l = -2 - -4. Suppose 0 = 5*z + l - 17. Let x(m) = -5*m**3 + m**2 - m - 2. Let p be x(-1). Solve k + p = z for k.
-2
Let s(x) = x**3 - 15*x**2 + 24*x + 28. Let y be s(13). Solve 3*u - y = 13 for u.
5
Suppose 40 = 3*c + k, k + 3*k = 16. Let s = -2 - -6. Solve x = s*x - c for x.
4
Let n = 11 + -8. Suppose n*i - 11 + 5 = 0. Solve 0 = i*c - c - 3 for c.
3
Let d(x) = 8*x - 44. Let g be d(7). Solve -5*c - g = 8 for c.
-4
Suppose 5*g + 4*d = 45, -5*g = 6*d - d - 50. Let o = g - 5. Let n be (-3 - -6)*(1 - o). Solve -n*m = -2*m - 3 for m.
3
Let l be (2 + 0)*(-45)/(-6). Let x(r) = -r**2 + 3*r + 4. Let v be x(4). Solve -8*i + 3*i - l = v for i.
-3
Let w(c) = c**3 + 17*c**2 + 14*c - 29. Let l be w(-16). Solve l = -3*o - 6 for o.
-3
Let z be 4/(-6)*60/(-8). Let g = 4 + z. Solve -4*n - g = -1 for n.
-2
Suppose 2*w = j + 2, 2 + 0 = 3*w - j. Suppose 2*a + w*a - 22 = 0. Solve 5*n + 4 = -a for n.
-3
Let o be 2/8 + (-54)/(-8) + -3. Solve -o*t = -t - 3 for t.
1
Suppose 5 = -4*h + 5*h + 3*k, 3*k = h + 1. Let t = 6 + -3. Solve t*u - h*u = -1 for u.
-1
Let l = 27 - 23. Solve -4*p + l = -0*p for p.
1
Let g(s) be the first derivative of s**3/3 - 5*s**2 - 4*s + 3. Let j be g(13). Suppose 6*d - j = d. Solve -3*o = d + 2 for o.
-3
Suppose -3*m = -5*m. Suppose 5*d - 3 - 2 = m. Solve -f = -3 + d for f.
2
Let p be (3 + -3)*1/4*-1. Solve -3*n + 8*n + 25 = p for n.
-5
Let j(a) = -a + 61. Let p be j(0). Let g = -19 + p. Suppose 0*l - 4*l + f + 41 = 0, -2*f - g = -4*l. Solve -3*q - l = -q for q.
-5
Suppose -5*i = 2*j - 4*j - 4, -5*i = 2*j - 16. Let c = -26 - -28. Solve -i*q = c*q - 16 for q.
4
Let l be (-9)/(-5) + 2/10. Let k(v) = -2*v - 1. Let y be k(-1). Suppose 0 = 4*j - 5 + 1. Solve l*b = -j - y for b.
-1
Suppose 48 = 5*n + 3*h, n - 3*h = 28 - 4. Solve 5*d = 3 + n for d.
3
Let a(j) = j**2 + 4*j - 8. Let h be (-5)/(-15) - 11/(-3). Suppose 0 = -3*v + h*v + 6. Let r be a(v). Solve -r = -3*d + 5 for d.
3
Let s(l) = -2*l**3 + 9*l**2 - 6*l + 11. Let y be s(4). Solve 0 = y*a - 3 - 3 for a.
2
Let l(q) = -q**2 - 8*q - 8. Let c be l(-6). Let r(p) = p. Let g be r(3). Suppose g*t = 2*t + c. Solve -b = t*b for b.
0
Let i = -50 + 50. Solve i = 4*d - 12 + 4 for d.
2
Let p(v) = -2*v**2 - 4*v - 3. Let s be p(-2). Let a be 3 + s + 4 + -1. Solve 4*y + 13 = -a for y.
-4
Let f be (-6)/10 - 8/(-5). Let w be 2 + 3 + -3 + f. Solve w*u = -9 + 18 for u.
3
Suppose -5*v = 0, -2*u - 12 = -u + 4*v. Let s be 3*(u/(-9))/2. Solve s*t + 3*t = -15 for t.
-3
Let z(r) = -r**2 - 6*r + 4. Suppose 4*a = -3*h + 1 - 21, h + 16 = a. Let p = h + 7. Let y be z(p). Solve l = -2*l + y for l.
3
Suppose -5*b - 5 = 0, 2*k - 7*k - 4*b = -11. Let f(j) = 6*j**2 - 2*j + 1. Let t be f(1). Solve -k*a + 8*a + t = 0 for a.
-1
Let j(w) = -2*w**3 - 6*w - 3 + w**3 + 6 + w**2 - 8*w**2. Let p be j(-6). Suppose -4*l - 2*q = -5*q + 4, p*l - 14 = -2*q. Solve -4 = -4*c + l*c for c.
2
Let c be 189/45 + 2/(-10). Suppose -3*i = -v - 11, 5*i - 10 = -c*v + 14. Let h = i + -2. Solve -h*r - 3*r = 5 for r.
-1
Let l = -69 - -76. Solve 1 + l = 4*p for p.
2
Let a = 1 - 1. Suppose 4*x - 8*x + 20 = a. Suppose 1 - 9 = -2*u. Solve u*g = x + 3 for g.
2
Let s(u) be the second derivative of 5*u**4/4 + 3*u. Let g be s(-1). Suppose 5*p = -h + g, -7*p + 2*p - 2*h = -20. Solve 4 - 2 = p*i for i.
1
Suppose -y = -2*y + 4. Suppose y*h - 13 = 3. Solve 12 = h*k + 4 for k.
2
Suppose 26 = -2*d + 4*d - 4*p, 0 = -3*d - 2*p + 23. Let z(c) = 2*c + 1. Let h be z(-4). Let s = d + h. Solve 0 + s = -2*v for v.
-1
Suppose 9*v - 42 = 7*v. Let q = v + -17. Solve -q*t = t - 15 for t.
3
Let n = 6 + -4. Suppose -28 = -4*p - 2*t, 0 = n*p - 3*t + t - 20. Let s = p - 6. Solve d = -s + 7 for d.
5
Let z = 3 - 3. Suppose 0*f + 6 = -3*f. Let v = 4 + f. Solve z*q = v*q for q.
0
Suppose 59*q = 62*q - 12. Solve -q*a - 23 = -3 for a.
-5
Let o = 17 - 12. Let p = 2 - o. Let z be (1 + -2)*(-4 - p). Solve z + 2 = 3*f for f.
1
Suppose q - 28 = -3*q. Suppose -8*m + q*m = -6. Solve 2*u - 16 = m*u for u.
-4
Let p be ((0 - -4) + -4)/((-9)/3). Solve -m + p*m - 3 = 0 for m.
-3
Let q be (-5)/(-10)*(-1 - -1). Solve 0*h - h + 2 = q for h.
2
Let x(u) = -u**3 - 2*u**2 + 3*u + 3. Let o be x(-3). Let b be (6/(-8))/(o/12). Let q be ((-12)/10)/(b/20). Solve -3*i - q = i for i.
-2
Let y(g) = -g**3 - 2*g**2. Let i be y(-2). Solve i = -d + 2*d + 3 for d.
-3
Let w(g) = 2*g**3 - 2*g**2 + 2. Let r be w(2). Let m = r + -10. Solve -2 = 2*u - m for u.
-1
Suppose 0 = -0*k + 2*k - 12. Let y = 6 - k. Solve -5*v = -y*v for v.
0
Let x(l) = l - 7. Let q(b) = 2*b - 13. Let y(z) = 2*q(z) - 5*x(z). Let d be y(7). Suppose -d*a + 3*a = 4*n - 17, n - 17 = -4*a. Solve -1 - a = u for u.
-4
Let z = -14 - -20. Suppose -z = 3*t - 6*t. Suppose 0*n + i = t*n - 16, i = 0. Solve j - n = 5*j for j.
-2
Let c = 17 - 12. Suppose 4*q + 116 = 40. Let p = q + 40. Solve -p = -4*g - c for g.
4
Let v(x) = -3*x + 78. Let z be v(25). Solve 0 = -4*w + z - 11 for w.
-2
Suppose 4*h + 7 = -0*h - 3*g, -3*g - 15 = 0. Solve h*c + c = -9 for c.
-3
Let g(s) = s**2 - 3. Let c be g(-3). Suppose 0 = v + 2*v - c. Solve 2*t + 0*t + v = 0 for t.
-1
Suppose 15 = 9*c + 6. Solve -2*t = -7 - c for t.
4
Let w(z) be the first derivative of z**3/3 + 7*z**2/2 + 1. Let s be w(-7). Suppose 20 = 3*d - 4*x - s, -6 = -d + x. Solve 0 = -u + d*u - 12 for u.
4
Let s(c) = c - 5. Let r be s(10). Let o = r + -3. Solve -o*x - x = -9 for x.
3
Let x(y) = -3*y - 2. Let q be x(-2). Solve 3*w - 1 = q*w for w.
-1
Suppose -3*a = -2*s + 2*a - 3, 6 = 5*s + a. Solve 3*g = s + 2 for g.
1
Suppose -35 = -5*p - 0*p. Let s(b) = b - 7. Let u be s(p). Solve u*n + 2 = -n for n.
-2
Let z(q) = -q**2 - 3*q - 2. Let d be z(-2). Let y be 0/(2*-1*-1). Let n = y - d. Solve n = -j - 3*j for j.
0
Let t(d) = -2*d - 5. Let x be t(-5). Suppose 5*k = -5*a - 5, -3*k = 5*a - 0*a + 5. Let g = 4 + k. Solve -x = -o - g*o for o.
1
Suppose -5*a = -a + 52. Let i = -8 - a. Solve -4 = -i*o + o for o.
1
Let r(w) = 2*w**3 - 2*w + 1. Let a be r(-2). Let b be (-11 - a)/(1 - 4). Solve p - 4*p = b for p.
0
Suppose -7*c - 4 = -3*c. Let r be (-2 - (-1 + -1))*c. Solve r = -p - 3*p - 20 for p.
-5
Suppose 2 = -k + 4. Suppose k = 2*z - 4. Solve 0*o + z = 3*o for o.
1
Let k(q) = q + 1. Let b be k(4). Suppose b*r - 3 = 32. Solve -2*t = -r*t + 15 for t.
3
Let l(r) = -r**3 + 5*r**2 + 8*r + 5. Let y be l(6). Let s be y/(-5) + (-4)/(-10). Let m be (3/s - 3)*-1. Solve 0 = -m*f - 0*f + 16 for f.
4
Let w(p) = p**3 + 11*p**2 - 13*p - 13. Let i be w(-12). Let b = i - -2. Let s(o) = o**2 - o - 3. Let v be s(3). Solve v*j = 16 - b for j.
5
Let v(y) = y**3 - y**2 - y + 5. Let m be v(0). Let c be 2/(-10) + 1/m. Solve c = 4*d + 4 + 8 for d.
-3
Suppose 3*s - 8 = 58. Suppose 4*n + 2 = s. Solve 6 = -n*d + 1 for d.
-1
Let o = 2 + 2. Suppose -6*a + 0 = -12. Solve 0 = -o*b + a*b for b.
0
Suppose 0 = j + 1 - 6. Let f(w) = 2*w - 1 - 7 - 2. Let p be f(8). Solve j*d + p = -14 for d.
-4
Let m be 722/10 + 8/(-40). Let d be 272/m - 2/(-9). Solve 0*w + 12 = -d*w for w.
-3
Let t(u) = u**3 + 4*u**2 - 7*u - 5. Let p(i) = i**3 - 5*i**2 + 4*i - 5. Suppose 0*s = 5*s - 20. Let j be p(s). Let n be t(j). Solve 30 - 5 = -n*q for q.
-5
Let p = -15 + 17. Solve p*u - 10 = 7*u for u.
-2
Let b = -52 + 53. Solve -x + b - 4 = 0 for x.
-3
Let c(o) = o + 23. Let z be c(-11). Solve -8*x + 12*x + z = 0 for x.
-3
Let o be (12/4)/((-6)/(-4)). Suppose -o*c = -0*c - 4. Solve 0 = -c*b - 2*b - 4 for b.
-1
Let w(m) = -m**2 - 5*m - 1. Let s be w(-1). Solve s*k = 17 - 8 for k.
3
Let z = 0 + 2. Let m(u) = 2*u**2 - 2*u - 1. Let j be m(z). Solve j*y = y for y.
0
Suppose -4*o - 4*v - 8 = 0, 2*o - 4*v = -0*v + 20. Suppose 3*h = g + 75 - 8, o*g - 2*h + 146 = 0. Let i be 5/(-25) + g/(-5). Solve 4*b - i = b for b.
5
Suppose -3*o = -12, 6*b = 2*b + 2*o. Solve 5*q + 12 = b for q.
-2
Let l be 3 + (-7 + 1)*(-5)/10. Solve l = r + 5 for r.
1
Suppose -3*x = -4*x + 3. Let z(c) be the second derivative of c**3/6 - c. Let m be z(2). Solve -x = m*k - 3*k for k.
3
Let p(b) = b**3 - b**2 + b + 1. Let v be p(0). Sol