r, -6*h + u*r = -h + 22 for h.
-5
Suppose 4 = -r + 5. Let g = 19 - 19. Solve 0 = 4*o - l + r - 7, g = o - 4*l - 9 for o.
1
Let n = -6 - -9. Let w(y) = -57*y + 4. Let r be w(0). Solve -3*a - 14 = -a + 5*o, -n*o = r*a for a.
3
Let i be (-7)/(-2) + (-1)/2. Suppose 2*r = -5*u + 83, 0 = -4*u + 6*u - 4*r - 14. Suppose -u*d = -267 - 3. Solve i*s + 8 = h + 2, -h = 5*s + d for h.
-3
Let b(l) = l**3 - 2*l**2 + 3*l - 1. Let q be b(3). Let i be (-9)/(-2) - 1*7*6/84. Solve 2*f + i*r - 2*r = 2, 0 = 4*f - 3*r + q for f.
-2
Suppose -7 - 13 = -5*d. Suppose -176*w + 179*w - 54 = 0. Solve -3*c - 16 = 2*r, -d*c + 0*r - 2*r - w = 0 for c.
-2
Suppose 18 = -3*g + 108. Suppose 4*q + 3 = 5*q. Suppose -3*b - j = -47, q*j + 13 + 0 = 2*b. Solve 3*z - g = -w - 4*w, 3*w = -z + b for w.
3
Let z = 169 + -153. Solve -4*o - 2*g = -12, 3*o - z = -o - g for o.
5
Let o(a) = 4*a + 101. Let v be o(-24). Solve 0 = -5*m - k + 3*k + 21, 0 = 5*m - v*k - 30 for m.
3
Suppose 0 = -3*y + 12, -4*s - 2*y = -4*y. Suppose -15 = -3*n - 3. Suppose -2*l + s = -n. Solve 8*r - l*r + 21 = -4*m, 5*r + 2*m + 13 = 0 for r.
-1
Suppose -3*z = -0*z - 18. Suppose -z = -2*r + 4. Let a(x) = x**3 - 8*x**2 + 17*x - 9. Let y be a(5). Solve 3*c = -l - y, 3*c - 3*l - r = -7*l for c.
-1
Let l(b) be the second derivative of -b**4/12 + b**3 + b**2/2 + 10*b. Let r be l(6). Solve -5*q = -5*k + r - 16, k = -3*q - 3 for q.
0
Let f be (-1)/(3/(-3 - 150)). Let i = f + -51. Solve u = -4*v + v, -2*v + 5*u + 17 = i for v.
1
Suppose -i + b - 2 + 7 = 0, 0 = 3*i - 4*b - 16. Let d be (-2)/(-4) + 10/i. Suppose 80*z = 88 + 72. Solve 2*c - 3*s + d = 0, -z*c - 3*s - 10 = -1 for c.
-3
Suppose 2*l + 11 = l. Let o = -13 - l. Let d be ((-1)/o)/((-6)/(-36)). Solve 8 = -2*f + 2, -d*f = -i + 12 for i.
3
Let z = 24 - 22. Suppose -3*g + f + 7 = z*f, f + 5 = 3*g. Let l be g*12 - 2 - 1. Solve -4*d + l = -3*h, -2*h = 4*d - 3*h - 15 for d.
3
Let x(f) = f**2 + 24*f + 97. Let p be x(-20). Solve 3*m - 1 = -5*k, 0*m + 5*m - k + p = 0 for m.
-3
Let w(c) = -23*c - 2. Let h be w(-2). Let x = 44 - h. Solve -p = 0, x = -3*a + 5*a + 4*p + 4 for a.
-2
Let t = -22 - -22. Suppose 0 = 5*y - 5*j - 18 - 72, t = -4*y + 2*j + 80. Suppose 3*a = -a + 16. Solve -a*d + y = -k, -3*d = -4*k - 0*d - 23 for k.
-2
Suppose -a = -50 + 20. Suppose -a = -10*n + 8*n. Solve y + 5*q = -n - 3, -2*q = -4*y + 16 for y.
2
Let v(j) = -11*j**3. Let n be v(1). Let u be (-2)/n - 378/(-99). Suppose -k + 30 = u*k. Solve -k = -a + 4*l, -2*a - 3*l + 0 = -1 for a.
2
Let q be (2 - 2)/(0 - -1). Suppose 0 = 4*a + 18 + 22. Let h be (-8)/(-5)*(4 + (-35)/a). Solve -w = -5*s + 2*w + h, 2*s + 4*w + 16 = q for s.
0
Suppose -4*k = 16, -o - 378 - 19 = 3*k. Let b be (4/(-7))/(22/o). Suppose b = n + 3*g, -2*g = -3*n + 2*n + 20. Solve 4*s - 2*t - n = 0, 4*s - t = -s + 23 for s.
5
Let h = -104 + 108. Solve -3*q = 4*r + r + h, 3*q = 2*r + 10 for r.
-2
Let n = -84 - -89. Let c(h) = -h + 4 + 0*h + 1. Let o be c(n). Solve o = -f + 5*v + 5, 0 = -0*f - 2*f + 5*v + 10 for f.
5
Suppose -3*c - 3*a = -81, -3*c - 4*a - 66 = -5*c. Suppose 0*x + 3*x - 126 = -i, x - i - 38 = 0. Let t = x - c. Solve q + u + 6 = 0, -2*q + t = 2*q - 5*u for q.
-2
Suppose -4*k = -3*k + 4*b - 8, 5*k - 17 = 3*b. Let i(z) = 18*z + 13. Let n be i(7). Suppose -n*l = -134*l. Solve 4 = 2*p - 2*y, l*p + k*y = -3*p - 15 for p.
-1
Let q(s) = 2*s**3 + 82*s**2 - 84*s + 2. Let k be q(-42). Let n be (1 - (1 + -10))*1. Solve n = -k*j - 3*i, 0 = 5*j - 2*i - 3*i for j.
-2
Suppose -2 = 2*h + 2. Let d be (2 - h) + 2/(-1). Solve -d*n = -n + 5*v - 12, -12 = -5*n - v for n.
2
Suppose 10*d + 100 = 6*d. Let s = 11 - 26. Let x be 3/s + (-830)/d. Solve -2*z - 2*z + 5*j - x = 0, -3*z + 4 = 2*j for z.
-2
Let y(v) = v**3 + 5*v**2 - 5. Let n be y(-4). Let k = n + -7. Solve -7 + 4 = 3*b, k*t - 5*b - 9 = 0 for t.
1
Let z(n) = n**3 - 9*n**2 + 7*n + 10. Let a be z(8). Let l be (21/(-2))/(9/(-6)). Solve -3*c = 3, -a*c = -10*v + 5*v + l for v.
1
Let f(v) = -v**2 - 13*v - 25. Let s be f(-17). Let z = 98 + s. Solve -3*q + z*h = -q + 1, -q - 5*h = -7 for q.
2
Let x = -2488 + 2515. Solve s - 5*j + x = 0, 4*s = s - 3*j + 9 for s.
-2
Suppose 174 - 180 = -6*x. Solve -6 = 4*u - 5*p, 4*u - p + x - 3 = 0 for u.
1
Let b(k) = -k**3 - k**2 + 4*k - 1. Let w(z) = 2*z + 11. Let p be w(-6). Let f be (-13 + 7)*p/(-2). Let o be b(f). Solve -y + m + 1 = 0, 0 = 3*y + m - o*m for y.
4
Let t(n) = n**3 - 7*n**2 - n + 7. Let m be t(7). Suppose m*j = 3*j - 45. Let o = -13 + j. Solve 0 = -3*a + o*g - 11, 4*g - 15 = 5*a - g for a.
-5
Let m = -122 + 122. Solve -u - 5*q + 2 + 2 = 0, m = -u + 4*q - 5 for u.
-1
Let s = 13 - 10. Let q be (s/(-12))/(6/(-72)). Solve -w + 6 = -5*v + 6*v, q*w = 4*v - 10 for w.
2
Suppose -37*x + 42*x - 20 = 0. Solve -d - 12 = -6*d - 3*y, -x*y + 16 = -2*d for d.
0
Suppose -5*j - 3*o - 226 = 61, 4*o = -2*j - 126. Let w = -90 - j. Let p be w/14*4/(-5). Solve 4*l + p*x - 4 = -2, x = -l for l.
1
Let w(b) = b**2 + b - 1. Let n be w(-3). Let y = n + -1. Suppose 4*x = 2*q, -3*x - 2 = -4*q + 8. Solve g - 9 = 3*l - x*g, -y*l - 15 = -5*g for l.
0
Suppose 16 = o + 3*o - 3*d, 2*d - 20 = -5*o. Solve 0 = -k - 2, 5*k - 2 = -0*w + o*w for w.
-3
Suppose 0 = -3*v + 12, 0 = 2*t + 8*v - 6*v - 8. Solve t = 3*r + 4*c + 21, r - c - 12 = 4*c for r.
-3
Let k = -1229 - -1231. Solve -k*c = 2*n, -2*c = 2*n + c - 4 for n.
-4
Let r = 147 + -147. Let m(s) = -2*s - 2. Let d be m(-2). Solve t = 2*g + 5, -g + d*t - 5*t + 1 = r for g.
-2
Suppose v - 3 = 4*v + 3*l, 4*v - 3*l - 17 = 0. Suppose -f - f = -5*p + 70, -v*f = 2*p - 28. Solve -i = 3*k + p, i - 2*k - 4 = -i for i.
-2
Let d be 4/10*25/10. Let x be d + 0 - 0 - 1. Solve 3*t - 4*r + 27 = x, -t - 2*r - 14 = -5*r for t.
-5
Let g be (-4)/(-42) + ((-3495)/315 - -13). Solve -4*w = 4*x - 20, -g*w + 3*x + 3 = -2 for w.
4
Suppose -9*s = 1 - 28. Solve j - 9 = 4*n, 2*n + 6*j - s*j = -1 for n.
-2
Let t = 576 - 567. Solve -4*c = i - 9*c + 15, i = 3*c - t for i.
0
Suppose -4*k - 8 = -2*k. Let f = -4 - k. Let d(c) = -c + 2. Let m be d(f). Solve -3*y + a = 2*y - 12, -a = m for y.
2
Let i(r) = -33*r - 13. Let p be i(-1). Suppose 3*o - p = -o. Solve -20 = j + j + 3*n, n = -o*j - 24 for j.
-4
Let k be (-42)/(-6) + -5 + 0. Solve -5*j - y = k + 6, 4*y - 6 = -j for j.
-2
Suppose -3*c = -4*c - 5*v + 64, -3*c - 2*v + 140 = 0. Let p = c + -41. Solve 2 = 2*t, p*h - 4 = -t - 3*t for h.
0
Let n = 17 + -7. Suppose -x + 6*g - g - n = 0, 0 = -3*x + 2*g + 22. Let y = x - 5. Solve -y*s = 3*q + 5, -4*s + 0*q = 2*q + 4 for s.
-1
Suppose v - 20 = -2*c, -3*c - v = -5*c + 28. Let z(n) = n - 9. Let b be z(c). Solve 0 = 4*m - 3*u, -m - u - b*u = 0 for m.
0
Let z be 7 + (-5)/(-5) + -4. Suppose -4*o = -16 + z, 5*d - o = 27. Solve -2*i + 12 = -d*m + 2*m, 4*m + 14 = 3*i for m.
-2
Let v be 0 + ((-2)/(-1) - -1). Suppose 5*h = -l + 20, 5*h + v*l = 2*h. Solve 2*t - h = 3*d, -d = d - 2*t + 2 for d.
-3
Let a(k) = -2*k**2 + 52*k - 50. Let h be a(25). Solve h = 4*g + 12, 3*g + 0*g + 12 = y for y.
3
Let t(z) = 2*z**2 - 6*z + 18*z - 21*z + 7. Let r be t(5). Solve 0 = u - 2*j - 2*j + 3, -4*j - r = 4*u for u.
-3
Let o = 579 - 576. Solve -u - x + o = 2, 4*u = 3*x - 24 for u.
-3
Suppose 15 + 5 = 4*j, r - 4*j + 17 = 0. Solve 5*s + 16 = 3*p, r*s = -2*s - p - 8 for s.
-2
Suppose -116 = -107*q + 526. Solve -3*n - 32 + 14 = -3*b, -q = 2*n + b for n.
-4
Let m = -48 + 53. Solve m*o = -3*c + 9 + 4, 2*c + 4*o = 12 for c.
-4
Let z = 1 - -1. Suppose 5*x - 27*o = -23*o + 48, -5*o = -2*x + 26. Solve 2*p = 3*p - 2*q + 12, -x = -z*q for p.
-4
Let i be 2/8*0 - -7. Let w be (2*(-3 + 1))/(-1). Suppose -464*b + 24 = -456*b. Solve v + 4*l = i*l - b, v - w*l = -4 for v.
0
Let i(x) = -x**2 + 6*x + 5. Let o be i(6). Let u be ((-4)/9)/(-2) - (-140)/180. Let k be 2/((-8)/(-20)*u). Solve -m + 0*q = -o*q - 9, 3*m - k*q = 7 for m.
-1
Suppose 53*l + 816 = 104*l. Solve 3*p + l = 3*a - a, 3*a = -p + 13 for a.
5
Suppose -3*r + 12 - 3 = 0. Suppose r*c = c + 6. Solve -3*w = 4*s - 10, -s + 3*w = c*s + 2 for s.
1
Let i(z) = -z**2 + 13*z - 8. Let j be i(12). Let d be 4 + 4 + j + 73. Suppose 5*r = 5, -4*a - 2*r + d = -r. Solve m - 13 = 3*w, -m + a = 4*m - 4*w for m.
1
Let i be ((-48)/(-24))/(0 - -1). Let y be i - (2/(-9))/(6/(-54)). Solve 0 = 4*o - 20, -l - o = -y - 2 for l.
-3
Suppose 0 = -2*f - 5*j - 7, -3*f = 5*j + 5 - 2. Solve p = -f*p - 3*a, -16