- 2 = -0*l for l.
0
Let n(t) = -2*t + 4. Let r be n(-8). Solve -4*b - 10 = 5*x - b, b + r = -5*x for x.
-5
Suppose x + 29 = 9. Let t be 0 + -2 - -4 - x. Solve -2*a + 4 = -3*h + h, 0 = h - 5*a + t for h.
3
Let s = 76 - 72. Let r = 4 + -2. Solve -s*v = -4*i, r*v + 4 = -v - i for v.
-1
Let j be 4/18 - (-473)/99. Let f(y) = -1 - 6*y - 2*y**2 - 4*y**2 + 5*y**2. Let w be f(-4). Solve 4*g = 4*m + w - 3, -4*m - 4 = -j*g for m.
-1
Let r(k) = k**2 - 21*k - 42. Let g be r(23). Solve -g*w - 24 = 5*h, -4 = h - 0 for w.
-1
Let n = -61 + 41. Suppose f - 201 = -0*q + 3*q, -3*q - 4*f - 201 = 0. Let i = n - q. Solve 3*t + i = -5*g + 18, 5*t + 4*g + 31 = 0 for t.
-3
Let t(r) = -r - 5. Let p be t(-6). Suppose 0 = 6*g - 3*g. Let v = p + g. Solve -6*w - 4*x + 21 = -w, 0 = -x - v for w.
5
Suppose -3*y + 18 - 3 = 0. Suppose 3*w + 15 = a - w, y*w = 3*a - 24. Solve -3*f = -2*p + 19, -2*f = -a*p + 5 + 11 for f.
-5
Let n(q) = q**3 + 4*q**2 + q + 4. Let r be n(-4). Solve 13 = -6*h + 2*h + 3*x, -5*h - 2*x + 1 = r for h.
-1
Let s be 2/(-4) - 77/(-14). Solve -5*r + 10 = 0, s*c + r - 17 = -0 for c.
3
Suppose 5*f - 22 + 77 = 0. Let x = 9 - f. Solve 0 = -3*o + d - 13, -3*o - x = o - 2*d for o.
-3
Let r(k) = k**2 - 5*k - 10. Let z be r(7). Suppose 0*m - 35 = -5*f - 5*m, -z*m + 18 = -f. Let v be 1/(1/4*f). Solve q + s - v = 0, 7 + 1 = -2*q + 4*s for q.
0
Suppose f + f = 4. Solve -5*p - 40 = -3*n, -4*p = -f*n - 3*n + 45 for p.
-5
Let l(h) = h**2 + 2*h - 3. Let n be l(-4). Suppose 0*k + 4 = -4*k + 4*q, -2*k + n*q - 5 = 0. Suppose k = -4*f + f + 75. Solve 4*j + 22 = 5*i - 7, f = 5*i for j.
-1
Suppose 2*v - 10 = -2*o, -9*o + 4*o + 21 = 4*v. Solve 4*c + 1 = -z, -2*c + 4*c = -v*z - 18 for c.
1
Let z be (5/2)/(5/(-50)). Let g = z - -15. Let q = 17 + g. Solve -b + 2 = 2*n, 0 = 2*b + 2*b + 3*n + q for b.
-4
Let x(m) = m + 9. Let j be x(-4). Solve -5*d = -o + 21, -3*o - j = -d + 3*d for d.
-4
Suppose -3*g = 2*g - 10. Suppose 3*k = -3 + 18, -2*y - g*k = -20. Solve -3*r = 2*i - y, r + r - 25 = 3*i for i.
-5
Let n(q) = q**3 + 6*q**2 + 3. Let b be n(-6). Let x = b - 2. Let y = x - 0. Solve 6*s - s = p - y, -4*p - 17 = s for s.
-1
Let f be (-346)/(-14) - (-2)/7. Suppose -25 + 1 = -3*s. Let g be 72/5 - s/20. Solve -5*c = -2*a + f, 0*c + g = 4*a + 2*c for a.
5
Let d be (1/(-1) + -5)*-1. Let b = d + -2. Let u(w) = -w**3 - 5*w**2 + 4*w - 7. Let q be u(-6). Solve b*h - 15 + 39 = q*p, -16 = -4*p for h.
-1
Let d(r) = -20*r**3 + r**2 + 4*r + 2. Let j be d(-1). Solve -2*b + 5*h = -6*b + 16, 5*h - j = -b for b.
-1
Let j be (-1)/(4/(-168)*-3). Let t = 0 - j. Solve -2*c + 3*i - 3 - 4 = 0, t = c + 2*i for c.
4
Let w(m) = -m**2 - 7*m - 3. Let o be w(-6). Let d = o - -6. Solve 3*t + 3 = d, 2*h + 4*t = 8 for h.
0
Let h = 11 - 5. Let u = 4 - h. Let x = u - -4. Solve -x*a - 3*m + 12 = -4*m, 16 = 2*a - 3*m for a.
5
Suppose -2*a = -0*a. Suppose 3*g - 37 = -3*j - j, a = 2*g + 10. Solve -5*p + 33 = -5*h - p, -h + 4*p = j for h.
-5
Let z = 5 + -5. Let h be (-10)/((z - 3)/3). Suppose -v - v = -h. Solve 4*i - 8 = -5*k + 4, -6 = v*k - 2*i for k.
0
Suppose 0 = -4*f - 0*f + 16. Let x(z) be the third derivative of z**4/12 - z**3/2 - 5*z**2. Let g be x(f). Solve -2*a + 2*c - 2 = 0, 0*a = -g*a + c - 5 for a.
-1
Suppose k = 5*y - 20 + 2, -y - 5*k = -14. Let v = 5 - 19. Let b be 38/14 - 4/v. Solve -b*x = -0*x + 3*w - 24, y*w - 12 = 0 for x.
5
Let b(t) = t**2 + 7*t + 2. Let l be b(-7). Suppose -4 + 14 = l*x. Solve -x*g = i + 2*i - 34, 2*g - 4*i + 2 = 0 for g.
5
Let k(o) = -o**3 + o**2 - 3*o - 1. Let s(m) = m**3 + 2*m + 1. Let n(l) = -4*k(l) - 6*s(l). Let j be n(-3). Solve -4*d + 4*v - 4 = 2*v, -5*d - 3*v = j for d.
-2
Suppose -3*f + f = 0. Solve 0 = -s, f*a = -5*a + s + 5 for a.
1
Suppose 20 = -2*a - 30. Let l = -17 - a. Solve c + 27 = -2*c - 3*k, 2*k = -l for c.
-5
Suppose 4*f - j = 1, 4*j + 4 = -8*f + 3*f. Suppose f = -3*r - 0*r. Solve -y - 2*g + 6 = -0*y, r = 4*y + g - 17 for y.
4
Let n be (-2)/4*(7 - 17). Solve -2*t + n = -3*p, 0*t + 4*p + 4 = 2*t for t.
4
Let o(b) = 4*b**2 + 2*b - 3. Let i be o(2). Solve 6*n = 2*n + 5*k + i, -3*k = 5*n + 25 for n.
-2
Let c be (5/((-25)/42))/((-9)/30). Solve -5*u = 3*z - 5*z + c, -z - 4 = 2*u for z.
4
Suppose 0*p = 4*p + 8. Let r be 132/30 - p/(-5). Let w = -3 - -5. Solve m = -r*f + w*m + 7, -3*f + 9 = 3*m for f.
2
Suppose 0 = 4*u - 2*u. Solve u = -2*h - k + 2*k - 1, 4*h + 2*k + 6 = 0 for h.
-1
Suppose 3*u - 7 = 2*u. Suppose 0*z = -z + u. Solve s - n - 1 = -0*n, z = 3*s + n for s.
2
Let o(x) = -x + 2. Let k be o(5). Let v be (-6)/((-5)/k + -1). Let u = v - -14. Solve -p = -3*r - 1, r = -4*r + u*p - 5 for r.
0
Let i(p) = -p**3 + 8*p**2 - 7*p + 10. Let j be i(7). Suppose -j = 4*d - 6*d. Solve -2*w = 3*z + 1, 0 = -5*z + d*w + 10 + 5 for z.
1
Let l = -5 + 8. Let x be 13/l - (-1)/(-3). Suppose -5*v = d - 95, -d = -2*v + x*d + 65. Solve 3*n = -a - 12, -n - 4*n = -5*a + v for a.
0
Suppose 0 = -5*s + 14 + 11. Suppose 27*i - 125 = 22*i. Solve -4*j + j = u + 10, -s*j = i for u.
5
Suppose 16 = 3*x + 7. Solve -x*z + 1 = 2*b - 0*b, 2*z + 2*b = 2 for z.
-1
Let f(l) = -16*l**3 - l**2 + 2*l - 1. Let o be f(1). Let j = -11 - o. Solve 0*m - 3*m + j = 2*g, -m + g + 10 = 0 for m.
5
Suppose -3*j = -0*j - 6. Solve -5*p - 14 = j*a, 2*p + 4*a + 4 = 4*p for p.
-2
Let a(k) = 3 - 7*k**2 + 9*k**2 + 4*k + 0*k. Let w be a(-3). Let f = 9 - w. Solve 0 = 4*n - 2*s - 10, 0 = 2*n - f*n + s - 7 for n.
3
Let q = 20 + -17. Suppose -q*i = -6 - 3. Solve 5*n - 4*b = 7, 5*n - 5*b = -i*b + 11 for n.
3
Let r be (-953)/(-6) + 1/6. Suppose 5*w = -59 + r. Solve 2*n - 5*m - w = 0, 0*n + 4*n + 3*m + 12 = 0 for n.
0
Let f be 4/8 + 13/2. Solve -4*i - 10 = 2*d, i - f*d = -2*d - 30 for i.
-5
Suppose -2*u - 2 + 0 = 0, 5*u + 15 = 2*r. Suppose -20 = -3*n + 2*n. Suppose 0 = -4*s - 0 + n, 3*p = 2*s + 8. Solve 2*h + 13 = r*q, -4*q + p = 3*h + 14 for h.
-4
Suppose 3*i = 2*i + 11. Suppose -2*z + 2*m - 13 + 1 = 0, 2*z + 8 = 4*m. Let u = z + i. Solve -u*a = 3*w - 21, -a = 3*w - 2*a - 5 for w.
3
Let b be (-11 - -14)*(0 - (-1 - 0)). Let p = -4 - -9. Suppose 4*c + 3*i - 13 = 4*i, -4*c - p*i + 7 = 0. Solve -c*f = -b*h + 5*h + 7, 0 = -2*h - 4 for f.
-1
Suppose -t + 3*t = 0. Solve -2*w + 5*x + 16 = t, w - 2*x = -2*w + 2 for w.
-2
Let z be 14/3 + (-3)/(-9). Suppose 2*j + 3*h + 3 = 12, 4*j - 12 = -4*h. Solve j = -w + q + 1, -z*w + 3 = -3*q + 2 for w.
-1
Suppose 10*d = 4*d + 12. Solve 0 = -g - d, -3*p = -2*p - g - 3 for p.
1
Let m(a) = a + 27. Let n be m(-9). Solve -w + 3*b + n = -6*w, -5*w + b = 14 for w.
-3
Suppose 4 = -8*l + 4. Solve 5*b - 3*b = 2*r + 2, 5*r + b + 11 = l for r.
-2
Let u be (-1*2)/(-2) - -4. Suppose 3*v - 3 = 4*y - 35, -4*v - 3*y - 26 = 0. Let d be 5*(v/(-5) - 1). Solve g + u*x + 6 = d*g, 4*g + 5*x = 12 for g.
3
Suppose 18 = -2*c + 5*o, 5*c + 9*o - 6*o - 17 = 0. Solve -3*r - 2 = -3*p + c, p - 4 = 4*r for r.
-1
Let g(m) = -m + 16. Let q be g(0). Let i = q - 11. Solve -3*y + 5*n = 7, -3*y + i = -0*n + n for y.
1
Suppose -5*l + 4*k + k + 10 = 0, -5*l + 3*k = -8. Suppose -b - 3*n = -12, -l = 5*n - 16. Solve t = -6*i + 2*i - 5, -b*i + 5*t = -2 for i.
-1
Let l(p) = -p**2 - 6*p - 5. Let a be l(-5). Let s = 19 - 27. Let b = -5 - s. Solve 5*m = 2*g + 13, -b*m + a*g - 5*g = 17 for m.
1
Let f be 8/(-20) - 426/(-15). Solve 3*g - 3*n = 2*g + 5, 0 = 4*g + 4*n + f for g.
-4
Let y be (-2 - -12 - 3)/1. Suppose t = y - 4. Solve -m + 6*m + 5 = -t*s, -5*m = -5*s + 5 for s.
0
Let g(m) = -m - 1. Let q be g(-1). Let x(b) = b**3 - 15*b**2 + 27*b - 7. Let i be x(13). Solve 5*z + 2*k + 0*k - 6 = q, -z = 2*k - i for z.
0
Let c = 6 - 4. Suppose -27 = -5*z - c. Solve -5*k + 4*v + 22 = -14, -4 = 4*k + z*v for k.
4
Let k = 95 + -92. Solve i = -k*x - 2 - 5, -19 = 5*x - 2*i for x.
-3
Let d = 42 - 33. Solve -2*g + d = -u, 2*u + 0*u = -4*g - 2 for g.
2
Let n be ((-15)/30)/(1/(-4)). Solve o - 8 = 2*c, 4 = 4*o - 2*o + n*c for o.
4
Let x = 24 - 21. Solve -s + z = 5*z - 4, 5*s + x*z - 20 = 0 for s.
4
Suppose -5*y - 5*n = -50, 0*y = -4*y + 4*n. Solve -y*r = -z - 18, 2*r - 3 = 6*r + 5*z for r.
3
Suppose -4*l + 3*k = -15 - 6, -3*k - 12 = -3*l. Suppose 5*i - 2*i = l. Solve 0 = 2*p + 8, 2*p + 31 = i*y - 2*p for y.
5
Suppose 0*w + 25 = -5*w. Let c = w - -7. Let i = 3 + 0. Solve 5*n - 6 = i*z, -c*z + 2 = -4 for n.
3
Let d be 1/1 - (-4 - -1). Solve 3*c + 3 = z + d*c, 3*c + 6 = 0 for 