9 = -0*l + 4*l for c.
-1
Let k = -1733 + 1736. Solve -5*j - i - 1 = 0, 4 + 3 = -k*j + i for j.
-1
Suppose 7*h + 2 = 16. Solve 32 = 3*j + 4*k, -2*j + h = 2*k - 16 for j.
4
Suppose -3*v + 5*i - 247 = 0, -3*i - 143 = 2*v - 2*i. Let o = v - -79. Solve -4*t + 4*j = 2 + 6, -o*j = -4*t - 8 for t.
-2
Suppose 0*o - 3*o + n = -8, -2*o = -2*n. Solve -24 = -0*s + 4*s - 3*k, -o*s = k + 8 for s.
-3
Suppose 0 = -w - 5*w. Suppose w*r - 2*o = 3*r - 7, -4*r - 5*o = 0. Solve -4*b - 4 = 4*i, -2*i + 0 + 1 = r*b for b.
1
Let a(g) = -g**3 - g**2 - g + 1. Let j be a(-2). Let u = j + -18. Let p = u - -14. Solve p*f - w + 1 = 0, -2*w + 3 = -5*f - w for f.
-1
Suppose -270 = 4*j + 2*r, -332 = 5*j - 4*r + r. Let q = j - -71. Solve 2*k - 4 = -t, -5*k - q*t + 4 = -0*k for k.
4
Suppose -13 = 5*v + 12. Let o be v/10*2*-1. Let g be o - ((-2 - 1) + 0). Solve 0 = 3*l - 3*k + g + 2, 0 = -4*l - 4*k - 24 for l.
-4
Let l(d) = -d**2 - 18*d - 53. Let k be l(-7). Suppose -4*u = -3 - 33. Solve -c = -4*t - u, -3*t - k = 3*c + 2*c for c.
-3
Let a(y) = 2*y**3 - 29*y**2 + 57*y + 43. Let r be a(12). Solve w + 4 = 3*d, -2*w + 2*d - r*d = -14 for w.
2
Suppose 0 = -4*g + 2*w - 40, 3*g + 4*w + 6 + 2 = 0. Let r = -3 - g. Solve p = r, 3*p - 2*p + 5 = 5*k for k.
2
Suppose -8*a + 4*a + 568 = 0. Let u = 148 - a. Solve 4 = -m + 1, 3*r - 4*m = u for r.
-2
Let m(i) = i**2 + 23*i + 6. Let u be m(-23). Solve p - 9 = 4*j - 4*p, 2*p - u = 4*j for j.
-1
Let k be 1/(-1*(-4)/20). Let z(r) = -7 - 8*r**2 - 4 + r**3 + 2*r + 0*r. Let s be z(8). Solve 0 = k*y + s, x - 7 = -4*x - 3*y for x.
2
Let f be (4/(-2 + -2))/((-3)/105). Suppose f = 5*q + 2*q. Solve -5*j = -q*p - 40, -7 = 2*p - j + 2*j for p.
-5
Let d = -37 - -43. Suppose 2*i - f = 3*i + 1, -2*f = 3*i + 2. Suppose i = d*r - 2*r - 20. Solve -2*z = -3*k + 3, r*z + 4 = 5*k - 1 for z.
0
Suppose 3*g + g = 20. Let v(l) = l**3 + 5*l**2 + 5*l - 2. Let y be v(-2). Let a be g*(y + -2)/(-2). Solve 3*b - 5 = a*f, 21 = -5*b - 0*f + f for b.
-5
Let x = 1034 + -1032. Solve -4*r + 16 = 0, x*p - 3*r + 6 = -8 for p.
-1
Let f be 0/(-1)*3/3. Suppose 5*p + g = -f*p + 17, 2*p + 4*g = 14. Solve -3*j + 2*c = 7, -p*j - 11 = -j + 5*c for j.
-3
Let v = 4 + -12. Let p = v - -14. Suppose p*g - 4*k = 2*g + 24, 0 = 4*g - 3*k - 23. Solve -2*z + 4 = -y - 4*y, -10 = -5*y - g*z for y.
0
Let x be (0/(5 - 9))/(1 - -2). Suppose 2*m - 3*m = -3*h - 20, 3*h = x. Solve -m - 5 = 5*c, 0 = -g - 5*c - 20 for g.
5
Suppose -29*j - 10 = -31*j. Solve 3*l + n - 9 = 0, -2 = j*l + 5*n - 9*n for l.
2
Let j be 85*1/25 + (-9)/(-15). Solve 2*s + 2*b = -6, b = 3*s - 3 - j for s.
1
Let k(u) = -6*u + 2*u - u**2 + 0 + 4 + 5*u. Let l be k(2). Solve l*i - 23 = 2*t + 3*t, -3*t + i = 13 for t.
-3
Let k(b) = 3*b**2 + 7*b + 2. Let m be k(-2). Solve m = -0*z - z + 2*t + 3, -8 = -4*z + 4*t for z.
1
Let c(p) = -5*p - 82. Let l be c(-17). Solve -6 = l*i + 3*r, 3*r - 2 - 8 = 5*i for i.
-2
Let o(n) = 2*n - 20. Let g(z) = 2. Let p(r) = -4*g(r) + o(r). Let y be p(16). Let u be (-4)/(-3)*(4 + -1). Solve -3*f - 15 = -y*f + u*i, 2*i = -f - 9 for f.
-1
Let v be (11 - (-10 - -15)) + -4. Solve 5*k + 10 = -v*p, 9*p + 10 = 6*p - 5*k for p.
0
Let i = -538 + 542. Solve -3*c + 4 = -0*z - 4*z, 0 = i*z + 3*c - 20 for z.
2
Suppose -4*r + 6*z - 8 = 2*z, -2*r = 5*z - 24. Solve 0*d = 4*a + d - 12, -2*a + 16 = -r*d for a.
4
Let h = 20 + -166. Let q = h - -149. Solve v = 6*v - q*t - 28, 13 = 3*v + 2*t for v.
5
Suppose 0 = 22*y - 24*y - 8. Let c = y + 7. Solve 3*r = -5*m + 9, 4*m - 9 = 6*m - c*r for m.
0
Suppose 0 = 4*q - 4*p - 16, -1 = -2*q + 5*p + 10. Suppose 2*j + 33 = 3*c, 0*j = -q*j - 9. Suppose -c = -o - 0. Solve 0*x = x - 3, h = -4*x + o for h.
-3
Let a(n) = 5*n**3 - n + 1. Let o = 12 + -11. Let h be a(o). Suppose 5*u = -2*j + 13, 0 = -j + 6 - 2. Solve -5*v = 4*z - 16, 5*v - h*z + 19 + u = 0 for v.
0
Let r(z) = -z**2 - 18*z + 10. Let c be r(-18). Suppose 3*y = -a + c, 5*y - 40 = 3*a - 0*a. Solve -4*t - 2*k - 18 = 0, 30 = -y*t - 4*k - 0*k for t.
-2
Let i = 22 - 16. Let f(s) = -2*s + 15. Let m(h) = -h + 7. Let w(v) = i*f(v) - 13*m(v). Let g be w(5). Solve -g*p - 5*n - 4 = 0, 4*p + 0*n - 4*n = 32 for p.
4
Suppose 5*q - 3*q = 4*z - 14, -4*z - q = -5. Solve -2*n + 12 = n, 3*u = z*n - 14 for u.
-2
Let h(i) = -i**3 - i**2 - 4*i - 7. Let x be h(-5). Let u = x - 108. Solve 9 + 2 = -k + u*l, -3*k + 3*l - 9 = 0 for k.
-1
Suppose 4*b - 91 = -c, -27*b + 24*b - 5*c = -81. Solve -5*m - 3 = -2*d - 32, 4*m - d - b = 0 for m.
5
Let v be -2 - -1 - 1*-6. Let l = -2 - -5. Suppose u - j = -l*j + 11, 0 = 4*u - j - 44. Solve 3*x + 21 = 3*k, 4*x = -v - u for k.
3
Let t(x) = -x**3 - 9*x**2 - 15*x - 2. Let v be t(-7). Solve 3*j + m = -m - 5, -5 = v*m for j.
-1
Let i = -1577 - -1581. Solve -2*z - i = 2*u, -z - 1 = 2*u + 3 for z.
0
Let f(m) = 2*m. Let j be f(2). Suppose 6 = j*v - 6. Solve v*k + 13 = -4*s, 5*s + 0*k = -5*k - 20 for s.
-1
Let s be 1*2/(6/21). Suppose -s - 5 = -2*t. Solve 4*r = -5*i + 8, 4*i + t*r - r - 10 = 0 for i.
0
Let s be (-22)/(-33)*(0 - 3). Let i = s - -6. Let q = 7 - i. Solve 5*z = q*t - 7, 0 = -z - z + 5*t - 18 for z.
1
Let b = 1081 + -1078. Solve 8 = -b*z - 2*f, 16 = z - 0*z - 4*f for z.
0
Suppose 4*r = 3*r - 5. Let x = -5 - r. Suppose x = -3*h + f + 17, 0*f - 3 = -h + 3*f. Solve h*l + 3*s - 7 = 2*l, -2*l - s + 3 = 0 for l.
1
Suppose -3*x = -3*w - 18, 0*x - 2*x - 2 = 5*w. Let m(f) = 2*f - 4. Let c be m(0). Let y = c + 9. Solve 5*l - 4*j + 17 = 0, -4*l + x*j - 17 = -y for l.
-5
Let g be 8/(-12)*(-30)/4. Solve 3*w - 4*j + 1 = -10, -w = -g*j for w.
-5
Let u = 334 + -155. Suppose i - u = -5*v, -2*i = -4*v - 0*i + 146. Let o be (v/(-10))/(10/(-25)). Solve -2 + o = -3*y + 2*h, -3*h = -3*y - 9 for y.
-1
Let b = -7 + 15. Let k(x) = -x**3 + 10*x**2 - 14*x - 12. Let s be k(b). Solve 3 = -3*n, s*w - 2*w - 3*n + 7 = 0 for w.
-5
Let q be 55/25 + (-252)/(-90). Solve 5*a = o + 15, -4*a + 7 = -5*o - q for a.
3
Let b be (68/85)/(((-9)/10)/(-9)). Solve v = -i - 1, 5*i = -3*v + b*v - 5 for i.
-1
Let w be ((-10)/(-15))/((-2)/(-9)). Let h = -1465 - -1469. Solve 0 = 2*i + w*m - 17, m = h*i - m - 10 for i.
4
Suppose f - 5 = 0, -4*i + 4*f - 10 = i. Solve 0*w - 6 = 2*d - w, 2*d = -i*w - 18 for d.
-5
Let y be (50/6)/((-2)/(-6)). Suppose 0 = -5*g - 0*g + y. Solve 4*v - 11 = -0*r + g*r, 10 = 2*v + 2*r for v.
4
Let f(d) = 2*d - 8. Let z be f(6). Let g(y) = 6*y - 3. Let v be g(2). Suppose -z*c + v = -c. Solve 4*k - c*k - 6 = 2*p, 4*p + 36 = -4*k for p.
-5
Let p(w) = 2*w**2 + 21*w + 50. Let m be p(-3). Let l be 37/7 - (-2)/(-7). Solve 2*a - m*b = -0*a + 27, l*a = -b for a.
1
Let q be ((-4)/10)/((-1)/25). Let m(s) = -s**2 - 17*s - 20. Let z be m(-16). Let h be ((-1 - z)/(-3))/((-2)/8). Solve 5*p + v + q = -3*v, h*v = 2*p + 4 for p.
-2
Let u(h) = h**2 - 8*h + 15. Let o be (1/2)/(63/30 + -2). Let f be u(o). Solve -y + f + 3 = 0, -d = 4*y - 11 for d.
-1
Let j(m) = 3*m - 1. Let x be j(-1). Let r = -2 - x. Solve -r*t + 2*f = 2, 5*f - 25 = -0 for t.
4
Let d(s) = 2*s + 5. Let f be d(8). Suppose 0 = 3*w + 6 - 6. Solve -3*p - 2*l = 3, -4*p + 2*p + 5*l - f = w for p.
-3
Suppose -s - 5*k = 2*s - 13, -5*k = s - 21. Suppose -7*d = -3*d + 28. Let t = s - d. Solve 3*n + 24 = -2*g + 4, g = t*n + 8 for n.
-4
Let i be (384/9)/4*3. Let o be ((-3)/(-6))/((-2)/(-4)). Let f(k) = 4*k + 1. Let d be f(o). Solve 0 = 5*m + 5*q - 5, -5*m = q - d*q - i for m.
4
Suppose z + 5*n - 1 + 7 = 0, -n - 18 = -4*z. Suppose 17 = 3*o - m + 7, -m = -o + 6. Solve -z*s - 18 = s - 4*u, -s + o*u = 6 for s.
-2
Let v(d) = -65 + 3*d + 63 - 8*d - d + 3*d**2. Let i be v(3). Solve 5*j - 4*w - 3 = 0, 27 = 4*j + i*w - 2*w for j.
3
Suppose 0 - 6 = -3*t. Solve -2*w + 3*d = -2, -5*d + d + t = 2*w for w.
1
Let g = -55 - -51. Let i be g - (-1)/2*22. Solve 2*s + 19 = 2*c + i*s, -6 = 3*c - 4*s for c.
2
Let l be 23 + -16 + -1*4. Suppose 3*g + 3 = l*s, -1 = g - 4. Solve -5*j + 3*j - 2 = -s*n, 0 = n for j.
-1
Let y(l) = l**3 + 3*l**2 - l - 4. Let p be y(-3). Let k = p + -3. Let c be -6*k/(-8) - -3. Solve -d + 2*j - 7 = 0, -2*d + j + c = -1 for d.
3
Let l be 5*(6 + -1 + -2). Let c(v) = -2*v**2 + 4*v - 3. Let r be c(3). Let z = r + l. Solve -5*s = -10, -g + z = 2*s - 1 for g.
3
Let l be 12/(4 + 91/(-22)). Let o = l - -91. Solve o*q - q = -4*k + 4, -4*q + 12 = 4*k for q.
4
Let p be ((-6)/(-15))/(2/(-40)). Let k be p*(-7)/112*0/(-1). Solve k =