)/(-5) - t/10. Solve -2 - 4 = a*f for f.
-2
Let m(l) = 5*l**3 - l**2 + l. Let w(s) = s**2 + 7*s + 1. Let b be w(-7). Let c be m(b). Suppose n + 5 = -u + 4, 2*u = 4*n - 14. Solve -n = -4*p + c*p for p.
-2
Let w be -1*1*(-4 + 2). Solve 30 = -4*f - w*f for f.
-5
Let i be (-1 - (-48)/8) + -1. Solve -3*a - a + i = 0 for a.
1
Let i be (-2)/(-4) + 297/22. Suppose 5*s - i - 11 = 0. Let o be 3*((-4)/(-3) + 2). Solve o + 15 = s*r for r.
5
Let c(t) = t**3 - 9*t**2 + 11*t + 8. Let w be c(8). Let y be w/10 - 6/30. Suppose 0*f + 25 = -5*f, 5*f - 35 = -y*k. Solve -s + k = 4*s for s.
4
Suppose 0 = -11*d - 18*d - 3*d. Solve 2*z = 4 - d for z.
2
Suppose w - 18 = 2*n, n = 4*w + 3*n - 32. Suppose -3*l = -13*l + w. Solve 0 = -2*a - l + 5 for a.
2
Let y be -3 + (60 + 1)*3. Suppose 3*r + 0*r - y = 0. Suppose r = 2*j + 2*j. Solve -w = 2*w - j for w.
5
Suppose 0 = 5*t - 219 - 86. Let j = 63 - t. Solve -3 = -j*b + 1 for b.
2
Suppose 12*u - 112 + 16 = 0. Solve -u*l = -4*l for l.
0
Let d = -26 - -17. Let i(s) = s**2 + 9*s + 6. Let x be i(d). Let l = 5 + 0. Solve x*w = w + l for w.
1
Suppose -39*j + 310 = -8*j. Solve -2*n - j + 6 = 0 for n.
-2
Suppose 0 = 4*u - 530 + 522. Solve -u = -22*d + 24*d for d.
-1
Let w(d) = d**2 + 9*d + 16. Suppose -36*v = -31*v - 10. Suppose v*y + 7 = y. Let u be w(y). Solve 2*t - 4 = -u*t for t.
1
Let u be 4 + -2 + (1 - 1). Suppose -5 - 5 = -u*q. Let f = 8 - -3. Solve q*g + 1 = f for g.
2
Let r(m) = m**3 - 14*m**2 + 12*m + 16. Let o be r(13). Let q be o/(-3 - -6) - 1. Suppose -3*y - 2*y = q. Solve -6*f + 3*f + 12 = y for f.
4
Suppose -5*n - 2*y + 103 = 2*y, 4*y + 58 = 2*n. Suppose 0 = -3*j - 4*z + 24, n = j + j + 5*z. Suppose -13*l + 24 = -7*l. Solve j*p - l = 4 for p.
2
Let s be 104/(-10)*75/(-30). Solve -17*u = -s*u for u.
0
Let l(o) = 2*o**3 + 51*o**2 + 26*o + 28. Let v be l(-25). Solve -v - 24 = -9*k for k.
3
Let o(g) = 69*g - g**2 - g**2 - 4 - 54*g. Let d be o(7). Solve 2*z - 1 = d for z.
2
Suppose -2*m = -2*d + 22, m + m - 2 = 0. Let y(x) = 3*x - 45. Let s be y(17). Let c = d - s. Solve -c = -2*k + 2 for k.
4
Let t(p) = 19*p - 167. Let g be t(9). Solve -g*i = 19*i for i.
0
Let t(q) = 6*q**2 - 2*q + 1. Let d be t(-1). Suppose -d*i = -0*i - 27. Solve 5 - 8 = -i*r for r.
1
Let y be 10/(-1 + (-1 - -3)). Suppose 6*x - 9*x + 165 = 0. Suppose -y*h = -5*h - x. Solve 3*g = -h + 2 for g.
-3
Let c = -383 + 415. Solve 6*a - c = -8 for a.
4
Let l(q) = -11*q + 259. Let o be l(23). Solve -32 = -o*c - 38 for c.
-1
Suppose -45 - 3 = -4*m. Suppose -2*n - f + 0*f = -8, 3*f - m = 0. Solve 0 = -2*c + n - 8 for c.
-3
Let q be (13/(-3))/(1/(-3)). Suppose 0 = 2*z + z. Suppose z = -4*i + 55 - 7. Solve -q = 5*y + i for y.
-5
Let r = 72 + -72. Let y be ((-27)/6)/9*r. Suppose -2*c = -3*c + 2. Solve y = -2*z - 8 + c for z.
-3
Suppose 11*b - 90 = -35. Solve b*n - 9 - 16 = 0 for n.
5
Let x = -41 - -56. Solve 5 - x = 2*c for c.
-5
Let a be (-290)/348 + (-34)/(-12). Let r(z) = 0*z + 0*z - z - 6. Let y be r(-6). Solve i + a + 1 = y for i.
-3
Let j be (946/344)/((0 + -1)/(-4)). Suppose 2*m - 6*v + j*v = 5, -m - 2*v = -5. Solve -3*c - m = 2*c for c.
-3
Let o(g) = 4*g - 23. Let y be o(5). Let t be 2/y + (-50)/(-15)*2. Solve -t = -0*v + 3*v for v.
-2
Let i(t) = 7*t + 147. Let o be i(-21). Let q(n) be the third derivative of n**6/120 - n**5/60 - n**4/8 + 2*n**2. Let x be q(4). Solve o = -5*a + 11 - x for a.
-5
Suppose -1663*l = -1660*l - 24. Solve -2*f = l*f - 40 for f.
4
Suppose -107*h + 124*h = 51. Let g(f) = -f**2 + 3*f + 2. Let o be g(3). Solve 5*u = h*u - o for u.
-1
Let l = -297 - -345. Solve -16*b = -0*b - l for b.
3
Suppose -4*f + 4 = -16. Suppose 0 = -f*g + 7*g. Suppose -4 = -g*w + w - 2*x, 0 = 5*w - x + 2. Solve w*r + 3 = r for r.
3
Let d(o) be the first derivative of -o**2/2 + 11*o + 3. Let s be d(8). Let f = -261 + 261. Solve -2*l - s - 7 = f for l.
-5
Suppose -6*h - 4*h + 100 = 0. Solve -h*j = -11*j for j.
0
Let g(n) = -n**3 + 10*n**2 - 8*n - 7. Suppose -3*a + 2*a = -9. Let m be g(a). Solve m*h - h = 3 for h.
3
Suppose 3*d + 24 = 5*d + 2*k, 2*d - 2*k - 8 = 0. Solve 0 = -4*w + d*w + 8 for w.
-2
Let b = 15 + -13. Suppose -4*t + 10 + b = 0. Let m = 0 + t. Solve -2*k = m*k + 10 for k.
-2
Let s = -28 - -30. Let i = -200 + 200. Solve 0 = 2*y - i*y + s for y.
-1
Let k(z) be the second derivative of -z**3/6 + 19*z**2/2 + 2*z. Let l be k(17). Solve 6 = -4*y + l for y.
-1
Suppose d + 16 = 3*g, 4*g - 3 = -2*d + 5. Solve -25 = x + g*x for x.
-5
Let j(q) = 4*q**2 + 175*q - 36. Let m be j(-44). Solve -9*a + m*a + 5 = 0 for a.
5
Suppose -40*j + 93*j = 1219. Solve -j*i - 5 = -18*i for i.
-1
Let f be ((-4)/3)/((-6)/9). Solve 0 = -u + f*u for u.
0
Let d be (-2 + 38)*(-1)/(-3). Let m be 0 + -3 + d + 2. Solve -m = 3*u + 4 for u.
-5
Suppose 2*y - q = 4, -y + 6*q - 3 = 3*q. Solve -3*a - 6 = y*a for a.
-1
Let g = 0 + 2. Suppose -g*i - 2 = -6. Let q(y) = 3*y. Let w be q(i). Solve 0 = -4*o + 2 + w for o.
2
Suppose -5*v - 122 = -5*b - 2, -3*b + 4*v = -72. Solve -12*z = -6*z + b for z.
-4
Let h be (-4)/(-96)*12*(-16)/(-2). Solve -14 = h*i - 22 for i.
2
Let q = -60 + 70. Suppose 2*a + q = 12. Solve 4 = o + a for o.
3
Let a(j) be the second derivative of j**4/12 - j**3 + 3*j**2/2 - j. Let m be a(6). Solve -m*q = -2*q - 2 for q.
2
Let j = -22 - -37. Suppose 4*a - 5*a + j = 0. Solve -5*y = -2*y - a for y.
5
Let u(m) = 4*m - 29. Let l be u(9). Solve l - 2 = q for q.
5
Let h = -223 - -257. Solve 16 - h = -6*u for u.
3
Let h(d) = 4*d + 2. Let q be h(1). Let p(l) = -6 + 1 + 5 + q*l**2 - 1. Let c be p(-1). Solve -5*y + c = 20 for y.
-3
Suppose 263 = 23*k - 266. Solve k*x = 15*x - 16 for x.
-2
Suppose 6*j = 11*j - 40. Solve 6*o = j*o + 4 for o.
-2
Suppose 30*c + 10 = 35*c. Let i = 2 - c. Solve i = -n + 2*n - 5 for n.
5
Let h be (-4 - -1)/((-11)/55). Solve -h*i = -7 - 53 for i.
4
Suppose 2*s - 2 = 2. Let a(l) = 15*l + 49. Let b be a(-3). Solve -3*w = -s*w - b for w.
4
Let v(h) = -h**2 - 28*h - 124. Let r be v(-6). Solve r*k + 15 + 9 = 0 for k.
-3
Let q(y) = -y**3 + 13*y**2 - y - 10. Let a be q(13). Let c be 0 + -2 + (-11 - a). Let d be (3/6)/(1/c). Solve 0 = d*l - l for l.
0
Suppose -2*n + 6 = 3*g, 20 = 4*n + 8. Solve -j + 3 = -g*j for j.
3
Suppose 53 = 28*w - 59. Let q be (-1 - 4)*12/(-15). Solve 2*c = q + w for c.
4
Suppose 0*i + 2*i = 2*p - 4, 0 = 2*p + 4*i - 22. Suppose p*x = 32 + 3. Let h = 11 + 4. Solve 2*b + h = x*b for b.
3
Suppose -y + 0*y + 5 = 0, -4*b = -2*y - 2. Let w = 5 + -5. Solve w*o + 3*o = b for o.
1
Let y be (-2054)/(-91) - (36/14 - 2). Suppose 1 = -7*i + y. Solve i*m - 4*m + 4 = 0 for m.
4
Let g(s) = -s**3 + 12*s**2 - 12*s + 15. Let n be g(11). Let f = 3 + 1. Let x be 1*f/(-2 + n). Solve -x*v + 15 - 5 = 0 for v.
5
Suppose 0 = -17*h + 15*h + 36. Solve -5*a + 2 + h = 0 for a.
4
Suppose 5*u + 47 - 62 = 0. Suppose -3*z = 2*z - f + 1, u = 3*z + 3*f. Solve z = 5*x + 1 - 26 for x.
5
Let q(x) = -3*x + 72. Let y be q(14). Solve -y = -41*u + 31*u for u.
3
Let n(k) = -k**3 - 4*k**2 + 4*k - 1. Let q be n(-5). Suppose 2*i = 7*i - 5*z - 155, z = -q*i + 129. Let x = -31 + i. Solve x - 3 = -2*t for t.
1
Let t be (-6)/(-9) - (-6)/(-9). Let l(d) = d. Let x(s) = -3*s - 2. Let g(u) = 6*l(u) + x(u). Let b be g(2). Solve b*j + t + 4 = 0 for j.
-1
Let j = -16 + 42. Suppose 4*a - 3*m - 34 = 0, -a - a - 3*m = -j. Suppose 6*z - 10*z = 16*z - 40. Solve z*i + 0*i = -a for i.
-5
Let o(w) = -w. Let y be o(-5). Suppose -2*g - 5 = -g, -5*c - y = 4*g. Solve -3*m - c = 3 for m.
-2
Let g = -214 + 219. Solve 3*u = 4*u - g for u.
5
Let h(f) = -4*f - 89. Let k be h(0). Let l = -84 - k. Solve -l*o = -0*o for o.
0
Let b(n) = n + 10. Let u be (-23)/3 + 6/(-18). Let k be b(u). Let d = 103 + -100. Solve c - d = k*c for c.
-3
Suppose -6*q = -4*q. Suppose -o = -5*k + 2, -3*o + 2 + 9 = 2*k. Suppose 8 + 15 = 5*m - 2*x, o*m - x = 13. Solve q = -2*n - n - m for n.
-1
Let s = 1210 + -1174. Solve -45*x = -s*x + 36 for x.
-4
Let w(k) = 5*k**2 + 2*k + 5. Let m be w(0). Suppose 1 - 5 = -2*i. Solve 0 = i*u - m - 5 for u.
5
Let z(g) = 6*g. Let d be z(-3). Let l = 27 + d. Let o(k) = 10*k - 6. Let m be o(1). Solve x - l = m*x for x.
-3
Let u be (-45)/2*(-8)/12. Suppose -856*f = -867*f + 55. Solve -f = 5*a - u for a.
2
Let v = 422 + -414. Solve -3*m + v*m - 25 = 0 for m.
5
Let g = 17 + 18. Let x = 17 - g. Let o be 12/x*6/(-2). Solve 0