 = 5*u - 2*t + s for u.
-3
Suppose 7*o - 38 = 9*o. Let j = 27 + o. Solve 0 = -5*f - 3*i - 29, -5*f + 2*i + 2*i - j = 0 for f.
-4
Let h(b) = -b + 10. Let a be h(0). Suppose 3*w = 2*l + 4 - a, 34 = 4*l + 5*w. Solve -5*v + l*v - 19 = -3*c, 5*c = 5*v + 5 for v.
4
Let j be 1 + 3 + (6 - 10/2). Solve -26 = -j*m - 3*x + 11, -2*x = 4*m - 28 for m.
5
Let s = -56 - -59. Solve 0 = s*l + 4*r - 1, -2*l - 2*r + 2 = 0 for l.
3
Let y = 28 - 23. Solve 5*x = 20, -y*t + x - 3 = -4 for t.
1
Suppose 0 = p - 0*p - 2. Let o = 4 - p. Solve -6*x + x + 5*q = -25, o*q = -4 for x.
3
Suppose 15 = -5*u + 4*y, 0 = -2*y + 3 - 13. Let h = 1 - u. Let c be (-42)/(-8) + (-2)/h. Solve 4*x - 12 = -2*d, 2*d - c*x - 3 = -0 for d.
4
Let p be (-1)/(-3) + (-15)/(-9). Solve p*l = 0, -3*l = -m - 2*l for m.
0
Suppose 4*d = w - 32, -4*w + 18 = -5*d - 55. Suppose -4*q + 4 = 2*h, q - 9 = -2*h + 2*q. Solve -w = 4*t + h*l, -2*l + 6*l = -20 for t.
2
Let r = 5 + -3. Let o(l) = l**3 - 5*l**2 + 2*l - 7. Let z be o(5). Suppose 5*y + n = 21, -y + 19 = 4*y - n. Solve -z*v = -3*f + f, -r*f = -y*v - 2 for f.
-3
Let g be ((-2)/4)/((-1)/12). Let o be (-2)/3 + (-130)/(-15). Suppose -3*v + o = -1. Solve -4*x + x + 1 = -2*s, g = v*x + 3*s for x.
1
Let m be (3/2 - 3)*-2. Suppose -k + m = -3. Solve -5*d = -k*f + 4*f, -3*f - 5*d = 0 for f.
0
Let i be -12*1*3/(-12). Solve -4*v = 4*k - 8, -i*v + 3 + 3 = -2*k for v.
2
Suppose 0 = -0*p + 4*p - 52. Suppose -w + 0 = -2*i + p, -6 = -4*i - 2*w. Solve -a = 2*d - i*d + 13, 4*a + 5*d = 13 for a.
-3
Let k = 34 + -22. Let p = -7 + k. Solve -5*h + 3*g = 2*g + 17, p*g - 10 = 0 for h.
-3
Let q be ((-2)/8)/((-6)/24). Let p be (-75)/(-20) + q/4. Solve -p*f = -2*f + 5*s + 5, 2*f + 1 = -s for f.
0
Let l = -11 + 7. Let h(d) = d**3 - 4*d - 2 + 5*d**2 + 8 + 9*d. Let y be h(l). Solve a - y*z + 3 = -0*z, a + 5*z = 18 for a.
3
Let m(c) = c - 4. Let i be m(4). Suppose i*z - 4 = -z. Suppose -4 = 16*x - 36. Solve -3*p - 8 = x*y, -5*p - 3*y = -z*y - 4 for p.
0
Let x(t) = -t**3 - 3*t**2 - 2*t. Let s be x(-2). Let k be s - (-6)/(-3) - -5. Solve 4*i - 3*u - 8 = 0, 0*u + 15 = -k*i - 3*u for i.
-1
Let u = 15 - 11. Solve 5*i + 4*f - 11 = -0, 0 = 4*i + 2*f - u for i.
-1
Let i(h) = -h**2 + 8*h - 10. Let o be i(7). Let g = -1 - o. Let f be -10*(g + 10/(-4)). Solve -5*d = 5*c, -3*c + f*d - 8 = 16 for c.
-3
Let w(s) = s**2 + 0*s**2 - 2 - 3 - 4*s. Let x be w(5). Solve -4*t = -t + 4*l - 3, x = -3*t - l + 12 for t.
5
Let r(z) = -3*z**3 - z**2 - z + 1. Suppose -2 + 6 = -2*f. Let c be r(f). Solve 5*k - 3*a - 9 = 0, 0*a - c = -5*k - 4*a for k.
3
Suppose -5*c + 14 = -2*m, -4*c + 11 = 2*m - 11. Suppose -c*j = 6 - 42. Solve 3*v + j = -3*y, 2*y - 3*v + 6 = -0*v for y.
-3
Suppose -4*g - d + 22 = -3*d, -5*d = 5*g - 5. Let t be 8/((-6)/(-3)*1). Suppose 5 = u + t*u. Solve 0 = -l + g + u, 0 = 3*q - l + 2 for q.
1
Suppose -6 = -2*c - 0*c. Suppose -2*l = 0, -2*l + 4 + 2 = -c*a. Let y be 6 + (-2 + 6)/a. Solve -6 = 5*z + y*w, 3*w - 4*w + 6 = 5*z for z.
2
Suppose -15*r = -19*r + 44. Solve -3*d - r = 5*u - u, 4 = -u - 2*d for u.
-2
Let z(m) = m - 8. Let n(a) = a - 9. Let d(g) = -5*n(g) + 6*z(g). Let u be d(5). Solve u*y = 0, 0 = x - y - 3*y + 2 for x.
-2
Let s be 1*(-3)/6*8. Let l be (-62)/s - (-1)/(-2). Solve -y - 3*t = -t + 12, 3*t = -l for y.
-2
Let h = 4 + -2. Let z(q) = q**2 - 3*q - 2. Let u be z(4). Solve 3*n = u*i - h, 5*i + 2 - 7 = -2*n for i.
1
Let s(w) = w**3 + 2*w**2 - 2*w + 1. Let x be s(-2). Solve 2*c = -2*t, -2*t + 3 + x = 4*c for c.
4
Let y = 1 - -1. Suppose -4*q + 32 = 3*w, 1 + 9 = y*q. Solve 0 = 3*k + 5*c - 1, -w*c = -5*k + 8 + 6 for k.
2
Let b(x) = -x**2 + 7*x + 9. Let t be b(7). Solve h + t = 2*c - 0*c, 8 = -c - 2*h for c.
2
Let j be (-2)/8 - 18/(-8). Let l be -2 - 291/(-3) - 1. Let q be l/18 + 2/(-9). Solve 2*t - d + 11 = 0, -j*t + 1 = q*d + 6 for t.
-5
Let o(q) = -q - 7. Let h be o(-8). Solve -5*g - 7 = -4*b, 3*g + 6 = b - h for b.
-2
Let i be ((-4)/6)/(2/(-12)). Let c = i + 0. Solve -c*n + r = -14, 5*n - 2*r + 0*r = 16 for n.
4
Suppose 0 = 3*v - 9 - 3. Suppose 0 = v*a + 4*c - 20, 4*a - 2*c = 8 - 0. Solve -3 = a*h + 2*m - 0*m, -2 = 2*h - 4*m for h.
-1
Let b = 9 - 6. Solve b*n = -t + 7, -2*n + 2*t + 8 = t for n.
3
Let f be 4/6 + 12*132/54. Solve -3*g + f = -3*t, 3*g - 17 - 3 = t for g.
5
Suppose 4*c - 15 = 5*m - c, m - 4*c + 18 = 0. Suppose 4*w + 2*l - 22 = 0, -22 = -m*w - 3*l - 1. Solve 2*s + 5*o = 13 - 4, w*o + 7 = 5*s for s.
2
Let d be (-10)/4*72/(-30). Solve 4*w = -2*p + d*p, -5*w - p = -18 for w.
3
Suppose -2*b - 38 = -92. Solve -3*x + 4*j - b = 0, -4*x + 5*j = 35 - 0 for x.
-5
Suppose -3*m - 2*g = -4, 2*m - g - 3 = m. Solve 0 = s - 6*i + m*i - 12, -12 = 2*s + i for s.
-4
Let j(y) = y**2 + 8*y - 12. Let v be (-12 + 3)/(0 + 1). Let c be j(v). Let q = c + 12. Solve -3*i + 5*d + 6 = -5*i, q = -3*i - 3*d for i.
-3
Suppose -2*a = -g + 18, a + a = -4. Suppose 5*y - 16 = t, -y + g = 4*y + t. Solve -2*v + 3*f = -f - 10, -3*v = y*f + 21 for v.
-3
Let w be (-4 + 5)/(3/6). Solve -3*x - 22 = -5*s, 5*s - 3*x = w*s + 18 for s.
2
Suppose 0 = v - 0*t - 2*t + 3, v - 3*t + 8 = 0. Suppose v*c - 20 = 2*c. Solve q + 5*x = 9, 9 = -2*q + c*x - 1 for q.
-1
Let b be 21/(-3) + 3 + 18. Solve 0 = 4*w - 3*z + z + 18, 4*w + 2*z = -b for w.
-4
Let g = -115 - -119. Solve -g*m - 21 = m - a, -m - 17 = 3*a for m.
-5
Let v(b) = -3 - 4*b**2 + 3*b**2 + 4*b + 1. Suppose 3 - 9 = -2*h. Let u be v(h). Solve 0 = 5*g - 3*m - u - 1, 5*m = 3*g - 14 for g.
-2
Suppose -4*m = 4*t - 8, -5*t = -3*m + 4 + 2. Solve -3*p - 21 = 5*c + 9, -2*c + 4*p + 14 = t for c.
-3
Let q = 16 + -70. Let l = -31 - q. Solve -l = 5*r - 2*g, -r + 2*g + 0 = 3 for r.
-5
Let c = 11 - 8. Suppose -4 = -5*l + 2*y + 1, -2*l + 11 = y. Solve 3*f + 6 = 4*a - 5*a, c*f - 6 = l*a for a.
-3
Let b = -3 - -5. Let h be -5 - (-5 + b) - -3. Solve 2*f - 5*v = -13 - h, -5*f + 3*v = -3 for f.
3
Let d be 3*4/12*3. Solve -d = z - 2*s - 1, 3*z = 3*s for z.
2
Let q = 9 - 10. Let v be 1*(0 + q + 4). Suppose -v*z = -4*z. Solve -3*x - 5*i - 4 + 6 = z, 0 = -4*x + 3*i - 7 for x.
-1
Let v(l) = -l**3 - 5*l**2 - 6*l - 3. Let x be v(-4). Solve -g = -x*a - 15, -4*a - 12 = -0*g + 2*g for g.
0
Let u be 4/6*(-27)/(-6). Suppose a = 4*y - u*a, -a + 16 = 3*y. Solve -v = -y*s - 17 - 0, 4*v + 22 = -2*s for s.
-5
Let u = -4 - 0. Let j be (5/(-2))/(u/24). Solve 0 = a - 0*z + 4*z - j, 12 = 3*z for a.
-1
Suppose 3*b = b + 8. Solve -2*g + 20 = -b*w, -2*w - 10 = 6*g - 2*g for w.
-5
Let g = 61 - 39. Solve -5*q + c - g = 0, 2*q = 3*c - 2 + 1 for q.
-5
Let x be (-3)/4 + 22/8. Solve -a + 5*h = -4*a - 28, -x*a = -4*h - 18 for a.
-1
Let x be (3 + -1)/(10/(-55)). Let j = -8 - x. Solve 4*d + 9 = k, k + d + 4 = j for k.
1
Let h = 0 + 3. Solve -i - h*g - 4 = 0, 0*i = -2*i - 3*g + 1 for i.
5
Let d(r) = -3*r + 9. Let i(c) = -c + 4. Let h = -4 - -6. Let b(n) = h*d(n) - 5*i(n). Let l be b(-6). Solve 3*x = -2*a, x = -l*x + 2*a - 16 for x.
-2
Let s be 2/30*3 + (-390)/(-50). Let m be (-2)/3 + 77/3. Solve 3*f = -2*u - s - 2, -f + 5*u = -m for f.
0
Suppose -2*m + 3 = -m. Suppose -5*g - 26 = 3*d, -5*d - 5*g - 30 = -0*g. Let h be 2/4 - (-1)/d. Solve -r - m*t - 1 = h, 4*t = 4*r + 2*t + 18 for r.
-4
Suppose 4*i - 44 = -140. Let f be (-4)/i - 33/(-18). Solve -4*n + 32 = -4*u, -f*n = -u + 2*u - 7 for n.
5
Let v(d) = -d**2 - 6*d - 2. Let r be v(-5). Suppose 5*y + l + r*l = 26, -4*y + 20 = 3*l. Solve z = -y*t, 2*z = -2*z + 2*t + 20 for z.
4
Suppose -8*w + 3*w = -25. Solve -m - 3*m - 12 = w*c, 10 = 5*m for c.
-4
Suppose 2*f - 8 = u, -4*u + 2*f - 1 - 1 = 0. Suppose u*o + r + 3*r = -12, o - 4*r - 12 = 0. Solve -28 + 6 = -3*t + 5*w, -2*w - 10 = o for t.
-1
Let s be (-4)/(-14) + (-108)/(-14). Solve -2*f = 5*c - 7*f - 25, f = 4*c - s for c.
1
Let k(d) = d**3 + 3*d**2 - d. Let g be k(-3). Solve b - 5*h - 6 = 0, -4*h = b - g*h + 6 for b.
-4
Let y(x) = -7 + 0 - 2*x - 5*x + 5*x. Let k be y(-10). Solve -4*i + 4*c = -20, -4*c + k = 5*i - 3*c for i.
3
Suppose 0 = -i + 1 + 2. Let f be 1 - -1 - 0/(-4). Solve 0 = 3*c + i*p - 3, 0 = -2*c - f*c + 2*p - 20 for c.
-3
Let s = 16 - 9. Let r = 11 - s. Suppose -12 = -4*g - 0*g. Solve -n + 3 = -4*c, 0*n = g*n - r*c - 9 for n.
3
Let u = -1 - -4. Suppose 0*q + 2 = q. Suppose 0 = -q*o + 5*l + 77, -o = 3*l - 0 - 11. Solve -u*x + 7*x - 5*t = -o, 0 = -3*x - t - 10 for x.
-4
Let z(h) = -h**3 + 8*h**2 - 6*h - 4. Let p be z