
Suppose -s + 1 + 5 = 0. Suppose -6*t + 10 = -26. Let c = s - t. Solve 0 = f - 4*p + 6*p, f - 2*p + 8 = c for f.
-4
Let o = -7 + 15. Suppose 15 = -4*h + 7*h. Solve 0 = w + g - 3, h*g + o + 2 = 0 for w.
5
Suppose -100 = 5*j - 10*j. Solve 0 = i + w + 4, -5*w = i - 4*i + j for i.
0
Suppose 12 = -2*a + 4*a. Let b = a + -4. Solve -4*v + 5*d + 15 = 0, -b*v - 2*v + 24 = 4*d for v.
5
Suppose 4*d - 4 = -v + 6*v, 0 = -4*v - 4*d + 4. Suppose v = -w - w + 6. Solve -k + 12 = 5*q - 8, 4*k + w*q - 12 = 0 for k.
0
Suppose -v + 4*r = -31, 3*r - 73 = -4*v + 2*r. Let a(j) = j - 5. Let t be a(10). Solve 10 + 2 = -4*w, -t*f = 2*w - v for f.
5
Let o = -19 - -45. Suppose -5*b = 4*v - 26, -2*v = 3*v + 3*b - o. Solve 0 = -3*m + v*k + 27, 5*k + 35 = -2*m + 6*m for m.
5
Suppose 0 = 4*b - 7 - 9. Solve 5*h - 17 = -4*o + 2*h, 4*h - 20 = -b*o for o.
2
Suppose 0 = -6*s + 20 + 10. Solve -s*p = 2*t, 0*p - p = 2 for t.
5
Let t be (7/2)/((-2)/(-8)). Let a = t + -10. Suppose 39*m + 25 = 44*m. Solve -5*h = a*q + 30, 2*h = 2*q - m*q - 19 for q.
-5
Suppose 0 = -2*u - 3*u + 25. Solve b = 2*m - 13, -4*b - u = 4*m - 1 for b.
-5
Let v(c) = c + 12*c - 10 + 12 + c**2 + 0*c**2. Let z be v(-13). Solve -w = 2*w - z*b + 2, -4*b = 8 for w.
-2
Suppose 3*y = 7*y - 12. Let k(m) = m**2 - 5*m + 4. Let x be k(5). Solve 0 = 4*j + x*n + n - 8, -y*n = -j - 15 for j.
-3
Suppose -3*f + 5 = 2*f. Let z(r) = r**3 + 4*r**2 - 3*r + 2. Let y be z(-4). Let n = y - 12. Solve -2*v - 5*m = f, 0 = -n*v - 4*m - 2 for v.
-3
Let t(z) = z**3 - 4*z**2 - 4*z. Let c be t(5). Solve -13 = n - 4*m, -19 = -c*m - 4 for n.
-1
Let k be ((-8 + 5)/(-9))/(1/12). Suppose -6 = 5*i - 21. Solve -3*u - 3*c = 6, 2*u + 1 = k*c - i for u.
-2
Let p = 9 - 9. Let x = 5 + -6. Let m be 4/6*(-27)/x. Solve p*g = -5*g - 4*j + m, -3*g - 4*j = -14 for g.
2
Let u be 6/(-51) - (-210)/51. Solve -4*j - 3*x - 1 = 0, -4*j - 11 = -3*x + u*x for j.
-4
Suppose -8 = x - 11. Solve 0 = l - 1, -3*d - x*l = -0*d - 6 for d.
1
Let l(o) = o**3 - 5*o**2 - 11*o + 10. Let m be l(7). Solve -2*x + 16 = -5*j, -4*j - 5*x = -5 + m for j.
-4
Suppose 0 = -3*r - 24 + 30. Solve -t = -6*k + k - 24, 0 = -2*k + r*t - 16 for k.
-4
Let v be 54/(-15) - -4 - (-2)/(-5). Solve -2*s + 6*d - d = 12, v = 4*s + 4*d - 32 for s.
4
Let t(q) = 6*q**3 - q**2. Let a be 4 - 1/2*6. Let f be t(a). Solve f*u = -3*n - 5, -n + 14 + 11 = -5*u for u.
-4
Suppose -28*s = -31*s + 27. Solve 0 = 4*k + 5 + 3, 5*t + 3*k - s = 0 for t.
3
Let t be 2 - (-2 + (-1 - -3)). Suppose -4*u = 2*p - 0*p - 8, -p = -t*u + 12. Solve 3*n = -4*b + 20, -u*b - b + 25 = 4*n for b.
5
Suppose 9*m + 6 = 10*m. Solve -4*k - 8 = -m*k - 2*d, -3*d = -4*k - 5 for k.
1
Let i = 15 - -4. Suppose -22*l + i*l = -6. Solve -l*f + 22 = -4*n + 4, -n - 3*f + 6 = 0 for n.
-3
Let w be 2 + (-2)/(-4)*-2. Let g(v) = -v**3 - 6*v**2 + 7*v + 5. Let m = 11 - 18. Let d be g(m). Solve -2*q + 0*q + w = -3*a, -d*a = -3*q for q.
5
Let u(o) = 3*o - 2. Let l be u(6). Let d = 9 + l. Suppose 3*k - d = -2*k. Solve -k*g = -4*r - 5, -4*r + g - 35 = 6*g for r.
-5
Let b = 7 - 3. Let g(u) = -3*u - 4. Let j be g(-3). Suppose 0 = j*f - o - 72, -5*f + o = 2*o - 78. Solve -f = -4*v - y + 3, 4*y = 3*v - b for v.
4
Let w = -24 + 45. Solve -5*k = 2*u - w, -31 = -4*k + 4*u - 3 for k.
5
Let c = -11 - -2. Let x = c + 14. Solve 0 = -3*r + 3*n - 3, x*n = -5*r - 0*n + 15 for r.
1
Suppose 0 = q - 7. Suppose 25 = q*i - 2*i. Solve i*h - 30 = -5*o, h - 5*o = 3*h - 27 for h.
1
Let o = -56 - -58. Solve -4*v - 5*s + 1 = -v, 2*s + 2 = -o*v for v.
-3
Let a(z) = -z - 4. Suppose 0 = f + f, 4*g = -4*f + 12. Let j be a(g). Let n = 13 + j. Solve 0 = -5*p + 20, 0 = 5*t + 4*p + 3 + n for t.
-5
Let z = 15 - 13. Solve -z - 5 = 3*o + 2*f, 0 = 4*o + 2*f + 6 for o.
1
Let o(g) = -2*g**2 - 34*g + 12. Let k be o(-17). Solve 5*m - 3*h - k = 0, 0*h - 8 = -3*m + 2*h for m.
0
Suppose -20 + 4 = -4*p. Let t(o) = o**3 + o. Let l be t(-1). Let c be l + 2 + 4 + -2. Solve -p*k + 11 = 5*h, 2*k + h - c = 5 for k.
4
Let l be (-3)/(-1)*4/4. Solve -5*x = 5*u - 5, -2*u - 3*u + 1 = l*x for u.
-1
Suppose 2*v = -30 + 10. Let d = v - -17. Let t = 15 - d. Solve -3*k = -q - 0*k + 2, 0 = 4*q + 5*k - t for q.
2
Suppose -102 = 5*m + 358. Let f be 4/(-14) + m/(-28). Let b(g) = -g - 4. Let v be b(-7). Solve -2*a + r - v = 0, -4*a - f*r - 29 = -8 for a.
-3
Let v be 29/(-9) + 8/36. Let z be (v - 0)/((-3)/2). Let n be (z/(-3))/((-4)/18). Solve 0 = s - 5*c + 15, -n*c - 3 = -3*s - 0 for s.
5
Suppose 0 = g + 2*g - 9. Let s(f) = f**3 - 2*f**2 - 4. Let q be s(g). Suppose 19*v - 24*v + 10 = 0. Solve -4*h - 11 - 13 = -4*n, -v*n + 27 = -q*h for n.
1
Suppose -2*i - 2*i = 0, 5*l - 15 = -4*i. Solve l*x + j + 3 = 0, 3*x - 4*j - 12 = x for x.
0
Suppose -10*x + 81 + 79 = 0. Let t(k) = k - 1. Let i be t(5). Solve -2*l + x = -5*h + l, 3*l = i*h + 11 for h.
-5
Let v be ((-4 + 3)*-14)/(-1 - -3). Solve -4*s + 18 = -3*n, 4*s + n - v - 3 = 0 for s.
3
Let b(d) = -d - 10. Let y be b(-16). Solve v + 3 = -2*j, 4*v - 2*v + y = -j for v.
-3
Let a = 12 + -9. Solve 5*u - 20 = -3*o, -5*o = a*u - u - 8 for o.
0
Let w(f) = -8*f**2 + 10*f**2 - f + 8*f**3 + 7*f**3. Let c be w(1). Solve 8 = -y - 5*b, -4*b + b = -5*y + c for y.
2
Suppose 5*t + 31 + 24 = 0. Let g be 1*-2 - (3 + t). Solve 4*c + g*v - v = -27, -5*c = 3*v + 24 for c.
-3
Let y(c) = c**2 + 13*c - 11. Let a be y(-14). Solve -5*v + 12 + 12 = 2*k, -4*k - 4 = -a*v for v.
4
Let m = 3 - 2. Let y = -1 + m. Suppose -3*p + 15 = u, -4*u - 2*p + 0 + 10 = y. Solve z + 4*r - 17 = 0, 4*z + 3*r = -u*r + 29 for z.
5
Suppose -h + 4*t + 20 = 0, -24 - 1 = 5*h + 5*t. Suppose 0 = -2*l - 10, h = -5*a - 0*a + 2*l + 80. Solve p = -4*u - 11, 4*p + 3*u + 4 = -a for p.
-3
Suppose v - 2 = 0, v - 5 + 3 = 4*g. Solve g = -t - 3, -l + 5*t + 3 = 2*l for l.
-4
Let m(l) = 1. Let p(u) = -u - 1. Let j(y) = 6*m(y) + 5*p(y). Let b be j(-2). Solve 4*f = -i - 2*i + 1, 4*f = i - b for i.
3
Suppose 5*d = 4*d + 4, -3*d = 3*a - 18. Let x = -7 - -13. Let l be 12*(10/x)/5. Solve -n + 3 = a*p + 6, -l*p + 9 = 5*n for n.
5
Let o(r) be the third derivative of -1/6*r**4 - 1/6*r**3 + 0 - r**2 + 0*r. Let n be o(-1). Solve j + 7*u - 12 = 2*u, -n*j + 5*u = 24 for j.
-3
Let f be (0 - -1)*0/(-1). Suppose -2*c + 3 + 5 = f. Solve -z - c = 2*t - 2, 4*z = 5*t + 5 for t.
-1
Let d be (-5 + -1)*1/(-3). Solve -d*y - v = 10, 15 = 4*y - 7*y - v for y.
-5
Suppose 20*u - 2 = 19*u. Let r = -3 - -5. Solve 21 = -3*x - 5*y, 2*x + r*y + u*y = -16 for x.
-2
Suppose 2 = -3*d + 14. Suppose 4 = -3*h + 19. Suppose 4*m - 12 = -2*f - 0*f, 0 = m - 1. Solve d*a - h + 1 = z, -f*a = -2*z for a.
2
Let l(h) = -h**2 + 12*h + 3. Let b be l(12). Solve 2*f + v + b = 0, -v - 9 = 4*f - 0*v for f.
-3
Let a be 8/2*(-2)/(-4). Let b be (-1 - (0 + -1)) + a. Suppose -b*w = w. Solve 0 = 3*s + 4*z, -4*s + w*s + z = 0 for s.
0
Let q(x) = -x**3 + 10*x**2 + 11*x. Let h be q(11). Let i = h + 3. Solve s = i*s - 3*f - 12, -5*s = -f - 4 for s.
0
Let p = -14 + 38. Suppose 8 + 4 = 6*k. Solve -k*b - p = -b - 5*x, b + 4*x = 12 for b.
-4
Let d(k) = k**2 - 2*k + 4. Let o be d(1). Solve -4*y + 12 = 2*i, o = 4*y - y for i.
4
Suppose -25 = -5*p, -l - 5*p - 11 = -36. Suppose 5*v + 0*v = 0. Solve -4*r = l, v*b - 4*b - 5*r = 4 for b.
-1
Let v be 1 + 10 + 6/(-3). Let h(r) = -r**2 + 4*r + 7. Let n be h(5). Let c = 122 - 98. Solve -3*s + c = -4*d - s, -n*s = -d - v for d.
-5
Let b be (-6)/2*1 - 0. Let f be b/(-6)*-6 - -3. Solve f = 5*d - 5*p - 25, -2*d + 16 = 2*p - 6*p for d.
2
Suppose 22 - 12 = 5*w. Solve -22 = -4*y + 2*f, w*f - 2 = 2*y - 6*y for y.
3
Let x = 13 - 14. Let s be x + -2 - -8 - 3. Solve -s = -v - w - 0*w, 26 = 4*v - 5*w for v.
4
Let o be ((-150)/35)/(3/(-21)). Solve 4*r - 30 = -2*c, 5*c - o = 4*r - 5*r for c.
5
Let y be (-5)/5*6/(-2). Let p(w) = w**2 - 2*w - 2. Let z be p(y). Solve 0 = -4*t - c + 13, 0 = -3*t - 0*c + c + z for t.
2
Suppose 3*q + 2*v = -4, q = 2*q + 3*v + 13. Let h be 4/4 + 3 + -2. Suppose -3*j + h = -2*j. Solve d + 3*f = 8, -j*d - 3*d = q*f - 1 for d.
-1
Suppose -4*y - 154 = -854. Let b be 6/(-15)*y/(-5). Solve -5*w + 3*v = b, -5*v - 4 = 2*w + 14 for w.
-4
Let l(m) = -m**3 + 7*m**2 - 7*m + 9. Let y be l(6). Let a(t) = -6*t + 3. Let p be a(2). Let r = -5 - p. Solve 4*u = -c - y - 9, c = r*u + 4 for c.
-4
Let z be (1 + -2)*(-2)/2. Let s be (-4 + 3)/(z/(-3)). Solve -5*q - 35 = -5*r, -q - 15 = -0*r - s*