 4*k - 9 = q, 2*m + 0*m - 3*k = -y for m.
1
Let s be -2 - (-3)/((-3)/2). Let f be s/18 + (-38)/(-9). Suppose o - 2 = -5*i, 2 = o - 3*i + 7*i. Solve 2*u - m = o*m + 2, 4*u + 5*m - f = 0 for u.
1
Let v(y) = -9*y**2 + 13*y - 10. Let g(p) = 4*p**2 - 7*p + 5. Let s(t) = -7*g(t) - 3*v(t). Let b be s(9). Solve -3*j = b*m + 13 + 6, 5*j = 2*m - 23 for j.
-5
Let v(k) = k - 7. Let z be v(10). Solve z*r + 0*m - 11 = 4*m, 3*r + 4 = m for r.
-3
Let z(u) = -u**3 - 7*u**2 - 5. Let r be z(-7). Let g = r - -5. Solve g*b - 2*b + 4*j = 18, 0 = 2*b - j + 3 for b.
1
Suppose -31 = -5*c + 3*n, -c - 4*n = -0*n - 20. Solve 2*d + 7 = -c*u + 3*u, 23 = -u + 5*d for u.
-3
Suppose -19 = -n + 1. Suppose -3*k + 12 = 3*o, -k = -4*o - 4*k + n. Solve l + p - 4 = 0, -3*l + o + 8 = 4*p for l.
0
Suppose 5*l - 38 = -13. Suppose -m = 1 - l. Solve 0*d + 6 = 2*d + 4*s, 0 = d - m*s + 15 for d.
-3
Suppose -3*i + 10 = 1. Solve -2*d = -3*p - 5, 5*d - p + i*p - 22 = 0 for d.
4
Let k = 15 + -11. Let y = -19 + 21. Let u be 2 - (0/(-1) + 2). Solve m - y*a = -a + 6, k*a + 4 = u for m.
5
Let m = 0 + 3. Let n = 12 + 0. Suppose -16 = -3*a - 4*d, -d + n - 3 = 2*a. Solve m*v + 12 = -3*x + 4*v, 4*v - 24 = a*x for x.
-3
Suppose -2*r - 8 = -4*y + 8, 2*y = 10. Solve -c = r*i - 2, -1 = -3*i - 3*c - 4 for i.
3
Let i(f) = -f**2 + 3*f. Let y be i(2). Suppose y*g - 6 = g. Solve 3*v - 2 = 2*m, 2*v - 4*v + g = m for m.
2
Let k = 47 + -44. Solve -2*t = 0, 2*j = -k*j - 3*t for j.
0
Let m be 18/(-12) + 7/2. Solve o - 5*o = -3*k + 27, -m*k - o + 7 = 0 for k.
5
Let o = 36 - 22. Let a(j) = 2*j - 11. Let w be a(9). Let x = w - 5. Solve 3*n - 5 = -k + 5, -x*k = 3*n - o for n.
2
Suppose -4*s + a = -2*s - 42, -2*s + 58 = 3*a. Solve 2*k - k = -5, 2*d + 3*k = -s for d.
-4
Suppose 0 = -6*j + 40 - 16. Let g = 0 - 0. Solve -10 = -j*z - 0*b + 5*b, g = -5*z + 2*b + 4 for z.
0
Suppose 2*g - c - 21 = -8, 5*g - 34 = 2*c. Suppose 0 = 2*s - 2*u - 2, 2 = s + 2*u - 11. Solve -3*i - 4*d - g = 0, d = -s*i + 26 - 11 for i.
4
Let f = -3 - -6. Solve -u = 5*t - 0*t - 11, -u = -f*t + 5 for u.
1
Suppose 0 = 13*j - 52 - 52. Solve 0 = 5*a - 10, a = 5*l - 2*l + j for l.
-2
Suppose -2*f = -10 + 4. Solve -r = f*r - 4*p, -5*r = -2*p for r.
0
Let o be -5 + 15/(4 + -1). Solve -8 - 9 = 4*l - a, l + 2*a - 7 = o for l.
-3
Suppose -2*d = -3*d - 32. Let m be (-5)/(-1)*d/(-10). Let j = m - 10. Solve -4*u + j = -l + 14, -17 = 2*l + 3*u for l.
-4
Suppose 3*r + 5*t - 72 = 0, 0 = 2*r - t - 25 - 23. Let o = 2 - -1. Suppose 0 = -o*l + x + 19, 0 = -5*x + 4 - r. Solve -4 = l*z + 3*s - 0, 2*z + 7 = -3*s for z.
1
Suppose -b = -2*b + 14. Solve -3*r = o, 5*r - 4*o = b + 3 for r.
1
Let s be (0 + (-18)/(-15))*(-30)/(-12). Solve -2*r + 19 = -s*r - 5*l, 12 = -4*l for r.
-4
Suppose -4 = 8*s - 20. Solve 2*y = -s*y + 5*q - 5, 0 = -5*y - 5*q + 5 for y.
0
Let x = -1 - -1. Suppose 5*w - 5*z - 35 = 0, -w - 4*w + 4*z + 30 = 0. Solve 2*n + u = 1, 0*n + w*n + 4*u - 16 = x for n.
-2
Suppose 3*q + q = 0. Let m = 2 + -2. Solve q = 3*n + 6, 4*t - 3*n + 2 = -m*n for t.
-2
Let k(u) = 4*u - 58. Let m be k(15). Solve 0 = m*j + 3*j - 4*l - 33, -4*j = -3*l - 26 for j.
5
Suppose 0 = -n + 5 - 3. Solve -3*x = -a - x + 7, -3*x = -n*a + 9 for a.
-3
Let b = 16 - 14. Solve -4*m + 4*a + 12 = 0, b*a + 15 + 0 = 5*m for m.
3
Suppose 0*u - 7 = u. Let x = -5 - u. Let g = x - -2. Solve y = g*k + 14, 3*y + 16 = -2*k - y for k.
-4
Let t(m) = -m**3 + 6*m**2 + 7*m + 8. Let q be t(7). Suppose 0 = 3*w - 1 - q. Solve 0 = 5*b + 4*u + 7, -u - 2 - 4 = -w*b for b.
1
Let k be ((-3)/2)/((-6)/24). Let o(z) = z + 2. Let p be o(k). Solve p = 4*b + c, 5*b - 7 = 2*b - c for b.
1
Let r = -14 - -16. Solve d - 4*b = -d + 2, -5 = r*d + 3*b for d.
-1
Suppose -3*s + 46 = -s. Suppose -4*h + 26 = 2*u, 3*h + s = 2*u + 4. Solve -3*w - u = 4*t, 5*t = w - 4 - 5 for t.
-2
Let k(z) = -z**3 + 10*z**2 - 9*z + 2. Let c be k(9). Let s be 2 + 2 + (-2)/c. Solve s*l + 5*t - 24 = 0, 0*l + 4*t - 6 = 2*l for l.
3
Suppose 0 = 3*j - 8*j + 20. Suppose -j*i = -14 - 10. Let s be 83/5 - i/(-15). Solve -2*c + s = -5*w, 0*c - 3*w = -c + 10 for c.
1
Let o be (-10)/(-3) + (-2)/6. Suppose r - 22 = -o*x - 3*r, x - 8 = -2*r. Suppose 0 = 3*y - x*y + 15. Solve -y = 5*d, -2*d = 4*j - 6*d for j.
-1
Suppose -5*i - 4*b + 7*b + 98 = 0, -2*i + 36 = 2*b. Let o be 2 - (i*-1 - -1). Suppose 0 + o = 5*z. Solve 2*n + 0 = -4*p + 14, z*n + 4*p = 12 for n.
-1
Suppose -2*j - 12 = -5*h, -2*h - 2*j = 2*j. Solve -z + 6*z = -4*q - 5, -h*q + 2 = 4*z for z.
3
Let y = 15 + -12. Suppose y*d = -d. Solve d = -p - f + 6*f + 21, 3*f = -2*p - 10 for p.
1
Suppose -2*h + 7*h = 25. Let v be (6/(-4))/((-6)/8). Let b = 0 + v. Solve -5 = u + a, u + a = b*u + h for u.
-5
Let x be 595/(-42) + (-1)/(-6). Let k be (-4)/14 - 4/x. Solve 18 = -3*v - 3*n, -v = -k*n - n + 2 for v.
-4
Let l = 44 - 39. Solve 3*g = -0*g - 4*f - 8, 0 = g - f + l for g.
-4
Let t be (1 + -4)*(-6 - -5). Solve -4 = 2*k, -t*h = -7*h - 4*k - 8 for h.
0
Let w be (22/2)/(2/8). Suppose -5*d + 54 = n, d = -3*d - n + w. Let s(f) = -4*f - 16. Let v be s(-6). Solve 2*k - m = 3, -3*k - 2*m = -v*k + d for k.
4
Let c = 39 - 35. Solve -4*n + 0*n = 3*g - 28, -2*g + 3*n = c for g.
4
Suppose 5*n - 15 = 0, -5*a + 4*n - 6 = -3*a. Suppose t = -4*w + 27, -w - 2*t = -3*t - 8. Solve 2*f - 7 = -5*q, -4*f = a*q - 0*f - w for q.
1
Suppose h = 4*h - 15. Solve -4*o + f = 13, -3*f = h*o - o + 9 for o.
-3
Let m be 32/14 + (-2)/7. Suppose 0*o - 2*o = m*k, 2*k + 9 = -5*o. Let l be (11 + -2)*(2 + -1). Solve 0 = k*i - 0*i + l, -3*p = -i - 6 for p.
1
Let i(s) = s**3 + 3*s**2 - 5*s - 4. Let h be i(-4). Solve 3*q + 8 = 2*b, 0 = -4*b - h*b - 8 for q.
-4
Let u be ((-10)/(38 - 8))/((-1)/6). Solve m - 2*o = 6 - 5, -u*m - 3*o - 19 = 0 for m.
-5
Let b(p) = -p**3 + 4*p + 3. Let o = 2 - 0. Let g = o - 4. Let y be b(g). Solve 0 = -4*a - y*t + 6, -3*t - t = -a - 8 for a.
0
Let n(m) = -m - 4. Let v be n(-7). Suppose -5*r + 3 = -22. Solve p + 2 = r*c, -5*c - p + v = -5 for c.
1
Let s = -3 - -11. Suppose 6*x = 8 + 10. Solve 3 = -x*f, -4*f = -3*a + s*a - 6 for a.
2
Suppose 3*n - 10 = 2. Solve 13 = -n*x + q, 2*x = -x - 4*q - 24 for x.
-4
Suppose 5*a - 33 = 5*q + 2, 3*q = -15. Solve -3*o + a = r, -2*r = o + 2*r - 19 for o.
-1
Let g be (7 - 3) + 2 + 0. Let p(w) = w**2 - 3*w + 1. Let m be p(1). Let q = m + 1. Solve g*v + 3*a - 21 = 2*v, v - a = q for v.
3
Let d(k) = k - 2. Let i(o) = o**2 + 2*o - 1. Let v be i(-3). Let h be d(v). Solve -2 = -5*w + s, -4*w + 4*s = -h*w - 8 for w.
0
Let a be (-4)/22 + (-5)/(165/(-72)). Solve o - 3 = -4*n, 5*o = a*o - 5*n + 9 for o.
3
Let v(g) = -g**2 - 23*g - 18. Let z be v(-22). Solve -d - 2*a = a - 2, 4*a + z = -3*d for d.
-4
Let o be 297/55 + 3*(-2)/15. Solve -3*j + o = -1, 5*d - 4*j - 17 = 0 for d.
5
Suppose -6*v + v + 30 = 0. Solve -v*r + 3*r = 5*b - 10, 0 = 2*b + 3*r - 4 for b.
2
Let s(r) = -r**2 - 9*r + 2. Let q be s(-9). Solve -q*d = -3*p + 4 - 3, 3*d - 3*p = -6 for d.
-5
Let f(c) = c**2 + 5*c + 4. Let b(u) = u**2 + 5*u + 4. Let r(i) = -6*b(i) + 5*f(i). Let j be r(-3). Solve k = j*s + 10, 0*k = -5*s + 4*k - 28 for s.
-4
Let b(y) = -y**2 + 4*y + 6. Let p be b(6). Let f be -2 + p/(-4)*6. Let d = f + -1. Solve 21 = 2*q + 5*u, 3*q + 4*u + 16 = d*u for q.
-2
Let u = 60 - 36. Suppose a + a = 8. Let r(z) = -4*z - 1. Let d be r(-1). Solve -2*s = -0*l + d*l + 17, -u = 3*s + a*l for s.
-4
Let w = -18 + 19. Let v(d) be the third derivative of d**6/120 + d**5/30 - d**4/24 + d**2. Let i be v(w). Solve -10 = i*z + 3*f, z - 3*f + 2 = -3 for z.
-5
Suppose 7*h + 1 = 15. Solve -h*i - 11 = -x, -2*x = -2*i + 6*i + 10 for i.
-4
Let u = 24 + -12. Suppose -23*h + 110 = -h. Solve 5*v + h*s = v, -3*s = u for v.
5
Suppose 0 = 3*f - 0*f. Let w be -1 + 8 + 1 - f. Let z(u) = u**2 - 7*u - 8. Let s be z(w). Solve -2*d + 7*d + 2*q - 5 = s, -2*d = -4*q - 26 for d.
3
Let j be ((-6)/4)/(12/(-40)). Solve -5*l = -2*g - 3 + j, 4*l = -2*g + 2 for g.
1
Let y be 5/40 + 3/(-24). Solve -5*f + 0*f - 4*q = 10, y = -f + 3*q + 17 for f.
2
Suppose 6 = 7*k - 4*k. Solve 4*r = 5*x - 8 + 2, 9 = 5*r + k*x for r.
1
Let a be (-1)/4*0 + -1. Let i = a + 5. Suppose y - 15 = -4*q + 8, y - 2*q + 1 = 0. Solve g = -2*f + y, -2*f - 3*g - 3 = -i*f for f.
3
Suppose j - 6 = -x + 15, -5*x + 111 = 3*j. Let t = -24 + x. Solve 0*n + 2*n + a = 5, t = -4*a + 20 for n.
0
Let m = -1 + 3. Solve 2*f - 4*f = 5*a