. Let t be o(3). Let i = t + 11. Solve -5*j - 5 = i for j.
-2
Let c = -9 + 13. Let h = -1 + c. Solve 0 = 2*v - h + 1 for v.
1
Let g(n) = -n - 22. Let o be g(-24). Solve r - 1 + o = 0 for r.
-1
Let p = 21 - 21. Suppose -5*w = -p*w - 75. Solve -3*n + w = -0*n for n.
5
Suppose -4*w + 3*b = 103, -4*w + 22 = -5*w - 3*b. Let k = w - -31. Solve -k*x = -x for x.
0
Let a = 40 + -37. Solve -3 = -a*f + 12 for f.
5
Let p(z) = -z**2 + 2*z + 2. Let o be p(2). Solve 0*s + 2*s = o for s.
1
Suppose -7*o = -6*o. Let x be (2 - 3)*(-3 - o). Solve -x*r - 16 = r for r.
-4
Let b be (4 - 4)*3/(-6). Suppose -21 - 2 = -2*f + 5*p, b = 4*f + 5*p - 1. Solve -f*m + m = -6 for m.
2
Let i be 6/33 - (-93)/33. Solve -i*j + 0 = -3 for j.
1
Suppose -5*w + 4*q = -8 + 50, 0 = -q + 3. Suppose -12 = u + 2*u. Let t be u/6 + (-16)/w. Solve -3*y - t*y = -15 for y.
3
Let a(r) = 0 + 2 + 3*r**3 - 2*r - 2*r**3. Let t be a(2). Let q = 7 + -7. Solve -2*d = t - q for d.
-3
Let n(l) = l. Let f(u) = 2*u - 5. Let t(m) = -f(m) + n(m). Let o be t(-5). Let z be (18/12)/((-3)/(-8)). Solve 0 = -z*d - d + o for d.
2
Let j = 0 + 2. Suppose -5*a + 3*x + 1 = 0, 2*a - j*x - 2 = -2*a. Solve -3*l = -4 - a for l.
2
Let k be (126/(-27))/((-2)/3). Let h be (-2)/6*(k - 7). Solve 2*l = -h*l - 10 for l.
-5
Suppose 4*j - 1 = 3*j. Let m = 15 + j. Suppose -3*w - 2*r + 4*r + 4 = 0, -r - 2 = -3*w. Solve -4*n + m = -w*n for n.
4
Let l = -8 - -15. Solve -l*w + 3*w = 12 for w.
-3
Let z(t) = -2*t + 35. Let h be z(16). Solve -3 = 3*r + h for r.
-2
Suppose 78 = 9*y + 24. Solve -9 - y = 5*z for z.
-3
Let d(v) = -2*v**2 + 19*v - 8. Let c be d(9). Solve -c - 1 = t for t.
-2
Suppose 15*m = 22*m - 105. Solve 5*y + m = -0*y for y.
-3
Let t = 79 + -78. Solve -8*c + 9*c = -t for c.
-1
Suppose -20 = -4*t - 0*t. Suppose -t*l + 55 = -0*l. Suppose 5*o - l = 4. Solve -o*m - 20 = m for m.
-5
Let a = 2 + 1. Suppose -2*r + 3*r = -a. Let w be r - -5 - (0 + -2). Solve -w*j = j for j.
0
Let p(t) = t**3 - t**2 + t + 2. Let x be p(0). Let m be (3/4)/(1/16). Let u(v) = 3*v + 2. Let h be u(0). Solve -x*c = h*c + m for c.
-3
Let h = -15 - -19. Solve -j = j + h for j.
-2
Let g be (-94)/(-18) + (-2)/9. Solve -7 - g = -4*t for t.
3
Let t(p) = -p**3 - 17*p**2 + p + 20. Let j be t(-17). Solve -b = j*b for b.
0
Suppose 0*v + 5*v = 75. Suppose -2*w + 6*w + 3*m + 11 = 0, 0 = -2*w + 2*m - 2. Let g be (-16)/(-3) + w/(-3). Solve g*l + v = l for l.
-3
Let k be -1 - (-4 - -1)*2. Solve 4*m = k + 11 for m.
4
Let k = 9 + -5. Let a(t) = t**2 - 4*t - 3. Let s be a(-2). Suppose k*f - s = 7. Solve -2 = -2*v + f for v.
3
Let r = -20 - -9. Let l = 11 + r. Solve 2*m + l = -6 for m.
-3
Let n = -7 + 4. Let c = n + 5. Suppose -c*k + 17 = -v, -3*k - 3 = 4*v - 1. Solve 5*j + k = 2*j for j.
-2
Suppose 0 = -4*q - 0*q + 12. Let k(g) = g**2 + 3*g + 1. Let y be k(-4). Suppose -5*u = -22 - 13. Solve -y*h = -u - q for h.
2
Suppose 13 = 4*k - 3*o + 5, -4*k - 3*o + 8 = 0. Solve 0 = k*c + 4 + 6 for c.
-5
Let d(b) = 2*b. Let u = 3 - -1. Let p be d(u). Suppose 0*z + 2*z = p. Solve -2*k + z*k + 2 = 0 for k.
-1
Let r = 13 - 9. Suppose -2*u + 6 + r = 0. Let d be 2/(-3) - 15/(-9). Solve -d - 9 = -u*p for p.
2
Let s(f) = f**3 - f + 14. Let t be s(0). Suppose 5*h - t + 4 = 0. Solve 4 = a + h for a.
2
Let w be (3/(-2))/(1/(-2)). Let c(i) = 2*i**2 - i + 2. Let d be c(1). Let q(x) = x - 4. Let t be q(4). Solve t = d*y - w + 12 for y.
-3
Let c = 4 - 2. Suppose -2*g - l = -26, 8 = 5*g + l - 51. Let j = g + -9. Solve -c*r + r - j = 0 for r.
-2
Let l be 5/((-5)/6)*(-3)/9. Solve 0 = -3*k - l*k - 20 for k.
-4
Let o(n) = -n**2 + 4. Let w be o(0). Solve -w*t = -0 - 16 for t.
4
Suppose -2*t = -3*t + 3. Suppose -2*v = -5*m + t*v - 5, 4*m - 5*v + 7 = 0. Solve 3*k - m - 10 = 0 for k.
4
Let p be 0/(-2 + 2/2). Solve 5*t + 25 = -p for t.
-5
Let y be (-11)/(-3) + (-5)/(-15). Solve -x - 12 = -y*x for x.
4
Suppose 7 = 2*g + 3. Let u be g/(4 - 2) + 1. Let q(l) = 2*l - 10. Let a be q(5). Solve a = -2*m + 2 + u for m.
2
Let x = -47 + 54. Solve 0 = 3*p - x*p - 16 for p.
-4
Let f(k) be the second derivative of -k**4/12 + 13*k**3/6 + 3*k**2/2 + 3*k. Let g be f(12). Solve -2*n = n + g for n.
-5
Suppose 3*d - 6*d - 30 = 0. Suppose -17 = -6*c + 43. Let q be (-16)/d - (-4)/c. Solve 0 = -r + q*r for r.
0
Let w be (1/(-3))/((-4)/36). Solve 2*k - 5 = -w for k.
1
Let k = 36 + -69. Let g = -18 - k. Solve y + 2*y = g for y.
5
Let k be 2/9 + 68/18. Solve -1 = m + k for m.
-5
Suppose 13 - 97 = -6*c. Solve 4 = 5*k + c for k.
-2
Let u be (-1 - 0/(-3)) + 7. Let i(d) = -d**2 + 8*d - 2 - 2 + 0*d**2. Let z be i(7). Solve -z*p + 18 = u for p.
4
Let j be (-23)/(-7) + 22/(-77). Solve 0 = k + j*k for k.
0
Let z = -4 + 23. Let s = z - 52. Let p = -18 - s. Solve -2*a - 3*a + p = 0 for a.
3
Suppose -2 = -5*n - 2*z, 4*n - z - 16 = -4. Solve v = n*v for v.
0
Let b be 3/((-3)/(-4)) - 2. Suppose 4 = b*m + 2*i - i, -3*m = 5*i - 6. Solve m*k + 5 = 1 for k.
-2
Let l be 4/6 - (-13)/3. Solve -3*o + l = 2 for o.
1
Let x be (-3)/(-5) - 9/15. Let y = 2 - x. Solve -y*i + 3 = -5*i for i.
-1
Let r(d) = -d**2 - 9*d + 13. Let i be r(-9). Solve -i = 4*k - 1 for k.
-3
Let i(f) = f - 9. Let r(y) = 4*y - 27. Let x(l) = 7*i(l) - 2*r(l). Let a be x(-9). Solve t + t = a for t.
0
Let d = 9 - 4. Let l(y) = y**2 - 4*y - 6. Let k be l(d). Let f be 0/((2 + k)*-1). Solve f = s + 2 - 3 for s.
1
Let p = 15 + 12. Let l be 1/(-4) - p/(-12). Suppose -1 = -l*z + 3. Solve -u = z*u for u.
0
Let w be (-16)/(-3) + 3/(-9). Suppose 0*o + 3*o = -w*h - 10, o = 5*h + 10. Solve o = -2*x + x + 4 for x.
4
Let h be (-2)/11 - (-615)/55. Let l be ((-3)/1)/(-3) + h. Solve -p - l = 2*p for p.
-4
Suppose 0 = -2*z + p - 3*p, -5*p = 2*z - 15. Let v = z + 9. Solve v*n = -4 - 0 for n.
-1
Suppose 2*a + z = -3*z + 12, 0 = 4*a - 2*z + 6. Solve a = c + 3*c + 16 for c.
-4
Let c be (1 + 0 - 1)/(-21 - -20). Let w(s) = s**2 + 5*s - 9. Let i be w(-7). Solve i*z + c*z = 0 for z.
0
Suppose -2*r - o + 3 = 0, -4*r - 3*o = -4 - 1. Let q be -1*(0 + -1)*4. Solve q + r = -3*i for i.
-2
Let f(z) = z + 9. Let v be f(-7). Let p = v - -1. Solve 0 = -0*n + p*n - 9 for n.
3
Let y = 6 + 13. Suppose 4*i = 3 - y, 16 = -g - 5*i. Solve 5*w - g*w = 4 for w.
4
Let y(z) = z + 2. Let p be y(2). Let f(q) = q**3 - 4*q**2 - 5*q + 2. Let o = 1 + 4. Let j be f(o). Solve j*x - p = 3*x for x.
-4
Let r(d) = -d**2 + d + 2. Let s be r(2). Solve -4*k + 10 + 10 = s for k.
5
Let w be ((-3)/(-9))/((33/144)/11). Solve n - 5*n = w for n.
-4
Let o(u) = u**3 - 4*u**2 + 4*u. Let x = -9 + 12. Let f be o(x). Solve -g - f = 2 for g.
-5
Let w(b) = 4*b**2 - 2*b - 1. Suppose 0 = 5*a + 4*c - 9, -2*a + 5*c = a + 2. Let l = a - 2. Let i be w(l). Solve 4*q + 3 = i*q for q.
3
Let g(t) = -t**2 + 4*t + 3. Let k be g(4). Solve -k = z - 1 for z.
-2
Suppose 0 = -3*k - 0 + 3. Let p = k + 1. Suppose -p*w + 0*w + 3*h - 9 = 0, 0 = -3*w - h + 14. Solve 4*y + 2 = w*y for y.
-2
Let t(x) be the second derivative of x**4/12 - x**3 + 7*x**2/2 - 4*x. Let p be t(5). Let y(f) = f**3 + 2*f**2 - 3*f. Let h be y(p). Solve -n + h = n for n.
5
Let k = 12 + -4. Suppose -2*c = -p - 4*c + k, 2*c = p. Solve 2 = -2*t + p for t.
1
Let g = 25 - 15. Let o = 451 + -447. Solve g = o*c + c for c.
2
Let u be 6/10 - (-4)/10. Solve -u = -6*k + 5*k for k.
1
Let n be ((-2)/(-6))/((-4)/(-36)). Solve 0*h = -n*h - 9 for h.
-3
Let g = -54 - -32. Let c = g - -31. Let b = 11 + -5. Solve b*x + c = 3*x for x.
-3
Let r = -11 - -14. Suppose -r*t - 3*f = -12, -2*f = 3*f - 20. Solve 0 = -t*y - y - 2 for y.
-2
Suppose 20 = -4*j, -2*n - 4*j = -4*n + 14. Let i = -2 - n. Let h be -1 + i + -1 + 3. Solve -4*b = -h*b for b.
0
Suppose c - 2 + 4 = 0. Let z(s) = s**3 - 3*s**2 + 3. Let m be z(3). Let i be c/3 - (-2)/m. Solve i*y + y = 4 for y.
4
Let f(o) = -o**3 + 4*o**2 + o - 4. Let u be f(4). Let z(g) = g**2 - 4*g - 8. Suppose 3*p - 12 = p. Let k be z(p). Solve 5*a + 1 + k = u for a.
-1
Let q(f) = f - 9. Suppose -5*c + 3*c + 20 = 0. Let k = c + 1. Let t be q(k). Solve -t*n - 6 + 0 = 0 for n.
-3
Suppose 7 = 2*o - 1. Let h(b) = b**3 + 6*b**2 - 4*b - 12. Let p be h(-6). Solve o*i - i = -p for i.
-4
Suppose -3*y + 0 = -9. Let r(s) = -s**2 + 5*s - 4. Let i be r(y). Suppose -3*k + 18 = m, -4*m + 0*k + 4*k = -56. Solve -i*t - m = 3*t for t.
-3
Suppose 69*l = 72*l - 45. Solve 0 = 5*s - 0*s - l for s.
3
Suppose 3*s - 8*s - 