 + 28 = 3*f. Suppose 0 = f*h + 29 - 5. Let y be -4*h/4 - 3. Solve 0 = -0*q - 3*q + 2*x + 4, -y*q - 3*x + 9 = 0 for q.
2
Let i be (0 - (-4)/3)*(3 + 0). Suppose i*c = c + 45. Solve 2*t + c = 3*t + 4*d, 3*d = 4*t + 16 for t.
-1
Let p be ((-1)/2)/(1/(-4)). Let k be 24/p - (-2)/(-1). Let d(l) = 5*l**2 + 98*l + 57. Let f be d(-19). Solve 0 = q - 5*q - 3*y - 6, -4*q - 5*y - k = f for q.
0
Suppose 0 = 20*a - 24*a - 56. Let i be (6/a + 1)*7. Solve -3*p = 2*k - i, -4*p - 1 = 2*k - 7 for p.
2
Let h(p) = -p**2 - 1. Let z(m) = 2*m**2 + 6*m + 12. Let v(a) = 3*h(a) + z(a). Let j be v(7). Solve -i = -w + 5*w + 18, -j*w - 8 = i for i.
2
Let j = 40 - 19. Let a = 3387 + -3382. Solve -u + j = a*w, 2*w - 8 = 4*u - w for u.
1
Suppose -2*z = 119 - 121. Suppose 5*c + 2*m = -2*m + 77, 2*c - 3*m - 40 = 0. Solve -2*a - b - 4 = 0, 2*b - c + z = 2*a for a.
-4
Suppose -9*s = s - 20. Solve -5*d + 5 = -2*w + 15, 3*d + 10 = s*w for w.
5
Suppose -3*i + 10 + 2 = 0. Suppose -1 - 7 = -i*k. Solve -k*v + 4*v = 2*u - 16, 3*v + 15 = 0 for u.
3
Let j(c) = -c**3 + 7*c**2 + 5. Let n be j(7). Let w = 7 + n. Solve 4*l - 2*z = w, 1 = l - z - 1 for l.
4
Suppose -25*p = -20*p - 20. Suppose -p*d = 4*k - 16, 15 = -5*k - 4*d + 35. Solve -h = -k, 0 = -g - h + 3*h - 9 for g.
-1
Let s = 3 + 4. Let n be 6/27 - 32/(-18). Suppose -n*b + w + 2 = -3, -w + 7 = b. Solve 3*k + 4*u = -0*k + s, b*k + 5*u = 10 for k.
5
Suppose 31*u = 29*u. Solve 6*k - 2*k + 3*t = u, 4*t = k for k.
0
Suppose 5*w - 60 = 20. Solve x - 5*r = -x + 20, -5*x = 4*r + w for x.
0
Let a = 84 + -91. Let j = a - -19. Solve -4*h - j = 5*d, -4*h + h - 9 = 5*d for h.
-3
Let o = 70 + -68. Let h be o/4 + (-6)/(-4). Solve -5*m = r - 8, -2*m - 5*r = h*m - 19 for m.
1
Let c(b) = -b + 15. Let o be c(11). Solve -2*d + 26 = o*m, -d + 4*d + 2*m = 19 for d.
3
Let s be (-9)/36 - (-53)/4. Let q = 15 + -13. Let a be (-1)/(q*(-3)/18). Solve a*z - s = 4*l, z + 5*l = -z - 22 for z.
-1
Let s be (52/(-12) - -4)*0. Solve s = -3*d - q + 8, 21 - 11 = 4*d + 2*q for d.
3
Let l = 0 + -6. Let g(p) = -p**2 - 28*p - 6. Let q be g(-28). Let w be (-4)/q + (-20)/l. Solve -k = 3*k + w*d - 4, -k - 3 = 3*d for k.
3
Let i = 3 + 11. Suppose 0*l = 5*f - 3*l + 26, -16 = 3*f - 2*l. Let s be i/(1/((-2)/f)). Solve x = -4*g + s + 5, 0 = x + 3*g - 10 for x.
4
Suppose -10*h - 73 = 287. Let u be ((60/(-18))/(-10))/((-1)/h). Solve u = -2*o - 2*b, 2*b = -3*o - 2*b - 22 for o.
-2
Let f = -17 - -18. Let u(c) = 18*c + 2. Let p be u(f). Solve 4*z - 5*m + p = 0, 0 = -5*z + 6*m - 2*m - 25 for z.
-5
Suppose -5*b + 7 + 18 = 0. Solve -b*y + 2*m = -21, -2*m + 3 = -4*y - 7*m for y.
3
Let x = -412 + 416. Solve -5*z + 2*g = -0*g + 18, -4*z + x = 3*g for z.
-2
Let c(n) = n**3 + 5*n**2 + 3*n - 4. Let z be 4/6 + 28/(-6). Let u be c(z). Solve u = 5*m - 4*m + r - 9, -r = -2*m + 3 for m.
4
Let r = 201 + -198. Solve -2*f - 4*j - 12 = 0, -3*f - 3 = -0*f + r*j for f.
4
Let j(m) = -7*m - 168. Let q be j(-25). Solve -5*d = -10, -3*g - d - q = -3*d for g.
-1
Let i(b) = 7*b - 6. Let h(n) = n - 3. Let d = -1 - -9. Let c be h(d). Let x be i(c). Solve -2*s - 21 = -s - 5*r, -s - 5*r + x = 0 for s.
4
Let g be (8 + -7)*(6 - (-4)/4). Solve -2*n = 3*f + g, -n - f = n - 3 for n.
4
Suppose 5*o = 0, -v - 2*o = -6 - 29. Suppose -4*q = 3*q - v. Solve 2*u + 3*f + q = 0, -f = 2*u + 2*u - 5 for u.
2
Suppose -4 = 4*l, -2*p + 4*l = -4 - 10. Solve 3*i = -3*k - 6, 3*i - p*i = -4*k + 4 for k.
0
Suppose -5*m + 13 = -7. Let j(w) = 2*w - 6. Let c be j(m). Let u be c/(-4)*(-2 + -2). Solve -o - 8 = 5*x, -x - u*o - 2*o - 13 = 0 for x.
-1
Suppose -2 = -11*h + 42. Solve 0 = -k + h*j - 15, -j + 3 = 4*k + 12 for k.
-3
Let x = -20 - -27. Let b = 6 - 6. Suppose 0 = -s - s. Solve b = k + 2*m + x, 5 = -s*k - 3*k + 2*m for k.
-3
Let g = -4 + 6. Let i be (9/15)/(g/10). Suppose -2*o + 5*c + 12 = 0, 19*o = 18*o + 3*c + 3. Solve -i = -5*n - 3*x + 14, -4*x = 5*n - o for n.
1
Suppose 0 = -5*a - 9*a + 826. Let c = -33 + a. Solve g + 3 = -2*g + 4*o, -2*o = 4*g + c for g.
-5
Let i(c) = 3*c**2 - 5*c + 2. Let r be i(2). Let d(j) = -j - 5. Let m be d(-8). Solve -v = m*b - 1 - 1, 0 = -3*b + v + r for b.
1
Let l be 6/(-27) + 4/18. Solve -2*f - 18 = 4*m, -4*m + f - 9 = -l*f for m.
-3
Let v(f) = -7*f + 12*f + 3*f**2 - 4*f. Let u be v(-1). Solve -u*y + r = -0*r - 12, 0 = -y + r + 7 for y.
5
Suppose 49 + 81 = 10*c. Solve -2*a + 4 = 0, 0*y = -3*y - 5*a + c for y.
1
Suppose 3*r - 14 = -2. Solve -2*y + 4 = w - 1, y = r*w + 16 for w.
-3
Let m = 2935 - 2928. Suppose 2*q - 20 = -3*q. Solve 3*w - q*x - 5 = 0, -w - 2*w = 2*x + m for w.
-1
Suppose -4*y = 7*w - 4*w - 63, 41 = 3*y - 4*w. Let x(z) = -z**2 - 12*z + 2. Let u be x(-12). Solve -5*v = -t + u*t - y, -3*v - 5*t = -31 for v.
2
Let i(d) = d + 4. Let n be ((-2)/(-1))/((3 + -11)/8). Let v be i(n). Let s = 6 + -4. Solve -v*m - 9 = -u - 2, 2*m = s*u - 12 for u.
5
Let i = 2437 + -2435. Solve -4*x + 20 = -c + 5*c, 0 = i*c - x - 7 for c.
4
Suppose -10*m - 2*m = -60. Suppose z + 12 = 5*z. Solve z*b + 5*y - 2*y = 9, -m*b - 2*y + 12 = 0 for b.
2
Suppose 2*p + 15 = 5*p. Suppose -p*n + 20 = 5. Suppose 4*t = 3*s - 4, -n - 1 = s - 4*t. Solve -4 = -s*x - j, 5*j = -x + 4*x - 26 for x.
2
Let t = -8 - -17. Let j be (-4)/2*t/(-6). Let q be 2/3 - (-1)/j. Solve 5*p = -5*i + 6 - q, 4*p = -2*i + 4 for i.
0
Let y = -152 - -155. Suppose -q + q = y*q. Solve -2*o - p - 4 = q, -2*o = o + 5*p + 6 for o.
-2
Suppose 15 = -5*n, -3*n - 35 = -5*z + 2*n. Suppose -z*f = -12 - 4. Solve -w + 16 = 3*w - f*j, -2*w + 12 = 2*j for w.
5
Let d be -1 + 0/(-2) - -3. Suppose 6*q = q + d*h + 42, 5*h = -5. Suppose 14 = 10*o - q*o. Solve -4*y = -8, 0*a + 4*y + o = -3*a for a.
-5
Suppose -4 = -3*d + 5. Suppose 0 = d*o - 9, -2*o + 0 - 2 = -4*x. Suppose l - 9 = -2*k, 5*l + x*k - 29 = -0*k. Solve -6*c = y - c - 8, -12 = -l*y + 3*c for y.
3
Suppose -4*k + 8 = 0, 4*r + 4*k + 41 = 5. Let x = r + 15. Solve u + 1 = -3*m - 0, -x*m + 7 = 3*u for m.
-2
Suppose -8*d = -10*d + 76. Let x = d - 36. Solve -10 = -x*b - w + 5*w, 0 = 2*w + 8 for b.
-3
Let f(u) = u + 3. Let t be f(16). Solve 5*o + 2*v - v = t, -5*o = 4*v - 31 for o.
3
Let z be 2/4 + 62/4. Suppose 3*u - 6 = t + t, -4*u + z = 0. Let w be 6/3 + (t - -11). Solve 0 = -x - 4*h - w, -x + 4*x - 2*h - 8 = 0 for x.
0
Suppose 0 = -3*x + 7*x - v - 20, 4*x = -2*v + 20. Solve 4*f = 3*i - 10 - x, i = 3*f + 5 for f.
0
Let k(q) = -8*q + 6. Let b be k(9). Let n = 66 + b. Solve 0 = i + 5, -d + n*i = -i - 9 for d.
4
Suppose -13*i = 16*i - 28*i. Solve -g - 9 = 4*x, 0 = -i*g + 5*g + 2*x - 9 for g.
3
Let u be (-1)/44*-8 - (-2578)/(-22). Let o be u/26*2/(-3). Solve -o*z - 5*j + 16 = -14, 5*z - 3*j = 16 for z.
5
Let i = 30 + -22. Suppose -44 = -i*m - 12. Solve o - m*c + 4 = 4*o, -o + 10 = -3*c for o.
4
Let o = -3 - -5. Solve -o*f = 3*j + 12, -9 = 3*f + j + 2 for f.
-3
Let i = -4 - -3. Let z(r) = 34*r**2 - 2*r - 2. Let k be z(i). Solve -3*u = 7*w - 2*w - k, 4*u + 13 = 5*w for w.
5
Let y(v) = v**2 + 4*v - 29. Suppose -4*l = -3*l - 2*h, l = h - 4. Let a be y(l). Solve o + 2*x + 1 + a = 0, -3*x + 8 = 5*o for o.
4
Let c(d) = 51*d + 413. Let u be c(-8). Let s = 6 + -2. Suppose s*o + o = 0. Solve u = -l - o*l - 4*h, l + 2*h + 3 = 0 for l.
-1
Suppose -5*g + 6 = -9. Let i be 2 + 0 - -1 - 1. Solve 0 = i*c - 0*c - 3*b - 3, -g*b = -4*c - 3 for c.
-3
Let c = 82 + -77. Suppose -3*m - h + 7 = 0, -2*m + c*h = -4 - 12. Solve -f - 2*i + 7*i - 13 = 0, m*f - 2*i = 0 for f.
2
Let k(n) = n**3 - 8*n**2 + n - 5. Let j be k(8). Suppose -j*u + 10 = 5*c + 2*u, -4*c + 2*u = -32. Solve 2*x + c = 0, 42 - 10 = -4*r - 4*x for r.
-5
Let y(h) = -2*h + 1. Let v be y(-4). Solve -v - 21 = 3*n - 5*a, 2*n = 4*a - 22 for n.
-5
Let g(f) = 2*f + 33. Let n be g(-15). Solve -4*j + 0*q = n*q - 5, 0 = q + 1 for j.
2
Let r be (-50)/18 - 16/72. Let s be ((-14)/r)/(12/18). Solve 4*d + s*t - 2*t - 41 = 0, -4*t + 32 = 3*d for d.
4
Let c(y) = 14*y - 123. Let u be c(9). Solve -j - 16 = 5*h, -3*j - 4*h + u*h = -8 for j.
4
Let d = -19 - -50. Suppose 14*s + 3 = d. Solve -4*y + 8 = 4*a - 4, 0 = s*a + 3*y - 7 for a.
2
Let y be (((-6)/(-3))/(-2))/(-1)*5. Suppose -2*d - y = -7*d. Suppose 2*s = -0*s + 2. Solve 4 + d = -a + 2*i, s = i for a.
-3
Let a(c) = -c**3 + 3*c**2 + 4*c - 1. Let g be a(3). Suppose 2*y = 3*y + g. Let u = 14 + y. Solve -2*h - 16 = u*h - 4*q, 5*q - 20 = 0 for h.
0
Suppose 16*x - 19