 - 3 = -2*o - 7 for o.
-2
Suppose 2*l - 3*l - 51 = 0. Let z = -8982 - -9050. Let d = l + z. Solve 2*b = -0*b - 5*f + d, 12 = 4*f for b.
1
Let g be (-12)/(-42)*-1 + 64/28. Solve -2*w + 4*u = -g, 0 = -5*u - 5 - 0 for w.
-1
Let y = 8 - 6. Suppose -22 = 4*h - 130. Let i be (3/(-12)*3)/(h/(-36)). Solve -y*s - i - 1 = 3*f, 3*s = f + 19 for f.
-4
Suppose 144*n + 1745 = 5489. Solve n*z - 21*z - 20 = 0, 5*z - 8 = -4*a for a.
-3
Let s(w) = -82*w - 733. Let o be s(-9). Solve -2*x - f - 19 = -4*f, -2*x = -o*f + 29 for x.
-2
Suppose 2*f - 1767 = -227. Suppose -5*w = 9*w - f. Let y be (-3)/(2 + w/(-20)). Solve 9 = m + y*v, 4*m + 6 = 3*v + 2*v for m.
1
Let x(r) = -35*r - 326. Let t be x(-16). Suppose -32 = -t*u + 232*u. Solve 2*j - 5*f - u = -0*j, -3*j - 3*f = -3 for j.
3
Let k be (0 - -3)/((-3)/(-1204)). Suppose f + k = 15*f. Let l = -83 + f. Solve 5*s + 3*q - 2 = l*s, -32 = 4*s - 3*q for s.
-5
Let r = -10449 - -10473. Solve 2*h = 4*b + r, -3*h + 16*b = 14*b - 20 for h.
4
Let z be (-16)/48 - 1/(-3)*16. Let p be (-20)/(-15) + 16/6. Suppose 1 = q - p. Solve 40 = -z*o + a - q*a, 3*o + a = -17 for o.
-4
Suppose -4*a = a + 3*o - 3770, 0 = 2*a - 5*o - 1477. Let g = a + -748. Solve l - z = 10, -4*l + g*l = -2*z - 15 for l.
5
Let w(b) = b**2 + 14*b - 69. Suppose 4*c - 5*y = -92, -2*c - 2 = 3*y + 22. Let j be w(c). Solve j*k - 2*n + 6 = 0, 3*k + 5*n = -k - 31 for k.
-4
Suppose -25*r - 8*r = 9 - 75. Solve -3*m - 2*m + 26 = 3*f, -r*f + 7*m - 24 = 0 for f.
2
Let p be (-1)/(2*1/(-14)). Let t be p/2 + 1/4*2. Let k = -489 - -491. Solve -3*u - 3 = 0, -t*u - 9 - 5 = k*s for s.
-5
Suppose -3*f - 5*k + 70 = 0, 3*f - 85 = -0*f + 10*k. Solve 5*y = 5*u, 8*y - 9*y - f = 4*u for y.
-5
Let b be ((-58)/(-6))/1 - 6/9. Suppose b*t = 11*t + 712. Let x be (-42)/231 + t/(-22). Solve 5*s - w + 10 = -5*w, -4*w = 2*s + x for s.
2
Let w(s) = -3246*s - 12980. Let h be w(-4). Solve 7*o - h*o - 3*v = 0, -16 = -5*o + v for o.
4
Suppose 3*a = -u, -13*u + 8*u + 2*a = -17. Suppose -4*q = l + 10, -u*l = l + 4*q + 4. Solve 5*w + x = -1 + 7, l*w + 4 = -2*x for w.
2
Let r(a) = -a**2 - 6*a - 8. Let o be r(-3). Let g(d) = 13*d - 12. Let n be g(o). Solve -5*k = 2*m + 29, -m + 4*k + n = -17 for m.
-2
Let a(w) = 37*w + 968. Let s be a(-26). Solve -4*c = 5*t - s, -c + t - 1 + 7 = 0 for c.
4
Suppose -4*t = -l + 3*l + 622, -t - l - 156 = 0. Let n = t + 159. Solve g + n*g + 9 = 4*h, 4 = -4*g for h.
1
Suppose 8*r - 1638 = -10*r. Suppose -64*g + r*g - 108 = 0. Solve 5*j - 2 = g*h, 3*j + 0*j = h + 4 for j.
2
Let t = -6042 - -6054. Solve -2*s + 4*j - t = 0, 2*s + 10 - 8 = -j for s.
-2
Let c = 2420 - 2416. Solve 24 = -2*l - c*f, -5*l - 3*f - 12 = 13 for l.
-2
Let h be (19/2)/((-10)/(-12 - 8)). Suppose -7 = -4*m + o, -8*o - h = -3*m - 10*o. Solve c - 6 = 2*g, 4*g - m = -23 for c.
-4
Suppose 6 = -2*y - 2*x, -12 = 5*y - 6*y + 2*x. Solve 5*q + y*c = c + 22, 0 = -2*q + 4*c for q.
4
Let v(q) = 2*q**2 - 40*q + 77. Let g be v(18). Solve -5*r + 4*o + 9 + 2 = 0, -r = o + g for r.
-1
Suppose n - u = 50, 4*n - 231 + 39 = 2*u. Suppose 36 - n = -5*x. Solve -x*c - 5*q + 10 = 0, 0 = -2*c - 2*c + 3*q - 32 for c.
-5
Suppose -3*c + 0*c = 3*u - 96, -3*c - 2*u + 99 = 0. Suppose -4*y - 1399 + 83 = 0. Let a = 329 + y. Solve -4*v + 4*j + c = -j, a = 3*v - j - 18 for v.
5
Let d = 78 - 82. Let a be (6/d)/(21/(-42)). Let t = -26 - -39. Solve -t + 1 = a*v - 3*k, 0 = -2*v + 3*k - 10 for v.
-2
Suppose -5*o = a - 0*a - 13, -4*a + 4 = -4*o. Solve -3*j + 2*h - 9 = 0, o*j - 5*j + 5*h - 18 = 0 for j.
-1
Suppose 2*p + 47 = 3*u, -3*u + 8*u + 4*p = 71. Let x be 3/4*(-10)/u*-8. Solve -3*h + 32 = -5*s, 0 = 4*h + 5*s - 2*s - x for h.
4
Let u be ((-20)/(-16))/(((-22)/77)/((-40)/35)). Solve 5*q = u*b - 12 + 2, -3*q + 10 = b for q.
2
Let s be (-76)/(-14) - (3/(-35))/((-3)/15). Solve 0 = -x + 3*f + 13, 4*x + s*f + 23 = 5*x for x.
-2
Let z = 7 + 7. Suppose 6*i = z - 2. Let j be ((2 - i)/(-2 + 1))/(-3). Solve -2*a = w - 6, -5*a = 5*w - 10 - j for a.
4
Let u = 244 + -239. Suppose u*i - 5*c = 20, -i - 3*c = -2*i + 4. Solve 0*g - i*g = -p, -p - g + 5 = 0 for p.
4
Let l = -7428 - -7430. Solve 3*j = i - 12, -l*j + 3 - 18 = -3*i for j.
-3
Suppose 108*q + 110*q = 872. Solve 0 = q*s - 4*z - 20, -11 = -z - 15 for s.
1
Let x = 2532 - 2528. Solve -4*d - x = -4*r + 4, 4 = -2*d - 5*r for d.
-2
Let h(o) = o**2 - o - 1. Let s be h(3). Suppose 0*f - 67*f + 201 = 0. Suppose 366 = f*x + 360. Solve -4*j + 10 = -x*r, 4*r - r - s = j for r.
3
Let r(h) = -h**3 + 12*h**2 + h - 4. Let p be r(12). Suppose -63 + 327 = p*b. Let m = b - 29. Solve -5*c + m*t - 5 = 0, -5*c = -c + 4*t - 32 for c.
3
Let v(y) be the first derivative of y**4/4 + 11*y**3/3 + 9*y**2/2 - 7*y + 112. Let f be v(-10). Solve -w + 14 = f*l + l, 0 = 4*l - 2*w - 20 for l.
4
Let r(s) = -s + 1. Let n be r(-5). Suppose 13*l + 2 = 2. Suppose l = o + 106 - 109. Solve n*m - 5*m = i - 3, 8 = o*i - 2*m for i.
2
Suppose 5*u - 4*n = 16, -23*n + 12 = 3*u - 26*n. Suppose -141 = -47*q - u. Let k be 201/15 - 2/5. Solve 5*h + 4*j = 17, -3*h - q*j - 1 = -k for h.
1
Let s = 2324 + -2321. Solve -2*d = -2*y - 2, -s*y = y + 4*d + 12 for y.
-2
Suppose -3*a + 28 = 3*w + 1, -39 = -5*w - 3*a. Suppose 18*i = -15*i + 528. Let o be -2*1/(-2)*(-190)/(-38). Solve 0 = -5*p + o*v - w + i, 2*v = -2*p + 16 for p.
5
Suppose -2*s = 3*h - 3, -s - 193 = -15*h - 145. Solve 4*b = b + h*j + 6, -4*j - 14 = -2*b for b.
-3
Let v be (18 - 5 - 33/3)*1. Solve 13 = -b + 4*y, 47*b + 2*y = 49*b + v for b.
3
Let a be -2 + (-351)/51 - 4/34. Let n(x) = -x**2 - 7*x + 23. Let k be n(a). Suppose -6*d + 5*d = -k*d. Solve 0 = 5*h + 2*v + 2 - 28, d = h - 3*v + 5 for h.
4
Let s be (-592)/(-48) + -1*(-3)/(-9). Solve 10*x - 7*x + 15 = -3*c, 4*c = 4*x - s for x.
-1
Let m = 23 - 16. Suppose -m - 2 = -3*p. Suppose -2*z - 30 = -3*k + p*z, k - 2*z - 11 = 0. Solve -2*f + 4*r - 2 = 0, -k*f - 19 = 4*r - 0*r for f.
-3
Let x(i) = 3*i - 104. Let t be x(34). Let j be (-110)/44*t/(-1)*-1. Solve 0 = j*o - 3*h + 25, 7*o - 3*o = 4*h - 20 for o.
-5
Suppose -5*h - 4*z + 11 + 71 = 0, -4*h + 4*z = -44. Suppose -o + 17 + h = 0. Solve -2*q - o = 5*w, -2*q + 2*w + 5 - 1 = 0 for q.
-3
Suppose 128 - 32 = 40*p - 24. Solve 12 = -4*r + p*f, 22*r - 25*r = 3*f + 9 for r.
-3
Let t(r) = 10*r**2 - 12*r**2 + 5 + 10 - 20*r + 10. Let q be t(-11). Solve -5*m - 21 + 1 = 0, 0 = -x + q*m + 10 for x.
-2
Suppose 0 = 5*x - 34 - 41. Let k = 20 - x. Suppose 0*s - 12 = a + 5*s, 3*s + 24 = k*a. Solve a*o = -2*o - 2*q + 10, -3*o - 2*q = -10 for o.
0
Suppose 105 = 5*z - 5*v, 0 = 3*z - v - 18 - 41. Suppose 6 = 22*i - z*i. Solve 3*s - j - 3 = 2*s, 0 = -i*j for s.
3
Suppose 3*g = 5*g - 4. Let q = 9 - g. Let y = q - 7. Solve y = 4*u, -3*u = -4*l + 8 - 0 for l.
2
Let y be ((-6)/8)/(772/(-64) + 12). Let q = y + -9. Let r be 1 + (-22 - 1)*-1. Solve -3*h = 2*b - b - 13, -q*b = 4*h - r for h.
3
Suppose 87*v - 56 = 171*v - 98*v. Solve -3*j + 17 = -v*x, 2*j = x + 6*j - 10 for x.
-2
Suppose 3*i - 4*n = 3, 2*i - 3*n + 4*n = 13. Let c = 699 - 696. Solve i*y - 36 = -4*z, 2*y = -c*y - 3*z + 32 for y.
4
Let h be (5 - 2) + 1/(7/602). Let i = -85 + h. Let b = 1 - -2. Solve 5*s - 26 = -p, s = i*p - 2*p + b for s.
5
Let v be 6/27 - (-134)/(-2412)*64/(-2). Solve -r = -v*c - 1, 3*c + 70*r - 67*r = -15 for c.
-2
Suppose -35 + 14 = -29*k + 124. Solve -6 = -k*t - r, -4*t + r + 2*r + 20 = 0 for t.
2
Suppose 0 = -2*x - 0*x + 8. Suppose -3*j = 2*n - 4, 198 = 5*j + n + 189. Solve x*h + j = u + 11, -5*h = -5 for u.
-5
Suppose -19*p + 49326 = 49288. Let n = -1 + 3. Solve -3*z - n*i = -19, 0 = -4*z + p*z - 3*i + 21 for z.
3
Let d be (0 + 1)*1*(-60 + 63). Solve 0 = d*w - 3, 4*x + 0 + 7 = 3*w for x.
-1
Suppose 9 = -5*t - 1. Let s = t - -3. Suppose 4*d = 4*l + 4 + 8, -3*l + d = -5. Solve j + 1 = -l*c - s, -3*c + 5*j = -10 for c.
0
Let c = -41 + 43. Let s(p) = p**2 + 3*p - 5. Let j be s(c). Suppose 4*o + d = 30, -j*d = -o - 2*o + 34. Solve -n + 4*f = 4 + o, 5*n = 3*f + 8 for n.
4
Let c(r) = r - 3. Let n be c(6). Suppose 63*a + n = 66*a. Suppose 5*s - u - 25 = 0, s + u + 0 = -a. Solve 4 = 2*z + o, 3*z + 20 = s*o + 4 for z.
0
Let v be 17/(-170) + (-1)/((-30)/723). Let n be (-16)/(-7) + v/(-84). Solve n*w + f - 3*f - 4 = 0, -4*w + f - 1 = 0 for w.
-1
Let g(d) = -3*d**3 - 3*d**2 + 4*d + 9. Let y be g(-2). Solve 2*k + y = -s, -6*k + 10*k + 14 = 2*s for s.
-3
Let m =