 y. Solve -3*s = -0*s - y for s.
2
Suppose q = 7 - 2. Suppose -q*k + 23 = 3. Suppose -h + 3*r + 10 = 0, k*h + 0*h - r - 18 = 0. Solve 0 = h*o - o for o.
0
Suppose 0 = -3*t - 4*l - 10, -2*l - 20 = -4*t + l. Solve -1 = t*y - 3 for y.
1
Suppose -5*y + 23 = -4*p, -2*y + 9 = 3*y + 3*p. Solve 2*n = y*n + 5 for n.
-5
Let q = -19 - -15. Let x be 40/(-16)*q/5. Solve -x = -w - w for w.
1
Suppose 0 = 3*k - 9. Let y = -7 - -12. Let u be (16/10)/(2/y). Solve -k*l - 1 = -u for l.
1
Let r(d) = -4*d**2 + 3*d**2 - 1 - 15*d + 6*d**2 - 4*d**2. Let p be r(16). Solve 0*a - p = -5*a for a.
3
Suppose 0 = -t + 1, 43 = 4*r - 0*t + 3*t. Suppose -w + 2 = -r. Solve 0 = -2*j - j - w for j.
-4
Suppose 2*f + 6 = -0*f. Let n be (-20)/15*(f + 0). Solve 3*x - n = 11 for x.
5
Suppose 13 + 8 = -3*g. Let c(r) = -3*r - 6. Let d be c(g). Suppose -n + 40 = -5*m + d, -5*n - 3*m - 15 = 0. Solve 2*s - 6 = -n for s.
3
Suppose 2*v - v + 3 = 0. Let f be (v/9*-3)/1. Solve -4*w + f = 21 for w.
-5
Let d = -20 + 22. Solve 0 = -4*m + d*m + 4 for m.
2
Suppose 16 = 2*m + 2. Suppose -5*r = 5*a - 35, -4*a + 3*r - m = -0*r. Suppose 0*q = a*q - 4*b - 4, -3*b - 3 = -2*q. Solve q = -4*f - 1 - 7 for f.
-2
Let y = -4 + 6. Suppose 0 = -o + 4*u - 1 + 2, 0 = -2*o - 2*u + y. Let s be ((-6)/(-3) - 0)*o. Solve m = 2*m - s for m.
2
Let m be -1*-2*(-15)/(-6). Solve 0 = -3*u + m*u for u.
0
Let x = 10 + -6. Suppose 4*w = -x*h + 16, -5*w - 5 = -20. Let r(g) = 20*g**2 - g + 1. Let q be r(h). Solve 2*m + q = 6*m for m.
5
Let s be (-51)/(-6) - 2/(-4). Let t be -80*(s/(-6))/3. Suppose -2*u - 3*u + t = 0. Solve 2*y + 2*y - u = 0 for y.
2
Suppose -1 + 4 = p. Let i be (-2)/(-11) + (-3864)/77. Let z be 2/(-3 + i/(-16)). Solve -p*c - c - z = 0 for c.
-4
Suppose -13*g + 7*g = -12. Solve 6 = 4*l + g for l.
1
Let r = -10 - -13. Solve -r = -0*l - l for l.
3
Let x = -35 + 92. Suppose x = 3*l - 15. Solve -1 - l = -5*s for s.
5
Let q(k) = -k + 13. Suppose -10 = -2*n - 0. Let g be q(n). Solve -r = r + g for r.
-4
Let f = 2 + 8. Solve -2 = 4*d + f for d.
-3
Suppose 5*a - 4*r = 18, a + a - 5*r = -3. Solve -3*l + 0*l - a = 0 for l.
-2
Suppose 2*j = -3*l + 19, -3*j + 2*l + 19 = 2*j. Solve -12 = j*f + 8 for f.
-4
Suppose 1 + 5 = 3*h. Solve 0 = -h*g + 4*g + 4 for g.
-2
Let y(q) = -q**2 - 9*q + 4. Let j be y(-7). Solve 8 = j*u - 16*u for u.
4
Let y be 0/((-1)/(2/(-4) - -1)). Solve 3 = -3*b - y for b.
-1
Let f be 1*(3 - -1)/4. Solve 4*w - 3 = f for w.
1
Let o(h) = -h**3 - 11*h**2 - 2*h - 11. Let w be o(-11). Let p = 46 - w. Solve -4*g + p = 15 for g.
5
Let c be (0/(-2))/(-2 - 0). Let q be (5/(-15))/(1/33). Let i(w) = -w + 4. Let s be i(q). Solve 0 = -c*j + 5*j - s for j.
3
Suppose 4*t + 2 = 6. Let i(x) = 1. Let o(f) = -7*f - 5. Let j(k) = -6*i(k) - o(k). Let q be j(t). Solve -4*d + 6 = -q for d.
3
Suppose 7*l = 5*l + 4. Solve -l*z + 3 = -7 for z.
5
Suppose 4*m + c - 3 = 0, -5*c = -2*m + 1 + 28. Suppose g - 2*g + 1 = 0. Let p be 2/(g - -3)*m. Solve -2*q + p = 11 for q.
-5
Let x = -4 + 12. Solve m + x = 3*m for m.
4
Let f be 4/(1 + 2 + -2). Suppose -5*h + 35 = f*i, -3*i = 4*h + 2 - 29. Solve -a = 4*a - i for a.
1
Let w(d) = -d + 5. Let x be w(3). Suppose -4*r - 5*f + 22 = -7, -x*r - 2*f = -14. Let b be r/(-27) + 220/18. Solve -3*l - b = -0 for l.
-4
Let a be (-1 + -24)*(2 - 3). Suppose 16 = 5*g + 3*g. Suppose h = -g*k + 10, 2*k = 4*h + 7*k - a. Solve 0*x + 4*x - 12 = h for x.
3
Let i(q) = 9 - 33*q**3 + 8*q**2 - 2*q + 10*q + 34*q**3. Let p be i(-7). Let c be (-7)/(-4) - (-3)/12. Solve -p = -h + c*h for h.
-2
Let j = 8 + -6. Suppose -j*q - 8 = -3*q. Solve -4*z = -q*z - 20 for z.
-5
Suppose -4*w + 3*m + 16 = 0, 2*w = 7*w - 3*m - 23. Suppose -2*p = -4*h + 6, 5*h - 3*h - 3*p + w = 0. Solve -h - 1 = c for c.
-5
Let d be (-1)/(-1 + 0 + 2). Let g be 5/(-10) + d/2. Let i be (0 + 1)*(g + 8). Solve 4*f - 13 = i for f.
5
Suppose 5*f = 3 - 18. Let l(s) = -2*s**2 + 2 + 0*s + 2*s**2 + s**2 + 3*s. Let y be l(f). Solve -6 = -r - y for r.
4
Suppose 5*l = -5*o - 20, 5*o - 4*l - 16 = o. Suppose -4 = x + x + 2*u, -u - 4 = o. Let g be (15/6 - x)*0. Solve g = 5*d - 2*d + 9 for d.
-3
Suppose -13 = -4*i - 5. Solve -i*s = s for s.
0
Suppose -j - 1 = -4*u, -j = 4*j + 2*u - 17. Suppose j*v + 18 = 3. Let i be (-2 + v)*18/(-21). Solve i = -2*b - 0*b for b.
-3
Let g = -37 - -43. Solve -g*i + 2*i - 16 = 0 for i.
-4
Let t(s) = -s**3 + 7*s**2 + 7*s + 8. Let r be t(8). Solve r - 1 = i for i.
-1
Let i(g) = g**3 + 3*g**2 - 7*g - 7. Let n be i(-4). Suppose -5*s + 3 = 3*x - 13, 2*s - 12 = -4*x. Solve n*b + x = 27 for b.
5
Let g be (1 - (-3 - -1))/1. Suppose g*h + 7 = 25. Solve 0*i = -2*i + h for i.
3
Let w = 23 - 23. Solve w*z = 3*z + 12 for z.
-4
Let j = -28 - -31. Solve -j*a + 1 = -8 for a.
3
Suppose c - 20 = -4*c. Suppose 0 = c*v + g - 21, -5*g = -0*v - 3*v + 10. Suppose v*l - 25 = 5*s, -3*s + 6*s + 3*l - 15 = 0. Solve w + s = -3 for w.
-3
Suppose 2*o - 110 = -20*o. Solve -14 = o*p + 6 for p.
-4
Let t = -104 - -104. Solve t = -0*b + 3*b + 9 for b.
-3
Let k(h) = -5*h + 0*h + 4*h + 2. Let a be (-2)/8 - 3/(-12). Let i be k(a). Solve -1 - 1 = i*f for f.
-1
Suppose 0 = 4*p - 3*z - 13, 5*z - 21 = p - 3. Solve p = j + 3 for j.
4
Suppose -3*c - 5*v = -27, -c - v = c - 11. Solve c*y + 5 = 5*y for y.
5
Suppose 2*s = s + 3. Let b(d) = -5*d**3 + 1. Let u be b(1). Let a be 6/(-1 + (-7)/u). Solve a = s*l - 7 for l.
5
Let l be -2 - ((0 - -1) + -5). Suppose 2*p - 4*u = -9*u + 9, -l*u = -p. Solve p - 4 = 2*t for t.
-1
Let i be (-10)/(-4)*(-4 - -6)*1. Solve 36 = -i*s + 16 for s.
-4
Let z = 11 - -14. Solve f = -4*f + z for f.
5
Let y(f) = -4*f - 1. Let c(v) = -v**3 - 5*v**2 - 1. Let x be c(-5). Let b be y(x). Solve b = -2*m - 1 for m.
-2
Let l(n) = -n**2 - 5*n + 4. Let i be l(-5). Suppose -5 = -a - 5*y, 8*y - 20 = -4*a + 3*y. Suppose -m + 4 = -0, -a*m = -x - 17. Solve -x*d = -i*d + 4 for d.
4
Let c be 3/12 + 7/4. Suppose 2*k - 4*k = 0. Solve -c*s - s = k for s.
0
Let j(x) = 14*x - 2. Let z be j(-2). Let c = 45 + z. Solve -w + c = 4*w for w.
3
Let p be (-1)/(0 + (-4)/140). Suppose z - 2*z + 3*b + 7 = 0, 0 = -5*z + 2*b + p. Suppose 0 = 2*l - 10, -5*l + 12 + 5 = -4*g. Solve g*r = z*r + 10 for r.
-2
Suppose -b - 8 = -v, 4*v - 32 = -0*v - 3*b. Suppose 4*u + 0 = v. Solve -4*f - 6 = -u for f.
-1
Suppose -33 = -3*a - 0*a. Let v(d) = -d**3 - 5*d**2 - 6*d - 5. Let g be v(-4). Let x(h) = -h**3 - h**2 + h + 1. Let n be x(0). Solve a = -g*f - n for f.
-4
Let g = -19 + 22. Solve -g*c - 2*c + 20 = 0 for c.
4
Suppose -5*v = 21 - 1, -3*d - 5*v - 11 = 0. Solve 0 = 2*k - d*k for k.
0
Let j(h) = h - 1. Let y be -1 - -4 - -3 - 3. Let o be j(y). Suppose 4*t = -a - 5, -4*t - 4*a = a + 25. Solve -o*r + 0*r - 6 = t for r.
-3
Suppose -5*v + 30 = 10. Solve 2 - v = 2*b for b.
-1
Let i(b) = -6 + 3*b**2 + 4*b - 4*b**2 + 0*b**2 + 2*b**2. Let r be i(-5). Let u be (-3 - 5)*r/2. Solve -3*m = -m - u for m.
2
Let p(t) = -1. Let w(f) = f**2 + 4*f - 1. Let r(j) = -3*p(j) - w(j). Let q be r(-4). Solve q*c + 7 = -9 for c.
-4
Let d(u) = u**3 + u**2 + 2. Let l be d(0). Suppose -4*v = -l*v - 36. Solve -2 = 4*i - v for i.
4
Suppose -4*q = -2*c, 4*c - 28 = -4*q - c. Solve 0 = 3*n + q*n for n.
0
Suppose 2*b - u = u + 32, 2*u = -2*b + 12. Solve -2*j = -3 + b for j.
-4
Let d be (22/(-55))/(2/(-10)). Let w = 16 - 8. Let r(h) = -h**3 - h**2 + 3*h + 2. Let g be r(-2). Solve -d*n + g = w for n.
-4
Let f = -15 - -27. Suppose f = 5*i - 4*i. Solve -i = -5*r + 2*r for r.
4
Let q = 1 - -1. Let g = -2 + q. Suppose -3*i - 1 + 10 = g. Solve 3 = -3*h - i for h.
-2
Suppose -3*x - 22 = -5*d, 0 = -0*x + 5*x + 20. Let u be 7 + (2 + 0 - d). Suppose 2*j - u*j = 5*o + 10, 0 = -4*j + o + 17. Solve j*g = -2*g + 20 for g.
4
Suppose -4*w = -0*w. Solve -2*l = -w*l - 8 for l.
4
Let t be (18/12)/((-1)/(-2)). Solve 0*k = -t*k for k.
0
Let m = -16 + 33. Solve -m = -3*h - 2 for h.
5
Suppose 40 = 4*r + 5*s, 5*r + 5*s + 0*s - 45 = 0. Suppose -r = -l - 0*l. Suppose 0 = -z - 3*q - 9 + 1, -2*z - l*q = 12. Solve -5*a + z*a = 3 for a.
-3
Suppose -3*p - 813 = 981. Let b be p/(-10) + (-4)/(-20). Suppose 4*z = -0*z + b. Solve -6*w + w = -z for w.
3
Let k(y) = 3*y + 51. Let o be k(-15). Solve z + o = 3*z for z.
3
Let q(s) be the first derivative of 2*s**3/3 + s - 3. Let k be q(-1). Solve v - 2*v - k = 0 for v.
-3
Let a = 9 + -7. Suppose 0 = 5*p - a*p - 15. Solve -p*w + 5 = 15 