5*c + 19 = 0 for i.
2
Let g(s) = -s**2 + s + 3. Let j be g(0). Suppose 9 = j*h + 4*n, n = 5*n. Solve 0 = l - 3*o - 2, -h*l + 7*l = -5*o - 26 for l.
-4
Suppose -d = -8 + 1. Let u be (-1)/2 + 14/4. Let k(b) = -13*b**3 - 6*b**2 + 10*b + 12. Let l be k(-1). Solve l*y - 4*y + 17 = -4*o, 0 = 4*o + u*y + d for o.
2
Suppose 2*p + 23 + 25 = 4*r, 0 = -3*r - 2*p + 36. Solve 2*l + 17 = -5*x, -3*x - 4*l = -l + r for x.
-3
Let v(i) = -i**3 - 3*i**2 - 3*i + 1. Let z be v(-1). Solve -p - z*h = -7, h - 1 = 4 for p.
-3
Let b(n) = -n**2 + 2*n + 1. Let g be b(1). Suppose 0 = -11*w + 13*w - 2, -2*q + 11 = w. Let y = 13 + -8. Solve -g*a - 2*l = -6, -q + 2 = -a + y*l for a.
3
Suppose b - 11 = -177. Let y = 168 + b. Solve 4*t = 3*j - 6, 4*j - 2 - 6 = -y*t for j.
2
Let o(c) = c + 9. Let a be o(-7). Suppose -2*z - a*p = 0, -5*p = -5*z - p. Suppose 0*n + 2*n = z. Solve -2*f + b - 13 = n, 2*f - 4*b = 7*f for f.
-4
Let o = 58 + -49. Let x be 14/6 - (3 + (-33)/o). Solve 3*p + 6*u - 2*u = -2, x*u - 3 = 0 for p.
-2
Let f be -3 + 1 - 1*-30. Let y = 37 - f. Solve 5*m + n + y + 3 = 0, 5*n = m - 8 for m.
-2
Let d be ((-10)/40)/((-1)/68). Suppose 5*x = 0, c - 39 = 4*c - 4*x. Let b = d - c. Solve 4*p - 26 = 2*a, -3*a - 1 - b = -4*p for a.
-5
Let y = -64 - -70. Suppose 4*s - s = y. Solve -4*o + 3*i = -9, -s*i + 17 = 2*o + 3*o for o.
3
Suppose 504 = 67*x - 434. Solve 3*s + 25 = -b - 3*b, -2*s + 5*b = -x for s.
-3
Let o = 28 + -49. Let f = o - -26. Suppose 5*l = -f*g, -5*g = -l + 3*l. Solve 0 = 3*b + 4*x - 6, l = -2*b + 3*x - 6 - 7 for b.
-2
Let r = -28 - -127. Let q = r - 96. Solve -3*n + 4 = n - 4*v, 1 = -5*n + q*v for n.
-2
Suppose 0*d - g + 14 = 3*d, -29 = -3*d - 4*g. Suppose 0 = -d*w - 49 - 59. Let o = w + 61. Solve l = -z - 7, -z + 6*z + 3*l + o = 0 for z.
-2
Suppose 5*n + 6 = -4*f, -2*n + 3*f = -4 + 11. Let w be (1 - 1*n) + 2. Let z(g) = 2*g + 33. Let i be z(-15). Solve i*u + 5*s - 17 = 0, -u + w*s = 5 + 16 for u.
-1
Let f be 0/(-1)*((-20)/8 + 2). Let r = 5 + 0. Suppose s = -f + r. Solve 5*q + 4*a - 10 = a, 5*q + s*a = 0 for q.
5
Let g = 33 + -23. Let o(u) = -u + 12. Let v be o(g). Solve v = -a + 5*s, -a + 6*a + s = 16 for a.
3
Let f = -410 + 413. Solve -f*d = 0, 3*r = 2*d + 2 + 4 for r.
2
Suppose z + 4 = 9. Let j = z - 3. Let g(i) = -i**3 + 2*i**2 + i + 2. Let k be g(0). Solve p = k*o, -o - j = -3*o for p.
2
Suppose -157*v = 1416 - 3614. Solve -i + 9 = -2*z - 2*i, 0 = 3*z - 4*i - v for z.
-2
Let b be 13 + -7 + (-9)/3. Solve 2 = 3*c + 2*h, 2*c = -3*h + 11 - b for c.
-2
Suppose -3*g + 4*j = 6, g + 13 = j + 4*j. Let u(v) = -4 + 149*v - 81*v - 72*v. Let p be u(-3). Solve -g*z - 4*w - p = 0, z + w = -0*w - 1 for z.
2
Let h = 0 + 3. Suppose 8*v = -5*v + 65. Solve 5*y + 34 = -h*s, v*s + 2*y + 19 = 2*s for s.
-3
Let w = -103 + 157. Suppose 3*a - 21 = w. Solve -26 = 5*i - 3*o, -2*i + 4*o - a = -9 for i.
-4
Suppose s - 40 = -3*s. Suppose 10*g - s = 5*g. Let a = -1721 + 1724. Solve 0 = g*q - 8, x + a*q - 18 = -2*x for x.
2
Let g(s) = 21*s - 180. Let i be g(10). Solve 3*b + i = 6*b - 3*j, -5*j - 20 = b for b.
5
Let c(z) = -z**2 + 7*z + 4. Let f be c(3). Suppose -8*t = -6*t - f. Solve s + t = 2*q - s, 0 = 2*s + 4 for q.
2
Let n(j) = -23*j**2 - 43*j + 6. Let w be n(-2). Solve -10 = 5*l - 2*o + 2, w = -l - 5*o + 3 for l.
-2
Let a(c) = c**3 + 5*c**2 - 3*c - 3. Let p be a(-5). Suppose -1 = -0*b + b, 5*s - 28 = 3*b. Solve -2*v - 2 = -4*x - 10, s*v = 2*x + p for v.
2
Let h = 371 - 360. Suppose -8 = -5*z + 2. Suppose 3*v - h = q, v + 6*q - z*q = -5. Solve -g + 3 = -2*j - 0*g, 4*j - 5*g = v for j.
-3
Let x = 194 - 75. Let l = -116 + x. Solve -k - 2*m + 12 = 0, -l*m + 25 = 2*m for k.
2
Let o(f) = -3*f**3 + 2*f**2 + f. Let c be o(-1). Let r = -13580 - -13582. Solve -2*b = r*z - 6*z + 10, 19 = c*z + b for z.
4
Let x be (-7232)/(-88) + (-4)/22. Let z = 108 - x. Solve 4*b - 5*r + 14 = -14, -3*b + 5*r - z = 0 for b.
-2
Suppose 11*n - 6*n - 71 = -4*o, -3*n + 49 = 4*o. Solve 5*z - l + n = 0, 2*l + 8 = -z - 3 for z.
-3
Suppose 2*j = -2*n + 12, -j = 1 - 6. Let p = 2 - 0. Suppose -q = -p*q + 3. Solve -4*v = 0, -3*v + n = q*b - 2*b for b.
1
Let i(y) = 2*y + 19. Let s be i(-7). Suppose 3 = 12*m - 21. Solve -4*q - 12 = 0, -m*r - 5*q + s = -7*r for r.
-4
Let v(t) = t**2 + 3*t - 95. Let h be v(0). Let w be (8/(-5))/(38/h). Solve 19 = -w*i - p, p + 12 = -2*i + 1 for i.
-4
Let t(l) = l**3 - 6*l**2 + 8*l + 1. Let z be t(2). Solve -4*n + k = -z, -2 - 7 = 3*n - 4*k for n.
1
Suppose 15*w - 8*w - 567 = 0. Let r = 81 - w. Solve -2*o = 2*z + 8, -5 = -z - r*z + 2*o for z.
-1
Let z(a) = a + 3. Let u be z(4). Let c = -5 - -15. Let v be c + -3 - (-4 + 6). Solve -l - u = -0*l - 3*w, -2*l - v*w = -8 for l.
-1
Let q = -22 + -8. Let g = q - -34. Solve g*p = -20, d + 3*d + 17 = -p for d.
-3
Suppose 54*w = 59*w - 10. Solve 0*d - d = 3*h + 7, -5*d - 1 = -w*h for h.
-2
Let o = -4 + 51. Let r = o + -32. Solve -x + 15 = 4*i, -3*x + x - 5*i = -r for x.
-5
Let a = 0 - -7. Suppose -a = 2*q + 1. Let b be -2*(1 + 1)/q. Solve 5*z - 4*z = 4*i + 5, 3*i = -4*z + b for i.
-1
Suppose -3*z + 4*r = -29, 4*z + 5*r = 4*r + 45. Let j = z - 8. Let n be (21/6)/(j/6). Solve o + 3*g - 12 = 0, 3*g = 2*o - n*o + 24 for o.
3
Let z = 1039 - 1039. Solve 2*i = -4*h + 8, z*i + 5*i + 4*h + 4 = 0 for i.
-4
Suppose -4*t - 7*z - 8 = -2*z, 35 = 5*t - 5*z. Solve -k + t = 2*k - 2*v, -4*k = -5*v + 3 for k.
3
Let a = -363 - -273. Let k be (-27)/6 - 1/(-2). Let z be ((-2)/k)/((-9)/a). Solve 3*g = z*w - 14, 8 = g + w + 2 for g.
2
Let y = -197 - -202. Solve 2*v = y*g + 6 + 10, -v = 3*g + 3 for g.
-2
Let k = 687 - 685. Let m(i) = -i**2 - i + 2*i**2 + 0*i**2. Let h be m(k). Solve -g = 2*w - 6*g - 19, 0 = h*w - g - 7 for w.
2
Suppose 0 = 5*n + 1 - 11. Suppose 0 = -n*d + 6 - 2. Suppose 210*a = 192*a + 54. Solve a*v + b - 7 = 2*v, -b = -d for v.
5
Let u be (15/4)/(34/(-8) + 5). Solve -u*p - 26 = 5*q + 9, -23 = 5*q + 2*p for q.
-3
Suppose 1515*v - 1521*v + 30 = 0. Solve 3*u + 4*y = 3, -v*u - 4*y + 22 = -3*y for u.
5
Let i = -19 + -1. Let z = i - -38. Suppose -4*d = -5*r - 8, 0*r - 3*d + 6 = 2*r. Solve z = 4*g + 2*b - r*b, 4*g = -5*b + 21 for g.
4
Let s be (-1 - (-14 - -1))*1. Let a = 17 - s. Solve -2*u + 4*b = -4*u - 10, -a*u + 2*b + 11 = 0 for u.
1
Let z = 53 - 53. Suppose u + 2 - 5 = z. Solve 4*q + 2 = -u*v, 0*q + 3*v + 4 = -2*q for q.
1
Let m(u) = 1. Let x(y) = -y**2 + 16*y - 31. Let p(k) = -2*m(k) + x(k). Let b be p(11). Solve 0 = 2*h - 6*g + 2*g - b, -h = -4*g - 17 for h.
5
Let y = 3 + -2. Let m = 1 + y. Suppose 4*o - 5*o + 4 = -x, -5*o - 3*x = -28. Solve 0 = -4*n + m*t - 14, -4*n - o*t = 23 + 12 for n.
-5
Let g(b) = -62 + 53 + 4*b + 0*b. Let o be g(4). Solve o = 2*t - k, -3*t + k + 3 = 2*k for t.
2
Suppose 20*u - 2*u - 126 = 0. Solve 4*h + 26 = 3*t, -3*h - 4*t = -0 + u for h.
-5
Suppose 0 = 21*f - 20*f. Let r be 1 - f - (-9 + 5). Solve v + 2*v - 7 = -2*n, -5*n = -r*v + 45 for n.
-4
Suppose -2*d = -5*y + 4 - 0, 2*y = 4. Suppose d*w - 8 + 3 = -2*v, -2*w + 8 = -v. Solve 21 = 2*x + x + w*b, 5*x - 2*b - 7 = 0 for x.
3
Let o = 91 + -61. Let c = o - 26. Solve 4*n = 3*p + 11, p + 1 = c*n - 16 for n.
5
Let l(q) = -q**3 + 2*q**2 + 3*q + 3. Let u be l(4). Let g = -7 - u. Suppose 0*m = 3*m - 24. Solve s - m = f + f, 5*s + g = 0 for f.
-5
Let l(p) = 9*p + 4. Let q be l(6). Let w = q - 83. Let v = -8 - w. Solve 3*s + v = 5*b - b, -s - 5*b + 26 = 0 for s.
1
Let r(n) = -2*n + 41. Let s be r(19). Solve 3*x + 12 = -s*d, 0 = -d - 5*x - 0*x - 4 for d.
-4
Suppose 0*w - 5*w - 5 = -5*h, 0 = 3*w - h + 1. Solve -3*o + o + i - 1 = 0, -5*i - 5 = w for o.
-1
Let z(f) = 21*f + 85. Let b be z(-4). Solve 3*d = -3*x - 12, 2*d = -3*x + b - 9 for d.
-4
Let g(k) = k + 4. Let h(t) = -3*t - 9. Let v(r) = 5*g(r) + 2*h(r). Let b be v(0). Suppose b*z = -3*z. Solve -2*s + 2 = -2*w - 10, 3*s - 12 = z for w.
-2
Let d be 21*1/5 - (-13)/(-65). Suppose -3*m + 16 = o, 2*m = d*o - 0*m - 8. Solve 4 = -4*j - 4*y - o, j + 3*y = -12 for j.
3
Let w(d) = 2*d - 15. Let v be (-3 - (1 + 11))/1. Let o = 25 + v. Let t be w(o). Solve -5*q + t = 0, -4*q - 1 = s - 0*q for s.
-5
Let c = -92 - -92. Suppose -11*x + 4*x + 56 = c. Solve -y + 4 = -4*k - 5*y, 2*k + x = -5*y for k.
1
Let r be 4/6 + 66/(-99). Solve 2*l - 2*c + 8 = r, 3*l = -5*c - 1 + 13 for l.
-1
Suppose 3*c + 109 = -5*g, -c = 3*g + 42 + 21. Let d be (2 + -4)*g/8. Suppos