 = h*c - 8 for c.
1
Suppose -12*q - 18 = -21*q. Let k(n) = -2*n - 5. Let f(a) = -1. Let p(r) = 6*f(r) - k(r). Let c be p(q). Solve 5*o = -0*b + 3*b + 19, -6 = -c*b for o.
5
Let s(b) = -b**2 + 15*b + 220. Let u be s(24). Suppose 0*v + 3*g = u*v - 3, 0 = 3*g + 3. Solve 3*h = m - 9, v = m + m for h.
-3
Let h be (-567)/14*4*1/(-6). Let k be (-100)/(-30)*(h/15)/1. Let b be (4 + -7)*(-4)/k. Solve 5*m = b*z - 19, 4*z + 17 = -2*m + m for z.
-3
Let u = -24823 - -24832. Solve 5*v - 3*y - 27 = 0, 5*y - u = -5*v - 14 for v.
3
Let b be (-18)/4*(-70)/105. Suppose b*t - 2*u = 2*t + 22, 0 = -2*u. Solve -2*v + t = 4*w, -2*v + w = -0*w - 2 for v.
3
Let r be 4 - (-4)/(20/485). Let a = r - 97. Suppose -a*p + 6*p = 6. Solve 3*y - 2*n - 18 = -6*n, 4*y = p*n - 1 for y.
2
Let a = 338 + -65. Let c = a + -263. Solve 4*m = -m + c, -4*m = 2*l - 10 for l.
1
Suppose -h - 20 = -3*h. Suppose -8 = q + 3*c, 0 = -3*c - h - 2. Solve 0 = -q*t - 5*o + 17, 4*o - 5*o = 3*t + 1 for t.
-2
Let k(f) = -f**3 - 6*f**2 + 15*f + 95. Let u be k(-6). Suppose 3*i + 4*s = 20, -u*i - 3*s + 14 = -12. Solve 0 = c - 6*c - 4*o + i, -5*c + 3*o = -32 for c.
4
Let c be (-9)/(-6)*(-8)/(-3). Let j be (-7)/((-7)/(-6)) - (-1 - -1). Let b be 10/j*(-23 + 14). Solve 5*g - b = -5*k, g - 7 = -c*k + 2*k for k.
4
Suppose 22*c + 17 = 249 + 318. Solve 3*y + 2*x = -10, 5*y + 8*x = 3*x - c for y.
0
Suppose 0 = -3*l - 4 + 7. Let o be (-1 - -2) + (0 - l). Let g(w) = 2*w**3 + 33*w**2 - 56*w - 27. Let b be g(-18). Solve o*p + 2*p + 5*j = -b, 3*j = -3*p for p.
3
Let a be -12*22/(-77)*(-7)/4. Let s be 10*1*(-3)/a. Solve 0 = -n + 2*y - 9, -3*n - 2*y + s*y = 18 for n.
-3
Suppose 32*i - 72 = 26*i. Suppose g + 8 = i. Solve 5*x - 10 = f, 2*x = g*f + 1 + 3 for f.
0
Let m = 126 - 136. Let g be (4/m)/(95/25 + -4). Solve 0 = -g*z, j - 2*z - 3*z = -3 for j.
-3
Let v be 3/6*3 - (1 - -10)/22. Solve -i - v = 2*c + 6, 2*i + 3*c = -12 for i.
-3
Suppose 11*j = 14*j - 6. Suppose -4*o = 4*f, -3*f + j = o + o. Solve 0 = -0*z - f*z + r + 10, -2*z + 10 = 5*r for z.
5
Suppose -54*n = -68*n + 266. Suppose -8*b - 3 = -n. Solve -5*g + 3 = -3*u, -6*g + 2*g + 4 = -b*u for u.
4
Let g(f) = 4*f - 33. Let v be g(-8). Let l = 69 + v. Solve -4*z + 2*z + 4*t = -l, 0 = -t - 3 for z.
-4
Let m = -1 - -6. Let a be 2/(10/15) - -9. Let z(p) = -3*p**2 + 35*p + 12. Let r be z(a). Solve -5*f = u - r*u + 2, 14 = m*u + f for u.
3
Suppose -111*h + 208*h = 105*h - 24. Solve h*q - 4*v + 21 = -2*q, -2*q + 5*v = 22 for q.
-1
Let f = -5 - -5. Let k = -4838 + 4842. Solve 4*o - 4*u = -4, 0 = k*o - f*u + u - 21 for o.
4
Let g(s) = -s**3 - 9*s**2 + 6. Let r be g(-9). Suppose -r*n + n + 25 = 0. Let u(a) = 9*a + 24. Let y be u(-2). Solve -o = 3*l + y, l - 4*o = 6 + n for l.
-1
Suppose 285 = 13*b - 2120. Let c = b - 183. Solve -2*n + 12 = 4*d, 0 = c*d - 2*n + 5*n - 2 for d.
4
Let f = 97 - 185. Let b be (3 + f/24)*-3. Solve 22 = b*g + 5*p, 3*g - 3*p + 9 = -0*g for g.
1
Let f = 6822 + -6821. Solve 4*b = 5*w + 10, -3*b = -5*w - f - 9 for w.
-2
Suppose -2*p + 29 = -19. Suppose -5*j = -4*w - 36, -2*j + 6*j - p = 2*w. Solve -25 = 3*u - j*r - r, -3*u = -2*r + 19 for u.
-5
Let c(p) = p**3 - 10*p**2 - 9*p - 15. Let a = 177 + -166. Let l be c(a). Solve 2*u + l - 1 = 4*k, -k + 9 = u for k.
4
Suppose -h + 7 - 7 = 0. Let s be (3 + (h - 1))*(-50)/(-4). Suppose -n - s = -w - 3*w, n - 15 = -4*w. Solve -4*q - 4 = -4*d, d - 2*d + 9 = -w*q for d.
-1
Let g = 144 - 142. Suppose 10*x - 32 = g*x. Solve 3*o - 11 = 2*c, 5*o - 23 = -x*c + 10 for c.
2
Suppose 70 = -4*d + m + m, 3*d + 53 = m. Let y be (6 - 58/10) + d/(-10). Solve 0 = -5*t - y*q - 2*q - 11, 0 = -5*t - q + 1 for t.
1
Let o be 17*(-8)/(-272)*(-7 - -7). Solve -33*n - 4*m + 1 = -28*n, o = -n + 4*m + 5 for n.
1
Let v = 24 - 24. Let c be -1 - (3 - 1) - 380/(-38). Suppose -z = c*z - 192. Solve v = -3*q + x - 4*x + 9, -z = -4*q + 2*x for q.
5
Suppose 368*f - 140 = 354*f. Solve 63*k = 58*k - f, 5*k - 15 = -5*t for t.
5
Let p = 100 + -105. Let t be (2/5)/(p/(-50)). Let m be (-2 - -2)*(12/(-6))/t. Solve -5*k + 36 = -4*x, 0 = 5*x - m*x - k + 24 for x.
-4
Suppose 6*h + 70 = 11*h. Let a be 35/h*12/15. Let r = -145 + 148. Solve -a*t + 8 = -6*z + r*z, t - 4 = -4*z for z.
0
Let s(x) = -14*x - 16*x + 5*x - 9. Let f be s(-3). Suppose -q - f = -5*q + 2*y, 0 = -3*q + y + 48. Solve -4*n = -4*u + q - 3, -12 = -4*u - 4*n for u.
3
Let c = -5229 + 5234. Solve 0 = -a + c*i + 26, -a = 8*i - 4*i + 19 for a.
1
Suppose 202*v = 22*v + 2160. Solve -b - 3*a = -v - 0, b = 4*a - 23 for b.
-3
Suppose 5*n - l = 16, n + 243*l + 12 = 247*l. Solve -23*i + 25*i + 4*x - 2 = 0, -n*i + 2*x + 14 = 0 for i.
3
Suppose 47*r - 1011 = 117. Suppose -72 = 6*y - r*y. Solve -2*k + k + y*m - 3 = 0, 6 = -2*k - m for k.
-3
Suppose -5*k + 21 = -c, -12*k + 30 = 5*c - 10*k. Solve 0 = 2*j + c*h + 2, -5*h + 14 + 21 = -5*j for j.
-5
Suppose 210 = 29*o - 15*o. Suppose -o*x = -41 + 11. Solve 0*g = x*g + 3*n + 17, 5*n = 2*g - 23 for g.
-1
Suppose 44*i - 31*i - 221 = 0. Solve 3*v = 8*v + b - i, 0 = 3*v + 4*b for v.
4
Let u = -558 - -636. Let v be (91/u)/(1/12*2). Solve 5*s = -3*o + 2*o + v, 4*s - 4*o = -4 for s.
1
Suppose -3*z = 2*w - 2 - 9, -w + z = -8. Solve -2*t = 4*r + 20, 8*r = w*r + 3*t + 9 for r.
-3
Let v be (-4)/18 + 86/387. Solve -s - 20 = -5*z, v = -0*s - s for z.
4
Let r = 14707 - 14702. Solve 24 = 4*y + r*c + 19, 2*y + 2*c = 4 for y.
5
Let k(o) = 37 - 36*o - o**2 + 19*o - 14*o. Let a be k(-32). Solve -4*x + 1 = -3*g, 4*g - 3*g = a*x - 4 for g.
1
Let u = -381 + 383. Let l(a) = 8*a**2 - 10*a + 6. Let c be l(u). Solve -3*z + 5*f - 8 = c, 5*f - 20 = 0 for z.
-2
Let g = -35 + 35. Suppose 0*x - 3*s = x - 9, g = x + 4*s - 11. Suppose x*i + i = 0. Solve 0 = -5*d - 3*r - 11, -d + i*r = -r + 7 for d.
-4
Let a = 4825 + -4818. Solve -6*v - 4*l = -v + a, -7 = 3*v + l for v.
-3
Let m be (-8)/(-7)*(-483)/(-138). Solve -a = 8*q - 11*q + m, 1 = -3*q + 2*a for q.
3
Let z(w) = -w**3 - 9*w**2 + 9*w - 2. Let t be z(-10). Let c be (-4)/t*8 - (-5 - -1). Solve 3*v - 9 = 3*m - 0, c = 2*v - 5*m - 18 for v.
-1
Let a(j) = j + 14. Let i be a(-3). Let c be (-6)/(-4) + i/2. Solve c = 3*r + l, 5*l + 23 = 5*r - 2 for r.
3
Let g be (4 + (21 - 29))*3/(-12)*3. Solve h + 58 = -2*z + 53, 3*h + g*z + 12 = 0 for h.
-3
Suppose -7*v + 7*v + 104 = 26*v. Solve 3*b = -4*t - 10, -b + 0*t = -v*t - 18 for b.
2
Suppose -19*j + 41 = 22. Let b(a) = 25*a**2 - 5*a + 5. Let c be b(j). Solve -4*k - 2 = -2*m, 4*k + 5*m + c = -k for k.
-2
Let y(p) = -21*p - 7. Let x be y(2). Let v = -61 - x. Let h(j) = -2*j - 22. Let t be h(v). Solve 0 = 2*s + 2*s - 4*z - 4, 0 = -t*z - 2 for s.
0
Let d be 2 + 4/((40/5)/(-4)). Suppose d = -3*c - 43 + 49. Solve -2*g = -g + a - c, 4*a = -g + 5 for g.
1
Suppose -5*j - 20 = 0, 4*q = -j - j + 16. Solve -5*p + q*p = 2*k, 0 = -4*k - p + 6 for k.
1
Let a(u) = -u**2 + 1. Let s(b) = 3*b**2 + 6*b + 14. Let h(l) = 4*a(l) + s(l). Let f be h(-6). Let m = 59 + f. Solve m*w + 20 = d, -d + 2*w - w = 0 for d.
-5
Let c be (0 - (-2 + 6)) + 202. Suppose -c = 3*r - 51. Let s = -45 - r. Solve -5*p = -b + 15, -6 = b - 3*b + s*p for b.
-5
Suppose -4*q + 8 = 0, -y - q + 6*q - 592 = 0. Let v be y/(-16) - (-171)/(-456). Solve 0 = -0*k + 2*k + 2*m, 0 = 5*k - 4*m + v for k.
-4
Let o be 3/2*(-4)/(-3). Suppose -5*w = a + 5, 5*a - w - 29 = -o. Let k be -3 + 8 - (-1 - -1). Solve a*c + k = -5*j, 4 = -2*j - 5*c - 10 for j.
3
Let s be (-1 - (-9)/(-3)) + -79 + 99. Solve -5 = 5*z + p, -26 = -5*z + 2*p - s for z.
0
Suppose 97 = i + 88. Suppose 8*n - i*n = 0. Solve 4 = 4*t - n, -z + 5*t - 6 = 0 for z.
-1
Let f be (-17)/(-102) + 2*82/24. Let y be f + 1 + (0 - 4). Solve 0 = -5*d - 3*q - 2 - 33, 0 = -y*d - 2*q - 26 for d.
-4
Suppose 36*n - 38*n = -12, 4*p + 5*n - 86 = 0. Solve 2*b + p = 4*x, 3*x - 26 = 2*b - 15 for b.
-1
Let o be (4 + -3)/(-6*2/(-60)). Solve 6 = 3*g - c + 15, -o*c - 15 = 5*g for g.
-3
Let o be ((0 - 1) + -3)*30*36/(-1440). Solve -5 = -k, 37*n - o*k + 18 = 40*n for n.
1
Let d be (-5)/10*(38 - 2). Let q(p) = -p**2 - 19*p - 24. Let n be q(d). Let r be n/(48/28)*8/(-14). Solve 5 = -r*j - o, -2*o = -5*j - 5*o - 14 for j.
-1
Let w = -80 - -93. Solve -6*s = 4*c - 5*s + w, 3*c - 3 = -5*s for c.
-4
Let v = 126 + -114. Suppose v = 2*a + 2*h, -94*a + 98*a = -3*h + 20. Solve f - 15 = -4*i, -f - 3 = a for i.
5
Let v be (-4)/(-22) - ((-2106)/33 - -2). Let