 o + 5*a - 26, -3*o + 0*o = -h*a + 22 for o.
1
Let a be 4/(-10) + (-38)/(-95). Suppose a = 4*g - g - 9. Solve -4*v = -3*k - 10, k + 4 = 5*v - g for v.
1
Suppose 68 = 33*j - 97. Solve n + x = -2*x - j, -4*x = 12 for n.
4
Let o(q) = -q + 11. Let s be o(11). Let l be -1 - ((-15)/5 - s). Solve 3*a - 5*g = 26 - 9, -2*a + l*g + 10 = 0 for a.
4
Let i be 1/(9/(-6) + 2). Let w be 0 - (1 - (0 + i)). Solve -3*x - 3*h = -5*x + 16, 0 = -x - 2*h + w for x.
5
Suppose 4*b = -i + 9, -b = -4*i + i - 12. Solve -20 = 4*r, h - 28 = b*r + 2*r for h.
3
Suppose -10 = -3*z - 2*h, 0*h = 4*h + 16. Let y be z + -2 + 1 + -3. Let k(f) = -4*f - 2. Let v be k(-1). Solve 3*n - n + v*m = -y, 2*n + 14 = 2*m for n.
-4
Let p(y) = -4*y - 20. Let x be p(-6). Suppose -5*i = -x - 26. Solve 0 = -3*f - w + 6*w - 9, -3*w + i = -2*f for f.
-3
Let b be (27 + -8)*(-3 - 0). Let w = b + 57. Solve -5*f - 7 - 3 = 5*h, 5*f + h + 18 = w for f.
-4
Suppose 258*h - 14 = 256*h. Solve 4*u - 4 = 4*s, -h = 4*u - 3*u + 3*s for u.
-1
Suppose 6 = 4*m + t, -2*m = -5*m + 3*t + 12. Let o(p) = p**2 - 6*p + 1. Let h be o(6). Let y = 6 - h. Solve y*j = m*k + 25, 3*k = -3*j + k + 15 for j.
5
Let g be 9 + (-1 - 5)*(-15)/(-18). Solve 2*s - 3*a + 4*a - g = 0, -8 = -s + a for s.
4
Suppose -15*s = -4*s - 33. Suppose s*j = -3, d + 8*j + 3 = 3*j. Solve 4*z - 10 = -2*b, -3*z + z = d*b for z.
5
Let y(s) = 3*s**3 + s**2 - 2*s + 1. Let z be y(1). Let c(q) = -64*q + 4868. Let k be c(76). Solve -4*u = -z*f - 2, -f - 3*f + 4*u - k = 0 for f.
-2
Let n = 318 - 314. Solve -4*y + 5*j - 1 = -8, 4*j = -n*y + 16 for y.
3
Let g be (-13)/(-6) + (-2)/12. Suppose -p = -5*p + 24. Suppose -3*v + 0*v = p, 4*v + 2 = -2*u. Solve 4*h - h + u*l = 15, -h - g*l + 7 = 0 for h.
3
Suppose 14 = -f - 14. Let k = f - -63. Solve k = -3*n - 5*c, -3*n - 5*c = -6*n + 5 for n.
-5
Let d be (-15)/(-6) + (-2)/(-4). Let a(x) = -x**2 + 8*x - 7. Let t be a(1). Solve t = -d*r - 5*s, 5*r - 3*s + s + 31 = 0 for r.
-5
Let x be (-504)/(-56) - 5/(-1). Solve -18*m = -x*m, -3*u + 4*m = -9 for u.
3
Let i be 2/4 - 9/(-2). Let n = 677 - 676. Solve r = 2*r - n, -10 = -i*q - 5*r for q.
1
Suppose -45*t + 50*t = 2*a + 2, a + 1 = 3*t. Solve -f - 2*c - 6 = t, 3*f + 5 = 2*f - c for f.
-4
Let w(k) = k**3 + 31*k**2 - 62*k + 134. Let y be w(-33). Solve 1 = -4*h + 5*o - 4, y*o = -4*h - 26 for h.
-5
Suppose f = 2*t - 6, -5*t - 4*f + f + 4 = 0. Suppose 4*u - 6 = t*u. Suppose u + 32 = 5*w. Solve w*c - 5*c - 23 = 5*v, 3*c + 3*v - 3 = 0 for c.
4
Let s be 6*2/4 + -1. Suppose h + s*h = 12*h. Solve -k - 3 = 4*g + 1, 4*k - 5*g + 16 = h for k.
-4
Suppose 0 = -11*d - 127 + 171. Solve d*z + 7 = 3*y - 8, 10 = 2*y for z.
0
Suppose j = 5*j - 624. Let c be (-4)/26 - (-804)/j. Solve f - k - 4*k = 18, -c*f + 3*k + 24 = 0 for f.
3
Let k(v) = 2*v**3 - 13*v**2 - 5*v - 10. Let o be k(7). Let r be 3/((-6)/o)*1/(-1). Solve -3*y - 2*b = -11, -4 = -r*y - 5*b + 7 for y.
3
Let n(y) = -y**2 + 6*y + 4. Let j be n(5). Suppose -3*q + j + 3 = 0, -4*i + 2*q = 28. Let p = i + 5. Solve -4*t + 4 = 5*g - 12, -t - g + 4 = p for t.
4
Let x = -12 - -18. Let p = x - 3. Suppose 0 = 762*t - 754*t. Solve 0 = 5*f + 3*v + 1, t = 4*f - 5*v + p*v - 8 for f.
1
Let s(b) = 2*b - 4. Let c be s(-6). Let g be (3/(-6))/(2/c). Suppose 11 = 4*n - 17. Solve -4*x + 24 = 4*v, 3*v - 13 = -g*x + n for v.
4
Let w be 2 + (1/3)/((-17)/(-3162)). Let y = -61 + w. Solve -y*c - 16 = -s, 3*s = -c + 2*s - 4 for c.
-5
Suppose -12 = -3*g - 4*u, 2*u - 12 = -42*g + 39*g. Solve -4*v + g*i - 4 = 0, 8*i = v + 3*i - 11 for v.
-4
Suppose -19*n + 3*n = -64. Solve 3*x - 9 = 2*f, -17 = n*f + x - 6*x for f.
-3
Let m = -10 - -14. Let n = -29 - -34. Solve -2*z - z = m*c - 13, n*c - z = 2 for c.
1
Let b = 108 - 105. Solve -5*p + 9 = -b*u, 3*u = -2*u - p - 15 for u.
-3
Let l be (-2)/(-3) - 4/6. Suppose 4*j - 13 + 1 = l. Solve -5*r = 4*o - 32, r + j*o - 25 = -3*r for r.
4
Suppose 42 = 3*i + 3*u, 4*i + 0*i + 2*u - 50 = 0. Solve 0 = -o - 5*x - 3, -3*o + 4*x + x = -i for o.
2
Suppose 4*h = -5*r - 80, 2*h = 4*r - 17 + 55. Let i be 5/(5/14) - 0. Let v = r + i. Solve v*c - 18 = -2*b - c, 4*b = -4*c + 28 for b.
3
Suppose 5*q - 100 = 25. Let z(x) = -3*x**3 + x**2 - 1. Let g be z(-1). Suppose h = -g*h + 8. Solve -3*n + q = 2*n, -h*c = -3*n + 17 for c.
-1
Suppose -27*z = -84 - 24. Solve -10*m = 4*x - 11*m + 13, z*x - 2*m + 10 = 0 for x.
-4
Let h(t) = t**3 + 14*t**2 + 15*t + 30. Let s be h(-13). Solve f + q = 6*q - 12, -s*q + 12 = -2*f for f.
-2
Let l be (1 - (-4)/1)*2. Suppose -156 = -5*m + 2*x + x, 0 = -5*x - l. Let d = m + -6. Solve 4*w + 0*w + 2*h = d, 0 = 5*w - 4*h - 4 for w.
4
Let n = -21 - -76. Suppose n*d = 51*d + 4. Solve 3*r - d = y, -y = -2*r - 1 + 2 for r.
0
Suppose -10*p + 447 = -7*p. Suppose 0 = 2*i + 123 - p. Solve 12 + i = -5*v - 4*f, 2*f = -4*v - 20 for v.
-5
Let z(m) = -3*m + 1. Let f be z(3). Let b(o) = -o**3 - 8*o**2. Let u be b(f). Suppose u = -6*h + h + 25. Solve h*c = -0*w + 5*w, -4*w = -c - 15 for w.
5
Let z(m) = -2*m**2 - 20*m + 49. Let i be z(-11). Let g = -25 + i. Solve 5*w = -g*p + 3, -4*w + 5*p = 27 - 3 for w.
-1
Let a be (-11 - -17)/(4/2). Suppose -2*j - a*j = -45. Suppose -r = g + 5, -3*g + j = -4*r - 11. Solve -5*i + 24 = 2*m - 11, g = m - i for m.
5
Let p = -2428 + 2431. Solve 3*i + 2*r = 7*r + p, i + 3*r - 1 = 0 for i.
1
Let i be (-2)/18 + (-9555)/(-945). Solve -3*h - i = -4*y + 2*y, 5*h - 5 = -y for y.
5
Let h(n) = -n**3 + 8*n**2 - 6*n + 2. Let x be h(7). Let m be (11 - x) + (2 - -1). Let p = 1 + 3. Solve a = m*l + 2 - 3, p*a + 2*l + 4 = 0 for a.
-1
Suppose 3*b - s - 6 = 1, -2*b - 4*s = 0. Let a be b/(-5) + 20/50. Solve -x = 3*o, a = -2*o + 6*o - 5*x for o.
0
Let v(x) = -3*x**3 - 11*x**2 - 4*x + 8. Let g be v(-3). Suppose -4*u + 1 = -d - 2*u, 0 = -2*d - u + 8. Solve -d*m - 1 = 2*p, -4*p - m = -g*m - 5 for p.
1
Suppose -4*r + 31 = 5*v, -4*r - 107*v = -108*v - 13. Let p = 5 + 0. Solve -m - 37 = -r*m + 5*g, p*m = 2*g + 30 for m.
4
Let u = -27 + -1. Let d = -24 - u. Solve 28 = -2*m - 2*m - d*z, -5*m + z - 23 = 0 for m.
-5
Let s = 27 + -31. Let r be (-2)/4*((-12)/s - 13). Solve 0 = -3*p - 5*q - 1, p = r*p - 4*q + 12 for p.
-2
Let l = 4 - 1. Suppose 0*t + 15 = -l*t. Let q = 7 + t. Solve -q*s = 2*g - 2 - 8, -13 = -5*g + s for g.
3
Let w(m) = 3*m**2 - 28*m - 10. Let d be w(10). Solve 13*o - d*o = -4*h - 5, 12 = -5*o - 3*h for o.
-3
Suppose h + 2*k + 3 = 0, -3*h + k - 6*k = 11. Suppose 48*l = 51*l - 21. Let r = h + l. Solve 4*b = 0, 5*o + 2*b - 20 = -r for o.
4
Suppose -6*y + 4*y + 4*q + 42 = 0, -20 = 5*q. Let n be (-8)/3*(-3)/2. Suppose n*h = 24 - 8. Solve 0 = -h*g + 3*p + 23, 2*g + 3 + y = -4*p for g.
2
Let c be 4/20 - 22/10. Let b be (c/(-2))/(1/(-3)). Let d = 0 - b. Solve -2*l + 0*l + 3*v = -9, d*v = -3*l + 6 for l.
3
Suppose -4*x - 3*h + 1 = -30, 2*x + 4*h - 28 = 0. Solve 17 = t + x*g, 0*g = 3*t - 2*g + 19 for t.
-3
Let v(z) = 2*z**3 - 7*z**2 + 2*z - 20. Let d be v(5). Let y be (-20)/(-6)*78/d. Solve 0 = -c + 4*t + 21, 0 = -y*c + 5*t + 40 for c.
5
Let t(o) = -o**2 - 13*o - 21. Let p be t(-10). Let b = -3 + 19. Suppose b = 2*r + 2*r. Solve f + 5*q - p = 2*f, -2*q = -r*f - 18 for f.
-4
Suppose -6 = -d + 2*t, -t - 38 = -3*d - 0*t. Suppose d - 4 = 5*v. Solve -5*u - 31 = 2*x, 0 - 25 = 5*x + v*u for x.
-3
Suppose -43 + 25 = -6*h. Solve -r = f + 4, -h*f + 5*r - 4 = -2*f for f.
-4
Let x = 27 + -41. Let t = x - -14. Solve 0 = -5*j + 2*i - 5, t*i = -5*j - 4*i - 35 for j.
-3
Let w = 6 + -4. Suppose 22 = 15*k + 7. Solve 3*y = -4*g - 0 + 3, -w*g - y - k = 0 for g.
-3
Let w(r) = 2*r**2 + 12*r + 2. Let c be 140/(-63) - (-4)/18. Let m be (-2)/((-10)/6 - c). Let q be w(m). Solve -b - q*b = -d + 14, 2*b - d + 9 = 0 for b.
-5
Suppose 19*r = -0*r + 133. Solve 2*b + 4*q + 2 = 0, 4*b - 3 = -2*q - r for b.
-1
Suppose -2*m + 10 = 5*u, -3*u = -23*m + 21*m - 22. Solve -u*i - p = -19, 0 = i - 3*i - 2*p + 8 for i.
5
Let o be (-6*4/(-6))/(-15 + 17). Let j be -14*(-15)/(-6) + -3. Let p be j/(-8) - (-4)/16. Solve x + x + o*t = 6, p*x + 4*t = 10 for x.
-2
Suppose 4*j - 2 = 6. Let o(d) = -5*d**j - 5*d - 2*d - 3 + 4*d**2. Let s be o(-4). Solve 5*r + 16 = -5*t + t, 3*r + s = -3*t for r.
-4
Let c be (2/(-5))/(1 - (-18)/(-15)). Let x be 5/(-15)*-3 + c. Solve -o + 1 = g - 1, 0 = -2*g - x*o + 1 for g.
5
Let a(k) = 2*k - 4*k**2 + 2 + 2 - 4*k - 2*k**3 - 7. Let v be a(-3). Solve -3*w + v 