*z - 60 = l for z.
4
Suppose -b + 0*b = 0. Let p(y) = y**2 + 3*y - 6. Let w be p(-5). Suppose b*t = -w*t + 12. Solve -t = -3*s - 0 for s.
1
Suppose 39 + 36 - 3 = 8*p. Solve 0 = -p*o - 11*o - 80 for o.
-4
Let v = 824 - 817. Let r(y) = -44*y + 314. Let i be r(v). Solve -i*a = 41 - 11 for a.
-5
Let v(b) = 3*b**2 - 149*b + 380. Let a be v(47). Solve -55 + 39 = a*h for h.
-4
Let s(f) = f + 18. Let o be s(-17). Let j be (-8)/(10/(-8) + o). Suppose 3*d - 5*v = j, -2*v + 5 = -2*d + 21. Solve -2*w + d*w = 2 for w.
1
Let x(h) = h**2 - 15*h + 8. Let c = 121 + -106. Let a be x(c). Let y be 60/8*a/10. Solve -d = -y + 7 for d.
-1
Let w(t) = -142*t - 985. Let j be w(-7). Solve 80 = j*f + 17 for f.
7
Let a(g) = g**3 - 7*g**2 + 5*g + 14. Suppose 5*o + 15 + 25 = 0. Let q be -10*4/o + 3 + -2. Let v be a(q). Solve -v = -3*b + 5*b for b.
-4
Let w(m) = -3*m**2 - 17*m - 29. Let j(x) = -1 + 4 + 11 + 11*x + 5 + 2*x**2. Let g(s) = -7*j(s) - 5*w(s). Let k be g(-2). Solve -h = -k*h for h.
0
Let b(w) = 19*w**3 - 33*w**3 - 3 + 5*w**2 - 7*w + 15*w**3. Let l be b(-6). Suppose -3*a + 51 = f + 2*f, l = f. Solve -a + 4 = 2*i for i.
-5
Let c(j) = -7*j**2 - 4*j - 2. Let n be c(-3). Let g = n + 69. Let y(h) = -2*h + 1. Let z be y(-4). Solve -13*m + z*m + g = 0 for m.
4
Suppose 0 = 3*f + 4*h - 267 + 135, -4*h + 168 = 4*f. Solve f - 365 = 47*c for c.
-7
Let i = 314 + -308. Suppose 11*x - 50 = -i. Solve c = -x*c + 25 for c.
5
Let o(i) = i - 5. Let w be o(3). Let m = 33 + w. Suppose 0 = 5*y - 41 + m. Solve -y = u + u for u.
-1
Let m = 399 + -263. Suppose m*s = 128*s + 40. Solve 1 = -s*v - 9 for v.
-2
Suppose m = 10 - 5, 4*s + 2*m - 78 = 0. Solve s*b = 19*b + 6 for b.
-3
Let v(z) = -4*z - 32. Let x be v(-9). Suppose -1 = -4*w + l, -5*w - x*l = 4 - 0. Let f be ((-1)/5 + 18/15)*w. Solve -3*t + 1 + 2 = f for t.
1
Suppose -q + 12 - 7 = 0. Suppose 2*p - 27 = -7*v, 12*p - 15*p + 21 = 4*v. Solve v*r - 2 = -q for r.
-1
Suppose 2 = -4*u + 6. Let g be 33/(-17) - 35/595. Let x be (20 - 20)*u/g. Solve -4*h - h + 20 = x for h.
4
Let n(d) = d + 8. Suppose 2*s + 14 = -2*s + 2*t, -16 = s + 2*t. Let v be n(s). Let a(c) = -c**2 - 5*c - 6. Let o be a(-2). Solve o = -3*w + v + 1 for w.
1
Let g be (3/(-2))/((-2)/52). Let w = -59 - -23. Let s = w + g. Solve -v - s = -4*v for v.
1
Let n(y) = y**2 + 15*y + 55. Let u(z) = -z**3 + 6*z**2 + 5*z + 9. Let w be u(7). Let i be n(w). Let r be (-5)/(-20) + (-14)/(-8). Solve 3 = r*o - i for o.
4
Let x = 3 - 3. Let v = x - -6. Let l(n) = n**2 - 10*n + 28. Let b be l(v). Solve -b*t - 17 - 3 = 0 for t.
-5
Suppose 52 = 4*p + 4*r, 7*p + 14 = 8*p + 2*r. Solve -36 - p = 12*m for m.
-4
Suppose -18*a + 40 = 4. Suppose -5*k = -5*g - a*k - 3, g - 5 = -5*k. Solve g = -5*r - 2 - 3 for r.
-1
Let r(q) = 5*q**2 - 195*q + 412. Let v be r(37). Solve 25*j = -v*j + 469 for j.
7
Let y = 206 + -176. Suppose -4*q - 5*f = -10*f + 9, 5*q + 2*f = y. Solve -1 = q*i - 3*i for i.
-1
Let q(u) = -70*u**3 - 3*u**2 - 11*u - 9. Let s be q(-1). Solve 52*w - 29*w = -s for w.
-3
Let c(t) = 0*t**2 + 5 + 2*t + 0*t**2 + t**3. Let s = -113 - -113. Let v be c(s). Solve -3*j + v + 4 = 0 for j.
3
Let b(n) = 5*n**2 + 3*n + 4. Let q be b(-1). Let d(v) = v**2 - 13*v + 42. Let o be d(q). Solve -s + 7 - 8 = o for s.
-1
Let d(f) = -f**3 + 6*f**2 + 11*f - 23. Let v be d(7). Let g be ((-49)/(-56))/(v/40). Solve -6*x - 1 = -g*x for x.
1
Let s be -1 + (-4)/6*36/(-8). Suppose 2*u = 4*n - 16, -2*n + 0*n + 14 = s*u. Solve 0 = 4*t + u*t - 18 for t.
3
Let o(c) = c**2 + 36*c + 101. Let k be o(-38). Let l = k + -174. Solve j - 5 = -l for j.
2
Suppose -115 = 2*g - 17. Let v = -44 - g. Solve v*z + 27 = 7 for z.
-4
Suppose 0 = -24*x + 22 + 74. Solve -26*y = -24*y - x for y.
2
Let h be 26 + -29 + 67 + 3*-3. Solve -58*l = -h*l + 6 for l.
-2
Let m(t) = t**3 - 4*t**2 + 9. Let o be -11*(-4)/8 - (-6)/(-4). Let i be m(o). Let v = 21 - i. Solve -a = -4*a + v for a.
4
Let g be (-1)/(-4)*(-52)/195*-285. Solve 0 = g*h + 43*h + 496 for h.
-8
Let x be 1389/12 - (-5)/20. Let y = 49 - x. Let r = y - -68. Solve 9 = -5*p - r for p.
-2
Suppose f - 212 = 2*m, -46*m - 430 = -2*f - 45*m. Solve f*r + 16 = 208*r for r.
-2
Suppose 3*i = 6*i. Suppose -19*y - 428 + 644 = -y. Solve i*x - 6*x - y = 0 for x.
-2
Let q(a) = -19*a - 307. Let y(k) = 6*k + 102. Let n(g) = -2*q(g) - 7*y(g). Let z be n(-25). Let v be (-1)/(-4) + 22/8. Solve z = -v*t + t for t.
0
Let w(s) = -2*s**2 + 2. Let a be w(1). Let c(n) = n**2 - n + 2. Let q be c(a). Suppose -4 = -q*x - 2. Solve -o = -2*o - x for o.
-1
Suppose q + 2 = 2*q. Let r = -23 + 43. Let n = 20 - r. Solve n = -l + 6 - q for l.
4
Suppose 51*m = 57*m - 114. Suppose m*x = 223 - 33. Solve -13*v + 3 = -x*v for v.
1
Suppose -14*h + 16*h = -4, 0 = n + 4*h - 30. Suppose 5*k = -s + n, 7*s = 2*k + 4*s - 22. Solve -7*f - 1 = -k*f for f.
1
Suppose 5*n + 11 + 9 = 0, -2*n = -2*f + 14. Suppose 3*i = -5*o + 35, 3*i + i = -f*o + 32. Solve i*j - 23 = 2 for j.
5
Let o be 2 + 2 + 38*2. Let t = -8341 - -8263. Let k = o + t. Solve 4 = 4*q - k*q for q.
2
Let u(h) = -2113*h - 4012. Let r be u(-2). Solve 0 = -5*w - r + 174 for w.
-8
Let c(y) = 1 + y + 0*y**2 - 6*y**2 - y**3 - 5*y + y. Let j be c(-6). Suppose 0 = -n + j - 15. Solve 2 = -2*r + n*r for r.
1
Let d(l) = -5*l + 72. Let k be d(15). Let y(h) = 2*h**2 + 9*h + 12. Let z be y(k). Solve r - 2 = -z for r.
-1
Let v = 9188 + -9097. Solve -119*j + 106*j = -v for j.
7
Suppose -s - 48*s + 8526 = 49*s. Solve 5*t = 72 - s for t.
-3
Let n be 20/2*((-37)/(-2) - 18). Let g = 10 - 5. Solve n*a = g - 20 for a.
-3
Let h(b) = b - 5. Let u be h(7). Let z(r) = -2*r**2 + 63*r - 350. Let m be z(24). Solve u = -m*v + 11*v for v.
2
Suppose 0 = -381*u + 2625 + 1185. Solve u*w - 39 = -19 for w.
2
Let d(g) = -25*g - 19*g + 9 + 43*g. Let l be d(4). Suppose p - 2*p + 44 = 5*i, 2*p + 2 = 0. Solve -l*t = -1 - i for t.
2
Let n(m) = -m**3 - 9*m**2 + 2*m - 10. Let y be n(-5). Let d = 125 + y. Solve -2*z - 6 = -d*z for z.
2
Suppose -34*n - 14 = -252. Solve 0 = 17*f - n*f + 20 for f.
-2
Let d be (20/(-12))/((-4)/(-6) + -1). Let n(g) = 2*g**3 - 9*g**2 + 14*g + 2. Let x be n(d). Let y = -95 + x. Solve -4 - y = 2*a for a.
-3
Let u be (((-30)/16)/(-5))/((-13)/(-104)). Suppose 7*q + 3*b - 12 = 3*q, q + 3*b = u. Solve q*s = -6 - 6 for s.
-4
Let a(p) = p**3 + 11*p**2 - 13*p - 2. Let t be a(-7). Suppose -4*x = 253 - t. Solve 5*b = 12 + x for b.
4
Let u = -31 + 23. Let t be 2/(-4) + 468/u + 2. Let v = -55 - t. Solve 0*o = v*o - 6 for o.
3
Let m(z) = z**3 - 2*z**2 - z. Let q be m(-1). Let u = 5 + q. Let x = 37523 - 37521. Solve x*j = -11 + u for j.
-4
Suppose 0 = 5*b - 3*f - 239, -5*b - 4*f = 54 - 307. Solve 0 = b*c - 46*c + 18 for c.
-6
Suppose -995*m = -955*m. Solve m = 3*w - 0 - 9 for w.
3
Let d = 42 - 66. Let h = d - -28. Suppose -h*f + 26 + 6 = 0. Solve -4*o + f = -0*o for o.
2
Suppose -10*l - 4*p + 44 = -9*l + p, 0 = -p + 8. Let a = 15 + -9. Solve l = -5*r - a for r.
-2
Suppose 1657 = 8*x - 79. Solve 209 - x = 8*g for g.
-1
Suppose 2*a - 4*f + 412 + 332 = 0, -4*a - 4*f = 1452. Let b = 367 + a. Solve -11*i = -b - 10 for i.
1
Suppose 365*r - 32849 - 6571 = 0. Solve r*i + 88 = 64*i for i.
-2
Let u(n) = -n - 3. Let h be u(-3). Suppose l + h*l = 25. Let z = -2629 - -2633. Solve -l = m + z*m for m.
-5
Suppose 35*v + 8 = 39*v. Suppose -13*c + 12*c + v = 0. Solve -5*a = -c*a - 6 for a.
2
Let h = 15399 + -15380. Solve 78 = 7*n + h*n for n.
3
Let u(s) be the second derivative of -s**5/20 - 2*s**4/3 + 31*s**3/6 - 19*s**2/2 - 4*s + 3. Let x be u(-11). Solve -2*t + x = -3 for t.
3
Let b = -6011 - -6117. Solve 6 = b*z - 109*z for z.
-2
Suppose 54*p + 1940 = 65*p + 86*p. Solve 138 = 3*v + p*v for v.
6
Let j = -5747 + 5747. Solve m + 4 + j = 0 for m.
-4
Suppose 5*s + 0*s - 4*i = 29, -s + 3*i = -8. Suppose -4*u - 4*c = -32, 31*u - 3*c + 6 = 28*u. Let n be u/s - 2*66/(-30). Solve -4*w - n + 17 = 0 for w.
3
Let r be -3 + ((-45)/(-3))/5. Suppose -11*u - 32 = -16*u + 3*l, -2*u + 4*l = -10. Solve r = u*p - 0*p - 28 for p.
4
Let g(i) = i**3 + 21*i**2 + 78*i + 37. Let c be g(-16). Solve -c*x = -72*x + 6 for x.
2
Let q be -1*3/(-4)*4. Let z = 3497 - 3494. Suppose 0 = -3*g - 4*s + 19, 0 = -g + 9*s - 8*s + 11. Solve -z*n = -g - q for n.
4
Let i = -3815 + 3833. Solve v - i = -17*v for v.
1
Let x be (-18)/(-2) - (-8 - (16 + 159)). Solve 39*t + 9*t = 