olve b*a + 0*a = -2 for a.
-1
Let m(t) = -t**2 - 27*t + 47. Let u be m(-28). Let d = 23 - u. Solve d + 8 = -4*n for n.
-3
Let w = -75 - -77. Let n be 0 - -1 - w - (-2 + -2). Solve 0 = -n*c - 0*c for c.
0
Let a(x) = 2*x**2 + 197*x - 687. Let l be a(-102). Suppose -5*u + 25 = -0*u. Solve 12 = u*j + l for j.
-3
Let p(g) = 4*g. Let l be p(1). Let w = 112 + -107. Suppose 0 = -h + w*h - 20. Solve -d - l*d = -h for d.
1
Suppose 0 = 3*w - z - 11, -11*w + 12*w - 8 = -4*z. Solve 3*u - w = u for u.
2
Suppose 2*l - l = 1. Let d be (-4 - (l + -6)) + 0 + 5. Solve d + 3 = -3*p for p.
-3
Let n(l) = l - 1. Suppose 2*k = -3*k + 2*i + 7, 4*i + 2 = -2*k. Let h be n(k). Solve h = -3*w - 9 for w.
-3
Suppose -33*l + 56 - 184 = -65*l. Suppose -3*w + 10 = 1. Solve l*r = r - w for r.
-1
Suppose 0 = 13*i - 10*i + p - 69, 0 = 5*p - 15. Solve -9*d + 23 = -i for d.
5
Suppose 15 = -2*f + 7*f. Suppose 0 = -q - q + d + 11, 2*d = -f*q + 6. Solve -2*b + 6 = -q*b for b.
-3
Suppose -4*d - 7 = l, 4*l = 3*d - 0 + 10. Let n = 0 + 2. Solve 3*m - n = l for m.
1
Let l(g) = 83*g - 911. Let o be l(11). Let z = 4 + -1. Solve -s + o = -z*s for s.
-1
Let z be 665/(-28) + (-2)/8. Let a = z - -26. Solve a*f + 20 = 7*f for f.
4
Let p be (-20)/12 - (1 - (-123)/(-9)). Solve p = -17*q - 57 for q.
-4
Let s = 6 + -2. Let o(f) = 3 + f - 1 - s. Let x be o(2). Solve x*z + 4 = -z for z.
-4
Suppose t - 46 = 2*z, 0 = 2*t - 0*t + 4. Let j be ((-42)/8)/(9/z). Suppose 0 = -5*g - p + 20, -j = 5*g - p - 44. Solve 16 = g*f - 4 for f.
4
Suppose -27*m = -18*m - 54. Solve s - m*s = 10 for s.
-2
Let x(r) = 18*r**2 - 19*r**2 + 5*r - 13*r + 18. Let p be x(-9). Suppose -5*u - 3*f + 5 + p = 0, 10 = 5*u + 5*f. Solve -u*q - 3 = 13 for q.
-4
Suppose 0 = -9*r - 122 + 320. Solve -3*t - 10 + r = 0 for t.
4
Let p(w) = -w**3 + 3*w**2 - 2*w + 6. Let x be p(3). Suppose 1 = -i + 4. Solve x = 5*k - i*k - 10 for k.
5
Suppose l = -4*l. Suppose -6*q + 3*q + 15 = l. Suppose p = q*p - 4. Solve -5 - p = 3*c for c.
-2
Suppose 4*g + 65 + 7 = 0. Let c be (-2 - (-8)/6)/(g/54). Solve c*r - 2 = r for r.
2
Let t(u) = -2 - 5 - u**2 - 2*u - 6*u + 0*u. Let a be t(-7). Solve -j + 3*j = a for j.
0
Let c = 222 - 216. Solve -11*r = -c*r + 25 for r.
-5
Let b = -125 + 131. Solve -b*u + 36 = 6*u for u.
3
Let h be ((-1 - 0) + 1)/(-4). Let k be -2 + (-1 + 23 - -1). Suppose -k = z - 5*p, h = -4*p + 10 + 10. Solve r - z = -0*r for r.
4
Let s be (-2)/(-8) + 27/4. Suppose 0 = 5*k + 5*y - 8 - 12, -2*k = -4*y - 2. Suppose 5*i - 95 = -5*l, k*i + 0*l = 3*l + 39. Solve 3*f - s*f = -i for f.
4
Let l = 290 + -290. Solve l = 5*y + 1 + 19 for y.
-4
Let n = -1 + 5. Let z be 5 - (-4 - -1)/3. Suppose -l - z = -n*l. Solve 0 = 5*o - 13 - l for o.
3
Let i be 12/(-6)*26/(-13). Solve -17 = i*r - 33 for r.
4
Let v = 27 + -33. Let l be ((-2)/3)/(2/v). Solve h + l*h = 0 for h.
0
Let c be -3 + 7 - (1 + -1). Let h be (18/(-10))/(23/(-10) + 2). Solve -y + h = -c*y for y.
-2
Suppose -3*d = -4*o - 22, 13*d - 16*d - 3*o + 15 = 0. Solve -49*p + 46*p + d = 0 for p.
2
Let h = 14 - 16. Let s be (-1 - (-5 - h)) + 1. Solve -s*m - m + 12 = 0 for m.
3
Suppose o = 2*u - 2 + 5, -4*o + 3*u + 17 = 0. Suppose -o*g - 25 = -5*m, g = 3*m + 2*g - 19. Solve 2*c + 4 = m*c for c.
1
Let a = -639 + 659. Solve 2*s + 10 = a for s.
5
Let c(o) = o**2 + 1. Let w be c(2). Let r = -55 - 92. Let i = -145 - r. Solve w - 1 = -i*g for g.
-2
Let j = -332 + 352. Solve -14 = 2*r - j for r.
3
Let i be 11 - 8 - -4 - 4. Solve -i*j - 3 + 6 = 0 for j.
1
Let q = 18 + -13. Suppose 0 = 4*a - 5*l - 10, -14*a + 4*l = -15*a - 8. Solve q*s - 1 - 4 = a for s.
1
Let w be (29/(-9) - -3) + 280/45. Solve -4*y + w = 14 for y.
-2
Suppose -5*s + 3*s = 18. Let k = s + 14. Solve -3*h = k - 2 for h.
-1
Suppose 0 = -40*y + 5*y + 385. Solve -24*j + 26 = -y*j for j.
2
Let g = -225 + 232. Solve 0*b + g = 7*b for b.
1
Let a be -2*24*(-24)/32. Suppose 0 = c + 26 - a. Solve 2 = -2*k + c for k.
4
Suppose 5*z - 5 = -3*t + 131, -4*z + 5*t + 131 = 0. Let p = z - 27. Solve -p*v = -v + 2 for v.
-2
Suppose 0 = -j + n + 4*n - 7, -55 = 5*j - 5*n. Let f = j - -8. Let x(g) = -g**3 - 5*g**2 - 7*g - 8. Let q be x(f). Solve 3 = -q*c + 23 for c.
5
Let x be -6*((-16)/2)/4. Let c = 13 - x. Solve d + c + 0 = 0 for d.
-1
Suppose 10*f + 34 = 204. Suppose 3 = -v, 0*j - j + 4*v + f = 0. Solve j*n - 15 = -0*n for n.
3
Let v(d) = d**3 + 16*d**2 + 14*d - 15. Let z be v(-15). Suppose -9 = -m + 6. Suppose m = a - z*a. Solve -3*h + 0*h = -a for h.
5
Let d be (0 + 3)*56/12. Suppose -c - 5*n + 13 = -d, -4*n = 5*c - 30. Solve c*s - 8 = -0*s for s.
4
Suppose -3*b = -5*a + 16, 8*a - 4*a - 2*b - 14 = 0. Suppose -c - 2*s = 2*s + 10, -44 = -4*c + 5*s. Solve -y = -c*y + a for y.
1
Let b be ((-9 - -9)/(-3))/(2*1). Solve -7*c + c + 30 = b for c.
5
Suppose -65 = d - 2*o, 3*d + 30 = 2*o - 149. Let z be 190/d*(-7 + 1). Solve -4*u + z = -0 for u.
5
Suppose 5*b = 102 - 37. Suppose 7*p = b + 22. Suppose -z = -p*z. Solve z = -3*v - 2*v + 5 for v.
1
Let n(w) = w**2 - 5*w + 4. Let l be n(-3). Let i = l + -8. Solve a - i = 5*a for a.
-5
Suppose 7*m = -m + 24. Solve m*g = 4*g for g.
0
Suppose 6*i = 4*i + 2*z + 12, 0 = 5*i + 2*z - 9. Solve -i = -5*a + 6*a for a.
-3
Suppose o - 19 = 3*q, 3*q + 25 = o - 3*o. Let r(v) = -v**2 - 8*v - 5. Let u be r(q). Suppose 20 = -5*w, 2 = u*p + w + 4. Solve -4*s + p + 3 = 0 for s.
1
Let a(h) = -h + 27. Let f be a(20). Suppose 0 = -f*i + 10 + 18. Solve -i*r + 10 = 30 for r.
-5
Suppose 1 - 5 = o, -24 = -4*x + o. Let j(h) = h**2 + 3*h + 2. Let g be j(-3). Solve 3*v + g*v + x = 0 for v.
-1
Let t = 100 - 100. Solve 12*f - 6 + 54 = t for f.
-4
Let i(g) = -47*g**3 + 2*g**2 - 2*g + 1. Let q be i(1). Let c = q - -33. Let x = c + 15. Solve 3*k - x = 2*k for k.
2
Let b(i) = -6 + 2 - 3*i + 2*i. Let n be b(-4). Suppose 3*s = -n*s. Solve -2*p = -s*p + 8 for p.
-4
Let g(y) = y**3 + y**2 - 2*y + 4. Let i be g(0). Suppose -9*k - 3*k + 24 = 0. Solve 0 = k*c + i - 0 for c.
-2
Let j(l) = l**3 + 5*l**2 + 3*l - 1. Let b be 5*(1 - 4/((-60)/(-27))). Let n be j(b). Solve 5*g = -n + 28 for g.
5
Suppose 16 = 4*z, 14*h - 18*h + 3*z = -36. Solve w + h*w = 52 for w.
4
Let n(u) = -u**2 + 4*u - 1. Let j be n(2). Solve 4*q + j*q = 28 for q.
4
Let t be 2/(-4)*(-318 + 2)*1. Solve -4*a + 138 = t for a.
-5
Let o be (-156)/7 - 4/(-14). Let v be (o + -4)*(-6)/(-4). Let k = -39 - v. Solve -2*i - i - 6 = k for i.
-2
Suppose 15*f - 1219 = -38*f. Solve -19*d = -f*d for d.
0
Let i be (-3)/(-27)*3*9. Solve -4*m + i*m + 2 = 0 for m.
2
Suppose 2*a + 4 = -t, 9*t - 4*t + 5*a = 0. Solve 7*o = 4*o + t*o for o.
0
Let j(g) = 2 - 2*g**2 + 10*g - 1 + 16*g. Let b be j(12). Suppose 5*f = -q + 25, -4*q + 5*f - b = q. Solve i + 4*i + 15 = q for i.
-3
Suppose -10*b = 2*b - 72. Solve s + 2*s = -b for s.
-2
Suppose 6*p + 14 = 38. Solve -p*r = -6*r - 4 for r.
-2
Let q(y) = -y + 10. Let n be q(8). Suppose -n*h = -6*h + 96. Suppose u + v = -4*v + h, -5*v = -2*u - 12. Solve 5 - 1 = u*s for s.
1
Let h = 16 + -14. Solve -21 = -h*v - 27 for v.
-3
Let x = -9 + 11. Let z be 2/1 - (x - 5). Let o be ((-9)/(-9))/((-1)/(-8)). Solve z*g - g = o for g.
2
Suppose -4*m + 15 = -2*i - 7, 3*m - 2*i = 14. Solve t = -m*t + 45 for t.
5
Let g = 34 + -28. Suppose g*o = o - 3*c + 10, -2*o + 4 = 4*c. Let y = -1 + 1. Solve -o*k + k + 1 = y for k.
1
Let a be (0 - (-12)/4)*1. Suppose -5*y + y = -6*y. Solve a*x + 2*x = y for x.
0
Let w(h) = -2*h - 15. Let z be w(-9). Let x(u) = -5*u**2 - 2*u - 2 - 3*u + 9*u**z - 10*u**3. Let n be x(-4). Solve n = -y + 3 for y.
1
Let m(o) = -13 + o + 5*o**3 - 4*o**2 - 4*o**3 + 10. Let v = -15 - -19. Let a be m(v). Solve i - a = -0 for i.
1
Let f(n) = -2*n**3 + 3*n**2 - 7*n + 2. Let p(w) = w. Let t(a) = -f(a) - 6*p(a). Let s be t(2). Solve -3*k + s = 7 for k.
-1
Suppose -9*f + 2*f = f. Solve 25*y - 32*y + 14 = f for y.
2
Let t = -187 + 206. Solve 0 = -15*l + t*l for l.
0
Let f(i) = -i**3 - 3*i**2 + 3*i - 2. Let y be f(-4). Suppose l + k = -2, -4*k + y*k = -2*l + 16. Solve 2*w - 7 = l for w.
5
Let u(v) = 2*v - 53. Let c(s) = s. Let j(l) = 3*c(l) - u(l). Let n be j(-23). Solve 5*a - n + 10 = 0 for a.
4
Let d(j) = -j**3 - 5*j**2 - j - 2. Let t be d(-4). Let c = t + 15. Let p be 6 + -5 + (4 - c). Solve -p*o = -0*o - 12 for o.
3
Let c = 37 + -27. Let i be c/4 - ((-7)/2)/7. Solve -i*m = -0*m + 15 for m.
-5
Suppose -26*v + 27*v