13 for u.
2
Suppose -20*v + 12 + 28 = 0. Suppose -4*t + 3 = -1. Solve t = v*f + 5 for f.
-2
Let c(a) be the second derivative of a**4/6 + 5*a**3/6 - 33*a. Let h = -2 + -2. Let m be c(h). Solve l - 5*l = m for l.
-3
Let n(q) = 2*q + 4. Let g be n(-8). Let z be (-657)/(-54) - (-2)/g. Solve -z = -0*p + 3*p for p.
-4
Let z(d) = -d - 1. Let j(r) = -r - 20. Let i(t) = j(t) + z(t). Let n be i(-13). Solve 14 = -n*l - 6 for l.
-4
Let k(a) = -3*a**3 - 2*a + 6 + 0*a - a**2 - 6. Let y(h) = -10*h**3 - 2*h**2 - 7*h. Let n(x) = 7*k(x) - 2*y(x). Let d be n(-3). Solve -2*j - 4 = -d*j for j.
-2
Let q be -1 - (4 - 96/12). Solve -7*c + q = 24 for c.
-3
Let m be (-128)/(-288)*(-9)/(-2). Suppose -3*x = 2*x - 10. Solve -m*v - 12 = x*v for v.
-3
Let w(h) = h**3 + 5*h**2 - h + 3. Suppose 2*i = 6*i - 4*l, i - 4*l = 15. Let a be w(i). Solve -m - a = -5*m for m.
2
Suppose 8*s - 3*j - 6 = 4*s, 5*s + j - 17 = 0. Solve 0 = 23*g - 20*g - s for g.
1
Let i be (-240)/(-4) - (-4 - -8). Suppose -3*n + i = 11. Solve -w = 4*w - n for w.
3
Let f(j) = -j + 17. Let o be f(9). Suppose 0 = 2*g - 4 - 6. Suppose -q + 2*q - 17 = -3*a, g*q + a - 29 = 0. Solve o = h - q*h for h.
-2
Let p = 87 - 85. Suppose 0 = -d - r - 1, 0 = 4*d - p*r - 14 - 0. Solve -3 + d = -n for n.
1
Let h = 46 + -43. Let s(w) = -2*w**3 + 12*w**2 + 8. Let o be s(6). Solve 0 = 5*z - h*z + o for z.
-4
Let b = -305 + 402. Solve 95*f + 2 = b*f for f.
1
Let b be (-2109)/(-76) + (-1)/(-4). Suppose -2*x + 2*n + b = 0, -5*x + 0*n - n = -76. Suppose -4*k = -x + 7. Solve k = -a + 6 for a.
4
Let p(c) = -7 + c**3 + 6*c**2 - c - 8 + 14. Let x be p(-6). Let j be 2/4*-1*0. Solve x = -5*b - j for b.
-1
Suppose -4*p + 7*l + 25 = 12*l, 3*p + 2*l - 10 = 0. Let q(k) = k**3 - 11*k**2 + 2. Let w be q(11). Let n be (-10)/3*(-3)/w. Solve -n*x - 7 + 2 = p for x.
-1
Suppose -4*b = 5*w - 16, -b - w + 3 = -0*b. Let s be (4/(-10))/(b/10). Suppose 6 = o - 2*t, 5*o + s*t - 2 = -0*o. Solve 0*z - z = -o for z.
2
Let y(t) = -6*t**3 + t**2 - 3*t - 5. Let b be y(-1). Let q(m) be the first derivative of -5*m**2/2 + m - 3. Let d be q(-1). Solve d = -b*v - 14 for v.
-4
Suppose 5*p + 49 = -101. Let f = p - -11. Let d = f - -24. Solve 9*o - d = 4*o for o.
1
Let r be -6*3/(-135)*3*5. Solve -6*s + r = -28 for s.
5
Let l be (5/10)/((-4)/(-144)). Solve 17*n - l*n = -5 for n.
5
Suppose 55*d - 397 = 648. Solve -3*o + 64 = -d*o for o.
-4
Let d = -238 + 331. Solve -97*a = -d*a + 4 for a.
-1
Let z(c) = -c**3 - 5*c**2 - 2*c + 14. Let l be (-8 - 9 - -2)*1/3. Let y be z(l). Solve 4*n - 4 = -y for n.
-5
Let j(q) = -q + 5. Let d be j(0). Let v(f) = f**2 + 10*f - 6*f + 4 - d*f. Let a be v(0). Solve -2*s + 8 = -a*s for s.
-4
Suppose 0 = -3*p + 3 + 9. Let v be 2 + p + -8 + 7. Solve -7 - v = 3*q for q.
-4
Let v(h) = h**3 - 11*h**2 - 27*h + 13. Let s be v(13). Suppose -19 = -3*t + 6*t + 5*k, s = 4*t + 5*k + 17. Solve -1 = l + t for l.
-3
Let l be 26 - (10 - (-6 + 11)). Solve 0 = l*a - 18*a for a.
0
Let k be (-3)/(-6)*(-4)/(-1). Suppose m = k*l - 4*m - 48, -m + 72 = 3*l. Suppose -i + 6 = -3*v + l, -6 = 2*i. Solve 15 + 10 = v*j for j.
5
Suppose -61 = p - 12. Let b be ((-112)/p)/(1 + 15/(-21)). Solve -3*h = -b*h + 10 for h.
2
Suppose 83*u = 50*u. Solve u = 60*g - 65*g - 15 for g.
-3
Suppose -7*m - 48 = -4*m. Let q be m/10*(-5)/2. Solve 1 + q = u for u.
5
Let v be -5*(6/(-24) + (-26)/(-40)). Let u be (3 - -1)*-1*v/2. Solve -u = 3*s - s for s.
-2
Let t be 1/((-1 - 0)*-1). Let q be (2 - 2)/(1/t). Let m be 6/10*15 - 4. Solve q = -i + 2 - m for i.
-3
Let c be 4/(-16) + (-196)/(-16). Suppose 2*r = 4*a - c, 5*r + 3*a - 18 = a. Solve 1 + r = -b for b.
-3
Suppose -9*p = -p - 56. Let a be (30/105)/(8/p + -1). Solve 0*f + a*f - 2 = 0 for f.
1
Let w = 5 - -4. Let k(p) be the third derivative of p**6/120 - p**5/12 + p**4/8 - 2*p**3 + 9*p**2. Let s be k(5). Solve 4*m = -s - w for m.
-3
Let x be 2 + 16/3 - (-5)/(-15). Suppose -7 = -7*o + x. Solve -3*v = -o*v for v.
0
Let m(n) = -3*n + 5. Let q(t) = -19*t + 30. Let u(o) = -39*m(o) + 6*q(o). Let b be u(6). Solve -5*d = -b - 22 for d.
5
Let s(j) = -4*j**3 + 3*j**2 - 2*j - 2. Let n be s(2). Let u = n - -29. Solve 0*d = u*d + 6 for d.
-2
Suppose 5*d = 20 + 50. Solve d*h = 9*h for h.
0
Suppose 8*j - 28 + 28 = 0. Solve j = 2*w - 8*w for w.
0
Let n be (-12)/(-14)*140/15. Let u = n - 5. Suppose 3*l + v = l + 2, u*l + v = 2. Solve l = 5*h + 5 + 10 for h.
-3
Let y = 50 - 10. Suppose y = 8*a - 3*a. Solve 0 = -0*h - 4*h + a for h.
2
Suppose 0 = -q + 2, 0*d - 2 = d - 5*q. Solve d - 6 = l for l.
2
Let t be (-231)/(-11) + 0 + 0. Let n be 8/3 - (-7)/t. Let x = -3 + n. Solve p + 4 - 2 = x for p.
-2
Let f = -2 - -5. Let w(q) be the first derivative of q**3/3 + q**2 - 78*q - 56. Let t be w(-10). Solve f*n + 4 = t*n for n.
-4
Suppose 4*g - w - 44 = 0, -3*g + 0*w + 56 = 5*w. Solve 32 = -11*c - g for c.
-4
Let o(w) = -35*w**2 + w. Suppose -m + 1 = 2. Let q be o(m). Let f = q + 51. Solve 0 = y + 2*y - f for y.
5
Suppose -2*u + 0*u = -28. Let b = 1 + u. Suppose -2*x = 3 - b. Solve 9 = -5*d - x for d.
-3
Let m be (21/(504/80))/((-2)/(-3)). Solve 5*h = -m + 15 for h.
2
Suppose -44 = -4*m + 16. Suppose 0*s + 4*y = 4*s - 44, 2*y = -2*s + 18. Let x be 2/s - (-2)/(-10). Solve x*b - m = -3*b for b.
5
Let v(l) = l**3 + 4*l**2 - 3*l - 10. Let d be v(-4). Suppose -3*n = 2*y - 3, 0 = 4*n + y - 0*y - 9. Solve -n*a - d = -a for a.
-1
Let z = -60 - -53. Let i be z - (-5 + 0) - 2*-1. Solve 0 = 4*u + 8 - i for u.
-2
Suppose 15 - 35 = -5*h. Suppose -2*d = m - 8, 6*d = -3*m + 5*d + 4. Solve m = h*w - 16 for w.
4
Let v be ((-117)/39)/(((-3)/(-2))/(-3)). Solve 0 = -v*y + 10*y + 16 for y.
-4
Let p = 10 - 3. Suppose 5*a - p*a + 34 = 0. Suppose -5*m + 4*r = -a - 6, -m - 8 = -5*r. Solve -4*c - m = 13 for c.
-5
Suppose 0*x = 3*x - 15. Suppose 0 = -j + x*j. Solve j = -3*h + 5 + 4 for h.
3
Suppose o = 16 - 44. Suppose -700 = 30*j - 5*j. Let f = j - o. Solve f = 3*a + 2*a for a.
0
Suppose -123 = -q + j, 7*q - j = 3*q + 483. Solve 0 = 117*p - q*p - 12 for p.
-4
Suppose 4*h - 2003 - 97 = 0. Let s be (4/(-6))/((-10)/h). Suppose 5*t - 7 = u - s, 0 = 4*u - 5*t - 97. Solve -4*p - 3 + u = 0 for p.
5
Suppose 3*z + 5914 - 6049 = 0. Solve -34*c + 19*c = -z for c.
3
Let o(d) = -d - 4. Let f be 1/(1 - (-8)/(-7)). Let j be o(f). Let h = 26 + -24. Solve j*s + 1 = -h for s.
-1
Let g be 2/(-40) + (-5217)/(-740). Solve 10*s + g*s = -85 for s.
-5
Let y = 1320 + -1221. Solve 0 = 5*h - 94 + y for h.
-1
Suppose 3*i - 17 + 5 = 0. Suppose -3*j = -i*k + 6 + 7, 8 = -4*j + 3*k. Let l be (-1)/((-2)/10) - 1. Solve -l*o + j = 9 for o.
-2
Let j(u) = u**2 + 3*u - 3. Let t be j(-4). Let w(i) = i**3 + 24*i**2 + 26*i + 75. Let m be w(-23). Suppose m*o - 26 = 16. Solve 2*n + t = o for n.
3
Suppose 4*a = -a - 2*q + 5, 6*q = 2*a - 36. Solve -5*u - 2 = a for u.
-1
Let p be (88/88)/(1/20). Solve -5*y - 40 = -p for y.
-4
Let a(j) = j**3 + j**2 - 2*j + 1. Let x be a(-2). Let i be 9 + x/((-6)/24). Solve i = -w + 8 for w.
3
Let j(b) = -15*b + 150. Let v be j(6). Solve 21*k - 9*k = v for k.
5
Let s(q) = q - 6. Let x be s(8). Let z be 5/10*x*8. Solve c = -c - z for c.
-4
Suppose -u + 3 = 1. Suppose -5*k = 0, g + u*g = 5*k + 12. Let b(t) = t - 9. Let z be b(17). Solve g*x = 4 + z for x.
3
Suppose 4*v - 39 = -18*n + 13*n, 5*v + 31 = n. Solve -n*s - 6 - 5 = 0 for s.
-1
Let c be (-114)/95*(-60)/9. Solve 75*b + c = 71*b for b.
-2
Suppose 3*k + z = -z + 14, 0 = -5*k + z + 6. Let p be 0 - 3 - (-76)/4. Solve 2*c + k*c = p for c.
4
Let g = -1111 + 1115. Let y be 1*(-1)/(3/15). Let m(u) = -u**2 - 5*u + 5. Let k be m(y). Solve -k*w + 16 = -g for w.
4
Suppose -d + 2*d + 17 = 5*f, 0 = -f + d + 5. Solve -10*z + f*z = 35 for z.
-5
Let n(p) = -2*p. Let m(b) = 2*b + 15. Let t be m(-8). Let s(k) = 1. Let x(i) = t*n(i) + 4*s(i). Let w be x(0). Solve -2*h - w + 0 = 0 for h.
-2
Let z = 24 - 11. Suppose -4*q + 18 = -0*q + 3*a, 5*q - 21 = -3*a. Solve -4*d = q + z for d.
-4
Let x(r) = -r**3 - r**2 - r + 12. Let i be x(0). Let g be 2/12 + 586/i. Suppose -v = -4*w + 41, -3*w - v + g = 2*w. Solve w*a + 10 = 5*a for a.
-2
Let r be ((-3)/6)/(2/(-24)). Let n be -4*r*1/(-8). Let u be 3/(n/6*2). Solve -m + u = 2*m for m.
1
Let g be 11*(405/99)/9. Solve g*b = b - 20 for b.
-5
Let g(r) = r**3 - 8*r**2 - 8*r - 5. Let h be g(9). Suppose h*f - 45 = f. Let c = f + -12. Solve