e -1 = -i - v*k, 0 = i + 4*k - 0 - 1 for i.
1
Let x = -28 - -29. Suppose -4*h + 24 = 2*p, -2*h = -2*p - h - x. Solve 2*n + f = 9, -p = -5*n + 3*f + 4 for n.
3
Suppose -14 = -5*o + 2*z, -z + 6*z = 4*o - 18. Let x = 1919 + -1902. Solve 4*s = -o*f + 6, x = 3*s + 5*f - f for s.
-1
Suppose 0 = b - 0*b - 6. Let q be 2*b/(36/15). Suppose 1 = 3*u + 2*s + 3, -q*u + 22 = -3*s. Solve -2*z - u*y = y - 25, -3*z - 4*y = -35 for z.
5
Let l = 53 - 34. Let f(j) = -j - 5. Let o(k) = 3. Let w(z) = 3*f(z) + 5*o(z). Let n be w(-5). Solve l = -3*d - 4*u, -3*d - 4*u + u - n = 0 for d.
-1
Suppose -3*o + 14 = 3*c - c, 2*c - 4*o = 0. Let d = -5 - -1. Let z = d + c. Solve x + z*x - 15 = -3*j, -2*j = x - 10 for j.
5
Let m be 8 - 4*30/24. Solve 0*o - m*s - 10 = -o, s = 2*o for o.
-2
Suppose -44 + 419 = 5*j. Suppose 2*s = -3*s + j. Suppose 2*q - 5*q = -s. Solve 2*a = 2*m - 16, 4*a - 3 - q = -4*m for m.
5
Suppose 4*b - 28 = 3*z, 0 = 5*z - 0*z + 20. Solve b*f + 7 = s, 5*f + 2 = s - 8 for s.
-5
Let j(r) = -r**3 + 3*r**2 + 5*r + 2. Let s be j(3). Solve -5*z + 4*x = -s, 4*x + 12 = -0*x for z.
1
Suppose -2*g - 8 = 0, 0 = -n + 5*g + 12 + 1. Let s = 37 + n. Solve -s = -5*l - p, 0 = -0*l + 3*l - 2*p - 5 for l.
5
Let o be (-17)/((-425)/(-15))*20/(-6). Solve 3 = -3*g + 2*a, o*g - 2 = -4*a + 12 for g.
1
Suppose 5*z = -1 - 29. Let s be 253/55 + z/10. Solve 5*i - l = -s*l + 37, 4*i + 4*l - 36 = 0 for i.
5
Let t(l) = 24*l**3 + l**2 - l - 1. Let i be t(1). Solve b = -4*s + 6 - 19, -5*b + 2*s = -i for b.
3
Let d(f) = -f**3 + 23*f**2 - 59*f + 10. Let p be d(20). Solve -9 = 3*k - 3*h + 6*h, -4*k - p = -5*h for k.
-5
Suppose -3*s + 270 = -48. Let j = s + -74. Solve -2*x - z = -6*x + 24, -4*x + 3*z + j = 0 for x.
5
Suppose -n - 4 = -w, 2*w + 5*n = n + 14. Let b be ((-2)/(-4))/(2/12). Suppose i + i = b*x, 2*i = 5*x - 4. Solve 3*s = -a + i*a + 2, 0 = -s + w*a + 5 for s.
0
Let c = 827 - 823. Solve d + 12 = c*r, d + 4*d = -r + 3 for d.
0
Suppose 144 = -37*x + 53*x. Solve -5*h = -3*b - 2, -3*h + 3*b + x = 3 for h.
-2
Let c(s) = -3*s + 23. Let p(z) = -6*z + 47. Let b(d) = 5*c(d) - 2*p(d). Let y be b(5). Suppose -6 = -4*m + 2*m. Solve t + m*x = 2*x + 1, -2*x + y = 0 for t.
-2
Suppose -5*x - 3*c = -45, 0*x - 4*c = -3*x + 27. Suppose -6*f = -3*f - x. Solve 18 = s + 4*s - p, -f*p - 21 = -4*s for s.
3
Let h be 2/(-3)*(-4)/((-8)/(-18)). Solve 0 = 5*n - 15, -v + h*v + n + 22 = 0 for v.
-5
Suppose -2*t + 2 = -6. Suppose 16 = -k + t*m, -5*k + 2*m + 6 - 14 = 0. Suppose 5*b - 29 + 9 = k. Solve 0 = 3*c + b*q + q + 2, c = -5*q + 6 for c.
-4
Let x = 19 - 19. Suppose x = -g + 5*g + 20. Let i = 9 + g. Solve a = i*a + 5*d - 12, 0 = -5*a - 3*d + 4 for a.
-1
Suppose -24 = z + 2*z. Let k = 3 + z. Let i be (4 + 1)*(-3)/k. Solve 4*a + 5 = 5*o, -31 + i = o + 5*a for o.
-3
Let a be (-6)/2 - 1*11. Let s be (-4)/a + 192/14. Suppose 3*l = 4*w + 63, s = 3*l + w - 34. Solve -2*v - 2 = -2*q, 0*q + 5*q - l = -v for q.
3
Let d be 38/3 + (-24)/36 - 2. Let n = 4 - 1. Suppose -3*o = -l + n*l + 5, 20 = l - 3*o. Solve 4*h - 5*u - d = -1, l*h - 2*u + 10 = 0 for h.
-4
Suppose v - 3*c - 15 = 0, -14 + 2 = 3*c. Solve y + 3 = 0, -12 = -3*a + 2*y + v for a.
3
Let u(d) = -d**3 - 31*d**2 - 57*d + 42. Let h be u(-29). Solve 4*w - 3*z = h - 12, 4*w = -z + 21 for w.
4
Let d(y) = -3*y**2 - 24*y. Let c be d(-8). Solve -4 = -2*k, c = 2*j - 5*j + 2*k + 2 for j.
2
Let t(r) = 3*r - 3. Let m be t(2). Suppose 4*n + j - 3 = 0, 4 = -4*n - 2*j + 10. Solve 3*x + n*x - m = -3*u, -4*x + u = 6 for x.
-1
Suppose 1 - 16 = -5*y. Suppose -2*s + 7 - 9 = -4*u, y*s = 4*u + 3. Solve s*l - 2 - 14 = 2*q, 3*q + 13 = 2*l for l.
2
Let c(k) = 24*k + 1058. Let q be c(-44). Solve 4 = -3*p + 2*f, -q*f + 6 = -2*p + 2 for p.
0
Let m = -797 + 802. Solve m*c + 5 = -3*x, 0*c + 10 = 5*c for x.
-5
Suppose 4*i - 13 = -4*n + 19, -4*i - 3*n = -31. Let f = -7 - -12. Solve -2*j + i*j = -2*m, f*m = 0 for j.
0
Let z = 193 + -190. Solve z*x = 3*j - 6, -j + 9 - 1 = 5*x for j.
3
Suppose 0 = 13*l - 12*l + 32. Let r be (10/(-25) - l/5) + 3. Solve 4*t = -v + r + 7, 3*t - 2*v = 23 for t.
5
Let r be (6/(-8))/1 + (-33)/(-12). Suppose -4*n + r = -6. Solve 3*a - 24 = 3*h, -n*h - 1 = 2*a + 3 for h.
-5
Let j(s) = -2*s**2 + 12*s + 5. Let y be j(5). Let x = 26 - 22. Solve 0 = r + 5*h - y, -2*r + 0*r + 6 = x*h for r.
-5
Let f(j) = -2*j**3 - 16*j**2 - 10*j + 31. Let q be f(-7). Solve -q*d - 5*r = -35, 3*d - 4*d + 3*r = 7 for d.
5
Let a = -286 + 291. Solve 8 = -g + 3*o - 0*o, 0 = -5*g + a*o - 30 for g.
-5
Let i(h) = -h**2 - 9*h - 10. Let b be i(-7). Suppose -16 = -5*z + b. Let w be (1 - 1)/(2 - 5). Solve w = 2*q - z*g + 22, 5 = q - g + 3*g for q.
-3
Let s(p) = -2 + 8*p**2 - 2*p + 7*p**2 + 10*p**2. Let m be s(-1). Let v = -20 + m. Solve 2*n + 15 = -n - v*x, 3*n + x + 15 = 0 for n.
-5
Suppose 3*t = -2*c + t - 156, 0 = -c + 2*t - 78. Let k be (-2)/(-13) - (-12)/c. Solve 4*p - 15 = i + 9, k = -2*p + 10 for i.
-4
Let a = 4447 + -4427. Suppose 0 = -3*s - s + 20. Solve s*b + a = r, -2*b - 3*b - 15 = -2*r for r.
-5
Let o be 89 - (2 + 4 + -8). Suppose -2*c - 5*q = -39, 4*c - 3*q + 0*q = o. Solve 5*u - c = -d, 0 = 3*d - 8*d - 4*u + 26 for d.
2
Let a = -322 + 326. Solve 5*p + x = 16, 4*x + 8 = -0*p + a*p for p.
3
Suppose 10 = z - 3*l - 8, 4*l - 12 = 0. Let g = 47 - z. Solve -2 = -j + 2*r - 16, -4*r = -g for j.
-4
Let j be ((-2)/(-1) - 1) + (-10 - -12). Suppose 0 = -z - j*n - 4, -31 = -5*z - 2*n - 12. Solve 0 = -u + 4*q + 11, -5 = -z*u + q + 12 for u.
3
Let b(m) = -6*m**2 + 10*m - 16. Let v be b(4). Let h = v + 77. Let p(u) = u**2 - 7*u + 3. Let r be p(7). Solve h*j - l = 12, r*l - 1 = 4*j - 4 for j.
3
Let w(v) = 2*v**2 + 9*v. Let m be w(-5). Solve 2*t + 7 = -d, 20 = d - m*d for t.
-1
Let z = 36 + -37. Let g be -3 + (52 - 1) + z + 3. Solve 4*l - 5 = -5*r, 4*r - 5*l - g = -r for r.
5
Let p(r) = r**2 + 6*r + 12. Let s be p(-3). Solve -s*z = -2*v - 14 + 1, 3*z = -5*v + 20 for z.
5
Let k(j) = -21*j - 88. Let o be k(-5). Solve 2*z - 3*t = -4 + 20, -3*z + t + o = 0 for z.
5
Suppose 17*n = 30*n - 52. Solve -10 = -n*z - 2*o, -5*o = -0*o + 15 for z.
4
Let o(n) = n**2 + 17*n - 14. Suppose 5*y + 5*h = -110, 4*y = -0*y + 2*h - 64. Let m be o(y). Solve u - 6 = -c, -4*c - m*u + 5*u = -9 for c.
3
Let q(r) = -r**2 + 29*r - 25. Let x be q(28). Solve -3 = 5*f + 3*p - 5*p, x*f + 9 = 3*p for f.
1
Let v = -12 + 12. Suppose -2*w - 19 + 3 = v. Let o be 108/7 + w/(-14). Solve -5*f - 12 = 2*s, o = s - 0*f - 3*f for s.
4
Let l(b) = b - 1. Let k be l(-11). Let j be ((-4)/(-8))/(1/k). Let o = -3 - j. Solve 0 = t - 2*q + 1, 4*q = t - o + 8 for t.
3
Let f = -2054 + 2080. Solve -2*a = 5*o - f, 3*o - 12*a - 15 = -13*a for o.
4
Let t = 11 + -9. Suppose t*a + 12 = -u + 6*a, 5*u = -a + 3. Solve 4*x + 2*g = u, 2*g - 12 = -4*x + 6*g for x.
1
Let y(h) = h**2 - 3*h - 26. Suppose -2*i + 5 = j - 4, 0 = -5*i - 3*j + 20. Let n be y(i). Solve -t + n = -2, -t = -3*k + 5 for k.
3
Let u(i) = -3*i**2 - 14*i - 26. Let s(l) = -4*l**2 - 14*l - 26. Let z(a) = -2*s(a) + 3*u(a). Let q be z(-10). Solve 10 = 5*f, 3*f - 2 = 5*t + q for t.
-2
Let w be 68/(-17) + (9 - -1). Solve 0 = -0*b + 4*b - 3*p + 10, -4*p = 2*b - w for b.
-1
Let a(x) = x**2 - 2*x - 5. Let p be a(-2). Solve p*f + 2*i + 0 = 3, 9 = f - 2*i for f.
3
Suppose -3*c + 12 = 4*s - 8, s + 1 = 0. Let t = c - 7. Let f be 1/(t - 1 - -1). Solve -p + r + f - 4 = 0, 5*r - 29 = -2*p for p.
2
Let b = -282 - -284. Solve -b*h - 3*u - 8 = 0, -5*h + 2*u + 15 + 3 = 0 for h.
2
Let v = -3 - -8. Suppose 3 - v = -l. Let n be 60/18*27/5. Solve w = d - 4*w + n, l*d - 3*w + 8 = 0 for d.
2
Let v be ((-268)/670)/(((-12)/310)/3). Solve 4*l + l + 4*k + v = 0, -l - 2*k - 11 = 0 for l.
-3
Let x = 338 - 313. Solve -h + 4*h + 24 = -4*c, -x = 3*c + 4*h for c.
-3
Let w be (-98)/(-12) + ((-28)/24)/7. Solve 2*c + 0*c - o - 4 = 0, 2*o = -w for c.
0
Let h(x) = 24*x - 189. Let u be h(8). Solve 5*j = j - c - 3, -u*j + 3*c = -9 for j.
0
Let b(i) = -i**3 - 5*i**2 + 10*i + 24. Let t be b(-6). Solve 1 = -m + 2*l, 2*m - 4*m + 2*l = t for m.
1
Let z(g) = g**2 + 12*g + 8. Let x be z(-10). Let h(f) = -2*f**2 - 24*f. Let t be h(x). Solve -4*u + 5*o - 15 = -3*u, t = 3*o - 6 for u.
-5
Let l = 85 + -81. Suppose -3*v + l*g = -94 + 5, 0 = v - g - 31. Solve -3*c = 2*k + 2, 5*c - 2*k = k - v for c.
-4
Suppose -10 - 12 = 2*z + 4*v, 0 = z - 2*v - 1. Let s be (-1)/(z/