 y.
-2
Let k = 212 - 207. Solve 0 = -k*n + 5 - 0 for n.
1
Let s be -3*(3 - 244/12). Suppose 5*u = 4*w - 60, 3*w - u - s = u. Solve 0 = -i - 3*i - w for i.
-5
Let d be 0/7 - 266/(-14). Solve -21*x = -d*x for x.
0
Suppose -1 + 16 = -5*a, -8 = p + 4*a. Suppose -4*d - p = -3*d. Let f be (d - -5)/(3/18). Solve -g + f = 2*g for g.
2
Let y be 1/2*(54 + -18). Suppose 12 + y = 5*o. Solve -3*a - 15 = -o*a for a.
5
Let v(y) = 11*y**2 + 2*y. Let u = -37 + 38. Let b be v(u). Solve 0 = 5*o + b + 7 for o.
-4
Let c(o) = -6*o - 17. Let y be c(-7). Solve -q = 23 - y for q.
2
Let i(k) = 6*k + 21. Let l be i(-9). Let h = -24 - l. Suppose -4*a + a + h = 0. Solve -1 + a = -x for x.
-2
Let p(r) = -r. Let w(c) = c**2 - c + 7. Let n(u) = 6*p(u) - w(u). Let f be n(-5). Let s(a) = -2*a - 1. Let o be s(f). Solve 0 = -2*i - 5 + o for i.
4
Let q = 509 - 507. Solve -q*o - 4*o = 6 for o.
-1
Suppose 347 = 2*o + 3*o + 2*b, 137 = 2*o - b. Suppose -o - 26 = 5*i. Let a = -17 - i. Solve 0 = x + a for x.
-2
Let t(b) = -b**3 - 2*b**2 + 2*b + 4. Let l be t(0). Solve -h = l*h + 20 for h.
-4
Let h(b) be the second derivative of b**4/12 - 5*b**3/2 + 29*b**2/2 + 20*b. Let n be h(13). Solve -2*m = n*m + 20 for m.
-4
Let m(p) = p**2 + 27*p + 185. Let f be m(-16). Solve -f*c = -30*c - 21 for c.
-1
Suppose 17 = 5*f + 4*g, -4*f + 4*g + 31 = 3. Solve f*r = -r for r.
0
Suppose 5*c + 6 = 2*g, -2*c + 2*g - 15 = -3*g. Solve c = 5*y - 2*y - 3 for y.
1
Suppose -41*v + 73 = -296. Solve -k = -v*k for k.
0
Let w(y) = 2*y - 4. Let m = -25 - -28. Let r be w(m). Suppose -4*a + 14 = r*u, u = 2*a + a - 8. Solve u = -2*j - 1 for j.
-1
Suppose -4*v = 806 - 822. Let u(t) = -2*t + 30. Let r be u(9). Solve -v*d = r - 0 for d.
-3
Suppose -2*v - 24 = -5*r - 0*r, 4*r - 14 = -v. Solve 0 = -r*n - 4 + 20 for n.
4
Let o = -1391 - -1405. Solve o*y = 15*y - 3 for y.
3
Suppose 3*l - 84 = 39. Let i = 25 - l. Let v be (-9)/(-11) - i/88. Solve 0 = 5*c - 4 - v for c.
1
Let k(a) = 11*a - 2. Let g be k(2). Suppose -22*s + 58*s - 868 = -88*s. Solve -s*b - g = -2*b for b.
-4
Let l(m) = -m**3 - 3*m**2 + 3*m + 2. Let q be l(1). Solve 11 = -3*p - q for p.
-4
Let c(z) = z**3 + 8*z**2 + 4*z - 17. Let g be c(-7). Suppose 0*b - 100 = -g*b. Solve 7*j - b = 2*j for j.
5
Suppose 14*a + 6 = 17*a. Solve a*u + 6 = -0*u for u.
-3
Suppose c = -5*z - 5 - 3, 2 = -c - 2*z. Solve 0 = c*g - 7*g - 20 for g.
-4
Suppose 2*p - 12 + 6 = 0. Solve -3 = -9*t - p for t.
0
Let d(i) = 2*i - 2. Let w be d(3). Let t = -44 - -31. Let m = -8 - t. Solve -3*q = -w*q + m for q.
5
Let k be (-148)/(-18) - (-78)/(-351). Solve 14*b - 12*b = -k for b.
-4
Let y = -10 - -22. Suppose 3*s - 5*u = -21 + 52, 4*u = -4*s - y. Let w be (4/2)/(s/5). Solve w*h - 3 = 2*h for h.
1
Let p(g) = 3*g**2 - 8*g - 18. Let a be p(6). Let d = a + -36. Solve 0 = j - d*j for j.
0
Suppose -a + 4 = 2. Suppose 4*x - 3*y - 15 = a*y, 5*x + y = -3. Solve x = 3*t - 6 for t.
2
Suppose 2*b = 4*k - k - 1, b + 8 = 4*k. Solve -2*c + b = 6 for c.
-1
Suppose -5*i + 4 = -2*x, -3*i = 2*x - 10 - 2. Let u = -17 + 9. Let t be (-4)/(-10)*-2 + u/(-10). Solve t = -5*l + i*l for l.
0
Suppose 2*i + 2*d = -0*d - 82, 5*d - 59 = i. Let l be i/(-12)*(-1 - -4). Suppose 3*f - 2*f + 4*g = -10, 0 = 2*f + 5*g + l. Solve -p + 1 = -f for p.
3
Let q = -183 + 184. Solve 4*z - q = 7 for z.
2
Let p be (19 - 492/24)*40/(-3). Let n be 6/2 - 2 - -19. Suppose -6*m + m + n = 0. Solve 0*h + p = m*h for h.
5
Let l be (-12)/(-9) + 4/6. Suppose -15*w + 2 - l = 0. Suppose z + 0 - 4 = 0. Solve w + 8 = -z*q for q.
-2
Suppose 0 = -2*i + i. Suppose w - 5 = i, v + 2*v - 4*w - 16 = 0. Let t = v + -7. Solve -6*s + s = t for s.
-1
Let t be 24/20*10/6. Suppose 2*f - 6 = -l, -2*f + 3*f = t*l - 7. Solve -3*u + 7 = f for u.
2
Suppose 0*n = n. Let b be -1 + (-7)/((-14)/6). Let v be b/(-1)*(0 + 5/(-5)). Solve n = -v*o + 5*o for o.
0
Suppose -6*u + 14 = -4*u. Suppose -62 = -u*b - 20. Solve 0 = b*d - 2*d for d.
0
Let n be -2 - (-17)/3 - 16/24. Solve -2 + n = b for b.
1
Suppose -5*y - x - 4*x + 285 = 0, -4*x = y - 48. Suppose -b - 11*b = -6*b. Suppose b = u + 4*q - 15, 0 = -4*u + 6*q - 3*q + y. Solve 4*g + u = 3 for g.
-3
Suppose y = 2*y - p - 6, -2*p - 19 = -3*y. Let g(s) = 2*s**2 - 12*s - 4. Let h be g(y). Let k = -4 - -6. Solve k*f = -0*f + h for f.
5
Let c(k) = 6*k - 2. Let i be c(3). Let a = i + -12. Suppose -9 - 15 = -a*j. Solve -2*w = w - j for w.
2
Let q(b) = b**3 - 9*b**2 - 323*b - 10. Let h be q(-14). Let s(o) = 2*o**2 + 4*o + 2. Let n be s(-2). Solve j - h = -n for j.
2
Let l be -3 - 0 - (1 + 0). Let x = l - -24. Solve -2*t = 2*t - x for t.
5
Suppose 1 = 2*q - u, 7*u = 5*q + 4*u. Solve -29*h - q = -26*h for h.
-1
Suppose -45 = -u - 4*u. Let j be 2/u + (-2)/9. Let f = j - -3. Solve -f*h = -h - 2 for h.
1
Let w = -304 - -336. Solve 3*g = -5*g + w for g.
4
Let b = -6 + 6. Suppose b = -2*i - i. Suppose -49 = -3*x - 5*w, x - 4*w - 12 = -3*x. Solve 2*s + 2 + x = i for s.
-5
Let s(n) = 4*n - 24. Let g be (-4 - -7)*(-20)/(-6). Let t be s(g). Solve -3*l + 4 - t = 0 for l.
-4
Let n = 11 + -7. Suppose 6 = 2*a - n*f + f, -4*a + 4*f = -16. Let d be (2 + -6)/(a + -7). Solve c + 12 = d*c for c.
4
Let q be (-25)/(-10) - 3 - 2/(-4). Suppose 6*y - 2*y - 16 = 0. Solve 6*f - 2*f - y = q for f.
1
Let b = 275 - 259. Solve -3*x + 1 = b for x.
-5
Let w be (6/12)/(1/8). Solve -w*a + 30 = 34 for a.
-1
Let x = 185 + -157. Solve -10 = -6*k - x for k.
-3
Let h be 3 + (5 - 9) + 1 + 10. Solve h = -r - r for r.
-5
Suppose 431*a = 434*a - 27. Solve 0 = -4*y + y - a for y.
-3
Suppose 0 = 17*c - 42*c - 19*c. Solve c = -9*d - 4 - 5 for d.
-1
Let l be -2*((-1)/4 + (-35)/28). Suppose l*c - 5*q - 6 = 0, -7*q = 5*c - 2*q - 10. Solve -c = -2*r + 3*r for r.
-2
Let c = -43 + 63. Let t be ((-2)/(-5))/((-2)/c). Let x be 0/(-1*(t - -2)). Solve -2*y + x*y + 2 = 0 for y.
1
Let z = 1779 - 1744. Solve z*y - 255 = -80 for y.
5
Let v = -44 - -52. Suppose 5*u - u - v = 0. Solve -4*p = u - 14 for p.
3
Let l(w) = w - 3. Let q be l(5). Let v(h) = 6*h - 27. Let m be v(6). Let d be (6/m)/(2/60). Solve -q*c + d = 3*c for c.
4
Let p = -27 - -36. Let u = 13 - p. Solve u*v = 8*v for v.
0
Let b(w) = 4*w - 18. Let n be b(7). Suppose -2*j + 4*j = n. Solve j*t + 16 - 6 = 0 for t.
-2
Let y = -5 - -9. Suppose -11 = -5*o + y. Solve -o*v + 9 = -0*v for v.
3
Let i = 25 - 30. Let t(g) = -g**2 - 5*g + 3. Let d be t(i). Solve -h = d*h for h.
0
Let v = -130 + 132. Suppose 11 = 3*c - v*c + 3*m, 3*c - 3 = m. Solve 0*j = c*j - 2 for j.
1
Let m(j) = 17 + j - j**3 - 3 - 3 - 7*j**2. Let f be m(-7). Solve 0 = 3*t - f*t + 1 for t.
1
Let r be 14/2*((-22)/(-14) + -1). Solve -6*m = m - r*m for m.
0
Let w be (-4)/3*-3 + 1. Suppose -w*p + 22 = -0*p - 3*i, -2*p + 16 = -3*i. Solve 3 = q - p*q for q.
-3
Suppose -x + 62 = 58. Solve 0 = -x*y + 32 - 16 for y.
4
Let f(c) = -2*c**2 + 51*c + 28. Let z be f(26). Suppose 0 = -a - 3*r - r + 8, -4*a - z*r + 18 = 0. Solve q = -a*q + 20 for q.
4
Suppose -2*f + 64 + 20 = 0. Suppose 0 = f*r - 46*r. Solve 4*t + 0 - 8 = r for t.
2
Suppose 2*q + 0 = -2*m + 16, 2*q = 2*m - 4. Solve -9*s - 4 = -m*s for s.
-1
Let l be (14/(-28))/((-1)/12). Solve 5*p + l - 11 = 0 for p.
1
Suppose 0 = -188*c + 183*c + 10. Suppose -2*w + 5 = -c*f + 7, -9 = -3*f. Solve -w + 8 = -3*i for i.
-2
Suppose -3*r - 5*k + 40 = 0, -35 = -5*r - 8*k + 6*k. Solve 156 = -r*l + 151 for l.
-1
Let v(j) = j**3 - 7*j**2 - 7*j - 2. Let o be v(8). Suppose 2 - o = -z. Solve -c - 3*c = -z for c.
1
Suppose 3*t - 3*b = -0*b, -3*t + 16 = 5*b. Let c be 4/(-6) + (-40)/(-15) + -2. Solve 2*o + t*o - 8 = c for o.
2
Let t(c) = c**3 + 5*c**2 - 23*c + 10. Let y be t(-8). Let i be -5 + 2 - -1 - 2. Let b(m) = m**2 + 3*m. Let g be b(i). Solve y*s + 10 = g*s for s.
5
Let l(b) = b**2 - 5*b - 8. Let y be l(-2). Solve -y*m + 30 = 36 for m.
-1
Suppose -19 - 69 = -4*m. Suppose -23*f = -m*f. Suppose 4*d - 5*d = -4. Solve f*a = a + d for a.
-4
Let c = -14 - -19. Let a = 11 - c. Let g(t) = 7*t**2 - 3*t + 2. Let r be g(1). Solve 3*y - a*y = -r for y.
2
Let v(z) = -3*z - 4. Let y be v(-3). Let c(a) = a + 15. Let l be c(10). Let t be (-4 - (-85)/l)/((-3)/105). Solve y*h = -t + 6 for h.
-3
Suppose 0*l = 2*l - 58. Suppose 2*h = 0, y + 4*h + 6 = l. Let m = -13 + y. Solve -2*t + 7*t = m for t.
2
Let u(f) = 6*f**2 - 39*f - 12. Let a be u(7). Solve 8*k - 5 = a*k for k.
-5
Let m 