
Let i be 4/3 + 4/(-12). Suppose 0 = 4*q - 3*u + i, -q + 7 + 7 = 4*u. Solve -12 = 4*x + 5*o, -q*x + o + o - 6 = 0 for x.
-3
Suppose -35 = -5*v - p, 2*v - 3*p = -0*v - 3. Let n be (v - 1) + 0/2. Suppose -5*c + 7 = t, -n*c - 1 + 2 = -2*t. Solve -a - 1 = -o, -6 - 1 = t*a - 3*o for a.
4
Suppose -w + 5*z - 2 = 8, 4*w - 10 = -5*z. Solve 3*c = 4*u + 7, -2*u + 3*c - 4*c - 1 = w for u.
-1
Suppose -4*r + 5*k + 21 = -5*r, 2*k = -2*r - 2. Let l be (1 - (3 + -3))*r. Solve 0 = -3*z + l*x - 3*x + 8, 2*z + 4*x = -18 for z.
1
Let n(o) = -o**3 + 2*o**2 + o. Let s be n(-1). Let t = -8 + 13. Solve s*f - 2 = 2*c, 2*c + 0*f = -t*f - 23 for c.
-4
Let k be 3/1*1 - -1. Let q = k - 2. Solve q*c + 27 = -5*y, 4 = 4*c - 5*y - 17 for c.
-1
Let h(f) be the first derivative of f**2/2 - 8*f - 2. Let r be h(0). Let t = -4 - r. Solve -2*u - 2 = -t*n, 2*n - u + 3*u + 2 = 0 for n.
0
Let c(d) = -d + 10. Let t be c(3). Solve -4*n - 16 = -2*j, 0 = 2*n + 1 + t for j.
0
Let j be 1 + 2 + 0/(-3). Suppose -2*p = j*p - 25. Let u be p + 1 - (-2)/2. Solve 0 = 2*i - 4*n + n - u, 5*i - 23 = 2*n for i.
5
Let m = -20 - -31. Suppose -6*t = -m*t + 10. Solve 3*i - 4*x = 5, 0 = t*i + x + x + 6 for i.
-1
Let j(n) = n**3 - 5*n**2 + 2*n + 8. Suppose -g + m + 10 - 4 = 0, m + 10 = 2*g. Let k be j(g). Solve -5*q = 3*l + 23, l + k*q = -q - 5 for l.
-1
Let i be (-2)/6*(1 + -10). Solve 40 = i*f + 4*x + x, -5*f = 3*x - 40 for f.
5
Suppose -2*w + s - 14 = -6*w, s + 13 = 5*w. Solve w*z + 2*z - 11 = -2*j, -z = 2*j - 7 for j.
3
Let l = 68 - 66. Let y(k) = k. Let i be y(-1). Let o be 3/(i + 4 - l). Solve 5*n - 11 = o*n + 3*t, 3*n + t = -11 for n.
-2
Let c be (-1)/3 + 2/(-3). Let v be 2 + 2 + -2 + c. Solve -3*k = -3*f + 12, -5*k - 7 = -2*f + v for f.
4
Let t = -24 - -26. Solve 2*z + t*l - 12 = -2*z, 2*z - 14 = -3*l for z.
1
Let u = -23 + 25. Solve -5*x = -u*m - 29, 0 = -2*x + m - 2*m + 8 for x.
5
Let g = 9 - 7. Let a(h) = h**3 - h - 2. Let b be a(g). Solve -b*k - u = -19, k - u + 2*u - 4 = 0 for k.
5
Suppose h + 27 = 4*z + 4*h, 0 = -4*h + 20. Solve v = 2*a - 2*v + 4, -v + z = -a for a.
-5
Suppose 2*w - 6*w - 40 = 0. Let b be (-3)/(-12)*w*-2. Solve -b*g + 20 = -2*r - r, -5*r = -5*g + 30 for r.
-5
Let v be 0/((-4)/(-2) + -4). Suppose -o + 6 = -v*o. Suppose 4*w + h + 2 = 0, w + o = h - 4*h. Solve -2*l + 5*l + 3*c - 18 = 0, -2*c + 2 = w for l.
5
Let r = 4 - 1. Suppose -12 = -w - 9. Solve -r*l + i - 3 = 4*i, 5*i = w*l + 19 for l.
-3
Let h = 10 - 8. Suppose -k - 24 = k + 4*z, 21 = h*k - 5*z. Let i be (1 + k)/((-1)/3). Solve 0 = 3*a + g + 7, -4*a + 3*g - i = -2*g for a.
-2
Suppose 0*n = 2*n - 4. Solve 4*s + 45 = 5*v, 2*v + n*s = 6*v - 30 for v.
5
Let r(c) = c**2 - 7*c - 2. Let j be r(8). Solve 4*t = -z - 18, 5*z = j*z - t - 2 for z.
-2
Let i(p) = -p**3 + 5*p**2 + p - 1. Let r be i(5). Solve 3*s + 2 = 2*s + n, -r*s + 32 = 4*n for s.
3
Suppose -2*a - 3 = 2*c - 5, -3*c = a - 9. Solve t - 2*t = 3*n - 12, 0 = 3*t + c*n - 11 for t.
-3
Suppose -4*t = 4*q - 60, -3*q = -4*q - 5. Solve -3*b - 2*b = 2*u + 8, 5*u = 4*b - t for b.
0
Suppose 6*n - n = 15. Solve -n*w + 2*h + 2*h - 2 = 0, -3*w + 12 = 3*h for w.
2
Let p(c) = c - 7. Let b be p(11). Suppose 4 = b*r - 16. Solve s - 16 = r*o, o + 2 = 5*s - 6 for s.
1
Suppose -6*h + h + 35 = 5*f, 5*f - 10 = 0. Suppose -v - 2*d + 20 = 3*v, 2*v + 14 = h*d. Let p be 3/5 + 12/5. Solve -2*k - 16 = 5*n, -4*n - 13 + p = v*k for k.
2
Let q be 18/4*(2 + 0). Suppose -2*w + 6*v = v + 9, q = 4*w - v. Solve 5*j - 15 = s + s, w*j = s + 10 for j.
5
Let q be 3/(-1)*(7 - 8). Solve -7 = 4*u + q*p, 0*u - 4*p = 3*u + 7 for u.
-1
Suppose -2*g + 5*g = t - 14, -3*t = 4*g + 10. Suppose 5*p - 3*x = 9, p + 4*p - t*x - 6 = 0. Solve -r = 2*d - d, 2*d - r + 9 = p for d.
-3
Let f be (-27)/(-6)*4/3. Let n = f - 4. Solve 4*z + 2 = -k + n*k, z + 3*k - 6 = 0 for z.
0
Let z(f) = -f**3 + 9*f**2 - 11*f + 5. Let p be z(8). Let g = 2 - p. Solve 6*w - w = 4*s + g, 3*w = -2*s - 5 for w.
1
Let s be (1 + -1)/(12 + -10). Solve -5*b - 2*u - 14 = s, 3*u - 8 = b + 6*u for b.
-2
Let i be -4*(1 + 1/2). Let z(g) = -4*g - 9. Let k(w) = -4*w - 8. Let y(a) = 3*k(a) - 2*z(a). Let v be y(i). Solve 0 = 5*d + p + 26, -3 = 4*d + p + v for d.
-5
Let r = -9 - -13. Solve 0 = i - 2*h + 4, 0*i - r*i = 5*h + 16 for i.
-4
Suppose -2*u = -0*u + 6, 2*l = 2*u + 16. Suppose -g - 2*i + 4 = g, 0 = 3*g - l*i - 30. Solve -4*w + 14 = -r, 4*w - 2*w - 16 = g*r for r.
-2
Suppose -5*m + 0*v = 2*v - 13, -v = 4*m - 11. Let l = 17 + -15. Solve 5*r = m*q + 15, -2*q = l*r - 1 + 11 for r.
0
Let k(q) = q**2 + 6*q + 7. Let b be k(-5). Solve 0 = w - a - 2, 0 = b*w + 5*a + 2 - 6 for w.
2
Let b be 6 - 2*3/3. Suppose 0*v = 4*v + b. Let a be (-3 + v)*(-2 - 0). Solve 3*g - a*g = 2*l + 26, -5*l - 31 = 4*g for g.
-4
Suppose -3*d + 3 = 3*i + 6, 5*d - 22 = 4*i. Solve m + 17 = 3*n, -m + 0*m = d*n - 3 for n.
4
Let u be -3 + 0 + 7 + -4. Solve x = 2*b - x + 6, b - 2*x + 2 = u for b.
-4
Let n(x) be the first derivative of -x**4/4 - x**3/3 - x**2/2 - 35*x - 2. Let h be n(0). Let b = -12 - h. Solve 7 = -2*s + 1, 0 = -5*y - s - b for y.
-4
Let u = -54 - -9. Let h be 4/30 + (-264)/u. Solve 4*b - h = 2*f, -2*f + 0*f - 6 = 4*b for b.
0
Suppose 0 = 4*c - 20 - 16. Let s be 20/9 - 2/c. Solve 2 = -j + 2*v, 7*j - s*v = 3*j - 14 for j.
-4
Let s be (-2)/(6/4*16/(-36)). Solve -3*g - 4*n - 14 = 0, -s*g + 5*n = 2*g for g.
-2
Suppose 3*p - p = 0. Solve 3*c + 3 = 0, 5*j = 5*c + 5 - p for j.
0
Suppose -2*x + 56 = 2*h + 2*h, 0 = -3*h + 4*x + 53. Let y be ((-27)/h + 1)*-5. Solve 0 = 2*o - y*i + 30, 4*i - 6 - 4 = -2*o for o.
-5
Let l be (-32)/8*(-6)/4. Solve -5*n - 3 = -3*w - 5, 5*n = w - l for w.
-4
Let g be 1228/24 - 2/12. Let x = g - 29. Solve -3*z + x = 2*l, -4*z + 41 = 7*l - 2*l for z.
4
Let q be 40/(-12)*6/(-4). Suppose -q*s - 5 = -25. Solve -s*p - 10 - 2 = 4*m, 2*m - 4 = 0 for p.
-5
Let v = 26 - 25. Solve 3*x + x = 5*c - 9, 0 = -3*x - 4*c + v for x.
-1
Suppose -3*v + 1 = 2*h, 3*h + 17 = 3*v - 4. Solve u + 9 = -2*t, -v*t = -t + 2*u + 10 for t.
-4
Suppose 4*v = 20, v = -2*r + 4*v - 11. Suppose -k - r = -7. Solve 4*a + u = -u + 16, k*u = 5*a - 5 for a.
3
Suppose 0 = -r + 3*r - 8. Let u be (-4)/(-10) - 196/(-10). Let f = -77 - -81. Solve j + x + 2*x = 15, r*j - u = -f*x for j.
0
Let c be 3*2*(-4)/(-6). Suppose c*n = o + 1, 3*n - 2 = n. Suppose y + 12 = 5*y. Solve 5*g + z - 19 = 0, -o*g + 6*g = 3*z - y for g.
3
Suppose 0 = 2*q - h - 11, -4*q = -4*h + 2 - 34. Let l = q - 4. Let w = 2 - l. Solve 0 = -5*i + 2*s + 10, 0*s = -w*i + 3*s - 3 for i.
4
Let n = -4 - -4. Let b(q) = q**2 + q + 5. Let t be b(n). Solve t*j + 45 = -2*x + 7*x, 2*x = 4*j + 28 for x.
4
Suppose 2*u - 46 = 2*l, -3*u = -2*l - 2*l - 68. Suppose 4*a = 4*j + u, 7 = a + 4*j + 26. Solve a = 3*m - 2*s, 5 = 2*s - 3*s for m.
-3
Let o be (-14)/(-6)*(6 + 6). Solve -3*h = -4*x + o, -h - 2*h + 3*x = 24 for h.
-4
Let y = 25 - 23. Suppose -3*v = -6*v. Suppose y = z - v. Solve 5*u - 2*u - 11 = -l, -3*l - z*u + 12 = 0 for l.
2
Let j(i) = i**3 - 14*i**2 + 2*i - 19. Let d be j(14). Solve 6 = -2*w, -3*t + 2*w = 3*w + d for t.
-2
Suppose 25 = y - 6*y. Let l(t) = -t - 5. Let o be l(y). Solve 0 = -4*f - o*g + g - 12, 5*f - 2*g + 12 = 0 for f.
-4
Let u(j) = j**2 - 4*j + 3. Suppose -3*d + 2*k + 5 + 17 = 0, -3*k = 15. Let m be u(d). Suppose -m*l + 38 = -22. Solve -2*i + 8 = 2*g, 5*g - 3*i = l - 8 for g.
3
Let m = 22 + -22. Solve m = -g - 2*o + 10, -3*g + g - 5*o + 23 = 0 for g.
4
Suppose 3*l - 5*l + 16 = 0. Suppose 32 = 4*u + 4*t, u - 3*t - 5 - 3 = 0. Solve -2*p + 3 + u = -w, -w = -p + l for p.
3
Suppose -2*r = 3*h - 71, 3*h + 3 + 10 = r. Suppose -2*f = 2*y - 16, -2*f - 3*f + y + r = 0. Solve f*w + 5*k = w + 15, k = 5 for w.
-2
Let s = -1 - -5. Let y(u) be the first derivative of -u**3/3 + 3*u**2 - 4*u + 4. Let o be y(s). Solve -3*b - 2 = o*h - 5*b, 2*h = 3*b - 11 for h.
2
Let z = -134 - -138. Solve -4*n = 2*y + 2, -n - 5 + 18 = -z*y for n.
1
Let b(x) = 2*x**3 - 3*x**2 + 2*x - 3. Let w be b(2). Solve -l = -2*v + w, -3*l - 1 - 3 = 5*v for v.
1
Suppose 6*w - w + 5*z - 25 = 0, -2*z + 6 = 0. Solve g = -5*b - w*g - 32, -4*b = -5*g - 4 for b.
-4
Let f be ((-3)/4)/(2/8). Let s be (-2 - f) + 1 + 0. Suppose -s - 10 = -3*m. Solve -3*d + 3 = 3*n, n + 31 = -m*n + 4*d for n.
-3
Suppose 6*w = 5 + 7. Solve w*a = 3*m - 0*a + 8, -m = a + 1 for m.
-2
Let g be 10/25*(-15)/(-3). Solve -5