 6*z, z = -i*t + v for t.
5
Let h(z) = 4*z**2 - 3*z + 3. Let w be h(1). Let n be w/((-16)/(-20)) + -2. Solve n*g + 2*b = -19, 0 = g - b + 6*b + 15 for g.
-5
Suppose 2*n = -6, -3*o + 6*o + n - 9 = 0. Suppose 2 = 2*b - k, k - o*k = -2*b - 6. Solve -15 = -b*s + 5*y, 0*y = 5*s - 5*y - 15 for s.
0
Let x(i) = i. Let y(w) = w**3 + w**2 - 2*w. Let s be y(-2). Let t be x(s). Solve 2*a - 3*n + 0*n = 13, t = -5*a - 4*n - 25 for a.
-1
Suppose -4*y - 4*y = -32. Let a be -3 - -2 - (-6 + 19). Let q = -10 - a. Solve 2*d - q = -4*x + 7*d, d = y*x + 12 for x.
-4
Let k(o) = 2*o**3 - 2*o**2 - 6*o - 2. Let y be k(3). Suppose -4 = -u, 5*m - y = -2*u + 2. Solve 2*i + 18 = 2*d - 0*i, 0 = 2*d + 2*i + m for d.
4
Suppose 0 = -11*x - 20 + 53. Solve 10 = 2*o, 2*p - 6*o + x*o = -21 for p.
-3
Suppose 2*k + 7 = 3*f + 7*k, 3*f - k - 13 = 0. Solve i = 4*m + 7, 0 = 5*i + f*m - 14 + 51 for i.
-5
Let i be (-8 - (-4 + 1))*30/(-75). Solve 2*f - 17 = -f + i*p, 0 = -2*f + 5*p + 15 for f.
5
Let i = -200 - -204. Solve -b - i*a + 4 = -0, 2*b + 3*a + 2 = 0 for b.
-4
Let i be (28/8 - 4)/((-1)/14). Suppose 51 = i*s - 26. Solve -6 = -2*v, 2*d + 3*d = -2*v + s for d.
1
Let z(c) = -4*c. Let j(d) = -d - 1. Let r(f) = -2*j(f) + z(f). Let h be r(14). Let a = h + 31. Solve a*w = -4*s + 5*s + 29, 0 = 3*w - 3*s - 27 for w.
5
Suppose -z - f + 16 = 0, 3*z = -2*z + 3*f + 112. Suppose 0 = -6*u + z - 8. Solve -u*t = t - 12, -2*i + 5*t - 30 = 0 for i.
-5
Let r = 5 - 18. Let n = r + 21. Suppose 6*f - 10*f = -n. Solve -5*j + 2*c - 21 = 0, 3*j = c + f*c - 9 for j.
-5
Let f(i) = -3*i + 2. Let c be f(-2). Let x be (c/10)/(2/10). Let y(k) = -k**3 - k**2 + 6*k + 4. Let r be y(-3). Solve -5*v - p = r, 3*v + 2*v + 9 = x*p for v.
-1
Suppose 0 = -17*d + 524 - 473. Solve 3*u = 4*z - d, -3*u - 10*z = -5*z + 3 for u.
-1
Let s(o) = o**3 + 73*o**2 - 84*o - 738. Let m be s(-74). Let b = 103 + -67. Solve 2*r + 2*q - m = -4, -4*r + 4*q - b = 0 for r.
-5
Let y(w) = -3*w - 3*w - 7*w - 2*w**2 + w - 8 - 2*w. Let v be (-4)/(2 - 0) + -4. Let t be y(v). Solve 3*i + 4 = t*f - 20, 5*f + 4*i = -1 for f.
3
Suppose 593*f - 598*f + 10 = 0. Solve -5*s - 4*d = -2, -4 = d - f for s.
2
Suppose -8*j - 2 = -10*j. Suppose 8 = 4*g + 5*w, 0 = 4*g + 2*w - w - 24. Solve -t - 2*p = 2, -j = 4*t + 5*p + g for t.
-2
Let r be 0*((-33)/(-9) - (-13 - -17)). Solve 0 = 4*p + 3*q - 6, 0*p - 4*p + 2*q + 16 = r for p.
3
Let t(g) = -5*g + 53. Let y(k) = -3*k + 35. Let v(d) = -5*t(d) + 8*y(d). Let q be v(-11). Suppose -q*o - 3 = -19. Solve 2*c + o = 2*l + 3*c, 4 = -l - 2*c for l.
4
Let p(k) = -k**3 + 5*k**2 + 5*k - 2. Let l be 28/6 - (-1)/3. Let w be p(l). Let x be 1*(-88)/11 - -10. Solve x*q - w = -5*n, 3*n + 5*q = -2*n + 35 for n.
3
Let v(f) = f**3 - 3*f**2 - 5*f + 5. Let g be v(4). Let w(j) = 6*j + 102. Let k be w(-12). Let i be 65/k + g/(-6). Solve 3*t = -t + 3*h + 3, 4*t - i*h = 6 for t.
3
Let f be (3/(-2))/(28/(-56)). Let y be (f/(-6)*6)/(-1). Let o(x) = x**2 - x + 3. Let l be o(0). Solve 0 = 3*u - 4*r - 6, -l*r + 7 = 5*u - y for u.
2
Suppose 5*b - 2*f = 5, 0 = 7*f - 6*f. Solve t = -1, u - 6 = 5*t - b for u.
0
Let g(w) = -3*w - 23. Let a be g(-9). Let d be (1 - a)*(1 + -2). Solve t + q - d = 2, t = -3*q + 13 for t.
1
Let c(x) = 5*x. Let s be c(1). Let m(l) = -4*l**2 + 26*l - 3. Let w be m(s). Solve -5*t = 3*p - w - 4, -2*p + 4 = 0 for t.
5
Suppose 25*n = 23*n + 12. Suppose -3*o + n*o = 0, 3*p - o - 18 = 0. Solve 2*w - p = 4*j, w = 5*j + 15 - 0 for w.
-5
Suppose 9*t + 392 = 11*t. Suppose 12*q - t = 5*q. Solve 4*z - 4*d = q, 4*d + 11 = z + d for z.
5
Let v(a) = -a**3 - 14*a**2 + 17*a + 32. Let q be v(-15). Let b(n) = n + 5. Let z be b(-5). Solve -f - q*p = 0, 0*f - 4*f + 4*p = z for f.
0
Suppose -19*h = -16*h. Let y = -8 + 13. Solve y*a + 15 = -h*r + r, -5*a + 4*r - 15 = 0 for a.
-3
Let f be 2/((-36)/(-15)) - 2/(-12). Let m(g) = g**2 + 8*g + 5. Let i be m(-5). Let h be (i*3/(-6))/f. Solve -4*o + o = 15, 5*r - 2*o = -h for r.
-3
Suppose 34 = 15*a - 11. Let h = a + 1. Solve -g - 7 = -3*o, h*o - 16 = -0*g - 2*g for o.
3
Let w(m) = -m**3 + 8*m**2 + 19*m + 14. Let z be w(10). Suppose -z*p + 23 = 7. Solve -r = 4*v + 10 + p, 3*r + 2*v + 2 = 0 for r.
2
Let d = -15 - -20. Let g be (-4)/12 - (-56)/24. Solve g*y - d*y - 5*i = 0, 4*i = 2*y for y.
0
Suppose -5*x - 152 + 242 = 0. Solve -25 = -5*n, -f + 0*n - x = -3*n for f.
-3
Suppose -6*y + 2*y + 12 = 0. Let u = -1 - -1. Suppose 7494 = 66*h + 7230. Solve -y*q + r = 4, q + u + h = -r for q.
-2
Let s = 11 + -17. Let q be (3 + s/9)*-3. Let w be ((-6)/(-10))/(q/(-35)). Solve 0 = 4*y + 2*u + 22, -3*u = w*y + 16 + 8 for y.
-3
Suppose -2*l - 3*r = -5*l + 63, 2*r = l - 25. Let c be ((-10)/6 - -1)*(-204)/(-8). Let x = l + c. Solve -y - 4*y = -5*n + 10, x = 5*y - n - 10 for y.
3
Suppose 0 = 25*m - 16*m - 81. Solve 4*p - 10 = -3*h, -h = h + 5*p - m for h.
2
Let a be 4 + -2 - (11 + -12). Let d be (15/10)/(a/6). Solve l = s + 4, l + 0*l = -d*s for l.
3
Let f(s) = 2*s**3 - 65*s**2 - 30*s - 87. Let p be f(33). Solve g + 14*b - p*b - 6 = 0, 0 = -3*g - b - 2 for g.
-2
Let l = -21 + 27. Solve g + 5*u - 22 = 0, -4*u + 3*u - l = -5*g for g.
2
Let n = -1 + 6. Let f be 4/14 + 2/(-7). Suppose -2*o = 5*l + 12, -6*o + 12*l = 8*l - 40. Solve f = -n*d + o*m - 25, 0 = -3*d - d - m - 20 for d.
-5
Let t be 51/(-2) + 685/274. Suppose -3*l + 5*y - 74 = 0, -l + 2*l + 24 = y. Let v = t - l. Solve -6 = -n - 2*s, v = 3*n - 4*n + 4*s - 18 for n.
-2
Suppose -6*y + 95 = -61. Let q = y - 23. Suppose -2*i = -2*k + q*i + 9, 7 = 3*k - i. Solve -4*f + k*w = 6*w + 4, 3*w = -4*f for f.
3
Let n(h) = h**2 - 4*h + 4. Let z = 147 - 147. Let m be n(z). Solve m*i - 4*v = -1 - 19, 4*v - 20 = 0 for i.
0
Suppose -4*a - 4 = -2*b, -4*b + 2 + 6 = a. Let l be (-3)/3 + b - 1. Suppose -3*r + r + 10 = l. Solve t + 4*t = -5*d - 5, 0 = t - r*d - 11 for t.
1
Suppose 25 = 2*y - 4*l + 9*l, -4*l = -12. Solve -y*a + i = 16, 4 = -3*a - 2*i - 3 for a.
-3
Suppose 2*g = 2*y - 6, -4*g = 2*y + 4 + 2. Suppose 5*k + 5*f = -0*k + 25, 4*f = -k - y. Solve 0 = 2*n - 2*o - 2, k*n - 8 = 2*n + 2*o for n.
2
Suppose 24*o - 54 = 42. Solve -l + 3*h = -0 + 4, -o*l + 5*h - 9 = 0 for l.
-1
Suppose 0 = i - 2*i. Suppose i*j + 2*j = 4*u + 6, 3*u + 2*j = 6. Suppose 8 = -7*x + 11*x. Solve -3*s + 5*k + 6 = u, -2*k + 4 = x*s + k for s.
2
Let i = -9 + 11. Suppose i*c + c = 6. Solve c*b = -3*n - 7, 0 = -0*b - 4*b + 16 for n.
-5
Suppose -j = -5*b + 16, -3*j = 5*b - 8*b + 12. Solve -4*l = 2*r - 18, 5*r - 13 = -b*l - 3 for r.
-1
Let x be (6/(-12))/((-1)/96). Let y = x + -40. Solve 3*w + 0*w = -3*k, -w - 5*k = y for w.
2
Let q be ((-26)/8)/(1*(-2)/16). Suppose -5*f = 8 - 33, -2*f + q = 4*o. Solve -v = o*d - 15 - 3, -3*v + 3*d = 21 for v.
-2
Let h be (-115)/(-46)*(-14)/(-5). Solve 3*g + 1 = -2*l, 5*l = g - 4 - h for g.
1
Suppose -3*h + 12 = -0*h. Solve 5*b = y - 16, 3*y - 24 = h*y + 5*b for y.
-4
Let t be 2 - -1*(-2)/(-2). Suppose t*m - 36 = 3*v, 0 = 3*m + 2*v + 2*v - 29. Solve -a - m = 2*w, 4*a + w + 10 = -6 for a.
-3
Suppose 0 = -3*z - z + 4. Suppose -z = 3*m - 19. Solve 0 = -4*j - 2*y + m, 0*j = -3*j + y + 17 for j.
4
Let u = 83 - 83. Suppose -5*g + c + 4 = 0, u = 2*c + 2*c + 16. Solve -s = -3*k, 4*s + k + 1 - 14 = g for s.
3
Let v be 12 + 102/(-17) - 1*3. Solve -i + g = 1, -2*g = v*i + 3*g - 13 for i.
1
Suppose 5*c - 2*c = 3, -3*c - 47 = -5*v. Suppose o - 5*x + 46 = 3*o, -x + 17 = o. Let t = o + v. Solve -5*l - t = 2*h, -4*h - l + 6*l = -29 for h.
1
Suppose -2*d - 520 = 6*d. Let j = -63 - d. Solve 2*b - 5*b - h + 11 = 0, 2*b = j*h + 10 for b.
4
Let h(y) = -60*y**2 - 8*y + 4. Let c be h(3). Let r be (0 + -1)/(20/c). Solve a - 24 = -4*i, -8 = 5*a - r for i.
5
Let z = 37 + -32. Let p = z - 1. Solve -5*f + 25 = 5*k, k - f - 7 = -p*k for k.
2
Suppose 29*h + 17 = c + 27*h, c + 3*h = 17. Solve 5 = 2*g - b, -2*b + c = 2*g + 3*g for g.
3
Suppose 54*p - 58*p = -16. Solve 4*v - 4*s + 32 = 0, 12 + 16 = -3*v + p*s for v.
-4
Let j be ((-1)/3)/((-385)/(-30) + -13). Let x = -7 + 0. Let m = 1 - x. Solve z = n, j*n = -0*n - m for z.
-4
Let l(n) = -n**2 + 18*n - 61. Let c be l(12). Solve 0*t + c = -j - 2*t, 8 = -2*t for j.
-3
Suppose -m + 10 = 2. Suppose -5*t = -2*i + m, 2*t = -3*t. Let f be (i/(-8))/((-2)/16). Solve 0 = 4*k - 6*b + 3*b - 11, -4*k + 8 = -f*b for k.
5
Let k(a) = -6*a - 213 + a**2 - 6*a + 244. Let m be k(9). Solve 3*