 -5*x - 0*x + 4*y + 8, -8 = j*x + 4*y for x.
0
Let w(f) = -f**3 - 14*f**2 - 13*f + 11. Let y be w(-13). Let o be (y - 3) + (1 - 4). Solve -8 = -5*k - 4*n, 2*n = o*k - n + 6 for k.
0
Let o(z) = z**3 - z. Let h be o(2). Let b(g) = g**2 - 10*g + 18. Let v be b(9). Let x be (1*h)/(v/6). Solve x*u - u - 2*p + 15 = 0, u = -4*p - 5 for u.
-5
Suppose -4*x - x + 35 = 0. Let i = x + -4. Let k = -1 + i. Solve -f = -s + 11 - k, 0 = 3*f + 12 for s.
5
Let q(x) = x**3 - 7*x**2 + 7*x - 7. Let v be q(6). Suppose -r - 3 = -5. Let j be 18/4 - v/r. Solve 0 = -t - h + 3, -j*t + 13 = 4*h for t.
1
Let f(b) = b**3 - 5*b**2 - 2*b. Let t be f(5). Let u be -5*1*12/t. Let h(p) = -p + 6. Let m be h(u). Solve l + 6 = -2*j, -l + m = 3*j + 8 for j.
-2
Let q(z) = z**2 + 4. Let s be q(4). Let k = 27 - 22. Suppose k*u - 5 = s. Solve -u*t + 10 = 5*p, 2*t + t - 2 = -2*p for t.
-2
Let i(d) = 6*d - 39. Let s be i(7). Solve -n + 3*n = 2*k - 6, 3*n + s = k for n.
0
Suppose 0 = 2*g - 2*i, 0*i - 4*i = g - 10. Suppose -3*u + 9 = -3*m, -g*m + 6*m = 8. Let w = 8 - 1. Solve u*c - 2*b - 2*b + w = 0, 0 = -2*c - 5*b - 16 for c.
-3
Suppose -8 = 2*t - 4*t. Let m be 3 - 3 - t/2. Let c be (-3)/6*0 - m. Solve -c*j - 4 = 3*q + 6, 3*q = 3*j for q.
-2
Let r = -148 - -150. Solve -v - 16 = -2*f + 7*f, r*v = 3*f + 20 for f.
-4
Let w be (1 - -13) + -4 + 3. Solve 0 = -4*l + 4, -2*v = -l - w + 4 for v.
5
Let s be (-6)/21 - 148/(-28). Solve 4*w + 6 = 2*c, 0 = -4*w + s - 1 for c.
5
Let y(n) = -n**2 - 7*n - 4. Let i be y(-6). Let w = 9 + i. Let b = w + -6. Solve 0 = -t + 1, -29 = 5*c + t - b for c.
-5
Let z = 35 - 30. Solve -2*g + 0 + 8 = -3*d, -z*d = -2*g + 8 for g.
4
Let p be ((-1 - -1) + 0)/(-1). Let z(i) = -i**3 + 43*i**2 - 45*i + 133. Let s be z(42). Solve -2*b - 1 = 5*q, p = 3*q - q + 3*b + s for q.
1
Let i be 3 + (-1 - 3) - -4. Solve i*l = -3*u - 2*u - 15, -15 = 5*u for l.
0
Suppose 53 = 4*q - 3. Solve 2*r - q = 5*z - r, 6 = 3*z + 3*r for z.
-1
Suppose 0 = 2*l - 5*l + 6. Let u = 6 - 14. Let p be l/u + (-26)/(-8). Solve 3*c = 4*z - p, z - 12 = -4*z + c for z.
3
Suppose 5*h + 4 = -26. Suppose 5*i + 4 + 0 = -w, -2*i = 5*w - 49. Let r = h + w. Solve 2*n - 6 = -4*f - 0, -r*n - 15 = 0 for f.
3
Suppose -8*r + 42 = -62. Solve x + 2*x - 2*w - 7 = 0, x + 2*w - r = 0 for x.
5
Suppose 160 = 8*z + 2*z. Solve -z = 4*l - s, 5*l - 3*s = 2*l - 3 for l.
-5
Let m = -1 + 1. Suppose m = f - 0 + 3. Let n = f + 5. Solve -a + 14 = 3*z, -n*z + 2*a + 8 = 4*a for z.
5
Let x be (1 - -1)*20/8. Suppose -2*w + 0 = -q - 6, -5*w + 5 = -x*q. Solve 2*i + 0 = -4, -j - w = 4*i for j.
3
Let k = 0 + 4. Solve -4*x = k*r - 0*r + 8, -x - 4*r - 11 = 0 for x.
1
Let g = -69 - -72. Solve -5*z = -10, 4 = 7*d - 2*d - g*z for d.
2
Let i = -17 + 22. Solve -5*u = v - 5 + 23, 0 = -i*v - 4*u - 27 for v.
-3
Let w be (3 + 1)/(1 + 1). Suppose -5*x + 47 - w = 0. Suppose -5*d - 2*h = -35, 1 = -2*h - x. Solve 2*k = 4*z + k + d, -4*z + 21 = 5*k for z.
-1
Let j = -2 + 7. Solve -4*w + m = 5, 7*w + j*m = 3*w + 1 for w.
-1
Let b be 1/(3/(-3)) - -8. Let l = b - 3. Solve -h + 4*i = -5*h + 8, -3*i - 22 = -l*h for h.
4
Let i(s) = -s + 8. Let u be i(8). Let y = u - -3. Solve -3 + 5 = q + y*r, 9 = -4*q + 5*r for q.
-1
Let h(z) = -2*z - z - 2*z + z**2 + 7 - 2*z**2. Suppose -6 - 4 = 2*y. Let t be h(y). Solve -l + 20 = 4*p - t*p, -5 = -l for p.
-5
Let f be (-8)/(-5 + (2 - -1)). Solve f*h + 0*k = k - 8, k = 5*h + 10 for h.
-2
Suppose 3*s + s - 8 = 0. Suppose 2*c + c = 2*x, s*c + x = 7. Solve c*h - 4*m = 6*h + 12, 1 = -3*h + 5*m for h.
-2
Let t(k) = -2*k + 1. Let f be t(-1). Let h = f + -1. Let y be 4 - 0*1/2. Solve -8 = h*q - y*a, -4*q + 1 = -5*a + 5 for q.
4
Let d(g) = 6*g - 19. Let n be d(4). Solve -v = -3*x - 0*x - 2, -n*v + 10 = 2*x for x.
0
Let r(o) = -o**2 + 9*o - 7. Let l(u) = u. Let x be l(7). Let p be r(x). Suppose 3*k = -0*k + 12. Solve 6*i = k*i - z - 3, -2*i - p = -3*z for i.
-2
Suppose 120 - 35 = 5*o. Suppose -4*m + o = g, 0 = 5*m + 2*g + 8 - 33. Let y = m - -2. Solve -y*k + 15 = -2*s + 2, s + 5 = k for k.
1
Suppose -s = -2 - 2. Solve 2*k + 18 = -s*v, -v + 27 = -4*k - 6*v for k.
-3
Suppose -5*h + 58 = -2. Let x be 6 - (2 - (-2 - -3)). Solve -h = -3*g, 0 = 3*k + 2*k - x*g + 5 for k.
3
Suppose f = -2*f + 2*r + 4, -8 = 2*f - 4*r. Solve 2*d - 5*k = -5, f*d - k - 3 = -4*k for d.
0
Let x be 48/(-18)*(-6)/4. Solve 4*g - 16 = 4*c, -c + g = -2*g + x for c.
-4
Suppose 0 = -3*b + 110 + 19. Let v = b + -31. Solve -p = 2, v = -j - 3*j + 4*p for j.
-5
Suppose -7*h = -11*h + 12. Solve 0 = 2*i - i + q - 6, -3*i + h*q + 6 = 0 for i.
4
Let t = 10 + -14. Let h be ((-10)/(-25))/(2/(-10)). Let k = h - t. Solve 11 = x - 4*o, -k*x - 5 = o - 0*o for x.
-1
Let p = 26 - 10. Solve 5*w + v = 1, 2*v + v = 4*w - p for w.
1
Let d = 2 - 0. Suppose 9*l - 15*l + 24 = 0. Suppose 4*i + 0*i - l = -4*y, -d*i = -y + 10. Solve -s - 2*s = -15, -9 = y*a - s for a.
-1
Let o = -10 - -10. Solve 4*z + 5*v = -z - 10, 5*v + 15 = o for z.
1
Suppose 0 = -5*y + 3*y + 12. Solve 2*v + 33 = -5*b + y*v, 0 = -5*b + 2*v - 29 for b.
-5
Suppose 5*r - 9 - 6 = 0. Solve 0 = k + 2*a - 5, -r*a + 4 = -k + 6*k for k.
-1
Suppose 0 = 3*x + 3*i - 15, -i - 7 = x - 4*i. Solve x*t + 2*d - 3 = 3*t, 5*t - 3*d - 13 = 0 for t.
5
Let o be ((-11)/5)/11 + (-36)/(-5). Solve -4*y + f + 12 + o = 0, 4*y - 5*f - 31 = 0 for y.
4
Let s be -3 - (-7)/((-28)/(-132)). Solve 0 = 4*w - 0*o + o + 14, -5*o + s = -5*w for w.
-4
Let w = -30 + 33. Solve 2 = 4*z - 5*z - p, -4*z = w*p + 9 for z.
-3
Let j(s) = s - 6. Let c be j(9). Solve -5*f - 4*i + 3*i + 28 = 0, c = i for f.
5
Suppose 2*y + 34 = -n, -3*y + 0*y + 3*n = 33. Let o be (-1)/(-3 - 42/y). Solve 4 = o*r - 4*u - 18, -u = 3 for r.
2
Suppose -6 = c - 5*c + n, -2*c + 4*n + 10 = 0. Let h be -5*-11*c/5. Let a be -2 - -7 - 0/(-2). Solve -3*v = 2*s + h, 4*v + 34 - 4 = a*s for s.
2
Let d be 9/3 - (-2 - -3). Solve -d = o + 2*a - 4, 3*a - 4 = -2*o for o.
2
Let y be -4 + (-6)/(-7)*28/6. Solve y*z - 2*z = -5*p + 2, p = 2 for z.
4
Let k be 205/7 + (-2)/7. Suppose 5*r = -4*m + k, 0 = 6*m - 4*m + 3*r - 17. Solve -5*s - 21 + m = -5*i, i = 4*s + 16 for s.
-4
Suppose -6*w - 18 = -8*w. Solve -4*r = 5*n - 5*r - w, -2*r - 7 = n for n.
1
Let h(u) = -5*u - 2. Let c be h(-7). Let y = c + -21. Suppose -12*p - 1 = -25. Solve -y = 2*n + 3*l - l, p*n = l for n.
-2
Let x be 7/2 + 75/(-50). Suppose 0 - 8 = -4*m. Solve -x*z = -m*p + 4, -z - 11 = 5*p - 3 for p.
-1
Let w be 32/20*1*5. Suppose -7*v + 3*v = 12. Let o be (-75)/(-9) + (-2)/v. Solve 5*c - w = -2*y, 4*c - y = o - 0 for c.
2
Let q(w) be the first derivative of -w**4/4 + 2*w**3/3 + w**2 - 2*w - 3. Let i be q(2). Solve 3*c = -4*z + i, -5*z = 5*c - 0*c for c.
-2
Let h be (0 + -5)*(-6)/5. Suppose d - 5 + 1 = 0. Suppose x - 3*t - 5 = -d*t, 5*x - t - 19 = 0. Solve 2*z - h = -0*z, 2*p - x*z = -8 for p.
2
Let b(i) = i**3 - i**2 - 7. Let v be b(0). Let z(k) = k**2 + 6*k - 5. Let l be z(v). Suppose 0 = l*h - 3 - 7. Solve 2*j + 1 = -1, -h*f + 16 = -j for f.
3
Let x be 5/20 - (-3)/4. Let w be x/6 - 5/30. Suppose w = -2*u - 2*j + 11 + 7, 4*u - 28 = -2*j. Solve 0 = -0*b + 2*b - u*q - 2, -5*b - 3*q + 5 = 0 for b.
1
Let x(o) = -10*o + 2. Let n(p) = 1. Let t(y) = n(y) - x(y). Let c be t(-2). Let r be (-6)/c + (-52)/(-14). Solve -5*w - 22 = 3*v, w - r*v + 10 = v for w.
-5
Suppose 4*z - 73 = 123. Suppose 3*w - z - 11 = 0. Solve 3*b + 3*m - 12 = 0, 3*m = -4*b - b + w for b.
4
Let g be 10/(-45) - 110/(-9). Solve -4*w + 0*w = -q + g, 0 = q + 5*w + 15 for q.
0
Let b = -13 - -18. Suppose 2*r + 16 = 2*f, 2*f - b*f - 2*r = -9. Solve -f*a - 4*t = 12, 2*a + 2*t + 11 - 5 = 0 for a.
0
Let p = 20 - 34. Let x be 64/28 + 4/p. Let o = 1 - -1. Solve -f + 4*c = -21, o*f + c = x*c + 14 for f.
5
Let l(j) = -2*j - 12. Let c be l(-6). Let w be (-7)/(-3) - (-8)/(-24). Solve 2*v - w = 5*r, -3*r + c*r - 10 = v for r.
-2
Let v = 0 - -2. Let s be (-30)/(-4) - 4/(-8). Suppose -5*p + 20 = 5*u, -v*u = 5*p - s - 0. Solve 4*i = -a + 14, 0*a + 2*a = u*i - 20 for i.
4
Suppose -3*v - q - 3 + 2 = 0, 0 = -4*v + 4*q + 4. Solve v = 4*i - 4*n + 16, 4*n + 0*n = 5*i + 20 for i.
-4
Let w be (-2 + 2)*(1 - 4)/6. Solve -4*r - 12 = w, 6*v - 2*v = 3*r + 9 for v.
0
Let u be (147/12)/(-7)*-8. Let v = u + -3. Solve k + v = -4*s, -4*k + 7*k = -2*s + 7 for k.
5
Suppose -4*t - 3*o + 23 = 0, 3*t + o = 2*t + 7. Suppose -f + 1 = -t. Solve w 