 - 35, 0 = f*x - r - 13 - 2 for x.
5
Suppose -n = n - 12. Suppose 0 = 3*o + 2*o - 15. Let p = n - o. Solve -3*y - v = v - 11, -p*y + 13 = v for y.
5
Suppose 15 = 2*f + f. Suppose -q = -p + 2, 0 = p + 3*p + f*q - 17. Solve 5*n + 3*d = -9, p*n + 0*d + d + 3 = 0 for n.
0
Suppose 4*w + 0 = -f + 5, -4*w - 1 = 3*f. Solve s + 3 = 2*l - w, 40 = 3*l + 5*s for l.
5
Suppose 5*b = -0*b + 25. Suppose d - 5 = b*u - 25, 5*d - 15 = 2*u. Solve 9 = -c - 3*a, 0 = 3*c - 3*a + 4*a - u for c.
3
Let x be (22/11)/(1/11). Solve -3*t + 16 = 2*t - 4*v, -2*v = 5*t - x for t.
4
Suppose t - a = 9 - 1, t - 3*a - 10 = 0. Suppose 5*o + t = -x, 4*o - o = -2*x. Suppose 0 = 3*k + 2*k - 135. Solve -5*m - k = 3*g, 3*g - x*m = m for g.
-4
Let y(v) = -v - 14. Let q be y(-14). Suppose 23*a - 27*a + 44 = q. Solve -4*z + 4*m + 25 + 3 = 0, -3*z - 2*m + a = 0 for z.
5
Let b = -6 + 6. Suppose b*o = -2*o. Solve 3*y - 2*y - 2*z + 9 = o, -2*y - 12 = -z for y.
-5
Let h = -26 + 29. Solve -4 = 5*d - h*m, -d = d + 2*m - 8 for d.
1
Suppose 2*x + 2*a = 10, -x - 4*a = -a - 15. Suppose x = d - 2 - 2. Solve 5*o - 5*b = 10, 2*o + d*b - 14 = b for o.
4
Suppose 3*b - 14 = 1. Solve -b*i = 5*h + 8 + 17, -5*i = -4*h + 25 for h.
0
Let j be ((-10)/4)/((-2)/4). Solve 2*x + j*i - 5 = x, 4*i = 3*x + 4 for x.
0
Suppose 9*r + 20 = 11*r. Solve -5*c - 1 = -r*c - 2*p, -3*p = -c + 7 for c.
1
Let p(f) = f + 4. Let d be p(-4). Let b be (0 + d/2)/3. Suppose b = -2*q - 2*q. Solve 0 = 2*a - j + 6*j + 8, -a + j + 3 = q for a.
1
Suppose -8 = -4*z - c, 4*z + 2*c = z + 6. Solve 4*y = 3*y + 2*f + z, 0 = 4*y - 5*f - 5 for y.
0
Suppose 7*r - 3 - 11 = 0. Solve c + 0*t - r*t = 6, 0 = -c + 5*t + 15 for c.
0
Let s be -4 - 2/(-2) - -5. Suppose 3*p - 4 = s*p. Suppose q - 2 = p*u - 0, 0 = -2*q + 3*u + 4. Solve -q = z - 4, 7 = v + 3*z for v.
1
Suppose 65*b - 7 = 64*b. Solve 0 = -k + 5*y + 16, 3*y + b = -2*k - 0*k for k.
1
Suppose -2*u + 7*u + 5 = -2*g, 3*u = g + 8. Let m be u - (-12)/(-4) - -4. Let b be (1 - 1)*3/(-6). Solve -2*s = 2*t - b*t - 10, -5*t + 18 = -m*s for t.
4
Let z be (-1)/2 - 12/(-8). Solve 3*s = -4*w - z, -16 = s + 3*s - 2*w for s.
-3
Let k(u) = -u**3 + 3*u**2 - 2*u + 6. Let r be k(4). Let l be r/6*4/(-6). Solve -4*d = -z - 5*d + l, 3*d + 19 = 2*z for z.
5
Let f be (1 + 51)/((-4)/(-2)). Solve 4*v = -4*m - 11 - 13, f = -5*v - 3*m for v.
-4
Suppose -4*r = 4*d + r + 8, 3*d = -5*r - 11. Suppose -3*z + m + 4 = -1, -5 = -5*m. Solve 0 = -2*k - d*g + 6, z*k + g - 7 = 3*k for k.
-3
Let q be (8/14)/(5/35). Solve q*p = 5*u - 41, 4*p + 31 = 3*u - 0*u for p.
-4
Let n(o) = -2*o - 3. Let z be n(-3). Let i be (4*3/2)/1. Let v(j) = -j**3 + 5*j**2 + 7*j - 2. Let m be v(i). Solve -4*l + 3*l = -m*c - z, 0 = -c - 1 for l.
-1
Suppose 5*r + 3*p - 21 = 0, -4*p = -0*r + 2*r - 14. Solve 15 = -y - 5*w, 0*w + 3 = -r*y - w for y.
0
Let o = 4 - 0. Let w be 6*1/6*10. Let s = o + w. Solve -2*k - 8 = -5*a + s, k - 3*a + 13 = 0 for k.
-1
Let k = -4 + 0. Let b be (-2 - 10/k)*0. Solve 4*d + b*i - 40 = 4*i, 0 = d - 3*i - 20 for d.
5
Let h(p) = -1 - p + p - 2*p - 1. Let w be h(-2). Solve 0 = 4*d + 5*t - 32, -w*d - 4*t - 2 + 24 = 0 for d.
3
Suppose 2*q = -5*g + 19, 0 = 2*q - 6*q + 2*g + 2. Solve -4*s - 12 = 2*l, 3*l + 17 - q = -5*s for l.
0
Let y(t) = t + 1. Let p(q) = q**3 - 6*q**2 - 6*q + 7. Let f be p(7). Let i be y(f). Solve -6 = b - w, b + 36 = 4*w + i for b.
-1
Let s(g) = -g**2 - 15*g - 23. Let l be s(-13). Solve -5*w - 6*b + 25 = -3*b, l*b = -3*w + 21 for w.
2
Let z(y) = 1 + 1 - 4*y - 5 + 2*y. Let s be z(-3). Solve b - 2*k = -5, 0 = 4*b - s*k - 0*k + 20 for b.
-5
Suppose -4*u = -19 - 1. Suppose 0 = -0*y + u*y. Solve 0 = 4*l - 5*s - 15, -3*l + 6*l - s - 3 = y for l.
0
Let n = -3 - -8. Let c be 1/(-1)*n*-1. Solve 0 = 5*t + c*i + 20, -4 = -4*t + 5*i + 7 for t.
-1
Suppose 3*y - 15 = -y + x, 4*y - 5*x = 27. Suppose y*i = -i. Suppose i = -2*b + b + 2. Solve -b*o + 10 = 4*v, -4*o = -v - 2*o + 10 for v.
4
Let u be (8/(-20))/((-2)/20). Let n be 1/((u/10)/2). Solve -5*a = 3*x + 37, -2*x = -3*a - n*x - 27 for a.
-5
Let k = -1 + 1. Suppose k = -3*o - 9, 0*o - 5*o = -5*y + 20. Suppose 0 = 5*s + 3*t - 24, -y + 5 = s + t. Solve -7 = 5*d + 3*l, -d - s = 4*d + 4*l for d.
-2
Let p(m) = 7*m**2 - m - 8. Let d(s) = 3*s**2 - 4. Let i(z) = 5*d(z) - 2*p(z). Let y be i(-5). Solve -6*c - 4*a = -2*c + 4, -4*c + a + y = 0 for c.
2
Let l(n) = -n**3 + 2*n**2 + 7*n - 6. Let z be l(4). Let p = 14 + z. Solve -i - 6 = p*q + 1, q - 3*i = -18 for q.
-3
Let j(s) = -s**3 - 8*s**2 + 8*s - 4. Suppose 5*z + 41 = -4. Let t be j(z). Solve 2 = -n, -17 = -3*q - n + t*n for q.
3
Let j = 7 - 4. Let r(x) = x + 2. Let n(q) = 4*q + 7. Let z(t) = -2*n(t) + 7*r(t). Let l be z(-2). Solve -j*h + f = -2, 5*f - l = 6*h - 3*h for h.
1
Let r be (-1 - -4) + -1 - 2. Suppose r = l - 2 - 13. Let b = 25 - l. Solve 7 = -c + 4*i, 5*c - b = -2*i + 21 for c.
5
Let v = -13 - -29. Suppose 0 = n - 0*n - v. Solve -t + 3*t - n = 3*m, 0 = 3*t + 5*m - 5 for t.
5
Let l = 13 + -9. Solve -5*j - 3*v + 23 = 0, -2*v - 2*v = -l for j.
4
Suppose -5*w = -5*m + 10, 2*m + 24 = -0*m - 5*w. Let l = 6 + m. Solve 0 = -l*v - 16, 2*v + 16 = -4*j - 0*v for j.
-2
Let q = -38 - -41. Solve -q*t - 15 = -k, 3*t - 11 = -5*k + 2*t for k.
3
Let f(s) = -2*s + 16. Let w be f(6). Let g = 2 - -1. Suppose 4*z = -3 + 7. Solve -35 = g*b - 4*u, -5*b - 4*u = w + z for b.
-5
Suppose -4*z = -5*a + 4, -1 - 4 = 3*a + 5*z. Suppose -11 = o - 4*u, -2*o + a*o + u + 6 = 0. Solve -o*x = -4*s - x - 4, -4*x + 6 = -2*s for s.
1
Let m = 5 + -9. Let h be 0/(-2 - m - 0). Suppose 22 = 2*i - h*i. Solve -4*g + 3*f = -i, 5*g = 2*f + 2*f + 15 for g.
-1
Let d = 5 - -3. Suppose d = q - 0. Solve 2*z = q, 0*w - z = -3*w + 2 for w.
2
Suppose -4*q + 12 + 4 = 0. Solve -r + 4 = -2*k + 2, 3*r - 4 = q*k for k.
-1
Let v be 15/6 + 2 + 2/4. Solve -v*p + 11 = -4*f, -5*p + f = 4*f - 18 for p.
3
Suppose 2*s = s + 4. Suppose 2*z = 5*z - a - 18, -s*a - 27 = -3*z. Solve z = 5*u - 5, -y + 5*u = 7 for y.
3
Let l(w) = w**3 - 22*w**2 + 40*w + 1. Let f be l(20). Solve c = f, 0*j + j + 3*c - 3 = 0 for j.
0
Suppose 5*s - 5 = 5*p, -3*s - 3*p = -2*s - 21. Solve -s*j - 16 = 3*h - 2*j, 4*h - 20 = 5*j for h.
0
Suppose g + 32 = 5*g - 4*j, j - 7 = -4*g. Suppose 5*s = g*s + 6. Solve -4*n + s*h = -2*h - 11, h = n - 2 for n.
-1
Suppose -6*o + 9*o = 33. Let r = -7 + o. Solve -2*h - 4*x - 2 = -0*h, 5*x + r = -4*h for h.
-1
Suppose -f - 2*f - x + 4 = 0, -f - 22 = 5*x. Solve 4*d - f*n + 37 = 16, 2*d = -2*n for d.
-3
Let f(i) = -3*i - 5. Let t be f(-2). Let l(s) = 3*s**2 + s - 1. Let z be l(t). Solve -3*m - n = -0*m + 12, 5*n = -z*m for m.
-5
Let w(o) = o + 7. Let s be w(-4). Let m = s - 0. Suppose -i - 2*i = -63. Solve 0 = c + 5*z - 13, -m*z + i = 5*c - 0*z for c.
3
Let m be 0/3*(-1)/3. Let w be 1 - (2/(-1) - 35). Suppose n = w - 9. Solve -2*a = 4*c - 16, m = a - 5*c + n - 2 for a.
-2
Let v(i) = -3*i**2 - 17*i + 1. Let n(q) = -10*q**2 - 51*q + 4. Let f(o) = 2*n(o) - 7*v(o). Let d be f(-17). Solve 5*u = z + d, u = 3*z - 2*u + 3 for z.
-1
Let c be (-9)/12*(-1 + -3). Let o(m) = m**2 - m - 4. Let x be o(c). Solve 21 = -x*b - 7*w + 2*w, -2*w = 10 for b.
2
Suppose 5*b - 2*t + 8 = 3*b, 0 = b - 5*t. Let h be b/(-20) - 1/4. Solve -2*w = -5*z - h*w + 17, -z = 5*w + 2 for z.
3
Let k = 9 + -2. Let s be 5 - (-2 + 5) - -3. Suppose 44 = 3*p + s. Solve -3*a = 3*h + 8 + k, -5*h - p = a for a.
-3
Suppose -5*r = t - 4, 0 = 4*r + 2*t - 7 - 1. Solve -6 = 5*j - 16, 2*h - 2*j + 12 = r for h.
-4
Let b(i) = -i**2 - 6*i + 5. Let r be b(-5). Suppose 4*d = 2*a + 6, -5*a + 0*d + 5*d - r = 0. Let y = a + 3. Solve 3*m + 3*s + 10 = y*m, 6 = -3*s for m.
-4
Suppose 13 - 3 = 2*l. Let m(r) = r**2 - 9*r + 14. Let f be m(10). Solve 0 = -3*a + l*y + 12 + 2, -2*a - f = 5*y for a.
-2
Suppose 0 = -4*t + 20, 0*y = -5*y + 2*t + 10. Let j(v) = 3*v - 1. Let q be j(y). Let x = q + -9. Solve 0 = -x*f + 4*f - 5*m + 3, -2*f - 2*m = -4 for f.
1
Let s be (90/2)/5*1. Solve 0 = r + 3*u - s - 4, 5*r - 4*u = -30 for r.
-2
Suppose 0 = -3*m + 4*r + 49, 2*m - r = -5*r + 26. Suppose -m = -3*q + 21. Solve 5*w + 4*x - 17 = 0, -4*w + 1 = 3*x - q for w.
1
Suppose -2*i + 3*y = 8, 0*i + 4*y = 4*i + 8. Solve w = -i*x - 2*w - 3, -20 = 5*x - 5*w for x.
-3
Let i be ((-2)/(-3))/(2/12). Solve -2*o + 3*j = -7, -3*j + 3 = -i*j for o.
-1
Let x = 9 + -3. Let r be 31/x - (-2)/(-12). Solve 