15 = d - i*h, -4 - 2 = 2*d - h for d.
-5
Let b = 27 - 25. Let n be (1 - b)*(4 - 6). Solve 3*d - 5 = 5*q, n*d - 2*q = d + 1 for d.
5
Let d = 1504 - 1502. Solve -d*h + 3*h + 4*v = 16, 0 = -5*h - 5*v + 5 for h.
-4
Suppose -5*f + 20 + 10 = 0. Let i be (-2 + 0 + (-8)/(-3))*f. Solve 3*y = 4*y + 2, 5*y - 10 = -i*h for h.
5
Suppose -19 = -10*j + 71. Suppose 5*q = -v - 10, 0*v + 4*q + 8 = 3*v. Solve 5*n - 25 = v, -n + j = -d - 3*d for d.
-1
Let l(u) be the first derivative of -u**2 + 51*u - 5. Let i be l(24). Solve -i*p - 1 = -2*p + 2*r, -4*r - 17 = -3*p for p.
3
Let l(f) = 16*f - 2. Let k be l(2). Suppose 8*o - k = 3*o. Let z(r) = 2*r - 8. Let q be z(o). Solve 2*w = q*s - s + 4, -s = 5*w - 10 for w.
2
Let g be 0/(1/(9/6 + -2)). Solve g*f + 7 = -k - 2*f, 3*f + 13 = -2*k for k.
-5
Let q = 47 - 44. Let x(w) = w**3 - 3*w**2 + 2*w - 3. Let f be x(3). Let d be -7*1*(15 + (-968)/56). Solve 0 = 4*u + q*l + d, -u = f*l - 2*l + 5 for u.
-1
Suppose 2*z + 1 = 15. Suppose 0 + 14 = z*t. Solve -5*x - 10 = i, -t*x = 3*i - 4 - 5 for i.
5
Let z be ((-8)/18)/(20/(-90)). Let f(h) = -h + 0*h + 3*h. Let b be f(2). Solve z*i = b*j, 20 = 2*j - 2*i + 6*i for j.
2
Let n(d) = d**2 + 6*d - 12. Let w be n(-8). Suppose 0 = w*j - 3*j - 8. Solve 5*c + 2*b = 3*c - 8, 5*c + j = -b for c.
-1
Let b be 61/(-61) - (-2 - -1 - 2). Solve -4*f = b*z + 8, -5*z = -z + 8 for f.
-1
Let m be (10/(-6))/((-13)/156). Suppose m*y = 44 + 16. Solve 0 = 5*t - 25, y*u + 5*t - 2 = 17 for u.
-2
Let w = -311 - -319. Solve -5*a + 0 = -2*c - 1, 4*a = 4*c + w for c.
-3
Let v = 96 + -97. Let n = 13 + v. Solve -5*r - n = -4*b + 3*b, 27 = -4*r - 5*b for r.
-3
Let a be (-2 + 1)*7 + 3. Let f be 0*(-1)/(-2 - a). Suppose f = -0*d - 2*d + 28. Solve -4*c = -5*g + 36, -g = -5*c - 38 + d for g.
4
Let u = 501 + -496. Solve u*x = -v - 2*v - 34, -2*v = -4*x - 14 for v.
-3
Suppose 0 = 2*s + 4*q + 16, 6*s = 10*s + q - 3. Solve 2 = -w - 0*l + 3*l, s*l = -w + 8 for w.
4
Suppose 11*x - 11 - 33 = 0. Suppose 49 = 4*b + 5*q, -6 = 3*q - q. Suppose 5*o + 6 = b. Solve -3*z = -w + 8, -2*w - o*z = -x*z for w.
-4
Suppose -6 = -2*m + 5*j, 5*m = m + 2*j + 12. Suppose -4*v + m*v = 0. Suppose 4*p - p - 9 = 0. Solve -2*q + 8 = v, -p*q = -5*b - 12 - 15 for b.
-3
Let h be 5 + -7 + (-4)/(-2) - -2. Let c(o) = -o**3 + o**2. Let w be c(1). Solve 4*r - 1 - h = -z, w = 3*z + 2*r - 9 for z.
3
Let g(d) = -d**2 + 5*d - 7. Let b be g(4). Let l be 3 + -2 + b/3 + 3. Solve -v = -s - l, -2*s + 5*v = -7*s + 35 for s.
2
Let x(a) = -3 + 1 + 3 - 2*a + a**2. Let f be x(6). Suppose 306 = -17*p + 391. Solve 4*b + b - p = -5*v, 0 = 3*b - 4*v + f for b.
-3
Suppose -2*y + 12*y + 320 = 0. Let f = y - -37. Solve 0*d - 2*c + 15 = f*d, -4*c - 20 = 0 for d.
5
Suppose -k + 3 = 2*i, 5*k - 4*i - 15 = -6*i. Solve -3*q - 15 = c, -20 = q + k*q + c for q.
-5
Let a = 607 + -107. Suppose i = -3*i + a. Suppose 4*v + 2*o - 126 = 0, 2*v - i = -2*v - o. Solve 7 = 4*j + 2*w - 9, -v = -5*j + 3*w for j.
5
Let q = -45 - -52. Suppose -q*i = -169 + 29. Solve -3*w - i = -8*w - 5*r, 3*r = 2*w + 7 for w.
1
Suppose 4*d - 27 = -2*y - 13, -2*d - 13 = -3*y. Solve y*j + 17 = -3*r, -10 = 4*j - 4*r + 10 for j.
-4
Let k(o) = -o**3 - 3*o**2 - o + 7. Let a be k(-3). Suppose 14 = 6*p - a. Solve 2*t = -p*s + 3*t + 12, s - 3 = -4*t for s.
3
Let r = 1 - 0. Let p(n) = 6*n**3 - n**2 - n + 1. Let v be p(r). Solve -3*a = v*z - 19, 0*z + 21 = 3*z + 5*a for z.
2
Let o = -14 - -18. Suppose 1 + 7 = -o*j. Let z = 1 - j. Solve 2*c + 2*x = 1 - 3, -3*c = -z*x - 15 for c.
2
Let m(f) = -f**2 - 4*f. Let d be m(-3). Let n = -1 + d. Solve -n*r - 2*l - 9 = -l, -2*r = 2*l + 8 for r.
-5
Let s be 7 - (5 + -3 + 0). Suppose 18 = s*d - 17. Let m be (-12)/(1 - -3) + d. Solve 0*q + 5*q - k = 30, -15 = q + m*k for q.
5
Let m(f) = f - 2. Let t be m(-12). Let w(o) = -o**3 - 14*o**2 - o - 10. Let l be w(t). Solve 12 = -2*n - 5*g, -l*n + 12 = 2*g + 4 for n.
4
Suppose 2*s = -4*w + 78, 58 = 8*w - 4*w - 2*s. Let i be 1276/290 - 3/(-5). Solve -3*k + 22 = i*u, -4*k = -2*k - 3*u + w for k.
-1
Suppose -5*z - 1 = -4*c + 18, z - 5 = 0. Suppose 4 - 1 = l. Suppose -4*f + c - l = 0. Solve -4*m = q + 22, -f*m - 6 = 5*q + 14 for q.
-2
Suppose 0 = a + 11 + 23. Let u be (2/1)/(a/(-51)). Let t be (-3)/18 + u/18. Solve t*o + o - 5*m = -11, 0 = o + 5*m - 19 for o.
4
Suppose 8 = 5*g + 3. Let i be g + 76 + (3 - 7). Let w = i - 52. Solve -h - w = -5*b + 2, 5*b + h - 17 = 0 for b.
4
Suppose d + 7 + 90 = 5*a, a - 2*d = 23. Let c = 23 - a. Solve -2 = -3*n + c, x + n = -3 for x.
-5
Let i(c) = -c + 9. Let x be i(7). Solve -4*n - 3 = -2*h - 1, -n + h = x for n.
1
Let l be (-1 + (-4)/(-4))/(-1). Solve 0*f - 2*f - 5*s + 10 = l, f + 13 = 2*s for f.
-5
Let d be 1 - 0 - (-27 - 15)/14. Let j(o) = -o**3 + 11*o**2 - 10*o + 5. Let u be j(10). Solve 4*p = -u*v + 14, d = v + v for p.
1
Let y = -5 + 15. Suppose 3*f + 3*u + u - 46 = 0, 0 = -2*u + 8. Suppose 0 = -a - 4*a + f. Solve t + 0*t - a = 3*o, 3*t - o = -y for t.
-4
Suppose -4*j + 24 = 5*d, -3*d + 4*j + 36 = -4. Solve -v = 4*s - 8, 4*s + v = -3*v + d for s.
2
Suppose 0 = 7*s - 2392 + 2357. Solve r + 10 = -5*z, 0 = 7*z - s*z + r + 7 for z.
-1
Let a = 4 - 2. Suppose 14*h - 10*h - 44 = 0. Suppose -h - 15 = -13*v. Solve -a*y = v*j, 4*y - 24 = 2*y + 4*j for y.
4
Let x(y) = -11*y - 407. Let j be x(-37). Solve 3*g + l + 2 - 3 = j, -4*l = 20 for g.
2
Suppose -65 = -6*k - 17. Solve k = -4*f - t, -t + 2 = f + 1 for f.
-3
Let o = 19 - 16. Solve 0 = -5*a - 2 - 8, 3*l + o*a + 21 = 0 for l.
-5
Suppose -j = 4*x - 9*x - 17, 5*x = -15. Suppose j*h + 2*h = 0. Solve -2*a - 4*k - 20 - 2 = h, -4*k = 3*a + 25 for a.
-3
Let g(c) = c**2 + c - 4. Let a be g(-3). Suppose 0 = -4*w + 3*d + 18, -w + d + 6 = a. Solve 0*p - 3*t = 2*p + w, 0 = -2*p + t - 6 for p.
-3
Let r be (5 - (-6)/(-3)) + 3. Suppose w + 25 = r*w. Suppose -u + 15 = -3*v, -v + w = -3*u + 34. Solve 2*a + u = -o + 4*a, -2 = 2*o + 4*a for o.
-5
Let j be (-1 - (-2 + -2) - 6)/(-1). Solve -j*p = 2*n + p + 2, 0 = -n - 4*p - 3 for n.
1
Let x = -35 - -21. Let q = x + 11. Let k be 8 + (-4)/((-4)/q). Solve 4*b + 5*m - 4*m = 0, k*m = -b for b.
0
Let i be (-7)/2*(60/(-21) + 0). Solve -3*n = o + i, 3*o - n = n + 14 for o.
2
Let m(w) = w. Let c be m(5). Suppose 0*h - c*h = -15. Suppose 4*j - 73 = 5*q - 78, -3 = 3*j - 3*q. Solve j = 3*l + h, 0 = -o - 4*l - 6 + 2 for o.
0
Let l(f) = f**2 - 8*f + 6. Let y be l(3). Let q(v) = -v**2 - 8*v + 14. Let u be q(y). Suppose s - 3 = 2. Solve -i + u*i - 9 = -r, s*i = 15 for r.
-3
Let c(v) = 15 - v**2 - 10 - 7*v - 7*v - 39. Let h be c(-10). Solve 0 = -3*z + 3, h*z = -k + 2*z + 1 for k.
-3
Let r be 128/22 + 82/451. Solve 2*q = -q + 3*w - r, 2*w = -6 for q.
-5
Let r = 5 - 2. Suppose 0 = 2*g + r*g - 20, 0 = -2*o + 3*g - 8. Suppose 5*k - 4*j - 14 = 12, -5*k + o*j = -18. Solve 5*l + 2 = 3*y - 19, -k*y + 4 = 0 for l.
-3
Suppose 0 = -j - 2*j + 3. Let l(y) = 3*y**3 + y - 2. Let f be l(j). Solve -g = 4*d + 4 + 3, 2*g + 4 = f*d for d.
-1
Let u be ((-3)/(-9))/((-3)/(-45)). Let m be (17 - u)*((-6)/9 - -1). Solve -3*v + 35 = m*w, -5*w = -4*v - w for v.
5
Suppose t = 3*z - 11, -4*t - 11 = -4*z + t. Suppose 0 = 11*h + h - 48. Solve -2 = 2*c + h*s, -7*c = -3*c - z*s - 32 for c.
5
Let i(a) = 2 + a - a**3 - a**2 + 7*a - 5*a - 7. Let c be i(-3). Solve -3*l + c*l - z + 2 = 0, -4*z + 4 = -2*l for l.
-2
Suppose -9*g = -11*g + 138. Let b = g - 51. Solve -4*c - b = a - 5, 0 = 2*c - 5*a + 23 for c.
-4
Suppose 3*b = 5*m + 15, 0 = -37*m + 34*m. Solve 5*p + x + 25 = 6*x, -b*x + 25 = 3*p for p.
0
Suppose 1 = -q + 4. Suppose s - 6 = -q*m, 0 = -5*m + 5*s + 36 - 6. Solve -5*v + 2*y + 20 = 0, -m*v = -4*y - 0*y - 12 for v.
4
Let y(m) = -m**3 + 22*m**2 + 23*m + 5. Let t = -21 + 44. Let d be y(t). Solve d*h - z = -11, 5*z - 1 = -3*h - 2 for h.
-2
Let l be (-2)/(-4) + -1 - (-262)/524. Solve l = -5*w - q + 3*q, -3*q = 0 for w.
0
Let w = -9 - -2. Let u(y) = y**2 + 4*y - 16. Let b be u(w). Suppose -5 = -0*p + b*p, p = -4*h + 11. Solve 2*t + 2 = 0, 3*i + 3 = 6*i - h*t for i.
0
Let k be 9/6 + -2 - 5/(-10). Suppose y - 4*y + 4*l = -25, 2*y + 5*l + 14 = k. Solve g = 3*w - g + 2, y = -5*w + 3*g for w.
0
Let i be ((-104)/(-48))/(-13)*0. Let m be 12/3*(2 - 3). Let h be m/(-2) - 1*-5. Solve i = 3*o - 2*l + 17, -3*l = 2*o - h*l + 14 for o.
-5
Let q be -4 - ((-48)/(-3))/1. Let l = q - -26. Let h(i) = i - 1. Le