r u.
2
Let d = -232 + 236. Solve -c + 10 = -5*v + c, -3*c + 8 = -d*v for v.
-2
Suppose 3 - 25 = c. Let t = -4 - c. Suppose -22 = -w - t. Solve 4*h - 4*x - w = -3*x, 0 = -2*h + 5*x - 16 for h.
2
Let u be -2*(-5)/((-3)/(4 + 2 + -12)). Solve j - 1 = 2*q, -u*q = -18*q for j.
1
Let j be ((1/3)/(11/(-33)))/(3/(-15)). Solve 8 + 2 = -4*s + j*n, n = s + 2 for s.
0
Let a = 18058 - 18055. Solve -140*z - 13 = -3*w - 139*z, 0 = -2*w - a*z + 5 for w.
4
Suppose 3*m = 3*z - 30, -58*m = 3*z - 57*m - 42. Solve 10 = -5*j - 4*y, j - z*y + 2 = -14*y for j.
-2
Suppose 0 = 3*i, -2*a - 7*i = -3*i + 6. Let u be (((-3)/(-2))/(-1))/(a/18). Solve -5*m - 3*o - 19 = 0, -3*m - o = -0*o + u for m.
-2
Let d(u) = u**2 - 7*u - 9. Let p be d(9). Suppose g - 6*g = -20. Suppose -16 = -4*l + 4*i, -g*i + 8 = 2*l - 2*i. Solve -x - 3*q - p = -26, 18 = -x + l*q for x.
2
Let f(m) = -m**3 - 8*m**2 - 5*m + 17. Suppose -3*o + 5*o - 3*u = -26, -o + u = 11. Let p be f(o). Solve r + 11 = 5*b + p, -b + 5*r - 8 = 0 for b.
2
Suppose -4*k = -7*k - 12*k - k. Solve 2*t + v = -k*v + 7, -v - 11 = -4*t for t.
3
Let x = -6553 - -6553. Solve -2*w - j + 3 = x, -77*j + 80*j = -3*w for w.
3
Suppose 60*v - 88*v + 143 = 31. Solve 3*m - m + 16 = v*i, -i + 4*m + 4 = 0 for i.
4
Suppose -34 = -w + 3*u, -14*u - 112 = -4*w - 10*u. Suppose w*g = 16*g + 189. Solve -4*l - 5*m + 17 = 0, -2*l - 6*m + m + g = 0 for l.
-2
Let d(j) = -9*j - 173. Let s(a) = -5*a + 5. Let y be s(5). Let v be d(y). Solve 2*u = 5*c - 16, v = 4*c - 1 for u.
-3
Suppose -41*p + 32 = -49*p. Let u be (-6)/p + 43/86. Solve -7 = 6*v - 3*v - 2*d, -d = u*v - 7 for v.
1
Suppose -4*y - 2*d = -78, 3*y - 4*d - 43 = 21. Solve 5*r = y, -r = a - 3 + 4 for a.
-5
Let q be (7/3)/((-1)/(-6)). Suppose -n + q = -11. Suppose n - 43 = -3*k. Solve x = -3, 4*x = -k*j + 4*j - 16 for j.
-2
Let f be (7/(-35))/((-2)/30). Suppose 35 = f*a - 79. Let j = a - 33. Solve 3*h = j*p - 10, 2*p - p = 4*h - 15 for h.
5
Let n(s) = 23*s + 463. Let q be n(-20). Suppose -q*g = 1120 - 1192. Solve 0 = -4*i - 4*y - g, 2*i + 12 = -3*y - 2 for i.
-4
Let x = 41 + -45. Let k(p) = p + 16. Let o be k(x). Suppose -o = y - 17. Solve -2*u - 12 = 2*i, y*i = 5*u + 1 - 11 for u.
-2
Let w = -228 + 232. Let j be w + 185/(-45) - (-2)/18. Solve 3*f = 3*a - 18, 5 = -2*f - 5*a - j for f.
-5
Suppose -23*h + 5*h = 14*h. Solve -2*f = 3*v + 2 - h, 0 = 2*v for f.
-1
Let g = 0 + -13. Let q = g + 15. Solve 4*t + 12 = 5*u, 0 = -q*u + u + t + 2 for u.
4
Suppose 0 = 3*w - 3*h - 65 + 35, 4*w - 9*h - 60 = 0. Solve 3*c + w = -x, 2*x + 196*c + 4 = 194*c for x.
0
Let f(v) = 15*v**2 + 157*v + 75. Let g be f(-10). Solve r + z + g = 0, 13*z + 3 = 10*z for r.
-4
Suppose l = 3*d - 28 + 9, -5*d + 5*l = -25. Suppose 15 = 4*h - 2*t - d, -3*t - 8 = -h. Solve -5*c = -4*w + 40, 0 = -h*w + 2*c + 9 + 24 for w.
5
Let y(m) = -m + 3. Let l be y(0). Let q be 2/4 + (-4815)/(-30). Let n be ((-138)/q)/(6/(-21)). Solve -5*t + h + 10 = -l*h, n*t = -5*h - 31 for t.
-2
Let w be (8/14)/(2/14). Let c = 16 - 3. Suppose 2*j + j - 4*d - 15 = 0, 3*j - d = 24. Solve -3*q = l - j, w*q = -3*l + 2*l + c for q.
4
Suppose 12*i = 3*i + 29 + 7. Solve l - 10*k = -5*k - 20, 5*l = -i*k - 13 for l.
-5
Suppose 0*g + 27 = -5*g - 3*u, -2*u = 4*g + 20. Let k = g + 10. Suppose 2*o = 2*s, k*s - 10 = 2*s. Solve 0 = -o*m - 4*h + 6, 0 = m - 0*m - h for m.
1
Let l = -4635 - -4649. Solve q + 8 = 5*a, -2*q + 4*a - 24 = -l for q.
-3
Let k be (1 - 2)*-3*7. Suppose -5*d - 2*d + k = 0. Solve -16 = d*x + 4*f, -4*x + 2*f - 12 = 5*f for x.
0
Let r = 26 - 16. Suppose 4*i = -20, 0*q + q = 2*i + r. Solve q*g - g + 6 = d, 0 = -3*d - 2*g + 13 for d.
1
Let r be (-8)/(-48) - 33/(-18). Suppose -2*k + r*m + 4 = -2*m, 3*k - 11 = m. Solve -2 = -2*s + k*x, -s + 3 = s - 5*x for s.
-1
Suppose 19*o - 5*g - 10 = 21*o, -5*o - 8 = 4*g. Suppose o = -23*r + 74 + 41. Let q = 12 - 7. Solve -l + 5*h = 2*l - 16, -q*l - r*h = 0 for l.
2
Suppose 0 = 4*a - 4*p - 20, -3*a = 5*p - 3 + 4. Suppose t + 72 = 7*t. Let h be 1/((-3)/t*-2). Solve 18 = a*g + 3*y, -g + 3*g - h*y - 4 = 0 for g.
4
Suppose 2*o + 126 - 152 = 0. Suppose -o - 20 = -4*h + 5*n, -h + 9 = -2*n. Solve 0 = 4*z - 0*z - w - 11, -z - 4*w = -h for z.
3
Suppose 35070*r - 138 = 35024*r. Solve 2*s - r*d = d - 10, -11*d + 21 = s for s.
-1
Suppose -43*k + 265 - 179 = 0. Suppose 0 = -2*i, 1 = -2*g - i + 9. Suppose g*u - 78 = -k*u. Solve -3*j + 4*j = 4*c - 3, 3*j = c + u for j.
5
Let f be 1 + (1 + 0)*-1. Let r be (0 - 570)*(6/(-15) - f). Let n be r/16 - 2/(-8)*3. Solve n = -3*o, -6*t + 2*t + 4*o = -8 for t.
-3
Suppose -54 = -182*j + 173*j. Solve -2*c = -15*q + 10*q + 6, -2*c - j = 4*q for q.
0
Let w be 0/(-4 - (-1 + -4)). Let j be 1/3*w/(4/(-1)). Suppose j = 3*v + v. Solve 0 = -2*x - o + 5, v = -2*o + o - 5 for x.
5
Let k(v) = -23*v**3 - 68*v**2 + 6*v + 11. Let s be k(-3). Suppose 4*y + 8 = 4*r, -6 - 4 = -5*r - 3*y. Solve -2 = -r*i + 3*a, -1 = i - s*i - 5*a for i.
1
Let r = 6869 - 6855. Solve -r = 5*o - 3*x, o - x = -o - 6 for o.
-4
Let z = 200 + -254. Let l = z + 58. Solve -3*q - 17 = m - 0*q, l*q = -m - 22 for m.
-2
Suppose 0 = 2*n - 14 + 4. Suppose -3 + 18 = n*g. Let x be ((-1)/g)/((-4)/48). Solve -5*b + 6 = 4*f, x*f + 2*b - 14 = b for f.
4
Suppose -806 = -245*a + 164 + 255. Solve -3*r + 35 = r + 5*z, a*z - 30 = -3*r for r.
5
Let t(m) = m**2 - 202. Let w be t(-17). Suppose 0 = -2*o - 45 + w. Solve 5*u = -3*d + 35, 5*d - u + 0*u = o for d.
5
Suppose 0 = -25*b + 181 - 6. Suppose 3*j - 22 = -3*i - 2*i, 0 = -2*i - 3*j + b. Solve -3*y - i*m = -19, 0*m - 2*m = -4 for y.
3
Suppose 0 = -4*t - 6*a + 60, -3*a - 42 = -959*t + 955*t. Solve -25 = 7*l - t*l + 2*j, 0 = -5*j - 25 for l.
3
Let v(f) = -86*f - 4. Suppose 46*j - 4 = 44*j. Let z be v(j). Let u be (1/(-2))/(11/z). Solve -3*l - u = -0*l + 5*q, 2*l + 1 = q for l.
-1
Let z be (28/((-560)/(-60)))/(6/8). Solve 5*i + 13 = z*x, 0 = -x + 2*i + 3 + 4 for x.
-3
Let i(o) = o**2 + 19*o - 6877. Let a be i(-93). Solve 151 - 121 = a*y + 2*z, 4*y = 4*z - 4 for y.
4
Suppose 161*y - 646 = -163. Solve -4*w - 18 = 3*p + 5, 4*p + 19 = -y*w for w.
-5
Suppose 184 - 169 = 5*b. Suppose -6 = -b*r - 3*y, 5*y = -7*r + 6*r - 6. Solve 2*f = -5*a - 2, f + 5*a = 5*f + r for f.
-1
Suppose 5*m + 4*p = -62, 7*p - 4*p = -5*m - 59. Let n be 12/(((-12)/10)/(8/m)). Solve -j = 3*u - 5*j - n, 2*j + 4 = 0 for u.
0
Suppose 0 = -97*h + 13*h + 252. Solve 5*o + 3*f = -18, o + 3*f = h*o + 3 for o.
-3
Let c be 1 + (6 - -1 - 0). Solve -3*z - c = -y, -9 = -2*z - 3*y - 29 for z.
-4
Suppose -181 = -37*b - 33. Solve -f = -n + 3 + 5, 0 = b*f + 3*n + 11 for f.
-5
Let f(v) = 5*v**2 - 2 - v - 2 + 3*v + 6 - 5*v. Let x be f(1). Solve 0 = -4*d - 5*z + x, z = 5*z for d.
1
Let b(c) = c**3 - 24*c**2 - 216*c + 22. Let j be b(-7). Solve -g + 9*w - 6*w = j, -g = 5*w - 33 for g.
3
Let v = 3 + -3. Suppose -291*l + 290*l = -16. Suppose -l = 725*j - 733*j. Solve 20 = 4*u - v*r - 4*r, -5*u = j*r - 11 for u.
3
Let w be (-1*1)/(3/(-12)). Suppose -36 = -5*t - 2*k, 4*t + 17*k - 40 = 21*k. Solve 0 = w*y - t, b = -6*y + 3*y + 11 for b.
5
Let i(z) = -41*z + 103. Let m be i(6). Let d = m - -145. Solve d*c + 5*n - 17 = 4*c, -c + 2*n = 6 for c.
4
Suppose -3*z + 7 = 10, 12 = 3*v - 3*z. Solve v = o, o = -2*r - 15 + 26 for r.
4
Let f be (6/4)/(((-10)/4)/(-5)). Suppose -m + 10 = -f*m. Let v be ((-75)/5)/(-3) + m. Solve 5*a + l = 2*l + 22, -5*a - 3*l + 14 = v for a.
4
Suppose 173*n = -151*n + 302*n. Solve n = 2*h - i - 4, -4*h + 3*i + 6 = -6 for h.
0
Let q be (-12)/15 - -28*5/50. Solve 0 = q*g + 4, -30*g + 1 = -5*h - 28*g for h.
-1
Suppose -s = 2*q + 309, 21*q - 22*q - 1536 = 5*s. Let j = s + 312. Solve 20 = -4*a + 2*h, -2*a - 5*h = -3*a - j for a.
-5
Suppose -5*h + 11 = -5*g - 4, -4*h = 4*g + 28. Let d be ((-3)/h)/(27/72). Solve 0 = -x + d*w - 4, w = 5*x + 3*w + 20 for x.
-4
Let x = 35 - 33. Suppose -d + x = -2*y, -1 = 3*d - 3*y - 7. Solve -2*a - d*a - 8 = 3*m, 0 = 5*a - m - 9 for a.
1
Let l = 4 + -1. Suppose -176 - 148 = -2*y. Suppose 412*o = 403*o + y. Solve -k = -l*n - 0*n + 16, 0 = -3*n + 3*k + o for n.
5
Let i(d) = -d**2 + 22*d - 19. Let k be (-35)/(-10)*(-1 + 7). Let g be i(k). Solve 2*a - g*c = 12, 2*c = 2*a + 4*c - 8 for a.
5
Let y(n) = 8*n + 331. Let g be y(-39). Solve -g = 4*m - 5*a, 5*m = -4*a - 1 + 8 for m.
-1
Let c(t) = -107*t - 91. Let i be c(-1). Solve -202*a + i = -2*w - 20