
Let a = 285 - 288. Let b be (212/(-159))/(2/a). Solve 5 - 3 = b*h for h.
1
Let h = 921 - 649. Suppose 0 = 278*j - h*j - 12. Solve -3 = -l + j for l.
5
Let s = 5651 - 5569. Solve 0 = -65*z - s*z + 137*z for z.
0
Suppose -13*d + 10*d = 2*f - 9, 5*f + 2*d - 6 = 0. Let w(l) = -2*l**3 - l**2 - l + 5. Let z be w(f). Solve -z + 7 = -2*a for a.
-1
Let w(g) = 9*g**2 - 4*g + 10. Let a(j) = -j - 3. Let r be a(-6). Let n be w(r). Let v = n - 44. Solve 4*f - 15 = -v for f.
-5
Let n(g) = -48*g + 3165. Let q be n(65). Solve q = 29*l + 219 for l.
-6
Let n = -109 + 100. Let u be (26/n)/13*1*-9. Solve 2 = -u*m - 6 for m.
-4
Let c(w) = -4*w**2 + 23*w + 36. Let x(m) = -3*m**2 + 21*m + 35. Let t(s) = -4*c(s) + 5*x(s). Let v be t(-11). Solve -2*h = -1 + v for h.
-4
Let s = -355 - -375. Suppose 52 = 4*n - s. Solve -6 + n = -3*k for k.
-4
Suppose 2*o - 51 = 24*c - 25*c, 0 = -4*o + 3*c + 117. Solve -591*h = -600*h + o for h.
3
Let c be (169785/(-22))/21*8/(-6). Let d = 502 - c. Solve 0*i = -3*i + d for i.
4
Let b = 1944 - 1669. Solve -b = -29*u - 217 for u.
2
Let c = -5141 + 5144. Solve -c*s - 5 = 2*s for s.
-1
Let j(h) = h**2 + 3*h - 18. Let o be (-6)/(-10) - ((-38)/(-5) - 1). Let x be j(o). Suppose 0*r + 16 = 4*r + 4*k, -2*r + 4*k = -2. Solve x = 5*i - r*i + 8 for i.
-4
Suppose 0 = -2*n, -3*n - 549 = -3*a + n. Suppose 5*o = a - 43. Suppose -2*w + 3*t + o = 11, -t = -3*w + 36. Solve -w + 5 = 4*x for x.
-2
Suppose 5*k + 4 = -c - 7, -3*k - 57 = -3*c. Suppose -c*j + 63 = -7. Solve -2*b - j = 1 for b.
-3
Let d = 3753 + -3733. Solve 32*j = 37*j - d for j.
4
Let d(i) = -2*i**2 + 34*i - 32. Let o be d(16). Suppose o = -f + 4, 4*k + 12*f - 7*f - 44 = 0. Solve -7*l + k*l = 0 for l.
0
Suppose -5*u = j - 58 + 50, 4*j = -8. Suppose -12 = -4*s, u*t - 21 = -6*s + s. Solve -4*c - t = 13 for c.
-4
Let t = 468 - 425. Suppose t*n = 29*n + 266. Solve 0 = -23*r + n*r - 12 for r.
-3
Let t be (4/10*8 + -2)*5. Suppose -4*h = -3*i + t, -5*h + 1 = -4*i + 9. Solve -4*m + m - 12 = h for m.
-4
Let s = 15379 + -15268. Solve -66 = s*q - 100*q for q.
-6
Suppose 2*s - 5*q = 349, -1730*q - 3 = -1729*q. Solve 14 = -s*z + 169*z for z.
7
Let c(m) be the third derivative of -m**5/60 + 5*m**4/24 + m**2. Let l be 138/26 + (-344)/1118. Let p be c(l). Solve 0 = -p*v + 4*v + 20 for v.
-5
Suppose -125 + 67 = -2*m + f, 3*m - 3*f = 87. Solve -19*r + m*r = 15*r for r.
0
Let o be (616/(-112))/(1/(-20)). Solve 3*v = o - 95 for v.
5
Let d be (128/4)/(-4) + (17 - -8). Solve 43*i + 60 = d for i.
-1
Let u = 37135 - 36719. Solve 428*b - u*b = -72 for b.
-6
Let y = 2 - -1. Suppose -64*j + 14 - 57 = -171. Solve -j*a = -a + y for a.
-3
Let f(u) = -58*u + 9. Let q be f(4). Let k = q - -227. Solve 0 = -9*a + 5*a - k for a.
-1
Suppose f = -k + 8, -k + 66 = 62. Solve -6 = -6*y + f*y for y.
3
Let r = 125 + -66. Solve -63*i - 4 = r for i.
-1
Suppose -16*t - 2258 = 686. Let z = t + 216. Solve 0 = -2*n - 36 + z for n.
-2
Suppose k + 15 = -25. Let f be 1/(5/975*-5) - 7. Let i = k - f. Solve p - i*p - 5 = 0 for p.
-1
Let s = 3779 + -3778. Solve -41 = 8*f - s for f.
-5
Let g(l) = l**3 + 29*l**2 - 41*l + 13. Let d be g(1). Solve 0 = d*y + 33 - 39 for y.
3
Let m be 2*4*1/2. Let o(b) = b**2 - 22*b. Let r be (-102)/(-6) - -5*1. Let q be o(r). Solve 0 = -m*c - q*c + 4 for c.
1
Suppose 2*c + g + 1068 = 0, 1444 + 159 = -3*c - g. Let u = -528 - c. Solve u*t + 12 = 5 for t.
-1
Let s be 21/9 - 2/(-3). Suppose -2*f - 3 = -9 + 2. Solve o = s*o + f for o.
-1
Suppose -6969*k = -6974*k + 75. Solve 7*d - 9*d = k*d for d.
0
Let b be (-173)/(-7) - 3 - (-124)/434. Solve b*g + 16 = 18*g for g.
-4
Suppose -3*o + 10 = -o. Suppose -o*t + 0*t = 0. Let y(b) = -4*b**2 - 84*b + 6. Let d be y(-21). Solve s + d - 8 = t for s.
2
Let p(f) = -8*f - 19. Let b be p(-3). Suppose 5 = 3*o - 2*k, 1 = -o - b*k + 7*k. Solve -o*d - 2 = -5*d for d.
1
Let u be 218/22 - (-1210)/(-1331). Let x be (-2)/((-2)/(-3))*-1. Let n = x - 0. Solve 0*h + u = -n*h for h.
-3
Suppose 0 = -y - u + 7 - 1, u + 12 = 5*y. Suppose 5*k = -4*m + 56 + 28, -3*k + y*m = -72. Solve -9*v + 5*v = k for v.
-5
Let f(o) = 2*o**2 + 8*o + 9. Let m be f(-3). Let g(b) = -b**2 + 3*b + 6. Let k be g(m). Solve -5*v = -8*v + k for v.
2
Suppose 95 - 112 = -j. Solve 8*m - 25 = -j for m.
1
Let h be (-4 + (-654)/(-18) + 7)*(2 - -1). Solve -31*l + h = -68 for l.
6
Suppose -252 = 38*i - 52*i. Solve -5*w - i = -23 for w.
1
Let h = 6051 - 2868. Solve -h*a + 12 = -3185*a for a.
-6
Let v be (816/32 + -25)/(1/22). Solve -6*d + v + 1 = 0 for d.
2
Let c be (-33)/165 + (-22)/(-10) - 6. Let a be c - (4 + -1 + -9). Solve 0 = -a*s + 10 - 0 for s.
5
Suppose -7*a = -4*a - 6. Let j be (48/(-28))/(6/(-21)). Suppose -8*f + j = -7*f. Solve -a = -v - f for v.
-4
Suppose 76 = x + w, -4*w - w - 5 = 0. Let o(q) = -18*q**2 + 132*q + 29. Let t be o(7). Solve -t + x = 2*f for f.
3
Let k = 8737 + -8734. Solve -158*q + 159*q + k = 0 for q.
-3
Let j(i) = -3*i**2 - i + 9. Let k(w) = w. Let m(z) = -j(z) - k(z). Let c be m(-2). Solve -c*d - 104 + 95 = 0 for d.
-3
Suppose 254 = -7*i + 240. Let q be 22/(-110) + 153/15 + i. Solve q*y + 1 = 7*y for y.
-1
Let t(c) = -c**3 + 6*c**2 - 9*c + 5. Suppose -w = 2*v + 3*v - 22, 4*w - 12 = -v. Let d be t(v). Solve -3*m = -2*m + d for m.
-1
Let n(c) = c**3 + 32*c**2 - 3*c + 54. Let a be n(-32). Let v = 159 - a. Solve 10*g - 7*g - v = 0 for g.
3
Suppose 0 = -4*s - 4, 4*s = 4*v - 3*v - 106. Let q = 97 - v. Let g be 10/((-13)/q - (-15)/(-25)). Solve 4*x = -g - 3 for x.
-2
Suppose -173*x + 1460 + 270 = 0. Solve 12*y - x - 2 = 0 for y.
1
Suppose l - 112 = -3*l + 4*i, 0 = -5*l - 3*i + 124. Suppose 12*o = -32*o + 528. Suppose 30*y = l*y + o. Solve -4*c = -c - y for c.
1
Suppose -m + 7 = 2*q - 3*q, -2*m - 5*q = 7. Let w(s) = -s**2 - 5*s + 4. Let k be w(-5). Let p = -130 + 133. Solve p*i = k*i + m for i.
-4
Let l = 16756 + -16712. Solve -l*m - 27 = -17*m for m.
-1
Let t(f) = -2*f**2 + 4*f + 8. Let o(r) = r + 16. Let q be o(-12). Let h be t(q). Let x be (-22)/(-33) - h/6. Solve x*j = j - 5 for j.
-5
Let s(g) = g**2 + 6*g - 125. Let r be s(11). Solve 4 = -r*a + 60*a for a.
-2
Let l = -58 - -60. Suppose -l*v - z = 0, v - 15 = 4*z + 3. Suppose -5*m = 2*q - 22, -5*q + 1 = m - v*m. Solve s = -s - m for s.
-2
Let r(k) = 60*k. Let a(d) = 5*d. Let h(w) = -35*a(w) + 3*r(w). Let y be h(6). Suppose 34*u - y*u = 4. Solve 4 = -5*n - u for n.
-1
Suppose -9*w = 82 - 469. Let l be (-15)/(-55) + (-3059)/(-77). Solve -w*q + l*q = 15 for q.
-5
Suppose -k + o + 278 = 0, -172*o + 168*o = k - 293. Solve -13*u + k = 333 for u.
-4
Suppose 295 - 25 = 10*q. Suppose q*i - 26 - 28 = 0. Let d = -3 + 4. Solve -3 = -i*h - d for h.
1
Suppose 555*n = 570*n. Solve n = 19*q + 26 - 64 for q.
2
Suppose -b = -10*b + 180. Let h(x) = 183*x - 2379. Let z be h(13). Solve z = -4*d - d - b for d.
-4
Let g(z) = 502*z - 1473. Let b be g(3). Solve 12 - b = 7*m for m.
-3
Let r = 87 + -49. Suppose r = 3*x - 5*v, -4*v - 37 = -4*x + x. Solve 3*w + 2 = x for w.
3
Suppose -19 = -5*r - 4. Let w = -29 + 29. Suppose w = 2*a + 2*k + 10, -4 = 2*a - 3*k - 19. Solve a*y = r*y for y.
0
Suppose 78 = 3*g + 3*s, -5*s = 5*g - 3*s - 130. Solve 0 = -g*n - 32 + 136 for n.
4
Let o = -137 - -157. Suppose 0 = -r - 12 + o. Solve 2 = -3*b + r for b.
2
Suppose -5*a + 28 = -4*r - 90, -3*r = a - 16. Solve 0 = a*k - 19 + 63 for k.
-2
Let r(y) be the first derivative of y**5/60 + y**4/2 - 14*y**3 - 25. Let b(i) be the third derivative of r(i). Let h be b(-2). Solve -2*q + h = -4*q for q.
-4
Suppose 67 + 3 = 2*s. Suppose s - 3 = 8*p. Let f be 6/p*((-5)/(-3) - -1). Solve 4*g + 8 + f = 0 for g.
-3
Suppose -11796*q + 11786*q = 0. Solve -14*u - 8 - 6 = q for u.
-1
Suppose 158 = 2*p - v - 164, v + 2946 = 18*p. Solve 12*y = p - 128 for y.
3
Suppose -3*z = -5*q + 899, -6*q + 4*q + 354 = -4*z. Solve -q*w + 184*w - 21 = 0 for w.
7
Let h(y) = 28*y + 82*y**2 - 43*y**2 + 80 - 38*y**2. Let q be h(-25). Solve -j = -2*j - q for j.
-5
Let n(y) = 10*y + 196. Let g be n(-20). Let x(z) = -5*z + 1 - 3 - 4*z + 8*z. Let q be x(g). Solve -3*d = q + 1 for d.
-1
Let v be -4 + 1 + 3 + 4. Suppose -56 = -v*c - 4*p, p = -2 + 6. Solve -10*d + c = -5*d for d.
2
Let s(k) = -10*k**3 - 8*k**2 + k**3 - 36*k + 10*k**3 + 23*k**2 - 19. Let r be s(-17). Suppose 0*o - r = -3*o, -5*j + 4*o + 50 = 0. Solve -4 + j = 2*q for q.
5
Let d(f) 