l = 2, -3*s + l + 3 = 4*l for s.
1
Let a = -301 - -304. Solve 0 = 5*s + 5*v + 5, -4*v - a = -4*s + 9 for s.
1
Let h be (-1)/(-1) + -9*(-14)/63. Solve -4*i = -3*z - 35, -3*i - 7 - h = 5*z for z.
-5
Suppose -a = 3*a. Suppose a = 5*o, 7*o - 2*o + 8 = 4*q. Suppose -3*p = -3*v - 0*p + 9, -q*p = 0. Solve 3*i + 0*i - 9 = 0, 0 = -v*u + 3*i for u.
3
Suppose 2*t + 4*f - 8 = 0, 3*f + 1 = -t + 5. Solve 5*o = 3*b - 21, 4*b - 8*b - t*o = 4 for b.
2
Suppose 29 = 16*x - 51. Solve 15 = 5*v - 4*r + 3, -3*v - x*r - 15 = 0 for v.
0
Suppose 4704*w = 4705*w - 5. Solve -5*q + 15 = -w*d, -q - 10 = 4*q for d.
-5
Suppose -18 = -5*x + 4*j, 6*x - x - 6 = -2*j. Suppose -4*p = 3*m - 36 - 3, x*p + 5*m - 37 = 0. Solve -3*w + 12 = 0, 4*i - w + p*w - 40 = 0 for i.
5
Let f(v) = 11*v**2 + v + 1. Let k be f(-1). Let w = -39 + 21. Let x be 3/w + (-75)/(-18). Solve -x*c + 4*b - k = 5, 2*b = -4*c + 14 for c.
1
Let q be 154/56 - 3/4. Suppose 11 = l - 5*p, -61 = -3*l + q*p - 15. Solve -2*c + 4*m = -6*c - l, 3*m + 11 = -2*c for c.
-1
Suppose 0 = -5*z + 20 - 0. Suppose z*c + 0*c + 5*a - 40 = 0, 5*a = 4*c. Let v be (1 - 34/30) + 5984/330. Solve c*q - u + 6 = 0, 3*q + v = u - 4*u for q.
-2
Let n be (12 + -95)*(-2)/2. Suppose 19 = -8*t + n. Solve 3*j + 4 = u, 3*j + t = -u - 0 for u.
-2
Let l be 2/(16/(-280)*-7). Solve -l*g + 4*k = -13, 8*k + 3 = -3*g + 5*k for g.
1
Suppose -r = 10 - 34. Suppose r = -a + 9*a. Solve 3*t = 2*z + a*z + 9, -2*z - 15 = -5*t for t.
3
Let p = 2 - -4. Suppose -p = -5*n - 1. Solve 5*q + 6 = 4*l, q + 3*l + n = -4 for q.
-2
Suppose -a + 6 = 7. Let q(y) = -5*y**3 - y**2 - 2*y - 2. Let h be q(a). Let x = -3 - -5. Solve x*c - 8 = 2*u, 0*c - 3*u - 19 = h*c for c.
-1
Suppose -18 + 26 = z. Solve -3*l + r - 2 - z = 0, -3*r = 4*l + 22 for l.
-4
Suppose 0 = 2*s + 6, p - 4*s = 3*p + 8. Suppose 0 = p*y - 2*f - 4, -4*y - y = -f - 22. Solve y*x = -20, 4*j - 5*x - 20 = j for j.
0
Let i(v) be the second derivative of 4*v + 1/2*v**2 + 0 + 1/6*v**3. Let p be i(2). Solve 2*w - 7 = p*m, -4*m = -w + m for w.
5
Suppose 2*z = z + 4*k, 3*z - 28 = -2*k. Solve 2*q = 4*a - 8, -q = a - 0*q - z for a.
4
Let d(m) = -5*m + 62. Let w be d(9). Suppose 32 = -w*u + 21*u. Solve -3*y - 16 = -g, y + g + u = -2*y for y.
-4
Suppose -2860*s + 2874*s = 56. Solve -2*f - 13 = -c, -s*c = -2*c + 3*f + 9 for c.
3
Suppose 6*l - 40 = -2*l. Suppose l*z - m - 12 = 8, -2*z + 30 = 4*m. Solve 3*r = -z*w + 9, -r + w - 6*w = -13 for r.
-2
Let b be 1/1 + 8/(-8). Let d(v) = v + 1. Let k be d(2). Suppose -3*f = 4*m - 26, k*m = -3*f + 8 + 13. Solve -5*s + b*s + 30 = 5*y, 5*s = f*y + 9 for y.
3
Suppose -52*s + 50*s = -6. Solve 2*u - 4*q - q = -13, q = s for u.
1
Let g = 39 - 11. Let a = -25 + g. Suppose 4*y - y - 6 = 0. Solve 3*d + 5*j - a + 14 = 0, 0 = -2*d - j + y for d.
3
Let i be (-1768)/(-136) - 3*-1. Solve 0 = -4*k - 2*p - 12, -2*k - 2*k - i = p for k.
-5
Suppose 0 = -54*x + 15*x + 117. Solve 0 = 3*l + 2*g - 7, 12 = 4*l - x*g + 5*g for l.
5
Let j(p) = p**2 - 2*p + 4. Let t be j(-3). Suppose t = 5*c + i, c - i = 2*c - 3. Solve -5*b - 7 = 4*r, 0 = b - c*b - 5*r - 12 for b.
1
Let p(f) be the first derivative of f**3/3 - 2*f**2 + 7*f - 3. Let s be p(4). Solve -m - s = -w, w + 9 = 4*w for m.
-4
Let j = -16 + 28. Let q be 8/j - (-2)/(-3). Suppose -3*b + b + 24 = q. Solve -5*n = -n + k + 9, b = 3*n - 3*k for n.
-1
Suppose 10 = -3*p + 8*p. Solve -o - 2*y - 5 = 3*y, 5*o = -p*y - 2 for o.
0
Suppose 60*d - 42*d = 36. Solve f = -2*i, 3*f - 8 = -d for i.
-1
Let q = -45 - -50. Solve 0 = y - 3 - 1, q*j + 3 = 2*y for j.
1
Suppose 3*j - f + 128 = 0, -4*j - 87 - 84 = -f. Let m be (37 + j)/((-2)/(-6)*-2). Solve -4 = -4*r - m*l + 4*l, -3 = -3*r + l for r.
1
Let j(w) = -10*w - 75. Let n be j(-8). Solve -4*z - 3*r = 23, -3*z + r = 19 - n for z.
-5
Let d(i) = -i**3 - 13*i**2 + i + 14. Let r be d(-13). Let k be r - (-4 + 3)/(1 - 0). Solve -4*s - 2 - 2 = -4*o, -5*o + 5 = k*s for o.
1
Let x = -5 + 10. Suppose -p = 3*a - 2*a + 24, 4*a + 94 = -x*p. Let t be (-33)/(-5) + a/(-65). Solve 2*d + 0*d + 4*z - 2 = 0, 2*d - 5*z = -t for d.
-1
Suppose -3*n = 128 - 29. Let v be (-4)/6*n/22. Solve 0*d - z = d - v, -3*d = 2*z + 1 for d.
-3
Let t be (-15 - -13)*(-6)/(-4). Let z be 4 + t + -4 + 7. Suppose z*w = 8*w. Solve 3*m = 4*m + 5*r + 1, w = 5*r for m.
-1
Suppose 2*c + 24 = 84*a - 80*a, 0 = -4*a - c + 18. Let k = 0 - 0. Let t be k + 4 + 0/2. Solve -m - t*i = m - 2, a*m = -5*i - 10 for m.
-5
Let y be 1*-1 + 51/3. Suppose y - 7 = q. Suppose 0 = -d + 3*v + q, 14 = 4*d - 4*v + 2. Solve 2 = b - d*b, 3*c + 11 = b for c.
-3
Let a(y) = 16*y + 14 + 274*y**2 - 4*y - 273*y**2. Let s be a(-11). Solve -10 = 2*x, -s*x = -2*r + 2*x + 33 for r.
4
Suppose 0 = 40*f - 3*f - 111. Solve 0 = 2*z + 6, f*z - 10 - 6 = -5*y for y.
5
Suppose -s + 2*d + 22 - 7 = 0, -2*s + 27 = -3*d. Solve m + v = 0, s*v = 5*v for m.
0
Let s(n) = -n**3 + 6*n + 4. Let i be s(-3). Solve 0 = 2*k - 2*o + 5*o - i, 27 = -2*k + 5*o for k.
-1
Let d(k) be the third derivative of k**5/60 + k**4/8 - k**3/3 - 5*k**2. Let q be d(-5). Suppose -q = -z - z. Solve c - u + 2 = u, z*c + 3*u = -19 for c.
-4
Suppose -2*j + 11 = -0*j + t, 2*j = -5*t + 15. Let l(o) = 6*o**2 + 2*o - 3. Let d be l(2). Solve 2*c + 2*f = 4*f + 10, -2*c = j*f + d for c.
0
Let h = 11 - 9. Suppose 0 = h*l - 4, 5 = -z + l + 2. Let t be (-4 + 2 - -7) + z. Solve -t*m = -3*y - 3*m - 11, -15 = -3*m for y.
-2
Suppose 3*m = 6 + 15. Suppose 0 = -2*u + 1 + m. Solve -4*t - u*s = 0, -3*s - 3 = 2*t + 2 for t.
5
Let j(q) = q - 8. Let u be j(10). Solve -u*l + 5*v + 1 = -0*v, 5*l - v = 14 for l.
3
Let o be ((-1)/3)/(10/(-420)). Solve -2 = 4*a + o, -3*w = 3*a + 27 for w.
-5
Let f be (828/84 + -9)*112/6. Solve -2*c = 5*n + 8, -f = 3*c + c - 4*n for c.
-4
Let m = 188 - 355. Let z = m - -171. Solve -4*v - 29 = -5*q, v - 15 = -4*q + z for v.
-1
Let j = -24 - -25. Let k(x) = x - 2. Let q(s) = -s + 3. Let i(c) = 8*k(c) + 5*q(c). Let w be i(j). Solve w*o + 2*a = -12, -o + 5*a + 0*a = -6 for o.
-4
Suppose -4*y - 13*j + 11*j = -34, -3*j + 15 = 0. Let s be (-8)/(-6)*(-27)/18. Let q = 2 - s. Solve -y + 2 = 4*t - q*l, 5*l - 17 = 2*t for t.
4
Suppose 2*w = -5*k - 38, -2*k - 4 = -0*k - 2*w. Let j be 21/k*(0 - (-36)/(-21)). Solve 2*f + j - 3 = 5*u, -u + 2 = f for f.
1
Let s be 15/(-6)*((4 - -6) + -12). Solve 3*v + 15 = -5*p, s*v + 2 = -4*p - 10 for v.
0
Suppose 7*j - 22 = 13. Solve -w + 2*w + 17 = -j*f, -f - 3 = 0 for w.
-2
Let k be (-116)/(-12) + (-8)/12. Let g = k + -3. Solve 4 = t - m, -3*t - g - 2 = 2*m for t.
0
Let k be -7*7/(-147)*(-4 - -28). Solve 4*t + 5*g = 15, 4*g - k*g + 12 = -2*t for t.
0
Suppose 4*j + 3*g - 20 = -g, -5*j + 2*g = -4. Let i be (-16 - -16)/(4/j). Solve 2*l + 5*n - 25 = 5*l, i = 3*l + n - 5 for l.
0
Let n be (-48)/(-28) - (-2)/7. Let b(d) = 2*d**2 - 3*d + 1. Suppose -4 - 6 = -5*i. Let j be b(i). Solve -24 = -j*h + 8*h - 2*a, 2*h - n*a = -12 for h.
-4
Suppose 5*m + 4*p + 148 = 0, -2*m - p - 114 = 2*m. Let h be (8/6)/(3 + m/12). Solve 5*o - h*k + 15 = -0*k, -3*o + 3*k = 9 for o.
-3
Let k be 0/(-2) - (1 + (8 - 11)). Solve -6 = k*m + a, 12 = -4*m + 4*a - 0*a for m.
-3
Let y be ((-1)/3)/((8/(-36))/2). Let w be (28/35)/(y/15). Solve 0*l + w*o + 7 = 5*l, 0 = 3*l + 5*o - 19 for l.
3
Suppose 81 = g + 26*g. Let u = 8 - 2. Solve 5*y - 1 + u = g*v, 2*y + 4*v + 28 = 0 for y.
-4
Suppose -29*i + 113 = -3. Solve g = -i*s + 12, 4*g + s - 3*s = -24 for g.
-4
Suppose -133 = -6*c - 13. Solve 0*x + 4 = -s + 5*x, -3*x = -5*s - c for s.
-4
Let f = 34 + -39. Let s be (-4)/(2/2) - f. Solve s + 1 = 2*p + 5*n, -4*n = 0 for p.
1
Let v = -3 + 0. Let h be (v + (-24)/(-9))*0. Suppose -f + h = -3. Solve 5*d = -4*a + 31, f*d - 5*d - 5*a + 26 = 0 for d.
3
Let n be (12/(-4) + 5)*1. Let j be (-4)/(-8)*(2 + n). Suppose j*a - a = 2. Solve -v + h = 0, 0 = -a*v - 0*h - h + 9 for v.
3
Suppose -210 = -4*o - h - 70, o - 3*h - 48 = 0. Solve p = z - 6*z + 16, 5*z = 4*p + o for z.
4
Let i be 57/21 + (-2 - (-16)/7). Solve 5*y = -i*o, 0 = -3*o - 0*y + y - 18 for o.
-5
Suppose -8 = 19*j - 65. Solve -2*w + u = 6*u - 23, j*w = 5*u - 28 for w.
-1
Let a = 39 + 12. Suppose -3*s - 95 = -2. Let u = a + s. Solve 2*p - 5*h = -p - 19, -u = -5*p - 2*h for p.
2
Let p(n) = -44*n - 217. Let s be p(-5). Solve 0 = -5*u, -s*u + 8 = -3*r - 1 for r.
-3
Let h be (-11)/((-33)/6) + (1 - 1). Solve m = -3*m - u - 8, 4*m 