3*o + g for o.
5
Let r(v) = v**3 - 4*v**2 - 3*v + 7. Let o be r(0). Solve -o*f - 2*f = -9 for f.
1
Suppose 0 = -2*d - 0*d + d. Suppose 5*y + 4*a - 6*a - 31 = d, 0 = -y + 5*a + 20. Solve -y*z + 11 = -4 for z.
3
Let d = -32 + 38. Let h(u) = u + 15. Let k be h(d). Let g be 14/k - 7/(-3). Solve g*o = -0 - 6 for o.
-2
Let f be (2 + 0 - 2)*-1. Let v(q) = q**3 - 26*q**2 - 26*q - 25. Let u be v(27). Suppose -4*k = 3*g - g - u, f = 2*k + 2*g. Solve -m + 5 = k for m.
4
Suppose 7 - 5 = s. Suppose -5 = -s*b + 25. Let g(p) = p - 12. Let h be g(b). Solve 0*x - h*x = 12 for x.
-4
Suppose -w - 5 = -2*w. Suppose 8*t = 6*t + 6. Suppose -t*z + 15 = 2*z. Solve -7 = w*q + z for q.
-2
Let q = -815 + 823. Solve q*y - 9*y = -5 for y.
5
Let w be 9 + 14 + -18 + 4 + 0. Solve w*l + 6 = 11*l for l.
3
Let p = -107 + 111. Suppose -d = -2*d - 2*b - 6, 0 = -3*b - 9. Solve d = h - p*h - 15 for h.
-5
Suppose -5*w - 1 + 6 = 0. Let m(d) = d - 1. Let k(o) = 4*o - 3. Let u(i) = 4*k(i) - 11*m(i). Let h be u(w). Solve h = -r - 0 for r.
-4
Suppose 0 = 6*b - 5*b + 3*k - 4, 1 = -3*b + 4*k. Solve -5*y + b = 11 for y.
-2
Let a be -7 + (-76)/(-12) - 209/(-3). Solve -a*l - 6 = -66*l for l.
-2
Suppose -2*t - 2*t + 12 = 0. Suppose -t*b - 2*b + 10 = 0. Suppose -4*z + 0*p = p - 82, 0 = 3*p - 6. Solve 2*s = -b*s + z for s.
5
Suppose 13*b = -7*b + 80. Solve -b*c + c + 12 = 0 for c.
4
Suppose -2*r + 3*r = 2. Let w be (1 - r)*-3*7. Let x be 1 + -5 + 3 + 5. Solve 5 = -x*f + w for f.
4
Let b(j) = j**3 - 9*j**2 + 13*j + 24. Let k be b(8). Suppose -117 = -0*a - 3*a. Let f = k - a. Solve 0 = 2*z + 3*z - f for z.
5
Let k(c) = -3*c**3 - 27*c**2 - 33*c + 43. Let o(y) = 5*y**3 + 41*y**2 + 50*y - 64. Let b(d) = 8*k(d) + 5*o(d). Let g be b(12). Solve g = 3*v - 0*v for v.
0
Let b = -2042 - -2047. Solve b*i + 12*i = -51 for i.
-3
Let f(x) = -x**3 + x - 2. Let z be f(-2). Suppose -w = -3*q + 75, 2*q - z*q - 258 = 3*w. Let i be 3/(w/8)*-7. Solve -s = i*s for s.
0
Let f = -10 + 35. Let x(s) = -s**3 + 2*s**2 + 6*s - 7. Let i be x(3). Solve 0 = 3*k + i*k - f for k.
5
Let x(i) = 12*i + 4 + i**3 - 36*i**2 + 5*i**2 + 5*i**2 + 13*i**2. Let j be x(12). Suppose 5*a - 4*a = 0. Solve j = -a*z + z for z.
4
Let c be (-19)/(6 - 4 - 3). Let t = 21 - c. Suppose -6*y + 7*y = t. Solve -4*z = -y*z for z.
0
Let b be 6 + 3 + (1 - 1). Let x be (b/3)/(6/(-4)). Let k be (x/(-3))/(8/36). Solve -2*c = c + k for c.
-1
Let l(w) = -3*w**2 + 17*w - 6. Let n be l(5). Solve -12 = 2*m + n*m for m.
-2
Let g = -30 + 91. Suppose -4*c = -g - 15. Suppose -5*z - 3*j + 24 = 0, -c + 4 = -5*j. Solve -z*k + 6*k - 6 = 0 for k.
2
Let z = -2 + 2. Let m(c) = c - 6. Let l be m(7). Suppose l = t - z*t. Solve a = -0*a - t for a.
-1
Let l(m) = 4*m**2 - m - 6. Let j be l(-2). Suppose 0*g + z = -4*g + j, 5*z - 16 = 2*g. Solve -g*r + 0 + 2 = 0 for r.
1
Suppose 31 + 69 = 5*y. Suppose -3*z - 1 = -2*m, -y = -z - 4*z - m. Solve -z*g = g for g.
0
Suppose 0 = m - 0*o + 3*o + 6, 2*o + 18 = 4*m. Solve -w + 10 = -m*w for w.
-5
Let u(z) = z**3 + 12*z**2 + 19*z - 9. Let r be u(-10). Solve 2 = -3*q - r for q.
-1
Let m = -2120 + 2126. Solve 0 = -m*p + 118 - 112 for p.
1
Suppose -4*h + 16 = -2*z + 84, 2*z + 2*h = 62. Solve 3*j + 17 = z for j.
5
Let o(h) = h**3 + 4*h - 3. Let w be o(2). Let n be w/39 - 8/(-3). Solve -13 = -n*u - 1 for u.
4
Suppose 0 = -2*g, 5*m - 20 = 12*g - 7*g. Let p(x) = 2*x**2 - 10*x + 10. Let a be p(m). Solve -a*u = -3*u for u.
0
Let l(k) = -6*k + 2. Let m be l(-2). Solve -m*h + 9*h = -15 for h.
3
Let q = 13 + -11. Suppose 4*h + 5*c - 4 + 16 = 0, -q*h - 5*c = 6. Let m be 1 - 4/(-2) - h. Solve 15 = -f + m*f for f.
3
Let i = -12 + 14. Suppose 5*v - 54 = i*v. Let c = v - 14. Solve 0 = -0*f - 4*f + c for f.
1
Suppose 2 = -j, 3*j = -5*b + 13 - 4. Let r = 9 - 6. Suppose 5*a + 7 = -3*k, 5*k - 38 = 2*k + 4*a. Solve 0 = -b*c + k - r for c.
1
Suppose 850*c - 856*c + 24 = 0. Solve 0 = -z - c*z - 10 for z.
-2
Let b(p) = -p + 10. Let o be b(-6). Solve 12 = -o*v + 12*v for v.
-3
Suppose -3*h + 2 = -2*h. Suppose h*o + 5*q + 9 = -12, 4*o + 2*q + 2 = 0. Suppose b - 13 = -o*w, -2 = -b + 3. Solve w*x + 6 = 2 for x.
-1
Let a = -316 - -330. Solve 0 = -6*c - c - a for c.
-2
Let t(x) = -x**2 + 8*x + 8. Let c be t(9). Let p be 4/((-2)/(-6) - c). Let a(l) = -l**3 + 3*l**2 + 3*l - 3. Let h be a(p). Solve 4*j - 10 = h for j.
4
Suppose 17*a - 5 = 16*a. Solve o - 10 + a = 0 for o.
5
Suppose 0*y - 5*y = 30. Let d be y/27 + (-16)/(-72). Solve d = 3*n - 3 for n.
1
Suppose h = 5*o - 187, 262 = 5*o + 2*h + 81. Solve 0 = -42*t + o*t - 25 for t.
-5
Let l be (-39)/(-2)*(-26)/(-39). Let i = l + -10. Let r(v) = v**2 - v - 3. Let k be r(i). Solve k*f + 10 = f for f.
-5
Suppose a + 3*b + 11 = 2*a, -5*a + 5*b = -45. Suppose -1023 = -211*x - 179. Solve 0 = -8*z + x*z - a for z.
-2
Suppose -i - 2 = -5. Suppose 2 = i*k - 16. Solve -2*w + k = -0*w for w.
3
Let z(p) = -4*p**3 - p**2 + 2. Let u be z(0). Solve -u*a - a = -6 for a.
2
Let x(z) = z + 32. Let s be x(0). Suppose 4*c - 104 = -s. Solve -6 = 4*n - c for n.
3
Suppose -3*l = -0 - 15. Let b(o) = -o**3 - 5*o**2 - 3*o + 1. Let a be b(-7). Suppose -l*t = t - a. Solve 2*j + t = 6*j for j.
5
Let x(g) = -g**3 + 9*g**2 + 10*g + 8. Let j be x(10). Solve -3*d - 5 = -j for d.
1
Let t = -708 + 718. Solve -5*h + 0*h + t = 0 for h.
2
Let o be 315/(-7) + 2/2 + 2. Let c = -39 - o. Let g(j) = -j**3 + 3*j**2 + j. Let n be g(3). Solve 0 = n*r + 9 + c for r.
-4
Suppose g + 3 = 2*g. Let x be (4/(-3))/((-2)/g). Let i = 1446 + -1434. Solve -z = x*z + i for z.
-4
Suppose 4*d - 15 = -d, 5*d - 35 = 5*s. Let g(t) = t**2 + 3*t - 1. Let m be g(s). Suppose -3 = m*y - 18. Solve 0 = -y*n - 5 for n.
-1
Let x be -4*((-2 - -3) + -3). Suppose -x = -2*f - 3*b - b, -5*f + 5 = -5*b. Solve f*l - 2 = 4 for l.
3
Suppose 4*t - 24*j - 18 = -25*j, 26 = 5*t + 3*j. Solve 8 = -t*r - 8 for r.
-4
Suppose 3*b = -3*x + 21, b = 2*x - 4 + 2. Solve -b*t = -t for t.
0
Let r = -33 - -36. Suppose -2*p - 3*c = -3*p - 4, -r*p = -4*c - 3. Suppose 4*m - 48 = -0*m. Solve -m = p*q - 2*q for q.
-4
Suppose -5*d - 2*z = -14, -3*d + 2*d + 19 = -5*z. Solve 0 = d*v - 63 + 59 for v.
1
Suppose 40*a - 16 = 36*a. Let h be 156/130 + a/5. Solve 0 = -h*c + 7 - 1 for c.
3
Suppose -7*n = -6*n - 17. Solve -n*l - 81 = 10*l for l.
-3
Let x(a) = a**3 - 5*a**2 - 14*a + 13. Let d be x(7). Solve -12*r + 5 = -d*r for r.
-5
Let g = 607 - 605. Solve 7*l = g*l + 25 for l.
5
Suppose -11*y + 3*y + 40 = 0. Suppose 4*u - 4 = -2*s, y*u + 17 - 52 = 5*s. Solve -u*l - l + 20 = 0 for l.
5
Suppose 3*j + d + 14 = 35, 4*j - 36 = -4*d. Let k(u) = u**2 + 2*u + 2. Let q be k(5). Let b = q + -31. Solve j = -3*r - b for r.
-4
Suppose 5 = q + 1. Let u = 14 - q. Let g be (17/(-2))/((-5)/u). Solve 5 = 3*c + g for c.
-4
Suppose -2*y + y - 8 = -3*q, 2*y + q - 12 = 0. Solve -1 = -y*w - 5 for w.
-1
Suppose -24*p - 51 + 339 = 0. Solve 10 = 2*w + p for w.
-1
Let x be 0 - (-11)/(11/(-18)). Let i be (x/(-27))/((-1)/(-3)). Suppose 13 = n - 4*h + 2, i*n = 5*h + 16. Solve 0 = n*k - 2*k + 5 for k.
-5
Suppose -3*p - 3*t = -18, 0*t + 7 = 2*p - 3*t. Suppose -p + 1 = -3*q + y, -16 = -4*q + 4*y. Solve q = 4*c + 32 - 12 for c.
-5
Let p(u) = u**3 + 6*u**2 + 9*u + 5. Let w be p(-3). Let o(v) = -v**2 + 5*v + 3. Let a be o(5). Solve -2*i = -w*i - a for i.
-1
Suppose 0*k - 50 = 2*k. Let m be (-23)/(-5) + (-10)/k. Suppose 0 = -3*z + m*s + 5, 5*s = -z - 0*z - 5. Solve -2*c + 6 + 2 = z for c.
4
Let w be (-18)/12*(-4)/2. Suppose -p - 3*p = -5*u - 10, 5*p - 3*u - 6 = 0. Solve w*b = -p*b for b.
0
Suppose -4*z - 6*f + f + 128 = 0, -4*f - 164 = -4*z. Suppose q - z + 33 = 0. Solve -13 = -q*y + 3 for y.
4
Let u = -39 + 45. Suppose 3*s = 12, -f - 4*s - 84 = -u*f. Solve 4*m + f - 8 = 0 for m.
-3
Suppose -b - 4*b - 4*g = -52, -4*g = 8. Suppose 5*s + b = 8*s. Suppose 3*r = s*r. Solve r = 3*k - k - 2 for k.
1
Suppose 4*u - 6 = 6. Let q(a) = 8*a + 4*a - 14 + 4*a**2 - 6*a - u*a**2. Let r be q(-8). Solve -r*p = -3 - 5 for p.
4
Let g = -9 + -40. Let k = -46 - g. Solve 0 = 5*x - k*x - 6 for x.
3
Suppose 3*n - 333 = -246. Solve 1 = 6*t - n for t.
5
Let d(u) = u**3 + 9*u**2 - 51*u - 4. Let s be d(4). Solve -10*q - 40 = -s*q for q.
-4
Let n = 46 - 26. Let h be (7/(-4))/(1 - n/16). Solve -4*x + h = -13 for x.
5
Suppose 12*p - 67 + 31 = 0. Suppose 4*y - 23 + 3 = -2*k, -y + 10 = k. Solve -p*g + k = -g