 + 2*c. Let w = c - 3. Solve w*u + 10 = -2*y, 0 = -5*u + 2*y + 10 for u.
0
Suppose -5*l - 19 = -74. Let g = l + -5. Solve 3*m = -t + g*m + 20, 0 = -t - 2*m - 5 for t.
5
Suppose -3*v + 2*v + 2*f - 20 = 0, 0 = f - 3. Let q be (2 - v/(-6))*-6. Let w(z) = -z**3 + 1. Let r be w(1). Solve q*u + 3*g + 3 = 7, -2*g + 4 = r for u.
-1
Suppose -4*v + 12 = 0, -2 = -r + v + 2*v. Let k = r - 4. Solve m = -3*i + 19, 2*i - k*i + 5*m + 5 = 0 for i.
5
Suppose 9 + 6 = 5*a. Let d be 0 - ((3 - 3) + -4). Solve 4*i + v - 8 = 0, 2*v + 5 = -a*i + d*v for i.
1
Let g = -22 + 26. Solve 0 = -5*j - 20, 0*j + j + g = 3*v for v.
0
Suppose 65 = 5*n + 50. Solve 2*o + o = n*i + 3, 3*o = 5*i + 5 for o.
0
Let m = -2 + 8. Suppose -o + m*o - 10 = 0. Suppose -v = -o*v + 2. Solve 0 = v*x - 10, 10 = -4*d - d - 2*x for d.
-4
Let l(c) be the second derivative of -c**3/6 + c**2/2 - 3*c. Let m be l(-1). Solve -1 = m*f - 3*n, -1 = f - 2*n - 2 for f.
-5
Suppose 1 + 3 = 2*c. Let m be 35/11 - (-2)/(-11). Solve -4*t = -4*p - 20, -m*t - c*p + 0*p = -10 for t.
4
Suppose -2*r = -7*r + 15. Solve -2*u + 3*j - 18 = 0, 0*j + r*j = 4*u + 24 for u.
-3
Let c(m) = 7 - 3 - 1 - 4 - m. Let z be c(-1). Solve 3*o = g - 12, -5*o + z*o - 19 = -2*g for g.
-3
Suppose -2*u - 6 + 50 = 4*v, -5*u - 85 = -5*v. Solve 2*q = 2*x - 16, -2*x - 2*q + v = -3*q for x.
5
Suppose 4*x = 4*k - 5 - 3, 4*k - 35 = -5*x. Solve -3 = x*y - 3*j, 0 = -0*y + 2*y - 5*j - 10 for y.
-5
Suppose 126 = 4*u - g, 2*u = g + 81 - 19. Suppose j + 16 = 5*j. Solve -j*r + 4 = -4*a, -4 = -4*a - 4*r + u for a.
4
Suppose t = -0*u - 3*u + 6, 0 = 5*u + 5*t - 10. Solve -h - n = -u*h + 7, -5*n - 8 = 4*h for h.
3
Suppose 15*a = 20*a - 25. Solve -4*p - a + 25 = 3*v, -20 = -5*v for p.
2
Let y(c) = -c - 3. Let d be y(-6). Solve -2*n = d*m + 7 + 1, 3*n = -m + 2 for m.
-4
Let a be (-9)/(-2) + 3/6. Solve 0*w - a*r - 10 = -2*w, 5*w + 3*r = 25 for w.
5
Let w(y) = y**3 + 2*y**2 - 4*y - 1. Let g be w(3). Let l = g + -16. Suppose -l = -o - 3*o. Solve 0 = 3*d + 2*u - o, 3*d + 5*u - u = -4 for d.
4
Let y(s) = -12*s. Let t be y(-1). Solve 0 = -4*l - 4*k + t, 0*l + l + 17 = 3*k for l.
-2
Let g = -6 + 8. Let v(k) = 5 + 2*k**3 - 3*k**3 + 0*k + 4*k - 3*k**g. Let x be v(-4). Solve 3*c + 2*c = -5*f + 30, 4*f = -x*c + 25 for c.
1
Let y = 8 + -5. Let a = 0 - 0. Let v = a + y. Solve 2*l - 13 + v = -5*b, 0 = -2*l - b + 2 for l.
0
Suppose 3*c = -16 + 28. Solve 5*v + 4*b + 4 = -11, 4*b - 12 = c*v for v.
-3
Suppose 24 = 4*s - 4*y, 0*s - y - 4 = s. Let h be ((-12)/2)/(s*-2). Solve 2*f = -2*w + 10, -1 = -2*f + 4*w + h for f.
4
Let v = 7 + -5. Suppose v = -t + 6. Suppose -2*l + 14 = 2. Solve 4*z - 5 = -z, -2*b = -t*z + l for b.
-1
Let l(k) = k**3 + 7*k**2 - k + 9. Let a be l(-7). Solve m - 4 = -2*g - a, -3*m + 2*g = -4 for m.
-2
Let b(a) = -a - 1. Let z be b(-8). Solve -2*l + 22 = 4*x, -z*x + 29 = -2*x + 4*l for x.
5
Suppose 0 = 4*b - 4*g - 4, -16 = -3*g - g. Solve -5*c + 2*m = -c + 18, 0 = -m + b for c.
-2
Suppose 4*v = -0*d - 3*d + 14, -5*d = 2*v. Solve v*h + 10 = -5*k, 6*h - 2*h - 4*k = 8 for h.
0
Suppose 0*r + 2*r = 0. Let w be (r/(-1*4))/2. Solve -d + 1 = w, 3*d - 5 = 3*s + 7*d for s.
-3
Let k(d) = 2*d - 13. Let r = -18 + 27. Let a be k(r). Solve -2*s + 6 = 0, n - a*s - 3 = -16 for n.
2
Let t(q) = -q**2 - 10*q - 9. Let r be t(-9). Suppose r = 5*y + 25, 4*x - 26 = -y + 3*y. Solve -4*w - 18 = -b, w = x*b - 6*b for b.
2
Let v be ((-2)/3)/((-3)/9). Let x = v - 4. Let d(j) = -j**3 - j**2 + 2*j. Let i be d(x). Solve 3*q - 8*q = 5*c - 35, -4*q - c + 22 = i for q.
5
Suppose -f + 2 = -1. Suppose 0 = f*i + 2*i - 15. Solve 0 = i*q + 3*a + 12, -a - 2 = a for q.
-3
Let b(l) = l**2 + 19*l + 36. Let f be b(-17). Solve 0 = m - 5*h + h + 13, 6 = f*h for m.
-1
Suppose 0*j = 4*j - 16. Suppose -5*p + 2 = -j*p. Solve l - 7 = 5*u, -p + 9 = -l - 2*u for l.
-3
Let i be 2 - 2 - -8*1. Solve o - 1 = -i*p + 3*p, -p - 3*o - 11 = 0 for p.
1
Let u be -2 + 2 - (-6 - -4). Solve -5*k - 4*j = -21, -u*k - 4*j + 8 = -10 for k.
1
Let u(n) = -2*n**2 - 13 - 4*n**3 + 13 - n. Let d be u(-1). Solve -4*g - 35 = -5*w, -2*g = 2*g + d*w + 11 for g.
-5
Suppose -f + 3*r + 10 = r, 3*f - 5*r - 27 = 0. Solve 5*m = 4*w - 20, 2*w = -0*m + m + f for w.
0
Suppose 5*q = -3*q + 24. Let x(u) = -12*u - 1. Let c be x(-1). Solve -h + 2*f = -f + c, -3*h - f - q = 0 for h.
-2
Suppose -2*b - 19 = -5*p + b, 0 = -3*p - 2*b + 19. Suppose 3*g - p = 2*g. Solve g = -k + 10, 4*w + 4*k = 0 for w.
-5
Suppose -p + 5 + 6 = -2*x, -5*p + 2*x + 15 = 0. Suppose -y + p = -2. Suppose -y*a + 16 = -5. Solve -2*r - 3*o = -7 + 2, a = 5*r + 2*o for r.
1
Let c be ((-12)/30)/((-2)/(-130)). Let t = -8 - c. Suppose -2 = -5*g + t. Solve 0 = x - 4*w - 10, -g*w + w - 6 = 0 for x.
2
Let x(w) be the first derivative of -w**2/2 + 18*w + 7. Let h be x(16). Solve 3*c + m + 11 = -1, -h*c - 2*m = 8 for c.
-4
Suppose 0 = -11*k - 3*k + 84. Solve k*q - 3*q = -2*c - 12, -4*c - 2 = -5*q for q.
-2
Suppose 0 = -3*w - 5 + 266. Let z = 128 - w. Solve 3*x + h + 21 = 7*x, 5*h + z = 4*x for x.
4
Suppose 4*o - 2*x = -x + 5, 5*o = -5*x. Let m = 1 + o. Solve -2*w = 3*k + 11, -2*k + 0 = m*w + 6 for k.
-5
Let t(i) = 3*i**2 - 3*i - 2. Let a be t(-1). Solve 0 = 3*y + 12, -q - a*y - y - 20 = 0 for q.
0
Suppose 4*f = 8, -3 - 3 = -3*w + 3*f. Let k be (-1)/(2/(-8)*-2). Let c be -1 + 1 + 0/k. Solve -13 = 3*b - w*i, c = -b + 4*i - 4 - 3 for b.
-3
Let a be (-92)/9 - (-4)/18. Let j = a + 16. Let z = j + -3. Solve 4*m + 10 - 37 = z*x, -2*x - 16 = -2*m for x.
-5
Let h = 16 + -8. Let n(k) = -3 - 2*k**3 + k**2 - 6*k**2 + 5*k + 0*k**3 + k**3. Let c be n(-6). Solve -2*t - 14 = 3*o - 37, -c*t + 4*o - h = 0 for t.
4
Let u(l) = l**2 - 7*l + 5. Let y be u(7). Solve 3*r + 19 + 0 = 2*z, -y*r = -z + 20 for z.
5
Suppose a = 4, 3*a - 32 = -3*k - 11. Solve 4 = -2*p - 6, -9 = 3*f + k*p for f.
2
Let a = -84 - -85. Solve w - 21 = 5*i, 2*w + 2*i = a - 7 for w.
1
Let s be (8/3)/(24/108). Suppose 2*i = 4*w - s, -3*i + 5*w = 2*i + 5. Solve 0 = -2*j - 6, -4*t - 2*j = i - 2 for t.
1
Let g be 14/(-21)*(-1 + -5). Solve -2*x + 2 = m, 0 = g*x - 2*m - 0*m + 12 for x.
-1
Let u = -14 - -15. Suppose -3*l + 11 = -u. Let x be 2/8 + 38/8. Solve 19 = -c - x*z, c - l*z = -0*z + 8 for c.
-4
Let h be 4/(-6)*(-43 + 10). Let v = 15 + h. Solve -5*m + 3*f = -f - v, -2*f + 14 = 4*m for m.
5
Let h(f) = f - 1. Let d be (-4)/(-10) + (-126)/(-35). Let n be h(d). Solve 0*g - 13 = n*l - g, 2*g - 10 = 2*l for l.
-4
Suppose -h - 6*m - 2 = -5*m, 4*h - 3*m - 20 = 0. Solve 0 = 4*c - 2*t - 14, 5*c - h*t = -4*t + 13 for c.
3
Suppose -7 = 11*t - 84. Solve 4*o + t*u - 12 = 3*u, -o + 8 = -4*u for o.
4
Let z be ((-2)/(-7))/((-5)/(-35)). Solve -2*a + 6 = -z*o, -13 = a - 4*a + 5*o for a.
1
Let h be 8/3*3/2. Suppose h*s - 12 + 4 = 0. Suppose -d + 4*p = -s*d - 15, 0 = d + 2*p + 7. Solve 5*z + 5*f + 25 = 0, -2*z - 4 - d = -3*f for z.
-4
Suppose 48 - 39 = 9*f. Let g be 2/(-5) + (-27)/(-5). Solve g*p - 5 = 0, -2*z + 8 = -3*p + f for z.
5
Let b be (-724)/(-18) - 2/9. Suppose 0 = 3*s + 15 + 21. Let k = 17 + s. Solve 6 = -2*m - 0*p + 4*p, -b = -4*m - k*p for m.
5
Suppose a = 2 - 0. Suppose 3*c = a*c + 4. Solve 4*j - n + 25 = 0, -30 = c*j + j - n for j.
-5
Suppose 8 = -c - c - 5*k, 0 = -c + 3*k + 7. Let n be 20/15*c*3. Suppose 0 = 3*y - 10 - 5. Solve -4*o - y*r = -35, -2*o + 5*o - n*r - 3 = 0 for o.
5
Let k(o) = -o**3 - 4*o**2 + 8*o + 3. Let m be k(-5). Let h = 16 + m. Solve 5*z - h + 27 = -2*d, 4 = 2*d - 4*z for d.
-4
Let x(a) = -a - 1. Let r(h) = -h - 8. Let y(v) = r(v) - 6*x(v). Let d be y(1). Solve 0 = d*t + 2*t + 5*g - 5, t + 2*g = 0 for t.
2
Let q be 44/6 - (-6)/9. Suppose -3*v + 4 = 2*r, 4 = -4*v + 3*r - q*r. Solve v*u + 4*j = -28, -2*u - 5*j = -0*u + 20 for u.
-5
Suppose 0 = s - 0*s - 2. Let d = -4 + 11. Suppose s*b = 25 - d. Solve -3*n = -h - 3*h + b, 5*h = -3*n - 9 for n.
-3
Suppose 0*v - 4*v - k = -8, -k - 10 = -2*v. Solve 0*j - 3*j - 9 = 3*n, v*j - 1 = -n for n.
-5
Suppose 5*k = -5*h + 70, h + 54 = 3*k - 0*h. Let x = -9 + k. Solve x = -3*v - 0*s + s, -20 = v + 4*s for v.
-4
Suppose 4*a + 50 = x + 4*x, 0 = -4*x - 2*a + 40. Let f = x - 6. Let r be 3/2*(-72)/(-27). Solve -1 = 4*n + 6*z - z, -f*z = r for n.
1
Let b(i) = i**3 - 3*i**2 - 3*i. Let k be b(4). Suppose -c = -k*c + 3*u + 3, 2*c + 5*u = 16. Solve -c*r = -2*g - 7, -4*g = -r + 2*r - 21 for g.
4
Suppose 0 = -c + 2