166/18 + (-4)/18. Solve 0 = 4*v - d*v - r for v.
-2
Suppose 8*k + 28 = 22*k. Let i(d) = 4*d + 3. Let o(l) = -11*l - 8. Let s(x) = 8*i(x) + 3*o(x). Let q be s(-3). Solve k*v - q = 1 for v.
2
Let x(y) = -y**2 + 9*y + 24. Let s be x(11). Let h be 28/12 + s/3. Solve 6 = -f + h*f for f.
3
Let r = 23 + -15. Suppose -w - w + r = 0. Let c be -1 - (-3 + -4 - -4). Solve -w = c*d - 10 for d.
3
Let b = -145 - -145. Solve b*h + 2*h - h = 0 for h.
0
Suppose 263*a = 278*a - 4095. Solve -268*v + a*v - 20 = 0 for v.
4
Let z(f) = 4*f - 64. Let s be z(19). Suppose 41*u = 43*u - s. Solve -g - u = 2*g for g.
-2
Let n = 98 - 96. Solve -n = h - 7 for h.
5
Let l be -2 + 7 + (-16)/(-2). Solve 12 = 16*m - l*m for m.
4
Suppose -4*z - 2 = -38. Solve 0 = 9*t - 6*t - z for t.
3
Let g(b) = 2*b - 11. Let c be (1 + 1)*(-28)/(-8). Let x be g(c). Solve 3*m = x - 9 for m.
-2
Let k be ((-94)/14 + 1)/(118/(-413)). Solve 0 = 8*s - k - 12 for s.
4
Suppose -38*j + 31*j + 28 = 0. Solve 0 = -j*h - 0 - 20 for h.
-5
Suppose -3*r + 33 = 18. Let a(v) = -v**3 - 7*v**2 - 6*v + 4. Let w be a(-6). Suppose -2*p + x - 6 = -3*p, -r*p + 31 = w*x. Solve -p - 8 = -5*m for m.
3
Let f be ((-8)/6)/(12/90*-5). Solve -f*p = 2*p for p.
0
Suppose -5 = -3*o - 4*c, 85 = o - c + 74. Solve w + o = 12 for w.
5
Suppose 0*u + 3*s = u + 152, -u + s - 146 = 0. Let m = -140 - u. Solve 7*q + 8 = m*q for q.
-2
Let g(w) = 2*w - 10. Let z be g(7). Suppose -4*t + 68 = 5*b, t - z*b - 5 = -9. Solve 4*h + t = -4 for h.
-4
Let v = 2 - 0. Let a be 348/9 + v/6. Suppose -11*d + 16*d - 70 = 0. Solve a = 5*r + d for r.
5
Let j(b) = -6*b - 4. Let c be j(-4). Suppose 8*y - 4*n = 3*y - c, -5*n = -25. Solve -10 = -5*x - y*x for x.
2
Let j(u) = u**3 + 10*u**2 + 7*u - 5. Let i(h) = -h**3 - h**2 + 2*h + 6. Let b be i(0). Suppose -14 = -b*w - 68. Let t be j(w). Solve 3*r - t = -4 for r.
3
Let b(m) = -m**3 - 8*m**2 + 5*m - 27. Let l be b(-9). Suppose -3*j = -l*j + 24. Solve 2*d - 4*d + j = 0 for d.
2
Let k(u) = 3*u**2 + u. Let f(y) = y**2 + 8*y - 1. Let s be f(-8). Let v be k(s). Suppose 0 = -32*r - 7*r + 195. Solve v*q = 3*q - r for q.
5
Let u be (-40)/12*168/(-20). Let c = 32 - u. Solve 0 = c*t - 8*t for t.
0
Suppose 3*q + 0*q = -2*y + 24, q = 4*y - 20. Solve 18 = y*v + 36 for v.
-3
Suppose 0 = 4*c - 4, -17*r - 4*c - 8 = -21*r. Solve 9 = 4*q - r for q.
3
Let k be 128/12 + ((-21)/(-9) - 2). Solve -k = -4*q + 9 for q.
5
Let k(m) = -m**2 + 8*m + 20. Let f be k(10). Let q be (-5)/(20/(-24)) - 4. Solve -q*c + 0*c + 2 = f for c.
1
Suppose 93 = 6*l + 63. Solve 7*g = l*g + 2 for g.
1
Suppose 28 = 5*o - 4*g, 0 = -o + 6*o - 2*g - 24. Let j be o/(-12) - 2/(-6). Solve j = 3*n - 0 + 12 for n.
-4
Let o(u) = -7*u + 78. Let r be o(8). Solve -5*h + 2 - r = 0 for h.
-4
Let c = -10 - -12. Let a = 6 + -2. Solve -p + c = a for p.
-2
Suppose 2*g + 62 = 5*s, 8*g + 5 = 3*g. Solve 0*l + 0*l = s*l for l.
0
Let x(p) = -2*p - 4. Let a be x(0). Let n = a - 17. Let m = -19 - n. Solve 0 = -t + m - 1 for t.
1
Let x = -7 + 11. Let z(r) = -x - r + 2*r + 0*r + 0. Let h be z(7). Solve h*i = i for i.
0
Let m(z) = z**3 - 40*z**2 + 39*z + 2. Let w be m(39). Solve w*k - 3 = -5 for k.
-1
Let p(u) be the first derivative of u**6/120 - u**5/15 + 3*u**2/2 + 1. Let z(w) be the second derivative of p(w). Let o be z(4). Solve -1 = -n - o for n.
1
Suppose -2*v + 4*v - 22 = -2*o, 0 = v - 4*o + 9. Let q = 0 - v. Let l be q/((-42)/(-4))*-3. Solve 3*s + l + 1 = 0 for s.
-1
Let t be (-6 + 7)/(1/14). Let h be 4/t + 27/(-21). Let i be 0 - (-3 + 0 + h). Solve 3 = i*r - 9 for r.
3
Let i(a) = -a + 4. Let p be i(-3). Solve 2*v + p = -3 for v.
-5
Suppose -r + 3*r = 0. Suppose -15 = -5*a - r. Suppose 2*b + 2*u = -u + 5, -35 = -5*b - a*u. Solve 3*q + b = 8*q for q.
2
Suppose -2*q + 4 = 2*y - 3*y, -5*q + 4*y = -7. Let z(a) = a**3 - 20*a**2 - 20*a - 16. Let k be z(21). Solve -10 = -q*v + k*v for v.
-5
Let d(t) = 8*t + 81. Let v(a) = 2*a + 20. Let z(p) = -2*d(p) + 9*v(p). Let r be z(-9). Solve 7*k - 4*k - 6 = r for k.
2
Suppose 5*r - 3*r + 4 = 0, -3*r + 39 = 3*j. Suppose 17*i - 2 = j*i. Solve -4*p - 7 = i for p.
-2
Suppose h - 1 = -4*c - 8, 0 = 4*c - 3*h + 27. Let s be 18 - (-1)/c*3. Let v = -5 + s. Solve -3*w = -6*w - v for w.
-4
Let m(z) = -z**2 + 10*z - 13. Let w(j) = 6*j**2 - 49*j + 66. Let n(p) = 11*m(p) + 2*w(p). Let d be n(-13). Suppose -12 = -d*t - t. Solve 0*k = t*k + 12 for k.
-3
Let h(u) = -u + 8. Let j be h(4). Suppose 0 = j*x - 8*x. Solve x = 4*k - 16 for k.
4
Let j(q) = -6*q + 87. Let t be j(14). Solve l + 2 = t for l.
1
Let m = -9 + 14. Suppose 3*r + 5*u = -14, 0 = -2*r - u + m*u - 2. Let j = r + 8. Solve 0 = -3*h + 1 + j for h.
2
Let j = 153 + -133. Suppose -k = -5*v + 20, 0 = -5*k - 4*v - 0*v + 45. Let w be (-6)/(-15) + 8/k. Solve -w*u + 7*u + j = 0 for u.
-4
Suppose -3 = -f + 1. Suppose 6*s - 2*c = s + 32, -5*c + 7 = 2*s. Suppose 3*v = -2*j - 3, 2*j - v - 1 = s*j. Solve -b + f*b = j for b.
0
Suppose -4*g = 3*n + 83 + 35, -4*n = 2*g + 54. Let b = g + 31. Solve b*m + 5 = m for m.
5
Let i(o) = -22*o + 23. Let s(z) = -10*z + 11. Let v(f) = 2*i(f) - 5*s(f). Let x be (-12)/((-2)/1) + -2. Let k be v(x). Solve 0*j + 3*j - k = 0 for j.
5
Let f(p) be the first derivative of 16*p**3/3 + 4. Let w be f(1). Suppose -d - w = -3*d. Solve -d = i - 3*i for i.
4
Suppose 30*a = j + 33*a + 3, -4*j + a + 1 = 0. Suppose -w - 5*o = -10, -4*w + 3*o = -2*o + 10. Suppose 2*g - 11 - 3 = w. Solve j = -3*p - 8 - g for p.
-5
Let u = 33 + -43. Let z(x) = -x**3 - 9*x**2 + 9*x - 5. Let f be z(u). Solve f = -r - 0*r for r.
-5
Let n(t) = -t + 10. Let o be n(10). Suppose 2*r + o*r + 4 = 4*m, -4*m - 4*r = -28. Solve c = -0*c - m for c.
-3
Let z(k) = k**3 + 2*k**2 - 15*k + 4. Let b be z(-5). Solve -i = -b*i for i.
0
Let j(d) = 3*d**2 - 3*d - 21. Let s(r) = -r**2 + r + 7. Let h(w) = -3*j(w) - 8*s(w). Let u be h(3). Solve -t + 2 = u for t.
1
Let q(c) = 4*c - 6. Let l be q(2). Solve -2*n + 10 - l = 0 for n.
4
Suppose 0 = -4*l + 16, l + 3*l - 14 = c. Suppose -15 = -5*w - 3*x, w + 9 = 4*w - c*x. Solve -m = w*m + 16 for m.
-4
Let u be -7 - (-5 + 2 + 5). Let j(a) = a**3 + 10*a**2 + 10*a + 12. Let x be j(u). Solve 4*i - i = -x for i.
-1
Let a = 4 + 17. Suppose 4*d = d + a. Suppose -l + d + 8 = 0. Solve 0 = g + 4*g + l for g.
-3
Suppose 3*c + 3*y - 105 = 6*y, -c - 5*y = -29. Solve 0 = c*f - 39*f - 15 for f.
-3
Suppose 0*a + 2*a = -2*m + 12, 0 = 4*m + a - 21. Suppose -m*x = 2*w - 0*w - 35, 0 = 4*w + 3*x - 35. Let t be 25/w*(-8)/(-10). Solve -t*p - 9 = -p for p.
-3
Let q be 2/(-1 + 12/9). Suppose 6 = 4*t - q. Suppose 0 = -t*v - 0*h + h, 5*v = -3*h. Solve -3*y + 3 + 6 = v for y.
3
Let t(l) = -2*l**2 - 8*l + 14. Let z be t(-7). Let r = z - -28. Solve 5*w + r*w = 0 for w.
0
Let u be (-17 + 13)/(7/((-252)/8)). Solve 2*l - 8*l = u for l.
-3
Let d = -217 + 403. Solve -d = 3*t - 174 for t.
-4
Let h be 25/20*(-8)/(-2). Let r be (-20)/(-70) - h/(-7). Let m(u) = u - 1. Let j be m(r). Solve j = 5*z - 1 - 14 for z.
3
Suppose -x - 5*z - 8 = 0, x - 5*z = -3*z + 6. Suppose x*h - 2 = 2. Let n = 13 - 9. Solve -h*c - n = 2 for c.
-3
Let g be (-1)/4 + (-60)/16. Let c(q) = -q**3 - 4*q**2 - 4*q + 3. Let o be c(g). Suppose m + 3*i = -0*i + o, -3*i = -4*m + 1. Solve 0 = m*r + 2 + 6 for r.
-2
Let s be 1/4 - (-78)/8. Let u(q) = q**2 - q**2 - q**2 + 2*q**2 - s*q + 4. Let j be u(10). Solve z - j = -z for z.
2
Suppose 5*v = -v - 30. Let j = v + 8. Suppose 2*f = -5*o - 4, -o + 0*o + j*f + 6 = 0. Solve o = 4*q - 7 - 5 for q.
3
Let j be (124/(-20))/((-3)/15). Let r = j - 29. Suppose w - 45 = 5*v, -4*w + r*v + 75 = 3*v. Solve 0 = 6*h - h + w for h.
-4
Let r be 45/6 + (63/14 - 4). Solve 4*c + 0 = r for c.
2
Let s be 26/182 + 76/7. Solve 6*p - s*p + 15 = 0 for p.
3
Let c be (-1)/(1*1/(-7)). Suppose 4*r + 29 = -u - 82, -3*u + 160 = -5*r. Let k = 31 + r. Solve c*a - 10 = k*a for a.
2
Let l(x) = x**2 + 7*x + 12. Let i(d) = 2*d - 2. Let t be i(-7). Let f = t - -8. Let r be l(f). Solve 0 = -0*q - 5*q - r for q.
-4
Suppose -3*d + 2*d = 4*v - 150, 0 = 3*v + d - 113. Solve v + 13 = -10*k for k.
-5
Let x(q) be the first derivative of q**4/4 + q**3 - 2*q**2 - 110. Let d = 6 - 9. Let z be x(d). Solve 4*w + z = w for w.
-4
Suppose 30*g - 26*g = -x + 8, -40 = -5*x - 4*g. Solve q = x*q - 12*q for q.
0
Suppose -p - 3*t + 3 = 0, 0 = 2*p - 3*t - 3 - 3. Let o be p/(-5)*35/(-7).