ve c + q*c = -3 for c.
-1
Let g be (0 - 1)/(-2 + 1). Let p be (-10)/5 - (g + -26). Suppose -4*h + p = -77. Solve h = 2*a + 3*a for a.
5
Let z(u) = -2*u - 4. Let s be z(-7). Suppose r - s = -r. Solve -2 = r*k - 17 for k.
3
Let w = 13 - 8. Suppose -s = -w*s. Solve 0*a + 2*a - 10 = s for a.
5
Let k be (-12)/(-66) - (-291)/33. Solve k = -3*c + 6*c for c.
3
Let q(a) = a + 4. Let l(u) = -u**3 - 6*u**2 + 2. Let h be l(-6). Suppose 0 = -5*k, 0 = 4*y - h*y + k + 8. Let p be q(y). Solve p*v = v + 5 for v.
-5
Let l = 45 - 37. Solve p = -p + l for p.
4
Let l be -1*(99/(-44) - 1/(-4)). Solve -i + 12 = l*i for i.
4
Suppose 2*c = -5*x + 11, -16 + 5 = -4*c + x. Solve 5*r - 2 = c*r for r.
1
Let d = -113 - -115. Solve d + 2 = -2*r for r.
-2
Let f = 6 - 3. Suppose -m + 0 = -f. Solve 3 = -3*i - m for i.
-2
Let k = 5 + 0. Solve k*o - 10 = 5 for o.
3
Let y = -30 - -32. Solve -3*r + y = -r for r.
1
Suppose 0 = -8*t + 2*t. Solve t = r - 4*r - 3 for r.
-1
Let y be -2*-2*(-2)/8. Let k be (-2*1 - 7)/y. Let p be (-2)/k + 280/45. Solve -2 = 4*r + p for r.
-2
Suppose 0 = 3*l + 5*u - 11, 2*u - 3 = -l + 1. Let a = 3 - 2. Let t = 19 + -10. Solve l*y + t = a for y.
-4
Suppose -8 = -3*b + 5*b. Let y(k) = -k + 20. Let u be y(9). Let q = u + b. Solve -10 = -q*d + 2*d for d.
2
Suppose r - 3*r - 16 = 4*l, -3 = r + l. Let p(j) = j**3 + 15*j**2 - 2*j - 26. Let m be p(-15). Suppose -5*z + 4*t = -52, m + 0 = r*t. Solve 2 = 5*b + z for b.
-2
Let w be (4/5)/(40/500). Solve w = -7*f + 2*f for f.
-2
Suppose 8*y = 13*y - 10. Solve -10 = -y*c - 0*c for c.
5
Let a be (-2)/(-11) - 80/(-44). Let x be ((-8)/(0 + a))/(-2). Solve x*n = -n - 9 for n.
-3
Let c(f) be the second derivative of 0 + 3/2*f**2 + 1/12*f**4 - 2*f + 0*f**3. Let u be c(3). Solve 5*q + u = q for q.
-3
Suppose 60 = -4*y - 5*b, 3*b + 28 = -y + 5*b. Let w be ((-4)/(-10))/((-2)/y). Solve p = -w*p - 20 for p.
-4
Suppose c - 18 = -0*c. Let g = c + -18. Solve -2*a + 3*a - 5 = g for a.
5
Suppose -4*w - 2 - 1 = -3*h, -3*w = -4*h - 3. Let v be (w/2)/(3/(-2)). Solve -4*k - 9 = -v for k.
-2
Suppose u + 5*u - 18 = 0. Suppose 7*l = 3*l - 4, 0 = -5*w - 3*l - u. Solve w*a = -4*a for a.
0
Let o = 18 + -16. Solve -5*p = -o*p - 3 for p.
1
Suppose 2*l + 2 = 4*l. Solve -2*y + 11 = l for y.
5
Let a(d) = d**2 + 7*d. Let t be a(-6). Let q = 8 + t. Suppose 2 = 4*r - q. Solve 4*o + 5 = r for o.
-1
Suppose -3*j - 9 = -4*c - 25, j - 3*c - 12 = 0. Let d = -26 + 28. Let v(u) = u**2 + 2*u + 1. Let y be v(-3). Solve -d*a + j*a = y for a.
-2
Let t = -5 - -10. Suppose -3*u = -a - t, -28 = -4*u - 0*a - 4*a. Solve u*x + 18 = 6 for x.
-4
Let p(w) = -w + 1. Let d be p(-4). Let x(n) = -n**3 - 3*n**2 - 2*n - 1. Suppose 3*h = 9, 4*g + 3*h = h - 6. Let f be x(g). Solve f*z - 4*z = d for z.
5
Let i be 1*(-3)/9*-15. Solve 10*z - i*z = -10 for z.
-2
Let r(z) = -z**2 - z - 2. Let p be r(0). Let y(s) = -2*s**3 + 2*s**2 - 2. Let a be y(p). Solve a = -4*q + 6 for q.
-4
Let d be 36/(-8)*((-3)/9 + -1). Let b = -14 + 23. Solve -b - d = 3*g for g.
-5
Suppose 0 = 5*n - 2*r - r - 6, 5*r + 10 = -4*n. Let a = 15 + -11. Suppose -5*k + 14 - a = n. Solve -2 + 10 = -k*b for b.
-4
Let o(k) = -k + 13. Let a be o(9). Let z be (-1)/1 + 2 + a. Solve -z*w + 11 - 1 = 0 for w.
2
Suppose 4*c = 3*c + 3. Solve s - c = -4 for s.
-1
Suppose -b - 12 = 5*s - 30, -5*s = -5*b. Let d(c) = -c**3 + 4*c**2 + 6*c. Let h = 14 - 9. Let v be d(h). Solve b*n - v*n = -6 for n.
3
Let g(x) = x**2 - 5*x + 1. Let m be g(3). Let s = m + 8. Let a = s + 1. Solve -17 = a*j + 3 for j.
-5
Let r(k) = k**3 - 3*k**2 - 4*k + 4. Let x be r(4). Suppose 0 = -3*n + 6, u + x*u - 5*n - 90 = 0. Solve -4*i + 0*i = u for i.
-5
Let o(x) = -5*x**3 + 11*x**2 - 4*x - 1. Let w(a) = -4*a**3 + 10*a**2 - 5*a - 2. Let k(s) = -5*o(s) + 6*w(s). Let b be k(-6). Solve -3*j + b = 2 for j.
5
Suppose -2*i = 2*a - 14, 2*i - 13 - 1 = -a. Let b be 54/i + 2/7. Solve b + 7 = 5*t for t.
3
Suppose 4*t + 2 = -10. Let n = 1 - t. Solve n = 3*v + v for v.
1
Suppose -15 = -14*s + 9*s. Solve 0 = -3*v + s for v.
1
Let h(c) = -c**2 + 1. Let d(m) = 6*m**2 - 8*m + 5. Let t(u) = d(u) + 5*h(u). Let i be t(7). Solve -4*j + i*j = 1 for j.
-1
Suppose -b - 1 + 5 = 0. Suppose b*x - x = 9. Solve x*a = 4*a + 5 for a.
-5
Let v be (-95)/(-35) - 2/(-7). Let m be (-28)/(-4) + (v - 2). Let q = m + -5. Solve q*o + 17 = 2 for o.
-5
Let y(f) = -f**3 - 2*f**2 + f + 2. Let u be y(-2). Solve u = -h - 3*h for h.
0
Let j = -30 + 30. Solve j = 2*t + 4 for t.
-2
Let i(k) = 3*k - 25. Let o be i(9). Solve -o*v + 2 = -v for v.
2
Let u = 13 + -9. Suppose -u*o + 7*o = 0. Solve 0 = -o*n - 5*n - 20 for n.
-4
Suppose -2*u = -4*d + u + 68, d - 4*u - 30 = 0. Suppose -5*v + d = -4*p, -3*v - 3*p + 2 + 1 = 0. Suppose 3*f = -v + 5. Solve -11 = -2*x - f for x.
5
Let y be (9/(-3) - 23) + 1. Let l = y - -10. Let c be 34/10 + 6/l. Solve c*m = -m - 16 for m.
-4
Let j = -4 - -9. Suppose 5*x + 68 - 83 = 0. Solve -r + x = j for r.
-2
Let k = 0 - -2. Suppose 1 = -2*n + 3*p + k, 0 = 4*n + 4*p - 32. Let y = 2 - -1. Solve -n*v = -2 - y for v.
1
Suppose 5*g - 5*d = 0, 0 = -3*g + d + 4 + 4. Solve -b - g = -3*b for b.
2
Suppose -2*x + 3*i = 8, 0 = 2*x - 0*x - i + 8. Suppose -3*s - 2*v = -12, -s + 3*v - 4*v + 3 = 0. Let a = x + s. Solve 3*k - 5 = a*k for k.
5
Let x = -10 + 35. Solve 6*z = z + x for z.
5
Suppose -52*l + 58*l - 12 = 0. Solve -l*u = -0*u - 4 for u.
2
Let v be (-12)/(-9)*9/2. Solve -3*f + v*f - 12 = 0 for f.
4
Let d be (-3)/2*(-8)/6. Suppose 0 = 2*o - 5*u - 5, 1 + 1 = -4*o - d*u. Solve o = y + y + 8 for y.
-4
Let i = 140 + -137. Solve 3 = -i*g - 9 for g.
-4
Let i(r) = -r**3 + 5*r**2 + r - 5. Let y be i(5). Suppose 2*o + 0*o - 4*s - 14 = 0, -3*s - 6 = y. Solve -11 = -o*x + 1 for x.
4
Suppose -2*g + 2*p = -1 - 25, g = 4*p + 28. Let v be (g/4)/(1 + 0). Solve 2*q = -v*q - 20 for q.
-5
Let j(q) = q + 12. Let n be j(-12). Suppose -5*l - 4*p + 3 = n, 2*p + 0*p = -2*l. Solve -d + l = -1 for d.
4
Let r = -5 - 1. Let g be 0/((-3)/(r/4)). Let i be g - (-1 - (0 + -1)). Solve -j = -i*j + 2 for j.
-2
Let t(u) = -u**2 - 5*u + 29. Let l be t(-8). Let x = 16 + -10. Solve y = x*y + l for y.
-1
Suppose -8 = -3*h + 19. Solve -2*j + h = j for j.
3
Suppose -h - 111 = -4*x - 5, -134 = -5*x + 2*h. Suppose -n = -4, 2*s - 94 = -5*n - x. Suppose -4*v - s = -4*b, -3*b = 4*v - v. Solve 10 = -b*a - 5 for a.
-5
Suppose -r + 0*r - 2 = 0, 4*d - 5*r - 14 = 0. Solve 0 = -p + d - 2 for p.
-1
Suppose 0 = -5*o + 5, 2*b + o = 5*o + 6. Let u = -2 + b. Solve 9 = -0*k - u*k for k.
-3
Let r(m) = -2*m**3 + 2*m**2 - 1. Let a be r(-1). Suppose 5*w - a*w - 8 = 0. Solve 0*y - w*y = 20 for y.
-5
Suppose -n + 14 = 5*s - 3*n, -4*s = -2*n - 10. Suppose 14 = 3*t - s. Let y = 11 - t. Solve l = y*l for l.
0
Let y = -7 - -4. Let k be (-2 - -5)/y + 2. Solve 4 = 5*p - k for p.
1
Let w(t) = 3*t - 3. Let a be w(1). Solve v + 4 = -a*v for v.
-4
Let n(s) be the third derivative of s**4/24 + 3*s**3/2 + 2*s**2. Let d be n(-5). Solve 2*x + d = -0*x for x.
-2
Let i = 1 - -5. Let j be 22/i - (-1)/3. Solve -2*w + j = 2 for w.
1
Suppose -4*r - 5*n = 3, 4*r - 3 - 3 = -2*n. Let j be -1 + ((-1)/(-1) - -13). Suppose -2 - j = -r*c. Solve 0*m = -c*m for m.
0
Let r be (-3 + 2)/((-1)/4). Suppose 5*s + 38 = r*o, 27 + 5 = -4*s + 4*o. Let a = -3 - s. Solve -a*z + 12 = z for z.
3
Let m(i) = -3*i - 3. Let g be m(-3). Suppose -2*u + 18 = -3*d + g, -2*d - 23 = -3*u. Solve -4*r = 3 + u for r.
-3
Suppose 2*o - o = 4, 5*b = -5*o + 45. Suppose -20 = b*y, y + 3 = -5*r - 1. Let q be ((-8)/(-10))/(2/5). Solve q*c = -r*c - 2 for c.
-1
Suppose -3*d = p - 2*d - 28, 4*p - 116 = -5*d. Let f = p - 13. Suppose -5*k + 19 = -f. Solve k = -t - t for t.
-3
Let a(s) = s**2 + 3*s + 4. Let y be a(-4). Solve -5*p + y = -p for p.
2
Let u = 1 - -1. Suppose 6 = l + u*l. Solve 0 = l*z - 2 + 4 for z.
-1
Let z(x) = -4*x**3 + 4*x**2 + 12*x - 7. Let q(v) = -5*v**3 + 3*v**2 + 13*v - 6. Let p(m) = 3*q(m) - 4*z(m). Let y be p(8). Solve y*k = -k for k.
0
Let j(q) = q**3 - 2*q**2 - q. Let h be j(-1). Let o = h + 8. Solve 0 = -2*l + o - 0 for l.
3
Let l = 24 + -8. Let h = l + -16. Solve 5 = f - h*f for f.
5
Suppose -4 = -2*m + 2. Suppose -s = -1 - 1. Solve 0 = -m*d - 4 - s for d.
-2
Let y = 21 + -17. Suppose -6 - 18 = -2*l. Solve y*n = 4 + l for n.
4
Let l(d) = -d + 3. Let o be l(2). Let z be (-2)/(-1) + 0 + o. Solve z = 