 2, 2*x = -0*x + a*u + 2 for x.
1
Suppose 119 = 5*j + 3*f, -2*j - 4*f + 48 = -3*f. Let o = j + -20. Solve 4*z - 7 = 3*b - 8*b, -4*z + o*b = 23 for z.
-2
Suppose 0 = -q + 5, 2*v - 20 = q + q. Solve 20 = 5*w - 5*x, 4*w - 2*x - v - 1 = 0 for w.
4
Suppose -116 + 90 = -13*o. Solve -b + 3*k = o, -b + k - 6 = 2*b for b.
-2
Let s = -120 - -124. Let l be 2*(-8)/s - -5. Solve -h = -4*u - l, 2*u - 1 = h - 4 for h.
5
Let y(j) = 4*j + 32. Let f be y(-5). Solve -l = 4*a - 0*l + 13, 3*l = 5*a + f for a.
-3
Let f = -1 + 2. Let t(i) = -4*i**3 - 2*i**2 - 2*i - 1. Let r(j) = j**3 - 9*j**2 - 1. Let y be r(9). Let c be t(y). Solve x - f - 5 = -4*n, c*n - 3 = 0 for x.
2
Suppose 28 = l - 3*l. Let p be 1 + l*2/(-4). Let r = 10 - p. Solve -s = 3*s - 4*h - 16, -2 = r*h for s.
3
Let m(u) = u**3 - 8*u**2 - 5*u - 15. Let b be m(9). Suppose 6 = -5*f + b. Solve 10 = 8*z - f*z - j, -3*z + 5*j + 6 = 0 for z.
2
Suppose 2*x - 2 = 2. Suppose x = -10*d + 2. Solve -4*i = -5*o + 17, d*i = 2*o + 2*i + 4 for o.
1
Let q be (0 - -2)*(-3)/(-6). Suppose -2*p - q = -3. Let t be (-6)/(-8) + 36/(-48) - -4. Solve 2*c - r + 4*r - p = 0, r = t*c - 9 for c.
2
Let w = 21 + -25. Let i be (3 + (-6)/3)/(w/(-8)). Solve -i*a + 4 = -5*z, 3 + 17 = -4*z - 4*a for z.
-2
Let o be (34 + 1)*10/10. Let b = 62 - o. Solve -5*d = 5*t - 40, 4*d - b = -2*t - t for d.
3
Let i(k) = -k**2 - 8*k - 6. Let h be i(-7). Let l be 2 + h + (-3 - -2). Let x be (-9)/6*(-21 - -1). Solve 12 = 2*d + d, 0 = -l*f - 5*d + x for f.
5
Let s = -6 - 4. Suppose 2*w - 3*w = 2*f + 34, 5*f - 2*w + 67 = 0. Let b = s - f. Solve o - b = 0, -z + o - 4 - 5 = 0 for z.
-4
Let s be -5*(-6)/30 - (-3 - 1). Suppose s*n = -z + 46, -3*z + n - 4*n = -90. Solve 5*o + 4*l - z = 0, -18 = o - 6*l + l for o.
2
Suppose -2031*x + 18 = -2025*x. Solve -5*i = -4*c, -7*i + 3*i + 31 = x*c for i.
4
Let m(d) = 69*d + 566. Let h be m(-8). Solve -2*l - 5*c = -18, -5*l + 17*c = 14*c - h for l.
4
Let b = -8 + 8. Let q(r) be the first derivative of -r**3/3 + 2*r**2 + 5*r - 2. Let x be q(4). Solve -7 = 3*h + x*z, b = 5*h + 3*z + 21 - 4 for h.
-4
Suppose -3*c + 35 = 4*d, 4*d - 15 = -c + 2*c. Let v be (6/c)/((-20)/(-50)). Solve -4*k = -k + 4*s + 9, k + 2*s = -v for k.
-3
Let n(m) = -2*m - 8. Let s be n(-7). Let w(r) = r**3 - 2*r**2 + 3. Let g be w(2). Let y be (-4)/g*3/(-2). Solve y*h - 7 = 3*t, -h - 2*t = -t - s for h.
5
Let s(b) = -b**3 - 8*b**2 - 6*b + 7. Let t be s(-7). Suppose -y = -t*y. Let w(v) = -v**2 + v + 29. Let g be w(y). Solve p + 8 = -m, 4*p + 0*m + g = -3*m for p.
-5
Suppose 0*r = 4*r - 12. Suppose 0 = -3*g - r*g + 312. Let f = 74 - g. Solve 0 = -4*k + 4*d + 20, 5*k = 3*d - d + f for k.
4
Let t(h) = 6*h + 329. Let n be t(-54). Let r be ((-2)/(-5))/((-2)/(-30)). Suppose 0 = q - 4*q + r. Solve 13 = -3*g - l, n*g + 5*l + q = -23 for g.
-4
Let i = 165 + -160. Let r(l) = l**3 + l**2 - l + 4. Let j be (0*(-1 + 0))/2. Let f be r(j). Solve -f*c = 5*y + 3, 0 = 3*c - y + i*y + 2 for c.
-2
Suppose -3*y - 55 = 5*x - 4*x, 5*x - 2*y + 309 = 0. Let n = 65 + x. Solve -z = 4*u - 10, 0*z - 3*z - n*u + 6 = 0 for z.
-2
Let r(i) = 3*i - 13. Let k be r(0). Let s = 15 + k. Solve 3*l = 5*o + 7*l - 29, -s*o - 3*l + 13 = 0 for o.
5
Let t = -47 - -54. Suppose 2*j = -4*i + 20, 5*j - 2*i - 25 = -t*i. Solve j = -3*n - 5*g - 10, -4*g - 6 = -3*n - g for n.
0
Let h = 91 + -66. Suppose 22*d - h*d + 9 = 0. Solve d*z = -2*x - 1, 2*z + 0*x = -x - 1 for z.
-1
Let w = 1 + 3. Suppose -w*x = 24 - 36. Solve -2*i = -x*k + 2, -3*k - 6 = -5*i - k for i.
2
Suppose -25 = x - 25. Let g be 0 - -4 - 4*(x + 1). Solve g = 3*n - 3*u + 24, 2 = u - 1 for n.
-5
Suppose -3*i - 15 = 3*m, -4*i - 4*m - 20 = -8*i. Solve -2*y + 16 = 2*h, -3*y + i*y + h = -8 for y.
4
Let b = 5 - 8. Let t be (b/5 + (-3)/45)*-3. Solve -2*z = -2*j - 2, 2*j + 1 = -t*z + 3*z for z.
1
Let v = -1433 - -1435. Solve -v*i = -5*j + 7, -4*i = 5*j + i for j.
1
Suppose 0*p + 5*p - 17 = m, -3*p + 27 = 5*m. Suppose m*i + 32 = -i. Let o = i - -11. Solve o*h - 4*r = 0, h - 4*r - 16 = 2*h for h.
-4
Let r = 7 + -1. Let c be 2/(-6) + 8/r. Suppose 2*b + n - 2 = -0, 0 = -5*b - 4*n - c. Solve 5*k + 1 = b*s + 7, 0 = -s + k - 2 for s.
-2
Let y be (36/8)/((-2)/(-4)). Let t = y - 8. Let v = -1 + t. Solve -c = -3*p + 11, 4*p + v*p + 5*c = 21 for p.
4
Suppose b - 2*b + 4 = 0. Suppose -s = b*s - 10. Suppose 41 = 4*m + 3*d - 39, -s*m + 3*d + 40 = 0. Solve 3*r + 1 = 2*h - 3, -5*h - m = 0 for r.
-4
Let o be ((-20)/(-8))/((-5)/(-10)). Solve 0 = -4*q - w + o*w + 4, 21 = -4*q - w for q.
-4
Let m be -3 + 20 + 3/1. Suppose b = -4*b + m. Suppose b*t + 18 = 6*t. Solve z = 3*p + t, -p - z = -5*z + 14 for p.
-2
Let m be (-1)/(-3 - -4) + 3. Suppose -m = -8*o + 22. Solve o*d + 3 = 5*l, 0 = 3*d - 0 - 12 for l.
3
Let b be 4 + (-32)/(-8) + -8. Solve -3*t = -b*f - 4*f - 9, f + 6 = -3*t for f.
-3
Let t = 7 + -3. Suppose -3*w + 12 = 0, 2*i - 5*i + t*w + 29 = 0. Suppose b = -b + 6, -i = -2*n - 5*b. Solve -13 = -5*z - 2*y, y + 4*y + 5 = n for z.
3
Let x be 4/(-6)*3/(-2)*3. Solve -5 + 1 = x*l - 5*b, 5*l = -b + 12 for l.
2
Let v(h) = h**2 - 12*h + 36. Let b be 160/30*(-3)/(-2). Let j be v(b). Solve 0 = y + 2*p - 0 + 8, -j = y + p for y.
0
Let q = -2 - -2. Suppose q = -4*s - f + 20, s = -s - 4*f + 10. Suppose 3*c = s*c - 10. Solve -3*t - 1 = -4, c*l + 12 = -3*t for l.
-3
Suppose -2*z + 8 = -5*g - 8, 5*z = 4*g + 23. Solve s = -1, 3*a - s = -z*s + 10 for a.
4
Let c be 1/(108/56 - 2). Let w = c - -8. Let j = 6 + w. Solve -3*a - 21 = 5*y, 2 = 5*a - j*a - 4*y for a.
-2
Let z be 7 - ((-22)/(-4) + -5)*-34. Solve -4*n - 4*o - z = 0, 3*o = -4*n + 5*o - 12 for n.
-4
Suppose -z + 14 = 3*z + 2*g, 0 = 5*z - 3*g - 1. Let r = 7 - 1. Suppose -r*u + z = -5*u. Solve 3*s = -3*n + 1 + 2, 9 = -5*s + u*n for s.
-1
Suppose -n = 3*n - 4*f - 80, -2*n = -4*f - 32. Suppose 0 = 2*a + 3*c - 19, 19 = -3*a + 5*c - 0*c. Solve -4*d + 26 = -a*y, -4*y + 0*d - n = -d for y.
-5
Suppose 0*f = -11*f + 132. Solve -d = -2 + 5, f = 3*b - 2*d for b.
2
Let a(v) = -2*v**2 - 52*v - 330. Let y be a(-13). Solve -y = 3*s + q - 3*q, 0 = -3*s - 2*q - 16 for s.
-4
Let s = 82 + -77. Solve 16 = -3*g + 2*d, d = s*g + 14 + 1 for g.
-2
Let v(o) = 9*o - 21. Let s be v(3). Suppose 201 - 147 = s*y. Solve -4*d - 2*m = -5*d, 0 = 2*d + 5*m - y for d.
2
Let c(a) = -12*a - 36 + a**3 + 0*a**2 + 12 + 9*a**2. Let m be c(-10). Let b(h) = -h - 4. Let i be b(m). Solve 9*u - 4*u - r - 24 = i, -3*u + r + 14 = 0 for u.
5
Let q = -178 - -180. Solve 0 = -5*m + 3*w + q*w, 0 = -m - 4*w + 20 for m.
4
Let l be 5*(-2 + (-42)/(-15)). Suppose 9 + 3 = l*g. Let b = 3 - g. Solve -2*r + 2*m + 14 = 4*m, b = 4*m - 8 for r.
5
Let r = -1363 + 1367. Solve -2*j + 0*j = -6, -3*a + 18 = r*j for a.
2
Let l be 7 + -1 - 1/1. Suppose -2*j - 10 - 78 = l*n, 2*j - 5*n = -128. Let t be 12/j + 29/9. Solve t*x + 2 = -k - 9, -3*x + 5*k = 17 for x.
-4
Suppose -w - w = -3*s - 33, w = 2*s + 18. Suppose -13*u + 64 = w. Solve -u*l = 3*i + 8, 5*l + 3*i + 11 = 1 for l.
-2
Let m be (10*4/16)/((-7)/(-14)). Solve 15 = -s - 5*x, m*x = s + s - 30 for s.
5
Let z be (2/(-6))/(6/(-90)). Solve -z*h + 3*t = t - 20, -5*h = 3*t + 5 for h.
2
Let c be (3/2)/(45/60). Solve 0*d - 2*d - 9 = s, c*d = -10 for s.
1
Suppose 3*s - 12 = 3*k, 2*k - 8 = -10. Solve -3*m + i = 15, -5*i + 18 - s = 0 for m.
-4
Suppose -w = -4*n - 3*w + 170, 0 = n + 2*w - 38. Let z = -42 + n. Solve -2*h + 14 = 5*u, 5*h - 4*u = -0 + z for h.
2
Let g(k) = 2*k**3 + 9*k**2 - 7*k - 6. Let i be g(-5). Solve -2*y + 6*y + 20 = 5*w, -i = -w - y for w.
4
Suppose 99 = 13*l + 20*l. Solve 0*f + 4*x + 17 = l*f, -11 = -f + 4*x for f.
3
Suppose 14*j + 2968 - 3010 = 0. Solve 0 = -5*o + j*w - 18, 0*o - 3*w = o for o.
-3
Let v(q) = 2*q - 7. Suppose 54 - 14 = 4*u. Let l be v(u). Let x = -12 - -17. Solve x*n - 21 = d, d = -0*n + 3*n - l for d.
-1
Let u be 35 + (11 - 3) + -4. Let c = u + -34. Solve m = -1, 3*m = c*d + m - 22 for d.
4
Let x = -92 + 91. Let m be 1 + x*(-3 + -1 + 0). Solve -2 = z + m*v - 4*v, 6 = -3*z + 2*v for z.
-2
Let o(q) = -q - 7. Let m be o(-9). Suppose -m = 4*f + 6. Let j be (-3)/(f - 7/(-5)). Solve -h - 2*h = 5*a - 13, j*a - 4*h = 41 for a.
5
Suppose 3*y = -3*o + 5 + 1, 5*o - 28 = 4*y. Solve -5*a + 12 = -q, 10*a + 5*q = 7*a - o for a.
2
Let d(f) = f**3 + 3*f**2 - 2. Let g be d(-3). Let i = g + 7. Suppose -i = l - 7. Solve 2*t = -2*z + l, z - 21 