= 0, 3*f + a = -3*s + 7*s for s.
5
Let l(p) = p**3 - 75*p**2 + 353*p - 11. Let a be l(5). Solve a*b = y - 23, 3*y - 29*b + 16 = -34*b for y.
3
Let y = -5355 - -5360. Suppose -5*r - 4*z + 14 = 0, 4*r + 1 = -5*z + 5. Let l = 21 - r. Solve -4*v = -a + l, -v - 2*a - y = -2*v for v.
-5
Let h be (14/(-3))/((-32)/48). Suppose -16 = 3*i - h*i. Solve -s - 22 = i*o, -4 = 5*s + o + 11 for s.
-2
Let z(p) = -2*p**2 + 199*p + 309. Let n be z(101). Solve 0 = -g + 4*y - n, 2*g + 33*y + 6 = 35*y for g.
-2
Suppose -3*o + 3*v + 1 = -8, 9 = 3*o + 2*v. Let m be -1 + (0 - -4) - o. Suppose -f - 1 + 4 = m. Solve d = 2*r - 0*d - 9, -2*r = -f*d - 7 for r.
5
Let h(p) = -21*p - 491. Let m be h(-25). Solve 2*f + 42 = -o + m, -f - 2*o = 10 for f.
-2
Let k(n) = -6*n**3 + 45*n**2 - 68*n - 21. Let m be k(5). Solve -m*r + 17*r + 8 = l, l - 3 = -2*r for l.
5
Let k be 3/(-2)*(-12)/9. Let x = -11 + 11. Suppose 160*o - 537 = -19*o. Solve -4*i + k = -o*i, x = 5*w + i - 22 for w.
4
Let q(b) = 15*b - 22. Let d be q(2). Let l be 0 + (d - 2 - 6). Solve 3*p - u + 0 - 15 = 0, -p + 3*u + 13 = l for p.
4
Let p = 86 + -138. Let c = -47 - p. Suppose c*b - 8*w - 65 = -10*w, 0 = -2*b + 2*w + 12. Solve 5*n + 2*f + 2*f - 15 = 0, 4*n - b = -3*f for n.
-1
Suppose 6*w - 5*w = o - 12, -15 = -3*o. Let v(c) = 2*c**2 + 19*c + 35. Let h be v(w). Solve h*k = 3*k - 12, -3*k = -a - 8 for a.
4
Suppose -4487*d = -4503*d + 240. Solve 15 = -2*v + o, d = v - 22*o + 26*o for v.
-5
Suppose 0 = -15*d + 7 + 18 + 5. Solve 3*j = -d*i + 16, -2 - 10 = -2*j - 2*i for j.
4
Let s = 2 - 2. Suppose 3*h = -0*h + 15. Suppose 10*u + 80 = 14*u. Solve -13 = 2*r - 2*m + 3, s = -r + h*m - u for r.
-5
Let d = -658 + 660. Solve -2*n - d*n = 5*j - 19, -n = -4*j + 11 for j.
3
Suppose -125 = -32*x + 67. Solve -x*i + 3*b - 7 = -i, 5*b = -5*i + 25 for i.
1
Let u = -5 - -10. Suppose u*l = 32 - 92. Let h(a) = a**2 + 14*a + 24. Let i be h(l). Solve -6*r + 2*s - 4 = -4*r, -5*r + s + 6 = i for r.
2
Suppose 0 = 71*w - 67*w. Let r be w - ((-4 - -7) + -7). Suppose 0 = b + r*x + 17, 0 = 3*b + x + 2*x + 6. Solve 4*g - 5*f = 29, -5*g + f - 5 = b*f for g.
1
Suppose -d = -8 + 9, 3*g - 4*d = 562. Let o = 201 - g. Solve -n = 4*i + 10, -3*n + o = -0*i - 3*i for i.
-3
Let d = 136 + -133. Suppose -d*u - 24 = -3*h, 0*h + 16 = -h - 5*u. Solve 5*m - 10 = -2*v, 0 = m + h*m - v - 10 for m.
2
Let y = -13359 + 13364. Solve -3*h - 5 = y*u, -3*u - 18 = 4*h - 2*u for h.
-5
Let k = 9515 + -9515. Solve 5*b + 3*l - 29 = k, -25*l - 23 = -5*b - 26*l for b.
4
Let q be 2*1 - (0 - 1). Let l be (-11 - (-588)/48)*(-72)/(-45). Solve -q*h + 3 = -3*b, -h + 4*b = 13 - l for h.
5
Let r = -19678 + 19728. Solve 2*b + 4 = 2*w - 6*w, 5*w + r = 5*b for w.
-4
Let i = -114 + 130. Suppose -17 = -11*f + i. Solve f*h = 2*k - 3, 4*h + 3*k = 1 - 5 for h.
-1
Let x(s) = 10*s + 151. Let g be (-13 + 1)*(-165)/(-132). Let l be x(g). Solve n - 2*n + r + l = 0, 0 = 2*n - r + 3 for n.
-4
Let q be 323/68 - (-1)/4. Suppose o = -17*s + 21*s + 14, q*o = -3*s + 1. Solve o*z = 4*m - 24, z = 2*z + 4*m - 18 for z.
-2
Let o = -5683 + 5683. Solve o = 5*x - 9*x - 8, -2*x = f + 6 for f.
-2
Suppose -4*w - 16 + 52 = 0. Let k(m) = 10 - 23*m + 6*m + 9*m + w*m. Let i be k(-3). Solve -l + 4*b + 6 = b, -2*l + b + i = 0 for l.
3
Let b = -95 + 91. Let z be ((-21 - -1)/b)/1. Solve 1 = -3*a + 5*i - 17, -3*a - z*i = -12 for a.
-1
Let g(h) = 6*h + 157. Let w be g(-7). Suppose 6*q + 7 = w. Solve 0 = -4*k + 2*p - q, -2*k - k = -p + 12 for k.
-3
Let g(h) = 3*h + 34. Let w be g(-8). Let d be (-9)/(-12) + 6/48*w. Solve -d*q + 4 = f - 2, -2*q = -3*f - 6 for f.
0
Let o = -2549 - -2558. Solve -4*h = 2*q - 7 + o, h + 28 = 5*q for q.
5
Let s be (65/195)/(92/30 - 3). Solve s*w + 12 = 7*m - 11*m, -m - 3 = -w for m.
-3
Let q = -20524 - -20528. Solve -4 = -2*p - s, -7*p + 3*p + q*s = 16 for p.
0
Let i(y) = -5*y**2 + 13*y - 2. Let s be i(2). Solve 3*q = 2*q + s*f - 14, -4*q + f - 11 = 0 for q.
-2
Let a be ((-105)/(-10) + -9)*(-20)/(-6). Solve 3*l - n + 15 = -4*n, 25 = -a*l + 5*n for l.
-5
Suppose -2*u + 0 = 4. Let f be 0/5*2/u. Let w(g) = 8*g + 4. Let a be w(f). Solve -5*l + 13 = -2*p, 0*l = -a*l + 12 for p.
1
Suppose 39*t - 10*t - 680 = -11*t. Solve 3*r = t*o - 22*o + 6, 6 = 3*o + 3*r for o.
0
Suppose 0 = -4*c + 3*x + 27, 0 = 2*c - c - 4*x - 23. Suppose 39*s = 43*s - 5*g + 38, s - 43 = -4*g. Solve -s*z - 5*h - 22 = -c*h, 4*h = -20 for z.
-4
Let p = 536 + -526. Suppose -5*a = -p, -3*b + 2*a + 5 = -3*a. Solve 7 = -b*f + 3*l - 21, f - 5*l + 10 = 0 for f.
-5
Let d(a) = 41*a - 567. Let j be d(15). Solve -j*c = -52*c + 5*z - 15, 5*c + 28 = -3*z for c.
-5
Suppose 0 = r + 3*x - 22, x - 40 = -r - 28. Suppose -5*v - 2*a = 6, r = -4*v - 2*a + 1. Solve 5*i + 25 = -5*h, v*h + 4*i = -h - 20 for h.
0
Let u(h) = 37*h**2 + 9*h - 79*h**2 + 34 + 41*h**2. Let z be u(11). Solve 0 = 2*a - 0*a + 5*l + z, 4*l + 4 = -3*a for a.
4
Suppose 3*v + 52 = -4*j, -7*v + 3*v = -3*j + 36. Let n be ((-8)/v - 11/3)/(-1). Solve -19 = n*m + 2*y, 7*y - 2*y = -5*m - 35 for m.
-5
Suppose 4*g + 25 - 2 = v, 69 = 3*v + 3*g. Let h be 5*(-4)/(-8)*2. Suppose 4*j - 2*y - v = h, 0 = 5*y + 20. Solve 3*f = 4*m - j, 0 = 2*m - 2*f - 1 - 1 for m.
2
Let n(c) = -2*c - 8. Let l be n(-6). Let d(k) = k**3 - 5*k**2 + 5*k - 2. Let p be d(l). Solve p*g + 9 = r, -g - 6 + 3 = r for r.
1
Suppose -3*n + 1 = -8. Suppose -w + 2 = -l - n, -l = 2*w - 13. Solve 0 = -3*v + 6*p - 2*p + w, 0 = 2*v - 2*p - 2 for v.
-2
Let n be 3/2 - (-21)/6. Let z = -9 + 19. Let s = -193889 - -193894. Solve -n*a = -v + 3, a = -s*v - z - 1 for a.
-1
Let d(r) = -r**2 + 11*r + 47. Let s be d(13). Suppose -50*l - s = -53*l. Solve -5*y - 11 = b + l, 0 = y - b for y.
-3
Suppose 6146 = 44*r + 5090. Solve -4*a - 28 = 0, -9*u + 7*u + 2*a = -r for u.
5
Let t be ((-8)/4)/(0 - -2)*25. Let x be 1/3 - t/15. Let m be 0/((-1)/x*4). Solve d - 6 = 5*l - m*d, -5*d - 20 = 0 for l.
-2
Let h be (2/20*-4)/(8/(-80)). Let j be 10/25 + h + 12/20. Solve -4*p + 2*o + 0 = -6, 0 = -3*p + j*o + 8 for p.
1
Let u(h) = h**2 - 6*h - 7. Suppose 18 = -3*d + 9. Let k be u(d). Suppose 6*o - 11*o = -k. Solve 0*f - 3*c - 1 = -4*f, 4*f - o*c = 0 for f.
1
Let a(y) = -316*y + 1583. Let w be a(5). Solve 2*n + 16 = w*i, 176*n - 2*i + 16 = 172*n for n.
-2
Suppose -29*k + 28*k + 1 = 0. Let s be ((-16)/(-5))/((-3)/15*k). Let f(q) = 3*q + 48. Let d be f(s). Solve -m - o - 4 = d, 4*o = 5*m - 6*m - 4 for m.
-4
Let t be -5*72/48*(-4)/10. Suppose -t*z - 36 = -54. Solve 4*q = -2*w + z, 3*w - 3*q - 3 = 6 for w.
3
Let k = 2530 + -2528. Solve -5*l + 2*i = 9, 11*i - 13*i = -k*l - 6 for l.
-1
Let d(c) = 23*c + 233. Let l be d(-10). Solve -9*y - 10 = 3*h - 4*y, -l*y - 7 = 2*h for h.
-5
Let g be (-1 - -8) + 25 + -29. Let z(a) = -a + 6. Let b be z(3). Solve -4*p + 6*k = 5*k + 3, g*k = b*p for p.
-1
Let y = 896 + -814. Suppose 36*x - y = 206. Solve 5*i + 21 = -v, 3*i + x = v + 3*v for v.
-1
Let q be (-112)/6 + (6/9 - 1). Let k = q + 23. Solve 3*t - 5*u = 26, -4 = 2*u + k for t.
2
Suppose -329*j - 24 = -333*j + 2*s, 0 = 4*j + 4*s. Solve 23 = -j*x - a, -2*x - 3 = x - 4*a for x.
-5
Let g be (-10 - -8)/(6 + 3/(18/(-39))). Solve -2*f - 18 = -4*z + 4, -g*z - f + 19 = 0 for z.
5
Suppose -3*q - 3 = 4*o, -273*q = -275*q - 10. Solve -i = -2*m + 1, -17*i + 18*i - o*m = 1 for i.
-5
Suppose -3*b = 4*b + 70. Let f be ((-60)/25)/(4/b). Suppose -f*p + 3 = -15. Solve -p - 3 = -3*r - 2*d, -5*r = 3*d - 9 for r.
0
Let s be -2 + (5 - -3 - (-1 + -4 - -8)). Solve 5*w - 5*a = -15, -3*a = -5*w - 4*a + s for w.
0
Suppose 4*q - 92 + 29 = 3*q. Solve -q*z - 27 = -62*z + 5*y, -4*z - 2*y - 18 = 0 for z.
-2
Let t(s) = s**2 + 10*s + 20. Let x be t(-8). Suppose 0 = x*l + 163 - 175. Solve o + 3 = 0, 2*n = 4*n - l*o + 1 for n.
-5
Suppose -2*m = -k + 2 + 6, 5 = -5*k - 5*m. Suppose o - 664 = 3*n, 8*n - 9*n - 203 = -4*o. Let i = 228 + n. Solve -18 = 4*u + i*p - k*p, 0 = u - 5*p - 7 for u.
-3
Let n be (-20)/((-3 - (-3 - 0)) + 1). Suppose -5*q + 25 = w, 4*q = 5*w - 135 + 10. Let r = w + n. Solve 0 = -5*d + g + 11, 5*d + 1 = -r*g + 6 for d.
2
Suppose -23 = -2*w + y, -5*w + 96 = -11*y + 14*y. Solve u + 5*s = 6*s + 3, 0 = -2*u - 5*s - w for u.
0
Let p be 49/(-21) + 7 + 5/15. Solve 2*v + p*r = -10, 10*r = 12*r for v.
-5
Let d(r) = 53 + 5*r**2 - 54 - 4*r**2 + 6*r. Let h be d(-4). Let a be (-1 - (-3 - (-2 - h)))/1. Solve o - 3*f + a 