q**2 + q + 2. Let z be t(-2). Solve 0 = -5*s - z + 10 for s.
2
Let h be 0 + -2*(-2 + 0). Solve 4*k + h = -4 for k.
-2
Let p(b) = b**3 - 5*b**2 + 2*b - 7. Let r be p(5). Let g be 0 - (36/(-3))/r. Solve z - g = 2*z for z.
-4
Let y(x) = x**2 - 13*x + 14. Let m be y(12). Solve 0 = -n - m*n for n.
0
Suppose -13 = -0*s - 5*s - p, s + 3*p = -3. Suppose 10 = -n + 2*y, -s*y + 8 + 7 = -n. Suppose -5*l + 3*l + 6 = 0. Solve -l*a + a - 2 = n for a.
-1
Let d be (6 - 5) + (-8)/(-2). Let x(l) = -l**3 + 4*l**2 + 3. Let t be x(3). Solve -d*n + 2*n = t for n.
-4
Suppose -3*x + 0*w = -w - 10, 4*x - 5*w = 28. Solve 1 = x*v + 5 for v.
-2
Let j be 94/16 + 14/112. Solve 2*u + 12 = j*u for u.
3
Let v = 5 + 1. Let f = -6 + v. Solve 3*d + f - 15 = 0 for d.
5
Let w = 5 + 7. Solve -2*t = 2*t + w for t.
-3
Let m(c) = c**3 + 9*c**2 + 2. Let f be m(-9). Solve b - f*b = 0 for b.
0
Let z(w) = w**3 - 3*w**2 + 2. Let s be z(3). Let n be 1/(-1)*s - -5. Suppose 4*i - n*i - 2 = 0. Solve -2*l = i*l + 8 for l.
-2
Let g(i) = i**3 - 4*i**2 - 4 + 0 + 1 + 2*i + 0*i. Let d be g(4). Suppose -2*f + 3*f - d = 0. Solve 25 = f*n - 0*n for n.
5
Let w = -4 - -7. Solve 0*s + w = -s for s.
-3
Let j be -3 + 4 - (-7 + 2). Solve -m - m = -j for m.
3
Suppose 5*x = -0*t + t, -2*x = -t. Solve 3*p + x*p = -6 for p.
-2
Let n = -12 - -17. Solve -n = -2*w + 1 for w.
3
Suppose -3*b - 1 = 4*d, 4 + 2 = -2*b. Let j = 0 + 10. Suppose 0 = 2*h + 4 - j. Solve h = -d*x - 1 for x.
-2
Let c(i) = -i - 10. Let w be c(-15). Solve -8 = d - w*d for d.
2
Suppose -55 = -3*y - 10. Solve -y = 7*b - 2*b for b.
-3
Let y be -6 + 57*3/9. Solve -5*o - 12 = y for o.
-5
Let n = -7 - -12. Suppose -6*w + w = -n*x, 4*x + 4*w = 0. Solve x + 2 = 2*b for b.
1
Let j = 20 + -47. Let i = 43 + j. Solve i = m - 5*m for m.
-4
Let r be 4/(-6) + 8/3. Let b = 7 - r. Solve -2*d = 3*d + b for d.
-1
Let l(p) = -p**2 + p - 1. Let k be l(-4). Let z = -15 - k. Solve 0 = 5*b - 19 - z for b.
5
Let i(a) = -3*a. Let q(l) = -l. Let j(b) = -6*i(b) + 17*q(b). Suppose -3*k = 3*x + 10 + 5, -x + 5 = -k. Let n be j(x). Solve w + n - 2 = 0 for w.
2
Let k(l) = 3*l**2 - l + 1. Suppose 0*q + 2*z = 4*q - 6, -3*q + 2 = -4*z. Suppose -y - y = -q. Let w be k(y). Solve -w = 2*n - 13 for n.
5
Let i(t) = -t - 2. Let d be i(-5). Let g be 1 - (0 - (-4)/(-1)). Solve g*m + d = -7 for m.
-2
Let m = -4 - -10. Let s = m + -1. Solve 0*f = -s*f + 20 for f.
4
Suppose -6*o = -3*o. Solve -5*v + 6 - 1 = o for v.
1
Suppose -20 = -j - 17. Solve 0 = -j*b - 5 - 7 for b.
-4
Let z(p) = p**2 + 1. Let n be z(-2). Suppose n*j - 6 = 19. Solve -j*a - 15 = 10 for a.
-5
Let z = 6 - 6. Let a be -1 + 2 + z + -1. Suppose -4*l + 14 = -3*x, 2*l + 4*x = -a*x + 18. Solve l*n - 12 = n for n.
3
Let j = -5 - -5. Suppose j = 6*l - 4*l. Suppose l = -z + 4*s + 20, -4*z - 2*s + 14 = 6. Solve 0*a - 16 = -z*a for a.
4
Let u be (1/(-3))/((-1)/15). Let m be 346/18 + 8/(-36). Let k = m + -13. Solve u*z - 2*z = -k for z.
-2
Suppose 1 + 1 = -2*m. Let t(y) = -2*y**3 + y**2 + y. Let n be t(m). Solve 0 = -n*q + 4 - 2 for q.
1
Let p(s) = 4*s**2 + 2*s - 1. Let f be p(1). Solve 4 = -f*i - 1 for i.
-1
Suppose -3*r - 5 + 29 = -p, 5*p + 3*r = -84. Let b = 18 + p. Solve 4*s - 2*s = b for s.
0
Let w(n) = -n**3 - n**2 - n + 9. Let l be w(0). Let h = 1 + 4. Solve 2*m + l = h*m for m.
3
Let c be (-8)/12 - 22/(-6). Let z be (9/6)/(c/4). Suppose 3*d = z*d + 3. Solve 6 = -d*q - 3 for q.
-3
Let p(s) = s**2 - 4*s - 3. Let d be p(5). Let i(h) = -h**3 - 4*h**2 - 2*h + 2. Let k be i(-3). Let a be k - (0 - (2 + 1)). Solve 0 = -a*t + d for t.
1
Suppose 35*a - 40*a = -10. Solve 0 = -7*m + a*m + 10 for m.
2
Suppose -31 = -5*y + 4*q, -5*y + 5*q - 9 = -44. Suppose -5 = -5*h - 2*b - y, 3*h + 14 = -5*b. Solve -3*s = h*s + 5 for s.
-1
Let a(u) = -u + 6. Let s be a(4). Let j = -33 - -33. Solve j = 3*p - p - s for p.
1
Let a(b) = -4*b. Let z be a(-2). Suppose 3*t = 2 + 7. Solve x = -t*x + z for x.
2
Suppose 4*r + 2*a = 12, 20 - 4 = 2*r - 4*a. Suppose -4*t + 14 = -2*v + v, 5*v = 10. Solve -5*f + t = -r*f for f.
4
Let a be (-120)/(-28) + (-4)/14. Let f be 1/(1/(1 + a)). Solve 0 = -4*s + 7 + f for s.
3
Suppose 0 = 2*l + 3*l - 30. Let n(s) = s**2 + 2*s + 6. Let r be n(l). Let m = -29 + r. Solve -2*o = 3*o + m for o.
-5
Let i(o) = o**3 + 6*o**2 + 4*o + 5. Let d be i(-5). Suppose -v - 10 = -6*v. Suppose -2 = 2*r + 2*w, -3*w - 11 = -v*r + 7. Solve r*a - 1 + d = 0 for a.
-3
Suppose -13 = -4*j + 7. Let y be (-6 - -1)*(-28)/10. Let w = 11 + y. Solve -w + j = 4*g for g.
-5
Let b(a) = 4*a - 11. Let o be b(8). Suppose u - o = -2*u. Suppose 5*r - 8 = u. Solve -r*n + 1 = -5 for n.
2
Let h(l) = l**2 + l. Let d(q) = -q**2 - q. Let p be d(1). Let i be h(p). Solve 2 + i = 4*g for g.
1
Let x be 0/(1/(0 + 1)). Solve 2*f - 10 = -x for f.
5
Suppose 8 = -5*a + 3*a + 3*w, -2*a - w = -8. Solve 0 = 5*d - 6*d - a for d.
-2
Suppose 4*z - 83 = -7. Suppose -3*m + 25 = z. Solve 5*t + 3 = -m for t.
-1
Let n(b) = -b**3 + 4*b**2 - 4. Let s be n(4). Let h be -1 + 0 + -2 - s. Solve 0*v - h = -v for v.
1
Suppose k + 2*s - 11 = -4, 3*s - 23 = -4*k. Let v = 42 + -32. Solve 0*a + k*a = -v for a.
-2
Let w be 1/(-2)*(-43 + -1). Let a be 41/6 + 5/30. Let d be -3 - 18/(-3 - 0). Solve -d*i + a = w for i.
-5
Suppose 5*c - 39 = 2*c. Let o = -9 + c. Let v be ((-12)/(-9))/((-4)/(-6)). Solve o*q + 10 = v*q for q.
-5
Suppose 2*l = 5 + 3. Solve 0 = k + l for k.
-4
Let a be 26/(-39)*3/(-1). Let t be 13*(2 - 2 - 1). Let v = a - t. Solve -5*q + 10 + v = 0 for q.
5
Let n be (79/(-2))/(2/(-12)). Let i be (-1)/(-4) - n/(-12). Solve i = s + 4*s for s.
4
Let x = -146 + 149. Solve 0 = 8*l - x*l + 10 for l.
-2
Let w(m) = 4*m**2 - 3*m + 6. Let a be w(4). Suppose -g + a = g. Let o = g + -21. Solve 0 = 4*y + o for y.
-2
Let r(w) = w + 17. Let g be r(-14). Let l = -13 - -100. Suppose 4*n + 19 = l. Solve -n = -g*y - 5 for y.
4
Suppose a + 4*a - 4 = -h, -4*h + 16 = 2*a. Solve 2*j - 10 = -a for j.
5
Let k = -10 + 10. Suppose 0 = -k*q + q. Solve q*a - 1 = -a for a.
1
Let t be (-4)/(-14) - 2/7. Let w = t - 0. Solve w = 4*l - 9*l for l.
0
Let t(g) = g**2 + 10*g + 12. Let d be t(-9). Solve d*y + 0 = -6 for y.
-2
Let x(w) = -w**2 + 3*w - 1. Let q be x(2). Let t be 340/16 - q/4. Suppose -3*y + 3 = -t. Solve -k = k + y for k.
-4
Suppose -31*i + 23*i + 8 = 0. Solve 0 = -5*a - 4 - i for a.
-1
Let h be 1/(52/12 + -4). Solve 0 = 8*u - h*u for u.
0
Suppose -31 = -2*c - 7. Suppose 3*l = l + c. Solve 4*v + l + 10 = 0 for v.
-4
Suppose 0 = 3*y + 4*s - 29, -19 = -2*y - 4*s + s. Solve -5 = 4*x + y for x.
-4
Let n be (-1 + (-1 - -2))*1. Suppose 2*f - 4 = -n. Solve 0 = 2*x + f*x for x.
0
Let b(f) = f**2 + 10*f + 9. Let x be b(-7). Let o = -7 - x. Let j be -2 + 3 - (1 + 0). Solve j = -0*l + l - o for l.
5
Let v(i) = -i**3 - 7*i**2 + 3*i + 14. Let z(m) = m + 1. Let y(c) = -v(c) + 3*z(c). Let s be y(-6). Solve -5*t + 0*t = s for t.
-5
Suppose 15 = -3*o, 3*g - 4*g - 3*o - 11 = 0. Solve 0 = -g*d - 0*d + 16 for d.
4
Suppose 0 = 3*j - 0*r + 2*r - 85, 54 = 2*j + 4*r. Suppose 0 = -4*d - 12, -4*w - d + j = 8. Solve u = -u - w for u.
-3
Suppose 4*q + 4 - 28 = 0. Suppose -6 = -q*z + 4*z. Solve z*l + 7 = -5 for l.
-4
Let a be -2 + 3 + (-1 - -7). Let l = a - 7. Solve 3*u + 2*u + 25 = l for u.
-5
Let z be (-3)/1 - (-3)/1. Solve j + 3*j - 4 = z for j.
1
Suppose -14*z = -13*z - 9. Suppose -2*t + 10 = -8. Let i = z - t. Solve -2*w + w - 3 = i for w.
-3
Let n = 7 - 10. Let j = -5 - n. Let u be 25/9 - j/9. Solve 3 = -3*q - u for q.
-2
Suppose 3*c = -5 + 23. Suppose 0 = -i + 2*r - c, 3*i - 4*i = r - 3. Solve i*q = -q + 2 for q.
2
Let b(u) = -u**3 - 5*u**2 + 5*u - 3. Suppose 3*g = -4*r - 21, -4*g + 16 = -5*r + 3*r. Let w be b(r). Solve w*t - 11 = 1 for t.
4
Let l = -10 + 6. Let v be 3 - 0 - (l - -7). Solve 0 = -v*d - 4*d for d.
0
Let t(x) = -2*x**2 + x**3 + 0*x**2 + 8*x**2 + 6 + 5*x. Let p be t(-4). Let g be p/4 + 1/(-2). Solve 8*f + 12 = g*f for f.
-3
Let d be (84/(-70))/(6/(-40)). Let a = -3 - -6. Solve a*m = d*m for m.
0
Suppose 2*c - 4*o = 0, -5*o = 5*c - 6*o. Solve c = 4*f - 0*f - 4 for f.
1
Let t = -29 - -31. Solve t*q + 4 = 6*q for q.
1
Let z = 13 + -23. Let l = z + 12. Solve 16 = -l*c + 6*c for c.
4
Suppose 2*r - 3 = -g + 5, 3*r = -g + 11. Solve r*s + 5 + 1 = 0 for s.
-2
Let v be (-9)/(-4)*20/15. Solve -v*c - c = 0 for c.
0
Suppose 74*u = 70*u + 4. S