 - 5*j, 2*m + 2*j + 7 = b for m.
0
Let y be (9 - 7) + -1 + 1. Solve -h + 5*f + 2 = 3*f, -f = y*h - 4 for h.
2
Suppose 5*u + 4*t + 84 = 0, -2*u - 4*t + 0 = 36. Let o = -13 - u. Solve -10 = 2*v + y - 1, -o*y - 2 = v for v.
-5
Let u = -55 + 56. Let z(g) = g**3 - 5*g**2 - 5*g - 4. Let h be z(6). Solve 0 = -h*q + 3*i - 9, -u = -q - 3*i + 8 for q.
0
Suppose 3 = 4*h - m, 5*h + 2*m - 5*m = -5. Let g(j) = j**3 - j**2 - 2*j + 2. Let v be g(h). Solve -3*b = -5*i + 31, v*b - 3*i + 25 = 6 for b.
-2
Suppose 5*q - 13 = 7. Suppose -2*w + q = b + b, 0 = -b + w + 8. Solve i = -b*m + 17, 8*m = -5*i + 4*m + 1 for i.
-3
Suppose 0 = -o + 4*o - 9. Solve 0 = -4*l + 5*u - 15, -3 = 3*l - o*u + 6 for l.
0
Let b = -38 - -41. Solve -2*s + 16 - 6 = 5*t, 10 = 2*s + b*t for s.
5
Suppose -7 + 15 = o. Solve f + 5*r - 13 = 0, 2*r - o = f - 0*r for f.
-2
Suppose -d = -5 + 3. Suppose d*s + 8 - 28 = -4*k, 0 = k - 4*s - 5. Solve -18 = k*f + r - 7, -3*r = -3*f - 21 for f.
-3
Let c be (-6)/(-1) - (-3)/(-1). Solve 15 = -c*u + 3*h, 2*h - 20 = -3*h for u.
-1
Let l = -5 + 26. Let d be -8*4/(48/9). Let k = 9 + d. Solve -3*s = 4*x + l, -s + 18 = -4*x - k*s for x.
-3
Suppose 3*v - 9 = -0*v. Solve l + 16 = -2*t + v, -5*t = -l + 22 for t.
-5
Let w(j) = j**3 - 9*j**2 + 8*j + 3. Let i be w(8). Let o = i - 3. Solve o = -4*y - k + 11, 2*y - 8 - 2 = -2*k for y.
2
Let t(h) = -2*h**2 - h + 3. Let j be (-2 - -1) + 0 + 1. Let o be t(j). Let x = -1 - -17. Solve -k - 4*s = o*k, -5*s - x = k for k.
4
Let h = 1 + -1. Suppose 3*r - 1 = 2. Let m be (r/2)/((-5)/(-50)). Solve 7 = 2*i + 3*w - h*w, 2*i + m*w = 9 for i.
2
Let t(l) = -l**3 + l**2 + 6. Let x be t(0). Let g = x - 7. Let u be 1*(-1 + 9 + g). Solve -3*n + 5*p - u = 0, 0 = -2*p - 5 + 3 for n.
-4
Let r(u) = -u**3 - 6*u**2 - 2*u - 8. Let v be r(-6). Solve -7 = 4*b + j + v, 18 = -3*b - 4*j for b.
-2
Suppose -3*f + 3 + 6 = -3*l, 5*l = 2*f. Suppose l*b - b - 3 = 0. Solve 0 = 2*h - 8, -2*m + 5*m + 3*h + b = 0 for m.
-5
Suppose -28*r = -30*r + 40. Suppose -4*p = 4*t - r, -2*t = 5*p - 3 - 22. Solve -x - 8 = -p*k, 3*x - 3*k - 8 = -4*k for x.
2
Let x be (11 + 1)/(-4) + 14. Solve n + x = 3*r - 7*r, -4*r + n = 13 for r.
-3
Suppose -126 + 15 = -3*q. Let d = -21 + q. Solve 0 = c + 5*f + d, -5*c + 1 - 3 = -f for c.
-1
Let s(v) = -v**2 - 8*v - 7. Let y be s(-6). Solve -17 = -3*b - o, 2*o + 31 = 4*b + y*o for b.
4
Let j be 4/(-16) + (-147)/(-12). Solve -b = -i, -2*b = -b - 4*i - j for b.
-4
Let w(n) be the first derivative of -n**3/3 - 7*n**2/2 - 2*n + 2. Let m be w(-7). Let p = 0 - m. Solve p*b = 2*i, 3*i - 2*i + 20 = -3*b for i.
-5
Suppose -2*d = 3*s - 27, -d - 9 = -s - 0*d. Let b(r) = -r - 8. Let c be b(-4). Let a = c + s. Solve 4*y + 16 = 4*l, 3*l - 1 = -a*y + l for y.
-1
Suppose 4*p = -3*x - 4 + 5, 0 = -4*p - 5*x - 1. Suppose 3*t = 16 - p. Let u = -5 + 8. Solve u*c = -4*k + 16 - 0, -25 = -t*c - 5*k for c.
4
Let s(m) = -m + 13. Let c be s(13). Solve -3*y - 3*t = y - 12, -t = c for y.
3
Suppose -3*b - 2*y = -19, y - 5*y - 61 = -5*b. Suppose -3*t = -5*q + 4*q - b, -2*q + 12 = 4*t. Solve t*w - 2*v + 2 = 0, 2*w - v = -4*v - 23 for w.
-4
Let y be -7*(-3)/(-5)*-5. Solve -4*i + c = y, 3*c = -3*i - 0*c - 12 for i.
-5
Let y(s) = -2*s - 9. Let l be y(-6). Solve -4*o + a - l = 0, 2*o - 2*a = o + 1 for o.
-1
Suppose 16 = 2*d + 4*n, n + 9 = 4*d - 5. Solve -3*u + 19 = o + d*o, 3 = -u + 3*o for u.
3
Suppose -5*y - 70 = -4*f + 15, -f + 3*y = -23. Let p = f + -15. Solve 4*g - 17 = -5*c - p, 3 = g + c for g.
3
Let b = 5 + -8. Let w be 0/(-1) - 1 - b. Suppose -10*a + 29 + 21 = 0. Solve 3*s + 8 = -a*q, 3*q = w*q - 4 for s.
4
Suppose 12*d - 6 = 6. Solve -2*u + 12 = 4*i, 15 = 3*i - u + d for i.
4
Let o be ((0 + -1)*0)/(-2). Let a(l) = l**3 + 25*l**2 - 26*l + 2. Let t be a(-26). Solve -5*w + s + 6 + 12 = 0, o = -s + t for w.
4
Let d be -4 + 5 + 1 + -2. Solve 3*j + 6 = d, 0 = 7*m - 3*m - j + 10 for m.
-3
Suppose 4*x = 2*x + 10. Let f(d) = d - 4. Let y be f(10). Solve 2*b + x = -3*k - y, 0 = -4*b + k + 13 for b.
2
Let x = 18 + -4. Suppose -x + 4 = -2*o. Solve o*b + 25 = 0, -l - 5*b = -0*l + 26 for l.
-1
Let t = 108 - 105. Solve 3*l = t*d - 3, 3*d + l + 3*l - 31 = 0 for d.
5
Let b(g) = -g**2 + 4. Let o(y) = 3*y**2 - y - 9. Let p(t) = 5*b(t) + 2*o(t). Let d be p(2). Solve 3*f - 21 = d*s, -3*s + 3*f - 6*f = -6 for s.
-3
Suppose 13*f + 0*f = 39. Solve 2*n + 5*x + 8 = 0, -f*n = -6*n + x - 12 for n.
-4
Suppose -2*b - 4*d + 4 = 0, -4*b + 18 = -5*d + 3*d. Suppose 15 = 4*c - 5. Solve 5*t = -i + b*i - 1, 3*t - c*i + 7 = 0 for t.
1
Let d = 45 - 33. Solve d = -3*v + 3*p, 3*p - 11 = 4*v - 2*v for v.
-1
Suppose -3*i + 4 + 2 = -3*m, -3*i = 5*m + 2. Let x be (-22)/(-7) + m/7. Let y(q) = q**2 + 3. Let w be y(0). Solve 5*s + 1 = -w*p, -4*p - 3 = -x*s + 8 for p.
-2
Let k(y) = y**3 - 6*y**2 + 7*y - 14. Let m be k(6). Solve o - 6*o + m = -2*z, -o = z for z.
-4
Let d = 0 + 0. Suppose -5*j = -3*h - 23, 4*j + 7*h - 12 = 3*h. Suppose j*g - g - 21 = d. Solve r + 0*r - 4*v - g = 0, 5*v + 20 = 5*r for r.
3
Suppose -3*f + 7 = -2. Let o be (9/2)/((-3)/4). Let u = -3 - o. Solve -4*w + 21 = -f*i, 5*i + 2*w + u*w = 0 for i.
-3
Suppose 0 = 2*a + 4*l - 20, -2*l = -4*a - 0*l + 10. Suppose -3*p - 2*i - 12 = 8, -a*p - 40 = -4*i. Let n = -5 - p. Solve -n*h + k + 2 = -2*h, -3*k = 9 for h.
-1
Suppose -3*p - 2*p + l = -2, -4 = 5*p + 2*l. Solve 2*i = -5*h - 15, i - 2*h + 3*h + 6 = p for i.
-5
Let o(h) = h**2 - 17*h + 3. Let p be o(17). Solve -p*f - 5*l = -32, f - 2*l - 8 = -3*f for f.
4
Let j(b) = 3*b**2 + 3*b - 4. Let o be j(1). Solve 3*k = o*k + 5*t, 0 = -2*k + 2*t + 8 for k.
5
Let k(r) = r**3 + 13*r**2 + 4. Let c be k(-13). Solve c*i = -0*q - 3*q + 10, 4*i - 24 = 4*q for i.
4
Let t be (-3*1 + (-3)/6)*-10. Solve -3*h - 1 + 7 = 0, 5*w = -5*h + t for w.
5
Suppose -1 - 6 = -d. Solve 0 = f - 5*f - 20, 0 = 3*w + f - d for w.
4
Suppose 2 = 3*f + 4*p - 5, -4 = 2*p. Solve 5*m = -2*w - 12, m = -0*w - 3*w - f for m.
-2
Suppose -3*h = -5*h. Let q = 0 - -3. Let r be 29 + q + (-3 - -2). Solve -f = -2*t + 7, -2*f - 5*t + r = -h*t for f.
3
Let m = -1 + 3. Let w be 0/(-2)*1/(-2). Let d = 0 + w. Solve d = -4*u - 2*p - m*p, 4*u = -p - 9 for u.
-3
Suppose -o - 13 = -5*s, -2*s - o = -3*o - 10. Solve -m + 30 = 5*g, -s*m + 15 = g - 0*g for g.
5
Let x = 17 - 17. Solve 3*p + 1 = -3*u - 14, 4*u = x for p.
-5
Let w(j) = j**2 + 4. Let x be w(0). Let v = -84 + 189. Let n be v/10 - 1/(-2). Solve -r + x*h + 2 = -3*r, -h = -3*r + n for r.
3
Let i be (-34)/(-8) - (-2)/(-8). Let m be 1/(-2)*(0 - -12). Let a be i/(-6) + m/(-9). Solve 5*n - 3*s + 34 = a, -8 = n - 0*n - s for n.
-5
Let t be -3*(-28)/3 - 3. Let n = t + -13. Solve 5*o = -2*w + n, 0*w = 2*w - 5*o + 28 for w.
-4
Let u(a) = -a**2 - 3*a + 2. Let o be u(-2). Let t(q) = q**2 + 4*q - 11. Let l be t(-7). Solve 2*i + 0*i + b + l = 0, 0 = -o*i + b - 14 for i.
-4
Let k be (0 - -2)/(0 + 1). Let a be (0 - 50/(-15))/((-2)/(-3)). Suppose -3*g = -9 - 18. Solve -a*r - g = -s - r, 0 = -k*s + 2*r + 12 for s.
5
Let d(w) = -6*w**2 - 2*w - 4. Let o be d(-6). Let c be 2/(-3) + o/(-6). Solve 0*x + c = -3*h + 5*x, 22 = h + 5*x for h.
-3
Suppose 3*l = -5*w - 14, l - 5*w = -l + 24. Suppose -4*i = i + 5*d - 15, -l*i = -4*d. Solve j + i*f = 4, -4*j - 3*f = -0 - 1 for j.
-2
Suppose 4*u = u - 6. Let n be ((-6)/(-9))/(u/(-15)). Solve 4*j + 16 + 0 = 3*o, n*o = 3*j + 23 for o.
4
Suppose 66 + 78 = 12*t. Solve -s + 12 = -5*b, -3*b = 4*s - 5*b - t for s.
2
Suppose 5*a = 6*a + 8. Let i = a + 13. Solve 4*p + 4*d = 7*d - i, -d + 7 = -4*p for p.
-2
Suppose -4*g + 0*g + 4*t = -20, 0 = -3*g - 3*t + 3. Solve -4*r = -5*l + 2, -5*r = -g*l - 0*r + 9 for l.
-2
Let y = -68 - -78. Solve -2*t - k - 2 = -y, -3*t + 2 = -k for t.
2
Let w be 0*2/4*-2. Let u = w - 0. Suppose -12 = -2*v - u. Solve -3*j + 2*i = -1, -4 = 3*j - i - v for j.
1
Let l(t) be the first derivative of t**4/4 + 10*t - 4. Let q be l(0). Suppose -q = -4*c - 2. Solve a = c*k + 2, 4*k - 2*a + 4 = -k for k.
0
Suppose 2*k = k + 2. Let u = k + -3. Let b(c) = -5*c**3 - c**2 - 2*c - 1. Let f be b(u). Solve w + n + 10 = 6*n, f*w = -2*n - 23 for w.
-5
Suppose 0 = 2*s, -4*u - u + 15 = -3*s. Solve 5*z = 4*i - 0*z - 29, -u*z = -i + 16 for i.
1
Suppose -v - 2*v = -42. Suppose 7*g - v = 3*g + 2*u, 3*g = -5*u + 30. Solve -g*o - 4 = -0*o - 4*x, -32 = 4*o + 4*x for o.
-4
Suppose 20 = 4*l - x, 0 =