 -5*r - 5*t + d - 0 for r.
2
Let y = -3607 - -3610. Solve -24 = y*o + 3*j, 4 = 5*j + 29 for o.
-3
Suppose -178*p + 133*p + 1234*p - 2378 = 0. Suppose 3*g - 5*g = 0. Let h be (-1 - (-1 - g)) + 2. Solve -5*v = h*s - 4*v + 2, 0 = -5*s + p*v - 23 for s.
-3
Let b(k) = -51*k + 2845. Let a be b(54). Solve 5*g - 28 = m, -4*g + 126 - a = -5*m for g.
5
Let j = 117 + -114. Suppose -5*f = -5*s - 35, -f + 2*s + 1 = -9. Suppose -5*w - 7*o + 24 = -f*o, 28 = 3*w - 5*o. Solve w = j*k, -10 = -4*d - k - 0*k for d.
2
Let l be ((-24)/5 - -4)/(1/25). Let q(n) = -3*n - 57. Let y be q(l). Suppose -4*u - y = -5*u. Solve -u*o + 5 = -5*i, 1 = -2*i - 2*o + 3*o for i.
2
Let l = -80 - -114. Suppose -3*o - 22 + l = 0. Suppose 4*g + o*u + 4 + 4 = 0, -5*g + 3*u + 22 = 0. Solve g*a + 3*r = -0*r + 5, -3*r - 7 = -a for a.
4
Let a = 1378 + -1373. Solve -a*z = 4*o - 16 + 7, 0 = -2*z - 5*o + 7 for z.
1
Suppose 256 = 28*w + 60. Solve -3*a - 19 = -w*p + 2*p, -4*a + 3*p - 7 = 0 for a.
2
Suppose 553*n - 532*n = 0. Let t = 40 + -20. Solve -j + n*q = 2*q + 9, -3*q - t = -5*j for j.
1
Let l = -13 - -18. Let w(f) = 3 - f**2 + 3120*f + 5 + 1 - 3126*f. Let q be w(-7). Solve q*i + 6 - 23 = l*b, 5*i = -4*b - 7 for b.
-3
Suppose -2*x = -4*x. Let l be 0 + (-46)/(-6) + 56/42. Suppose 5*n + 4*d = 6, -5*n - 9*d + l = -8*d. Solve x*a = n*a - 5*i + 21, -3*a + 5*i - 24 = 0 for a.
-3
Suppose 11*w - 228 = -36*w - 87. Solve 0 = w*n - 3*a - 9, -n + 27 - 18 = 2*a for n.
5
Suppose -u + 2 = 2*i + 4, -2*i - 26 = 3*u. Suppose 0*c + 5*c + 40 = 5*z, 5*c = -z - 16. Let q be (1*u)/z + 5. Solve -p + q = 2*b, b + 1 = p + 8 for p.
-4
Let i(y) = -2*y**2 - 12*y + 9. Let s be i(4). Let v = s + 83. Suppose 12*m - 15*m + v = 0. Solve 0 = -4*c + 5*n - 2*n - 26, -m*c + n - 22 = 0 for c.
-5
Suppose -48 = -4*f + 2*q - 12, 58 = 5*f + 4*q. Suppose 0 = f*s - 13*s + 9. Suppose -s*n - 11 = -14. Solve 3*b = o - 4, -o = -4*b - n - 5 for o.
-2
Let t = 4737 - 4733. Solve -3*w = -t*k + k, -5*w - 14 = 2*k for w.
-2
Let n(o) = 2*o + 4. Let y = 1 + -11. Let q be -4 + (-5)/(y/4). Let l be n(q). Solve 2*k + 6 + 11 = -3*x, l = x - 4*k + 1 for x.
-5
Let s(d) = d**2 + 58*d + 557. Let x be s(-46). Solve 0 = -2*f + 5*r + 9 - 19, -5*f - x*r + 10 = 0 for f.
0
Let f(h) = -h**2. Let c be f(-4). Suppose 0 = -100*t + 39*t + 366. Let g be 9 - (c/(-6))/((-4)/t). Solve -5*k + 0*x + 5*x = 25, 0 = -4*k - 3*x - g for k.
-4
Let d be 2 + -2 - (1 + -36). Let p be (0 - -6)*d/42. Suppose 0 = r + 2 - p. Solve 3*f + r*i - 24 = 0, 2*i = 5*f - f - 2 for f.
3
Let w be 1 - 5 - (-149 + 35/(-7)). Suppose 204 = -3*k - 5*d - w, k + 118 = -3*d. Let i = -116 - k. Solve -c - 3*v - 8 = 0, 2*c - 10 = 2*v - i for c.
1
Let g = 258 - 255. Suppose -g*u + 16 - 10 = 0. Solve -7 = u*i + 4*k + 13, 0 = -3*i - 4*k - 22 for i.
-2
Suppose -68*u - 31*u = 17*u - 1972. Solve -22*l = -u*l + 5*k + 30, -4*l = 5*k + 29 for l.
-1
Let a be (-18)/(-12)*3*(-32)/(-18). Suppose -a + 3 = -d. Suppose 0 = d*r - 4*t - 24, 0 = -4*r + 4*t - 3*t + 17. Solve -p = -2*p + r*y - 11, -7 = -p - 5*y for p.
-3
Suppose 0 = -37*l - 61*l + 196. Solve -l*q - 4*k - 7 = -7*k, -3*q + 5*k = 13 for q.
4
Suppose 2*x - 77 = -5*n, 0*n = -5*x - 3*n + 145. Let k = -9 + x. Let s = 17 - k. Solve -4*f + u = -16, -f + 4*u - 2*u + 11 = s for f.
3
Let n be ((-13)/39)/(8/(-9)) + 37/8. Solve 2*p - 5*c - 25 = 0, -n*p + 12 + 7 = 2*c for p.
5
Let y(g) = -g**2 - 518*g + 7997. Let k be y(15). Solve -133*p + 134*p = 2*o - 3, 4*o - 10 = -k*p for o.
2
Suppose -190 + 358 = -8*b. Let i be b/2*(-2)/3. Solve -s = 5*o + i + 2, 2*o - 5*s + 9 = 0 for o.
-2
Suppose -3*k + 4*k = -33. Let z be 6 + (-130)/15 + (-1105)/39. Let j = z - k. Solve -j*p = 4, -y + 5*y - 2*p + 4 = 0 for y.
-2
Let o be (3 + -5 + -396)/1 + 4. Let j = o + 396. Solve 5*n + 41 = -4*z, -z = 3*n + j*n + 29 for z.
-4
Suppose -2*d = 52 - 76. Let a be 69/d + -2 - (-12)/(-16). Suppose a*c - 36 = -c. Solve 2*j - 15 = -4*i + c, -j - 4*i + 22 = 0 for j.
2
Suppose -333 - 5 = -26*u. Suppose u*i = 17*i. Solve 0 = 4*z + 5*y + 12, i = z - y + 3 - 0 for z.
-3
Let a = -363 + 363. Let u be 30/7 + 26/(-91). Suppose -5*p + 10 = -7*h + 2*h, -8 = 5*h - u*p. Solve h = -3*i + 2*k + 9, -4*k + a = -3*i + 3 for i.
5
Suppose 0 = 2*p - 6. Let s be (-16 - -4)/p - -6. Let d = -666 + 669. Solve -w = -2*o - d, -s*w = 2*w - o + 2 for w.
-1
Suppose -4*n - y = -168, 705*y - 703*y = 4*n - 156. Solve n*s - 38*s + 4*v - 35 = 0, 3*v = -s + 20 for s.
5
Let f(l) = -11*l + 37*l**2 + 23 - 21*l**2 - 15*l**2. Let a be f(7). Let x be (16/(-6) - a/(-15))*-1. Solve 5*u - r + 20 = 4*r, 0 = -x*u - r + 4 for u.
0
Suppose 4*d - 18 = 4*r + r, d = 2*r + 6. Let y = -4 + 7. Let u be 10*(0 - -2 - 98/70). Solve -g = 4*f + 9, -7*f - u = y*g - d*f for g.
3
Suppose -119 = -y - 100. Suppose 17 = 4*u + 4*t - 15, -2*u - y = -5*t. Solve 5*q + 4 = 3*o - 0, -4*q = u*o + 14 for o.
-2
Let z be (-1)/7 - (-6 + 3912/(-42)). Let h = 102 - z. Solve 6*a - h*a - 4*o + 13 = 0, -a - 3 = -o for a.
1
Suppose -4*s = d + 20, -4*d - 32 = 4*s - 0*s. Let f(r) = -6*r - 4 - 2*r**2 - 3*r + 0*r**2. Let i be f(s). Solve -3*w - w + 4 = -3*x, i = 5*x - 4*w - 4 for x.
4
Let t(k) = -2211*k - 15470. Let h be t(-7). Solve 0 = 2*j + 5*b - 12, 0 = 11*j - h*j - 5*b + 6 for j.
1
Let v(y) = 2*y**2 + 4*y. Let x be v(-5). Let s = 716 + -713. Suppose 5*d - 4*k + s = 9, -11 = -4*d - 3*k. Solve -3*h = w + d, -5*w - x = -0*h - 5*h for w.
-5
Let f be 6/28*4*7. Let h(o) = o**2 + o + 102. Let k be h(-11). Let s = k + -209. Solve 2*g - f*g + 13 = -t, s*g = 4*t for g.
4
Let s(f) = 4*f**3 - 10*f**2 + 25*f - 28. Let a be s(2). Solve t = -0*g - 4*g + 4, -a = -g + 3*t for g.
2
Suppose -862 = 22*o - 100*o - 160. Solve o - 1 = 4*p, a + 7 = p for a.
-5
Let g be 21 + (6 - 5)*3. Suppose 0 = 2*d - 0 + 38. Let b = g + d. Solve 4*i = -4*w - 12, -w + 2*w + b = -3*i for w.
-2
Suppose -m = 0, 2*m + 0 - 12 = -4*n. Suppose -2*o = n*p - 4, p + 10 = 5*o - 0*p. Let x = 26 - 26. Solve 0 = 3*h - 0*c + o*c + 5, x = 3*h + 4*c + 7 for h.
-1
Let v(n) = 0 + 7 + 9 + 0 + 7*n - 8*n. Let k be v(12). Suppose 3 = h - z - 13, 0 = 5*h - 3*z - 78. Solve 3*u - x + 20 = -0*x, k*u + h = -x for u.
-5
Let l be (-8)/10 + 2/((-30)/(-1197)). Suppose -61 - l = -14*x. Solve 2*k - 2*j - x = -0*j, 3*k - j - 11 = 0 for k.
3
Let i be (14/8)/(-7)*0/(-4). Suppose -4*g = -2*n, -3*n = 3*g - i*n - 18. Solve h + 10 = -3*o, g*h - 5*h - 2 = 2*o for o.
-4
Let f = 3232 + -3196. Solve 5*p - f*i + 35*i = 24, -3*p = -2*i - 20 for p.
4
Let c(w) = 48*w - 3116. Let q be c(65). Solve -5*n - q = -14, 4*h - n - 2 = 0 for h.
1
Suppose -2*x + 6 = -6. Suppose -2*k = 5*a + 1 - 7, 0 = -2*k - 4*a + x. Let p(w) = -6*w - 25. Let s be p(-5). Solve 1 = -5*v + k*i + 29, -s*i = v for v.
5
Let q = -43 - -46. Suppose -3*a - 21 = -q*j, 2*j + 16*a - 16 = 19*a. Solve l - 5*l + 5 = 5*r, -j*l = 0 for r.
1
Suppose 2265 = -4*i + 2*v + 2479, -183 = -3*i - 3*v. Solve x - 1 = 0, -54*x + i*x + 2 = p for p.
4
Suppose -3*b - 14 = 9*x - 5, -2*b - 3*x = 0. Solve -o - 2 = 3*y - 16, -b*o + 2*y - 2 = 0 for o.
2
Let m(z) = -23*z - 2. Let d be m(-2). Let r = d + -32. Suppose 0 = -k + 34 - r. Solve -k = -5*u - 2*v, -5*v - 5 + 30 = 5*u for u.
4
Let z = 143 - 138. Suppose 0*x = -x + 18. Suppose 2*c - x = -10. Solve -c*j - 1 = -z*h, -3*j - 10 = j - 2*h for j.
-4
Let t be (-148)/(-7) + (-40)/280. Suppose -n + 2*q - 1 = -15, 0 = -4*n + q + t. Solve -4*d + m + 1 = 0, n = 4*d - 4*m - 0*m for d.
0
Suppose -41*i + 43 = 15*i - 13*i. Solve -3*d - 5*v - i = 0, -58*d + 63*d + 7 = -3*v for d.
-2
Suppose 0 = 18*r - 17*r + 1. Let h(i) = -101*i**2 - 11*i - 10. Let g be h(r). Let c be (-1)/(1*4/g). Solve 2*u - 11 = 5*u - s, -5*s + c = 0 for u.
-2
Let k(d) be the first derivative of -2*d**2 - 48*d - 10. Let s be k(-13). Solve 0 = 5*w + s*h - 0*h + 16, 11 = -3*w - h for w.
-4
Let f be (-12282)/(-621) + ((-14)/9)/(-7). Solve f*r = 3*d + 18*r + 8, -2*r = 4 for d.
-4
Let q(r) = 3*r**2 - 204*r. Let u be q(68). Solve 4*p + 16 = 4*l + 8, -5*l + 10 = u for p.
0
Suppose -w = 4*u + 4 - 49, 4*w = 2*u + 90. Let h be (-8)/6 + w/3. Suppose -c + 4*c = -l, h = 2*l - c. Solve -n - 3 = -j, -3*n + 9 = 2*j + l for n.
0
Suppose -160 = -49*s - 4*s + 52. Solve -7*a + s*c = -4*a + 8, 0 = -4*a - 3*c + 31 for a.
4
Let d = 218 + -189. Suppose 31*v - 6 = d*v. Solve 5*a = -v*t - 25, 5*t + a = -a - 10 for t.
0
Let b(j) = 546*j - 543. Let p 