- s = -3*k, 2 = 2*k + p for k.
0
Let r be (-52)/(-20) + (-6)/(-15). Solve 2*t + 3*i + 9 = 0, 0 = r*t + i + 6 + 4 for t.
-3
Suppose l = 3*l - 10. Let a = -4 - -9. Suppose 0 = -3*t + 4*w + a, 4*t - w - 8 = 3*w. Solve -y + 2 = l*o - t, 5*o + 3*y = 5 for o.
1
Suppose 0*n - n = -3. Suppose 0 = n*t - 11 - 1. Solve -2*b - 16 = -t*f, -3*f + 3*b + 16 = 4 for f.
4
Let p(v) = 5*v - 4. Let s be p(6). Solve 4*k + 3*o - o = s, o = 2*k - 7 for k.
5
Let g(w) = -w**2 + 8*w - 4. Let i be g(9). Let o = -24 - -42. Let j = o + i. Solve -2*v + j*b = 16, -v = -3*v - 2*b + 12 for v.
2
Suppose 0 = -0*r - r + 3*h + 6, 2*h + 8 = 2*r. Solve -2*v - 4*b = 20, 0 = -3*b + 4*b + r for v.
-4
Let g = -16 + 18. Suppose g*s + 4*a = a + 24, -3*s + a + 47 = 0. Solve -2*x + 7*x - 25 = 0, -x - s = 5*k for k.
-4
Let l(g) = g**3 + 6*g**2 - 10*g + 10. Let x be l(-8). Let a = x + 57. Solve -2*m - 3*r + a = 0, -4*r - 20 = -5*m - 7 for m.
5
Suppose 2*c + 3*i - 8 = 5*i, -10 = -3*c + 2*i. Solve -p + 5*p - 35 = 5*j, 2*p - 4 = -c*j for p.
5
Let k = 2 - -1. Suppose k*p - p = 38. Suppose -b = -3*b. Solve 3 = m, 5*m - p = -v - b*m for v.
4
Suppose -2*g = -6*g + 16. Suppose 3*h - 8 = -g*z + 7, -5*h = 4*z - 25. Solve z = 3*c + r - 6 - 14, 4*c = -r + 25 for c.
5
Let x = 11 - 5. Let y = x - 4. Suppose 3*j = f - 23 + 58, y*j + f = 15. Solve 0 = -5*s - 0*z + 5*z - j, -3 = -2*s - 5*z for s.
-1
Let b be (1 - 3)/(4/(-6)). Suppose -2*i - b*i + 45 = 0. Let x = i + -5. Solve -4*h = -4, x*j - 3*h - 9 = -0 for j.
3
Suppose 0*w + 2*w = -2. Suppose -5*x - 30 = -5*u, 3*x - 2*x + 18 = 4*u. Let o = w + u. Solve 0 = 5*h, -2*h + 1 = -z - o*h for z.
-1
Suppose 9*u - 21 = 2*u. Solve 12 = -4*w, 4*a - u = -0*w + w for a.
0
Let h(c) = c**2 + 9*c + 13. Let b be h(-11). Suppose 4*m = -2*z - 0*z + 22, -4*z + b = 5*m. Solve 3 = 3*l - 3, -m*l = -s - 4 for s.
2
Suppose -4*v - 5*z - 5 = 0, -5*z + 4*z = v. Solve 0 = -3*p - 0*p - v*o - 15, 4*p + 4*o + 20 = 0 for p.
-5
Let x(l) = -l**3 + 4*l**2 + 2*l - 5. Let t be x(4). Solve 0 = 3*z + t*j, 4*j + j = -2*z for z.
0
Suppose 2*w = -w + 81. Let y be (w/(-6))/3*-2. Suppose -2*r = -2*m + 21 + 13, y*r = 2*m - 31. Solve -3*d - 7 = -3*g + m, 5*g + 2*d = 17 for g.
5
Let m(t) be the third derivative of t**4/12 - t**3/2 - t**2. Let a be 1*(-1 + 0 + 4). Let n be m(a). Solve 4*i = -j + 11, -2*j - 2*i + 7 = -n*j for j.
-1
Let j be 5 - 42/12 - 3/(-2). Solve -4*p - j*t - 8 = t, 5*p = 5*t for p.
-1
Suppose 0 = -8*a + 11*a - 27. Solve -4*j + 27 = 5*f, 2*j = f - 2*j + a for f.
3
Let n be 1/(-2) + 82/4. Solve 3*j + 8*f - 3*f - n = 0, 3*f = 5*j - 22 for j.
5
Suppose 2*x - 5 + 1 = 0. Solve 3*g + w = -7, x*g + 2 = 3*g - 4*w for g.
-2
Suppose -26 = -3*z - 2*z - 4*p, 3*z + p = 10. Suppose 0 = -z*t + t. Solve 24 = -t*y + y + 4*s, -3*s - 1 = -4*y for y.
4
Let b = 12 - 9. Solve -b*x + 0*j + 22 = 5*j, 2 = 3*x - 5*j for x.
4
Let y = 2 + 0. Suppose 0 = y*m - 3*m + 4. Let b = 7 - m. Solve 2*c = -f + 3, 5*f + b*c = -0*c + 15 for f.
3
Let u be 4/12*(0 - -57). Let o be (-50)/(-18) + 8/36. Suppose -2*y + o*y = 2. Solve -3*s = y*i - 0 - 3, -4*s - u = -5*i for s.
-1
Suppose 0 = 16*x - 17*x. Solve 5*f + 3*d - 17 = x, -f - 2*d + 6 = f for f.
4
Suppose -5 = -4*x + 3. Solve -2*p + 5*b + 6 = 0, 0 = x*p - 0*b + 5*b - 6 for p.
3
Suppose 4*i - 75 - 33 = 0. Solve -i = -o - 5*s - 12, 0 = -3*o + 3*s - 27 for o.
-5
Suppose -2*m + m - 4*q = 11, 0 = -2*m - 3*q + 3. Let l = 52 + -30. Solve 4*a - l = 3*n, 4*a - 3 = -2*n + m for a.
4
Let k = -31 - -39. Solve 7 = 4*c - z + 2*z, 2*c - k = -2*z for c.
1
Suppose 25 = 7*k - 2*k. Suppose p = k*b - 23, 6 + 18 = 3*b - 4*p. Solve -12 - 24 = 4*l + b*o, -l - 4*o - 24 = 0 for l.
-4
Let g(h) = -h - 6. Let c be g(-14). Solve b + c = 2*l - 1, -4*b - 6 = 2*l for b.
-3
Let q = 11 + -6. Suppose -q*w = -2*g + 6 - 20, -5*g = -w - 11. Let j = 3 - -9. Solve 3*h = -3*u - j, u - 3 = h + g for u.
1
Let v(t) = -2*t**3 - 4 + 0 + t**3 - 2*t - 5*t**2. Let y be v(-5). Solve 4*g = 4*z - 20, 4*z - 2*g = y + 4 for z.
0
Let i be (-10)/35 - (-128)/7. Suppose -3*r + 4*k - i = k, -5*k = -3*r - 18. Let y be 3*(0 + (-8)/r). Solve 0 = 2*v + 6*j - j + 17, v - y*j = 24 for v.
4
Suppose -3*o - 2*o = 3*i - 40, 5*o = 5*i. Solve 0*v = -v - 3*d - 2, i*v - 3*d - 26 = 0 for v.
4
Suppose -m + 0*p - 21 = -p, 0 = 3*p + 12. Let v = 38 + m. Solve 5*q + 2 = 3*d, 4*d - v = -2*q + 7 for d.
4
Let v be 11 + (-5)/((-5)/(-1)). Solve 5*t = 4*t - 3, 5*t + v = 5*h for h.
-1
Suppose 3*p + p - 36 = 0. Solve 4*v + p = -a, 2*v - 5*v + 6 = 5*a for v.
-3
Suppose 30*o = 7*o + 437. Suppose -1 + 7 = 3*z + 3*b, 4*z - 4*b + 24 = 0. Let i be (2 - 1)*(-6)/z. Solve 2 = 5*g - 7*u + 3*u, -5*g = i*u + o for g.
-2
Suppose -m + 0*m = 0. Solve 2*j + 0*j = -5*t, 3*t - 2*j = m for t.
0
Let c = -5 + 10. Suppose 13 + 32 = 5*m. Solve -l = -c*z - m, 7*z + 13 = 2*l + 2*z for l.
4
Let t be 462/44*(-5)/(30/(-4)). Suppose 8*k - 3*k = 10. Solve -q + 3*c = -t, -c - k*c = 4*q - 13 for q.
4
Let x(c) = c**2 - 10*c + 10. Let a be x(9). Let k = 1 + a. Solve -3*i - 13 = k*v, -i = 5*v - 4*i - 20 for v.
1
Suppose -7*x - 72 = -11*x. Let t = 23 - x. Solve 0*q + 5*p - 11 = q, 3*q + t*p - 7 = 0 for q.
-1
Suppose 4*g + 3*c = c + 10, 2*c + 17 = 5*g. Solve g*a = 3*i - 4*i - 16, -3*a - 32 = 5*i for i.
-4
Let o(c) = c**3 + 5*c**2 - c - 4. Let d be o(-5). Solve 4*i + 4*z = -d - 31, 17 = i - 4*z for i.
-3
Suppose v = -2*v. Solve v*c - 5*z = 2*c - 18, -3*c + 20 = 4*z for c.
4
Suppose 2*h + 4*j - j - 28 = 0, -4*h = -j - 70. Let k = 38 - h. Solve -d + w = 4, -d + 0 = 4*w - k for d.
1
Let m = 41 - 36. Solve -m*h = -4*t - 8, 0*t - 3*h = 2*t - 18 for t.
3
Let h be -2 + 3/6*4. Suppose -3*o + 50 - 17 = h. Let x = 16 - o. Solve -x*p + d + 2*d + 25 = 0, -p + 5*d = -27 for p.
2
Suppose o = 2*z + 34, -61 = -2*o - 5*z + 2*z. Solve o = 4*w - 3*m, -2*m + 20 = 5*w + 3 for w.
5
Let b = -15 - -63. Let z be (-1)/(1 - b/46). Suppose 0 = -5*o - 8 + z. Solve -2*w - a + 4 = 0, o*a + a - 2 = -w for w.
2
Suppose 0 = t - 4 - 1. Solve 4*o = 5*x - 24, -7 - 2 = -x + t*o for x.
4
Suppose 0*z + 32 = 2*z. Suppose 2*k + 2*k = z. Suppose 7 - 19 = -k*d. Solve 0 = -d*l + 2*c + 11, -5*l - 2*c + 10 = -3 for l.
3
Suppose -11*o + 1 + 21 = 0. Let s(v) = v**3 + 8*v**2 - 2*v - 7. Let q be s(-8). Let n be (3 - 1) + 1 + 0. Solve 3*w = q, 0 = o*d + d - n*w + 12 for d.
-1
Let k = 12 - 10. Suppose 0 = -n + 3*a + k, -a = -4*n + 22 - 3. Solve -3*f + 19 = 4*r, -n*f - 5 = -2*r - 2 for f.
1
Let r(y) = -y**3 + 9*y**2 - 14*y + 15. Let h be r(7). Solve -40 = 3*z + 5*f - h, -5*z + f - 23 = 0 for z.
-5
Suppose 5*j + 2 = -2*u + 35, -5*j - u + 29 = 0. Let x = -4 + j. Solve -5*f + 4 = 5*t - x, -t + 10 = -2*f for f.
-3
Let p be (6 - 5)*15/3. Solve -3*m - 4 = 2*b + 14, -p*m = 2*b + 26 for b.
-3
Let g = -21 - -25. Solve -3*m - k - 6 = 0, -m + 5*m - g*k - 8 = 0 for m.
-1
Let z be (-30)/(-4)*(-2)/(-3). Suppose -3*j - 5 = -20, -5*j = -4*c - 5. Solve 2*b + 12 = -c*y - b, -2*b - 8 = -z*y for y.
0
Let h(o) = o + 7. Let w be -1 - (-5 - 0) - -1. Suppose 3 = w*b + 28. Let c be h(b). Solve 5*v - c*g - 28 = 0, g = 7*v - 3*v - 20 for v.
4
Suppose -w + 1 = -5. Let s be 18/8 - 1/4. Suppose -w*k + 72 = -s*k. Solve -5*f - 27 = 4*x, x + 4*x = -f - k for x.
-3
Suppose -4 = -2*j + 4. Let b(u) = u - 7. Let o be b(5). Let l = j - o. Solve 3*s = k - l, -s = k + 1 - 3 for k.
3
Let h(l) = l**3 - l + 3. Let d be h(0). Let g = -23 + 65. Let n = g + -14. Solve -d*m - m + 20 = -x, 3*x - 4*m = -n for x.
-4
Let w(n) = 21*n**3 + n - 2. Let t be w(1). Solve 4*j - t = 0, -r - 3*j = -2*j - 1 for r.
-4
Suppose 0 = 5*f - f. Suppose f = -6*d + 2*d. Solve 3*v - 1 = -4*x, 4*v - x + 5 + 0 = d for v.
-1
Let s(k) = 2*k + 13. Let y be s(-5). Solve 14 = -4*z + 2*z - x, 3*z - 3*x + y = 0 for z.
-5
Let q be 6*2/4 + -165. Let r be (-2)/5 + q/(-30). Let t be (1*-10)/(-2) + -1. Solve 22 = -t*l + 2*g, 0 = -l - g - r + 1 for l.
-5
Let i be (3/(-6))/(2/8). Let f be 7*(-1)/(-3 - i). Solve -5*p = 4*b - 2, b + 4*p + 1 - f = 0 for b.
-2
Let m(i) = 3*i - 40. Let k be m(15). Solve k*a = 5*o + 50, -2*a = 3*o - 4*a + 25 for o.
-5
Let i = -17 + 26. Suppose -8*t + i*t = 4. Solve 0 = 5*o, 0 = -t*c + 2*o + o + 8 for c.
2
Let z be (-35)/(-7)*(0 + 1). Solve -v = -0*v + 5*b - 27, -z*v = -2*b for v.
2
Let a(v) = -v**2 - 8*v + 12. Let j be a(-9). Solve 0 = 3*f - 5*y + y + 8, j*y = -2*f + 23 for f.
4
Let f be (-300)/(-9) + (-