 = 5*g - 4*g + i for g.
-5
Let g = -6 + 10. Let h = -49 - -62. Let j = h - 12. Solve -5*m + j = -g*m for m.
1
Let h = 14377 + -14374. Solve 0*n = -h*n - 21 for n.
-7
Let q be 1*3*(22/2 - 10). Suppose 0 = 3*p + q*s, 4*p - p + 5*s = 0. Solve 3 = -p*i + 3*i for i.
1
Suppose -3*c = -12, 0 = -3*t - 3*c + c + 8. Let a be (-2)/(6 + t)*(-18)/1. Let h(m) = 2*m - 9. Let j be h(6). Solve j*x + a = -3 for x.
-3
Let n(r) = -3*r + 1. Let u be n(-5). Let b = -64006 + 64007. Solve 0 = -5*q - u + b for q.
-3
Suppose -4*i - 7 = -3. Let t(s) = -8*s - 4. Let y be t(i). Let u(x) = x**3 - 6*x**2 + 4*x - 4. Let w be u(6). Solve -h = y*h + w for h.
-4
Let p = -6872 - -6980. Solve p = 19*x - 6 for x.
6
Suppose 0 = 2*j - 3*u - 294 + 220, -3*u = 12. Solve -j*g - 64 = -15*g for g.
-4
Suppose -5*t + 12*t - 35 = 0. Suppose -k + 7 = -t*z, -4*z - 18 = k - 52. Suppose 21*i - k*i = -4. Solve -5 = -i*v + 15 for v.
5
Let f(d) = -4*d + 9. Let x be f(-4). Suppose 3*a + 2*b = -124, 0 = 2*a + 5*b + 104 - x. Let u be 7/a - (-1)/6. Solve -5*q - 5 = -u for q.
-1
Let q(m) = 260*m - 515. Let g be q(2). Let f(s) = -s**3 + 3*s**2 + 2. Let o be f(3). Suppose 2*p + 28 = -v + 4*v, -3*v - o = 4*p. Solve -g*k + 5 = -v*k for k.
-5
Let a = 3097 - 2347. Solve -42 = a*i - 736*i for i.
-3
Suppose 0 = 9*b + 365 + 445. Let n = b + 120. Let a be ((-2)/6)/(-1)*105/7. Solve -a*d - 10 = -n for d.
4
Let d(l) = 2*l**3 + 6*l**2 - 9*l - 21. Let g be d(-3). Solve -24*z = 42 + g for z.
-2
Let m(n) be the second derivative of 5*n**3 - 147*n**2/2 + 3*n + 2. Let o be m(5). Solve -h - o = -1 for h.
-2
Let t(s) = s**3 - s**2 - 38*s + 125. Let c be t(4). Solve c*q - 3*q - 36 = 0 for q.
2
Suppose 84 = 4*k - 0*k - 4*q, -4*k + 99 = q. Suppose -15*b = -k*b. Solve -x + 5*x - 12 = b for x.
3
Let b be (1100/45)/5 - (-5)/45. Suppose b*a = 3*a + l + 3, -4*a - 4*l + 36 = 0. Solve 0 = -a*j + 3*j + 2 for j.
2
Let m be (-14)/(-8) - (-2)/8. Let u(k) = k**3 - 8*k + 14. Let a be u(m). Suppose 13*w - a*w - 28 = 0. Solve 0 = r + r + w for r.
-2
Suppose 18*t + 56 = 25*t. Solve -21*k - 113 = -t for k.
-5
Let v = 16043 + -16040. Suppose 0*g + 8 = 2*g. Solve 3*i = g*i - v for i.
3
Let u(s) = -16*s**2 - s**3 + 22 + 2*s - 4*s - 32 - s**3. Let d be u(-8). Solve 0 = 3*x - d*x + 12 for x.
4
Let d(h) be the first derivative of -h**2/2 + 3*h + 72. Let q be d(2). Solve 0 = w - q for w.
1
Let v be (39/12)/((-2)/8). Let a = v + 18. Suppose -a*b = -b. Solve b = g + 1 - 0 for g.
-1
Suppose -227 = -b - k, -34*b + 30*b + 3*k + 887 = 0. Solve 0 = 65*o - 33*o + b for o.
-7
Let n(f) = -f**3 - 18*f**2 - 83*f - 28. Let z be n(-10). Suppose -s - 4*s = 5*g - 5, g = -4*s - 11. Suppose -l - g + 11 = 0. Solve -z*v = -l*v for v.
0
Suppose -36 = -7*u - 2*j, -2*j - 66 = -u - 38. Suppose -h = -w - 23, -w + 4*w = 5*h - 125. Solve -b - h = -u*b for b.
4
Suppose 2 = -k - 2. Let j be 426/6 + k/(-2). Suppose -81 + j = -l. Solve 0 = 5*q - 23 + l for q.
3
Let y = 1718 + -1714. Solve -2*w + 12 = y for w.
4
Let h(w) = w**2 + 30*w - 3856. Let l be h(49). Solve 0 = 4*t - 9*t + l for t.
3
Let c(j) = j**2 - 114*j - 6542. Let s be c(-42). Solve 73 - s = -21*y for y.
-3
Let b(u) = u**2 + 59*u + 719. Let x be b(-44). Solve -68*w - 45 = -x*w for w.
-5
Suppose -7*f - 3 + 241 = 0. Let n = 41 - f. Suppose -3*z - 1 = 4*s, 5*s - 3*s = z + n. Solve -s*o - 2 = -10 for o.
4
Suppose 0 = 67*g + 149*g - 10897 - 5951. Solve 14*w = 40*w + g for w.
-3
Let f(v) be the third derivative of -v**5/60 - 3*v**4/8 + 20*v**3/3 + 113*v**2. Let n be f(3). Solve n*z = -23 + 23 for z.
0
Let v(f) = -f**3 - 24*f**2 + 60*f - 16. Let z be v(-26). Let w = -222 - z. Suppose -45 = -3*o - 0*o. Solve -o = 5*k - w*k for k.
-5
Suppose 0 = -o + 5*d + 20, 2*o - 2*d = 32 - 24. Solve 2*u + 5*u - 56 = o for u.
8
Let v = 4598 + -4502. Solve 10*i - v = -6*i for i.
6
Suppose -31*g - 5*g + 324 = 0. Let q be (-28)/(-13 + g) - -18. Solve -14*c = -19*c - q for c.
-5
Suppose -50*o + 52*o = -f + 314, -o + 622 = 2*f. Solve f = q + 314 for q.
-4
Suppose -6*h - h + 28 = 0. Let o(c) = 6*c - 10. Let a(f) = -5*f + 9. Let n(x) = -4*a(x) - 3*o(x). Let s be n(h). Solve 3*d - s = -8 for d.
-2
Let c be 6/(-9) + (-132)/55 + 1532/30. Solve 31*f + c = 39*f for f.
6
Let i(g) = g**3 - 30*g**2 + 52*g + 125. Let b be i(28). Solve -48 = 3*r + b*r for r.
-3
Let m = -39 + 54. Suppose 2*n = -n + m. Suppose 4*t - 3*z = -0*z + 9, 12 = -n*t - 4*z. Solve t = -0*a - a + 1 for a.
1
Suppose 4*h + 5*o + 25 = 2*o, 2*o = h - 2. Let y be 0 + 2 - (h - 1). Suppose -3 = -8*j + y*j. Solve j = d + 2 for d.
1
Let g(q) = -q**3 + 86*q**2 - 3*q + 305. Let y be g(86). Solve -y*f + 580 = -163*f for f.
-5
Let p(c) = -5*c**3 - 124*c**2 + 29*c + 104. Let z be p(-25). Solve -9*j + 13*j = z for j.
1
Suppose -2*p - 2*j = 0, 0 = -5*p - 0*j - j. Let t(k) = -3*k + 9. Let v be t(p). Solve 0 = -12*f + v*f + 9 for f.
3
Let f be 63/18 + (-42)/12. Let l be 8 + f + 1 + 2. Solve -l - 7 = 6*n for n.
-3
Suppose -373*s + 202776 = -16*s. Solve 567*f + 1 = s*f for f.
1
Let x = -30354 + 30357. Let i = 75 + -45. Solve -9*q - i = -x*q for q.
-5
Let v(h) = -3*h**3 - 393*h**2 - 389*h + 516. Let f be v(-130). Solve 109*s + f = -50 for s.
-4
Let y be -5*(3 + 51/(-15)). Solve 3*z + y = 4*z for z.
2
Suppose -34*c + 4389 = 3*c + 40*c. Solve c*t = 45*t + 48 for t.
4
Let q = 40 + -35. Let g be (12/(-3) + 1)/(-1). Suppose 5*c - 108 = 32. Solve q*f - c = -g for f.
5
Let o(d) = d**2 + 18*d + 65. Let s be o(-5). Solve 7*z - 11*z - z = s for z.
0
Suppose -3*s + 3285 = 7*z - 3*z, 3*s = -5*z + 4104. Solve 0 = 170*j - 53*j + z for j.
-7
Suppose 8*k - 27 = 5. Let m = -27 - -17. Let j be (-120)/(-18)*(-12)/m. Solve k*w + 12 = -j for w.
-5
Let w(b) = -4*b**2 + 6*b + 2. Let c(d) = 16*d**2 - 25*d - 9. Let o(f) = -2*c(f) - 9*w(f). Let a be o(3). Solve 3*m + 3*m + a = 0 for m.
-4
Let t be (2/(-4))/((-16)/64). Suppose f - t = 20. Let d = f - 17. Solve -2*w - d = 3 for w.
-4
Let m = 133 - 129. Let a(l) = l**2 - 5*l + 9. Let d be a(m). Solve h - 7 = -d for h.
2
Let u be 6*5/7 - (-2)/(-7). Suppose 0 = -f - 6*z + 3*z + 18, u*f - 46 = z. Suppose -79 = -f*l + 41. Solve -5*x + l + 0 = 0 for x.
2
Let t = 635 - 633. Suppose -40 = -4*w - 2*v, 2*w + t*w + v = 44. Solve -w = 7*o - 3*o for o.
-3
Suppose -16*r - 13*r + 64 = -81. Solve -292*n = -297*n - r for n.
-1
Let r = 285 + -281. Suppose 3*p - 3*a = 24, -9*p + 14*p = -3*a + 24. Solve -p*w + r = -8*w for w.
-2
Suppose -6*k = 2*x - 7*k + 378, -5*x - 5*k = 915. Let q be (-3)/8 - x/136. Let o be 3/6 - 27/(-6). Solve 0 = 2*j - q - o for j.
3
Suppose 0 = 4*s + u + 11, -135*u = -131*u + 12. Let i be s/(-21) - (-2008)/(-84)*-1. Solve -3*m - 3*m - i = 0 for m.
-4
Suppose n = -3*n - 56. Let t(p) = -1 - 1 - 6 - 1 + 1 - p. Let r be t(n). Solve -15 = -r*v + 3*v for v.
5
Suppose -z + b + 12 - 7 = 0, 5*b + 15 = 3*z. Suppose 5*m = -0*j - 2*j + 29, 2*m = -z*j + 20. Solve -23*r - j = -21*r for r.
-1
Let d(j) = -68*j - 202. Let w be d(-3). Solve 8 = -10*u - w for u.
-1
Let w be 4/18*-6*-3. Suppose 3*c + c + 8 = -w*b, b + 2*c = -4. Let z be ((-30)/(-80))/(((-2217)/(-96) - 12) + -11). Solve -z*r + 6*r - 6 = b for r.
3
Let n = -14903 + 15239. Solve 16*h - 72*h = n for h.
-6
Let t(r) = r**3 - 7*r**2 + 2*r - 16. Let v be t(7). Let o be 8*(v - (-9)/(-2)). Let a = -49 - o. Solve b - a = -0 for b.
3
Suppose 2630 = 5*l + 20*z, -2*l - 3*z + 189 = -863. Solve -l*v - 10 = -528*v for v.
5
Suppose -47*r = -82*r + 945. Solve -30*k = 3 + r for k.
-1
Suppose -2*d - f - 2*f = 47, -2*d = -3*f + 77. Let y = -26 - d. Solve -5*r + 4*r - y = 0 for r.
-5
Let a be 155 + -42 - 2/(-1). Suppose -a = -13*m - 10*m. Solve m = -2*d - 3*d for d.
-1
Let d = 5261 - 5255. Solve -15*x + d = -16*x for x.
-6
Let i(o) = 183*o**2 - 20*o - 5 + 95 - 182*o**2 - 3. Let v be i(14). Solve -v*c = -4*c + 4 for c.
4
Let h(z) = z**3 + 8*z**2 + 13*z - 8. Let r be h(-5). Let c = 100 - 36. Let v = c - 60. Solve -v*k = -2 - r for k.
1
Let w(f) = 2*f**3 - 7*f**2 + 3*f - 25. Let l be w(5). Let s = -46 + l. Solve -s = 5*y - 4 for y.
-3
Let p(t) = 80*t + 997. Let q be p(-13). Suppose 0 = 4*v + 174 + 14. Let a = q - v. Solve 0 = -3*l + 1 - a for l.
-1
Suppose 0 = 4*w - 9*w. Let j be (21/(-9) - -3)*-45. Let y(l) = -3*l - 81. Let s be y(j). Solve 3*z + w*z = s for z.
3
Let f(u) = u**2 + 326*u + 2858. Let g be f(-9). Solve -g*b + 642 - 677 = 0 for b.
-7
Let z(