-5*m - g, 3*m + 10 = 4*i for i.
1
Suppose 5*x - 25*h - 29 = -26*h, 4*x + 4*h - 36 = 0. Solve s - x*y - 9 = 0, 2*s + 2*s + y - 15 = 0 for s.
4
Suppose 4*y - 3*o = 5*y - 12, 4*o = 0. Suppose 0 = -3*a + y + 3. Let m be (6/(-21))/(2 - 87/42). Solve -4*i = -m, a*i - 4 + 3 = 4*u for u.
1
Let c(a) = a**3 + 5*a**2 - 3*a - 14. Let s be c(-5). Let g(x) = 5*x**2 - x + 1. Let j be g(s). Solve -j*d + q + 12 = 0, 2*q + 2*q = -8 for d.
2
Let v(f) = -f**2 + 8*f - 12. Let d be v(5). Suppose 3*g + j = 1 + 9, d*g - 22 = -4*j. Solve 5*a = 4*t + 5, g*a + 2*t = -t + 25 for a.
5
Let d(r) = -r**2 + 12*r - 10. Let y(h) = -1. Let q(z) = d(z) + 5*y(z). Let t be q(10). Solve -2 = -4*s - 2*v, t*s - 4*s - 5 = 4*v for s.
1
Suppose -9*b - 4 = -67. Suppose -2*f = n - b*f + 13, 2*f = -2*n + 10. Solve -5*k + 1 = 2*a - n, 0 = a - 3*k - 7 for a.
4
Let m = 224 + -219. Solve 0 = f - 4, m*f = -2*t + 13 - 1 for t.
-4
Let m be (2 - 1)*(6 - -4). Suppose k = 4*h - m, -2*k - h - 2*h + 13 = 0. Solve k = -p + 5, -4*c + 3*p = 29 for c.
-5
Let g be (-7)/(-5) - (-8814)/565. Suppose -p + 1 + 1 = 2*w, w = 5*p - 21. Solve -2*x = -3*o - g, -p*o = -x - 0*x + 16 for x.
4
Suppose 2*a = -0*a - 2. Let k be (-69)/(-15) - 2/5*a. Solve 0 = -0*r - r - 5*c - 16, 0 = k*r - c - 24 for r.
4
Let r = 34 + -118. Let o = r - -87. Solve -o = -4*w + 2*d + 15, 3*w - 8 = -4*d for w.
4
Let y(m) = m**3 + 9*m**2 + 2*m + 123. Let z be y(-10). Solve -4*q - 1 = -5*w, 2*q = -z*q + 5 for w.
1
Let o(a) = -a + 5. Suppose -4*z + 2*z = -6. Let u be o(z). Suppose -2 - u = -h. Solve h*n - 2 = -3*p + 2*p, -5 = -5*n for p.
-2
Let t(u) = u**2 + 13*u - 1. Suppose 0 = -2*j + 4*j + 8, 0 = -3*o + 2*j - 37. Let p be t(o). Solve 2*m = -2, -3*m + 7*m = -5*g - p for g.
-5
Let a(z) be the first derivative of -z**4/4 - 17*z**3/3 + 8*z**2 - 34*z + 24. Let g be a(-18). Solve 5*w + 0*x + 14 = -g*x, 3*x = w + 13 for w.
-4
Suppose -4*m - f = -21, -4 - 26 = -5*m - 2*f. Solve -4*z = m*v - 7*v + 25, -v - z - 1 = 0 for v.
3
Let d(k) = k**2 + k - 1. Suppose -2*r - 10 - 1 = -o, 3*r + 18 = 3*o. Let v be d(o). Let t be (-3 + 3)*2/(-6). Solve 4*l = -5*m - 3, 2*m - 2*l - 5 - v = t for m.
1
Suppose -73 = -4*b - 5. Suppose 15*y - 23*y + 32 = 0. Solve -4*v = -i - b, -i - 32 = 3*i - y*v for i.
-5
Let d = -240 - -243. Solve 4 + 5 = -3*b - d*q, -5*b = -5*q - 5 for b.
-1
Suppose -2*b = b + 4*j - 3, -b + 2*j = -11. Suppose t = b*z + 14, 0*t - 4*t + 26 = -5*z. Let p be z + (1 - 1) - -7. Solve 20 = q + p*n + 4, n - 12 = 2*q for q.
-4
Let z(c) = -6*c**2 - 44*c - 9. Let q be z(-7). Let s be (-16 - -16)*(10/4 - 2). Solve s*f - 2*f + q = -3*u, 4*f = u + 5 for u.
-1
Let s = 13 + 1. Suppose -2*c = -5*g - s, 4*c - 5*g + 2 = 20. Solve c*n + 12 = -2*k - 3*k, -k = n for k.
-4
Suppose 7*y + 104 = 11*y. Suppose 3*l = y - 11. Solve -4*c = -l*z + 15, -z + 2*c = 3*c + 6 for z.
-1
Let i = 45 + -27. Suppose i = 5*h - 2. Solve -4*y + 9*y = h*s + 5, -2 = -2*y - s for y.
1
Let s be (-64)/(-14) - 72/126. Solve -3*b - 20 = s*f, -2*b + 20 = -0*f - 4*f for b.
0
Let g be (7/2)/(((-490)/100)/(-49)). Solve 4*s - s = 15, 5*n = 4*s - g for n.
-3
Let n(x) = 16*x - 203. Let l be n(13). Solve -4*i - 4*k - 8 = -8*k, -3*k + 6 = -l*i for i.
0
Let u be ((-3)/(-1))/(9*(-2)/(-18)). Solve 0 = 4*h + 5*p - 41, 1 + 4 = 5*h - u*p for h.
4
Let v be 3/(1239/(-246) - -5). Let c = v + 84. Solve 0 = -j - 0*j - 4*x, 2*j + c*x + 6 = 0 for j.
-4
Let s(u) = -u**2 + 5*u + 1. Let j be s(4). Let r be (-10)/40 - (-26)/8. Suppose r*f - 9 = -3. Solve l + 7 = -j*w + f*w, 2*w = 4*l for w.
-2
Suppose 3*y = -25 + 49. Suppose -4*t = -u - 3*u, -y = -5*t + u. Solve j + t*w = w, -8 = j + 5*w for j.
2
Suppose -a + 0 + 8 = 0. Let f = a - 6. Let k(y) = -2*y + 2. Let c be k(-1). Solve 0 = -u - 4*i + 17, f*i = -u - u + c for u.
-3
Let t(k) = -k**3 + 12*k**2 - 11*k + 2. Let j be t(11). Solve -11 = -2*g - h, g - 6 - 4 = -j*h for g.
4
Let r be (6 + -3)/(0/4 + 1). Suppose -r*j = -j - 40. Let z(c) = c**3 - 3*c**2 - 4*c + 3. Let s be z(4). Solve 3*o = s*n - 6, -3*o - j = -0*n + 4*n for o.
-4
Let t be (-7)/(-35) - 268/(-10). Let k = t + -27. Let f = 3 - 1. Solve 0*c + 4*y = 2*c, -3*c - f*y = k for c.
0
Suppose 15*n - 11*n = f + 20, f = -3*n + 15. Solve 2*r + 9 = -4*b + n*b, r - 4*b + 15 = 0 for r.
-3
Let l = -344 + 350. Solve 0*i + 2*i - 5*b = 23, -2*b = -4*i + l for i.
-1
Let h be ((-52)/6)/((-2)/3). Solve 30 = -5*y - 2*z, 4*y = y + 5*z + h for y.
-4
Let p(v) = v**2 - 5*v - 47. Let c be p(10). Solve c*d + 4*r - 13 - 10 = 0, -26 = -d - 5*r for d.
1
Let a(h) = -4*h - h - 4 - 6*h + 14*h. Let j be a(2). Let i be (3/2)/((-6)/(-56)). Solve z - 2*u = 4*z + 17, -j*z + 5*u = -i for z.
-3
Let z be (-1688)/(-18) + 2/9. Suppose -4*p + z = 34. Solve -4*q + 0*q - p = 3*b, -q = b + 5 for q.
0
Suppose 4*k + 115 = 59. Let d = 16 + k. Solve 2*f - 6 = -3*s, d*s + 12 = 3*f + f for s.
0
Let b be 4/10*(6 + -1). Let p be ((-8)/10)/(b/(-15)). Let z(n) = n**3 - 5*n**2 - 5*n + 1. Let s be z(p). Solve 0*t + 5*j = -t + s, -3*t + 4*j - 17 = 0 for t.
-3
Let v(w) = 35*w + 5. Let r be v(1). Solve 0 = -2*h - h + 2*q + 1, -5*h - 5*q - r = 0 for h.
-3
Let b be 3/15 + 2436/20. Suppose 4*g = -a + b, -4*g + 114 = -a + 6*a. Solve -26 = 5*z - 3*r, 0 = -4*z + 2*r + 11 - g for z.
-4
Suppose -27*g + 9 = -24*g. Solve -3*s - 5*k + 14 = 0, -k = 8*s - g*s + 6 for s.
-2
Suppose -35*t + 11*t + 120 = 0. Solve -g + t*m = 2*g - 28, -2*g = 3*m + 13 for g.
1
Let o be (-2)/4 - 1/(-2). Suppose 4*i + 0*i - 47 = s, -5*s + 5 = o. Let q be 95/20 + 3/i. Solve -3*f = -2*r - 1, 4*f + r + q = -12 for f.
-3
Let r = -170 - -176. Suppose 0 = 7*f - 6*f. Let l be f - 2 - (-1 - 6). Solve -2*y + 5*x - 45 = -r*y, -3*y = -l*x + 10 for y.
5
Let i(c) = -3*c - 20. Let w = 108 + -120. Let v be i(w). Suppose 4*s - 2*n = 12, -2*s - n = -0*n - 6. Solve -s*m + v = -a - 0*a, -15 = -3*m for a.
-1
Let y = -174 + 177. Solve h = -3*g - 2*h - y, -5*h + 3 = 3*g for g.
-4
Let z = 1500 + -1493. Solve 0 = -3*q + 5*w - z, 3*w = -w + 8 for q.
1
Let b(v) = -4 + 5 - 1 - 2 - 8*v. Let w be b(2). Let m = 36 + w. Solve -2*s + 5*g - m = 0, s + g - 4*g = -11 for s.
1
Let z be -5 - -2 - -1 - 1. Let b be z/2*(-12)/9. Suppose -o - 56 = -b*w - 3, 5*w - 140 = 5*o. Solve r = -3*l - 15, -2*r - w = r + 5*l for r.
0
Let b = 8 - 17. Let w = b + 5. Let t be (2/w)/(12/(-168)). Solve -2*l = 4*o - 10, o = l + 3 + t for l.
-5
Let c(h) = -9*h + 6*h**2 + h**3 + 16 - 2*h**2 + 5*h**2. Let s be -1*3*40/12. Let g be c(s). Solve 0 = 3*n + 6, 2*a - n = -3*n - g for a.
-1
Suppose 13*u + 9 = 3*m + 10*u, 2*u = -m + 9. Solve -7 = -m*v - 8*c + 4*c, -4*c = -12 for v.
-1
Let u be (-8 - -2)*10/(-3). Let w be 0/((-1 - 1)*1). Suppose w = -l - l + u. Solve -3*i - 4*m = l, -5*i - 8 = -2*m - 0 for i.
-2
Let c(z) = 24*z - 423. Let y be c(18). Solve -5*p - 25 = -5*d, 4*d - y = -3*p - d for p.
-2
Let w be -2 + (-216)/(-52) + (-22)/143. Let x be 1/(-2)*-2 - 1. Suppose 3*h + 9 = 2*j, 7*h - 2*h + 5 = x. Solve l = -6*f + 2*f, -w*l + j*f = -11 for l.
4
Suppose 6*k = 3*k + 6. Suppose 0 = 5*u + s - 12, 3*u + 4*s + 5 = 2. Suppose n - 7 = -3*z - 15, -4 = -u*n - 2*z. Solve -2*w = n*m + 4 + k, w - 12 = 3*m for m.
-3
Suppose -59*h = -117*h + 696. Solve 4*z = -3*j + h, 0*z = -2*z for j.
4
Let b be 8/6*(-1 - -4). Suppose 4 + 8 = b*h. Suppose -h*c - 2*x = -14, -4*c - c - 2 = -3*x. Solve -3*j - l - 7 = 0, -2*j + c*l = 2*j - 4 for j.
-1
Let p be (-2)/(-7) - (-38)/14. Suppose -2*b = p*b. Solve q + q - z + 1 = b, 4 = -5*q + 4*z for q.
0
Suppose 32*b - 28 = 30*b. Solve 2*y + b = -11*j + 9*j, y = -5 for j.
-2
Suppose 17*w - 14*w = 15. Let y = -4 + 6. Solve 0 = -f + y*f + 4*l + 10, 0 = w*f + l - 7 for f.
2
Let i be 4 - (-1 + 5)*1. Suppose 4 = 4*o + v, i*o + 4 = o + v. Solve o = 2*n - 3*t - 19, 3*n + 2 = 3*t + 26 for n.
5
Let q = 660 + -647. Let k(i) = i**3 - 6*i**2 + 5*i + 3. Let h be k(5). Solve h*n - 6 = -3*r, -r - q = -n - 3*n for n.
3
Let c(g) = g**3 + 5*g**2 + 5*g + 9. Let k = 15 - 19. Let r be c(k). Solve -r*f + f = y + 12, -4*f + 12 = -5*y for f.
-2
Suppose -j + 4*a = 12, 4*a - 24 + 12 = 0. Solve -2*l + 0 + 10 = 0, j = -4*z + 2*l + 6 for z.
4
Let p be (-55)/33*216/(-60). Solve -4*g = 0, -3*t + 2*g - 9 = -p*t for t.
3
Suppose -8*q + 3 + 37 = 0. Solve -d = k - 3*k - 5, q*k - 3*d = -10 for k.
-5
Let p be (48/28)/(2 + (-26)/14). Solve -3*s - k - 4 - 2 = 0, 2*k - p = 2*s for s.
-3
Let m be (-10)