2 = 0 for t.
-5
Suppose 3*l = o - 20, 2*l + o + 5 = -0*o. Let s = l + 8. Let t = -1 + s. Solve 3*v = -3*f + 6, t*f + f + v - 2 = 0 for f.
0
Let g be (-3)/(3/((-3)/1)). Let x(s) = -s**2 - 8*s - 5. Let c be ((-4)/10)/((-4)/(-60)). Let h be x(c). Solve 4*n = z + 7, -z + g*n - h = -2*z for z.
1
Let j(v) = 18*v**2 + 1. Suppose -2*g - 2*g = -4. Let z be j(g). Solve 5*u = -2*x + z, -5*u - x + 31 = -3*x for u.
5
Let h be (2 - -1)/1 + -3 + 16. Solve -2*g - h = 2*o - 6*o, -o = -5*g - 22 for o.
2
Let l be ((-8)/(-6))/(2/6). Suppose a - 2 = -a, 0 = -l*s + 2*a - 2. Let h be -1*((-6)/1)/3. Solve -2*w + 5 = n, -w + h*w + n = s for w.
5
Let v = -7 - -15. Let t be v/(8/2 - 2). Solve -3*p = -4*w - 6, -t*w - 5 = -w - 2*p for w.
-3
Let h(l) = l**3 + 7*l**2 + 3*l + 3. Let i be h(-6). Suppose i = m - q - 3*q, 3*m - 19 = q. Solve 3*o - 5 = m*p + 8*o, 2*o = -2 for p.
0
Suppose 4*a + a = 20. Suppose 0*i + 12 = 3*i. Let l be -1 + 25/(1/1). Solve -l = i*w + a*y, 0*w - 3 = w - 2*y for w.
-5
Suppose -11 = -3*k + 1. Suppose -q - 3*q + 88 = 0. Solve -k*h + 4*n + 14 = -14, 2*h - 4*n = q for h.
3
Let o be 10/55 + 4/(-22). Suppose 8 = 2*t - o. Solve -i - t*n + 19 = 0, -2*n = 3*i - 0*n - 7 for i.
-1
Suppose 3*m - 38 = 5*o + 7, 0 = 4*o. Solve -5*h = m, 2*f + f - h = -9 for f.
-4
Suppose -13 = -5*i - r - 1, 2*r + 12 = 2*i. Solve -25 = 3*t + 5*a, 4*t = -4*a - 31 + i for t.
-5
Suppose 5*x + 15 = -l + 6*l, 4 = 4*l - 2*x. Let t be l - (-3 - 6/3). Solve 5*f = -4*h + 15, 4*f = 8*f - t*h - 12 for f.
3
Suppose -2*z + 10 - 6 = 0. Solve 0 = -z*b - b + 3, 0 = 4*q + 4*b for q.
-1
Let n be 12*(0 - (-6)/9). Solve -3*f - 4*m = m - n, 0 = 4*f - 4*m + 32 for f.
-4
Let w be 10/35 + 12/7. Suppose -5*b + 25 = 5*l, b - 7 + w = 5*l. Solve b*g + 2 = 3*k - 4, 2*g - 6 = -3*k for k.
2
Let c be -3 + 1 + 18/6 + 2. Solve -2*m + 3 = -4*b + 1, -4*b + 23 = c*m for m.
5
Let p be (-102)/(-18) + 3/9. Suppose 2*w + 2*b = -12, -3*w - b = w + 18. Let u = 4 + w. Solve 2*j = -2*q - 10, u = -4*j + 2*j - p for q.
-2
Suppose 16*s - 3 = 15*s. Solve 2*g = -4*u + 12, -4*u = -3*g - s + 11 for u.
1
Let w = -6 - -9. Solve 5*a = 6*p - w*p - 30, 8 = p - a for p.
5
Suppose -o + 4*x = -12, -2*o - 7*x + 2*x - 2 = 0. Suppose -80*w = -92*w. Solve -t + o*i = w, 0*t + 4*t = 2*i for t.
0
Let w(z) = -z**2 - 5*z + 7. Let m be w(-5). Suppose -m*c = -3*c + 8. Let o be 2/c - (1 - 7). Solve 5*a - 18 = -d, 3*a = -o*d - 2*a + 10 for d.
-2
Let z(u) = 7*u**3 + 5*u**2 - 2. Let l(x) = 13*x**3 + 10*x**2 - 3. Let q(k) = 6*l(k) - 11*z(k). Let g be q(-4). Solve -5*r - n = -8*r + g, 5*n = 5*r - 50 for r.
5
Let d(t) = 2*t + 4. Let h be d(4). Suppose 4*c - 7*c = -5*a - 10, 2*a = 2. Solve h = -2*w - 6*r + r, -3*w = -4*r - c for w.
-1
Let y = -58 - -77. Solve 0 = i - k - 1, y = 2*i + 2*i + k for i.
4
Let u be (3/((-3)/2))/1. Let r be (35 - 4) + u + 1. Suppose -2*p + r = 2*v, p + 2*v + 6 = 21. Solve -2*g - p = -3*h, 5*h = g + 12 + 13 for g.
0
Let k be (-5 + 8 + -1)*(14 - 1). Solve g - 4*s = -3 - 1, -5*g = 3*s - k for g.
4
Let m be -6*(8/3)/(-4). Suppose 3 = -4*v + 19. Solve 0 = 5*p, -v*w = w - m*p - 25 for w.
5
Let b = 1 - -4. Let c = 3 - b. Let k be c + 0 - (0 + -5). Solve 2*o - a - 1 = 2*a, k*a = -3*o + 24 for o.
5
Let j be 6/(-15) - (-32)/(-20). Let k be 18*((0 - -3) + j). Solve 5*o - b + 4 = k, o = 3*b for o.
3
Suppose 5*s - 9 = 2*s. Suppose s*v = 5*v - 4. Let t be (-54)/4*v*-1. Solve -2*n - 17 = -5*m, 2 = -5*m + t for n.
4
Suppose i + 3*k = -3*i - 3, 3*k + 12 = -i. Let m(b) = -b**3 + 21*b**2 + 23*b - 20. Let h be m(22). Solve 5*c - 4*g - 11 - 4 = 0, -c + h*g = -i for c.
3
Let c be 15/(-6)*(0 - -2). Let m be ((-15)/6)/c*0. Solve -8*w + 5 = -3*w + 5*a, -3*a - 12 = m for w.
5
Let p(y) = y**2 - 8*y + 5. Let l be p(8). Solve 4*c - 18 = 2*u, -4*u - 10 = -l*c + 11 for c.
5
Suppose -4*o - 24 = 2*j, 5*j + 60 = j - 2*o. Let m = 27 + j. Suppose 3*w + 2 = -3*z + m, -2*w = -6. Solve -3*n = -3*y - n - 10, -y - n - 5 = z for y.
-4
Let y be 12/(-3)*22/(-8). Solve 0 = -2*m - w - 1, 5*m - 5*w - y = 24 for m.
2
Let x = 2 + -2. Let r be (x/(-1 - -3))/(-2). Solve p = -r*p - 3*j + 10, -5*p = j - 8 for p.
1
Let i be 43/9 + 6/27. Let s = i - 2. Solve -5*q - h = -7 - 2, 0 = -s*q + h + 7 for q.
2
Let c = -4 + 6. Let h be ((-6)/8)/(1/(-4)). Let u be h/c*(3 + 1). Solve 4*g + u = -3*m - 7, -3*m - 5*g = 17 for m.
1
Suppose 2*v - 9 = -1. Solve -2*p - 12 = -v*s, -s - 4 = -5*p + 2 for s.
4
Let m(f) = f**3 + 1. Let q be m(-1). Suppose q*a = -a + 6. Let r = a - 5. Solve w + 0*l - 4*l = -11, -5*l = 3*w - r for w.
-3
Suppose v - 5 = -0. Let s = -17 + 20. Suppose -3*d + x + s = -9, 3 = x. Solve i - 11 = 3*l, -4*i + v*i - 19 = d*l for i.
-1
Suppose l = 5*z + 4*l + 29, l = -3*z - 15. Let m be 884/(-51)*6/z. Solve 0 = 5*h + 3*j - m, 2*h = h + 5*j - 6 for h.
4
Suppose -31 = -4*z - 3*c - 3, 12 = -2*z + 5*c. Solve 3*l + 7 = -x, 5*l + 22 - 8 = -z*x for l.
-2
Let p(t) = t**2 + t - 8. Let s be p(-5). Let c be (-45)/(-4) + (-3)/s. Solve -v = 2, 3*v = 5*i - 0*i - c for i.
1
Suppose -2*u + 2*k + 19 + 25 = 0, 5*u = -2*k + 96. Suppose 5*y + 10 - u = 0. Solve 4*f + r = -12, -y*r + 1 = 5*f + 13 for f.
-4
Let c(l) = -l - 6. Let f be c(-9). Solve d + 8 = 3*w, -4*w + 9 = -0*d - f*d for d.
1
Let p be 14/(-21) + 22/6. Solve 2*n - 13 = 4*k + p*n, -16 = 5*k + n for k.
-3
Let x = -56 - -59. Solve 0 = 5*a - u + 10, -a + x*u - 7*u + 19 = 0 for a.
-1
Let i = 15 - 11. Solve 0*k + 5*h + 12 = -2*k, -i*h - 8 = 0 for k.
-1
Let d = -29 + 33. Solve 4*l - d*z = -12, -4*z - 29 = 3*l - 6 for l.
-5
Let v be -9 + 10 + (-6)/2. Let n = 6 + v. Suppose 0 = 4*z + 3*l - 7, -5*z - l + 21 - n = 0. Solve 4*h + 23 = 2*h + 3*y, -3*h - z*y = -8 for h.
-4
Let j be 22 + -2 - (5 - 5). Let q be 88/j - (-4)/(-10). Solve -q*y + 3 = n - 1, -y + 1 = -4*n for n.
0
Let w = -7 - -43. Solve -w = -4*n - 5*p, -n - 3*n + 24 = 2*p for n.
4
Suppose -a + 3*a - 2 = -w, -3*a = 4*w - 3. Suppose w = 3*i + 3*u - u - 8, 18 = 2*i - 5*u. Solve 2*m - 6 = i*x, 0 = 4*m + 2*x - 4*x - 6 for m.
1
Let l be 24/10 - 8/20. Let n be (2 - 1)/(1/l). Solve n*u + 4*f = 2, -5*f = u - f + 1 for u.
3
Let a = 2 + 2. Suppose -2*j = 2*j - a. Suppose 0 = -4*y + 11 + j. Solve 4*l = -5*r - 5, y*l = 4*r - 11 - 16 for l.
-5
Let k be 5 + (-6 - (2 - 3)). Solve -4*p - 3*t - 11 = 0, k = -5*p - 0*t + t - 28 for p.
-5
Let c(o) = o**2 - 8*o - 1. Let q be c(9). Let x = 16 - q. Solve x = 4*n - 4*s, 4*n - 2*s = -4*s - 16 for n.
-2
Let d be (-2)/2*-20 - -3. Suppose 0*p - v - 1 = p, p - 5*v = d. Suppose 0 = 4*m - 5*i, 6*i = -5*m + i + 45. Solve 3*b + m*u = 0, 4*u = b + p*b - 32 for b.
5
Let u = 8 + -56. Let l be (u/40)/(3/(-10)). Solve 4*b - s + 1 = 8, -l*b + 5*s = -19 for b.
1
Let m(t) = -t - 3. Let i be m(-6). Let s(c) = c + 1. Suppose -15 = -0*f - 3*f. Let b be s(f). Solve 6*o = 3*o + 3*a - 12, -b = -i*a for o.
-2
Let u(x) = -2*x + 26. Let k be u(12). Solve 4 = 5*y + k*b, 2*b = -6*y + 4*y + 4 for y.
0
Suppose -4*t = 22 - 2, 5*r - 3*t = 30. Let x(a) = 3*a - 2*a + 4 + a. Let i be x(r). Solve 2*d + 0 + 4 = 2*y, 0 = -4*y - 2*d - i for y.
-1
Let u(w) = -w**2 + 3*w. Let p be u(4). Let c = -11 - -19. Let j = p + c. Solve 3*o - 2*d + 7 = 0, o - d = j*d - 11 for o.
-1
Let r(p) = 4*p**2 - 5*p**2 - 13*p - 4 + 1. Let t be r(-11). Solve 5*v + h = -t, 0*h + 20 = -5*h for v.
-3
Suppose -p + 3 = 9. Let d(w) = w**2 + 6*w + 2. Let y be d(p). Solve -3*g = -y*i - 3, -2*i = 5*g + 1 - 6 for i.
0
Let g(b) = 8*b. Let c be g(3). Suppose -3 = -4*z + 5, 2*z - c = -4*q. Solve 0 = -5*j + 15, 2 = -q*p + 5*j + 7 for p.
4
Suppose 8*v = 3*v + 125. Let l = -1 - -1. Suppose l*d = 3*d - 12. Solve s + d*s - 4*c = -20, v = 4*s + 5*c for s.
0
Let u = -8 + 5. Let m be u/(-2)*(-8)/(-4). Solve -a + 21 = 2*a + 4*t, -4*t + m = -3*a for a.
3
Let n = -4 - -5. Let x = n + -1. Let l be 7 - 0 - (x - -3). Solve -4*w + y = 16, 2*w - l*y + 8 = -6*y for w.
-4
Let n(w) = -9*w. Let g be n(-1). Let u = g + -2. Solve 4*y = -5*z + 12, -y = u*z - 3*z - 14 for y.
-2
Let p be 212/10 - (-4)/(-20). Suppose -4*j + 5 - p = 0, -3*j = -5*v + 37. Solve -5*m + v*z - 13 = 4*z, -3*m - 17 = 4*z for m.
-3
Let c = -15 - -20. Solve -d + 4*r = 2, d + c*r = 8 - 1 for d.
2
Suppose 0 = -2*f + 13 + 3. Solve 3*c - 4 = -b + 2*b, 0 = 4*c - f for b.
2
Let c = -13 + 30. Let y = 31 - c. Suppose 0 = -4*i - b + 82, -3*b = -2*i - 4*b + 40. Solve 2*s = -2*j - y, -2*j + 2*s - i = 3*j f