Suppose 0 = 5*x - 13 - 2. Suppose 2*g = x*c - 25, -4*g - 20 = c + g. Solve -4*n = n - c for n.
1
Let l be (4 - 1)*(-10)/6. Let o(s) = s**3 + 3*s**2 - 10*s + 5. Let x be o(l). Solve -x*v = -4 - 1 for v.
1
Suppose -d + 0*d = -2*m + 10, 4*d - 5*m + 25 = 0. Let z(v) = 4*v + 3. Let x be z(d). Solve x = t - 0 for t.
3
Let m(x) = -x**3 - 11*x**2 - x - 3. Let v(t) = t**3 + 12*t**2 + t + 2. Let g(h) = 4*m(h) + 3*v(h). Let q be g(-8). Solve 3*y = q + 1 for y.
1
Suppose -4*j = -12 - 0. Suppose -4*o = -j*o - 1. Let t be o - 6/(-3) - 3. Solve 10 = -t*i - 5*i for i.
-2
Let t(a) = -2*a + 24. Let j(m) = 5*m + 1. Let x be j(2). Let g be t(x). Solve g*u + 5 = -3*u for u.
-1
Suppose -22 = -5*n - 22. Solve 6*g = -n*g - 30 for g.
-5
Suppose 2*g = 5*t - 201, -g = -6*t + t + 198. Let n = t - 23. Solve -n = 5*v - v for v.
-4
Let g be 1/(-1) + (-42)/(-7). Solve g*d - 29 = -34 for d.
-1
Suppose -5*x + 7 + 3 = 0. Let u(i) = -2*i - 9. Let o be u(-6). Solve -o = g + x for g.
-5
Let d = -19 + 23. Let p be (0*(-2)/d)/(-2). Suppose p*b = 3*b. Solve -5*o - 20 = -b*o for o.
-4
Let m(h) = -h**2 + 4*h - 7. Let t be m(5). Let n be ((-16)/t + -1)*0. Suppose n = -o + 6 - 2. Solve -o*p = -21 + 1 for p.
5
Let b(w) = 2*w**3 - 8*w**2 - 2*w + 11. Let p be b(4). Solve 36 = -p*u + 21 for u.
-5
Let f be (-2 - 15/(-6))*0. Suppose f*w - w = -4. Suppose -w*y - 3*o = -12, 0*y + o = 3*y - 9. Solve 12 = -0*x - y*x for x.
-4
Let g be 15/9 - 0 - (-3)/9. Suppose g*z + 2*d = 8, -2*z + 3 + 1 = d. Solve z = -p - 0*p - 2 for p.
-2
Let w = 19 - 11. Suppose 9*p + 48 = 228. Let v = p - w. Solve 4*b = b + v for b.
4
Suppose -15*w - 41 + 416 = 0. Solve 4*a + w = 9 for a.
-4
Let h(i) = i**2 + i - 4. Let p be h(-3). Solve -p*n - 9 = -1 for n.
-4
Let s = 72 - 121. Let l be 142/7 + 14/s. Suppose 0*t = 3*t - 2*i - 14, -3*t - i + l = 0. Solve h + 15 = t*h for h.
3
Suppose -8 = -2*t - 3*p - 4, -5*p = -2*t + 4. Solve -5*k + t = -3 for k.
1
Let u(a) = 36*a - 13. Let r be u(1). Solve 0 = 4*o + r - 3 for o.
-5
Suppose -6*k + 49 = 49. Solve -4*u + 8*u + 4 = k for u.
-1
Let o(c) be the second derivative of -c**3/3 - 9*c**2 - 19*c. Let b be o(-11). Solve 0 = -p - b + 2 for p.
-2
Let a(f) = -4*f - 23 + 3*f + 2*f + 16. Let v be a(11). Suppose 2*d = 4*d + v, 4*s - 4*d = 32. Solve 3*w - s*w = -15 for w.
5
Suppose n = r + 3*n, -5*r + 18 = n. Suppose 2*l + 0*l = 3*b - 17, r*l + 14 = 2*b. Suppose -b*u + 3*u = -2. Solve w = 1 + u for w.
2
Let w be (-2)/((-2)/(-1))*2. Let b be w + 5 + (2 - 0). Suppose 4*v - 4 = 2*c, 5 = -b*c + 4*v + 1. Solve -4*t + c = 4 for t.
-1
Let u(h) = 2*h + 39. Let o(j) = j + 38. Let g(a) = 4*o(a) - 5*u(a). Let c be g(-8). Solve -c*x = -13 - 7 for x.
4
Let i(q) = -q**2 - 10*q - 9. Let k = 20 + -29. Let b be i(k). Solve 4*l = -b - 16 for l.
-4
Let o(c) = -27*c + 81. Let b be o(3). Let k = 7 + -3. Solve b*r = -k*r for r.
0
Suppose -8*z + 5*z = -66. Let c = -14 + z. Solve 0 = 5*t + 7 + c for t.
-3
Let x(q) = -q**2 + 5*q - 10. Let f be (-7)/2 - 4/(-8). Let p(n) = 2*n**2 - 4*n + 10. Let j(t) = f*x(t) - 2*p(t). Let k be j(-8). Solve k*s = s + 2 for s.
2
Let j be 7 - 6/18*15. Solve 5*v - 3*v = j for v.
1
Let u be 18/(-27) + 58/6 + -4. Solve -u*m = -2 + 7 for m.
-1
Suppose 9*o + 162 - 171 = 0. Suppose 4*a - 95 + 27 = 0. Solve o = 4*w + a for w.
-4
Let y be (1/4)/(28/1232). Solve -y*h = -16*h + 15 for h.
3
Suppose -4*m - 3*s = -29, 5*s - 13 = -3*m + 17. Solve m = -3*x + 2 for x.
-1
Let a be (2/4)/(3/6). Let p be -7*(5/(-7) - a). Suppose -3*h - 11 = -9*i + 4*i, 0 = 2*h - i - 2. Solve -l + p = h*l for l.
3
Suppose 22*n = 16*n + 18. Let l = 7 + 3. Suppose -51 = r - 56. Solve 0 = -n*t + r*t - l for t.
5
Suppose -9*w = -10*w + 20. Let d be (-8 + -10)*2/6*-1. Solve d*r - w = 2*r for r.
5
Let d be (-5 - 3) + 8 + 40. Solve -44 = -2*f - d for f.
2
Let f = 1 - -2. Suppose 5*j - 10 = f*j. Suppose 2*k - 23 + 7 = -4*c, 30 = 5*c + j*k. Solve 3*u - u - c = 0 for u.
1
Suppose 4*o - 18 = -2*w, 25*w - 21*w - o - 9 = 0. Suppose m + u = 2, -3*m + u + 4 = -2*m. Solve -w*y + m = -9 for y.
4
Let c = 73 - 75. Let v be (8/c)/(-2)*(0 - -2). Let s = 8 - 0. Solve 0 = 2*f - v*f - s for f.
-4
Suppose 3*v - 5 = 2*c, -3*c + 1 = -5. Suppose -5*q = -5*k - 0 - 5, -v*k + 2*q + 2 = 0. Solve -2 = k*w - 14 for w.
3
Let r(b) = 20*b + 15. Let v(y) = 5*y + 4. Let q(l) = 4*r(l) - 15*v(l). Let z be q(1). Suppose x - 5*o - 6 = z*x, 4*x - 6 = o. Solve -2*m - 3 = -x for m.
-1
Let l be (-25 - -27) + (-37 - -1 - -1). Let t = -25 - l. Solve t = -4*q + 2*q for q.
-4
Let i be ((-1)/3)/((-19)/57). Let f(h) = 2*h + h**2 + 1 - 2*h. Let w be f(i). Solve 0*g = -w*g for g.
0
Let o(p) = -p**3 + 11*p**2 - 23*p + 8. Let g be o(8). Solve -12*h + g = -4*h for h.
2
Let n(g) = g**3 - 2*g**2 - 18*g. Let h be n(-3). Solve -8*p - h = 7 for p.
-2
Suppose 74*d = 3863 + 133. Solve 9*m + 18 = d for m.
4
Let v = 21 - 19. Suppose 4*h = -2*b - 20, h = -v*b - b - 10. Let u be (-2)/2*6*b. Solve -5*p - 8 = u for p.
-4
Let q = -3 + 13. Let k(w) be the third derivative of w**6/120 - 13*w**5/60 + 5*w**4/8 - 29*w**3/6 - 23*w**2. Let o be k(12). Solve o*r - 2*r - q = 0 for r.
2
Let o = 139 + -262. Let p = o + 126. Solve -2*i = p*i + 5 for i.
-1
Suppose 30*i - 3*i = 0. Solve i*f - 5*f = -10 for f.
2
Let y be (24/28)/((-6)/(-28)). Suppose -5*i + 25 = -0*i - 5*o, y*o = -5*i + 25. Suppose -61 + 1 = -i*z. Solve 4*d + z = -0 for d.
-3
Let l(s) = s**3 + 9*s**2 + 21*s + 13. Let x be l(-5). Solve -4*a = -8 - x for a.
4
Suppose 0 = -0*b + 47*b + 2*b - 1225. Suppose -4*x + 8 = 4*t, -2*x = -2*t + 6*t - 4. Solve -x*g = -7*g + b for g.
5
Let w(n) = -n**2 - 9*n - 12. Let c = -237 - -232. Let j be w(c). Let q(a) = a**3 - 3*a**2 + 4*a - 2. Let p be q(2). Solve -p + j = 2*v for v.
3
Let q(v) = -v**2 - 10*v + 21. Let a be q(-10). Let s = 23 - a. Solve -2*l + 8 = s*l for l.
2
Suppose u + 74 = 87. Solve 0 = 9*j - 14 - u for j.
3
Let u be (-56)/(-42)*(-18)/(-8) - -1. Solve 24 = -u*t + 36 for t.
3
Let w(s) be the second derivative of s**5/20 + s**4/4 - s**3/3 - s**2/2 + 9*s. Let m be w(-3). Solve 10 = 3*u - m for u.
5
Suppose 2*h - 40 = 2*f, -4*h + 5*h = -2. Let o be (-4)/f + (-2)/11. Let d(u) = u - 2. Let y be d(9). Solve -2*v + y*v - 5 = o for v.
1
Let g(b) = b**2 - 5*b - 15. Let m be g(8). Let s = m - 5. Solve -s = 3*k + 11 for k.
-5
Suppose 0 = 17*y - 150 + 31. Solve y*o = 5*o - 2 for o.
-1
Suppose 2*s + 3*s + 0*s = 0. Suppose -6 = -6*m - s*m. Solve q = 2*q + m for q.
-1
Let i be 90/21 - 4/14. Suppose m - 18 = -i*f, -m - f = -5*f + 14. Suppose 0 = l - m*v - 2, 5*l - 2*l - 9 = 3*v. Solve 0*s - l*s - 8 = 0 for s.
-2
Let h be ((-6)/(-4))/((-6)/40). Let i = -3 - h. Suppose 2*d = -5*p + i, 0*d = -d + p. Solve d = t - 0 for t.
1
Let y(p) = -p**2 - 39*p - 46. Let m be y(-37). Solve -3*w - m = -19 for w.
-3
Let p(c) = -9*c - 203. Let h be p(-25). Solve 3*a + 7 = h for a.
5
Suppose -g = -6*g. Suppose 13*l - 10*l = g. Suppose l = n + 2*x + 6, 5*n = x + 18 + 7. Solve 4*m + 0*m - n = 0 for m.
1
Suppose -28 = -17*c + 6. Solve c*g + 4 = 2 for g.
-1
Let j be 234/((-7 + -11)/(-9)). Solve j*z - 10 = 119*z for z.
-5
Suppose -5*j = 4*q - 16, -j = -13*q + 10*q + 31. Solve q*l = 3*l + 18 for l.
3
Let u(y) = -24*y + 122. Let q be u(4). Solve 4*r = 10 - q for r.
-4
Let p(o) = -10*o + 914. Let z be p(62). Solve z*m = 289*m - 10 for m.
-2
Let v(b) = b**3 + 38*b**2 - 122*b + 41. Let h be v(-41). Solve h = -4*n - n for n.
0
Let k be (-4)/38 - (1 - 1080/152). Solve t = -t + k for t.
3
Let c(t) = 5*t + 26 + 5*t - 5*t. Let w be c(-4). Solve 6*r = 4*r - w for r.
-3
Suppose -2*a - 2*a = -3*x - 22, 0 = -4*a - 3*x + 10. Let o = 35 + -20. Let u(p) = 43*p - 249. Let z be u(6). Solve a*d - z*d - o = 0 for d.
-3
Let s = 6 + -4. Solve 0 = s*l - 6*l + 4 for l.
1
Suppose 0 = 3*d - w - 5, -4*w - 5 = -5*d + 1. Suppose 26 + 238 = -4*b. Let k = b + 69. Solve 0 = d*a + k*a for a.
0
Let s(a) = 10*a - 95. Let q be s(10). Solve -q*k = -2*k - 15 for k.
5
Suppose 3*g + 0*g = 6. Let u(d) = d**2 + 7*d + 8. Let i be u(-5). Let b(w) = 17*w + 34. Let c be b(i). Solve -v + g = -c for v.
2
Suppose 0 = -8*t + 7*t - 2. Let l be t + (1 - (-8)/2). Solve -f - l*f = 0 for f.
0
Suppose -2*v - 20 = -2*y, 5*y + v = -3*v + 41. Suppose y*h = h. Solve h = b - 5*b for b.
0
Let g be 0/((21/(-14))/((-3)/2)). Suppose 4*z - 7*z + 45 = g. Solve -y + z = 4*y for y.
3
Suppose 0*q - q + 