 for z.
5
Let b = -20 - -23. Solve 3*g = -2*n - 14, 8*g + b*n + 22 = 3*g for g.
-2
Suppose 12*f - 7*f = 3*y - 12, -5*y + 20 = -4*f. Solve 4 = 4*b + y*q, 0*q = -5*b + q - 25 for b.
-4
Suppose -2*n - 3 = 1, -3*l + 4*n - 7 = 0. Let r = l - -10. Suppose 15 = 4*o - 3*y, -3*o - 5 = -5*o + y. Solve r*s - 3*i + 1 = o, -5*s - 1 = -2*i + 3 for s.
-2
Suppose 5*g = -0 + 20. Let r = 6 - g. Suppose 7*b - 6 = 4*b, 5*b - r = 4*o. Solve d + 0*d = -m - 6, -3*d - o*m = 14 for d.
-2
Let y = 6 - 1. Suppose -5*g + 22 = 2*z, 2*z = -y*g - 3*z + 25. Solve 0 = -4*n - 4*i - g, -4 = n + 5*i + 1 for n.
0
Let k be (0/1)/(2/(-2)). Let g be ((-12)/(-10))/((-2)/(-5)). Let p(f) = f**2 - f - 3. Let c be p(g). Solve k = -4*y - 0*y - 3*j + 4, -c*j + 6 = 3*y for y.
-2
Suppose 16 = -3*s - 4*t, -s = 4*t - 9*t - 20. Let i(n) = -n**2 + 5. Let a be i(s). Solve v + a*x - 3 = 0, -3*x - x + 10 = -3*v for v.
-2
Suppose 0 = r - 3 - 9. Suppose 4*n = n - r, -v + 7 = -n. Solve 3*m = 6, -c + v*m - 12 = -m for c.
-4
Let n be (2 - 12/(-4)) + 1. Suppose w + y = -2*y, 3*w + 3*y - n = 0. Solve r - 6*r - 3*x = 10, w*x + 20 = 5*r for r.
1
Let q be 4/8*0 - 3. Let j be (q - -5)*(-45)/(-6). Solve 3*g + b + j - 1 = 0, 0 = -4*g - 2*b - 18 for g.
-5
Suppose 25 + 41 = -3*w. Let b be (1 + 3)/(-2) - w. Suppose 15 = 2*t + 5*m, -5*m + b = -3*t + 6*t. Solve c + o = 6, t*c + 0*o + 2*o - 21 = 0 for c.
3
Suppose -3*f + 2*c + 84 = 0, -2*f + 5*f - 84 = -4*c. Let y = f + -19. Solve 0 = -2*w + m - 3, 5*w + 3*m - y = w for w.
0
Let g(j) = -j**3 + 6*j**2 + j - 3. Let u be g(6). Solve 0 = -2*i + u*m + 3, 1 = 3*i + 2*m + 3 for i.
0
Let h = -28 - -33. Solve -h*f = 20, 4*f + 0*f + 26 = -5*p for p.
-2
Suppose -4*o = -2*o - 12. Let y be ((-2)/(-4))/(1/o). Solve -2*a = -a + 1, 0 = -2*m + y*a + 7 for m.
2
Let b be 5*1*27/15. Let y = -9 - -3. Let q be (b/y - -1)*-10. Solve 3*x + x + 2*k = -10, -q*k = -15 for x.
-4
Let y = -11 + 30. Suppose 4*n - 7*r - y = -2*r, 5*n + 5*r = 35. Solve 2*c = 3*c - 4*w + n, -5*w = 2*c - 14 for c.
2
Let q be (3 - 0)*(-10)/(-15). Suppose t + 2*n = 8, -4*t + 11 + 11 = -q*n. Solve -2*z - t = -2*r - z, r + 3 = 2*z for r.
5
Let k = 0 + 2. Suppose 0*t - 14 = -s - 2*t, k*t = -4*s + 32. Let p = s + -3. Solve 11 = 3*q + d + d, -p*q + d = -8 for q.
3
Suppose b - 5*b = -5*v + 58, 5*v + 4*b = 42. Let a be 46/10 + 4/v. Solve -5*r + 27 = 2*f + 5, -a*f + 3*r - 7 = 0 for f.
1
Let b = 0 - 0. Suppose b = a - 5*a - o - 16, -3*a - 13 = o. Let r = 2 - a. Solve 5 = -3*u + 2*u - r*s, 10 = 4*u + 5*s for u.
5
Let f(x) = -2*x + 3*x + 0*x + 3*x. Let g be f(1). Solve -c = -0*c - 5*l - 10, 0 = g*c + 3*l + 29 for c.
-5
Let t be (-16)/(-5) - (-13)/(-65). Solve 4*r = -4*d + 32, -r - t*d = -3*r + 1 for r.
5
Suppose 0*r - 5*r + 2*h = 0, 3*h = 5*r. Solve r = -5*d - 5*q, 5*d - 18 = 4*q + 27 for d.
5
Let d be 2/(-1)*110/(-11). Solve 5*j = -2*h + d, -4*h = -h - 2*j + 8 for h.
0
Suppose 2*v - v - 2 = -d, 0 = -3*d. Suppose t + v*h - 1 = 10, t = -5*h + 20. Solve 4*x = -3*s - 12, -16 = 3*s + s + t*x for s.
-4
Let y = 19 - 1. Solve 4*v = 3*l + 3, -5*v + y = 3*l - 2*v for l.
3
Suppose 0 = 2*f + 2*f + 3*r - 21, 3*f + r - 17 = 0. Solve -2*m = -4*g + 19 + 7, 2*m + 4*g = f for m.
-5
Let j(x) be the second derivative of x**4/12 - x**3 + x**2 - 5*x. Let w be j(6). Solve -3*g = -0*f + w*f - 12, -4*g - f + 16 = 0 for g.
4
Let t(l) = -4*l**2 + l**2 + 5*l + 9 + 2*l**2. Let y be t(6). Let v(f) = f**3 - 2*f**2 - f - 1. Let z be v(3). Solve g = 3*k + y*g, 5*k = z*g - 25 for k.
-2
Let r = -1 - -1. Let n(k) = -2*k**2 + 5*k**2 + 3 - 4*k**2 - 3*k + 4. Let z be n(-4). Solve 0 = j + y - 8, -z*y + 4 = -2*j - r*y for j.
4
Suppose -4*m = -7 - 1. Suppose 11 = m*z + 1. Suppose 2*r = -2*r + 5*a + 32, -z*r = -3*a - 40. Solve 4*n = 5*k + r, -2*k + 3*k + 4 = 0 for n.
-3
Suppose -3*i + 4*m = 11 + 3, 5*i = 2*m. Suppose i*a = -2*a. Let b = -131 - -135. Solve a = 2*v - 6*v - 5*n - 11, 0 = 5*v - b*n + 24 for v.
-4
Let b = 5 - 1. Solve -8 = -5*k - 0*f + b*f, -4*f - 8 = 0 for k.
0
Suppose -m - 1 = 2. Let c be 2/m*102/(-4). Let j be ((-9)/2)/(6/(-4)). Solve 2*g = j*r + c, 5*r - 2*g + 20 = r for r.
-3
Let j be 7 + -2*(0 + 1). Suppose 2*z = 4*l - 18, 2*l + 3*z - 8 = 13. Solve 3*c = -j*t + 9, 4*c + l*t = 2*t + 12 for c.
3
Let y(b) = b**2 - 4*b - 47. Let m be y(-7). Solve -4*g = 2*s - m, 5*g + 4*s = 33 + 12 for g.
5
Let x = 34 - 6. Let q = x + -28. Solve 5*b - 8 = -2*a, -a + 2*b - 5*b + 4 = q for a.
4
Let j(c) = c**2 + 6*c + 6. Let a be j(-5). Let b be (4 + (-2 - -1))/a. Solve -4*g + b*g - o = 4, -3*o - 12 = -3*g for g.
0
Let o be (-2)/3*1*-3. Suppose -m - 5 = -4. Let a be (-6)/(-2) + m + -2. Solve -33 = 4*g + o*r - 11, a = g + 2*r + 13 for g.
-3
Let f = -19 + 22. Solve -2*g = -v - 2*v + 5, -f*v = -4*g - 1 for g.
2
Let p be 2 - -2*(-4 + 1). Let q be -3 - (-12 - (p - 0)). Solve f + b = -9 - 0, f = q*b + 21 for f.
-4
Let t be ((-24)/54)/((-2)/9). Solve t*j + 22 = 3*k + 1, -3*j - 29 = -4*k for j.
-3
Let a(c) = c**3 + 6*c**2 - 8*c - 4. Let k be a(-7). Solve -5*m = -3*o - 18, k*m + m - 15 = 3*o for m.
3
Let s be 3/(-18)*3*0. Let k be 5 - 2 - (s + -3). Solve 2*o - 15 = -0*o + 3*c, -3*o - c = -k for o.
3
Let w be 64/48*6/4. Let i(q) = -q**3 + 5*q**2 - 5*q + 4. Let a be i(4). Let l(v) = -v + 22. Let j be l(a). Solve 12 = -4*h - n + 1, j = -3*h + w*n for h.
-4
Suppose 3*t = -4*h - 14, -4*t + 4 = -7*t - 2*h. Let i be (2/(-4))/(2/(-20)). Solve t*s - 4*s - 8 = -i*z, z + 2 = 4*s for s.
1
Let r be 2 - 0*3/(-6). Suppose r*k + 12 = -2*z + 3*z, -5*z - 2*k = -24. Solve 4*q - w = 3*q + 1, -2*q - 2*w = z for q.
-1
Suppose -4*k + 2*a + 13 = 3*a, 2*k = a + 11. Solve -1 = -d + 4*l + l, 5*l = -k*d - 21 for d.
-4
Suppose -3*f - f = 0. Suppose -v - 2*v = -30. Let l = v - 6. Solve 3*z = -2*s - 3*s - 4, l*s - z + 10 = f for s.
-2
Let s(k) = -k**2 - 10*k + 4*k + 2 + 0. Let n be s(-6). Suppose 17 - n = 5*c. Solve 0*a - 2*g = 2*a - 8, -4*a = -c*g + 12 for a.
0
Let f be 8/5 + 18/45. Let w be -2*(-2)/(-2) + f. Suppose 0*y - 5*y = w. Solve y*h - 5*h = v - 19, 4*v - 4*h = 4 for v.
4
Let w be ((-12)/15)/((-6)/15). Suppose 4 = -w*t + 4*t. Solve s + 5 = -0*r + 2*r, -t*s = -2*r + 8 for r.
1
Suppose 0 = -2*p + 31 + 17. Suppose r + r = p. Suppose 3*q - 22 = 5. Solve -t - r = -5*t + b, 3*t + b = q for t.
3
Suppose -77*b = -78*b + 6. Solve 0*t + 2*t - 2*a + b = 0, 13 = t + 3*a for t.
1
Suppose -c - 3*c + 4 = 0. Let k(t) = t**3 - 2*t**2 + 4*t**2 - 3*t**2 + 2*t**2. Let b be k(-1). Solve -d - c = g, d + b*g = 2*g + 8 for d.
2
Suppose -10 = -3*u - 1. Suppose u*m = -0*m + 48. Solve -4*g - 13 = -3*j, -3*g - 2*j = 2*j + m for g.
-4
Suppose 0*l - 3*l = -9. Suppose 0*q - q + l*h = 6, -q = -h. Let i(s) = 6*s. Let g be i(2). Solve 4*r - 4*f = -36, q*r - f = -g - 5 for r.
-4
Suppose -2*a + 12 - 4 = 0. Suppose x = g, -3*g = -5*x - g + 3. Suppose 0 = -a*l + x + 7. Solve 3*s + 4*y = -l, -6 = -3*y - 3 for s.
-2
Let w(x) be the first derivative of x**4 - 5*x**3/3 + 3*x**2 - 3*x + 3. Let k be w(2). Solve 0 = -3*y + 4*b + 14 - 1, 0 = y + 5*b + k for y.
-1
Let r = 18 - 13. Let w = -3 + 8. Solve 6 = -4*v - 2*z, 3*z + w = r*v - 4 for v.
0
Suppose 4*u = -4*i + 2*u + 22, -3*i + 14 = u. Solve -4*n - 2*p = i + 3, 2*p = 3*n + 1 for n.
-1
Let m(t) = 3*t**2 - 1. Let v be m(1). Let z be 0 + 0/2 + 2. Suppose 16 = -0*g + z*g. Solve -10 = v*s + 4*k + g, -5*s = -k + 12 for s.
-3
Let t be 17/3 - 4/6. Let j be (-9)/((-45)/(-10))*(-1)/2. Solve 2*k = i - j, t*k = k for i.
1
Suppose -2 = f - 6. Solve 3*t - 10 = n, -t + f*t = -n + 20 for t.
5
Let x(a) = -a**3 + 11*a**2 - 3*a - 2. Let p be x(11). Let b be (-100)/p + 1/7. Solve 2*d + 3*d = -5*c, 4*d = b*c for c.
0
Let u(y) = 2*y**2 - y - 6. Let p be u(-2). Solve -4*l - 19 = l - c, -p*l = 3*c for l.
-3
Let a be (18/(-21))/(44/56 + -1). Solve 0 = a*x - 5*n - 10, 4*x - 4 = n + n for x.
0
Suppose -3*o - o = 0. Let q = 1 - o. Let x = 3 - q. Solve -18 = -5*s + 4*m - x, 4*m = s for s.
4
Let j(x) = -x**3 - 5*x**2 - 5*x - 2. Let p be j(-4). Solve -t = -p*y + 1 - 2, 0 = 3*y + 9 for t.
-5
Let h be 3/(-1) + (7 - 4). Suppose h = 3*n + n - 8. Let y = n - 2. Solve y = 5*g - 20, 2*g + 3*g - 18 = -r for r.
-2
Suppose -3*r + 8 = -b, b + 7 = -3*r - b. Let q be (-1 + 8)*(2 - r). Let f be 3/(2 - 1/2). Solve 3*w - 6*w + 4*o = q, 5*w + f = -3*o for w.
-1
Let h(p) = p**3 - 3*p**2 + 3. Let k be h(3). Suppose 3*r = w + 7, 3*r - 3*w - 1 - 