Let a be v(-5). Solve a = -3*l + 1 for l.
-1
Let d = 39 - 27. Suppose d = t - 4*s, -13 = 5*s - 3. Suppose -r = t*r. Solve 8*w - 3*w = r for w.
0
Let n be 146/5 + (-3)/15. Suppose 0 = -4*f - 43 - n. Let b be 46/10 + f/30. Solve 0*y + b = 2*y for y.
2
Suppose 37*z + 248 = 1617. Solve -z*h = -46*h - 36 for h.
-4
Let y(c) = c - 2. Let v be y(7). Suppose v = 4*s - 5*i - 16, -4*s + 30 = -2*i. Suppose -4*w + 5*t + s = 1, w = 3*t + 2. Solve 3*x + 4 = w*x for x.
-4
Suppose 12 = -4*b + 3*v, -2*v = -3*b - 14 + 6. Solve b = 9*n - 0*n - 13*n for n.
0
Let v(m) = -2*m + 6. Let s be v(-1). Let r = 81 - 71. Solve -6 = -s*j + r*j for j.
-3
Let g(s) = -s - 18. Let l be g(-11). Let j be (-2 + l)*6/(-9). Solve 10*b = 12*b + j for b.
-3
Suppose -13*j + 3*j = -90. Let a(h) = -h + 24. Let o be a(j). Solve -3*q - o = -0*q for q.
-5
Suppose -4*i = -5*f + 66, -41*i - 40 = -3*f - 39*i. Solve -f*c + 19 = 5 for c.
1
Suppose -5*f + 11 = 3*d, 2*d - 14 = -5*f - 0*d. Let r = 6 - f. Suppose -s = r*s. Solve s = c + 3*c - 16 for c.
4
Let w = 1156 - 1124. Solve -4*q - 4*q + w = 0 for q.
4
Let l = -41 + 84. Solve 9*r - 25 = -l for r.
-2
Let h = 183 + -182. Let x be (-3)/(-6) + (-1)/(-2). Let u = x + 1. Solve u*f - 3 = h for f.
2
Suppose 0*k - 32 = -5*h + 3*k, -12 = -h - 5*k. Solve h*s = 2*s + 10 for s.
2
Let u = -2 - 2. Let n be (2 + u)*((-3)/2)/1. Solve 6 - 21 = -n*o for o.
5
Let l(w) = 2*w**2 - 6*w - 108. Let d be l(-6). Solve d = 2*r + 3*r - 20 for r.
4
Let y be -33*20/(-65) + 36/(-234). Let w = -1 - -2. Let r be w - 3/(-2 + 1). Solve 6*h - y = r*h for h.
5
Let s be (1*3)/(24/40). Let t = -17 - -22. Solve t + 5 = -s*f for f.
-2
Let h(v) = -v**2 + 22*v - 45. Let n be h(18). Solve -69 = -14*f - n for f.
3
Suppose 5*h - 30 = -5*z, 5*h = -0*h + 4*z + 21. Let s(m) = 5*m - 33. Let g be s(11). Suppose g = 5*k - y, -h*y + 13 = -k + 3. Solve -x = -k*x - 4 for x.
-1
Suppose -4*n + 123 - 23 = 0. Let s(f) = f**3 - 20*f**2 + 19*f. Let i be s(19). Suppose i = -2*j - 2*k, -5*j - 5*k = -2*k - 8. Solve n = j*z + z for z.
5
Suppose -7*a + 280 = 3*a. Solve -a*w + 25*w = -12 for w.
4
Suppose 0 = -2*f + 4, 4*x + f - 18 = 2*f. Suppose 21 = x*p - 4. Solve 0*k - p*k = -15 for k.
3
Let n be 4 - 3/(20/4 - 4). Solve 4*u - 5 = -n for u.
1
Suppose 5*g + 5*i = 30, -10*g + 5*g + 3 = -4*i. Let c be ((-6)/(-4))/((-6)/(-8)). Solve g*k - c = 4*k for k.
-2
Let k = 23 + -33. Let w = 19 + k. Solve 3*j = -0*j + w for j.
3
Let n = -40 + 6. Let m = 39 + n. Solve 0 = -z - 0*z + m for z.
5
Let c = 112 - 85. Let i be (2/(-6))/((-3)/c). Solve -2 = -i*w + 13 for w.
5
Let p(d) = d**3 - 15*d**2 + 5*d - 56. Let o be p(15). Let a be (5/4)/(3/12). Suppose -4 = a*q - o. Solve -5 = -q*u + 4 for u.
3
Suppose -4*m + 10 + 50 = 5*z, -3*m + 44 = 4*z. Let g be (15/6)/(-3*3/(-18)). Let o(s) = s + 3. Let l be o(-3). Solve l = -q + g*q + m for q.
-5
Let o be 11/(-44) - (-26)/8. Suppose n = -o*n. Solve -4*j + 3*j + 4 = n for j.
4
Suppose 0*h + 53 = 3*h + 2*c, 5*c + 80 = 5*h. Let y = h - 16. Let r(d) = -d**3 - 28*d**2 - 27*d + 2. Let q be r(-27). Solve -q*x = -7 + y for x.
3
Suppose -3*w + 17 = -5*x + 12, -2*w - 2 = 2*x. Solve 3*i + 10 + 5 = w for i.
-5
Let a = 112 + -103. Solve -4*y = 17 - a for y.
-2
Suppose 0 = 6*q - q - n - 5, 0 = -4*n - 20. Let a(p) = -4*p - 3*p + 5*p + q*p**3 - 2*p**3. Let g be a(-2). Solve 3*w = -w - g for w.
-5
Let i = -623 - -627. Solve -i*z = -13*z for z.
0
Let k(x) = x**2 - 142*x + 2649. Let f be k(120). Suppose -20 = 2*n - 6*n. Solve -4*t + f = n for t.
1
Suppose -2628 + 1092 = -12*m. Solve 42 = 34*n - m for n.
5
Let o = -257 + 265. Solve -o*g = -36 + 4 for g.
4
Let f(z) = 0 + 0*z - 10*z**2 + 3*z**2 - 3 - 7*z + z**3. Let u be f(8). Suppose 0 = -3*o - 4*l + 6, 0*l + 45 = u*o - 5*l. Solve -2*s + 5*s = o for s.
2
Let j(q) be the first derivative of -q**3/3 - 5*q**2 - 3*q + 5. Let t be j(-9). Let a be ((-2)/t - -1)*3. Solve a*f = 3*f - 1 for f.
1
Let h be (10 - 0) + 2/(-2). Solve 11*v + 13 = -h for v.
-2
Let v = 354 - 226. Let i = v - 122. Solve -q = -i*q for q.
0
Let m = -5 + 10. Let c = m + -5. Let j = -348 - -350. Solve j*b = -c*b + 8 for b.
4
Suppose -4*b + 3*y + 59 = 0, -4*b - 16*y + 21*y = -61. Solve -12*c + 6 = -b*c for c.
-3
Let m(t) = 2*t**3 + 3*t**2 - 1. Let d be m(-1). Solve d = -3*g + 10 + 5 for g.
5
Let j(z) = 29*z**2 + 1 - 30*z**2 - z + 0*z**3 + 3*z**3. Let s be j(1). Solve -d - 1 = s for d.
-3
Suppose -j + 2 = -4*b, 0*b = -j + 2*b + 8. Suppose 3*i + 5*q = j, -2*i + 4*i + 2*q - 8 = 0. Solve -3*l = -i + 6 for l.
-1
Suppose 204*n - 320 = 196*n. Solve p - 42 = -n for p.
2
Suppose 2*v - v = 0. Suppose v = -2*a - c - 28, -2*a + 3*c - 7 - 5 = 0. Let r = a + 21. Solve 4*z = z - r for z.
-3
Suppose -5*t = -0*t. Suppose 10 = 6*h - 8*h, 0 = 5*u - 4*h - 80. Solve t = 7*c - 3*c + u for c.
-3
Let v = 89 + -31. Let w be -55 + v - (0 - (1 - 0)). Solve -w*o - 5 = 3 for o.
-2
Suppose -10*v + 62 = -78. Solve 13*g - 2 = v*g for g.
-2
Let w(k) = -k**3 + 8*k**2 + 9*k + 14. Let d be w(9). Solve 2*t - 12 = d*t for t.
-1
Let v be -1 + 2 - (0 + -1). Let t = 21 + -22. Let s be 56/7 - (-4)/t. Solve -s - 6 = v*d for d.
-5
Suppose -8 = -4*m + 4*n, 3*m + 3 = -5*n - 7. Solve 0 = -s - m*s for s.
0
Let s = 239 - 232. Solve 10 - s = d for d.
3
Suppose -9 = -4*o + 3. Let m be 2 + 2 + (-9)/o. Suppose z = -k - 0*k - m, 5*k + 6 = -4*z. Solve z = -3*p - 2 for p.
-1
Let g be 1/(6 - 4)*(0 - 0). Suppose 4 + 7 = -w + 4*x, -4*w + 5*x = g. Solve t = w*t for t.
0
Suppose -13*u - 4*w = -9*u - 20, -w + 5 = -2*u. Suppose -5*t + 4*v = -4, -3*t + v - 3 + 11 = u. Solve 0*d = 4*d + t for d.
-1
Let w = 25 - 23. Suppose -2*p = -3*f - w + 85, 5*f + 4*p = 153. Let o = f - 25. Solve -2 = o*z - 6 for z.
1
Suppose 0 = -4*w, -5*n - 3*w - 8*w = -6*w. Let x be 3/(-6) - (-82)/4. Solve n = 4*t - 0*t - x for t.
5
Let b(w) = w - 1. Let l(v) = -v**3 - 9*v**2 - 15*v + 1. Let m be l(-7). Let t be b(m). Solve 3 = 4*u - t*u for u.
-1
Let p be ((-8)/20)/((-1)/(-5)). Let v be (-8)/p + 13 + -4. Let q = v + -12. Solve q - 4 = m for m.
-3
Suppose 3*m - 11 = -47. Let f be 35/2 + (-18)/m. Solve f - 4 = -5*x for x.
-3
Let g = 64 + -63. Solve 2*a - g + 3 = 0 for a.
-1
Suppose -5*j - 33 = -3*b, 31 = 2*b - 2*j + 9. Suppose -3*s = -2*s + b. Let p = 15 + s. Solve 6 = -p*l - 6 for l.
-3
Suppose -2*s = 3*x - 242, -5*x + 2*x + 366 = 3*s. Solve 0 = -131*h + s*h - 28 for h.
-4
Let p(q) = q**2 + 18*q - 17. Let k be p(-19). Let x be 3 + (-9)/(-6)*-2. Suppose x = -k*w - 4, 3*w + w = b - 11. Solve -b = 4*y + 1 for y.
-1
Let m(v) = v**3 + 10*v**2 + 9*v + 2. Let y = -32 - -14. Let p be 2/(-4)*(0 - y). Let q be m(p). Solve 0*r = q*r + 6 for r.
-3
Let l(p) = -p**3 + 12*p**2 - 7*p - 41. Let r be l(11). Suppose -4*c = -3*t - 29, 5*c - 2*t = 33 - 2. Suppose w - c + 3 = 0. Solve -w*j - r = 1 for j.
-2
Let z = 4 - -7. Let p = z + -11. Solve -3*k + k = p for k.
0
Let a(y) = 4*y**2 + 51*y + 12. Let k be a(-13). Solve 8*d - 15 - k = 0 for d.
5
Let l be (-3)/(-1)*10/6. Let u(r) = -6*r - 48. Let b be u(-8). Solve 0 = 5*a - b - l for a.
1
Suppose 0 = 54*h - 52*h. Suppose 4*z + 3*m = -0*m - 12, 4*m - 46 = 5*z. Let c be 9/(z/(-4)*1). Solve c = 3*w - h for w.
2
Let x be (-126)/168*184/(-6). Solve 4*t = 7 - x for t.
-4
Let v be ((-5)/(-2)*-10)/(-1). Suppose -2*b + 59 = 5. Let t = b - v. Solve -1 = t*d + 7 for d.
-4
Let x = 123 - 115. Let y be (1/(-2))/((-2)/(-8)). Let u = y + x. Solve u = -t + 4 for t.
-2
Let z(x) = -13*x - 329. Let i be z(-26). Solve -7 - i = 4*m for m.
-4
Suppose -p - 33 + 14 = 0. Let n be (-16)/(5 - 1) - p. Solve -n = -3*w - 0 for w.
5
Let s be 52/13 - (-1 - 2). Suppose 0 = -o - 5 + s. Solve -6*m = -o*m + 8 for m.
-2
Let b be -5 - (-6 - -4) - (12 + 1). Let h be (-6)/b - 24/64. Solve h = -3*f + f + 10 for f.
5
Let n = -115 - -124. Solve -2*a - n = -3 for a.
-3
Let q(j) = j**3 + 6*j**2 + 9*j + 1. Let m be q(-4). Let a be 1/(m - 75/(-24)). Solve 0 = -a*z + 4*z + 4 for z.
1
Suppose -3*l - 1 = -103. Let d = l + -17. Let z = d - 9. Solve 2*s + 2*s - z = 0 for s.
2
Let t = -350 - -353. Solve 4*n = t*n - 5 for n.
-5
Let f be (-10)/(-15) - (-9)/((-135)/(-140)). Solve -c - f + 14 = 0 for c.
4
Suppose 0 = 3*o - 11 - 1. Suppose -3*i - 11 = o*m - 2*m, -5*m + 3*i = -25. Solve 2 = -4*k - m for k.
-1
Suppose 7 - 25 = -9*w. Let n be 6/w + (7 - 8). Solve -n*c = 3*c - 10 for c.
2
Suppose h - 24 = 3*o, h = -2