- 2. Let m be t(5). Let f = m - 74. Solve -f*r + 17 = 5 for r.
3
Suppose -3*h - h + 20 = 0. Let p be (h/(-15))/(2/(-108)). Let s = p + -14. Solve -2*i - s = 2 for i.
-3
Let a be (-8)/36 - (-685)/45. Solve -4*d + 3 - a = 0 for d.
-3
Let o(k) = 6*k + 3. Let d be o(3). Let f = d + -19. Solve 4 = -2*s - f for s.
-3
Let s = 245 + -243. Solve 0 = -s*h + 6*h - 12 for h.
3
Suppose 229 - 271 = -14*h. Solve 12 = -3*f + h for f.
-3
Let h(w) = -2*w - 8*w + 9*w - 2*w**3 - 7 + 4*w**2 - 24*w**2. Let g be h(-10). Solve -4 + g = -n for n.
1
Let f be -6 + (3 + -11)/(-4). Let l = 3 - f. Suppose -p = -u + 1 + l, 2*p = -8. Solve 2*i + 2*i = -u for i.
-1
Let k(j) = 2*j**2 + 3*j + 3. Let l(w) = 2*w**2 + 4*w + 4. Let o(n) = 4*k(n) - 3*l(n). Let v be o(2). Let s be v/(-24)*(-8 + -1). Solve -s*y + 4 = 10 for y.
-2
Suppose -3*z = -7*z. Suppose -k + 7 + 0 = z. Let l = k - 7. Solve l = -2*b + b + 2 for b.
2
Let w(z) = -z**3 + 18*z**2 - 34*z + 37. Let o be w(16). Solve -o*v + 0*v + 5 = 0 for v.
1
Suppose -169*t + 152*t = -34. Let s = 8 - 6. Suppose 2*j - 18 = 4*i, -j - j + s = 4*i. Solve -t*m = -j*m + 15 for m.
5
Suppose 4*w + 145*l - 143*l - 80 = 0, 26 = w + 2*l. Solve -28 + w = 5*x for x.
-2
Suppose 2*v + 3*k = 11, 4*k + 8 = -4. Solve 0 = -v*a + 14*a for a.
0
Let i(f) = f**3 - 5*f**2 + f + 8. Let m be i(5). Let l(t) = t**3 + 4*t**2 - 5*t + 5. Let x be l(-5). Suppose 0 = -4*c + 6 + 6. Solve c = x*s + m for s.
-2
Let r be (-1)/(-5) + 833/85. Solve -r = 3*z + 2*z for z.
-2
Let t(n) = n**2 - 1. Let p(i) = -3*i**2 + 11*i + 16. Let q(u) = p(u) + 2*t(u). Let f be q(12). Solve 0*k = f*k - 10 for k.
5
Suppose 2*f = -5*n + 3*f + 72, -36 = -2*n + 4*f. Let v be (-3 - (-2 + -3)) + 2. Suppose v*g - n = 2. Solve -g = 3*l + 2 for l.
-2
Let f = 69 + -67. Let b be (8/10)/(7/(-35)). Let d = 8 + b. Solve 0 = -d*a + f*a - 10 for a.
-5
Let u be -124 + (-224)/48*6/(-7). Let w be (-1 + 3/(-15))/(18/u). Solve q = -q + w for q.
4
Let o(u) = 6*u - 59. Let z be o(13). Solve -v - z = -15 for v.
-4
Let r be ((-32)/208 - 0) + (-7945)/(-13). Solve 3*o - r + 608 = 0 for o.
1
Let l = -3 - 3. Let x(g) = -g**2 - 6*g - 2. Let q be x(l). Let r be 1/((q - 1)/(-3)). Solve 0 = w - 0 - r for w.
1
Let j = -3 + 8. Let p be (2 + (-15)/3)*-1. Suppose 7 = j*b - p. Solve -b*h = -5*h - 3 for h.
-1
Suppose 0 = -3*g - h + 9, 5*h - 18 = -3*g + 3. Let a be 2*g/((-6)/(-3)). Solve -5 = a*n - n for n.
-5
Let q = 199 + -197. Solve q*u - 4*u - 6 = 0 for u.
-3
Let x be ((-48)/(-1 - -3))/(-1). Let y be (-1)/(0 + (-4)/x). Suppose -t = -y*t. Solve t + 2 = d for d.
2
Let f(s) = 2*s**2 - 15*s + 17. Let i(a) = a**2 - 8*a + 9. Let m(d) = 3*f(d) - 5*i(d). Let b be m(4). Suppose 1 = -t + b. Solve -3 = -p + t for p.
4
Let f = 113 + -98. Solve 5*g = 8*g + f for g.
-5
Let o be -6*((-2)/4)/(12/16). Solve o = 6*g - 14 for g.
3
Suppose 100*u + 170 = 5*d + 95*u, -176 = -5*d - u. Solve d = 14*s - 21*s for s.
-5
Let w(t) = -7*t**3 + 13*t**2 + 4*t + 11. Let i(m) = -m**3 + m**2 + m. Let g(p) = 6*i(p) - w(p). Let a be g(7). Solve 0*h = -3*h + a for h.
1
Let q = 1 - -1. Let h = 3 - -1. Suppose 3*a - 8 = h. Solve -z + q*z = -a for z.
-4
Let o be (-4)/8 - 1/(-2). Solve -r - 3*r + 4 = o for r.
1
Let z = 36 - 77. Let i = z - -48. Solve -i*o = -2*o - 25 for o.
5
Let j = -66 + 67. Let g(t) = -t**3 - 2*t**2 + 2*t + 1. Let x be g(j). Solve l + 3*l + 12 = x for l.
-3
Let y = 0 + 5. Let d(z) = -z + 7. Let a be d(y). Solve -a*h - 6 = h for h.
-2
Suppose -k + 20 = h - 3*k, -k = 2*h - 40. Let i = h + -17. Solve o = -i*o - 20 for o.
-5
Let o(y) = y**2 + 15*y + 38. Let u be o(-8). Let v be 2/6 + (-174)/u. Solve 6 + v = 4*q for q.
4
Let i be 10*(114/15 - 7) - -7. Solve 10*c = i*c - 9 for c.
3
Suppose -6*s - 20*s + 52 = 0. Solve s*t + 0 = 4 for t.
2
Let w(x) = x**3 - 5*x**2 + 6*x + 2. Let f be w(4). Suppose -2*r = 2 - f. Let v be 2/6 + 22/6. Solve -v*k + 0 = r for k.
-1
Suppose -91*d + 11 = -87*d - 5*i, d = 4*i. Let f = -1 - -4. Solve -d*m - 1 - f = 0 for m.
-1
Let g be 2 - -3 - -2*2/(-4). Solve -15 = b - g*b for b.
5
Let p = -1743 + 1760. Solve -17*o + p = -0*o for o.
1
Suppose g - 3*k + 8 + 6 = 0, 2*k = 8. Let s be (g/3)/((-1)/15). Let t be (-135)/60*(-16)/18. Solve -2*l = -s + t for l.
4
Suppose 2*p + 0 - 7 = r, 0 = r + 1. Let k(v) = 14*v - 14. Let h(w) = 16*w - 15. Let u(s) = -6*h(s) + 7*k(s). Let z be u(8). Solve -p*x - x = -z for x.
2
Let i(g) = -g**3 + 3*g**2 + 10*g + 12. Let y be i(0). Solve -11*x + y = x for x.
1
Suppose -t = 2*t + 3*x - 792, 2*t - 5*x = 556. Solve 0 = t*u - 266*u - 8 for u.
4
Let z(q) = 2*q**3 + 2*q**2 - 6*q + 4. Let a be z(3). Let h = a - 51. Solve 0 = -g - 2 + h for g.
5
Suppose 0 = 6*t - 27 - 9. Suppose -4*k = q - 12, -2*q - t = q - 2*k. Solve -2*i + 7 + 3 = q for i.
5
Suppose g - 144 = 5*i + 86, 3*i + 155 = 4*g. Let w be (-9)/(i/(-10)) + 6. Solve w*d + 1 = 9 for d.
2
Let h(g) = g - 4. Let p be h(3). Let t be p/(-5) - 76/(-20). Let x(r) = r**3 - r**2 - r - 2. Let v be x(2). Solve -t*o - 16 = -v for o.
-4
Let w(t) = -t**3 + 3*t**2 - 2*t. Let f be w(2). Suppose -4 = -f*k - k. Suppose -k*r + 0*r - 12 = 0, -2*j - 5*r - 11 = 0. Solve -j*n + 10 = -0 for n.
5
Let z = -615 - -625. Solve -l = l - z for l.
5
Let c be ((-4)/2)/(4/8) + 12. Let k(b) = b**3 - 9*b**2 + 9*b - 6. Let q be k(c). Solve -q*t + 6 = -0 for t.
3
Let j = -14 - -15. Let z(g) = g**3 + 12*g**2 - 13*g. Let t = 1 - 14. Let a be z(t). Solve -i + 3 - j = a for i.
2
Suppose 2*m - 3*m = 3. Let h = m - -9. Solve -z + h = 1 for z.
5
Suppose -g + 0 = -2. Let x be (1 - 2)*(3 - (9 + -4)). Let d be 13 - (x + -1 + g). Solve 0*j - d = 5*j for j.
-2
Let p(z) = -1. Let d(m) = m**2 + 4*m. Let b(y) = d(y) - 3*p(y). Let u be b(-3). Solve u*v + 10 = 2*v for v.
5
Suppose 2*c + 4 = -2*b + 14, -5*c - 4*b = -30. Let w(m) = 4*m**2 + 5*m**2 - c*m**2 + 1. Let a be w(-1). Solve 4*p - p + 15 = a for p.
-5
Suppose -2*r = 2*c - 28, -183*c + 182*c - 3*r = -14. Solve 0 = 21*a - c*a for a.
0
Let t = 2066 - 2062. Let w be (-6)/(-4)*20/6. Solve -t = -w*y - 14 for y.
-2
Let l = 52 - 47. Suppose -21 = -3*w - 3*o, l*w + 2*o + 0 = 20. Solve -w*s = -s + 3 for s.
-3
Let v = 6 - -2. Suppose 2 + 7 = 3*d. Suppose -5*t + d = -b, 3*b = 5*t - 2*t - 9. Solve -4*l + t = v for l.
-2
Let b(v) = 3*v + 3. Let u be b(8). Let r = u + -23. Solve -15 = -7*g + r*g for g.
5
Let t = -1447 - -1467. Solve -5*c - t + 35 = 0 for c.
3
Suppose 0 = -2*a + 3*d - 11, -5*d = 2*a - 0*a - 29. Let g be (-3)/(12/(-16)) - (-3 + a). Solve -g*j + 2*j = 9 for j.
-3
Suppose 88 - 81 = v. Solve -3*i + 10 - v = 0 for i.
1
Suppose 31 - 61 = -10*f. Solve f*i - 1 + 4 = 0 for i.
-1
Suppose -21*n + 60*n = 507. Solve 4*h = n*h - 9 for h.
1
Let s be 7 + (-2)/((-3)/(-3)). Let x = s + -3. Let u = 145 - 133. Solve 0 = -x*d - 2 + u for d.
5
Let q be (-8)/4*(-138)/(-12). Let v = -20 - q. Solve v*l - l = 0 for l.
0
Let i be (-4)/(-8)*((168 - -5) + -7). Solve 1 = -82*z + i*z for z.
1
Let b = -107 - -115. Let j be 2*(0 + b/4). Solve 3*c - j = -c for c.
1
Suppose 5*a + 43 = 3. Let s be (17/4)/((-2)/a). Let c = s - 11. Solve 4*z = -26 + c for z.
-5
Suppose -5*n - 2*l - 58 = 0, 2*n = 4*l - 4 - 24. Suppose -23*m - 25 = -18*m. Let f be (-1)/m - n/15. Solve 3*s = f + 2 for s.
1
Let j(d) = 6*d - 11. Let q be j(4). Suppose q*y - 32 = 241. Solve 5*h + 6 = y for h.
3
Suppose 3*w = 20 - 5. Let h be 32/(-40) - (-129)/w. Solve -2*a = 3*a - h for a.
5
Let b = -52 + 84. Let v be 6*(-4)/b*-4. Solve -3 = -3*g + v for g.
2
Suppose 2*a - 26 = -c, -3*a = 6*c - 2*c - 49. Solve 0 = -4*v - a + 15 for v.
1
Suppose -5*r + 10 = 0, -17*p + 13*p = 2*r - 52. Solve 16 = -4*k + p for k.
-1
Suppose 2*d = -m + 80, 34*m - 39*m + 154 = 4*d. Solve -9*z - d = -50 for z.
1
Suppose h - u + 1 = -2*u, 4*u + 24 = h. Suppose -2*r - 71 = -5*w, 5*w + 3*r = 63 - 7. Suppose -z = s - 9, s = -h*z + 2*z + w. Solve -3*k = -z*k for k.
0
Let i(w) = w**2 - 8*w - 7. Let s be i(9). Suppose -19 = s*g - 4*g + 5*y, 0 = -5*g - 2*y + 4. Suppose -9*d + 23 + 58 = 0. Solve g*x - d = -x for x.
3
Suppose g + 4*g = 15. Suppose 5 - 1 = g*v + 4*w, 0 = 2*v - 2*w - 12. Let c(k) = k**3 - 2*k**2 + 2. Let u be c(2). Solve -14 = -v*d - u for d.
3
Suppose 8 = -7*h - 104. Suppose -3*j = -j + 30. Let u = j - h. Solve 0 = -3*m + 10 - u for m.
3
Suppose -7 + 17 = 2*d. Suppose -3*a + 4*s + 20 = -0*a, -d*a + 15 = -3*s. Solve a*k = -k + 3 for k.
3
Suppo