 4*a + 13 - j = 0, -5*d + a + 6 = 0 for d.
1
Let z = -307 + 312. Suppose -3*k - 9 = z*l - 16, 1 = k + 2*l. Solve -n = 2*o - k, -2*o - 5*n = o - 10 for o.
5
Let d(t) = t**3 + t**2 - t + 20. Let v be d(0). Let a = -118 - -102. Let f = a + v. Solve -5*r - 40 = -f*i, 29 = 5*i - r - 0 for i.
5
Let y = -864 - -867. Let z be y - 0/((-4)/2 + -3). Solve 2*c - z*j + 5 = -2*c, -2*j - 6 = 2*c for c.
-2
Suppose -2*b - 5*m - 18 + 61 = 0, 0 = -13*b + 3*m + 102. Solve 4*i - u - 4*u - 33 = 0, 3*i + 3*u + b = 0 for i.
2
Suppose -595*t + 4412 - 1437 = 0. Suppose l + l = 0. Solve -m - t*d = -l*d - 10, 5*d = m for m.
5
Let r be ((-45)/10)/9*-6. Suppose 2*t + 2*g = 26, -4*g + r = t + 5. Suppose -3*d + 13 = 2*j, -3*d + t = 4*j + 7. Solve 4*k + 5 + 23 = 4*v, d*v + 2*k = 7 for v.
3
Let w = 12565 - 12562. Solve 2*k + 4*m = m - 5, m = 4*k + w for k.
-1
Suppose 39*a - 53 + 109 = 212. Solve -a*c + 20 = -4*v, -28*c + 7 = v - 25*c for v.
-2
Let x(y) = -8 + 15*y - y**2 + 7 + 23 - 6. Let h be x(14). Suppose -4*z - 2*z = -h. Solve -5*b = z*p + 25, -4*p + 9*p = b - 7 for p.
-2
Suppose -7*m - 14 = -9*m, -7*q = -10*q + 2*m - 8. Suppose 4*p = 2*p + 5*u - 19, 4*p + 2*u - 22 = 0. Solve 2*x - p*n = -q, -x - 3*n + 4 = -4 for x.
2
Suppose p + 1 = -h - 0*p, 3*h + 2*p = -5. Let f = 8 + h. Let i be (-18)/(2898/(-791)) + (-8)/92*-1. Solve -f*q = -i*r - 15, r + 13 = 4*q - q for q.
5
Let p = 684 - 681. Suppose -25*v + p = -22*v. Solve 6*n - n - v = 4*b, -5*n = -b + 11 for b.
-4
Let c be 33638/2783 + (-2)/23. Solve 5*k + c = 2*z, 5*z = 3*k + 2*z for k.
-4
Let b be 0*(21/6 + -3). Let r be (-1)/(-1) + 2 + 16/(-16). Suppose b = -3*o + 6, 0 = -r*f + o - 3*o + 10. Solve 4*w - 2*y - 13 = -y, f*w - 4*y - 13 = 0 for w.
3
Let k be -34 - (2 - 4) - -2. Let q be ((-11)/(-5) - 3)/((-4)/k). Let u be -1*(2 + q + 4). Solve u = 4*z - 5*a + 1, -z - 10 = 2*a - 0 for z.
-4
Let v be 72/(-5)*50/(-30). Suppose 0 = -65*d + 59*d + v. Solve 5*k = -d*b + 12 + 20, -4 = -4*b + 2*k for b.
3
Let h(w) = w**2 + w - 1. Let m be h(2). Suppose 0 = -m*n + 20, 4*n - 166 = 4*f - 7*f. Let q = -46 + f. Solve 3*v + q*i - 31 = -i, 14 = 2*v + 2*i for v.
2
Suppose 12*p - 14*p + 4 = 0. Let i(v) be the first derivative of -v**2 - 11*v + 11. Let g be i(-6). Solve -g + 2 = h - p*t, 2*t = 4 for h.
5
Let i(n) be the second derivative of n**5/20 - n**4/4 + n**3/6 - n**2/2 + 95*n. Let v be i(3). Solve 2 = r - b, r + v*r = -5*b + 6 for r.
2
Let a(s) = 19*s + 422. Let z be a(-22). Solve 3*m + 2*n = -m - 2, -z*m + n + 7 = 0 for m.
1
Let j = 19 - 21. Let x be (-1 - j)/(2/12). Let g = -6 + x. Solve 0 = s - n - 3*n + 12, g = -s - 2*n for s.
-4
Let r be (-14)/35*-15 + -34. Suppose -f + 136 = -4*j, -86 = 2*j - 0*j - 5*f. Let u = r - j. Solve 10 = d - 3*o + 3, 5*o = -u*d - 5 for d.
1
Let h(f) = -f**3 - 71*f**2 + 65*f - 503. Let r be h(-72). Solve 4*x = -l + 13, r = 3*x - 8 for l.
1
Let a = 466 - 454. Suppose 5*i = -m + 8*i + 3, -5*i = 4*m - a. Solve -v + 4*t - 17 = 0, m*t - 10 - 2 = 0 for v.
-1
Suppose -4*u + 14 + 2 = 0, -2*z + 5*u = -8. Suppose -42 = 12*m - z*m. Suppose 10 = -16*j + m*j. Solve -r - 6 = r + j*s, -2*r + 5*s = 20 for r.
-5
Let f = -169 + 156. Let d be 7 + f + 2 + 10. Solve 5*u - 4*q - d = 14, 0 = -4*q for u.
4
Suppose -160*p - 11*p + 5136 = -1533. Solve 44*a - z = p*a + 25, -5*z = a - 5 for a.
5
Let o(i) = -i**3 + 20*i**2 + 26*i - 22. Let f be o(20). Let z = 498 - f. Solve 2*x - 4*x + 4*n - 14 = z, 3 = -4*x + 3*n for x.
3
Let u(a) = a**2 + 6*a + 4. Let o be u(-2). Let m(k) = -7 + 9*k**2 + 1 + 6*k**3 + 3 - 4*k**3. Let t be m(o). Solve r = 5*d - 0*d + 25, 3*d = -5*r + t for r.
5
Suppose -179*i + 708 = -581 + 394. Solve -i*j = -24 + 29, j = 2*l - 1 for l.
0
Let l(a) = 24*a - 2021. Let c be l(85). Solve -189*u + 4*j = -188*u - c, 0 = j + 3 for u.
7
Suppose -2*c - 5*t + 41 = 10, 3*t = c + 12. Solve k = 3*y + 3, 0*k + c*k - 3*y = -3 for k.
-3
Let k(x) = x**3 + 10*x**2 + 15*x + 14. Let j be k(-12). Let p = -449 - j. Solve 0*l - 5*s - 5 = -l, 0 = p*s + 10 for l.
-5
Suppose -2*q = -q + 6. Let y be (-2)/(-3) - 8/q. Let u = -1267 + 1274. Solve -k - 13 = 2*a, y*k - u = k + 2*a for k.
-3
Suppose 0 - 5 = -b. Suppose s = -b*s + 24. Let t be -3 + s/2 - -1. Solve 2*q + 8 = 2*h, 3*h = -t*h - 2*q + 17 for h.
5
Let a(w) = 3*w**2 + 43*w - 43. Let n be a(1). Let j be n/(-4)*20/(-15) - -8. Solve 4*x + j = -c - 10, -x = -4*c - 8 for x.
-4
Let v be (-8 + 6)*28/8. Let y be (-138)/v - -2*4/28. Suppose -2*k - 5*u = -0*u - y, -2*k - 4*u = -18. Solve 0 = k*m + 3*d - 9, -4*d - 23 = -5*m - 0*m for m.
3
Let x be ((-7)/14)/(1/(-16)). Suppose -3*w = -7*w + x. Suppose -g + 4*m + 2 = -0*m, w = g + 4*m. Solve -g*p + h + 12 = 0, h + 33 = 4*p + 11 for p.
5
Let z(c) = c**2 + 49*c + 529. Let i be z(-33). Solve -3*o + 7 = 5*a, o - i = 8*a - 9*a for o.
-1
Let c(t) = 8*t**3 + 70*t**2 - 2*t + 146. Let n be c(-9). Solve -j - n*l - 3 = 0, j + 3*l - 13 = -16 for j.
-3
Let o(k) = 6*k**2 + 16 - 1624*k + 1619*k - 3*k**3 + 4*k**3. Let y be o(-7). Solve 0 = g + 4*s + 3, -4*g - s - y*s = -1 for g.
1
Let a(d) = -2*d + 29. Let z be a(-11). Suppose -3*s + 20*s - z = 0. Solve -s*o = c - 6 + 1, -c + 11 = 5*o for o.
3
Let n(p) = p**3 + 7*p**2 + 20*p + 86. Let f be n(-6). Solve 0 = -3*z, -5*t + 3*t + f*z = 6 for t.
-3
Let h(u) = -146*u + 13875. Let a be h(95). Let r = 7 - 4. Solve 3*w + a = -7, -r*q - 5*w = 11 for q.
3
Suppose -3*n = -15*n + 1824. Suppose -3*a - 5*a = n. Let c be 4/((-16)/a) - 8/(-32). Solve 0*z + 14 = -2*z - 4*p, z + c*p + 19 = 0 for z.
1
Let b = 560 - 475. Suppose 0 = 63*z - 58*z - b. Solve -5*k = t + z, -5 = 2*k - 3*k - 3*t for k.
-4
Let g(l) = -15*l + 23. Let s be g(-24). Let h = s - 379. Solve -11 = -3*c + c - 5*b, -4*b = h*c - 16 for c.
3
Let y(a) = -13*a + 3. Let j be y(-1). Let d = -1 - -3. Let u be 70/(-10) + 3 - -9. Solve -d*k - 3*g - j = -0*k, k = 5*g + u for k.
-5
Suppose 5*i - 4 = -2*d + 29, -3*d + 4*i - 8 = 0. Let n = 7 - d. Suppose 285 - 269 = 4*b. Solve 17 = n*g + 2*v, -b*v + 12 = 2*g - 2*v for g.
5
Let y be (-30)/90 + (-26)/(-6) + -1. Solve -3*z - 4*w - 12 = 0, -5*w + y = -2*z - 6*w for z.
0
Let g be 12/(-32) + 13 + (-69)/8. Let w = 6 + -4. Let j(f) = f**2 - 26*f + 27. Let x be j(25). Solve w*l + x*d = -2*l, g = 4*l + d for l.
2
Let y = 1012 + -1009. Solve -5*n - y*b = -0*b + 17, -4*n + 4*b = -12 for n.
-1
Suppose 15*i - 17*i = f + 14, 4*i + 32 = -f. Solve 3*x = 5*c - 27 - 0, -x = f for c.
3
Let d = 350 + -345. Suppose 23 = -2*p - 5*s, -3*p - d*s - 35 = -13. Solve 2*a = 3*x - 8, 3*a - p = -3*x - 13 for a.
-4
Let l = 34 - 32. Suppose -c = 4*k - 17, 26 = l*k + 6*c - 2*c. Suppose -2*p + 65 = 27. Solve -p = -k*s - 4, -2*f + 5*s - 23 = 0 for f.
1
Let a be (0 - -7) + 147/(-13 + -8). Solve a = 13*w - 5*y + 10, -14*w + 5*y - 10 = -19*w for w.
0
Let f = -730 - -734. Solve 4*r - 5*v = -2 - 0, -f*v = -8 for r.
2
Suppose 0 = -3*p - d + 3*d + 4, -p + 8 = d. Solve -9*z + p*z + 3*i + 15 = 0, i = -3*z - 5 for z.
0
Suppose 0 = -4*g + 6*u - 5*u + 40, 5*g + 3*u - 67 = 0. Suppose -9 = g*h - 42. Solve -5*t = -v + 20, t - h*v = -v - 4 for t.
-4
Suppose 7*g + 252 = 8*g. Let x = 257 - g. Solve -x*n = -t + 3*t + 7, -5*n - 15 = 0 for t.
4
Suppose -3*z + 6*z + 2*a - 19 = 0, 4*z + 13 = 5*a. Suppose -d + 5*s = z*d - 6, 2*d + 2*s = 12. Solve 32 = -5*i - 3*c, 2*i - d*c = 7*i + 36 for i.
-4
Suppose h + 3*f - 1 = 4*f, -14 = -2*h - 2*f. Let a be (5/(-3))/(h/(-84)). Suppose -7 = 7*z - a. Solve -12 = -z*m, 2*n + 6*m - 11 = 3*m for n.
1
Let h(t) = t**3 + 5*t**2 + 4*t + 3. Let m be h(-3). Let j(k) = -499*k - 16963. Let n be j(-34). Solve 0 = 4*r + 3*v - 4, -n*r + v - m = 1 for r.
-2
Suppose 0 = -2*o + 3*c - 17, 28 + 6 = 3*o + 4*c. Solve 4*w = -m + 20, 3*w + o*m = 22 - 7 for w.
5
Suppose -3*c + 23 = 3*s - 28, -5*c + 2*s + 57 = 0. Suppose 20*m - 19*m - c = 0. Suppose 0 = -15*z + m*z. Solve 5*v = -z*w + 2*w - 24, -v = 5*w - 6 for v.
-4
Let m = 929 - 1582. Let i = -649 - m. Solve 0*n = -i*g - n + 7, -3*g - 3*n = 6 for g.
3
Suppose 0 = 3*o + 12, 0 = -3*a - o - o + 7. Let d be 35 + 5/5 - a. Solve c = -3*f - 17, -3*c - d = -0*f + 5*f for f.
-5
Let j(k) be the third derivative of k**6/120 - k**5/12 + 4*k**3/3 - 5*k**2 + 10. Let y be j(5). Solve -5*m + 3*m = -8, 3*o + 2*m - y = 0 for o.
0
Let y = -20 + 22. Let h be 212/y - (-2 - -3). Suppose -g + h = 6*g. Solve k + 3*c = 4*k + g, 2*c - 20 = 4*k for k.
-5
Le