16, -2*i = 2*v. Suppose -m = -v + 2. Solve 3*g = -m*g for g.
0
Suppose 2*g - 13 = j, -g + 2 = -0*j - 5*j. Suppose -1 = y + 4*h + g, 2*y = -4*h - 12. Let d = y - -4. Solve -4*x + 10 + 6 = d for x.
4
Suppose 2*p - 5*a = -30 + 49, 0 = 3*a + 9. Solve 3*c - p - 7 = 0 for c.
3
Let a be (360/(-27))/(2/(-3)). Solve 0 = -4*f + a - 4 for f.
4
Let h be ((-18)/(-15))/(2/5). Let k be (-185)/(-8) - 16/128. Let i = k + -23. Solve i = z - h + 4 for z.
-1
Suppose 0 = v - 12 - 8. Let w(f) = -f - 3. Suppose 0 = -2*y - y - 15. Let m be w(y). Solve v = -2*o - m*o for o.
-5
Suppose 0 = -122*a + 1337 + 493. Let j be 2 - (-1 + -3 + 2). Solve 0 = j*h - h + a for h.
-5
Let n be 28*(-3 + -1 + 27/6). Solve -5*x - n = -12*x for x.
2
Let j be (-4 + -2 - -2)*(-3)/4. Solve -n = j*n + 20 for n.
-5
Let u be -13*(-1)/2*-2. Let z = u + 14. Solve 4*o + 3 = -z for o.
-1
Let k = 20 + 31. Suppose 4*v = -15 + k. Solve -6*x + v = -3*x for x.
3
Suppose 4*x = -15 + 23. Solve -x*n = -10 + 8 for n.
1
Let r = 23 - 98. Let a be -1*(-20)/(-4) + 6. Let k be (-315)/r + a/(-5). Solve 0 = 2*t - k*t - 6 for t.
-3
Let b be (-4 - 1)*(-182)/65. Let l(f) = f**3 - 5*f**2 - 3*f + 4. Let j be l(5). Let q = j - -14. Solve -q*d + b + 1 = 0 for d.
5
Let t(a) = a**3 + 7*a**2 + 6*a. Suppose -z - 7 = -p, -1 + 2 = -z - 5*p. Let i be t(z). Let f = i - 0. Solve -2*g + 0*g + 4 = f for g.
2
Let y = 9 + 1. Suppose 0 = -y*a + 6*a + 20. Solve a*q = 2 - 7 for q.
-1
Let f(a) = -25*a**2 - a. Let b be f(-1). Let m = -21 - b. Solve -5*s - 8 = -m for s.
-1
Suppose -12 = k - 4*k. Let m = k + -2. Let i(g) = g**2 - 2*g. Let f be i(3). Solve 2 = f*z - m*z for z.
2
Let p(o) = o**3 - 13*o**2 + 10*o + 24. Let j be p(12). Suppose j*q = -0*q - q. Solve -4 = -q*b + b for b.
-4
Let d = -38 + 45. Suppose 12 = g + d. Solve -g*j - 1 + 11 = 0 for j.
2
Let t(q) = q**3 - 9*q**2 - q + 13. Let c be t(9). Let g be (c - 8 - -10) + -2. Solve g*s - 1 = 3 for s.
1
Let m = -58 - -39. Suppose 3*f + 48 = 5*t, 0 = 5*t + 24 - 9. Let x = m - f. Solve -x*c + 7*c + 10 = 0 for c.
-2
Let t = 15 + -30. Let f = t - -18. Solve g = -f*g for g.
0
Suppose -3*i = 4*n - n + 3, 5 = -2*n - 5*i. Suppose -2*p + 5*y + 4 = 1, -5*p + 2*y + 18 = n. Solve 2 + 18 = p*l for l.
5
Suppose 3 = 6*a - 3*a, -d = 2*a - 22. Let p(c) = c**3 - 6*c**2 + 3*c + 6. Let h be p(5). Let l be -3 + (-2 + 4 - 24/h). Solve 0*b + l*b + d = 0 for b.
-4
Let v = 4 - 0. Let r be v + -1 - 3 - -5. Suppose -m = 2 - r. Solve -j = -4 + m for j.
1
Let k be 6/(-10) + (-84)/35 - -2. Let a be (k + (-1 - 2))*-4. Solve 5*s - a + 1 = 0 for s.
3
Let n = -8 - -8. Let a be 0/(-2 - n/1). Suppose a*c + 2*c = 0. Solve 3*t = -c*t for t.
0
Let b(m) = -8*m + 4. Let n be b(0). Solve -8*h + n = -10*h for h.
-2
Let y be (-222)/185*(-30)/4 - 4. Solve 0 = y*j - j - 4 for j.
1
Suppose 2*j - 4 = j - m, 5*m + 5 = 0. Solve -4*f = f + j for f.
-1
Let g = 3 + 3. Let o(s) = -s**2 + 10*s - 6. Let h be o(9). Solve -h*x = -g - 0 for x.
2
Let h(i) be the first derivative of i**4/4 + 4*i**3 + 11*i**2/2 + 8*i - 32. Let q be h(-11). Solve 5*o - q = 12 for o.
4
Let t = 1 + 1. Suppose 21 = 5*h - 9. Solve t*u = 5*u - h for u.
2
Suppose -6*n + 3*v - 52 = -10*n, 11*v - 4 = -3*n. Solve 4 = n*k + 52 for k.
-3
Let z be (-10)/(-4)*(37 - 31). Solve -10*r - 55 = -z for r.
-4
Suppose 10 = -5*q, -39 = -d + 8*q - 13*q. Solve 0 = 14*m - d + 7 for m.
3
Let v be (-15*(-3)/12)/(2/8). Suppose 0 = -4*z + 3*k + 9 + v, -3*k = -2*z + 18. Solve b = -z + 5 for b.
2
Let f = -111 - -127. Let i be (f + (-2 - -4))*1/3. Solve -2*y + 2 = i for y.
-2
Suppose -16 = -s - k, 5*s + k + 23 = 83. Solve -4 = -9*q + s*q for q.
-2
Let h be 18/12 - (-10)/(-4). Let g(i) = 3*i**3 - i - 1. Let y be g(h). Let q be (y + 12)*(-10)/(-6). Solve -5*n + 2*n + q = 0 for n.
5
Suppose -3*h - 64 = h. Suppose 130 = 3*u - 8*u. Let n = h - u. Solve 3*v = 1 - n for v.
-3
Let g = 20 - 9. Suppose -v - 3*h + 2 = -g, 4*h + 16 = 2*v. Solve 0*y - 2*y = -v for y.
5
Let p = 1734 + -1723. Solve -p*n = -16*n + 25 for n.
5
Suppose -4 = k - 2*k. Let y(c) = -2*c**3 + 7*c**2 + 5*c - 8. Let b be y(4). Let j be (-6)/(-18)*b + 128/6. Solve 0*d + j = -k*d for d.
-5
Suppose -a - 3*a + 4*p = -8, 0 = -4*p - 8. Suppose 21 = -a*g + 3*g. Solve 12 = -g*d + 4*d for d.
-4
Let n = 32 + -26. Let o be (-2)/((-48)/64*4/n). Solve -15 = l + o*l for l.
-3
Suppose 4*s = 3*u - 100, s - 10 = -s. Suppose 3*a = -2*a + u. Solve 7 + a = -3*y for y.
-5
Let k(n) = -n + 1. Let u be k(-1). Suppose 0 = 4*v + u - 30. Solve v*j = 2*j - 5 for j.
-1
Let n = 2723 + -2715. Solve -15 = n*a + 9 for a.
-3
Suppose 21 = -7*x + 42. Let j be (-6 + -1 - -6)*x*-1. Solve 0 = -j*v + 3 for v.
1
Suppose -6*z = 748 - 760. Solve z*m - 1 = m for m.
1
Suppose -2*v + 13 = -27. Let x = 4 - v. Let t be (24/x)/((-6)/8). Solve t*s + 4 = -6 for s.
-5
Suppose -4 = 3*a - 16. Solve a*t = 2*t - 2 for t.
-1
Suppose 17*c - 6 = 11*c. Let k be (-5)/c*(0 - 1). Solve -k*x - 3 - 12 = 0 for x.
-3
Suppose 3*x + 8 = 7*x. Suppose -o + 3 = 3*f, 0 = 3*o - x*f + 4*f - 23. Let d = o + -5. Solve 5*m + d = -1 for m.
-1
Suppose -v - 2 = -9. Let j = 59 - 56. Solve -4*x = -v*x - j for x.
-1
Let u be (-5 + 1)*(-9)/12. Suppose m - 8 = 3*m - 2*i, 0 = -5*m - 4*i - 56. Let h be (m - -5)*(-2)/3. Solve -1 = -h*s - u for s.
-1
Let r be (-108)/(-28) - (-22)/154. Solve -10*x = -9*x + r*x for x.
0
Let l = -203 + 208. Solve -4*n + 7 = -l for n.
3
Let y = -117 + 137. Solve 8*w = 3*w + y for w.
4
Suppose -3*a + 6*a - 4 = l, 2*a = 3*l + 12. Suppose -2*u - u = -12. Suppose -7*q = -u*q - 9. Solve 5*f - q*f = a for f.
0
Let j be 4/(-16)*2*-20. Let d = j + -10. Solve 4*s + d*s = -16 for s.
-4
Let t(a) = -a**3 - 8*a**2 - 7*a. Let x be t(-7). Suppose -2*n - 2*k = -k - 51, x = -4*n + 4*k + 96. Solve 2*o - n = -3*o for o.
5
Let x(u) = 6*u**2 - 6*u + 9. Let j be x(-2). Solve j = 5*m + 40 for m.
1
Suppose -3*n - m - 1 = 2, 2*n = -2*m + 2. Let l be n*(2 - (-10)/(-4)). Suppose -5*k - 23 = -28*k. Solve h + l = -k for h.
-2
Suppose 0 = -3*h, 4*h = 5*t + 6*h + 25. Let i be ((-3)/(-15)*4*t)/(-1). Solve -7*n = -i*n for n.
0
Suppose 0 = -2*z + 36 + 44. Suppose -5*n - 55 = -4*t, 4*n = -t - 0*n + z. Solve 8*r = 4*r + t for r.
5
Suppose 24*o - 26*o + 22 = 2*t, 2*t - 36 = -3*o. Solve -o = -x - 9 for x.
5
Let d be (-20)/6*(-3)/2. Suppose 20*u = 18*u + 2*w + 12, -4*w = -2*u + 4. Let h be 4/d*u/4. Solve -h*c = -c - 2 for c.
2
Let j = -1443 + 819. Let s be j/(-108) + 2/9. Solve s*i - 4*i = 10 for i.
5
Let i = 434 + -432. Solve -2 = -i*n - 4 for n.
-1
Suppose h + h = 4*b - 40, 0 = -4*h + 16. Suppose 0*p = -p - 5*a + 24, 0 = 3*a - b. Solve 0 = -p*q + 1 - 17 for q.
-4
Suppose 3*d - 12 = 3*z, z - 5*d = -0*z - 16. Let m be 1/(z/(-12)) - -4. Solve -i - m = -5*i for i.
4
Suppose 5*l - 3*v - 50 = 0, 6*l - 10*l + 18 = 2*v. Solve l = 2*q + 17 for q.
-5
Let o be (-246)/(-410) - (-6)/(-10). Solve o = 2*u - 36 + 28 for u.
4
Suppose 11 = 2*d - m - 52, 92 = 3*d - 2*m. Suppose 0 = 2*h - d - 6. Let v = -18 + h. Solve 5 = -3*x - v*x for x.
-1
Let t(l) = -7*l**2 + 0*l**2 + 12 + l**3 - 12. Let b be t(7). Suppose b = 2*i - i - 5. Solve i*x - 4 = 1 for x.
1
Let v(r) be the second derivative of 0 + 1/3*r**3 + 9*r - 4*r**2. Let q be v(6). Solve 1 = -3*n + q for n.
1
Let x(p) = -p**3 + 14*p**2 - 14*p + 10. Suppose a - 5*a + 52 = 0. Let i be x(a). Let q be i/((-2)/((-30)/(-3))). Solve -q = 6*s - 3*s for s.
-5
Suppose -14*h + 176 = 8*h. Solve -20*v + h*v + 36 = 0 for v.
3
Let g = 85 - 77. Solve -y = g*y - 36 for y.
4
Suppose -2*w = 3*k - 6, 6*w - 1 = 2*k - 27. Let x(h) = 6*h**2 + h. Let q be x(1). Solve -9 = k*u + q for u.
-4
Let k(v) = -3*v + 5. Let q(r) = 2*r - 3. Let n(y) = 3*k(y) + 5*q(y). Let s be n(3). Solve g - s + 5 = 0 for g.
-2
Let g = 2 - -2. Let z(f) = f**2 - 13*f + 15. Let n be z(13). Solve a - n = g*a for a.
-5
Suppose -4*y = -0*y - 2*h - 4, 0 = h. Let w = 9 + 32. Let q be w/13 + 8/(-52). Solve -4*i + y = -q*i for i.
1
Let z be -1*4/(-8)*26. Solve -z*v + 6*v = 14 for v.
-2
Let u be 3*3*11/3. Suppose z - u = 5*o - 2*z, -2*z - 8 = 0. Let v be (-3)/(-1)*(-12)/o. Solve -4*h + v = 16 for h.
-3
Suppose 0 = 8*o - 15*o + 28. Suppose -3*s - 10 = -5*z, -z = -5*s + 4*s. Solve 0 = -z*g + g - o for g.
-1
Let i be 2*18/4*33/99. Solve t = i - 4 for t.
-1
Let k = 32 - 28. Suppose -k*u + m = -0*m - 17, 5*u - 5*m - 25 = 0. Solve -f = u - 2 for f.
-2
Let v(z) = 