m = 0 for r.
-3
Let i(w) = w + 8. Let c be i(-4). Let k = 486 - 486. Solve c*a - 1 - 19 = k for a.
5
Suppose j - 5*z = -2, 0 = -2*j - 9*z + 10*z + 5. Solve 0 + j = -c for c.
-3
Let r = 2376 - 2279. Solve -r*m + 89*m - 24 = 0 for m.
-3
Let x be 40/2 + -2 + (-19 - -21). Solve 0 = -5*z + x - 10 for z.
2
Suppose 0 = -0*x + 4*x + k - 198, 0 = x + 2*k - 46. Suppose -2*y = -0*y - x. Solve -2*a = -7*a - y for a.
-5
Suppose -523*h - 104 = -549*h. Solve -36 = h*p - 13*p for p.
4
Let o(z) = -23*z + 6. Let m be o(4). Let p = 90 + m. Solve -p*l + 2 = 18 for l.
-4
Let k be 14/6 - (-1)/(45/30). Solve -k*a + 14 = -10*a for a.
-2
Let i(u) = u**2 + u. Let w be i(-1). Let c be (-20)/(-35)*(-14)/(-4). Solve w = -3*d - c - 1 for d.
-1
Suppose 5*j = -j + 456. Suppose -73*m = -j*m + 18. Solve m = -5*t + 21 for t.
3
Let q = 0 + 0. Let x = q + 4. Suppose -n = -x*n. Solve n = d + 7 - 2 for d.
-5
Let a be (-13)/((-91)/(-98))*(-4)/14. Solve -a*z + 10 = 2 for z.
2
Suppose 13*h - 22*h = 0. Solve 6*n + 30 = -h*n for n.
-5
Suppose -y - 147 = -147. Solve y = -6*u + u + 25 for u.
5
Let s(n) = 4*n**2 - 10*n - 33. Let b be s(5). Solve 0 = -b*i + 13*i for i.
0
Let r = -1081 - -1085. Solve -18 = -7*h - r for h.
2
Let w(m) = m**3 - 2*m**2 - m - 10. Let q be w(4). Solve -c + q = 8*c for c.
2
Let j be (-3)/21 - 2/(-14). Suppose j = -o + 5*n - 3, 0 = -5*n + 5. Suppose -i = -o*i. Solve u = -i*u - 3 for u.
-3
Let n = 979 - 972. Solve -7*k + 0*k - n = 0 for k.
-1
Let k be (24/16)/(3/4) - 0. Solve -k*s = s - 12 for s.
4
Let m = -55 - 13. Let x = m + 72. Solve -x = 2*c - 0*c for c.
-2
Let y(b) = -b + 13. Let j be y(9). Solve -l - j = -0*l for l.
-4
Let a be (3/3)/((-6)/(-354)). Suppose 54*n - a*n = 0. Solve -3*u - u = n for u.
0
Let p(o) = 2*o - 4. Let f be p(4). Suppose 43*l = 42*l + 5. Suppose 7 = l*u + 4*r - 6*r, r - 16 = -f*u. Solve u*q - 4*q - 1 = 0 for q.
-1
Suppose 4*r + 25 = 201. Let l = -39 + r. Solve -1 - 4 = -l*y for y.
1
Let p be 2/(-3) - (658/(-42) + 12). Solve -p*j - 21 = -24 for j.
1
Let t(z) = z**3 + 13*z**2 + 10*z - 6. Let x be t(-12). Solve -x = -12*s + 18 for s.
3
Let x be (-21*2)/(-7) - 6. Solve x = 17*n - 18*n - 1 for n.
-1
Let l(z) = -z**2 - 5*z - 3. Let i be l(-3). Suppose -i*d + 3*t = 9, 4*d - 19 - 4 = -3*t. Solve -2 = d*u - 0 for u.
-1
Suppose -u - 73 = -5*y, 4*u + 25 = y + 9*u. Solve -v + 18 = y for v.
3
Let r be (583/(-33))/((-2)/6 - 0). Let i = -49 + r. Solve i*c = 5*c for c.
0
Suppose -5*n = -4*w + 8, 5*n - 5*w = 4*n - 10. Let u be -7 + -3 - (-1 - 0). Let b = -7 - u. Solve n*f = f + b for f.
-2
Let r be (-136)/(-22) + ((-6)/11)/3. Solve 9*o = -39 - r for o.
-5
Suppose -15*q + 20*q - 65 = 0. Suppose 0 = -4*d + 15 - 3. Let l be 2/4 + 21/14. Solve d*x - q = l for x.
5
Suppose 211*s = 216*s - 5. Solve 0 = -2*i + 9 + s for i.
5
Let c(x) = -x**2 + 8*x - 7. Let o be c(7). Let p(f) = f**2 + 17*f. Let u be p(-17). Solve u = 4*d - o*d - 8 for d.
2
Let z be ((-2)/6)/(2/438). Let f = z + 75. Solve -f*a + 0 = -2 for a.
1
Let r(j) = 4*j - 16. Let l be r(-7). Let z = l + 46. Solve z*i = -3*i - 5 for i.
-1
Let n(q) = -2 - 3*q - 3*q**2 + 5 - q**3 - 3. Let z be n(-2). Solve -z*l = 2*l for l.
0
Let x be (-2)/((116/48)/(-29)). Solve -5*w = 14 - x for w.
2
Suppose -i + 8 = -3*a, -3*i + 22 = -4*a + 3. Let k(m) = -m + 6. Let j(l) = -7. Let q(v) = -2*j(v) - 3*k(v). Let b be q(i). Solve -5*w - b - 14 = 0 for w.
-5
Let c(r) = -r - 4. Let m be c(-20). Suppose -5*t + 4 = -m. Solve t*q = 6*q + 8 for q.
-4
Suppose -20*c = -16*c + 4. Let g be c/(2/(-4)) - -2. Solve 6*b - g*b = 4 for b.
2
Suppose 2*q = q + 34. Let u = q + -32. Solve 0 = -u*v + 6*v - 20 for v.
5
Let c be 1*5 - (-12 - -15). Suppose -c*l = -2*q - 0*q - 4, -6 = -3*q - 3*l. Suppose -5*k = -10 - q. Solve 0 = 2*j + k*j for j.
0
Suppose 2*c - 5*o = 25, -c - 2*c - 5*o - 25 = 0. Suppose c = 6*n + 8 - 20. Suppose -4*l = -n*l. Solve 3*z + l*z + 9 = 0 for z.
-3
Suppose -6*y = -y - 20, -u + 4*y = -15. Let h = u + -27. Suppose 5*o - 116 = h*b, 5*o - 16 = -2*b + 76. Solve -2*s = 2*s - o for s.
5
Suppose -3*i - 11 = -s, -5*i + 5 = -0*s + 3*s. Suppose -3*x + 23 = s. Suppose 0 = 5*z + 3*j + x, 0*j - 10 = 5*j. Solve 5*k + 8 + 12 = z for k.
-4
Let d be 2 + -3*1 + (-42)/(-14). Let r(c) = c**3 - 2*c**2 + c + 1. Let s be r(2). Let j be (1/(-3))/(2/(-6)). Solve -s = -d*a + j for a.
2
Let n = 291 - 236. Solve n = 30*m - 19*m for m.
5
Let f(s) = -s**3 - 11*s**2 - 9*s + 10. Let p be f(-10). Suppose 0 = -2*j + 5*c - 83, -j + 3*c = 4*c + 38. Let o be (-2)/(-5) - j/15. Solve o*d = -6 - p for d.
-2
Let v be (1 + 67/(-7))*(-252)/(-24). Let l be (-4)/(-10) + (-17)/(425/v). Solve 6 = -w + l*w for w.
2
Suppose 19*j = 44 + 32. Solve -7 + 11 = -j*b for b.
-1
Suppose -o + d + 4*d - 1 = 0, -3*o = d - 13. Let y(s) = 2*s**3 - 19*s**2 + 8*s + 14. Let q = 86 - 77. Let i be y(q). Solve -i = h + o*h for h.
-1
Let g = 812 - 811. Solve 5*l = -4 - g for l.
-1
Suppose -17*r + 247 = 43. Solve 2*c + r = -4*c for c.
-2
Let g(j) = -2*j - 51. Let w be g(-24). Let h = w + 10. Solve 5*d = h - 22 for d.
-3
Let a be ((-5)/10)/((-6)/48). Solve 2*i + a + 0 = 0 for i.
-2
Let s = -83 - -85. Solve 0 = s*j - 6*j - 8 for j.
-2
Suppose 8*n - 4 = 4*n. Let u = 6 - n. Solve u*g - 12 = 3 for g.
3
Let n be 6/(-4)*(-24)/18. Let p be (6 - 4 - 2) + n. Solve -3*c = -4*c + p for c.
2
Let z be 6/18 + 22/6. Suppose 4*s = -5*y + 38, 2*s = -5*y + 30 + z. Suppose -9*r + 18 = -y*r. Solve r = -h - h for h.
-3
Suppose -g + 1 = -3*q, -q + 2 = g - 3*q. Solve -21 = 3*h + g*h for h.
-3
Suppose -20 = -8*k + 3*k. Suppose -75 = -3*p - 3. Suppose 3*w - p = -k*a, -2*a - a = 0. Solve -w*l + 4*l = -16 for l.
4
Let y(m) = 2*m + 1063 - 1050 + 4*m + m**2. Let q be y(-4). Let n = 1 - 1. Solve t + n = q for t.
5
Suppose 4*v - 82 + 62 = 0. Solve -d = -v*d for d.
0
Let l(n) = n**3 + 22*n**2 + 23*n + 41. Let d be l(-21). Let a be (-5 + 4 + d)*-2. Solve 1 + 11 = -a*f for f.
-3
Suppose 4*v = 5*s + 63, -v = 4*v + 3*s - 51. Solve 6*f + 0*f + v = 0 for f.
-2
Let j be 9*(-17)/((-408)/32). Solve -j = 2*b - 2 for b.
-5
Let l(n) = -3*n - 25. Let v(q) = q**2 + q - 10. Let d be v(0). Let c be l(d). Solve 6 = -3*i + c*i for i.
3
Let x(i) = 6*i + 4. Let l be x(2). Let u = -11 + l. Let n = -3 - -6. Solve -12 - n = -u*z for z.
3
Let t(a) = -a - 4. Let f be t(-6). Suppose f*u - 6 = -4*p, 3*p - u = -4 + 21. Let w(z) = 2*z + 12. Let i be w(-6). Solve p + i = j for j.
4
Let d(f) = -f + 20. Let m be d(20). Suppose 0 = 3*x - 2*u - 2*u - 12, 3*x + 4*u - 12 = m. Let q be 0 - (-9 + 6/3). Solve 19 - q = -x*o for o.
-3
Let y be (-9)/((-72)/520) - 3. Solve -57*i = -y*i + 25 for i.
5
Let j = 3 - -2. Suppose -3*h + 13 = t, -13 = -5*t - 4*h + 2*h. Let d be 0*2*t/8. Solve d = 5*f + 5 + j for f.
-2
Let c = 92 + -91. Let w be (2/(-5) + 16/40)/c. Solve w = 3*q + 4 - 1 for q.
-1
Suppose 1 = -5*k - 9, 5*u + 5*k + 115 = 0. Let i = 33 + u. Solve t - i = 4*t for t.
-4
Let i be 1/(-6)*2 + 52/39. Let w be 10/(-3)*9/2. Let v be (w + i)/(4/(-2)). Solve -v*k = -2*k for k.
0
Let l(k) = 3*k - 23. Let p be l(7). Let j be (p/(-2))/(1 - 2/4). Solve -y - 15 = j*y for y.
-5
Let d = -78 - -64. Let o be 106/7 + 2/d. Solve 4*z - o = -7 for z.
2
Let i be 4/6 + 264/36. Suppose -l = l + i. Let j be (-24)/(-8)*l/(-6). Solve -j*b + 4*b = -8 for b.
-4
Let n(a) = -a**3 + 4*a**2 + 2. Let c(b) = -3*b**3 + 12*b**2 - b + 7. Let x(y) = 3*c(y) - 8*n(y). Let k be x(3). Solve 3*z + 1 = -k for z.
-2
Let j(u) = -4*u**2 + u + 13. Let k be j(0). Solve 17 + k = -6*y for y.
-5
Let a(b) = b**2 - 14*b + 2. Let z be a(15). Solve 9*i - 24 = z*i for i.
-3
Let d(l) = l**3 + 17*l**2 + 16*l + 1. Let z be d(-16). Suppose 3*v - 4*f - 2 = 0, -4 = -3*f - z. Solve v = 5*g - 18 for g.
4
Let g = 1 + 2. Suppose 5*d + g*h - 30 = 0, -2*d + 3*h - 9 = -0*d. Suppose 2*a + 5*v + 11 + 4 = 0, 6 = -2*a - 2*v. Solve d*i + 5 - 2 = a for i.
-1
Let d(r) = r**3 - 5*r**2 - 4*r - 8. Let f be d(6). Let o be (1 - 1 - 2) + (-19 - -23). Suppose -4*c + f*k = -k + 25, 10 = o*k. Solve x + x = c for x.
0
Let c(m) = -m + 3. Let q be c(-2). Suppose -q = -d - 2. Suppose -d*h - 12 = -6*h. Solve 0*b + h = b for b.
4
Let s = 34 + -22. Suppose -2*g - 6 = -3*n, 7*n - 2*n + 4*g = -s. Solve -2*z - 3*z = n for z.
0
Let r be -1 - -4 - (-7 + 6)*22. Suppose r = 2*c + 15. Solve -c*g + 15 = -0*g for g.
3
Let f(l) = 11*l + 3 - 4*l - l**3 - 2 + 0*l**3. 