 5*z - 4*v + 31 for z.
-5
Let u = 149 + -21. Let m = u - 131. Let z = 5 + m. Solve -6 = -2*i - z*h, 0*h + 2*h = i + 9 for i.
-1
Let k be (-39 - 28)/(0 + -1). Let q = 80 - k. Suppose -15 = q*r - 18*r. Solve s + 20 = -4*s + v, r*s + 2*v = 1 for s.
-3
Let l be (-3165)/75 - 2/(-10). Let f = 44 + l. Suppose 0 = f*n - 3*n + 1. Solve -4*b = 2*i + 10, -3*i - 3*b - 2 - n = 0 for i.
3
Suppose 28 = -3*n + 5*h, -2*h = -2*n - 5*h + 32. Solve 29 = n*i + 3*b, 8*i - 6*i = -2*b + 16 for i.
5
Let f = 3911 + -3891. Let z(q) = -q**3 + 6*q**2 + 7*q + 5. Let g be z(7). Suppose -f = -5*i - g*h, i = h - 1 + 5. Solve -4*b + 10 = 2*m + m, i = -2*m for b.
4
Let p(h) = -h**3 - 15*h**2 - 25*h + 16. Let m be (-30)/20 - (-23)/(-2). Let j be p(m). Solve r - 10 = 3*q, -2*q - 9 = 2*r + j for r.
-2
Suppose -45*g = 173*g - 654. Solve 5 = -145*h + 144*h + g*k, -5*k + 19 = h for h.
4
Let s be 8/12 - (-56)/6. Let a be 2/10 - (-182)/65 - 3. Suppose -x = -3 - a. Solve -4*r = -x*y + s, 0*y = -4*y - 3*r - 20 for y.
-2
Suppose -6*q + 4 = 2*j - 3*q, -8 = 4*q. Suppose -j*o = 3*x - 30, -3*x - x = -o - 17. Solve -1 = 2*r - 4*h + 5, 15 = -x*r + 4*h for r.
-3
Let y = 293 - 290. Suppose k = -3*i + 14, 43*i - 42*i = y. Solve -j + 0*j - m - 5 = 0, -k = j - 5*m for j.
-5
Let k = -6153 + 6174. Solve 2*p + 14 = 2*v, 2*p + 5*v - k = -0*p for p.
-2
Suppose 54 + 26 = -1041*n + 1061*n. Solve 4*v + n = -5*k, 9*v - 28 = 4*v + 2*k for v.
4
Let b be (-630)/2625*25/(-2). Solve 5*v + 13 = -t - 3, -b*v - 5*t = -8 for v.
-4
Suppose -37*w - 15*w + 301 - 197 = 0. Solve 3*x + w = p + p, -5*p + 5 = 4*x for p.
1
Let l be 4/((-12)/(-15)) - 0. Let m(g) = -g**3 + 9*g**2 - 6*g - 16. Let a be m(8). Let n be (-6)/(a - -3)*-1. Solve -l*i - 20 = 0, 6 = 4*p - i + n for p.
0
Let w be (344/(-12))/(20/90). Let p = w + 137. Solve -l - p = -5*s + 3*l, l + 2 = -3*s for s.
0
Suppose 2*f - 3*w = 7, -3*f + 4*w - 3 + 13 = 0. Suppose f*o + 3*v + 0*v + 2 = 0, -3*o + 3 = 3*v. Solve -5*q + 24 = -l, -16 = q - 0*l + o*l for q.
4
Let k = -17 + 20. Let h be ((-140)/60)/((-28)/120). Solve k*j + 0*s + h = -s, -j - 3*s = 6 for j.
-3
Let p(o) = -o**2 + 6*o + 114. Let d(z) = z**2 - 12*z + 34. Let y be d(10). Let n be p(y). Solve 0 = 2*l - 7*l + n*r + 25, -4*l - 3*r = -20 for l.
5
Let p(m) = -306*m + 2155. Let n be p(7). Solve n = 3*x - 0*j + 2*j, 0 = -3*x + 4*j + 19 for x.
5
Let z(m) = m**2 + 7*m + 15. Let g(k) = k**3 - 10*k**2 + 10*k - 17. Let y be g(9). Let q be z(y). Solve 5*r = -l, 2*l - 3*r = -2*l - q for l.
-5
Let i(u) = -u**3 + 23*u**2 + 168*u - 14. Let z be i(-6). Solve 5*r - 17*t - z = -18*t, 0 = 3*r + t - 14 for r.
4
Suppose f - 2 = -3, -1955 = -5*m + 5*f. Let j = m - 375. Solve j = -3*h, 0 = -4*x + 4*h + 4 - 0 for x.
-4
Let w(s) = -4*s - 69. Let j(q) = -q**2 + 25*q - 64. Let a be j(23). Let o be w(a). Solve 2*u - d - o = 0, 0 = 2*u + d + d for u.
1
Let q be -2*(261/450*-5 + (-2)/(-5)). Solve -g = 2*u - 2 - 7, 0 = -q*u - 4*g + 21 for u.
5
Let t be (14 - 5) + 0 + (-12)/3. Suppose t*x - 2*d - 16 = 0, 5*d + 2 = -5*x + 32. Solve -x*h = 4, h - 3 = -2*b - 2 for b.
1
Let z(u) = 692*u - 4840. Let h be z(7). Solve -45 = h*g + 6*b - b, 4*g - 25 = 9*b for g.
-5
Let v = -44 + 20. Let m = 24 + v. Let a(u) = -65*u + 344. Let k be a(5). Solve -4*s - 5*q = -21, -5*s - 5*q + k + 1 = m for s.
-1
Suppose m - 32 = 3*m. Let q be m/40 + 2/5. Suppose 2*k - 6*n - 2 = -11*n, -k + n + 22 = 0. Solve -4*o + 4*a + k = q, 2*a = -4*o - 3*a - 20 for o.
0
Let l = -1992 - -2013. Solve l*f - 24*f + 6 = 0, -2*z + 22 = 4*f for z.
7
Let w = -71 + 73. Let g be (-40)/50*(-15)/6. Solve 2*k = -g*c - 2, 0 = k + w*c + 6 - 0 for k.
4
Suppose -16999*a = -17009*a + 60. Solve 2*g - a = -q, 5*g = 4*q - 3*q + 8 for g.
2
Suppose 0 = -49*t + 11261 - 2686. Solve 3*m = -5*k - 9, 0 = t*k - 171*k for m.
-3
Let c(d) = 3*d**2 - 7. Let q be c(3). Let o be 3*(-46)/(-15) - 4/q. Let l(s) = -s**2 - 28*s - 47. Let r be l(-26). Solve o = r*v + 2*f - 4, 12 = 3*f for v.
1
Suppose 18*d + 19*d = 14*d. Suppose d = 5*j + 2*z - 27 + 11, 5*z = -j - 6. Solve -j*t + 2*t - n = -2, 4*n + 1 = t for t.
1
Suppose -24 = -3*l - 3*h, -h = 3*l + 2779 - 2809. Solve -2*j - 4 = -2*u, -4*u - 6*j + 27 = -l for u.
5
Suppose 5*y - 225 = 80. Suppose -63 = -2*k - y. Let x be k/(9/(-45) + 16/30). Solve 3*a - 5*r = -4, 0 = -3*a + r + x*r - 2 for a.
2
Suppose 4*m = 5*u + 1351, -2*u + 271 = -3*u + m. Let c = u - -272. Solve v + g = -4*g - 30, -c*v = 4*g + 45 for v.
-5
Suppose 5*y + 8 = 28, 4*y - 5 = w. Suppose -13 = -2*u - 3*r, r = -3*u + 12 + w. Solve -z - u = -3*z, 4*z - 18 = -2*x for x.
1
Let r be (234/15)/6 + ((-26)/10 - -2). Solve -29 = -4*z - 5*q, 31*z = 29*z - r*q + 12 for z.
1
Let t = -64147 + 64149. Let h(n) = 2*n**2 + 3*n - 8*n**2 - 2*n + n**3 - 3. Let i be h(6). Solve z - 2 = i*x, 0 + t = x - z for x.
-2
Suppose 16*j - 4 = 14*j. Suppose 0 = -j*c + x + 7, 2*x + 3 = -7. Let z be 18/(-6)*c*(1 + -2). Solve 0 = z*w - 4*a, 5*w + 2*a - 26 = -0 for w.
4
Let b(v) = -v**2 - 21*v - 42. Let t be b(-3). Let p be (9/t)/(27/72). Solve 4 - 3 = -q, 2*q = 2*m - p for m.
0
Suppose -20 = -k - 3*k. Suppose -16 = -k*j + 4. Let v(y) = -y**2 + 16429*y + 147947. Let t be v(-9). Solve 0 = 5*c + z + j*z, -t*z - 5 = 0 for c.
1
Let n be ((-790)/1501)/(4/(-38)). Solve 8 = -4*x + 3*b + 2*b, n*x - b = -10 for x.
-2
Let r(i) = 14*i - 1 + 8 + i**2 - 20. Let q(k) = k**2. Let p(d) = 2*q(d) - r(d). Let c be p(13). Solve 3*x + 0*x - 5*h + 7 = c, -19 = 4*x + 3*h for x.
-4
Let y = 4 - 2. Let c(j) = j**2 + 23*j - 19. Let h be c(-24). Suppose 0*n + 5*n + 18 = b, -12 = -h*b - n. Solve v - 3*x + 1 = 3, 0 = -b*v - y*x - 16 for v.
-4
Let p = 96 - 73. Suppose -b = -4*m - 16 + p, 4*m = -b + 17. Solve m*g = 15, 0*g - 5*g + 35 = -5*f for f.
-2
Suppose -7*g - 3*y + 869 = -3*g, -2*g + 417 = 5*y. Let z = g - 192. Solve 4*n = -n - 5, -z = 5*p + 4*n for p.
-5
Let f be ((-3)/(-6))/(25/(-10))*(-7875)/175. Solve -2*h + f = u, -12*u = -3*h - 6*u - 9 for h.
3
Suppose -16*x - 167 - 73 = 0. Let o be 5 - ((-4 - x) + -7). Solve 3*t + 4*q = 18, t - 2*q + q + o = 0 for t.
2
Let v be -2 - 5/(-10)*-8. Let o be 27/((24/(-20))/v). Let h be 621/o + -2*1/(-5). Solve 4*k = 5*c + 6, -3*c + 22 + 4 = h*k for c.
2
Let d(v) = -2*v**2 + 14*v + 15. Let a be d(7). Suppose q + a*q = 6*q. Solve 2*u + 18 = 2*j, 2 = 2*u + 2*j - q for u.
-4
Suppose -10*t - 174*t + 634 = 82. Solve -8 = 17*p - 16*p + t*l, 0 = 2*p + 2*l for p.
4
Let p(h) = -h**2 + 19*h + 218. Let f be p(29). Let u be (f/(-9) - 2)/3. Solve -6 = 5*w - 3*x, w - u = 3*w - x for w.
0
Let l(b) = 2*b**2 - 82*b + 737. Let s be l(13). Solve -r + z - 9 = -3*z, 5*z = 2*r + s for r.
3
Let a be 2 + (-40)/12 - 377/(-87). Solve j - a = s, 10*s - 9*s = -4*j + 2 for j.
1
Let l be (-1 + (-5 + -5)/(-5))*16. Let c be l/32 + (-78)/(-12). Solve -6 = 5*f - 3*p, 5*f - 2*p - 10 = -c*p for f.
0
Let w(s) be the second derivative of s**3/6 + s**2 + 8*s. Let g be w(3). Let h be 3/((-6)/4) + 2. Solve 3*c + 3*b = 2*b, h = g*b for c.
0
Suppose -325 + 1317 = 16*x + 108*x. Solve x = 4*q + 4*i, -4*i - 4 = -3*q - 19 for q.
-1
Suppose -21 + 1 = -10*h. Suppose h*y - 24 = 4*v, 6 = -y - 4*v - 0. Suppose 0 = 2*c - 4*c + y. Solve -4*j - 4*x = -9*j + 24, c*x = -3*j + 9 for j.
4
Let y be -2 - (-3 - (0 - -4)). Let o(l) = -3*l**3 + 11*l**2 + 19*l + 6. Let m be o(5). Solve 0 = -y*h + s + 27, m + 1 = -s for h.
5
Let w(p) = -2*p + 6. Let y be w(-3). Suppose 3*a + g = 12, 3*a + 4*g - 2 - 19 = 0. Suppose 0 = 3*m + a*m - y. Solve -2*d = -5*l + 5, -2*d + 21 = 3*l + m for d.
5
Let i be 117/18 - (-1 + 3/(-6)). Solve 0 = -2*x - 4, -12*j = -i*j + 5*x + 14 for j.
-1
Let y be 21/(210/20)*3/2. Suppose -v - 11 = 4*p, 17 = 7*v - 6*v - y*p. Solve -4*n = v*d + 1, 0*d + 2*d = -3*n - 6 for d.
3
Suppose -q = -5*w + 23, -79*w - 11 = -81*w + q. Solve 2*f + 15*z = 14*z + 12, -12 = f - w*z for f.
4
Let d be (-28)/(2688/36) - 9*57/(-24). Solve -4*r = 5*a + 11, 4*a + 17 = 26*r - d*r for a.
-3
Suppose 0 = 2*c - 49*k + 48*k - 6, -3*k = 3*c. Solve -c*o - 3*z + 3 = -4*z, -5*z = -2*o - 1 for o.
2
Suppose -k = -2*m - 20 - 14, 2*k = m + 23. Let w = m + 23. Solve -3*r + 4*d + w = 3*d, 0 = 3*d - 12 for r.
4
Let c(u) = -95*u - 1045. Let g be c(-11). Solve t = d, -4*d = -t - g + 6 for d.
-2
Suppose -3*t + 3*c - 9 = 0, -3*c = t + 2 - 27. Solve t*j = y + y - 16, 0 = -4*j - 3*y + 4 for j.
-2
Let w be -9 + (9 - 2) + -5 - -