pose 0 = -26*y + 613 - 613. Solve y = m + 78 - 76 for m.
-2
Let x be (-11)/(-3)*(-2 + -1). Let n(d) = -11*d**2 - d - 1. Let j be n(-1). Let r = j - x. Solve r = 5*p + 8 + 17 for p.
-5
Suppose 0 = -5*h - 25, 4*j - h + 74 = 99. Solve -j*z + 84 = 74 for z.
2
Let c(g) = g**3 + 12*g**2 - 12*g + 8. Let r be c(-13). Let n be r*(-5)/10*2. Solve 0 = x - n*x - 8 for x.
-2
Let i(c) = 2*c**2 - 15*c + 2. Let b be i(8). Suppose 0 = 5*n - b*n + 10. Solve 0 = -0*x + n*x + 8 for x.
-4
Let s = 31 - 42. Let r(o) = o**2 + 9*o - 2. Let n be r(s). Solve -a - 3*a = -n for a.
5
Suppose -554*c = -573*c + 760. Solve z = -7*z + c for z.
5
Suppose 2*w - 115 = -5*c, 0 = 13*c - 10*c + 3*w - 69. Solve -7*x + 12 + c = 0 for x.
5
Suppose 6*i - i = 4*n + 64, 0 = 5*i - n - 76. Let a = i - 16. Solve -4*z - 6 - 2 = a for z.
-2
Suppose 5*s - 2 = 4*f, s - 14 = -4*f - 2*s. Let u = 7 - f. Let m(i) = -i**2 - 5*i - 5. Let c be m(-3). Solve 2*v = -c - u for v.
-3
Let s = 24 - 24. Let f be 3 + 1 + 4/(-2). Solve s + f = -u for u.
-2
Let c be (-216)/(-52) - 2/13. Suppose -14 - 18 = -c*n. Let f = n + -7. Solve 3 = -2*i + f for i.
-1
Let q = -83 + 96. Let r = -3 + q. Solve -2*f = -0*f + r for f.
-5
Let u be (0 + (-1)/(-4))/(213/4260). Solve -35 = 2*w + u*w for w.
-5
Suppose 10 = -5*u, -17 = -3*b + 13*u - 12*u. Suppose 0 = -5*i + 22 + 38. Suppose 7 = 3*o + 5*d, 0 = 5*o - b*d - i - 13. Solve 3*l = o + 11 for l.
5
Let d(f) = -f + 4. Let m be d(4). Suppose -b - 6 = 12. Let s = b - -22. Solve m = s*v - 3*v - 3 for v.
3
Suppose 0 = 3*g + 2*g - 125. Let j be ((-20)/g)/((-2)/10). Suppose -3*o = -2*c - 10, 4*o - 5 - 9 = 3*c. Solve j*u - o = 2 for u.
1
Let s(u) = u**3 - 10*u**2 + 2*u - 5. Let m be s(10). Suppose -2*c - 15 = m. Let d(a) = -a**2 - 14*a + 15. Let t be d(c). Solve x - 4*x - 15 = t for x.
-5
Suppose -k + 10 = -26. Suppose l + p - 8 = -2*l, -5*p = -4*l + k. Let z = l - 2. Solve 0 = -5*g + z + 8 for g.
2
Suppose -2 = s, 3*s = -2*h + 2*s + 2. Let q(o) = o**2 - 4*o + 4. Let b be q(h). Solve 0 = -u - b*u for u.
0
Let f(a) = -4*a + 18. Let z be f(4). Solve z*o + 4 = -0 for o.
-2
Suppose 30 = -20*z + 110. Solve 0 = z*d + 5 - 21 for d.
4
Suppose -4*s + 16 = -0*s. Suppose t = -2*u + 3, -u - u - s*t + 12 = 0. Suppose -4 = -2*r - u. Solve -10 = r*g - 0*g for g.
-5
Suppose 0 = -16*l + 20*l - 28. Suppose 0*x = -5*x + 115. Let r(n) = n**2 - n + 2. Let i be r(2). Solve -i*c + l = x for c.
-4
Let h(a) = -2*a**2 + 0 + a**2 + 6 + 5*a. Suppose 0 + 6 = b. Let w be h(b). Solve -4 = -4*t - w for t.
1
Let g be (-2)/(-7) - (-38)/14. Let r be (g + -2)*-1 + 1. Solve 2*h + 0*h = r for h.
0
Suppose 415*y - 14 = 408*y. Let k(d) = -d**3 - 7*d**2 - 6*d + 1. Let q be k(-6). Solve -y*s = -q + 3 for s.
-1
Let c(a) = 7*a + 112. Let m be c(-16). Solve m = 3*b - 6*b + 6 for b.
2
Let g be (-10)/15*-9 + 0. Solve -3*o = -g*o + o for o.
0
Let j(g) = g - 2. Let d be j(2). Let q be (12/(-24))/(-2*(-5)/(-60)). Solve -q*b - 3 - 6 = d for b.
-3
Suppose 0*s = 5*s - 130. Suppose -3*r + s + 19 = -3*u, r - 3*u - 25 = 0. Solve 4*z + r = 6*z for z.
5
Suppose -23*x - 20 = -27*x. Solve -17 + x = 3*p for p.
-4
Suppose 2*q + 10 = -2*k, 2*k + 2*q + 11 = -k. Let c = 3 + k. Solve c*l = -2 - 2 for l.
-2
Let p(j) = 4*j**2 - 99*j + 74. Let t be p(24). Solve 0 = -t*g - 46 + 54 for g.
4
Suppose 122*v = 95*v. Solve v = 41*i - 39*i for i.
0
Let u(k) = -k**2 - 11*k - 14. Let a(h) = -h**2 + 8*h - 12. Let w be a(7). Let l be u(w). Solve 3*j + 4 - l = 0 for j.
4
Suppose -2*p + 2 = 2*m, 3*m - 5*m = 6. Let g = p + 0. Let c(y) = -y**2 + 4*y + 4. Let x be c(g). Solve 0 = 3*n - x*n for n.
0
Let a(j) = 2*j**2 - 4*j - 7. Let h be a(4). Solve 0*t - 3*t = h for t.
-3
Let y(i) = 4*i - 25. Let b be y(6). Let c = b + 12. Solve 31 = 4*u + c for u.
5
Suppose -15*x - 13*x = 0. Suppose -2*p - 6 = -4*g, 4*p - 2*g - 3 = g. Suppose t - 3 = p. Solve x = 3*z - t*z for z.
0
Let p(d) = -5*d - 88. Let m be p(-18). Solve -2*n + 4*n + m = 0 for n.
-1
Let y be 2/1*(-2)/(-4). Suppose 0 = h + 3*d + 3, -4*d - 81 + 110 = 5*h. Solve -5*x - y = h for x.
-2
Let x be (56202/(-95))/(-29) + 2/(-5). Solve 0 = -x*s + 28*s - 32 for s.
4
Suppose -m + 15 = 3*d, 5*m - 10 - 25 = -5*d. Suppose 9 = 3*w + m*r, 4 = 2*w - w + 2*r. Solve 4*x = 18 - w for x.
4
Let u = -141 - -158. Solve -6*d + 7 + u = 0 for d.
4
Suppose -5*l - 2*v = 98, 4*l + 0*v + 5*v = -92. Let b be (l/(-12))/(3/6). Solve 3*y = -0 + b for y.
1
Let x = -293 - -313. Solve -12*h - x = 28 for h.
-4
Let c(l) = -l**3 - 16*l**2 + 16*l - 12. Let i be c(-17). Solve -i*v = 6*v + 55 for v.
-5
Let l(q) = -q**3 + 9*q**2 - 11*q + 24. Let d be l(8). Solve 30*o - 23*o - 7 = d for o.
1
Suppose -d = -11 + 8. Suppose l - 4*l = 3. Let b be -2 - l - (0 - d). Solve -b = -3*r + 7 for r.
3
Suppose 4*i = -3*s + 5, -s + 13 = -4*i + 6. Let j be 3/(-2)*(-14)/3. Suppose l + s = j. Solve 7*a - l*a = 0 for a.
0
Let v be -15*5/(25/(-2)). Let u be 0/(-1 + (v - 3)). Suppose -5*l + 80 = -5*f, -2*l - l - 5*f + 80 = 0. Solve u = -d - 4*d - l for d.
-4
Suppose -2*p + 13 = -8*u + 9*u, 3*p = -5*u + 23. Solve -19*j + 13 + p = 0 for j.
1
Let b(m) = m - 1. Let o(r) = -4*r + 14. Let f(y) = -3*b(y) - o(y). Let j be f(5). Let n be 12/8*(-16)/j. Solve -2*v = -0*v - n for v.
2
Suppose 5 + 5 = 2*g - r, -18 = -2*g - 3*r. Let d = -2 + g. Let f = -1 + 3. Solve f*v - d = v for v.
4
Let r be (1*-6)/(-9 - 316/(-36)). Solve r*h - 24*h = -15 for h.
-5
Let o = 37 - 34. Suppose -2*g + 5*i + o = -26, 4*g = -5*i - 17. Solve -q = 1 + g for q.
-3
Suppose 0 = -649*t + 648*t + 2. Let l(u) = -u**2 - 5*u - 2. Let f be l(-4). Suppose -y = -4*c - 16, 8 = -t*y - y - f*c. Solve -d = -y*d + 1 for d.
-1
Let g(h) = 19*h + 6. Let d be g(0). Solve -d*k + 3 = -9*k for k.
-1
Let z = 357 - 349. Solve z*v + 5 = 29 for v.
3
Suppose -3*s + 83 = 2*s - 4*u, -24 = -2*s - 3*u. Let b = 4 - 2. Let x be (4 - b)/2*10/2. Solve 0*m = -x*m - s for m.
-3
Suppose 0 = -3*v + 7*v - 116. Let l = -26 + v. Solve -20 = l*d + 2*d for d.
-4
Suppose -5*h + h - 5*k = 20, -8 = -h + 2*k. Suppose -5*g - 4*y = -h*g, 7 = 3*g + y. Solve -w = 3*w + g for w.
-1
Let h be -77*(6 + -7) - (0 - 3). Solve -79*u + 1 = -h*u for u.
-1
Suppose 2*q - 3*g = -9, q - 3*g + 3 = -3*q. Solve 0 = q*n - 3 for n.
1
Let y be (-2)/(-10) - ((-1178)/10 - 2). Let s be y/36*3/2. Solve 0 = -s*z + 7 + 3 for z.
2
Let o(q) = -3 - 5 + 1 + 2*q - q. Let p be o(7). Let f(m) = -m**2 + 5. Let g be f(0). Solve -g*j - 14 - 1 = p for j.
-3
Let t = 252 + -240. Solve 3*l + t = -l for l.
-3
Let u(l) = -l**2 + 13*l - 26. Let n be u(3). Solve -2*p = -n*p - 8 for p.
-4
Suppose 0 = -5*v + 6*v - 135. Let u be 2/((-10)/v*-3). Solve u*n - 15 = 4*n for n.
3
Let h(x) = x**3 - 2*x**2 + 3*x - 1. Let j be h(2). Let c = 103 - 92. Let n(p) = p**2 - 11*p + 13. Let q be n(c). Solve q = 2*w + j for w.
4
Suppose 4*w - 90 = -26. Suppose -t - w = -5*t. Suppose 3*p + 5*l + 4 + 7 = 0, -3*l = t*p. Solve v = -p*v for v.
0
Suppose 1 - 16 = -5*w. Suppose -f = 5*l - 6*f + 20, -4 = w*l - f. Solve -2*d = -l*d - 8 for d.
4
Let t = 26 + -23. Suppose 3*p = -5*d + 53, 5*d + 45 = t*p + 2*d. Solve j = -3*j - p for j.
-4
Suppose 0 = -6*s + 3*s. Suppose 5*n - 3 = 2*n + 3*q, -5*n + q + 9 = 0. Let u be 7/(1 - 0) - 1. Solve n*g = -s*g + u for g.
3
Suppose 41*v = 39*v. Solve 0 = -6*p - 24 - v for p.
-4
Suppose -4*o + 16 = 4*x, 2 = -x - 3. Suppose -3*t + o = 3. Solve -2*z = -z - t for z.
2
Let y(t) = 2*t - 5. Suppose 5*m - 5*u = 6 + 24, 5*m + 2*u = 16. Suppose -12 = -m*z + 8. Let w be y(z). Solve 0 - 15 = w*d for d.
-3
Suppose 184 = 2*y + 164. Solve 0 = -u - 13 + y for u.
-3
Suppose 58 + 20 = 39*w. Let p be ((-8)/6)/((-4)/18). Solve -w*y + 0*y = -p for y.
3
Let i be -1 + (-4)/(-2) + -2. Let j be (i - -3) + 0/2. Let y be (-27)/(-15)*(-125)/(-15). Solve k = -j*k + y for k.
5
Suppose 2*h - 2 = -t, h - 6 = -h + t. Suppose -y - 8 = -5*k, 6 = -h*k + 5*k. Solve -q + 3 + y = 0 for q.
5
Let k = 536 + -520. Solve 4 = k*s - 17*s for s.
-4
Suppose -5*j = -2*k - 2*k + 27, 5*k = j + 18. Let y be -6*(j/6 - 0). Suppose 3*q + 5*u = 36, -y*q - 3*u + 30 = -0*u. Solve -3*x + 2 = -q for x.
3
Let b = -40 - -43. Let n be (-8)/b*(2 + 68/(-16)). Solve -n = -3*r + r for r.
3
Let g = 80 - 54. Solve 0 = 30*k - g*k + 8 for k.
-2
Let q(l) = l**2 - 2*l + 2. Suppose 4 = 3*i - i. Let p be q(i). Solve -p*x = 2 - 0 for x.
-1
Let l be (-2)/9 + 1 + (-2975)/(-63). 