 = -3*f + f + u for f.
5
Let v(u) = 12*u**2 + 18*u - 2. Let p(k) = 2*k**2 + 1. Let o(i) = -2*p(i) + v(i). Let x be o(-3). Solve 4*s - g = x, 1 = -2*s - s - 5*g for s.
3
Let r be 2/(-5) - 34/(-10). Suppose q - 23 = -j, -4*q = -j + 2*j - 11. Suppose l + 260 = j*l. Solve 3*y + z = -5, -2 = -2*y - r*z - l for y.
-1
Let t(v) = 9*v**3 + 12*v**2 - v - 3. Let l be t(-3). Let y = -131 - l. Solve 2*a - 2*s - y = 0, 0 = -3*a + a + 3*s + 2 for a.
4
Let j be (-80)/(-8 + 18) - -13. Solve -z = -d + 10, -17*d + 40 = -j*z - 14*d for z.
-5
Let x be 15/11 + -1 + (-4131)/(-891). Solve 8*o - 2*u + 3 = 7*o, 3*o + x*u - 2 = 0 for o.
-1
Let d(t) = 7*t - 3. Suppose -3*x + 10*x - 7 = 0. Let p be d(x). Suppose -4*g + 136 - 32 = p*r, -4*g = 2*r - 56. Solve -5*k = c + r, 17 = -2*k - 2*k - 3*c for k.
-5
Suppose 133*k - 769 = 162. Solve 0 = 4*a - 4*l - k - 9, -3*a - 2*l + 2 = 0 for a.
2
Let o = -15 - -25. Let k = -10 + o. Let b be 0 - -8 - (-5 + -2). Solve k = -4*f + 4*v, 0 = f + f + 3*v - b for f.
3
Let b be 6 - (1 + 28/(-7)). Solve 2*k - 5*t + b + 10 = 0, t - 3 = 0 for k.
-2
Let q = -26 + 30. Suppose -q*w = -9*w. Suppose 4*y + 27 - 43 = w. Solve 2*b = y*h, -13 = 4*b + h + 4*h for b.
-2
Let p be 7/(6 - 464/96). Solve p*q - 8 = 4*w, 6*q - 11*q - 5 = -w for w.
-5
Let z(l) = l**2 + 67*l + 744. Let a be z(-14). Solve 3*q - 5*n = -2*q + 10, a*q - 4*n - 14 = 0 for q.
-3
Let l(d) = d**2 - 37*d + 70. Let y be l(2). Solve y = t + 5, 4*z + 37 - 28 = -5*t for z.
4
Suppose 0 = -4*w - 5*h - 24, 3*h = -7*w + 3 + 1. Solve -18 + 7 = 3*l + 5*r, 28 = 4*l - w*r for l.
3
Let p(f) = 2*f + 259. Let u(q) = -258. Let t(n) = 5*p(n) + 4*u(n). Let v be t(-26). Solve 0 = 5*a - 15, a - 3*a + 18 = -v*d for d.
-4
Suppose -139 = -87*d + 199 - 77. Solve 5*a = d*m + 37, 2*m - 2*a + 23 = a for m.
-4
Let q = 272 + -268. Suppose q*w - 4*j - 104 = 0, 4*w = -w - 3*j + 122. Solve -8*t + 3*t + 2*k = w, 4*k = -t - 5 for t.
-5
Let l = 1859 - 1852. Let u be 2*(3 + (4 - 3)). Solve -4*x = -5*c + u, 4*x = 2*c - l*c - 8 for x.
-2
Suppose -109*u - 69*u + 239 + 295 = 0. Solve 5*g - 9 = -485*j + 481*j, u*j + 1 = 4*g for j.
1
Suppose 4*r + 44 = 4, 5*r + 22 = 2*u - 42. Let y be 94/18 + 2/(-9). Solve 4*q + f + 5 = -u, 5*f = -y*q for q.
-4
Suppose -2*i = 2*k - 14, 4*i = -4*k + 3*i + 31. Solve -2*w + 5*j + 10 = -0*w, k = -2*j for w.
-5
Let j = 2 + 16. Suppose 2*z + 2 = -2*b - j, -3*b - 24 = z. Let v(n) = n**3 + 6*n**2 - 8*n - 2. Let w be v(b). Solve l = 2*o - 2, -l = w*o + 3*l + 21 for o.
-1
Let d = 0 - -3. Suppose -2*w + 24 = 5*g, -d*w - 2*w = -g - 6. Solve 2*l = -h - w, 5*l + 11 = -4*h - 0*l for h.
-4
Suppose 15 - 135 = -3*q. Let j be 1 + 4/(-10) + 1056/q. Solve -3*d - 11 = -x + 1, 5*d = 4*x - j for d.
-3
Suppose 77*j = 83*j - 42. Let d be (j - -1)/(2 + 0). Solve -2*p - d*q + 12 = 0, -3 - 3 = 2*p - 5*q for p.
2
Let r be (-5 - 14)/(1/1*-1). Solve 4 = o, 3 = f + 5*o - r for f.
2
Let f = -364 + 364. Suppose 6*y - 4 = 5*y + h, f = 4*y + 5*h + 20. Solve a + y = 4*b - 7, -2*b + 3 = -a for b.
2
Let d(p) = -8*p**3 + 16*p - 5*p**2 + 17*p + 44 - 13*p + 6*p**3. Let u be d(-4). Solve -2*r - 14 = -5*t, -2*r - u = -0*r - 4*t for r.
-2
Suppose 35*r - 124 + 63 = 79. Solve 0 = r*k - 0*l - 2*l, -2*k - 8 = -3*l for k.
2
Suppose -3*a - 5*p + 14 = 0, -3*p - 31 + 1 = -3*a. Let v be a/20 + ((-24)/(-15))/(-4). Solve v = l + n - 1, -2*n - 22 = -4*l - 0 for l.
4
Suppose -43687 = -13*i - 42751. Solve -15 = -2*m - 73*a + i*a, 3*m - 20 = -a for m.
5
Let a be 33*(-3 + (0 - -4)). Let r be (-6 + a/(-2))/((-1)/(-2)). Let n = r + 46. Solve 22 = 3*w - 2*i, 4*w + 0*i = -3*i + n for w.
4
Suppose 0 = 67*h - 30*h - 333. Solve 3*x + h = -3*n, 0 = -x + 3*x + 4*n + 16 for x.
2
Suppose -260 = -7*c - 246. Suppose 2*u + 2*v = 3*v + 3, c*u - 2*v = -2. Solve u*z - 11 = -5*b, z - 2*b - 7 = b for z.
4
Let p(f) = -11*f**2 - 550*f + 2. Let g be p(-50). Solve -k - l + 4 = 0, 6*l = -5*k + g*l + 17 for k.
1
Let v(o) = -o**2 - 6*o - 2. Let l = -66 + 70. Suppose 45 - 61 = l*g. Let r be v(g). Solve -2*m + q - 2 = 0, -q = -0*m + 2*m - r for m.
1
Let c = -1114 - -602. Let s = c + 517. Solve -s*x - 2*i = -25, 3*x + 5 = 4*x - 2*i for x.
5
Let h be (-9)/4 - -3 - 429/(-132). Solve 0 = -h*u - j - 14, -5*j - 3 + 2 = -3*u for u.
-3
Let p(k) = k**2 + 2*k - 12. Suppose 0 = 35*d - 25*d + 50. Let n be p(d). Solve 4*s = -i + 13, -2*i = -0*i - n*s - 4 for i.
5
Suppose 13*q + 29*q = -1386. Let i be 2*(-6)/(-8)*(-242)/q. Solve -h - 3*b - i = 0, -3*h = -3*b + 2*b + 13 for h.
-5
Let v be 1/6 - (-3 - 15/18). Solve v*k = p + 25, -5*p - k = -0*k + 20 for p.
-5
Suppose 0 = -13693*j + 13687*j. Solve 5*h - 4*h + 4*y - 13 = j, 0 = h + 5*y - 16 for h.
1
Let g be 396/90 + 15/25. Let f = -26 + 26. Solve -3*i - 2*i - b + 16 = 0, f = -g*b + 5 for i.
3
Let i = 3396 + -3393. Solve i*t = -z - 3, -2*z + 3*t = 2*z + 12 for z.
-3
Let j(l) = l**3 + 106*l**2 - 4*l - 414. Let z be j(-106). Solve 4*w + 3*g = -23, -8*w + 5*g - z = -5*w for w.
-5
Suppose -5*k - 48 = -13*k. Suppose 0*m + k = m + 2*d, -11 = -4*m + 5*d. Suppose -m = -2*g - 4. Solve 2 = -o - g*o, -3*y + 2*o = -19 for y.
5
Suppose -4*a = -5*n - 2, -2*n - 2*a + 10 = -0*n. Suppose 0 = n*i + 4 - 8. Let h be (-1 - -1)/1 - -1. Solve -h = l - i*m + 6*m, 0 = -2*l - 4*m - 2 for l.
-1
Suppose -8*d + 2*u + 5 = -39, 5*u + 5 = -d. Solve -4*j - 34 = d*w - 2, 0 = -2*w - 5*j - 23 for w.
-4
Suppose -42 = -8*a + 22. Suppose -6*y + a + 28 = 0. Suppose -9*j = -5*j - 112. Solve j = -4*s - 3*r, 2*s - y*s - 32 = 4*r for s.
-4
Suppose -3*c = -5*c + 8. Suppose -t = c*v - 19, -4*t = 2*v + 2*v - 28. Let g be (144/(-30) - -5) + 18/10. Solve -12 = 2*y + u + u, -t*y + g*u + 7 = 0 for y.
-1
Let o = 1440 - 1458. Suppose -y + 2*y = -69. Let q be (-1)/(-6) + y/o. Solve -3*k = -2*f + 6 + 8, 0 = f - q for k.
-2
Let x(l) = -15 + 7*l**2 + 7*l + l**3 - 25*l - 3*l**2 + 12*l**2. Let f be x(-17). Suppose -20*q = -7*q - 130. Solve g - 21 = 6*g - f*v, -5*v = -4*g - q for g.
-5
Let a = -177 + 202. Suppose 0 = 14*g - 73 - a. Solve -3*p = 9, 3*c = -3*p + g*p + 15 for c.
1
Let v(f) = -f**3 + 26*f**2 - 22*f - 73. Let s be v(25). Suppose 26 = s*i - 5*p, 4*i - 2*p - 52 = -6*p. Solve -4*u - 8 = 4*a, -4*a + i = -2*u - 3*a for u.
-5
Suppose -82*o = -272*o - 102*o + 584. Solve 0 = u - 2*l - 2, 4*u = -11*l + 14*l - o for u.
-2
Suppose -114*z + 631 + 794 = -57*z. Solve 4*y + 27 - 7 = -4*m, -5*y - z = 3*m for y.
-5
Suppose k = 4*p - 2, -5*p + 573 = -3*k + 581. Solve 4*u = -4*s - 8, p*s - 4*u + 9*u = -13 for s.
1
Let g = -179 - -278. Let d = g + -74. Solve 0 = -2*b - 5*h - d, -5*b - 5*h = 50 - 10 for b.
-5
Suppose -5 = -3*p + 2*p. Suppose -l + 12 = 5*l. Suppose p*z - 7 = -l. Solve -3*a + 3*g = -18, -2 = g + z for a.
3
Suppose -4*p = -5*a - 196, 0 = 14*p - 16*p - 5*a + 128. Solve 4*b - p + 72 = -2*f, 0 = 5*b - 2*f + 9 for b.
-3
Let g(s) = 4*s - 5. Let d be g(2). Suppose -2470*h + 6 = -2469*h. Suppose 0 = -c + 3*c - 4. Solve 4*t + h = d*p, -4*t - 2*p = -c - 2 for t.
0
Let i(y) = y**3 + 4*y**2 - y - 2. Let o be i(-4). Let p be (-21)/(-42) + (-1)/(o/(-17)). Suppose 30 = k + p*k. Solve g = 2*d - 1, -k*g + d + 2*d + 3 = 0 for g.
3
Let i = 21892 + -21889. Solve -12 = -4*v - g - i*g, 0 = 3*g for v.
3
Suppose -12*h + 378 = -66. Let r be (-1 - -2)*(4 - 3)*40. Let a = r - h. Solve 0*o - 3*o + 6 = 0, a*o = 5*t - 9 for t.
3
Suppose 0 = -4*a - 3*k + 3, 41*a + 6 = 40*a - 3*k. Solve -5*x - 9 = t + 5, 0 = a*t + 5*x + 22 for t.
-4
Let q be (-150)/24*24/(-30). Let d = 24 + -7. Suppose d = 5*i - 18. Solve -i*n + 5*g + 5 = -3*n, -q*n - 3 = 3*g for n.
0
Let y(j) = j**2 - 51*j - 5. Let d be y(-4). Let v = -212 + d. Let p be (0 + -10)*(-1)/1. Solve 5*s = p, 5*s - v = 4*w + 15 for w.
-2
Let o(y) = -2*y**2 - 51*y - 149. Let f be o(-22). Let k = 105 - 103. Solve -5*i - k*l = f, -i - 5*l = -0*i + 1 for i.
-1
Let s(n) = 78*n - 5. Let h be s(6). Suppose -5*q - h = -473. Solve a + 8 = -9*j + 4*j, -2*j = q*a for j.
-2
Let g be 2300/414 + 8/18. Solve -j - 10 = g*c - 9*c, -5*j + 45 = 4*c for j.
5
Suppose d + 3*j - 4*j + 1 = 0, 0 = -4*d - 2*j + 20. Solve -5*n = 3*q - 3 - 12, -15 = -d*q for n.
0
Let m = 9 + 3. Suppose -33*y = 159 - 489. Suppose 4*j + 14*k = y*k + 8, 0 = 5*j - 5*k - 10. Solve -6*d + 3*d = -j*b - 4, 2*b = -d + m for b.
4
Let m be (13 - -3) + 6 + 2. Solve 3*a - m*y = -23*y + 10, -3*y - 14 = -a for a.
2
Let q(x) = -12*x + 35. Let y be q