 l = -6438 - -6538. Solve -8*b + 108 = l for b.
1
Let c(g) = g**2 - 56*g + 766. Let k be c(23). Solve -k = 199*h - 192*h for h.
-1
Suppose 4*d - j - 71 = 0, d = -2*d - 4*j + 77. Suppose 3*r = 4*g + 48, 16*r - 15*r - 5*g = 5. Solve 0 = -d*l + r*l + 3 for l.
-3
Let j(p) = p**2 - p. Let k(m) = -1. Let r(n) = 2*n + 2. Let x(q) = 5*k(q) + r(q). Let t(y) = 2*j(y) + x(y). Let u be t(2). Solve -u = -4*s - 13 for s.
-2
Let w be 237/(-553) - (-381)/7. Solve -66*d = -w*d + 72 for d.
-6
Suppose -4*a + 28 = 3*a. Let v be a - 10 - 2/(-1). Let n be -2 + (-2 - (v - 19)). Solve 3*p = n - 7 for p.
4
Let f = 112 - 108. Let h be ((-4)/6)/(14/399). Let d = h + 21. Solve v - f = -d for v.
2
Let i(a) = -2*a**2 - 22*a + 18. Let y be i(-11). Let t = y - 15. Suppose -q = q + t*b + 12, 3*b + 12 = q. Solve q = z - 1 - 3 for z.
4
Let a be 15/(-25)*-5 - 5. Let o be (-20)/(-10) - 34/a. Suppose -6*i + 2*i + o = 5*m, -4*m - 3*i + 15 = 0. Solve -m*f + 5*f = 2 for f.
1
Suppose -32 = 6*z - 50. Suppose -z*h + 2*r + 5 = -6, 5*h - 4*r - 19 = 0. Solve -f = -2 + h for f.
-1
Let u be (((-96)/28)/4)/(194/(-679)). Solve 27*z + u*z = -270 for z.
-9
Let p(d) = -2 + d**3 + 5 + 11*d + 11*d**2 + 10. Let f be p(-10). Let i(x) = x + 14. Let k be i(-8). Solve -k = -3*s + f for s.
3
Let x = -199 - -311. Solve -33*d + x - 244 = 0 for d.
-4
Let s(m) = -4*m**3 - 5*m**2 - 3*m - 2. Let t be s(-2). Solve 2*a = t - 6 for a.
5
Let f be 113/((4 - 1 - 4)*1). Let m = f + 115. Solve 0 = 7*k - m*k for k.
0
Let x(g) = -2*g**2 + 15*g + 52. Let y be x(10). Let j be y/(-8)*(-280)/7. Solve -27 = -j*p - 7 for p.
2
Let j(b) = -2*b**2 + 19*b + 31. Let k be j(11). Let q(d) = -3*d**3 - 5*d**2 + 4*d + 16. Let m be q(k). Solve -5*o - 3 = m for o.
-3
Let d = 61 - 63. Let a(k) = 2*k**3 - 2*k**2 - 2*k + 5. Let z(x) = 2*x**3 - 2*x**2 - x + 5. Let o(j) = d*z(j) + 3*a(j). Let m be o(2). Solve m = 5*w + 25 for w.
-4
Let i be 6 + -10 + 6 - (-9 + 11). Solve -17*d + 21*d = i for d.
0
Let b be (-10 - (-58)/8)/(((-4)/36*-9)/(-4)). Suppose -7 = -g + 13. Solve b*q + 18 = g*q for q.
2
Let h be 6/(-8) + (-33)/4 + -1. Let c be (-1)/(h/4*24/240). Solve o - 10 = -c*o for o.
2
Suppose 3*c + 1 = 2*p + 2, -p = -c - 1. Suppose a - 23 = -c*a - x, -2*x - 14 = -4*a. Solve 0 = -0*v - a*v for v.
0
Suppose 3*b - d - 25 = 0, 15*b - 6*b + 4*d = 68. Solve -b = -21*g + 13 for g.
1
Suppose -3*f = 2*j - 57, 24*f - 21*f = -j + 63. Solve f - 99 = 19*i for i.
-4
Suppose -26*g + 26*g = -5*z, 3*z + 1596 = 2*g. Solve -28 = g*s - 805*s for s.
4
Suppose -5*s = -s - 3*v - 521, 0 = -2*s - 3*v + 265. Let r = -116 + s. Solve -r = -2*q - 13 for q.
1
Suppose j + 46 = -19. Let c = j - -67. Solve 0*h + 8 = -c*h for h.
-4
Let s(n) = 2*n**2 - 26*n + 26. Let x be s(12). Suppose 4*h - 20 = -x*w, 3*w - 7*h = -3*h. Solve -5*r + w = -1 for r.
1
Suppose -q - 5*h + 10 = -12, 5*q + 2 = 3*h. Let z be (-405)/21 - q/(-7). Let y = z + 23. Solve y = 5*d - 1 for d.
1
Let m = -27187 - -27244. Solve 36*k + 21 = m for k.
1
Suppose -28 = -6*m + 20. Let s = 10 + -7. Suppose -s*h - 12 = -4*h. Solve -m - h = 5*i for i.
-4
Let r be (1 - 1)/(-2) + 25 + 63/(-7). Solve -2*j + r = 6*j for j.
2
Let b be 877 - (7 + (-1185)/165 + 150/(-22)). Solve -b + 864 = -4*p for p.
5
Let u(i) = -2*i**2 + 20*i + 24. Let f be u(-8). Let o = 268 + f. Solve k + 0 + o = 0 for k.
-4
Let z = 896 - 710. Let f = 192 - z. Solve -c + f*c = -15 for c.
-3
Let o = 386 + -382. Let w(k) = -k**2 - 17*k - 27. Let u be w(-15). Suppose 0 = -5*t - 4*r + 28, 5 = 4*t - 2*r - 7. Solve u*g + o = t*g for g.
4
Suppose -4*l + 0*f - 49 = 3*f, 35 = -2*l - 5*f. Let o be (-2)/(-11) + l + 1300/110. Solve 4 = -o*i + 2 for i.
-1
Let i be 4862/(-12155) - ((-3)/9 - 4202/30). Solve -6*m - i = 14*m for m.
-7
Let m(c) = c**3 - 21*c**2 + 33*c + 113. Let u be m(19). Solve u = -5*k + 11*k for k.
3
Suppose -j - 5*f + 37 = j, -4*j + 59 = -5*f. Let r be 4/((-4)/10*(-20)/j). Let i be (r*1)/(3 - 1). Solve -23 = i*k - 3 for k.
-5
Let u be (-1)/(-13) + 798/273. Let h = -748 + 755. Solve -u + h = x for x.
4
Let m(s) = s**3 - 7*s**2 + 8*s + 3. Let n be m(6). Suppose -505*y + 4090 = 313*y. Solve -y*u = n - 0 for u.
-3
Suppose 0*v = -2*v + 4*n + 26, 0 = -5*v - 2*n + 17. Let r(m) = 143*m - 995. Let x be r(7). Solve v*s = 7*s + x for s.
-3
Suppose -91*w - 116 = -87*w. Let h = w + 53. Solve 0 = -3*t + 9*t - h for t.
4
Let u = -2555 - -2586. Solve 0 = -u*h + 34*h for h.
0
Suppose 668*j - 5*o = 667*j + 7355, -2*o - 29492 = -4*j. Solve -2*h - j = -7389 for h.
7
Suppose 3*a = -2*z - 9, -4*z + a + 1 + 16 = 0. Let c be (-2 - -5)/(1/z). Solve -c = 4*k + 11 for k.
-5
Suppose 0 = -q + 17 - 5. Suppose -q*m + 9*m = -39. Suppose -5 + 10 = y. Solve -3 + m = -y*k for k.
-2
Suppose -3*r = 15, 0 = 11*v - 10*v + 5*r + 22. Suppose 0 = -2*s + 4*b + 20, -5*b = 2*s - v*b - 8. Solve s = 4*c + 26 for c.
-5
Suppose -2*m + 73 = 111. Let n = 20 + m. Solve -b = 3 + n for b.
-4
Let v be -1*(-5)/3*3. Suppose -3*j + 19 = -3*z - 2*z, -v*j + 25 = -5*z. Suppose -5*a - 23 = -2*g + 3, -13 = -j*g + a. Solve -2*y + 20 = g*y for y.
4
Suppose -12*q + 56 = 2*q. Suppose 86 = q*w - 3*u, 0*w = 5*w - 3*u - 106. Solve 0 = -4*z - 4 + w for z.
4
Suppose -2 = 3*u + x, 3*u + 3*x - 5 = 1. Let f be 120/54 - -3*u/27. Solve 0 = f*t + t + 3 for t.
-1
Let o(u) = 8*u**2 + 46*u + 109. Let d be o(-14). Solve -d*y = -1024*y - 72 for y.
8
Let i be 4/6*(-26 + 67/2). Suppose 8 + 54 = 3*a + s, -3*s = -6. Solve i*c + 0*c = -a for c.
-4
Suppose 5*k = -4*m + 5481 + 9072, -5796 = -2*k + 2*m. Solve 4*s = -k + 2913 for s.
2
Let d(p) = 2*p**2 + 7*p + 8. Let s be d(-4). Let h be ((-21)/s)/(((-1)/(-4))/(-1)). Suppose 0 = q + 3 - h. Solve 24 - q = 4*t for t.
5
Let i(m) = 80*m - 542. Let k be i(7). Solve k*y + 39 = -15 for y.
-3
Let f(j) = 4*j - 22. Let g be f(6). Suppose -g*v + 97 = 31. Suppose z - 2*s = 8, 4*s = -2*z + 2*s + 16. Solve v - z = 5*x for x.
5
Suppose -m = -2 - 1. Let c be m + 1/1 + -1. Let y(w) = 67*w + 3955. Let u be y(-59). Solve c + 7 = -u*o for o.
-5
Suppose 131*f - 9675 = -84*f. Solve 29*d - 112 = f*d for d.
-7
Let z be (-4)/(140/(-25) - -5 - 535/(-975)). Solve 2*c - 15*c = z for c.
-6
Suppose 103*j - 113*j + 150 = 0. Let s = 48 + -26. Suppose 0 = -3*o - 5*h + s, 5 = 2*o + 2*h - 7. Solve o*v - j = v for v.
5
Suppose 0 = 6*m - 7*m + y + 6, 2*y = 5*m - 24. Suppose m*j - 27 = 25. Solve 32 = j*z - 5*z for z.
4
Let n(w) = -w**3 + 9*w**2 - 12*w + 4. Let b be n(7). Let c be (5 - (-3 + 6))/(4/b). Solve 4*x - c + 1 = 0 for x.
2
Let s = -40 + 43. Suppose -5*w + 13 = g - 0*w, -s*w = -4*g + 6. Let i be 4 - g - (0 - -1). Solve -3*z - 6 + i = 0 for z.
-2
Let j be (-2)/20 + 20099/1990. Solve 0 = j*k + 4*k - 5*k for k.
0
Let k(d) = 29*d + 10. Let b be k(0). Solve -16*j + 11*j - b = 0 for j.
-2
Let b(o) = -o**3 + 7*o**2 - 12*o + 1. Let c be b(5). Let y(f) = f**3 + 10*f**2 + 10*f + 10. Let t be y(c). Let p be 2/(((-4)/(-8))/t). Solve p*r - 13 = 3 for r.
4
Suppose -3*r - 4*t - 10 = -5*r, -4*t - 15 = -3*r. Solve -r = 96*y - 95*y for y.
-5
Let z(q) = 2*q**3 + 4*q**2 - q. Let i be z(-2). Suppose 3*c + 9 = 5*g, -2*c - 1 = i*g + 5. Let u = 35 + -15. Solve g = -7*x + 3*x + u for x.
5
Let s(b) = -7*b - 199. Let y be s(-25). Let d be ((-6)/1)/(y/112). Let p be 24/(-10)*20/(-6). Solve -d = -4*t - p for t.
5
Let h be 10/(8 + 48/((-8)/1)). Solve 272*n - 277*n = -h for n.
1
Let a = -215 + 218. Suppose -4*j + 7 + 5 = 3*t, 3*t + j = a. Solve t = 2*v - 6 + 10 for v.
-2
Let f be (-17)/(-119) + (-41)/(-7). Suppose 0 = -f*i + 10*i. Let r(o) = -o**2 + 10*o - 6. Let p be r(9). Solve p*w - 5*w + 2 = i for w.
1
Let v(c) = c**3 - 3*c**2 + 3*c - 4. Let u be v(3). Let l(i) = -i**3 + 3*i**2 + i + 33. Let y be l(0). Let p = 33 - y. Solve p = w - u*w - 8 for w.
-2
Let i be 3/((-1 - (-8)/(-10))/(-3)). Suppose -6*t + 17 - i = 0. Solve 0 = t*y + y + 6 for y.
-2
Let l(c) = -c**3 + 5*c**2 - 3*c - 4. Let k be l(4). Suppose 12*t - 20*t - 64 = 0. Let d be t/(-5) - (-2)/5. Solve k = d*q - q + 5 for q.
-5
Let s(k) = k**2 - 4*k + 3. Let t be s(3). Suppose 4*w + 0*r = -2*r - 190, t = 5*w + 2*r + 236. Let z = -44 - w. Solve -3*y = z*y - 10 for y.
2
Suppose 0 = f + 4, -5*f - 15 = 5*d + 5. Solve d = -9*i + 82 - 37 for i.
5
Let t(h) = 26*h**2 + 5*h + 3 - 11*h**2 - 16*h**2. Let o be t(5). Solve -o*i + 16 = -7*i for i.
-4
Let h = -1010 + 642. Let d = -359 - h. Solve 3*w - 21 = -d