- r = -2*m for m.
-1
Let k = 24726 + -24687. Solve -k*h + 305 = 22*h for h.
5
Let i = 572 + -536. Suppose i = 2*y - 5*x, 3*x = 5*y + 4*x - 90. Solve -4*w + 2 = y for w.
-4
Suppose -5*b = -24*b + 3135. Let l be 0 - (-6 + 0) - (b + -179). Solve 99*c - l = 104*c for c.
-4
Let p = -71 + 71. Let r be (p + 1)*(-1 - -3). Suppose -r*s = -105 + 99. Solve -f = s*f for f.
0
Let m(l) = -17*l**2 + 4*l + 6. Let n be m(-2). Let t = n - -76. Let s be ((-3)/t + 1)*0. Solve 0 = -s*q - 4*q - 20 for q.
-5
Suppose -8*q - 510 = -38*q. Solve -20*a - 77 = -q for a.
-3
Let k(a) = 2*a**2 + 7*a + 19. Let w be k(-4). Let u(c) = 5*c - 107. Let l be u(w). Solve -n - 11 = -l for n.
-3
Let s = -6243 + 6243. Solve s = -7*f + 90 - 97 for f.
-1
Let q(c) = -5*c - 100. Let z be q(-6). Let t be ((-7)/35 - (-6)/z)*-7. Solve 3 - 1 = -t*b for b.
-1
Let k = -28269 + 28311. Solve k*f + 8 = 260 for f.
6
Suppose 23 = -4*k + a - 2*a, 5*k + 31 = a. Let s be (-9)/k - -9*5/30. Solve 0 = -s*l - 14 + 2 for l.
-4
Suppose 2*p + m - 46 = 0, 5*p = 4*m - m + 137. Solve -2*k + 92 = -p*k for k.
-4
Suppose 19*r + 634 - 919 = 0. Solve -26*y + 21*y = -r for y.
3
Let c = 33 + 12. Let d = -48 + c. Let f be (-49)/(-14)*d*(-8)/14. Solve q - 2 = -f for q.
-4
Let a(f) = -f - 66. Let c be a(34). Let i be ((-7)/35)/(5/c). Solve 0 = -5*s + i*s + 3 for s.
3
Let o = -71 + 74. Suppose -5*u = -2*k + 25, o = 2*u + 13. Solve k = -3*x - 5 + 2 for x.
-1
Let l(w) be the first derivative of w**3 - 13*w**2/2 + 5*w + 9. Let a be l(4). Suppose 0 = q - 4*m - 13, -m - 1 - a = q. Solve q = d + 4 for d.
-3
Let m = 9583 - 9577. Solve 2*a = a - m for a.
-6
Suppose 3*v = 3*a + 8*v + 20, -2*v - 8 = 2*a. Suppose 3*n - 3 = y + 3, -2*y - 4*n + 28 = 0. Suppose -o + y = -0*o. Solve a = -c + o*c for c.
0
Let s(j) = 2*j + 18. Let w be s(4). Suppose w*u - 88 = 18*u. Solve 5*y = u*y - 18 for y.
3
Let h be 3/(-6) - (-650)/20. Solve h*z + 32 = 160 for z.
4
Suppose 0 = -44*w + 39*w + 260. Let a = w + -44. Suppose -a = 4*d, 5*o - 6*d + d - 35 = 0. Solve o*u - 5 = 15 for u.
4
Suppose -4*s - 5*i = -0*i + 7, -15 = 5*i. Let p(l) = -l + 4. Let n be p(s). Suppose -2*u - 4*b + 0 = -6, 0 = n*b. Solve 0 = -a - u*a + 16 for a.
4
Let k be (3/15)/((-26)/(-260)). Let b(n) = -n**3 - 4*n**2 + n + 5. Let c be b(-4). Let p = k - c. Solve 2*s + p = -3 for s.
-2
Suppose -31*q + 21 = -24*q. Solve 0 = 4*d - 3*d + q for d.
-3
Let z = 254 + -261. Let r(t) = 23*t + 5. Let q be r(-11). Let h be (q/(-40) + z)*10/(-4). Solve h*d - 3 = -7 for d.
-2
Suppose 26*i + 63 + 327 = 0. Let u be 18/i - (1 - 124/20). Solve u*t - 6 = 6 for t.
3
Suppose -2*f = y - 2*y + 154, 148 = y - 5*f. Let d = -158 + y. Solve d = -5*i - i + 30 for i.
5
Let f = 8784 + -8773. Solve 163 - 251 = -f*x for x.
8
Let o be 0/(-155)*((-15)/6)/(-5). Solve 19*s - 24*s + 25 = o for s.
5
Suppose v = 4 - 1. Suppose 8 = v*d - d. Suppose 0 = g + 1, d*g = i - 2*i - 4. Solve -3*k + 3 + 3 = i for k.
2
Let u be (-36)/(-72) + (-2 - (-6)/4). Suppose b + 2*q + 6 = u, -6*b + 9*b + 2*q = 2. Solve -b*h = 6 + 14 for h.
-5
Let b = -9352 - -9392. Solve 3*z - b = -40 for z.
0
Let w(p) = -300*p - 7080. Let r be w(-24). Solve -r*t + 603 = -53*t for t.
9
Let t = 53 + 130. Let j = 183 - t. Solve 3*b - b = j for b.
0
Let j(k) = -31*k - 291. Let u be j(-12). Solve -79*v + u*v - 2 = 0 for v.
1
Suppose -13 = -5*r + 2. Suppose -2*j - r*j = 90. Let d be 4/j - 1/(27/(-33)). Solve 5*n + 24 = -d for n.
-5
Let b be ((-17)/(-3) - 2/3) + -1. Suppose -4*r - 1 = -9. Suppose -6*d = -r*d - 4. Solve 0 = -l + b + d for l.
5
Suppose -23*z + 56*z = 9*z. Solve z = 32*j - 64 for j.
2
Suppose 0 = -118*t + 56 + 416. Let r be (-2)/4 - (-333)/18. Suppose 2*o = -o + r. Solve -o*k + 6 = -t*k for k.
3
Suppose -32 - 110 = j + 3*r, -3*r = 3*j + 402. Let o = 133 + j. Suppose -3*l - 6 = -6*l. Solve -o*c + 4 = -l*c for c.
4
Suppose -2*g = 7*g - 7*g + 11*g. Solve g = -29*r - 180 + 6 for r.
-6
Suppose 37*c + 38 = 38*c. Suppose c = 6*w - 10. Solve -w*v + 4*v - 16 = 0 for v.
-4
Let g(a) = a**3 + 8*a**2 + 7*a. Let n be g(-7). Suppose n = 4*d + 133 + 127. Let x be (d/(-25) + -3)*-10. Solve 0*c = -x*c - 12 for c.
-3
Let q(s) = 2*s**3 + 14*s**2 - 15*s + 10. Suppose 142 = -19*z - 10. Let h be q(z). Solve -4*v + 3*v = h for v.
-2
Suppose 0 = -4*j - 5*f + 38, -80 = -15*j + 11*j + 2*f. Solve -48 = -j*v + 20 for v.
4
Let q be (2/6)/((40/1308)/(-10)). Let n = q + 134. Solve 0*u - 5*u = -n for u.
5
Let a be -11*(-5 + 6)*-23. Solve 0 = 244*q - a*q - 9 for q.
-1
Let n = -3851 + 3855. Solve -25*u + 26*u + n = 0 for u.
-4
Let g(c) = 5*c**2 - 101*c + 26. Let u be g(21). Solve p - u = -21*p for p.
5
Let t be ((-15)/10)/((-13)/((-156)/(-9))). Solve 4 = -t*r + 6 for r.
1
Let s(c) = 2*c**2 + 6*c + 35. Let x be s(-6). Solve x + 39 = 55*m for m.
2
Let r be 8/14 - (-188)/14 - (5 + -1). Solve -r*i + 27 = -i for i.
3
Suppose -289*j = -294*j + 85. Let l(w) = w**2 + 3*w + 3. Let x = -7 + 5. Let d be l(x). Solve -d + j = 4*u for u.
4
Suppose -1451*z + 352 = -719*z - 724*z. Solve -157 - 19 = -z*j for j.
4
Let s be (1 - (-14)/(-18))*9 - -13. Suppose -2*b + 8 = 5*f - s, -2*f - 14 = -5*b. Suppose -3*t - m + 17 = 5, 0 = f*t + 5*m - 24. Solve -q = -t*q - 10 for q.
-5
Suppose 4*v + 1226 = 12*v + 106. Solve 146*o - v*o = 42 for o.
7
Suppose k + 3 = c - 28, 5*c - 143 = 2*k. Solve -c*p = -26*p - 4 for p.
4
Let k = -246 + 251. Let s be (-2)/k - 2*3/(-15). Solve -6*j + 11*j = s for j.
0
Suppose -3*f - 4*x = -f + 36, -3*f - 42 = 2*x. Let c be (-1)/(-8)*-2*f. Suppose c*l - 35 - 18 = -b, 0 = -l - 4*b + 36. Solve 2*p = -2*p - l for p.
-4
Suppose -y = 2*n + 95, -9*y + 8*y - 95 = 5*n. Let v = y + 100. Solve 0*u = v*u - 15 for u.
3
Suppose 15*q + 75 = -300. Let j(g) = g**3 + 27*g**2 + 48*g - 43. Let h be j(q). Solve -h*k + 3*k = 4 for k.
-1
Suppose 28*f - 50 + 50 = 0. Solve 2*s - 211 + 211 = f for s.
0
Let r = 489 + -519. Let h be (-10494)/(-270) - 4/r. Solve -5*g - h + 14 = 0 for g.
-5
Suppose 5*n - 4*u - 750 = 0, 4*n - 7*u - 600 = -5*u. Solve 55*z - n = 180 for z.
6
Let m(g) = -g + 9. Let w be m(6). Suppose -2*y - 3*y = 0. Suppose f + 4*f - 50 = 2*k, -35 = -5*f - k. Solve y = f*n - w*n for n.
0
Suppose -9*u = -8*u + 5, 0 = -4*l - 2*u + 14. Let d be 6/((-24)/(-18)*l/20). Solve d*c = 11*c - 4 for c.
-1
Let c = 236 - 42. Solve 18 = -c*l + 200*l for l.
3
Suppose 3 = 2*d - 117*l + 118*l, -d - l + 2 = 0. Solve -4*s - 11 = d for s.
-3
Let z(c) = c**3 - 2*c**2 + c - 10. Let r be z(3). Suppose 4*t + 2*w = 22, t - 3*w - 11 = r*w. Solve t = -9*o + 42 for o.
4
Suppose -46*l + 4*x + 184 = -8*l, 2*x = 3*l + 4. Let n = 11 + -3. Solve -2*i + n = -l*i for i.
-2
Suppose 12*d - 2 = 11*d. Let n be (125/45 + -3)*-9 + d. Solve -n = 13*b - 15*b for b.
2
Let r(z) be the first derivative of -1/2*z**2 + 30 + 7*z. Let y be r(7). Solve 0 = -y*j - j for j.
0
Let o = 3487 + -3485. Solve -o*d = -0*d + 10 for d.
-5
Suppose 80*v + 9177 = 9337. Suppose -2*l + 3*l = 3*d - 10, d + 3*l = -10. Suppose d*c = 5 + 5. Solve -3 = v*o + c for o.
-4
Suppose t + 4*y + 42 = 0, -2*y - 20 = 2*y. Let w(m) = m**2 + 20*m - 30. Let r be w(t). Let c be 2/5 + r/(-10) - -19. Solve 5*i = 3 - c for i.
-3
Let v(z) = z + 18. Let p be v(-4). Let o = 24 - p. Suppose n = -4*a, -2*a - 2*n = n + o. Solve 0 = s - 2*s + a for s.
1
Suppose 3*m = -0*m - 4*b - 4, -5*m + b = -1. Suppose 3*c - 59 = -2*w, m = -4*c - 5*w - 41 + 115. Suppose -c*v + 24*v = 9. Solve v*l = -l for l.
0
Suppose 0 = 4*r + 51*d - 52*d - 609, -5*r + 762 = -d. Solve -r*k + 142*k = -33 for k.
3
Let s = 1669 + -1667. Let h = 5 - 1. Solve v + s = h for v.
2
Let u = 4 - 1. Let l(t) = -2*t**3 + 8*t**2 - 1848*t + 5532. Let a be l(3). Solve u*w - a = -21 for w.
-5
Let f be ((-34)/(-4))/(5/10). Suppose 3*p = -0*p - 2*c + 25, -f = -3*p - 4*c. Let k be -10*8/48*-3. Solve -3*u = p - k for u.
-2
Let w = 4132 - 4117. Solve -w*a - 11 = -4*a for a.
-1
Suppose 0 = -105*o - 8453 + 29138. Solve -30*m - o = -17 for m.
-6
Let o(c) = c**2 + 14*c - 39. Let b be o(-17). Suppose -4*s = -s + b. Let q be s*(-3)/(-48)*4*-3. Solve 22 = -5*a - q for a.
-5
Let m(g) = -g + 9. Let n be m(6). Let b(p) = -6 + 2*p**3 - 3*p**n - 220*p + 197*p - 13*p**2 + 1. Let c be b(-11). Solve -q = -3*q - c for q.
-3
Let g(h) = 3*h**3 - 40*h**2 - 25*h - 38. Let c be g(14). Let o be 30/4*(-80)/(-12). Suppose -c*a = -2*v - 0*v - 34, 5*a + 5*v - o = 0. Solve -