2 + 0 = 2*o. Let w be (3/2)/(12/o). Solve 3*k + w*k = 20 for k.
4
Let i be (-2)/(-13) + (-1)/(-13)*895. Let q = i + -57. Solve q = -2*h + 6*h for h.
3
Suppose -v - 86 = -5*a, -a - 2 = v - 24. Let z = -15 + a. Solve -z*d + 3 = -4*d for d.
-3
Suppose -2*r + 5 = i - r, -2*i + 5*r - 25 = 0. Suppose -t + 7 = -82. Suppose -q + d = 4*d - 11, 3*d + t = 4*q. Solve 0 = 4*z - i*z - q for z.
5
Let q(v) = 2*v**2 - 5*v - 4. Let r be q(4). Let a = r - 5. Suppose -4 = -4*p + 2*d, 0 = 4*p + d + 5 - 21. Solve 0 = p*c - 6 - a for c.
3
Suppose -50 = -n + 3*y, 2*y - 17 - 133 = -3*n. Solve -4 = 54*i - n*i for i.
-1
Let u be (-1 - (3 - 7))*1. Let v be 8 + u + 30/(-5). Solve 0 = -v*j - 25 - 0 for j.
-5
Let x(q) = -q - 5. Let c be x(4). Let v = c + 10. Suppose -y - 2*y + 5 = g, -3*g + v = 2*y. Solve 2*a - 10 + y = 0 for a.
4
Suppose -q - 5*b + 12 + 8 = 0, 0 = -q + 4*b + 11. Solve -q = 2*l - 5 for l.
-5
Suppose -5*x = -0 - 15. Suppose 0 = -3*b + 5*v + 44, 5*v - 8 = 5*b - 68. Suppose -2*g + b = -g. Solve -t - g = -x for t.
-5
Suppose 0 = -793*c + 778*c + 300. Solve c = 10*k - 10 for k.
3
Let n(c) = -5*c - 3. Let r = -7 + 2. Let o(a) = 2*a + 9. Let s be o(r). Let w be n(s). Solve 2 = j - w*j for j.
-2
Let h be 1 + -29 - (-8 - -5). Let v = -14 - h. Let u be 2 - v/(11/(-18)). Solve u = k - 6*k for k.
-4
Let f(y) = y**2 - 29*y + 204. Let z be f(12). Solve 10*u - 8*u - 4 = z for u.
2
Let x be 0 + (-8)/12 - 8/(-3). Let j be -10*(x + (-10)/4). Solve -c + 2*c = j for c.
5
Suppose -4*n + 12 + 0 = 0, -5*j + 5*n = -65. Suppose -9*q + 13*q - j = 0. Suppose -13 = -2*x - 5*p, 2*x + 3*p = 4*x - 5. Solve x*a = -q + 12 for a.
2
Let v(a) = a**2 + 10. Let s be (2 + (0 - 2))*(-5)/10. Let m be v(s). Solve 0 = 5*z - 0*z + m for z.
-2
Let o = -21 - -33. Suppose -10*b + 4*b + o = 0. Solve 3*n = -b*n for n.
0
Suppose 2*c - 76 = x, 2*x + 193 = 5*c + x. Let y = 43 - c. Let q(l) = -l - 3. Let u be q(-3). Solve -w = -u*w - y for w.
4
Let g be 72/6*2/4. Suppose 11*m = g*m. Solve m = -3*q - q for q.
0
Let d = 1849 + -1849. Solve d = 31*l - 45*l for l.
0
Let h(u) = -u + 5. Let z be h(5). Suppose -4 = t, z = -3*s + t + 2*t - 30. Let q = s - -17. Solve d - q*d = 0 for d.
0
Let o = 469 + -466. Solve z + o = 4*z for z.
1
Let t(c) = -6*c**2 + 2*c - 8. Let l(r) = 5*r**2 - 3*r + 7. Let s(u) = -5*l(u) - 4*t(u). Let a be s(6). Solve -a*b - 6 = -b for b.
-3
Suppose -5*y + 256 - 219 = v, y + 1 = -3*v. Suppose 3*s - g + 0*g = 4, -4*s + 37 = 5*g. Solve m - s = -y for m.
-5
Let r = -180 + 188. Solve -p - r = -7 for p.
-1
Suppose -2*u = l + 3, 0*l + 3*l + 5 = -5*u. Let m be (l/(-15))/(3/(-18)). Suppose -3*p + 2*i = i - 4, 4*p - 5*i = -13. Solve p*r = -m*r for r.
0
Suppose 3*n + 0 + 2 = r, n = 1. Suppose -4*f = -j - 5, 0*j = 4*f - r*j + 7. Let x(v) = 2*v + 43. Let y be x(-20). Solve y*l = -f*l - 25 for l.
-5
Let h(x) = x - 6. Let g be h(8). Suppose 0 = -g*j + 4*j. Solve r + r - 6 = j for r.
3
Suppose 0 = b - 5*s - 2, -2*b + 5*s + 4 = 3*s. Let h(j) = 4*j**2 + j. Let d be h(-1). Suppose 3*l = -d*o + 42, 10 = o + 2*o - 5*l. Solve -b*p + 0 = -o for p.
5
Suppose -5*q - 21 = a, 2 + 7 = -5*q - 4*a. Let t be (-21)/q + (-11)/55. Solve -t*h + 10 = -2*h for h.
5
Let m be 1 + (-28)/(-13) - 124/806. Solve -m*w + 17 = 5 for w.
4
Suppose -z - 2*n + 20 = -0*z, z = -5*n + 35. Let j be 10/2*((-44)/z - -5). Solve 4*i + 1 = -j for i.
-1
Let x(g) = -1 - 5*g + 4*g**2 + 3*g**2 - g**2 - 5*g**2. Let p be x(6). Suppose -9 = -2*a - 0*w - 3*w, 3*a - p = 4*w. Solve -a*v + 16 = v for v.
4
Suppose 7*i - 127 + 1 = 0. Suppose -4*g - 2 = -i. Solve 0 = 2*d + g + 6 for d.
-5
Suppose 114*r = 109*r. Solve r = 12*w - 7*w + 15 for w.
-3
Let n be 0/((-12)/4 + -1). Suppose 4*x - 38 = 2. Solve -5*y = -n*y - x for y.
2
Suppose -3 = o - 2*o. Suppose -2*v - 3*h + o = 0, 3*v + 5*h + 9 = 2*v. Solve -2*s - v = s for s.
-2
Let n be (-75)/(-10)*4/(-6). Let g be (7 + n)*(-3)/(-3). Solve -g - 13 = 3*i for i.
-5
Let i(v) = -6*v - 23. Let f be i(-5). Solve f*n - n = 0 for n.
0
Suppose 88 = 3*a + 4*o, -3*a - 28 = -4*a - o. Solve 0 = -25*k + a*k + 3 for k.
3
Let m(c) = 2*c**2 + 5*c + 2. Let s be m(-2). Suppose s = -35*v + 38*v - 9. Let d(w) = w**2 + 2*w - 1. Let i be d(1). Solve t = i - v for t.
-1
Let c(o) = o**2 + 4*o - 22. Let f be c(3). Let w(u) = -u - 3. Let a be w(-6). Let q = a - f. Solve -q + 0 = -4*y for y.
1
Suppose -2*y + 3*o - 4*o + 4 = 0, -3*o = -4*y + 8. Suppose 2*a - 4 = 0, 0 = -y*m - 4*a + 4 + 14. Solve -m*q + 1 - 6 = 0 for q.
-1
Let c = 264 - 262. Solve t + t = -c for t.
-1
Suppose 5*l = 5*b + 15, -5*l = -4*b - 8 - 3. Let p(v) = -11 - v**2 + 6 + 3 - 2*v**3 + 0 - 2*v. Let q be p(l). Solve 0 = d + q + 1 for d.
-2
Suppose 4*a + 1280 - 1292 = 0. Solve 0 = -3*x - 3 - a for x.
-2
Let x(u) = -4*u**3 - u**2. Let y be x(-1). Suppose y*t - 43 = -31. Solve -2*w + 6 + t = 0 for w.
5
Let k(p) = -6*p + 10*p + p - 11 + 15. Let f be k(0). Solve 0 = -f*r - 1 + 13 for r.
3
Let h(l) = 13*l**2 + 29*l + 6. Let a be h(-2). Solve -28*u + 20*u = a for u.
0
Let p be 42/4 + -8 - (-15)/6. Let h = -10 - -20. Solve h*y - p*y = 0 for y.
0
Let u(z) = z**2 + 7*z + 12. Let p be u(-4). Let v be (15/6)/5*p. Solve v = -4*k + k + 15 for k.
5
Suppose 3*i - 16 - 47 = 0. Let c be (-3)/i*(1 + -8). Let s = 21 - c. Solve -4*w + s = w for w.
4
Let f(s) = -4*s**2 - 162*s - 80. Let g be f(-40). Let r = 297 - 207. Suppose r = 5*u + 2*m + m, 4*u + m = 65. Solve -5*l + g = -u for l.
3
Let x = 17 - 9. Let r be 2 - x/(6/(-3)). Let i(y) = y**2 - 3*y + 2. Let d be i(r). Solve 0*w = 4*w + d for w.
-5
Let w be -18*(-2 - (-10)/6). Let i(m) = -m**3 + 7*m**2 - 5*m - 3. Let v be i(w). Suppose -n - 4*x = -x + 11, 0 = v*n + x - 7. Solve -n*c = -2*c + 6 for c.
-3
Let j(t) = t**3 - 10*t**2 + 9*t + 4. Let g be j(9). Let i(l) = -l**3 + 18*l**2 - 15*l - 20. Let d be i(17). Suppose 5*w = d - g. Solve -2*p = w*p - 20 for p.
5
Let d be 3*20/(-18)*3. Let u be (-6)/4*d/3. Solve u*q + 9 + 6 = 0 for q.
-3
Let x(o) = o**3 - 8*o**2 + 3*o - 19. Let w be x(8). Suppose w*g - 12 = 23. Solve g = -2*c + 1 for c.
-3
Let r(k) = -k**2 - 13*k. Let t be r(-12). Suppose -t*c - 12 = -10*c. Let h be 9 + c - -1*2. Solve -2*z - h = -3*z for z.
5
Let w(x) = x**3 - 29*x**2 - 57*x - 36. Let d be w(31). Suppose -12*f + d = 23. Solve -10*o + 6*o = f for o.
-2
Let n = -1231 - -1239. Solve -45*d = -43*d - n for d.
4
Let g be 87/12 - 1/4. Let c(a) = 2*a - 5. Let u be c(g). Let y = u + -7. Solve -y*s + 7*s = 0 for s.
0
Suppose -6 - 3 = -3*w. Suppose 5*p = 5*t - 20, -48*p + 8 = -47*p + 2*t. Solve b - w - 2 = p for b.
5
Let r(h) = 3*h - 2. Let q be r(0). Let g be (0/((-2)/q))/(-2). Solve -4*o = -g*o for o.
0
Let u(b) = -2*b**3 + 3*b**2 + 2*b + 3. Let m be u(3). Let w(x) = x**3 + 19*x**2 + 17*x - 6. Let l be w(m). Solve 0 = -5*p - l - 8 for p.
-4
Let w = -10 + 14. Suppose -a = 2*i - 4*a - 3, 0 = -w*a + 4. Let c = -5 + 5. Solve c = -i*o - 0*o + 15 for o.
5
Let p(o) = o**3 + 5*o**2 - 8*o - 21. Let r be p(-6). Let k be (4/(-14))/(r/63). Solve k*x + 3 = -5 for x.
-4
Let n(u) = u**2 + 14*u - 8. Let t be n(-15). Suppose 0 = -t*i - 7 + 35. Solve f + i = -f for f.
-2
Let i be (-2 - (12/(-4) + 5)) + 11. Solve i*m - 15 + 1 = 0 for m.
2
Let s(r) = 2*r**2 + 18*r. Let a be s(-9). Suppose a = 3*h - 3*w - 18, 0 = -2*h + 5*h + 3*w. Solve h = -5*n + 8 for n.
1
Suppose -2*y - 165 = -17*y. Solve -6*a + 35 - y = 0 for a.
4
Let c(v) = -7*v + 83. Let t be c(9). Solve 2*x + t = 6*x for x.
5
Suppose -32*u = -7*u - 50. Solve 12*l + u + 10 = 0 for l.
-1
Let c(t) = 3*t. Let n be c(-4). Let b be n/(-4) + 0 - 2. Suppose 3 + b = 4*v. Solve 4*j - v + 21 = 0 for j.
-5
Let f(p) = -p**2 - 9*p + 12. Let n be f(-8). Suppose -n = -9*t + 7. Solve 2 = t*b + 5 for b.
-1
Suppose l - 8 + 12 = 0. Let z be (24/14)/((-1)/(14/l)). Solve 5*u = -z - 4 for u.
-2
Suppose 4*q = 3*o - 0*q - 28, 0 = o + 4*q - 36. Solve 1 - o = 5*b for b.
-3
Let j be -2 - (2/(-4) - 826/28). Let y = 36 - j. Solve -5*b = 12 + y for b.
-4
Suppose -8*y + 5*y = -6. Solve -y*c - c = -3 for c.
1
Let k be (-2)/(-6) + ((-260)/(-12) - 9). Solve -5*i = 3 - k for i.
2
Let l(p) = p**3 + 7*p**2 - p - 7. Let r be l(-7). Let v = -47 - -50. Solve -n + r = -v for n.
3
Suppose 253 - 869 = -14*i. Solve -i*y = -49*y + 25 for y.
5
Let p be 8 + -1 + -14 + 16. Let d = 9 - p. Suppose -4*q + 51 + 9 = d. Solve 4*h - q = -3 for h.
3
Let q(l) = -2*l 