h = 0 for g.
4
Suppose 0 = -5*u + 25, -4*w + 10 = 2*u - 16. Suppose 0 = 2*j - w*j + 4*x - 254, 3*j = -4*x - 331. Let a be 94/18 + 26/j. Solve -10 + 5 = -a*l for l.
1
Suppose 135*i - 7444 = 1601. Solve 25*y - 58 = i for y.
5
Let n be 2 + (-24)/4 - -7. Suppose p - 4*t = 37, -n*p - 2*t + 79 = -4. Let h = 34 - p. Solve -u + h = 6 for u.
-1
Let n be 51/136 + 45/10*(-35)/(-60). Solve c - n = -9 for c.
-6
Let n(p) be the third derivative of p**6/30 - p**5/20 + p**4/8 - p**3/6 - 4*p**2 - 316*p. Let k be 0 + 0 + 1 + 0. Let v be n(k). Solve 0 = q + v*q for q.
0
Suppose -102 = -76*r + 73*r - 3*k, -182 = -5*r + k. Solve 55*f = r*f for f.
0
Let p = -31 + 31. Suppose p = -14*c + 21*c - 63. Solve 0 = -5*o + 2*o - c for o.
-3
Let f be (85/10)/(4/8). Suppose -f*v = 63 + 90. Let h be 5/(60/(-16))*v/4. Solve -21 = -h*a - 9 for a.
4
Let n(i) = 3*i**2 - 27*i + 62. Let z be n(7). Solve -36*t - z = -41*t for t.
4
Let i = 18 - 6. Let y be i/(-66) + (-39)/(-33). Let l(n) = 11*n - 8. Let t be l(y). Solve 15 = t*d - 0 for d.
5
Suppose 7*w + w + 2302 = 2422. Solve -45 - 30 = -w*q for q.
5
Let z = 20820 + -20812. Solve -145*r - z = -141*r for r.
-2
Let y(n) = 3*n**2 + 54*n + 13. Let t(w) = w**2 + 27*w + 6. Let r(l) = 9*t(l) - 4*y(l). Let k be r(9). Solve -1 = -3*j + k for j.
1
Suppose c = -5*m + 22, -3*m = -4*c - 29 + 25. Solve -c*p - 13*p = 60 for p.
-4
Let g be -172 - -164 - (-54)/((-4)/(-2)). Solve -4*v = g*v - 23 for v.
1
Let o be (-4)/6 + (-22)/(-6). Suppose -o*u - 15 = -6*u. Suppose -u*p = -3*p - 10. Solve -3*t = -4 - p for t.
3
Suppose 2*g + 2*y - 45 + 11 = 0, -3*g = 2*y - 55. Suppose -14 = -7*s + g. Solve -s*q + q - 4 = 0 for q.
-1
Let t be (-88)/(-6) - (-144)/(-54). Solve -70 - 14 = -t*m for m.
7
Let i be 92/28 - (-12)/(-42). Suppose -o + i*o = -26. Let a = 18 + o. Solve w = a*w + 4 for w.
-1
Suppose -16*z + 19*z = 0. Let x = 7 - z. Suppose -4*y + x = 3. Solve 5*c + 4 + y = 0 for c.
-1
Let n(i) = i**3 - 8*i**2 + 27*i - 84. Let f be n(6). Solve -f*d = -13 + 1 for d.
2
Suppose 0*i + 2*k - 17 = -5*i, 2*k = 5*i - 13. Suppose -2*o + 6 = -2*h, -i*h + 7 = 4. Solve o*t = t - 15 for t.
-5
Suppose 0 = -4*z - 2*h + 2, -3*z + z = 3*h + 5. Let q be (-64)/(-10) + 36/(-90). Suppose -22*d = -q*d - 32. Solve -d = -y + z for y.
4
Suppose l + 5 = 1. Let b = -2 - l. Suppose -20*n + 78240 - 78240 = 0. Solve n = z + 3 + b for z.
-5
Let w = 5 + -3. Let n be (-1)/1 + 1 + w. Let f be (-12)/8*17/((-408)/32). Solve -f*p + 8 = n for p.
3
Suppose 0 = -4*l + 13 + 7. Let q = 37 - 38. Let m be (l/(-15))/(q/3). Solve m = 3*o + 16 for o.
-5
Let x(p) = p**3 - 188*p**2 + 576*p + 1. Let r be x(3). Solve 64 = -80*t + r for t.
0
Let n be (-5)/5 + 7*(-7)/(-7). Suppose -2 = -5*f + 3. Solve 0 = -m + f - n for m.
-5
Let t(h) = -3*h + 88. Let a = 169 + -145. Let x be t(a). Solve x - 12 = -4*n for n.
-1
Let w be (-2 - -2 - -1) + 50. Suppose -17*v = -414 - 504. Suppose -18 = -v*z + w*z. Solve -i = i + z for i.
-3
Let r = -91 - -96. Let p(q) be the first derivative of -q**4/4 + 4*q**3/3 + 4*q**2 - 9*q + 4. Let k be p(r). Solve k*j = 2*j for j.
0
Let t(m) = m**2 - 8*m - 8. Let o be t(12). Suppose -4*u + 55*r = 53*r - 48, 7*u + 3*r - 45 = 0. Solve o = -s + u*s for s.
5
Let t(s) = 4*s + 5. Let k be t(5). Let h = 30 - 29. Let p(v) = 8*v**3 - v**2. Let c be p(h). Solve 2*j = c*j - k for j.
5
Let z(o) = 2*o**2 - o - 2. Let d be z(2). Suppose -10*n = -12*n - 4*c + 10, n = 4*c - 1. Solve -d - 2 = n*l for l.
-2
Let c be (-1 - (-2 - 1)) + 6. Let s(a) = -a**2 + 5*a - 1. Let m be (3/(-2))/(4/(-8)). Let v be s(m). Solve c = v*k - 2 for k.
2
Suppose 5*d - 26 = 5*y + 14, 3*y = 5*d - 36. Suppose 2*c = -d, v - 5*c = 4*v + 9. Solve -v*q + 6 = 4*q for q.
1
Let s = 5101 + -5040. Solve 7*y = -54*y + s for y.
1
Suppose -52*s = 60*s - 1601 - 527. Solve 7*t - s*t - 48 = 0 for t.
-4
Let h be 2453/14 - (-147)/(-686). Solve 0 = -173*y + h*y + 10 for y.
-5
Let p(t) = -t**2 + 24*t - 89. Let x be p(19). Suppose 88*w = 89*w - x. Solve 0 = w*b + 6 + 6 for b.
-2
Suppose -20 = 5*w + n + 15, -4*w = -4*n + 4. Let y be (-6)/2 + 17 - w. Solve 5*t = t + y for t.
5
Let m be (-6)/(-2)*(-112)/(-6). Suppose 20*f = 4*f - 848. Let r = f + m. Solve -20 = r*k - 5 for k.
-5
Let w = -1635 + 854. Let t = -761 - w. Solve 0 = 9*f - 13*f - t for f.
-5
Let x(r) = -r**2 + 10*r + 90. Let b be x(14). Solve -2 = 9*h + b for h.
-4
Let w be (-5 - (60/66 - 7))*(-33)/(-6). Solve 4*r - 70 = -w*r for r.
7
Let z be 98/21 + 4/(-6). Suppose 7*o - 2 - 5 = 0. Suppose 4*a + o = 61. Solve z*u + a = -u for u.
-3
Let j(n) = 8*n**2 - n**2 + 4*n + 5 - 6*n**2. Let t be j(-3). Suppose 2*v + 5 = -3*l, 3*v + 2*l = -t*l - 6. Solve v*r - 8 = -2 for r.
3
Let c(h) = 10*h - 253. Let q be c(27). Solve -q*y - 10*y = -162 for y.
6
Let h be (-91260)/(-6480) - (-2)/(-24). Solve -h*f - 36 = -2*f for f.
-3
Suppose 2*u = -v, -90*v + 11 = -86*v - 3*u. Suppose -2*c + 8 = -q, -v*c + 4 = -c - 2*q. Solve 3*l - c - 5 = 0 for l.
3
Let t = 2323 - 2305. Solve 0 = -t*s + 11*s + 28 for s.
4
Suppose 0 = 4*p + 4*r - 80, 6*r = 2*p + 3*r - 55. Let b be (-34 + 2/2)*(-7)/(-21). Let v(f) = 5*f + 60. Let n be v(b). Solve n*w = 8 - p for w.
-3
Let c(f) = -60*f + 3865. Let a be c(58). Solve 101*o - 120 - a = 0 for o.
5
Suppose 0 = 3*g + 1 + 266. Let x = g + 85. Let p(m) = 2*m**2 + 6*m - 6. Let q be p(x). Solve 0 = q*j + 4 - 10 for j.
3
Let r = 261 - -85. Let q = 351 - r. Solve 2 = -q*u + 17 for u.
3
Suppose 104*w - 144*w = -800. Solve 0 = -w*d + 24*d + 24 for d.
-6
Suppose 644 = 5*x - 61. Let u = x - 139. Solve -n - u = -5 for n.
3
Suppose 0 = c - 5*d - 28, -3*c + 6*c + 4*d = 8. Suppose -c = 4*w, -3*k + 3*w + 53 - 8 = 0. Solve 3*s - 1 = -k for s.
-4
Let o be -2 + (0 - -9) - 2. Suppose 4*x - i = 12, i - 6*i + 24 = x. Suppose x*r - p - 11 = 10, -5*r = p - 24. Solve r*d = o + 5 for d.
2
Suppose 3*g + 2732 = 2852. Solve 0 = 3*a + 40 - g for a.
0
Suppose 5*o + 4*n - 8 = 0, 7 = -4*o + 4*n + 35. Let t = -4 - -13. Let k = t - 7. Solve -k - o = -3*q for q.
2
Suppose 52*z - 51*z - 14 = c, 0 = -z + 2*c + 9. Solve 0 = -z*b + 8*b + 44 for b.
4
Let s(z) = z**2 - 28. Let f be s(6). Let g(k) = 619*k**2 - 635*k**2 + 2*k**3 - 4 + 12. Let o be g(f). Solve o*j + 6 = 11*j for j.
2
Let a(n) = -2*n - 21. Let v be a(4). Let f be (-49)/(-4) + v/116. Solve f = -2*z + 22 for z.
5
Let h(x) = -4*x + 2 + 5 - 1 + 1. Let g be h(19). Let s = 75 + g. Solve m + m = s for m.
3
Suppose -5*q = 47 + 38. Let c = -13 - q. Let u = -458 + 458. Solve c*n + u = 4 for n.
1
Suppose -20*t + t = 21*t. Solve t = 12*n - 6*n - 6 for n.
1
Let t(w) be the first derivative of 2*w**3/3 - 5*w**2 + 2*w + 299. Let k be (2/(-3))/((-6)/45). Let y be t(k). Solve -10 - y = 3*h for h.
-4
Suppose 309*b = 322*b - 1885. Solve -14*c = 15*c - b for c.
5
Let k be 0/((-24)/(-16)*32/12). Solve 11*i - 6*i + 25 = k for i.
-5
Suppose 2*y - 5*i - 14 = 0, -2*y - 6*i + i = 6. Let v = -2 + 15. Suppose 3*m = -10*m + v. Solve 0 = -k - y + m for k.
-1
Let p be (360/(-10))/(4/(8/(-3))). Suppose 27*y - 29*y = -p. Suppose 40 = -3*g + 6*g - 5*x, g = x + y. Solve 0*s = 5*s + g for s.
-2
Let r(d) = 9*d**2 - 73*d + 149. Let q be r(2). Solve 44*l - q*l = 5 for l.
1
Let j(q) = -q - 4. Suppose 2*d - 28 = 3*k - 2*d, 4 = -k + 4*d. Let h be j(k). Let g be (-3)/8 - (-59)/h. Solve -4*b - 5 = g for b.
-3
Let l(p) = -p**2 + 31*p - 74. Let j be l(3). Solve 40*y - 30 = j for y.
1
Let x(f) = 104*f - 23. Let c be x(6). Let z = -516 + c. Solve -z*l + 80*l = -5 for l.
1
Suppose 2*i = 17 - 1. Suppose 0 = i*c - c. Solve c = 2*g + 2*g for g.
0
Let f be 30/(-12)*6/(-5). Let z(k) = 2*k - 8. Suppose 4*y + 30 = 5*v, y - 3 - 32 = -3*v. Let a be z(v). Solve 0*b = f*b + a for b.
-4
Let m be ((-14)/(-4) + -4)*-14. Let t(p) = 10*p + 2 - m*p + 38 - 5. Let u be t(-9). Solve -4 = 3*l + u for l.
-4
Suppose -7*t + 862 = 309. Let r = -48 - -129. Let j = r - t. Solve -4*p + 22 - j = 0 for p.
5
Let w = 2322 + -1444. Solve 0 = -79*l - 167 + w for l.
9
Let n(p) = 29*p**2 + 1291*p - 190. Let d be n(-45). Solve -28*u = 27*u + d for u.
-8
Let f be (-4 - (-76)/16)/(1/8). Solve f*h + 42 = 20*h for h.
3
Suppose -34628 = -757*p - 13432. Solve p = 38*m - 34*m for m.
7
Suppose -11*f - 283 + 2373 = 0. Suppose 22*r - 162 = f. Solve -14*c + 10 = -r*c for c.
-5
Let z = 4 - 2. Let s(a) = a**2 + 559*a + 2. Let w be s(0). Solve -z*q = -8 + w for q.
3
Supp