ppose 22*b = 17*b + 20. Solve b = -3*w + 4*w for w.
4
Suppose 3*h - 16 = -v - h, 2*h - 22 = -4*v. Suppose v + 0 = 2*q. Suppose 0 = 4*n - 4*p + 8, -3*n + 5 = q*n - 2*p. Solve -j = -2*j + n for j.
3
Let g(q) = -6*q - 1. Let m be g(-1). Suppose -9 = -3*y, y = m*s + 6*y - 265. Suppose s = 4*k + k. Solve w = -4*w - k for w.
-2
Suppose -2*b + 4*b = 6. Let h be b/2 + (-3)/(-2). Suppose -h*a = -5*r - 8 - 0, 2*a - r - 3 = 0. Solve 24 + a = -5*l for l.
-5
Let a be (10/(-1))/(2/5). Let h be (30/a)/(1/(-5)). Let w be 6/18 - (-10)/h. Solve 0 = -5*t + w*t for t.
0
Let g(z) = z**2 - 8*z - 14. Let r be g(10). Let a be ((-10)/3)/((-4)/r). Suppose -h + a = -0*h. Solve -6 - 4 = -h*y for y.
2
Let k(r) = r**3 - 5*r**2 - 9*r - 7. Let b be k(7). Let q = -6 + 9. Suppose q*d - 2*j = 12, 8*d - 20 = 3*d - j. Solve d*n + 12 = b for n.
4
Let s(j) = -j**3 + j**2 + 2*j + 1. Let o be s(2). Let i = o - -4. Suppose i*r - 9 = 1. Solve h = -r*h + 6 for h.
2
Suppose -58 = -6*h - 4. Solve 4*j + 11 = -h for j.
-5
Let h be (-8)/(-6)*12/8. Let z be (-1 + 4/h)*3. Solve 0 = z*n - 0*n - 3 for n.
1
Let y = 2 - -1. Suppose y*u - u = 0. Solve -3*x + 3 + 3 = u for x.
2
Let y be (-1 + -2)*(-10 - -5). Let s(d) = d**3 + 5*d**2 + 5*d + 6. Let i be s(-4). Suppose i*n = -3*n + 10. Solve y = n*k - 5*k for k.
-5
Let j(i) = i**2 - 4*i + 13. Let f be j(6). Solve 0 = -s - 4*s - f for s.
-5
Suppose 4*z - 61 = 23. Suppose -4*s - 9 = -0*n - n, -3*n = 4*s + z. Let c = 5 + n. Solve 0 - c = m for m.
-2
Let u be 54/7 + (-6)/(-21). Let h = 8 + 1. Let b = -6 + h. Solve -s + b*s = -u for s.
-4
Let a be (-4*(-6)/48)/(1/2). Solve 9 = 2*y + a for y.
4
Let y(r) = r**2 - 5*r + 4. Let f be y(3). Let g(s) = s**3 + 3*s**2 - s. Let n be g(f). Let i be 1*((2 - 0) + 4). Solve -3*q + n = -i*q for q.
-2
Let x(y) = -y**2 + 5*y - 4. Let j be x(3). Solve 17 - j = 3*u for u.
5
Let z be 4*-2*(-2)/4. Suppose 1 = -6*v + 1. Solve -z*n = -v*n - 12 for n.
3
Let x(i) = -i**3 + 10*i**2 + 4*i - 20. Let s be x(10). Solve 3*d + d = s for d.
5
Let i(v) = v**2 + 3*v - 44. Let s be i(6). Solve -2*u - s + 2 = 0 for u.
-4
Let r(f) = -2*f + 4. Let t = -6 - -3. Let h be r(t). Let d = 10 + -6. Solve g - h = -d*g for g.
2
Let c = 10 - 5. Suppose -4*g = -5*g + 20. Let h = 109 + -109. Solve -c*w - g = -h*w for w.
-4
Let r(f) = -f**2 + 3*f + 24. Let q be r(6). Solve -y - 15 = -q*y for y.
3
Suppose 2*y + 2 = -s + 3*s, -4*y - 3*s = -31. Suppose 20 + 7 = 3*k. Solve y*m = -k - 11 for m.
-5
Let w = -17 + 7. Let t(r) = -r**3 - 11*r**2 - 10*r + 2. Let p be t(w). Solve -3*d + d = -p for d.
1
Suppose -2 = 3*u + 4. Let o = 4 + u. Solve v + 9 = -o*v for v.
-3
Let j(x) = -3*x. Let q(h) = 10*h + 1. Let y(c) = -7*j(c) - 2*q(c). Let z be y(6). Solve -3 = z*r + 1 for r.
-1
Let f(v) = 2*v - 1. Let x be f(2). Suppose -3*n = -2*n + 2. Let q be n/(-6) - (-1)/(-3). Solve q*g = x*g - 3 for g.
1
Let u = 16 - 16. Let m = 3 - u. Solve -m + 0 = -3*d for d.
1
Let p be -4 - 0 - -1 - -5. Solve 0 = 3*n - 8 + p for n.
2
Suppose 7 + 3 = 5*t. Suppose 0 = t*f - 0*f. Let c = f + 0. Solve -2*i - 7 - 3 = c for i.
-5
Let y = -6 + 8. Solve -y*q = 2 + 2 for q.
-2
Suppose m - t - 12 = t, 2*m + 4*t = 0. Solve -g = g - m for g.
3
Let b be 1/(((-1)/(-7))/1). Let s be -4 + b + (3 - 1). Suppose -s*m - 1 = -21. Solve -2*h + 2 = m for h.
-1
Let z = -3 - -7. Solve -z*m + 7*m = -15 for m.
-5
Let h = 7 - 5. Let p = 5 - h. Solve 2 = -p*t + t for t.
-1
Let w(n) = -n - 10. Let i be w(-10). Let c(b) = -b**3 + b**2 + b. Let h be c(i). Solve 2*p + 3 + 3 = h for p.
-3
Suppose -16*a + 12*a + 16 = 0. Solve 0 = -d - a*d - 20 for d.
-4
Let n = -19 - -18. Let p be (-2 - n)/(2/(-4)). Solve p = -b + 2*b for b.
2
Suppose -4*k - 12 + 4 = 0. Let r be -1 - (-1)/(k/(-14)). Let i be r/(-3) - (-12)/2. Solve u = -i*u - 5 for u.
-1
Suppose 5*u + 5 = 0, u + 0*u - 1 = -g. Let d = 17 - 14. Let l be ((-2)/(-1))/((-8)/(-4)). Solve l + d = g*h for h.
2
Let i(h) = 5*h - 10. Let l be i(6). Solve r + 3*r = -l for r.
-5
Let g(f) = f + 23. Let r be g(-21). Solve 2*s - r = -0 for s.
1
Let z = 110 + -110. Solve z = 3*r + 2*r + 20 for r.
-4
Suppose 4*s = 1 + 7. Suppose -s*g = 3*g. Suppose 3*c + 4*t = 22, 3*t - 2 = 5*c - g. Solve o + 1 = -c for o.
-3
Let s(o) = -o**2 + 10*o + 6. Let p be s(10). Suppose 1 - p = -q. Solve q*i + 16 = i for i.
-4
Let b = 9 - -5. Let m be (-4)/b + (-111)/(-21). Suppose -3*k = -4*f - m*k + 42, -30 = -3*f - k. Solve -2*t - f = -3 for t.
-3
Suppose -5 = -b - 4. Suppose 2*q + 6 = 4*s, -q - 1 - b = -3*s. Let a be 10/(-4)*6/q. Solve -a*z + 4 = -2 for z.
2
Let g(z) = z**3 + 3*z**2 - 7*z - 7. Let q be g(-4). Solve -q*m = 9 + 6 for m.
-3
Suppose 0*f = -f + 8. Let l be 2/f - (-6)/8. Let a(o) = 4*o**3 + 2*o**2 - 2*o + 1. Let y be a(l). Solve y*z = 8*z for z.
0
Suppose f - 6*f + 50 = 0. Let t be -11 + -2 + 21/(-7). Let z be t/(-10) - f/(-25). Solve -v = v + z for v.
-1
Let i be (3/6)/((-1)/(-4)). Suppose -z - x = 0, -4*x - i = 10. Solve -c + 4 = z for c.
1
Let y(q) = 2*q + 25. Let u be y(-11). Solve -1 + u = -s for s.
-2
Suppose 20 = -g + 5*g. Suppose -7 = 4*s - g*d, -2*s = 3*s + 2*d - 16. Suppose -s*r = -r. Solve -4*w + 16 = -r*w for w.
4
Let l be (3 + (-12)/3)*0. Solve 3*d = -l*d + 12 for d.
4
Let d = -39 + 41. Solve p + d*p = -12 for p.
-4
Suppose -137*j = -140*j + 3. Solve 1 = 2*b - j for b.
1
Suppose -4*d - 19 = -t, t + 8 = -3*t - 5*d. Solve 8 = t*v - 1 for v.
3
Suppose -5*s + 6*s = 2*n - 14, n = -4*s - 11. Suppose -19 + 13 = -u + p, 0 = p - 4. Solve 3*d - n = u for d.
5
Let x = 13 + -10. Solve -x*a = 10 - 4 for a.
-2
Let x(o) = -o**2 + 4*o + 1. Let l be x(6). Let f(p) = -p**2 - 10*p + 14. Let j be f(l). Solve -1 = -j*h - 13 for h.
-4
Suppose -10*o + 9*o = -7. Solve 4*h = -o - 13 for h.
-5
Let y be 243/15 + 2/(-10). Suppose q = -0*q - 5*c - 4, -4*q = -2*c + y. Let t be (-30)/q - 5/(-10). Solve -3*p + t = 17 for p.
-3
Suppose 6 + 114 = 5*q. Let j = 3 - 2. Let a be ((-4)/(-12)*0)/j. Solve a = 5*b + q + 1 for b.
-5
Suppose 2*v + 3*d = -0*v + 3, 7 = 4*v + 5*d. Solve 8 = -h - v*h for h.
-2
Let u = 13 + -8. Solve -u*z = 38 - 13 for z.
-5
Let a(o) be the second derivative of -3/2*o**3 + 1/12*o**4 - 3*o**2 + 2*o + 0. Let b be a(11). Solve 5*t + b = t for t.
-4
Let h(u) = 3*u**2 + 5*u - 3. Let l be h(-4). Solve 5*f = -0*f - l for f.
-5
Let o(h) = -h + 8. Let w(l) = l - 2 - 2 - 4 + 6. Let z be w(7). Let u be o(z). Solve -u = 4*v + 1 for v.
-1
Let k(u) = 5*u**3 - 2*u**2 + u. Let h be k(1). Let p be (13 - 1)/(3/h). Solve -3*r + p = -7*r for r.
-4
Suppose 2*t + 0*t = -4*m + 8, 4 = t. Solve -4*z = -m*z - 4 for z.
1
Suppose g = 4*v - 1, 5*v - 3*g - 1 = 2. Solve 2*n - 6 = -v*n for n.
3
Let i be 36 + (-2 - -3)*-1. Suppose -2*j - a - 2*a = -35, -4*a - 20 = -4*j. Solve i - j = -5*o for o.
-5
Suppose 2*a = -3*a. Let d be (a/(-2))/(-2) - -2. Solve -d*j + 5 = -5 for j.
5
Suppose 0*o - o = -2. Let s = -5 + 5. Let h = 1 + -1. Solve s = o*f - h*f for f.
0
Suppose 0 = k - 4*r + 1 - 5, 0 = -2*k + 5*r + 8. Solve -k*a = 8 + 12 for a.
-5
Let y(i) = i**2 + 2*i - 4. Let l be y(3). Let d = 6 + -3. Suppose 7 = d*t - l. Solve -2*z - z - t = 0 for z.
-2
Let m(j) = 2*j - 3. Let n be m(3). Solve n*w - 4 = 8 for w.
4
Let l be 14/(-21) + (-2)/6. Let z be 3 - (4 + (l - 0)). Solve m + 3*m - 4 = z for m.
1
Suppose 4*y = -7*s + 6*s - 7, 5*s = 2*y + 31. Solve -2*f + 1 = -s for f.
3
Suppose -2*i + i = -3*s - 3, -9 = -3*i - 5*s. Let v(a) = -5*a - 12. Let q(u) = -9*u - 23. Let j(y) = i*q(y) - 5*v(y). Let w be j(-6). Solve 5*g + w = 2*g for g.
-1
Suppose 2*l - 26 = -4*j, -j - j - 7 = -3*l. Solve y = j*y for y.
0
Suppose -14 = 3*w + 4*i, 9*i = 5*i - 20. Let f be (0 + w/6)*3. Let l(u) = u**3 + 4*u**2 + 2*u + 2. Let h be l(-3). Solve f = -h*a - 24 for a.
-5
Let s(p) be the third derivative of p**6/120 - 2*p**5/15 + 7*p**4/24 - 2*p**2. Let r be s(7). Suppose r = -2*a - a + 6. Solve a*k - 7*k + 5 = 0 for k.
1
Suppose -2*y - 3*q = -27, -4*q + 32 = 2*y - 0*q. Solve m = -2*m - y for m.
-2
Suppose 3*k + 2*l - 27 = -2, -l = -k. Suppose 0 = k*p - 4*m, 2*p + 0*m = -m + 13. Solve -21 + 9 = -p*s for s.
3
Suppose -4*u + 16 = -0*u, v + 5*u = 22. Suppose -s - 9 = -2*w, v*s - 3 + 9 = w. Solve 0 = -7*g + w*g + 9 for g.
3
Let w = -24 + 24. Solve -u = -w*u - 1 for u.
1
Suppose 0 = -7*n + 8*n + 4*v + 9, 4*n - 3*v - 40 = 0. Solve -3*g - 4 = -n*g for g.
1
Let v(i) = -i + 14. Let w b