*1/1*(-6)/q. Solve 0 = 5*m - w - 9 for m.
3
Suppose 0 = -2*j + 5*o + 15, 2*o = -5*j + 6*o + 12. Solve y - 2 + 7 = j for y.
-5
Let l be 2*(7 - (165/(-10) + 6)). Solve 48*i = 41*i + l for i.
5
Let k(q) = q**2 + 24*q + 2. Let a be k(-24). Solve -2*v + 0 + a = 0 for v.
1
Suppose 7*o - 29 - 41 = 0. Solve o = v + v for v.
5
Let y(l) = l + 5. Let n be y(0). Suppose 0 = -36*x + 41*x - 10. Solve g - x = -n for g.
-3
Suppose 4*l + 50 = 2*p, 2*p - 3*l = -l + 40. Suppose 1 = 3*d - 5. Solve p = 3*b + d*b for b.
3
Let i(h) = 0*h**3 - 4*h**3 - 1 + 3 + 2*h - h**2 + 3*h**3. Let o be i(-1). Let c = 5 - 1. Solve -2*p + o*p = -c for p.
2
Suppose z - 20 = 2*z - 5*r, -4*z - 12 = -3*r. Let v be ((-1440)/108*9/4)/(3/(-2)). Solve -6*c + 2*c - v = z for c.
-5
Let x be ((10 - 58)/(-8))/1. Solve -x*z + 2*z = 0 for z.
0
Suppose 0 = -3*t - 144 + 354. Suppose -15*n = -20*n + t. Suppose 5*f = -4*r + 18, -5*f = -r + 3*r - n. Solve 3*x - 4 = f for x.
2
Let m be (1 - 0)*(14 + -14). Suppose m = -9*q + 4*q. Solve q = -0*g + 2*g - 8 for g.
4
Suppose -18 = -5*i - 3. Suppose -8*q + 5 = -i*q. Solve -b = -0*b - q for b.
1
Let n(c) = c**3 - 16*c**2 + 17*c - 26. Let g be n(15). Suppose 0 = -4*i - b + 15, g*i + i - 18 = -2*b. Solve j + i = -j for j.
-2
Let d be (-153)/(-4) + 42/56. Let m = -55 + d. Let y = 19 + m. Solve s = y*s - 10 for s.
5
Suppose 8 = 2*s - 2*p - 4, 3*s = -4*p - 10. Suppose 9 = 3*r - 3*y, 8*r - 3*r + 6 = -s*y. Solve -2*m + 5 + 5 = r for m.
5
Let x = -33 + 8. Let o = 29 + x. Solve o*z = 7*z - 3 for z.
1
Let t be ((-4)/5)/(2/20). Let j be 0*2/t + 2. Suppose -k + j = 2*u, 7 = k + u + 2. Solve -5*r = k + 2 for r.
-2
Let c(h) = -11*h**2 - 1. Let b be c(1). Let i = b + 16. Solve -o - i*o = -5 for o.
1
Let t(c) = c**2 + 3*c - 12. Let y be t(0). Let d = 18 + y. Suppose 0 = r - 2*r. Solve r = o - d*o for o.
0
Let z(l) = 2*l + 11. Let h(q) = 12. Let u(n) = -3*h(n) + 2*z(n). Let k be (-2)/(-4) + 22/4. Let a be u(k). Solve 0 = i + i - a for i.
5
Let x = 291 - 287. Solve -20 = -4*c - x for c.
4
Let c be (1 + -2)*-3*(-3 - -4). Suppose -7*u - 8*u + c*u = 0. Solve 4*v + 16 = -u*v for v.
-4
Suppose 0 = -3*h + 5*s - 6, 5*h - 4*s = -2*s + 9. Let n be ((-4 + h)*1)/(7/(-14)). Solve 3*p - 2*p - n = 0 for p.
2
Let k = -94 + 94. Let s be (-66)/44*(-2 - k). Solve -b + 20 = s*b for b.
5
Let f = 92 - -48. Suppose 3*a - f = 8*a. Let j be 3*(a/(-6) + -3). Solve w - j*w = -12 for w.
3
Let j = 1 - -4. Suppose j*z + 9 = 2*z. Let k = z - -5. Solve 0 = 3*c + k*c + 20 for c.
-4
Suppose 4*m - m - 57 = 0. Suppose n - m = -k, 0*k + 2*k = -3*n + 41. Suppose -a - a = -k. Solve -2*h + a = 2 for h.
3
Let u be 11 + -12 + -4 + 11. Solve 4*d + 6 = u*d for d.
3
Let h(u) = 2*u**2 - 16*u - 6. Let p be h(8). Let a be (-6)/(-9)*p/(-4). Solve -t - 4 = a for t.
-5
Suppose 4*x + 1 = -0*d + 3*d, 60 = 5*d + 5*x. Let y(g) = -9*g - 1 - 15 + d*g. Let i be y(-8). Solve 3 = 3*b - i for b.
1
Let h = -98 - -62. Let r = h + 42. Solve c - r*c = 10 for c.
-2
Suppose -4*z + 2 + 6 = -2*a, 5*a - 4*z = 4. Let t(x) = -x + 8. Let q be t(a). Suppose 5 = m + q*m. Solve k + m = 6 for k.
5
Let b(o) = o**3 + 8*o**2 - 2. Let f be b(-8). Let u(l) = 2*l + 4. Let s be u(f). Suppose -v = 2*v - 24. Solve s = -3*t + v + 4 for t.
4
Let z(x) = -1. Let n(l) = 5*l + 2. Let a(r) = -n(r) + 4*z(r). Let g be a(-2). Solve 3*t - g*t = -5 for t.
5
Let s(x) = -x + 8. Let t be (3 - 5) + 2 + 6. Let a be s(t). Suppose -7*m + a = -12. Solve -q + m = -0 for q.
2
Let t be 1 - -2 - (4 + -2). Suppose 3*f + 2*f - 4 = 2*z, -5*z - 2*f - 10 = 0. Let v be t*0/(z + 1). Solve v = h + h for h.
0
Suppose -3*d + 0*d + 24 = 0. Let o = 74 + -39. Let y be 36/10 - (-14)/o. Solve -d*k = -4*k - y for k.
1
Let q(m) = m**2 + 10*m + 12. Let i be q(-9). Suppose -i*w - 4 = o, -2*o = 4*w - 1 + 5. Solve 0*p - 8 = o*p for p.
-4
Let g be (-4)/14 + (-802)/(-14). Suppose -2*r = 5*y - 33, -5*y - 12 = 5*r - g. Solve -2*j + 4 + r = 0 for j.
4
Suppose 16 + 16 = 16*v. Solve -v*o + 7*o = -15 for o.
-3
Let d = 45 + -40. Suppose d*s - 14 - 31 = 0. Solve s - 3 = -3*u for u.
-2
Let b(o) = -o**2 - 5*o + 12. Let u be b(0). Let k(q) = 3*q - 32. Let w be k(u). Solve w*y + 12 = -0*y for y.
-3
Let a(q) = q**2 + 13*q + 61. Let r be a(-8). Solve 2 = r*n - 23*n for n.
-1
Let s be ((-8)/16)/((-2)/12). Suppose 0 = -5*n - 4*i - 57, s*i - 4 = -13. Let c be (-6 + 9)*(-12)/n. Solve 2*x - c = x for x.
4
Suppose 0 = 3*a + 9, 2*v + 3 = -2*a + 1. Suppose -v*u = u - 6. Solve -j + 2 = -u*j for j.
-2
Let v = -23 - -12. Let z = v - -16. Suppose -4 = -3*n + z. Solve a + 4 = -n*a for a.
-1
Let p = 13 - 9. Let f = -39 - -39. Suppose f = 31*v - 26*v - 50. Solve -h + v = p*h for h.
2
Let q be (-1)/4 + 5/4. Suppose 2*s + 192 = 198. Suppose s*g = q + 5. Solve -3*c + g = -4 for c.
2
Let x(j) = -2*j**3 - 4*j**2 + 4*j - 19. Let s(d) = -d**3 - 2*d**2 + 2*d - 10. Let i(l) = 11*s(l) - 6*x(l). Let u be i(0). Solve -13 = -u*c - 1 for c.
3
Let w be (-32)/(-6) + 4/6. Let j(p) = p**2 + 7*p + 7. Let b be j(-7). Suppose 0 = -3*k + 8 + b. Solve k*q = w + 4 for q.
2
Suppose 0 = -6*h - 11 - 13. Let b = h - -7. Solve -7*f = -b*f - 4 for f.
1
Let s be (-6)/33 - (119/11 - -3). Let w(z) = z**3 + 15*z**2 + 16*z + 28. Let q be w(s). Solve q = -r + 2*r for r.
0
Suppose -25 = -6*f + f. Let p(s) = -s**3 + 4*s**2 + 5*s + 2. Let u be p(f). Solve u - 6 = 2*w for w.
-2
Let d(f) = 4*f - 13. Let o be d(5). Solve -o = -3*p - 7 for p.
0
Let q(n) = -n**2 + 8*n + 3. Let l be q(6). Suppose 7 + 3 = 5*a. Suppose -7*g + 25 = -a*g. Solve g*o + l + 10 = 0 for o.
-5
Let b(g) = -g - 3. Let w be b(-6). Suppose 4*d - w*t = 12, t - 3 = -d - 0*d. Suppose r - 4 = -d. Solve 4*j + 3 = -r for j.
-1
Let w = -603 + 619. Solve -w + 4 = 6*o for o.
-2
Suppose -4*p + 45 = 5*a + p, 18 = 2*a + 3*p. Solve -19 = -a*d + 17 for d.
4
Let g = 118 + -184. Let h be g/(-15) + ((-24)/20)/(-2). Solve -h*w + 0*w = -10 for w.
2
Let u = -468 + 468. Solve u*b = -4*b for b.
0
Suppose 3*u = -0 - 9. Let n be 21 - u*(-2 - -3). Let q be ((-7)/(-21))/(2/n). Solve 0 = -l + q*l + 9 for l.
-3
Let q = -537 + 545. Solve 0 = q*n - 6*n + 6 for n.
-3
Let x(z) = z - z**3 - 10 + 0*z + 10. Let m be x(-1). Let f be m + 2 + 2/1. Solve -f*i - 11 - 5 = 0 for i.
-4
Let w(n) = -2*n + 24. Let c be w(11). Suppose -c*o - 4*o = -12. Solve -o*p = -0*p + 8 for p.
-4
Let x be 3 - (-2 - (2 + -2)). Suppose -x*u + 12 = 5*y - 3, u - 3 = 5*y. Suppose 0*r - 2*r + 16 = y. Solve -2*v - r = 2*v for v.
-2
Let t(l) = 40*l + l**2 - 4*l**2 - 69 + 58. Let i be t(13). Solve i*p + 9 = 1 for p.
-4
Let b = -779 - -803. Solve 2*s - b = 14*s for s.
-2
Suppose 29*s - 19 - 68 = 0. Solve -5*z + 7 = -s for z.
2
Let p = 1325 + -1320. Solve 3*g + p = 11 for g.
2
Suppose 0 = 5*z - 123 + 48. Suppose -34*j + 242 - 38 = 0. Solve a + z = j*a for a.
3
Suppose 3*c - 1 = -46. Let x be 4/24*-2*c. Suppose -26 - 4 = -x*w. Solve -4*g - w = -g for g.
-2
Let i(p) = -14*p**2 + 184*p + 1. Let y be i(13). Solve 2*o - y = -33 for o.
-3
Suppose -2*s = -35 - 9. Solve -s = 7*w - 15 for w.
-1
Suppose 3*o - 2*o - 3*a + 4 = 0, 3*o + 12 = -3*a. Let t be (3/3)/(-4)*o. Let s(i) = i + 4. Let p be s(-2). Solve -m - t = -p*m for m.
1
Suppose -26 = j - 14*j. Suppose x - 2*k = -k + 10, -2*k = j*x. Solve -4*d - 3 - x = 0 for d.
-2
Suppose -2*x = -11 + 17. Let s be ((-3)/1)/(x/(-2)). Let k = 18 + s. Solve 4*l - k = -0*l for l.
4
Suppose -v = -5*g + 25, 6*v - 22 = -5*g + 3. Let d(a) = -2*a - 28. Let k(o) = -o - 14. Let f(y) = -3*d(y) + 5*k(y). Let b be f(-7). Solve 3 = -g*z - b for z.
-2
Let r = 236 - 233. Solve 2*y - 3 = r for y.
3
Let p = -115 + 136. Solve 3*y = -p + 6 for y.
-5
Let c(b) = 3*b**2 + 2*b + 3. Let f be c(-2). Let w be f - 8 - (-4 + -2). Suppose -7 = 2*q + 3*m, -2*q + w = -q - m. Solve q*y - 1 - 15 = 0 for y.
4
Let z be (-2)/(4 + (-42)/9). Solve -3*w - 6 = z*w for w.
-1
Let i(a) = a - 12. Let l be i(10). Let k = 6 + l. Suppose 2*w = w + k. Solve -w*c = -0*c + 8 for c.
-2
Suppose 0 = 2*c - 5*c - 6, 2*c - 1 = -k. Suppose 9 = -k*s + 24. Solve 0 = s*u + 2 - 11 for u.
3
Let u(a) = a**2 + 10*a + 21. Let y be -11 + 1 - -5*6/15. Let t be u(y). Solve -5 = t*x + 10 for x.
-3
Suppose 2 = 2*f - 8. Let n be (-1)/f*(-8 - 2). Solve -2*g - n = -3*g for g.
2
Suppose 0 = 8*b - 40 - 40. Suppose 54 = -b*t + 19*t. Solve -t*a = -2*a for a.
0
Let g be ((-16)/10 + 0)*-5. Suppose 0 = -97*s + 11 - 11. S