 Solve -3 + f = -o for o.
2
Let h(r) = 2*r**2 + 3*r. Let t be h(-2). Suppose 36 = q + 2*q. Solve 5*z + q = t*z for z.
-4
Suppose 0 = v + 3*v + 3*u - 4, 3*u = -12. Solve 0 = 2*h - 12 + v for h.
4
Suppose 4*m = -5*l + 80, 4*m + 0*l = -2*l + 68. Let b = 6 + 2. Solve -b*v + 3*v = m for v.
-3
Let p = 24 + -20. Solve 0*i = -p*i + 4 for i.
1
Let o(x) = -x - 4. Let d(j) = -7*j**2 + 1. Let r be d(1). Let q be o(r). Let u(a) = a**3 + 5*a**2 - 7*a - 1. Let l be u(-6). Solve -q*v = -v - l for v.
5
Suppose 21 = 4*u + 5*n, 3*n - 17 = u + u. Let r be u + (2 - 1) + -1. Let a be (-1)/((-10)/8 - r). Solve 0 - a = -i for i.
4
Let o = 112 - 108. Suppose -2*d + d = r - 2, -5*d + 20 = -5*r. Solve -d*l = -l + o for l.
-2
Suppose -6*a + a = 35. Let h(s) = 3*s**2 + 29*s - 8. Let f(c) = c**2 + 10*c - 3. Let r(q) = 8*f(q) - 3*h(q). Let z be r(a). Solve -i + 3 = -z for i.
3
Let k = -4 - -6. Suppose 0 = v + 3*f + 2*f + 18, -16 = -4*v + k*f. Solve 0*y = -v*y - 10 for y.
-5
Let v(p) = -2*p + 1. Let l be v(4). Let u = l - -8. Solve -u + 2 = j for j.
1
Suppose 2*x - 4*i = 12, 3*x + 2 - 10 = -4*i. Let a be -3 + (-9)/(-2)*2. Let b = a - x. Solve 3*q - b = -8 for q.
-2
Suppose 0 = -4*o - 0*o + 12. Suppose -d = -4*h - 5, 2*h + o*d + d = 20. Solve 2*c + c = h for c.
0
Let l = -11 + 17. Suppose f - 32 = -4*g - 2*f, 5*g + 4*f = 41. Solve 0 = g*o - l - 9 for o.
3
Let s = 79 - 76. Solve -14 + 2 = -s*q for q.
4
Suppose o + 2 = 2*o. Let u be 8 + 2 - -1*o. Solve -5*y - u = -y for y.
-3
Let j = 44 - 29. Solve -j = 5*p - 2*p for p.
-5
Let c(a) = 5*a**2 - 5*a - 1. Let z(n) = 11*n**2 - 10*n - 3. Let t(i) = -9*c(i) + 4*z(i). Let w be t(3). Solve -4*g = -w*g for g.
0
Suppose -2*l = 2*q + 3*l - 14, -2*l + 14 = 5*q. Solve -q*i + 4 = -0 for i.
2
Let h be 456/18 - (-1)/(-3). Let t = 0 + h. Solve 0 = 2*b - 7*b + t for b.
5
Suppose 3*i + 0*i - 27 = 0. Suppose -4*q - h - i = -4*h, -3*h = -5*q - 9. Solve q*v = v for v.
0
Suppose -5*j - 6 = 14. Let o be 2/(-2) - 4/j. Solve o = 4*g + g + 10 for g.
-2
Suppose -24 + 33 = 3*a. Solve a*n - 4 = 5 for n.
3
Let g be (-3 - -1) + 2 - -2. Solve l + g*l = 0 for l.
0
Suppose -2*w + 5*w = 2*r + 11, 2*r + 2*w = 14. Solve 4 = -2*y - r for y.
-3
Suppose -i - 3*i + 14 = 2*y, 1 = y. Solve 2*a = -i*a + 25 for a.
5
Let g(b) = 2*b**3 - 2*b**2 + 2*b - 7. Let f be g(2). Solve f*j = j - 20 for j.
-5
Suppose 4*p - 15 - 3 = -2*c, p + c - 7 = 0. Suppose -p = q - 4. Let a be 24/14 + q/7. Solve -a*j - 5 = -1 for j.
-2
Let u = -108 - -112. Solve u*n - 27 + 11 = 0 for n.
4
Suppose 4*q + 10 = -c - 2, -3*c = q + 3. Suppose c = -2*t + 10, d - 2*t = 3*d - 14. Solve 0*l + l = d for l.
2
Let t = -16 + 11. Let m be (2/(-1) - t) + -1. Suppose -5*h + g = -14, 0 = h - m*g + 3*g + 2. Solve h + 2 = -2*i for i.
-2
Let v(h) = -h**3 + h**2 + h + 1. Suppose -m + 4*m = 4*x + 5, -5*m + 2*x - 1 = 0. Let l be v(m). Let q = -20 - -24. Solve l*f + 2*f = q for f.
1
Suppose -15 = -5*d + 5. Let w = 223 + -198. Solve d*z - w = -z for z.
5
Let m(o) = -2*o + 35. Let j be m(15). Suppose 1 + 7 = 4*z. Solve -z*g = 3*g + j for g.
-1
Suppose -5*p = -3*j - 7, -4*j - 2*p = 3*p - 49. Solve 0 = -r + j*r + 10 for r.
-2
Let c be 2/((-10)/25) + 15. Solve c = 2*v - 0*v for v.
5
Suppose 0 = 2*m + 10, -4*d - 1 = -3*m - 16. Suppose -3*q - 28 = -4*t, -t + 2*q + 15 - 3 = d. Solve t - 16 = 4*j for j.
-3
Let v = 26 + -8. Suppose -4*l - 6 + v = 0. Solve -g - 4 = -l*g for g.
2
Let o(m) = -3*m + 21. Let j be o(6). Solve -j*i - 10 = 2 for i.
-4
Suppose y + 26 = 30. Solve 4*g + y - 24 = 0 for g.
5
Let c = -14 - -28. Let b = c + -4. Solve -b = -v - 4*v for v.
2
Let l be -3*(-1 - 1/(-3)). Suppose -m + q = m - 20, 0 = -3*m + q + 29. Let k(n) = -n**3 + 9*n**2 - n + 11. Let x be k(m). Solve j + x = l*j for j.
2
Suppose f + 5 = 2*f. Let x(q) = q**2 - 7*q + 7. Let y be x(f). Let i = y - -5. Solve 3*b + 15 = -i*b for b.
-3
Let z = -6 - -10. Suppose -z*o + 6 = -6. Suppose 3 = 5*x - c, -5*x + c - 6 = 3*c. Solve o = -l - x for l.
-3
Let j(t) = 2*t**2 + 5*t + 1. Suppose 0 = 4*q - 5*c + 4 - 3, 2*q = 4*c + 4. Let o be j(q). Solve -2*b + o - 5 = 0 for b.
4
Suppose -7*z = -4*z - 6. Let t be 2/(-6) + (-49)/(-3). Solve 2*m - t = -z*m for m.
4
Let s(i) = -2*i**3 + 8*i**2 - i + 9. Let z be s(4). Solve -z*j + 8 = -3*j for j.
4
Suppose 9 = -7*u + 9. Solve u = 3*n + 2*n for n.
0
Let d(f) = f**2 + 14*f + 7. Let l be d(-14). Solve -l + 3 = 4*t for t.
-1
Let k = 0 - -5. Let d(x) = -3*x + 15. Let h be d(5). Solve k*g + h = 20 for g.
4
Let w be 1/((-1 - 0)/(-2)). Let n = 8 + -8. Suppose -s = -w - n. Solve 2 = -b - s for b.
-4
Suppose 0 = -g - 0*g + 9. Solve -2*i - g = i for i.
-3
Suppose 0 = -3*i - 9, -5*q + 0*i - 24 = -2*i. Let f(x) = -10*x - 2. Let n be f(q). Let s be n/18 - (-2)/(-9). Solve 5*j = -s - 2 for j.
-1
Suppose -16 - 12 = 4*a. Suppose -m - 1 = 4*c, -2*m + 28 = 2*c + 6. Let n = a + m. Solve 0 = -t + 5*t - n for t.
2
Let y(s) = -5*s - 29. Let h(c) = -c - 7. Suppose 5*z - 14 + 4 = 5*f, 3*f + 10 = z. Let g(t) = z*y(t) + 9*h(t). Let v be g(7). Solve -v*w + 3 = -3 for w.
3
Suppose 15 - 5 = 5*y. Solve w + 0 = y for w.
2
Suppose -3*s = -3 - 12. Solve 0 = -s*y - 3 - 7 for y.
-2
Suppose -5*j = -4*j + 28. Let b = 20 + j. Let s be ((-3)/6)/(2/b). Solve -q - 3 = -s*q for q.
3
Let w be (-9)/(-15) + (-14)/(-10). Solve -5*v - 15 = -w*v for v.
-5
Let f = 4 + 0. Suppose 0 = 2*k - 2*p + 8, 0*k + 30 = -f*k - 3*p. Let v be 4/k - 212/(-12). Solve 3*n - v = -5 for n.
4
Let m be 4/30 - ((-17)/(-15) - 2). Solve 1 = -c - m for c.
-2
Suppose -l + 50 = 4*l. Solve -l - 5 = -3*a for a.
5
Suppose 2*b = 4*b - 2. Let l(o) = -o + 7. Let q be 2 + (3 - 5) - 6. Let d be l(q). Solve -d + b = -4*m for m.
3
Let o = -35 + 44. Solve 0 = 5*u - o - 6 for u.
3
Suppose -6*d + 2*d - 16 = 5*u, 0 = 3*u + 5*d + 20. Solve 5*z + u*z = 0 for z.
0
Let z be 4/((-4)/(-12)*3/2). Solve -5*r + r + z = 0 for r.
2
Let q be (39/(-15))/((-1)/5). Let o(p) = -3*p**3 - p. Let b be o(-1). Solve -7 = -b*m + q for m.
5
Let o be (-80)/(-12) + (-2)/(-6). Let b be 12/7 + 2/o. Suppose -2*x - 13 = -5*x - b*c, -x - 5*c = 13. Solve -2*i - x = -3 for i.
-2
Let b be (-1)/(2/(-6)) + -3. Suppose -5*f = -s - 3*s + 21, b = s + 5*f + 26. Let t be -1 + (s - -2 - -3). Solve 4*r - t*r = -1 for r.
-1
Suppose 4*z - 5*j - 49 = 0, 4*j + 29 - 3 = z. Solve 3*n = 5*n - z for n.
3
Suppose -5*k + t + 1 = -1, -5*k = t + 2. Solve l + k*l + 1 = 0 for l.
-1
Suppose 3*u + 2 = 4*u. Solve 0 = u*a + 6 for a.
-3
Let l be (-4)/(-18) + (-510)/(-135). Solve -l*c = 1 + 3 for c.
-1
Let z(c) = -8*c**2 + 7*c - 8. Let s(r) = 3*r**2 - 2*r + 3. Let y(b) = -11*s(b) - 4*z(b). Let h be y(-5). Solve h = -3*t + 1 for t.
-1
Let g(t) = -t**2 + 7*t + 1. Let h be g(7). Let x(i) = -2*i**2 - h + 0 + 3*i**2. Let o be x(-1). Solve o - 3 = -3*l for l.
1
Let s be (-16)/(-3) + 2/(-6). Let l(f) = -f**3 + 4*f**2 + 6*f + 1. Let t be l(s). Let a = -6 + t. Solve r + a = -5 for r.
-5
Suppose -73 = -5*b - 4*w, 2*w - 83 = -4*b + 7*w. Suppose b = 5*v + 2. Solve -v*g = -2*g + 3 for g.
-3
Let q(o) = -3*o + 27. Let k be q(8). Solve c = -k*c + 4 for c.
1
Suppose -2 = 4*h + i - 16, h + i = 5. Let z(j) = j - 1. Let r be z(1). Suppose 0 = f + 4*o - 22, r*f = 4*f - 4*o - 28. Solve f = -n + h*n for n.
5
Let s = 10 - 8. Solve -s*z + 0*z = 10 for z.
-5
Let n(v) = v**3 - 17*v**2 + 5. Let k be n(17). Suppose -13 - 3 = -5*z + 4*l, -k*l - 20 = -5*z. Solve 2*a + 2 = -z for a.
-1
Let q = 1 + 1. Suppose -4*j = q*l + 10, -4*j - 20 = -5*l - 3. Let a be (8/(-16))/((-1)/4). Solve -w + l + a = 0 for w.
3
Let g = 9 + -7. Suppose 0*f + 3*f = 6. Solve -g*x + 0*x = -f for x.
1
Suppose -4 = -3*l + 5. Let n = 1 + -1. Let y be (-12 + 11)/((-2)/18). Solve n*x + y = -l*x for x.
-3
Let z = 37 - 56. Let j be 3*1*z/(-3). Solve -5*q = -j - 6 for q.
5
Suppose 6*n - 20 = 2*n. Solve n = -5*x - 0 for x.
-1
Let p(s) = s**2 + s + 1. Let i be p(-2). Solve -4*r = -9 - i for r.
3
Suppose -y = 3*d - 12, 3*y = 5*d - 11 - 9. Suppose 5 = -3*p + d*p. Solve -4*q + 5 = -p*q for q.
-5
Let b be (-4 + 5 - -2)*1. Solve -13 + b = -2*f for f.
5
Let n = 12 - -7. Let r = 1 + -14. Let a = r + n. Solve a*z - z + 5 = 0 for z.
-1
Suppose -4*z = 17 + 7. Let m = z - -11. Suppose o = 2*o - m. Solve o - 1 = 4*h for h.
1
Suppose -5*f + 30 = -45. Let n = f - 11. Suppose -5 = 4*c - l - 14, -5*c - n*l = 15. Solve -3*r + 4 - c = 0 for r.
1
Let s = -2 + 