-16)/f). Solve n = 3*p - p for p.
2
Let t be (-2)/(-13) - 1197/(-247). Suppose 0 = t*f + 4*s + 60, 0 = -2*f + f - 5*s - 33. Let r be 1/f - 18/(-16). Solve 3*y + 11 = -r for y.
-4
Suppose 3*a - 5*y - 176 = 0, 27 - 128 = -2*a + y. Solve -33*s = -a - 19 for s.
2
Let t be (6/(-7))/((-10)/(-420)). Let f = t - -39. Let q(n) = 2*n - 4. Let j be q(7). Solve f*a = 8*a + j for a.
-2
Suppose 2*h - 2*j - 14 = 0, -2*h + 0 - 1 = 3*j. Suppose -51*r = -56*r. Solve 20 = -h*x - r for x.
-5
Suppose 357*f = 334*f. Solve f - 24 = 4*j for j.
-6
Suppose 0 = c + 2, 0 = 2*m - 4*c + 80 - 98. Let r(q) = 3*q - 3. Let v be r(2). Solve m*g - v = 2 for g.
1
Let r be (-25 - 4994/(-66))*3/4. Solve 7*d - r - 4 = 0 for d.
6
Suppose 0 = s - 21 + 5. Suppose -2*p + 78 = 11*p. Suppose 0 = -2*b - z + 7, -p*b - 5*z = -11*b + 40. Solve -9*t + b*t = s for t.
-4
Suppose 3*o + 10 = 4*f + 5*o, -f - o = -3. Suppose -6*c = -252 + 192. Solve c = -f*n + 4 for n.
-3
Let t(g) = 845*g**3 - 3*g**2 + 3*g - 2. Let n be t(1). Let m = -823 + n. Solve m = 7*d - 11*d for d.
-5
Suppose i - 3 = -b - b, -i = -4*b + 3. Let v be i + -2*12/(-8) + 4. Solve 11*g - 6 = v*g for g.
2
Suppose -2*b + 41 = -2*q - 53, 4*q - 64 = -2*b. Suppose 4*c = -5*r + 63, 2*r + 2*c - 6*c - b = 0. Solve 0 = 2*f + f - r for f.
5
Let f(h) = 2*h**2 - 3*h + 58. Let n be f(-8). Let l = n + -206. Solve x + l*x + 20 = 0 for x.
-4
Let p be (0/(2/1))/(-1 + 3). Suppose 4*w - 10*w = p. Suppose 0 = 3*f - 3 - w. Solve -4*k + f - 5 = 0 for k.
-1
Let s = 5456 + -5441. Solve 0 = -s*h - 35 - 40 for h.
-5
Let w = -1244 + 1256. Let x be 4*1107/396 + 4/(-22). Solve -x*q - w = -8*q for q.
-4
Let p be 7 - (0 - (5 + 15)). Suppose 3*y + 63 = 4*o, -o = 9*y - 6*y - p. Solve -14*v + 8*v + o = 0 for v.
3
Let m(k) = k**2 - 55*k - 362. Let f be m(61). Let t = -7 + 13. Let a = 6 - t. Solve a = -o + f - 6 for o.
-2
Suppose 0 = -4*x - 21 + 5. Let p be (-11)/x - 4/(-16). Suppose 9*y + u + 21 = 13*y, -y + u = -9. Solve -5*r = -p*r - y for r.
2
Let z(l) = 80*l - 281. Let o be z(4). Solve -26*j - 65 - o = 0 for j.
-4
Let j(w) = -w**2 + 80*w - 1383. Let u be j(50). Solve -u*q + 182 = -26*q for q.
2
Let b(h) = -h**2 - 28*h + 43. Let t be b(-18). Suppose 212*m + 154 = t*m. Solve 7*y - 21 = m for y.
5
Suppose -304 = -170*i + 162*i. Let h = i + -36. Let l(t) = -t**3 - 3*t**2 + 3*t. Let m be l(-4). Solve 0*g + h*g = m for g.
2
Let o = 2413 - 2389. Solve 20*m + o*m + 308 = 0 for m.
-7
Let b(k) = 179 - 8*k - 396 + 163 + k. Let z be b(-8). Solve c + z*c - 6 = 0 for c.
2
Let w(h) = -5*h**2 - 1228*h + 617*h + 3*h**3 + 611*h - 2*h**3. Let n be w(5). Solve n = 3*o - 9 + 15 for o.
-2
Suppose n = 0, -3*c - n + 27 = 20 - 11. Solve -27 - 15 = c*l for l.
-7
Suppose 9*j - 3783 = v, -v - 1683 = -2*j - 2*j. Solve -j*g - 21 = -417*g for g.
-7
Suppose -24*r = -32*r. Let a(u) = -u - 5. Let w be a(-10). Suppose -11*p + 40 + 26 = 0. Solve -p*m + m - w = r for m.
-1
Let u = 63 + -58. Suppose 24*h + 15 = 27*h + u*g, 5*g = -h + 5. Solve 0 = -s - h*s for s.
0
Let q(p) = -p**2 - 12*p + 5. Let x be q(-12). Suppose x*c + 36 + 14 = z, -4*z - 2*c = -90. Solve z = u + 26 for u.
-1
Let i = 15376 + -15318. Solve 26*b + 6 = i for b.
2
Let g be (9*-118)/6 - (-4 - -9). Let s = -164 - g. Solve s - 22 = z for z.
-4
Let u(q) = 20*q - 26. Let k be u(2). Suppose -36 = -10*y + k. Solve 15*n - 16*n = y for n.
-5
Let z(g) be the second derivative of 2*g**4 + g**3/6 + g**2/2 - 27*g. Let j be z(-1). Let b = j + -17. Solve b = -y + 10 for y.
3
Suppose -4*r + 6*r - 3*h + 9 = 0, -h = 4*r - 3. Let x(c) = -c**3 + c**2 - 3*c + 10. Let o be x(r). Solve -6*a - o = 20 for a.
-5
Suppose 0 = -6*n + 30, -5*n - 307 = -s - 284. Solve 30*d + s = 6*d for d.
-2
Let z(f) = 2*f**2 - 4*f - 11. Let k be z(5). Suppose 2*w = 3*w + v - 6, -k = w - 4*v. Solve -2*n + w = -n for n.
1
Let x = -158677 + 158682. Suppose -u + 0 = -2. Let r be u + 2 - (-2)/1. Solve -2*y + x*y = -r for y.
-2
Suppose 89 = -5*d + g, 2*d - 164 + 214 = 4*g. Let y(l) be the first derivative of -l**2 - 32*l + 1. Let k be y(d). Solve -k*a + a - 4 = 0 for a.
-4
Let z be (-42 - -39)/(4*21/(-3920)). Solve -53 = 29*l - z for l.
3
Let y be (-3549)/(-455) + (-1)/(-5). Solve -5*q + y = -9*q for q.
-2
Let g(p) = 43 + 76*p - 74*p + 13. Let b be g(-5). Solve 5*l - 36 + b = 0 for l.
-2
Suppose d + 3 = -3*m, m = -0*d + 2*d - 8. Let y be (8246/171 - m/(-9)) + 2. Solve 4*s + y = 62 for s.
3
Let a(o) = -116*o**3 + 2*o**2 + 3*o + 2. Let x be a(-1). Suppose -x = 7*r - 33. Let q be 0 + r/(-10)*(-35)/(-14). Solve 2*j + 2 = q*j for j.
2
Let h be (0 - 3/(-12)) + (3553/(-44))/(-17). Solve -14*p + h*p + 18 = 0 for p.
2
Suppose -4*s = -2*r - 6, -33 = -14*r + 13*r - 4*s. Solve 262 = -r*o + 334 for o.
8
Let q = 209 + -123. Let k = q - 83. Solve -l - k*l = -12 for l.
3
Suppose 3*z - 8*s - 5 = -6*s, s = z - 3. Let x be ((-1)/3)/(z/57). Suppose x + 89 = 9*m. Solve -m = 2*r + r for r.
-4
Suppose 3431 = 11*a - 1354. Let x = a - 431. Solve c - x = 1 for c.
5
Suppose 4*b - 2*m + 164 = 0, -14*m + 2 = -13*m. Let l = 46 + b. Solve l*g = 7*g for g.
0
Suppose 0 = -136*u + 134*u - 866. Let v = -406 - u. Solve d + 31 = v for d.
-4
Let p = 7214 + -7192. Solve 30*a = p*a - 16 for a.
-2
Let c(f) = -163*f + 1322. Let h be c(8). Solve 0 = r - h + 15 for r.
3
Let q(a) = 10*a**2 + 16*a - 18. Let j be -10 + 15 - (4*3)/3. Let y be q(j). Solve -12*v = -10*v - y for v.
4
Let m(k) = 294*k + 14. Let c be m(2). Let g = 606 - c. Solve -g*h + 5 - 25 = 0 for h.
-5
Let z = 69 + -51. Let y = z + -13. Suppose -y*a - 6 = -7*a. Solve -a*c = c for c.
0
Let s be (-2 - -22)*3/(-18)*-9. Let i be 4 + ((-8)/(-5) - s/50). Solve 3*a - i = 4 for a.
3
Let h(v) = v**3 - 18*v**2 - 21*v + 39. Let n(w) = 5*w**2 + 6*w + 11. Let c be n(-2). Let l be h(c). Solve l - 26 = -5*i for i.
5
Suppose 0 = 5*y + 3*y - y. Suppose -4*q + 11*q = y. Solve q = 5*p - 6*p for p.
0
Suppose 0 = 2*g + 4*t - 0*t - 12, -3*t = -5*g - 9. Solve 6*v - 904 + 886 = g for v.
3
Let u be (-137*(-18)/(-24) - -4)*208/(-130). Solve u - 148 = -5*w for w.
-2
Suppose 2060 = 21*w - 607. Suppose -60*f + w = -473. Solve -f*a + 4 = 34 for a.
-3
Suppose 4*v = -4*o + 6*v + 22, 3*v - 15 = 0. Suppose 5*l + y - 6 = 22, 0 = -4*l + y + 17. Suppose 0 = -2*m - 3*s + 11, 5 = m - 4*s + l*s. Solve o - m = c for c.
4
Let w = -37025 - -37054. Solve -w*s - 26 = -3*s for s.
-1
Let d = -3990 + 4002. Solve -52 = d*x + 8 for x.
-5
Let v = 91 + -176. Let d = v - -87. Solve 0 = d*l + 13 - 3 for l.
-5
Let o be ((-320)/(-24))/(14/21). Solve -35 + o = 3*b for b.
-5
Let o = 2 - -1. Let y = 83759 - 83755. Solve y*i + 1 = o*i for i.
-1
Suppose 203 = -2*x - 5*g, 4*g + 30 = -2*x - 174. Let l = x - -105. Suppose -h + u = 2 - l, 2*u = 2. Solve k - 4 + 0 = h for k.
4
Suppose -106*f = -25*f + 71*f - 62776. Solve -408*u + 30 = -f*u for u.
-6
Let m(n) = 5*n + 37. Let c be m(-7). Suppose 3*f - 2*a = 0, 4*f + 3*a = 19 - c. Suppose -4*p = t - 2, f*t = p - 1 + 5. Solve p*i - 6 = -3*i for i.
2
Suppose -28*z + 168 + 448 = 0. Solve z*s - 2*s + 180 = 0 for s.
-9
Let r = -15396 + 15428. Solve -12*l = -r + 56 for l.
-2
Suppose -9*h = -14*h - 30, 4*h + 24 = 3*i. Solve i = -76*l + 13*l - 126 for l.
-2
Suppose 944 - 648 = 37*t. Solve 26*x - t = 22*x for x.
2
Suppose 0 = -118*l - 90*l + 103168. Solve 0 = -61*b - b - l for b.
-8
Suppose 270*m = 271*m + 4*f - 12, 3*m - 5*f - 87 = 0. Solve 0 = 32*s - 24*s + m for s.
-3
Let r(m) = -m + 1. Let f = 34 - 31. Suppose f*w - w = -4. Let a be r(w). Solve 0 = -3*s + a for s.
1
Let k = 102 + 56. Let g = 161 - k. Solve -4*r = -g*r for r.
0
Suppose -37 = -3*v + 2*z - 4*z, -4*z + 52 = 4*v. Let t be 46/10 + v/((-275)/15). Solve -9 = t*g + 7 for g.
-4
Let w = -9631 - -9634. Solve -149 = w*z - 152 for z.
1
Suppose 21*x + 3*b = 18*x - 1023, 0 = 4*x + 3*b + 1362. Let w = x + 340. Solve -6*v - w = 23 for v.
-4
Suppose -8 = -6*u + 2*u. Let m be ((-9)/(-3))/(30/50)*1. Solve -m = u*g + 3 for g.
-4
Let y(n) = -n**2 + 4*n + 12. Let k be y(6). Suppose -8*a + 180 - 804 = k. Let q = a + 82. Solve q*j = -j for j.
0
Let z be 82 - 24 - (-5 - 4). Solve 162 = z*f + 564 for f.
-6
Suppose -4*d + 752 = u, -6*u = -4*u - d - 1495. Let k be -5 + u/8 - (-6)/(-12). Solve 0 = -5*n + k - 83 for n.
1
Suppose -22 - 34 = -14*b. Suppose 0 = j - 5*w - 30, b*j = 5*j - 3*w - 24. Solve 0 = -3*y - 0*y - j for y.
-5
Let u be (-1 + -6)/(-