5 = 5*u. Suppose -5*k + 20 + 0 = 2*r, 2*r = 3*k + 52. Solve 4*w + w - r = v for w.
4
Let x(u) = 2*u**2 + 3*u + 23. Let h be x(5). Let v be (-18)/189 + h/42. Solve v*a = -a for a.
0
Let v = 14967 + -14891. Solve -16*z - 220 = -v for z.
-9
Let g = 609 - 607. Suppose 2*j - g*b = 7*j - 200, -j - b = -40. Solve 0*v = 10*v + j for v.
-4
Suppose 34*k - 342 = 15*k. Solve -k*t = 2*t for t.
0
Suppose -x + 3 = -z, -2*z = 2*x + 3*x - 15. Suppose 48 = 94*s - 36*s - 42*s. Solve s*w = -x*w for w.
0
Let t(y) = 5*y**3 + 28*y**2 - 93*y + 5. Let z be t(3). Solve -79*n = -z*n - 102 for n.
-3
Suppose -5*d = 3*a + 80, -a - 2*a = 15. Let q(y) = -4*y + 33. Let n be q(d). Suppose 3*x - n = -5*c + 8*x, 2*c = -4*x + 16. Solve -2 = -4*m + c for m.
4
Let c(x) = x**3 + 10*x**2 + 12*x - 10. Let w be c(-9). Let a = -42 - w. Let r be (-21 - -19)*a/2. Solve 4*n - r = -1 for n.
1
Let n(f) = 153*f - 81. Let z be n(5). Suppose 0 = z*u - 687*u + 9. Solve 3*b + 0 = -u for b.
-1
Let j(w) = 17*w - 11. Let l be j(1). Let d be 6 - (-2 + l + -4). Solve -d = -0*f + 2*f for f.
-3
Let i = 40 - 35. Suppose -i*l + 5*b + 50 = 0, 2*l + 0*b = -2*b. Suppose l*n = z + 100, 3*n - 5*z - 31 - 29 = 0. Solve -n = -0*w + 5*w for w.
-4
Suppose 5*r = -27*r - 46*r. Solve r*z = -5*z + 25 for z.
5
Let i be (-3032)/12 - (-3)/(-9). Let m be (2/4)/(i/(-126) - 2). Suppose q - m = -5*f, -f + 15 = -0*q + q. Solve -2*z + f = 2*z for z.
3
Let l be ((1 - 9/11) + 3629/(-418))*-2. Solve l - 1 = 8*q for q.
2
Let h = -334 - -428. Let b = -89 + h. Solve -3*w = -b*w + 8 for w.
4
Suppose 2*r + 0*r = 4. Suppose -d - 3 = k, 3*k = 5*d + 27 + 4. Solve 0 = -k*c - r*c for c.
0
Let s = -6746 - -6746. Solve 34*o - 49*o + 15 = s for o.
1
Let r be ((-7)/5)/(6*2 + 9196/(-760)). Solve r*i + 28 = 18*i for i.
7
Suppose 15*l = 21*l - 72. Suppose 11*y + 33 = l*y. Suppose -t = -12*t + y. Solve t*c - 2 = 4 for c.
2
Suppose 5*x - c - 2241 = 0, 0 = 6*x + 20*c - 18*c - 2718. Solve 5*h - 455 = -x for h.
1
Let n = 119 - 102. Suppose 3*d = -2 + n. Suppose -3 = 2*g - 3*w, g - 3*g + 2*w = 0. Solve -g + d = -z for z.
-2
Suppose -180 = -3*k + 2*i, -22 + 2 = -k - 6*i. Solve 10*m - 136 = -k for m.
8
Let d be 1/2*6/1. Let k(f) = -f**3 + 10*f**2 + 56*f + 7. Let u be k(14). Suppose -d*j = 4*j - u. Solve 3 + j = n for n.
4
Suppose p - 2*p = -10. Suppose 108 = 18*j - 25*j + 13*j. Solve p = 4*m + j for m.
-2
Let u be ((-100)/(-8) - 11)*8/3. Solve u*o = 7*o + 3 for o.
-1
Let y be (129/21 + -5)/((-8)/(-28)). Let h be 1 - -4 - (y + 1). Solve h = -2*p - p for p.
0
Let m(x) = -x**2 + 18*x + 49. Let c be m(20). Suppose -32 + 140 = c*n. Solve -n = 21*v - 15*v for v.
-2
Let r = -7892 - -8100. Solve -5*o = -31*o + r for o.
8
Let p(w) = -w**3 - 3*w**2 + 5*w + 5. Suppose 4*d = -4*n, 3*n - d = -21 + 5. Let a be p(n). Solve -5*u = 4 + a for u.
-1
Let i be 2*2 - (-6 + -5) - 4. Suppose -27 = -i*f - 5. Solve f*o = 5*o - 12 for o.
4
Suppose 91*r - 4*r + 3*r = 1350. Solve -2*z = r*z + 68 for z.
-4
Let o(k) = k**2 + k + 1. Let m be o(0). Suppose 2*i - 5 = 4*f + 7, 5*f + m = -i. Let n be 0*(-6 + (108/(-1))/(-9) + -7). Solve i*x + n = 4 for x.
1
Let g(c) = -685*c + 1370. Let o be g(2). Solve -8*w - 6*w + o*w = 0 for w.
0
Suppose 4*u - 34 = 2*p, 2*u - 26 = 44*p - 46*p. Suppose -12 = -4*x + 3*x. Solve -11*l - u = x for l.
-2
Suppose -29*m + 51 = o - 34*m, -5*m = o - 71. Solve 50*s - o*s = 0 for s.
0
Let n(l) = l**3 + 4*l**2 - 12*l + 4. Let m be n(-6). Suppose m*z = -66 + 102. Solve 0 = 5*b - 11 - z for b.
4
Let y(v) = -2*v**3 + 34*v**2 - 2*v + 37. Let z be y(17). Let q be 46/z - (-6)/(-18). Solve 6*a = q*a + 36 for a.
-4
Let u be ((-16)/3)/((-14)/252). Suppose -5*w + 2*t = 5*t - 156, 3*t - u = -3*w. Suppose -9*o = -12*o + w. Solve 3*l + 2 + o = 0 for l.
-4
Let g = -9 + -4. Let p(f) = f**2 + f - 1. Let q(o) = 10*o - 21. Let v(a) = p(a) + q(a). Let k be v(g). Solve 3*y - k*y = -3 for y.
3
Let r = -8439 - -8446. Solve -l = -10*l - r*l for l.
0
Suppose -4*y + 366 = -2*w, w - 4*y + 185 = -y. Let v = 199 + w. Solve -4*a = a + v for a.
-4
Let l be (-2 - 40/(-18)) + 822/(-54). Let m be 3 + 3/l*0. Solve -m + 0 = -3*v for v.
1
Let k be (-9)/48*2 + 420/96. Let r be ((-18)/7)/(k*15/(-280)). Solve -3 - 9 = -r*z for z.
1
Suppose 294 = -5*o + 314. Solve -o*n + 9*n - 10 = 0 for n.
2
Let m = -3335 - -3338. Solve 279 = -m*d + 279 for d.
0
Let g = -148 + 153. Let o = -22 + 22. Suppose -3*s = 5*i + 25, -g*i - 25 = 2*s - o*i. Solve -c - c - 10 = s for c.
-5
Let g be (-3)/18 + 1477/42 + -6. Let l = -21 + g. Solve -l*d + 16 = 8 for d.
1
Suppose -10*i + 116 + 44 = 0. Let q = -16 + i. Suppose -4*f + 0*f - f = q. Solve p - 3 + 6 = f for p.
-3
Let u be (-2)/4*-2 - 43. Let q(l) = 109*l - 1484. Let f be q(14). Let n = f + u. Solve m + 0*m - 3 = n for m.
3
Let c(p) = p**3 - 3*p**2 - 4*p + 2. Let n be c(4). Suppose 0 = 2*v + 2*i + 6, -n*v + 6*v + 15 = -5*i. Solve v = -12*o + 18*o - 30 for o.
5
Let n = -286 - -501. Suppose 21*h - n = -22*h. Solve -h = -5*u + 20 for u.
5
Suppose -2*s = 2*q - 41 + 7, 2*s - 49 = -5*q. Suppose 0 = -3*t + s, -24 = -6*l + 3*l - 3*t. Let d(j) = 242*j + 968. Let p be d(-4). Solve p = -a + l*a for a.
0
Suppose 5*b + 10 - 80 = 0. Suppose -13*t + 8 = -b*t. Let x be ((-30)/(-12))/((-10)/t). Solve -2*y = x + 2 for y.
-2
Let c be (78/(-18) - -3) + (-76)/(-12). Suppose c*i = g - 3*g + 5, i + 20 = g. Solve x = 4*x + g for x.
-5
Let x be 2/(-2) - (0/1 + -2). Suppose 0 = 2*n + 2*t + 8, 4 + x = -2*n - 5*t. Let k(s) = 3*s + 18. Let r be k(n). Solve -1 = r*y + 5 for y.
-2
Let h = 27 + -33. Let u be 3 + h*(-1)/(-2). Let k be ((-8)/12)/((-4)/18). Solve -q + k = -u for q.
3
Let f(g) = g**2 + 7*g. Let y be f(-1). Let q be (y/(-21))/(-1) + 561/77. Solve 2*j = q + 3 for j.
5
Let f = -161 - -157. Let d be (1/(2 + f))/((-2)/12). Solve 8*n - 15 = d*n for n.
3
Suppose -601*u + 590*u + 682 = 0. Solve -u*j = -51*j for j.
0
Suppose 0 = -5*h + 25, 4*r - 207 + 161 = -2*h. Solve 0 = 5*j - r*j + 6*j for j.
0
Suppose -82*h = 58*h + 109*h - 5976. Solve -189*j + 197*j = h for j.
3
Let h(y) = 8*y**3 - 3*y**2 - 3*y + 39. Let c be h(3). Solve -15 = -216*i + c*i for i.
-5
Let k(j) = -j**3 + 8*j**2 - 3*j - 25. Let u be (-4)/22 + 12/66 + 2. Suppose -4*c = c - 2*q - 33, u*q = -2*c + 16. Let y be k(c). Solve -y = -4*p - 11 for p.
-2
Suppose -9 = -2*w + 1. Let m(c) = 0*c**3 + c**2 + 3 + 4*c + 3*c - 8*c + c**3. Let n be m(0). Solve 2*k = -w - n for k.
-4
Let q be (-68)/(-20) - 3 - (-6216)/(-40). Let o be (651/q)/(1/(-5)). Solve 5 = -o*v + 20*v for v.
-5
Let g be 148 + (294/105)/((-6)/15). Solve 41*q - g = 64 for q.
5
Let w be 180/(-48)*56/(-35). Solve 19*u = w*u + 39 for u.
3
Let l(s) = 107*s + 5. Let h be l(-1). Let i = -102 - h. Solve i = -3*u - 6 for u.
-2
Suppose 9*l = 7*l + 2, 5*l - 561 = 4*v. Let s = v + 144. Suppose 5*c - 4 - 41 = 0. Solve -s*u = -2*u + c for u.
-3
Let t = -86 + 89. Let i(l) = -l**3 + 2*l**2 + 3*l + 13. Let j be i(t). Solve 2 + j = -5*h for h.
-3
Let y = -611 + 861. Let m = y + -247. Solve -m = -7*c + 18 for c.
3
Let w = -158 + 170. Suppose f = -y + 3, 2*f = 5*y - 2*f + w. Suppose 0 = -z + 3*z - 4. Solve y = -3*g - z*g for g.
0
Let c(i) = 3*i + 36. Suppose -15 = 5*m, 2*f - m - 1 = -12. Let z be c(f). Solve 2*o + o = -z for o.
-5
Let p be (-20)/(-30)*(-1 - 20). Let g be 2*1/p + (-132)/(-42). Let w = 20 - 12. Solve w = -g*k - k for k.
-2
Let y be (29 + -12 + -16)*0. Solve -6*x - 2 + 2 = y for x.
0
Suppose -2*b = -p - 5*b + 3, -1 = -b. Let l(a) = a**3 + 13*a**2 + 3*a + 43. Let i be l(-13). Solve -20 + p = i*s for s.
-5
Let n = 475 - 474. Let f be (-3)/(-30)*5*0/n. Let w = 1 - -2. Solve -w*x + x = f for x.
0
Suppose -69*n + 50 = -44*n. Let r be n/5 - 24*(-8)/120. Solve 0*q + 4 = r*q for q.
2
Suppose 0 = -4*r + 4, 80*z - 1 = 85*z - r. Let g(b) = b + 16. Let d be g(-7). Solve 3*i - 12 + d = z for i.
1
Let c(j) = 8*j + 387. Let h be c(-47). Solve h*z + z = -19*z for z.
0
Suppose -8 - 62 = -5*b. Suppose 5*c = 5*f + 6 + b, 1 = 2*c + 5*f. Solve c*y + 2*y = -5 for y.
-1
Let u(z) = 5*z**3 + 14*z**2 + 19*z - 72. Let p(v) = -2*v**3 + v**2 + v + 1. Let a(o) = 3*p(o) + u(o). Let l be a(18). Solve -6*n - 15 = -l for n.
-2
Let h be 6/12*(1 - 1). Suppose -u + 5*u - 48 = h. Let t = -251 + 255. Solve -4*p - t = -u for p.
2
Let f be ((-18)/(-45))/(3/(0 - 2475)). Let t = 342 + f. Solve 0 = 4*i + t - 4 for i.
-2
Let k(u) = 