t v(a) = -a - 3. Let g be v(-6). Let o be (-85)/(-15) - 2/g. Suppose 0 = 4*c - j - 13, o*c + 2*j = j + 5. Solve c*m - 3 = -1 for m.
1
Let h = -120 + 124. Solve 8 + h = 3*l for l.
4
Let c = 8 + 0. Suppose -c + 16 = -l. Let p be 20/6*(-12)/l. Solve -p*a + 0*a = 25 for a.
-5
Let m be -4 + 3 + 3 + 1. Solve 1 + m = -g for g.
-4
Let g(p) = p. Let w be g(5). Suppose 5*d + y - w*y - 8 = 0, -5*d - 3*y - 6 = 0. Solve d = 2*h - 4 - 4 for h.
4
Let r = -21 + 56. Suppose -4*m + r = m + y, 4*y = -4*m + 12. Solve 5*o = 17 + m for o.
5
Suppose -4*t + 2 = 3*j - 8, t = j - 1. Let v(y) = 10*y - 34. Let x be v(4). Suppose -3*f + d + x = 0, f + 2 = -j*d + d. Solve 0 - f = -c for c.
1
Suppose 2*q - 3 = -x, -46 = -5*q + 5*x - 1. Suppose -2*p + 12 = -4*b + q, 52 = 5*p - 2*b. Let v = -9 + p. Solve -v = -y + 2*y for y.
-3
Let r(p) = -p**3 - 7*p**2 - 6*p + 6. Let g = 13 - 19. Let y be r(g). Let s be 8/y*18/24. Solve -s + 4 = -3*i for i.
-1
Let x = -64 - 46. Let r = -106 - x. Solve r*i = 2*i + 2 for i.
1
Let m(n) = -6*n - 1. Let a be m(-2). Suppose -2*r = 4*j + 11 - 45, j = r - 26. Suppose 3*v + a = 3*x + 62, -x = v - r. Solve -s - v = 4*s for s.
-4
Suppose -3*f = -0 + 3. Let h be (5/4)/(f/(-8)). Let k = h + -9. Solve -4*x - 3 - k = 0 for x.
-1
Suppose 0*b - 31 = -3*b - 2*c, 41 = 3*b + 4*c. Suppose -12 = -3*l + 3*k, -3*k = 3*l - b - 23. Solve -l = -5*u - 2 for u.
1
Let q = 3 + 0. Suppose 4*x - 5*x = -3. Let d be 18/(-4*x/(-24)*2). Solve 3*o - q = -d for o.
-5
Suppose 8*o = 157 - 141. Solve 0 = -o*d + 4 + 4 for d.
4
Let o(d) = 3*d - 67. Let a be o(21). Let w(m) = 2*m**3 + 10*m**2 + 6*m - 6. Let j be w(a). Solve 4*t - 8 = j*t for t.
4
Suppose -4*n - 3*r = 5, -4*n - r = -5*r + 40. Let j(i) be the first derivative of i**4/4 + 2*i**3 + 3*i**2/2 - 7*i - 2. Let t be j(n). Solve -l + t = 2*l for l.
1
Let l be -4*1*55/(-44). Suppose -3 - 2 = -l*n. Solve -n = -2*a + 7 for a.
4
Suppose -13*j = 55*j - 340. Solve -4*h = j*h - 9 for h.
1
Let f = 10 + 5. Let b(u) = 2*u**2 - 31*u + 15. Let y be b(f). Solve 4*k + 16 = -y*k for k.
-4
Let a be (5 + 3)*3/12. Let n(o) = 4 + a*o**2 + 2 - 2 - 4*o - 3*o**2. Let s be n(-4). Solve -k - s = -2*k for k.
4
Let v = 27 - 11. Let q be ((-22)/(-11))/(6/27) - -6. Let j = v - q. Solve j + 3 = c for c.
4
Let y be 2/(-4) - 45/10. Let t be 20/(-6)*6/y. Let p = -10 - -18. Solve -12 = p*x - t*x for x.
-3
Let d = 1119 + -1112. Solve 0 - 14 = d*p for p.
-2
Let c be (1 + 2)/((-51)/(-850)). Solve 5*k + c = 35 for k.
-3
Let o(t) = t**3 - 2*t - 4. Let i be o(3). Let y = i + -21. Let b = 4 + y. Solve b = 2*m + 6 - 2 for m.
-2
Let k be 0/(-3 + -3 + 4). Let s(r) = -7*r - 7*r**2 - r**3 - 4 + 0*r**3 + 0. Let g be s(-6). Solve k = d + d - g for d.
1
Let u = 687 - 687. Suppose 31 = -5*t - 2*x, 3*x = t - 6*t - 34. Let h = t + 8. Solve u + 12 = h*o for o.
4
Let r be -30 + -15 + -1 + 5. Let l = 43 + r. Solve -l*q = -q + 5 for q.
-5
Let h(s) = 2 - 14*s + s**2 - 9 - 5*s - 3*s**2. Let w be h(-9). Solve -w - 8 = 5*k for k.
-2
Let g = -483 + 483. Solve -4*o - 12 + 16 = g for o.
1
Let c = 17 + -15. Suppose -6 + 2 = -c*x. Solve 4*s - x*s = 6 for s.
3
Suppose -2*d + 6 = 5*v, d = 4*v - 2*d - 14. Solve -3*o = -v*o for o.
0
Suppose 0 = -15*o + 6*o + 27. Let m(s) = 3*s - 5. Let d be m(6). Solve -d = o*u - 4 for u.
-3
Let q = -20 + 22. Let a(t) = -3*t**2 - 4*t**2 + 7 + t**2 - 2 + t**3. Let p be a(6). Solve -q*z + p*z = -6 for z.
-2
Let m be 2/(-3)*(-21)/14. Suppose 5*o = 11 - m. Solve -p = o*p + 15 for p.
-5
Suppose -4*a + 3*m = -196, -8*m + 98 = 2*a - 9*m. Solve 3*q - 37 = -a for q.
-4
Let l be ((-1144)/(-132) - (-2)/(-3)) + 2. Solve -l*h = -0*h + 10 for h.
-1
Let r = 171 + -163. Solve -r = -3*o + 5*o for o.
-4
Let c(y) = -7*y + 7*y**2 - 16*y**2 - y**3 + 0*y**3 + 2. Let j be c(-7). Let q = -22 - j. Solve 0 = 4*x + x + q for x.
-5
Let n(i) = i**3 - 4*i**2 - 12*i + 2. Let q be n(6). Suppose q*r - 4*m = -2*r + 52, -2*r + 24 = -3*m. Solve -r = 6*l - 9*l for l.
5
Let v(s) = -s**2 + 8*s - 6. Let f be v(7). Let t = 3 - f. Suppose 3*m + 4*n = 0, -t*n - 17 = -2*m + n. Solve m*d - 9 = d for d.
3
Let h(d) = 3*d - 77. Let b be h(27). Suppose 3*n + 30 = 2*w, 5*n - 4 = -14. Solve b*p - p = -w for p.
-4
Let r be 3/(15/40*2). Let f be (-36)/(-9) - -4*r. Solve -4*i + f = i for i.
4
Let d = -9 - -18. Solve 3*m = d*m + 30 for m.
-5
Let g be (-5)/(10/(-4)) - -2. Suppose -2*q - g*q + 6 = 0. Solve 2*x + q = -1 for x.
-1
Let s(h) = -17*h + 95. Let u be s(4). Solve -7*g + u + 8 = 0 for g.
5
Let z = -1294 - -1298. Solve -13*n + 45 = -z*n for n.
5
Let r be (-210)/(-490) + (-162)/(-14) + 0. Solve -8*l = -4*l - r for l.
3
Let i(w) be the third derivative of w**5/60 + 19*w**4/24 - 11*w**3/6 + 8*w**2. Let q be i(-20). Solve q*u = 11*u + 8 for u.
-4
Suppose -5*v = i - 213, i - 4*i = 3*v - 135. Let f = v - 37. Solve f*a = 4*a for a.
0
Let g be 52/(-2) - (-12)/(-4). Let n = -29 - g. Suppose 0 = -4*t - n*t + 12. Solve -m + t = 7 for m.
-4
Suppose 0 = 4*x - n + 228, 3*x + 4*n + 88 = -83. Let j = -46 - x. Solve 14 = -5*p - j for p.
-5
Let q(o) = 7*o + 56. Let p be q(-5). Solve 17 = -a + p for a.
4
Let i = 24 - 7. Let s be 2 + 1 - 6 - -12. Let g = s - 4. Solve -g*u + i = -8 for u.
5
Let q be 0/((-5)/(-1 - 4)). Let s = 7 + -3. Suppose -z = l - 2*z - 13, 3*l - 55 = -5*z. Solve q = s*b + b + l for b.
-3
Let y(w) be the second derivative of w**5/20 - 2*w**4/3 - 5*w**3/3 + 9*w**2/2 - 5*w. Let k be ((-15)/(-25))/(1/15). Let r be y(k). Solve u + r*u - 1 = 0 for u.
1
Suppose -3*r = 2*r + 4*j - 30, -3*r + 3*j = 9. Solve -r*i = -6*i + 4 for i.
1
Suppose -g - 6*f = -10*f + 67, f - 190 = 3*g. Let b = 65 + g. Solve b*i - 6 = 5*i for i.
-2
Let c(l) = l**3 - 7*l**2 - 7*l - 6. Let v be c(8). Let k(z) = 5*z + 1 + 2 - 2. Let y be k(1). Solve y*p = v*p for p.
0
Let f = -26 + 30. Solve f*o + 9 = 13*o for o.
1
Let t(n) = 4*n**3 - 14*n**2 + 11*n - 5. Let u be t(5). Let o be (1 + -3)*u/(-25). Solve -r = 3*r + o for r.
-4
Suppose -40*i = -23*i - 204. Solve -i*f + 15*f = 15 for f.
5
Suppose 0 = -2*d + d. Suppose -5*h - 3 = -n, d*n + 3*n - 9 = 3*h. Solve n*y = 2*y + 2 for y.
2
Let y(k) = -2*k - 3. Let a be y(-2). Let g = -3 - a. Let n be (-8)/14*14/g. Solve c + 15 = -n*c for c.
-5
Suppose -q - 22 + 84 = 0. Solve 28*n = -q - 50 for n.
-4
Let r be 10/(-25) - (-64)/10. Let d be (18/(-8))/(r/24). Let v be (2 - 12)*d/15. Solve 6*j + v = 3*j for j.
-2
Suppose y = -m + 10, -4*m - 5*y + 47 - 10 = 0. Let x(a) = 12*a - 8. Let g be x(2). Let n = -14 + g. Solve n*l - m = -5 for l.
4
Let v(n) = -7*n - 179. Let t be v(-45). Solve -4*g + 124 = t for g.
-3
Let r = 596 - 578. Solve 5*i + i = r for i.
3
Let i(h) = -12*h - 2. Let p be i(-1). Suppose -2*n + p = 4*q, n - 20 = -2*q - 3*n. Suppose q = f + 6 - 8. Solve -6 = -f*k + 2 for k.
4
Let k = -489 + 491. Solve k*r - 3 = 5 for r.
4
Let r = -12 - -20. Let w = r - 6. Let p = 18 - 11. Solve -3*d = -w - p for d.
3
Let s(w) = -w**3 - 9*w**2 - w - 6. Suppose 45 = 26*u - 31*u. Let m be s(u). Solve h = -m + 4 for h.
1
Let h(j) = 5*j + 33. Let u be h(-6). Let d be 1 + (4 - (u - 3)). Solve -d*g = -3*g + 6 for g.
-3
Suppose -5*h + 9 = -21. Suppose -4*f = -26 + h. Solve -3*k = -f*k for k.
0
Suppose 3*p - 9*p = 17*p. Solve p - 8 = -4*y for y.
2
Let q(m) = 7*m**3 + 13*m**2 + 9*m - 25. Let z(t) = -3*t**3 - 7*t**2 - 5*t + 13. Let i(f) = 2*q(f) + 5*z(f). Let u be i(-8). Let s = u - 4. Solve -s*v = v for v.
0
Suppose 25 = a + 4*a. Suppose 0 = -3*r - 2*y + 13, 0 = 3*r + 2*r + a*y - 30. Solve -2*x - 9 = -r for x.
-4
Let u(w) = 4*w + 127. Let v be u(-30). Solve 5 = -y + v for y.
2
Suppose 194 = 4*u + 3*o, -5*u + 248 = 24*o - 23*o. Solve 12 = u*f - 54*f for f.
-3
Suppose 40*x = 50*x - 40. Solve -12 = -x*c - 20 for c.
-2
Let o be (-27)/(-6 + 3) - 0. Suppose 5*b - 24 = -o. Suppose 4*i + 3 = b*h, 4*i + 0 = h - 1. Solve i = 2*q - 2 - 2 for q.
2
Suppose 5*l - 124 = 2*h - 25, 5*h = 2*l - 48. Suppose -3*q + 4*t - 2 = 0, 2*t + 5 = -5*q + l. Solve m - q = -3 for m.
-1
Suppose -3*x + 0 = -o + 3, 0 = -2*o - 5*x + 39. Suppose -5 = a + 2. Let i = o + a. Solve 14 + 6 = -i*j for j.
-4
Let o = 103 + -101. Solve j - o = 2*j for j.
-2
Let r(b) = b**3 - 5*b**2 + 2*b + 2. Let k be 128/16 + (-8)/2. Suppose 2*s + 10 = k*s. Let z be r(s). Solve 4*w + 0*w = z for w.
3
Suppose -m = -2 - 7. Let r = m - 5. Let c = -40 - -40. Solve c = -r*t + 2*t for t.
0
Suppos