Suppose 4 = -k + 15. Let q = k - 7. Solve -s + 2*m + 5 = 0, q*s - 20 = 2*m - 7*m for s.
5
Suppose 75 - 11 = 4*m. Solve 5*u = -0*t + t + m, t - 8 = -u for t.
4
Suppose -6*y + 39 = -3*y. Suppose 0 = -2*l + 2*b + 8, 2*l - 4 = b + 6. Let d = l + -1. Solve -3*n + 3*g = 0, d*g + 43 - y = -n for n.
-5
Let s = 9 + -3. Let t = s - 3. Solve k = t, -b + 5 = 5*k - 9 for b.
-1
Suppose -d + 2*d + 4*i - 6 = 0, -5*i + 15 = 5*d. Let o(x) = -x. Let h be o(-2). Suppose -z - 5 = -h*z. Solve -2*q = -3*q + f - 1, 26 = d*q + z*f for q.
3
Suppose 13 = 4*n + 1. Suppose 0 = 107*z - 103*z - 16. Solve 2*o - 4 = -2*y, -z*o + 5*o - n*y + 14 = 0 for o.
-2
Let m = -28 + 30. Solve h = 2*o - 9, -4*h - 4*o + m*o = 16 for h.
-5
Suppose 2*j = -d + 3, 0 = 5*d + 2 - 17. Solve -4 = 3*k - w, 6 = -3*w - j for k.
-2
Suppose -35 = 4*q - 95. Suppose 49 = 4*m + 13. Let i = m + -5. Solve i = 4*y + 2*a + 2, q = -5*a for y.
2
Let p = -59 - -61. Solve p*o - h - 4 = -3*h, -2*o + 18 = -5*h for o.
4
Let t(c) = 2*c + c - 2*c + 2 + 3. Let f be t(-5). Solve -5*l + 31 = -f*k + 3*k, -2*k = 5*l - 29 for k.
2
Let k(l) = -l + 3. Let t be k(3). Solve -4*z - 2*o - 4 = -t*z, o = -4*z - 4 for z.
-1
Suppose 0*f + f = -2, -f + 18 = 4*q. Solve x = q*l - 11, -2*x + x + 7 = l for l.
3
Suppose 2*q = -3*d - 5, 25 = -2*d - 3*d. Suppose -q*l + 165 = 40. Solve 3*r = -4*s + r - 2, -3*r - l = -5*s for s.
2
Let y(k) = 41*k**2 - k. Suppose 5*n - 4 - 1 = 0. Let x be y(n). Solve 5*h + x = h + 5*z, -32 = 4*h - 3*z for h.
-5
Let p be 148/14 + 0 + 24/(-42). Solve -4*t + 5 = g, g - 4*t - p = -g for g.
5
Let y(s) = 8*s**2 - 49*s + 11. Let g be y(6). Let j(i) = 11*i - 3. Let n be j(2). Solve 4*p + 19 = -3*w, p - n - g = 5*w for w.
-5
Suppose 0 = -j - 2*j + 5*a + 7, a - 1 = 0. Solve j*v - 5*v + b + 5 = 0, 2*b = 0 for v.
5
Let n be 0/2 + 4 + -1. Let v be ((-2)/(-3))/(1/n). Solve 0*l - 4*l + 4*o + 24 = 0, 2*l = -v*o + 4 for l.
4
Let j = 5 + -4. Suppose -f + 3 = -j. Solve 4*w = 3*p - 18, -f*w = 4*p - 3 + 7 for w.
-3
Let n = -2 - -6. Suppose n*f + 45 = 4*k - 3, -14 = -k + 2*f. Solve -2*r + 4*m + 22 = 0, 0*r = 2*r - m - k for r.
3
Suppose 0 = -4*a + 2*u + 8, 3*u - 10 = -5*a - 2*u. Solve -2*j - 8 = a*f - 6*f, 2*j + 2*f - 4 = 0 for j.
0
Suppose -a + 2 = -8. Let z be a/(-2)*(2 + -3). Solve 3*k + 25 = -z*s, -2*k = 3*s - 6*s + 4 for k.
-5
Suppose 4*j + 6 = -10, 3*j + 2 = -5*q. Solve -4*r - 9 = 5*u, -q*u - 5*r - 3 = -4*r for u.
-1
Suppose 3*i = -3, -2*u + 3*u - 2*i = 6. Solve -3*t + 3*l = -21, 2*t + 2*l + 2 = u for t.
4
Let g(h) be the first derivative of -h**3/3 + 3*h**2 + 10*h - 8. Let x be (2 - 3)/((-2)/14). Let n be g(x). Solve u - 2*j = n*u - 8, -2*u - 10 = -4*j for u.
1
Let k be (-30)/(-20) + (-1)/2. Let l be (-3 + 0 + 6)*k. Let b = -4 - -14. Solve -3*w = 5*n - 8, -l + b = 5*n + 2*w for n.
1
Suppose 7*r + 8 = 12*r - 2*p, 2*p + 8 = 0. Solve -4*b - 3*o + 5 = r, b - 5*o + 1 - 8 = 0 for b.
2
Let g(i) = i**2 + 4*i + 5. Let f be g(-4). Solve o + 3*l - 1 = 4*l, -13 = -o - f*l for o.
3
Let i = -1 - 1. Let c be i*(9/2)/(-1). Suppose -5*v - c = -29, v = -p + 7. Solve -p*d = -4*r, -d = -0*d + 3*r for d.
0
Let n be (12/9)/((-2)/(-3)). Suppose -15 = -5*g - n*i, -7 - 10 = 3*g - 4*i. Let r be 0 + 2/g - -1. Solve w + 10 = -3*s, -r*s = 5*w - 1 + 3 for w.
2
Suppose 2*i - 3*g = 0, 3*g = -5*i - 2*g + 25. Let q be 9*(0 + 3)/i. Solve 3*x = -2*y - 7, -4*x + y + q = 22 for x.
-3
Suppose 0 = -s - 2*s + 12. Suppose 2*j = 5*d + 3, 0 = s*j - d - 13 - 2. Let p = 7 - 5. Solve 4*r = j*b, 9 = -5*r - p*b - 19 for r.
-4
Let d = -39 + 42. Solve 0*z - 8 = d*y - 2*z, 3*y = -z + 4 for y.
0
Let p be (-99)/(-6)*4/6. Suppose 0 = d - 3, -q + 3*d = 3*q - p. Solve -m + q + 1 = -5*t, -2*m = -2*t - 4 for m.
1
Suppose -l + 3*l = -52. Let q be 4/(-16) - l/8. Solve -14 = 2*w + 3*n - 7*n, -q*n + 9 = -2*w for w.
3
Let d(s) be the third derivative of -s**6/120 - s**5/20 + s**4/8 - 2*s**3/3 - 2*s**2. Let m be d(-4). Solve 2*f = -4*z + 20, 3*f + m*z = 3*z - 15 for f.
0
Let a = 22 + -47. Let g be (a/(-3))/(-5)*-3. Solve -2*l = 4*c + 4 + 16, -25 = -4*l + g*c for l.
0
Suppose -3*r + 0*r + 4*s + 3 = 0, r - 2*s + 1 = 0. Let j(d) = 0*d**2 + 4*d**2 - 3*d**2 - 4*d. Let x be j(r). Solve 5*i - 3 - 17 = x*w, -3*i + 18 = 3*w for i.
5
Let w(p) = -p**3. Let r(i) = -7*i**3 + 2*i**2 - 4*i + 3. Let n(j) = -r(j) + 6*w(j). Let k be n(2). Solve 0 = 2*c + d - 4 - 9, 0 = -5*c - k*d + 45 for c.
4
Suppose -165 = -4*l - 149. Solve 12 = -l*g, 0*j - 1 = 2*j - g for j.
-2
Let u be ((-130)/(-5) - 2)*(-2)/(-4). Let c(w) = w. Let s be c(-3). Let b = 1 - s. Solve -k + b*q = -1, 7*k - 4*k - u = 3*q for k.
5
Suppose -5*a + 9 - 4 = 0. Solve -2*z - 2*z + 5*u = -a, 0 = z - 4*u - 3 for z.
-1
Let z be 4/(-6) + 28/42. Suppose z*o + 18 = v + 2*o, 0 = 3*v + 4*o - 44. Solve -t = -q + 7, -2*t - 4*q - 20 = -v*q for t.
-4
Let y be 3 - ((-3 - -1) + 1). Solve -4*i + 5*s = -11, 0 = y*i + i + 4*s + 17 for i.
-1
Let r(x) = -3*x + 7. Let i be r(12). Let b = i + 34. Solve -2*v = 5*h - 13, b*h + 2*v + 2*v = 11 for h.
3
Suppose -3*n + 15 = -5*v, 3*v - 8*v = -2*n + 10. Solve -n*b = -2*z - 0 + 13, -z - b = -3 for z.
4
Suppose 15 = -3*x + 21. Solve o + 5*c = 23, -x*o - 2*c + 4 = o for o.
-2
Let q = -93 - 11. Let p be q/(-24) + 2/3. Let y = 8 - 3. Solve y*z = -p*d - 50, d + 30 = -d - 4*z for d.
-5
Suppose -2*h + 12 + 26 = 0. Let w be ((-36)/63)/((-2)/7). Suppose w*b + k = -k + 6, -5*b - k = -h. Solve -m - 4*j + 21 = b*m, -5*j + 5 = 2*m for m.
5
Suppose -7*y + 2*y - 20 = 0. Let j be 2/y*(-1 - 5). Suppose 0 = j*a + 2*x + 5 - 13, -4*x = 4*a - 12. Solve -a*s = -3*z + 10, -3*s = z - 0 - 7 for z.
4
Let f(i) = -i**2 + 2*i + 3 + 2*i**2 + 1 - 1. Let g be f(-2). Let s be (-79)/(-7) + (-10)/35. Solve -2*c = g*m - 2 - 2, c + s = 5*m for m.
2
Let b(i) = -i**2 + 8*i + 13. Let v be b(9). Solve 3*c + 6 = 2*u + u, u = 4*c - v for u.
4
Suppose 2*j = 0, 0 = -2*l + 7*l + j - 60. Solve o = -5*g + l, -4*o + 0 = g + 9 for o.
-3
Suppose -4*o = -7 - 1. Solve -5*w + 2*i = -2*w + 9, -5 = o*w - i for w.
-1
Suppose 7*w = 2*w + 15. Suppose 5*f = w*f. Solve -k = -f*j + 3*j - 9, 0 = -4*k + 4*j - 12 for k.
0
Let h(t) = -t**3 - 3*t**2 + 3*t. Let r be h(-4). Suppose 0 = -3*v + 16 + 14. Solve 3*u - 6 = -r*n, -2*n = -4*u + v - 2 for n.
0
Let s = 9 - 7. Suppose 3*a - 8 = -s. Solve -a*v = 2*w - 12, 2*w + w = 2*v + 13 for v.
1
Let v be 14*(-1)/(-4)*4. Suppose -2*f + f - v = 0. Let w = -9 - f. Solve 10 = -4*i + x, -22 = 6*i - 2*i + w*x for i.
-3
Suppose 56 = -c + 3*c. Suppose -5*n = -8*n + 6. Solve -n*p + c = -4*h, 36 = 4*p - 3*h - h for p.
4
Let u(r) = r**2 + 8*r + 10. Let i be u(-7). Solve 0 = -4*y - q - 2*q, y + i*q = 0 for y.
0
Let w be 2/((-5 + 1)/(-24)). Solve 0 = 2*u - 2*v + 6, 4*v = -4*u - 0*v - w for u.
-3
Suppose 3*l = -2*l + 20. Suppose -5*z + 11 = -29. Suppose -z - 8 = -l*m. Solve -3*y + m*p = -26, 0*p = 4*y - 3*p - 23 for y.
2
Let s be 4 - (0 + -2 - -3). Let m be 6/12*4/2. Let w = 10 - m. Solve 5*x - 4*a = w, -6*x + s*x + 35 = 5*a for x.
5
Let d be 0 + 0 + 0/(-1). Suppose -3*g + 31 - 1 = d. Suppose 18 = -i - 4*x, 2*i + 3*x + 17 = 6. Solve -3*a + 3*w = i + g, w + 8 = -5*a for a.
-2
Suppose -f - 20 = -2*f - 3*i, 2*f = 5*i + 40. Solve -2 = -3*h + l, -6*h - 3*l = -h + f for h.
-1
Suppose -2 = -5*l - 4*n, -3*l = -0*n - 2*n - 10. Solve 5*i - 3 = 3*x, l*i + i - 1 = 2*x for x.
4
Suppose 15*t + 198 = 24*t. Solve 2*y = 3*k - t, 0*y = 4*y + 2*k + 12 for y.
-5
Let w(s) = s**3 + 9*s**2 + 7*s - 4. Let y be w(-8). Suppose -5*j + 2*o + 115 = 7*o, -o + 101 = y*j. Solve -5*r - 2*u = j + 1, -r - 4 = -u for r.
-5
Let l(w) = -3*w - 3. Let k be l(-2). Solve 0 = -5*m + 4*f - k, m + 1 - 4 = 2*f for m.
-3
Let c be 2/4*(-8)/(-2). Suppose -y + 18 = c*y. Suppose x - y = 10. Solve -q - 8 = 2*m - 5*q, -x = 4*m - q for m.
-4
Suppose 3*k = -0*k + 6. Let s be k/(-6) + 30/9. Solve 45 = -4*t - 5*o, 30 = -s*t - 4*o + o for t.
-5
Let y = -30 + 32. Suppose 4*d - d + 2*g = 41, 5*d - 2*g = 47. Suppose y*z - z - d = 0. Solve -5 + 31 = -2*i + 5*j, -z = 5*i + j for i.
-3
Let w(p) = -p**3 - 8*p**2 + 8*p - 9. Let v be w(-9). Let l = v + 5. Solve -3*q = 5*i + 10, -4*i + 3*q - 6 = l*q for i.
1
Let r(w) = -w + 13. Let l be r(4). Suppose -u = 2*u - l. Solve u*z - 3*j + 13 = 5*z, -3*z + 19 = 4*j for z.
5
Let s(z) = 2*z - 3. Let t be s(4). Suppose -5*d = 7 - 22. Let r be -8*d/12*-2. Solve g = -3*u - 14, t*u - 2*g + r 