olve -w*u + 16 = -2*u for u.
2
Let u(a) be the second derivative of a**5/20 - 5*a**4/12 - 2*a**3 - 3*a**2 + 3*a. Let h be u(7). Suppose 5*i - h*i = -15. Solve 2*t = i*t for t.
0
Let x(i) = i**2 - 4*i + 6. Let v be x(6). Let p be 20/3*v/15. Solve p + 1 = 3*f for f.
3
Suppose 624 = -7*d + 33*d. Solve -4*r = 2*r + d for r.
-4
Suppose 4*g - 59 = -5*x, -2*x - 34 = -4*x + g. Solve -x = 6*s + 3 for s.
-3
Suppose -5*p = -p - 16. Let m be (p + 45/(-10))*0. Suppose 2*f - 4*f = m. Solve 0 = 4*t - f*t - 8 for t.
2
Suppose 0 = -n + 14 - 10. Solve 0 = -n*h + 2*h for h.
0
Let w(f) = -2*f**3 + 3*f**2 - 5*f - 1. Let m be w(4). Let t = m + 112. Solve 3*j = t + 4 for j.
5
Let g be (-75)/(-4) + 1 + (-1)/(-4). Solve -27*v - g = -32*v for v.
4
Suppose -4*b = 4*o - 8, 4*b - 2*b - 4 = -o. Let w = 0 - o. Suppose 0 = 1418*q - 1422*q + 32. Solve -q = -w*d - 4*d for d.
2
Let y be 6/3*4/((-32)/(-20)). Let b(j) = -j**2 - 28*j - 24. Let u be b(-27). Solve -y*v = -u*v - 4 for v.
2
Let a = -45 + 46. Solve 2 = -i - a for i.
-3
Let i = 92 - 88. Solve 2*v - 4 = i for v.
4
Suppose 0 = -3*m - 5*l + 30, 0 = -3*m - 2*l + 18 + 3. Solve y + 1 = m for y.
4
Let f(j) = j + 9. Let k be f(-7). Suppose 0*c - k*c = -20. Let v be 0 - (21/(-28))/(1/4). Solve v*l - l = -c for l.
-5
Let r be (-7)/((-28)/20) - 2. Suppose 3 = 2*n - r*t, -n + 1 = -0*n - t. Solve 0 = 3*i - n + 3 for i.
-1
Let i be (-8 + 5 - -7)/2. Solve i*s + 6 = 8 for s.
1
Let h = 8 - 1. Let y = -3 + h. Solve -a + y*a = 0 for a.
0
Suppose -4*z + 72 = 5*i - 0*i, i = -3*z + 43. Suppose -2*b - 12 = 4*c + 2, -5*b + z = -2*c. Solve -w - b = 1 for w.
-2
Let c be -3*1/2*-6. Let d be c/(-6) + 7/2. Solve -u = d + 2 for u.
-4
Suppose 28*k - 30*k = -8. Solve -3*y = -k - 2 for y.
2
Suppose -s = -3*s - 10. Let h = s - -6. Let p = -6 - -10. Solve p*i + h = 3*i for i.
-1
Let l(j) = 3*j - 19. Let p be l(8). Suppose -13 = p*u - 43. Let i(r) = 3*r. Let k be i(u). Solve 3*n - k + 3 = 0 for n.
5
Suppose 3*p - 7 + 1 = 0. Let u be (-2)/(-7) - 1632/(-952). Solve 0 = u*f + 6 + p for f.
-4
Suppose -3*v - 3*i = -9 + 54, v + 4*i + 24 = 0. Let g(d) = -d**3 - 11*d**2 + 10*d - 4. Let o be g(v). Solve 3*w + 2*w = -o for w.
-4
Let b = 55 - 52. Solve -b*r - 7 = 8 for r.
-5
Suppose 5*b + 30 = 5*l, 0*b = -5*l - 2*b + 16. Let o be 28/l + -2 + 2. Suppose -o*d = -12*d. Solve d*i = -i for i.
0
Let p(q) = -q**3 - 6*q**2 + 6*q - 3. Let k be p(-7). Let c be -2 - -3 - ((k - 8) + 0). Solve -2 = c*h + 8 for h.
-2
Suppose 6*x = 2*x + 84. Let v = x - 5. Solve 4*n - v = -0*n for n.
4
Let q(i) = -i**2 - 9*i + 52. Let z be q(-13). Solve 4*o - o + 12 = z for o.
-4
Let v be (-2)/6 - ((-330)/(-9))/(-11). Solve p = 1 - v for p.
-2
Suppose -3*r - 4*r - 49 = 0. Let a(x) = x + 9. Let m be a(r). Let y be (1*-1)/((-2)/12). Solve m*j + y = -j for j.
-2
Let a(g) = 3*g**2 - 28*g - 178. Let n be a(14). Solve 71 = -n*r - 1 for r.
-4
Let c be (50/6)/(-5)*-3. Suppose 2*o + c*f = 5, 4*o - 57 = 5*f + 28. Solve -5 + o = -2*l for l.
-5
Let i(n) = -n**2 - 11*n - 12. Suppose -5*b - 60 = -5*s, -31 + 1 = 5*b + 5*s. Let g be i(b). Solve -d + g = d for d.
3
Suppose 25 + 11 = 4*d. Let w(a) = -a**3 - 13*a**2 + 18*a + 59. Let j be w(-14). Solve j = -3*z + d for z.
2
Let v be (-5 - -1) + (9 - 3). Suppose -3*f - 71 = -4*x, v*x - 69 = -x - 3*f. Solve 2*u = -3*u + x for u.
4
Suppose -17*r + 96 = 62. Solve 33 - 25 = r*w for w.
4
Let n be (-13)/6 + 2/12. Let o be 49 - n/5*-5. Let f = o + -41. Solve 5*w = -9 - f for w.
-3
Let a be (17/(-1))/((-1)/(-2)). Suppose 50*k - 1450 = 21*k. Let y = a + k. Solve -5*l + y = -l for l.
4
Suppose -111 = 3*p - 4*y, -258 = 5*p + 3*y - 73. Let h = 28 + p. Let u = h + 10. Solve 0 = -i - 4 - u for i.
-5
Let q be -3*1/3*-20. Solve 0 = -2*f + 7*f + q for f.
-4
Suppose -32 = -2*v + 2*g, 2*g = -v + 15 - 5. Suppose 0 = 5*t - 16 - v. Solve -t*z = -3*z for z.
0
Let o(h) = 4*h - 27. Let j be o(7). Let v(w) = w**3 - 3*w**2 - 2*w + 8. Let n be v(3). Solve n*a + j = -1 for a.
-1
Suppose 107 = 4*y + 35. Let j be -3 + y/3 - 3. Solve j = -2*a - 0*a - 8 for a.
-4
Suppose 5*q + 100 = -295. Let p = -71 - q. Solve -7*a = -p*a - 1 for a.
-1
Suppose 5*k - 157 = 78. Let t = k + -45. Solve 0*o - 2 = -t*o for o.
1
Suppose -l - 9*b = -7*b + 2, -4*l + b + 19 = 0. Solve 0 = -l*f + 3*f for f.
0
Suppose -a + 25 = -6*a. Let i be (-6)/(-15) + (-8)/a. Suppose -q = -3*u + 17 + 39, 88 = 4*u + i*q. Solve -u = -4*n - n for n.
4
Suppose -4*q = 3*q - 2*q. Let o(x) = x - 2*x + 1 + 7. Let b be o(q). Solve -2*r + 4*r + b = 0 for r.
-4
Suppose -16*r - 387 = -7*r. Let d = -41 - r. Solve d*x - 13 + 3 = 0 for x.
5
Suppose -55*d - 3009 = -7959. Solve 0 = -d*w + 92*w for w.
0
Let q be 2/6 - (-64)/24. Suppose 8 = 4*f, -f = 2*d - 0*f - 10. Suppose 12 = -d*w, 5*w - 2 = 3*x - 41. Solve -q*j = -5*j - x for j.
-4
Suppose 3*p - 20 = 28. Let x(z) = -z - 1. Let i be x(-13). Let k be i/p + 9/(-12). Solve k = -2*l - 0*l + 8 for l.
4
Let f(u) = -18*u - 84. Let n be f(-5). Solve -n*o + 16 = -2*o for o.
4
Suppose 2*l - 280*p + 275*p = 24, 0 = 4*l + 2*p. Solve -10*o = 8 + l for o.
-1
Let c(z) = z**2 - 3*z - 10. Suppose 55*t - 47*t - 40 = 0. Let y be c(t). Solve y*f = f for f.
0
Let p = 115 - 67. Let v = 60 - p. Solve v = 3*r - 0*r for r.
4
Let g be ((-2)/4)/((-5)/(-30)). Let o = g + 6. Suppose o = 2*h - 1. Solve r - h*r = 0 for r.
0
Let p(v) = 3*v**2 - 9*v + 9. Let o(y) = 13*y**2 - 37*y + 35. Let r(t) = -2*o(t) + 9*p(t). Let m be r(6). Solve 0 = 3*f + 10 + m for f.
-5
Let o(r) = 2*r**2 - 1. Let b be o(1). Suppose 0 = 2*k + 2 - 8. Suppose y + 5*t = 3*y - 19, k*y + 3 = -3*t. Solve 3*q - b = y*q for q.
1
Suppose -t = -x - 0*t, -5*t + 45 = 4*x. Suppose -3*i = 9, 0 = 2*v - x*v + 5*i + 15. Solve 3*d - 6*d + 3 = v for d.
1
Let j(g) = 4*g**2 + 3*g. Let l(x) = x**2. Let a(q) = j(q) - 6*l(q). Let m be a(2). Let r = 3 - m. Solve -6 + 26 = r*t for t.
4
Suppose 7*t + 2*t = 0. Suppose z - 2*d + 7 = t, -2*z - 2*d - d + 21 = 0. Solve 0 = a - 0*a + z for a.
-3
Let j(s) = -6*s - 11. Let q(b) = 7*b + 10. Suppose 3*u - 6 = 2*m + 7, 0 = -5*u - 5*m + 5. Let h(x) = u*q(x) + 4*j(x). Let i be h(-6). Solve 12 = i*v - v for v.
4
Let y = 3 + -1. Let z = -28 - -30. Let c(i) = -i + 4. Let r be c(z). Solve -y*k - 4 = r*k for k.
-1
Let t = 216 + -210. Solve -11*h - 20 = -t*h for h.
-4
Let v(q) = q**2 - 3*q - 2. Let z be v(4). Let t(a) = -a**3 - 5*a**2 + 6*a + 3. Let s be t(-6). Suppose s = z*g + 1. Solve -3*w + 8 = -g for w.
3
Let z = 73 + -69. Suppose -4*r = -5*w + 13, 0 = 3*w + 4*r + z + 1. Solve o = 2*o - w for o.
1
Suppose i + 2 = 2*s - i, -2*s - 1 = -5*i. Suppose 3*l = -s*l. Suppose l*v = v - 5. Solve -3*u - v = 4 for u.
-3
Let c be 74 - 3/(-1)*-1. Suppose 4*u + 5*x = 70, 0 = -5*u - 3*x + c + 23. Suppose -5*t + u = -0*t. Solve t*o - 11 + 3 = 0 for o.
2
Let s be (-1 - 4)*(0 - 1). Suppose -m - 3*m = -44. Let w(x) = x - 8. Let a be w(m). Solve -s = -o - a for o.
2
Let c = 193 - 173. Solve -20 = -16*x + c*x for x.
-5
Suppose 2*a - 4*q = 38, -q = 5*a + q - 47. Solve -14*k = -a*k - 9 for k.
3
Let s be (96/(-36))/(2/(-3)). Solve 0 = s*h - h + 9 for h.
-3
Let t = -119 - -127. Suppose 3*o - 6 = -3*j, t = -j - 3*j + 4*o. Solve -8 = -j*k + 2*k for k.
-4
Let s = -189 + 319. Suppose -4*m = m - s. Let l = -24 + m. Solve l*j = 6*j for j.
0
Let v be 1/(-3)*2*-9. Let k(j) = -6*j + 3. Let d(i) = -i. Let q(z) = 21*d(z) - 3*k(z). Let o be q(-4). Solve -o*h + 6 = -v for h.
4
Let f(t) = -t**2 + 4*t. Let h be f(2). Suppose 104*a - 100*a - 20 = 0, -30 = -5*p + 3*a. Solve p*v - h*v = 0 for v.
0
Suppose -4*t + 3*j - 5*j + 30 = 0, 3*j + 15 = 0. Solve -3 = 7*v - t for v.
1
Suppose w + 3*q = 14 - 3, 3*w + q - 17 = 0. Suppose 5*f + r - 4 = -3*r, -28 = -w*f + 2*r. Solve 2*o = 2 - f for o.
-1
Let a be 10 + (-4 - 6) + 5. Suppose w + 82 = 3*s, 100 = 4*s + 4*w - 3*w. Suppose 4*b = 5*h + s, -2*b - 5*h - 1 = 1. Solve -a = -3*i + b*i for i.
-5
Let v be 30/7*(16 - 9). Suppose -2*h - 12 = -v. Solve -3*l = 3 + h for l.
-4
Let s = 161 + -93. Let i be (-51)/s*16/(-6). Solve -15 = -i*c - c for c.
5
Let a(w) = -w**3 + 18*w**2 + 22*w - 51. Let f be a(19). Solve -2*h = -f*h for h.
0
Let k = 24 - 56. Let p = k + 38. Let w(t) = -t - 3. Let v be w(-5). Solve -p = v*a - 0 for a.
-3
Suppose 26*x = 25*x + 5. Let m(t) = -2*t + 7. Let a(k) = k**2 - 7*k + 6. Let o be a(4). Let r be m(o). Solve 6 + r = -x*h for h.
-5
Let g