 be x(1). Solve -j*v = -6*v for v.
0
Suppose 59*s = 60*s - 15. Solve 4*u + 5 = -s for u.
-5
Let f = 2 + 1. Suppose 0*y - y = -f. Solve 0 = -y*x - 0*x - 3 for x.
-1
Let r(b) = b + 8. Suppose 3*c = 5*n + 5, -n + 11 = -2*c + 5. Let u be r(c). Solve u = -s - 2*s for s.
-1
Suppose 0 = -0*u - 5*u + 35. Let i = u + -5. Suppose z = i + 2. Solve z - 3 = n for n.
1
Let n be (1 - -1) + (12/2)/(-3). Let b be -2 + 0 - -5*1. Solve -b*f + 2*f - 1 = n for f.
-1
Suppose -4*r = -2*r + 4*a - 6, -a = -2. Let j = 5 + r. Solve -3 = j*m - 3*m for m.
-3
Let h be 0/(3 - 0/(-3)). Let s be 3/6*h/2. Let o be s/(-3 - (-4)/2). Solve 6*n - n = o for n.
0
Suppose 0 = 5*u - 39 + 14. Suppose -t + u*a + 5 = 0, -7*t - 5*a = -2*t + 5. Solve 0*h - 3*h + 6 = t for h.
2
Let i be 1*2/1*2. Suppose 0*j + i*j - 3*x - 3 = 0, -3*x + 21 = 4*j. Suppose -j*f - 4*m + 18 = 0, -4*f + 0*m - 5*m + 23 = 0. Solve 0 = -f*k + k + 3 for k.
3
Suppose 0 = -a + 5 + 1. Let c(j) = j**2 - 8*j + 2. Let v be c(7). Let h be v/(-2)*12/15. Solve -a*o = -h*o + 4 for o.
-1
Let p = 96 + -82. Solve 0 = -4*i - p - 2 for i.
-4
Let q be (-5 + 2)*(-1)/1. Suppose 5*n = 4*l + 20, -3*n + 12 = q*l - l. Suppose 0 = 2*p - 4*v + v - 39, 5*p - 2*v = 81. Solve 0 = -n*f + p - 3 for f.
3
Let q(d) = -d**2 - 5*d + 2. Let g(k) = -k + 3. Let u be g(8). Let o be q(u). Let a = -11 + 20. Solve 0 = o*s - 5*s - a for s.
-3
Let j(a) = a**2 - 5*a - 2. Let p be j(6). Suppose -16 = -2*n - 4*f, p*n - 2 = 3*f - 3. Let t = -1 + 4. Solve 1 - t = n*r for r.
-1
Let s = 6 + -1. Solve -4*w = s + 11 for w.
-4
Let w = 6 - 6. Suppose -2*l + 0*l + 2*s = -2, s + 1 = w. Suppose l*u = u. Solve u = -3*d + d + 2 for d.
1
Let w be 2/(-8) + 45/20. Solve 4*m = w*m + 8 for m.
4
Suppose -1 = p - 1. Solve p*l = 2*l for l.
0
Let n(l) = -6*l**3 + 2*l**2 + 2*l + 1. Let h be n(-1). Solve 3*o + 8 = -h for o.
-5
Suppose -4*c = -5*n - 9, 3*n - n = -5*c + 3. Suppose 3*v = -v + 20. Suppose -v*s - 1 = 3*k, 0 = 2*k + 5*s + 4. Solve k + c = 2*i for i.
2
Suppose -5*j - 12 = -u - 2*u, 4*j = 0. Solve u*g = g + 3 for g.
1
Let q(f) = 4*f**2 - 3*f. Let p be q(2). Suppose -10*w + p = -5*w. Solve -w*y + 5 = -3*y for y.
-5
Suppose j + 4 = 2*j. Suppose 0 = -2*l + 6, -2*q - j*l + 14 = -q. Solve -q*a = -a - 5 for a.
5
Let d = -15 + 28. Let s be ((-4)/6)/((-1)/3). Suppose s*x + 3 = -3*w + 25, -2*w + 3 = -x. Solve 12 = x*n - d for n.
5
Let u(v) = v**2 - 4*v + 2. Let b be u(4). Suppose 2*f - 7 = -2*r - f, 5*f = -b*r + 9. Let h be ((-6)/(-3))/(r/4). Solve 0*j = h*j + 8 for j.
-2
Let r be ((-33)/22)/((-1)/(-2)). Let l(q) = q**3 + 2*q**2 - 3*q + 3. Let n be l(r). Solve -n = k - 4*k for k.
1
Let q = -6 + 8. Let u be 22/4 + (-3)/q. Suppose -2*d = 2*i + 2, -4*i + 9*i + 23 = u*d. Solve -d = -w - 1 for w.
1
Let n be (-18)/117 - (-128)/(-13). Let b be (n/(-2) + -2)*1. Solve b*r - 6 = r for r.
3
Suppose -2*m = 5*o + 15, 5*m - 15 = 6*o - o. Let j be (m/(8/2))/2. Solve 4*t + 4 = -j for t.
-1
Let h(x) = 4*x**2 - 2*x + 1. Let y be h(1). Solve -2 = j - y for j.
1
Let f(z) = 2*z**2 + 10*z + 2. Let i be f(-5). Solve -i*s + 5*s = 0 for s.
0
Let g(m) = 16*m**3 - 2*m + 1. Suppose 4*y = 3*y + 1. Let d be g(y). Solve 3*p + 0*p - d = 0 for p.
5
Let f(m) = 4*m - 14. Let c be f(4). Let k = -3 - -3. Let z = 2 + k. Solve z*j + c*j = -20 for j.
-5
Let t be (-50)/(-18) - (-8)/36. Suppose 2*u - t = -u. Let c(y) = y - 1. Let x be c(u). Solve -2*m + 3 - 13 = x for m.
-5
Let g(t) = t + 1. Let a be g(15). Suppose 2*q = -2 + 30. Suppose -a - q = -5*s. Solve 0 = s*z - 3*z + 6 for z.
-2
Let s be (5 + -2)/(3/2). Suppose -4*l - 3 = -3*f, -s*l + 2*f + 2*f - 4 = 0. Suppose 56 = 4*m - 8. Solve m = -4*u - l*u for u.
-4
Let b be 336/180 + (-4)/(-30). Solve -4*s = -b*s - 6 for s.
3
Suppose -4*n + v = 39, 4*n - 2*v = -21 - 17. Let j = -5 - n. Solve 0 = -c - 1 + j for c.
4
Let b(l) = -l**2 + 5*l + 1. Let j be b(4). Let w(v) = v**2 + 6*v + 7. Let y be w(-5). Suppose 0 = y*n - 4. Solve 0 = -u + n*u - j for u.
5
Let c(f) = 6*f - 1. Suppose 3*m + 3*h + 12 = 0, 0 = 5*m + h + 2*h + 10. Let k be c(m). Suppose 4*s - k = 11. Solve w = -s*w + 5 for w.
1
Let k(s) = 2*s + 6. Let r be k(-5). Let a = -4 - r. Solve u + 1 = -a for u.
-1
Let f(q) = -q**2 + 10*q - 6. Let r be f(9). Solve -u = -r*u for u.
0
Let r = -5 + 6. Let l be 10/4 - r/(-2). Solve -4 = 5*m - l*m for m.
-2
Suppose 4*i + 8 = 24. Let r(q) = -q**2 - 3*q + 6. Let o be r(-4). Solve i*b = o*b for b.
0
Let m be 2/3 + (-2 - (-40)/12). Solve m*i = -0 - 10 for i.
-5
Let b(z) = -1 - 1 + 5*z**2 + 5 - 7*z - 4*z**2. Let m be b(7). Let h(f) = f**2 - f - 2. Let c be h(-3). Solve m*x + 5 = -c for x.
-5
Let v = 18 + -16. Solve v - 18 = -4*x for x.
4
Let n = 18 + -3. Let i = -28 + 37. Solve i*y + n = 4*y for y.
-3
Suppose r - 4 = 1. Suppose r*w - 10*w = -10. Solve -h + 6 = w for h.
4
Let a(u) = u**3 + 4*u**2 + 4*u + 4. Let g be a(-3). Solve -3 = 2*p - g for p.
-1
Let t = -8 - -10. Suppose 0 = -t*z + 8 + 4. Solve 21 = -3*m + z for m.
-5
Let p = 13 - 9. Suppose p*f = -f - 5*a + 25, 2*f + 5*a = -5. Solve 0 = -3*b - f + 1 for b.
-3
Let h = 19 + -27. Let q be (-10 + 6)*6/h. Solve -2*n = q*n - 25 for n.
5
Suppose 6*f - 50 = -14. Solve -2*k + 4*k = f for k.
3
Let o be 2/3 - 32/12. Let q be (-1 - o)*-1 + 4. Solve 0 = z + q*z + 12 for z.
-3
Let x = -5 + 6. Suppose 3*b - x - 5 = 0. Solve -b = -2*a - 10 for a.
-4
Let k = 23 + -22. Let t be k + -3 + (-6)/(-3). Solve t = 3*q + 3 + 3 for q.
-2
Suppose -m + 2*m - 24 = 0. Let q be ((-2)/6)/((-4)/m). Let g be ((-3)/(-1) - 3)/q. Solve -2*n + 0 + 4 = g for n.
2
Let k be (2/(-3))/(8/24). Let y be (4 + -10)/(3/k). Solve y*p - 5*p = -2 for p.
2
Suppose -45 = -5*d - 2*q + 6*q, -q = 0. Let a be (6/d)/((-4)/(-18)). Solve 0 = a*m - 4*m + 5 for m.
5
Suppose 4*p + 18 = 5*c + 6, 0 = -5*c + p + 18. Suppose 2*x - 10 = -2*q, -q - c*x = q - 10. Solve h = -0*h - q for h.
-5
Suppose -2*d = -6*d - m + 12, 4*d = -4*m. Suppose 2*t - 4 - d = 0. Solve 0 = -t*w - 0 + 4 for w.
1
Let l = 19 - 4. Let v be (-28)/10 - 3/l. Let z be (0 - -1)*(4 + v). Solve 8 = 3*s - z for s.
3
Let z be 30/(-25)*20/(-6). Let i(l) = 4*l**3 - 2*l**2 - 8*l + 9. Let w(u) = u**3 + u**2. Let a(b) = -i(b) + 3*w(b). Let q be a(6). Solve q*s + s = z for s.
1
Let c(z) = 2*z + 4. Let f be c(8). Suppose -2*b + f = 3*b. Suppose 5 + 15 = b*s. Solve -4*j - 7 = s for j.
-3
Let f = 8 - 8. Let z(v) = -v - 1. Let r be z(f). Let l be 0 + 2 + r - -1. Solve l*x + 15 = 7 for x.
-4
Suppose 5*x = 4*l + 40, x + 5 = -2*l - 1. Let m be (x/(-8))/(2/(-8)). Suppose -5*v + 4*j + 64 = 14, -4*v - 4*j = -4. Solve -m*q + 20 = -v*q for q.
-5
Let r be ((2 - 1) + 2)/1. Suppose l = r*a + 3 - 26, l + 5 = a. Suppose -2*j - 1 + a = 0. Solve 0 = j*p + p - 20 for p.
4
Suppose 4*h + 2*p - 60 = 0, h - 4*p - p - 26 = 0. Let d = 18 - h. Solve -l - d = l for l.
-1
Let j be (-22)/(-3) - (-3)/(-9). Suppose -a - 3*p = 11, -j - 8 = 5*a + 5*p. Let k = a - -4. Solve k*f - 5 - 10 = 0 for f.
3
Let d(v) = v**3 - 15*v**2 - 17*v + 19. Let t be d(16). Solve x - 1 = t for x.
4
Suppose -4 = -n - 3*n. Suppose 3*u - 3 = -0. Solve -q - n = u for q.
-2
Let x(t) = -t**2 - 5*t - 5. Let v(s) = s**2 + 4*s + 6. Suppose 3*q - 4 = 2*q. Let m(z) = q*x(z) + 3*v(z). Let j be m(-7). Solve 0 = -j*w - 9 - 6 for w.
-3
Suppose 0 = -5*r + 3*q + 40, -2*q + 7*q = -2*r - 15. Suppose -4*t = -r*t + 19. Solve -t = 5*x + 1 for x.
-4
Let v(p) = -2*p - 4. Let a be v(-7). Let y(r) = -r**2 + 5*r + 2. Let h be y(4). Let u = a - h. Solve -q = q + u for q.
-2
Let i = 15 + -18. Let g be 4*(i + 2)/(-1). Solve -g*b - 3 - 1 = 0 for b.
-1
Let j be ((-50)/(-4))/(4/40). Suppose -j - 75 = -5*l. Suppose 0 = -b - 5*g + l, -2*g + 4 = -g. Solve -5*p = -p - b for p.
5
Let v(y) = 2*y - 2. Suppose 5*u = 2*u - 6. Let a = 4 + u. Let o be v(a). Solve -6 = o*s + 4 for s.
-5
Suppose 3*d = -0*d + 6. Let x = d + 1. Suppose g - 4 = 2*k - x*k, -4*k = -3*g - 2. Solve 0 = g*b + 5 + 3 for b.
-4
Let w(h) = 2*h + 24. Let o be w(-10). Solve 0 = k + 8 - o for k.
-4
Let f = 34 - 32. Solve f*u - u = -1 for u.
-1
Let s(y) = 3*y - 6. Let t(r) = r. Let v(p) = -s(p) + 2*t(p). Let d be v(-5). Solve 4*f - 5 = d for f.
4
Suppose -15 = -2*d + 5*h + 5, 5*d = -4*h + 17. Let m be (-16)/(-6) - (-4)/(-6). Solve -d + m = -3*j for j.
1
Let m(y) = 3*y + 6. Let d be m(-1). Solve -d = 2*i - 3*i for i.
3
Let f(j) = j + 16. Let m be f(-12). Solve -m*o + 2 - 18 =