= j*t - 4 for t.
4
Suppose 0 = -4*d + 2*d + 10. Suppose 6*o + d + 25 = 0. Let r(z) = z**3 + 5*z**2 - z - 4. Let q be r(o). Solve -x - q + 4 = 0 for x.
3
Suppose 2*p = -210 + 220. Solve p*i - 37 + 62 = 0 for i.
-5
Suppose 6*i + 42*i = 2*i + 322. Solve -i*p + 348 = 369 for p.
-3
Let n be (-1)/5 + 17/85. Suppose 10 = 5*g + 4*a, -2*g + 4 + n = 5*a. Suppose 0 = 2*i + 2*f + 2*f - 20, i - 12 = -3*f. Solve -g*d - 16 = -i*d for d.
4
Let i(p) = -165 + 162 + p**3 - 3*p - 2*p**2 + 5*p**2. Let v be i(-3). Suppose -v*h = -8*h + 4. Solve h*u + 9 = -u for u.
-3
Suppose 0 = -8*q - 4*q + 36. Suppose -3*s + 4*j = -20, 6 = q*j - 6*j. Solve -s*n - 6 = -2*n for n.
-3
Suppose 19*g = 20 + 56. Let h(t) = t**2 - 3*t - 1. Let i be h(g). Solve -y + 0 + i = 0 for y.
3
Let h(j) = -j**2 - 3*j + 18. Let w be h(-6). Suppose -4*b - 3 + 35 = w. Suppose -5*p = m - 0*m - 20, 0 = -2*p + 5*m + b. Solve 0 = -5*f + 4*f - p for f.
-4
Suppose 5*d - 45 = -2*y, -y - 32 = 2*d - 54. Let z(i) = -i + 6. Let g be z(5). Let w be -1 + 6 - (g + 1). Solve -w*q - q = y for q.
-5
Suppose 3*i - 337 = 4*p - 6*p, -p + 2 = 0. Suppose -267 = -9*x + i. Let b = x - 33. Solve 0*j - b = 3*j for j.
-3
Let u be ((-515)/25 - (-5)/(-50)*-6)/(-2). Solve -u = 215*k - 210*k for k.
-2
Let m(p) = p + 1 + 4 - 2 - 2. Let n be m(-8). Let r = 7 + n. Solve 0 = -r*j + 5*j for j.
0
Let c(u) = -2*u**2 - 17*u + 11. Let j be c(-13). Let x be (-7)/28 + j/(-8). Solve -10*r - 7 - x = 0 for r.
-2
Suppose 0*c - 6*c = 0. Suppose -3*k - 5*u + 37 = 0, c = 5*k - k + 3*u - 31. Let b be (-2)/k*(-15 - -15). Solve 0 = -2*t - b*t - 4 for t.
-2
Let p = 22 - 56. Let z = 36 + p. Suppose -s + z*s = -s. Solve 0*m + 3*m = s for m.
0
Suppose -88*t - 93*t = -189*t + 72. Solve -t*k - 33*k = 210 for k.
-5
Suppose -5*f + 3*u + 68 - 27 = 0, 0 = -3*f + 5*u + 15. Let l be ((-2)/f)/(21/(-210)). Solve -4*g - 6 = -l*g for g.
-3
Let v(b) = -b**3 - 2*b**2 - 3*b - 2. Let u be v(-1). Suppose u*o + 5*g = -2*o + 106, g = o - 39. Suppose -5*s - 33 = -o. Solve -s*t = -t for t.
0
Let r be (5 + 275)*((-21)/(-168) - 15/(-8)). Solve 16*a + 608 - r = 0 for a.
-3
Suppose 0 = -z - 0*z - 2*i + 128, -3*z - 3*i + 384 = 0. Solve -124*f = -z*f - 20 for f.
-5
Suppose 6*f - 2*f - 372 = 0. Let u = -88 + f. Suppose -2 = -c + u*b, -2*b + 5*b - 54 = -4*c. Solve -l + c = -4*l for l.
-4
Suppose 3*r + 5*j - 23 = 35, 5*j - 42 = -2*r. Let d = 12853 - 12845. Solve r = -d*p + 4*p for p.
-4
Suppose -4*l = 8 - 24. Let s(y) = 2*y**3 - 3*y**2 - 3*y + 1. Let m be s(l). Let d = 73 - m. Solve d*g = -g + 10 for g.
2
Let a(k) = -9*k**2 - 120*k - 37. Let c be a(-13). Solve -4014 + 4022 = c*p for p.
4
Let g(j) = 7*j**2 + 269*j + 860. Let q be g(-35). Solve 95*c = 99*c - q for c.
5
Let n = -393 + 393. Suppose 3*w - 4*r - 14 - 15 = 0, n = 2*w + 4*r - 46. Solve -4*x + w = x for x.
3
Let h(s) = 692*s - 9664. Let m be h(14). Solve -m = -0*n + 4*n for n.
-6
Suppose 0*p + m - 96 = 2*p, 0 = -4*p - 2*m - 176. Let y be p/(-14) + (-2)/7. Solve -2*d - y = d for d.
-1
Let h = 142 - 142. Solve h = 5*g + 4*g - 18 for g.
2
Let x = -105110 - -105112. Let u(f) = 3*f**2 - f + 1. Let d be u(-2). Solve x*m - 7*m = d for m.
-3
Suppose 16*v - 10*v = v. Suppose v = -2*t + t + 20. Solve 3*o + o - t = 0 for o.
5
Let u(a) = -128*a - 921. Let b be u(-8). Solve b*p - 96*p + 21 = 0 for p.
-3
Suppose -15 = -9*j + 93. Let m be 759/j - (-14)/(-56). Solve -12*n + 27 = m for n.
-3
Suppose -47*y + 1995 = -26*y. Suppose 24 = y*z - 93*z. Solve 5*l + z = 7 for l.
-1
Let l(w) = -w + 3. Let f be l(-11). Let n be (-96)/84*f/(-4). Suppose 0 = -n*c + 2*u + 54, -2*u - 68 = -5*c - 3. Solve -6*m + c*m = 15 for m.
3
Let g be 0/((-4)/(-3)*42/28). Solve g = 516*f - 538*f - 132 for f.
-6
Suppose 6 + 1 = j. Let d(w) = 2*w**2 + 33*w + 21. Let m be d(-16). Suppose 5*n - 29 = 3*r, n - m*r = -2*n + 27. Solve 9 = n*v - j for v.
4
Let n(m) = 37*m - 1106. Let t be n(30). Solve 0 = 10*r - 12*r - t for r.
-2
Let t be (-18)/99 - (1*3 - (-360)/(-44)). Solve -t*r + 70 = 55 for r.
3
Suppose 25 = -l + 56. Let p = l - 33. Let g = 14 + p. Solve 0 = 3*o - g + 3 for o.
3
Let j be 2/(7 + 4 + -9). Let y(t) = 4*t**2 + 4*t - 2. Let n be y(j). Solve w = -2*w + n for w.
2
Let r = -25 + 27. Suppose 5*t + 0*t - 2 = 4*v, -2*v = -t - r. Solve 0 = 2*p - 10 + v for p.
4
Let u = -71 - -75. Let k = -25 - -45. Suppose 5*j = j. Solve -k + j = -u*a for a.
5
Let x(k) = 5*k - 7. Let z be x(4). Let l = z + -8. Suppose 8 = l*a - 7. Solve 3*s - 9 = -a for s.
2
Let t be (-1010)/6*1*(-6 + 42/14). Solve 0 = 501*v - t*v + 4 for v.
1
Let t(v) = v**3 - 2*v**2 - 6*v + 3. Let w be t(-5). Let o = w - -153. Solve o*p = 15*p - 8 for p.
2
Suppose -2*q + p + 101 + 113 = 0, 4*q - 3*p - 426 = 0. Solve 39 = -21*j - q for j.
-7
Suppose 36*p - 45*p = -45. Suppose -104 = -p*m - 94. Solve m*h + h = 0 for h.
0
Let t be (105/(-14))/((-100)/520). Solve t = 33*i - 27 for i.
2
Suppose 7*k = 5*k - 3*n + 84, -76 = -2*k - n. Let c be (k + -36)*1*(-2)/4. Solve -3*l + 7*l = c for l.
0
Let l(q) = -q**3 + q**2 + q + 12. Let j(r) = -11*r**2 - 99*r. Let a be j(-9). Let w be l(a). Solve -7*k - w = -5 for k.
-1
Let f(i) = 34*i - 904. Let k be f(27). Solve 0 = k*x - 38*x - 96 for x.
-4
Let a = -1 - -1. Suppose 651*t = 638*t + 52. Suppose a = u - t. Solve -v = -2*v + u for v.
4
Suppose -y = 2*k - 279, 4*k - 558 = -2*y + k. Let o be ((-4)/(-1))/16 - y/(-36). Solve -8*d + o = -4*d for d.
2
Suppose 11*d + 12*d - 7*d = 0. Solve d = -w + 58 - 54 for w.
4
Suppose 0 = -18*t + 3*t + 2400. Let d = t + -144. Let k be ((-9)/3)/(-3) - -8. Solve -k = 5*g + d for g.
-5
Let c(x) = -2*x**3 - 2*x**2. Let y be c(-2). Suppose -10*t + 24 = -y*t. Solve 2*l = -l + t for l.
4
Let d = -268 - -289. Let h be (d/35)/(0 + (-2)/(-30)). Solve -2*b + h = b for b.
3
Suppose -4 = p, 26*p = -6*y + 23*p + 132. Solve 0 = r + y - 27 for r.
3
Let o = 55 + -53. Let r(b) = -7*b + 2 + 6*b - 5*b + o*b. Let j be r(-1). Solve -2*c + 0 = j for c.
-3
Suppose 0 = -6*o + o + 3*f + 60, -4*o + 5*f + 35 = 0. Suppose 4*z - 3*z + 1 = 2*q, 0 = -5*z + o. Suppose u = 2*u - 12. Solve -2*h + q = u for h.
-5
Let b(s) = s**2 + 17*s + 50. Let n be b(-15). Suppose 0 = -n*z + 114 + 6. Solve z + 3 = 3*v for v.
3
Let m be 1*(1 - 3/3). Let n(w) = -2*w + 2. Let u be n(-4). Suppose 2*k - 25 = 5*h, 4*h + 20 = -3844*k + 3848*k. Solve k*x + 2*x - u = m for x.
5
Let t(h) = 2*h - 60. Let f be -12 - -40 - (-8)/(2/1). Let i be t(f). Solve -s = 1 - i for s.
3
Let w = -9956 + 10000. Solve 404 = 45*r + w for r.
8
Let o(n) = -n**2 - 50*n - 141. Let j be o(-47). Suppose 5*x + 14 - 29 = 0. Solve 3*g + 0 - x = j for g.
1
Let b = -11140 - -11142. Let m(l) = l**2 - l - 8. Let g be m(-4). Solve -j - g = b*j for j.
-4
Let o = 4171 + -4149. Solve -42*a - 148 = -o for a.
-3
Let z = -2 - -7. Let j = 147 - 140. Suppose 16*s - 15 = -3*p + 15*s, j = 4*p - 3*s. Solve z*n + 2 = p*n for n.
-2
Suppose -3*o + 3*q - 1 = -25, 3*o - 5*q = 30. Let c be 10/(-5) + (-4)/(-2). Suppose -o*s - s = c. Solve 7*l - 3*l = s for l.
0
Let k(q) = 92*q + 1753. Let r be k(-19). Solve 2*t - 9 = r*t for t.
-3
Let u = -5032 - -5043. Solve 12 - 34 = u*b for b.
-2
Suppose -6*p + 25 = -7*p. Let s = -25 - p. Suppose 4*r + s = 8. Solve 3*m + r + 1 = 0 for m.
-1
Let a be (-28)/14 + (7 - 0/(-2)). Let g be (-8)/(-2*(-3 + a)). Solve 1 = g*c + 11 for c.
-5
Let y(c) = 23*c + 721. Let o be y(-29). Solve 24*r = 15*r - o for r.
-6
Suppose 4*m = -14*m - 72. Let a be ((-2)/m)/(-5 - (-402)/80). Solve -2*s + a = 2*s for s.
5
Let l(s) be the third derivative of -14/3*s**3 - 7*s**2 + 1/120*s**6 + 0 + 1/4*s**5 - 1/12*s**4 + 0*s. Let o be l(-15). Solve t = -o*t + 15 for t.
5
Let z = -18 + 21. Let y = -26 + 28. Suppose -4*b - y*h = -10, 4*b - 8*b + 7 = 5*h. Solve -b*w + z = -2*w for w.
3
Let p = -4930 - -4958. Solve -p + 8 = -5*n for n.
4
Suppose 10*r + 122 = 862 + 140. Solve 0 = -97*y + r*y - 72 for y.
-8
Suppose 5*l = 24 + 21. Suppose l*m + 82 = 388. Suppose -m*n = -26*n - 64. Solve 3*q + n = q for q.
-4
Let v(s) = -2*s**3 + 3*s + 88. Let h be v(0). Suppose 4*w - 115 + 41 = 3*m, 0 = -4*w - 4*m + h. Solve w = -p + 5*p for p.
5
Suppose 32 = 14*n + 2*n. Let p be (n/(-4))/(-7 - (-216)/32). Solve -p*q + 40 = -12*q for q.
-4
Suppose f = 36*u - 32*u + 10, 2*f = 5*u + 17. Solve 14*s = 8*s - f for s.
-1
Let i(y) = y + 16. Let x be i(-11). Suppose x*c - 3*w = 56, 2*w =