Suppose 40 = 8*y - 3*y - 3*x, -5*x = -5*y + 50. Suppose -y*v + 2*j + 6 = 0, j = 4*v - v - 3. Solve -4*n + v = 4 for n.
-1
Suppose d + t = 7, 4*d - 2*t - 10 = 3*d. Suppose -2*x = -6*x + d. Let w(g) = g**3 - g**2 + 2. Let f be w(0). Solve -4 = f*l - x for l.
-1
Let i(g) = g**2 - 8*g - 2. Let q be i(9). Let l = q - 1. Solve -3*o + l = -0*o for o.
2
Suppose 0 = -2*t + 6 - 0. Let l(w) = w**2 - 2*w - 1. Let c be l(t). Solve -d = c*d for d.
0
Suppose 2*r = 3*f - 46, 5*f - 3*f + 3*r = 9. Let h = -21 + 29. Let l be 38/h - (-3)/f. Solve -q = -l*q for q.
0
Let n = -7 - -8. Let q = n + 4. Solve q*s = -0*s - 5 for s.
-1
Let o(r) = -r**3 + 9*r**2 + r + 11. Let k be o(9). Let j be 9/5 + 4/k. Solve -j*f = -5*f for f.
0
Suppose 0 = -0*f + 2*f - 8. Suppose -k + f*k - 20 = -4*t, -k + 4 = 0. Suppose 2*g = 2 + t. Solve 6 = -g*a - a for a.
-2
Suppose -2*k + 8 = 0, 5*k - 3 = 5*s + 2. Solve 0 = s*r + 2 + 10 for r.
-4
Let r(h) = -h**3 - 8*h**2 - 3. Let c be r(-8). Suppose -q + 1 = -0*q. Let x be (c + 7)/(1/q). Solve -2 = x*n + 2 for n.
-1
Suppose -5*a - 5*x = -a - 40, -4*a + 8 = -3*x. Solve 8*s - 12 = a*s for s.
4
Let s(j) = 2*j - 5. Let w be s(5). Suppose 3*p + 3*q = 2*p + 7, -3*p + 7 = -w*q. Suppose 0 = 4*a - p*l, -6 = -3*a + 2*l - 2. Solve -a*n = 8 - 0 for n.
-2
Let h(a) = -a**2 - 16*a + 2. Let p be h(-16). Suppose 0 = 2*w + 10*b - 5*b + 5, 0 = -2*w - 4*b - 4. Solve 4 = -p*g - w for g.
-2
Let u(w) = 2*w**3 + 2*w**2 - 3*w + 1. Let a be u(2). Let h = -15 + a. Solve 0 = -2*n + n - h for n.
-4
Suppose -6*d + 12 = -2*d. Solve -2 - 13 = -d*y for y.
5
Let h = 9 - 8. Let f be ((-2)/(-6)*0)/h. Solve 4*w + 16 = -f*w for w.
-4
Suppose -2*n = 0, q + n = -0*q. Solve q*j + 3*j = 3 for j.
1
Let l be (-4)/(-6)*3 - (-8)/4. Solve -l - 11 = 5*m for m.
-3
Let g(b) = -b**2 + 6*b + 2. Let w be g(6). Solve -w*k - 2 = 4 for k.
-3
Let k(h) = h**2 - 6*h - 6. Let n be k(7). Suppose 2*l = n - 3. Let b be (l + 1)/(-1 - -3). Solve b = -f - f for f.
0
Let s(j) = -2*j - 4. Let p be s(-2). Suppose -3*w + p*w = -15. Solve w*y = 2*y - 15 for y.
-5
Let d be (15/(-4))/((-3)/8). Let c = -32 - -32. Suppose c*s + d = s. Solve -p - s = p for p.
-5
Let x be (-2)/3*(6 - 9). Suppose 6 = 3*c - 2*b, 0 = 2*c - 3*b + 5*b + 6. Solve c = i - x*i - 4 for i.
-4
Let v(d) = 4*d - 1 + 0*d**2 + 5*d**2 + d**3 + 6. Let j be v(-4). Let m(n) = 3*n - 19. Let l be m(8). Solve -5 - l = j*w for w.
-2
Suppose -2 = 2*a, 3*d = 5*a + 11 + 6. Solve -19 = d*s - 3 for s.
-4
Let p = 45 - 20. Solve -2*d + p = -7*d for d.
-5
Let w(r) = -r**3 + 10*r**2 + 11*r + 8. Let c be w(11). Solve -2*n - 2*n = -c for n.
2
Suppose n + 9*d - 4*d - 14 = 0, 4*d - 8 = 0. Let y(z) = -z**2 + 1. Let h be y(0). Solve -3*p = h - n for p.
1
Let i = 100 - 100. Solve i = -2*k - 2 for k.
-1
Let y(u) = -u - 3. Let l be y(-5). Suppose 8*a + 27 = 3*a + 3*w, -a - 7 = w. Let s be -2 + l/(-3)*a. Solve 0 = 3*g + s*g for g.
0
Let v be (0 + -1)*(11 - 18). Let m(w) = 2*w - 10. Let z be m(v). Solve -14 + z = 2*f for f.
-5
Let x(f) = -f**3 + 7*f**2 - 6*f + 5. Let l be x(6). Suppose 3*z - 2*z = l. Solve -4*c - z = 3 for c.
-2
Let w(i) = i**2 + 7*i - 5. Let q be w(-8). Solve -2 = 5*b + q for b.
-1
Let b = 0 + 5. Suppose 40 = b*c + 5*p, 2*c - 4*p + 12 = p. Solve -y + 2*y - c = 0 for y.
4
Let w = -23 - -26. Solve -8 - 7 = w*r for r.
-5
Suppose -4*u + 9 = x, -2*u + 5*x = x - 18. Solve -u*l = -7*l for l.
0
Suppose 4 = 3*b - k, -b = 5*k - 6 - 22. Suppose r = 4*x - 5, r + b = -2*r. Solve n - x - 1 = 0 for n.
2
Let b(w) = -w - 5. Let y = 0 - -6. Suppose y + 4 = -2*j. Let t be b(j). Solve t = i - 3*i + 6 for i.
3
Suppose 2*m - 4 = -0. Suppose -2*n = -8 + m. Solve 0 = -n*b + b + 10 for b.
5
Let j = 12 - 7. Suppose 3*r - j = 1. Solve 0 = -6*l + r*l + 8 for l.
2
Let p(k) = -2*k - 12. Let d be p(-10). Suppose 3*z + d = 26. Solve 3 = -3*n - z for n.
-3
Suppose -14 = -5*n - r + 80, 3*r + 24 = 2*n. Suppose 0 = -3*w + 6*w - n. Solve -w = 4*j - 26 for j.
5
Let v be ((-5)/(-25))/((-2)/(-10)). Let d be (1 + -1)*1/v. Solve n = -d*n + 4 for n.
4
Let a = 31 + -62. Let t = -71 - a. Let y be 3*(0 - t/6). Solve -p = 4*p + y for p.
-4
Let l(i) = i - 5. Let y be l(7). Solve 5 = -y*q - 3*q for q.
-1
Suppose -4*f = -f - 6. Suppose -24 = -3*v - v - f*z, -2*v + 12 = 5*z. Solve -1 + v = -5*q for q.
-1
Suppose 27 = 4*y + k, 7 = 4*y - 4*k - 5. Solve 2*v + y = 2 for v.
-2
Let s be (-4)/(-10) - 18/(-5). Suppose -4 = -3*n - 2*a - 0, 5*n - s*a + 30 = 0. Let v = n - -5. Solve -j = -v*j for j.
0
Let u(v) = -v + 8. Let x be u(0). Let w(g) = g**2 - 15*g + 16. Let h be w(14). Solve x = -h*z - 0*z for z.
-4
Let u = 33 + -7. Let p = -17 + u. Solve p*t + 20 = 4*t for t.
-4
Suppose -9*x = -4*x + 2*j - 35, 5 = -3*x + 4*j. Solve -9 = 4*d - x for d.
-1
Let m = -63 - -63. Solve 5*a + m + 5 = 0 for a.
-1
Let k = 10 + -6. Solve 0 = 4*g + k - 0 for g.
-1
Suppose g - 11 = -9. Let c(m) = m**3 - 6*m**2 + m - 5. Let x be c(6). Solve -g*d + 1 = -x for d.
1
Let i = 2 + -1. Let o be (7 + -3)/(i/(-2)). Let w be -1*(o - -2 - -2). Solve w*d + 0*d = -12 for d.
-3
Let g = 3 + -8. Suppose -7 = 3*v - 19. Let t be v/(-20) - 31/g. Solve -c = c - t for c.
3
Suppose -8 - 12 = -5*s. Let i = 5 - s. Suppose -7 = -4*l + i. Solve -1 - 7 = l*x for x.
-4
Let l(m) = -m**2 + 4*m + 6. Let r be l(5). Let q be 11 + (-1 - 0)*r. Solve q = -0*j + 5*j for j.
2
Let z(r) = r**2 + 4*r + 4. Let y be z(-2). Suppose -4*n - n = y. Solve -a + n - 4 = 0 for a.
-4
Let j(x) = -3*x**3 - x**3 + 0*x**3 - x**2 - x + 1. Let c be j(-1). Solve -c*m = -2*m for m.
0
Suppose -3*i + 6*i + 6 = -2*r, -r + 2*i = 10. Let t be (45/6)/(r/(-8)). Solve 4*c = -c - t for c.
-2
Let b = -3 - -3. Suppose b = -0*y + y - 7. Suppose 4*r = 9 + y. Solve -7 = -r*d - 19 for d.
-3
Suppose -5*h + 32 = -23. Suppose h = f + k - 0*k, 2*k = -f + 16. Solve 2*m + f = -m for m.
-2
Suppose 2*i = -2*i. Suppose 3*s + 1 = -i*s - m, 0 = -s + 2*m + 2. Suppose d + s*d + 7 = -5*t, -2*t = -5*d + 73. Solve -3 = -4*r + d for r.
4
Let i be (-38 - -37)/(-1*(-1)/(-1)). Solve -i = 5*k + 14 for k.
-3
Suppose 1 = -4*d + 25. Suppose 3*o = 3 + d. Solve 12 = -o*n + 6*n for n.
4
Let o(r) = 12*r**2 + r - 1. Let j be o(2). Let c be (-1 - j)/(-2) + 0. Suppose -5*u - 5*z + c = 0, 0 = u - 5*z + 17 - 4. Solve -u = -4*s + 5*s for s.
-2
Let j(b) = -b**2 + 3*b. Let n be j(2). Suppose 3*g + n - 14 = 0. Suppose -4*s = 5*x - 20, 3*s - g = -5*x + 11. Solve 3*r = 1 + s for r.
2
Let y = -7 - -9. Suppose y*z - 25 = z. Solve 7*v - 2*v + z = 0 for v.
-5
Let t(x) be the second derivative of x**5/4 - x**3/3 + x**2/2 - 2*x. Let v be t(1). Solve 0*h + 2*h = v for h.
2
Suppose -y - 56 = -5*y. Suppose -3*a = 5*d - y, -4*d - 4*a + 11 = -5*d. Suppose 4 = -5*w - d, 4*w - 36 = -4*h. Solve -h = -4*z - z for z.
2
Let u = 13 + -22. Let f = 14 + u. Solve 6 + 9 = f*v for v.
3
Let r = 2 + -2. Solve r = 5*j + 9 - 4 for j.
-1
Suppose 4*i - 2*a - 2*a = 28, 5*a = i - 23. Suppose 8*b = 5*b + 12. Solve -1 = b*q - i*q for q.
-1
Let q be (-12)/(2 + (-9)/3). Let n = q + -10. Solve 13 = 5*d - n for d.
3
Suppose 5*q - 8 = o, -3*q = -o - 5 + 1. Let d be (-4)/5*50/(-4). Suppose d = 5*g - 5*u, 2*g + u = 1 + 3. Solve g*b = -o*b + 12 for b.
3
Let v = 51 + -30. Suppose -v = -5*l - 1. Suppose -5*o + 6*p = 2*p + 6, 0 = -l*p + 16. Solve o - 10 = -2*s for s.
4
Let w(t) = t**3 - 7*t**2 + 5*t + 7. Let m be w(6). Let g be m/(-1) - (0 - 11). Suppose 6*f - f = g. Solve f*p + 8 = -2*p for p.
-2
Let o(d) = -d**2 - 7*d + 9. Let r be o(-8). Let i be 1/(-3*2/(-12)). Suppose -5*k + 3*q = -9, 4*q + 1 = k + i*k. Solve -t = r - k for t.
2
Let a(z) = -1 + z + 4 + z**2 - z**3 - 1. Let j be a(2). Solve j = 3*i - 3 for i.
1
Suppose 0 = 7*j - 2*j - 50. Solve -n - n - j = 0 for n.
-5
Suppose -5*i + 4*q = 8*q + 1, -5*i + 3 = 3*q. Solve 0 = i*c + 9 + 6 for c.
-5
Let k be (-2)/(-13) - 8/52. Let o = 12 + -2. Solve 3*w - w + o = k for w.
-5
Let o be ((-12)/(-4))/(1 - 0). Solve 0 = 3*l + 12 - o for l.
-3
Let g be 42/30 + 6/10. Solve j = -g - 2 for j.
-4
Let p(z) = -z**2 - 5*z + 1. Let a(t) = -2*t**2 - 10*t + 2. Let k(b) = -3*a(b) + 5*p(b). Let r be k(-6). Solve r*o + 0*o = -10 for o.
-2
Suppose 3*v - 9 = -5*s + 1, -2*s + 4 = 2*v. Solve -4*x = -v*x - 12 for x.
3
Let o(w) = -3*w**2 - w + 1. Let p be o(1). Let j be (-13)/p + (-8)/(-12). Solve -26 = j*g - 6 for g.
-4
Let w be (-3)/(2/(4/(-3))). Suppose 13 = -t + 