 r = -4*n - 12, -h = -t + n - 6 for t.
-1
Let h = -1 + 1. Let l be 1*h/3 + 0. Let z be (0 - l)*(2 - 1). Solve 5*i - 4*c + 10 + 15 = z, 0 = -2*c + 10 for i.
-1
Suppose -11*g = -g + 20. Let i be 9/g*(-20)/30. Solve 5*a = i*u - 8*u - 25, 2*a + u = -7 for a.
-2
Suppose 126*s + 60 = 122*s. Let v(t) = t**2 + 16*t + 20. Let j be v(s). Solve 4*l - 2*f = 0, 4*l + j*f + 8 = -20 for l.
-2
Let n(v) = 2 - 9*v + v**2 - v + 8*v - 10. Let m = 5 - 1. Let q be n(m). Solve -2*g = 4*y - 8, q = 4*y + 4*g - 0*g for y.
4
Let q(z) = z - 3. Let d be q(-4). Let m(t) = -t**2 - 7*t + 6. Let i be m(d). Let a = i + -6. Solve -2 = -4*o + 2*u, a*u - 3*u - 3 = -o for o.
0
Let h = 56 + -54. Suppose 1 = h*b - 7. Solve d - 20 = 4*j - 0, 12 = -d - b*j for d.
4
Let h be (-2059)/(-426) + (-10)/12. Suppose 3*r = s + 41, -2*r + 5*s = r - 61. Suppose -2*i + r = i. Solve -5*w - h*a = -5, 5*w + i*a = 9*a + 50 for w.
5
Let f be (-10)/(4/(-8) - 0). Suppose -4*u + 3*u = f. Let o be -1 + (0 - 1)*u. Solve -o = -3*l + 4*b + 12, 0 = -l - b + 1 for l.
5
Let n be (-3 + 0/2)*1. Let v be (-2)/(-5) + n + (-99)/(-15). Solve -v*i = -3*o - 16, -5*i - o + 0*o = -1 for i.
1
Let r(h) = -h + 10. Let c be r(7). Suppose -4*a + c*a + 15 = 0. Let l be 3/(-5) - (-69)/a. Solve l*b = 2*k - 0*b - 10, -5*k - 2*b = 35 for k.
-5
Suppose 3*s + 17 = 4*i - 82, 4*s = -2*i + 44. Let v = i - 19. Suppose -v*c + x + 4 = -0*x, -4*c + 2*x = -8. Solve 0 = z + l + 6, 5*z + 0*z + l + 18 = c for z.
-3
Let z(g) = -g**2 - 13*g - 22. Let x be z(-11). Solve -5*m - 2 = -4*m + 2*r, -3*r - 6 = x for m.
2
Suppose 52*j - 49*j = 57. Suppose 17*k + 16 = j*k. Solve 0 = 4*r - 3*x + 7, -3*r + 4*r - 4*x - k = 0 for r.
-4
Let g = -85 + 106. Solve -g = 5*v + o, 0*o - 19 = 3*v - o for v.
-5
Let j be ((-9)/(-6)*-1)/((-2)/4). Let t(z) = -z**3 + 2*z**2 + 5*z - 4. Let b be t(j). Solve 2*c + 5 = -3*m, 0 = b*c - 4*m - 2 - 0 for c.
-1
Let f(j) = -j + 33. Let n be f(18). Solve -3*y - 2*h = -4*h - 22, n = -3*h for y.
4
Let h(g) = -3*g**3 + 2*g**2 + 3*g + 1. Let r be h(-1). Suppose -3*n + 2 = -2*j, -r*j = 5 - 2. Solve 2*k + 4*u + 18 = 0, n*u - 12 = -k + 5*u for k.
-3
Suppose -4*a - 3*r = -2*r - 170, -172 = -4*a - 2*r. Let y = -41 + a. Solve 4*n = -2*m - 14, -y = 3*n + 2*n - 3*m for n.
-2
Let c(x) = -x + 16. Let a(w) = -w + 2. Let i be a(-8). Let r = i + 6. Let g be c(r). Solve g = -5*s - 3*n - 9, 5*s = 2*s + 4*n + 12 for s.
0
Let q be 15/(-45) + (-93)/(-9). Solve -1 = p + 2*f + 1, 5*p + 2*f + q = 0 for p.
-2
Let h be (-4)/(-6) - (-26)/6. Let d be -59*(6/(-9))/(16/24). Let g = 64 - d. Solve -g*f - 28 = o, -f = -h*f - 20 for o.
-3
Let u(z) = -z**2 + 8*z - 2. Let v be u(7). Suppose -11*y = 3 - 25. Suppose y = 5*q - 33. Solve q*x - 5*l - v = 2*x, 5*x - 2*l + 10 = 0 for x.
-4
Suppose -158 = -2*y - 4*f, y + 0*y - 58 = 5*f. Let x = y + -68. Solve -3*b = 3*n + 6, 3*n - 2 = 4*n - x*b for n.
-2
Suppose -11*z - 8 = -2*k - 13*z, 2*z + 10 = k. Solve i = -x + k*x + 3, -i + 3 = 0 for x.
0
Let y = -3 - -8. Let r be (-24)/(-12) - (1 - (11 + 0)). Suppose -3*g - 18 = -r*g. Solve 4*v + g*o + 5 + 3 = 0, 20 = -y*o for v.
0
Suppose 3 = -2*l - 3*j, 7 = 3*l + 4*j + 10. Solve 0 = l*i + a - 2, -5*i = 3*a - 16 + 10 for i.
0
Suppose 4*d + 268 = -308. Let t = 100 + d. Let z be (t/(-55))/((-2)/(-5)). Solve -j - 3*o + 19 = 0, z*o = -4*j - 2*o + 36 for j.
4
Suppose -4*l = 2*j - 16, -20*j = -18*j. Solve -5*p - 5 = -l*y, 4*y + p + 30 = -p for y.
-5
Suppose -3*o - 384 = -27*o. Suppose 0*m = 2*m - 26. Let c = o - m. Solve -c*r = -3*y + r - 4, -2*y = -r + 1 for y.
0
Suppose -2*n = -4*f - 12, -3*f + 4*n = 5 + 4. Let j be 12/3 - (f + 0 + 2). Solve -j*z - 20 = -0*z - 3*m, 5*m = z + 26 for z.
-1
Let x(v) = v**3 - 6*v**2 + 2*v - 7. Let o be x(6). Let c be -7 - 0*3/9. Let z = c + 10. Solve o*m + 5*d = 5, z*d = 1 - 7 for m.
3
Let c(y) = -y**3 + 23*y**2 - y + 28. Let v be c(23). Suppose 4*t - 32 = -d + 4*d, v*d = 2*t - 30. Solve 5*o = -0 + t, -5*j + 26 = o for j.
5
Let q be 30/(-4)*(-4)/3. Let z = q - 5. Let r = -444 + 444. Solve r = -2*k - 3*k - 3*t, -t = z*k for k.
0
Let j(w) = w**3 + 7*w**2 + 4*w - 14. Let q be j(-6). Let t be (15 - 18)*q/3. Let v = -2 + 3. Solve -2*y - 5*l + v = 0, 5*l = t*y - 6 - 5 for y.
3
Let q = -239 - -249. Solve s - q = -3*u - 3, 0 = 3*s - u + 19 for s.
-5
Suppose 376*m - 367*m - 27 = 0. Solve -x + 2*d = -2 + 5, 3*d - m = 2*x for x.
3
Let q(m) = 2*m + 33. Let l be q(-15). Solve 3*n - l = 4*h - 2, 0 = -3*h - 5*n - 8 for h.
-1
Let l(t) = -t**2 - 10*t - 22. Let v be l(-6). Solve -28 = -3*i - 4*f, 2*i = -v*f + 4*f for i.
4
Let g(a) = -10*a - 17. Suppose -4*x = -2*i + 6, 4*i = -5*x - 29 + 2. Let w be g(i). Solve -4*l + 3 + w = -r, -l + 11 = -2*r for r.
-4
Let h = 32 - 24. Suppose 16 = 3*s + x, h*s = 4*s + x + 19. Let c = 9 - 5. Solve -3*u = -5*t - 7, -c*u - u - s*t = 15 for u.
-1
Let x(u) = u**2 - 6*u - 1. Let m be x(7). Let l be 3/(-2)*(-8)/m. Solve -1 = l*b - t, -t - 1 = -b - 2*b for b.
2
Let d = -8 + 10. Suppose 2*m - 40 = -3*c, -d*m - 81 = -7*m + 2*c. Let r = m + -13. Solve r*o = z + 4, -5*z - 1 = -z - o for z.
0
Let n be (-1)/(9/12)*-63. Suppose -4*z - n = 2*z. Let s = -12 - z. Solve -4*j - s = -u, -u + 3 = -j + 4 for j.
-1
Let l(y) = 6*y**3 - 65*y**2 - 10*y - 8. Let u be l(11). Suppose 5*k = -m + 14, -4*m - 4*k + 18 = -3*k. Solve 0 = -h - m*o + 4, 3*o + 3 = -u*h - 3 for h.
-4
Let x(a) = 2*a - 35. Let o be x(15). Let h be 2/(((-20)/8)/o). Solve 0 = h*w - 2*d - 4, 2 = 2*w - 5*d - 0*d for w.
1
Let f(m) = 2*m**2 + 8*m - 7. Let l = 52 - 57. Let q be f(l). Solve 4*u - q*u = -4*b + 22, -3*u - 5*b + 31 = 0 for u.
2
Suppose -x = -4*k - 20, 0*x + 2*k = x - 20. Let q(r) = -r**3 - 6*r**2 + 3*r - 24. Let j be q(-7). Solve -3*n = -p + 3 + 2, -3*n - j*p = -x for n.
0
Suppose -4*l + 0 + 12 = 0. Suppose 0 = -7*p - 2608 + 2622. Solve l*t + 2 = 3*h - 4, -12 = p*h + 2*t for h.
-2
Suppose -2*b + 219 = 199. Solve 3*x = 5*c - 6 - 1, 2*x - b = -4*c for x.
1
Let c be (6 - 3 - -13)/2. Let j be (c + -2)*6/18. Suppose 3*y - j = 22. Solve 2*r - 1 = 2*t + 7, 0 = 3*t + r - y for t.
1
Let r = 386 + -382. Solve 4*s - 8 = -r*o, 3*s + 4 = 2*s + 5*o for s.
1
Let r be 68/204 - (5/3)/(-1). Solve r*i - 3*a - 11 = 0, 4*i = -5*a + 3*a + 14 for i.
4
Let f = 837 - 837. Solve f = -2*t - 5*w + 33, 0 = -t - t - w + 13 for t.
4
Let h = 2505 - 2503. Solve -r - 5*c = -6*c + 9, -28 = h*r - 4*c for r.
-4
Suppose -4*n + 3*a + 92 = 0, 5*n = n + 5*a + 100. Solve -l + 4 = u, 12*l - 3*u = 7*l + n for l.
4
Let v(y) = y**2 - 14*y + 29. Let r be v(12). Solve -j - r = 4*w - 7, 5*j - 10 = -2*w for j.
2
Let y be (75/(-10))/15*-8. Solve i - 2*g = -4*i + 7, -y*g + 31 = 5*i for i.
3
Let c(p) = -p**3 - 15*p**2 - 7*p + 34. Let u be c(-14). Let g = 69 + u. Solve q = -g*o + 12, 3*q - 5*q = -4 for o.
2
Suppose 0 = -0*w - w. Suppose 3*y + 39 = 5*i, 2*i + 3*y + y = w. Solve -3*m - 3*n + 21 = -i*n, 0 = 3*m - 2*n - 17 for m.
3
Suppose w = -6*w - 189. Let m be 3/(w/(-45)) + 1 + -4. Let p(l) = 2*l**2 - 8*l + 5. Let c be p(5). Solve 3*d = m*r - 23, 6*r - c = r - d for r.
4
Let r(s) = 2*s + 28. Let w be r(-12). Suppose -5*x - 1 = -6, -z = -w*x - 21. Let q be 10/z + (-252)/(-20). Solve 3*l = -l - k + q, 4*l - 4*k + 12 = 0 for l.
2
Let l be 72/12*3/6. Solve 0*q + 27 = -5*t - l*q, q + 16 = -4*t for t.
-3
Let r be (-5)/(-1) + -1 + 5. Let h(u) = -2*u + r - 3*u + 10*u + u**2. Let o be h(-4). Solve 0 = -o*v - 15, -3*m = -0*v + v for m.
1
Let b be (-2 - -1)*9 - -11. Solve 4*h + 5*o - 9 = 0, -4*h - h = -b*o - 3 for h.
1
Let d(j) = -2*j - 8. Let b be d(-6). Solve u = -2*s + 7, u = -3*u - b for s.
4
Let s be 85/20 + -4 - (-33)/12. Solve -5*h - u = 13, -u - u = -s*h for h.
-2
Let k be -4 - 0 - (-5)/(-25)*5. Let l be 10/(-4)*(-12)/(-30)*k. Solve 0 = l*w - 2*z + 24, 4*w + z + 0*z = -14 for w.
-4
Let d be (1 + 10)*(-5 + 6). Let h be d/((8/4)/(-2)). Let f = h + 13. Solve -16 = f*j + 5*n, -4 + 0 = n for j.
2
Let o(n) = 3*n + 43. Let y be o(-13). Solve 3*x + 19 = -4*w - 1, y*w - 4*x = -20 for w.
-5
Suppose 0 = -4*x + 1 + 7, 4*z + 8 = 4*x. Solve 5*f - 5*w + 10 = z, 3*f = 2*f - w + 2 for f.
0
Let i be (-36)/(-15) - (-4)/(-10). Suppose i*q - 4 = 2. Let t = 540 - 537. Solve -4*h - u - q*u = 0, 4*u = t*h + 21 for h.
-3
Let i = -7 + 11. Suppose -2*f + 3*f = 23. Suppose 2*k = -2*q - 2*q + 2, 0 = -5*k - q + f. Solve 4*c = 3*r - k + 4, 2*c = i for r.
3
Let t be (-16)/5*-15