= 25 for u.
2
Suppose -126 = 3*p + 5*h - 17, 4*p + 2*h + 122 = 0. Let j be 18/(-30) - p/5. Suppose -4*a = -18*a + 266. Solve -s = 4*v + j, -5*s + a = -3*v + v for v.
-2
Let i(d) = -2*d**2 + 6*d + 59. Let f = -150 + 157. Let a be i(f). Solve q - 21 = -5*y + a, 5*y - 28 = 3*q for y.
5
Let c(n) = 705 + 11*n + 9*n - 9*n - 746. Let z be c(4). Solve 8 = 7*g - z*g + 4*t, -3*t + 6 = -5*g for g.
0
Suppose 0 = 2*p + 4*y + 2 - 20, 5 = p + y. Suppose -7*w + 9 = 2. Let c = p + w. Solve 3*o + 9 = 3*n, -c*o = -3*o - 5 for n.
-2
Suppose 3*c - 3*r = -669, c - 5*c - 3*r - 906 = 0. Let m = -221 - c. Solve -3*w - 14 = -4*d - 6*w, 0 = -3*d - m*w + 14 for d.
2
Let q(n) = -n**3 + 4*n**2 + 51*n + 44. Let y be q(-5). Solve c = -z - 3, -z + 11 = 2*c + y for c.
0
Let j be -53 + 31 + (-48)/(-2). Solve -2*c + 27*g - 26*g = 11, 0 = -j*g + 2 for c.
-5
Suppose 0 = -10*l + 5*l + 4*a + 1163, 4*a = -28. Solve -4*c = -8, l = 2*s - 2*c + 237 for s.
-3
Let m(l) be the second derivative of -l**5/20 + l**4/2 + 5*l**3/6 - 25*l**2/2 - 11*l. Let j be m(5). Solve 3*h - j = 4*s, 35 = -2*s - 3*s + 5*h for s.
-4
Let m be ((-20)/(-6))/((-2)/(-3)). Let a(f) be the second derivative of 2*f**3/3 - 8*f**2 + 48*f. Let n be a(m). Solve -4*x + 2 = n*z - 2, -13 = -x + 2*z for x.
5
Let p be -45*(7/(-5) + 1)*(-69 - -70). Solve 2*b = 4*a - p, 2*b - 17 = -10*a + 7*a for b.
1
Let l(y) be the first derivative of -y**2 + 14*y - 237. Let r be l(-4). Solve 3*n + 15 = -3*j, -4*j = n - 5 + r for j.
-4
Let u be (-1)/(3/(-2) - -1). Suppose 3*v - u*g = -7*g, 4*v + 2*g = 0. Solve 0 = 3*j - 4*b + 17, 2*j + b - 2 + 6 = v for j.
-3
Let n(u) = 5 + 5*u - 2 - 4*u + u**2 + u**3 - 2*u. Let y be n(-4). Let q = y + 44. Solve -3*o = q*p + 3, 5*o - 4*p + 23 = -3*p for o.
-4
Let o(w) = 18*w - 20. Let j be o(2). Let d(s) = s**2 - 18*s + 37. Let m be d(j). Solve -4*n + 8 = -2*c - n, m*c = -4*n + 3 for c.
-1
Let k(z) = -2*z - 23. Let o be (0 - 1)/(3/(-9)). Suppose 0*s + 2*s + o*i = -17, 3*i - 48 = 3*s. Let c be k(s). Solve -5*w - 3 = f, 7*f - 5*f - c*w = -6 for f.
-3
Let f(l) = l**2 - 12*l + 16. Let d be f(11). Let u(i) = -20*i + 101. Let h be u(d). Solve -2*x - 4*g + 4 = 0, 0 = 3*x - 0*g + g - h for x.
0
Let z(u) = 46*u + 840. Let r be z(-18). Let a(b) = -2*b + 15. Let j be a(0). Solve -4*t + r = y - 2*y, j = 5*t - 3*y for t.
3
Let n = -7 - -11. Suppose u = -u + q + 10, n*q + 20 = 3*u. Suppose 3*o - 24 = 4*p, -46*p + 12 = -6*o - 48*p. Solve r - 15 = 5*l, o = 2*r + u*l + 1 - 3 for r.
5
Suppose -14*o + 3*n - 44 = -18*o, o + 4*n - 37 = 0. Solve -2*s + 5*f + 21 = 0, -o*s - 8 = -4*f - 18 for s.
-2
Suppose -192*d = -187*d + 60. Let x = d + 14. Solve m = h - 1, x*h + 1 = 6*h - 3*m for h.
-2
Let r(q) = -5*q + 56. Let s be r(11). Suppose n + s = -4*o, -n + 0*o = 2*o - 1. Solve 5*k + 0 = v + n, -2*k + 3*v + 9 = 0 for k.
0
Suppose 4*w = -4*u + 112, 0 = -4*w - 2*u + 170 - 58. Solve -4*s - 4*d - w = -0*d, 2*d = -s - 10 for s.
-4
Suppose 19*o - 182 = 12*o. Let v = -21 + o. Solve 2*s + v*d - 1 = -5, 2*s + 4 = -3*d for s.
-2
Suppose -8 = -5*n + n. Let s be (-1)/((-1)/3)*-1 + 23. Suppose -n*u + 6*u - s = 0. Solve 10 = u*x - 3*x, 3*x - 19 = -2*v for v.
2
Let n(v) = v - 6. Let c be n(6). Suppose t + 5 + 3 = c. Let w be (-3)/6*-2 - (7 + t). Solve 0 = -2*m + k - w - 6, k = -4*m - 22 for m.
-5
Let y(c) = -c**2 - 23*c + 287. Let k be y(-30). Suppose -k = -16*t - 29. Solve 0 = g - 3*d - 13, 38 = t*g - 4*d + 14 for g.
4
Suppose -166*s - 846 = -2838. Solve 4*b = -4*n + s, 7*b - 8 = -2*n + 6*b for n.
5
Let r(s) = 2*s**2 + 19*s - 5. Let w be r(-10). Suppose 4*b + 4 = 3*f, 2*f + 0*b - w*b - 5 = 0. Solve -3*d = 2*d - a - 15, f = 2*d + 3*a - 23 for d.
4
Let s be (-1 - -1) + (1 - 1). Let k(w) = 4*w - 2*w + 0*w**2 + 2 + 4 - w**2 + 0. Let z be k(s). Solve 2 = -f - t + 1, -2*f = -2*t - z for f.
1
Suppose -v = -4*a + 645, -4*a + 229 = -3*v - 410. Suppose 0 = a*p - 151*p - 44. Solve b - 18 = -5*o, -2*o + 27 - 9 = p*b for o.
3
Let t(x) = -x**3 - 13*x**2 + 10*x + 266. Let r be t(-12). Solve -r*u + 8 = 4*g, -5*g - 6 = -5*u - 1 for u.
2
Let s be ((-4)/2)/(2/(-25)). Suppose 18*r - s*r = -21. Suppose 2*j + 2 = j, -12 = -t + 5*j. Solve -r*f - t*z - 6 = 0, 3*f = -0*f - 4*z - 6 for f.
-2
Let m = -496 - -500. Suppose -m*w + f + 3 = -8, 0 = 2*f - 10. Solve 0 = l + 2*k + 3 - 6, 0 = 2*l - w*k - 6 for l.
3
Let m be 3/2*8/3. Let u be ((-50)/6)/((-528)/176) + 2/9. Solve 0 = -3*g + u*l - 8 - 1, -2*g - m*l - 12 = 0 for g.
-4
Let m(g) = 10*g - 200. Let n be m(20). Suppose 0 = -2*k - 4*d + 8 + 10, n = -3*d. Solve -k = -5*w + 4*p, -7 = -w + 3*p - 3 for w.
1
Let o(m) = -5*m**3 - 28*m**2 - 42*m - 114. Let z be o(-5). Solve -3*l - 18 = -3*r, -22 = -3*r - 17*l + z*l for r.
2
Let o(n) = -n**3 - 22*n**2 - n - 15. Let q be o(-22). Let y(x) = x**2 - 3*x - 24. Let p be y(q). Solve t - 5*r + 24 = 0, 0*r + 2*r + p = -3*t for t.
-4
Let l = 1225 - 1212. Solve 4*u = -3*g - 25, -20*u + 24*u - g + l = 0 for u.
-4
Let y(p) = p**3 + 14*p**2 - 15*p + 5. Let k be y(-15). Suppose -5*r + k*j - 4 = 1, -5*r - 2 = -4*j. Solve 5*n = 5*v - 20, r = -v - n - 4*n for v.
3
Let l be 0/3 - (2 + -2). Let m be (-41 - 3)*(-1)/(4/(-32)). Let f = m + 377. Solve -2*w = -2*c, 4*w + c = -l*w + f for w.
5
Let o(d) = d**3 + 13*d**2 + d + 17. Let i be o(-13). Suppose 0 = -2*x + i*z + 16, 15*z = -x + 13*z. Solve 4*w + 1 + 19 = 0, x*g + 3*w = -27 for g.
-3
Let l = -2 + 5. Let c(u) = -5068*u - 10136. Let y be c(-2). Suppose -4*j + 34 = 6. Solve o = x - y*o + j, -l*x - 13 = -o for x.
-3
Suppose -7*m - 26 + 75 = 0. Suppose -23 = -12*q + m*q - c, -3*q + 9 = -c. Solve 2*p + 0*p = 4*y - 26, -q = -y for p.
-5
Let b = 1486 + -1486. Suppose -3*a + 16 = 1. Solve 7 = 2*o + a*l, -3*o + 5 = 2*l - b for o.
1
Let v(n) = -7*n**2 + 14*n - 2. Let d be v(1). Solve 3*q + 9*a - 35 = d*a, 2*q = -2*a + 20 for q.
5
Let v = 21 + 78. Suppose v = -3*g + 87. Let t be g/18 - (166/(-18) + 5). Solve -5*n + 3*p = 4, -2*p + 4 = t*n - 6 for n.
1
Let j(c) = c**2 - 45. Suppose -2*y = 2*l + 12, 2*y = -y + 5*l - 26. Let q be j(y). Solve -2*f - 2 = -q*p, 5*p + 4*f + 8 = -22 for p.
-2
Let u be (-3)/4 - (-15808)/256. Suppose 0 = -2*h - 0*h + 128. Let j = h - u. Solve 2 - j = -2*r - 5*m, m + 5 = -3*r for r.
-2
Let i(k) = -k**2 - 5*k - 4. Let l be i(-3). Let g(z) = 13 + 7*z + z - z**l - 6 - 6. Let q be g(8). Solve u - 4*n - q = -0*n, 3*n - 3 = 2*u for u.
-3
Suppose 0 = -y + 9*y + 66 - 98. Solve 3*z + 3*f - 21 = 0, -5*z = y*f + 10 - 43 for z.
5
Suppose -r = -i + 6, -2*i - 17 = 5*r + 6. Let c(n) = -n + 1. Let t be c(-1). Let y be (0*i/t)/(-1). Solve -3*w + 8 = -2*x - 5, y = 5*w + 4*x + 15 for w.
1
Let f be ((-1962)/(-72) - 28)*(-16)/6. Solve 0 = -j - f*j + 4*v - 12, 0 = 5*v for j.
-4
Let l = 3 - -1. Let w be -19 - (-103)/(3811/888). Solve 4 = 4*j, 0 = -3*i - w*j + l*j + 4 for i.
1
Suppose 7*l + 29 = 8. Let f(j) = 2*j**3 - 3*j**2 - 4*j - 12. Let g be f(l). Let n = g - -83. Solve 0 = -5*m - 10, 2*b + 14 = n*m - 7*m for b.
-2
Suppose -53*f - 235 = -265 - 447. Solve -10*c + 5 = -f*c - 3*w, 2*c = -3*w + 10 for c.
5
Let n(i) be the first derivative of i**4/4 - 7*i**3 + 57*i**2/2 - 34*i - 265. Let w be n(18). Solve -m - 5*d - w = m, -5*d = m + 15 for m.
-5
Let d be (-3)/(-2) + -4 + (-806)/(-4). Suppose -d - 156 = 5*g. Let n = 75 + g. Solve -2*o - 3 = -n*o - j, 0 = 2*o + 3*j - 1 for o.
2
Suppose 0 = 9*d + 2*d - 242. Suppose 7*b + d = 134. Solve -4*t + b = -3*w - 7, w + 6 = t for w.
-1
Let a = 137 - 122. Let f be 2*2/(-20)*-8*a. Let s(q) = q**3 + 8*q**2 + 3. Let y be s(-8). Solve 3*k + f = 4*b, y*b - 8 = 1 for k.
-4
Suppose -756 - 909 = -111*b. Solve 0*z - 5*w = -5*z + b, -5*z + 31 = 3*w for z.
5
Let y be -1*((-2)/14 - 4/(-28)). Solve y = -j - 4*o - 5, -13*j + 9*j = 2*o + 20 for j.
-5
Let u = -9266 + 9270. Solve -7*g + 5*p - 31 = -5*g, 14 = 2*g + u*p for g.
-3
Let o(a) = a**2 - 4*a - 8. Suppose -4*v + 10 = -14. Let i be o(v). Suppose -3*x - 2*j - i = 0, -3*x + 7*x - j = 2. Solve 3 = -u - l, x = -5*l + 4 + 1 for u.
-4
Let k = -108 - -158. Let t = k + -42. Solve -4*b - 5*g - t = 2, 0 = 5*b + 4*g + 17 for b.
-5
Suppose 2*d - 20 = -8*d. Let u = -109 - -107. Let b be (0 - 2)*3/6*u. Solve -j - 16 = 5*s, d*s + s + b*j = -11 for s.
-3
Let i be (-132)/(-594) - (-5)/((-90)/(-68)). Suppose 6*k - i = 14. Solve 3*h = 4*j + 18, -2*j + 4*h - 11 = k for j.
-3
Suppose 1 + 5 = 2*c. Suppose -x = 