 o.
0
Let c = -11 - -20. Let q = c + -6. Suppose -2*d = q*d - 10. Solve 0 = 5*u - d + 7 for u.
-1
Let g = -11 - -16. Suppose -11 = -2*i - g. Suppose -i*m = 2*m - 50. Solve -3*c - 4 + m = 0 for c.
2
Suppose q - 3 = -2. Solve -3*z - 8 - q = 0 for z.
-3
Let t(o) = o**2 + 4*o. Let p be t(-4). Solve p = -2*r + 3 - 1 for r.
1
Let o(k) be the first derivative of k**2/2 - 4*k - 2. Let u be o(7). Solve -2*r = -5 + u for r.
1
Let r be (3/5)/(3/15). Solve 5 = -r*s - 4 for s.
-3
Let p(u) = 5*u + 1. Let r be p(-5). Let y = r + 25. Solve -y = -4*k + 15 for k.
4
Let n be (-30)/4*(-4)/6. Let y = -2 - -4. Suppose y*s - 12 = -2*r, -3*r - s + 9 = -r. Solve 2*i + r = -n for i.
-4
Suppose -12 = -5*v + 4*l, -4 = -l - l. Suppose -v*j = -j - 9. Solve -28 = -5*z - j for z.
5
Let c(b) = -3*b - 3. Let y be c(-2). Let q be 4*-10*y/(-24). Solve -q*o + 22 = -3 for o.
5
Suppose -69*f + 67*f = -4. Solve -f*y + 5 = -y for y.
5
Suppose -w = 2*w + 9, 0 = n - 4*w - 14. Let f = n + 2. Solve 5*o - o - f = 0 for o.
1
Let f(o) = o**2 - 8*o + 2. Let i be f(8). Let t be (0 + 0)*2/(-4). Solve i*c + t*c = 6 for c.
3
Let y be 1/2 - (-143)/26. Let d be (-188)/(-28) + y/21. Solve 1 = -4*x - d for x.
-2
Suppose 7*s - 12 - 30 = 0. Solve 0 = -f - 3 + s for f.
3
Let h = 18 + -17. Solve -h = j - 2 for j.
1
Suppose -a = -h, -5*a + 7*h + 3 = 3*h. Solve -a = o - 1 for o.
-2
Let o(w) = -w - 6. Let i be o(-5). Let u be (6 + 6)*(-1)/i. Solve -u = 5*t + 8 for t.
-4
Let t = -2 - 4. Let z be t/(-15) - (-2)/(-5). Suppose z = 3*q - 0*q. Solve q*u = -u + 5 for u.
5
Let x(r) = -r**3 - r**2 + r + 1. Let k(j) = -j**3 - j**2 + j + 4. Let f(q) = -k(q) + 2*x(q). Let m be f(-2). Suppose -4*a - a + 80 = m. Solve h - a = 5*h for h.
-4
Suppose 4*n + 9 + 3 = 0. Let r(c) be the second derivative of -c**3/6 - 3*c**2/2 - c. Let g be r(n). Solve -3*a = -g*a for a.
0
Suppose 0*r - 2*r = -4*j - 18, 0 = -2*r - 5*j - 27. Let b be 9 - r - (1 - 2). Suppose -b = -2*q + 1. Solve -q*d + 5*d = 5 for d.
-5
Let o be -1*((-2)/(-9) - (-2)/(-9)). Solve -c - 2 = -o for c.
-2
Let d be (-5)/(-3 + 13)*-16. Solve -12 = 4*z + d for z.
-5
Suppose -5*q = 2*z - 17, -3*q + 0*q + z = -8. Let n be q/((1 + -2)*-1). Solve 0 = n*y - 2*y - 1 for y.
1
Let b be 3/(-6)*0 + -1. Let f = b + 6. Solve 4*g = f*g for g.
0
Suppose t - 8 = -5. Solve 0 = t*m - 2 - 13 for m.
5
Let n(x) = 6*x**2 - 2*x + 1. Let i be n(1). Suppose i*b = 20, -6 = -g - 4*g + b. Solve 3 = g*c + c for c.
1
Suppose -3*q + 2*o = -155, -q + 4*o + 61 = o. Suppose i = 3*a - q, 0 = 2*i - 0*i + 8. Solve 2*k - a = -k for k.
5
Suppose 0 = -3*a + 6, 4*j = 2*j - 5*a + 30. Solve -c = c - j for c.
5
Let h be 15*(-3)/(-6)*2. Suppose 3*v = f - 2, -3*v - 18 = 5*f - 4*v. Let q be 0*(-1 + (-6)/f). Solve q = 3*p + 2*p + h for p.
-3
Suppose -5*c + 16 = -9. Suppose -3*u + 0*u = 3*l - 15, 0 = 2*l - 3*u + c. Solve 0 = l*j + 3 + 5 for j.
-4
Let s = -53 + 73. Solve 10 = s*m - 18*m for m.
5
Let d be (4/(-10))/((-13)/130). Let f = -5 + 8. Solve -f = -d*t + t for t.
1
Suppose -6*j + 2*j + 16 = 0. Solve u = -3*u + j for u.
1
Let z be (2 + -1)/((-10)/(-70)). Solve 5*a = z - 2 for a.
1
Let t be (-6)/8 + 9/12. Let w be (0 + 5 - 2) + t. Let q = -3 - -4. Solve 10 - q = w*l for l.
3
Let a = 15 + -10. Suppose 42 = a*y + 12. Let w = 10 + -7. Solve -y = w*g + 6 for g.
-4
Let i be 9/(2/(8/6)). Let k = i - 3. Suppose -3*n - k = 0, n = -p - 0*n. Solve -b + p = -0*b for b.
1
Let v(c) = -c**3 - 4*c**2 - 5*c - 4. Let g be v(-3). Solve g*r + 3 + 1 = 0 for r.
-2
Suppose -u + n + n = -13, 3*u - 5*n - 40 = 0. Let b be 2/(6 + -4)*6. Solve o = b*o - u for o.
3
Suppose 2*i + 2*i = 0. Suppose i = -5*o + 7 + 13. Solve -o - 1 = -5*r for r.
1
Let t = 14 - 10. Suppose t*q - 2*q - 12 = 0. Solve 2*p = q*p for p.
0
Suppose 4*c = 2*c - 2. Let h = c + 1. Let k be (0 - h/2)/1. Solve k = 4*p - 7 - 13 for p.
5
Let w be (-70)/5*(-2)/4. Solve -3*p = w + 2 for p.
-3
Let g be ((-3)/4)/((-4)/16). Suppose g = -2*z - 1. Let n be (-4)/(-8) + (-1)/z. Solve 0 = -2*a - n - 3 for a.
-2
Suppose -5*t + 20 = 5*j, 4*j + 2*t + t = 13. Let h(z) = 4*z**3 - z**2 - z + 1. Let c be h(j). Solve 0*o + c*o = 0 for o.
0
Suppose -2*t = 2*f - 10, t - 2*f = -2*t. Solve 6 = -a - t*a for a.
-2
Suppose d = -d + 4. Suppose x + x = -d. Let w = -1 - x. Solve 2*g + 1 - 7 = w for g.
3
Suppose -3*u - 6 = -30. Let i(l) = l**3 - 8*l**2 - l + 11. Let q be i(u). Solve 6 = q*p - p for p.
3
Suppose -2*l + 4*z = -5 - 1, -2*l - 2*z - 12 = 0. Let x be 1 + 3/l - 0. Solve x = -2*p + 2 + 4 for p.
3
Let m(n) = n - 16. Let g be m(12). Let o = 7 + g. Suppose 3*k = 2*k + o. Solve -k*j + 4 = -7*j for j.
-1
Suppose 123 = -3*d + 126. Suppose -4*i = -1 - 3. Solve -g = d + i for g.
-2
Suppose 3*t + 7 = 22. Solve 1 = -t*x + 4*x for x.
-1
Suppose 0 = 3*m + 3*c - 5*c - 34, 5*c = 5*m - 55. Let w = m + -42. Let n = w + 45. Solve -3*a + 0*a + n = 0 for a.
5
Let t = -6 - -11. Let h be 3 + 2 + 2/(-2). Suppose -m + h = 4*f - 2*f, -6 = -3*f - m. Solve -f*w + 1 = -t for w.
3
Let g(a) = -a**3 + a**2 - 2. Let k be g(-2). Suppose -11*o = -k*o. Solve o = 4*c + 1 - 21 for c.
5
Suppose 2*o - 1 + 7 = 0. Let f(z) = -z**3 - 2*z**2 + 2*z + 1. Let v be f(o). Solve -2 + 10 = -v*l for l.
-2
Suppose -5*j + 2*j + 6 = 0. Let x(h) = -h**3 - 4*h + 7. Let n be x(0). Solve 0 = j*v - n*v + 15 for v.
3
Suppose 32 = -4*m - 0*m. Let i(p) = -p - 8. Let x be i(m). Suppose a - 4 = -x*a. Solve -a*n = n - 10 for n.
2
Suppose 4*y + 2*u = 4, -5*u - 4 = y - 2*u. Suppose 2*h + 10 = y*n + 2*n, n = 5*h - 2. Solve 20 = n*r - 8*r for r.
-4
Let v(u) = u**3 + 5*u**2 + 3*u. Let z be v(-2). Solve -z*i + 2*i = 12 for i.
-3
Let d = 28 + -25. Solve i = -d*i + 16 for i.
4
Suppose 3*n = -3*m + 39, m - 4 + 1 = 0. Solve f - n = 6*f for f.
-2
Suppose 8 = i + 3*i. Solve -i*k = 3*k + 5 for k.
-1
Suppose -4*b + 13 = 5. Solve 5 = -b*j + 3 for j.
-1
Let u(q) be the third derivative of 1/60*q**5 + 0 + 1/6*q**3 + 0*q - q**2 + 1/12*q**4. Let a be u(-2). Solve 3*i + a = -8 for i.
-3
Let j = 38 - 32. Suppose -f = -5*f. Suppose 2*t = 5*x - 4, -4*t + 8 + f = -2*x. Solve -j = -i - t for i.
3
Let h(g) = g - 5. Let l be h(6). Let r be 8 + (4 - l)/(-3). Suppose 3*z - r*z = -20. Solve z - 2 = p for p.
3
Suppose 0 = -2*a - 0*a - 4*d - 8, 4*a = -2*d - 4. Solve a = -2*w + 6*w + 12 for w.
-3
Let h(z) = z**3 + 5*z**2 + z. Let q be h(-4). Solve 0*u = -3*u + q for u.
4
Suppose -3*k + 172 = 4*f - 32, 2*f + 294 = 4*k. Let x = -132 + k. Let w be x/(-14) - (-6)/(-21). Solve 4 + 0 = -w*j for j.
-1
Let p(f) = f**3 - 8*f**2 - 9*f. Let k be p(9). Solve k = 6*v - v + 15 for v.
-3
Let j = -7 - -9. Solve 0 = j*h + 3*h - 15 for h.
3
Suppose 3*k - 6*k = 0. Suppose k = 3*u + 1 - 4. Solve n + u + 1 = 0 for n.
-2
Let m be (4 - 3)*(1 + 2). Suppose m*p + 13 = -5*x + 47, p = 4*x. Solve -2*i = 2*i - p for i.
2
Let u(o) be the second derivative of 1/20*o**5 - 7/2*o**2 - 4*o - 7/6*o**3 + 0 - 7/12*o**4. Let w be u(8). Solve -w = 2*j + 1 for j.
-1
Suppose 2*f + 2*a = 2, 6 = 3*f - f + a. Let q(s) = 3*s + 17. Let d(v) = -2*v - 8. Let n(j) = f*d(j) + 3*q(j). Let k be n(5). Solve 3 = -k*y + 3*y for y.
-1
Let v be (-8)/(-4) + 2/1. Let n = 11 - 8. Let s(c) = -c + 3. Let y be s(n). Solve 0*a - v*a - 20 = y for a.
-5
Let a = 0 - 31. Let h = a + 31. Let o be -1*(1 - 7) + 1. Solve 4*b + o + 5 = h for b.
-3
Suppose 0 = x - 1 - 5. Let k = 12 - x. Solve -5*h + k + 4 = 0 for h.
2
Let o be 2/(-4)*(0 + 0/7). Solve o = 3*x + 9 - 0 for x.
-3
Suppose 4*p + p - 5 = 0, 0 = 3*d + p - 16. Let i = -9 + d. Let b be 0/(1 - (3 + i)). Solve -2*w - w - 9 = b for w.
-3
Let q(y) = y**2 + y + 2. Let s be q(0). Solve s = l + 4 for l.
-2
Suppose -z - 5*w - 7 = 0, w = 5*z - 0*w - 43. Solve -z = 3*q - q for q.
-4
Suppose -m - 15 = -u, 3*m - u = -2*u - 53. Let r = -12 - m. Solve -z - 4*z - r = 0 for z.
-1
Let u be 2 - (-5)/((-20)/(-8)). Solve u*r + 0*r + 12 = 0 for r.
-3
Let p = -2 - -4. Let r be (-2 + p)/(-3 + 2). Suppose 0 = 2*t + 3*d - 6, 2*t - d + r = 6. Solve 8 = b + t*b for b.
2
Let b = -6 - -6. Let s be 9/(-3) + b + 12. Suppose 5*y - 59 = -s. Solve 0 = 7*u - 2*u + y for u.
-2
Suppose -4*q + 0*q - 4*t + 20 = 0, q + 5*t - 9 = 0. Let f = -15 + 23. Solve q = -2*s + f for s.
2
Let u(r) be the first derivative of r**4/4 + r - 5. Let q be u(2). Solve q = n + 2*n for n.
3
Let p = 52 - 21. Suppose p = -4*i + 5*i. Suppose i = 5*f - 4. Solve -f*n - 