2*r = -13 for s.
1
Let f(l) = -3*l - 9. Let x be f(-9). Suppose w - x - 5 = 0. Solve -7*v + 2*v + 5*y = -25, -4*y = -5*v + w for v.
3
Let m = -38 + 40. Suppose 2*r = -0*i - m*i, 3*r - 4 = -i. Solve 2*j + 2*j + 30 = -r*n, 0 = -n + 3*j + 10 for n.
-5
Suppose 0 = 14*x - 8*x. Solve x = 4*v - f + 2 + 23, -15 = -3*f for v.
-5
Suppose 0 = -2*a - a + 108. Let l = a + -11. Solve -r - 5*j + l = 0, -r + j = -3*r + 14 for r.
5
Let z = 1311 + -1307. Solve 7*h - z*h - 4*c = 8, c + 5 = 0 for h.
-4
Suppose 0 = i + 6*i. Suppose -3*l = c - 22, 2*c = -i*c - l + 29. Let b = c - 13. Solve -5*g + 10 = p - 0*p, b = -2*p for g.
2
Suppose 13 = 2*c - 5*k - 14, 3*c + 5*k + 22 = 0. Solve 0 = -t + 4*v + c, 23 = 4*t + 2*v + v for t.
5
Suppose 4*j = 5*k + 68, -3*j - 13 = 2*k - 41. Suppose -6*c + 0 + j = 0. Solve -3 + 4 = c*f - w, 5*f + 25 = -3*w for f.
-2
Suppose g + a = -0*g, a = 3*g - 20. Solve -4*f - 5*s + 14 = 2, g*s = 0 for f.
3
Let x be 5/15*6 - -12. Let s be 480/84 + 4/x. Solve -t - 35 = -6*t + 5*p, 2*p = -s for t.
4
Let r = -139 - -144. Let u be 1/(r*5/125). Suppose -3*s = 2*s. Solve j - 15 = -4*z, s*z - u*z = 5*j for z.
5
Suppose 0 = i - 6*i + 60. Let u = i + -10. Suppose -4*d - a = -6, 2*a + 8 = u*d - 0*a. Solve c + 4 = -3*g, 3*g - d*g - 8 = -5*c for g.
-2
Let a(j) = j + 10. Let i be a(8). Suppose -19 - 71 = -i*w. Solve 3*y = -2*h + y + 2, 0 = w*y - 5 for h.
0
Suppose 193 - 181 = 3*d. Solve 5 = 5*c + 4*g + d, -3*g + 12 = 0 for c.
-3
Suppose 13*q - 224 = -q. Solve -4*k = -3*j + q, -3*k + 2*k - 1 = 0 for j.
4
Let x(c) = 2*c**3 + 12*c**2 - 31*c + 12. Let s be x(-8). Solve i - 4*v + 6*v = 7, s*v = 16 for i.
-1
Let p be (-1)/(-2) + 18/4. Let b(f) = -3*f**3 - 68*f**2 + 21*f - 40. Let v be b(-23). Solve -a = p*g + 14, -5*a = g - v + 28 for g.
-2
Suppose 18*z - 14*z + 552 = 0. Let n = z + 143. Solve 0*q = 2*q - 4*k - 8, 0 = -3*q - n*k + 1 for q.
2
Let x = 478 - 473. Solve x*p - 11 = -q, q = -2*p + 3*q + 2 for p.
2
Let b(f) = -9*f - 124. Let v be b(-14). Solve -v*g + 10 = 2*g + z, -4 = -2*z for g.
2
Let w be 4 - ((-1 - -2) + -1). Solve 2*u - u = w*l, 2*u = 3*l for u.
0
Let d be 9 - 1 - (-30)/(3 - 13). Solve 2*j = 4, -19 = d*a - 10*a + 3*j for a.
5
Suppose -9 = -5*b + 16. Suppose -4*f + 5 + 3 = 2*v, -b*f = 2*v - 8. Let t = -40 + 41. Solve -4*m = 5*w - 5, -v*w + 2 + t = 3*m for w.
-3
Suppose 0 = 3*w + 9, 4*s - 30*w + 32*w = 2. Solve 6*u - u - 27 = -2*f, u + s*f = 7 for u.
5
Let s(a) = 6*a - 9. Suppose -2*j + 15 = 3*j. Let f be s(j). Solve 5*q = m + 31 - f, 0 = m - 2*q + 10 for m.
-2
Let i be 25/7 - 72/126. Suppose -i*o + w = -9, 0 = o + 2*w - 6*w - 14. Solve 3*p = b + 14, -b + 3 = o for p.
5
Let f(b) = -b**2 - 9*b + 10. Let h be f(-10). Let n = 114 - 113. Solve h = z + a - 5, n - 2 = z - a for z.
2
Let b = 3 - 0. Suppose -44*y + 45*y = 6, h + 3*y = 21. Solve -b*u + 3 = -g - u, 3*g + 9 = -h*u for g.
-3
Suppose 0 = -2*z + 5*q - 13, 49*z - 2*q = 52*z - 9. Suppose -2*g = -3*v + 59, 0*v = 2*v - 2*g - 38. Solve -n = -z, -4*n + 0*n = 5*d + v for d.
-5
Let u(z) = -z**2 - 2*z + 11. Let i be u(-5). Let p(w) = -w**2 - 11*w - 5. Let m be p(i). Solve 0 = -y + 6*y - k - m, -2*k = -4*y + 22 for y.
4
Let j be 2/(-2)*4/(-2). Suppose -2*o = -j*i + 2, -i + 4 = -o + 3*i. Solve -5*f - 3*h = -f - 6, o = 5*f + 5*h - 10 for f.
0
Let j be 56/(-8) + 16 + 12. Solve -5*n = -3*y - 22, 3*y - j = 7*y - 5*n for y.
1
Suppose 2*i = -4*j + 4, 6*j + 2 = i + 5*j. Solve -2*t = 3*h + i*t - 12, -3*t = -5*h - 9 for h.
0
Suppose -3*l - 2*y + 86 + 269 = 0, 5*y - 595 = -5*l. Suppose -120*g + 9 = -l*g. Solve -2*x + 2*a = g*x + 17, a = 1 for x.
-3
Let v = 436 - 432. Solve 4 = l + 3*i + 21, v*i = -16 for l.
-5
Suppose 58 = 3*j + 26*j. Solve 9 = -4*h + p, 5*h + 4 = -j*p - 4 for h.
-2
Suppose -13*l + 7*l = -72. Solve 2*f - 3*z + 8 = f, -l = 3*f + 3*z for f.
-5
Suppose 25*r + 5*r = 450. Solve 5*a = -3*m - 27, 0 = 2*m - r*a + 11*a - 4 for m.
-4
Let d = -35 + 39. Suppose d*z + p = 18, 13*z = 9*z - 2*p + 20. Solve 0 = -3*k + 4*o + 31 - 4, -k + z*o + 17 = 0 for k.
5
Let k be 0 - (1365/25 + 6/15). Let p = k - -57. Solve p + 5 = s + 4*r, -2*r + 6 = -2*s for s.
-1
Let d be (-1112)/556 - (0 - (6 + 0)). Solve 3*i = -5*f - 23, 2*f = d*i + 12 - 16 for i.
-1
Let f(a) = a + 1. Suppose 3*x - 6 = 5*v - 0*v, x = -v + 2. Let b be f(v). Solve 0 = 3*i - 2*r + b + 3, 3*r + 16 = -i for i.
-4
Suppose -2*c - 82 = -a, c = 4*c - a + 124. Let p = c + 76. Let b = p + -16. Solve 14 = -3*i - 7*f + 2*f, i = 4*f + b for i.
2
Let i = 65 - 57. Suppose 4 + 6 = 5*s. Let f be s/i - (-14)/8. Solve 3*v + 5*w + 2 = -0*w, f*v + 5*w = -3 for v.
1
Suppose 5*d - 27 = -4*o, -4*o - d + 8 + 23 = 0. Solve -3*r = -2*g - o*r + 7, -3*r + 9 = 0 for g.
-4
Suppose -4*f + 20 = 5*t, 25*f - 24*f - 5 = 4*t. Solve -4*s - 4 = t, 3*x = -5*s + s + 8 for x.
4
Suppose 51 = 36*b - 21. Solve -b*h + 8 = 0, 0*a = -5*a - 3*h + 22 for a.
2
Suppose 0 = 6*q - 62 + 32. Solve -2*t - 23 = q*n, 0 = -t - 2*n - 9 - 1 for t.
-4
Suppose 12*f - 62 = 22. Suppose -5*y + 18 = -f. Solve y*j - 5*d + 10 = 0, 4*d + 11 = -4*j + 5*d for j.
-3
Let s = -316 + 320. Solve 0 = -3*r + 12, 0*r = 4*d - 5*r + s for d.
4
Suppose 4*t = 5 + 3. Suppose -u = t*u. Suppose 12 = 3*l - u*w - w, -l + 4*w - 7 = 0. Solve h = -l*p + 3, -3*p + 2*h - 6 = 2*p for p.
0
Suppose -5*o + 6 = -3*t, -5*t + 11*o = 7*o - 3. Solve 18 = t*w - 4*j, -4*w = -0*j + j - 5 for w.
2
Let y be 55/4 - 14/(-56). Suppose -32 = -d - y. Solve 4*f + 4 = -4*q, -d = 4*f - 4*q + q for f.
-3
Suppose -3*b - 6 = -f, 0*f = 3*f + 2*b - 7. Let x(o) = 2*o - 5. Let q be x(4). Solve 3*i + w - f = i, -2*i - 17 = -q*w for i.
-1
Let w(z) = z**3 - z**2 + 3. Let x be w(0). Let p(y) = -2*y**2 + 14*y - 9. Let t be p(6). Solve 0 = -x*c - j - 1, -2*c + 4*j = t*c - 4 for c.
0
Let m = 7 - -5. Let v(b) = -5*b + 2. Let i(w) = -11*w + 5. Let f(a) = 6*i(a) - 13*v(a). Let z be f(4). Solve -m = 3*c, 2*o - 3*c - c - 10 = z for o.
-3
Let j be (19/5 - 2)/(1/10). Solve 8 = 3*d - 4*k, -4*d = 3*k + j + 13 for d.
-4
Let r(v) = v**3 - 10*v**2 + 7*v + 8. Let b be r(9). Let c be (16/b)/((-18)/(-45)). Let n be c/(-5)*(-5)/(-2). Solve -l - q + 3 = -4*l, n*q = -l - 8 for l.
-2
Suppose -g + 5*m = 21, -12*m + 10*m = -g - 6. Solve l = -g, 20*i - 4*l = 18*i + 16 for i.
0
Suppose 6 = -4*h + 30. Let c be 11 + -1 - (h - 1). Solve c*n + 5 = -5*a, -2*a + a - 1 = 5*n for a.
-1
Suppose -2*a - 3*n = -28 - 29, -4*n - 4 = 0. Let m = -11 + a. Solve -3*k - 1 = -x, -5*x - k - m = -10*x for x.
4
Let l be 6/12*10 + -4. Let r = l - -2. Solve 6*q - 4*q - 20 = -5*h, r*q = -3*h + 21 for q.
5
Let p = -493 - -495. Solve 3*i - p*i = 3*t + 3, -5 = 5*t - i for t.
-1
Let o be 3 - (-3 - -4)*-2. Let b(j) = -4*j. Let h = 9 + -10. Let f be b(h). Solve -2*x + o*g = g + 16, -f*g + 28 = -5*x for x.
-4
Let c(k) = k. Let j be c(0). Suppose j = 14*u - 13*u - 1. Solve 0 = 5*i - h - u, -2*i = h + h - 10 for i.
1
Let g = -62 + 59. Let s(q) = 2*q**2 + 5*q - 1. Let k be s(g). Solve 4*p + k*b = 6, -3*b + 6*b + 12 = p for p.
3
Let w(q) = q**3 - 9*q**2 + 12*q - 9. Let b be w(8). Solve -4*d + b = d - y, -5*d - 5*y = -35 for d.
5
Let p = 98 + -96. Solve 0 = -4*k + 5*l - 23, -7 + 3 = 5*k + p*l for k.
-2
Let o(p) = p**3 - 11*p**2 - 16*p + 80. Let q be o(12). Let l(y) = y**2 - 30. Let u be l(0). Let a = q + u. Solve 4 = t - c, -4*t + a*c = -5 - 7 for t.
2
Let q = -203 + 217. Solve -4*n = 2*t + q, 5*n + 5*t + 6 = -4 for n.
-5
Let z = -22343 - -22346. Let k be (-10)/(-6) - 2/(-6). Solve 4*v - 4*p = 16, k*v - z*v - 3*p = 8 for v.
1
Let j = 25 + -34. Let x be 1 + (0 + -5 - j). Solve 2*r + 3*r = -4*d + 8, -5*d + 10 = x*r for d.
2
Suppose -3*t = 2*t - 2*g - 26, -t + 5*g = -19. Suppose -r + t*r + 18 = 0. Let p be r*((-7)/(-2))/(-7). Solve 4*c = 2*m + p*m + 9, 2*m - 3*c = -5 for m.
-1
Suppose 0 = -171*q + 150*q + 21. Solve -3*a - k + 7 = 0, a = 5*k + q - 4 for a.
2
Suppose 0*r - 1 = 3*r - 4*d, 8 = 4*r - 3*d. Let u = r + 2. Suppose 21*o - 128 = -21*o + 40. Solve h = -3*b - u - 9, o*h - b + 12 = 0 for h.
-4
Suppose -13*t = -257 + 218. Solve 4*f = t*f, 3*y = -5*f for y.
0
Let y be (3/5)/((-10)/(-50)). Suppose -3*p + 23 = -2*i, p + 5*i = y*i - 3. Suppose 2*j - j = 4. Solve -p*g + 25 = 0, 3*w - w = j*g - 18 for w.
1
Suppose 5*q - 3*z + 23 = -2, z - 3 = -q. Let a = 3 - q. Solve 4*d + a = -r, -d + 3*d = 0 for r.
-5
Suppose -4*s + 3*w = -11, 2*w - 6*w - 3 = -3*s. 