 Solve 4*t - 1 = -2*f + 19, -q = -f + t for f.
4
Let g = 52 - 32. Let c = -10 + g. Suppose 2*x - c - 12 = 0. Solve 2*o = -l - 0*o - 2, -3*o = 5*l - x for l.
4
Let z be 9/(-15) - 52/(-20). Let k be ((-25)/(-10))/(1/z). Solve -d + k = -2*m - 0*d, 2*m = -d - 3 for m.
-2
Suppose 0 = 6*h - h. Let r(f) = -f**3 + 17*f**2 - f + 19. Let a be r(17). Solve -4*u - 2 = -5*z - h*z, 0 = 2*z - 2*u - a for z.
-2
Suppose 28*u = 2*z + 27*u - 18, -2*z - u = -22. Solve 17 = 3*o + 2*r, 0 = -2*o - 11*r + z*r + 10 for o.
3
Let q = 124 - 48. Let g = q + -73. Solve 0 = -3*x + g*u + 3, 0*u = -3*x - u - 17 for x.
-4
Let v(d) = -d + 1. Let i be v(6). Let z = 8 + i. Let u = -378 - -387. Solve z*k - u = 2*o, 0 = 5*o + 5*k - 0*k - 15 for o.
0
Let z be -9 - 18/(-1) - 5. Let s(y) = 3*y**3 + y**2. Let k = 1 + 0. Let b be s(k). Solve 0 = -5*v - 5*d + 10, z*v - b - 9 = d for v.
3
Let m be 923/39 - (-2)/(-3). Solve 3*n - 3 = g + 2*n, 5*g = -3*n - m for g.
-4
Suppose 10*w = 5*w + 15. Suppose w*x + 16 = 7*x. Solve -2*n - x = f - 3*n, -3*n = -15 for f.
1
Let i be 19/(-38) + 1/2. Solve -17 = 4*q - i*q + 5*o, -3*q + 31 = -5*o for q.
2
Let u = -435 - -437. Solve -2*c + 4 = 0, u*c - 16 = -7*a + 4*a for a.
4
Let r = 27 + -28. Let d be 16/32 + r/((-4)/38). Suppose -3*c - 3*v = -6, -2*c + 11 = v + 5. Solve -3*w - 13 = k, -2*k - c*w = 3*k + d for k.
2
Suppose 0 = -3*z + 2*o - 4, 3 = -z + 5*o - 20. Solve z*x = -2 - 4, 3*r = -2*x + 6 for r.
4
Suppose 5*o = 4 + 11. Suppose 11*m = o*m + 32. Solve 0 = 2*q - 5*j, 3*q + 21 = -5*j - m for q.
-5
Let p = 520 - 513. Solve -c + 3*c - p = v, 3*c - 5 = -4*v for v.
-1
Suppose 10*i + 5*m - 30 = 5*i, 3*i - 4*m = 11. Let t = 9 - i. Suppose -12*o - 12 = 4*y - 8*o, -4*o - 21 = -5*y. Solve x = -2*v + y - t, -5*x = -v - 29 for x.
5
Let f = 21 + -21. Suppose -5*k - 2*l + 4 = 0, f*k + 1 = 2*k + l. Let y be -4*2/(-4) - k. Solve -7 - 24 = -4*d + 5*b, 3*b + 9 = y for d.
4
Let u(o) = -4 + o**3 - 17 + 3 - 20*o**2 + 3*o - 2*o. Let f be u(20). Solve f*a - 14 = 6*a + 3*k, 0 = -4*a + 2*k - 4 for a.
-2
Suppose y + 3 + 3 = 0. Let v be (y - -5)/((-2)/(-18)). Let a = v + 11. Solve 0 = 4*g - 5*b + 21, -4*g - 3*b = 11 + a for g.
-4
Let f(o) = -109*o - 752. Let g be f(-7). Solve -2*v = 5*y, -6*y + 5 = -g*y - v for y.
-2
Suppose 2*q + 2 = 0, -a - 2*q + 4*q - 3 = 0. Let u be 4 - (4 + 0/a). Solve u = -4*c - 5*p - 5, 5*c + 4*p - 2 = -6 for c.
0
Let n(o) = o**3 + o - 3. Let k be n(0). Let m be ((-24)/(-16))/(6/20). Let f = k + m. Solve 3*a - 2*a - 2*x - 11 = 0, -f*a - 3 = x for a.
1
Let q = 15 - 15. Suppose -5*o - 2 + 12 = q. Solve 0 = n + 5*v - 20, -3*v + o*v = -n + 2 for n.
5
Suppose -3*p = 5*d - 165, 3*d - p + 30 - 115 = 0. Suppose 4*s - 3*g + 3 = 4, -d = -5*s - 2*g. Solve 0*b - 3*b + 8 = t, -2*t = -s*b - 6 for t.
5
Let j be (-10)/(-3)*2*(1 - 16). Let y = 103 + j. Solve 5*f = -g + y*f - 4, 0 = 2*g + f + 2 for g.
0
Suppose -12*n = -2*z - 8*n - 4, 0 = -3*z + 4*n - 2. Solve -3*w - 2 = h, -1 = -3*w - z*h + 1 for w.
-2
Let y be 0 - (-31)/5 - 8/(-10). Suppose 0 = -y*m + 12*m - 30. Solve 3 = 2*s + t, -5*s - 5*t - m = -21 for s.
0
Suppose 10 = 4*w + o - 49, -2*w = -o - 37. Suppose 4*p + 0*p = -l + 12, 0 = -4*l + w. Suppose 5*t - 14 = 31. Solve 4*z = -b - 7, -p*b - z = 2*z + t for b.
-3
Let h(w) = -21*w**3 - w**2 + 1. Let q be h(-1). Suppose -3*a + 11 = -37. Suppose -a - 2 = -3*m. Solve m*b = 2*b + 5*z - q, -5 = 5*b - 2*z for b.
1
Suppose 22 = -0*a + 2*a + p, 3*a = -3*p + 30. Suppose -2*c = 0, -4*o + o + c = -a. Solve -12 = -4*r - o*m, 3*m = 7 + 5 for r.
-1
Let a be 2/2*(9 + 5). Solve b + 5*f = 10, -f = 2*b + 3*f - a for b.
5
Let m be 15/(-45) + (-2)/(-6). Solve m = -k - 2*f - 2 - 1, -21 = -5*k + 2*f for k.
3
Suppose 7 = s - m, s + 1 = 2*m + 13. Let a(w) = 8 + s*w - 2*w + w - 1. Let v be a(-7). Solve -3*r + 5*f - 13 = v, -2*f + 4*f = 10 for r.
4
Let b = -30 - -32. Suppose 4*h = h + 5*f + 15, 0 = b*f. Suppose 4*z = -3*y - 0*y - 7, -y = 4*z + 13. Solve c + h = y*n, -19 = -5*c - 3*n + 10 for c.
4
Suppose -4*j = 5*d + 166, 0 = 4*d - 5*j - 0*j + 100. Let z be (1/(-10)*4)/(6/d). Solve -4*l + g = -7*l, z*g = 5*l for l.
0
Let x(m) = 22*m - 305. Let l be x(14). Solve -u - 16 = 5*f + 3, -u + l*f = -5 for u.
-4
Suppose 0 = 3*h + 2*b + 4, 5*h - h - b + 20 = 0. Let m(k) = 2*k - 4. Let i be m(6). Let x = i + h. Solve 4*n + 19 = -0*z + z, z + 13 = -x*n for n.
-4
Suppose -19*z - 80 = -17*z. Let h be ((-52)/(-6))/((z/12)/(-5)). Solve 0 = 3*q + 4*g - h, -q - 3*g - 3 = -3*q for q.
3
Suppose 4*x + 38 = 5*x - 5*v, 3*v = 2*x - 41. Let m = -8 + x. Solve -4*k = -j + 15, -2*k + m*j = 2*k + 27 for k.
-3
Suppose 3*j - 5 - 13 = 0. Let u(v) = -v**3 - 5*v**2 + 17*v + 26. Let l be u(-7). Suppose -l*x = j - 21. Solve -3*t - 4*d = -26, -2*d - 1 = -4*t - x for t.
2
Suppose 0 = -4*j - j + 100. Let d be (j/(-6))/(6/(-9)). Let b = d - 1. Solve -r + 6*r = -3*k + b, 0 = 3*k - r + 8 for k.
-2
Suppose -28*m + 66 = -18. Solve z + m*d = 6*d + 15, -2*d = 8 for z.
3
Let o = 9 + -13. Let a be (-36)/(-16)*-1*o. Solve -1 - 2 = -3*b - 4*c, -2*c + a = -b for b.
-3
Suppose 4*w = -4, -n + 2*w = -0*w - 19. Solve 0 = -h - 5*m + n, -5*m - 5 + 31 = -2*h for h.
-3
Suppose -n + 2*n - 5*m - 19 = 0, -4*m + 124 = 5*n. Suppose -3*w + 4*a - n + 56 = 0, 2*w + 2*a = -2. Solve q + w*z + 15 = 0, -2*q - 3*z - 21 = 2*q for q.
-3
Suppose -u - 5*b = -5, 5 - 10 = -5*u - 5*b. Solve u*t = 3*t + 4*g + 2, -t + g = 3 for t.
-2
Let b = 824 + -812. Solve 4*c = 4*m - 16, 2*c = -0*c + 4*m - b for c.
-2
Suppose 48 = 24*g - 8*g. Solve 5*a = 5*k + 25, -k + g = a - 0 for k.
-1
Suppose 17*b + 30 - 30 = 0. Solve b*x - 2*l = 4*x + 10, x + 3*l = -10 for x.
-1
Suppose -20 + 64 = 22*u. Solve 6 = 3*g + 5*q - 7, 0 = -u*g + 4*q - 6 for g.
1
Let u = -279 + 293. Solve g = -4*t - u, t - 6 = -5*g - 0*g for t.
-4
Let h(l) = l**2 + 2*l + 1. Let w be h(-3). Let q be 4/1 - (-416)/13. Let d = q - 20. Solve s = 2*k + 5*s - 14, -5*s + d = w*k for k.
-1
Suppose k - 2 = -k, -c + 5*k - 3 = 0. Suppose -25 = -3*h - c*h. Let v = 50 + -48. Solve 0 = 2*p + v*p - 5*f + 9, -2*f = -h*p - 7 for p.
-1
Let i(m) = -12*m + 14*m - 31 + m**2 + 0*m. Let y be i(-7). Solve -p - 4 = c, 2*c + 5 = -3*p - y for c.
-3
Let k(f) = f**2 - 5*f - 18. Let m be k(8). Solve h = -y - 4 + 1, -m = -2*y + h for y.
1
Let n(f) = -8*f + 7 + 10 + f**2 - 2. Let w be n(6). Let m be 2/((6/3)/6). Solve -z = 0, w*k - 3*z + 0 + m = 0 for k.
-2
Let p be (-3)/((-9)/30) + -1. Suppose 2*y + p*y = 33. Solve 4*l = 7 + 9, y*z = -l + 13 for z.
3
Suppose -3*v = -9, 4*a + 0*v + 4 = 4*v. Let x = 0 + -6. Let r be -1 + 1 - (x - -3). Solve 0 = -2*h - w + a, 2*h = 7*h + r*w - 5 for h.
1
Let s = -2142 - -2151. Solve 5*a + 20 = 3*f, -25 = 4*a - 5*f - s for a.
-4
Let v = -1275 + 1277. Solve 2*u + 2*k = 16, -7*u + 24 = -v*u + k for u.
4
Suppose -23*f = 33*f. Solve 4*s + 4*a = 0, -3*s + 3*a + 6 = -f*s for s.
1
Suppose 6*q - 132 = -60. Suppose 12 = 8*u - q. Solve -2*z = d - 4, 5*z = u*z + d for z.
1
Let s = 210 - 125. Let t be 3/(-7) - s/(-35). Let z be (t - 6)*-1 + -1. Solve 0 = 3*y + b + 2*b - z, 2*y + 5*b = 5 for y.
0
Let o = 55 + -55. Suppose -5*p = -o*p - 15. Suppose 3*n + 3*d - 15 = -d, -5 = -n - 2*d. Solve -5*y + 3*x = 20, 7*y = p*y + n*x - 29 for y.
-1
Let y(j) = j + 9. Let w be y(-5). Let f be (12/(-3))/(0 + 0 + -2). Let s be 15/4 - f/(-8). Solve 6*x + 25 = u + x, -4*u - w*x = -s for u.
5
Let d(b) = 23*b - 148. Let t be d(7). Solve -2 = -2*l - 2*z, 5*l = -0*l + 4*z - t for l.
-1
Let x be ((-2)/3)/(16/(-24)). Let w(t) = 0 - x - 1 - t - 5. Let z be w(-12). Solve 4*c = 2*k, 0 = 2*c - 3*k + z*k - 12 for c.
2
Suppose -2*n + 4*r + 20 = 0, -15 = 4*n - 6*r + 9*r. Solve 0 = 3*w + 2*z - 6 - n, 2*z = 4*w + 6 for w.
0
Suppose 0 = -32*n + 39*n - 28. Solve -8 = -4*h + 4*j, -n*j + j - 18 = h for h.
-3
Let z be 2*6/4 - 0. Suppose z*j = -4*o + 26, -5*j + 18 - 8 = 0. Solve -o + 11 = -p + 4*r, -r = -p - 3 for p.
-2
Suppose 2*r - 8*r = 0. Solve 4*l + 2*u + 6 = r, -3*u = -l - u - 4 for l.
-2
Let h(v) = 2*v + 42. Let i be h(-18). Suppose -3*b = -4*w - 14, -2*b - 32 = -i*b + 2*w. Solve 0 = -5*g - 2*n - 3*n, -g = -4*n - b for g.
2
Let g be 35/6 + (-2)/(-12). Suppose k = 3*k - g. Suppose -x = k*x. Solve 3*q - o = o - 7, x = -q - 4*o - 21 for q.
-5
Let b = 90 + -28. Suppose -4*x + b = 3*i - 0*i, x - 5 = 0. Solve 5*l - 4*w = -26 - 6, -2*w + i = -2*l for l.
-4
Let b be 1/4 + 