d, -a - 5*d = -0*d - 15 for a.
0
Suppose 33 = 13*b - 97. Solve 3*m = 2*s - 7 - b, 5*s + m - 17 = 0 for s.
4
Suppose 6*x - 4*x - 20 = 0. Let j(f) = -2 + 13 - f - 1. Let i be j(x). Solve -5*l + 3*g + 6 + 14 = i, -3*g = -4*l + 16 for l.
4
Let v be (-6 - (-6 + -2))/((-4)/(-6)). Solve -2*c + 7 = v*w, -5*w - 9*c + 8*c = 0 for w.
-1
Let l be (-2)/8 + (-45)/(-4) - 5. Solve -23 = -g + l*g - 4*b, 5*b - 13 = g for g.
-3
Let s(q) = q**2 - 25*q + 27. Let b(m) = 24*m**2 + m + 1. Let r be b(-1). Let g be s(r). Solve 2*p - 1 = -u + g*p, -4*p - 28 = 2*u for u.
-4
Let s = -189 - -198. Solve -h + 3 + s = 4*q, -20 = -5*h for q.
2
Suppose -4*m - 8*t + 24 = -9*t, 16 = -4*t. Solve -s + m*f + 25 = 2*s, 4*s - 14 = -3*f for s.
5
Let t = 146 - 146. Solve 5*r + 24 = 3*u, -u - 2*r - 3 = -t for u.
3
Let m be -6*6/(-9) - -18. Suppose 5*r = m + 18. Solve 6 = -3*o, 2*o = 3*k - 2*o - r for k.
0
Suppose 0 = -9*u - 0*u + 27. Suppose -2*i - 5 = -5*a + 8, u*i + 2*a = 28. Solve -16 = 4*s, -2*p = 2*s - s + i for p.
-1
Let r = 43 - 42. Let y = 3 + r. Solve -5*c + 9 = y*a, 8*c = -5*a + 4*c for a.
-4
Suppose 2*m + 3*m = -2*c + 18, 2*m + 16 = 5*c. Let h be (6/15)/(m/10). Solve -h*g = 2*g - 3*z, 3*z + 12 = 0 for g.
-3
Let u be -3 - (-23 + 0/2). Let t = u - 20. Solve 2*o - 2*r + 8 = -t*r, o + 3*r = 4 for o.
-2
Let x(o) = 24*o + 291. Let b be x(-12). Solve -25 = -b*v - 4*q, 4*v + q = 4*q for v.
3
Let n(r) = -r**2 + 9*r + 13. Let v be n(10). Let y be 3 + (-12)/v - -5. Solve -3 = t - 2*h + 7, y*t + 10 = 2*h for t.
0
Let q be 1 + 5*(1 + 0). Let c(u) = -u**3 + 5*u**2 + 7*u + 2. Let o be c(q). Solve -4*y = -5*m - o, -6*m + m - 2 = -y for m.
0
Suppose -5*h + 6*h + 16*h = 0. Suppose -15 = -h*y - 3*y. Solve m - 18 = -y*l + 2*m, 3*l + 2*m = 3 for l.
3
Suppose 7 + 0 = 5*t - 3*h, h = 4*t - 7. Suppose -3*j - 4*u + 11 = 0, t*j = 2*u + 2*u + 14. Solve 5*n - j*c + 5 = 0, -4*c = c - 5 for n.
0
Suppose -2*q + 21 = 5*t, -3*q + 0*t + 12 = t. Let f = 27 - q. Solve -4*b + f = -4*p, -2*p + b = -2 + 13 for p.
-5
Suppose 4*l - 45 = 75. Let p be 0/(-2)*(-5)/l*2. Solve p*t + 4*t + 5*j = 17, -2*j - 13 = -5*t for t.
3
Let m(k) = k**3 + 2*k**2 - 3*k + 2. Let o be m(-3). Let a = -2 + o. Solve -3*v - 3*p - 9 = a, -4*v + 4*p + 3 = -5*v for v.
-3
Suppose 5*v + 46 = 4*b, v = -3*b + 2*v + 29. Suppose 15 = b*z - 30. Solve -z*l - h = 1 - 4, 5*h - 15 = 2*l for l.
0
Suppose l - 5*r = 4*l, 4*l - 5*r = 35. Let w = -2 + 3. Let q(h) = 20*h - 1. Let n be q(w). Solve 3*t + l*u + n = 0, -t + 6*t - u = -13 for t.
-3
Let x be 9 + 6/(-2)*(-120)/(-90). Solve -z + 2*w = -w - 10, -x*z - 40 = 3*w for z.
-5
Let v(k) = -3*k - 68. Let z be v(-23). Solve 2*b = -q - 2, 4*b = 2*q - z - 3 for q.
0
Suppose 3*d + 1 - 13 = 0. Let j = -67 - -80. Let p = j + -11. Solve 0 = -2*h - o + 6, p*o - d*o = -4*h + 4 for h.
2
Let n be (2 + -4 + 1)*-6. Suppose t + t - n = 0. Suppose t*a - 22 = 38. Solve v + 15 = d - 3*d, -v = 3*d + a for v.
-5
Let p be 11 + 12*(-6)/12. Let s = 37 + -26. Solve -5*u - 2*j + 10 = -s, 0 = -p*u + 4*j + 33 for u.
5
Suppose 0*r - 8 = -r - 4*k, -2*r + 2*k = 4. Let q be 1 + (r - 0) + (-2 - -6). Solve q*p - 4*d = -3*d - 30, 0 = -p + 5*d - 30 for p.
-5
Suppose 10*v = 15*v + 3*m - 37, 4*m = 5*v - 9. Suppose g = v*r - 80, -5*g + 11 = -5*r + 91. Solve 11 = -3*x + 2*q, 5*x + r = -q + 2*q for x.
-3
Let k = 10 + -6. Let j(c) = 5*c + 49. Let n be j(-9). Solve 3*y = -2*l - 9, k*l - 4*y - 8 - n = 0 for l.
0
Let a(q) = -31*q - 88. Let y be a(-3). Solve n + 15 = 4*f, -f = -0*f - y for n.
5
Suppose -p + 5*t + 28 = 9*t, 2*p + 4*t - 76 = 0. Solve 22 = -4*j - o, -p + 17 = 5*j + 3*o for j.
-5
Suppose q + s - 8 = -1, -2*q - s = -9. Let x = 53 - 41. Solve j = 5*f - 24, j = 2*j - q*f + x for j.
-4
Let a(m) = m**3 - 6*m**2 + 6*m - 2. Suppose 0 = -0*g - g + 2. Suppose g*r = -2*r + 20. Let v be a(r). Solve -v*u - 4*k + 5 = 20, -5*u - 2*k - 25 = 0 for u.
-5
Let t(r) = 2*r**2 + 12*r + 2. Let b be t(-6). Suppose b = -5*s + 6*s. Solve w + x - 2 = 0, -3*w - s + 12 = x for w.
4
Let v = 72 + -70. Suppose t - 2*t - 3*q + 15 = 0, 0 = -v*t - 5*q + 27. Solve 2*p - 2 = h, -3*p + t*p = -3*h + 12 for h.
2
Let f(h) = h**2 - 2*h + 6*h - 3*h + 10 - 14. Let g be f(5). Suppose 0 = -r - 3*z + g, 67 = 2*r - 5*z + 15. Solve 5*w + r = b, -2*w - 15 = -2*b - 3 for b.
1
Let j(w) = -w**3 - 5*w**2 - 4*w + 2. Let l be j(-4). Let y be l/4 - 435/(-10). Suppose b - 5*b = -y. Solve 0 = 5*p + m - b, 2*p - m + 4 - 7 = 0 for p.
2
Suppose 2*i = -2, -4*m + 0*i = -4*i - 8. Let o be m/((-8)/(-9) - 1). Let p = o + 12. Solve 6*s + 2*t = p*s + 8, -4 = -s - t for s.
0
Let r(s) = s - 3. Let l = 9 - 11. Let j be 1/l + (-121)/(-22). Let x be r(j). Solve -x*t - q = 4*q, 5*t - 31 = 3*q for t.
5
Suppose 0 = -38*y + 41*y - 6. Suppose -y*h + u = 3*h - 6, -3*u + 2 = -5*h. Solve 3*m = -i - 1, 5 = -h*m - i - 4*i for m.
0
Suppose 0*i + 2*i - 8 = 0. Suppose 3*g - i = g. Let c be (1/(-5))/(g/(-10)). Solve -3*y - 9 = 0, -y - c - 1 = h for h.
1
Suppose 0 = 2*n - s - 4, -57*n + 10 = -52*n - s. Solve 3*w + 4*z = -n*w - 14, 2*z - 6 = 4*w for w.
-2
Let p = 74 - 30. Let a = -41 + p. Let x = 4 - -1. Solve -5*g = x*v, a*v - v = g + 6 for g.
-2
Let t be 3 - 4/((-4)/7). Suppose 2*d + 7 = -5*v - 0*v, 0 = -3*d - 4*v. Solve 0*a + d*q = -2*a - 18, -2*q - t = 0 for a.
1
Let k(n) = -n + 20. Let l be k(17). Suppose -2*v - 9 = l*a, 5*a + v + 12 - 4 = 0. Let f be 8/(a*(-4 - -2)). Solve 0 = -y - q + 3*q - 15, -f*q + 20 = 0 for y.
-5
Let x be (-133)/(-28) - (-33)/(-44). Solve 4*q + 13*m = 10*m - 23, x*m - 6 = 2*q for q.
-5
Suppose -6 = 3*q - 3*w, -6 = -2*w + 2. Solve f + 0*s - q*s - 11 = 0, -f = 4*s + 7 for f.
5
Let r = -13 - -12. Let u be (1 + -2 + 1)/r. Let z(d) = d**2 + 4. Let l be z(u). Solve l*c - 4*j - 25 = c, -j = c + 1 for c.
3
Suppose 164*z - 5 = 159*z. Solve 2*h + b + z = 6*b, -5*h + 9 = -b for h.
2
Suppose -5*h + 30 = -2*h - 3*m, 16 = h + 5*m. Suppose -5*z = -14 - h. Solve -z*f = -t - 16, -5*t + f + 3*f = -4 for t.
4
Let m = 232 - 230. Solve -m*h + 6 = 0, 0 = -2*k + k + h - 3 for k.
0
Let w = -371 - -371. Solve -5*u - 4*b = -2, -b = -5*u - w*b + 12 for u.
2
Let y be (-2 + 4)*(2 + -1). Let k be (-3)/8 - 70*13/(-208). Solve -b + 6*b - y = k*f, -14 = -5*b - 2*f for b.
2
Suppose 3*t + 4 = 2*j, -3*j - 4*t = -2*j + 20. Let i be 2/j - ((-77)/14 + 3). Solve -p - 5 = -2*d, -5 = -d - 0*p - i*p for d.
3
Suppose 0 = -4*k + 3*n - 7, -12 = -5*k + 4*k - 2*n. Let g(x) = 13 - 13 - x + 2*x. Let p be g(k). Solve 3*t - 16 = -m - 5, m - 1 = p*t for t.
2
Let g be 2*5/6*1848/770. Solve -k - 4*f = -5, 2*f + 3*f = k + g for k.
1
Suppose -2*a - 2 = -2*w, -w - 4*a + 8 - 2 = 0. Suppose 3 = -w*u + 1. Let j = u - -4. Solve -5*o = 3*g + j + 18, -g + 4*o = -10 for g.
-2
Let a be 5 + -5 + 3 + 2. Suppose w + 6 = -3*f + 6*w, 0 = -5*f - a*w + 30. Solve -3*y = f*h - 9 + 3, y = -4*h + 2 for h.
0
Suppose -i - 1 = -2*a, -4*i - 4*a + 16 = -2*a. Suppose -6 = -i*l + p, 0 = l - p - 5 + 1. Solve 2*h = t + 7, 5*t = -2*h + l - 12 for h.
2
Suppose 2*o = -3*o. Let q(i) = -207*i**2 - 3*i + 3. Let v be q(1). Let g = 237 + v. Solve o*s = 3*m + 2*s - 14, 5*m - g = -5*s for m.
2
Let s be 1 - 1 - (-5 - 6). Let p = -269 - -271. Solve -3*z = p*k + s, z - k + 1 = k for z.
-3
Let s be (-1)/4 - (-2)/8. Suppose 0 = -21*q - 20 + 67 + 121. Solve 4*z + q = s, -3*j - 25 = 2*z - 6 for j.
-5
Let h = 42 - 39. Suppose -h*o - 5*n + 11 - 2 = 0, -o = 2*n - 3. Let v(c) = -c**2 - 9*c + 6. Let x be v(-9). Solve -4*i + z + o = 0, x = 4*i - i + 3*z for i.
1
Let k = 418 - 414. Solve -3*m - 27 = 5*a, -5*a - k*m + 8*m = -1 for a.
-3
Let d(m) = m**2 - 10*m + 29. Let i be d(6). Solve 2*c - 7 = 2*v - v, -2*v - 15 = -i*c for v.
-5
Suppose v + x + 87 = 0, -x = -4*x - 6. Let l = -76 - v. Solve 4*p - 16 = 5*k, 3*p + l + 6 = -3*k for p.
-1
Suppose -5*n = -0*n + 30. Let j be -3*(34/n)/1. Solve -3*l = -2*v - v + 15, -j = 3*l - 5*v for l.
-4
Let f(g) = -7*g - 178. Let s be f(-29). Solve 4*a - 5 = 5*p + s, -5 = 5*p + a for p.
-2
Let a be -12*(7 + 44/(-6)). Solve -2*d + 12 = 2*b, -a*b - 4*d = -d - 23 for b.
5
Let a = -621 + 650. Solve u = 3*x - u + 11, 2*u = -5*x - a for x.
-5
Suppose 2*o = -8, l - 3*l = 2*o - 148. Let n = 81 - l. Solve -3*s = 4*d - 15, n*s - 2*d = -0*d - 3 for s.
1
Suppose -3*x + 15 = u, -5*u - 80*x + 119 = -76*x. Solve 3*i = 2*a - 5*a, -5*a + 4*i + u = 0 for a.
3
Let d = 490 - 486. Suppose 4*c = -5