h + x*v + 8 = 0 for h.
-2
Let j = -14 - -22. Let k = 14 - 14. Let f be (k/(-2)*1)/(-2). Solve -r + 2 = f, -2*i - 2 = -2*r - j for i.
5
Let o(b) = b - 3. Let t be o(7). Let s = -979 + 981. Solve s*n + 1 = w + 4*n, 4*n = -t for w.
3
Let x = -99 + 140. Let j = x + -19. Suppose 2*f - 16 = -4*r, r - j = f - 6*f. Solve -9 = i - 4*c, -3*c + r*c = 4*i - 15 for i.
3
Suppose -54 = 3*y + 5*t, 0*y - 4*y + 2*t = 72. Suppose -2*n - 6 = 0, 3*u - 3*n = n + 75. Let w = y + u. Solve -d - 2*k = -4*k + 3, 0 = -2*d - w*k + 22 for d.
5
Let i be (-5 + 3)*10/(-4). Solve 3*m + i*x = 11, 0*m = m - 4*x + 2 for m.
2
Suppose 27*h = -23*h + 650. Solve -3*j + 5*l = 2*j - 5, 0 = j + 2*l - h for j.
5
Let c = -38 - -45. Let x be 18/63 + (-2)/c. Solve 2*s + 2*f = 4*f + 6, x = -2*s - 5*f + 6 for s.
3
Suppose -26 = -4*c - 6. Let a(p) = -p**2 + 6*p - 3. Let u be a(c). Let k be 3/((-12)/(-48)*-4) + (5 - 2). Solve k = -x - 3*d, -u*x - 4 = -5*x - 5*d for x.
3
Let u(g) = g**2 + g - 2. Let l be ((-3)/1 - -3)/3. Suppose -4*j + 3*j - 2 = l, 5*j = -5*y. Let h be u(y). Solve -r - h*s + 15 = 0, -47 = 5*r - s - 17 for r.
-5
Suppose -3*m = -4*g + 6*g - 1, -2*m - 16 = -2*g. Solve -g*b + 17 = -p, b + 4*b = -p + 23 for b.
4
Let f(s) = s**2 - 20*s - 34. Let m be f(22). Let z(k) = -k**2 + 10*k + 5. Let a be z(m). Solve 1 = -b + 5*c, -3*b + 5*b - 3*c = a for b.
4
Suppose -5*j + 0*p - 113 = 3*p, -j - p = 21. Let l = j - -25. Solve l = -4*y - 4*h - 12, 3*y - 4*y - 3*h - 9 = 0 for y.
0
Let i(r) = -4*r**3 - 73*r - 74. Let c be i(-1). Solve 2*a = -2*a - c*p + 35, 0 = a - 2*p + 5 for a.
5
Let h = -10 + 12. Suppose 0 = 7*m - h*m. Solve -3*w + 3 + m = i, -3*w + 2*i = -12 for w.
2
Let r = 415 + -412. Let j = -3 + 4. Suppose 12 = -2*l + 4*l. Solve 2*a + 0*a - r*y + j = 0, 0 = 3*a - 2*y - l for a.
4
Let g be 16/6 + ((-70)/(-15))/(-7). Solve -5*u - 5*z - 21 = -7*u, -2*u + 6 = -g*z for u.
-2
Suppose g + 4 - 3 = 0. Let k be g*4/20*-10. Solve -5*n + n = 3*m - 3, -3*m = -k*n - 21 for n.
-3
Suppose -2*k + 7*k + 30 = 0. Let w be 0 + k/(0 + -1). Solve -5*c = a - 22, a + w - 13 = -2*c for c.
5
Suppose -2*j + 25 = 1. Let k(o) = o**3 - 9*o**2 + o - 3. Let y be k(9). Solve 3*m + j = y*c - 3*c, -4 = c + m for c.
0
Suppose 0 = 16*z - 97 + 33. Solve 5*u = z*y + 1, u - 4*y = 9 + 4 for u.
-3
Let r = -17 - -19. Suppose 3*a = -r*i + 7, 4 = 3*a + a. Solve 3*w = -1 - i, -3*l - 4*w = 7 for l.
-1
Let a be 50/18 + (-12)/(-54). Let w be 10 + a/(12/(-8)). Solve 2*v - 4 + 0 = 3*u, 4*u + w = 4*v for v.
2
Suppose 3*u + 14 = 3*x + 2*x, u + 4*x - 18 = 0. Suppose -u*n + 10 + 2 = 0. Let w(p) = -p + 20. Let h be w(n). Solve -r + q = 2, -7*r + 2*r - q + h = 0 for r.
2
Let w(f) = -4*f + 0 - 6*f + 1 + 9*f. Let n be w(-1). Solve 0*g - 3*g - n*c - 10 = 0, 3*g - 3*c = 0 for g.
-2
Suppose 2*o + 2*x = 30, -o + 0*o - 3*x + 7 = 0. Suppose -k - 15 = -o. Solve -2*s + 5*s + 4*f = 29, -s + k*f - 17 = 0 for s.
3
Suppose -5 + 15 = 5*l. Suppose -f = l*f - 27. Solve -3*b = 3*q - 0*q - f, -q - 17 = -3*b for q.
-2
Let a(y) = y**2 - 5*y + 9. Let o be a(4). Suppose 2*z = 5*n + z - 42, 5*z = 15. Let q be -20*(-1 - (-3)/5). Solve w + q = o*r - n, -14 = w - 4*r for w.
-2
Let t = -3 - -6. Suppose -t*p = -8*p + 10. Solve -p*h - 10 = 4*x + 2, -3*x + 1 = -h for x.
-1
Let v(w) = w**3 - 4*w**2 + 4*w + 1. Let a be (5 - 2)*(-1 - -2). Let z be v(a). Let l be (z - 1) + (-2 - -4). Solve 20 = 2*s + 5*r, 0*r + 5 = -s + l*r for s.
5
Let o = 5 - 7. Suppose g - c = 0, 5*g + 2*c = 4*g + 15. Let n be g*1*o/(-10). Solve -i - 5 = -f, 3*f + 3*i - n - 2 = 0 for f.
3
Let u = -52 + 52. Suppose u = 5*r - 0 - 15. Solve -5*w - 2 = 5*m + 3, r*w + 11 = -5*m for w.
3
Let t be 0 + -2 - (17 + 4)/(-3). Suppose 4*n + 5 = t. Solve 4*l - 3 = -3*d - 4, n = l - 3*d + 19 for l.
-4
Let r = -659 + 661. Solve -2*x - 5 + 11 = -r*z, -8 = -4*x for z.
-1
Let y = -28 + 80. Suppose -m - y = -5*m. Let j(b) = 6*b + 57. Let t be j(-9). Solve -q - 2*q = -3*p + 12, -4*p + t*q = -m for p.
1
Suppose 0 = -3*n + 5*n - s - 176, 4*n - 352 = 3*s. Suppose -3*d + n = 82. Solve -5*j - d*q = -0*q + 33, 3*j - 4*q - 1 = 0 for j.
-5
Suppose 8*t - 3295 = 3*t. Let c(y) = t*y - 659*y - 1 + y**2. Let n be c(1). Solve w + 6 = -0*w + 2*x, 2*w - 3*x + 11 = n for w.
-4
Suppose 4*k + 2 = -k + 3*p, 0 = -5*k - p + 14. Suppose -k*i + 1 = -3. Solve -5*h - 8 = i*r, 2*r - 4 = -0*h + h for r.
1
Let q be 5 + (-9)/3 - -2. Suppose -8*c + q*c + 40 = 0. Let d be 2/c - (-9)/5. Solve -j - 7 = t, -9 = -t + d*j + j for t.
-3
Let s = 51 - 32. Let k = 0 + -14. Let d = k + s. Solve -d*m + 3 = 3*i, 4*m - 2 = 2*i - 4 for m.
0
Suppose -2*t + 288 = 278. Solve 2*v + 6 = -t*o, -3*o + 2*v = 3*v + 4 for o.
-2
Let k = -192 - -204. Solve k = -5*x - b, 3*x - 12 = 7*x + 2*b for x.
-2
Suppose 16 = 4*l - 16. Suppose y + 2 - 9 = 0. Suppose -5 + y = a. Solve -5*t + a = -j - l, -3*j = -5*t + 10 for j.
0
Let d be 114 + -109 + -2 + 0. Suppose 15 = -0*g + 5*g. Suppose -10 = 5*q - 5*j, q + q - g*j + 9 = 0. Solve v - d*r = -3 + 11, -4*v = q*r - 17 for v.
5
Suppose 2*m + 8 = -2*b + 16, -5*m = b. Solve 2*n + b*g = -2*n - 27, -3*n - 2*g - 15 = 0 for n.
-3
Let v = 2 - 0. Let t = -23 + 92. Let p = t - 67. Solve p*y - v*u = -4*u + 6, u + 5 = y for y.
4
Suppose -2*j + 802 = -5*w + 2*j, -w + j - 161 = 0. Let u = w - -161. Solve -u*k + 29 = 4*g, -5*g + 3*k + 16 = -0*g for g.
5
Let p(z) = -z**2 + 12*z + 9. Let a be p(12). Let k = a + -3. Suppose -k*j = -j. Solve -3*d = j, 3 - 1 = 2*n + 5*d for n.
1
Suppose 8 + 10 = 2*i. Let m be 4/30 - (-104)/120. Suppose -3*c = 3*r - 21, 0*c + c - r + m = 0. Solve j + 5*o - 16 = 2*j, 0 = c*j + 4*o - i for j.
-1
Let s(y) = -8*y**2 + 2*y + 3. Let z be s(0). Solve -4*p - z = 4*w - 27, -2*w = -p for p.
4
Suppose 10*k = 14*k - 56. Suppose -6*j + 2*j - 6 = 5*w, -3*w - 5*j - k = 0. Solve -4*h = -4*c - 8, -5*c - 19 + w = 2*h for c.
-3
Let u(q) = 2*q**2 - 2*q. Let m be u(2). Suppose m*k = 5*f + 45, 10 = 3*k - f + 2*f. Suppose k*c - 4*c = 0. Solve r - 3*r = 5*h + 7, -5*r - 5 = c for h.
-1
Let u(y) = 12*y**2 - 274*y - 18. Let a be u(23). Solve 0 = 2*b - 4*p + a, -5*b - 3*p + 19 = 24 for b.
-4
Let x = 155 + -115. Solve -u - 5*i = -30, 6*u = 3*u - 5*i + x for u.
5
Let a(g) = g**2 + 6*g - 2. Let y be a(-6). Let o = 8 + y. Suppose -5*z + z = 4*z. Solve 3*h - 2*r = z, -o*r = 3*h - r for h.
0
Let d = 76 + -98. Let c(w) = -2*w - 24. Let z be c(d). Solve 0 = 5*u - 2*y - z, 2*y + 18 = -2*u + 6*u for u.
2
Let q = -124 + 125. Solve -s + 2*c - 4 = -q, -6 = 2*s + 4*c for s.
-3
Let j(o) = o**3 - 14*o**2 + 11*o + 159. Let l be j(12). Solve -2*d - 8*m + l = -7*m, 2*m - 6 = 0 for d.
0
Let x = 353 + -350. Let q(u) = u**3 - 5*u**2 - 3*u - 8. Let t be q(6). Suppose 4*j + j - t = 0. Solve 5*c + 0*m = -x*m - 21, -c = -j*m - 1 for c.
-3
Let u(x) = -x**2 + 14*x - 28. Let h be u(12). Let f(n) = -n + 4. Let s be f(h). Let q = 12 - 8. Solve -4*g = q*i, -i = -0*g + 3*g + s for g.
-4
Let t be ((-6)/8)/((-1)/4). Suppose -4*f + 23 - 3 = -4*b, -4*b = -3*f + 18. Solve -t*z = -f*a + 6, 2*z - 3*z - 2 = 5*a for a.
0
Let h be 2 + 3/(12/(-8)). Suppose h = -3*u + 5 + 1. Let a be ((-1)/(-2))/(u/20). Solve -g + 3*k - 18 = -4*g, -5*k = -a*g - 10 for g.
2
Let d be (30/(-18) + 1)/((-2)/(-123)). Let k = 43 + d. Solve -k*c = i - 5*i - 12, i + 5*c + 25 = 0 for i.
-5
Let f(w) = 2*w**2 - 9*w - 14. Let g be f(6). Suppose 5*r - 16 + 1 = 3*x, -5*r + 50 = g*x. Solve -4*c = 4*h, -r*h = -5*h + 2*c - 2 for h.
-2
Suppose 3*h = -9*n + 8*n - 10, 0 = 4*n + h - 15. Let k be (-3)/(-12) + (-3)/(-4). Let s = 1 - 1. Solve -5*v + n*x - 36 + k = s, 5*v + 3*x = 5 for v.
-2
Let m be (46/(-7))/((-8)/28). Solve 4*i = -4*h + 2*i + 6, 3*i + m = 2*h for h.
4
Let s = -327 - -331. Solve -r - 5 = s*z - 4, 3*r = -3 for z.
0
Suppose 0 = -b + 6 - 3. Suppose b*z + 26 = 3*c - z, 4*z = 4*c - 32. Suppose r = c*r - 15. Solve -r*n + 11 = -5*g, 2*n + 4*g + 22 = -0*n for n.
-3
Suppose 3*p - 31 = 2*m, -p + 0*p = -4*m + 3. Let j be 2 - 15 - (-1 + 2)*-2. Let x be (0 - 0)*(12 + j). Solve 5*r - 2*h = -16, -p = 2*r - x*h - 3*h for r.
-2
Let n be (-4)/(-20)*(2 - (-4)/(-2)). Solve -2*d + 5*i + 3 = -5, n = -5*i - 10 for d.
-1
Let t be (2 - 0) + 2 + -7. Let m be ((-1)/t)/((-3)/(-225)). Solve -2*v + g = -0*g - 15, v - 4*g - m = 0 for v.
5
Let k be (-15 - (3 + -5))*-2. Let s = -40 + 17. Let w = s + k. Solve 2 = -j - b, -w*b + 2 = -j - 12 for j.
-5
Suppose 190*m