 = -3*r + 2*d, t = -4*r + d + 11 - 4 for r.
3
Let a = -13 + -3. Let f be 4/a*-7*16. Solve 4*g = g + 5*s + f, 0 = 3*g + 3*s + 12 for g.
1
Let u(a) = -a**3 + 5*a**2 - a + 1. Let s be u(4). Solve -3*l = 4*y + s, l - 5*y + y - 17 = 0 for l.
1
Suppose 3*f - f - 2 = 0. Let h be (-2)/(f/10*-4). Solve -y + h = -3*s, 2*s + 3*y = -3*s + 15 for s.
0
Let u be (3/6)/(3/42). Let z(f) = f**3 - 7*f**2 - f + 10. Let q be z(u). Suppose q*m = -m. Solve 0 = 5*v + 2*p, p - 5 = -m*p for v.
-2
Let l(d) = -3*d - 1. Let k(v) = v**3 + 4*v**2 + v + 5. Let s be k(-4). Let f be l(s). Let b be 1/f - (-5)/4. Solve 2*t - 5*o + 26 - b = 0, 3*t = 4*o - 27 for t.
-5
Suppose j = -10*j + 88. Solve 5*x = -5*k + 5, 5*x = -3*k + j*k - 5 for x.
0
Let d(t) = -15*t**2 + 7*t + 6. Let w(a) = -7*a**2 + 3*a + 3. Let s(z) = -6*d(z) + 13*w(z). Let y be s(-3). Solve 2*n = 0, 0*k + y*k - 6 = 4*n for k.
2
Let g(l) = -l + 1. Let t = 2 - 4. Let o(r) = r - 1. Let a be o(t). Let w be g(a). Solve -v + w*n - 45 = 4*v, -5 = -n for v.
-5
Suppose 0 = 4*m - 3 - 5. Suppose -6 = -m*x - 0. Solve 0 = 5*k - 5*i - 45, -x*k = k + 5*i + 9 for k.
4
Suppose 3*p = 2*h + 2*h - 82, 0 = -3*p + 6. Suppose h*b - 18*b = 8. Solve b*j = -j - 2*f - 4, 0 = -3*j - f - 5 for j.
-2
Let h = 14 - 2. Suppose -2*a + 4*a = -5*s + 8, 4*a = 4*s - h. Suppose -6 = -s*u - 0. Solve -3*m + 9 = 2*z + 2, 5*m = -u*z + 11 for m.
1
Let i(n) = -5*n. Let j be i(1). Let t = 10 + j. Solve p - 3*g = -p - t, 5*p + g = -4 for p.
-1
Suppose m = 3*m - 2. Suppose -2*u = -c - 3, -m = u + 2*c + 5. Solve u*q + 35 = 5*q - 5*a, -a + 11 = 5*q for q.
3
Let z = -35 + 39. Solve 0 = z*w + 3*k - 14, -k = -0*k - 2 for w.
2
Let h be (-3 + 2)*-1*3. Let n(y) = -2*y - 8. Let k be n(-6). Solve -k*q = 2*p + 12 + 2, 3*p = h*q - 12 for q.
-1
Let u be 2/(-6) - (-2)/6. Suppose 0 = k - 3*k + 8. Solve -3*p - 9 = -k*r + 19, u = 4*r - 5*p - 36 for r.
4
Suppose -20 = -6*z - 8. Solve -2*w = -0*g - 2*g, z*g - 15 = -w for w.
5
Suppose 0 + 3 = d. Suppose 0 = -d*l + l + 6. Solve r - 11 = l*h, 0 = 2*h - 5*h - 6 for r.
5
Suppose y = -5*v + 13, 0*v - 4*y - 11 = -v. Solve -2*u - 6 = 4*n, -19 = 4*n - v*n + 4*u for n.
1
Let b(s) = 2*s**3 - 3*s**2 - 3*s - 2. Let z be b(3). Suppose a + 4 - 9 = 0. Let v be -1*2 - (-24 - -9). Solve -2*j = -4*j + a*u + z, -j + 5*u = -v for j.
3
Suppose 5*f = -3*h + 111, -5*f = -3*h + h - 126. Solve 4*s + 3*z + f = z, -3*s - 4 = -2*z for s.
-4
Let c be (-3)/2*2 - -1. Let v = c - -4. Solve -2*q - q + v = x, 4 = 5*q + x for q.
1
Suppose -f = 5, 10*r + f = 5*r + 30. Let b(a) = -a**2 + 7*a - 6. Let q be b(5). Solve -4*v + 1 = q*s - r, 3*v + 5*s = 12 for v.
-1
Suppose -3*y - 57 = -3. Let f = -15 - y. Solve -5*t - 5 = -5*p, t - 15 = f*p + 2*p for t.
-5
Suppose 0*t = 2*t + 2*v, -5*t + 35 = -2*v. Let h = t - 2. Solve -3*l = -4*s + 29, s + 4*l = -4 - h for s.
5
Let k(h) = 2*h - 4. Let c be k(4). Suppose y = -0*y + c. Solve -2*i - 29 = -y*v + i, 20 = v - 5*i for v.
5
Let m(d) = d. Let v(a) = a**2 - 11*a + 4. Let u(x) = 3*m(x) + v(x). Let t = 0 + 8. Let o be u(t). Solve 0 = -2*s + o*n - 14, -n - 14 = 4*s - 2*n for s.
-3
Let z be (-6)/(-21) - 114/7. Let c = z + 24. Solve c = x + 4*k, 0 = -3*x + k + k - 18 for x.
-4
Let w(k) = 3*k - 21. Let f be w(9). Solve 2*h + f*i - 3*i + 6 = 0, 4*h = -3*i for h.
3
Let m(v) = -v**2 + 5*v + 8. Let q be m(6). Suppose -b - 3*r + 12 = 0, -q = 3*b - 2*b - 4*r. Solve 0 = -2*x + 2*t - 4, -x + 2*t + 10 = -b*x for x.
-2
Let b(n) = -n + 12. Suppose -2 = -5*q + 48. Let d be b(q). Solve x - d*w = -3, -7*w + 2*w = -5*x for x.
3
Let u(x) = x**3 + 4*x**2 - 3*x - 6. Let q be u(-4). Suppose -20 = -4*s - 0*s - 2*n, -3*n = -q. Solve p + 10 = 4*i - p, -s*i + 3*p + 11 = 0 for i.
2
Suppose g - 4*l + 3 = 0, -l + 0*l - 13 = -3*g. Suppose -21 = -4*q - g. Solve -q*t - 17 = 5*j, -5*j - 2*t - 8 = -t for j.
-1
Let l(u) = -u**2 + 12*u + 4. Let q be l(12). Solve -5*g = 4*d + 9, q = -5*g - 1 for d.
-1
Let m(r) = r**2 - 2*r - 11. Let a be m(5). Solve a*s - 1 + 3 = 2*j, 3*j + 5*s - 14 = 0 for j.
3
Let o(p) = -p + 14. Let d be o(12). Suppose -5*s + 51 + 74 = 0. Suppose -3*f = d*f - s. Solve -h = 4*z - 0*z - 5, -f*z = -5*h - 25 for z.
2
Suppose 0 = -3*g - 6 + 12. Let r(o) = 6*o**g + 0*o**2 + o + 1 + 0*o - 3*o**2. Let m be r(3). Solve -5 = v, 2*v = 4*b - v - m for b.
4
Suppose 5*j - 2*n = 89, 5*j + 2*n = -30 + 111. Solve -5*d = -t + j, t - 7*d + 3*d - 14 = 0 for t.
2
Let t(f) = -3*f - 19. Let s be t(-9). Solve -2*i + 4 + 4 = 2*b, -5*i + b = -s for i.
2
Let k(u) = -u**2 + 2*u + 3. Let z be k(3). Suppose -v = -z*v - 7. Let i be (16/(-56))/((-1)/v). Solve -c + 5 = i*r, c + 0*c + 5*r - 20 = 0 for c.
-5
Let b(z) = z**3 + 10*z**2 + 8*z + 3. Let y be b(-9). Solve -k + 0 + 4 = -3*q, -y = 2*q - 3*k for q.
0
Let r(h) = 8*h**2 + 6*h + 4. Let z be r(-4). Suppose -4*v = -0*v - z. Solve 3*a + 3*g - 4*g = 12, 0 = -4*a + 5*g + v for a.
3
Let b(i) = -i + 2. Let g be b(1). Let d be g + -2 - -2 - 1. Suppose d = -t - 4*t. Solve t = 5*z + m + 14, 25 = -z - 5*m + 3 for z.
-2
Let i(q) = -10*q + q**2 - 1 + 1. Let c be i(10). Suppose b - 5*l = 0, -l = -1 - c. Solve -t + 6*t - 9 = -3*w, -b*t = -w + 3 for t.
0
Let i be 5/(-10)*(0 + -4). Suppose 4*p - v = -0*p + 65, i*v = 2*p - 40. Solve t + t + 22 = 3*q, t - p = -5*q for q.
4
Let o(z) = z - 4. Let a be o(6). Suppose n = 3 + a. Suppose -5*j - 5*x + 10 = -10*x, 2*j + 2*x = 8. Solve -4*q - 5*y = -n, 0*q - 2*y + 25 = -j*q for q.
-5
Let u(d) = -5*d**3 + 2*d + 1. Let f be u(-1). Solve 4*h + x + 12 = 0, -2 = -h - f*x + 10 for h.
-4
Let n be (0 + 1)/(-1) - -3. Let x be 4/26 - 33/(-39). Solve 2*p = p - n*z - x, -2*p - 2 = 5*z for p.
-1
Suppose 0 = -4*p - 2*f + 12, 2*p - 6 = f. Solve 15 - 42 = -p*c - 5*a, -c - 2*a + 10 = 0 for c.
4
Let v = 18 - 13. Solve v*x - 13 = z, -x + 9 = 2*x for z.
2
Let n be ((-6)/4)/(3/4). Suppose 7*m - 12*m + 5 = 0. Let z be 36/8 - m/n. Solve z*c - y + 34 = 4, 10 = c + 3*y for c.
-5
Suppose 7*m = 2*m + 25. Let b(k) = -2*k + 10. Let t be b(m). Let j be ((-6)/(-4))/((-6)/(-8)). Solve t = -3*d - v + 4 - 5, 4*d = -j*v + 2 for d.
-2
Suppose w - 3*w = 0. Suppose 5*x = -w*x + 25. Solve 5*a - 4*q = q, x*q = -3*a for a.
0
Let t(x) = x**2 - 2*x + 1. Let c be t(1). Let g be (0 + c)*(-1)/(-2). Solve 0 = -3*l + u + 4*u - 23, -2*l + 2*u - 10 = g for l.
-1
Let p = 25 + -14. Solve -2 = t + 2*t + h, -4*t - 3*h = p for t.
1
Suppose 0*j + 14 = 2*f - 2*j, 3*f - 16 = 2*j. Solve -3 = f*b - b - q, -4*b - 2*q = 0 for b.
-1
Suppose 4*j = -0*j + 32. Let k = 0 - -2. Suppose 5*l - k = j. Solve -l = -x, -5*x + 15 = -t + 3 for t.
-2
Suppose 2*q = l + 3 + 5, 2*l + 11 = 3*q. Solve -3*c - 5*r + 14 = 0, -5 = -c - q*r + 3*r for c.
3
Suppose -j = -1 - 2. Suppose -j - 30 = -3*v. Solve 4*o - 4 = 0, -2*p + 4 + v = 5*o for p.
5
Let l = -444 - -448. Let y be 2/(-4)*0/1. Suppose 3*r - 1 = -5*t, -2*r + y = 4*t - 2. Solve -l*f + 3*d = 8, -d + 1 = t*f - 3*f for f.
-5
Let g be -6 + 2 - 9/(-1). Solve g*f - 2 = -t + 4, 5*f - 1 = 4*t for t.
1
Let k = -9 + 7. Let w(y) = 8*y**2 + 2*y - 2. Let j be w(k). Solve 2*l = -4*q - j, q + 7*l = 3*l - 24 for q.
-4
Suppose 3 + 2 = m, 3*a = -5*m + 25. Let y = 7 + -2. Solve -y*p - 4*x + 17 = -a*x, -2*x = -p - 5 for p.
1
Let u = 0 - 1. Let q = u - -4. Solve -5*x + 2*l = 11, 0*l + 5*l - 12 = -q*x for x.
-1
Suppose g + 0*g = 6. Suppose 0 = 2*b - 3*n + 5*n, -4*b - 2*n + g = 0. Solve -4*i + 3 = r - b*i, 20 = 4*i for r.
-2
Let x(t) = 3*t - 34. Let l be x(12). Solve -3*w = -s + l, 3*s - 12 = -0*w + 3*w for w.
1
Let v = 8 + -10. Let m(y) = -2*y - 2*y + y**2 + 3*y - 1. Let x be m(v). Solve 0*r + x = 2*r + t, 3*r + 3*t = 12 for r.
1
Suppose 3*a + 3 - 12 = 0. Suppose 2*x = -a*x + 20. Suppose 8 = -2*c, 6 = -8*z + 3*z - x*c. Solve -4*m = z*q - 30, -m + 20 = -0*m + 3*q for m.
5
Suppose 2*c = 4*c. Solve g = 2*z - 7*z + 8, c = 3*z - 6 for g.
-2
Suppose 4*g - 5*b - 16 = -4, -4*b = g - 3. Solve -5*w + 6 = 2*v - 23, -3*w + 9 = -g*v for v.
2
Suppose 0 = -h - 5 - 0, 0 = 4*g - 2*h - 14. Let a be g/3 + (-2)/6. Suppose 2*d - 2*l = 4, a = -d + 4*l + l - 6. Solve -2*n = -3*b + 2*n - 7, -n = d*b + 3 for b.
-1
Let l be -2 - (18 + 0)/(-3). Suppose 4*v + l*g + 5 = -7, 20 = -4*g. Solve 0 = 3*f + 2*n - 3, -v*f + 4*n + 8 = -10 for f.
3
Let d = 9 - 5. Solve -9 = 5*g - 3*a, -6 = -0*g - d*g - 2*a for g.
0
Suppose 1 - 4 = -a. Solve -11 = 3*t + 3*x - 2, -3*t + a*x - 21 = 0 for t.
-5
