 y.
-2
Suppose -23*d + 55 = -12*d. Solve u = 3*f + 4, -10 + 0 = d*u for f.
-2
Suppose 233*h + 18 = 242*h. Solve -4*m + 9 + 7 = -4*y, 3*m + h = -4*y for y.
-2
Let p = 13 - 8. Suppose -m - 15 = -5*w, -p*m + 7 - 32 = 0. Solve w*s - 3*f = -3*s + 17, -2*f - 7 = s for s.
1
Let r = 23 + -22. Suppose r = -n + 3. Solve -3*s - 7 = n*b, 5*b + 11 = -2*s - 1 for s.
-1
Let t(f) = -5*f - 10. Let r be t(-4). Solve -2*l - n - n = -4, -5*l + 3*n = -r for l.
2
Suppose 0 = -5*d + 21 + 14. Suppose -4*x + 2*x - 52 = 0. Let t = -21 - x. Solve 0 = -5*y - n + 18, y - 1 = -t*n - d for y.
4
Suppose -26*r + 72 = -8*r. Solve 5*q = 4*m + 15, -r*q - 4*m + 1 = -11 for q.
3
Suppose 10*g = 5*g + 3*v + 216, -52 = -g + 5*v. Let x = g - 31. Solve h + x = -4*t - 6, -h + 3 = -t for h.
-1
Let q be -4 + 0/1 + 8. Suppose -8 = -d + z, 8*d + 4*z = q*d. Let c = d - -26. Solve 4*u - 5*a - 10 - c = 0, -3*u - a = -11 for u.
5
Let g be (-4)/6*-3*1. Let m be 62/31*(-2)/(-2). Solve -2*t + 10 = 0, -m*a - a = -2*t - g for a.
4
Let h = 35 - 51. Let q be (-12)/96 + (-66)/h. Solve q*f + 3*w - 27 = 0, -2*f + 6*f + 4*w = 32 for f.
3
Let i(h) = h. Let u be i(-2). Let c = -6 - -4. Let m = c - u. Solve 2*f + 2*k + 0*k - 2 = m, 0 = -5*f + 4*k - 31 for f.
-3
Let v(n) = -n**2 - 5*n - 10. Let f be v(-5). Let b = f - -10. Let h(m) = m**3 + m**2 + 2. Let r be h(b). Solve -3*c - x = 3, -r*c = -0*c - 3*x - 9 for c.
0
Suppose 2*w + 40 - 130 = 0. Let m = w - 42. Solve -5*o + 5 = m*u, -3*o = 4*u + 12 - 4 for u.
-5
Suppose -2*r + 4*r + 10 = 0. Let n be (r - -10)*(-2)/(-2). Solve 0 = -n*p - b + 10 - 34, -3*p = 5*b + 32 for p.
-4
Let s = -91 + 72. Let x be s/(-3) + (-23)/69. Suppose -5*u + 2*t + 20 = -0*t, 20 = 5*u + t. Solve x = 2*w + l + 2, -4*l = -u*w + 20 for w.
3
Let y be 11/22*(8 - 0). Suppose 4*o - 7 = y*f - o, 3*f + 3*o = 15. Solve -4*k + f*c - 5 = -3*k, -k = -c + 4 for k.
-3
Suppose -2 = -2*c, -3*f + 31 = 2*c - 31. Let n be ((-32)/(-14) - -2)*7. Let h = n - f. Solve 3*x + 5*v = -h, 2*v - 13 = -4*x - 3 for x.
5
Let n(g) = 348 - 5*g - 7*g - g**2 - 381. Let t be n(-7). Solve -t*p + 5*p + 25 = 5*a, 5*a - 25 = p for p.
0
Let i be (12/(-14))/(4/28). Let o(b) = 8*b + 52. Let v be o(i). Solve v*k + 5*f + 2 = 0, -5*k + 0*f + 18 = -4*f for k.
2
Suppose -h - 57 = -59. Suppose 3*c = -5*f + 32, -3*c + h*c + f = 0. Let x be 30/18 + 1/3. Solve c*r + 5*s = -8, 2*r = -s - s - x for r.
3
Suppose 2*d + 2*g + 18 = 0, 35 = -4*d + g - 16. Let t be 36/126 + d/(-7). Let o be (t - -2)*9/12. Solve 3*u - 3 = -5*j, -o*u = -0*j - 2*j + 18 for j.
3
Suppose -h + 4*h = 117. Let c be (-2)/13 - (-474)/h. Suppose 0*q = 3*q - c. Solve 4 = q*x, -x - 11 - 3 = -3*z for z.
5
Let c = 145 + -143. Solve n + 2*i - 17 = -4*n, c*n - 4*i = 2 for n.
3
Suppose -79 = -20*d + 241. Solve o + 2*o + 9 = 0, -d = 2*u + 2*o for u.
-5
Let q(d) = d**2 + 4*d + 3. Let p be q(-4). Suppose 0*o + p*o + 51 = 0. Let v = -13 - o. Solve -10 = -h - v*h + 2*a, 4*a = 3*h - 6 for h.
2
Suppose 44 = -12*i + 8*i. Let s = i + 13. Solve z = 5*j - s*z + 11, -4*z = -2*j - 10 for j.
-1
Let h(c) = c**3 - 9*c**2 + 24*c - 17. Let n be h(5). Solve -3*w - 4*r - n + 23 = 0, -2*w = -5*r + 2 for w.
4
Let j be (-16)/104 - (-41)/13. Suppose -j*n = 1 + 14, 49 = -2*u - 3*n. Let w be (-18 - u) + (-1)/(-1). Solve w = -3*x - v - 8, -4*x - 14 + 0 = 3*v for x.
-2
Let v(j) = -2*j + 17. Let p be 4 + (-4 + 2 - -4). Let o be v(p). Solve -2*c = -o*d - 15, c = -0*d - d - 3 for d.
-3
Let q = -63 - -65. Solve q = 4*g - 2*j, 0*g + 7 = -g - j for g.
-2
Let u = 64 + 24. Let a = u - 85. Solve 0 = -2*m + 5*j - 1, 4*m + a + 4 = 5*j for m.
-3
Suppose -5*n + 0 = -25. Suppose 0 = -n*m - 3*q + 73, 3*m - 13*q + 8*q - 37 = 0. Solve -2*y + 17 = -4*h + y, -3*h + y - m = 0 for h.
-5
Suppose 0*a + 4 = 2*a. Let r(p) = -54*p + 1566. Let k be r(29). Solve 5*v - 17 = 2*m - k*v, -a*m - 4*v + 28 = 0 for m.
4
Let m be (-8)/((1*-2)/2). Suppose x = -2*l, 4*x - 2*l = -4*l. Suppose -m*z + 9*z - 4 = x. Solve -a - 5 = -z*k - 19, -2*k - 6 = -a for a.
-2
Let a(b) = -b**3 - b**2 + b. Let v be 3/2*(-36)/27. Let f be a(v). Solve -5*l = -3*l + 4*k + 12, 0 = -f*l + 4*k + 20 for l.
2
Let x be 1*-7 + 15/(-5). Let a be (-78)/(-30) - 4/x. Suppose a*u + 1 = 16. Solve 0 = -2*o + u*w + 24, 3*o - w - 4 = 6 for o.
2
Let k be 132/(-8) + 3/(-6). Let t = k + 19. Suppose -u - 1 - 2 = 4*b, 4*u - 16 = -t*b. Solve -f - f = -3*h - 13, -u*f = -h for f.
-1
Let l be ((-5)/(-5) + 0)/1. Suppose o + 5*u - 25 = 0, 5*o - 2*u = -0*u + 98. Suppose 0 = -4*p - 0*p + o. Solve 4*k + 2*w + 10 = 0, p*w = -3*k + 2 + l for k.
-4
Let g(k) = -k**2 + 31*k + 752. Let y be g(47). Suppose -4*z + 4 = -2*d, 3*z = 5*d - 6 - 5. Solve z*w = -2*t + 2, y = 2*t + t + 6 for w.
2
Let u be (-1)/(1/3*15/(-35)). Let h be 3/u + 198/77. Solve 0 = h*k + 5*t + 12, 0 = 3*k - 8*k + 2*t - 20 for k.
-4
Suppose -2*p + 2 = 2*u, 2 = 4*u - 21*p + 26*p. Solve 0 = u*l, 3*l = 2*m - 0*m for m.
0
Let b be (-19)/(-4) + -5 + 25/4. Solve -11 = -2*v - 3*h, 2*v - v = -2*h + b for v.
4
Let j = -36 - -39. Let m be (-2 - j)/5 - -8. Solve q = -l + 5, m*q - 2*q = -3*l + 15 for q.
0
Let c be (15/5)/((-3)/(-23)). Solve 0*s + 5*s + 40 = -5*d, 4*d = -s - c for s.
-3
Let h(x) = -x**2 + 5. Let j be h(0). Suppose 2*i - 5*n - 13 = 0, -j*i = -6*i + 4*n + 8. Solve -3*a - 5*m - 30 = 0, 16 = -5*a + i*m - m for a.
-5
Suppose -4*v = 5*r - 9, 0*v + 4 = -v. Suppose r*y + 36 = 23*y. Solve -3*w = -4*w - 3*b - 18, -y*w + 3*b + 9 = 0 for w.
-3
Let j = -110 + 61. Let k = j + 54. Solve 0*l + 6 = -4*l + 5*z, -k*z = -10 for l.
1
Suppose 4*w - 41 = 3*w + 5*d, -w + 13 = 2*d. Let k = w - 43. Let z be 100/55 + (-4)/k. Solve -10 = -z*c - 3*q, 4*q - 7 = 3*c + 3*q for c.
-1
Let t(r) = -3*r. Let w be t(-1). Let v be 16/(-11 + 9) - -8. Solve -2*d - 5 = -3*b - 3*d, v = -3*b - w*d + 15 for b.
0
Suppose 2*n = -3*n - 360. Let p = -72 - n. Solve 4*t - 5 = -3*b, 3*b + t - 2 + 12 = p for b.
-5
Suppose -4*m = 4*s + 1 - 37, -2*s = -3*m + 2. Let c be 1/2*(s - (12 - 7)). Solve -v + 4*f = 7, 2*v - f = -c*v for v.
1
Suppose -73*c + h - 14 = -75*c, -c + 5*h - 15 = 0. Solve -2*t - j - 1 = 5, c*t + 16 = -2*j for t.
-4
Suppose -25 - 200 = -9*m. Solve -3*s + 5 = q - 2*q, 5*q = 5*s - m for s.
0
Let f(q) = 4*q**3 - q**2. Let i = 0 + -14. Let k be (i/(-21))/((-4)/(-6)). Let w be f(k). Solve -2*d - 2*a = 6, -4*d = w*a - 6 + 14 for d.
1
Let c(p) = p**3 + 8*p**2 + 6*p - 5. Let g be c(-7). Solve -g*q - 3*m = 7, 2*m = 3*q + 1 + 3 for q.
-2
Suppose 0 = 4*w - 0*k + 5*k - 2, -5*w - 2*k = -11. Let t be w - 6*(-13)/(-2). Let n be (-15)/(-2)*t/(-15). Solve -5 = 2*l + 3*l, 0 = 5*z + 3*l + n for z.
-3
Suppose -7*r + 41 - 13 = 0. Solve -p + 5*l = 13, -3*p + r*p - 3*l = -7 for p.
2
Let n(p) = p**3 + 30*p**2 - p - 41. Let j be n(-30). Let h be (-2)/8 + 182/(-8). Let s = j - h. Solve -24 = v - 5*z, 2*v + 2*z - s = -0*z for v.
1
Let z = 9 - 2. Let q(j) = -j**2 + 10*j - 11. Let g be q(z). Suppose -4*r - 2 = -g. Solve 2*b - r = 2*v, v + 0*v = -3*b - 1 for b.
0
Let d = 58 + -40. Let i(j) = j**3 - j**2 - 3. Let x be i(0). Let y be x/d - (-91)/6. Solve -4*k - k + 3*l = -15, 3*l = 2*k - y for k.
0
Suppose -t + 6 = r - 1, 11 = -2*t + 3*r. Solve -b - 6*f - 16 = -t*f, -4*f - 24 = -b for b.
4
Suppose -b + 30 = 4*b + 5*i, -3*b = -2*i + 7. Let k be (3 - 5) + (b - -3). Solve -c + k = -0*q + 2*q, 2*q + 3*c = 2 for q.
1
Suppose 2*s = -2*s + 28. Suppose -5*q = -3 - s. Suppose u + 0*a - a = 8, -q*u + a + 13 = 0. Solve u*o + t = 6*t, o + 24 = -5*t for o.
-4
Let k(s) = -3*s + 25. Let b(w) = 1. Let h(x) = -6*b(x) + k(x). Let v be h(0). Solve 3*z + v = 2*z - 5*j, 2*j = z - 9 for z.
1
Suppose -2*z - 2*n = 4 - 16, 0 = -3*z + 3*n. Suppose z*x = -0*x + 12. Solve 3*v = 5*v + 4*f + 2, -v + x*f = 1 for v.
-1
Suppose -2*s = -6*s. Suppose s = -5*y + 6 + 19. Let i = y + -3. Solve 4*u = -i*g + 6, 0*g - 2*u - 12 = -2*g for g.
5
Let m be -3*1 - (5 + 2/(-2)). Let b = -3 - m. Solve b = 3*f + o - 3*o, -2*o = 10 for f.
-2
Let g be (6/(-15))/(2/(-10)). Let z be (1/g)/(3/18). Let h be (-34)/(-14) + (-4)/(-42)*6. Solve -z*x - 11 = -p, -h*x + 7 = 2*p - 4*x for p.
2
Suppose -4*t + 6*t - 6 = 0. Let m be -4 - t/((-3)/34). Solve -2*d - 24 = 4*q, 0*q = -5*d - 4*q - m for d.
-2
Let z(a) = a**3 + a**2 - a + 2. Let m be z(0). Let t(v) = v**3 + 5*v**2 + 4*v + 5. Let i be t(-4). Solve i*f - h - 10 = -0*f, -m*f - 5*h = -31 for f.
3
Let a be 2/