)/2). Solve -b*f = f - 3 for f.
1
Let y(s) = s**3 - 10*s**2 + 1. Let c be y(10). Let v = c - -4. Solve z = -4*z - v for z.
-1
Suppose 0 = -2*b + x - 5*x + 12, 2*x = b + 6. Solve b = v - 1 for v.
1
Suppose -8*o = 5*o - 130. Solve 0 = -12*j + o*j for j.
0
Let v = -7 + 27. Suppose -5*j = -5*f + 3*f + v, 4*j - 17 = -5*f. Solve f*u + 19 = -1 for u.
-4
Let n = -20 + 31. Let p = 15 - n. Suppose 0 = 2*a - 2*b, 0 = -a + 5*b - 0*b. Solve -p = -a*z - 2*z for z.
2
Let g be (-4 + 2)*(4 + -2). Let f be (-2)/g*(2 + -2). Solve f = -0*u + 2*u - 8 for u.
4
Let i(l) = 10*l**3 + 2*l**2 + 3*l - 4. Let c(j) = -10*j**3 - 2*j**2 - 2*j + 3. Let g(n) = -3*c(n) - 2*i(n). Let p be g(1). Solve 3*o + 1 = -p for o.
-4
Suppose 5*k + 36 = k. Let t be (k - -17)*(-2)/(-8). Solve 15 = -y - t*y for y.
-5
Let b be ((-132)/11)/(4/(-2)). Solve -2*y - b = y for y.
-2
Let v(f) be the first derivative of 13*f**3/3 - f - 2. Let r be v(-1). Suppose 5*l - r - 8 = -5*k, -5*l = -2*k - 20. Solve 0*m - 5*m = k for m.
0
Let g(r) = -r**2 - 7*r + 2. Let d(z) = z**2. Let k(v) = 2*d(v) + g(v). Let f be 7*(-1)/(-2)*2. Let l be k(f). Solve 0 = -q + l*q for q.
0
Let q be (-3 - -1)*4/(-8)*2. Solve 8 = 3*l + q for l.
2
Let n be (-244)/(-8) + 9/(-12)*-2. Solve 5*h = n - 7 for h.
5
Let g(l) = -l**2 + 7*l - 6. Let t be g(6). Let y = 617 - 613. Solve -d = -t - y for d.
4
Suppose 4*r - 10 - 2 = 0. Suppose -r*f = -f - 20. Solve -4*g - f = g for g.
-2
Suppose -2*w + 5*q + 5 = 0, -2*w + 2 = 4*q + 6. Let n = w + 2. Suppose -1 - 3 = -n*v. Solve 4*r = v + 2 for r.
1
Suppose -3*y = -4*l + 38, 32 = -4*y + 5*l - 17. Let r = y - -14. Solve 3*k - 4 = r for k.
4
Let o = -69 - -166. Suppose 5*j - o - 38 = 0. Solve -5*x + 7 = j for x.
-4
Let m be (-8)/(-12) + 14/6. Let x = m - 0. Solve 0 = -d + 1 - x for d.
-2
Suppose 0*r = -r. Suppose -4*g - 3*v + 20 = r, 5*v - 22 = -g - 0*g. Solve -g*b - 9 - 1 = 0 for b.
-5
Let p(s) = 2*s - 3. Let n be p(3). Suppose -v + 16 = n*v. Solve -3*x = v + 2 for x.
-2
Let f(h) = 4*h**2. Let o be f(-1). Solve -5 = o*l - 1 for l.
-1
Let v be (-35)/(-50)*5*(-2 - -4). Solve 4*d = -v + 27 for d.
5
Let p = -15 - -19. Solve 0*w - p = -w for w.
4
Let n(k) = -k**3 + 2*k**2 + 2*k + 4. Let f be n(3). Let y = 9 - f. Solve 3*c = y*c + 5 for c.
-1
Let a = -5 + 9. Suppose -24 = -5*l - 4. Suppose i + 0 = -l*t + 23, 0 = -4*i - a. Solve -2 = -4*r + t for r.
2
Suppose -4*o = -30 - 18. Let m = -4 + o. Solve 0 = -4*r - 0 - m for r.
-2
Let l be 21/6*8/14. Let b(k) = k + 1. Let n be b(l). Solve -4 = -n*x + x for x.
2
Let w be 6/(-18) + 25/3. Suppose y - 6*u - w = -3*u, -3*y + 4*u = -19. Solve t = -0 + y for t.
5
Let d = -11 + 2. Let a = 3 + -8. Let g = a - d. Solve 0*y = -g*y for y.
0
Let d(c) = c**2 + 9*c - 15. Let h be d(-11). Solve h + 1 = 2*i for i.
4
Let k(q) be the first derivative of -2*q**2 - 5*q + 2. Let v(y) = y**3 + 10*y**2 + 2*y + 15. Let t be v(-10). Let m be k(t). Solve -p = -6*p - m for p.
-3
Suppose -2 = 22*r - 24*r. Solve n - r = 2 for n.
3
Let h be (6/(-9))/((-2)/6). Let k = 3 - h. Let s(a) = 6*a**2 - 1. Let m be s(k). Solve p - m + 2 = 0 for p.
3
Suppose -4 = 2*y - 2. Let j(h) = -h + 1. Let v be j(y). Suppose -5*p + z = -13, -v*p + 6 = 5*z + 17. Solve -5*u + 12 = -p*u for u.
4
Let v(x) = -x**3 + 11*x**2 - x + 13. Let l be v(11). Solve -w - l = 2 for w.
-4
Let y(x) be the third derivative of -x**6/120 - x**4/24 - 7*x**3/6 + x**2. Let u be y(0). Let j = 7 + u. Solve n + 5 = -j*n for n.
-5
Suppose -3*a + 3*u + 4 = -a, 4*u + 7 = a. Let l be (a - 27/(-21))*7. Let m be l/3 + (-7)/(-3). Solve -m*c - c - 4 = 0 for c.
-1
Suppose -b = -x + b + 6, 5*b = 5*x - 25. Solve 3*y = -10 + x for y.
-2
Suppose 4*r + 0*k + 5*k - 74 = 0, 2*k - 4 = 0. Let g = r - -8. Suppose -6*u + 2*u + g = 0. Solve u = -o - o for o.
-3
Let i = 7 + -6. Let v be i*2 + (-10)/(-5). Solve f + 15 = v*f for f.
5
Let u(p) = p + 10. Let n be 2 + (-3)/(-3) + -11. Let i be u(n). Let c = -5 - -8. Solve -i = 4*s - c*s for s.
-2
Let v be (0/3)/(0 - -2). Suppose u - 2*u = v. Let y = 3 + u. Solve -8*p = -y*p - 15 for p.
3
Let u = 6 - 7. Let w be (-33)/9*-3 - u. Solve -5*h - 2 + w = 0 for h.
2
Suppose -x + 3 = -5*s - 0, -5*x = 2*s - 15. Solve 0 = -0*h + x*h + 9 for h.
-3
Suppose -9*t = -15 - 21. Solve -3*c + t*c = 0 for c.
0
Let n(r) = r**3 + 4*r - 2 + 3*r**2 + 1 + 3. Let w be n(-2). Let z be (w - 27/(-6))*2. Solve z*y = 3 - 13 for y.
-2
Suppose q = -0*q - t - 5, -q + 2*t = 20. Let u be (q/(-3))/((-4)/(-18)). Solve 0*c - u = 3*c for c.
-5
Suppose s - 5*s + 80 = 0. Let c be (3 - 4) + s + 1. Let z(i) = i - 4. Let u be z(6). Solve -6*j = -u*j + c for j.
-5
Suppose 3*f - 2*f = 0. Let a = 4 - 2. Suppose -8 = -4*w, -5 - 2 = -3*h - 2*w. Solve f = v + h - a for v.
1
Let k(u) = u**2 - u + 3. Let h be (2/3)/(5/(-15)). Let w be 0*(h - -4)/(-4). Let i be k(w). Solve -q = -0*q - i for q.
3
Let s(h) = -2*h + 2. Let j be s(7). Let t be (-2)/(-4) - j/(-8). Let c(i) = -2*i. Let w be c(t). Solve -4 = w*f - 6*f for f.
1
Let z = 9 + -9. Suppose 2*v - 20 = -z. Solve v = o - 3*o for o.
-5
Let j be (12/4)/3 - 0. Solve -2 - j = -n for n.
3
Suppose 0 = 5*v - 3*j - 2*j + 10, 2*v - 11 = -j. Suppose 3*q = -3*p + 15, -3*p + 6*p - 4*q - 1 = 0. Solve -15 + v = p*b for b.
-4
Suppose -4*f + 60 = 3*t - t, -2*f + 4*t + 30 = 0. Solve 3 = -3*w + f for w.
4
Let q = -2 - -3. Solve 2*r - q = -3 for r.
-1
Suppose w = 3*f + 4, -2*f + 1 = 2*w + w. Solve -2 = -m + w for m.
3
Let y be (-55)/(-5) + (-2)/(-2). Let s be ((-3)/3)/((-2)/y). Solve a = -a - s for a.
-3
Suppose -12 = -3*v - 0*v. Suppose -v*r = 2*r. Solve r = k - 5*k + 8 for k.
2
Let u = -6 + -3. Let d be 3*(-6)/u - 0. Solve -d*l + 2 = 4 for l.
-1
Let t = 95 + -92. Solve 0 = -t*l + 2 - 8 for l.
-2
Let g = -97 - -105. Solve 0 = -5*v + g + 2 for v.
2
Let m(h) = h + 12. Let o be m(-8). Suppose -2*w = 3*b + 90, w + 51 = o*b + 17. Let n be w*(-1)/2 + 0. Solve -5*u - n = -6 for u.
-3
Suppose 0 = 2*c + 5*q + 15 + 5, -12 = -2*c + 3*q. Suppose -2*s = -3 + 1. Suppose c = -l - s + 3. Solve 4*h - 10 = l for h.
3
Let j(m) = -m**2 - 6*m - 7. Let p be j(-3). Solve 2*o + 8 = -p*o for o.
-2
Let c(f) = f**2 - 8*f - 2. Let l be c(6). Let s be l/(-3) + 2/6. Let g be (-7)/((-42)/20)*3. Solve -3*q + g + s = 0 for q.
5
Suppose 5*q = 3*q + 2. Let o(u) be the third derivative of u**6/120 - u**5/10 + 5*u**4/24 + u**3/6 + 3*u**2. Let k be o(5). Solve -i = q + k for i.
-2
Suppose 2*a = -4*d - 4 - 0, 2*d + 2 = 0. Solve 2*s = -a*s - 10 for s.
-5
Suppose 6*m = 4*m - 2*j + 6, -5*m - 4*j = -16. Solve -q - m*q + 20 = 0 for q.
4
Suppose 3*q - 38 = 4*d, q + 8 = 4*q + 2*d. Solve -y = -q*y for y.
0
Suppose 3*h - 33 = 3*r + 21, 0 = 2*r + 5*h + 57. Let t = r + 15. Let x be t/6 + (1 - -4). Solve -2*a + x = -6 for a.
5
Let x = -2 - -2. Let r = 2 - -3. Suppose -4*g - 4*w + 16 = 0, r*w + 4 = -1. Solve -3*z + g*z = x for z.
0
Let s = 7 - 3. Let q = -34 + 50. Suppose -s*k = -4, 5*w = -0*k - k + q. Solve 20 = -w*v - v for v.
-5
Let g = 16 - 13. Solve -g*c + 1 = -2*c for c.
1
Let q(k) = k**2 - 7*k + 8. Let u be q(8). Solve -m = -5*m + u for m.
4
Let f be -1 - -2*16*1. Let c = f - 17. Let x be c/3 + 6/(-9). Solve -3*v = -v - x for v.
2
Suppose 5*k + 12 = x, -2*x + 0*x - 3*k = 2. Solve -2 = -h + x for h.
4
Suppose 5*p = -3*p + p. Solve -6*i + 2*i = p for i.
0
Suppose v = -5*v. Solve -q - q + 2 = v for q.
1
Let v be 3/((-2)/(8/(-6))). Let q(x) = x**2 + 6*x + 1. Let z(m) = -m**3 + 3*m**2 + 3*m - 2. Let w be z(4). Let s be q(w). Solve -t + v*t = s for t.
1
Suppose 0*a + 3*a - 12 = 0, 4*z + 4*a = 16. Suppose z = 2*b - 0*b. Solve b = -g - 3 + 1 for g.
-2
Suppose -4*q + 0*q + 28 = 0. Let c = q - 7. Solve c = -0*k + 4*k + 16 for k.
-4
Suppose z = -5 + 9. Suppose -z*k = 7 - 39. Suppose -5*n + 2 + 1 = 3*l, -l + k = 4*n. Solve 12 = -n*v - 0 for v.
-4
Let b(i) = -i - 1. Let g be b(-4). Suppose -g*a - 2*a = -25. Solve -15 + a = 2*p for p.
-5
Let l(o) = -4*o - 3. Let y be l(-2). Solve y*b - 5 + 25 = 0 for b.
-4
Let w(g) = 5*g - 16. Let m be w(7). Suppose 0*f - 22 = -f + 4*s, 2*f - m = 3*s. Solve 5*t = f*t for t.
0
Suppose -2*w - 3*w = -3*m + 10, -25 = -4*m - 5*w. Let y be 0/(5/((-15)/9)). Suppose 0 = -2*t - y + 22. Solve -m*s + 31 = t for s.
4
Suppose 3*l - 9 = 2*v, -2*v + 16 = l - 7*v. Solve l = -3*z - 2 for z.
-1
Suppose -4*j - 20 = z, 0 = 2*z + z - 12. Let s be ((-100)/j)/(18/27). Solve -9 = -