 Solve 2*k = -12 + 2, f*b + 5*k + 13 = v for b.
4
Let u be (-3)/(-9) + 159/9. Solve -3*b = -2*t + 23, 2*b + 4 = 3*t - u for b.
-5
Let l(v) = -v**3 - 9*v**2 + 25*v + 37. Let x be l(-11). Solve 13 = -c - x*o, 0*c - 3*o = c + 11 for c.
-5
Let n(k) = k**2 - 13*k - 9. Let m(a) = -a + 1. Let l be m(3). Let b = 16 + l. Let y be n(b). Solve -o + 2*v + 0*v = -15, -4*o = 5*v + y for o.
5
Let h be (-3)/(-36)*9*4. Let g = -11 + 7. Let x = g - -12. Solve 4*t + 11 = 5*d, h = t - 2*d + x for t.
1
Let p(i) = -i**3 - 7*i**2 - 4*i + 2. Let c(s) = s**2 - s + 1. Let l(z) = 2*c(z) + p(z). Let m be l(-2). Solve 3*y - 1 = m*o, 2 = -2*y - 2*o + 4*o for y.
-5
Let g(p) = -16 - p**2 + 26*p - 13*p - 1. Let r be g(9). Solve 26 = 4*t + 3*n, 0 = 2*t + 3*t - 3*n - r for t.
5
Suppose 125 = 5*n + 100. Solve w = -5*s + s - 16, -n*s - 3*w - 13 = 0 for s.
-5
Suppose 0 + 1 = -s, s - 110 = -3*u. Let l = -28 + u. Solve -x - j - 7 = 0, l = -5*x - 2*j - 11 for x.
-2
Suppose 2*i - 6*i = -32. Let c = 13 - i. Suppose -2 = -t - 3*h + 11, 0 = 2*t + c*h - 23. Solve t*r + 2 = 3*v + 15, -2*v = -4*r + 14 for r.
4
Suppose 12 = -2*h + h. Let p = -16 - h. Let m be (33/22)/((-2)/p). Solve 0 = 3*u + 6, -5*u + 4 = m*v - 4*u for v.
2
Let m = 40 - 40. Solve m*y + 3*w + 9 = 5*y, y + 3*w - 9 = 0 for y.
3
Let y = 17 + -11. Suppose -y*o + o = -25. Let c be o + (9/(-3) - -2). Solve -f = -c*r + r + 18, 3 = 3*r + 4*f for r.
5
Let f = -34 - -51. Let g = 22 - f. Let l = 23 + -2. Solve -g*c = -3*j - l, 0*j - 2 = j for c.
3
Let j = 10 - 44. Let z = -32 - j. Solve -3*c - 3*u + 0*u = 9, 0 = u + z for c.
-1
Let r(j) = -j**2 + 11*j - 20. Let z be r(8). Solve 4*c + 0*o - 22 = -o, -z*o = 3*c - 23 for c.
5
Let t(o) = -27*o - 216. Let q be t(-8). Solve -3*m - 4*a - 21 = -0*a, q = -4*m + a - 9 for m.
-3
Let r = 3 - 2. Suppose -a = 4*x - 11, r = x + 3*a - a. Solve -5*b = -2*o + 5, b + x = 4 for o.
5
Let q(d) = -8*d - 56. Let n be q(-7). Solve -5*v + 3*s + 5 = n, 5*v + 3*s = 5*s + 5 for v.
1
Suppose w + 5*h = -17, 23*w + 5 = 18*w - 5*h. Solve -2*k - w = 2*x - 9, -x = 0 for k.
3
Suppose 0 = 6*o - 5*o - 2. Solve 5 = -0*i + 3*i + 5*r, r + o = 0 for i.
5
Suppose 7*t + 189 = 217. Solve -2*y + 5*a + 18 = 0, -t*a - 10 = -2*y - a for y.
-1
Let q be (-2)/(-12) - (-377)/78. Solve -q*z - 3*v + 10 = 0, 3*z + 5*v - 21 - 1 = 0 for z.
-1
Let w(z) = 0 - 14*z + 2 + 16*z. Let k be w(1). Solve 5*i = d - 7 - 12, -k*d - 5*i = 24 for d.
-1
Let y be (-70)/(-15)*8/(80/15). Solve 4*f = -4*o - 4, 5*o + f - y = -f for o.
3
Let s be ((-4)/(-18))/((20/(-5))/(-36)). Solve 5*b = c + 2, -b + 7*c = s*c + 14 for b.
1
Let j be -30 + 31 + (-1)/(-1). Solve n = -3*m - 8, 0 = -m - 6 + j for n.
4
Suppose -2*g - 2*x = -6 - 6, 23 = 4*g + 5*x. Suppose -2*q = 2*q + 12, -r - 3*q = g. Solve r*h = -4*b - h + 13, -13 = -b - 4*h for b.
1
Let v = 19 + -15. Suppose r - 5*u = 0, 3*r + v*u = r. Solve r*x = x - 3, 4*x = -4*m + 12 for m.
0
Let j(v) = v + 1. Let b(i) = 2*i. Let t(w) = -b(w) - 2*j(w). Let y be t(-2). Let k be (4/10)/(y/540). Solve -5*l - 4*z = 0, k = 5*l - l - 4*z for l.
4
Suppose 4*z - 8 - 4 = 0. Suppose 4*w - 12 = 0, 3*i - 12 - 3 = -3*w. Suppose -g - i*g + 6 = 0. Solve -z*p - 6 = 3, -3 = t + g*p for t.
3
Let w be (-10)/5 + -2 + 16. Suppose 8*d + 4*d = w. Suppose 0 = 3*x - 2*h - 12, 6 = -h + 3. Solve -x*s + j = 3*j + 2, d = 4*s + 3*j for s.
4
Let p = 14 - 10. Suppose -5*c - k + 173 = 0, -5*c + 81 = -4*k - 77. Suppose 1 + c = 5*y + 5*x, p = 4*y - 4*x. Solve 2*i = -6, y*v + i + 7 = 2*v for v.
-2
Let a(i) = -3*i**2 + 20*i - 15. Let t be a(5). Solve t*k - 5*k + 16 = -4*n, 0 = -3*k for n.
-4
Let p be (117/(-2))/(-9)*2. Suppose 0 = 5*t + x - 15, x = 3*t - 7*t + p. Solve -3*c + c + t*y = 2, -c + 4*y + 5 = 0 for c.
-3
Suppose 14 = 5*w - 1. Solve w*y + 11 = -5*p, 8*p - 6*p = y for p.
-1
Let y(b) = 4*b - 24. Let o be y(8). Suppose -111*q - o = -115*q. Solve 4*s - 5 = p, q*p + 15 = 4*s - p for s.
0
Suppose -3*k - 27 = -3*z, z - 6 = -5*k + 15. Solve 2 = -n - 5*q - z, -3*n - 5 = -2*q for n.
-3
Let k be -8 + (728/(-7))/(-13). Let m(r) = -r**3 + 7*r**2 - 7*r + 6. Let t be m(6). Let y = k + t. Solve y*u + 3*u = 4*f + 11, 1 = f for u.
5
Let x(q) = -2*q**2 - 14*q + 5. Let j be x(-7). Solve i + 4*l = 3 + j, -3*i + 10 = 5*l for i.
0
Suppose 4*u - 4 - 4 = 0. Suppose 16 = -2*p - 4*i, 4*p + i - 4 = u*i. Suppose p = -10*x + 9*x. Solve 0 = 4*f - c + 12, c - 5*c = x for f.
-3
Let h(v) = 6*v**2 + 39*v + 23. Let m be h(-6). Solve 8 = -4*z + z + o, -m*z - 3*o + 10 = 0 for z.
-1
Let l = -59 - -65. Solve -x = 2*c + l, -3*x - 4*c - 2 = -2*c for x.
2
Let k be 44/11*-1 + -1 + 9. Solve -5*q - 5*o = 50, -k = 5*q + o + 26 for q.
-5
Let u(f) = -4*f + 10*f - f - 6*f + 2. Let m be (-8)/(-2) + (-6)/3. Let r be u(m). Solve r = b - 5, 3 = -4*g - 5*b + 28 for g.
0
Let n = -44 + 53. Solve 3*j + 5 = k, -4*k + n = -3*j + 2*j for j.
-1
Suppose -h - 210 = 6*h. Let p = -16 - h. Solve -3*y + 5*w + 16 = -4*y, 0 = -5*y - 3*w - p for y.
-1
Let i = -124 + 127. Solve -2*q + 2 = 0, 7*x - q = 5*x - i for x.
-1
Let f = -19 + 54. Suppose o = 1, -h = h - o - f. Solve 3 = 5*d + h, -3*k - 5*d = 30 for k.
-5
Let a be (-6 - -7) + -1 + 3. Suppose -b = -x + 1 + a, x - 4 = 2*b. Solve -4*h = -b*y + 3*y - 10, 5*y + 18 = 2*h for h.
4
Let b(h) = -h**2 + 21*h - 55. Let k be b(17). Solve 4*m + 0*c - 1 = -c, 3*c = -2*m + k for m.
-1
Suppose 12 + 9 = -3*c. Let d(g) = g**3 + 8*g**2 + 6*g - 7. Let p be d(c). Suppose -b - 3*b + 20 = p. Solve 4*v - 3*z + 6*z = -6, -5*z - b = 5*v for v.
-3
Suppose 0 = -3*h + 4*v - 5*v, 4*v + 12 = 0. Solve -n = -5*a - 22 - h, -2*n - 4*a - 10 = 0 for n.
3
Let g be 3*(0 - -1) + 0. Suppose -g*c = -c - 24. Suppose 10*j = 7*j + c. Solve 0*r - 2*f - 28 = 4*r, 0 = -j*r + 3*f - 8 for r.
-5
Let l be ((2 - 2) + 1)/((-3)/(-111)). Let g = l + -35. Suppose 0 = -2*o - 2*o. Solve 2*k + 3*k = d, o = -g*d + 10 for k.
1
Suppose -5*u + 5*v = 0, 26*u = 24*u + 3*v - 4. Solve 7*y + 2*k = 4*y - 9, -5*k + 12 = -u*y for y.
-3
Suppose -4*v - v + 37 = 2*a, 4*a = -2*v + 34. Suppose -a*h - 3 = -15. Solve -5*m - 2*i + 24 = 0, h*i - 6 = m - 3*i for m.
4
Let n = 246 + -241. Solve -n*p = z, -3*z + p = -2*p for z.
0
Let n(i) = 22*i**3 + i**2 - 4*i + 1. Let h be n(1). Let x = -2 + 7. Solve x*z = -2*k + h, 0 = -2*k + z + 8 for k.
5
Let d = -113 - -117. Solve -2 = -4*i + 2*t, -d*t + 3*t - 3 = -4*i for i.
1
Suppose -5*r = -2*r + 60. Let g = r + 23. Suppose -4*m - 35 = -v, -7*m = -3*v - 3*m + 65. Solve -g*c - 8 = n, -v = 5*n - 4*c + 6 for n.
-5
Let p be 2/5 - 2/5. Suppose 5*c + 4*x - 67 = 2*x, 2*c - 3*x = 42. Solve 5*l - k + 7 + 0 = p, -3*l = 3*k + c for l.
-2
Let y = -53 - -56. Let z be y/(-2)*5*(-1 + -1). Solve 0 = 5*r - z, -3*o - o + 1 = -r for o.
1
Let s = 0 + 8. Suppose -26 = 2*y + 4*k, -3*y - 3*k - s = 16. Let p(u) = u + 3. Let c be p(y). Solve 4*q + 3*h = 7, c = -4*q + h + 1 + 2 for q.
1
Suppose -5*a + 35 = -0*a. Let h = a - 4. Suppose 4*q = -2*p + 4, -h*p + p + 1 = q. Solve -5 + 0 = -5*n + 4*z, p = -n + 3*z - 10 for n.
5
Let c(b) = 4*b**2 + 79*b + 63. Let p be c(-19). Solve 4*l = -l + 15, 2*l + p = -4*w for w.
-3
Suppose -32 = -160*x + 156*x. Solve -4*h = -2*m - 7*h - x, h = -2*m - 4 for m.
-1
Let d be ((-1)/(-3))/((-2)/(-24)). Let w be (d - 5) + 4/4. Solve 0 = 3*c + 4*q - 10, 0 = -2*c - w*c - 3*q + 7 for c.
2
Suppose -1 = 2*u + 1. Let d be (-1)/u - 1/(-1). Suppose 18*l = 21*l + 5*k - 32, 5*l = 2*k + 12. Solve 5*q = -d*y - 14, -5*q - l = 6 for y.
-2
Let i be 2/(-8) + (-245)/28. Let z = i - 0. Let h = z - -14. Solve 3*c - 4 = 2*l - h, -3*c + 1 = -4*l for c.
-1
Suppose 80 - 17 = 3*s. Let r be 0*1/(-2) + s. Let x be ((-12)/r)/(8/(-84)). Solve 0 = d + 2*d - a + 11, 2*d = -2*a + x for d.
-2
Let l(z) = z**3 - 7*z**2 + 6*z + 2. Let x be l(6). Let w be ((-8)/16*52/2)/(-1). Let n = w + -10. Solve -3*q + b + x + 3 = 0, -4*b = n*q + 20 for q.
0
Let k = -1936 + 1939. Solve t - 5*z + 16 = 0, k*t - 2 = -2*z + 1 for t.
-1
Let x(u) = u - 1 + 3*u - 2*u - 19. Let a be x(15). Solve 0 = -2*o + 4*v - a, -3*v - 2*v + 9 = o for o.
-1
Let n be (-78)/(-15)*(-20)/(-8). Suppose -2*h - h + 12 = -2*m, -5*h + m = -n. Solve -2*y + 1 = -3*v, 3*y + h*v + v + 6 = 0 for y.
-1
Let k(d) = d - 12. Let s = -26 - -41. Let a be k(s). Let u be 34 + -3 + (7 - a). Solve 5 = -q, -7*i + 2*i = 4*q + u for i.
-3
Let g be -4 - 1 - (-3 + 1). Let b = 1 - g. Let f = -2 + b. Solve -4*d