5*u - 15 - 5, 0 = h*j + 5*u - 14 for j.
-2
Let t = 4 + 1. Suppose 34 = 3*k + t*b, 5*k - 2*b = b + 34. Suppose 0 = -7*c + 43 - k. Solve -6 = -3*i, 4*i + 2 = -c*f - 0 for f.
-2
Let p = 8033 - 8024. Solve -p*r + a = -12*r - 5, -3*a - 15 = -r for r.
0
Let h = -6 - 33. Let m = 37 + h. Let i be (1 + 0 + -2)*m. Solve -4 = 2*y - 2*u, 8 = -4*y + i*u - 0 for y.
-2
Let f = 72 + -49. Let h = 26 - f. Let g be -4 + 1 + 3 + h. Solve 5*a + 12 = 4*b, a - g = -5*b + 4*b for a.
0
Let b = 3186 + -3182. Solve b*q - 4*f = -24, -6*f + 3*f - 2 = q for q.
-5
Let x(d) = -d**3 - 14*d**2 - 23*d + 9. Let s be x(-12). Let p be ((-21)/(-49))/((-44)/(-14) + s). Solve 2*l - i + 3 = 0, 3*i - 2*i + p = 0 for l.
-3
Suppose 0 = -4*k - 2*i + 30, 0 = 2*k + 3*i + i - 30. Let v(o) = -18*o + 92. Let c be v(k). Solve 25 = 5*q + 3*n, -q + c = 5*n - 3 for q.
5
Let j(u) = -u**2 + 8*u + 13. Let o be j(9). Suppose 4*r - o = 2*w, 2*w + 6 = 5*w. Solve -v - x - 4*x - 22 = 0, -16 = r*v + 3*x for v.
-2
Let r be 0 + 2 + 21 - 8. Solve -m + 5*v = 0, -2*v = 3*m - r - 2 for m.
5
Let m be 118 - ((-112)/(-35) - (-8)/10). Let a be ((-9)/(-4))/(m/152). Solve -6*p + 3*p + 5*h = -6, a = -h for p.
-3
Suppose -5*b + 26 = 5*y - 204, 218 = 5*b + y. Suppose 8*t - b - 5 = 0. Solve 3*s - 3*o + 0 = t, -2*o = -3*s + 1 for s.
-3
Suppose -682 = v - 199. Let w = -480 - v. Solve -2*f + 2*s = -s + 5, -w*f - 7 = -4*s for f.
-1
Suppose 1117*c - 1067*c - 1900 = 0. Solve o = w + 1, -c*w + 33*w + 3*o = 5 for w.
-1
Let j be 8 + -9 + -2 - (-4 + -1). Suppose 4*z = -z + 50. Suppose z*w - 10 = 9*w. Solve -j*k + n + 6 - 1 = 0, 3*k + n - w = 0 for k.
3
Let k(m) = -4*m**3 - m**2. Let z be k(-1). Suppose 0 = -5*n - 2*d + 6, -55 = -2732*n + 2727*n + 5*d. Solve -4*s = -z*o, n*o - o - 12 = 0 for s.
3
Let q = 8183 - 8175. Solve -5*k - 6 = -4*a, -2*a + q*k = 3*k - 8 for a.
-1
Let s be (-4)/48 + 0 - (-366)/72. Solve 18*v - 3*a - s = 13*v, 25 = 5*a for v.
4
Let z be (-34)/(-170) - 36/(-20). Solve 3*o = 6*y - 24, 4 = z*y - y for o.
0
Let q = 154 + -153. Let m = 3 - q. Solve 0 = 4*z - m*r - 2 - 4, -2*r = -2 for z.
2
Suppose -2*t + 2*u - 6 = 16, 2*t + 17 = -3*u. Let n(h) = -25*h + h**2 - 22*h + 55*h - 15. Let r be n(t). Solve f + 8 = 2*p + 2*f, -5*p - r*f = -25 for p.
3
Let i be ((-24)/33 + 76/1254)/((-2)/6). Solve 5*v - 4*x = -33, 0*v = -i*v - 3*x - 4 for v.
-5
Suppose 129*j - 40 = -60 + 407. Suppose -2*q = -5*t - 75, 5*t + 20 = t. Solve 5*w + 6*z = z + q, -w + 7 = j*z for w.
4
Suppose 22*h - 752 = -686. Solve 2*j = 4*v + 10, -h*v + 217*j - 214*j = 15 for v.
0
Let x = 382 - 381. Let g be 46/9*x + 6/(-54). Solve -5*a = -n + 5*n + 41, -35 = g*n + 3*a for n.
-4
Let i be (11 + -13)/(-6*(-11)/(-66)). Solve 9*a - 6*a = 2*h, 2*h - 2*a + i = 0 for h.
-3
Suppose -17*p + 39 + 46 = 0. Suppose 2*g = -8*y + 116, -2*y + g = -p*y + 44. Solve 3*b = 3*f - 12, -y = b + 2*b - f for b.
-5
Let i be 1*(-96)/9*6/(-4). Suppose -2 = 4*f - 5*j - 38, 0 = -f + 3*j + i. Solve -w - 1 = -5*p + 3, f*p + 20 = -5*w for w.
-4
Let c(q) = 145*q**2 + 4*q - 3. Let o be c(1). Let g = -134 + o. Solve f - h - 1 = 0, h = 4*f - h - g for f.
5
Let b = -363 + 369. Let l be b - 2 - 8/(-8). Solve 0 = -3*g + p + 12, 2*p + 16 = -g + l*g for g.
4
Suppose 35*p - 245 = -70. Solve -11*x + p = -4*a - 6*x, 35 = 2*a + 5*x for a.
5
Let w(s) = -1224*s - 6118. Let m be w(-5). Suppose 3*t - 6*t = -36. Solve -2*a = a - k + t, -5*a - m*k - 9 = 0 for a.
-3
Suppose 3*j - 65 = 2*y, 3*y + 108 = 2*j + 3*j. Let o = 21 - j. Suppose 5*g - 25 = 0, -5*r + 5 + o = -2*g. Solve 0 = d + r*d + 4*c + 36, -d = 4*c + 24 for d.
-4
Let u(a) = -a + 174. Let w be u(-37). Let g = w + -207. Solve g*o + o - 21 = 2*n, -5*o - n = -27 for o.
5
Let s(v) = 27*v - 69. Let b be s(3). Suppose -f + 3*f + b = -5*z, 3*z = -12. Solve 4*m = 2*j - 7 - 7, -f*j = m + 8 for m.
-4
Let m(n) = -n - 6. Let a be (-2 - 60/(-9))*-3 - 3. Let h be m(a). Let y = h + 24. Solve -k + 5 = 2*u, -2*u - 3*u = -5*k - y for u.
4
Let v(m) = 5*m + 13. Suppose 29 = -7*c - 13. Let w be v(c). Let a = w + 19. Solve r - g + 7 = 0, a*r - 5*g + 1 = -19 for r.
-5
Let o be (14/(-8)*-2)/(1071/4284). Solve 0 = -i - 3*g + 1, 3*g - 4 = o*i - 18*i for i.
1
Suppose -3*x - 11*x = -42. Solve -x*f - 3 = -3*h, h + 2*f + 4 = 2*h for h.
-2
Let q = 7404 - 7402. Solve 9 = d - 4*m, -4*d + q*m - 119 = -127 for d.
1
Let x = -315 + 302. Let r = 31 + x. Let o be (0 + -1)*6/(-2). Solve -i + r = 4*b, o*i + 0*b + 2 = 2*b for i.
2
Let k be 2 + (49/7)/7. Suppose -5*b = 32*f - 27*f - 25, k*b - 5*f = -25. Solve q = -d + 2*d - 2, b = -d + 3*q + 10 for d.
-2
Let l be (14 - -6)/(0/3 + 2). Suppose -g - 5 = -3*v, 13*v + 2*g = 9*v + l. Solve 0 = 5*j + 2*c + 7, j = 2*c - v + 3 for j.
-1
Let u = -58 + 182. Suppose 4*i - u = -5*n, 3*n + 67 = 4*i - 57. Solve i = -3*v - 3*s - s, -2*v = -4*s - 6 for v.
-5
Suppose 4*o - 68 = -10*f, -3*f = 36*o - 33*o - 15. Suppose 2*p - 6 = -0. Solve 0 = r + 3*u + f, -16 = p*r - 0*r + u for r.
-5
Suppose 76*o = -o - 50*o + 2286. Solve k + 7 = 4*j - 5, j - 4*k = o for j.
2
Let r be (-5 - 0) + (8 - (4 - -1)). Suppose 5*u - 442 = -142. Let x be 2 + r + (u/3)/5. Solve -x*d - 2*y + 6 = 2, 0 = 3*d + 3*y - 9 for d.
-1
Suppose 0 = 5*u - 20. Suppose u*w = -0*w - 16, -y = -2*w - 49. Suppose -16 = -45*k + y*k. Solve -k = -t - h, -3*t - 20 = t - 5*h for t.
0
Let v = -20288 + 20292. Suppose 0 = 3*k - 0*k - 9. Solve -8 = v*j + g, 2*j + 2*g = k*j + 2 for j.
-2
Let i = 28219 - 28210. Solve -v - 3 = -4*z, i*v = -z + 8*v + 2 for z.
1
Let n(j) = j**3 + 66*j**2 - 138*j - 133. Let k be n(-68). Solve -s - 19 = -3*q - 2*q, -k*q = -4*s - 8 for q.
4
Suppose -7 = -5*n + 4*n. Let g = n + -18. Let c = 15 + g. Solve -s + 5*r + 24 = -4*s, -c*r - 9 = -s for s.
-3
Suppose -23*g = -17*g - 18. Let c be (-5 - -4)*g*(-15)/9. Solve 6 = -2*k, -13 = -c*w + 5*k + 2 for w.
0
Suppose -74*c - 66*c = -700. Let r(g) = g**2 + 19 - 8*g + 4*g - 4*g. Let f be r(c). Solve -f*n - i = -16, 0*n + 2*i = n - 13 for n.
5
Suppose -2*p + 72 = -3*r + 4*r, 9 = -3*p. Let b be 32/6 + (-26)/r. Solve 4*d + 2*o = 6, 5*d + o + b = -4*o for d.
4
Let m be (3 - 5)*(11*12)/(-3). Suppose -30 = -94*f + m*f. Solve f*i - k - 12 = -37, 0 = 2*k for i.
-5
Let t = -8741 + 8743. Solve -2*j = 2*q, 4*j = t*j + 5*q + 7 for j.
1
Suppose -4*v + 4*n = -28, 9 = v - 12*n + 13*n. Solve 2*d + 2*r - v = 0, -3*r + 18 = -2*d + 21 for d.
3
Let i be 16/3*(-258)/(-344). Solve 0 = -f + 3*r - 6*r - 2, -i*f + 8 = -4*r for f.
1
Let r(y) = -y**2 + 17*y - 55. Let h = 129 + -121. Let j be r(h). Solve 0 = 5*z - b + 4, 0 = 5*z + 5*b + j - 7 for z.
-1
Suppose 0*q - k + 10 = -5*q, q - 5*k + 2 = 0. Let c be q/4*(-4 - -4). Suppose -4*v + 3 + 9 = c. Solve -5*d - 12 = 3*y, -y + 0 - 4 = v*d for y.
-4
Let l = -71 + 57. Let f be 63/l*6/(-9). Solve -o = -4*j + 4*o - 37, 3*o = -f*j + 6 for j.
-3
Suppose -3*m + 105 = 5*n, -2*n + 64 = n + 2*m. Suppose -7*b - n = -13*b. Solve b*s = -2*r - 11, s - 15 = -3*r + 7*r for r.
-4
Suppose 99*v + 25*v - 248 = 0. Solve v*h = -4*q - 8, -3*h + 3*q + 9 = 3 for h.
0
Suppose 62 + 20 = 15*t + 22. Solve -x - 14 = 5*l, -t = x - 0 for l.
-2
Let x(g) = 47*g + 810. Let n be x(-17). Solve -4*u = 3*k + 8, u + 6*k = 3*k - n for u.
1
Let p be (-16)/(-1) + -8 + 6. Suppose 3*j = 4*j. Suppose 3*d + 8 - p = j. Solve 4*l - 24 = 4*t, 2*t - l = -d*l - 6 for t.
-4
Let h be (-4310)/(-5172) + ((-13)/12 - 4/(-16)). Solve a = -5*f - 18, h = -6*a + a + 10 for f.
-4
Let d(x) be the second derivative of 4*x + 0 - 8/3*x**3 - 13/2*x**2 + 1/12*x**4. Let w be d(17). Solve -s + w = -b, b + 0*s = -s - 2 for b.
-3
Suppose -r - 8 = z + 2*z, -3*z = 4*r + 50. Suppose -665*i + 673*i - 144 = 0. Let j = r + i. Solve -5*n - 3*t + 19 = 0, 0*t - 5 = -j*n + t for n.
2
Let w(s) = -2*s**3 + 15*s**2 + 21*s - 11. Let y be w(-2). Solve 5*u - c = -20, 2*u - 18*c - 19 = -y*c for u.
-3
Suppose 0 = -r - 5*d + 44, 5*d - 59 - 33 = -3*r. Let i = -16 + r. Suppose -i = -2*p - 4. Solve -37 = -p*s - 3*s + 4*t, -5*s + 22 = t for s.
5
Let f(q) = -q**3 + 6*q**2 - 5*q + 10. Let z be f(6). Let n be (-8 + z + -3)*-1. Solve 2*t - 5*j = -n, 3*j = -t - t + 9 for t.
-3
Suppose -4*w - 15 = 3*l, 4*l - 22*w = -17*w + 42. Solve 0 = -l*x - 5*z - 18, 352*z = -5*x + 347*z - 10 for x.
4
Let j be 0/(-6 + 24/(-56)*-7). Solve j*c + 3*c + 3*p - 3 = 0, 3*c = -5*p + 1 for c.
2
Let l be 120/(-10)*(-6 + (-22)/(-4)). Solve 1 = -l*a + a - n