+ 22, 0 = s*q - 20 for f.
3
Suppose 24*z + 78 = 26*z. Suppose -3 = 6*k - z. Solve 0 = -x + 2*d + k, -7 = 4*x + 4*d + 5 for x.
0
Let w(t) = t**2 + 14*t + 3. Let j be w(-2). Let m be ((-12)/j*-2)/(2/(-7)). Let x(d) = -d - 5. Let q be x(-9). Solve m*s - 8 = -4*f, f - 7 - 10 = -q*s for f.
-3
Suppose -3*x = -5 + 20, 15 = 5*r - x. Let v be (r/3)/(10/390). Let y = v + -9. Solve -h + 13 = 3*p, -3*p - 5*h = -0*p - y for p.
4
Let w(n) = 34*n + 259. Let g be w(-7). Let v(u) = -u + 23. Let l be v(g). Solve 4*t - 1 = -l*i + 7, -2*i = t - 5 for t.
1
Suppose -5 - 7 = -3*l. Suppose -30*o + 68*o - 55 = 27*o. Solve 2*t = -r + o, -2*t - t = l*r - 15 for r.
3
Suppose 0 = 11*v - 274 - 496. Suppose 0 = -d + v - 65. Suppose -7*i = -2*i - 15. Solve -5*r = 20, d*f - i*r = 24 + 3 for f.
3
Suppose -4*w = -h + 149 - 151, w + 4*h = -8. Suppose 0*q + 19 = -t - 2*q, 0 = -4*q + 16. Let c be 6/t + 436/18. Solve -5 = -3*b - 5*m, m - c = 4*b - w*m for b.
-5
Suppose -2*r + 22 = 3*v - 3*r, 0 = r + 1. Let l = 192631 + -192631. Solve 0 = -2*h + c + v, l*h + h + 4*c = -19 for h.
1
Let k be 26/6 + (-2)/(-3). Suppose 0 = -4*f + 3*m - 9, k*f - m + 0 = -3. Suppose 0 = -115*d + 6 + 454. Solve 7*z - 2*z - d*y - 28 = f, -2*z = 5*y + 2 for z.
4
Suppose -182*p + 4*d + 48 = -178*p, -2*d + 6 = 4*p. Solve 4*m + y = 21, 61*m - p*y = 57*m - 9 for m.
4
Let z(o) = -o + 15. Suppose 0 = -22*i + 17*i - 25. Let g be z(i). Let u = 20 - g. Solve -5*v = -c - u + 10, v = -3*c - 18 for c.
-5
Suppose 7*p - 1847 = -1833. Solve p = 2*b + 4*c, 0 = -5*b + b + 2*c + 24 for b.
5
Suppose 0 = 5*t - 3*r - 21 + 4, 0 = 2*t + r - 9. Solve -t*j = 4, 5*k + 6*j - 8 = 4*j for k.
2
Let x(g) = g**2 - 11*g - 190. Let d be x(18). Let k(s) = -12*s - 1. Let z be k(7). Let a = d - z. Solve -3*j - 5*c + a = -2*j, c = 5 for j.
-4
Let o(j) = 3*j + 2. Let n be o(3). Let h(k) = k**3 - 21*k**2 + 84*k - 53. Let l be h(16). Solve 4*d + l = -5*t, -d - 2*t - 2*t - n = 0 for d.
1
Suppose 3*y - 79 = 5*c, 18 + 6 = -3*c. Solve -28*f + 29*f + y = -2*h, -3*h = -2*f + 9 for f.
-3
Let f(n) = -n**2 - 22*n + 1108. Let h be f(-46). Solve -4*x - 3*r - 1 = 0, 1 = -9*x + h*x - 4*r for x.
-1
Let x(j) = 6*j**2 + 13*j + 5. Let v be x(7). Suppose 0 = 9*a + 372 - v. Solve 0 = s + y + a*y - 8, y = -3*s + 16 for s.
5
Suppose 3*m + d - 34 = 0, 5*m + 4*d - 33 - 33 = 0. Suppose -m*t = -5*t - 15. Solve 3*v - 6 = t*h - 0*h, 3*v + 9 = -2*h for h.
-3
Suppose 4*j + x - 13 = 0, -4*j + 125*x + 1 = 130*x. Solve 4*i + 12 = -j*y, 9*i - 4*i + 33 = y for y.
3
Let y(b) = 122*b + 2689. Let v be y(-22). Solve -6*t = -9*t - v*a - 9, 4*a + 8 = -2*t for t.
2
Suppose -2*t = 2*y + y - 10, -12 = -5*t - y. Solve t*w + 22 = -4*s, -3*w - 2*w = -4*s - 15 for w.
-1
Suppose -4*s - 112 = -4*a - 136, 5*s = -a + 48. Solve 3*r = -3*p, -s = 2*r - 2*p - 1 for r.
-2
Let v(c) = 5*c**2 - 17*c + 16. Let f(k) = 7*k - 6. Let y be f(1). Let m be v(y). Solve 0 = -2*i - m*t, -7 = -i + 4*t - 1 for i.
2
Let d be (14 + -13)/((-2)/(-2))*3. Let h be 0 + (-2)/d + (-36)/(-54). Let b be (30 - (4 + h)) + (-3)/1. Solve -2*p + 6 = -3*y, 0*y - b = 5*p + 2*y for p.
-3
Let q = 6123 + -6118. Solve -3*w - q*l + 7*l - 3 = 0, 2*w = 5*l - 13 for w.
1
Let q = 11625 + -11625. Solve q = h - 5*r, -2*h - 8 = -13*r + 11*r for h.
-5
Let u = -176 + 185. Let p be (u/6)/(4/8). Solve -1 = -5*i - 3*n, 10 = 2*i - p*n + n for i.
2
Suppose 12 + 11 = -15*o + 128. Solve 0 = j + 2*z + 5, 68*j - z - o = 73*j for j.
-1
Let z be 4/(-9) + (-620)/(-180). Suppose z*k - 25 = y - 6*y, k - y = -5. Solve k*u - 13 = -3*u - 4*a, -3*u + 9 = 3*a for u.
-1
Suppose -7*y + 260 = -4*y - h, 3*h = -3*y + 264. Let q = y - 82. Solve 3*u - 2 = -2*k, -4*u = -q*k - 10 - 8 for k.
-2
Suppose -21*w + 58 = -20*w + r, -w + 58 = 2*r. Let s be 8/(-1) - (-754)/w. Solve 2*z - s*y + 7 = -2*z, 3*z - y + 8 = 0 for z.
-3
Let c = -1 - -3. Suppose -4*b - 16 = -16. Suppose -2*v - 8 + 14 = b. Solve -22 = -4*r - c*z, 0*r - v*r = z - 14 for r.
3
Let o be -2*((-5)/10)/(3/549). Let d = 185 - o. Solve -2*x - 6 = d*z + z, -6 = -4*x + 3*z for x.
0
Let s = -17 - -23. Let j(g) be the first derivative of -g**4/4 + g**3/3 + 29*g**2/2 + 8*g + 11. Let q be j(s). Solve c + 2*k - 5 = 0, q*c + 5*k = 6 + 4 for c.
5
Let q = 3632 + -3627. Solve 13*o - 9*o = q*x - 24, -3*x = o - 11 for o.
-1
Let j = -9 + 5. Let v be (-20)/(-11) + j/(-22). Solve v*r = x - 5*x + 2, -4*r = 4*x for r.
-1
Let n be (4 + -6 + 4)/(3/24). Let l = n - 16. Suppose -3*b + 0*b + b = l. Solve 0 = 3*g + 3*c - 3 - b, -4 = -2*g - c for g.
3
Suppose 21*z = 53 + 10. Suppose 3*w + 0*w = z, 23 = 2*g - 5*w. Solve -8*x + 6*x = 4*s - g, -s - 1 = 2*x for s.
5
Suppose -19*v = 57*v. Solve 5*u = 3*t + t + 33, v = -u - 2*t + 1 for u.
5
Suppose -38*j + 128 = -22*j. Suppose 4*b - 54 = a, -2*b - b + a = -41. Let z = b - j. Solve -w + 17 = -5*g, -21 = z*g + w - 4*w for g.
-3
Let c = 414 - 394. Let r be ((-15)/c)/((-5)/240). Solve 7*x - 3*x + r = -5*k, -4*k = -x + 12 for k.
-4
Suppose 0 = 4*u - 40 + 100. Let r = 19 + u. Let c = -3560 + 3562. Solve -3*d = -2*l - 1 - c, -16 = 4*d + r*l for d.
-1
Let k(h) = -h + 11. Let p be (2/10)/((2/(-1))/(-10)). Let y be k(p). Solve -r + 3*d = -y, 0 = r - d - 0*d for r.
-5
Suppose -6*y = -21 + 3. Let v(t) = t**3 - 14*t**2 + 30*t - 69. Let b be v(12). Solve -2*f + y*s = 7, b*f - s = 4*s - 10 for f.
-5
Suppose 3*c - 15 = -15. Suppose 0 = -b - 2*s + 13, c*b - 4*s = b - 15. Let m = b - 7. Solve -3*j + m*f = -17, 0 = 5*j - j - 2*f - 16 for j.
3
Suppose 3*s + 54*i - 52*i = 2, 3*i = -3*s. Solve -3*x = 2*d + 7, -d - s*x - 7 = -2 for d.
1
Let w be 3/4 - -12*(-24)/(-128). Suppose -25 = w*f - 8*f. Let i = -11 - -18. Solve 5*b - i*l + f = -2*l, l - 9 = 3*b for b.
-4
Suppose 0 = -2*f + 3*w + 264, 16*f - 14*f - 2*w - 266 = 0. Solve f*k = 139*k + 16, 3*r = -2*k - 17 for r.
-3
Let v be (-22)/(-66) + 34/6. Solve -5*c + 4*w + 7 = 0, 2*c + w + v - 1 = 0 for c.
-1
Let w(z) = z**2 + 9*z + 3. Let k be w(-9). Let h(g) be the first derivative of -4*g**2 + 21*g - 45. Let v be h(0). Solve -k*n + v = 3*o, -3*o = o - 12 for n.
4
Let k(z) = -88*z + 576. Let f(j) = -22*j + 143. Let t(v) = -26*f(v) + 6*k(v). Let a be t(6). Solve -w = a*i, -w = -3*i - i + 6 for w.
-2
Suppose 0 = -36*r + 37*r + i - 24, 56 = 3*r - i. Solve -10*y = -4*y - 3*x + 24, 5*y + r = 3*x for y.
-4
Let x be (2 - 1/2)/(12*6/96). Suppose 4*l = 15 + 5. Solve -l*s - 16 = -4*f - s, -x*f = 4*s - 8 for f.
4
Suppose 0*n = 3*n + g - 7, 2*g - 6 = -2*n. Let y(p) = p + 14. Let r be y(-9). Let h be 48/18*9/6. Solve -h*t - n*k = -2, 0 = 2*t - 3*k + r + 6 for t.
-1
Let z = -13 - -34. Suppose 10*k - z - 19 = 0. Suppose 4*g - 25 = 5*u, -k*g + u - 24 = -9*g. Solve -g*a = -2*s + 16, 4*a - 4*s - 4 = -24 for a.
-2
Let m(c) = 14*c - 178. Let o be m(13). Let l(n) = n + 2. Let z be l(0). Solve -z*t - o*f + 2*f = 2, -3*t - 4*f - 2 = 0 for t.
-2
Let m(t) = -3*t + 0*t**3 + 5*t - t**3 + 7*t**2 - 10. Let y be m(7). Let g(q) = 2*q - 5. Let p be g(y). Solve -28 + 12 = p*i + o, -2*o - 27 = 5*i for i.
-5
Let m(t) = -5*t**2 - 314*t + 83. Let k be m(-63). Solve 0 = 5*b, 5*b = -4*d + b + k for d.
5
Let v(x) = 103*x**3 - 3*x**2 + x + 4. Let l be v(2). Let w = -802 + l. Solve 2*m - 1 = 2*j + 3, j = -5*m + w for m.
3
Let x = -1303 + 1308. Solve 10*v = x*d + 6*v - 41, -d + 5*v = -25 for d.
5
Let g be 0/(2 + 0*4/20). Suppose 3*m = 3*z + 18, 5*m + g*z = z + 50. Solve 6 = -3*h - 4*o, -2*h - 5*o - m = -0*h for h.
2
Suppose 4*o + 5*k = 146, 2*k = -2*o - 3*k + 78. Suppose -5*v + o - 14 = 0, 31 = 3*y + v. Solve -5*l + 2*n - 1 = 0, y = -2*l + 5*l + 2*n for l.
1
Let n = -4837 + 4858. Solve -2*w = 2*v - 2, 17 = -3*v - n*w + 23*w for v.
-3
Let f(h) = -h**2 - 3*h + 2. Let o be f(-2). Suppose -55*p + 151 = 41. Solve -5*a - 3*w + 37 = 0, -w + o = -p*a + 10 for a.
5
Suppose 38*l - 6*l = 0. Let b(p) = 5*p + 4. Let v be b(l). Solve -v*x = 4*m - 20, -3*m - 4*x + 3 = -15 for m.
2
Let i = 3757 + -3747. Suppose 3*o - 3 = 4*j, 3*j = 7 + 2. Solve 4*h - t + 2 - 8 = 0, -i = o*t for h.
1
Let l(k) = -2*k**2 + 21*k + 71. Let i be l(13). Let r be (-2)/i - ((-650)/15)/10. Solve -a + r*h - 8 = 0, 5*a = h - 5*h + 32 for a.
4
Suppose 4*s + 352 = m + 67, 0 = 3*m - 3*s - 810. Solve -c + 4*a = 12, -m*a + 267*a = -c for c.
-4
Suppose 4*k + 2*r - 351 = -353, -2*k + 2*r + 14 = 0. Solve -k*y + 12 = -4*o, -4*y + 5 + 11 = 0 for o.
-1
Let f(p) = -p**3 + 2