 5*o, -5*m + 4*o = -9 for m.
5
Suppose 23*r - 8 = 19*r. Solve -5*y - 7 = -2, 2*y + r = -p for p.
0
Let u = 5 - -2. Suppose -u*n + 15 = -2*n. Suppose -3*x = -n*s + 12, 0 = -x - x - 4. Solve 3*i - i + 2*m + s = 0, 4*i = -3*m - 2 for i.
1
Suppose -38 - 7 = -15*o. Solve 0 = -o*m + 6, 4 = 2*r - 0*m - 3*m for r.
5
Let c = -12 + 11. Let w be ((-4)/(-10))/(c/(-50)). Solve -3*g = -2*z - w, -3*z + 20 = -8*z for g.
4
Let a(c) = -22*c + 1. Let k be a(-1). Let r be (0 - -3) + 4 + -3. Let s(f) = -f**2 + 5*f + 6. Let p be s(6). Solve -1 = o - 2*j, r*o + j - k = -p*j for o.
5
Suppose 0 = -7*c + 4*c. Solve c*o + 5 = -o, a - 3*o = 13 for a.
-2
Let s(p) = -p**2 + 5*p - 2. Suppose 3*c + 4*g - 21 = 0, -21 = 5*c - 10*c - 2*g. Let f be s(c). Solve f*l + 3*w + 2 = -6, 5*w = -20 for l.
1
Suppose -3*f + 5 = -4*q, -5*f = -3*q - 5 - 7. Let g(s) = 3*s - 1. Let l be g(q). Solve 0 = -l*h + 4*j - 2, 0 = h + 3*h + 3*j + 15 for h.
-3
Let r be (4*-3)/(-3) + -2. Suppose 23 + 1 = r*d. Suppose -3*a - 14 = -a - 5*n, 0 = -3*n + d. Solve -2*l - 1 = -3*i - 3, -a*l - 12 = 3*i for l.
-2
Let h = -7 + 14. Let j = 0 + h. Suppose -2*c + j = 3. Solve 10 = -4*i - c*t, -3*i + 3 - 9 = 3*t for i.
-3
Let z = 0 - -1. Suppose 4*f - 17 = -z. Let p(u) = -u**2 - 8*u + 11. Let q be p(-9). Solve f = -2*i + 5*t - 3*t, -3*t + q = -5*i for i.
2
Suppose 0 = 3*d + k - 44, -k = d - 2*k - 8. Suppose -3*y + 0 + 9 = 0. Solve 0 = y*i - a - 16, i = -i + 3*a + d for i.
5
Let j = -42 + 51. Solve -4*f + m + j = 0, -4*m - 3 = -3*f - 2*m for f.
3
Let i = 6 - 1. Let j(g) = g - 7. Let r be j(10). Solve -i*x - 2*l = -3, r*l + 2 = 2*x - 3 for x.
1
Let h be (-2 - (-1 + -2))*7. Suppose h = 5*d - 3. Let y be 3/d*(6 - 4). Solve -y*w = -j - 8*w - 7, 4 = 4*j + 4*w for j.
3
Let h(y) = -y**2 - 7*y + 18. Let o be h(-9). Solve o*n - 20 = s - 4*n, 0 = 2*s + 5*n - 25 for s.
0
Let q(g) be the third derivative of -1/12*g**4 - 1/3*g**3 + 0 - g**2 + 0*g. Let r be q(-2). Solve -r*j - 2*j - 3*k = -6, 10 = -5*j + 5*k for j.
0
Suppose -4*g = -3*g. Let c = 3 + g. Solve 5 = 5*t, 12 = c*l - 0*l + 3*t for l.
3
Suppose -12 = -3*x + 18. Suppose 5*c = -5 - 5. Let t = c + x. Solve 3*a + t = -5*m, 6 = -0*a - a - 5*m for a.
-1
Let p be ((-8)/(-10))/(4/20). Solve -5*w = p*i + 20, 0 = 5*w - i + 2*i + 20 for w.
-4
Suppose 2*i = 4 + 2. Suppose -i*a + 3 = -3. Let n be 8/6 + 2/3. Solve -2*g - n*q - 2 = 0, g - a*q = -2*g + 17 for g.
3
Let y be (8/6)/(2/6). Solve -y*t - 12 = 4*i, t - 2*i = -4*t - 1 for t.
-1
Let z(g) = g**3 - 2*g**2 + 3*g - 4. Let p be z(4). Suppose -8*j = -4*j - p. Suppose -5*q + j*q - 20 = 0. Solve -2*y - 12 = -q, -3*r = 5*y + 5 for r.
5
Suppose -2*o + 5*p + 2 = 0, -5*p - 10 - 3 = -3*o. Solve q = 4*r - o, -4*q = -4*r - 2*q + 14 for r.
2
Let m be (-10)/14 - -1 - 917/(-49). Solve -2*s = -o + 12, 0 = 2*o - s - 2*s - m for o.
2
Let f = -65 - -85. Solve 4*s - f + 0 = 0, -3*h = -3*s + 3 for h.
4
Suppose -3*t - t = -16. Solve -4*y + 8 = t*l, 0 = 2*l + 2*l + 8 for y.
4
Let g be (-2)/(-12) - 102/(-36). Solve -2 = v - g*m, -v + m = -3*m + 2 for v.
-2
Suppose 3*a - 4 = -4*g, 3*a + 5*g = a - 2. Let x = 35 - 17. Suppose -5*d = -3*o + x + 19, -5*o - 2*d + 103 = 0. Solve 3*h + 29 = -a*f, 4*h - h + 2*f = -o for h.
-3
Let a = 133 + -131. Solve 13 = m + a*m + q, 4*m + 4*q = 12 for m.
5
Let c be 5/(-3) - (-2)/3. Let g = 1 - c. Let h be 0 - (0/(-1))/1. Solve h = g*r - 3*i, 2*i = i + 2 for r.
3
Let h(u) = 2*u. Let q be (-2 + (3 - 0))/1. Let v be h(q). Solve -5*b = -v*n - 5, -2*n + 6 - 19 = 3*b for n.
-5
Let k(o) = -o**3 - 17*o**2 + 2. Let f be k(-17). Solve -3*c + 4 = -f*p + 2, -4*c = -5*p + 2 for p.
2
Let a(w) = 2*w + 6. Let n be a(-5). Suppose 3*v - 23 + 2 = 0. Let u = v + n. Solve -4*o = 3*j + 23, -4*o - 8 - 9 = -u*j for j.
-1
Let l = 8 + -5. Suppose -15 - 5 = -5*w + 4*k, -l*k = -5*w + 25. Solve -2*h + 6*h = -2*r - 8, -h - w = 2*r for r.
-4
Let n(j) = 10*j + 22. Let f be n(-2). Solve -s + 0 = -o - f, -s = -2 for o.
0
Suppose 22*u - 26*u + 12 = 0. Solve 3*n - 3*g = 9, -5*n = 3*g + 12 - u for n.
0
Suppose 0 = i + 4*i + 5. Let f = 1 + i. Solve 3*w - 3*v + 12 = f, -4*w + v - 9 - 10 = 0 for w.
-5
Let w be (24/42)/((-2)/(-14)). Let d be 0/4 - 2/(-1). Let q be (-2)/(-3)*9/d. Solve -w*n - 2*c + 4 = 0, 0 = -n + c - 2*c + q for n.
-1
Suppose -5 - 19 = -3*g. Let j be g/6 + (-8)/(-12). Solve 5*n = j*s - 16, -3*n - 5*s + 7 = -2 for n.
-2
Let q be ((-8)/28)/((-2)/14). Suppose -3 + 13 = -q*j - 4*i, -5*i = 2*j + 15. Solve a + 0 - j = 5*b, -1 = b + 3*a for b.
-1
Let u = 1 + 3. Suppose -i = u*i - 10. Solve 4*g + 16 = x, 6*g + 33 = g - i*x for g.
-5
Suppose 4*q = 5*a + 65, -3*a - 6*q + q - 2 = 0. Let y be (-1)/a - 204/(-108). Solve 2*p - 2*h = -10, -4*p + y*h = 10 + 8 for p.
-4
Let m(w) = w + 7. Let y(c) = -1. Let r(f) = -m(f) - 3*y(f). Let z be r(-4). Solve 0 = 5*k + 25, z = -5*h - k - 2*k - 40 for h.
-5
Suppose 2*o - 2 = -0. Let z be (3 - 0) + o + 1. Solve 7*k + 5*m = 3*k + 4, 5*k + 2*m - z = 0 for k.
1
Suppose 15 = -z + 6*z. Let w(b) be the first derivative of 31*b**3/3 + b**2/2 + 2. Let p be w(-1). Solve 5*m - 3*o = p, -m - z*m - 5*o - 13 = 0 for m.
3
Suppose -6*j + j + 25 = 0. Let f = 69 - 65. Solve -j = -f*o - 2*t + 1, -4*o - 19 = -3*t for o.
-1
Suppose -5*v = 3*q - 6, 7 = 5*q + 2*v + 16. Let o be (-1 - (q - -1))*2. Solve 0*t - 2*m + 12 = o*t, 14 = -t + 3*m for t.
1
Let j be -1 - -33 - 28/14. Let w = j - 26. Solve -w*o - 29 = -0*m + 3*m, 2*o + 7 = m for o.
-5
Let h be (-65)/(-15) + (-6)/(-9). Solve -7 = h*y + 8, 0 = 5*u - 3*y - 24 for u.
3
Suppose 4*f + 2*x = 20, -10 = -4*f + 2*f - 5*x. Solve 2*n + 0*n + g = -11, -f*n - 17 = -g for n.
-4
Let i = 2 - -2. Let r be (-2)/2 + -5 + 4. Let s be (r + 1)*(12 + -47). Solve 5*z - 45 = i*o, -5*z + s = -4*o + 2*o for o.
-5
Suppose -11 = -4*k + 29. Suppose -c + 11 = 2*c - 2*u, 3*c - 3*u - 12 = 0. Let w = c + -1. Solve w*q - k = -5*v, 0*q + 4*v - 20 = -4*q for q.
5
Let r(d) = d - 4. Let k be r(8). Let z = 14 - k. Let w(s) = -s**2 - 4*s. Let t be w(-3). Solve -z = 4*y - t*p, -3*y + p = 2 + 3 for y.
-1
Suppose 35 = 5*n + 10, -3*s = 5*n - 31. Solve i + y - 3 = 0, -2*i - s*y - 19 = -5*i for i.
5
Let b(s) = -3*s**3 - 3*s**2 - 2*s - 4. Let u be b(-2). Let z = 4 + -1. Suppose 5*a + z = 2*h, -3*h + 8 = -h. Solve -2*d - 7 = -a, 0 = 3*y + d + u for y.
-3
Suppose -g = -2 - 2. Suppose 2*x - g = -0*x. Solve x*m - i = -12, 0 = -m + 2*i + i - 11 for m.
-5
Suppose -2*o = 3*c + 2*o - 41, -4*o = c - 11. Suppose 4*k - 5*k = -4*v + 25, c = 2*v - k. Solve v*u + 4*y - 8 = 0, -u - 5*y + 0 = 11 for u.
4
Let i(q) = -q + 13. Let j(k) = -k + 6. Let m(y) = 2*i(y) - 5*j(y). Let o be m(3). Solve 0 = -3*g + 3*p, 0 = 3*g - o*g + p - 1 for g.
-1
Let r(g) be the third derivative of g**5/60 + g**3/3 - 2*g**2. Let c be r(0). Solve 6 = c*t + v - 2*v, -t + 4*v = 4 for t.
4
Let p(u) = -u + 3. Suppose -4 = 2*w - 14. Let x be p(w). Let a(c) = c**2 + 3*c + 3. Let f be a(x). Solve 5*q - 5*i + 25 = 0, -f = 3*i - 4 for q.
-4
Let s(q) = -q - 1. Let i be s(5). Let l = i + 8. Suppose -l*d + 1 = -0*d + 3*o, -3*d + 2*o = -21. Solve -m - d*v = 5, m + 4 + 1 = -2*v for m.
-5
Let t(v) = v**3 + v**2 + v + 5. Suppose 5*q = 3*g, -q - 2*q = -3*g. Let y be t(q). Solve y*j - d + 0*d - 22 = 0, -2*j + 5*d + 18 = 0 for j.
4
Suppose 40 = 2*t - 0*t. Let j(d) = -d**2 - 4*d. Let y be j(-2). Suppose 5*r = 5*o - 35, -5*r - 3 = 2*o + y. Solve -s = -3*p - 4*s - 6, o*p - 2*s = -t for p.
-4
Suppose -5*h + 2*g + 7 = 0, -2*h - 3 = -4*h + g. Let a be 2*(0/3 + 1). Solve 0 = -4*y + 4*u + 20, a*y - h = -5*u + 2 for y.
4
Let z(a) = a**2 + 7*a + 9. Let t = 7 - 13. Let k be z(t). Let y = 5 - k. Solve 3*s + y = x, -4*s - 3*x - 2*x + 10 = 0 for s.
0
Let r(c) = c**3 - 3*c**2 + 2. Let j be r(3). Solve 5*z = 4*i - 8, 8 = -5*z + j*i - 6 for z.
-4
Let b(i) = -i**2 + 9*i. Let t be b(9). Solve 2*w - 10 = t, 5*n + w - 4*w = -30 for n.
-3
Let k be (-84)/15 - 4/10. Let s = 8 + k. Solve 3*p - p = -4*u + 2, -2*p = -s*u - 2 for u.
0
Let v(s) = s + 5. Let m(p) = -p**2 + 3*p - 2. Let t be m(2). Let n be v(t). Solve -4*c - 6 = -5*o + 19, 2*c + n*o = 25 for c.
0
Let g = 23 + -8. Suppose -3*t - 2*f + 50 = 0, 0 = -2*t + t - f + g. Suppose w + 3*w = t. Solve 5*c - 3*c + w*a - 9 = 0, 0 = 3*c + a + 6 for c.
-3
Let a(v) = -v**3 - 20*v**2 + 43*v - 13. Let w be a(-22). Solve 25 = -5*j - 5*x, -j + 0*j = 2*x + w for j.
-1
Let r = 8 - 4. Sup