- a, -z + f - 5 = -2 for z.
-3
Let s be (-1)/(-2)*0/1. Solve 3*c = -3*r - 6, -3*c + 2*r + 0*r + 4 = s for c.
0
Let k(c) = -4*c - 16. Let x be k(-8). Let u = x + -14. Solve 11 = -i - 3*a + 3, -u*i = -a - 12 for i.
4
Suppose 2*b + 6 = -2*i - 16, 0 = 5*i. Let h = b + 15. Solve 3*x + 4 = h*j, -4*x = -2*j + j + 14 for j.
-2
Let m(v) = v**3 - 12*v**2 + v + 13. Let d be m(12). Let p = -23 + d. Solve -p*c + 6 = 4*s, 3*s - 3 = -3*c - 0*s for c.
-1
Let y = -10 + 14. Suppose -2*a - y*n = 4, 2*a - 5*n = 3*a + 5. Solve 15 = 3*c, -k + 5*k - 3*c + 7 = a for k.
2
Let j be 5 + (-2 - (-2 + 0)). Let w be 2/8 + (-10)/8. Let n be 3 - (0/w + -1). Solve 3*l - 9 = -n*m - 2*l, -j*l + 25 = 0 for m.
-4
Let b(d) = -d**2 - 14*d + 35. Let h be b(-16). Solve h*n - 4 = -n + 4*q, 5*q = -25 for n.
-4
Let j = -10 + 19. Suppose 3 = 4*o - j. Let z = -2 - -4. Solve 22 = -o*d + d + 4*b, -z*d - 7 = -b for d.
-1
Let l(h) = -h**2 - 6*h + 2. Let g(n) = -5*n - 1. Let j be g(1). Let f be l(j). Solve 0 = -m, -3*t + 4*m = f*m + 6 for t.
-2
Let y = -8 - -14. Suppose -y = q - 3*q. Let u be (-4)/(-14) + 66/14. Solve 1 = -5*m + q*f - 0, 25 = -u*m - 5*f for m.
-2
Let d = 46 + 6. Suppose -62 = -5*t + 4*k, -k + 3*k + d = 4*t. Suppose 4 = -2*j + 5*l, 0 = -2*j - 0*l - 4*l + t. Solve m + m - 14 = 4*h, -2*m + 7 = j*h for m.
5
Let c be 2 - (-5)/(5/1). Solve k - z - 2*z = 10, 3*k - c*z = 0 for k.
-5
Let n be -3 + 24 - (-6)/(-3). Suppose -v - 2*v - 38 = -2*s, -3*v - n = -s. Let h(b) = 7*b - 1. Let c be h(2). Solve 5*i + c = k - 0, -s = 5*i + 2*k for i.
-3
Let y(u) = -u**3 + 7*u**2 - 5*u + 4. Suppose -3*c + 13 = -5. Let f be y(c). Let d be 24/(-20)*f/(-4). Solve -d*p = w + 6, p = -0 - 1 for w.
-3
Let z(b) = b**2 - 6*b + 6. Let y be z(6). Let l(m) = -8*m - 4. Let g be l(-2). Solve -3*x + 3*j + g = -y*x, 7 = 2*x - 3*j for x.
-1
Let b be (28/(-42))/((-2)/6). Solve 25 = 5*m, -b*l - 3*m + 16 = -3*l for l.
-1
Suppose -3*w - 4 = -10. Solve w*z + 0*n = 2*n + 14, -3*n - 18 = -2*z for z.
3
Let c be 3*6/(-18)*-2. Solve -n = -3, 0*r - c*r = -4*n + 6 for r.
3
Suppose -12 = -0*s - 3*s - 5*d, 0 = -d. Suppose -x = h + 2 - 0, 2*x - s*h - 20 = 0. Solve o + x*k = 7, 2*o + 2*o - 5*k + 37 = 0 for o.
-3
Let i(u) = -u + 4. Let x be i(4). Suppose 5*a = -x*a - 25. Let t be (-2)/a - (-54)/15. Solve 6*o + 3*j = o - 20, -o - t = -j for o.
-4
Suppose 5*m + 39 = -4*q, -3*m = -4*q - m - 74. Let h = q + 16. Solve 0 = -2*a, h = -b + a - 6 + 2 for b.
-4
Let l = -9 - -12. Solve 0*p + 21 = 5*c + p, -2*c = -l*p - 5 for c.
4
Let m be (-2)/4*(-5)/(10/48). Solve 4*t - 8 = 3*o + 8, -2*o = -4*t + m for o.
-4
Let o be (-6)/(4/(-3 - -1)). Solve -4*j + 13 = -o*f, -3*j = -5*f - 0*j - 7 for f.
1
Suppose -k - 4*v + 17 = -6, 2*v + 71 = 5*k. Solve o + k = 4*h, 5*o = -6*h + h for h.
3
Suppose -4*a + 3 + 1 = 0. Suppose 0 = c - 2 - a. Let h = 18 + -11. Solve 3*t + 5*f = -h, -3*f = c*t + 2*t + 1 for t.
1
Let j be (-30)/50*(-10)/2. Let i be 14*j/(105/10). Suppose 4*q = 3*v + 10, -4*q = 4*v - 43 + 19. Solve -b = i*o, 3*b - 3*o + q*o - 11 = 0 for b.
4
Let q(n) = -n**3 - 3*n**2 - 2*n - 2. Let i be q(-3). Suppose 21 = i*y + 5. Let l be (0 - -1 - 0) + y. Solve 16 = -p - 3*p, l*u - 4*p - 26 = 0 for u.
2
Let h = -10 - -13. Solve 0*a - 3*a = 3*u, 5*u = -h*a for u.
0
Let o = 42 - 17. Solve 32 = -2*l - 2*l - 4*j, 5*l = -2*j - o for l.
-3
Suppose 155*f - 8 = 151*f. Solve -f*a + 0*a - n = -9, 4*a = 5*n - 3 for a.
3
Let c be (6/3)/((-6)/(-21)). Let b(z) = -z**3 + 8*z**2 - 7*z + 4. Let x be b(c). Solve -x - 9 = -5*w + 3*u, -4*w = 4*u - 36 for w.
5
Let f = 41 + -25. Solve 4*d - 18 = -3*v + 11, -3*v = -5*d + f for v.
3
Suppose 0 = 3*q - 2*r - 20, 3*q - q = 2*r + 16. Let v = 6 - q. Solve 0*w - 4 = -w + v*b, 2*w - 1 = -3*b for w.
2
Suppose -2 = w - b, -w = w - b. Solve 5*y + 4*r + 12 + 6 = 0, -w = 3*y - 2*r for y.
-2
Let c = 4 - 2. Let z be (16/6)/(c/3). Solve j - 8 = -3*q + 5*j, 3*q = -z*j - 32 for q.
-4
Let b be -4 - (4 + (-8 - 0)). Solve 3*g - 9 = 0, b = 4*y - g + 5*g + 4 for y.
-4
Let y be 16*(5 + -2)/6. Let h = y + -3. Solve h*u - 29 = 2*x, 0 = u + 2*u - x - 17 for u.
5
Let p be 11 - (-4 + 4 - -4). Let y = -5 + 8. Solve 0 = j - 4*s - y, -3*j - 5*s = -p - 2 for j.
3
Let h = 6 - 10. Let g = 10 - 4. Let i be h/g + 42/9. Solve -8 = -i*m, y - m = -2*y - 5 for y.
-1
Suppose 6*q = 16 + 8. Solve -2*p = 2*b + 2*p + 16, 5*b = p + q for b.
0
Let j(d) = d - 4. Let y be j(7). Suppose 11 = -y*b + 50. Suppose -10 = -5*a - 0. Solve -5*c = 4*m - 17, a*c = 3*m + 3 + b for c.
5
Let n(k) = k + 6. Let v be n(-4). Solve -3*x = 6, 15 = 7*z - v*z + 5*x for z.
5
Let v(q) = -q**3 - 5*q**2 + 8*q + 2. Let j be v(-6). Let u(m) = -m**2 - 10*m + 3. Let w be u(j). Solve 0 = -5*y + 5*x - 25, -y - w*x + 3 = 0 for y.
-3
Let k be (5/15)/(2/18). Solve -2*d - k*d = -5*m - 20, 3*m + 2*d + 12 = 0 for m.
-4
Let f(v) = 4*v - 10. Let a be f(7). Let t be (10/(-6))/((-6)/a). Solve -3*x = -h + 6, -t*h + 13 = -5*x + 3 for h.
0
Let l(k) = -k + 6. Let c be l(6). Solve 25 = -4*b + q, c = -b - b + q - 15 for b.
-5
Let m be (-44)/(-12)*3*1. Let t = m + -6. Solve -5*w = 4*d - t, 3*d + 0*d = -2*w + 2 for w.
1
Suppose 3*g - 2*d - 21 = -2, 5*d + 25 = 0. Suppose -3*x = -5*v + 27 + 22, -16 = -2*v + g*x. Solve 3*y - 8 = -0*o - 4*o, -v = -3*o - y for o.
5
Let x(w) = 2*w. Let u be x(0). Solve 7*f + 5*l - 7 = 3*f, -4*f + 5*l - 23 = u for f.
-2
Suppose 0*f - 5*g = 3*f + 8, 0 = 2*f - 3*g - 20. Solve -2*w - 6 = 2*a, 0 = f*w + a + 2*a + 13 for w.
-4
Let z(n) = n**2 - 4*n + 6. Let d be z(3). Solve -1 = -d*w - 4*j, 0 = 3*w - 2*w + 5*j - 4 for w.
-1
Suppose t - 12 + 1 = 0. Let f(x) = -x**2 + 11*x + 1. Let o be f(t). Solve 4*p = -5*u - 40, -u - 3*p + o = -5*u for u.
-4
Suppose -3*c = -2*o + 6, -3*c + 2*c = 2*o - 6. Solve -4*r = o*l - 31, -l + 28 = 2*r + 3*l for r.
4
Let u be (-2)/3 - (-4)/6. Let l = -7 + 5. Let g be l/(-4) - (-7)/2. Solve 4*s - g = -2*f, -f = -4*s - u*f - 2 for s.
0
Let f = -4 - -10. Let b = f + -2. Suppose b*w - 10 = -0*w - 2*a, 2*w + 5*a + 7 = 0. Solve w*y + 24 + 1 = 5*v, 5*y = 4*v - 20 for v.
5
Suppose 8 + 0 = -4*k. Let j = 7 + k. Solve -4*h - 4 = 5*c, -j*h + 32 = -h - 4*c for h.
4
Suppose -5 = -3*u + 1. Suppose -31 - 23 = -18*o. Solve -4*s + o*w + u = 0, s + w - 12 = -4*s for s.
2
Suppose 0 + 3 = q. Solve -5*v + 2*x - q = -4, 0 = -v - 5*x - 16 for v.
-1
Let x = 116 + -112. Solve 3*j + m + m = -7, -x*m - 24 = -4*j for j.
1
Suppose -4*t = -18 + 6. Solve -12 = -2*m - t*u, 0 = -m - 4*u - 1 + 12 for m.
3
Let q be 1 + (-6 - -7 - -3). Solve -2*l + q*l = b + 15, 8 = 4*b + 5*l for b.
-3
Let h be (31 + -66)/(-1 - 0/(-2)). Solve 3*k - 15 = v, 5*k + 6 = 3*v + h for k.
4
Suppose 6*n = 11*n - 10. Solve 3*s + 4*w = 6*s + 22, w = -n*s for s.
-2
Let o = 50 + -42. Suppose m - 6*a + 3*a = -9, -a = m - 11. Solve 4*i = o, -3*j + m = -5*i + 25 for j.
-3
Let c(k) = 9*k - 3*k - 4*k + 4 + 5*k - k**2. Let o be c(6). Solve 4*r + o = -3*u + u, 5*u - 2*r = 35 for u.
5
Let q(v) = 2*v**2 + 13*v + 15. Let w be q(-5). Solve -4*c + w*s = -3*s - 17, -5*s - 25 = -5*c for c.
2
Suppose -3*k - 4*c + 12 = 0, -c = 3*k - 4*c + 9. Suppose 3*v = 4*a - 1, -v + 21 = -k*a + 4*a. Solve -y + 8 = -0*y + 3*j, 2*j + 8 = -a*y for y.
-4
Let m be 6 + (-3 - -3) - 1. Solve 8 = 4*o, -m*o + o + 23 = -5*t for t.
-3
Let h(n) = -n - 7. Let b be h(-13). Solve -2*q = -3*r - 21, -2*q + b = -3*r - 5*q for r.
-5
Let l be (2 + -7)*(3 - 6). Solve 4*c = 3*b + l, 0 = -4*b + c + 3*c - 16 for b.
-1
Let o = -5 + 10. Suppose 7*m = 187 - 180. Solve -7 = 5*f - 3*l, -2*l - m = -o*f - 9 for f.
-2
Let t = 2 - -7. Let o = -7 + t. Solve 0 = 4*i - 3*p - 3 - 4, -22 = -4*i - o*p for i.
4
Suppose -2*f + 20 = 2*f. Solve 6*r - f = r + 5*b, r = -4*b + 11 for r.
3
Suppose 0 = -4*x + 2*g + 16, -5*x - 3*g + 20 = 2*g. Let o(m) = m. Let f be o(x). Let w be 2*1/f*10. Solve 4*i - 2*c + 3*c = 0, 5*c - 25 = w*i for i.
-1
Let s be ((-18)/(-81) + (-7)/(-9))*3. Solve -2*j + 20 = -s*i, -j - 6 - 6 = 4*i for i.
-4
Let x = 2 + 4. Suppose -4*f + 7*f - 24 = 5*l, l + 5*f = 12. Let o = x + l. Solve -w = -o*i - 6, -4*i + 0*w = 2*w + 8 for i.
-2
Let p = -17 - -23. Solve -3*u + p = -u - 4*z, -5*u + 3 = 2*z for u.
1
Suppose -2*v - v + 15 = 0. Let z = v - 1. Solve 5*x = 5*u, 0 = -5*u - z*x - 20 - 16 for u.
-4
Let a(r) = r + 4. Let t be a(-4). Suppose 5*f - 3*f - 4 = t. Solve -4*z - 8 = -4*s - f*z, 5*s + z = 17 for s.
3
Let k 