
2
Let s be (-4)/6*-3 - -1. Let w = 21 + -19. Solve s*z = w*f - 18, -3 = f - 2*f for z.
-4
Let f = 7 - 4. Suppose 0 = 4*a + f*x - 26, 4*a - 17 = -a + 4*x. Solve -u = -a*q - 3, -2*q = -4*u + u - 4 for u.
-2
Suppose -2*g = -0*g + 6, -5*f + 6 = 3*g. Solve v - 8 = f*p + 2*p, 0 = -5*v - 3*p - 16 for v.
-2
Let m = -16 - -10. Let x be 22 + m/(-1 + 3). Solve 4*z = 5*l - z - 35, -2*z = -3*l + x for l.
5
Let l(o) = -o**2 + 8*o - 3. Let q be l(7). Let c(r) = -26*r - 98. Let y be c(-4). Solve -4*p - 32 = 5*d, y*p - q = 4*d + 2*p for d.
-4
Let b be ((-5)/20)/((-2)/40). Solve b*l + 2*n - 6 - 2 = 0, -l - 4*n - 2 = 0 for l.
2
Let s be ((-2)/3)/((-164)/54 + 3). Let b = 2 + -15. Let m = b + s. Solve -2*w = 2*k - 3*k - 2, -m*k - 15 = -5*w for k.
-4
Suppose -12*a - 120 = -18*a. Solve -o - d - 1 = -5*o, -a = -5*o + 5*d for o.
-1
Suppose -20 = -8*o + 4*o. Solve -2*u = g - o*g + 2, -5*g + u = -1 for g.
0
Let n be (-18 + 7)*(-6)/22. Suppose -o = 4*o. Solve 0 = 4*z, -n*z = -4*v - o*z + 8 for v.
2
Let w(v) = -v - 2. Let s be w(-5). Solve -r + 0*b = -4*b + 11, 2*b + 7 = s*r for r.
5
Let z be (-6 + -2)*(-1)/(-2). Let d be 1*((-4)/z + 4). Solve 5*w - 4*y + d = 0, 0 = -w - 4*y + 13 + 10 for w.
3
Let i = -48 + 53. Solve 3*d + y - 3 = 0, -i = -d + 5*y - 4 for d.
1
Suppose 0 = 19*g - 14*g. Solve -6*y = -3*y - 2*i - 7, g = 3*y + i + 8 for y.
-1
Suppose 2 = -5*f - t + 5, 5*f - t = -3. Suppose -6 = -6*d - f. Solve h = 3*x - 14 - d, -3 = -3*x - 3*h for x.
4
Suppose -2*h - 10 = -7*h. Let a be (-5)/2*24/(-20). Solve -a*w - h*v = 20, -16 = -2*v + 6*v for w.
-4
Let f(a) = a**2 - 3*a + 2. Let p be f(3). Let o be 2/(-3 + 0 + 1). Let v = p - o. Solve 5*k - 3*k = -4*r - 30, r + v*k + 20 = 0 for r.
-5
Suppose 12 = 3*a - 12. Let n be (1 + -3)/1*-2. Let k be (3 + -1 - n) + a. Solve -5*c = -2*v - k, 3*c + 2*c + 3 = -v for v.
-3
Let d(x) be the first derivative of 2/3*x**3 - 1/4*x**4 - 2 + x - x**2. Let j be d(1). Solve -5*p + j*c = 3*c + 14, 3*c = -4*p - 13 for p.
-1
Let d(m) = -m + 8. Let u be d(0). Suppose -3*k - k = u. Let a be k*2*(2 + -3). Solve 5*h = -3*i + 2, 3*i + a*h = 2*i + 3 for i.
-1
Suppose -1 + 0 = -3*f + 5*o, 2*o - 4 = -f. Solve -7*h + 2*h = -2*v + 12, -f*h = 8 for v.
-4
Let o = 11 + -8. Let g be (-2)/o*18/(-4). Solve 2 = -d + 3*d + 2*b, d + g*b = 7 for d.
-2
Let b(n) = n**3 - 3*n**2 + n + 2. Let c be b(2). Let k(m) = 5*m - 1 - 3 + 0 - 2*m. Let y be k(3). Solve -3*t + y*h + 1 + 5 = c, 4*t + 4*h = -24 for t.
-3
Let d(v) = 6*v + 2. Let f be d(3). Suppose -16*o = 4*r - 11*o - 28, -16 = -4*o. Let c be (-2 - 26/(-8))*4. Solve -l = 4*z - f, z - c = -0*z - r*l for z.
5
Let q be (-22)/33*33/2. Let a = -6 - q. Let g = 3 + 0. Solve -g*b - 4 = -2*h + 4, 2*b + 9 = a*h for h.
1
Suppose -5*g - d - d + 11 = 0, 0 = 4*g - 5*d - 22. Let z(x) = x + 23. Let o be z(-15). Solve 3*c = 4*s - 0*c - o, g*c = -3*s - 15 for s.
-1
Let g(s) = s**3 - 6*s**2 + 6*s - 1. Let y be g(5). Solve -19 = -4*c + x - y*x, 4*x = 4 for c.
4
Let d = 20 - 19. Solve 5 = 5*u - 5*x, -2*u + 5*x + d = -16 for u.
-4
Suppose 9*b = 4*b. Solve b = q + 5*h + 23, -h = -2*h - 5 for q.
2
Let u(b) = b - 8. Let d be u(8). Suppose -3*o - 2*o = d. Solve -4*z = 5*h - 9*z - 25, o = 5*z for h.
5
Let n be 92/16 - 2/(-8). Suppose -h = h + n. Let k = 7 + h. Solve 2*g + k = 2*f, 0*g + 17 = -g + 4*f for g.
3
Let h be (1 - -2)/(9/12). Solve -g = -x + 3, x = h*x - 4*g - 9 for x.
3
Let v(t) = -t + 2. Let m be v(2). Let u be (9 - 2) + m/(-3). Solve -2*j + u*y = 2*y + 10, 0 = -3*y + 12 for j.
5
Suppose u = -p + 10, -u = 5*p + 1 - 31. Let w = -160 - -164. Solve -4*d - a + 22 - 5 = 0, -u*d + 24 = w*a for d.
4
Let s = -15 + 17. Suppose -4 + s = -l. Let u = 2 - 0. Solve 0 = 5*r + 2*o - 8, -u*r = -l*o + 6*o for r.
2
Let w be (-6)/15 - (-27)/5. Suppose 0 = r + o - 2 - 9, -w*o - 35 = -5*r. Solve -5*h = -2*u - r, 4*u + 3 = -5*h - 0*u for h.
1
Let y(i) = 4*i + 62. Let g be y(-15). Solve -g*n + 33 = 5*z, -4*z - 24 = -8*z - n for z.
5
Let s = -10 - -10. Solve 3*m + 5*j + 10 = 0, s*m + 2*j = m + 7 for m.
-5
Let w be -22 - 2*(1 - 2). Let c = 34 + w. Let m(q) = -q + 6. Let y be m(4). Solve 2*l + y*f + c = 0, 4*l + 3 = -l + 3*f for l.
-3
Let q(w) = w**3 + 10*w**2 - 13*w - 6. Let x be q(-11). Solve 4*h = -x, 5*f + h = -h - 3 for f.
1
Let o be (-70)/10*8/(-14). Solve -4 + 12 = -j - 2*k, -5*k = -o*j + 7 for j.
-2
Let r be (2 + -1)/(4/(-120)*-6). Solve -5*b - 40 = -r*i, -3*b = i - 0*b + 4 for i.
5
Suppose 7 = -3*b + 4*b + 5*j, -4 = -3*b + 2*j. Suppose 0 = -4*v + 20 + 8. Suppose v + 17 = 2*c. Solve 3*z - b*s + 1 + 5 = 0, -c = -5*z - 4*s for z.
0
Let k be 5 + (-1)/(-1) + -1. Suppose 6 = k*q + v - 10, 2*q + 3*v = 9. Let n be 34/6 + 8/(-12). Solve a + 14 = 5*p, n*p + 10 = -2*a - q*a for a.
-4
Let i(p) = -33 + p**2 + 74 - 39. Let j(f) = -f**3 + 5*f**2 + 3. Let z be j(5). Let m be i(z). Solve -v + 3 = g, 6*g - m = -5*v + 2*g for v.
-1
Suppose i = -2*c + 26, -2*c - 3*i + 14 = i. Let y be ((-3)/6 + 1)*6. Let l = -1 - -1. Solve 3*k - y*b - 6 = l, -4*b + 1 = 2*k + c for k.
-1
Let j be 51/6 - (-1)/(-2). Solve -4*x + 4*d = -j*x + 4, -4*x = -d + 6 for x.
-1
Let j = 2 + 2. Let g = -1 - -3. Suppose 0 = 3*v - 4*v + 5*r + 30, 34 = g*v + 3*r. Solve 1 - j = 3*o, 5*u = 5*o + v for u.
3
Let x(m) = -2*m**3 - 4*m**2 - 2*m + 1. Let u be x(-2). Let v(i) = -i + 10. Let b be v(u). Solve f - 8 = -b*z + 17, 5*f + z - 5 = 0 for f.
0
Suppose 0 = -8*u + 7*u + 2. Solve 4*n = 4*b + 20, 10 = -2*b + 3*n + u*n for b.
-5
Let y(p) = p**3 + 15*p**2 + 13*p - 9. Let d be y(-14). Solve 14 = -d*a - u - 1, 0 = a + 5*u + 27 for a.
-2
Suppose 3*g + 4*b + 0 = 24, -5*b + 11 = -g. Solve m + 18 = 3*m + 5*x, 0 = -g*m - 5*x + 26 for m.
4
Let b be (-109)/(-7) + (-24)/(-56). Suppose 1 = d - 9. Solve -18 = -5*u - 4*s + d, 0 = -3*u - 2*s + b for u.
4
Suppose -5*w - 34 = -2*u, -3*w - w - 16 = 0. Let m = 12 - u. Solve -5*g - i + 4 = 0, -3*g + 6 = -2*g - m*i for g.
1
Let f(y) = -6 - 7*y - 7 + 12. Let k be f(-1). Suppose -k*m = -m - u - 13, -u + 8 = 2*m. Solve 3 = -5*c + o, c + 0*o + m*o + 7 = 0 for c.
-1
Suppose -10*t + 2*t = 2*t. Solve 3*j + 11 = -k - 3*k, t = -j + 3*k + 18 for j.
3
Suppose d + 2 = 4. Solve 7 = -d*c - 5*u + 4*u, 5*c - u = 0 for c.
-1
Suppose -13*p = -11*p - 12. Solve -2*a + 3*i = a - p, 5*i + 1 = -4*a for a.
1
Let v(z) = z**2 - 15*z + 3. Let b be v(15). Solve -d + 7*y = 3*y, 0 = 2*d + b*y for d.
0
Suppose 0*l = 4*c - 4*l - 100, c - 5*l - 37 = 0. Solve 2*s + 2*s - 2*g = c, -3*g - 8 = -s for s.
5
Suppose 80 = 2*d + 3*d. Let f = 2 + 3. Solve -f*b = 4*q + d, -5*b + q - 5 = 16 for b.
-4
Let d(v) = v**3 - 11*v**2 - v + 14. Let z be d(11). Solve 4*n = z*i - 19, 5*i - 24 = -n - 0*n for n.
-1
Let m = -8 - -11. Suppose -4*s - 5*t + 25 = s, -s + 7 = m*t. Solve 4*w + 0*w - u = 0, 0 = s*u + 16 for w.
-1
Let q be 4/(-16) + 3/(-4). Let k be 5 + (q - -5) + -1. Let h = k + -5. Solve -l - h*i + 6 = -4*l, -3*i = -5*l - 4 for l.
1
Suppose 12*w - 1 - 23 = 0. Let o = -3 - -8. Suppose -5*l + 4*v + 30 = 0, -34 = -2*l + o*v - 5. Solve w*k + 5*a + l = -28, -3*k + 2*a - 7 = 0 for k.
-5
Suppose -1 = -d + 3. Suppose 2 = r - s, -2*r = -7*r + 3*s + 16. Suppose u + 6 = -2*l + 16, -20 = -4*l - r*u. Solve 0*o = -5*y - 3*o - 27, d*y = l*o + 8 for y.
-3
Suppose -3*w + 3*v + 1 - 7 = 0, -2*w - v - 7 = 0. Let h be w + (3 - 1 - -4). Solve 5*f - h*a = 21 + 13, 3*a = -f - 4 for f.
5
Suppose 4*o = -4*z + 32, 0 = -5*z + o + o + 19. Solve l + z = 3*s - s, 2*s = -4*l + 10 for l.
1
Let a = 11 - 8. Suppose -i - 16 = -a*i. Let z be ((-5)/1)/(1*-1). Solve z*s + 4*h - i*h - 3 = 0, -4*s = 2*h - 18 for s.
3
Suppose -9 - 6 = -3*x. Let i be 13/x + 14/35. Suppose u - i = 7. Solve -2*y = 2*o + u, 0*y - 3*y - 13 = 2*o for o.
-2
Suppose -4*o + 4*j + 15 = -5*o, 4*o = 5*j + 45. Solve 0 = -2*p - 7*c + 3*c + 2, -o*p = -2*c - 29 for p.
5
Let j = 10 - 6. Suppose 0 = -2*r + j*t + 4, -5*r - t = -r + 1. Suppose 3*o = -r*o + 15. Solve s + o*n = -3*s - 14, 0 = -4*n - 8 for s.
-1
Let h(z) = -2*z + 8. Suppose 2*l + 20 = 7*l. Let d be h(l). Solve -4*m = -20, -m + d*m + 4 = x for x.
-1
Let d be (-6)/15 - (-159)/(-15). Let w = d + 12. Solve -3*g = 3, -3*q = -g - w - 3 for q.
1
Suppose 9 = -2*l + 15. Solve 2*a + 1 = u, l*u - 5*a - 5 = -0*a for u.
5
Let k be (1 - 4/2)*-3. Solve 5*c + 2*b = -k*b + 40, -b - 4 = -2*c for c.
4
Suppose 3*g - 3*v = 17 + 1, 3 = -v. Let t(c) = 3*c**2 + 15*c