v, 2*v - 8 = u*b for v.
1
Let r = 29 + -16. Let a = -547 - -550. Solve -4*l + r = -a*t - 5*l, -3*l + 1 = t for t.
-5
Let u(z) be the first derivative of -z**4/4 - z**3 + z**2 - z - 5. Let l be u(-4). Let o = l - 0. Solve -a + 5 = -2*m, -4*m + o*m + 15 = 0 for a.
-5
Let x(n) = 2*n**2 + 7*n - 12. Let h be x(-6). Suppose 3*z - h = 45. Let f(w) = 3*w + 1. Let p be f(1). Solve p*r - 4*s + 40 = s, -5*r - s - z = 0 for r.
-5
Let m(g) = -108*g + 2381. Let b be m(22). Suppose 24 = 3*w + 2*n + n, -2*w = 4*n - 6. Solve 3*u = d, 0*u + 2*u + w = b*d for d.
3
Let i = -19 + -2. Let y = i - -34. Let n(s) = 2*s - 24. Let k be n(y). Solve 2*t = 2*f - 14, -2*t = k*f - 0 - 2 for t.
-3
Let f = -14 - -32. Suppose -3*q - 4*l = -7*q + 44, 2*q - f = 4*l. Let w = q - 10. Solve -4*o + 3*n = 1 + 4, 2*o + w*n - 11 = 0 for o.
1
Let p be (-1)/(-3)*(-9)/(-1). Suppose -3 = -m + h, 94*m - 10 = 90*m + 5*h. Solve -2*y - 4 = j, p*j + m*y = -j - 4 for j.
4
Let d(u) = -u**3 + 11*u**2 + 28*u - 24. Let w be d(13). Solve -5 = -3*a + 1, -w*x - 8 = -4*a for x.
0
Suppose -3*u = -b - 9, -1 = -3*u + 11. Solve 4 = -3*c + 4*k, -b*c - 2*k = 2*c - 2 for c.
0
Suppose -2*r - 83 = -5*r - f, 70 = 2*r - 3*f. Solve 2*a - 3*b + 23 = 0, -a + 5*b - r = -0*a for a.
-4
Suppose 4*j + 0*j = -4*j. Solve 4*n = 8*n + 4*r + 8, 4*n - 5*r + 35 = j for n.
-5
Let m(h) = -h - 1. Let s be m(-4). Suppose -p = 3*q - 6*p - 19, 5*p + 1 = -s*q. Solve 2*d = -5*i + 27, 3*i - 12 = -0*d + q*d for i.
5
Let c = 60 - 37. Suppose c = 3*x + 8. Solve 4*k = 2*v - 8, -v + x*v + 3*k = -17 for v.
-2
Suppose -44*a + 47*a = 6. Solve 12 = 5*p + a*h - 0, 2*p - 1 = 3*h for p.
2
Suppose 4*t = 4*f - 1 - 11, -f + 4*t = -3. Solve -b - 2 = -2*s, 0 = -0*b + 5*b - f*s + 17 for b.
-4
Let z(i) = 3*i + 39. Let b be -15 - (-3)/9*(0 + 9). Let l be z(b). Solve l*o + 10 = -m, 5*m + 11 = o + 41 for o.
-5
Suppose -40*o + 32 = -36*o. Solve -4*i - p = -o, -2 = 5*i - 3*p - 12 for i.
2
Let l(y) = y**3 + 6*y**2 - 2*y - 31. Let g be l(-5). Solve -3*p = -4*p + g*s + 11, 5*p + s = 13 for p.
3
Let o(a) = -a**3 + 5*a**2 - 3*a + 17. Let k be o(5). Suppose 5*l - 19 + 4 = 0, k*h = -l + 13. Solve -d + 2*d - h*c - 6 = 0, 4*c + 5 = d for d.
1
Let k(i) = i - 6. Let r be k(7). Let b = r - 1. Let d be 3 + -4 - (1 - 2). Solve -x + b*v - 3*v = -11, d = 2*x + v - 12 for x.
5
Suppose 16 = 7*q - 5*q. Suppose q = 4*u + 4. Solve 3*x = -4*p - 18, 0*p + x = p + u for p.
-3
Suppose 13*m - 11 = y + 17*m, -y = 3*m + 8. Solve -f - q - 8 = -3*f, -f - y = -3*q for f.
5
Let q be -2 - 6*-1 - 2. Let t be q - (2/1 - 0). Solve t = -2*f - 10, 3*j = 3*f + 6 + 6 for j.
-1
Let l = 2831 + -2828. Suppose 0 = -3*i + 2*i + 2. Solve 6 + 3 = -l*r - 4*q, q = i*r + 6 for r.
-3
Let b = -1 - -6. Let f(g) = 7*g**2 - 58*g + 21. Let m be f(8). Solve m*s - 5*n - 30 = 0, s + 11 + 7 = -b*n for s.
2
Let s = 17 - 48. Let a = -28 - s. Solve -4*f = 2*y, -a*f - f = -4*y for f.
0
Let j be 225/30*(-24)/(-18). Solve -j = -3*c + l - 4, 0 = 2*c - 5*l + 9 for c.
3
Let k be 62/4*2/1. Let b = 36 - k. Solve b*a + 25 = -5*z, 5*a = 2*z - 10 - 15 for a.
-5
Let z be (-3)/(5*27/(-180)). Solve -2*p + 4 = z*r, -3*r + 5 = -33*p + 34*p for r.
3
Let l(r) = r**2 + 12*r + 14. Let q be l(-12). Let g(s) = -s**2 + 16*s - 25. Let n be g(q). Solve 0 = -3*m + w + 10, n*w + 2*w + 6 = 4*m for m.
4
Let q(z) = -z**3 + 13*z**2 - 10*z - 24. Let g be q(12). Solve 0 = 5*c + 4*n - 21, g = c - 0*c + 5*n - 21 for c.
1
Let l(j) = -j**3 + 8*j**2 + 4. Let r be l(8). Let y be r*1 + -18 + 22. Solve -2*t + 5*q = y, 2*t + 5*q + 4 = t for t.
-4
Let x(q) = -q**3 - 10*q**2 - 12*q - 22. Let v be x(-9). Solve -2*g - 15 = g + 4*z, -3*g + v*z = -12 for g.
-1
Let j = -15 - -14. Let o be (0 + 1)/(1/j). Let h = o + 5. Solve 5*a + 32 = -4*r + r, h*a - 4 = 5*r for r.
-4
Suppose -32*b = 56*b - 440. Solve 3*u = u + 10, -4*n - 5*u = -b for n.
-5
Suppose -5*j - 3*l + 100 = -5*l, -5*j - 2*l = -100. Let h = j + -1. Solve c + 23 = -c - 5*d, -c - h = 5*d for c.
-4
Let z(t) = -t**3 - 10*t**2 - 24*t + 4. Let n be z(-6). Solve -j - n*p = 13, -j = -0*p + p + 1 for j.
3
Let j be 2 + (-30)/(-3) + -6 - 6. Solve 0 = -4*r + 3*p + 4, 4*r + 3*p + 20 = -j*r for r.
-2
Suppose -6*f + 0*f = -60. Suppose -f*n + 61 = 11. Solve -h = 2*h + 2*t - 1, -2*t = n*h + 5 for h.
-3
Let r be (-4)/((-2)/(-8)*-4). Solve 3*c = -c + r*u + 24, 0 = -2*c - 2*u for c.
3
Let r(y) = -5*y - 18. Let a(b) = -b**2 - 22*b + 18. Let o be a(-23). Let x be r(o). Solve 0 = -3*n + s + 4*s - x, 0 = -s - 1 for n.
-4
Let a be 3 - 22/((-2)/2). Suppose 5*g = -2*y + a, -2*g - 4 = 3*y - 5*y. Solve -g*q + 0*o + 3*o - 3 = 0, 0 = 5*q + 3*o + 13 for q.
-2
Suppose -5*v = -3*s - 70, 2*s + 2*s = -3*v - 132. Suppose 273 - 183 = 3*g. Let w = s + g. Solve 4*u - 2*d = 14, -2 + w = -2*u - 4*d for u.
3
Suppose -w - 2 = 0, -s = 2*w - 3*w - 5. Solve -s*f = -4*n + 6, -4*f + 12 + 11 = 5*n for n.
3
Let d(p) = 2*p**3 - 3*p**2 - p + 4. Let b be d(2). Solve 5*x - b = t - 18, 2 = -t - 2*x for t.
2
Let f be (-4)/(-2) - (0 + 1)*1. Solve -4*k + 9 = g, -4*g + 3*k + 18 - f = 0 for g.
5
Let n(a) = a**3 - 7*a**2 + 4*a - 4. Let i be n(7). Let r = 24 - i. Solve -o + 3*f = -3 + 4, r = -4*o + 5*f - 4 for o.
-1
Let p be 8/(-100) + 4/(-100)*-27. Solve -3*g + 0*v - 13 = 2*v, -4*v + p = -3*g for g.
-3
Let t = -956 + 960. Solve -t*u + 5*f - 15 = 8, 4*u = -5*f + 7 for u.
-2
Suppose 0 = 5*n - 15. Suppose n*h = -h - 3*x - 9, 5*x = -5*h - 5. Let z be (-2)/h - (-2)/(-6). Solve 5*i - 4*v - 21 = z, -7 - 5 = 4*i + 4*v for i.
1
Let i be ((-48)/18)/((-4)/6). Let u = -3 - i. Let h = -4 - u. Solve 0 = -4*k - h*n + 4*n + 7, -5 = 4*k + 3*n for k.
1
Let t(h) = -21*h + 289. Let y be t(13). Solve -5*x - 6 = -y, -5*m - 3*x = 14 for m.
-4
Suppose -i + 222 = 4*o, 238 + 39 = 5*o + i. Let g = -52 + o. Solve -g*c = -4*m - 24 - 5, -m + 2*c - 11 = 0 for m.
-5
Suppose -16*s + 87 = 39. Solve r + 8 = -4*x, 0 = 4*r - s*x + 2*x - 2 for r.
0
Suppose 0 = -18*f + 10*f. Solve f = w - 4*m + 5 - 2, 5*w = -5*m + 35 for w.
5
Suppose -3*x + 20 = -v + 2*x, 20 = 2*v + 2*x. Let f be (-14)/(-35) + (-2)/5. Suppose 4 + 0 = b. Solve -2*r - 3*g + 0 - v = f, 12 = -4*r - b*g for r.
-4
Let u = -650 + 654. Solve -o - i - 18 = 4*i, -o - u*i - 15 = 0 for o.
-3
Suppose 0*x = -2*x + 26. Let i = -28 + 32. Suppose -m = 2*u - x, 2*u + 2*u - 44 = i*m. Solve -v - g + u = 0, -3*g + 1 = v - 15 for v.
4
Let w be 1*6/(-2) + 4. Suppose -2*s + o = -w, -4*s + 0*o + 27 = 3*o. Solve -d - 3*u - 17 = -2, 3*d = s*u + 15 for d.
0
Let g(s) = -s**2 + 5. Suppose 2*j = j. Let v be g(j). Let c be -7*(-5)/((-35)/(-4)). Solve -5*r + 19 = -d, v*r + c = -5*d - 1 for r.
3
Suppose -1746*c = -1766*c + 100. Solve -c*k + 25 = 2*q - 0, 4*q + 3*k - 15 = 0 for q.
0
Let c = -11 + 18. Let n be (-30)/4*(-4)/6. Let y = c - n. Solve x = y*j + 11, -3*j = -2*x + 14 + 5 for j.
-3
Suppose 2*o + 5*h + 26 = 0, o + 3*h - h = -15. Let u = o - -23. Solve -4*c = 5*m - u*m + 8, m - 6 = 3*c for m.
0
Let m(l) = -16*l + 84. Let j be m(5). Solve 0 = 5*b + 4*u - 41, -4*b + u + 3*u = -j for b.
5
Let d(y) = 2*y - 4. Let q be d(4). Suppose -16 = -4*n + 4*h, -4*n + 12 = -n + h. Let a be q + n + -3 + -2. Solve 4*r = -f - 14, 5*r + f + 15 = -a for r.
-4
Let j = -53 + 79. Suppose 5*a - 4*f = -5*f + j, 0 = -4*a - f + 21. Solve a*q - 2*u = -2, -3*u + 4 = -4*u for q.
-2
Let c be ((-21)/(-6))/1*2. Let w = c - 4. Suppose 0*z = 10*z - 20. Solve -5*s - 4*d - z = w, 4*d + 8 = -4*s for s.
3
Let c(a) = -a**2 + 8*a - 8. Let h be c(7). Let v = h - -7. Suppose 8*k - 6*k - v = 0. Solve 0 = 5*y + 3*m - 10 - 0, -2*y + k*m + 4 = 0 for y.
2
Let u = 10 + -10. Let o be u/8 - (1 - 3). Let g be -1 - (o - 10/2). Solve b = 2*p, -2*b + g*p = b for b.
0
Let m be ((-3)/(-24))/((-1)/(-8)). Let d be (-20)/(-20) + 5*m. Solve 3*f - d = -8*b + 3*b, -f - 3*b + 2 = 0 for f.
2
Let b(r) = -22*r + 531. Let g be b(24). Solve 2*h - 2*o - 2 = 0, 2*h + g*o = 3*h + 3 for h.
3
Let k(y) = -y**3 - 5*y**2 + 4*y + 21. Let o be k(-6). Let s = -28 + o. Solve 3*v + 2 = -4*g - 3, s*g = -4*v - 5 for v.
5
Suppose 0*q = -q + 2*w - 5, 3*q = -4*w + 25. Solve 5*r = 5*a, -a - q*r + 2*r - 4 = 0 for a.
-2
Let w(j) = j**3 - 15*j**2 + 15*j + 17. Let l be w(14). Let p = -35 + l. Let h be (6/p)/((-30)/140). Solve -d + h*q + 2 = 4*q, 0 = 5*d - 4*q + 12 for d.
-4
Let p = 281 + -279. Solve -5*b = f + 1 + 4, p*f + b = -1 for f.
0
Suppose -22*o - 42 + 