*3 - t**2 - 2*t + 12. Let n be o(0). Solve -5*b + b = n for b.
-3
Suppose 8*r + 20 = 12*r. Solve 0 = -t - r + 4 for t.
-1
Suppose 8 = -2*h - 2*r + 12, -2*h + 5*r = -18. Solve h = -3*m - m for m.
-1
Let c(i) = -i**2 - 2*i + 3. Let l be c(-3). Suppose 3*q - 4*u = -6 - 4, 2*q + 3*u - 16 = l. Suppose q*h + 8 = 4*h. Solve -10 = h*b - 2 for b.
-2
Let v(p) = 3*p**2 - 3*p. Let t be v(1). Solve -4*x - x + 20 = t for x.
4
Let x be (-4 - -3)*3 - -3. Solve x*u = 3*u + 6 for u.
-2
Suppose -2*h - 3*h = 0. Let r be 6/(h + 1 - -1). Suppose -3*p - 10 = -2*g + 2*p, 2 = -r*g - p. Solve -3*z + 2*z = g for z.
0
Suppose 12*l - 12 + 0 = 0. Solve l + 1 = -s for s.
-2
Let r be 1 - (24/42 + (-6)/(-14)). Let y(g) = 13*g**2 - 2*g + 1. Let b be y(1). Suppose -4*z + 2 = -6, 0 = 3*x - 5*z + 4. Solve r = -x*u - u + b for u.
4
Let v = -45 - -56. Solve -v*m - 3 = -8*m for m.
-1
Suppose 7*u - 20 = 3*u. Suppose 11 = 3*q + u. Solve -4*x + q = -2*x for x.
1
Let v be 8 - ((-6)/(-3) + 1). Solve 3 = -v*k - 12 for k.
-3
Suppose 0 = -3*s - 1 + 40. Solve 5*f + 7 = -s for f.
-4
Suppose 2*k + 8 = -3*k + n, 6 = -3*k + n. Let o(v) = -1 + 3*v + 3*v**2 - 6*v + 2*v. Let r be o(k). Solve -r*j + 12 = 3 for j.
3
Let v(p) = -2*p - 7. Let u be v(-7). Let d = 7 - u. Solve -s = -d*s for s.
0
Suppose -6*x - 14 + 44 = 0. Solve 3*o = -10 - x for o.
-5
Let u = -4 + -5. Let n = u - -14. Solve n*p = 2*p for p.
0
Suppose 12 = 3*z + z. Suppose -i - z = -2*i. Solve -q + 4 = -i*q for q.
-2
Let f = 30 - 28. Solve f*q - 5 = -1 for q.
2
Let v = -38 + 54. Solve 5*k + v - 1 = 0 for k.
-3
Let k(z) = z**2 - 3*z - 3. Let x be k(5). Suppose 4*w + 0 = 32. Let s = -2 - -5. Solve s*q + x = -w for q.
-5
Let k be 88/6 + 1*5/15. Solve -5*n + 0 = -k for n.
3
Suppose -8*u + 3*u = 4*l - 32, -3*l + 24 = 5*u. Solve l = 6*p - 4*p for p.
4
Let v = -8 - -6. Let s be 0 - (-2 - 4/v). Solve s = -t - 4*t for t.
0
Suppose 1 = 2*p - o - 16, 3*p + 2*o = 43. Solve 5*j + 4 + p = 0 for j.
-3
Let l(t) = -t**2 + 13*t - 10. Let m be l(12). Solve -c + m = -1 for c.
3
Let q = 1 + 6. Let z = q + -7. Solve z*l + 15 = 5*l for l.
3
Let w = -5 - -4. Let z = 4 + w. Solve u = -z*u - 8 for u.
-2
Let n(f) = 32 - 32 - f. Let t be n(-2). Solve 7*g - t*g = 0 for g.
0
Suppose 4*t + 4 = 4*o + 6*t, 3*t = 2*o + 6. Solve o = u + 1 + 2 for u.
-3
Let m be ((-6)/(-4))/((-2)/(-4) + 0). Solve -a = -m*a - 10 for a.
-5
Let l be 8 + (-10)/(-5) + -4. Solve j + l = 2 for j.
-4
Let a(r) = -r**3 - r**2 + 3*r - 3. Suppose 2*t - 4 = -x - 2*x, 3*t = -4*x + 6. Let n be 1 - (4 + x/3). Let c be a(n). Solve c*w = w + 25 for w.
5
Let o be (-1 - -6) + (-1 - -2). Let u be (-9)/o*30/(-9). Solve -u*r + 16 = -r for r.
4
Suppose -11 = -5*n - 1. Suppose 20 = n*q - 4*a, -a + 5 = 4*q - 2*a. Solve 0 = -2*c - q + 2 for c.
1
Suppose -3*q = -q - 6. Let t = 5 - q. Suppose -2*w - 4*x + 20 = t*w, -w + 2*x = 7. Solve -b = -4 - w for b.
5
Let h be 1*4*2/4. Suppose -h*l = 2*s + 2*l - 20, 4*s + 3*l - 15 = 0. Let j be (3/(-1))/((-4)/4). Solve -i + s = -j for i.
3
Suppose 0 = -q + 3*y + 3, 4*q - 3*y - 2 - 10 = 0. Let i(d) = 1 + d**2 + 0*d - d - 4 - 6*d. Let x be i(9). Solve -q*j = 2*j - x for j.
3
Let k be (2 - 0)/(3/6). Let z(l) = l**3 - 5*l**2 + 6*l - 6. Let c be z(k). Solve -5*x = -c*x - 15 for x.
5
Let a(z) = 28*z - 2*z**3 - 4 - z**2 - 28*z + 5. Let i be a(-1). Solve -i*k = -k for k.
0
Suppose -9 = -2*r - 5. Solve 2*t + r*t - 20 = 0 for t.
5
Let n be (-2)/2 - 2/(-2). Let s = 9 - 7. Suppose -i + 34 = 3*u, 4*i - 30 = -s*u + 56. Solve n = 5*d - i - 6 for d.
5
Let w = 3 + -3. Suppose w*p = 4*p - 20. Suppose 2*j - p*j = -3*f + 21, 4*f + 7 = -3*j. Solve -f = -0*n + n for n.
-2
Suppose -12 + 16 = 2*j. Solve 2 + j = -s for s.
-4
Let t be (4 - 3/1)*4/2. Solve 5 = t*p + 3 for p.
1
Suppose -c + 6 = 5. Solve 0 = 5*i + 9 + c for i.
-2
Let g(x) = x**3 + 10*x**2 - 11*x - 4. Let a be g(-11). Let c be 2/a*(1 + 1). Let u be (2 + c/1)*0. Solve u = -3*m - 2*m + 25 for m.
5
Let g = 1 - 1. Solve -3*z - 6 = -g for z.
-2
Let j = 40 - 47. Let i(o) = o + 1. Let f(h) = -2*h + 12. Let y(s) = f(s) + 3*i(s). Let a be y(j). Solve -2*t = a + 2 for t.
-5
Let v(w) = 4*w**2 + 3*w - 2. Let u be v(1). Let h = -5 + u. Solve 0 = p - h*p - 1 for p.
1
Let i = -11 + 12. Solve i = -4*t - 11 for t.
-3
Let h(r) = -r**3 + 9*r**2 + 10*r. Let l be h(10). Suppose 2*f = -l*f. Solve -a - a - 10 = f for a.
-5
Let m(l) = -l**3 + l + 1. Let a(f) = -3*f**3 + 3*f**2 - f + 2. Let g(o) = -a(o) + 2*m(o). Let k be g(2). Solve k*y - 3 = y for y.
3
Let r = 6 + -2. Suppose 3*b + 3*c = -6, 0 = 2*b - 4*c - r - 4. Solve b*x - 2*x - 4 = 0 for x.
-2
Let j(w) = w**3 - 6*w**2 + 2*w - 8. Let x be j(6). Solve 0*u + 8 = x*u for u.
2
Let i be (-30)/(-8) + 3/12. Let x be i*1*(-10)/(-8). Solve 0 = h - 2*h + x for h.
5
Let x be (-3)/(-2) - (-5)/2. Solve 3 = x*v - v for v.
1
Suppose 5*b - 29 = -4*p, 1 + 0 = b. Let g = 15 - p. Solve 3*j - 6*j = -g for j.
3
Suppose -5*l = -5*o + 29 + 6, 2*o = -3*l - 6. Let y = -1 - -4. Let k be 20/y - (-4)/(-6). Solve 3*a - k = -o for a.
1
Suppose -x = 3 - 7. Suppose 0*s - 5*m - 20 = -s, -2*s = m + x. Let o = 0 + s. Solve 2*i = 6 - o for i.
3
Suppose 3*f - 7 = 5. Suppose 0*u + f*u = 20. Solve -u*g + 0 = 10 for g.
-2
Let i = -93 - -98. Solve 0 = -i*p - 2 + 12 for p.
2
Suppose 0 = 2*c - 10. Let b be (-4)/(-6)*33/2. Let s = b + 17. Solve 3 = -c*g + s for g.
5
Let u(z) be the second derivative of z**5/20 + z**4/3 + z**3/3 + 4*z**2 + 5*z. Let y be u(-4). Solve l + l = y for l.
0
Let r = -53 - -45. Let a(v) = 2*v + 6*v + 6 - v**3 + 2*v**3 + 9*v**2. Let m be a(r). Solve -4*w = -m*w for w.
0
Let s(i) = -i**3 + 4*i**2 - i - 2. Let f be s(2). Suppose f*u = u. Let w = 2 - 0. Solve -w*g = -u*g - 10 for g.
5
Let q(k) = -k - 2. Let y be q(-6). Let t be (y/(-3))/(4/(-6)). Suppose -3*i = -2*n + 7, -3*n + t*i + 10 = n. Solve -n*g = g for g.
0
Let a = 7 + 6. Suppose 5*l - 3*z = 21, 3*z = 3*l + z - a. Solve l*g + 2*g = 0 for g.
0
Suppose -5*s + 14 = -5*a + 9*a, 5*s - 6 = 4*a. Suppose 14 = p - 3*p. Let u = 11 + p. Solve -s*k = -0 + u for k.
-2
Suppose -14 - 6 = -5*s. Let f(d) = 4 - 7*d + 3*d + 3*d + 0*d. Let p be f(4). Solve -3*z + z + s = p for z.
2
Let z = 7 - 6. Solve d = 2*d + z for d.
-1
Suppose -2 = 4*j - 6. Solve 0 = l + 2 - j for l.
-1
Suppose 0 = -9*u + 21 + 24. Solve 0 = u*w - 11 + 1 for w.
2
Let q(g) = -g**2 - 2. Let t be q(-2). Let w be ((-8)/t)/((-3)/18). Let f(u) = u**3 + 8*u**2 + u + 11. Let x be f(w). Solve 0 = -x*b + 4 + 8 for b.
4
Suppose 0*s = 3*s. Let j be s/1*(-2)/2. Let q(x) = x**3 + 2*x**2 - x. Let f be q(-2). Solve f*w + 3*w + 10 = j for w.
-2
Let o be ((-3)/5)/(5/(-25)). Let b(z) = 2*z - 1. Let w be b(o). Solve 2*t + 1 = w for t.
2
Let a = 35 + -14. Let w = -19 + a. Solve -3*j + w = 11 for j.
-3
Suppose -o = -4*o + 12. Suppose o*y = -2*c, -2*c + 2*y = 3*y. Let i be (2 - 6/2)*c. Solve i = 3*q + 2*q + 25 for q.
-5
Let t be (-1)/1 - (-4 + 3). Suppose 4*k - 2*k - 5*n = t, 2*n = -4*k. Solve -4*h = -k - 16 for h.
4
Suppose -2*z + 1 = -7. Suppose 2*y - m = 12, -3*m + 18 = -y + z*y. Let d = y - 2. Solve 6 = -c + d*c for c.
2
Suppose 0 = -3*h - b + 2, -2*h = 2*h + 5*b - 21. Let t be h/(-2)*(13 + -9). Solve -t = l + 1 for l.
-3
Suppose -y + 2*y = -1. Let p be -6*y/1 + 2. Suppose -3*w + p = -w. Solve 1 = w*a - 15 for a.
4
Let g = -4 - -6. Let p = g - 2. Solve 4*q = -p*q + 20 for q.
5
Let s(l) = l. Let p be s(4). Solve -3*k + 2 = -p*k for k.
-2
Let y(i) = i**2 + i + 5. Let m = 5 + -5. Let f be y(m). Solve -5*t + f = -0*t for t.
1
Suppose 78 = -0*h - 3*h. Let u = h - -26. Solve u = -4*o - o + 25 for o.
5
Let l be (184/(-12))/((-4)/(-6)). Let x = -15 - l. Solve 2*p + 2*p = -x for p.
-2
Suppose -l - 4*q - 12 = -3*l, -l = 2*q - 2. Suppose 0*i + 4 = 2*i. Solve i*g - g = l for g.
4
Suppose 0 = -4*f - 2*u + 44, -2*f + 8*u - 3*u - 2 = 0. Solve 0*x = 3*x + f for x.
-3
Let m(y) = y**2 + 8*y - 17. Let i be m(-10). Solve 0 = 4*t + 1 + i for t.
-1
Suppose 3 = -3*v - 0*v. Let w = -1 - v. Suppose o + 12 = 2*k, 4*k + 5*o - 10 = -w*o. Solve k*j = -0 + 5 for j.
1
Let w(j) = -10*j**2 + j**3 - 10*j**2 - 2 + 27*j**2 + 5. Let d be w(-7). Solve 0 = 2*y - d*y - 1 for y.
-1
Let p = -17 + 24. Let b = p + -7. Solve 5*o + 3 - 13 = b for o.
2
Suppose 2*v + 6 = y, y + v = 3*y - 3. Solve y = -6*f + 11*f - 5 for f.
1
Let j be 8*(0 + (-12)/(-16)). Solve 0 = -5*r - j - 4 for r.
-2
