= m, 4*p + 19 = -3*m + x for m.
-3
Let w be (-1 + 16*5/20)/((-2)/(-2)). Solve w*k - 5*m + 6 = 0, 9*k - 13*k - m = -15 for k.
3
Let x be (-10 + (-1474)/(-143))*26/4. Solve -5*p - 31 = -2*r, 17 = -4*r - x*p + 19 for r.
3
Let b = -9 - -31. Let t(x) = b - 14 - 4*x - 21. Let m be t(-4). Solve 0 = -5*s + 15, -m*a + 13 = -5*a + 3*s for a.
-2
Let a = -242 - -81. Let w = a + 163. Solve -f + w*g = 3*g - 1, -5*f - 2*g + 14 = 0 for f.
4
Suppose -12*x + 90*x - 274 - 584 = 0. Solve -16*k + x*k + y + 22 = 0, -2*k = 4*y - 22 for k.
5
Let l be 15 - (-3)/((6 - 0)/(-6)). Suppose l*i + 24*i = 432. Solve 5*p - 4*d + d = -14, -2*d - i = 2*p for p.
-4
Let a(b) = -13*b + 122. Let p be a(9). Suppose 0 = -4*k + 8*k + 3*d - 20, -2*k + 24 = p*d. Solve -29 = -5*r - k*u, -u - u = -4 for r.
5
Let f = -71 + 87. Suppose 0 = -2*b + 4, 3*d - f = 21*b - 26*b. Solve 4*u = 2*v + v - d, -2*u = -2*v + 2 for v.
2
Let w(h) = 2*h**2 - 13*h + 32. Let f be w(4). Let q be 3*(0 + 8/f). Let s(m) = m**2 + m + 2. Let d be s(-2). Solve 3*a + q = l, -2*l - 1 = d*a - 5*a for a.
-1
Let w = 9526 - 9519. Solve -2*r + w = -4*o - 9, 2*r = -o + 6 for o.
-2
Suppose -8 = -5*y + 2*w, -34*w = -5*y - 38*w + 44. Solve 0 = -c - 4*f + 25, y*f - 39 = -3*c - 4 for c.
5
Let p be (-8)/(-14) + 143/(-91) + 5. Suppose y - 8 = -2*f + 4, -p*f + 20 = 0. Solve -5 = -3*w + 5*i, 4*w - 2 = y*w + 3*i for w.
-5
Let m(u) = -u**3 + 2*u**2 + 9*u + 2. Let t be m(-4). Suppose 50 = -t*b + 87*b. Solve b*w - 5*n = 3, -5*w + 3*n + n + 16 = 0 for w.
4
Suppose -31073*c = -31070*c - 9. Solve b + c*l - 56 = -48, 2*l = -4*b - 8 for b.
-4
Let p be (-108)/(-3)*(-8)/(-96). Solve 5*o - 4*t + 13 = 0, -2*o - p*o = t + 3 for o.
-1
Suppose -30*u - 2351 = -731. Let c = 56 + u. Solve -c*s = d - 4, 5*s = d + 3*d + 36 for s.
4
Suppose -4 = 73*f - 75*f. Let d be f/(8/4) - -1. Solve 5*r = -10 - 0, -3*g - d = r for g.
0
Let q be ((-767)/(-52) - 15) + (-17)/(-4). Suppose 35 = -q*z + 55. Solve -5*j + 4*j - 6 = f, -z*j + 4*f = 21 for j.
-5
Let y(w) be the first derivative of 16*w**3/3 - w**2/2 - 12. Let s be y(-1). Let j be (s/51 - (-65)/3) + 1. Solve 0 = 5*f + 5*c + 5 - 40, 5*f - c = j for f.
5
Let z = 3976 - 3974. Solve y = -6*v + 10*v + 20, -z*y - 3*v = 15 for y.
0
Let c be (315/(-28))/9 - 25/(-20). Solve 2*k + 2*k - 4*y - 16 = c, 4*k + 8 = -4*y for k.
1
Let s be 2/(-6) + ((-190)/6 - -4). Let c = s + 73. Let r = 48 - c. Solve -2*k + 11 = r*f, 3 = f - 2*k + 3*k for f.
5
Suppose 89*h = 131*h - 126. Suppose -7 = -4*f + 9. Solve 16 = -f*o, -5*p = o + h*o + 11 for p.
1
Suppose -38*k + 40*k = 8. Suppose 3*r + k*m + 4 = 0, -5*r = -r + 3*m + 3. Solve 3*y - 2*d = 9, -5*d - 19 = -4*y - r*d for y.
1
Let h = -222 + 532. Let j = 313 - h. Solve 5*u - j*b + 13 = -7*b, -3*b = 4*u + 11 for u.
-5
Let b = 90 - 196. Let a = 116 + b. Solve 4*y = 4*f + 8, y = 6*y + 2*f - a for y.
2
Let b(x) = -161*x - 628. Let s be b(-4). Solve f = -d - 5, -s = 3*d - 10 for f.
-3
Suppose -5*s = -0*s + 5. Let f be 1*(-4 + s)/15*-21. Solve 2*r = -3*k + f, -4*r - 3*k = -k + 6 for r.
-4
Suppose -8*d = -29*d - 147. Let u = -7 - -17. Let p be (u/d - -1)*-7. Solve i - 3*f - f = -17, -5*f + 30 = -p*i for i.
-5
Let a(m) be the first derivative of -m**4/4 + 29*m**3/3 + 33*m**2/2 - 88*m + 245. Let x be a(30). Solve 0*y - y - 3 = -x*q, -2*q = 0 for y.
-3
Suppose -4*d + 5*d - 11 = -x, -25 = -2*d - 5*x. Solve 4*k + 3*p = -d + 35, 4*k + 2*p = 22 for k.
4
Let u = 30 - 26. Suppose -u*f - n = -36 - 1, 43 = 4*f - n. Let d = -7 + f. Solve -a + 1 = 3*b, 0 = -b + d*b for a.
1
Let s = 489 + -486. Suppose 255*y - s = 254*y. Solve -4*b - 2*n = -y*b, -b - 3*n + 2 = 0 for b.
-4
Let w(m) = -8*m + 77. Let n be w(7). Solve -4*a = 4*q - a + n, 0 = -4*q + a - 25 for q.
-6
Let h(z) = 2*z**2 - 21*z + 60. Let q be h(5). Solve -o = 3*l + 7, 2*l + 21 = q*o - 12 for o.
5
Suppose 5*f + 4 = 2*q, 10 = -8*f + 12*f + 5*q. Suppose -5*j - 2*s + 19 = f, 4 + 2 = -2*s. Solve -j*h + 4*a = 5, -a + 17 = 4*h - 0*a for h.
3
Let r = -71 + 74. Suppose 0 = 10*i + 34*i - 88. Solve p + r*d + 3 = 6, -i*d = -p - 7 for p.
-3
Suppose 41*d - 33 = 49. Solve 3*n + d*a = 8, n - 2*a - 7 = -7*a for n.
2
Let t(k) = 2*k**2 + 9*k + 8. Let f be t(-6). Suppose -8*r + f*r + 54 = 0. Let j be 7 + 2 + -2 + r. Solve -1 = 3*u + j*c, 2*u + 13 = -3*u - c for u.
-3
Suppose -2*c = 16 - 86. Let s(x) = 8*x - 49. Let k be s(2). Let i = k + c. Solve 2*a - 4*o = -0*a + i, -2*a = -3*o - 3 for a.
3
Let p(o) = -o**3 - 20*o**2 - 22*o - 48. Let g be p(-19). Solve -4*l + 4*d + 1 - g = 0, 0 = 2*l + 4*d + 4 for l.
-2
Let o(c) = 26*c**2 + c + 1. Suppose -1 + 3 = -2*x. Let d be o(x). Let k be d/52*(0 - -10). Solve 3*s = -k*b - 3, b - 3*b + 1 = -s for s.
-1
Let w(j) = j**3 - 4*j**2 + 5*j - 4. Let p be w(3). Solve l - 4*y = -p*y - 9, -4*y + 11 = 5*l for l.
-1
Let x be 1 + 1 - (2 - 0). Let o(n) = 2*n**2 + 29*n - 145. Let d be o(4). Solve 0 = -5*s - j - 3*j - 19, d*s - 2*j + 7 = x for s.
-3
Let b(z) = -2*z**3 + 161*z**2 - 74*z - 345. Let r be b(80). Solve -4*s - 136*v + r*v = 1, 3*v = 21 for s.
-2
Suppose -17*s + 34 + 59 = 25. Solve -4*b + s*n - 18 - 6 = 0, -2*b - 3*n = -13 for b.
-1
Suppose -z = 5*u - 57, -2*z + 64 = -58*u + 63*u. Solve -d + 5*m + 35 = 0, -d = -13*m + u*m - 23 for d.
5
Let g be (-28)/(-14) + -1 + 2. Suppose -3 = -2*c + g*z + 4, -4*z - 4 = 0. Solve -c*d + 10 = -4*d, 2*u = 5*d + 21 for u.
-2
Let c be (11 + -1 + -1)/(-6 - -9). Solve -15 = 3*b + 3*d, 5*d - 7 = c*b + 4*d for b.
-3
Let x = -66 + 341. Suppose -x = 9*f - 293. Solve 0 = f*b - z + 1 + 6, -5*b = -3*z + 17 for b.
-4
Let z(a) = a**3 + 5*a**2 - 10*a - 26. Let f be z(-5). Suppose 39 = 2*u - 5*m, -4*u - f*m = -20*m - 8. Solve -g - 5*p = -23, 0 = 2*p - 3 - u for g.
-2
Let v be 4 - (-14*2 - 1). Let a = -26 + v. Suppose 4 = -3*s + a*s. Solve -2*p = -3*u + 3*p + s, -12 = 2*u + 3*p for u.
-3
Let x = -369 + 373. Suppose 12 = 2*f + 3*s - x*s, -5*f = 3*s - 8. Solve f = 4*b - 2*p, -2*b + 6*b - 5*p + 8 = 0 for b.
3
Let i = 613 + -613. Let c = 46 + -44. Let d be 1/(1 + -2)*-4. Solve -2*k - o + 11 = i, 2*o = 2*k - d + c for k.
4
Let j be (-5 + 4 + (2 + -4 - -3))/3. Solve j = -3*c - 3, -c = 2*d + 16 - 7 for d.
-4
Let a = 248 + -216. Suppose 0 = -a*r + 18*r + 14. Solve 0 = -5*y + 3*k + r + 8, 0 = -y + 3*k + 9 for y.
0
Let u be (-6)/22 - 495/(-1815). Let h be (-3)/(6*(-3)/24). Solve v + 7 = -4*o, u*o = -h*o - 12 for v.
5
Suppose 5*n - k + 91 = n, -3*k + 31 = -n. Let s = n + 25. Let r = 2 + 1. Solve -3*d - s = 0, -4*d - 2 = -r*a + 2 for a.
0
Let a = -178 + 180. Let d = a + 3. Solve -6 = 5*o + 2*g, o + d*g = -2 - 13 for o.
0
Let h be 4/3*9519/334. Solve h*t - 41*t = -4*y - 3, -2*y + 3*t = 3 for y.
0
Let v = 7 + 5. Suppose 14*y - 10*y = v. Solve -5*a + 2*j + 23 = 3*j, -y = -j for a.
4
Suppose -6*c + 3*c = 2*z - 23, 16 = -z + 4*c. Solve z*v = -20, 3*v + 306 - 279 = 4*t for t.
3
Let a(h) = -h**3 - 18*h**2 + 5*h - 14. Let c be a(-18). Let k = c + 163. Let m = k + -58. Solve y = m, f + y = -4*y + 7 for f.
2
Let s(n) = -2*n**2 + 60*n - 416. Let k be s(19). Solve 0 = -43*w + 38*w - 3*i + 28, -k*i = -w + 3 for w.
5
Suppose 5*b + 65 = 2*p, 1155*b - 1160*b - 15 = 3*p. Solve 3*v + 3 = -k - 20, -5*v = -4*k + p for v.
-6
Let f(v) = v**2 - 18*v + 5. Let w be f(17). Let d be w/(-10)*45/18. Suppose -4 = i + 2*o, -d*i + 5*o = -8*i. Solve 0 = -k + z + 1, z + 5 = -5*k - i*z for k.
0
Suppose -8*r + 29 = -35. Let c be (-3)/(-6) + 12/r. Solve m + 10 + 12 = 5*j, 12 = -c*m + 2*j for m.
-2
Let l be 0/(21/3 - 15/3). Let k(o) = -3 + o - 3 + 1 + 9. Let x be k(-2). Solve 2*q - f - 9 = -x*q, -5*q + 5*f = l for q.
3
Let t = 11805 + -11803. Suppose -58 = -7*g - 23. Solve -i - 32 = -3*p + 3*i, -g*p + 10 = t*i for p.
4
Suppose -3 = h + 4*m, 2*h - 26 = -3*m - 22. Solve -h*o + 4*f - 10 = -3*o, 4*f = 0 for o.
-5
Let w = -30098 - -30151. Solve 5*c + 16 = 2*s, -w*c + 50*c - 12 = 0 for s.
-2
Suppose 2*k - 3*u = 6*k - 15, -5*k - 4*u + 20 = 0. Let p be ((k/6)/5)/(-3). Solve -5*s - 7 = y, 2*y + s + 5 + p = 0 for y.
-2
Let j = -2385 + 2389. Solve 3*z + 2*x = 21, -z + x - 10 = -j*x for z.
5
Suppose -5*k - 7 = -5*l + 8, -5*l - 4*k + 15 = 0. Suppose -18 = -4*y + 12*c - 11*c, l*y - 5 = 5*c. Solve -2*h - d + 4 = -y, -5*d + 30 = 5*h for h.
3
Let s = -5205 - -5206. Let j be (-1)/(-2) - 3/(-2). Solve 0 = g - 2, -j*t + 17 = 4*g + s for t.
4
Let p be (-2)/(-5) - (-8)/5. Let n be (-4)/((-