w + 9 = 4*j, 5*j + 12 = 4*w + j for w.
3
Let q(y) = -y**3 + 28*y**2 - 2*y + 56. Let l be q(28). Solve l = -3*p - 2*p + 5*t + 5, 0 = 5*t - 10 for p.
3
Let w be (-57)/(-19) + (0 - 18). Let b = w - -26. Solve 3*s - 2*q + 6*q = 5, -4*q = 5*s - b for s.
3
Let w(d) = 2*d**3 - 23*d**2 - 7*d - 58. Let a be w(12). Solve -a*c = -2*t + 10, -t = -3*c - c - 14 for t.
2
Let p = 9 + -7. Let o = 42 + -26. Solve 10 = p*x - 2*g, 0 = 2*x + 3*x - 2*g - o for x.
2
Suppose 54 = 7*v - 37. Suppose 3*q = -v + 28. Suppose k - q*d = -22, 4*d - 5 = -k + 18. Solve -4*i - k = 5*g, -5*i = -3*g + g - 21 for i.
3
Suppose 5*y - 30 = -5*c, -2*y + 4*c = -21 - 9. Suppose 26 + 10 = y*w. Solve w = 2*j + 3*h, 4*h = -3*j + 7 - 2 for j.
-1
Let i(a) = -a**2 - 10*a + 60. Let r be i(-14). Suppose r*j - 40 = -4*j. Solve -j*n + 4*d + 13 = 0, -d + 3 = 5*n - 0*d for n.
1
Let v(h) = -9*h + 189. Let y be v(21). Solve -u + 3*c - 13 = y, -5*u - 6*c - 5 = -c for u.
-4
Let s(x) be the first derivative of x**2/2 - 10*x + 3. Let j be s(15). Solve 19 = 4*z - w - 2, 10 = j*z + 2*w for z.
4
Let l = 1 - -3. Let s be (-7 + 2 - (5 - 14)) + -2. Solve 16 = -s*d - 2*n, 2*n - l*n - 21 = 3*d for d.
-5
Let m be (49 + -11)*2/(-4). Let v = 27 + m. Solve 2*q = -4*b - 4, v = -4*q + q - 4*b for q.
-4
Let w(f) = -f**3 - 5*f**2 + 6*f + 5. Let k be w(-6). Suppose -3*q = -4 - 5. Let u be -3 + 1 - -7 - 2 - -3. Solve -2*s = -k*o - q*s + 12, 2*o + u = -4*s for o.
3
Let g(j) = 2*j**2 - 7*j + 6. Let w be g(4). Suppose -a - 4*h - 13 = 0, 2*h = -2*a - 2*h - w. Solve -3*m = -2*m - b - 2, -2*m + a = -3*b for m.
3
Let f = -43 + 41. Let m be (-13 + 19)/(-1 - 5/f). Solve d - m*n + 8 = n, -3*d = -2*n - 2 for d.
2
Suppose 0 = h - 3. Suppose 4*i + 28 = 4*r, 3*i = -5*r - 2 - h. Solve -d - 11 + 3 = 5*b, r*b + 3*d = 2 for b.
-2
Let u = 70 + -70. Solve -5*o - 5*l = -u*o + 15, 5*l - 30 = 4*o for o.
-5
Let p be ((-72)/126)/(-3*(-8)/(-84)). Let x = -3 - -3. Let f be (1 - x) + 4/2. Solve 4*q + 3*h + f = p*h, 0 = -q + 2*h - 3 for q.
-1
Let p be 70/40*4 - 2. Solve -p = w + 2*y, -3*w + 2*w = 5*y + 5 for w.
-5
Let q(p) = p**3 + 4*p**2 + 2*p + 4. Let l be q(-3). Suppose 12 = 4*d + 2*y, 5*d - 2*d + 2*y - l = 0. Solve -h + 11 = -2*o, 10 = d*h + 2*o + 3*o for h.
5
Let b(l) = -l + 13. Suppose -4*i + 7*i - 27 = 0. Let m be b(i). Suppose -m*h + 118 = -6. Solve -h + 10 = 3*c + 3*q, -2*c - 3*q = 17 for c.
-4
Let h be (-38)/(-9) - (-6)/(-27). Solve -3*w = -3, 4*v + h*w - 3*w = 17 for v.
4
Suppose 0 = -2*h - 9 + 21. Suppose -23*a + h = -17*a. Solve 5*u - 3 = f - a, 0 = 5*u + 5*f + 10 for u.
0
Suppose 57 = -4*i - 107. Let x = 45 + i. Solve -x = -3*l + 7*l, p = l - 2 for p.
-3
Suppose -5*q = 767 - 787. Solve z - 4*f = -15, 8*f - q*f - 35 = -3*z for z.
5
Let g be 7/((10/4)/((-5)/(-2))). Solve 0 = 5*o - 5*k - 25, 0 = -g*k + 2*k - 20 for o.
1
Let t be 40/18 + (-4)/18. Suppose 118 = -t*i + 122. Solve -3*l - 2*d - 18 = i*l, -d + 21 = -5*l for l.
-4
Suppose -3*y + 191 = 59. Let j be y/33 + 2/3. Solve 5*f + c = 22, 5 - 1 = j*c for f.
4
Let b = 128 - 37. Let h = b - 78. Solve 4*t + d - h = 0, -4*d = -2*d - 2 for t.
3
Let x be 2/1 + 4 + -5. Suppose p + x = -0. Let w be 23 + p + (-4)/2. Solve 4*b - 4*z = -w, -b + 3*z - 5 = -0*b for b.
-5
Suppose -u = -3*z + 46, 2*z - 25 = u + 6. Solve 3*g - 3*v + z = 0, -6 = -4*v + 2*v for g.
-2
Suppose 3*x - 1 = 23. Let r(c) = 8*c - 37. Let w be r(x). Solve -2*f - 5*y = w + 2, 4*y + 22 = -f for f.
-2
Let u = 23 - 9. Let n = u - 10. Solve -i = -2*v + 5*v - 1, -3*v = -n*i - 11 for v.
1
Let a = 156 - 151. Solve -a*b - j = 23, 2*b - 6*b - 22 = -j for b.
-5
Let c(o) = o**2 + 3*o + 4. Let l be 0/1 + (-42)/14. Let k be c(l). Solve 4*j = 10 - 26, 12 = -k*n + 2*j for n.
-5
Suppose 9*l = -1378 + 559. Let k = l - -92. Suppose 2 + 6 = 3*r - 2*x, -26 = -5*r - 3*x. Solve 3*b + b = -r, k = a + 2*b for a.
3
Let y be ((-4)/(-20))/(5/75). Solve 3*c = 9, 0*b - y*b = 5*c for b.
-5
Let f be ((-4)/(-2))/(-6)*-9. Suppose -3 - 9 = -f*y. Solve 0 = 4*z + 4*x, 2*z + y*x + 2 = 4 for z.
-1
Let b(g) = g**2 - g + 6. Suppose -2*k + 5*k = -36. Let m be (3 + k/4)/(-1). Let f be b(m). Solve 3*x = -5*y - 1, -2*y - x + f - 7 = 0 for y.
-2
Let c(i) = i + 11. Suppose -5*z - 12 = r + 33, -r - 13 = z. Let q be c(z). Solve f + 2*j + 3 - 13 = 0, -q*f + 18 = 3*j for f.
2
Let t be 5 - (45/(-75) + 6/10). Solve -8*f - t*r = -4*f + 29, f = 2*r + 9 for f.
-1
Suppose -5*c = -4*l + 5, -4*c + c + 19 = 2*l. Let r(q) = -q + 11. Let n be r(-6). Let s = 77 + -74. Solve x + 6 = c*x + 2*k, k = s*x - n for x.
5
Suppose 2*q - 3*l = 17, 24*q - 21*q - 2*l - 13 = 0. Solve n - q = 0, -3*w - 2 = -4*w + n for w.
3
Let x = -219 - -222. Solve -3*r + 15 = -4*r - 5*w, x*w - 13 = -5*r for r.
5
Suppose -5*u + 19 = -2*d - 108, 4*u = -d + 99. Solve -22 = 2*z - 4*p, 3*z = p - u + 7 for z.
-5
Suppose -5*p + 40 + 36 = 2*d, -5*p + 160 = 5*d. Let a(t) = 20*t + 943. Let l be a(-46). Let w = d - l. Solve w*m + 4*h = -8 + 1, 0 = 5*h - 10 for m.
-3
Let r(b) = -3*b**3 + 19*b**2 + 14*b + 4. Let s be r(7). Solve 5*z - 45 = s*h, 5*h - 3*h + 25 = 3*z for z.
5
Let j(t) = -4*t - 3. Let g = 9 + -13. Let a be j(g). Let k(q) = q**3 - 14*q**2 + 14*q - 8. Let m be k(a). Solve 2*v - 7 + 1 = 0, -m*v = 4*w + 5 for w.
-5
Let q be 117/(20 - 11) + -11. Solve 3*j + 2*a = 7*a - 2, -j + q*a - 1 = 0 for j.
1
Suppose 2*l - a = 5, 0*l + 25 = 4*l - 5*a. Solve -5*u = -0*s - 4*s + 32, 3*s - 2*u - 17 = l for s.
3
Let s(u) = -2*u**3 - 20*u**2 + 20*u - 17. Let w be s(-11). Solve -w*d + 4 = 4*x, 0 = 5*d - 7*d - 3*x - 4 for d.
4
Suppose -3*c - 2*o - 1 = 0, 0 = -2*c + c - 3*o - 12. Suppose -72 = -c*t - 3*y, -t + 5*t - 121 = y. Solve 4*a = -4*w - t + 1, 0 = -3*w + 4*a for w.
-4
Suppose -4*z + 7*z = -12. Let y be 2/z - (-10)/4. Suppose 1 = q - y*b - 3, -3*q - 5*b = -1. Solve q*x + 10 = 2*t, -5*t + 10 + 10 = -4*x for x.
-5
Let b(p) be the third derivative of 5*p**4/24 - p**3/3 - 9*p**2. Let v be b(1). Suppose -10 = -v*t - 1. Solve -5*z + 8*z - 4*j + 14 = 0, t*j - 8 = z for z.
-2
Let g(a) = 2*a**3 - 2*a + 3. Let q be g(2). Let d = 16 - q. Solve 0*i = y - 2*i + d, 4*y + 11 = i for y.
-3
Let m = 27 + -25. Solve m*k + 5*f = 2*f - 18, 2*f + 11 = -k for k.
-3
Let r = -124 + 120. Let s be 8 + (r + 1 - 1). Solve 2*v - m - 3 = 0, s*v - 10 = m - 3 for v.
2
Suppose -5*w = 15, 3*x + 5*w = 7*w + 15. Solve 24 = -4*g - s, x*g - s + 6 = -5 for g.
-5
Let r = 1466 - 1461. Solve -5*n + 4 = -q, 3*n - r*n = -3*q - 12 for q.
-4
Let d be 0 + 4*(-15)/(-12). Suppose -z - d*c = 0, -4*z + c = 4*c. Solve -4*t = -4*v - 32, z = -4*v + 5*t + 1 - 37 for v.
-4
Let k = 292 + -281. Solve -4*w = -5*f + 10 + 27, k = f - 2*w for f.
5
Suppose -2*z - 2 = 0, 0*m - 3*z = 2*m - 45. Suppose 18 = 4*h + 2*p, -4*p + 0*p = 5*h - m. Solve 0 = -5*v + r - 30, -5*r + h*r + 5 = 0 for v.
-5
Suppose 5*t - 8*a + 7*a - 20 = 0, -t = -2*a - 4. Solve -s + 4 = -0*s, -2*s = -t*k - 20 for k.
-3
Let q = 311 + -302. Let m be 30/((2/3)/(-1)). Let u be m/(-6)*6/q. Solve -4*p + 23 = -5*t, 2*t - 9 = u*t for p.
2
Suppose 6*n - 696 = 5*k + 2*n, -424 = 3*k - 4*n. Let r = k + 140. Solve -2*j = 2*x - 2, 2*x - 20 = r*j - 0*x for j.
-3
Let m be (-2)/9 - (48/27)/(-8). Solve m = -g - 5, -3*a + 2*g = -1 + 3 for a.
-4
Let g(m) = -m**3 - 31*m**2 - 4*m - 120. Let r be g(-31). Solve t = -4*y - 2, -r = -0*t + 2*t + 3*y for t.
-2
Let z(g) = g**2 + 8 + 0*g**2 + 0 - 3*g. Let d be z(5). Let x = d - 13. Solve 0 + 25 = -x*b + 4*j, -16 = -4*b - 4*j for b.
-1
Suppose 5*x - 45 = -5*i, -4*x + 35 = -x + 5*i. Suppose -4*b + 0*p = -p - 5, -x*p = -15. Solve -2*d - b*s = -0*s - 14, 3*d + s = 15 for d.
4
Let z(x) = 2*x**2 + 21*x - 6. Let t be z(-11). Solve -2*j - t*r - 16 = 0, r + 5 = j - 3*r for j.
-3
Suppose 2*c = 3*y - 9, 5*y - 2*c = y + 12. Solve i = y*d - 14, i + 3*d - 2*d - 6 = 0 for i.
1
Let a(q) = -q**2 - 7*q - 10. Let c be a(-2). Solve c*x - x + g = 5, 0 = -5*x + 3*g - 25 for x.
-5
Let f(x) = 2*x**3 + 3*x - 3. Let j be f(1). Suppose -39 + j = -p. Solve -3*s + 5*k = 37, 5*k = 5*s + 8 + p for s.
-4
Suppose -s + 2*w = -5, -4*w + 95 = 5*s - 0*w. Let v be 9/s + 9/(-15). Suppose 3*f = -v*f. Solve 1 = -d - 2*c + 6*c, f = 2*c + 2 for d.
-5
Suppose 2*a = -3*w, -4*w + 2*w = 4*a - 8. Solve -l - a*r = -0*r + 5, 5*l + 4*r = -14 for l.
-2
Let i be (9/(-3))/6*-4. Suppose u = 5*h - 4*u - 10, -2*h = -u - i. Suppose 2*o - 24 = -h*o - 4*l, 4*o + 4*l = 28