-3 = 5*x - 28 for a.
0
Let c = -15 - -24. Let r = 13 - c. Solve -3*j + r*u - 9 = -28, -5*u - 20 = 0 for j.
1
Suppose 5*m = -0*a - a + 29, -5*m + 45 = 5*a. Solve o - 2 = -2*b, m*b + 5*o = 3*o + 3 for b.
-1
Suppose -2*c - h - 2 = -2*h, 0 = 4*c + 2*h + 4. Let s = c - -1. Solve s = -2*i - 10, -3*x = -3*i + i - 13 for x.
1
Let m(i) = i**2 - 6*i + 5. Let t be m(6). Let x = t - 9. Let q be (x + 2)/((-1)/2). Solve 4 = 2*h - 0*h + k, -h + 16 = q*k for h.
0
Let l(c) = -4*c - 20. Let p be l(-8). Let m(q) = q**3 - 11*q**2 - 12*q + 2. Let d be m(p). Solve -3*y - 4 = -5*a + d, -18 = -5*a - y for a.
3
Suppose n + 3*n = 0. Suppose -p = -4*p + 3. Solve -h + p = -2*j - n, j - 27 = -5*h for j.
2
Suppose -4*d = -0*d - 8. Solve -5*w + n + 14 = 0, -1 + 13 = d*w - 2*n for w.
2
Suppose 2*p - 3 = 3*q - 0, 2*p + 5 = -5*q. Solve -2*n + 5*h = -p*n + 3, 0 = -n - 5*h + 6 for n.
1
Let y(w) = w - 3. Suppose v + p = -p + 11, 4*p - 36 = -4*v. Let l be y(v). Solve l*m - 4*c = 32, 0 = -4*m + 3*c - 7*c for m.
4
Let x = 7 + -3. Suppose -x*a + 3*a = -2. Solve -a = 3*h + 4*v + 6, -h = v + 1 for h.
4
Suppose -3*y = 2*u - 3, -3*y + 7*y = -3*u + 3. Let i be (-5)/y*(-5 - -2). Solve 3*o - 4 = -i*r + 5*o, -2*o = -4*r + 4 for r.
0
Suppose -22 + 2 = -5*s. Solve -4*y = b - 12, 2*y - 5*b = -s*b + 6 for y.
3
Let c(z) = -z + 0 - 2 + 2*z. Let t be 130/39*9/5. Let v be c(t). Solve v*h - 19 = -d, 3*d = -2*h + 5 + 2 for d.
-1
Let k be (-1)/((1 - -1)/(-10)). Let d be (4/(-12))/((-2)/(-6)). Let p be 9/3 - 0 - d. Solve -p*v + k*v = -3, w - 3*v - 14 = 0 for w.
5
Let b(x) = x - 5. Let c be b(7). Suppose 9 = c*f + 1. Solve 2*p = 4*v - f, v = -0*v + 2 for p.
2
Let j = 9 + -7. Let d(b) = 4*b. Let k be d(j). Suppose -w + k = w. Solve 4*h + 3*f + 18 = 2*h, w*f = -3*h - 25 for h.
-3
Let q = -1 - -2. Let n be (0 + 0 - -14) + q. Solve -5*r - 4*f - f - n = 0, 1 = r + 3*f for r.
-5
Suppose -72 = -5*z + z. Suppose -5*w + 4*w + 28 = 0. Let j(o) = -o**2 - 5*o + 1. Let q be j(-4). Solve n + z = 5*s - 0*s, -q*s + w = 4*n for s.
4
Let b be 4 - (0/(-1) + 0). Suppose 0 = -b*w - 0*l + l + 36, -l = 0. Solve -4*n + a + a = -14, -w = -3*n + 2*a for n.
5
Let l be 14/(-3)*3/(-2). Solve -4*j = 0, 13 = -5*g - j - l for g.
-4
Suppose -9 = -9*z + 9. Solve -y - 1 = -z*p - 0*p, 0 = -3*y + 9 for p.
2
Let b = -1 - -6. Suppose -b*p + 20 = -p. Solve 1 + 2 = -j, 0 = p*o - 5*j - 5 for o.
-2
Let w(m) = -m**3 + 4*m**2 - 3*m + 1. Let p = 2 + -2. Let a(s) = -s + 2. Let t be a(p). Let n be w(t). Solve -61 = 5*i + n*b - 24, -7 = -i + 3*b for i.
-5
Let k(x) = -6 + x - 3*x - 3*x. Let n(t) = -6*t - 6. Let z(p) = 4*k(p) - 3*n(p). Let w be z(-5). Solve -5*s - g + 35 = -4*g, w*s + 4*g + 4 = 0 for s.
4
Let o = 2 + -1. Let t = o + 1. Let p = 8 - 4. Solve -3*d - 6 = p*a + t, -2*d - 2 = 2*a for d.
4
Suppose -c + 3*c - 36 = -2*n, 0 = 3*n - c - 54. Suppose 3*b + 0*b = n. Solve 4*l - b = -d + l, -4*d - 4*l = 0 for d.
-3
Let h(p) = -p - 9. Let w be 10/(-4)*(1 + 3). Let t be h(w). Solve 5 = 5*r - 4*l, -5*l + 6 = 5*r + t for r.
1
Suppose -5*d + 5 = -4*g - g, -d = -3. Suppose 0*a = g*a. Solve 14 = -2*r + 2*l - 0*l, a = -3*r + 2*l - 16 for r.
-2
Let m = 4 + -1. Let a = m + -3. Let j(q) = -q**2 + q + 13. Let h be j(0). Solve a = 3*g - y - 2*y + 6, -2*g = y + h for g.
-5
Suppose 2*q + 2*q - 4*n - 28 = 0, 0 = -2*q + 4*n + 20. Solve 4*g + 12 = -z, z - q*z = -3*g + 6 for g.
-2
Suppose 2*u = 3*w + 5, 3*u + 7*w = 3*w + 16. Solve -2*a = u*l + 6, 3*a = -3*l - 2 - 1 for a.
1
Let m be 3 - ((0 - 2) + 1). Suppose -24 = -4*l + s - m*s, 4*l = 4*s - 4. Solve -23 = -l*v - 2*p, 2*p = -5*v + 3 + 30 for v.
5
Let f be (4 - (-42)/(-12))*6. Solve 0 = -2*d + m + f, 0*m + m = -3 for d.
0
Suppose 0 = 2*p - 4*a - 16, -3*p - a + 16 = a. Suppose o = p*o. Solve -14 = 2*t + 4*d, 0*t - t + 5*d + 7 = o for t.
-3
Suppose 3 + 15 = 6*y. Solve k - 7 = -p, -y*p = -4*k - p + 4 for k.
3
Let k be (-12 - -2)*(-3 + (-35)/(-25)). Solve -m = 2*t - 4, -2*m - t = 3*m + k for m.
-4
Suppose -97 = -5*j - o, -2*o + 40 + 2 = 2*j. Let y = j + -9. Suppose y = -n + 6*n. Solve 2*m + 3*m + a = -19, 5*m - n*a = -7 for m.
-3
Suppose 4*g + 3 - 9 = o, -5*g = -10. Let k be 6 + 4 + o/(-2). Solve 0 = -3*d + 3*t - k, 1 = -4*d + t + 4 for d.
2
Suppose 5*o - 3*c - 11 - 9 = 0, -5*o + 20 = 5*c. Suppose o*q - 3*q = 0. Solve -4*k - z + 3 - 10 = q, 4*z = 2*k - 10 for k.
-1
Let b be (16/6)/(2/3). Let t = b + -2. Suppose 2*l - 3 = -k, -4*l + t*k = -k - 21. Solve -28 = -5*d - l*h, 2*d + h = -3*d + 26 for d.
5
Let c = 21 + 15. Suppose -3*d = d - c. Let v(s) = 3*s**2 - s. Let j be v(1). Solve k = -2*w - 6 - 3, 0 = j*w - 5*k - d for w.
-3
Let z(h) = -h - 1. Let s be z(-6). Let l(q) = q**3 - 5*q**2 + 3*q - 4. Let g be l(s). Solve 5*b = i + g, 10 = 2*b - 3*i + 4*i for b.
3
Let k = -5 - -8. Suppose 0 = 2*b - c + 4*c - 33, -24 = -b - 3*c. Solve 4*l + k = -b, -h - l - 1 = 0 for h.
2
Let d(k) = -9*k - 43. Let c be d(-5). Solve 4*s + 28 = -5*g + c*s, 3*s + 16 = -g for g.
-4
Suppose -9 - 18 = 2*i + 5*t, 11 = 4*i - 3*t. Let x be (-10)/i - (-3 - -4). Solve -5*p + 35 = 3*y, 2*p - x = p - y for p.
4
Let r be -1*((-2 - 3) + 0). Solve -u - r = 2*g - 6*g, 2 = 2*g for u.
-1
Let t(k) = -5*k**3 - 2*k**2 - k. Let a be t(-1). Suppose a*s = -0*s + 8. Solve 0 = -5*z - 3*j + 10 - 50, 2*j = s*z for z.
-5
Suppose -10*v - 12 = -14*v. Solve -4*o + o + 2*d = 17, -5*o + v*d - 27 = 0 for o.
-3
Let j(w) = w**3 - 10*w**2 + 9*w + 4. Let i be j(9). Suppose -3*y + 8 + i = 0. Suppose 0 = -3*x - 0*x. Solve -y*b = 4*o - 28, 3 = o - x for b.
4
Let y be 502/22 - 2/(-11). Let l(v) be the third derivative of v**4/24 + 3*v**2. Let c be l(4). Solve c*m - 8 = -f, -5*m - 3*f + 5*f + y = 0 for m.
3
Suppose 0*n - 2*m + 1 = -n, 3 = 2*n + m. Let t be 1 + n - (-104)/(-4). Let c be ((-1)/(-2))/((-2)/t). Solve 5*k - b = 17, -c*k + 23 = -4*k + 5*b for k.
4
Let p be (0/(1 + -2))/(-2). Suppose z = -p*z. Solve -7*u = -2*u - 3*d + 14, z = 4*u - 4*d + 16 for u.
-1
Let y be (16/20)/(4/10). Suppose 2*g = -l + g + 9, 0 = y*l - g - 6. Solve 0 = -2*j + 6*j + 3*a - l, 5*j - 14 = 4*a for j.
2
Let i = -2 + 5. Solve -4*u - 7 = 5, 0 = -i*n + 4*u for n.
-4
Let o(q) be the third derivative of q**4/6 + q**3/3 + q**2. Let h be o(2). Suppose 2*l - 4*l = -h. Solve 2*u - 10 = -5*m + m, 16 = l*m - u for m.
3
Let o = -43 + 22. Let a be ((-2)/(-6))/((-1)/o). Solve -a = -3*d - 4*f - 1, -3*d = 2*f for d.
-2
Suppose -9*x = 3*x - 96. Solve -2*f = -2*s - x, 5*s + f + 1 - 5 = 0 for s.
0
Let x be (-1)/(-3) + 8/3. Suppose 4*i - 5*i = 0. Let k be (7 - 4) + i/(-1). Solve 2*m + 16 = -k*p - 0*m, x*p = 2*m + 4 for p.
-2
Let j be 0/(2/(1 + 1)). Let r(k) = -k**3 - k + 3. Let m be r(j). Solve 5*y + 5*g = m*y - 8, 4*g + 8 = -2*y for y.
-4
Let j be (-64)/(-3) + (-3)/9. Solve -3*i = d + 3*d + j, 5*d = -2*i - 21 for i.
-3
Let v be 0/(-3 + (3 - 2))*-1. Solve -5*n + 3*a + 1 = v, 0 = -n + 4*a - 1 - 9 for n.
2
Let n = 14 - 10. Solve -3*d + 2 = 2*z, -n*d + d = 3*z for d.
2
Let p be 6/(-9) - 22/(-6). Let x be (-14)/((0 + -1)*1). Solve -3*t - p + 10 = -2*m, m + 2*t = x for m.
4
Suppose -18 = -5*x + 7. Suppose 2*n - 3*q - x = -2, 2*n + 2*q + 2 = 0. Let g(p) = p - 1. Let h be g(4). Solve -12 = 4*r + 3*v, -3*r - h*v - 11 + 2 = n for r.
-3
Let w be 6/(-24) - 1/(-4). Let y = 5 - 3. Let z be ((-10)/6)/(2/(-6)). Solve z*p - y*p = -u - 6, w = -2*p - u - 4 for p.
-2
Suppose -26*m + 8 = -24*m. Solve 17 = -m*u - 2*j + 5, -5*j + 30 = -5*u for u.
-4
Let q(y) = y**2 + 3*y - 1. Let c be q(1). Solve -5*i + 2*b + 14 = 0, c*i - 3 + 6 = 5*b for i.
4
Let u be (-10)/2*6/(-10). Suppose 0 = -2*c + u*c. Solve l + c*s - 3*s = -3, 2*l - 3*s = -6 for l.
-3
Let a be (-24)/(-15)*(-15)/(-6). Suppose -2*n + 3*p + p = a, -3*p - 6 = 3*n. Let d be n/(-3) + (-78)/(-18). Solve 0 = -2*x - 5*w - 8 + 1, 2*w = d*x + 3 for x.
-1
Let u = -36 + 41. Solve -2*x + u*x - 3 = 0, h = x for h.
1
Suppose 0 = o - 2*o. Let z be 6/21 + 76/28. Solve -5*l - 7 = z*q, -5*q + 3*l - 41 + 18 = o for q.
-4
Let p(q) = -q**2 - 3*q - 1. Let h be p(-5). Let t = -11 - h. Solve 0 = -5*z - 3*b - t + 7, -3*z - b = -5 for z.
2
Let k = 8 - 7. Let x be (6/(-10))/k*-10. Let g be ((-8)/10)/(x/(-15)). Solve -8 - 15 = -5*y + c, 4*y - 10 = -g*c for y.
4
Let k be 63 + (2 + -3)*-3. Suppose -2*s = s - k. Solve -l + s = 5*n, -5*l + 20 = 3*n - l for n.
4
Let u(r) = 5*r - 6. Let l be u(-9). Let m = l + 71. Let x be 8/44