= -5*n, -4 = 4*v - h*v - 2*n for v.
-5
Let a be 26 - ((-14 - -6) + 14). Suppose 4*y + 20 = 0, 0*c + a = -c - 5*y. Solve c*g - 27 = -2*u, -25 = -5*u - 6*g + 2*g for u.
1
Suppose 58*x - 135*x = -462. Solve -58*v - j + x = -62*v, 2 = 2*v - 3*j for v.
-2
Suppose -1225*u = -1228*u. Solve 0 = q + b, 6 = -u*q - 4*q + 2*b for q.
-1
Let b be (-20)/(-12)*((-2)/(-14))/(7/147). Solve 9*h - 11*h - 2*j + 10 = 0, -3*h - j + b = 0 for h.
0
Let w = 3245 - 3242. Solve -2*x + 8 = -y, 14 = -4*y + 5*x - w*x for y.
-2
Suppose 0 = g - d + 1, 0*g + g = -d + 9. Suppose -2 = -g*j + 3*a + 6, -j = -4*a - 2. Solve -j*h - 11 = -5*v, -h + 3*h - 13 = -3*v for v.
3
Let m = 158 - 81. Let n be -3 - (m + 12/3). Let l = 88 + n. Solve g - 3*b + 19 = b, 0 = -l*b + 16 for g.
-3
Let k = -642 + 358. Let a = k - -286. Solve -4*c + 3*c - 2*m - 4 = 0, -a*c - 3*m - 7 = 0 for c.
-2
Suppose -15 = -5*k, 2*q = 3*q + 4*k - 16. Suppose -20 = -5*m + j, -q*m + 4*j + 22 = 6. Solve 4*w + 18 = m*v + v, 6 = -4*w - v for w.
-2
Let c(d) = 3*d**3 - 303*d**2 + 302*d - 195. Let p be c(100). Solve p*g + 20 = 2*t - 3, -4*t + 3*g = -11 for t.
-1
Suppose -73*h = -13*h - 300. Solve -2*x + h*g = 15, 0 = 11*x - 12*x - g - 4 for x.
-5
Suppose 5*m - 5*u = 35, 0 = -2*m - 23*u + 21*u + 18. Let r = 16 - 11. Solve r*x + 2*h + m = -2, x + 2 = 5*h for x.
-2
Suppose -22*i - 5 + 35 = -80. Solve r - 2*c + 10 = -i*c, 4*c = -8 for r.
-4
Let j be (205/123)/(2/6). Solve -b = 3*w - j, -22*b + 5*w = -23*b + 11 for b.
-4
Let w = -24842 + 24871. Solve -4*x - 16 = 5*s - w, -3*x = 5*s - 16 for x.
-3
Let t(o) = 406*o - 2010. Let h be t(5). Solve 0 = -4*s + h*a - 22*a - 8, -s - 3*a = 12 for s.
0
Let p = -11208 + 11211. Solve 0 = -2*g + 12*w - 14*w - 12, 0 = -3*g + p*w for g.
-3
Let q be 95/38*(-8)/(-10). Suppose -q*a + 280 - 274 = 0. Suppose d = 6*d - 25. Solve u + 17 = a*u - d*y, -2*u = 2*y + 18 for u.
-4
Let s be (-1 - (3 - 7)) + 1. Suppose 4*p - 377 = 17*p. Let d(q) = q + 31. Let c be d(p). Solve 3 = -5*z - 3*g, -8 = -s*z - 3*g - c*g for z.
-3
Let x(p) = p**2 + 17*p - 27. Let w(d) = -11*d + 14. Let f be w(3). Let k be x(f). Solve 3*s + t = -k, 3*s - 4*t - 16 = s for s.
-2
Let o = 587 + -518. Suppose -19*x + 64 = -o. Solve -4*u + 4*m - x = m, -3*u + 2*m - 4 = 0 for u.
2
Suppose -47*t + 5292 = 76*t + 3*t. Solve -28 = -2*o + 5*w, 5*o - 46*w + t*w = 36 for o.
4
Let a = 937 + -933. Suppose 5*u = -w + 2, a*u + 8 = 4*w + 3*u. Solve 5*h - 6 = -4*p, -4*p + h + w*h = 10 for p.
-1
Let i(z) = 119*z + 2620. Let a be i(-22). Solve 8*r = 4*v + 4*r, r + 9 = -a*v for v.
-3
Suppose -117*n - 290 = -1460. Solve -2*u - n = 0, -p - 3*u - 15 = p for p.
0
Suppose 573*a = 534*a + 819. Solve -t = 3*o - 1, -5 = 20*o - a*o + 2*t for o.
1
Let k(v) = -v**3 - 12*v**2 - v - 2. Let s be k(-12). Let f be (-7 + 273/35)/(4/s). Let z be (3 + -2 - 5) + 5. Solve 5*o + 20 = 5*n, -f*o + z = -n + 2*n for n.
3
Suppose -2*y + 20*c + 10 = 18*c, -4*y + 20 = -c. Suppose j = y*t - 13, 3*t + 3 = 5*j + 2. Solve 23 = n - 5*z, -t*z - 15 = -0*z for n.
-2
Let p = -1783 + 1775. Let q(o) = o**2 - 2*o + 1. Let c be q(-5). Let h be (4 + c/p)*-10. Solve -5*y = -3*n - 15, h = -2*n + n - y for n.
-5
Suppose -2*u - 3*a + 90 = -117, 5*a + 215 = 2*u. Suppose 12*s = 7*s + u. Solve -3*v + 3*t - s = 0, -v - 2*t + 5 = -0*v for v.
-3
Let i = -171 + 73. Let w = -94 - i. Solve 2*n = -w*s + 22, 5*n + s - 26 + 7 = 0 for n.
3
Let j be (-5288)/104 - 4/26. Let h = j + 43. Let s(v) = -v**2 - 7*v + 8. Let r be s(h). Solve -3*z = -3*p + 1 + 2, r = p - 2*z for p.
2
Let v(p) = 6*p + 6. Let l be v(-8). Let o = -17 - l. Let n = 30 - 30. Solve n*m - 4*m - 5*y + 20 = 0, -5*m - 5*y = -o for m.
5
Let c be 0/(5 - -1) + -16. Let a be (-525)/(-40) + 2/c. Solve q - 5*q + 2*f = 0, 4*f = -5*q + a for q.
1
Let l = -240 + 218. Let f be (-4)/l + 40/88*4. Solve -3*t - 6 = 3*i, f*i + 1 = -t + 2*t for i.
-1
Let y = -1080 + 757. Let p = 328 + y. Solve 3 = 4*d + 2*s - 3, -2*s - 21 = -p*d for d.
3
Let o be 11 + 2/(1 + (-3)/2). Suppose 130 = -o*v + 25. Let j be 0 + (-18)/(-135) - 43/v. Solve 3 = a + 2*a, p + j*a + 2 = 0 for p.
-5
Let l(j) = j**2 - 17*j + 41. Let t be l(16). Solve 0 = 2*u + 2*w + 2*w + 10, -u + 4*w + t = 0 for u.
5
Suppose 2*t - 1056 = -3*c, 5*t + 502 = 6*t - 5*c. Let r = t + -512. Solve 5*g = 5*a - r, 0*g + 2*g = -3*a + 21 for a.
5
Let d(f) = 103*f + 724. Let a be d(-7). Solve -a*x + 8 = -5*y + 13, 3*y - 22 = -2*x for x.
5
Let q(w) = -10*w + 32. Let s be q(3). Let f(b) = -b**2 - 12*b + 28. Let j be f(s). Solve 4*k + 1 - 3 = 2*n, k + 5*n - 17 = j for k.
2
Let v(y) = 11*y - 12. Let p be v(2). Suppose -6*i = p - 58. Suppose -i*m = 4*m. Solve 3*s + 5*b + 15 = 0, m = 3*s - 3*b + 15 for s.
-5
Suppose 0 = 5*a - 25, -r + 8*a - 3*a + 43 = 0. Let x = r + -65. Solve -c + 4*o - 7 = 4, -o = -x*c for c.
1
Let w(i) = -i + 9. Let l be w(6). Let r(s) = 24*s**3 + 2*s**2 + s - 1. Let y be r(-1). Let n = 26 + y. Solve -3*o = l*a - 6, n = 3*o - 0*a + a for o.
0
Let d(t) = t**3 + 7*t**2 + 2*t - 15. Let y be d(-5). Solve l - 25 = -5*x - 0*x, 5*l = y for x.
4
Suppose -3*u - 4*m + 9*m + 14 = 0, -3*m = 4*u - 9. Suppose 4*i - 14 = 18. Suppose -21586 = -16*z - 21522. Solve i*h = z*g + u*h + 5, -2*h + 10 = 0 for g.
5
Suppose 3839*m = 3843*m - 44. Solve z - m = -2*p, 3*z - 2*z - 3*p = -9 for z.
3
Suppose -51 = 5*o - 76, 4*b - 36 = -4*o. Solve 0 = -5*c - 15, 0 = -13*w + 18*w - b*c - 7 for w.
-1
Suppose -3*t + 238 = -4*b, -82*t + b = -77*t - 374. Let g = 7 - 79. Let z = t + g. Solve 2*y = -c - 0*y + 8, 0 = -3*c + z*y for c.
2
Let t = -40850 - -40863. Solve 5*a - 16 = -4*s, -t*s = -16*s + 3*a + 12 for s.
4
Let t(r) = -2*r**2 + 16*r - 32. Let m be t(9). Let c = 50 + m. Solve 2*k + d + d - 12 = 0, -4*d + 4 = c for k.
5
Suppose 5 = o - 2. Let k(m) = 3*m**2 + 84*m + 416. Let p be k(-6). Solve 11 = -2*w - 5*y, -o*w + 2*w - p = 5*y for w.
-3
Suppose 23 = -12*o - 25, 5*t - o = 139. Solve 5*b - 4 = 2*s, b + t = 4*s - 1 for b.
4
Let a(x) = 16*x - 235. Let w be a(15). Solve -5*i - 4*c = -12, -32*i - w*c = -30*i + 2 for i.
4
Let p(o) = o**2 + 3*o + 2. Let y be p(-3). Let z = 67 + -72. Let k be (-2 + -4)/(z/2 + 1). Solve -y*l + 3*i = -l + 5, -3 = k*l + 5*i for l.
-2
Suppose -102*k = -109*k + 77. Suppose 3*s + 3 + k = 2*g, 4*s + 13 = -3*g. Solve 4*n + 5 = x - 6*x, -n - g = x for x.
-1
Let s = 155 - 151. Solve 5*c - c = 4*f - 16, -s*f = -3*c - 12 for f.
0
Let q = -169 + 203. Suppose 0 = -3*z + q + 17. Solve 5*m = x - z, 4*x - 21 + 1 = 4*m for x.
2
Let a(b) = -2*b**2 - 64*b - 395. Let n be a(-22). Solve -2*y - 15 = -3*d + 2*d, -5*d = -4*y - n for y.
-5
Let r(o) be the first derivative of -o**4/4 - 20*o**3/3 - 10*o**2 - 17*o - 70. Let t be r(-19). Solve t*w = -4*s - 10, 5*s + 0*s - 4*w = -32 for s.
-4
Let j be (-3)/6*(-8)/2. Let x be -3 - (-2 + 2) - (-10)/j. Suppose 4*t = l + 14, -5*t + x*l = -10 - 9. Solve -2*w + 2*f = -t*f - 2, -2*f - 24 = 5*w for w.
-4
Let o(j) = 2*j**3 + 4*j**2 - 2*j + 30. Let r be o(7). Let s = r - 895. Let d be 1/(-4) + (-10)/(-8). Solve -f + 16 = 5*u, -d = 5*f - 3*u + s for f.
1
Let h = 272 + -267. Suppose 0 = i + h*t - 10, -2*i - 8 = -3*i - 4*t. Solve 5*z + 5 = a, 0 = -i*z - 3*z + 4*a - 3 for z.
-1
Let m be 67/((-1340)/120) + -1*(-31 + 0). Solve m*s - 22*s + 1 = r, 0 = 5*r + 2*s + 12 for r.
-2
Let f = 0 - 0. Let x be 50/15 - (-8)/(-6). Suppose -5*t + 62 = x*u, -2*t - u + 28 = 3. Solve k - 2*d - 9 = f, -3*k + t = -d - 0*d for k.
3
Let h(t) be the first derivative of -t**2 + 24*t - 6. Let y be h(5). Suppose -2*f - 5*f = -y. Solve n + 1 = 4*p, f*n + 5 = -5*p - 3*n for p.
0
Suppose -11 = -2*n - 1. Suppose -8*j - 18*j = -15*j - 33. Solve -3*u = 5*x + 2*u - 30, -n*x = j*u - 22 for x.
2
Suppose 0 = -v + r - 4*r + 2, 5*v + 3*r - 34 = 0. Suppose -82 = -v*o - 50. Solve m = -o*p + 9, -2*m + 0*p = -4*p + 18 for m.
-3
Let k = -1979 - -1989. Solve -4*j + 4 = 0, -2*u + j - 3*j + k = 0 for u.
4
Suppose 2*t + 6*t = -136. Let r = 56 - t. Suppose -70*u = -r*u + 12. Solve 0 = -y + 5*f - 5 - 0, -4*f + u = -y for y.
0
Suppose 5*o - 10*o = -20. Suppose -o*v - 5*f = -3, 2*v + 4*f = -2*v + 4. Suppose v*w - 5*w + 6 = 0. Solve -w*r + 16 = 3*b, 0*b - 10 = -4*b + 3*r for b.
4
Let x(f) = -f**2 + 10*f - 3. Let m(h) = 5*h**2 - 50*h + 16. Let q(c) = 4*m(c) + 22*x(c). Let i be q(9). Solve i = 5*j - 2*d, -2*j = 2*j - 3*d - 17 for j.
2
Let a(v) = -146*v + 12853. Let t b