et v = 5 + -10. Let c be v + 0 + (-3)/(-1). Let y = c + 2. Solve -3 = 3*q - y*q for q.
-1
Let z(a) = -a**3 + 5*a**2 + 3. Let t(c) = -c**2 + 12*c - 15. Let f be t(10). Let b be z(f). Suppose -2*r = b*r - 25. Solve -27 = r*i - 2 for i.
-5
Let z(m) = -m - 1. Let x be z(1). Suppose -3*v - 10 = 2*v. Let o be 4*x/v*2. Solve 3*k - 15 = o*k for k.
-3
Let c = 2 + 3. Suppose 0*p - 3*p = -c*j + 32, -2*j - 4*p - 8 = 0. Suppose 1 = 5*r - j*r. Solve u - 2 = r for u.
3
Let h(v) = 2*v - 7. Suppose -2*o - 3*t = -0*o - 32, 82 = 4*o - 3*t. Let n be (-1)/(-4) + o/4. Let a be h(n). Solve 0 = -a*l - 0*l - 6 for l.
-2
Let m be 2 + (4 - -3 - 3). Suppose 3*r + 3 = -3*b, -r + m = -2*b - 5. Solve -4*s = 1 + r for s.
-1
Suppose z - 7 = -3*s + 66, -4*z + 32 = 2*s. Let d = 29 - s. Solve 3*p + d = 4*p for p.
3
Let t(l) = -l**2 + 6*l - 5. Let o be t(5). Suppose p + 2*p = o. Suppose -4*y + 2*d - 6 = p, y - 2*y + 3*d - 9 = 0. Solve y = 4*r + r + 10 for r.
-2
Let p = -4 - -8. Suppose 0 = 2*a - 3*a - u + 3, -p*a - 5*u = -7. Solve y + a = -y for y.
-4
Suppose 26*j = 30*j - 88. Solve -5*p - 2 = -j for p.
4
Let a be 3*(-2 - (-52)/24)*0. Solve k + a*k - 4 = 0 for k.
4
Suppose -4*u = -s + 21 - 0, 0 = 4*u + s + 11. Let h(l) = -l**2 - 4*l + 2. Let v be h(u). Solve -v*d = -d for d.
0
Let d(k) = k - 4. Let a be d(4). Solve a*p = p + 3 for p.
-3
Let m(o) = -o + 1. Let q be m(-4). Solve s + 12 = q*s for s.
3
Let v(o) = o**2 - 3*o - 1. Let p be v(4). Let r be (-2)/4 - (-117)/(-18). Let w(f) = -f**3 - 7*f**2 + 5. Let x be w(r). Solve x + p = 4*y for y.
2
Suppose 0 = -2*z - 0*z + 84. Suppose 3*u + 12 = 0, -4*c + 5*u + z + 34 = 0. Let v = 3 + -3. Solve -4*o - c - 2 = v for o.
-4
Suppose 32 = 2*a - 4*u - 0*u, 40 = 3*a - 2*u. Solve -3*z - z - a = 0 for z.
-3
Suppose 0 = t - 0*t - 20. Solve -3*c = 2*c + t for c.
-4
Let o = -6 - -3. Let t = 6 + o. Solve -t*k + 12 = k for k.
3
Let q be (-20)/(-50) + (-3)/(-5). Let c = -6 - -10. Solve q = -l - c for l.
-5
Suppose 2*c + 17*c = 95. Solve -2 + c = -t for t.
-3
Suppose 7 = 2*g - 33. Solve 2*k - g = 6*k for k.
-5
Let r(d) = d**3 - 2*d + d - 8*d + 7*d**2 - 2. Let a be r(-8). Suppose -a - 6 = -y. Solve 2*w = -2*w - y for w.
-3
Suppose 2*l - 2*m - 6 = 0, 0*l + m = 5*l - 15. Suppose -l*j = j. Suppose j*k - 18 = -2*k - 4*r, -1 = -r. Solve 16 = -3*a + k*a for a.
4
Let k = 12 + -11. Solve -k - 5 = -3*s for s.
2
Let h = 28 + -28. Solve h = l + 3*l - 4 for l.
1
Suppose -l + 2 + 1 = 0. Suppose -l*t = -t - 4. Solve 2*n = -t*n + 20 for n.
5
Let p = 6 + -3. Solve 4*k + p = -1 for k.
-1
Suppose 2*u - 51 = -49. Solve a - 2 = -u for a.
1
Suppose -4*f = -3*v - 29, -f + 3*v + 17 = -v. Solve -f*n = -2*n - 3 for n.
1
Suppose 2*k = -5*a + 14, -2*a + 5*k + 13 + 10 = 0. Suppose 0 = -4*c - 3*x + 22, x = -a*c + 3*c + 6. Solve 1 + c = -5*p for p.
-1
Let p(n) = n**2 + 5*n. Let j be p(-5). Let f be j - (-2)/4*2. Let t be 6 + f + (-12)/4. Solve 0 - t = -4*y for y.
1
Let y be ((-4)/(-6))/((-8)/(-36)). Solve 3*t + 9 = -y for t.
-4
Let l(b) = -3*b - 9. Let i be l(-6). Let c be i - (1 + 2) - 2. Solve 0 = p + p + c for p.
-2
Let f be (-14)/(-63)*9 - (-6)/2. Solve f*h = 6*h for h.
0
Let i = -3 - -3. Let f(n) = 2*n**2 - 10*n - 2. Let q be f(7). Suppose 5*k - 14 - q = i. Solve -2*c = 2*c + k for c.
-2
Let p be (1 - 1) + 2 - -1. Suppose -p*y + 3*d = -d + 1, 5*d - 5 = 3*y. Solve 5 = y*b - 0 for b.
1
Let y(l) = -2*l**2 - 16*l + 19. Let s be y(-9). Solve q + 2 = s for q.
-1
Let w be (-16)/12*9/(-6). Solve -5*p + w*p = 3 for p.
-1
Let k be 7 + 0 + (3 - 0). Suppose -s + k = s. Solve 0 = s*x - 4*x + 1 for x.
-1
Suppose -a + 5*c + 20 = 0, -5*c = -5*a - 3 + 23. Let p be 2/((4/(-6))/(-1)). Suppose -k = 5*x + p, -k - 4*x + 1 = -0. Solve a = -5*y - k - 8 for y.
-5
Let s be 0*(-3)/(-12) - -1. Solve 0 = -n - s for n.
-1
Let k = -36 - -51. Let u(w) = -4*w + 48. Let t be u(11). Solve -t*f - k = f for f.
-3
Let w = 86 - 81. Solve 0*r + w = -r for r.
-5
Suppose -x = -2*o - 6*x - 14, -5*o + x = -19. Let w(y) = -y - 8. Let u be w(-10). Solve -o*g - 13 = u for g.
-5
Let q(t) = t**3 + 12*t**2 - 14*t - 8. Let b be q(-13). Solve 0 = -2*h + b*h + 3 for h.
-1
Let f(t) = -3*t - 6. Let m be f(-5). Let p(n) = -n + 8. Let j be p(6). Suppose -j*s + 2 + 6 = 0. Solve -10 = -m*u + s*u for u.
2
Let k = 1 + 1. Suppose 2*q - k = 4. Suppose -4*v + q*j = -14, -5*v = -0*v - 2*j - 21. Solve 2*m = 5 + v for m.
5
Let i be (-1240)/(-25) - 6/10. Suppose 0 = -5*u + 1 + i. Let b be (-41)/(-5) - 2/u. Solve -3*k = -5*k + b for k.
4
Let i(r) be the second derivative of -r**5/20 - r. Let b be (-4 + 4)*1/(-2). Let g be i(b). Solve -3*q - 2*q = g for q.
0
Let b = 3 + 8. Solve -5*y - 36 = -b for y.
-5
Suppose 3*w - 3*l - 17 = -2*l, 2*w - 14 = 2*l. Suppose w*u - 2*u - 6 = 0. Solve u*v = -v + 3 for v.
1
Suppose -f = d - 9, -2*d - d - f + 25 = 0. Solve -3*b - d = 1 for b.
-3
Suppose -4*j - 12 = 0, j = -2*b - 2*j - 7. Solve 0 = a - 1 - b for a.
2
Suppose 0 = -i + 3*i - 4. Suppose 0 = 2*q - 3*n + 3, 1 = -i*q + n - 0*n. Let f be 1/4 - 2/8. Solve f = -5*b - q*b for b.
0
Let s be (-1)/((-1)/4)*-2. Let l(d) = -d - 3. Let x be l(s). Suppose 16 = x*u - 9. Solve -3*f = -u*f + 10 for f.
5
Suppose -6*n = 2*n - 0*n. Solve 2*z = 4 - n for z.
2
Let x(g) = -1 + 2*g**2 + 13*g**2 - 6*g**2 + 0. Let l = 0 - 1. Let k be x(l). Solve k = -3*c - c for c.
-2
Let w be 0 - 1*-8 - 2. Let j = -2 - -1. Let i be 5/2 - j/2. Solve w*z = i*z - 15 for z.
-5
Let h be 6*3/(6/1). Solve -6 = 3*r + h for r.
-3
Let x = -49 - -53. Solve 0*c = x*c + 8 for c.
-2
Let s = -4 + 4. Let t(b) = b + 5. Let o be t(s). Suppose 5*g - 8 = 42. Solve 0 = o*v + g - 0 for v.
-2
Let k be -1 + -1 - (-16)/4. Suppose -k*x - 4*q = 4, 0 = 2*x - 0*x + 2*q. Solve 0 = l + x - 1 for l.
-1
Let o be ((-7)/(-28))/(1/20). Suppose -r - 2 = 1. Let w = o + r. Solve -g = -0*g + w for g.
-2
Suppose 7 = 3*x - 8. Let n be 0 - (x + -2 - 3). Solve -2*b + 0*b = n for b.
0
Suppose -27*m = -32*m. Solve 16 = -4*g - m for g.
-4
Let g = -144 - -215. Let u = g - 49. Solve -3*y + 7 - u = 0 for y.
-5
Let n be -2 + 16/2 - 1. Suppose -n*o = 2*d - 10, -5*d + d + 5*o = 10. Suppose k + 15 = 4*k. Solve -4*s - k - 3 = d for s.
-2
Let s = 10 + -6. Suppose x + 0*t = -2*t, 2*x = -2*t + s. Solve -x*f = -0*f for f.
0
Let q(x) = x**3 + 5*x**2 + 5*x. Let v be q(-4). Let i = v + 10. Suppose -16 = -4*a - 0*a. Solve 2*g = i*g + a for g.
-1
Let n(k) = -13*k - 9. Let b be n(-1). Solve 0 + b = -r for r.
-4
Let p = 5 - -1. Suppose -3*n + p = -6*n, -f + 2*n = -11. Let s be (-74)/(-14) - 2/f. Solve -7 = -s*m - 27 for m.
-4
Let o be -5*(1 + 14/(-10)). Let p(i) = -i**3 + 4*i**2 + i - 4. Suppose 0 = -0*r + 2*r - 8. Let g be p(r). Solve g = 3*j + o*j for j.
0
Suppose 2*b + 4*b = 0. Solve b = -10*o + 5*o - 25 for o.
-5
Let s(t) = 15*t**2 + 1. Let b be s(-1). Let j(q) = q**3 - 7*q**2 + 6*q. Let f be j(6). Let x be 2 - 0*(-2)/4. Solve 6*l - x*l + b = f for l.
-4
Let u be (-14)/(-6) - 0 - 8/24. Solve u*o - 2 = o for o.
2
Let t be (-4 - 0) + 6 - -12. Solve 3*o - t = -5 for o.
3
Suppose -85 = -0*m - 17*m. Solve 2 = m*a + 27 for a.
-5
Let a = -10 + -35. Let o be 2/(-9) + 260/a. Let f be 2/o*-3*5. Solve -4*c + f = c for c.
1
Let g = 0 - -5. Suppose 2 = 4*l - 2*l. Suppose k - g = -l. Solve -a - 15 = k*a for a.
-3
Let b be 4/(0 + 1 - -1). Let g be (-1 + 0 + -3)/(-2). Suppose 0 = -3*f + g*y + 5, f - 2*f + 5 = y. Solve 0 = 5*z - b*z + f for z.
-1
Suppose 4*y - 1 = -c + 2*y, 4*c - 14 = 2*y. Suppose 2*a = q, 3*a + 0*q + c*q = 0. Solve -4*m - 4 = -a*m for m.
-1
Let q(d) = -d + 2. Let z be q(-2). Suppose -3*o = -2*v + 1, 4*v - z*o - 2 - 2 = 0. Solve 3*p - v*p = 0 for p.
0
Suppose -4*i = -l - 2 - 3, -3 = -5*i - 2*l. Let p be 1/(i/(-2 + 6)). Suppose p*s - 5 = -s. Solve -7 = 2*w - s for w.
-3
Let o(p) = -p**2 - 3*p + 5 - 6 - 2*p + 7. Let c be o(-6). Solve c*z - 1 = z for z.
-1
Suppose -42 = 7*o - 126. Solve -3*a + 0*a = o for a.
-4
Suppose 0*q + 9*q - 180 = 0. Solve q = u + 15 for u.
5
Let n = -10 - -14. Suppose r + 12 = -2*v, 2*r + 20 = 4*v - 7*v. Let o(l) = -4*l - 1. Let h be o(r). Solve y = n*y + h for y.
-5
Suppose 4*f - 38 = -3*k - 0*f, -4*f = -3*k - 2. Let y(j) = j + 4. Let o be y(0). Solve k*x - o = 4*x for x.
2
Let x(u) = -u**2 + 6*u - 5. Let z be x(5). Let q(f) = -f - 18. Let c be q(z). Let y be 1/(2 - (-33)/c). Solve -y*o + 15 = -3*o for o.
5
Let m be 1/2 - 38/4. L