= -0 - 7 for t.
-2
Suppose 3*b = -4*h - 0*b - 13, 2*b + 18 = -5*h. Let x = 9 + h. Let m be (-15)/x*(-2)/3. Solve -2*l + 4*l - 4*f = 2, -l = -f + m for l.
-5
Let l be (1 - 7)*5/(-10). Solve 5*t = 0, -t - 4*t = -l*k - 12 for k.
-4
Let b be 1*1/2*4. Let l be (b - (2 - 0)) + 0. Let g = -10 + 15. Solve l*j = -j + 1, -3*o - 2*j = -g for o.
1
Suppose 0 = 2*d - 6 - 18. Let b = d - 8. Solve -2*v + b*m = -6*v + 24, -v - 2*m = -8 for v.
4
Let i(d) be the first derivative of d**3/3 - 7*d**2/2 + 4*d + 4. Let o be i(7). Let r = 5 - 1. Solve -5*t - 24 = -r*x, -o*x + 3*t - 8 = -24 for x.
1
Suppose 0 = -0*f - 3*f. Solve 4*m + 4*l = 0, f = 3*m - 2*l - 2*l for m.
0
Let d(b) = -b - 5. Let k be d(-7). Solve -v + 14 = v - k*z, -z - 13 = -4*v for v.
2
Suppose 0 = 3*s - 4*s. Suppose 10 = 2*t - 2*r, t + s = 4*r + 11. Let w be (1 - 0)/(1/t). Solve -2*m + 3*a + 4 = w*m, -2*m - 2*a - 8 = 0 for m.
-1
Suppose -6 - 4 = -z + 2*i, -3*z - i = -16. Solve 0 = 4*w + z*a - a - 29, -4*w + 19 = 3*a for w.
1
Suppose -2*h = n + 4*n - 30, -2*n = 3*h - 23. Let d be 2 - 1/(2/n). Solve 3*u + 4*g = d, u + 20 = 4*g + 4 for u.
-4
Let z(t) = t**2 - 10*t + 12. Let b be z(9). Let w(l) = -l**3 + 5*l**2 + 7*l - 2. Let x be w(6). Solve -b*h + 3 = -2*p - 2, x*p - 20 = 0 for h.
5
Suppose -5 + 1 = -2*f. Solve -2*p - 5 = -y, -f*p = 3*p - y + 8 for p.
-1
Let p(l) = -2*l + 9. Let s be p(3). Solve m - 6 = s*m + n, 3*m - 4 = 5*n for m.
-2
Suppose 0*p = 4*p. Let b be (-4)/(-8)*(8 - p). Let z be 0 + (b - 1) + 0. Solve -4*v + 21 = -z*d + 1, -20 = -4*v + 5*d for v.
5
Suppose -4*w + 4*l + 20 = 0, 4*l = 9*l - 25. Suppose w = 4*z + 2. Solve -4*q - v = z*v, -2*q = 5*v + 14 for q.
3
Suppose -a + 3*a = 0. Suppose a*f = 5*f - 25. Let g(c) = -c**3 + 4*c**2 + 6*c - 1. Let i be g(f). Solve t + 10 = 3*j, -3*j + t - i*t = 6 for j.
2
Suppose 0 = 7*i - 7. Suppose 2*q + q + i = 2*o, -15 = -5*o - 5*q. Solve -2*s - 2 = o*b, 6*b = -2*s + b - 8 for s.
1
Let n be (-4)/18 + (-152)/(-36). Let u be 4/(-6)*54/(-12). Suppose -19 = -2*y - u. Solve -15 = 4*q + 5*c + 9, -c = n*q + y for q.
-1
Suppose 2*v + 12 = 5*v. Suppose k - 2*k = 0. Suppose v*i - 8 + k = 0. Solve a + 2 = 0, i*x + 15 + 1 = -4*a for x.
-4
Let x be 4/(-3)*-3 - (-7 - -6). Solve 0 = -v - 3*v - 2*g - 14, x*v - 5*g - 20 = 0 for v.
-1
Suppose 33 = 3*y + 30. Solve -f + i = -1 - y, -5*f - 8 = i for f.
-1
Let z be (-6 - -16)*15/2. Suppose 5*x = 13 + 17. Suppose -z = 3*w - x*w. Solve 15 = -u - 2*c, -2*u - 4*c = -u + w for u.
-5
Suppose -3*q + 12 = -3. Solve 2*c = q*x + 2, c - 3 = 4*x - 2*c for x.
0
Let n be -2*1*(-3)/6. Suppose -2*t + n + 11 = 0. Let l = -3 + t. Solve q - l*p = 12, 0 + 4 = -4*q - p for q.
0
Suppose -4*c + 0*k = -4*k - 12, -4*c - k = -17. Let a = 1 + -2. Let p(y) = -4*y - 1. Let s be p(a). Solve -l = -3*u - s, -c + 13 = -3*u - l for u.
-2
Let g = 8 - 5. Solve -s - 2*s - 9 = 2*q, -g*s - 9 = -3*q for q.
0
Let h(i) = 2*i + 1. Let l be h(1). Solve 4*v = 3*v + 3*r - 9, 4*v - l*r = -9 for v.
0
Let y be ((0 - 0)/(-2))/(-1). Suppose s + 17 = 4*x - y*x, 4*s + 20 = 0. Let f be x/(-2)*20/(-15). Solve 0 = -3*h + 2*w - 14, 4*w - 21 + 1 = f*h for h.
-2
Suppose -20 = 5*f + 5*p - 10*p, 0 = -2*f + 3*p - 12. Suppose s + f = 3. Let x(y) = -y + 8. Let l be x(7). Solve -3*r - l = 2*i - 3, -5*r = -s*i + 3 for i.
1
Let l be 6/(-10) + 931/35. Suppose l = -3*a + 5*a. Solve 2*f = -3*f - i + a, -i = -4*f + 14 for f.
3
Suppose -h = -8 - 3. Let p = 9 + h. Solve 4*t - 5 + 1 = -l, 2*t = 4*l + p for t.
2
Let f(j) = -j + 3*j - j. Let a be f(8). Solve -a = -3*h + b + 1, 4*h = -b + 12 for h.
3
Suppose 6*k - 3*k = -r + 37, -2*r - 22 = -2*k. Suppose 0*l = 2*l, -3*j - l + k = 0. Solve 6 = -4*g - 3*p, 5*g = -p - j*p - 5 for g.
-3
Suppose n + h = -h + 4, 4*n + 4*h - 12 = 0. Suppose i - 2*i = -5. Solve -3*z - 2*z = -5*q + 40, -28 = n*z - i*q for z.
-4
Let x = 8 + -5. Solve 3*y = -4*d + 32, -y + 9 = -2*d + x*d for d.
5
Suppose -4*y + 5 - 1 = 0. Let v = 1 - y. Let f = -2 - -15. Solve -u + g - f = -4*u, -u - 4*g + 8 = v for u.
4
Suppose -2*n = -2*t + 126 - 42, -3*t - 3*n = -126. Let i = t - 16. Solve -3*g = -5*y - 35, 4*y = -3*g + 5*g - i for g.
5
Let c be (72/(-42))/(2/(-7)). Suppose t - 5 - c = 2*n, 0 = 5*t + 2*n - 19. Let i be 0/(-2) + (4 - -2). Solve -v - 5*u = -i, u - t*u = -4 for v.
1
Suppose t + 1 = 3*o + 3, -4*t + 20 = 0. Solve -10 = 4*d + y + o, 4*y = 20 for d.
-4
Suppose -2*l = -1 - 5. Suppose 0 = l*g + 2*g - 25, 3*g - 36 = -3*q. Solve 3*t = -5*k - q, k + 14 = -4*t - 1 for k.
1
Let n be (4/10)/((-12)/(-60)). Solve -2*d = 2*m, 2 = -n*d - m + 4 for d.
2
Suppose 0*b - 130 = -5*b. Let n be -3 - b*2/(-4). Solve 0 = -p + 4*z + n, 0 = -2*p - 3*z - 0*z - 2 for p.
2
Let w be 286/52 - 3/2. Solve -4*p - x + w*x + 2 = 0, x - 8 = -3*p for p.
2
Suppose 4*k + 28 = 4*r, -3*r + 3*k + 25 = r. Suppose b + 4*w = 8, -5*w + w = r*b - 20. Solve -5*m - b - 1 = -5*y, y = -3*m - 7 for y.
-1
Let y = 4 - 1. Solve -2*l - y*r + 18 = l, -5*l - 10 = -3*r for l.
1
Suppose -4*r + 7*h = 3*h + 4, 3*r - 4 = -4*h. Solve -4*q + 5*o - 2 + 8 = r, o = -5*q + 22 for q.
4
Let i(a) = a - 4*a - 4*a + 2 + a. Let l be i(-6). Suppose 3*d + 11 - l = 0. Solve -q = 3*q - 3*v - d, q = -3*v + 6 for q.
3
Suppose -4*d - 12 = 5*w, 2*d + 4*w - 2*w + 4 = 0. Solve 4*y - z - 9 = 0, -3*y + d*z = z - 8 for y.
1
Suppose -13 = -5*r - 3*x, 4*x = -r - 6 - 5. Let o(y) = -y**3 + 6*y + 4*y**2 - 1 + y + 0*y**2. Let z be o(r). Solve -5*p - 29 + z = 3*q, 3*p + 12 = -3*q for q.
0
Let g be ((-3)/2)/((-6)/16). Suppose 15 = -y + 4*y. Let w = y + -3. Solve -w*c - 5*r + 5 = -15, -g*r = 3*c - 16 for c.
0
Suppose -z - 46 = -2*z. Suppose 8 = 4*q - 4. Suppose -q*u - u + 36 = 4*h, -4*u = -h - 21. Solve -5*b = 5*t - z + 11, -3*b + u = 0 for t.
5
Suppose 6*c = 10*c - 8. Solve -5*l + 9 = -c*z, l - z - 4*z - 11 = 0 for l.
1
Suppose 0 = -r - 0*r + 10. Suppose -4*p = -54 + r. Solve 3*u + p = 4*m + 42, 0 = -4*u + 3*m + 32 for u.
5
Let h(c) = 3 - 2*c**2 - 7 + 2 + 3*c**2. Let q be h(-4). Solve 2*y + v + 2 = 0, -2*y = -5*v - 0 + q for y.
-2
Let s be -1 + -8*(1 - 2). Suppose 2*d = 4*d + k + s, -4*d - 3*k = 19. Let x = 1 + d. Solve -5*r + 3 = l, l + 3 = -x*r + r for r.
1
Suppose 3*d = -5*f + 26, 3*d + 4*f - 14 = 2*f. Solve 4*v = d*i - 14, 2 = -v - i - 3 for v.
-4
Let p be (2/(-3))/(1/(-6)). Suppose 3*r - 22 = 2*r + p*k, -2*r + 3*k = -19. Solve 2*z - r*a = -3*a - 12, -3*z - 17 = a for z.
-5
Suppose -49*l = -53*l + 16. Solve 0 = 2*t + 5*n + 8, l*n + 0*n + 10 = 2*t for t.
1
Let r = -85 + 88. Solve r*f = -o - 2*o - 6, -2*o + 2*f - 16 = 0 for o.
-5
Let m be (22/(-4) - -5)*(0 + -8). Solve -v = m*v + 5*b, 3*b = 2*v - 25 for v.
5
Suppose -2*p + 3 + 3 = 0. Suppose -14 - 1 = -p*f. Solve 0 = 2*r + 5*u - 9, -5*r + 5*u + f = -0*r for r.
2
Let g(s) = -s - 3. Let b be g(-5). Solve 0 = -b*t + 3*j - 10, -5*t + 4*j = -3*t + 14 for t.
1
Suppose -m - m = 4, y - 5*m = 23. Solve -3*n - y = -5*t, -3*t + 6*t - 27 = -3*n for t.
5
Suppose 0 = 3*n + 2*n - 7*n. Solve 2*u = 4*t - 18, -t - u = -n*u - 3 for t.
4
Suppose -5*g = -0*g. Suppose 4*b - 8*b = g. Solve 3*j = z - 9, 5*j - 4*z + 22 = -b*z for j.
-2
Let l(v) = v**3 - 2*v. Let f be l(2). Suppose r = -4*z + 11, 4*z - 2*r - 10 = -f*r. Solve 2*m - 5*m + 12 = 3*c, 14 = z*c + 4*m for c.
2
Suppose -41 = -3*n - t, 0 = 3*n + 2*n + 5*t - 65. Let f = 10 - n. Let i = 10 + f. Solve -3*m + 0*m + x = 6, 2*x - i = 0 for m.
-1
Suppose 0 = -5*r - 30. Let c be (-47)/6 - (-1)/r. Let y be (c/(-28))/(2/14). Solve -4*t = -4*a + 16, 0*t + y*a = 5*t + 8 for t.
0
Suppose 4*c = 5*x - 0*x + 3, 3*x - 29 = -2*c. Solve 4*t - t - 5*s + 29 = 0, 3*t - c = -4*s for t.
-3
Let a(d) = 3*d**2 + 2*d - 1. Let o be (1 - 2)*(-2)/(-1). Let y be a(o). Solve -2*z - 1 = 3*t - 4*t, 2*t + 5*z = -y for t.
-1
Let m be (-3)/12 + (-13)/(-4). Solve 10 + 3 = m*q - 2*y, 4*y + 22 = 2*q for q.
1
Suppose 5*z + 4*f - 5 = 6, 4*f = -4*z + 8. Solve 5*s + 26 = -3*w, -z*s + 4*s - 4*w = 4 for s.
-4
Let p = -1 - -9. Solve 0*h + p = -2*h - 2*z, 4*h = -2*z - 16 for h.
-4
Let s = -7 + 10. Solve s*w = 2*m - m - 17, -15 = -3*m for w.
-4
Let a(n) = -n**3 - 4*n**2 - 2*n - 2. Let x be a(-4). Let d = 11 - x. Let r = d - 1. Solve 0 = -j - 5*c + 1, -r = -3*j - c - 1 for j.
1
Suppose -v + 6*v = 0. Solve 4*s = 3*z - 7*z - 20, v = 5*s + 15 for z.
-2
Suppose -3*z - 5 = -3*j - 2*z, 5*j - 9 = z. Solve j*h + 8 = 0, -2 = -5*t + 3*h + 35 for t.