h for u.
-4
Let s = 18 - 8. Let l be (s/3)/((-3)/(-9)). Let u = l + -5. Solve -3*y + n - 3*n = -10, -15 = u*y - 3*n for y.
0
Let j = 2 - 2. Suppose 0*t - 3*t + 5*w = 11, 5*t + w - 19 = j. Let d be (-5)/(-2) - 2/4. Solve -t*q = -o + d*q - 19, -3*q = -12 for o.
1
Suppose -16 = -5*n + 9. Solve -4 = 4*u, 5*r + 0*u - 10 = n*u for r.
1
Suppose -3*k = -0*t + 5*t - 64, -100 = -5*k - 5*t. Solve -2*b + 5*f + 1 = -6, 3*b = -2*f - k for b.
-4
Suppose 3*y + 2*y = 40. Suppose v = 5*v - 4*w - y, -8 = -2*w. Suppose 3*t - t - v = 0. Solve -2*r - 5 = d, -t*r + 1 = -3*d + 31 for d.
5
Let d(s) = s - 5. Suppose r + 4*y - 20 - 9 = 0, -2*r - y = -23. Let n be d(r). Solve -n*o - 2*t = -6, -4*t - 16 = 4 for o.
4
Let v be 0 + 1 + 0 + 20. Let y = -32 + 34. Suppose 0 = b - 0*b - y. Solve -b*q = 5*o + 20, 2*o - v = q + 4*q for q.
-5
Suppose 16 = 49*q - 45*q. Solve -6*p + p = 4*u + 5, 30 = 2*u - q*p for u.
5
Let r = -3 + 7. Suppose -r*a = -0*a - 16. Solve 5*f + a*x - 45 = 0, -36 = -2*f - 5*x - 1 for f.
5
Suppose 3*p + 4*k + 80 = 6*p, 0 = 5*p - 4*k - 120. Solve 5*y + 2*j = p, -y - 3*j + 17 = -0 for y.
2
Let a be 1/3 - 22/(-6). Suppose -c = 2*c - 12. Let q be ((-2)/(-4))/((-2)/(-8)). Solve c = 2*n - a*t, -3*t = q*t + 15 for n.
-4
Let i = -24 - -7. Let s = 20 + i. Solve -3*l - 4*u + 29 = -6*l, l + 18 = s*u for l.
-3
Suppose -5*b + 38 = -3*b. Let w = 4 + 56. Suppose -w = -5*p - 0. Solve -4*t = -4*f + p, 4*f - 5*t - b = -3 for f.
-1
Let p be ((-31)/1)/(-2 + 1). Suppose -2*q + 6*q = -r - 13, p = 5*r - 4*q. Solve m + m - 5 = r*i, -3*i = 4*m + 17 for m.
-2
Let z(o) = -8*o - 6. Let w be 1/((-14)/6 + 2). Let k be z(w). Solve -2*q = -4*m - k, 2*m = -3*q - 2 - 3 for q.
1
Suppose 0 = -d - 3 + 17. Let v be 148/28 + (-4)/d. Let x = 13 + -8. Solve -x*s = -v*f + 5, -5*s = -2*f + 5 - 15 for f.
5
Let q = -4 - -15. Solve 5*k + t - q = 0, 2*k = -3*t + 8 - 1 for k.
2
Let f(z) = z**2 + 5*z + 8. Let a = 14 - 9. Suppose -4*j + a*y - 43 = 0, 5*j - y = 3*j - 17. Let w be f(j). Solve v - w = 5*d, 5*d + 30 = 4*v + v for v.
2
Let o = 10 + 12. Solve 2*n + 4*z = 2, 3*z = 2*n - z + o for n.
-5
Suppose a = 4*k + 4, 4*a + 4*k - 16 = -k. Solve -y - a*y - 10 = 2*p, 2*y = 0 for p.
-5
Let o = -1 + 6. Let w(c) = 4*c + 9. Let t be w(o). Solve -2*f + 4*g = 0, -4*f - 4*g - t = -5 for f.
-4
Let c be 4 + -1*(4 + -3). Solve w - 3 = 2*x, -c*w + 3*x + 0*x - 3 = 0 for w.
-5
Let l(i) = 4*i. Let u(h) = -17*h - 1. Let g(m) = -9*l(m) - 2*u(m). Let a be g(-2). Let k = -4 + a. Solve 2*j + 0*j - k*f - 4 = 0, 14 = 3*j - 5*f for j.
-2
Let c = -67 - -83. Solve 4*i - c = 3*b, b = 4*i - b - 16 for i.
4
Let y be 0/(-7)*(0 + 1). Suppose 2*c = 3 + 5. Solve c*m + 6*a - a = 7, -m - 3*a = y for m.
3
Let k be 15/(-4) + 2/(-8). Let l(u) = -u - 8. Let m be l(k). Let w be (2 + m)/((-1)/2). Solve 11 = -a + 2*a + w*p, 4*p = a + 13 for a.
-1
Suppose 0 = -3*c - 2*s + 70, 0 = 4*c - 3*c + 3*s - 21. Suppose -g + 2 = 0, 5*p + 4*g - c = -6. Solve -4*d = -2*r - p*r, 2*r - d = 2 for r.
2
Let s(d) = 2*d**2 + d - 3. Let c be s(3). Suppose 11 = 4*u + 5*w, 3*u + 2 = 4*w + c. Suppose -6*x + u*x = -10. Solve 5*j - 5*n = x, -2*n = -2*j + j for j.
2
Let z be (12 + -3)*(-3 - -4). Solve -2*v = 2*b + 4, 4*b + 1 - z = 0 for v.
-4
Let c be -8 + 7 + (13 - 0). Let u = 37 + -1. Let s be (-2)/c + 690/u. Solve -5*x - s = -2*q, 0 = -4*q - x + 3 + 2 for q.
2
Suppose -2*j - 15 = -5*j. Let a be (4/j)/(4/20). Solve 2*s - 14 = a*s + 5*c, 0 = -2*c - 4 for s.
-2
Suppose 3*z + 5 = 3*q - 7, 3*q + z = 12. Solve -3*m = -q*r + 20 - 2, -2*r = -5*m - 16 for r.
3
Let m(q) be the third derivative of -q**6/120 + q**5/60 - q**4/12 + q**3/6 - 3*q**2. Let g be m(-2). Solve 5*w - 2*y + 14 = 0, 4*w - 6*w - g = 3*y for w.
-4
Let i = 128 + -125. Solve -s + 5 = -4*y, -20 = -i*s - s - 4*y for s.
5
Let x be (-88)/12*6/(-4). Let i = x + -9. Suppose 0 = 3*p + i*p - 20. Solve 4*b + p*w + 20 = 0, 4*b - 3*w + 8 = -5 for b.
-4
Suppose -5*j - 2 = 8. Let v be (-1 - 1)/j - -5. Let f be -2*((-9)/v - 1). Solve c + 5*g + f = 0, -3 = -2*c - 0*c + 3*g for c.
0
Let u be (-7)/(-3) + (-7)/21. Solve 6*m + 9 = u*q + m, 4*q - 5*m = 13 for q.
2
Let m = 63 + -43. Solve -4*n - 4*f = 16, -7*f = -3*f + m for n.
1
Let y = -175 - -180. Suppose 0 = -2*j - 0*d + 3*d + 13, 4*j - 4*d = 16. Let m be (0 + j)/((-1)/3). Solve 0 = -5*f + f - y*t - 16, -m*t + 16 = -4*f for f.
-4
Let c(f) = -2*f**2 + 6. Let m(d) = -d**2 - d + 1. Let k(y) = c(y) - 4*m(y). Let g be k(-2). Solve t = r + g*r - 2, 5*t = r - 10 for r.
0
Let f be (-9 - -13) + (-2 - 0)*1. Solve 4*v = 3*j + f*j + 3, -5*v - 3*j = 24 for v.
-3
Let i(c) = c**3 + 9*c**2 + 7*c - 6. Let x be i(-8). Suppose 1 + 5 = -x*p. Let l = p + 5. Solve -2*w - 3*w - 2*v + 19 = 0, l*v + 21 = 3*w for w.
5
Let m(f) = f**2 + 6*f + 3. Let z be m(-6). Let t be ((-8)/(-5))/(3/15). Solve 3*g - 1 = -k + 6, 4*g + t = z*k for k.
4
Let o(u) = 2*u - 24. Let f be o(14). Solve f*a - 9 = i - 0, -2*i = -3*a + 13 for i.
-5
Suppose -2*k = -3*o + 6, 5 - 1 = 4*k - 2*o. Solve 4*b + 21 - 5 = 5*g, 3*b + k*g + 12 = 0 for b.
-4
Let t(d) = -d**3 - 11*d**2 + 12*d + 3. Let c be t(-12). Let l be 7 - (c + -3 + 0). Solve -4*i = -i - 15, 3*h + i + l = 0 for h.
-4
Let s be 3 + -1 + -1 + 2. Solve -4*k + 0*v - 2*v + 4 = 0, -4*k + s*v - 16 = 0 for k.
-1
Suppose 0*j - 20 = -2*j. Let o be 5/j - 42/4. Let v = o + 14. Solve -y - y = -4*m, -v*m = -3*y - 2 for m.
-1
Let p(b) = -2*b - 3 + 3*b**3 - 4*b**2 + 6*b - 2*b**3. Let h be p(3). Solve 2*k - 4 = 2*z, 2*z + h = 3*k - 6 for z.
0
Let f(j) = j**3 + 4*j**2 + 3. Let x be f(-4). Suppose -4*o = 5*u - 3, x*o - 5 + 2 = -3*u. Solve -v - o*r + 0*r + 6 = 0, 0 = 3*r - 3 for v.
4
Let d be (-6)/27 - 22/(-18). Let u be (1 + 1 + 1)/d. Suppose w + 1 = p, -4*w - 7*p + 20 = -u*p. Solve 5*q - w*k - 19 = -0*k, 5*k - 5 = 2*q for q.
5
Let j be 4 - (0 - -3 - 1). Let m(w) = -w**2 - 2*w**2 - 2 + 8*w + 2*w**j. Let d be m(7). Solve -2*y = d*c - 4*y - 5, c + 4*y - 23 = 0 for c.
3
Suppose -5*a = 0, -2*i - 3*i = -3*a - 10. Solve -4*t = i*u + 10 - 2, 3*u + 12 = -3*t for u.
-4
Suppose 4*j - o = 15, 4*j - 3 = 2*o - 5*o. Solve -2 = 2*h - 3*w - 5, -j*w = 5*h + 3 for h.
0
Suppose 3*f - 30 + 9 = 3*c, 4*f - 2*c = 22. Let h be 0*(-1 - (-2)/f). Solve z + 6*n + 16 = 2*n, h = 3*z - 3*n - 27 for z.
4
Let h(p) = p**3 - 7*p**2 + 1. Let z be h(7). Let x be 1 + 26/(3 - z). Solve o + 3*o + m = 8, -3*m + x = 2*o for o.
1
Let n = 16 - 0. Suppose 3*x - n - 20 = 0. Solve 4*i = q + 7 + x, 0 = i + 5*q + 11 for i.
4
Suppose -4*y - 17 = -5*p, -p - 6 = 2*y - 3*p. Suppose -4*m + 18*m - 28 = 0. Solve 3*r + 19 = 2*d, -2*d = m*d - y*r - 18 for d.
2
Let o = 11 - 6. Suppose -h - 5 = o*r - 8, 0 = h + 2. Let d(y) = 17*y**3 + 2*y**2 - 2*y + 1. Let i be d(r). Solve -11 - 10 = -3*c + 4*l, -3*l - i = -3*c for c.
3
Let i be (1 - 0) + (1 - -15). Let w = 0 - -5. Suppose -5*g - i = -3*d, w*d - d + 5*g - 81 = 0. Solve -5 = a + 2*a - 5*l, -3*l = -4*a - d for a.
-5
Suppose 2*w + 4*c - 1 = -5, 0 = 2*w - 5*c - 5. Solve w = 2*s + 5*h - 13, -2*h + 4 = -4*s - 6 for s.
-1
Let u = -16 - -24. Let d = u + 14. Suppose 3*k = -2*b + 5*k + d, 4*k = -16. Solve -4*v = -5*s, 8 = -3*v - b for s.
-4
Let p be (-30)/(-24) - (-6)/8. Solve -2*z + 3*r + 17 = 3*z, p*r = -8 for z.
1
Let g(i) = 2*i**2 + 8*i - 1. Let c be g(-6). Suppose 5*d + 5*n = -15, 5*n - 2*n + c = 4*d. Solve 4*v + 0*h - 20 = 4*h, 5*v = -d*h + 11 for v.
3
Suppose 5*l - 52 = 43. Solve 0*t + 3*t - l = 2*u, -3*u - 21 = -3*t for u.
-2
Suppose 0*q - 3*q = 0. Suppose -f + 5 - 2 = q. Suppose 0 = -7*d + 3*d - 5*z + 15, -f*d - 5*z + 10 = 0. Solve -4*s = -d - 3, s = 5*y + 27 for y.
-5
Let s(h) = h**3 - 5*h**2 + 5*h - 1. Let c be s(4). Solve 4*a + c = 5*x - 4, -2 = 2*x for a.
-3
Suppose -3*h + 29 = 5*d, 3*d + 2*h - 6*h = 0. Suppose 26 = d*n - 6. Suppose -n*w + a + 20 = -3*w, a = w. Solve 3*y - y = -w*s - 25, -y + s + 5 = 0 for y.
0
Let x be (3 - 7)/(4/(-18)). Solve m - 4*s + 13 = 0, 3*m + x = 4*s + s for m.
-1
Let a(s) = -s**2 + 8*s. Let z be a(7). Solve -q + 0*y = 3*y - 7, 5*q + y + z = 0 for q.
-2
Let b = -5 + 2. Let u be (-21)/b + -4 + 1. Solve -1 + 9 = 4*k - u*l, 2*k = -l - 8 for k.
-2
Let a(m) = -2*m**2 + 15*m + 32. Let b be a(8). Suppose 10 = 2*n - 2*j, -2*j + j - 13 = -5*n. Suppose 6 = n*p - 2. Solve 2 + 18 = -d + p*x, 4*x = 2*d + b for d.
-4
Suppose 0*d - d - 5*b - 22 = 0, -3*d - 3*b - 6 = 0. Solve 5*h = -4*v - 5, -