*v + 4*t - 12 = 0, t = 4*v. Let x = 15 - 14. Let j be (x/3)/(v/15). Solve 4 = j*n - 3*i, 0 = 2*i - i + 3 for n.
-1
Let h be (8/(-12))/((-2)/18). Suppose -2*u + h*u = 16. Solve u*y + 0*y - 4*r + 4 = 0, r = -3 for y.
-4
Let l = 0 + 4. Let q = l - -1. Let g(v) = -v**2 + 5*v. Let y be g(q). Solve 0 = 3*j + 4*m - 11, y = -j - j - m + 9 for j.
5
Let j = -117 + 119. Solve -j*l = t + 2*t - 5, 2*l + 5 = -t for l.
-5
Let w(t) = -t**3 + 13*t**2 + 13*t + 18. Let a be w(14). Solve 0 = 5*j - a*i - 13, -4*j - 2*i - 5 = -5*j for j.
1
Let v = -13 + 21. Let b = 286 + -283. Solve 3*s - 15 = 0, -b*q + 3*s = v*s - 37 for q.
4
Let f be 2 + -1 - 0 - -2. Suppose 0 = f*m - 3 + 21. Let y be (21/m)/((-2)/4). Solve -r = -3*a - 3*r + 4, -r = 4*a - y for a.
2
Suppose 2*u = 5*b + 29, b - 2*b + 1 = 3*u. Let x be b/5 + (-1 - 5). Let f = 11 + x. Solve 2*z = 2*c, 0*c + 2*c = f*z + 6 for z.
-3
Let j(s) = -11*s - 2. Let f be j(-2). Solve -f = 4*d - h, d + 15 = -2*d - 4*h for d.
-5
Let z(r) = -r**3 + 7*r**2 - 5*r - 4. Let o be z(6). Solve -5*p + 2*s = 3*s - 18, o*s = -p for p.
4
Let d(a) = 2*a**2 - 1. Let q be d(3). Let p(b) be the first derivative of b**3/3 - b**2 - b - 2. Let f be p(3). Solve h - f*v - v = -q, -h - 22 = -4*v for h.
-2
Let l be ((-9)/4)/((-2)/(-8)). Let x = 6 - l. Solve 0 = 5*m + 5*i - x, -4*i = 5*m - 2 - 11 for m.
1
Suppose -4*a + n + 13 = 0, 3*a - 7*a + 33 = -5*n. Solve 4*f = -4*c, a*f - 16 = -2*f for c.
-4
Let h = 57 - 37. Solve -g - 6 = -c - 0*c, 4*c = h for g.
-1
Suppose -4*g + 4*d = -104, -142 = -5*g - 2*d + d. Solve 3*i + 6 = 3*s, -i - 5*s = 3*i - g for i.
2
Suppose -30 = 3*x - 4*x. Let l = -87 + 129. Suppose -5*h + l = 17. Solve k - 4*d = -2*k - 29, -h*k - x = -3*d for k.
-3
Let i be 78/21 - 2/(-7). Let x = 30 - 14. Solve -s + i*j = x, -3*s + j - 8 = 7 for s.
-4
Let s(k) = 2*k**3 - 2*k**2 + 3*k - 1. Let y be s(1). Solve 3*u = -5*z - 11, -y*z = 5*u - 4*u + 4 for z.
-1
Let w be 1/3 + 149/3. Let o = 91 - w. Let q = -6 - -10. Solve 2*m - 5*j = 33, 2*j - 7*j - o = -q*m for m.
4
Let u = -2 + 2. Solve u = -3*a - 5*j - 29 - 8, 0 = -2*a + 3*j + 7 for a.
-4
Let h(b) = b - 4*b + 2*b - 1 + 3*b. Let d be h(2). Solve -d*g = -4*u + 2*g - 9, -4*u - 3 = g for u.
-1
Suppose 7*d = 2*d - 3*f + 9, -3*f = 3*d - 3. Solve 5*w = 3*w + 10, 4*t - 15 = -d*w for t.
0
Suppose -1 - 9 = -5*n. Suppose -2*y + 21 = s - 10, s - 15 = n*y. Solve 1 = o + 2*j - 6, 5*o - 2*j = s for o.
5
Let b(q) = q**2 + 7*q + 3. Let k be b(-7). Solve -2*w = k*w - 3*l + 6, w + l - 2 = 0 for w.
0
Let a = 155 - 150. Solve -o - 3*o + x = 0, 4*o + a*x = 24 for o.
1
Let j = -5 - -30. Solve -4*k = -3*r + 2*r - j, r = -2*k + 5 for k.
5
Let b(k) = -3*k + 3. Let h be b(6). Let v = -10 - h. Solve -5*s - 16 - 8 = -2*d, 5*s + 10 = -v*d for s.
-4
Let o be 4/4 - (1 + -9). Let h(i) = 13*i + 8. Let l(g) = -6*g - 4. Let p(k) = 2*h(k) + 5*l(k). Let b be p(-2). Solve -6*t = f - t + o, -2*t = b for f.
1
Suppose -5*c - g + 20 = 0, -5*c + 10 + 10 = 4*g. Let p(b) = 5*b**2 + 0*b - 6*b**2 + 3*b + c. Let r be p(3). Solve -3*k - 6 - 22 = -r*q, 3*q - 4*k = 28 for q.
4
Suppose 2*c + m - 3 = 0, 1 = 5*c - 4*m + 13. Let x(o) = -o**2 - 14*o - 25. Let w be x(-6). Solve c = p + 5*d - w, 3*d - 4*d = -3*p + 5 for p.
3
Let x(k) = 6*k - 10*k - 14 + 5. Let l be x(-3). Solve -5*b + 13 = -l*g, b + 3*g - 7 = -4*b for b.
2
Let g(a) = -3*a - 4. Let y be g(-4). Solve -2*x + 4 + y = -n, 0 = 5*n + 5*x for n.
-4
Let n = 96 + -67. Solve 4*t - 3*l - n = -8*l, 22 = -3*t + 5*l for t.
1
Suppose 0*k = k. Let q(i) = i. Let g be q(k). Solve 0 = -0*a - 3*a - 5*w + 6, g = -4*w + 12 for a.
-3
Suppose -u = 2*u + 3. Let f be u + 0/(-2) + 25. Suppose 3 = -2*w + 7. Solve 5*v = -0*v + j - 15, -w*v + 4*j = f for v.
-2
Let r = -3 + 3. Suppose -3*o - 1 + 7 = r. Solve -u - o*f - 2*f + 15 = 0, -4*u = 4*f - 24 for u.
3
Suppose -5*k + 17 = 5*l - 13, 4*l - 4*k = 0. Let f be l/(1 + (2 - 2)). Solve c + 4*g + 12 = 0, c - g = f*g + 12 for c.
0
Suppose -12*k = -9*k - 12. Solve -13 + 1 = -4*d - k*n, 3*n - 8 = -4*d for d.
-1
Suppose 0*k = 3*x + 4*k - 32, -3*x + 60 = -3*k. Let z = -13 + x. Solve -8*v + 16 = -4*v, -z*v + 22 = -2*a for a.
-5
Let d be 4*3/2*1. Suppose -d*b + b = -4*h + 10, 5*b + 10 = 2*h. Solve -2*k = -4*r - h*r - 2, r - 7 = -k for r.
2
Let f be 3/(-24)*-2*4. Let h be (-3)/6*f*-2. Suppose -3*b - 3 - h = -4*m, 5*b + 5*m = 5. Solve -4*q + 5*c - 3 - 1 = b, -5*q - 5 = 3*c for q.
-1
Let s be 3/(-2) + 27/6. Suppose -2*j + 7*o - s*o + 8 = 0, 0 = -4*j + 4*o + 20. Solve -2*f = -5*v + j - 14, 5*f + 2*v = 20 for f.
4
Let s be 2/1*(-4)/(-2). Solve 2 = s*g + 2*w + 8, 4*w = 2*g + 18 for g.
-3
Let r be 0 + (2 + 1)/3. Solve -2*z + 3*z - r = 0, -2*k + 11 = 5*z for k.
3
Let i(b) = b**3 - b**2 + 1. Let o(a) = 4*a**3 + 3*a**2 - a + 3. Let u(j) = -3*i(j) + o(j). Let h be u(-3). Solve f + 3*k + 21 = 4*f, 0 = 5*f - 4*k - h for f.
2
Let m be -5*(-1)/(15/6). Let y(u) = m*u**2 + 4*u**2 - u**3 - 3*u - 2*u**2. Let s be y(2). Solve -4*l + 5*l - s*d + 1 = 0, -4*l = -4*d + 4 for l.
-1
Let z = 31 - 29. Suppose -19 = -j + 4*c, -z*j - 2*c - 6 = c. Let i(q) = q + 2. Let w be i(2). Solve -5*n + 3 = w*k, 2*k - 3*k = j*n + 1 for k.
2
Let r(f) be the second derivative of f**3/3 - f**2 - f. Let q be r(3). Solve -q*h + u = 2 - 0, -3*h - 2*u + 4 = 0 for h.
0
Suppose 6*m + 5 = 7*m. Solve -20 = 4*h - 4, q + m*h = -22 for q.
-2
Let s = 11 - 18. Let r = -4 - s. Solve -2*v + v + 8 = 3*y, -r*v + 10 = 2*y for v.
2
Let b be (-60)/(-35) - 2 - (-60)/14. Solve 0*g - 1 = -4*g - o, -16 = -4*g + b*o for g.
1
Let k = 1 - 3. Let h be k/(-3)*(-108)/(-8). Let q be h/6 - 1/(-2). Solve 4*m - q*m + 28 = 4*d, 4*d - 4 = -4*m for d.
5
Suppose -3*d + 9 = 3*u, 3*u = -3*d + 4*d - 3. Let c = 21 - d. Solve -3*r = 3*z + 27, 4*z + c + 3 = -r for z.
-4
Let j(y) = 4*y**3 - y**2 - y + 2. Let h be j(1). Solve -h*l + 5*z - 25 = 8, -2*l - 3*z = -11 for l.
-2
Suppose -9*a = -8*a - 40. Solve -2*g - 3*h + a = -7*g, 5*h = -5*g for g.
-5
Let n be 39/6 - (-1)/(-2). Let d = -17 - -27. Let o = d - n. Solve 0 = -a - 3*j + 12, -o*j + 3 = -4*a + j for a.
3
Let q(x) = -x**3 + 13*x**2 - x + 13. Let i be q(13). Solve 4*k = -4*m - i*k + 16, -k = -4*m - 9 for m.
-1
Let z = 8 + 38. Let l = -30 + z. Solve 0 = 4*b - l, 2*s - 3*s + 2*b = 10 for s.
-2
Let g(i) = -i**3 - 14*i**2 + 16*i + 19. Let v be g(-15). Solve x = 2*d + 8, 24 = 6*x - 2*x - v*d for x.
4
Let j = 1 - 0. Let o be 4/((-2)/(-1) + 0). Suppose 0 = -4*u + o*h + 26, -4*u + 4*h = -3*u - 24. Solve -j = 4*q - 2*s + 3, -2*q + 8 = u*s for q.
0
Suppose 4*j - 36 = -2*k, -k - 4*j + 28 - 2 = 0. Let l = 19 - k. Suppose 4*m + 3*c = 2*m + l, -m = -3*c. Solve m*i + 2*d + 8 + 7 = 0, -2*i - 4*d - 10 = 0 for i.
-5
Suppose 4*d - o - o = 42, d + o = 6. Suppose -d - 5 = -p. Solve -p = k - 7*a + 3*a, -2*k = -2*a + 10 for k.
-2
Let f = -52 + 52. Solve -5*l + 2 = n - 3, -n = f for l.
1
Let i be (-3)/5*(-7 - 8). Suppose 0 = 2*j - 2*z + 6, -j + 2*j + i = 3*z. Let a = 6 - 4. Solve a*q = 2*t + 3*t, j = 4*q + t for q.
0
Let a = -76 - -81. Solve 3*l - 7*l = -2*f + 10, 0 = 2*f + a*l + 17 for f.
-1
Let g(f) = -f**2 - 7*f - 15. Let o be g(-6). Suppose h - 1 + 15 = 0. Let b = o - h. Solve -2*r + 2*z = 10, -b + 15 = -2*r + 3*z for r.
-5
Let i(r) = -r - 6. Let x be i(-12). Suppose -4*t + x = -2*t, 3*t + 3 = 3*o. Solve 0 = 4*w - d + 9, -5*w + o*d - 1 = 2 for w.
-3
Let o be 5 + 2 + (1 - 3). Suppose 5*f - 6*t = -o*t, -2*t = 4*f. Let s = 8 - 5. Solve f = -s*u + 12, -3*n - 4*u + 3*u = 11 for n.
-5
Suppose -22 + 7 = -5*n. Let m(w) = 4*w**2 + 4. Let j be m(n). Suppose -2*h - 2*h = -j. Solve -4*y - 3*d - 20 = 0, -3*y + h = -0*y - 4*d for y.
-2
Suppose -4 = -5*b + 4*b. Let i(a) = 8 + 5 + a**2 - 21 - 2*a + 11. Let y be i(2). Solve 3*f + 2*f - 21 = -y*j, -b*j + f = -5 for j.
2
Let o be 9/6*4/6. Let b be (-1 - o)/(1*-2). Let w = 1 - b. Solve z + 4*t + 12 = w, t = -5*z + 3*t - 16 for z.
-4
Let t be 1*2 + 1*(-4 + 6). Solve -t*p - 21 = -4*s + p, -16 = s + 3*p for s.
-1
Let z = 533 - 777. Let n be z/(-10) - (-4)/(-10). Solve -7*g + n = -5*g + 4*w, 5*g + 4*w = 36 for g.
4
Let h(v) be the first derivative of -v**3/3 - 4*v - 1. Let c be h(0). Let m(u) = -u + 1. Let x be m(c). Solve -2*p - 23 = -0*p + 5*d, 2*d + x = -5*p for p.
1
Suppose 2*u = 18 - 8. Suppose 4 = 3*a - 2*a. Let k(c) = 8*c + 1. Let g be k(a). Solve -5*r + g = 5*p - 2, 3*p - u*r = -11 for p.
3
Let 