 Suppose n = 4*r - 6. Let j = -6 - -17. Solve -3 + j = r*y for y.
4
Let n(r) = -r**2 + 11*r + 11. Let j be n(10). Solve 0 = -5*f - j + 1 for f.
-4
Suppose n = 2*r - 1 - 4, -3*r + 7 = -n. Solve 11 - 3 = -r*o for o.
-4
Let v be 6/2 - (2 - 3). Suppose -n - v*n = 0. Suppose c - 16 = -4*p, -c = -4*p + 5 + 3. Solve -r + c*r = n for r.
0
Let o = 14 + -12. Solve p - o*p + 3 = 0 for p.
3
Let z(b) = -b + 7. Let h be z(0). Let r = h + -4. Solve r + 3 = 2*o for o.
3
Let p(r) = -9*r**2 - 5 + r**3 + r**3 - 7*r + 15 - 3*r**3. Let g be p(-8). Let k = -2 - -5. Solve -i - k = g*i for i.
-1
Suppose 3*z = -5*i + 41, 2*z - 6 - 19 = -3*i. Let p(k) = -k**2 + 8*k - 7. Let g be p(i). Let b(w) = w + 9. Let n be b(-7). Solve g = -2*j - 0 + n for j.
1
Let r = -4 + 8. Suppose 5*w = -r*b + 20 - 2, 4*b = 4*w. Solve 0*z - 2 = -b*z for z.
1
Suppose 0 = 5*r - 20, j - 15 = -0*r - 2*r. Solve -j = 3*d + 2 for d.
-3
Let p(d) = -2*d - 2. Let a be p(-3). Suppose -5*u + 30 = 5*t, 5*u = 5*t + a*u - 18. Let v = 7 - t. Solve 0 = v*o + 2*o + 15 for o.
-3
Suppose -4*z - 9 = -7*z, 0 = -n + 3*z - 6. Solve n*b + 10 = 25 for b.
5
Let p = 21 - 13. Suppose -5*k + p + 0 = -2*l, 2*k = 8. Suppose 10 = l*w - 4*w. Solve w*f = -0*f for f.
0
Let m(u) = -u**3 + 3*u**2 - u + 1. Let c be m(2). Solve -c*n = 6 + 3 for n.
-3
Let w = -5 + 3. Let g(x) = x**3 + 2*x**2 - x + 1. Let s be g(w). Solve -13 + 4 = s*h for h.
-3
Let a(p) = 14*p**2 + 2*p + 4. Let s be a(-1). Solve -s = -0*h + 4*h for h.
-4
Suppose 0 = -4*z + a + 2, -5*z + a + 2 = -0. Suppose z = -w + 1 + 4. Solve -w*t + 3 = -2*t for t.
1
Let w = -89 - -89. Solve w = -2*l + 2 + 4 for l.
3
Suppose -6*f + 5*f + 53 = 5*n, -5*f + 1 = n. Suppose -5*d = l + 3*l - 4, 5 = 3*d + 5*l. Suppose 4*j = -4*s - j + 20, -4*j = d. Solve -n + s = -2*u for u.
3
Let z be 20/(-35) + 18/7. Solve l + z*l - 12 = 0 for l.
4
Let h(d) = -d**3 + 20*d**2 + 19*d + 50. Let q be h(21). Solve q = -k + 5 for k.
-3
Let b(y) = -y + 16. Let u be b(12). Solve u = 5*t + 29 for t.
-5
Let f be 1/(-3)*(-1 - 5). Solve 2 + 0 = f*y for y.
1
Let x = -3 + 9. Let i be -1*1*(x - 6). Solve i = 2*s - 4*s for s.
0
Let x be 414/30 - (-1)/5. Let u = -1 - -2. Solve 5*f - x = u for f.
3
Suppose 3*o = -o - 4*x, 9 = 2*o - x. Let s(p) = p - 2. Let y be s(o). Let u be 0/(y + -2) - -3. Solve 0*q - 12 = u*q for q.
-4
Suppose 0 = 62*p - 57*p. Solve -5*k - 1 + 6 = p for k.
1
Let v = 4 + 0. Let o be 2/13*-1 - (-6)/39. Solve o*l + v = l for l.
4
Suppose -v - v = 2. Let o(s) = -s**3 + s + 1. Let t be o(v). Let n be (3 + -5)*2/(-4). Solve -q + n = -t for q.
2
Suppose -6 = -2*c - 0. Let b(u) = -u - 5. Let v be b(-7). Suppose 0 = -4*p - q + 20, 4*q + 38 - 10 = v*p. Solve -c*s = -p*s for s.
0
Let d = -14 - -17. Suppose -3*w + 16 = -80. Suppose -d*h + w = h. Solve 5*f = -h - 17 for f.
-5
Let m be -3 - (0 - -1) - -5. Solve 5*q + m = -19 for q.
-4
Suppose 0 = z + 2*s + s, 5*z = -2*s. Let l be 576/(-648)*(-9)/2. Solve 4*n + z - l = 0 for n.
1
Suppose 3*p + 61 = -5*a, 2*a - 3*p + 43 - 6 = 0. Let o = -12 - a. Solve -o*s + 0*s = -10 for s.
5
Let f = 13 + -16. Let a be ((-2)/6 - 0)*-15. Let j = a + f. Solve t + j*t = -15 for t.
-5
Suppose 0 = -5*w - 5*i - 9 + 29, 4*w - i - 6 = 0. Solve 6 - w = -2*q for q.
-2
Suppose 5*y = 11*y - 36. Solve -4*k = -2*k - y for k.
3
Let g be (-6)/3 + 1 + -2. Let n be 9/(-6)*4/g. Let p(v) = -v - 10. Let o be p(-10). Solve -2*j + o = n for j.
-1
Let o(a) = -a**2 + 4*a + 2. Let c be o(4). Solve 0 = -5*j - 8 - c for j.
-2
Let n be 24/9*6/4. Solve -g + 0 = -n for g.
4
Let g(m) = 2*m - 1. Suppose 0*k - k = -6. Let r be g(k). Solve r - 1 = 2*c for c.
5
Suppose 5*d = 29 - 4. Solve 3*t - d = -2*t for t.
1
Let q = 7 + -3. Suppose -h + q = -0*h. Solve -5*j - 3 = -h*j for j.
-3
Let n = 0 - -2. Let z = -4 - -5. Let c = z - 1. Solve -2*r + c + n = 0 for r.
1
Let i be ((-4)/2*-1)/((-12)/(-258)). Solve -i = -5*c - 18 for c.
5
Suppose -3*o = 2*o. Solve -3*g + o*g + 15 = 0 for g.
5
Suppose -17*o = -20*o + 9. Solve -o*n + 14 = 11 for n.
1
Suppose 3 = 3*g - 3. Let y(s) = -s + s**2 - 5*s - 2 + g*s. Let w be y(5). Solve -3*n - w = -4*n for n.
3
Suppose 3*f + 3*p - 3 = 0, 7 = f - 0*p - p. Suppose -2*s - f*w = -4*s + 6, -5*w + 31 = s. Let j(g) = g**2 + 7*g + 3. Let u be j(-7). Solve -1 = u*m + s for m.
-4
Let h(y) = 2*y - 12. Let u be h(8). Solve u = -2*i - 4 for i.
-4
Let k(h) = -h**3 - 7*h**2 - 2*h - 8. Let p be k(-7). Solve -u = p - 2 for u.
-4
Let w = 1 + -5. Let x = w - -8. Solve 14 = -x*j + 2 for j.
-3
Suppose 4*p = 4 + 8. Suppose -p*o + 29 = n - 0*n, -5*o - 45 = -3*n. Solve n = -7*b + 3*b for b.
-5
Suppose 1 + 7 = -2*h. Let w(l) = -l**2 - 3*l + 5. Let m be w(h). Suppose 0 = -2*r - 6, 5*s + r = -4*r + 65. Solve 5*x + m = s for x.
3
Suppose -2*w + 14 = -0*w. Let x(k) = w - 4 - k + 1. Let j be x(4). Solve j = -q - 2*q for q.
0
Let m(g) = -g**2 + 7*g + 8. Let r = -20 - -8. Let v = r + 20. Let h be m(v). Solve -i + 0 + 2 = h for i.
2
Let r be (-5 - (-174)/24)*16/6. Solve r = 5*s - 8*s for s.
-2
Suppose -3*c - 3*m = 2*m + 5, 0 = m + 1. Solve 2*f - f + 5 = c for f.
-5
Let r = 25 + 17. Suppose -2*z + 3*f + 38 = -3, -4*z - 2*f = -r. Solve 1 = -4*b + z for b.
3
Let z be 4 + 35/(-5) - -4. Solve 16 = 5*h + z for h.
3
Let m be (1 - -7)*6/3. Suppose 9 = o + 3*d, 2*o - 5*d = 4*o - m. Solve -w = -0*w + o for w.
-3
Let s = 16 - 9. Suppose -t + 5*b - s = 0, 8 = 7*b - 3*b. Solve -t*k - 16 = -1 for k.
-5
Suppose 2*f - 4*o = -14, -f + o - 11 = -3*f. Solve -13 = -f*b - 4 for b.
3
Suppose 0 = p - 3. Suppose 6*j - p = 3*j. Solve j = m - 0 for m.
1
Let v = 5 + -4. Suppose -2*m + 5 = -v. Solve 2 + 1 = m*q for q.
1
Let p = -432 - -438. Suppose 0 = z + 3*r - 19, z + 4*r = 2*r + 16. Solve -p*i + i = -z for i.
2
Let o = -54 - -57. Solve o*t = 2*t + 1 for t.
1
Let c(a) = a**3 + 5*a**2 - 6*a + 2. Let x be c(-6). Solve 5*p = x*p + 15 for p.
5
Suppose 0 = 5*b + 7*b. Solve b*t = 2*t + 10 for t.
-5
Let v = -1 + 4. Suppose 0 = -2*k + 5*z - 15, -5*z + 10 = -k - 5. Suppose 0 = -h - k + v. Solve i - 8 = -h*i for i.
2
Suppose 3*j - 2 = a + 5, 0 = -a - 4*j. Let k be (6/3)/((-2)/a). Solve -4*o + k = 20 for o.
-4
Let j = -3 + 5. Let h be ((-6)/(-15))/(3/45). Solve -5*b + j*b = -h for b.
2
Let o be 0 + 3 + -3*3. Let x(m) = m**2 + 6*m + 2. Let w be x(o). Solve w*p = 4*p for p.
0
Let y be -1 + (12/(-3))/(-2). Let v = 7 - 1. Let t be 1/3 + 16/v. Solve 7 = t*x + y for x.
2
Let i = -11 + 20. Suppose -5*o + 6 = -i. Suppose 5*u - 2 - o = 0. Solve 3*q - u = 5 for q.
2
Suppose -4*n + 0 = -4, -5*n = -2*m - 29. Let g = 2 - m. Suppose -d + 5*l = 2, -6 = -2*d - l + 1. Solve 2 - g = -d*o for o.
4
Let m(a) = -a + 13. Let c be m(6). Let r = c - 3. Let t = r - 3. Solve g + 6 = t for g.
-5
Let g be (6/(-1))/(-2) - 1. Suppose 24 = g*b - 4*h, -2*b + 6 + 13 = h. Solve 6*l = 4*l - b for l.
-5
Suppose -3*t + 6*t = 63. Let j = t - 19. Solve 0 = -j*m - m for m.
0
Let t = -16 - -10. Let b be t/(-2) + 2 - -2. Solve b*z = 2*z for z.
0
Suppose 14 = 3*t - p, p = 2*p - 1. Let i be (2/5)/((-3)/(-45)). Suppose i + 9 = t*f. Solve f*a = 4*a - 1 for a.
1
Let k be (-1)/(2 + -2 + -1). Suppose 3 + 9 = 4*n. Let q be n/(-1)*6/(-9). Solve q*v + 7 = k for v.
-3
Let i(c) = -2*c. Let g be i(-1). Solve 4*b = g*b + 8 for b.
4
Suppose 0*j + 3*j = 0. Suppose v + 4 = -4*h, -3*h = 3*v - 0*h + 3. Solve a - 1 + v = j for a.
1
Let z = 108 + -93. Solve 0 = -z*q + 16*q + 2 for q.
-2
Let r = -130 - -130. Solve 4 + r = -j for j.
-4
Let k(h) = -h**3 + 7*h**2 - 6*h + 5. Let t be k(6). Suppose -y - 6 = 3*a - 5*y, -5*y + 25 = t*a. Let q = a + 2. Solve 0 = 5*w - q*w - 5 for w.
5
Let f be 10/30 + (-62)/(-3). Suppose 3*q - f = 3*w, -2*w = -2*q - 3*w + 5. Solve 0 = -q*x + 7*x - 6 for x.
2
Suppose 5*v = g - 30, -4*g - 3*v + 40 = -7*v. Solve -9*r = -10*r + g for r.
5
Suppose 11 = 4*d + 3. Suppose d*b + 1 = 5. Let g be 0 + b/(4/30). Solve g = -p - 2*p for p.
-5
Let u be (-1 - -6) + 4 - 4. Solve 0 = -u*k + 3 + 2 for k.
1
Suppose -4*n = -7*n + 6. Let u be (-3 - (2 - n))/(-1). Let d = 4 + -2. Solve -u = -d*t + 3 for t.
3
Let x be (-7)/((-21)/16) + 1/(-3). Solve -x - 3 = -4*i for i.
2
Suppose i - 4 = -1. Let k(n) = n**2 - 2*n - 2 - 3*n + n. Let x be k(5). Solve -2*h + x*h = -i for h.
-3
Suppose 2*y - 2 = -v, -5*v + 1 = 2*y + 15. Suppose -2*u = l + 32, l - 32 = 4*u + 32. Let z be u/(-6)*(-6)/v. Solve -z*q + 1 = 5 for q.
-1
Suppos