 j = 5*n + 5 - t for n.
-1
Let a(c) = c**2 - 5*c + 2. Suppose -6*k + 10*k = 20. Let m be a(k). Suppose -3*b + 3*d + 12 = 5*d, -m*b + d + 1 = 0. Solve 0 = j - b*j - 4 for j.
-4
Let s = 33 + -28. Let f be -2 + (s - (-2 + -1)). Solve 0 = f*c - 2*c for c.
0
Let p(z) = z**3 - z. Let r be p(2). Let a(g) = 2*g - 9. Let j be a(r). Solve j*w - 2 = 1 for w.
1
Let d be (-15)/8 + (-1)/8. Let i(p) = -4*p - 6. Let a be i(d). Solve -a*h + 16 = -6*h for h.
-4
Let b(w) = w**3 - 8*w**3 - 2 + 2*w + 5*w**2 + 8*w**3. Let o be b(-4). Suppose -3*n - 5*r + 5 = 0, -3*r = -5*n - o + 3. Solve -3*d + 5 + 1 = n for d.
2
Let f = -1432 - -1446. Solve -3 = -17*j + f for j.
1
Suppose 0 = -4*d - v + 22, -3*d + v + 29 - 9 = 0. Suppose 18 = 4*a - 6. Suppose 3*h + 0*h = a. Solve -4*n = -h - d for n.
2
Let s be 6*5/(-20) - 6/(-4). Solve -3*p = -s + 3 for p.
-1
Let p(o) = o**2 + o - 4. Let q be p(-3). Let w = -29 - -45. Suppose 3*r - 4*z + 14 = 0, -z = -2*r - 0*z - 1. Solve -q*y + w = r*y for y.
4
Let z(c) = -c + 6. Let m be z(3). Suppose 0 = -2*a + m - 21. Let t = a + 15. Solve 0 = -4*x - 6 - t for x.
-3
Let z = -18 + 22. Suppose 3*x = 5*k - k - 2, 5*x = 3*k + z. Solve 6 + 2 = k*o for o.
4
Let t = -7 + 12. Solve 0 = t*m - 0 + 20 for m.
-4
Suppose -28*c + 28 = -24*c + 4*h, 3*h = -c + 17. Solve -c*w = -5*w + 15 for w.
5
Let g(k) = -3*k - 1. Suppose 5*z - 5*s + 5 = 0, -s + 2*s = -2*z - 14. Let l(d) = -5*d - 1. Let m(f) = z*l(f) + 8*g(f). Let n be m(8). Solve -8 = n*j + 17 for j.
-5
Suppose -32*i + 646 = 6*i. Solve -i*w + 20*w = -6 for w.
-2
Let v be ((-6)/(-4))/(166/32 - 5). Solve 0 = -7*o + v*o - 5 for o.
5
Suppose 5*n = -2*v, 4*n = 2*n + 2*v. Suppose -6 = -2*t, n*t + t = -k + 3. Solve k = 4*r + r for r.
0
Let u(v) = v**2 - v + 2. Let p be u(0). Suppose 127*x + 162 = -3*x + 2112. Solve -p*n - n = -x for n.
5
Let c(k) = k**2 - 24*k - 49. Let a be c(26). Solve -a = -2*n + 5*n for n.
-1
Let x be (-3)/1*6/2. Let j(y) = y**2 + 8*y - 5. Let t be j(x). Solve t = 3*u + 10 for u.
-2
Suppose -2*i = 4*n - i - 11, -15 = -5*i. Let p(q) = -q + 8. Let m be p(8). Suppose 5*z - 35 - 5 = m. Solve n*d = 4*d + z for d.
-4
Suppose 2*r - 4 = -2*r. Let v = 18 - 18. Let w = 4 - v. Solve -w*n - 5 + r = 0 for n.
-1
Suppose -5*t = -2*s + 26, -5*t = -5*s + 21 + 14. Let f be 5*12/270 - (-25)/9. Solve -s = f*q - 12 for q.
3
Suppose -4*b = 2*b - 30. Let g be -1 + -1 - (b - 7). Solve 0 = -5*f - g*f for f.
0
Let n = 10 + -7. Suppose -r + n*u = 4 - 5, -5*r = 2*u - 56. Suppose -1 + r = 3*w. Solve -w*a - 16 = a for a.
-4
Let i(b) = -b**3 - 5*b**2 + b + 6. Suppose 5*u - 2*u - 6 = 0. Let v be 0 + u + (-1 - 6). Let t be i(v). Solve -4*l + t = -3 for l.
1
Let o(f) = f**3 - 8*f**2 + f - 8. Let w be o(8). Suppose -6*z + 3*z + 15 = 0. Solve w = b - z*b - 20 for b.
-5
Let n be 6/12 - -3*(-1)/(-2). Suppose 0 = n*g - 3*y - 21, 0 = g - 3*y - 0*y - 6. Solve 3*v = -2*v - g for v.
-3
Let c be ((-1)/((-1)/1))/((-5)/(-50)). Let h be (-2)/(-6) - (-3 + c)/21. Solve 10 = -h*d - 5*d for d.
-2
Let u = 1 - 11. Let c = u + 19. Solve -c = -5*q + 1 for q.
2
Let d(j) = 2*j**2 - 2*j - 11. Let x be d(-3). Solve -2*n + x = 9 for n.
2
Suppose -4*q - 116 + 144 = 0. Solve -q = -4*j - 19 for j.
-3
Let p be (-106 - -101) + (0 - -8) + 1. Solve -p*x = -2 + 22 for x.
-5
Let c = 275 - 275. Solve c = x - 2 - 0 for x.
2
Let h(x) = 3*x**2 + x. Let k be (3/2)/((-18)/24). Let n be h(k). Let i be (-8)/(-20) - (-26)/n. Solve 5 = -i*d - 2*d for d.
-1
Let b(a) = -a + 4. Let u be b(0). Let c = u + -1. Suppose -4*d + 2 = -2*p, 0 = -c*d - 8*p + 3*p + 21. Solve -12 = -d*r - 2*r for r.
3
Let t be ((-6)/12)/((-2)/192). Let z = -27 + t. Let d = -20 + z. Solve -3 = -2*b + d for b.
2
Suppose 41 + 19 = 4*u. Suppose d - u = -13. Suppose -2*s = -d*l + 8, -s - 7 = -2*l + 2*s. Solve 2*b = -3*b + l for b.
1
Suppose -128 = -91*w + 600. Solve w*v + 72 = 32*v for v.
3
Let p(r) = r**3 + 3*r**2 - 4*r + 4. Suppose y - 5*y + 12 = -4*h, -1 = y. Let x be p(h). Let g be (1 - 2)/((-4)/8). Solve -x*w + g*w = 4 for w.
-2
Let c(k) = k. Let u(d) = -4*d - 6. Let a(r) = 5*c(r) + u(r). Let n be a(8). Solve n = q + 3 for q.
-1
Let f be (-7 + 153/27)/((-4)/9). Solve -f*w - 40 = 5*w for w.
-5
Suppose -5*t = 12*t. Solve -3*r - 2 - 1 = t for r.
-1
Let u be 0 - 2 - (-12 + (-3)/3). Let c(w) = -w**3 - 17*w**2 - 17*w - 11. Let m be c(-16). Solve -m*n + u = -4 for n.
3
Suppose 2 = -d + 14. Let l be ((-16)/6)/((-2)/d). Suppose -13 = -m - 4*c, -m - 5*c = -0*c - l. Solve 4*z + m = -15 for z.
-4
Suppose -19*c + 20*c = 1. Let d(h) = -h**3 + h**2 + h - 1. Let j be d(c). Solve 3 = -j*p + p for p.
3
Suppose 11 = -5*h - 29. Let q(g) = -g**2 - 8*g + 2. Let u be q(h). Solve 5*j + 3 = -u for j.
-1
Let z(b) = b**3 - 37*b**2 + 70*b. Let x be z(35). Solve -6*s = -x*s for s.
0
Suppose 0 = -6*s - 4*j + 16, -5*s - 20 = -0*s - 5*j. Solve s = -11*v + 10 + 12 for v.
2
Let b(l) = l**3 - 8*l**2 - 8*l - 9. Let a be b(9). Let j = a + 3. Let h(p) = p**2 - 2*p. Let m be h(j). Solve m*y + 0 - 9 = 0 for y.
3
Let j(b) = b + 4. Let g be j(-4). Suppose 2*r = 2*i - 10, -21 = i - 4*i + 5*r. Suppose -n = -g*n - i. Solve 0 = -2*h - n - 2 for h.
-2
Suppose 3*a - 14 - 16 = 0. Suppose y + 1 = 3. Let b = 3395 - 3391. Solve b*t - a = -y for t.
2
Suppose 7*j - 4*h = 2*j + 230, 0 = 5*j - 2*h - 240. Suppose -2*w + 4*q - j = 0, -4*w - w - 3*q = 138. Let d = w - -27. Solve d = -c + 6*c + 10 for c.
-2
Let g = 47 + -46. Suppose 4*m - 11 = g. Solve -m*t = -t for t.
0
Suppose 5*j - 112 = j. Suppose 3*p = -4*h + j, 0 = -2*p - h + 5*h - 8. Suppose 3*k = -3*k + k. Solve k*b - p*b + 4 = 0 for b.
1
Let i = -1 + 2. Let b be (1 + -1)*i/2. Let j be (-1)/5 - 52/(-10). Solve -15 = j*z - b*z for z.
-3
Let n be 15/3 + -1 + (-2 - -7). Solve -y + n*y = 0 for y.
0
Suppose -4*g = -2*g - 10. Let w(t) = -t**3 + 27*t**2 + 237*t + 60. Let x be w(34). Solve -x = g*r - 6 for r.
-4
Let o = 38 + -18. Suppose 3*y - o = -y. Suppose 0 = y*b - 0*b. Solve b = -3*i + 1 + 5 for i.
2
Suppose 2*a = 2*u - 14, -2*a - 12 = -0*u - u. Suppose -c + 19 = 3*f - u*f, -3*f = -12. Let g = 19 - c. Solve g = -2*s + s for s.
-4
Suppose -3*o + 13 = l, -o + 8 = 2*l - 3. Let v = o - 0. Solve -s = -v*s - 8 for s.
-4
Let u(s) = -s**3 - 3*s**2 + 2*s + 5. Let l be u(-4). Let q = l + -8. Suppose -6 + q = -p. Solve p = -3*b - 2 for b.
-1
Suppose g - 2 = 3. Let c = g + -3. Let v = 11 + -6. Solve -c*n + 3 = -v*n for n.
-1
Let s = -116 + 121. Let p(x) = x**2. Let g be p(0). Solve g = -4*b + 3 + s for b.
2
Suppose -40*s = -66 - 54. Solve 2*i + 5 = -s*i for i.
-1
Suppose 0 = 9*a - 15*a - 390. Let g = a - -67. Solve 0 = g*h - 0 - 4 for h.
2
Let g be (-15)/2*(-8)/12. Suppose 0 = -2*c + g*c - 15. Suppose 2*o + c*o = 28. Solve x + 3 = o*x for x.
1
Let p be 2/(-9) - 110/(-9). Let r(h) = 2*h - 5*h**3 + 0*h**2 + 0*h**2 - 1 + 4*h**3. Let x be r(1). Solve x = 2*y + 2*y + p for y.
-3
Suppose 5*b = l + 7, l = -4*b - 2*l + 17. Suppose 2*r + 5*f = -21, -4*r - 2*f = -5*r + 12. Suppose -3*z = -r*z. Solve z = b*v - 1 - 5 for v.
3
Let i(x) = 9*x - 45. Let g be i(5). Solve c + 2*c + 9 = g for c.
-3
Let g be ((-5)/(-15)*2)/(2/117). Suppose -g*v + 43*v = 8. Solve 0 = 3*p + v*p - 10 for p.
2
Let o(t) = t**2 - 8*t + 31. Let f be o(5). Solve 4*w = -4 - f for w.
-5
Let x = -6 + 8. Suppose 0 = -x*f + 5*f - 42. Let q be ((-4)/6)/(f/(-63)). Solve -g = q*g + 4 for g.
-1
Suppose 4*k = k. Suppose -3*h - 2*h - 3*b - 166 = 0, 117 = -3*h + 4*b. Let z = h + 38. Solve -z*p = -15 - k for p.
5
Suppose -2*r - 3*v + 2 = 0, 5*v = -0*v - 20. Solve r*i + 12 = -2 for i.
-2
Let q be ((-20)/8 + 2)*6. Let h be ((q - -3) + 0)*-1. Solve a + h*a = 2 for a.
2
Let m = 1001 - 997. Solve m*w + 6 = 14 for w.
2
Let z be 0 + -5 + 10 + -2. Suppose -5*b = -3*b + z*b. Solve b = x + 7 - 3 for x.
-4
Let y = -7 - -10. Let m = -7 + 11. Suppose -5*g + 105 = 16*g. Solve m*p = g + y for p.
2
Let c(l) = l**2 + 4*l + 2. Let a be c(0). Let x be a/(-12) - (-52)/24. Solve 0 = -x*w + 3 - 7 for w.
-2
Suppose 7*u - 21 = 21. Suppose -u*y - 1 = -25. Suppose -2*p = 4*j + 3*p - 50, -4*j + 34 = -3*p. Solve y*b + j = 6*b for b.
5
Let a be 4*((-13)/(-4))/1. Let y be 168/91 + 2/a. Solve -2*r + y = -0 for r.
1
Let o be ((-6)/8)/(2*1/(-8)). Suppose 0 = -3*k - 3*c + 75, 16 + 3 = k + o*c. Solve 12 - k = 4*z for z.
-4
Let a(d) = -2*d + 29. Let c be a(13). Let m(h) = -h + 5. Let g be m(c). Solve 