2*x + 5*c, c = x - 2*c + r for x.
-5
Suppose -2*o - m + 14 = 0, -2*o = -m - m - 2. Let a = -32 + 58. Solve 4*r = -3*s - 0 + 4, 0 = 3*r - o*s + a for r.
-2
Let k(v) = -v**2 - 10*v + 15. Let s be k(-11). Suppose 3*i = a - 33, -s*i = a - 4*a + 89. Let j = a + -25. Solve -8*n + 3*n - 12 = -3*z, 0 = -n + z - j for n.
-3
Let m = -2 - -4. Let t = 4 + 3. Suppose -2*b = -1 - t. Solve -y = -b*c - c + 15, m*y - 14 = -c for c.
4
Let j = -32 - -45. Suppose j*u - 17*u = 0. Solve 4 = 3*d + 5*g, -3*d - d - 3*g - 2 = u for d.
-2
Suppose 313*g - 308*g - 15 = 0. Solve k = -0*d - d - 3, 5*k - g*d - 1 = 0 for k.
-1
Suppose -2*d = -d. Suppose 3*a - 2*a - 4 = d. Let c be ((-36)/(-8) - a)*6. Solve -12 = -s - 4*z, -z + c = s - 4*s for s.
0
Let g = -29 - -18. Let a = g + 16. Suppose w - 2 = -o, a*o + 3*w - 2*w = 14. Solve c - o = 0, 0 = 2*v - 2*c - 2*c + 12 for v.
0
Let a = -471 + 473. Solve -5*k + u - 7 = 0, -4*k + 3*u - a*u = 5 for k.
-2
Let b be ((-15)/(-10))/((-9)/(-270)). Solve -5*p = -5*l, 3*p = -p - 5*l + b for p.
5
Let c = 16 - 10. Suppose -2*u - 3 = i + c, -u - 6 = -i. Let p = u - -9. Solve 2*d + p*z + 5 + 1 = 0, d + z + 4 = 0 for d.
-5
Let l(m) = 14*m + 28. Let j be l(-2). Solve 2*w = 3*w + 4*i + 2, j = -5*w - 4*i + 6 for w.
2
Let j = 32 + -29. Suppose j*i = 2*i. Suppose -t + 4 = t. Solve 7 = l + t*y, i*l + 2*l = -y - 1 for l.
-3
Suppose 2*k - 2*d + 48 = 0, 2*d - 1 - 19 = k. Let h = -23 - k. Solve h*s = -c - 18, 8 = -4*s - 5*c - 19 for s.
-3
Suppose 0 = 5*x + 3*l + 54, -l = -6*l + 10. Let w be x/(-9)*21/14. Solve 5*k = -4*q - 26, -w*q + 4 = 4*k + 20 for q.
-4
Suppose 17*p - 16*p - 10 = 0. Let t be (p/(-5) - 0) + -1 + 5. Solve t*w = -0*w - 4*a - 4, 0 = -3*w - 4*a - 8 for w.
-4
Let z(k) be the third derivative of k**4/12 + 11*k**3/6 + 31*k**2. Let s be z(-4). Solve n = q, -s*q = 2*q - 2*n for q.
0
Suppose 4*k = -2*v + 46, -4 = -k + 3*v - v. Suppose 10 = -5*r + k*r. Solve 2*g = p + 11, 0*g = 4*g + 2*p - r for g.
3
Let g(p) = p - 6. Suppose -3*o + 9 = -15. Let d be g(o). Solve -d*f + 4*f = -2*j - 4, 2*j = 4*f + 8 for f.
-2
Suppose 3*i + 12 - 6 = 5*t, i - 3 = 0. Solve -5 = 4*y - 3*k, -2*y + 6*k - t*k = 1 for y.
-2
Suppose 5*k - 50 = 4*k. Suppose k = 5*s + 20. Suppose 3*j + 11 = -a + s*a, 5*a = j + 17. Solve -10 = -4*y + z, -j*y + 2 = y + 3*z for y.
2
Let i = 705 - 700. Solve 3*c - 6 = z + 2*z, i = c for z.
3
Let u = 330 + -185. Let l = 146 - u. Suppose -25 = -3*j - 5*c, 7 = -j - 5*c + 22. Solve v = -6*w + w + j, -v - l = -w for v.
0
Let x(l) = -2*l**2 - 14*l - 9. Let h be x(-7). Let a be (3 - 6) + (3 - h)/2. Solve -2*u = a*u - i, -4*u = -5*i for u.
0
Let s = -248 - -250. Solve 0 = -s*n - l, 0 = -n + 2*l - 0*l - 10 for n.
-2
Suppose -3*l + 4*o = -162, 3*l + 2*o = 51 + 111. Suppose -l - 26 = -5*y. Solve 0 = -4*b + 2*h - y, -5*b - 15 = -2*h - 3*h for b.
-5
Suppose 0 = -8*z - 368 + 72. Let x = -34 - z. Solve 0 = 3*q + x*h + 12, 33 - 13 = -5*q - 3*h for q.
-4
Let y = 457 - 454. Solve -3*b = -u + y, 3*b - 3 = -u + 5*b for u.
3
Let n be (-17)/(-1) - (0 + 4). Suppose 4*t - 2*t = 10. Let j(o) = -16*o - 86. Let h be j(-6). Solve -4*d - 2*l = -l + h, -d = -t*l + n for d.
-3
Let c be (-10)/(-3)*(-8 - -14). Let y be 2/(-11) - 72/(-33). Let p be (0 + -6)*(-1)/y. Solve -12 = -5*i + 3*o, 2*i - 5*o = -p*i + c for i.
0
Let m(v) = -5*v**2 - v - 6. Let n(r) = -14*r**2 - 3*r - 17. Let d(f) = 11*m(f) - 4*n(f). Let x be d(-2). Solve x*t - 1 + 7 = 3*u, -3*u - 15 = 3*t for t.
-3
Suppose f - 1 = -2*s, -3*f = -2*f + 3*s - 1. Solve 4*p - 5*n + 13 = -f, 4*p + 2*n = 0 for p.
-1
Let a(f) = -f + 26. Suppose 0 = -4*v - g + 48, 0 = -4*v + 3*g - 19 + 83. Let x be a(v). Solve 0 = 3*y - h + x, 8*h = -3*y + 4*h - 8 for y.
-4
Suppose -6*l + 2 = -22. Solve -5*g - l*i + 5 = 0, -2*g + 3*i = -19 - 6 for g.
5
Suppose -234*q + 20 = -230*q. Solve -18 = -q*m - 2*l, 0 = 5*m + l - 0*l - 19 for m.
4
Suppose -38*n + 37*n + 2 = 0. Solve y = -y - n*o, 0 = -2*y + 4*o + 12 for y.
2
Suppose r - 25 = -5*j, -8*r = -3*r - j - 21. Suppose n + 4 = -z + 10, r*z + 24 = n. Solve 5*k + 4*v - n = 0, -3*v + 2*v - 14 = -2*k for k.
5
Let o = 20 + -20. Suppose -x + 2 = c - 1, o = -2*x + 5*c + 20. Solve 3*d + 21 - 7 = -x*h, -3*d = -h - 10 for d.
2
Suppose 0 = -3*z + 3*l, 2*l = -5*z + 5*l. Solve z = -k - a - 7, 3*k + 20 - 3 = -a for k.
-5
Let j(u) = -u - 4. Let d be j(7). Let z be (-134)/d + 4/(-22). Solve h + 4*i = z, -3*h - 2*i - 4 = -0*i for h.
-4
Let s be 14/28 - 36/(-8). Solve -16 = 3*r + s*q + 16, 0 = -3*r + q - 8 for r.
-4
Let r be (-16)/(-12)*(-3)/(-2). Let h be 5 + 2 - (0 - 4/2). Suppose h*o = 4*o - 5, -2*o = -n + 2. Solve -2*f - x = n, -5*f - x + 1 = r*x for f.
-1
Suppose 0 = 5*i + 10 + 20. Let b be i - (0 - -1 - 3). Let d be (-4)/6 - b/6. Solve -22 = 5*l + 3, d = -5*z - 4*l for z.
4
Suppose 50 + 46 = -2*v. Let p = v - -53. Solve -5*y - 2*i + 5 = i, -2*y + p*i = 29 for y.
-2
Let a(t) = -t**3 + 17*t**2 + 2. Let g be a(17). Solve 0 = -g*v + 4*m, -4*m + 0*m + 16 = 2*v for v.
4
Let s be (-10)/(-4) + 2/4. Suppose 9*f + 202 + 216 = 454. Solve -2*g = -f*h + 2*g, -40 = 5*h + s*g for h.
-5
Let g = -328 + 331. Solve -5*t - 27 = -2*s, 7 = -0*s - g*s - 2*t for s.
1
Let l(a) be the first derivative of a**4/4 - 4*a**3/3 - 2*a**2 - 5*a + 14. Let w be l(5). Solve 3*i + w = 5*u - 2, 2 = 2*i for u.
1
Suppose -4*p + 2*z = -p + 226, 2*p + 2*z + 144 = 0. Let r = p - -78. Solve -4*a + 3*d = 23, 4*a - 14 = a - r*d for a.
-2
Let f be 2/10 + 34/5. Let o(h) = h**2 - 7*h + 4. Let i be o(f). Suppose z + 6 = 4*n, 2*z + 12 = i*n + 4*z. Solve -b - 3 = n*l, 4*l + 3*b + 3 = -0 for l.
-3
Suppose 3*d - 3*i + 90 = 0, 3*d + i + 17 + 65 = 0. Let j = d - -31. Let p = -8 - -12. Solve -j*v - 6 = -3*l, 18 + 5 = -p*v - l for v.
-5
Let i be (-26)/5*25/(-10). Let w = -11 + i. Solve 4*s - 18 = -6, 5*c - s = w for c.
1
Suppose 5*d - 5 = -4*q, -q = -0*q + 5. Suppose -3*v + 2 + 0 = m, 0 = v. Solve 4*r + d*l - 29 = 0, -m*r + 5*l - 3 = 20 for r.
1
Let d be 65/20 + (3 - (-26)/(-8)). Solve -3*n + 2*n = 5*q + 15, -q - d = -4*n for q.
-3
Let b be (-4)/(-10) - 108/(-30). Suppose 0 = -k + b. Suppose 5*u - 9 = v + 2*v, 3*u + 1 = 5*v. Solve 0 = k*a - 4*h + 16, -3*a - 2*h = u*h - 4 for a.
-2
Suppose 2*k = -t - 3, -3*t - 5*k = -5*t + 21. Solve 5*c - t*s + 4 = 17, -c - 5*s = 3 for c.
2
Let r be (-12)/(-54) - (-34)/9. Suppose r*s - 193 = -73. Solve p + 10 = -6*l + 3*l, 5*l = p - s for l.
-5
Let z = -1279 + 1281. Solve -4*k - 5 = 2*s + 13, 4*k - 2 = z*s for s.
-5
Let d be (-69)/(-115)*(-40)/(-6). Solve -n + 4 = d*x, -4*x + 20 = -0*n - 3*n for n.
-4
Suppose 7*l = 3*l. Suppose 4*d - 9*d = l. Let m(p) = p**2 + 2*p + 31. Let s be m(d). Solve -s = -6*c + 3*c - 4*b, -4*c - 5*b = -40 for c.
5
Let i be (-10)/12*(-13 - (-42)/6). Solve 0 = 5*j - 2*t - 14, -i*t + 4 = 2*j + 10 for j.
2
Let a = 10 - 12. Let x be -6*(a - 10/(-6)). Solve -5*p - 15 = 2*i, 2*p = -x*p + i + 1 for p.
-1
Let p(h) = -81*h - 321. Let w be p(-4). Let q be (1 - 0)*-1 - -3. Solve -q*k + 5 = -5*d + 1, -w*d + 4 = 2*k for k.
2
Suppose -t + 5 + 35 = 0. Let k = -35 + t. Suppose 3*g - 17 = 7. Solve -k*y + 7 = j + 2*j, -3*j = 4*y - g for y.
-1
Suppose 31 = 4*p + 5*u, -42*p - 2*u = -47*p + 14. Solve -4*j + 0*z - p*z + 12 = 0, z = -2 for j.
5
Let a = -13 - -12. Let q be 2 + -1*26/a. Let y be 260/q - 4/14. Solve -2*i + x = y, 2*x + 0 = 3*i + 15 for i.
-3
Suppose -3*n - 5*f = -68, -2*n + 44 = 5*f - 2*f. Solve -17 = 5*u + 3*x, 4*x - n = 2*u + u for u.
-4
Suppose 0 = 4*u - 5*j + 3, 3*u - 2*j - 3*j = -6. Solve -u*n + 5*k = 9 + 4, 0 = -2*n - 3*k + 4 for n.
-1
Suppose n - 136 + 138 = -r, 0 = -5*n + 5*r + 30. Let c(t) = -3*t - 1. Let g be c(-1). Solve 3*a + 3*j = n*j + 13, g*a - 2*j = -2 for a.
3
Let b be (0 + -1)*-1*25. Let o be ((-40)/b)/((-2)/20). Solve 0 = t - 2*d - 8, 3*t + 4*d = -t - o for t.
0
Let q(b) = 4*b**2 + 6*b - 7. Let o be q(3). Suppose 1 = 12*x - o. Solve 2 = 2*m + x*z, -4*z = m + 4*m - 17 for m.
5
Suppose -122 = -20*u - 22. Solve u*y + 5*t = 10, -2*y + 5*t + 9 = 8*t for y.
-3
Let a(q) = 2*q**2 - 16*q + 48. Let g be a(6). Let x be ((-2)/(-6))/(-3 - (-74)/g). Solve 0 = -x*l - h + 10 + 9, -l - h + 7 = 0 for l.
4
Let l = -10 + 13. Suppose -l*j + 29 = 17. Solve 0*w - t = -w + 4, w = -t - j for w.
0
Suppose 82 + 206 = 4*i. Let t be ((-4)/6)/((-16)/i). Solve 2*f + 0*f - 24 = -4*o, -t*o - 3*f = -24 for o.
4
Let t be ((-19)/3 + 1)*9