y.
4
Let q(o) = 6*o + 13. Let h be q(-7). Let l = 50 + h. Solve 4*m - 9 = -l for m.
-3
Let h = -8 - -10. Suppose 2*n + n - 12 = 0. Solve 0 = n*t + h + 18 for t.
-5
Suppose -18 = -8*m + 5*m + 2*s, -2*m - 2*s + 22 = 0. Let h(i) = -i**2 + 5*i + 37 - 18 - 17. Let w be h(5). Solve m - 2 = w*r for r.
3
Let h be ((-7)/(28/(-8)))/2. Solve -1 = 2*y + h for y.
-1
Suppose 5*c + m - 8 = 0, 2*c = -0*c + 2*m + 8. Solve -c*y = y - 12 for y.
4
Let p be (15/(-1))/5 + 9. Solve v = -v + p for v.
3
Suppose 4*c = 22 + 2. Let u be c - ((-3)/3 + 1). Let f = -3 + u. Solve 5*p + f = -7 for p.
-2
Let x(y) = y**2 + 11*y + 13. Let c be x(-12). Let r = 29 - c. Solve 0 = 2*l - l + r for l.
-4
Suppose -3*j + 9 = -0, -5*j = 2*b - 17. Solve -4*l = b + 3 for l.
-1
Let a = -20 - -23. Solve a*k = -0*k for k.
0
Let p(d) = -3*d**2 - 10*d - 1. Let r be p(-3). Solve 4*x - r*x - 2 = 0 for x.
1
Suppose 4*k = -b + 3, 1 = -2*k + 5*k + b. Let p(u) = -u**3 - u**2 + 3*u + 1. Let g be p(-2). Let n be 1 - (0 - 3 - g). Solve -n*z + 10 = -k for z.
4
Let p(i) be the first derivative of i**4/4 - i**3/3 - i**2/2 - 2*i - 3. Let x be p(0). Let l(s) = -s**3 + 2*s + 1. Let b be l(x). Solve 4*q + 25 = b for q.
-5
Let c(z) = z**2 + z - 10. Let m be c(5). Solve 2*h + 3*h - m = 0 for h.
4
Let l = 36 + -36. Solve -z - 1 = -l*z for z.
-1
Let r be (12/(-8))/((-3)/4). Let t = 0 + r. Let o = 0 + 0. Solve t = -l - o*l for l.
-2
Let c be -5 + 7 + 1 + 12. Let f = -10 + c. Solve f*u - 12 = 3 for u.
3
Let p = -16 - -18. Solve p*h + 20 = -3*h for h.
-4
Suppose -2*b - k = -2, -4*b + 15 = -k - 1. Let p = b + 0. Solve -p*d = 2*d - 25 for d.
5
Let m(z) = z - 4. Let p be m(7). Solve l + p*l = 8 for l.
2
Let q(s) = 2*s - 8. Let t be q(6). Let x = t + -2. Suppose -3*y = -4*j - 6, -2*j = 5*y + x*j - 10. Solve -3*k + 2*k = -y for k.
2
Let l be (-2)/(-7) - 1952/(-28). Suppose -u = 4*u + l. Let z = -10 - u. Solve -j = -0 - z for j.
4
Suppose 5*f - 2 = -2*v + 3*f, 0 = -4*v + 4*f - 4. Let t(b) = 3*b - 7. Let n be t(5). Solve v = g + 3*g + n for g.
-2
Suppose -5*u + 7 + 3 = 0. Let q(y) = -y + 1. Let k = 4 + -7. Let p be q(k). Solve w = -p + u for w.
-2
Suppose -2*h - 5*v = -36, -h + 15 = 2*v - 1. Solve -5*f + h = -12 for f.
4
Let a be ((-6)/(-4))/((-6)/(-8)). Let p(f) = -f - 6. Let c be p(-8). Suppose -4*g - c + 22 = 0, -8 = 4*d - 4*g. Solve d*q - 4 = a for q.
2
Let t(f) = f**2 - 8*f - 11. Let d(r) = 2*r**2 - 16*r - 22. Let b(g) = -4*d(g) + 7*t(g). Let y be b(9). Suppose 24 = 5*k - 11. Solve y*w + k = 3 for w.
-2
Suppose s + 9 = 4*s. Let a be s/(-6)*-10 + -1. Solve a*v - 15 = -v for v.
3
Let y = -9 - -5. Let h = y + 7. Suppose -u + h*q - q = 2, 3*u - 3*q = -3. Solve 0*n - n = u for n.
0
Suppose 10 + 5 = 3*f. Let v = -8 + 11. Solve -v*g = -f*g - 2 for g.
-1
Suppose 5*h - h = 448. Suppose -j = -5*j + h. Let n be 36/21 - (-8)/j. Solve -n*m = -m + 5 for m.
-5
Let p(n) = -4*n + 5. Let m = -14 - -9. Let h be p(m). Suppose 0 = 2*a + 3*a - h. Solve -z - 6 = -a for z.
-1
Let y = 1 - -5. Let o(m) = -m**3 + 5*m**2 + 6*m + 3. Let t be o(y). Solve -t + 0 = -l for l.
3
Suppose 5*p = 5 - 0. Let v be 24/14 + 16/56. Solve g = -v - p for g.
-3
Let h(x) = -2*x**2 - 13*x + 13. Let g be h(-7). Solve 12 = -10*t + g*t for t.
-3
Let l = 8 + -9. Let g(i) = -2*i**3 - 2*i - 1. Let a be g(l). Solve -12 = -3*b - a for b.
3
Suppose -j - 12 = j. Let v be ((-4)/j)/(1/(-21)). Let y be (-12)/14*v/2. Solve y = -3*b + 3 for b.
-1
Let s(k) = -k**3 + 8*k**2 + 11*k - 7. Let l be s(9). Let u = -9 + l. Suppose 0 = -2*z + 12. Solve y = -u*y - z for y.
-2
Let t = -25 + 0. Let w = -20 - t. Solve w*m - 23 = -3 for m.
4
Suppose 5*c + 6 = 16. Suppose 0 = c*w - i - 18, -w - 1 = i - 7. Suppose -3*a - 6 = 9, 3*a + 24 = 3*m. Solve -m*b = -b + w for b.
-4
Let l(s) = s + 7. Let p be l(-7). Let u(j) = -j. Let k be u(p). Let d = 1 - -4. Solve d = -5*y - k*y for y.
-1
Suppose 3*n + 9 = 3*r - 27, 4*n - 8 = -3*r. Solve -2*a = -0*a + r for a.
-4
Let i = 11 - 9. Solve -2*s - i*s - 16 = 0 for s.
-4
Let x be 0*3*(-3)/(-18). Suppose -3*i + 0*i + 15 = x. Let p(b) = 22*b**3 + b. Let f be p(1). Solve -f + 8 = i*k for k.
-3
Let f = 27 - 20. Suppose 9*j - 34 = f*j. Solve -3*x - j + 5 = 0 for x.
-4
Let b(v) = v**2 - v + 11. Let s be b(0). Solve -12*l = -s*l - 1 for l.
1
Let r be 2/(0 + 2/(-3)). Let t = 0 + 1. Let w be 0*(t + r/2). Solve -3 = i - w*i for i.
-3
Let s(a) be the first derivative of -3*a**2/2 - 3*a - 2. Let x be s(-6). Solve -x = w + 2*w for w.
-5
Suppose -3*g = -3*y + 24, 2*y + 0*y - 4*g = 8. Suppose 3*d - 36 = y. Suppose 2*z - d = -6. Solve -z*p + 0*p - 10 = 0 for p.
-2
Suppose 2*i + 4*v - 19 = v, 2*v = 5*i - 57. Let a = i - 0. Solve 0 = 2*z - 3 + a for z.
-4
Suppose -3*i = 0, -i + 3*i + 75 = 5*b. Solve -5*o + 0*o = b for o.
-3
Let r be 3/((-9)/12) + 2. Let q = 5 + r. Let h(g) = 7*g + 4. Let y be h(q). Solve u = 6*u + y for u.
-5
Let g(v) = -3*v**3 + 18*v**2 - 26*v + 29. Let t(q) = -q**3 + 6*q**2 - 9*q + 10. Let m(n) = 3*g(n) - 8*t(n). Let x be m(5). Solve 4 = -c + x for c.
-2
Suppose -2*i + 2 - 18 = 0. Let h(m) = -13. Let z(s) = -s + 66. Let y(f) = 11*h(f) + 2*z(f). Let r be y(i). Solve -r*p = 8 + 7 for p.
-3
Let j be (-13)/(-2) - 3/(-6). Let n(d) = j - 7 - 4*d. Let y be n(-1). Solve -12 = -y*l - 0*l for l.
3
Let g = -25 - -17. Let h = 8 + g. Solve 0 = 5*c - h + 15 for c.
-3
Suppose -29 = r + 3. Let m = 12 + r. Let i = m + 31. Solve -5*k - 4 - i = 0 for k.
-3
Suppose -z - 2 = -2*z. Let w be 4/z - (4 + -14). Suppose 3*n + 3 - w = 0. Solve 0 = 2*p - n + 7 for p.
-2
Let k be 1 + 0 + (2 - -1). Suppose -10*j - 39 + 59 = 0. Solve j*d = d + k for d.
4
Let u(n) = n**3 - 2*n**2 + 3*n - 2. Let k be u(2). Suppose -3*m - k*s + 27 = 0, m - 2*s - 9 = -2*m. Solve -m*c + 2 + 8 = 0 for c.
2
Let d = 117 + -51. Let w be 2/(-11) - (-210)/d. Let c = 1 + -1. Solve c = -4*l + l - w for l.
-1
Let u = -51 - -29. Let f = -2 - u. Solve -i = -6*i + f for i.
4
Suppose 2*f + 3 = 5*w - 3, 3*w - 2*f - 2 = 0. Let m(y) = y**3 - 2*y - 1 - 4 - 3 + 1 + 6*y**w. Let z be m(-6). Solve -10 = -z*v - 5 for v.
1
Let a(r) = -r**2 - r - 60. Let j be a(0). Let x be (1/2)/((-10)/j). Solve 5*z - x*z - 4 = 0 for z.
2
Suppose -3*y - 24 = -5*q, 5*q - 6*y + 5*y - 18 = 0. Solve 5*h = q*h - 2 for h.
-1
Let t = -15 - -25. Let i(a) = -a**3 + a**2 + 2. Let h be i(0). Solve -h*c - t + 0 = 0 for c.
-5
Let t(v) = -v - 14. Let i be t(-8). Let n be (-4)/i*9 - 0. Suppose -5*s = -4 - n. Solve -2*g = -4 - s for g.
3
Let v(z) = -5*z**3 + z. Let a be v(-1). Let n be -2 - 2/2*13. Let q be 2/(-5) - 21/n. Solve -a = -3*u - q for u.
1
Let x be 0*(-1 + 0/3). Let o(j) = j**2. Let n be o(x). Solve -r + 1 + 2 = n for r.
3
Let x(v) = -v**3 - 6*v**2 - 6*v - 2. Let i be x(-5). Solve -10 = -2*r - i*r for r.
2
Let b(k) = -k + 11. Let y be b(8). Solve 8*g - 20 = y*g for g.
4
Let k(o) = o**3 + 15*o**2 + 14*o + 15. Let y be k(-14). Solve 0*f - y = -5*f for f.
3
Suppose 5*x + 1 = 2*y - 6, x = 2*y - 3. Let r be 4*1/y + 0. Solve 2 = -2*p - r for p.
-3
Suppose 40*s - 9 = 37*s. Solve s*h = 7*h - 20 for h.
5
Suppose 0 = 3*o + 2*o - 90. Let d = o - 13. Solve -6*f = -f + d for f.
-1
Let i(h) = h**2 + 2*h - 1. Let z be i(2). Suppose z*s = 3*s + 108. Suppose -s + 9 = -3*r. Solve r = 4*d - 2 for d.
2
Suppose -3*n = -8*n. Suppose -2*j = -n - 4. Suppose -2*h + 3 - 61 = -5*o, 5*h = 2*o - 40. Solve -j*m + 4*m = o for m.
5
Let m(r) = r**2 - 3*r - 4. Let a be -1 + (34/2)/(-1). Let c be (a/4)/(6/(-8)). Let s be m(c). Solve 0 = 4*z + 2 + s for z.
-4
Suppose 4 = 2*y - 4*f, 4 = 2*y + 4*f - 2*f. Let l be ((-2)/(-4))/(y/16). Let g be l/(-2) - 8/(-4). Solve -3*v + 4*v + 2 = g for v.
-2
Suppose 3*f + 0*f = 24. Solve -h + f = h for h.
4
Suppose -5*u = 0, -4*u + 4 = -4*j + 24. Solve 4*x = -j + 13 for x.
2
Let t(f) = f**3 - 13*f**2 + 12*f + 4. Let a be t(12). Solve -2*m + 0 = a for m.
-2
Let h(o) = -2*o**2 - 34*o + 6. Let c be h(-17). Solve 4*b + 14 - c = 0 for b.
-2
Let p(b) = b**2 + b - 6. Let v be p(-4). Let s = v + -4. Solve 0 = s*u - 5 - 5 for u.
5
Let s be -12*1*(-1 + 0). Let g = 60 + -36. Suppose 3*y - 32 = 4*a, 8*a + g = y + 4*a. Solve -i = -y*i + s for i.
4
Suppose 5 = 3*l + 2*s, 0*l + 4*s - 1 = 3*l. Let r(h) = h**2 + 9*h - 8. Let z be r(-10). Solve z*y - y = -l for y.
-1
Let r(z) = z**2 + 14*z + 13. Suppose -t = -2*k - 11 - 14, -2*t - 2 = 0. Let f be r(k). Solve f = -5*o - 0*o