 5*z - j = 4*a for z.
1
Suppose 17 = -3*m + 2, 4*m = -2*x - 14. Suppose 0 = -3*l - 3, -4*l + 1 = g - 0. Solve 0 = 4*n - b + x, -g*n = -3*b - 3 + 5 for n.
-1
Let s be (-3)/4 - 51/(-4). Suppose 4*n + 6 - 2 = 0, -4*u = -n - 149. Let d = u - s. Solve 4*f = -0*f - 5*p - d, 19 = -4*f + p for f.
-5
Let x = -3 + -1. Let f = x + 7. Solve 3*q + f*b = 18, -2*q + 2*b = -5*q + 15 for q.
3
Let t be (15/12)/(1/4). Suppose 4*d = 7*d - 6. Solve -3*b + 27 = -2*g + 2*b, d*b = -5*g + t for g.
-1
Suppose -2*m - 3*s + 6 = 0, 3*m + 0*s - s = -2. Solve h + 4*k - 8 = -m*h, 2 = -2*h - 2*k for h.
-4
Suppose 3*x - 131 = 79. Suppose -3*d + x - 4 = 0. Solve -5*m - d = p, p = -2*p + 5*m + 14 for p.
-2
Suppose -2*p + 3*p = 5. Solve 7*f - 3*f - 28 = -4*w, p*f - 11 = w for w.
4
Let c(n) = -n**3 - n + 5. Suppose -5*t = -2*t. Let j be c(t). Solve -j*o - 21 = 2*g, 3*g = -2*o + 4*o - 3 for o.
-3
Let l = -21 + 23. Solve 2*m = l*t + 6, -2*t - 1 = -3*m + 4 for t.
-4
Suppose 0 = -7*b + 5*b + 16. Solve 0 = n - 3*g + 18, -n + 3*g = 2*g + b for n.
-3
Let w = -6 + 11. Suppose w*y - 6 = 14. Let z(m) = -m**3 - 5*m**2 + 7*m + 6. Let b be z(-6). Solve y*l - 4*k - 4 = -b, -5*l - k = 1 for l.
0
Let n(d) = -d - 5. Let v be n(-7). Let a be 56/35 + v/5. Let s be (3 + 0)*5/3. Solve -2*j - 4 = j + a*b, -3*j - 10 = s*b for j.
0
Let c = 0 + -11. Let m(p) = 7*p - 37. Let a(i) = 3*i - 18. Let r(d) = -9*a(d) + 4*m(d). Let t be r(c). Solve 0 = -f + b - t - 1, 0 = -4*f + b - 1 for f.
1
Let a be (6/(-4))/(1*(-6)/16). Solve 4*c - 4*d - 14 = 2*c, -c - d = -a for c.
5
Let z = 4 - -2. Suppose 2*r = o + 8, o + r - z - 1 = 0. Solve w + o*p = 1, -w = p - 2 + 3 for w.
-3
Let v = 12 + -4. Solve v = 4*w + 2*b, -3*w + 4*b - 2 = 14 for w.
0
Suppose 2*x = 7*x - 10. Solve l - 3*l - 4*m = -x, -4*l - 2 = 2*m for l.
-1
Suppose 0 = -5*l + 3*h - 9, -12*l + h = -10*l + 3. Solve -25 = -5*o - l, b + 3*o - 13 = 0 for b.
-2
Suppose 3*s + 4*v - 14 = 0, 0 = 5*s - 0*v + v - 29. Let p be (-15)/10*10/(-3). Suppose 0 = 4*r - 2*r - 8. Solve 0 = -4*a - 0*z - r*z, s = -p*a + z for a.
-1
Let r(l) = 4*l + 0*l**2 + 7*l**2 + l + l**3 + l. Let g be r(-6). Solve 2 = q + o, 2*q - 2*o - 1 - 3 = g for q.
2
Let h(k) be the first derivative of -k**2/2 - 7*k - 2. Let q be h(-10). Solve 5*a - 10 = 2*z, 2*z + q*a + 10 = 2*a for z.
-5
Let n be (-66)/55*(-5)/2. Solve -2*o - 15 = 2*a + 1, -16 = -n*o + 5*a for o.
-3
Suppose -23 = 5*o + g + 6, 2*o + 11 = -g. Let d be 2*(0 + 51/o). Let n = d + 37. Solve 4*m + 4*l = 3*l + n, -5*m = -5*l for m.
4
Let i = 15 - 9. Let h be i/2 + (3 - 4). Suppose -3*y + 16 = 4. Solve -4 = -4*x + h*n - 14, y*n = 20 for x.
0
Suppose -k - 2*k = 0. Let j be (-8)/(k - (3 - 2)). Suppose j = -3*v + 23. Solve 5*x + i + 0*i = 5, -3*x = v*i - 3 for x.
1
Let b = -5 + 7. Solve -f - 4*r = b - 18, 3*r - 12 = -5*f for f.
0
Suppose 0 = -4*x + 6*g - 11*g - 10, -5*x - 6 = 3*g. Suppose -2*y + 0*y + 13 = 3*h, -2*y = -5*h + 11. Solve x = 2*o + 3*p + 11, y*o = 4*o - p - 9 for o.
2
Let h(f) = f + 2. Let w be h(-2). Suppose w = -k - 0*k. Solve -3*z + 0 - 15 = k, 0 = -3*a - 5*z - 22 for a.
1
Let u(n) = -n**3 + n**2 - n - 2. Let m be u(0). Let k(h) = -3*h - 1. Let j be k(m). Solve j*d + 7 = -4*x, -d = 2*d + 5*x - 1 for d.
-3
Suppose 5 = 3*a - s + 2, 0 = -2*s + 6. Solve -3*k - u = -0*u - a, 3*u - 18 = 3*k for k.
-1
Suppose -5*j + 0*j + 25 = 5*r, 3*j = 2*r. Solve 5*l = -2*p - r*p - 30, l + 9 = -4*p for l.
-5
Let m(w) = -w**2 - 4*w + 2. Let g be m(-3). Solve -5*r = 3*t - 29, t - 4*r = -g - 8 for t.
3
Let q be ((-27)/36)/(2/(-8)). Let f be 6/q + 0/(-1). Solve 3*r = 4*k + 20, f*k + 3*r + 20 = -2*k for k.
-5
Let k be (-8)/2 + (-2 - -19). Let c(d) = -2*d**2 + 1. Let n be c(-1). Let p be 3 + n + (0 - -1). Solve -2*g = -p*x + k, -4*x + 3 - 4 = g for g.
-5
Let z(h) = -40*h - 8. Let j be z(-1). Solve -4*n - 3*i - j = i, 3*n - 5*i = 16 for n.
-3
Let l = 3 + -1. Let v be (l - 1)*(3 + 2). Solve 0 = 4*d + d - 5, -s = -v*d + 3 for s.
2
Let u = 27 + -15. Suppose -7*d - u = -10*d. Solve 5*w + 6 = -d*p - 9, w + 3 = 5*p for w.
-3
Let y = -4 + 6. Suppose 9*j - 4*j = -m - 25, -5*m = -5*j + 5. Let f = 31 + m. Solve f = 4*w - 2*p, 3*w + 0*p - 21 = y*p for w.
5
Let l be (-4)/(-14) + 15/21. Let p be 10/15 - 73/(-3). Let d = p + l. Solve 0*y + 5*m = -4*y + 25, d = 5*y + m for y.
5
Let f(c) = -c**3 + 2*c**2. Let x be f(1). Solve -5*l - y - 19 = 0, 3*l = 2*y - 0 - x for l.
-3
Let r = 25 - 9. Solve 13 = -3*u - 4*q, 8*q + r = -4*u + 3*q for u.
1
Let v be 5 + -4 + 6 + -3. Solve v*f - 7 = -5*s, 3*s + 5*f - 5 = 7 for s.
-1
Let t(v) = -v + 4. Let q be (-4)/((-6)/3) + -2. Let b be t(q). Suppose -b*w + 0*w = -8, -5*p + 28 = 4*w. Solve 5*s - p*y = -9, 8*s - 5*s = -3*y for s.
-1
Suppose -35 = -6*k + 85. Solve 5 = -m, -5*f = 3*m - 2*m - k for f.
5
Let w(z) = -7*z**2 - 18*z + 30. Let n(b) = 3*b**2 + 9*b - 15. Let r(u) = 9*n(u) + 4*w(u). Let k be r(6). Solve -4*f - 10 = -5*s, 5*f + 18 = 5*s + k for f.
-5
Let d(z) = 3*z + 1. Let i be d(1). Let p = 14 + 6. Suppose 2*h + 0 = 4. Solve i*l - p = 0, -h*a + l = -4*l + 29 for a.
-2
Suppose 4*d = 1 - 9. Suppose -6 = -4*y + 2. Let c be 8/y + 4 + d. Solve 3*z = -4*i + c, -2*i = i + z - 2 for i.
0
Suppose 0 = -2*t - 2*t - 16. Let f be (-8)/32 + (-5)/t. Solve 5*o = -f - 9, 3*s = -o - 8 for s.
-2
Let s(i) = 2*i - 7. Let c be s(5). Suppose -c*k = -5*k. Solve -4*l + 3*x + 11 = 0, 0 = -3*l + 4*x + 10 - k for l.
2
Let x be (-3)/(-9) + 10/6. Suppose 3*s = -4*c + 28, 2*c + x*c + 4 = 5*s. Suppose -s*t + 8*t - 96 = 0. Solve 0 = -5*y - n + 3*n - 23, -5*y - t = -n for y.
-5
Let m = 15 - 13. Suppose -m = -4*g + 18. Solve 0*s = 5*s, g = -j - 5*s for j.
-5
Let p = 11 - 5. Suppose 0 = -5*n + 4 + p. Solve 5*o + 8 = -w, -4*o + n*w = -6*o for o.
-2
Let w = 0 - -4. Let r be ((-10)/(-8))/((-1)/w). Let b(x) = x**3 + 7*x**2 + 2. Let m be b(r). Solve 4*l + h = 13, 5*h = -3*l + m - 21 for l.
2
Suppose 1 = -o + 2*o - 2*d, -3*o + 4*d - 3 = 0. Let u = 7 + o. Suppose -5*h - 2*v = -1, 5*h + u*v = 3*v + 7. Solve h = 3*j + 3*k + 10, -k = -4*j - 2 for j.
-1
Let r(u) = -9*u - 2. Let y = -4 - -1. Let k be r(y). Suppose 2*z = -3*z + k, -3*q - 5 = -z. Solve -20 = 5*p + 3*i, q*p + 2*i + 9 = p for p.
-1
Let h(u) = u**3 + u + 4. Let i be h(0). Solve 3*r - i*n = -0*r + 9, 4*r = -4*n + 12 for r.
3
Suppose -2*p - 44 = -6*p - 3*b, 0 = 2*p + 5*b - 8. Suppose p = j - 4*g, j + 13 = -6*g + g. Solve -2*z - f = -4*f + 22, 2*z + 3*f = j for z.
-5
Suppose -4*c = -10*c. Solve -3*z = -3*p - 15, 0 = 3*z - c*p - 4*p - 19 for z.
1
Suppose -5*t = 6 - 41. Suppose -3*s + 2 = -2*s. Let l(m) = m**3 - 2*m**2 + 2. Let h be l(s). Solve -5*g = -4*g + w + t, -h*g + 5*w = -14 for g.
-3
Let x be (-46)/(-11) - (-24)/(-132). Solve -i = -x*c + 25, 0*c - c + 5 = 0 for i.
-5
Let b(t) = t**3 + 2*t**2 - 2*t - 2. Suppose 0 = 3*z + 20 + 85. Let d be (14/z)/((-1)/(-5)). Let j be b(d). Solve 0*r + r - 1 = 4*h, 2*h = -j*r + 12 for r.
5
Suppose 0 = -3*i - 5*b + 30, -4*i + i - 3*b + 24 = 0. Suppose i*r - 10 = 10. Solve 0 = l - 3*t + 8, r*l + 0*t = -5*t - 15 for l.
-5
Let f = -15 + 36. Let u = f - 18. Solve j - 15 = -u*n, -5*j = -2*j - 9 for n.
4
Let j = 1 + 2. Suppose 5*b = -a - 29, 3 = j*a - b - 2*b. Let y = -2 - a. Solve 2*m - 4 = 5*i, y*m + 4 = -0*m + i for m.
-3
Let w be (0*(-3)/(-12))/((-1)/1). Solve g - 3*l = -3, -g + w*g + 5*l = 7 for g.
3
Suppose 0 = 2*c + c - 18. Let w(v) = 2*v - 6. Let o be w(c). Solve 4*f + 4*p = -4, p + 19 = -3*f + o*p for f.
-3
Let j be 1/12*4 - 55/(-15). Solve -j*u = -2*t - 6, 0 = -5*u + 13 + 7 for t.
5
Let d(x) = x + 5. Let g be d(-1). Solve -j + g = 0, 25 = 2*n - n + 5*j for n.
5
Let x = -35 - -35. Solve x*i - i - 5 = 2*p, 2*i + 2*p = -10 for i.
-5
Let l = 46 + -30. Solve -4*o + 10 = 2*f, -4*f - 2 = 2*o - l for f.
3
Let n(w) = w**3 - 6*w**2 + w + 4. Let y be n(6). Solve g = -2*q - 0*q - 3, -3*q - y = -4*g for g.
1
Let u(b) = b**2 - 4*b - 8. Let c be u(6). Let v be 8 - (c + -3 + -4). Solve -2*t + 6 = 2*z, 2*t + 0*t + 3*z = v for t.
-2
Let g be -1 + (-3)/(-9)*3. Let o = 12 + -7. Let z = 8 - o. Solve -3*x + g*q + q = -13, x - z = -q for x.
4
Let n(t) = t**3 - t**2 - t - 15. Let w be n(0). Let k be (21*1)/(w/(-10)). Solve 0 = z + 4*z + x + 9, -2*z = 3*x + k for z.
-1
Let p = -122 - -124. Let d(j) = -j**2 - 3*j + 5. Let f be d(-4). Solve 0 = p*a - w - f, -5 = -0*w + 5*w for a.
0
Let w(o) = -10 - o - 2*o + 11