= 6 - 4. Suppose -3*w - m = 4*s, -i = -3*w + 5*s + 12. Solve 0 = -w*j - 3*j - 5 for j.
-1
Let x = -22 - -27. Solve 0 = x*i - i + 16 for i.
-4
Let t = 56 - 56. Solve 0*u - 5*u - 10 = t for u.
-2
Let m(c) = c**2 + 3*c - 1. Let f be m(-4). Suppose -4*h + f*h = -9. Let g be (-66)/(-54) - 2/h. Solve -g = i - 4 for i.
3
Suppose 0 = o - h - 1, 4*h - 7 + 1 = 2*o. Let m = -11 + 17. Suppose 3*i + 0 = 6. Solve -i*d + m = -o*d for d.
-2
Let n(g) = g**3 + 4*g**2 - 4*g + 6. Let f be n(-5). Let r(l) = l**2 + 3*l - l - f + 0*l**2. Let d be r(-3). Solve -2*k - 12 = -d for k.
-5
Let r be 0 + -1 - (3 + -9). Suppose -5*k + 9*k - 16 = 0. Solve 0 = r*f - f + k for f.
-1
Let s = 9 + -5. Suppose s*q - q = 0. Solve q = -m - 0*m + 2 for m.
2
Suppose 2*d = l - 25, -7*l + 3*l - d + 55 = 0. Suppose 5*r - 4*c = -4 + 12, -c = 3*r - l. Suppose -2*v = -0*v - r. Solve -7*a + 5 = -v*a for a.
1
Let i be ((-1)/3)/((-3)/(-9)). Let b = 2 - i. Solve -b*f - 15 = -0*f for f.
-5
Let g be 36/12*14/6. Solve 9 + g = -4*a for a.
-4
Let l be (-12)/(-5) + 3/5. Let m = l + -1. Solve -m*q = -q for q.
0
Suppose a - 4 = -1. Let z = -4 - -5. Suppose -g - 4 = -4*t, 4*t = -3*g + 5 - z. Solve u + a*u - 12 = g for u.
3
Suppose 3*l = -2*l + 20. Suppose 2*h = l*h - 40. Solve 5*s = -h - 5 for s.
-5
Suppose s = -s - 2*p - 10, -3*s = -4*p - 20. Let k be (-6)/(-8) - 18/(-8). Let z be k + (-2 - -3)*-1. Solve -2*r + z = -s*r for r.
1
Let v = -23 - -25. Solve v*i = 5*i - 15 for i.
5
Let p be (6 - 0)*(-2)/(-3). Let u be 1 + (-3)/((-3)/p). Suppose a - 2 = 0, q + 4*a - 18 = a. Solve -u*v = -8 - q for v.
4
Let z(o) = -o - 6. Let a be 2/((3/1)/(-12)). Let r be z(a). Solve -r*i - 2*i - 8 = 0 for i.
-2
Let w(s) = s**3 + 2*s**2 + 4*s + 3. Let d be w(-2). Let k be d*5/((-75)/6). Let g be 0 + -1 + (k - -11). Solve t = -2*t + g for t.
4
Suppose 0 = 3*n + h - 7, 5*n + 2*h - 10 = -0. Suppose -n*c + 9 = -v, 0 = -5*v - 4 - 1. Solve 3*l = c*l for l.
0
Let j = -11 + 15. Let f be 3/(15/50*2). Suppose f*g = j*g + 2. Solve -u = -g*u for u.
0
Let v = 216 - 211. Solve 4*n - v = 5*n for n.
-5
Let f = -25 + 36. Solve -1 + f = -2*o for o.
-5
Let o be ((-18)/(1 - -2))/(-1). Let i = o - 30. Let t = 34 + i. Solve 5*w + 0*w = t for w.
2
Let l = -11 - -16. Suppose -b - 2 + l = 0. Solve -b*g = -0 - 3 for g.
1
Let d(y) be the first derivative of y**3/3 - 7*y - 6. Let m be d(4). Solve -3*v = -6*v + m for v.
3
Let h be (1/(-1))/(3/33). Let p(k) = -k - 4. Let r be p(h). Solve o + r = 3 for o.
-4
Let b be 6/4 - (-6)/12. Solve 0*t + b*t = -10 for t.
-5
Let i be 1/((2/28)/1). Suppose -2*y - i = -3*r - 3, -y - 7 = -2*r. Solve -r*x + 4 = x for x.
1
Suppose 17*c = 4 - 4. Solve c = -8*w + 13*w + 20 for w.
-4
Let i(x) = -4*x**2 - 2*x**3 - 5*x**3 + 1 - 6 - 8*x. Let b(g) = -6*g**3 - 4*g**2 - 7*g - 4. Let f(d) = -6*b(d) + 5*i(d). Let h be f(-3). Solve -h*k = -0*k for k.
0
Suppose -q - 3*s + 7*s = 15, 0 = 3*q + 2*s - 11. Solve 4*i = -q + 5 for i.
1
Let m = 25 + -15. Let o = -9 + m. Let z be (-1 + -9)*o/(-2). Solve 0 = z*w - 9 - 6 for w.
3
Let i = 35 - 20. Let s be -1 + i/(-1 - -2). Suppose 5*p - 3*c - 14 = 0, p + 5*c - s = -0*p. Solve -2 = -p*r + 2 for r.
1
Let v = 23 - 13. Solve 0 = 7*p - 2*p - v for p.
2
Let u(n) = n**3 - 6*n**2 - n + 7. Let m be (-5)/10*(-12)/1. Let h be u(m). Solve -3*k - 8 = h for k.
-3
Let r(u) = -14*u - 1. Let b be r(-1). Suppose 3*j - 8 = 7. Suppose -j*f + 9 = -11. Solve f*a = -7 - b for a.
-5
Suppose -h - 5*o = -9, 0 = -5*h + 5*o + 15. Solve 8 = -2*b + h*b for b.
4
Let q = 8 - 5. Solve 0 = q*l - 0*l for l.
0
Let x = 42 + -37. Solve x*l = 8 + 7 for l.
3
Suppose 0 = 3*g - 12. Solve -3*z + g = -4*z for z.
-4
Let y = -4 - -7. Suppose -4*x + p - 5 = 6*p, -5*x = 3*p + y. Let v be 5 + -2 - (x - -2). Solve -3 = -u + v for u.
4
Suppose 2*c - 24 = -20. Solve -c = 5*g - 3*g for g.
-1
Let t = 29 + -19. Suppose 8*k - t = 3*k. Solve 5 = -k*c + 3 for c.
-1
Let s = 8 - 4. Let h be (2 - 8)/((-6)/s). Solve -2 = h*r - 2*r for r.
-1
Suppose 4*i - b - 11 = -2*b, 0 = 3*i - b - 3. Suppose 5*v = -2*y + 2, 4*y + 1 = -4*v + 5. Solve -2*c - 2 - i = v for c.
-2
Let a(v) = v**2 + 12*v + 7. Let s be a(-12). Suppose 6 = s*r - 8. Solve -r*q + 1 = -1 for q.
1
Suppose -4*t + 121 = 33. Let q = -16 + t. Suppose -2*b + 3 = -27. Solve q*d - d + b = 0 for d.
-3
Let a(k) = -k**3 - 3. Let x be a(-2). Solve 0*y + y = x for y.
5
Let s(c) = -c - 7. Let z be s(-9). Suppose 5*l - 11 = -2*w, l = z*w - 7*w - 7. Solve -2*m = l - 7 for m.
2
Suppose -8*q - 30 = -110. Solve 0 = -0*h + 2*h - q for h.
5
Let v(f) = -f**3 - 10*f**2 + 11*f + 3. Let n be (-1)/((-3)/33*-1). Let p be v(n). Solve p*g = 15 - 0 for g.
5
Let h be 4 + (-1)/(1 + -2). Suppose h*p = 2*p. Suppose -a - 4*a = p. Solve a = -s - s for s.
0
Let n = 8 - 6. Suppose 4*a - 23 = -l, 30 = 5*l - n*l - a. Solve 4 + l = 3*j for j.
5
Suppose -26 + 6 = 3*g - 4*y, 0 = -5*g - 2*y + 10. Solve -5*w - 8 - 17 = g for w.
-5
Let i(w) = w + 9. Suppose h - 16 = -0*u - 5*u, 1 = h + 2*u. Let s be i(h). Let j be 0 + 1 + s + 2. Solve -2*f + j = -f for f.
3
Suppose 0 = -4*g - 1 - 3. Let v be 4 - (1 + -1)/g. Solve t = 5*t - v for t.
1
Suppose 6 - 16 = -5*m. Solve k = m*k + 3 for k.
-3
Let v = -26 - -90. Suppose -z + 3*d = -14, 3*z = -d - d + v. Let y(p) = p**2 + 2*p - 3. Let a be y(2). Solve -a*u + u + z = 0 for u.
5
Let b = -16 - -25. Suppose h - b = r, 2*h - r = 9 + 4. Solve h*d = -8 - 8 for d.
-4
Let l(m) = m**3 + 6*m**2 - 9*m - 10. Let g be l(-7). Suppose -3*o + t + 86 = 0, -o + g*t = -2*o + 7. Suppose -3*i = -24 - o. Solve -3 = -4*w + i for w.
5
Let g(p) = -p**2 - 9*p - 5. Let q(u) = -4*u. Let k be q(2). Let o be g(k). Solve 0 = d + o + 1 for d.
-4
Let s(k) = -5*k - 5. Let v be s(-5). Let x = 44 - 40. Suppose q = -3*q. Solve q*m + v = x*m for m.
5
Let y be 30/(-4)*4/(-5). Suppose -n - 4 = -2*n + o, 5*n + 2*o - y = 0. Let x = -10 + 15. Solve -6 = -n*v + x*v for v.
-2
Suppose -2*t = v - 4, 0*t + 2*v = 3*t - 6. Let r be 2/4*0/(-3). Suppose 0*b - 2*b = -6. Solve r = t*p + b*p for p.
0
Let p(f) = f + 14. Let s = -19 - -8. Let w be p(s). Solve -w*n - 6 = -5*n for n.
3
Suppose -24 = -19*v + 7*v. Solve -v*c = -5*c for c.
0
Suppose -5*h = -0*h. Suppose h = 3*x - 5 - 10. Let l = 5 + -3. Solve -x = l*a - 3*a for a.
5
Suppose 3*o = -5*n + 22 + 19, 0 = 5*n + 2*o - 39. Solve -4*t + n*t - 6 = 0 for t.
2
Let n be (8/108*-3)/((-2)/18). Solve n + 2 = -z for z.
-4
Suppose 0 = 3*d - 2*d - 1. Solve y + d - 4 = 0 for y.
3
Suppose -4*u - b + 21 = 0, -1 = u - b - 0. Solve u*o = -o + 25 for o.
5
Suppose 18 = b + 2*b. Let n = b + -3. Solve -n*m + 6 + 3 = 0 for m.
3
Suppose 4 = -d + 3*d. Suppose 5*r + d*c = 0, -2*r + 2*c = -2*c. Suppose r = 3*a - 5*a. Solve a*k = 2*k for k.
0
Let c be (-8)/(-12)*3/2. Solve 3*u + c = -2 for u.
-1
Let j(w) = w**2 - 1. Let o(y) = y**3 - 4*y**2 - y + 4. Let r(f) = 2*j(f) - o(f). Let g be r(6). Solve g + 10 = 2*l for l.
5
Suppose 2*p - 14 = 4. Solve v - p = -2*v for v.
3
Let n(t) = t - 2. Suppose 2*l = -3*l + 35. Let z be n(l). Solve 0 = -z*q + 10 + 5 for q.
3
Suppose -3*i = 3*d + i + 19, -5*i - 20 = 0. Let w = 7 + d. Suppose 3*o = w + 6. Solve -5 = -o*n - n for n.
1
Suppose 6*z = 2*z + 16. Let m = z + -3. Solve 5*s + m + 9 = 0 for s.
-2
Suppose w - 4 = s + 1, -20 = w + 4*s. Solve -2*q - 3*q = w for q.
0
Suppose 2*c + 4*i = 3*c - 8, 2*i = -4*c + 14. Let l = -4 + c. Solve l = -4*k - k - 10 for k.
-2
Suppose 0*z - 2 = -z. Suppose 4 = -5*x + c, -x - 12 = -z*x - 3*c. Suppose -f = -2*f + 4. Solve -k - 3 + f = x for k.
1
Let t be (-110)/(-44)*36/10. Let b(l) = -4*l - 6. Let o be b(-4). Let y = o - 5. Solve -y*c - t = -2*c for c.
-3
Let y be 4/6 + (-244)/6. Let w be (-12)/(-8)*y/6. Let d = w + 15. Solve 3*m + 2 = d*m for m.
1
Let p(w) = w - 8. Let y be p(11). Let s = y - -1. Suppose -2 = z - s. Solve z*i = -11 + 3 for i.
-4
Suppose 0 = -5*c + 4*f + 35, -23 = -c - 0*c + 4*f. Solve -d - c*d = 8 for d.
-2
Let p be (-1 + 1)/((-8)/2). Solve -8 = 4*z - p*z for z.
-2
Let w be ((-5)/1)/(-3 + 2). Let u be (8/20)/(4/160). Solve -w*k = -k - u for k.
4
Suppose 1 + 23 = 6*r. Solve 0 = -r*x - 0 + 8 for x.
2
Let n(d) = d**2 - 5*d + 6. Let t be n(4). Let q = 8 - 6. Solve t*y = -q*y for y.
0
Let r be ((-9)/4)/(12/64). Let v be (4/r)/((-2)/18). Let l be v/1*24/18. Solve -l*z + 3*z = -4 for z.
4
Suppose -44 = -4*y + 4*h, -2*y + 3*y + 1 = 5*h. Let t = 20 - y. 