2, -f + 15 = t - 5*t. Let n(o) = 3*o + 13. Let i be n(t). Solve -i*d - 6 = -7*d for d.
2
Let a = 134 - 88. Let w = -41 + a. Solve 4*r - w + 1 = 0 for r.
1
Suppose -3 = h - 6. Let y(z) = 9*z**2 - 13*z - 2. Let k be y(2). Solve -f = h*f + k for f.
-2
Suppose 0 = -0*w - 2*w. Suppose m + w*m - 2 = 0. Solve m = -0*a + 2*a for a.
1
Let b be 0/(-6*(-3)/(-6) + 1). Let a(w) be the first derivative of w**3/3 - w**2/2 + 2*w - 1. Let r be a(b). Solve -r*p - p + 15 = 0 for p.
5
Let a(h) = -5*h - 2. Let t(k) = 2*k + 14. Let q be t(-6). Let c be a(q). Let l = c + 17. Solve 0*f + l*f = 20 for f.
4
Let o(k) = -k**2 - 9*k + 2. Let p be o(-8). Suppose -2*a - p = -7*a. Solve -a*f = -7*f for f.
0
Suppose -49*d + 69*d - 740 = 0. Solve -t = 40 - d for t.
-3
Let g be 10/30 - 28/(-6). Let z = -6 + 10. Suppose -a + g*a - 2 = 5*n, -4*n + 20 = z*a. Solve -n*o = -o for o.
0
Let i = 268 - 266. Solve i*w = -2*w - 8 for w.
-2
Let f(s) = -4*s - 4. Let x be f(-3). Suppose -2*l + 16 = -2*v, 5*v = -4*l + 5*l - x. Suppose -7 = -2*t + 1. Solve -t - l = 3*j for j.
-4
Suppose 0 = 5*f - 25, 0 = 3*w - f - 4*f + 19. Solve 0 = w*d - 5*d - 6 for d.
-2
Let p = 89 + -64. Suppose 12 = d + 2*d. Suppose d*a + a - p = 0. Solve 12 = a*n - 2*n for n.
4
Let u = -4 + 4. Let g = 4 + u. Suppose -f - g - 22 = -4*i, 3*i + 5*f = 8. Solve -5 = -i*h + h for h.
1
Let t be (3 - 0/1)/((-1)/(-12)). Let i = -31 + t. Solve -i*d + 3 + 12 = 0 for d.
3
Suppose 3*x + i = 4, 4*x - i - 17 = -0*x. Solve 2*l + x + 7 = 0 for l.
-5
Let h(z) be the third derivative of 5*z**4/24 - 20*z**3/3 + 35*z**2. Let f be h(10). Solve -2*d + 0 = f for d.
-5
Suppose -2*t + 3*q - 6 = 0, 3*t - q = q + 1. Let r be t*4/(-24)*-30. Solve -2*s - r = -5 for s.
-5
Let o = 69 + -43. Suppose 27*u = o*u. Solve u*p = p for p.
0
Suppose -6*q = 294 - 312. Solve -6*r - q + 21 = 0 for r.
3
Let a(n) = n**3 + 7*n**2 - 19*n + 2. Let t be a(-9). Solve 0 = -t*q + 5*q for q.
0
Let s be 60/45*-6*(0 - 1). Solve 0 = -0*u - 8*u - s for u.
-1
Suppose -v - 2*q + 57 = -38, 2*v - 160 = 2*q. Solve -6*p - 11*p - v = 0 for p.
-5
Let d be (2/(-15) + 34/30)*0. Solve -2*q + 6*q = -d*q for q.
0
Suppose 0 = -3*h - 4*s + 12, 0 = -2*h - 13*s + 10*s + 7. Solve -2*w - 6 = -h for w.
1
Let i = -7 + 15. Suppose k + 4 = -1, k - 153 = 2*q. Let g = 82 + q. Solve i = -g*f - f for f.
-2
Let q = -1 - -4. Let r be (1 + q*4)/(-1). Let k = -10 - r. Solve -k + 7 = -4*j for j.
-1
Let c(p) = 3*p - 7. Let a be c(3). Suppose a*n + 7 = 9. Solve -n = -4*i + 7 for i.
2
Let p(r) = 8*r - 7. Let v(k) = 12*k - 10. Let u(z) = 8*p(z) - 5*v(z). Let g be u(3). Suppose -4*f + f + g = 0. Solve -8 = -f*n - 2*n for n.
2
Let m(j) = -1 + 0 - 2 + 2*j. Let n be m(3). Suppose n*x = -x. Solve 5 = -5*l - x*l for l.
-1
Suppose -5*j - 2*v = -5*v + 52, -4*j = 4*v + 16. Let b = j - -12. Suppose 2*l - 15 = -5*x, -4*l + b*x = 17 - 5. Solve -3*p - 2 - 4 = l for p.
-2
Suppose 2*k - 4*v + 14 = 0, 5*k + v - 6*v + 15 = 0. Let h = k + 4. Let n be 9/(-18)*0/((-4)/2). Solve h = w - n*w for w.
5
Let f(a) = a**2 - 14*a + 21 + 18 - 12. Let c be f(12). Solve 0 = -5*g + c*g - 2 for g.
-1
Let z be ((-36)/21)/((-10)/105). Let w = 8 + z. Suppose 15 = 5*g - 15. Solve -4*i = g - w for i.
5
Let j(g) = 2*g**2 - 9*g - 8. Let a(h) = 4*h**2 - 17*h - 17. Let p(u) = 4*a(u) - 9*j(u). Let d be p(6). Solve -2*s + 0*s = -d for s.
5
Suppose 418 = 52*g - 41*g. Solve g = -5*l + 13 for l.
-5
Let c(x) = x**2 + 6*x + 4. Let u(k) = -k**2 - 6*k + 4. Let y be u(-7). Let o be c(y). Let v be (1/(-1))/(o/15). Solve -3*f + v + 0 = 0 for f.
1
Let o(a) be the first derivative of -a**4/4 - 7*a**3/3 - 6*a + 3. Let y be o(-7). Let m be ((-8)/y)/(2/3). Solve j + m = -3 for j.
-5
Let n be 3 - (-6 + (-20)/(-5)). Let k be n - 1 - 42/14. Solve k = g + 6 for g.
-5
Let s(m) = m + 19. Let x be s(-4). Let k be (0/(-2))/(x + -10). Solve 0 = -k*g + 2*g - 4 for g.
2
Let i = -24 + 29. Let f = i - 2. Suppose 5*v = f + 47. Solve -4*t + 30 = v for t.
5
Let a = -38 - -42. Suppose u = -2*d + d, 0 = 2*d - a*u. Solve d = -4*i - 8 for i.
-2
Suppose 0 = -40*s + 142 + 58. Let q(v) be the third derivative of -v**5/60 - 3*v**4/8 + 5*v**3/6 - v**2. Let p be q(-5). Solve s*c - 5 = -p for c.
-4
Let g be ((-4)/1)/12*-12. Suppose -8*j + 4 + g = 0. Solve 0*v = v - j for v.
1
Suppose 0 = -3*z + 2*z. Suppose -4*j + 80 = -3*n, -4*n + 18 - 120 = -3*j. Let p be 6/39 + n/(-13). Solve p*h + h = z for h.
0
Let h(s) = -s**3 + 3*s**2 + 4*s + 2. Let y be h(4). Suppose 0 = -4*l + 3*l + 6*l. Solve -y*p = -l*p for p.
0
Let f be (5/6)/(37/222). Solve -2*g + f*g - 15 = 0 for g.
5
Suppose -l = -2*l. Let i = 14257 - 14249. Solve i = -2*r - l*r for r.
-4
Suppose 7*h + 8 = 8*h. Suppose c = -n + h, -3*c - 43 - 29 = -5*n. Solve -2*q - n = q for q.
-4
Suppose 77*j + 15 = 82*j. Solve -2*r = -r - j*r for r.
0
Let k be (14/6*3)/((-7)/(-7)). Let d be (-1)/2 - k/(-14). Solve d = y + 3 + 2 for y.
-5
Suppose 18 = -18*d + 23*d + n, d + 4 = -4*n. Suppose -3*i + 4*p = 2, 2*p - 10 = -i - 2*p. Suppose -2*m - 10 = 4*o, i*m = -o + m - 5. Solve o = -a - 0 - d for a.
-4
Suppose 89*s - 80*s = 0. Solve s = -v - 5 + 5 for v.
0
Let i(f) = f**2 - 4. Suppose -2*g + 3*g - 4 = 0. Let b be i(g). Suppose b + 8 = 4*d. Solve d*x = 3*x for x.
0
Let c = 157 + -153. Solve 2*v = -c - 4 for v.
-4
Suppose -4*f + 12 = c, -f + 0*c - 2*c - 4 = 0. Let k be 7/(-28) + 1/f. Solve k = 2*q - 7 - 3 for q.
5
Let m(a) = -a**3 + 9*a**2 - a + 21. Let x be m(9). Solve 20 = 2*v + x for v.
4
Let x = 194 + -187. Solve x = 2*o - 3 for o.
5
Suppose -5*x + 69 = -46. Suppose 0 = 28*v - x*v - 35. Solve 0 = v*r - 2*r - 10 for r.
2
Let h = 18 + -12. Suppose 256 + 62 = -6*v. Let n = 56 + v. Solve 0*w + n*w - h = 0 for w.
2
Let r be 3/4 - (-118)/(-8). Let s = r - -23. Let n be 2/(-4) + s/6. Solve 0 = -g - 1 - n for g.
-2
Let p = 44 - 52. Let y be 5*(6/p)/((-30)/16). Solve 3*d = 2*d + y for d.
2
Suppose -3*u + 0 = -12. Suppose -9*c = -u*c - 25. Suppose -c*n + 11 = -4*l, 0 = -4*l - n - 3*n + 16. Solve 4*v - l = 15 for v.
4
Let m be (-8)/(-5 + (13 - 10)). Solve -5*y + 3 = -m*y for y.
3
Let y(q) = q**3 + 5*q**2 - 2*q - 15. Let p be y(-3). Solve 0 = -d - 2*d - p for d.
-3
Let r = 14 + -11. Let k be -5 + r + (2 - -28). Solve 5*l - k = -13 for l.
3
Suppose 9*f - 4*f + 3*a - 13 = 0, 4*f + 5*a - 13 = 0. Suppose -f*c - 12 = -5*c. Suppose 0 = -5*u - 27 + 77. Solve -d + u = c*d for d.
2
Let d be (13/((-78)/24))/(1*-1). Suppose 0 = -i, -3*i + 2*i = -d*x + 124. Solve -5*t = -x + 6 for t.
5
Let z(v) be the third derivative of -v**6/120 - v**5/10 + v**4/24 + 11*v**3/6 + 13*v**2. Let t be z(-6). Solve -t*s = -16 + 41 for s.
-5
Let u be 3*-1*4*4/(-24). Suppose 0 = -0*i + 5*i + u*i. Solve i*w = -4*w + 16 for w.
4
Let j be (4/3)/(((-80)/18)/(-20)). Solve 4*g - j*g - 10 = 0 for g.
-5
Let o be 1/2*528/24. Solve 13 = 6*z - o for z.
4
Let b(g) = g**2 + 12*g + 1. Let l be b(-11). Let f be 13/5 + (-4)/l. Solve f*a = 6*a + 3 for a.
-1
Suppose 3*x = 0, 3*z = -z - x + 36. Let v(s) = -s + 11. Let p be v(8). Suppose 5*h = p*b + 2, 5*b = -3*h + 10 - 2. Solve -5*c + b = -z for c.
2
Let p be (86/5 + -1)/(24/80). Solve -l - 51 + p = 0 for l.
3
Let k(z) = z**2 + 3*z + 4. Let n be k(-4). Suppose -2*d + 6 = -2*h, h - 3*h = -3*d + n. Solve -3*v - d*v = 20 for v.
-4
Let o = 384 + -354. Solve 0 = 27*k - o*k - 6 for k.
-2
Let u = 759 + -756. Solve u*q + 5 = -1 for q.
-2
Let v(g) be the third derivative of -g**4/24 + 5*g**3/6 + 5*g**2. Let k be v(0). Suppose -3*d = -k*d + 6. Solve d = 4*f - 3*f for f.
3
Let p = 284 + -280. Solve 5*x + 11 + p = 0 for x.
-3
Suppose 0 = -2*r - 3*r + 5. Suppose -4*b = r + 7. Let m be 0 + 0 + (0 - b). Solve 2*s + m = 12 for s.
5
Let t be 12/((-384)/(-40))*4. Solve t + 35 = 10*j for j.
4
Suppose 5*i = 4*k - 9, -2*i + 11 - 5 = 0. Solve 0 = k*h - 17 + 47 for h.
-5
Let l = 89 + 50. Let g = 141 - l. Solve -3*p = g*p + 15 for p.
-3
Suppose -4*f + 4*x + 13 = -11, 0 = 4*f - 5*x - 25. Suppose 4*h = -0*h. Solve h = -0*u + f*u for u.
0
Let f be 3/(-6)*(-4)/6*9. Let p(w) = -w**2 - 3*w. Let z be p(-3). Solve o + f - 2 = z for o.
-1
Let i be -2*(-5 - (1 + 4)). Let s be 2/i + (-6)/60. Solve j = -s + 3 for j.
3
Suppose s = 5*a + 3*s - 1, -5*s = -5*a + 15. Suppose -2*d + 2*n + 15 = -3*n, 4*n + 14 = 2*d. Let r be ((-5 + 5)/d)/1. Solve w - 1 - a = r for w.
2
Let j be ((-2)/(-4) - 1)*-8. Let g = -35 - -33. L