+ 2 = -2*l. Let t = 5 + l. Solve 0 = -5*v + t*v for v.
0
Let v(g) = -3*g - 6. Let j be v(-4). Solve -j*o = -3*o + 15 for o.
-5
Let i be -2 + 0 - (3 + -1). Let d be i/(-2 + 4/3). Suppose 3 = 5*p - 7. Solve w = -p*w + d for w.
2
Let r be 4/(12/(-15)) + 2. Let f be ((-2)/3)/(2/(-3)). Let a = f - r. Solve 0 = -a*k + 2 + 2 for k.
1
Let u be 11/((-1)/(-1) + 0). Let t = u + -6. Solve t*h - 8 + 33 = 0 for h.
-5
Suppose 1 = -2*z - 1. Let l be (z/3)/((-1)/15). Solve l*a + 3 = 8 for a.
1
Suppose -2*y - 1 + 5 = 0. Solve -y*j - 9 = -1 for j.
-4
Suppose 0 = t, 2*r - 1 - 1 = 5*t. Solve -9 + r = 4*z for z.
-2
Suppose -4*a = 0, 0*u + 4*a + 10 = 5*u. Solve 0 = -0*r - u*r - 2 for r.
-1
Let r = 19 - 17. Solve 0 = -g - r*g + 3 for g.
1
Let z = 7 - 7. Suppose z = -3*h + 5 - 8. Let p = 2 - h. Solve 0 = -v + p*v for v.
0
Let i(a) = 7*a - 1. Let t be i(1). Suppose -t*h - 1 = -7*h. Suppose -5*k - 3 = -3*y + 2, 3*y = -4*k - 4. Solve -d + y = h for d.
-1
Let d(n) = n**3 + 6*n**2 + 4*n + 3. Let j be d(-5). Suppose -19 = -16*t + 61. Solve 0 = -3*p + t*p - j for p.
4
Let i(f) = 8 + 4*f**2 + 7*f + 0*f**2 - 2*f - 3*f**2. Let s be i(-6). Solve 5*l + s - 34 = 0 for l.
4
Suppose -4*x + 186 = 26. Suppose x + 0 = 4*s. Solve s = 4*r - 2 for r.
3
Let b = -50 + 51. Suppose -2*w = -2*k + 6, -w - 17 = -3*k - 8. Solve -k*i + 2 = -b for i.
1
Let w(g) = -g**3 + 12*g**2 - 11*g + 2. Let i(v) = v**3 - 7*v**2 + 7*v + 5. Let d be i(6). Let m be w(d). Let t = -13 + 14. Solve t - 3 = m*r for r.
-1
Let z(x) = -x - 6. Let k be z(-6). Solve -3*s + 6 + 0 = k for s.
2
Suppose -2*s = 2*s + 12, -5*g - 12 = 4*s. Solve g*t - 15 = 3*t for t.
-5
Let r(m) = m + 4. Let x be r(-2). Let d(h) = -3*h - 4. Let z be d(-3). Suppose 2*f = 3*i - x + 9, 5*i = -z*f + 30. Solve 0*q = q + i for q.
-1
Suppose 0 = -0*i + 2*i. Suppose i*w + 4 = 2*w. Solve w*h = 1 + 7 for h.
4
Suppose 8 - 28 = -5*c. Suppose c*s - h + 6*h = 0, -5*h = 0. Solve s = t + t + 2 for t.
-1
Let f be 21/24 - (-3)/24. Solve -2 = -t - f for t.
1
Suppose q - 3*r - 6 = 0, 12 = -0*q + 2*q - 3*r. Let d = 2 + -4. Let v be d/2*-1 - -1. Solve -q = -v*m - m for m.
2
Let y be 0/((-3)/(12/8)). Solve y*n + 15 = -5*n for n.
-3
Let s = -10 - -16. Let j(b) = -b + 10. Let u be j(0). Let x = u - s. Solve r + 12 = x*r for r.
4
Suppose 0*c = 5*c. Solve c = 4*o - 4 - 0 for o.
1
Let j(u) = -u. Let m be j(-2). Suppose -11 + 51 = m*h. Solve 0 = -0*f - 4*f + h for f.
5
Let s be 2/(-6) - 280/(-12). Let d = s + -20. Solve 0*b + 3 = d*b for b.
1
Let k be 10*(-10)/(-25) - -2. Solve -2*g + k*g - 8 = 0 for g.
2
Suppose -11*s + 13*s = 10. Solve 2 = -s*u + 7 for u.
1
Let f = -72 + 72. Solve -3*g + f*g + 3 = 0 for g.
1
Let v be 9 - (25/(-5) + 10). Let d = 2 + -2. Solve v*j + d*j = 20 for j.
5
Suppose 2*d = 7 - 5. Let w be -1 + (1 - (-1 - d)). Solve -w*j - 2*j + 20 = 0 for j.
5
Let w(m) = -m**3 + m + 4. Suppose 5*n + 15 = -3*z, 5*n + 2*z - 7*z = 25. Let f be w(n). Solve -f*u + 0 = 20 for u.
-5
Suppose -3*c + 5*g = 29, g = c + 4*c + 19. Let n = -9 - c. Let h be (-12)/(-7) + n/(-21). Solve -h*b - 2 = -8 for b.
3
Let v(g) = g**2 - 2*g + 1. Let x be v(3). Let o(f) = 3*f + 3. Let k(d) = -7*d - 6. Let z(n) = 2*k(n) + 5*o(n). Let y be z(x). Solve 2*a - y*a = 0 for a.
0
Let u = -44 + 48. Solve -34 = -u*g - 14 for g.
5
Suppose 3*c + 2*j = 7*c - 10, -2*c = 2*j - 8. Let v(f) = -f**2 - 2*f + 1. Let r be v(-3). Let l be (6/(-15))/(r/20). Solve l*y + 3 = c*y for y.
-3
Suppose -4*u - 9 - 9 = -5*q, -2*u = -q + 6. Let p(h) = -h**3 + 8*h**2 + 2*h - 11. Let f be p(8). Solve 8 = -f*w - q for w.
-2
Let g(j) = j**3 + 5*j**2 + 1. Suppose -5*a = -0*y - y + 10, 0 = -2*y - 4*a - 22. Let o be g(y). Solve -11 - o = -4*u for u.
3
Suppose 0*b - 3*b + 48 = 0. Solve -5*x = -x - b for x.
4
Let x(o) = 6*o - 38. Let n be x(7). Solve n*d = 5*d + 5 for d.
-5
Let d = -1 + 3. Suppose l + l = 4*p - 6, 0 = -5*p + 15. Suppose 5*c = 2*c + 4*k + 56, 2*c - 39 = l*k. Solve -2*j = d*j + c for j.
-3
Suppose -2 = g - 2*g. Let x(s) = 0*s**2 + 5*s - g*s**2 + 3*s**2 + 2. Let z be x(-5). Solve -7 - 1 = -z*d for d.
4
Let s = 9 + -4. Let f be (3 - (2 - 0))*s. Suppose -3 + 23 = f*h. Solve 1 = -3*u + h for u.
1
Let m = -5 + 6. Solve -2*h = -3*h - m for h.
-1
Suppose -6*u + 10 = 5*h - 2*u, 4*h - 3*u = 8. Solve -2*c = h*c for c.
0
Suppose 4*q = -2*f - 8, 5*q - 3 + 10 = -4*f. Solve f*z - 3*z = -4 for z.
4
Let s be (1 - 0)/((-4)/(-16)). Suppose 0 = -0*o + s*o. Suppose 3*x - 18 = -3*h, o = 4*h + 2*x + 5 - 21. Solve -3 = h*t + t for t.
-1
Let p = -1 + 7. Suppose 3*d + 1 = d + j, 2*d + 19 = -5*j. Let i be (d/(-4))/(1/6). Solve i*b = -0*b - p for b.
-2
Suppose 0 = 3*l + y - 11, 2*y + 15 = -l - 3*y. Solve -2*k = -l*k + 3 for k.
1
Let j(c) = c**3 + 10*c**2 + 10*c + 13. Let s be j(-9). Suppose -5*p - 8 = -s*g, 2*p = -0*p. Suppose 7*o = g*o + 15. Solve -3*z + 6 = -o for z.
3
Suppose -u - 4*u - 10 = 0. Let y(d) = 1 + 1 - 4 - 2*d. Let c be y(u). Solve -12 = 5*i - c for i.
-2
Suppose 2*k + 2*t + 2*t - 18 = 0, 4*k = 4*t. Let n(h) = -2*h - 4. Let v be n(-4). Solve k*i + v = -i for i.
-1
Let z = -84 - -104. Solve -4*o + z = -9*o for o.
-4
Suppose 10 = 6*p - p, 2*y + 3*p - 6 = 0. Solve m + y - 3 = 0 for m.
3
Let p(f) = -f + 7. Let y(s) = 2*s - 15. Let q(o) = 13*p(o) + 6*y(o). Let x be q(1). Suppose 3*g + 4*h - 12 = 0, -5*g - 2*h = h - 9. Solve -5*d + x*d = g for d.
0
Suppose 3*r - 36 = -24. Solve 0 = 4*y - 4 - r for y.
2
Let h(q) = -7*q + 9. Let f(d) = 6*d - 8. Let y(b) = -6*f(b) - 5*h(b). Let a be y(0). Suppose 2*o - n + a*n - 6 = 0, -5*o + 15 = -2*n. Solve -4*m + 11 = o for m.
2
Let u = -20 + 22. Solve u*s + s + 9 = 0 for s.
-3
Let o be (-4)/(-6)*9/6. Let c be o/(-4) + 5/4. Let s = -1 + c. Solve -3*w + 2 - 5 = s for w.
-1
Suppose 3*u + 2 + 1 = 0. Let m = u + 1. Solve -t = 3 - m for t.
-3
Let l(s) = 5*s + 1. Let x be l(-1). Let f(d) = -4 - d + 3*d - 7*d + 3*d. Let y be f(x). Solve -y*c - c = -20 for c.
4
Suppose -24 = -13*z + 2. Solve 0 = -4*g + 2*g - z for g.
-1
Suppose 2*w - 4 = -5*k, 2*w - 3*w = k + 1. Suppose 24 = 5*c - c. Let a = -4 + c. Solve a*r = -0 - k for r.
-1
Suppose -z - 2*z + 10 = s, 16 = 2*s + 5*z. Let q = -1 - 3. Let c = s - q. Solve c*b = -0 - 4 for b.
-2
Let s(c) = -c**3 + c**2 + c + 2. Let r(p) = -p**2 - 6*p + 7. Let l be r(-7). Let b be s(l). Solve -j - b*j = -15 for j.
5
Let m = 15 - 37. Let f = m - -37. Solve -2*v - f = -5*v for v.
5
Suppose -3*a + 2*a + 8 = 3*f, 16 = 4*f - 4*a. Solve 0 = 6*w + 21 - f for w.
-3
Suppose -l - 3*l + 12 = 0. Suppose -l*q - 15 = 3*t, -2*t - 3*q = -8 + 23. Suppose -2*p + 24 = -a + 5*a, a - p = t. Solve -a*x = -4 - 0 for x.
1
Suppose 4 = -0*v - 2*v - 2*d, 3*v + 2*d = -1. Solve -2 = -k + v for k.
5
Let y = 31 + -27. Suppose 2*h + 5*j + 15 = 0, -2*h + h - 2*j = 5. Suppose 0*c + 35 = h*c. Solve -z - c = -y for z.
-3
Let f(y) = -y**2 - 5*y + 1. Let j be f(-4). Solve -j*u = -u + 20 for u.
-5
Let i be 40/60*(-3)/(-1). Solve -5*s = -i*s for s.
0
Let o = -42 + 42. Solve 2*r + r = o for r.
0
Let k(c) = -c + 1. Let v(s) = 5*s - 8. Let y(x) = -4*k(x) - v(x). Let i be y(2). Let f = 5 + -5. Solve -i*l + f = -2 for l.
1
Let o = 0 + 1. Let t(m) = 13*m - 1. Let i be t(o). Suppose -4*w + i = -f - 0*f, 2*w = -4*f + 24. Solve f*s - 3*s = 0 for s.
0
Suppose -4*j + 4 = y + 45, -3*j - 29 = -y. Let g = 20 + j. Solve 0 = -4*u - g + 22 for u.
3
Let s be 12 + (3 + -3)/(-2). Suppose 3*t + 3*x - 9 = 0, 0*t + s = -2*t + 4*x. Solve -m - 1 - 4 = t for m.
-5
Suppose -13 + 1 = -4*l. Suppose -5*y + 5*t - 15 = 0, 0 = 4*y - t - 0*t + 3. Solve l*v + 2*v + 5 = y for v.
-1
Let o be (0*(-2)/4)/(-2). Solve o = -c - 2*c for c.
0
Let r(d) = -1 + 2*d + 2*d + 0*d**2 - 3*d + 2*d**2. Let k be r(1). Solve -k*l - 10 = -2 for l.
-4
Suppose 5*k = 2*s + 12, -1 = 5*s + 4. Solve t - k - 2 = 0 for t.
4
Suppose -5*x + 10 = 3*l, -5 - 18 = -2*x - 5*l. Let j = 1 - x. Solve j = -3*b - 4 for b.
-2
Let h be (-15)/(-1) + 1 + -1. Let q(i) = 4*i**2 + 29*i - 19. Let r be q(-8). Solve -2*d = h - r for d.
-5
Let u(s) = s**2 + 8*s + 9. Let g be u(-7). Suppose -g*c - 2*c + 12 = 0. Solve 1 = -c*x - 11 for x.
-4
Suppose -i = -3*w - 2, 2*w + 2*w = 2*i - 2. Let n = w + 3. Solve n*m + 10 = -0*m for m.
-5
Suppose 10*y - 19 - 31 = 0. Solve -y = 3*u + 7 for u.
-4
Suppose 2*a - 16 = -6*a. Solve 4*x + 10 = a*x for x.
-5
Suppose 0 = -5*z + o + 54, -4*z = z + 5*o - 30. Suppose 4*m = 2*q