 g for a.
-2
Let h(o) = 7*o**2 - 7*o. Let r(x) = x**2 - 5*x**2 - 4*x**2 - 7*x**2 + 14*x. Let w(y) = 13*h(y) + 6*r(y). Let b be w(7). Solve 0 = n - b - 4 for n.
4
Let n = 1293 - 1293. Solve n*h - 3*h + 9 = 0 for h.
3
Let m(p) = -p**2 + 11*p - 19. Let g(i) = 8*i. Let q be g(1). Let z be m(q). Solve z*s - 20 = s for s.
5
Let f = -24 + 24. Solve -4*o - o - 10 = f for o.
-2
Let g = 39 - 33. Let p be g - (4 - (-2 + 5)). Solve p*q + 8 - 18 = 0 for q.
2
Let o = -3 - -6. Let w = 12 + -5. Let z = w - o. Solve -1 + 9 = -z*s for s.
-2
Let l(g) = 7*g - 4*g - 5*g + 26*g**2 + 3*g. Let f be l(-1). Solve 3*c + 2*c = f for c.
5
Suppose -3*p - 7*x = -2*x - 140, -4*p + 180 = 5*x. Solve z - p = 9*z for z.
-5
Suppose 72*m - 79*m - 140 = 0. Let i(g) = -g**3 - 4*g**2 - 4*g + 5. Let b be i(-4). Let f = m + b. Solve -15 = -4*z + f for z.
4
Let h = -667 - -688. Solve -4*u - 1 = -h for u.
5
Suppose 4*l + 16 = 4*c - 0*c, -8 = -l - 2*c. Suppose 0 = -22*o - 22 + 68 + 64. Solve o = k - l for k.
5
Let b = 6 + -1. Suppose -4*z + 116 = -q, b*q = 5*z + 64 - 224. Let u = -10 - -13. Solve 0 = 5*r - u + z for r.
-5
Let u = -151 + 163. Let p be (-13)/(-3) - (-2)/(-6). Solve -2*h + p = u for h.
-4
Let d(g) = g - 1. Let i(z) = -5*z + 6. Let y(b) = -b + 3. Let o be y(4). Let h(p) = o*i(p) - 6*d(p). Let q be h(-2). Solve -3*w + 1 = -q for w.
1
Let d be (0/(-4))/(-4)*1. Let u be (2 + 2)*(1 - d). Let s be (-1)/2*3*-2. Solve -u = -s*w - 1 for w.
1
Suppose 4*k + 7 = 15. Suppose 2*a - 1 = -k*n - 3, -17 = -3*a + 2*n. Solve -a*v + 7 = -8 for v.
5
Let v = -6 + 10. Suppose 0 = -4*m + 12, -3*i - v*m = -3*m - 39. Solve 3*h + 0 + i = 0 for h.
-4
Suppose 3*r + 4*y + 43 = 0, r + 9 + 8 = -4*y. Let k = r - -17. Suppose 0 = k*d - d. Solve d*o = -5*o for o.
0
Suppose 29*w + 16 = 25*w, 2*y + 3*w + 8 = 0. Suppose 0 = 2*l + 3*x - 2, 2*l - 20 = -2*l + 2*x. Solve -u - l = -y for u.
-2
Let x(d) = d**2 - 10*d - 19. Let l be x(12). Solve 0*f - 5*f = l for f.
-1
Let y(j) = -3*j - 17. Let q be y(-7). Suppose -9*a + q*a = -a. Solve -d + 0 + 1 = a for d.
1
Suppose 0 = 3*h + 26*h - 899. Solve -h = 5*q - 46 for q.
3
Let c(x) = -7*x**2 - 9*x - x**3 - 6 + 3*x**3 - 3*x**3. Let p be c(-6). Solve 5*s = 2*s + p for s.
4
Let m = -10 - -12. Suppose 0 = -w + m*w - 12. Let q = w - -4. Solve 0 = 4*h - q for h.
4
Let p(f) = -f**2 - 3*f. Let x be p(-2). Suppose 0 = 4*a + x*d - 12, 2*a + 2 = 4*d - 2. Suppose -2*r + 8 = 3*y - 2*y, y - a = r. Solve -h + 3*h = y for h.
2
Let l = 2139 + -2067. Solve 65*t - 28 = l*t for t.
-4
Let g = 9 - 6. Let i be 8/6*255/68. Solve 0 = 2*m - g*m + i for m.
5
Suppose -2*q = 4*r + 244, -5*q + 134 = -r - r. Let h = 79 + r. Solve 5*t + 3 + h = 0 for t.
-4
Suppose 5 - 5 = -8*z. Let d be (-2)/(-8 - -4)*z. Solve -4*p = -d*p - 16 for p.
4
Let g(w) = -w - 26. Let y = -48 + 19. Let b be g(y). Solve -b*q - 5 = 4 for q.
-3
Suppose 8*q - 63 = 4*q + o, q = o + 15. Let x = -1 - -2. Solve -3*j + x = q for j.
-5
Suppose 3*c + 5*w = 26, -4*c + 5*w + 55 - 67 = 0. Solve 0 = -c*q + 5*q - 6 for q.
2
Suppose -3*k = -11*k + 40. Suppose -n = -4*c + 9, 3*c - 5*n + 5 = -1. Let r = 5 - c. Solve -k*v - r + 7 = 0 for v.
1
Suppose s + 5 = m, -3*m - 5*s + 45 = 2*m. Solve m*o - 4 = 6*o for o.
4
Let k(a) = -a**2 + 16*a - 42. Let z be k(6). Solve 14*l = z*l - 4 for l.
1
Let a(p) = -p**2 - 12*p - 8. Suppose -4 = 2*n + 14. Let z be a(n). Let u be 2/((-4)/16*-2). Solve -3 = -u*s - z for s.
-4
Suppose h + 1 = 5. Let z(v) = -5*v**2 + 5*v + 4. Let m(i) = 4*i**2 - 5*i - 5. Let d(r) = h*m(r) + 3*z(r). Let f be d(7). Solve -4*p - f = -26 for p.
5
Let y = -258 - -271. Solve 3*s = -2 - y for s.
-5
Suppose 0 = 3*i - i - 4, 2*b = -3*i + 46. Solve -14*q + 8 + b = 0 for q.
2
Let d(k) = -k**2 + 19*k - 55. Let j be d(15). Solve j*m = 3 - 8 for m.
-1
Suppose -3*g + 1219 = -d, -3*g + 4*d = -2*g - 388. Let a be g/27 - (-5)/(-45). Solve 0 = -o - 2*o - a for o.
-5
Suppose 4*d + 2 = -2*p, 0 = 4*d + 2*p - 5*p - 3. Suppose d = h - 19 - 7. Suppose 0 = -r - r + h. Solve r = 5*t + 3 for t.
2
Let m(i) = 2*i**2 - 17*i - 25. Let s(q) = 4*q**2 - 33*q - 50. Let o(l) = 11*m(l) - 6*s(l). Let a be o(7). Suppose 4*x = 5*x - 1. Solve -u = -a + x for u.
3
Let l(k) = 18*k**2. Let b be l(1). Suppose 0 = 98*g + 101*g - 207*g + 32. Solve -6 + b = g*m for m.
3
Let g be 4/2 - (-2 - -15). Let d = g - -11. Solve d*w - 5*w + 25 = 0 for w.
5
Suppose -4*v + r = -116, -12*v = -8*v - 2*r - 120. Solve 11*a - v = 18*a for a.
-4
Let b(p) = -p**3 - p**2 + 20*p - 28. Let o be b(2). Solve -8*n + 7*n + 5 = o for n.
5
Suppose -2*r - 4*i = 2*r, 0 = -5*r + 2*i + 21. Suppose -2*y + 8 - 6 = 0. Solve 2*t + r + y = 0 for t.
-2
Suppose -w = -2*i + 13, 15*i + 5*w = 10*i + 10. Solve 0 = 3*r - i*r - 10 for r.
-5
Suppose -102*p + 275 - 26 = -159. Let j(h) = 2*h - 7. Let m be j(7). Suppose 3*t - m*n = -3*n - 8, t = 5*n - 10. Solve 2*y - p + 0 = t for y.
2
Suppose 5*i - 20 = 9*i. Let j = 6 + i. Solve 0 = 2*l + 9 - j for l.
-4
Let z be (-2)/16 - (-153)/72. Suppose z*t = 5*l - 36, l = -3*t - 3 - 0. Solve -l = -3*r - 3 for r.
1
Suppose -3*j - 5*c = -46, 5*c - 33 + 8 = 0. Suppose 0 = 4*y - j*y. Solve 2*b + b = y for b.
0
Let c(t) = 26*t - 182. Let j be c(7). Solve j = m - 18 + 13 for m.
5
Suppose 0*i = 7*i - 14. Let h be -1 - -7 - 8/i. Solve h*q = 5*q + 3 for q.
-1
Let r(n) = -3*n**2 + 22*n - 17. Let p be r(5). Solve 3*o + p - 12 = 0 for o.
-2
Let b be (-35)/14 - (-1)/(-2). Let x = 23 + b. Suppose -x = -0*i - 4*i. Solve -6 = i*w + 19 for w.
-5
Let z(u) = u - 1. Let a(x) = 5*x + 11. Let t(g) = a(g) - 4*z(g). Let d be t(-11). Suppose -d*r = 8 - 20. Solve -2*n = n - r for n.
1
Let n be 0*4/8*-1. Let v(j) = j + 36. Let h be v(n). Let c be 66/h - 1/(-6). Solve 2 - 6 = -c*u for u.
2
Suppose 10 = -46*t + 41*t - 2*y, 5*t = 5*y + 25. Solve -9*r - 36 = -t*r for r.
-4
Let m be (1/3)/(20/240). Let u be 0*((-3)/(-6))/(6/m). Solve u = -7*t + 2*t for t.
0
Suppose -9*n + 4*n = 0. Let b = n - -5. Suppose 0 = b*o + 4*p - 38, -2*o - p + 17 = -0*p. Solve 0 = -4*q + 2*q - o for q.
-5
Suppose 9 + 0 = -3*r - 5*l, -4*l = -4*r + 20. Let i be (-12)/2 + 4 - -4. Solve 4*u = r*u - i for u.
-1
Let h(a) = -8*a + 72. Let t be h(9). Solve 6*k - 7*k + 5 = t for k.
5
Let k be (0*(8 + -7)/(-1))/(-2). Solve k = -179*x + 181*x - 6 for x.
3
Let s(o) = o**2 + o - 76. Let k be s(0). Let w = 79 + k. Solve 3*y = -0*y - w for y.
-1
Let s be 0 - 5 - ((9 - 8) + -3). Let o be -1 + 5 + (-4 - s). Let a = 13 + -5. Solve o*p = -a - 7 for p.
-5
Let m = 59 - 23. Suppose -4*g = z + 3*z - m, 0 = 3*z - 3*g - 3. Solve z*r = 4*r for r.
0
Let d = 65 - 63. Suppose 2*m - 5*t + 1 = -2, 0 = m + 3*t - 4. Solve n = d + m for n.
3
Suppose s = -5*s + 24. Suppose s*f = -6*f. Solve f*k = k for k.
0
Let n(l) = -l**2 - 4*l + 24. Let k be n(-7). Let c(o) = o**3 - 3*o**2 - o + 3. Let f be c(3). Solve f = k*d + 18 - 3 for d.
-5
Suppose -6*g = -0*g - 66. Solve -g*l + 16*l = -20 for l.
-4
Let p(j) = -j**3 + 12*j**2 + 4*j + 117. Let u be p(13). Solve -12 = -3*c - u*c for c.
4
Let b(w) = -w + 1. Let t = 4 + -8. Let f be b(t). Solve -2*i + f - 1 = 0 for i.
2
Let m be (-5)/(-20) + 33/12. Suppose -i + 7 = m*t, 3*i - t - 17 + 6 = 0. Suppose -c + n + 4 = 0, 5*c + i*n - 10 = 19. Solve -c*a + 0 + 15 = 0 for a.
3
Suppose -5*q - 5*d + 10 + 10 = 0, -26 = q - 5*d. Let w(p) = -6*p**3 + p**2 + p + 1. Let v be w(q). Solve 0 = v*g - 6*g - 5 for g.
5
Suppose -11 = 5*k - 6, -k + 34 = 5*i. Solve -13*c + 6*c = -i for c.
1
Let z = 820 - 816. Suppose 0 = -3*f - 2*f. Suppose f = 3*k - k. Solve -h + z + 1 = k for h.
5
Let c be ((-48)/(-8) - 6) + 4. Solve -c*m + m = -9 for m.
3
Let z = 32 + -29. Suppose 0 = -5*h + z*o + 31, -2 = -h + 4*o + 11. Solve 2 = h*d - 3 for d.
1
Let g = 4 + 18. Let l be (-214)/14 - g/(-77). Let s = -9 - l. Solve -4*i + s*i - 6 = 0 for i.
3
Suppose 2*b = -2*b - g + 17, 0 = -5*b + 3*g + 34. Solve -6*t = -b*t - 4 for t.
4
Let n(k) = k + 5*k**2 - k**3 + 11 - 4*k + 6. Let z be n(5). Solve -3*y + 5 = -z*y for y.
5
Let d = 1 + 1. Suppose -z - 44 = -5*p + 3*z, -d*p - 3*z = -36. Let i(x) = x - 1. Let j be i(7). Solve j*n + p = 3*n for n.
-4
Suppose -7 = -n + 2*a, 2*n + a + 0*a = 39. Suppose -22 = -2*s + 2*p, -23 = -3*s - 2*s - 3*p. Suppose 8*h - 7*h - s = 0. Solve h = 5*v + n for v.
-2
Let l(q) = -q**2 + 47*q - 128. Let p be l(3). Solve 2*h + p = h for h.
-4
Suppose 5*f - 10 = j, 0*f - j + 