 -5*t - 5*c, -4*t + 16 = t + 3*c. Solve 1 = -t*u - 9 for u.
-5
Let k(c) = 4*c - 1. Let a be k(1). Suppose a*x - 10 = 2. Solve x*s - 2 - 2 = 0 for s.
1
Let i = -14 + -2. Let u = -13 - i. Solve -u*g - 3 = -6*g for g.
1
Let c be (-4)/2 + 1 + 4/2. Solve -c - 2 = y for y.
-3
Let w = 10 + 0. Let d = -6 + 6. Suppose -5*h + 10 + d = 0. Solve 0 = 4*z - h + w for z.
-2
Let l(z) = z**2 - 12*z + 5. Let d be l(12). Solve d*r - 8 - 2 = 0 for r.
2
Let o(z) = -z - 4. Let r(g) = -2*g**2 - 4*g - 2. Let j be r(-3). Let q be o(j). Let t be q - (-4)/(0 - -2). Solve 4*l - t = 2 for l.
2
Let d(k) be the third derivative of -k**6/120 + 2*k**5/15 + k**4/3 + 11*k**3/6 + 6*k**2. Let o be d(9). Solve o = -z + 1 for z.
-1
Suppose -2*a = 14 - 22. Solve -d - a = d for d.
-2
Let w = 22 - 16. Suppose -2*a = -w*a. Solve 4*p + 0 - 4 = a for p.
1
Suppose w - 2*t + 4 = 3*w, 0 = 3*t + 9. Suppose c + c - w*i = 30, -c - 3 = 2*i. Solve -3*a - 10 = c for a.
-5
Let x(o) = 3*o + 8. Let n be x(8). Let m = -28 + n. Solve 0*p + m*p = -16 for p.
-4
Let p(k) = 2*k**2 - 2. Suppose -3*u + 11 = -4*q - 9, 2*u = 4*q + 16. Let o be p(q). Solve -o = 5*f + 4 for f.
-2
Let y = -22 - -12. Let g be 46/14 - y/(-35). Suppose -g*a - 30 = -8*a. Solve -4*o = -o + a for o.
-2
Let q be 7/2 - (-3)/6. Solve -q*u + 2*u - 4 = 0 for u.
-2
Let a(d) = -d**2 - 9*d + 12. Let u be a(-10). Solve m - u*m = -1 for m.
1
Let u(p) be the second derivative of -p**5/20 - p**4/3 + p**3/2 - 3*p**2 - 3*p. Let q be u(-5). Solve 6*l + 2 = q*l for l.
-1
Let l(q) = 2*q**2 - 8*q - 5. Let t be l(6). Suppose 5*k = -2*r + t, 2*r - 4 + 0 = 0. Solve -6*o + 12 = -k*o for o.
4
Let k be (6 + 0)*3/9. Solve -4 = -4*r + k*r for r.
2
Let k be (-3 + 4)/(-1 + (3 - 1)). Suppose -19 = -4*i + i + 4*g, -5*i = 5*g + 15. Let f = k - i. Solve -a + 6 - 4 = f for a.
2
Let q(b) = b**2 + 3*b + 1. Let x be q(-3). Let v be (-3 - -1)/(-2 + x). Solve 0*g - 2 = v*g for g.
-1
Suppose 2*q = 4*q + 2*d - 8, -d = 2*q - 7. Suppose 4*l = -2*j, q*l = 2*j - l. Solve j = -8*b + 3*b for b.
0
Let h = 190 + -123. Suppose 4*s - h = 13. Solve 4*v - s = -0 for v.
5
Let a(s) = s**3 - 8*s**2 - 7*s - 3. Let q be a(9). Suppose -2*b + 8 - 2 = -r, -5*b + q = 3*r. Solve g - b = -2*g for g.
1
Let n be -1 + (-2 - (-1 - -1)). Let u be 1*(1 + n/(-3)). Let x be -3*-4*(-2)/(-6). Solve x = -r + u*r for r.
4
Let u(f) = f**3 - f**2 + f - 1. Let g be u(1). Let r be (g - -2)*(-26)/4. Let i = 23 + r. Solve -4*p - i = p for p.
-2
Let h(w) = w**3 + 7*w**2 + 5*w + 3. Let d be h(-6). Let q be (-1)/(-3)*(d - 0). Let p = 6 - q. Solve 0 = -p*y - 2*y for y.
0
Let b be (2/(-6))/((-7)/21). Solve 4*c = 3*c + b for c.
1
Let k(r) = 13*r - 2. Let t be k(2). Let y = -16 + t. Solve 3*n - n = -y for n.
-4
Suppose -t = 5*q - 24, q + 0*q + 42 = 5*t. Let n = t + -6. Solve 0 = -2*v + n*v for v.
0
Suppose m = 3*b + b + 40, 43 = -3*b + 4*m. Let u = -7 - b. Solve d + u*d = -9 for d.
-3
Let u be 74/10 - 10/25. Suppose -29 - u = -4*n. Solve 2*s - 1 = -n for s.
-4
Let y(k) = -5*k**3 + 4*k**3 + 5*k**2 + 2*k**3 - 5 - k. Let m(v) = v**2 - 10*v + 4. Let b be m(9). Let c be y(b). Solve c = -3*j - j for j.
0
Suppose 0 = 5*c - 4*c. Let u be (2 + -2)/(-1 - 1). Let n be 3/(-6)*u/2. Solve n*w + 2*w = c for w.
0
Suppose -n = z - 22, -2*z = 3*n - 0 - 46. Suppose 2*y + 5*s = -3*y + 30, -5*y + z = -5*s. Let a = y + -3. Solve -2*g = a*g + 16 for g.
-4
Let h be 56/21*(-15)/(-4). Suppose 0*m = 5*m - h. Solve 0 = -m*x - 3*x + 15 for x.
3
Let z be 0 + 1 - -2 - 2. Suppose 5*j = j + 20. Suppose -j*i + 16 + 9 = 0. Solve -2*l + z = i for l.
-2
Let m be (-238)/(-63) - 4/(-18). Solve 0 = r + m - 3 for r.
-1
Let q(l) = 6*l**2 - 3*l. Let g be q(1). Solve g*t - 13 = -1 for t.
4
Let y(j) = -j**3 - 6*j**2 - 5*j + 4. Let a be y(-5). Let k = -46 + 48. Solve -a = k*u - 10 for u.
3
Suppose 2*l + 8 = 2*p, -4*p + 4*l = -p - 10. Let d be (5/(-3) - -2)*39. Suppose 5 = -2*w + d. Solve -p = w*j - 2*j for j.
-3
Let k = -19 + 22. Solve -5*f - 2 = -k*f for f.
-1
Let b be 8/(-6)*(-18)/8. Solve b = -5*w - 12 for w.
-3
Suppose -6*r + 15 = -5*r. Solve 5*i - 40 = -r for i.
5
Let x be (-30)/24 + 1/4. Let u be (-2)/(x/2*2). Solve -u*k - 6 = -5*k for k.
2
Suppose 11*n = 24*n - 78. Solve 2*b + n + 2 = 0 for b.
-4
Let n = -44 + 45. Solve -x - n - 2 = 0 for x.
-3
Let w = 8 - 4. Let a(o) = o + 7. Let j be a(-7). Suppose 7*v - 2*v = j. Solve x = -w - v for x.
-4
Suppose 36 = 4*p + 28. Solve 0 = -p*b + 6*b - 20 for b.
5
Suppose -4*n + 12 = -12. Solve -k + n*k = -20 for k.
-4
Suppose -4*f = f - v - 16, -f + 2*v - 4 = 0. Suppose -m + 4 = f*m + 4*y, m + 5*y = 5. Suppose -16 = -2*g - m. Solve 4*j + 0*j + g = 0 for j.
-2
Suppose 10 = 3*k - r, 2*k - 5*r - 16 = -2*r. Let u = k - 0. Solve 0 = u*x + 2 - 4 for x.
1
Suppose 4*y = -0 + 12. Solve p - 2*p - y = 0 for p.
-3
Let m be 1 - -2 - (-3)/(-1). Solve -3 = -m*n + n for n.
-3
Let p(h) = -h - 11. Let r be p(-11). Let w = 17 - 11. Suppose r = 3*g - w - 0. Solve -6 + 0 = -g*c for c.
3
Let t(h) be the first derivative of -h**2/2 - 14*h + 6. Let k be t(-14). Solve -2*c + k = 8 for c.
-4
Suppose -60 = -5*k - 5. Suppose 0*f + f = k. Solve 0 = 4*c + 9 + f for c.
-5
Suppose 5*y - 10*y = 3*t + 19, 20 = -4*y. Solve -6*w = -4*w + t for w.
-1
Let l(u) = -9 - u**2 + 8*u - u**2 + u**2. Let s be l(6). Suppose 0 = -2*v + s*a + 1, -5*v + 12 = a + a. Solve 3*c + v*c = -10 for c.
-2
Let g(t) = t + 16. Let w be g(-11). Let x = -3 + w. Solve -x = -5*u + 8 for u.
2
Suppose -12 = t - 5*r, -4*t + 3*r + 2 + 1 = 0. Suppose -t*u + 2*u = -1. Suppose 3*i = -u + 10. Solve 15 = -i*y + 8*y for y.
3
Let j = -45 + 53. Solve -u + 4 - j = 0 for u.
-4
Suppose -x = -0*x. Solve 0*z + z + 4 = x for z.
-4
Let c = 1 + 2. Let k = c - 3. Let p be (1 + k)*6 + -2. Solve -2*t + 4 = -p*t for t.
-2
Let p(w) = -w**3 - 7*w**2 - 6*w - 2. Let o = -8 - -2. Let v be p(o). Let y = 3 - v. Solve -17 = y*q - 2 for q.
-3
Suppose -2*n = 2*v + 1 + 9, -2*n + 2*v = -10. Solve n*d - 4*d - 16 = 0 for d.
-4
Let n = -9 - -1. Let g = 11 + n. Suppose 0 = 2*f - 4. Solve f*z - g = -z for z.
1
Let c = -37 + 47. Solve 6*u - c = 4*u for u.
5
Let z be (3/2)/((-3)/(-52)). Suppose -q + z - 2 = 0. Suppose k = 5*k - q. Solve -k - 3 = -3*p for p.
3
Suppose 3*b - 15 = -2*b. Suppose 0 = 4*t - b*p - p - 24, -2*t + 3*p + 16 = 0. Let q be t/(-4)*(-3 - -3). Solve k + 0*k - 1 = q for k.
1
Let f(i) = i. Let g(u) = 5*u - 2. Let h(c) = 4*f(c) - g(c). Let z = 3 - 7. Let j be h(z). Solve 2*w - 12 = j*w for w.
-3
Let x(t) = -t**2 - 6*t - 6. Let m be x(-3). Let k be (-2)/8 - 25/(-4). Solve 3 + k = m*f for f.
3
Let r be 0 - 1*-1 - 39. Let z be 24/20*(3 + -21 + 3). Let l = z - r. Solve -4*u = u + l for u.
-4
Suppose -2 = 2*o + 6. Suppose -5*f + 4 - 34 = 0. Let g be ((-6)/o)/((-3)/f). Solve 0 = 5*v - 2*v - g for v.
1
Let j = -28 + 28. Solve j = -4*i - 0*i for i.
0
Let q(w) = w**3 - w**2 + 1. Let b be q(0). Let y(x) = x**3 - 4*x**2 + 3*x - 3. Let c be y(4). Let h = -5 + c. Solve h*o - b - 11 = 0 for o.
3
Suppose 4*i - 5 - 3 = 0. Let m(g) = -g**3 + 3*g**2. Let u be m(i). Solve u*p + 9 = p for p.
-3
Let f(s) = -s**2 - 4*s + 4. Let r be f(-4). Suppose 3*d = -0*d + 15. Suppose -d*m + 2 + 8 = 0. Solve -a - r = -m*a for a.
4
Let p = -6 + 9. Suppose 0 = m + 5*n + 14 - 3, n + p = 0. Let s = 8 - m. Solve -d - d + s = 0 for d.
2
Let p be (5/(-2))/((-10)/(-4) + -3). Solve -p*k - 7 - 3 = 0 for k.
-2
Let c = 45 - 43. Let r be 0 - (-1 - -1)*1. Solve c*t + r = -8 for t.
-4
Let h = -16 - -16. Solve 3*s + h*s - 6 = 0 for s.
2
Let k be 7*6/189 - 79/(-9). Solve 0 = -4*u + k*u for u.
0
Suppose -3*z + 5*z = 0. Suppose z = 3*s + 5*q + 19, -s - 3*q - 21 = -4*s. Let u(t) = -4*t - 12. Let x be u(-7). Solve -s*p - 2*p = -x for p.
4
Let d(y) = -3*y + 5. Let u be d(7). Let f be 6/(-8) + (-12)/u. Let b = 9 + -5. Solve f = 4*k - b - 0 for k.
1
Suppose 0*g + 8 = 4*g. Let t be (-14)/(-77) - g/11. Solve t = f + 4 - 0 for f.
-4
Let x be -3*4/((-24)/10). Suppose -x = -j - 3. Suppose -30 = -2*p - s, -3*p - j*s = -4*s - 31. Solve 0 = -4*b - p - 7 for b.
-5
Let i = 32 + -52. Let s be ((-10)/(-8))/((-5)/i). Suppose -10 = -0*u - 5*u. Solve 18 = s*w - u for w.
4
Let y(f) = 9 + f**2 - 3*f - 7 - 9. Let v be y(5). Solve -v*x = -5*x for x.
0
Let r(h) = 7*h**3 + h**2 - h + 1. Let m be r(1). Let x(t) = t + 12. Let g(w) = -w**2 - 2*w + 1. Let y be g(-4). Let o be x(y). Solve o*d 