 5*i + 2 - a = 3*m for m.
1
Let p = -107 + 107. Let u = p - -1. Solve 2*n = -3*t + 11 + u, -2*t + 7 = n for t.
2
Suppose 24020*u - 23998*u - 220 = 0. Solve 0 = -6*q + q + 5*g + u, 3*q + g - 18 = 0 for q.
5
Suppose h = 10*u - 14*u - 28, -3*h = -5*u - 52. Solve 4*w + t = 17 - h, 5 = t for w.
2
Let a be 1*(-39)/6*(0 - -2). Let v(r) = r**3 + 15*r**2 + 23*r - 7. Let i be v(a). Solve m = -4 - 1, -4*g + i = -4*m for g.
3
Let u be (-12 + 6 + 8 - -1)*1. Solve -t + 5 = u*h, 8 = 4*h + 2*t - t for h.
3
Let n be 10 + -9 + (-7 - (-7 + -4)). Solve -5 = -5*y + 5*f - 0*f, n*y + 4*f = -4 for y.
0
Suppose -7*r + 80 = -2*r. Let i = 21 - r. Suppose 4*l - i = 3*l. Solve 4*n + n - 27 = b, -l*n - 4*b = -17 for n.
5
Let v(y) = y**2 - 2*y - 4. Let u be v(6). Suppose 0 = 22*p - 17*p - u. Let d be (1 - (p - -12))/(-3). Solve h - 5*z = 1 + 9, 28 = -d*h - z for h.
-5
Suppose 0 = -6*g + 57 + 177. Let d be 2 + (-1 - -1) - 39. Let j = g + d. Solve 0 = -5*f - 4*c - 20, 2*c + 8 = -j*f + c for f.
-4
Let j = -26480 - -26483. Solve -2*x - 11 = j*g, -5*g + 3*x = -53 + 46 for g.
-1
Let f(p) = -p**3 - 10*p**2 + 10*p + 104. Let w be f(-10). Solve m + 20 = w*d, -8*m + 9*m + 5 = d for d.
5
Let t be (4 + -3)*(-45 - -49). Solve -18 = t*l - 39*w + 42*w, 2*l + 4*w = -14 for l.
-3
Let h(r) = -r**2 + 15*r + 63. Let s be h(18). Suppose 3*n = 9, s*o - 6*o - 4*n - 3 = 0. Solve 2*w = -2, 8*b = o*b - 3*w - 6 for b.
-1
Let w = -236 + 251. Let a(u) = -u**2 + 14*u + 20. Let n be a(w). Solve 2*c - 2*d + d = 8, 3*c = -n*d + 25 for c.
5
Suppose 26*n - 135 = 42 - 21. Solve -3*j + 3*k = -n, 13*k = -5*j + 17*k + 6 for j.
-2
Let z be (0 - -13)*(-2 - -4). Let b = 30 - z. Let k be 1 + (-5)/((-5)/b). Solve -l = 3*r - 0 - 13, 18 = k*r - 2*l for r.
4
Let x be 8 - (16/(-128) + (-17)/(-8)). Suppose -1 = x*g - 31. Solve -2*w = 4, -5*o - g*w - 35 = -0 for o.
-5
Let i be -10*12/(-16)*28/105. Solve -5*f + 9*f - z = -6, 3*f - 4*z - i = 0 for f.
-2
Let m(a) = a**3 - 4*a**2 + 5*a - 3. Let q be m(3). Suppose -w - q = 0, 0 = o - 3*o + 2*w + 14. Let d = 919 - 907. Solve -3*s = -0 + d, o*s + 21 = u for u.
5
Let h(z) = 30*z + 90. Let b be h(-3). Solve b*j = -4*j + 5*x - 7, -5*x + 23 = 4*j for j.
2
Let i be (-9)/(-3) + 15/3*5. Suppose -238 = -i*k + 11*k. Suppose -3*f = -0*f. Solve 2 = -n, -5*p - 2*n - n + k = f for p.
4
Let h = 25174 + -25169. Solve -h*t - 14 = 2*s + 5, 5 = -5*s - 4*t for s.
3
Let j(b) = 13*b**3 + 54*b**2 + b - 25. Let t be j(-4). Solve -z = -t*k + 16, -4*k - 4*z = -7*z - 23 for k.
5
Let w = 8 - -3. Suppose 4*l + 9 = 4*c - w, 0 = -3*l + 2*c - 16. Let v be -2*3/l + -1. Solve 2*h - f = -2*h + 11, v = -2*h - 5*f + 33 for h.
4
Let m be 9/4 + -2 - 7898/(-88). Let q be 4/(-6) - 10/m*-6. Solve -4*v - 20 = -4*d, -2*d + 7 = v - q*v for v.
-1
Let f(v) = -2*v**3 - 61*v**2 + 159*v + 2033. Let b be f(-32). Let m = -1 - -1. Solve -4*o + b = -k, m = -0*o + 2*o + 2*k - 6 for o.
4
Let i = -208 - -210. Let k be (-4)/(-7)*1904/32. Let v = k + -31. Solve -4*g + v*a - i = -8, 4*g - 4 = 4*a for g.
3
Let g(o) = 6*o**2 + 50*o - 106. Let f be g(-11). Solve f*i = 71*i - 4*h + 3, 5*i + 5*h + 15 = 0 for i.
-3
Let k be 1/(7/(-609)*-3). Suppose 7 = -28*p + k*p. Solve -2*d + 3*l + 4 = -d, 4*d = 3*l + p for d.
1
Let y = 69 - 62. Let o be (0 + -1)*y/((-35)/10). Let z = 4 - o. Solve 0 = -3*f - w + 3, z*f - 7 - 8 = -5*w for f.
0
Let q = 6 + -4. Suppose -i = 4*d - 7, 3*d - 3*i = -q*i + 14. Suppose d*g + 2 - 3 = -2*u, 0 = -2*g - 5*u - 14. Solve -g*o + 8 = 3*f - 7, -18 = -4*o - 3*f for o.
3
Let u be (-949)/146 - 3/2. Let d be (-2 + 0)/(u/12) - 3. Let n be (-1 + 0)/(1/(-3)). Solve d = 3*o + n*y - 12, y + 0 = 4*o - 6 for o.
2
Let f = -45 - -190. Let g = 149 - f. Solve -2*x = -3*x - g*k, 3*k = 3 for x.
-4
Suppose 0 = -h + 2, 5*h + 14 = 7*g - 5*g. Solve -7*o - 4 = -3*o + 4*f, 2*f + g = -4*o for o.
-5
Suppose -2*r = -z + 5, -27*r + 28*r - z + 5 = 0. Solve -x + 8*q - 9 = r, 4*x + 0*x + 5 = q for x.
-1
Let z(o) = -25*o + 21*o - 5 + 5 + 6 - o**2. Let s be z(-6). Let r = 9 + s. Solve -r*u + 2 = 5*q, -6*q + 5*u + 10 = -q for q.
1
Let l(j) = 2*j**2 + 340*j - 1376. Let b be l(4). Solve -5*m = -2*c - b, 0 = -2*m - 1 + 5 for c.
-3
Suppose g - 12 + 34 = 0. Let m = g + 81. Suppose -4*v - m = -5*n, -1 - 15 = -4*v. Solve 4*o - n = -3*d, -o - 5*d + 14 = 2*o for o.
3
Let j = 29 + -25. Suppose 35 = j*f + 3*h + 2, f - 2*h - 11 = 0. Let u be (-30)/(-135) + 34/f. Solve p = -5*k - 12, 7*k - u*p + 2 = 2*k for k.
-2
Suppose -387 = -5*w + 4*w. Let p be 2408/w + 4/(-18). Solve s + p = -0*j + 2*j, 3 = -s - j for s.
-4
Suppose -99*g + 104*g - 3*p = 27, 4 = g - 2*p. Solve -6 = -3*v, -2*l = 10*v - g*v - 8 for l.
0
Let m = -17900 + 17929. Solve -m + 23 = 2*w, 4*w = -j - 13 for j.
-1
Let v = -17576 + 17576. Solve 0 = 2*j + 2*s - 2, -18 = 2*j - 2*s - v*s for j.
-4
Let i be (-2)/(-8)*2 - 5*3/(-6). Let t = -4 + 7. Solve i*n = -0*n + 5*k + 5, 3*n = -3*k - t for n.
0
Suppose -11 = -3*v + 4. Let i(m) = 118*m - 43. Let f be i(2). Let p = f + -183. Solve -10 = -2*u + h, -v*u = -3*u - 3*h - p for u.
5
Let p(n) = -n**3 + 3*n - 5. Let u be p(2). Let b(l) = l**3 + 7*l**2 - 2*l - 13. Let m be b(u). Solve -3 + m = g + s, -5*s = 3*g + 12 for g.
1
Let l be (-4 - -4) + 0 - -42. Let k = l - 24. Suppose -5*d + k = 4*d. Solve -d*h + 4*g = 20, -5*g + 2*g - 7 = 4*h for h.
-4
Let j = -780 - -867. Suppose c - j = -4*k, -c + 3*c + 2 = 0. Solve -5 = -r + 2*r - 2*q, 4*q - k = -2*r for r.
3
Let f = 946 - 936. Let d be (-5)/f*-12*253/33. Solve 3*b - d = -4*c - 15, 4*c = 3*b + 1 for b.
5
Let k be (9/(11 + 3130/(-290)))/((-6)/(-4)). Solve 3*a - 5*h + 25 = 5, 0 = -5*a + 4*h - k for a.
-5
Let j(b) be the first derivative of -b**3/3 + 5*b**2/2 - 2*b - 3. Let r be j(3). Suppose -2*v + 903 = 867. Solve -a + 2*a - v = -4*n, -r*a = 4*n - 12 for n.
5
Suppose -756 = -4*l + o, 2*o = 7*o. Suppose l = 13*p - 4*p. Solve -m = t + m + 3, 0 = 3*t - 4*m - p for t.
3
Let f = 844 + -847. Let o be f/7 - 1406/(-259). Solve -4 = 4*x - 3*x + 4*h, 4*h + 28 = o*x for x.
4
Let x(q) = -q**3 + 3*q**2 + q + 4. Let t be x(3). Suppose 24*s - 51 = t*s. Solve 4 = p - 5*r, -s*p + r = -20 + 8 for p.
4
Suppose -6*t + 3*t + 8 = 4*a, 0 = 3*a + 5*t - 6. Suppose 4 = -4*b + 4*l, a*b - b = 5*l - 17. Solve -2*k = -6, -2*x - b*x + k = 13 for x.
-2
Let v be ((-60)/(-25))/(140/175). Solve -24*w + 27*w + 8 = -2*l, -5*l + w = v for l.
-1
Suppose -319*u + 274*u = -675. Solve 4*y - d = -15, -13*d = 2*y - u*d + 12 for y.
-3
Suppose 4*g - 2*z - 82 = 0, 5*g - 56 = 5*z + 49. Let x be (-8)/6*(-30)/g. Let k(f) = -f + 12. Let r be k(8). Solve 0 = -4*q + w + x*w - 8, r = -2*q + 2*w for q.
-2
Let q be ((-2)/(-3))/(6 + (-3044)/507). Let i = q - -174. Solve -8 = i*b + z - 3*z, -4*z = -5*b - 6 for b.
-2
Let w(u) = -3*u**3 - 3*u**2 + 6*u - 20. Let k be w(3). Let n = k + 110. Solve 2*s + 7 = m, 2*s = 4*m - n - 10 for s.
-3
Let j(x) = 2*x**2 - 68*x + 130. Let r be j(32). Let a be 4 - -1*(-5 + 0 + 1). Solve a = 4*w - w + 3*q + 12, 4*w - r*q = 14 for w.
1
Let g(t) = -8*t**2 - 6*t - t**3 - 8*t**2 + 10*t**2 + 10. Let u be g(-4). Solve 2*w - 11 = -3*y + 12, 17 = -u*w + 5*y for w.
4
Suppose 4*i - 2 = 53*v - 55*v, 2*v = i + 22. Suppose -l = l - 12. Suppose v = 3*w - l. Solve 3*o = -2*c + 7, 0 = 2*o - w*c - 11 - 19 for o.
5
Let d = -24 - -28. Suppose d*z = 13 + 23. Let k be 3*((-3)/(-1))/z. Solve 0 = -i - 3*u, -i - 5*u + 1 + k = 0 for i.
-3
Let a = -171 - -16. Let y = 171 + a. Solve 5*u = -q, 4*q + 5*u = u + y for q.
5
Suppose -3*g + 0*g + 48 = 0. Suppose -9 = 4*f + 5*z, 99*f + 5*z = 100*f - 29. Let s = -72 + 74. Solve -2*h - f*o - g = 0, -4*o - 3 = -s*h + 21 for h.
2
Suppose -3*c + 2*c = -25. Let f = c + 12. Let o = f + -32. Solve -2*m + 3 = -q + 11, 4*m + 28 = o*q for q.
4
Suppose 0 = -2*b + h - 41 + 69, -4*b + 56 = h. Solve 3 = 3*p - 3*m, -5*m - b = -0*p + 4*p for p.
-1
Suppose 0 = 4*r - 3*o - 50, r + 19*o = 23*o + 6. Solve -5 = -5*q, r*q - 18*q = 3*w - 13 for w.
3
Let f = 42 + -13. Let q = -14 + f. Let y(w) = -30*w - 777. Let m be y(-26). Solve 2*a - 5*g - q = 0, -g + 6 = 2*a - m*g for a.
0
Suppose 29 - 87 = -185*f + 312. Solve 7 - 5 = -3*z + 2*p, 0 = 5*z + 2*p - f for z.
0
Suppose -5*v = -106 - 19. Let r = v - 15. Let x be (4/r)/(8/100). Solve 8 = 2*q + 5*i - 5, q + 2*i - x = 0 for q.
-1
Let p(i) be the first derivative of i**3/3 - 17*i**2/2 - 6*i - 16. Let n be p(17). Let 