Solve 6*t - 6 = u*t for t.
-2
Let x(r) = 2*r + 29. Let a be x(-14). Solve 3 = d - a for d.
4
Suppose 181*v + 552 = 205*v. Solve a = -v*a for a.
0
Let m(x) = -11*x + 904. Let h be m(57). Solve -286 = 3*u - h for u.
-3
Let z be (-2 - 10)/((-1921)/170 + 11). Solve 61 - z = -7*v for v.
-3
Let n = 373 - 373. Solve 7*f - 10*f - 9 = n for f.
-3
Suppose -408 = -45*c + 42. Let v(j) be the third derivative of -j**4/12 - j**3/2 - 2*j**2. Let g be v(-4). Solve g*b - c = -5 for b.
1
Let n be (12/9)/((-4)/(-12)). Solve -1 = -n*x + 7 for x.
2
Let a(h) = 3*h - 16. Let o be a(6). Suppose -51*t + 50*t + o = 0. Solve -4 + t = r for r.
-2
Suppose -7*m + 0 = -70. Suppose 6 = m*v - 4. Solve 2*g + v = -9 for g.
-5
Suppose 6*r - 8*r = -3*c, r - 3*c = 0. Solve r = 4*m + 7 - 27 for m.
5
Suppose -5*f = -2*f - 30. Let w(b) = -b**2 + 6. Let n be w(6). Let p be n/(-12)*8/f. Solve 5*i = -p + 7 for i.
1
Suppose -5 + 0 = d. Let f(i) = -i - 5. Let v be f(d). Solve 6*j - 3*j - 9 = v for j.
3
Let r(h) = 3*h**2 + 5*h. Suppose 4*d + 17 = -f, -3*d - 7 = -0*d - 5*f. Let i be r(d). Let o = 38 - i. Solve 7*g - 2*g = -o for g.
-2
Suppose 0 = -0*i - 6*i - 168. Let y = i - -34. Let d = 5 + 20. Solve y*a - d = a for a.
5
Let n(z) be the third derivative of -z**6/360 + 3*z**5/40 + z**3/6 + 5*z**2. Let g(h) be the first derivative of n(h). Let m be g(9). Solve -5*r + m = -5 for r.
1
Suppose -m + 18 = m. Let z = m - 5. Let u = -25 + 25. Solve -c - z*c = u for c.
0
Let x(u) = u**3 - 9*u**2 + 7*u + 11. Let p be x(8). Suppose 0 = -3*n + 4*q + 13, n + q = 3*n - 7. Let k be 4/2 - (n + -7). Solve 0*o = p*o + k for o.
-2
Let x(g) = g**3 - 11*g**2 + 20*g - 12. Let o be x(9). Suppose 34 = 4*n + 4*m + o, n = m + 13. Solve 4*h = -h - n for h.
-2
Suppose -13*f = -5*s - 12*f + 100, 4*f - 41 = -s. Solve 0 = 9*u - 16*u - s for u.
-3
Suppose 6*n - 3*n = 3*l - 15, -n + 5*l = 9. Let f be n/6*-3*1. Solve 2*w + 12 - f = 0 for w.
-5
Let h(y) = -y**2 + y + 1. Let l(t) = 5*t**2 - t - 6. Let n(s) = -6*h(s) - l(s). Let p be n(5). Solve 2*c + 8 = -p*c for c.
-4
Let u(d) = -8*d. Let y(w) = w**2 + 3*w - 8. Let v be y(-6). Suppose -2*s = 3*s + v. Let a be u(s). Solve 2*n - 6*n = a for n.
-4
Let q(d) = 5*d**2 - d + 1. Let x be q(1). Let b be (4 - x)*1*-2*2. Solve -c + b = -5*c for c.
-1
Let w = -81 + 84. Solve w*s + 6 = -6 for s.
-4
Let l be (-8 + 14)*(-2)/3 + 9. Suppose 0 = 4*z - j - l, 3 = 5*z - j - 2. Solve z*k - 4 = -2*k for k.
2
Suppose 4*n = -6*n + 150. Solve 2*k = n - 9 for k.
3
Suppose 0 = 4*p - 21 + 9. Let i(k) = -4*k**2 - p*k**2 + 5*k**2 + k**3 - 8*k**2. Let x be i(10). Solve x = -5*g - 5 - 0 for g.
-1
Let x(t) = t**3 - 8*t**2 + 9*t - 8. Let s(k) = -k**3 + 9*k**2 - 10*k + 8. Let w(y) = -3*s(y) - 4*x(y). Let i be w(4). Solve -2*u = -i*u for u.
0
Suppose -641*l = -634*l - 56. Solve 10 + 30 = l*r for r.
5
Suppose 0 = 3*n - 5*w - 45, -4*n + 3*w = 9 - 58. Solve 4 = n*h - 6*h for h.
1
Let t(r) = 4*r**3 + 3*r - 2. Let v be t(1). Suppose -25 = 5*z + 5*n, -3*z - 34 = -v*n + 13. Let k = -4 - z. Solve -k - 10 = -5*q for q.
3
Suppose -3*b = 2*b + 4*o + 510, -4*b = -4*o + 408. Let r = -99 - b. Solve -3*j + r = -6*j for j.
-1
Suppose 32*k = 25*k + 21. Solve 33*h - k = 32*h for h.
3
Let b be (-298)/6*-1 - (-12)/9. Solve 43*s = b*s for s.
0
Let g(r) = r**2 + 12*r + 5. Let b be g(-8). Let o = -25 - b. Solve -o*n - 5 = -7*n for n.
1
Suppose -v = 4*s - 16 + 1, 4*s + 4*v = 24. Solve -3*b - s = -6 for b.
1
Let o be 100*((-19)/(-114))/(4/6). Solve -7*n + o = -2*n for n.
5
Let l be (0 + 6)/(-3) + 120/20. Solve 47*n + l = 46*n for n.
-4
Suppose 3*p = -7*a + 26, 3*a - 42 = -5*p - 16. Solve a*g = 4 + 2 for g.
3
Suppose 0 = -32*l + 75 - 11. Solve 8 = l*c + 6 for c.
1
Let a(w) = -w**2 + 9*w + 13. Let i be a(10). Suppose 27 = 4*f + 3*v, 0*v = i*f + 2*v - 21. Solve -p - 2*p = f for p.
-3
Let k = 36 - -26. Suppose 0*y = -b - 3*y - 27, -4*y + k = -b. Let p be 3/(-2)*224/b. Solve -p = m + 3*m for m.
-2
Let f be 2/(-10) + 156/30. Suppose 1 = -2*o - f*j - 3, 0 = -2*o - 2*j + 2. Let b be o/(-2 - (-6)/2). Solve -b*n + 19 = 7 for n.
4
Let f be (7 + -13)/((-1)/1). Let x be 0 - (2 - f - 2). Solve -2*s = s - x for s.
2
Let y be -3*((-8)/(-12))/1 + 2. Let h be ((-30)/12 - y)*(-34)/5. Solve -5*a + 42 = h for a.
5
Let s(o) = -o**3 + 7. Let b be s(0). Suppose -2*g - 7 = 3*d, 20 = -b*d + 3*d. Let q = 0 - -2. Solve g*f - q = 2 for f.
1
Let y(t) be the first derivative of t**4/12 + 5*t**3/6 - 3*t**2 + 4*t + 3. Let j(p) be the first derivative of y(p). Let c be j(-7). Solve c = -5*w - 2 for w.
-2
Let q(t) = t**3 + 8*t**2 - 12*t + 82. Let c be q(-10). Solve 16 + c = 6*l for l.
3
Let h(y) = 2*y + 21. Let t be h(-8). Suppose t*w - 3*z = 20, 0*z = 2*z. Solve -p = -2*p - w for p.
-4
Let s(l) = l**2 + 13*l - 15. Let d be s(-13). Let n = 15 + d. Suppose -2*f + 14 + 2 = n. Solve -3*p + f*p + 20 = 0 for p.
-4
Let x(b) = 8*b + 177. Let w be x(-21). Solve 8 = r + w for r.
-1
Let m be (-1)/(3 + (-20)/6) + 2. Solve 2*p + 3*p - m = 0 for p.
1
Let j(h) = h**3 - 9*h**2 + 9*h - 5. Let r be j(8). Suppose r*m - 14 = -4*m. Solve 2 + 0 = -m*y for y.
-1
Let h(o) = -o**3 + 3*o**2 + o - 7. Let b be h(-2). Solve -b = 5*g - 6 for g.
-1
Let b be 175/75 + 12/18. Suppose 0 = t + 2 - 9. Suppose k = -0*k - 4*y - t, 5*y = -20. Solve -b*w + 6*w + k = 0 for w.
-3
Let b be 2 + -1 + -3 - (0 + -3). Let l be (-2 + b)*(-1 + -17). Solve -3 + l = -3*m for m.
-5
Let o = 647 + -643. Solve o*j + 4 = 5*j for j.
4
Suppose 20 = 6*h - 2*h. Suppose -g + 1 = x + 2*g, -5*x = -h*g - 5. Suppose -2*d + 19 = -x. Solve -2*j = -d - 0 for j.
5
Let j(b) = b**2 - 16*b + 21. Suppose 9 = 4*s + 4*d - 35, -2*d + 7 = s. Let z be j(s). Solve 2 - z = -4*i for i.
1
Let q be (15/9)/((-5)/(-360)*20). Solve -7*z = -q*z - 5 for z.
5
Let w be 6/30 + (-42)/10 + 19. Let q be 50/w*12/10. Solve -4*h - q = -0 for h.
-1
Let w(x) = -4*x**3 - x**2 - 7*x - 7. Let c be w(-1). Solve b = 1 + c for b.
4
Suppose -q + 6 = q. Let s be q + 2*4/8. Suppose -6 = -s*x + 14. Solve -x = 4*b + 11 for b.
-4
Let z(v) = v - 20. Let x be z(17). Let j be 1 - (-2)/((-3 - x) + 1). Solve 0 = -j*a + 10 - 1 for a.
3
Suppose 2*s = -10, n + 11 = 5*s + 42. Solve -4 = n*y + 2 for y.
-1
Let n = -16 + 20. Let i be n*1/(-1) + 12. Let q be 14/i - 1/(-4). Solve y = -y - q for y.
-1
Let m be 0*((-8 - -6) + 0 + 1). Let t be 2*(0 - 2/(-4)). Solve m = -z - 0 + t for z.
1
Let m(w) = 4*w - 1. Let o be m(-1). Let j = 10 + o. Solve 2*z - j*z = 9 for z.
-3
Let m = 3 + -21. Let u be 3*3/m*-6. Suppose -2 = -u*d + 4. Solve -6*b = -d*b - 8 for b.
2
Let c(z) = z**2 + 9*z + 10. Let p be c(-8). Let a(w) = -w**p + 3*w + 0*w + 6*w - 15. Let u be a(6). Solve k = u*k for k.
0
Let d(h) = -h**2 - 5*h + 7. Let x be d(-6). Let j be x*6 + 6 + -8. Suppose -j*s - 5 = 5*n, -s = 4*n + n + 5. Solve -3*y = -s*y for y.
0
Suppose 0 = 7*o - 135 - 341. Let m = -57 + o. Solve -3*q = 2 - m for q.
3
Suppose 7*p - 8 = 3*p. Suppose -m = -5*r + 7, -p*r + 2 = m - 5. Suppose 2*q = r*v - 2*q - 20, -3*q = 3*v + 6. Solve -v*d = d + 3 for d.
-1
Let o = 1552 - 1548. Solve 83*c - o = 87*c for c.
-1
Let f(m) = 2*m**2 - 2*m - 10. Let t be f(-4). Solve t*u - 18*u + 24 = 0 for u.
-2
Suppose -81*x + 123 = -78*x. Solve -6*k + 17 = x for k.
-4
Let l(f) = -42 + 2*f**3 + 4*f**2 + 0*f**3 - 4*f - f**3 + 44. Let d be l(2). Suppose 4*t + d = 58. Solve a - t = -a for a.
5
Suppose 2*c + 2*c - 8 = 0. Let x = c + -4. Let u = x - -8. Solve -u*w = -2*w - 4 for w.
1
Let l = -11 - -51. Suppose -6*c + c - 10 = -w, -3*c - l = -4*w. Solve 4*g - 2*g = w for g.
5
Let i be (-6)/(-45) + 7021/105. Let w = -64 + i. Solve 0 = -7*m + w*m + 8 for m.
2
Let s = -80 + 65. Let p be s/(-8) + (-8)/(-64). Solve p*r - 4 = 4*r for r.
-2
Let c = -74 - -74. Solve 0 = -5*a - c*a for a.
0
Let b be (-1850)/(-222) + (0 - 1/3). Solve 0 = -6*t + 2*t - b for t.
-2
Let r(u) be the first derivative of -u**3/3 + 5*u**2/2 + 15*u - 6. Let x be r(7). Solve 2*j = 1 + x for j.
1
Let d = -330 + 392. Solve -d*j + 8 = -66*j for j.
-2
Suppose 5*v - 8*l = -3*l + 30, 4*l = -4*v. Suppose 0 = -2*x + 3*s - 29, -7*x - 59 = -2*x - v*s. Let g be (-1)/(-5) - (-2)/x. Solve g = -2*w + 3*w - 5 for w.
5
Suppose 2*a = 5*y + 36, -2*y - 4 + 22 = a. Solve 0 = 3*o - 9 + a for o.
-3
Suppose -71 = -3*j - 5*o, -5 = o - 9. Solve j*u - 15 = 22*u for u.
-3
Let u = -253 - -257. Solve 0 = u*b + 7 + 13 f