*j + 2, -v*m + 15 = -4*j for m.
1
Suppose 3*g - g - 2*t - 16 = 0, -11 = -g + 2*t. Let z(b) = 4*b**2 - b**2 - 2*b**2 + 1 - 3*b - 7. Let l be z(g). Solve p = -2*v, l = -4*v - 4*p - 0 for v.
1
Let c = 47 - 23. Let u be 8/(-20) + c/10. Suppose -2*r + 10 = u. Solve -3 + 1 = 2*m - 3*b, 6 = r*m - b for m.
2
Suppose -12*u = -26*u + 98. Solve 3*o = u*i - 2*i + 31, -2*i = 10 for o.
2
Let b = -129 + 129. Suppose -p + 4*r + 8 = b, -5*p + p = -5*r - 54. Solve n - 6*n = 4*j - p, 3*n = 12 for j.
-1
Let k be (-17)/((12 + -3)/(-18)). Solve -k = 5*m + 3*s, m + 11 = -3*s - 3 for m.
-5
Let n(q) = 17*q**2 - 2*q + 1. Let d be n(1). Suppose -d = -5*c - 1. Suppose -c*j = -j - 12. Solve -4*g + 10 = 2*b, j = 4*b + 5*g + 1 for b.
-5
Let b(r) = r**3 - 6*r**2 + 6*r - 7. Let s be b(5). Let o be 1/1 + (-1)/(-2)*s. Solve f = u - o*f, u = -f + 6 for u.
3
Let g(y) = 3*y**2 + 61*y - 70. Let b(t) = 2*t**2 + 31*t - 36. Let o(m) = 5*b(m) - 3*g(m). Let p be o(27). Solve p*s - 5*r = -6, -3*s + s = 4*r - 18 for s.
3
Suppose 2 = 3*p - 7. Suppose 7*r - p*r = r. Solve 2*y - v = -r*y + 6, 0 = -5*y - 5*v - 15 for y.
1
Let y(d) = -8*d - 460. Let j be y(-58). Solve 2*f = -3*o + 6 - 3, -4*f - j*o = 0 for f.
-3
Let i = 589 + -575. Solve 3*b + 6 = t, -b - 2 - i = -5*t for b.
-1
Suppose 4*s = 4*k + 8, 2*k - 2 = 3*s + s. Let x be 4/(-2) + s + 10. Solve 4*i - 16 - 5 = 3*f, -x*f - 3*i = 6 for f.
-3
Let x(w) = -8*w + 7*w + 8 + 0*w. Let l be x(5). Solve 37 = 5*d - 3*n - n, -5*n = l*d for d.
5
Suppose 8*u - 6*u = 10. Let r be 5/u + (-12)/(-3). Suppose -5*i = 4*w - 145, 4*w + 0*i = 5*i + 135. Solve w = 2*t + r*l, -t + l + 10 = 2*l for t.
5
Suppose -3*o = 5*x - 1, 0*o + 3*x - 1 = -2*o. Solve 5*s - 24 = s + 2*m, -3*s + o*m = -20 for s.
4
Let a(n) = -4*n**3 + n - 1. Let l be a(-2). Suppose l = 2*y - 5*j, -2*j = 2*y - 7*y + 41. Solve 4*m + y = -3*o, 2*o - o + 5 = -4*m for m.
-1
Let w be 1 - -1 - (10 - 12). Let u(t) = -2*t + 7. Let q be u(0). Let d = q - w. Solve -5*v - i - 5 = 0, 0*v + 1 = -v + d*i for v.
-1
Suppose 2*x - 34 = -5*r, 85 = 5*x - 3*r + r. Let a = x + -2. Suppose a*k = 13*k + 14. Solve -4*l + 3*m + k = 0, 0 = -0*l + l + m - 7 for l.
4
Let k(y) = 3*y**2 - 20*y - 16. Let g(q) = -q**2 + 7*q + 5. Let x(b) = -11*g(b) - 4*k(b). Let n be x(4). Solve -d + 2*d = -n*s, 4*d = -4*s for d.
0
Let a = 15 + 1. Let z(g) = -g - 20. Let s be z(-7). Let k = a + s. Solve 16 = 4*t, -k*w = -6*w - 2*t - 4 for w.
-4
Let g(u) = -2*u**3 - 25*u**2 - 10*u + 25. Let n be g(-12). Suppose -7*y = -2*y - 25. Solve -1 = -2*d - s + n, -2*d + 2 = y*s for d.
1
Let t(k) = k**3 - 5*k**2 + 8*k - 14. Let g be t(4). Solve -4*n - 2 - g = -4*q, -q = -3*n - 11 for q.
-4
Let p = 14 - 12. Let q = p - 1. Let w be q/(-1) - (-2 + -1). Solve 0 = 4*x + 4, 4*a = 4*x + w + 6 for a.
1
Let x(b) = 35*b**2. Let i be x(1). Let p = -21 + i. Let r(a) = 12*a - 32. Let h be r(4). Solve 0 = -q + 2*q + 5*y + p, -4*y = -4*q + h for q.
1
Let j(q) be the second derivative of -q**4/12 + q**3/3 + 7*q**2/2 - 11*q. Let y be j(3). Solve -5*r + y*t - 12 = -r, -3*t = 5*r + 23 for r.
-4
Let x = -7 - -10. Suppose c = 0, x*c - 4 = -y - 0. Solve 2*o = 3*o - 4*f + 11, -4*f - y = 4*o for o.
-3
Let s = 13 - 12. Let a be s - 5 - -1 - -5. Let r be (4 - -6)*(a - 0). Solve -5*o - 5*k - r = 0, 3*o - 3*k + 8*k = -16 for o.
-2
Suppose 4*u - 6*u = -i - 74, i + 3*u + 69 = 0. Let c = -67 - i. Solve -2*t - 3*g - 14 = -0*t, -c*t + g = 1 for t.
-1
Let z be -2 + (-3 + 2)*-2. Solve -4*q - 4 = 0, 3*r = -z*r + 3*q + 15 for r.
4
Let a be 103/2 - (-4)/(-8). Suppose -2*p + 5*p - a = 0. Let y = p - 13. Solve -y*w - d + 1 = 0, 3 = -0*w + 2*w + 3*d for w.
0
Let p(a) = a**3 - 7*a**2 - 7*a - 4. Let z be (81/6)/9*16/3. Let h be p(z). Solve -3*d + 7*d + h*j = 4, 0 = 4*d + j + 2 for d.
-1
Suppose -10*z + 1134 = 44*z. Solve 0 = -c - j + 3, 2*c - z = 4*j - 9*j for c.
-2
Let n(a) = -a**2 - 3*a + 1. Let t be n(-5). Let p = -6 - t. Suppose k + p = 8. Solve 0*h = 2*h - 2*v + 14, -h + k = 3*v for h.
-4
Let x(l) = l**3 + 2*l**2 - 4*l - 1. Let b(r) = -r**2 - 4*r - 1. Let f be b(-3). Let t be x(f). Solve -5*n = d - 27, 3*d + n = t*d - 3 for d.
2
Suppose 67*n - 153 = 16*n. Solve -b - 12 = -n*a + 2, 0 = -4*a + 16 for b.
-2
Let t(q) = -q**2 - 10*q - 8. Let l be 0 - (-1)/3*(-54)/2. Let y be t(l). Solve y + 1 = 3*a - 4*s, -s - 10 = 4*a for a.
-2
Suppose 5*f - 3*f = -3*l + 14, -2*l + 10 = f. Let r(b) = -2 - b + 17 - 3*b**2 + 5*b + 2*b**2. Let p be r(l). Solve p*t + 25 = 3*a + a, -4*a = -2*t - 22 for t.
-3
Suppose -g - 9 = 2*g. Let v be g/30 - (-1)/10. Solve v = -2*c - 8, c = -2*f - 0 - 2 for f.
1
Suppose k + r = 3*r + 6, 4*r = -k - 6. Solve 0 = 5*s - 4*f + 3, k*s + 9 + 9 = -4*f for s.
-3
Suppose 32*x = 37*x - 15. Solve 3*p + 3*k = 2*k + 12, x*p = k + 12 for p.
4
Suppose 3*b - 25 = i, -4*i - 7 + 57 = 3*b. Solve -5*a - 6*m + b = -m, -4*a + 2*m = -8 for a.
2
Suppose -2*k = 78*h - 75*h + 4, 0 = 2*h - 3*k - 19. Solve 3*d - h*j = 4 + 3, -3*d = -4*j - 17 for d.
-1
Suppose 2 = y + s, -2*y + 12 = 3*s + 9. Let o(j) = 7*j**2 - 1. Let g be o(-1). Solve 3*t + g = 3*a, -3*a + y*t + 10 = -2*t for a.
0
Let w(k) = k**2 - 8*k - 30. Let t be w(-3). Solve 0*s + 11 = -t*s - 4*o, s + o + 3 = 0 for s.
-1
Let z = 1196 + -1186. Solve -y - z = 3*b, 6*b = 4*y + 4*b - 2 for y.
-1
Let w be 17 - (6 + -2 - 2). Let s = -11 + w. Let m = -4 + s. Solve 2*r - 4*b + 2*b = 6, m = 4*r - 2*b - 14 for r.
4
Let z = 29 - 57. Let n = 32 + z. Solve 4*f = -t + 1, n*f = -5*t - 0 + 5 for f.
0
Suppose -139*o = -167*o. Solve o*u - u + 1 = 2*a, -3*a = 6 for u.
5
Let s = 5 + 16. Suppose -2*p - s = p. Let c be (-1 - 0)/(p/21). Solve 4*i + 2*v + 26 = 0, c*v + 19 = -5*i + 5*v for i.
-5
Let h be (-5 + 4)*-1 + 1. Suppose -h = -o + 2. Solve 4*l + 2*j - j = 3, -2*l + o = -2*j for l.
1
Let m(k) = -3*k + 4*k - k - 2*k. Let i be m(-10). Let a = i - 10. Solve -5*v + p - a = 10, -v - 5*p + 22 = 0 for v.
-3
Suppose 3*i - 2*u = -6*u - 3, 0 = -2*i - 3*u - 3. Solve b - 4 = -i*a, 3*b - 2*a - 18 = -6 for b.
4
Let w be (-3)/(1*(-3)/2). Let u(f) = -47*f + 717. Let n be u(15). Solve -w*b = 3*b + 2*p - 31, 4*p - n = 0 for b.
5
Let q(x) = x**2 - 1. Let s(t) = 3*t**2 - 12*t - 17. Let m(w) = 4*q(w) - s(w). Let k be m(-11). Solve -k*j = -l - 0*l, -5*j - 3*l - 22 = 0 for j.
-2
Suppose 2*q - 16 = -0*q. Let o = -6 + q. Let n(j) = 5*j**2. Let u be n(1). Solve -o*h + 11 = -u*w, -5*w - 2*h = 1 - 2 for w.
-1
Suppose -3 = -3*l - 21. Let o be (-1)/(-6)*-1 - 13/l. Solve -5*u = o*r + r + 8, 2*r - 3 = 5*u for r.
-1
Let y be (-3 - -1)/(-2) - -1. Let m = -176 + 176. Suppose -7*s + 79 - 65 = m. Solve -2*g - s*g - 3*z = -2, 4 = -y*z for g.
2
Let j = 10 - 5. Suppose -j = -3*m + 10. Suppose -2*s - m = -15. Solve -u = 3*y - 8*y + s, -2*y + 25 = -5*u for y.
0
Let a = 2734 + -2732. Solve -3*b - b + 9 = -z, -b = a*z for z.
-1
Let y be -1 - 80/((-30)/3). Solve 3*m = 5*l + y, 11 = -l + 7*m - 4*m for l.
1
Let p be 7 - 7/(49/(-21)). Solve -j + 4 = -3*j, p = -4*t - 5*j for t.
0
Let g(z) = -2*z**3 + 12*z**2 - 5*z - 5. Let w be g(5). Solve -j - 11 = 5*i + j, -w = 5*i + 5*j for i.
-1
Let g(p) = -3*p - 11. Let x be g(-5). Let s be x - 0/((-8)/(-2*2)). Solve s*b + v - 1 = -13, b - 5*v = -3 for b.
-3
Let m = 14 - -1. Suppose -y + m = 2*y. Suppose 13*s + 4 = 15*s. Solve 1 = s*a + 9, -4*a - 41 = y*h for h.
-5
Let l be 10/(-2) - ((-4 - -3) + -7). Solve 3*g + 6 = 3*w, 5*g + l = -w - 19 for g.
-4
Let k(f) = 2*f**2 - 84*f + 162. Let d be k(40). Suppose -t + 1 = -4. Solve t*g + d*a + 5 = 0, 0*a = 5*a for g.
-1
Let l(h) = h**2 - 19*h + 51. Let g be l(16). Suppose 4 = 2*d - 3*i, 12 = 2*d + g*i - 4. Solve -4*f + 5*v - 32 + 8 = 0, -4*f = d*v - 16 for f.
-1
Let t = -30 - -33. Solve -z + u = 4, -2*z + t*z + 9 = 2*u for z.
1
Let m(v) = v**3 - v**2 - 2*v - 4. Let g be m(3). Suppose 32 - g = 3*q. Suppose 0 = -u + q - 5. Solve -b - 2*z = -7 + 1, z = b + u for b.
0
Let m(k) = -5*k + 21. Let z be m(3). Suppose 0 = -4*u - 4, 7*u = 3*o + z*u - 1. Solve o = 3*j + 5*i - 3*i, 2*j = i for j.
0
Suppose 2*d - 10 = 5*w + 9, 3*d + 34 = -5*w. Let k be (-1 + -7)/(1 + d). Solve 0 = -n - o - 4, -k = 4*n - o - 13 for n.
1
Suppose -3*o + 13 = -0*t - t, -2*o + t = -8. Suppose o*u - 3 = 57. Solve -3*v + 2 = -i - u, i - 1 = -2*v for i.
-5
Let q = -33 + 35. Let m = 8 - 6. Suppose 0 = a - m - q. Solve 0 = -a*y - 4*l - 8, y = 4*l + 13 + 10 for y.
3
Let w be -1*