 -5*c. Solve 0 = -5*r + c*r + 12, 4*l - 5*r = -8 for l.
3
Suppose -d = 16 - 18. Solve -r - g = -d, -3*r + 4*g + 10 = -r for r.
3
Let g be 12/21*(-21)/(-6). Suppose 2*f + 12 = -g*f, 2*u = 4*f + 14. Solve p = 5, 2*j - 2*p - u + 3 = 0 for j.
4
Suppose s + 4*y + 18 = 0, 3*s = -0*y - y + 1. Solve -7 = -4*r + 3*h - 29, -r = -s*h + 8 for r.
-4
Suppose 9 = 5*c - 5*h - 36, 0 = 3*c - 2*h - 25. Solve -o + u - 3*u = -c, -4*o + 2*u = 2 for o.
1
Let u(r) be the first derivative of r**2/2 - r - 5. Let h be u(4). Solve -k = -h*i + 4, 25 = -5*k + 3*i + 5 for k.
-4
Let a = 0 - -6. Solve 0 = -3*m - 5*f + 10, 4 + a = -4*m - 2*f for m.
-5
Suppose -2 = -6*n + 4*n. Solve 3*x = 2*d + 18, -4*x + 3*d - 8*d = -n for x.
4
Let b be 10/(-2)*(-2)/5. Let f(w) = -w + 2. Let n(k) = 2*k - 3. Let m(t) = -5*f(t) - 3*n(t). Let v be m(-6). Solve 3*r - v = -2*r + 3*q, -2*r = -2*q + b for r.
4
Let m be 114/22 - ((-96)/(-44) - 2). Solve -3*w = m*z - 27, 0 = -3*w - 2*z + 14 + 4 for w.
4
Let q(v) = 2*v + 4. Let w be q(-8). Let b be (3/w)/(2/(-8)). Solve -g = 3*z - b, 2*z + 10*g + 21 = 5*g for z.
2
Suppose t = z - 3*t - 11, 0 = -4*z + t + 14. Let u(i) = i - 3. Let h be u(5). Solve a + 17 = 5*k, k + h = -2*a + z*k for a.
3
Suppose a = -a + 48. Let q = a + -16. Solve -s + q = -2*z, z - 2*s = -4*z - 21 for z.
-5
Let k = -2 + 5. Suppose 2 = -2*v - z, -3*z + 5 = -2*v + k. Let d(o) = 3*o**2 + 2*o + 1. Let w be d(v). Solve 0 = 2*l - w, -t + 0*l + 2*l + 2 = 0 for t.
4
Let j be (-12)/(-30) - 13/(-5). Solve j*y - 40 = 5*t, -15 + 0 = 3*t for y.
5
Let a = -17 - -30. Let d = 17 - a. Solve -m = 4*g + 4*m + 16, d*g = -m - 16 for g.
-4
Suppose -2*z = -2*a - 34, -5*z = 5*a - 15 - 20. Suppose i + 5*t - 21 + 7 = 0, -i - 3*t = -10. Solve 0 = -4*b + 5*h + 27, b - z = -h + i*h for b.
3
Let c(y) = y**2 + 2. Let s be c(4). Let l(k) = k - 6. Let z be l(11). Suppose -z*p = -3 - 7. Solve -d + 5*x = -s, -2*x - p*x - 3 = 3*d for d.
3
Let l(h) = -3*h**2 - h. Let x(a) = 7*a**2 + 2*a. Let n(q) = 9*l(q) + 4*x(q). Let w be n(0). Solve i = -2, 2*j - 2*i + w = 2 for j.
-1
Let b = 8 - 6. Let i(v) = -v**3 + v - 1. Let u(y) = -y**2 - 10*y - 11. Let h be u(-9). Let g be i(h). Solve 5*q = 3*r + 14, b*q - 4*q + 18 = g*r for q.
4
Suppose -8 = b + 2*c, -2*c = -3*b - 4*c - 4. Suppose 4*r = b*r + 8. Solve 0 = 3*l + 2*y + 17, r*l = -5*y + 10 - 35 for l.
-5
Let p(b) = -b**3 + 7*b**2 + 10*b - 14. Let o be p(8). Solve 4*n - 2*z + 14 - 4 = 0, o*n - 2*z = -4 for n.
-3
Let s(n) = 2*n**3 - 2*n**2 - 4*n + 3. Let v be s(3). Let j = -15 + v. Let k(h) = -h**2 + 4*h. Let a be k(4). Solve 8 = -c + 2*y, -4*c + 4*y = -a*y + j for c.
2
Let l be 2/(-7) + 4/14. Suppose l = 2*f - 7 + 5, 4*g = -2*f - 30. Let d be 4/6 - g/(-12). Solve -4*r + 5*m = 14, 4*m = -d*r + 4*r + 12 for r.
-1
Let i be (-500)/(-180) - 4/(-18). Solve -4*s = s + i*n - 34, -n = -4*s + 17 for s.
5
Let l be (-35)/(-3) - (-2)/6. Suppose 4*j = 3*t + 96, -2*j - 6*t + 2*t = -48. Solve 5*s + j = -m, s = -m - m - l for s.
-4
Suppose -3 - 6 = -2*v + 3*u, -6 = -2*u. Solve 5*d = -2*l - 15, 0*l + 3*d + v = l for l.
0
Let n(m) = -m**2 - 7*m + 5. Let x be n(-7). Solve 3*r - 5*s = 5*r + 8, x*r + 20 = -3*s for r.
-4
Let h(n) = 3*n - 4. Let w be h(3). Solve 2*s = w*j - 15, 7 + 7 = -3*s - j for s.
-5
Suppose 47 = -4*q - 5. Suppose 5*n + 5*j + 1 = -14, 2*j - 50 = 5*n. Let f = n - q. Solve -2*l + 4*w + 10 = 0, -15 = l - 4*l + f*w for l.
5
Suppose -21*w + 62 = -19*w. Suppose 0 = 4*s - 29 - w. Solve -s = -3*h + k, 4*h + 5*k + 5 = 5*h for h.
5
Let p be 0/(1*-2*-1). Let v be 4/20 - 9/(-5). Solve 5*o - z - v = p, 2*z = 2*o + o + 3 for o.
1
Let j be (2/(-4))/((-3)/30). Solve 2*k + 2*l + 0 = -6, j*l + 15 = 3*k for k.
0
Suppose -21*h = -22*h + 7. Solve 4*u - 26 = 2*t, -3*u = -3*t - h - 17 for t.
-3
Let n(m) = m**2 + 11*m + 8. Let j(a) = a - 1. Let v(h) = -2*j(h) + n(h). Let s be v(-7). Let l = 1 - s. Solve 4*o + l = 3*y, 4*y - 2*y = o + 5 for o.
1
Suppose -3*d - i = -4*i - 24, -4*d = -5*i - 37. Let v(t) = -t**2 - 7*t + 6. Let f be v(-6). Let n = -6 + f. Solve -4*q = x - 14, -x = 5*q - d*q - n for x.
-2
Let b(d) = d + 2. Let s be b(0). Suppose -2*w = -5*i + 8 + 4, s*w = -i + 12. Suppose 0 = -2*n + 8 - i. Solve 6 = 2*a - n*p, 5*a - 3*p = 4 + 3 for a.
-1
Let v = 37 + -17. Let i be (-2)/((-6)/15)*1. Solve -2*k = 5*p + 3*k + 10, v = -i*p + 5*k for p.
-3
Let t be (10/3)/(2/3). Let v = -23 + 24. Let n = 1 + -1. Solve -2*w - v = -3*s, -w - t = -n for s.
-3
Suppose 0*s - 2*s + 8 = 2*v, -2*s = -2. Suppose 2*b + 150 = 7*b - 5*r, v*r = -15. Suppose u + 4*u = b. Solve -u*c - 19 + 47 = -k, 4*k + 12 = 0 for c.
5
Let j be (-12)/9*3/(-2). Let z = j + 1. Solve 0*v - 19 = z*v - 5*w, 4 = 2*w for v.
-3
Suppose 5*p - p = 20. Suppose c - 17 = -2*o, -2*c + 37 = 3*o + p. Solve -z + c = -4*l - 9, 0 = -3*l + 3*z - 21 for l.
-5
Suppose 0 = 4*w + t - 29, 0 = 2*w + t + 2*t - 27. Suppose s + s = w. Suppose s*l = -l. Solve -2*v = 2*i - 4, 2*i - 3*i - 5*v - 6 = l for i.
4
Suppose 0 = 3*p + 2 - 5. Solve -4*d + 5*b = -p - 1, -3*d + 3*b = 0 for d.
-2
Let l be 10/(-4)*(-8)/10. Suppose 5*j - 15 = l*j. Suppose -3*g - 23 + 9 = -4*y, 0 = -j*y - 4*g + 2. Solve 25 = u - y*m - 2*m, -4*u = -2*m - 30 for u.
5
Let c = 57 - 42. Solve -3*o = -3*r - c, 5 = -0*r - r for o.
0
Suppose 0 = 3*i - i - 6. Solve -8 = 4*b, -q + i*b + 6 = 3*q for q.
0
Let o(q) = q**2 + 3*q - 4. Let k be (-4 - (1 + -3)) + -3. Let p be o(k). Suppose -5*g + p = -19. Solve 2*v = -5*x + 33, -v = -0*x - g*x + 21 for v.
4
Let v be 2/3 + (-70)/(-30). Solve -7 = m + h - 2, -v*m = -5*h - 9 for m.
-2
Let d be 2 + 7/((-14)/24). Let p be (2/4)/((-1)/d). Suppose 0 = -5*i - p + 20. Solve -r = i*x - 11, 5*r - 12 = x - 5 for r.
2
Suppose 16 = 2*v + 6. Suppose -4*r - 5 = -r - 4*u, v*r + 2*u - 35 = 0. Solve 3*z = h + 15, -5*z - r*h + 25 = -2*h for z.
5
Suppose -4*q + 46 = -158. Suppose -85 = -5*k + b, 13 = -k - 4*b + q. Solve -h = 3, u - 4*h - k = -2*u for u.
2
Suppose 9*b = 36 - 9. Solve m + 10 = 5*k + 6*m, -m - 6 = -b*k for k.
2
Let t be (-16)/(-6)*9/6. Suppose 3*j = -t*k + 17, -2*k + 2*j = -j + 5. Solve -2*s - 9 = -0*n + 3*n, k*n + 6 = -s for s.
0
Let h = -32 - -34. Solve -4*u - 12 = -3*b, -u - 2*u - 8 = -h*b for b.
4
Suppose 5*n - 1 = -3*m + 15, 3*m + 14 = n. Let c be m - 3*(-1 - 0). Solve -3*j = -4*b - 0*j - 14, -b - j = c for b.
-2
Let o(w) = w**2 + 5*w - 6. Let x be o(-6). Suppose -m - 8 + 11 = 0. Suppose t = -z + 5, -m*z + z + 1 = -t. Solve z*i - k + 15 = -2*k, -i + 2*k + 5 = x for i.
-5
Let i be 1/((-1)/(-4)) + -1. Suppose -2*j = -5 - i. Suppose 12 = 2*t + 3*t + 2*u, 3*u = 5*t - 7. Solve t*c - b = -c + j, -5*c = 3*b + 12 for c.
0
Suppose r + 3*v = 4, 0*v = -4*v. Suppose -5*y + 8 = -4*b, 0 = -4*y + y + r*b. Let s(h) = 3*h + 34. Let f be s(-10). Solve 0 = 5*z, -7*z = -y*o - 4*z - f for o.
-1
Suppose 3*l + 3 = 15. Solve n + v + 28 = -l*v, 0 = -5*n + 3*v for n.
-3
Let a be ((-72)/(-16))/(1/(-2)). Let s = -4 - a. Solve -5*q = -5*x - 45 - 0, s*x + 3*q = -5 for x.
-4
Let u be 3 + 0 + 0 + 3. Solve 0 = 6*h - h, -2*x + u = -5*h for x.
3
Let p be 2 - -6*1*4/12. Solve p*m - u + 6 = -3*u, 0 = 2*m + 3*u + 5 for m.
-1
Let j(k) be the second derivative of k**4/6 - 4*k**3/3 + 3*k**2 - 10*k. Let h be j(5). Solve -z - h = -3*b - 0*z, 2*b - 3*z - 13 = 0 for b.
5
Let d be 5/(-15)*12/(-2). Suppose d*t + t = 0, 0 = p + 2*t. Solve 3*u = -3*n - 3, -u + 3 - 7 = p for n.
3
Let b(c) = -4*c - 1. Let d(s) = -5*s - 1. Let m(f) = -6*b(f) + 5*d(f). Let a be m(-4). Solve -3*r + 32 = -5*k + r, 0 = -a*k - r - 17 for k.
-4
Let b(z) = -z**3 + z**2 - z + 5. Let x be b(0). Let y be 4/2 - ((-8)/(-8) + -2). Solve -1 = -2*w + f, -y*w + 2 + 10 = -x*f for w.
-1
Suppose -2*a = 5 + 15. Let u = a - -10. Let f be ((-3 - 0) + -1)*-1. Solve -y = -f, -w = -u*w - 5*y + 22 for w.
-2
Suppose 3*p + 2*i - 21 = 0, p + i = -i + 7. Suppose 8 = -3*t + p*t. Solve 4*r = -t*h + 6, 5*r - h = 2*h + 13 for r.
2
Let d(m) = -m**3 - 9*m**2 - 8*m + 4. Suppose 3*o + 54 = 6*o. Let r = 10 - o. Let b be d(r). Solve -3*i + 28 = 2*c + 2*c, 5*c = 4*i + b for i.
4
Let z be 4/(-18) - (-104)/(-18). Let g = 1 - z. Solve 4*r + 3*c + 10 + g = 0, 2*r - 2*c = 2 for r.
-2
Suppose -3 = -2*h - 1. Suppose 0 = 4*l - 3*l - 2*i - 3, -3*l + 9 = i. Let f = 7 - l. Solve f*z + 24 = 2*m, 2*m = 3*z + 20 - h for m.
2
Suppose -4*y + 9 - 1 = 0. Let n be 18/(-12) + (-30)/(-4). Let c be -1 - n*