5
Suppose 5*v - 15 = 4*v. Suppose -v = -4*i - i. Let b = -3 + 6. Solve -b*w + i = -0*w for w.
1
Let f(j) = j**2 - 8*j + 9. Let c be f(8). Suppose 1 = 2*b - c, 0 = 5*p - 5*b + 15. Solve p*n = -n for n.
0
Let h = -15 + 33. Suppose 0*l + h = 2*l. Solve 3*x = -0*x + l for x.
3
Suppose -3*k = -5*u - 3, 0 = -4*u - 4*k - 0*k + 4. Solve u = 5*h - 3*h for h.
0
Let r(o) = 3*o**2 - 21*o. Let x(u) = 4*u**2 - 31*u. Let w(g) = 7*r(g) - 5*x(g). Let h be w(-8). Solve h + 4 = 2*b for b.
2
Suppose -3*v + 5*v + 4*w = 20, w - 14 = -5*v. Solve v*l - 3 - 7 = 0 for l.
5
Suppose 12 = 5*u - u. Suppose 0*b = -u*b - 21. Let j = -4 - b. Solve 0*m - 6 = -j*m for m.
2
Let q(m) = -3*m - 1. Let x be q(-2). Solve -x = -0*b - 5*b for b.
1
Suppose 0 = n + 4*n - 35. Let h = -3 + n. Suppose -5*w = -3*l - 18, -2*w + 6 + 3 = -3*l. Solve -2 = -w*c + h for c.
2
Let k be 3/(-2)*(0 + 4). Let z(y) = -y**2 - 8*y - 6. Let u be z(k). Let t = 7 - u. Solve -t - 3 = f for f.
-4
Suppose 0 = -y - 4*y. Suppose 3*a + y = 6. Solve -6*n = -4*n - a for n.
1
Let j = -21 - -34. Suppose 7*t = 3*t + 12. Suppose -21*u + 14*u + 28 = 0. Solve -t*v + u = j for v.
-3
Let v(b) = 3*b**2. Let o be v(-1). Suppose -7*i = -8*i + o. Solve 5*k - 2*k = i for k.
1
Let q = -7 - -13. Suppose 2 = 5*n + 12. Let t = n + q. Solve -t*r - 6 = -2 for r.
-1
Let u(d) = -d**2 - 6*d + 11. Let w be u(-8). Let s = 1 - w. Solve s*f = 3*f for f.
0
Let d be ((-4)/6)/(6/(-45)). Suppose 0 = -n - 0*n + 5. Suppose 0*u - n = -d*u. Solve -3 - u = 2*c for c.
-2
Let i be ((-7)/(-14))/(3/12). Solve i*g = -2*g + 8 for g.
2
Let n be 0/(5 - (3 - (-1 - 0))). Solve n = 3*z - 2 - 13 for z.
5
Let s(r) = -3*r + 4. Let a be s(3). Let v = a - -5. Let q = 4 - v. Solve -q*n + 4 = -12 for n.
4
Suppose 0 = b - 7*b + 18. Suppose 4*w - 15 = 3*i, 5*i + 7 = 2*w - 4. Suppose w*n + 9 = 3*j, -2*j - 3*j + 27 = -n. Solve -j = b*u + 9 for u.
-5
Let i be 6/(-12) + 62/4. Solve 2*z + i = -z for z.
-5
Let f(a) = -a**3 + 2*a**2 - 1. Let i be f(1). Suppose i = q, -4*c - 6*q = -q - 8. Suppose w - 4 = -3*w + z, -3*w + 3 = c*z. Solve -3 = -2*p + w for p.
2
Let d(k) = 4*k**2 - k + 2. Let g be d(-2). Let o be 2/5 + (-68)/g. Let q be (-2)/o + (-4)/6. Solve q*j - 2 = -j for j.
2
Suppose 4*h + 50 = 3*w, 4*w - 4 = -3*h + 21. Solve -4*m + w = m for m.
2
Let c(p) = p**3 + 7*p**2 + 9*p - 5. Let l(q) = q**2. Let y(h) = c(h) + 4*l(h). Let t be y(-10). Solve 2*x = -3*x + t for x.
1
Let g be (-2 + -2 - -2) + 3. Solve -m = -2*m + g for m.
1
Let t = -5 - -7. Suppose 0*n + n + 6 = 5*r, t*r - 16 = -3*n. Solve -4 - r = 3*w for w.
-2
Let z(h) = -h**3 + 4*h**2 + 6*h + 2. Let b be z(5). Let s = b - -2. Solve -3*u = -0*u - s for u.
3
Let p(w) = -w**3 + 5*w**2 + 5*w + 9. Let i be p(6). Solve 0 = -2*s + i*s for s.
0
Suppose 3*r + 2 - 14 = 0. Suppose -r*s + 143 = -273. Suppose 55 = 3*i - 3*n - 2*n, 0 = 5*i + 4*n - s. Solve -o - i = 4*o for o.
-4
Let b(u) = -u**2 + 5*u + 5. Let p(a) = -4*a**3 + a**2. Let w be p(-1). Let k be b(w). Let j = k - 1. Solve j*z - 17 + 1 = 0 for z.
4
Let a(v) = -v**3 - 6*v**2 - 5*v + 3. Let b be a(-5). Suppose c + b*k - 19 = -c, 0 = 2*c - k + 1. Solve -c*w + 2 = -8 for w.
5
Let q be 10*3/((-6)/(-5)). Let b be (-2)/(-7) + q/35. Let n = 2 + b. Solve n*x = x + 8 for x.
4
Suppose -5*o = -19 - 6. Let b be 1/o - (-45)/25. Solve -4*m - b = -6 for m.
1
Suppose -1 = -g + 4*n + 3, -5*g + n + 1 = 0. Suppose g*t - t = -7. Let q be 1/(((-2)/t)/(-2)). Solve -3*l + 2 = -q for l.
3
Let s = -29 - -60. Suppose w + 2*w = -3*b + 21, -3*w - 5*b + s = 0. Let u = 0 - 0. Solve u = -3*f + w*f for f.
0
Suppose 2 = -4*d + 10. Suppose d*u - 7 = 1. Suppose -j = u*j. Solve j*b + 4 = -b for b.
-4
Let f(r) = -r**2 + 9*r - 14. Let t be f(6). Solve -t = 3*u + 11 for u.
-5
Let k(b) be the first derivative of b**2 - 12*b + 5. Let y be k(9). Solve -u - y = u for u.
-3
Suppose -d + 66 = 2*d. Suppose -d = -3*p - 4*t, t + 3*t - 2 = -p. Suppose 2*v - v = -3*s - p, -3*s = 4*v + 4. Solve 0*g = -v*g for g.
0
Let i(q) = 2*q + 28. Let y be i(-14). Solve y = -b - b - 4 for b.
-2
Let l be ((-39)/9)/(1/3). Let n = -10 - l. Solve n*i - 1 = 11 for i.
4
Let p be (5 - -2) + 3 - -5. Solve p = 11*n - 6*n for n.
3
Suppose t = -3*t. Suppose -6 = 3*s - t. Let d = 4 + s. Solve -6*p + d*p + 16 = 0 for p.
4
Let w be -4 - (-1 + 0)*2. Let a be 2/w*18/3. Let m = 6 + a. Solve 0 = 2*p - m - 8 for p.
4
Let v(q) = -q. Let x(z) = -7*z + 16. Let y(u) = -6*v(u) + x(u). Let m be y(11). Solve -13 + m = 2*h for h.
-4
Suppose 0 = -5*b - 3*m + 30, 4*b + 6*m - 7*m - 41 = 0. Solve p + 6 - b = 0 for p.
3
Suppose -d + 14 = 4*d - 3*o, -3*d + 2*o = -9. Let h = 0 + 3. Suppose -5 = 2*s + h*u, 5*u = 4*s - 0*u - 45. Solve 2*b - d = s for b.
3
Let c be 16/(-1 - (-4)/8). Let i = c - -52. Solve -4*f + i = f for f.
4
Suppose 12 = 5*d - d. Solve -4 = -j - d*j for j.
1
Suppose 4*y - 1 = 7. Solve 3*h = -y - 4 for h.
-2
Let g(u) = -u**2 + 6*u - 5. Let b be g(4). Solve 0 = 2*x + b*x for x.
0
Suppose 0 = -3*d + 2*d. Let j be 0 - -1 - d/(-4). Solve -j = 4*u - 3*u for u.
-1
Let v = 5 + -4. Let w be (1 + -1)*v + 0. Suppose -j + w*j = 0. Solve j = 2*g - g for g.
0
Let n(x) = -x**2 - 8*x + 12. Let h = -29 - -17. Let y be (0 + h)*6/8. Let s be n(y). Solve -1 + 4 = -s*z for z.
-1
Suppose -16 = m - 3*m + 4*j, -33 = -5*m + 3*j. Suppose 2*q + 0*q - m = 0. Solve 3 + q = -3*a for a.
-2
Let x be 0 + 1 + (5 - 3). Let k be 6/2 - x - -5. Solve -4*q = -k*q for q.
0
Suppose -4*u = u - 20. Let z(x) = 4*x - 6. Let g be z(5). Let f be u/14 - (-24)/g. Solve f + 0 = -2*s for s.
-1
Let u(k) = k**3 - 6*k**2 + 4*k + 3. Let n be u(5). Let a be -13*(1 + -2) - n. Suppose 8 = 4*r + h, -r - 5*h + 4 = r. Solve a = -3*q - r*q for q.
-3
Let o be (-2)/(-1) + (2 - 4). Solve 5 = -a - o for a.
-5
Suppose 0 = -2*j + 6*j - 48. Let s = j - 4. Solve -s = -6*n + 4*n for n.
4
Suppose 3*x + 0 = 3. Solve -8 - x = -3*h for h.
3
Let w be (0 + 4)*18/(-96)*-4. Solve 2*l - w = 3*l for l.
-3
Let u be 0 + 2 + -7 + -11. Let s be u/40 + (-22)/(-5). Solve s = -r + 5 for r.
1
Let a(q) = -2*q - 3*q**2 + 4*q**2 + 1 - q. Let i be a(-3). Let f be 1 + (-2 - -3)*i. Solve -6*k = -2*k + f for k.
-5
Let s(z) = z**2 + 7*z + 5. Let r(f) = -f**2 - 6*f - 5. Let a(c) = -7*r(c) - 6*s(c). Let m = 1 - 1. Let t be a(m). Solve 3*y + 2 = t for y.
1
Let d = -13 + 10. Let k be d/9 + (-10)/(-3). Solve k - 5 = -2*u for u.
1
Let p = -8 - -12. Solve -2*r + p*r - 8 = 0 for r.
4
Let z be (-6)/(-2) + -1 + 1. Suppose -4*b + 3*g = -78, g = -z*b + 72 - 20. Suppose 5*w = -5*x - 5, 2*x + 0*x - b = 2*w. Solve -x*u - 4 = -0*u for u.
-1
Let v(p) = 4 + 2*p - 3*p + 4*p - 2*p. Let g be v(3). Suppose 2 + 7 = 3*i. Solve g*c + 4 = i*c for c.
-1
Let a = -10 - -16. Solve a = -j + 3 for j.
-3
Let z = -21 - -31. Suppose 7*o = 6*o + 2. Solve -3*v - o*v - z = 0 for v.
-2
Let q be (-233)/(-11) - (-4)/(-22). Let l be (2 - 2)*(-2)/(-2). Suppose l = -4*s + j + q, 3*j - 3 + 2 = -4*s. Solve p = s*p - 9 for p.
3
Suppose g + 0*g + 46 = 2*t, -2*t = -2*g - 50. Let u = t + -12. Solve -4*y - 10 = -u*y for y.
2
Let u = 2 - -4. Solve w = 3*w + u for w.
-3
Let j(r) = -r**2 - 11*r - 5. Suppose c - 5*h = -5, 16 + 9 = -2*c - 5*h. Let o be j(c). Solve -o*t + 14 = 4 for t.
2
Suppose 0 = -2*y - 0*y. Suppose 2*x = -3*x. Suppose x*g - 2*g + 6 = 0. Solve -12 = -g*o - y*o for o.
4
Let a = -4 + 14. Let u(b) = -6*b + 2. Let g(v) = -5*v + 2. Let z(d) = 5*g(d) - 4*u(d). Let i be z(0). Solve -i = -3*h + a for h.
4
Let t be ((-6)/12)/(2/(-20)). Let n(u) = -u + 5. Let v be n(t). Let i = 2 - v. Solve p = -i*p for p.
0
Let m(f) = 4*f**3 - 2*f**2 + 2*f - 1. Let b be m(1). Let d = b + -12. Let v be (-3 - 0)*6/d. Solve -2*i - v + 4 = 0 for i.
1
Suppose -4*i = -9*i + 5. Suppose 2*r + i = 2*h - h, 2*r - 14 = -4*h. Solve 0 = h*k - 2*k + 5 for k.
-5
Suppose -3*u = u - 32. Let p be (-2)/u - 9/(-4). Solve p = 4*s + 18 for s.
-4
Suppose 0 = i - 5 + 3. Suppose 3*a + 15 = -2*a, -3*n = -a + 18. Let l be 4/14 + i/n. Solve -3*s - 2*s + 15 = l for s.
3
Suppose 14*y - 10*y = 16. Let v be 105/14*y/6. Solve 35 = -v*q + 10 for q.
-5
Let g = -9 + 14. Let k(s) = 4*s. Let o be k(1). Suppose g*m - 14 = -o. Solve 0 = q + m*q for q.
0
Let i = -25 + 50. Solve -4*n = -9*n - i for n.
-5
Suppose -5*t - 6 = -8*t. Suppose 0*x = 4*x - 5*c - 34, 16 = 2*x - t*c. Solve 2*a - x = 5*a for a.
-2
Let g be -2 - (-7)/((-2)/(-2)). Solve 5*v = g