-1 for t.
-3
Suppose -6*h + 19*h = 0. Solve -3*x = 12 - h for x.
-4
Let m be -1 + (10/(-20))/(2/(-20)). Solve -i = 4*i + m*i for i.
0
Let c be 3 + 1 - (-3 - -4). Suppose 0*x + c*x = 0. Suppose x*o - 6 = -o. Solve -3*j + o = -5*j for j.
-3
Suppose 3*f = -p + 15, -3*f + 8*f + 4*p - 18 = 0. Let q = -6 + f. Solve q*g = -3*g + 12 for g.
4
Let i(j) = 3 + j - 10*j - 12 + 12*j. Let x be i(5). Suppose 2*r = -x, -u = -2*r + 7 - 19. Solve -4*p + 2*p = u for p.
-3
Let i(v) be the second derivative of 5*v**3/6 + 2*v. Let p be i(4). Let a be -1*3*p/(-15). Solve -b + a = 8 for b.
-4
Let f = -6 + 8. Let i(c) be the third derivative of -c**6/120 - 2*c**5/15 - c**4/8 - 2*c**3/3 - 2*c**2. Let j be i(-8). Solve -j = -7*p + f*p for p.
4
Suppose 27*f - 21*f - 78 = 0. Let a = -10 + f. Solve 0*d - 3*d = a for d.
-1
Let u(c) = -c**2 + 29*c - 149. Let t be u(22). Solve -t*b + 0*b = -7*b for b.
0
Suppose p = 3*d + 2*d - 19, 5*d - 2*p - 23 = 0. Suppose 13 = 2*w + 5*k - 4, -4*k = -2*w + 8. Solve 0*a + w = -d*a for a.
-2
Let a = -14 - -2. Let h be 5/(-2)*((-72)/(-3))/6. Let g = h - a. Solve -f = g*f for f.
0
Let t = 561 + -555. Solve 11*r = t*r for r.
0
Suppose -5*r + 118 = u, 13*r - 12*r - 4*u = 11. Solve -15*z = 52 + r for z.
-5
Let r be 14/(-49) - (-2)/7. Let j(o) = r*o**2 - 7*o - 4*o - o**2. Let y be j(-9). Solve y + 2 = -5*x for x.
-4
Let y(q) = q + 2. Let f be y(2). Suppose f*k - 30 = -2*k. Solve k*l - 9 = 6 for l.
3
Suppose -347*a + 350*a - 33 = 0. Solve -a*m = -9*m + 6 for m.
-3
Suppose -2*w = 3*j - 45, 5*w - 35 = w + 5*j. Solve -14*q = -w*q + 3 for q.
3
Let x be 423/81 + (-4)/18. Suppose -5*g = 5*p, 0*g + p = x*g. Solve g = -c - c + 8 for c.
4
Suppose 2 + 8 = 2*h, 0 = -5*a - 4*h + 35. Let x(r) = r**2 - 10*r - 19. Let c be x(12). Solve -c*d + a + 7 = 0 for d.
2
Let y(x) = -x**3 - 3*x**2 + x + 3. Let o(c) = 2*c - 9. Let q be o(5). Suppose -3*l = q + 8. Let v be y(l). Solve -4*i = -v*i - 8 for i.
2
Let t(h) = h**2 - 5*h - 11. Let x be t(7). Suppose 1 = w - x*f, 19 = 4*w + 5*f - 2. Solve 3*r = 2*r - w for r.
-4
Let a be 2/(-5) + 27/5. Suppose -5*j + j + 24 = 4*w, -a*w + 3*j - 2 = 0. Suppose 0 = 5*b + 2*m - 16, 4*b + 4*m - 20 = -0. Solve d + b = w*d for d.
2
Let k(d) be the second derivative of d**3/6 + 2*d**2 + 6*d. Let y be k(-4). Suppose o + o = -4*x + 18, 3*x - o - 6 = y. Solve x*l = -l for l.
0
Let q = 0 - -8. Suppose -q*g + 9*g = -12. Let a = g + 16. Solve -a*d = -6 - 2 for d.
2
Suppose -4*s = -747 + 719. Solve -s*f = -5*f - 4 for f.
2
Suppose 13 = -5*d - 92. Let g be -2*d/(-12)*2. Let x = g - -7. Solve x = 4*k + k - 5 for k.
1
Suppose 0 = 42*z - 35*z - 84. Solve -6*t = 6 + z for t.
-3
Suppose 0 = 38*a - 750 - 656. Solve -5*s + 52 - a = 0 for s.
3
Suppose m = -3 + 4, 20 = 3*o + 5*m. Let h(j) = j - 2. Let w be h(o). Suppose -w*l - 12 = -3*r, -2*r + 7*r - 21 = 4*l. Solve -2*y + 9 = -r*y for y.
-3
Let r(i) = i - 11. Let f be r(10). Let c be 1*(2 - (f - 0)). Suppose 0 = -c*j - 2*w + 12, -j + w = 2*j - 3. Solve 2*p = -j*p + 20 for p.
5
Let n(q) = -2*q**2 + 21*q - 33. Let p be n(8). Solve -p*j - 25 = -2*j for j.
-5
Let s = 40 + -9. Let m = s + -29. Suppose -c = m*n + 5, -17 = -5*c - 0*c + 4*n. Solve -5 + c = 4*j for j.
-1
Suppose 0 = -4*l + 8, -2*l = -4*u + 3*l + 2. Suppose u*z - 20 = 4*d, -4*z = 2*d - 2 + 12. Solve z = -0*v + 3*v for v.
0
Let i(g) = -6 - g**2 + 2*g - 5*g**2 + 4*g**3 - 3*g**3. Let h be i(6). Solve -v = -h*v for v.
0
Suppose -4*y - 3 = -11, 0 = 4*j - 3*y - 14. Let z(l) = -l**3 + 3*l**2 + 8*l + 12. Let a be z(5). Let s be 203/63 - a/9. Solve -2*g - j = -s*g for g.
5
Let b = -11 - -11. Let c(g) = g**2 + 2. Let h be c(b). Solve 10 + h = 4*u for u.
3
Let a(i) = 62*i + 376. Let q be a(-5). Solve q*l - 61*l = 0 for l.
0
Suppose 3 = -22*y + 179. Solve y*k - 5*k + 3 = 0 for k.
-1
Suppose 7*q + 7 = 21. Solve o - 1 = -q for o.
-1
Let k = -14 + 15. Let l be k + 2 + 1 + -2. Suppose l = v - 5. Solve 4*b = -v - 13 for b.
-5
Let c(f) = f + 15. Let l be c(-12). Suppose -4*u - i = -4*i - 27, -l*u + i = -19. Suppose -4*x = -u*x. Solve -5*q = -x*q + 25 for q.
-5
Suppose -34 = -3*f - 4*k, -5*f - k = -f - 28. Suppose 5*g + 6 = -3*i - 2, 2*i + 2 = 0. Let j = f + g. Solve -1 = 3*m + j for m.
-2
Suppose 0 = -5*f - 4*f + 225. Solve 0 = f*n - 20*n - 5 for n.
1
Suppose 3*q = -5*l - 4, -l - 13 = l + 5*q. Solve n - 2 = l for n.
3
Let m = 308 - 293. Solve 5*r - m = -0*r for r.
3
Suppose -4*g = 3*j - 28, 0*g + 2*g - 12 = -j. Let o = -5 + 7. Suppose b - 3*v = -j*b, v - 11 = -o*b. Solve b*n + 24 = 9 for n.
-5
Suppose -8 = b - s - 3*s, 5*s = b + 5. Let g be 8/(-20) + (-468)/b. Solve 4*d = g - 7 for d.
4
Suppose 0 = -5*a + 2*a - 6. Let p be (a - -3)*-1*4. Let h = p - -19. Solve 6*s - s = h for s.
3
Suppose 142 = t + 70*t. Solve 3 = t*k - 5 for k.
4
Let l(q) be the second derivative of q**5/20 - q**4/12 + q**3/6 - 5*q. Let b be l(2). Solve 5*s + b = -19 for s.
-5
Let i(l) = l**2 + 8*l - 9. Let s be i(-9). Suppose s*r = -4*r + 44. Solve -1 = -5*z - r for z.
-2
Suppose -22*t - 95 = -41*t. Solve 0 = 5*u - 0*u + t for u.
-1
Suppose -13*r = -16*r, -4*r = -4*j + 16. Solve j*g - g = -12 for g.
-4
Let j(r) = r**2 - r - 2. Suppose 2*h = 2 + 2. Let t be (-9)/3*h/(-3). Let o be j(t). Solve -2*b + 0*b + 10 = o for b.
5
Let g be 5/4 + -1 - 3/(-4). Let p(o) = 6*o + 4. Let l be p(0). Solve l*n = -7 - g for n.
-2
Let c(t) be the second derivative of t**4/12 + 2*t**3 + 8*t**2 - 4*t. Let j be c(-11). Solve -1 + j = -2*b for b.
-2
Let o = 45 - 41. Let u = o + -2. Solve -u*c = 6 - 0 for c.
-3
Let w = 10 - 17. Let n = w - -12. Suppose n*g - 9 = 1. Solve -2*y = g*y for y.
0
Let y(j) = j + 16. Let w be 2/5 - ((-444)/30)/(-2). Let q be y(w). Solve 0 = -k + q - 6 for k.
3
Let r be (-5 - -2)*1/(12/(-32)). Let f be (r/(-10))/((-26)/130). Solve -f*j = -7*j for j.
0
Let j be (3*(-3)/(-9))/1. Suppose -2*p = v + j, -3*v + 2 = -7. Let o be p/(-4)*48/4. Solve -o*y = -2*y + 16 for y.
-4
Suppose -301*s + 304*s = 27. Solve 11*z = s*z + 10 for z.
5
Let u = -465 + 474. Solve 5*p - u = -4 for p.
1
Suppose 15 = y + 4*n - 7*n, 53 = 5*y - 4*n. Solve 47*q - 50*q = y for q.
-3
Let j be 1/(3 + (-61)/20). Let m be (j/3)/(-1*1/3). Let f be 60/14 - (-4)/(-14). Solve -m = -0*u - f*u for u.
5
Let l be 1/(-3*4/(-144)). Let s(y) = y**2 - 2*y + 6. Let q be s(4). Let a = q + -14. Solve 3*w + l = -a*w for w.
-4
Let r = -32 - -37. Suppose -4*b + b + 25 = 4*y, -40 = -5*y + r*b. Solve 3*i - 2 = y for i.
3
Suppose 0*r = -2*r - 2. Let n(q) = 20*q**2 + 272 - 17*q**2 - 273. Let t be n(r). Solve -t*v + 7*v - 20 = 0 for v.
4
Suppose 0 = 2*i + 4*q - 148, 4*i = -5*q + 130 + 166. Solve 4*k - 78 = -i for k.
1
Let y(k) = -k**2 - 16*k + 115. Let z be y(5). Solve -23 = z*m + 7 for m.
-3
Let q(z) = -3*z**3 + 2*z**2 - 2. Let k be q(-1). Suppose -y - 6 = 2*m - 5*y, k*m - y = 6. Solve 0 = -0*j + m*j + 15 for j.
-5
Let c be (12/10)/(-3) - (-286)/65. Let o be (126/(-35))/(c/(-10)). Solve -o - 11 = -5*d for d.
4
Suppose n + 4 = 3*w - 0*w, 4*n + 23 = 5*w. Let g be (-26)/n - (27/(-21) - -1). Solve -5 = x - g for x.
-1
Let p = -47 - -52. Solve 0 = d + 2 - p for d.
3
Let c(k) be the second derivative of -k**4/12 - 2*k**3/3 - k**2/2 - 12*k. Let f be c(-3). Solve 0 = -f*m - 3 - 5 for m.
-4
Let o = 150 + -125. Let y be (-33)/(-5) - (140/o + -5). Solve -y*b + 2*b = -8 for b.
2
Suppose -5*j + 62 = -3*a, 3*a + 2*a = 5. Suppose 4*q + 5 = j. Let o be (-5)/(-2) - (-1)/q. Solve -w = -o*w for w.
0
Let q = 1891 + -1884. Solve 0 = 7*j - 0 + q for j.
-1
Let k be (3/(-6))/((-150)/(-76) - 2). Solve -k = -8*s + 13 for s.
4
Suppose 5*r + 214 = 44. Let h = r + 36. Suppose -x - 2*y - 4 = x, h*y + 4 = -5*x. Solve x*c - 12 = -4*c for c.
3
Suppose -479*d = -473*d. Solve d = u + u + 4 for u.
-2
Suppose -6*j + 5*j = -5*h + 137, 0 = h + 5*j - 43. Solve -h + 3 = 5*g for g.
-5
Let f be -64 + (4 - (-16)/(-4)). Suppose -4*a + 18 = 2. Let l be f/(-48)*21/a. Solve 0 = -4*c + 1 + l for c.
2
Let i be (-24)/(-180) - (-116)/30. Let w be (1 - i)*-1 - (1 - 3). Solve -5 = 2*s + w for s.
-5
Suppose 0 = 4*o - 3*r + 10, -4 - 18 = 3*o + 5*r. Let s be 5 + 1/(o/8). Solve 0*h - s = -h for h.
3
Let x = -289 - -293. Solve -x*w + 2*w + 10 = 0 for w.
5
Suppose 6*c - 2*c - 5*a + 351 = 0, -414 = 5*c + 2*a. Let i be (c/(-147))/((-4)/(-14)). Solve 7 + i = -3*l for l.
-3
Let n = 576 - 555. Solve -3*y = n - 6 for y.
-5