e 0 = -8*x + 3*x + b for x.
4
Let r be ((-10)/(-6))/(16*15/720). Solve 0 = -r*w + 27 - 17 for w.
2
Let d = 9 - 8. Let n be 3/9*(-1 + d). Suppose 5*z - 28 = z + 4*t, 4*z = 5*t + 32. Solve n = -z*q - 10 - 5 for q.
-5
Suppose 8*j - 4*j - 36 = 0. Let a = -5 + j. Suppose -2*b + 7 = -a*g - 25, -53 = -5*b + g. Solve -b = -0*s - 2*s for s.
5
Suppose 2*j + 6 - 6 = 0. Suppose 0 = -4*g - 3*a + 40, 0 = -j*a + 2*a + 8. Solve 2*m - g + 3 = 0 for m.
5
Let d(h) = 12*h**2 - 3*h + 1. Let v be d(1). Let i(w) = w**3 - 9*w**2 - 10*w + 3. Let p be i(v). Solve 0 = -2*a + p*a for a.
0
Let y = -14 - -16. Let w(f) = -2*f - 4. Let t be w(-3). Suppose -3*j = 2*m + t - 0, 4*m - 3*j = 14. Solve -m*p + 4 = -y for p.
3
Suppose 0 = i + 11 - 6, -5*o + 2*i + 10 = 0. Solve -2 = -o*a + 2*a for a.
-1
Let k be -1 + -5 + 3 + (1 - -2). Suppose -3*u - 2 = -u. Let r be 7*(-12)/14*u. Solve k = w + w - r for w.
3
Let z(r) = -r**3 + 6*r**2 - 3*r + 6. Let u be z(5). Let y = -41 - -50. Suppose 4*n + 5 = -3*s - y, 0 = -4*s + n + 13. Solve 6*x = s*x - u for x.
-4
Suppose -4*n = u - 17, 0*u - 3*u - 34 = -5*n. Let v = u + 5. Suppose 8*t - 6 = 6*t. Solve t*z = -v*z - 20 for z.
-4
Suppose 24 = z + z. Suppose -9*q = -3*q - z. Solve q*a + 4 = -2*a for a.
-1
Let k be ((-80)/(-36))/(24/108). Solve 3*m + k = 1 for m.
-3
Let o(v) = -6*v - 62. Let u be o(-29). Let a = 112 - u. Solve a*m = 5*m - 25 for m.
5
Let z(d) = d + 15. Let y be z(0). Suppose 0 = -2*v - 3*v + y. Suppose -j = 2*w - 4*w, -22 = -5*w - v*j. Solve w*k - 5 = -11 for k.
-3
Suppose s + 0*s = 2*z + 7, 0 = -5*z - 4*s + 15. Let r be 0/(4/(-2))*z. Solve 15 = -r*x + 5*x for x.
3
Let f(o) be the third derivative of -o**6/24 - o**4/12 - o**3/2 + 35*o**2. Let b be f(-1). Solve -b*g = -g for g.
0
Let v = 30 + -24. Let t(n) = 2*n - 8. Let p(r) = 2*r - 9. Let f(l) = v*t(l) - 5*p(l). Let y be f(5). Solve 3*w - 16 = y*w for w.
-4
Let m(c) = 3*c - 6. Let v be m(0). Let k be 16/(-12)*v - 3. Let t be 9/1*(3 - 2). Solve 8 = -t*f + k*f for f.
-2
Suppose 46*y - 32 = 42*y. Solve y*o - 3*o = -20 for o.
-4
Suppose -3*u + p = 4*p - 54, 0 = 5*p - 15. Suppose 0 = j, -5*d + u + 5 = 2*j. Suppose 0 = -2*r + 4*r. Solve r*k - d = -k for k.
4
Suppose -10 = -2*o + 74. Solve 0 = -o*l + 34*l + 32 for l.
4
Let d(p) = -p**3 + 26*p**2 - p + 31. Let q be (-77)/(-3) - (-24)/72. Let i be d(q). Solve i*b = b for b.
0
Suppose 660 = -585*g + 596*g. Solve g = -x + 59 for x.
-1
Let m be 0 + -1 + 2 - -11. Suppose 2*h + 8 = 2*r, 5*r = 4*h + 2*r + m. Solve 3*o - 7*o + 20 = h for o.
5
Suppose -8*k = -39*k + 403. Solve -8 + k = -d for d.
-5
Let u(n) = -n - 18. Let w be u(-22). Suppose w = -a, 0*a = -2*x + 5*a + 28. Solve -x*f - 7 = 1 for f.
-2
Let k be 6/(-15) + 66/165. Solve -10*m + 16*m - 24 = k for m.
4
Let i(s) = s**2 + 3*s - 5. Let j be i(2). Let y be ((-22)/2 - 1) + -1. Let p = 17 + y. Solve 6 = -j*r - p for r.
-2
Suppose 135 = 12*a - 165. Solve 0 = -4*o - o - a for o.
-5
Let u(n) = 17*n - 11. Let c be u(2). Solve -c*j + 18*j = -10 for j.
2
Suppose 4*i = -7 - 9. Let d(w) = -w**3 - 4*w**2 - 3*w - 12. Let r be d(i). Solve 0 = v - r*v + 2 for v.
-2
Suppose -4*b + 22 = 2*r, r - 3*b = 3*r - 18. Solve -4 + r = n for n.
-1
Suppose 0 = x - 2*z - 4, 0*x - 2*x + 3*z + 9 = 0. Solve 0 = 13*q + 7 + x for q.
-1
Suppose 47*b - 50*b + 3*v = -57, 5*b - 4*v = 92. Solve -2 = -6*g + b for g.
3
Suppose 2*p + 33 - 45 = 0. Solve 4*n - p*n = 8 for n.
-4
Let c = 793 + -786. Solve 8 = -3*w - c for w.
-5
Let w = 31 - 31. Solve w = 3*f - 8*f for f.
0
Let j = 19 - 16. Suppose -4*t - t = 4*s + 65, 4*t + 51 = -j*s. Let w = t - -24. Solve -4*z + z = w for z.
-5
Let x(a) = a**2 - 23*a + 92. Let r be x(5). Solve r*f + 4 = 3*f for f.
4
Suppose -45 = 3*z - 6*z. Solve -z = 6*n - 45 for n.
5
Let z be (46/(-69))/(2/(-9)). Suppose 3*p = -2*j + 16, 0*j = j - 4*p + 14. Let x = z + j. Solve 1 = -2*n - x for n.
-3
Suppose 3*h = 9 + 27. Suppose -2*j = -h - 4. Suppose g = -2*g + 12. Solve j*s + g = 4*s for s.
-1
Suppose 0 = -2*t - 8, 3*z + 5*t - 2*t = -3. Suppose -28 = -5*d + z*g, d + 0*d + 2*g = 3. Suppose -d*l + 17 = -8. Solve -2*h + l = -1 for h.
3
Let l(k) = 3*k**2 + 3*k + 2. Let y(w) = w**3 + 2*w**2 + 3*w + 5. Let n be y(-2). Let i be l(n). Solve -z - z = i for z.
-1
Suppose 40*t = 39*t + 2. Suppose g - 2 = -w, -4*w + 4 = -g - 24. Solve -w = -2*u + t for u.
4
Let j = -46 + 48. Suppose 4*g + 4 = -p, 12 = 4*p + 3*g + 2. Suppose 0 = -h - j, -2*f = 3*f + p*h - 117. Solve 0*q - 5*q + f = 0 for q.
5
Let q be ((-30)/(-35))/(6/28). Suppose 0 = -x - 4*h + 22, q*h - 46 = -5*x. Suppose -5*g + x*g = 2. Solve 5*m - 3*m = g for m.
1
Let j = 52 - 47. Solve -2*t = j*t - 7 for t.
1
Let j = 294 - 282. Solve 7*z - 13*z = -j for z.
2
Let f be (2 + (0 - 1))*(-22 - -20). Let m be (4 - -11) + f + -2. Solve 4*g + m = -5 for g.
-4
Let d(g) = -g**2 + 11*g - 24. Let k be d(7). Solve -1 - 19 = -k*r for r.
5
Let q(w) = -46*w + 564. Let r be q(12). Solve 25*n = 21*n + r for n.
3
Suppose 3*l - o = -6*o, 0 = -2*l - o. Solve -14*p + 15 - 57 = l for p.
-3
Let r = 3 - -9. Suppose -3*n + 4*n = -7. Let d = r + n. Solve 4*g = -g + d for g.
1
Suppose l + 3*x - 17 = 0, -39*l = -35*l + x - 46. Solve -l*h + 16*h = -15 for h.
-3
Suppose -192 = 2*f - 34*f. Solve f*o - 12*o = -o for o.
0
Let k be (-1)/(4/2)*(35 + -57). Solve 5*h = k - 1 for h.
2
Let j(f) = 3*f. Let d be j(1). Suppose -u + 0*u - 2*k + 8 = 0, -d*k + 17 = 4*u. Suppose -3*t = -3*n + 12, n + 8 + 12 = -5*t. Solve n*h = -u*h for h.
0
Let o(m) = -m**3 - 7*m**2 - 12*m - 5. Let s be o(-6). Solve 0 = s*n - 28*n - 9 for n.
3
Let b(a) = a**3 - 2*a**2 + 7*a - 12. Let z be b(2). Solve -z*s + s - 3 = 0 for s.
-3
Let c = -46 + 4. Let f = -37 - c. Let y = 1 + -1. Solve y = f*z - 5 + 15 for z.
-2
Suppose 5*a - 28 = -10*k + 7*k, 3*k = 4*a - 17. Let y be 2/(-4) - 10/(-4). Solve -l + y - a = 0 for l.
-3
Let k = -68 - -73. Suppose -k*i = -16 - 9. Solve i = -x + 2 for x.
-3
Let z = -6 + 11. Suppose 2*v = 8, 105*v = x + 102*v + 12. Solve z*t + x*t - 25 = 0 for t.
5
Suppose -913 + 845 = -4*o. Solve 0*x - 51 = o*x for x.
-3
Let h(m) = -m**2 + 4. Let b = 4 + -4. Suppose b*w - 3*w + 31 = -5*t, -3*t - 17 = -w. Let o be h(w). Solve o = -0*g + 3*g for g.
0
Let g(z) = z**3 - 9*z**2 + 9*z - 5. Let s be (-1 + 3/2)*16. Let q be g(s). Solve -q*j + 5 = -4*j for j.
-5
Suppose 5*x + 0*z = -z + 18, 3*z = -5*x + 24. Let p be (-36)/(-10) + (-12)/(-30) + x. Solve 0 = 3*h - p - 5 for h.
4
Suppose -5*h = -5*t + 16 + 49, 29 = 3*t - h. Solve -t = -22*r + 20*r for r.
4
Let k = -55 - -61. Solve -3*l + k*l = 3 for l.
1
Let u be (-4 + (1 - 2))/(-1). Suppose 0 = u*h - 7*h + 16. Suppose -17 = -3*j - 2*p - 0, -3*j - 7 = -4*p. Solve -j + h = -k for k.
-5
Suppose -2*b + 3 + 11 = 0. Suppose 0 = -4*j + 3*d + 16, b*j - 4*d - 20 = 2*j. Solve 15 = j*c - c for c.
5
Suppose -6*w + 2*w + 22 = 2*n, -5*n = 2*w - 31. Solve 5*v - 2 = w for v.
1
Let k be (-18)/(-4)*(-4)/(-6). Let u be k + 5*1/5. Solve 8*o = u*o for o.
0
Suppose 5*h + 22 = -4*t, 0 = 5*t + 4*h + 22 + 1. Let q = 7 + t. Let a be 20/16*(0 + q). Solve -17 + a = 4*p for p.
-3
Let z be (-44)/((-49)/21 + 2/6). Suppose -7*t + z = -20. Suppose -f + 4*a + 4 = 3*a, -4*f + 3*a + 12 = 0. Solve 4*l - 2*l - t = f for l.
3
Let o = 1613 + -1556. Solve o*w = 60*w for w.
0
Let z = 202 + -184. Solve -2 = 4*w + z for w.
-5
Let g(i) = -i**2 - 12*i - 14. Let x be g(-10). Let z be (-18)/108 + 13/x. Let r(t) = t**3 - 2*t**2 - 5*t + 4. Let u be r(4). Solve 6*f = z*f - u for f.
-4
Let c(u) = u**2 - u - 8. Let d be 96/(-160) - (-46)/10. Let t be c(d). Solve t*b + b - 5 = 0 for b.
1
Let d(a) = a**3 - 17*a**2 + 37*a - 75. Let c be d(15). Solve -12 + c = -6*w for w.
-3
Let l = 375 - 360. Solve l*u - 14*u + 5 = 0 for u.
-5
Let t(i) = -i**3 - 7*i**2 - 3. Let p be t(-7). Suppose -65 = 14*j - 163. Let k = p + j. Solve -v = -k + 5 for v.
-1
Let p(f) = 2*f + 9. Let r be p(-10). Let i = 26 + r. Let j be 12/2 - (-2)/(-1). Solve j*w - 3 = -i for w.
-3
Let m = 12 + -6. Suppose x + 2*w + 12 = m*x, x + 4*w - 20 = 0. Solve -5*p = -9 + x for p.
1
Let g = -127 - -129. Solve -7*x = -g*x + 5 for x.
-1
Let c = 98 - 58. Let t = -33 + c. Solve -2 = 5*w - t for w.
1
Let z be (-13)/(208/132)*(0 + 16). Let k = z + 136. Solve k*t = 3*t for t.
0
Let b = 1 + 4. Let k = 237 + -396. Let t = -154 - k. Solve b*f = -0*f + t for f.
1
Suppose -6*t = -t - 80. Sup