b for u.
2
Let b be (-7 - -16)/(3/4). Let f be (30/(-8))/(-3)*4. Suppose 4*l + 2 = 3*y + b, 3*y - f*l + 14 = 0. Solve -y*w = w for w.
0
Let p be 50/(-20)*(-6)/5. Suppose 2*w + z - p = 4, 0 = 3*w + 2*z - 8. Solve -3*t + 5*t + w = 0 for t.
-3
Suppose -4*p + 6 = -2*p. Solve p = 3*v - 9 for v.
4
Let u(d) = d**2 + 8*d + 8. Let l be u(-7). Suppose 2*j = l + 3. Suppose -2*m = j - 10. Solve -8 = 3*p + m for p.
-4
Let s = 35 + -35. Solve -4*w + 12 + s = 0 for w.
3
Let p(r) = -r + 7. Let b be p(0). Solve 2 + b = -3*u for u.
-3
Let s = 133 + -130. Solve -s = -j + 4*j for j.
-1
Let r be 26/13 - (0 + -2). Let i(c) be the second derivative of -c**5/20 + c**4/3 + 5*c**2/2 - 2*c. Let u be i(r). Solve p + u = 1 for p.
-4
Let j(u) = u**2 - 4*u. Let w be j(4). Suppose -2*g + 1 = -7. Solve -g*v + 8 = -w for v.
2
Suppose -g + 8 = 3*g. Solve g = -w - 3 for w.
-5
Let u = 3 + -1. Let d(c) = 3 + c**2 - c**2 + 4*c - c**2 + 0*c**u. Let t be d(4). Solve 0 = n - t*n - 2 for n.
-1
Let j be (-7)/(-2)*(-48)/(-84). Suppose -h = -j*h. Let p be (14/6 + -2)*9. Solve p = -h*o - 3*o for o.
-1
Let r(g) = g**3 + g**2 - 5*g - 3. Let s be r(-2). Solve s*p + 2 = 2*p for p.
-2
Let h be 3 - 1 - (-10)/2. Let d(a) = a**2 + 11*a + 32. Let w be d(-7). Solve z = -w + h for z.
3
Suppose 6*n - 3*n + 3*z + 9 = 0, 0 = 2*z + 6. Solve 0 = 3*i - n*i + 9 for i.
-3
Let c(u) = -1. Let v(b) = b - 11. Let w(a) = 3*c(a) - v(a). Let z be w(6). Let f be 0/4 - -1 - -1. Solve f*x = -z - 8 for x.
-5
Suppose -2*o = -o + 4. Let b(k) be the third derivative of -k**6/120 - k**5/20 + k**4/6 + 2*k**3/3 - k**2. Let g be b(o). Solve -g*z - 15 = 5 for z.
-5
Suppose -13 + 47 = -2*p. Let o = p - -11. Let k be (15/o + 2)*-4. Solve -4 = 2*u - k for u.
-1
Let a(f) = 5*f**3 - 2*f + 1. Let b be a(1). Let v be (12/(-9))/(b/(-6)). Solve 0 = v*c - 4 for c.
2
Suppose 2*c = -5*b + 22 + 93, 5*b - 2*c - 95 = 0. Suppose -2*k - 5 = -b. Solve -y = y - k for y.
4
Let q(i) = 2*i + 5. Suppose -8 = -2*v - 2*b, 5*v - b = 1 - 5. Let m be q(v). Solve 15 = -m*w + 2*w for w.
-5
Suppose -38 = -5*v + 4*v. Let y be 4/20 + v/10. Solve 0 = -p + 2*p - y for p.
4
Suppose -5*i + 41 = 2*g, -27 - 17 = -3*g - 4*i. Solve g = h - 3*h for h.
-4
Let z(i) = -2 - i + i**2 + 1 + i**3 + 5 - 3. Let k be z(-3). Let w be (-46)/k - 4/14. Solve 1 = -w*j - 5 for j.
-2
Suppose 5*p - 17 = 3. Let y be -4 + (0 - 0)/3. Let q = 6 + y. Solve -p*t = -q*t for t.
0
Let d be -1*(-9)/(0 - -3). Solve -d*h - 9 = -6*h for h.
3
Suppose -2*g + 16 = 2*t, -t + 16 = 2*t + g. Suppose 0*m - 6 = 2*d - t*m, -d = -m. Suppose 2*a - 6 = -2. Solve 3*z = a*z - d for z.
-3
Let n be -1 + (-3)/(-6)*6. Let w(x) = -x - 3. Let m be w(-5). Solve -4 = -m*q - n*q for q.
1
Let f = -111 - -114. Solve 13 - 4 = -f*h for h.
-3
Let l be 6/(-10) + 322/70. Solve 0 = r - 5*r - l for r.
-1
Let j be (-2 - (-21)/9)*(-4 + 13). Solve 2 = -k + j*k for k.
1
Suppose 2*r - 6 = 2. Suppose 52 = r*w + 3*d - 19, -w = -5*d + 11. Solve -4*p - w + 2 = 0 for p.
-3
Let a be (27/(-3) - -6) + 12*1. Solve 0 = -0*j + 3*j - a for j.
3
Let d be ((-2)/(-5))/((-8)/240). Let p be (-3)/d + (-1)/4. Solve 6*u - u + 25 = p for u.
-5
Let u = 1 - 1. Let j be -1 + 0 - (-6 + 3). Let c be (-5)/(10/(-4))*1. Solve u = -c*d + d - j for d.
-2
Suppose 0 = 6*q + 8 - 50. Solve -q = 4*j - 27 for j.
5
Let m(k) = 14*k + 1. Let s be m(1). Solve -3*i - 2*i = -s for i.
3
Suppose 0 = 4*w - 8*w - 32. Let f = 14 + w. Solve -4*q - f = 2 for q.
-2
Let l be (-152)/(-32) - (-6)/(-8). Suppose l*b + 2*k - 18 = 0, 7*b - 2*k = 2*b. Suppose -4*p - 16 = 2*o, -4*o + 5*p + 1 = -19. Solve o = 2*v + b*v - 12 for v.
3
Suppose -5*m - 3 = -k, -3*k = m - 4*k + 3. Suppose m*n = 2*n - 18. Let f(u) = u + 7. Let z be f(-6). Solve -5*x + z = -n for x.
2
Let k(a) = -a**3 + 6*a**2 + 9*a + 4. Let d be k(7). Let q be d/8 + 3/4. Let p be (-2)/(-3) - (-2)/(-3). Solve p = -q*f - 13 - 2 for f.
-5
Let c = -3 - -2. Let l(k) = k**2 + k - 5. Let m be l(-3). Let j = m - c. Solve 2 - 6 = j*r for r.
-2
Let i be 5 + -3 - (1 - -1). Suppose 9 + 19 = 2*h - 4*w, i = -4*h + 4*w + 60. Solve 5*f + h = f for f.
-4
Let d = -1 - -7. Solve -f - f + d = 0 for f.
3
Let y(u) = -2*u + 3. Let h(s) = s - 2. Let a(m) = -5*h(m) - 3*y(m). Let l be a(4). Solve 37 - 12 = l*k for k.
5
Suppose 2*r - 11 = -5*k, k + 0*k + 4*r = -5. Let x(o) = -o**2 + o + 2. Let b(s) = -s**2 - 5*s + 8. Let p be b(-6). Let c be x(p). Solve c = h + k + 2 for h.
-5
Let q(c) be the third derivative of c**6/120 - c**5/12 - 5*c**4/24 + c**3/6 + 2*c**2. Let t be q(6). Solve -t*s + 2*s = -25 for s.
5
Let q = -25 - -26. Solve 4*y = -15 - q for y.
-4
Let t be -3*2/18*(0 - 9). Solve -t*c + 0 - 3 = 0 for c.
-1
Let y = 7 - 1. Let s = -5 + y. Let a be 4/(s - -1) + 0. Solve a*z = z - 4 for z.
-4
Let r(a) = 2*a + 2 - 3*a - 1. Let t be (5 + -1)/(-4) + 0. Let k be r(t). Solve -l = k*l for l.
0
Let x = -10 - -2. Let u = x + 8. Solve u*n - 8 = 4*n for n.
-2
Let y be (-2)/((3 - 5) + 3). Let s = 2 + y. Solve l + 4*l = s for l.
0
Let x = 6 + -4. Let f be (-3 - -1)*-4 - 3. Suppose -i - f*r + 6 = 0, 4*i - 4 = 5*i - 5*r. Solve -j = -i + x for j.
-1
Suppose 0 = 6*o + 3 - 27. Solve 4 = o*k - 4 for k.
2
Let d(v) = -2*v - 3. Let h be d(-3). Let q = 21 + -15. Suppose 0 + q = h*u. Solve n + u = 1 for n.
-1
Suppose 3 + 9 = 2*s. Let n be 86/30 - 64/(-480). Solve n*t = -0*t + s for t.
2
Let x = 12 + -9. Let a be x/(-6)*(1 + -3). Solve -a + 10 = 3*m for m.
3
Let o(s) = -s**3 + 4*s**2 - 4*s + 2. Let n be o(2). Let r be ((-1)/n)/((-1)/8). Solve -q + r = -3*q for q.
-2
Let a = 11 - 8. Let p be (-15)/(-6) - a/6. Solve -p*n = -3*n + 1 for n.
1
Let v(b) be the second derivative of -3*b**5/20 - b**4/12 + b**3/6 + b**2/2 - 4*b. Let j be v(-1). Solve 4*s - 6 = j*s for s.
3
Let q be 1 - 3/(-6 + 3). Let t = 6 - q. Solve 0 + t = -4*w for w.
-1
Let m(l) = l**2 - 2*l - 5. Let h be m(4). Solve 6*y + 3 = h*y for y.
-1
Let v(a) = a - 1. Let w(c) = -c**2 - 3. Let y(l) = 2*v(l) - w(l). Let i be y(-1). Solve 20 + i = 4*u for u.
5
Let d(w) = w + 1. Let g(m) = 12*m + 3. Let t(y) = -5*d(y) + g(y). Let i be t(1). Solve -a = -i*a - 12 for a.
-3
Suppose 5*j + 4 = 2*l, 4 - 26 = -2*l - 4*j. Solve -l*f = -2*f + 5 for f.
-1
Let u(s) = s**3 + 4*s**2 + 3*s + 2. Let r be u(-3). Suppose -n = z + 2*z + 4, r*z - 8 = -2*n. Solve -4*i - n = -8*i for i.
2
Suppose -2*i = 10, 4*i + 16 = 2*a - 40. Let d = -14 + a. Solve m + d = 5*m for m.
1
Let f = 1 - -1. Let r = f - -3. Let h be r/1 - (4 - 3). Solve -h = -m + 1 for m.
5
Let i(x) = x**3 - 8*x**2 - 5*x - 26. Let z be i(9). Solve 6*p = z*p + 20 for p.
-5
Let v(i) = -i**3 - 13*i**2 + i - 9. Let o be v(-13). Let h = o - -23. Solve 5 = 4*a + h for a.
1
Let y(l) = l**2 - 8*l + 3. Let t be y(6). Let s(v) = v**2 + 9*v + 5. Let z be s(t). Solve z*k = -18 + 43 for k.
5
Suppose 58 - 22 = 4*b. Suppose -4*t = g, 0 = -0*g + 2*g - 4*t + 12. Let q = b + g. Solve -p + 0 = q for p.
-5
Let n(z) = -6*z. Let o be n(-1). Suppose -w = -o*w. Solve w = -5*a - 9 - 16 for a.
-5
Let l be -1*(-3)/(-6)*0. Let m be 3 + -1 - (2 - 2)/1. Solve -7*r + m*r = l for r.
0
Suppose 20*u - 6 = 18*u. Solve w = u*w + 10 for w.
-5
Suppose -3 - 9 = -3*t. Suppose t*p = p. Solve p = 4*z + z - 5 for z.
1
Let n(m) = m**3 + 10*m**2 + 6. Let j be n(-10). Solve -3*o - j = 3 for o.
-3
Let k = 2 + 1. Let z = 1 + k. Solve u + 3*u = -z for u.
-1
Suppose 0*d + 2*d = 0. Solve 4*c + d = -4 for c.
-1
Let o(f) = f**3 - 3*f**2 + 2*f - 3. Let t be o(2). Let b be 2*10*t/4. Let w be b/(-6)*(-4)/(-5). Solve x + x = w for x.
1
Let w(d) = d**3 - 5*d**2 - 7*d + 5. Let r be w(6). Let o be 5*(r - -2) - 1. Solve -6 + 14 = -o*z for z.
-2
Suppose 0 = -11*z + 14*z - 6. Solve 0*l = -z*l - 4 for l.
-2
Let l(a) = -a + 5. Let v be l(0). Let f = v - 3. Solve 2 + 4 = -f*d for d.
-3
Let n = -17 - -22. Solve 4*f - 5*f = -n for f.
5
Let w be 0 + -1*(-4 + 3). Solve 0 = 2*y + w + 1 for y.
-1
Let d = -1 - -2. Let q = -6 + d. Let l be q/(-2)*4/2. Solve 3*f = l - 2 for f.
1
Let s(l) = l**3 - 5*l**2 + 4. Suppose -10 = 5*i - 35. Let c be s(i). Suppose 13 = -5*j - n + 42, 3*j - c*n + 1 = 0. Solve -14 + j = -3*f for f.
3
Suppose 10*t + r = 5*t + 275, 0 = 2*t - r - 117. Suppose -4*l - a = -t, 3 + 5 = -2*a. Solve -2*f + l = f for f.
5
Suppose -18 = 2*o - 28. Solve 21 = o*x + 1 for x.
4
Let a = 72 - 67. Solve a*m - 3*m = 0 for m.
0
Suppose 0 = -s + 2*j, -3*s + 26