Let y be n(4). Suppose 0*k = 4*k. Solve -y*u = -k*u for u.
0
Let o be 1 - (0/2)/(-3). Solve 2 = -j - o for j.
-3
Let b(x) = x + 2. Suppose 0 = 6*j - 2*j. Let z be b(j). Solve -7*l + z*l = 25 for l.
-5
Let v = -17 - -17. Solve v = -x + 2*x for x.
0
Suppose 2*n - 20 = -k, -2*k - 64 = -6*k - 4*n. Let d be -1 - -1 - (-1 - 2). Solve -d*s = -7*s - k for s.
-3
Let x(k) = -6*k + 3. Let z be x(3). Let n be 28/10 - 3/z. Let h be -12*(n/12 + -1). Solve 5*b + h = -6 for b.
-3
Let r be 1 + 4 + (1 - 3). Let y be ((-56)/35)/((-2)/10). Suppose -3*o + y = o. Solve l + r = o for l.
-1
Suppose u = -3*u + 5*t + 9, -2*u - t + 1 = 0. Solve -j - u = 2 for j.
-3
Suppose -1 = g + 4*u - 9, 4*g = u + 15. Let c be 9 + 0 - (2*-1 + 2). Let q = c - g. Solve 0*z = q*z - 15 for z.
3
Suppose 0 = -g - 0*g. Solve g*r + r + 5 = 0 for r.
-5
Suppose -3*b - a + 9 = 0, -5*a + a = -b - 10. Suppose -b*i = -1 - 1. Solve -2 - i = 3*c for c.
-1
Let f be -4 + (-1 + 0 - -25). Solve 0 = 4*c - 0*c - f for c.
5
Let k = 8 + -8. Suppose k*x - 2*x + 4 = 0. Suppose -z = x*z - 12. Solve 3*r - z = -r for r.
1
Let o = -61 + 64. Solve 0 = o*q - 2*q for q.
0
Suppose 2*k = 2*q - 26, -4*q = -3 + 7. Let i = -9 - k. Solve 0 = i*b - 0 + 5 for b.
-1
Let n be (0 + (-36)/42)*(-14)/2. Let l = 14 + -10. Solve -n*d - 8 = -l*d for d.
-4
Let w be (-1)/((-2)/(-6) - 0). Let j(i) = -i**2 - 3*i + 2. Let g be j(w). Solve -g*z - 1 = -z for z.
-1
Let d(t) = -3*t - 3. Let o = 15 + -17. Let i be d(o). Let y be 10 + 1 - (1 + 1). Solve i + y = -4*u for u.
-3
Suppose -5*p = -3*p + 2. Let r = -1 - p. Suppose r = 2*k - k. Solve -12 = 4*f - k for f.
-3
Let i be 4/(-10) - (-14)/10. Let u = -8 + 11. Suppose 0 = -2*t - 8, -4 = -5*s - 2*t + u. Solve -s + i = -2*m for m.
1
Let p = -102 - -108. Suppose -2*y + 3*c = -8, -y + 4 = -c + 3*c. Solve -p*m = -y*m for m.
0
Let h be 4 - ((-12)/15)/((-4)/(-10)). Solve i - h = 3*i for i.
-3
Suppose 2*c - 6*c - 152 = 0. Let y = -27 - c. Let q(s) = -s - 1. Let m be q(-4). Solve y = 4*d + m for d.
2
Let m be 4/3*(-33)/2. Let p = 30 - 44. Let c = p - m. Solve 0 = 4*r + 12 + c for r.
-5
Let s be (1/1)/((-1)/(-10)). Let u(p) = 0 - 4*p + 5*p + s. Let h be u(-8). Solve 0 = -i + 3*i - h for i.
1
Let t be (-3 - -1)/(4/6). Let o(d) = 5*d**2 - 5*d + 8. Let p(z) = 4*z**2 - 5*z + 7. Let b(k) = t*o(k) + 4*p(k). Let n be b(4). Solve -9 = -n*q + 3*q for q.
-3
Let u be (-2*3)/((-12)/16). Solve 4*n + 8 = -u for n.
-4
Let l = 61 - 43. Solve 6 - l = 4*y for y.
-3
Suppose -z + 36 = 2*z - 3*w, 0 = -3*w. Solve 3*q = 7*q - z for q.
3
Suppose 0 = h + 2*h - x - 6, -5*x = h + 14. Suppose 0 = 4*u - 9 + h. Let f be (1 + 0)*(-2 + u). Solve f*r + 8 = -4*r for r.
-2
Suppose 2*m - 3*m = 7. Let k = -4 - m. Suppose 0 = -k*f + 10 - 1. Solve 0 = -3*o - 0 - f for o.
-1
Suppose l + 1 = 6. Let c = -1 + l. Suppose -k - 3 = -c*s, -s - 14 + 1 = -3*k. Solve s*g - g = -3 for g.
-3
Suppose 0 = 5*a - 7 - 3. Suppose -6 = 2*b - a*t, -t + 8 = -4*b + 2*t. Let r = b - -3. Solve z + 15 = r*z for z.
5
Let m = -6 - -4. Let q(p) = -p**3 - 3*p**2 - 4*p - 2. Let x be q(m). Let f = x + 0. Solve -3*g = -g + f for g.
-1
Let m be (-6)/21 + 18/14. Solve 3*y = -2 - m for y.
-1
Let v(s) = -s + 9. Let i(y) = -2*y + 9. Let p(u) = -3*i(u) + 2*v(u). Suppose x + 5*z - 26 = 0, -2*x + 6*z = z + 8. Let t be p(x). Solve -5*b = -0 - t for b.
3
Suppose -25 = -4*o - o. Suppose -o*z + 10 = -0*z + 3*a, -6 = -3*z - a. Suppose z*s = 3*s - 7. Solve -4*f - 9 - s = 0 for f.
-4
Let t(s) = 2*s**3 - s + 1. Let i = 2 + 1. Suppose -4*n = -1 - i. Let x be t(n). Solve -z = -3*z - x for z.
-1
Suppose -3*g - 7 = -2*h, -3*g - 2*h - 5 = -6*h. Let n(q) = q**2 - q - 3. Let k be n(g). Solve -7*d - k = -4*d for d.
-3
Let x(h) = h**2 + 9*h + 11. Let p be x(-8). Let s be p/(6/(-2))*-2. Let o = s - 0. Solve -o*t = t for t.
0
Let r be ((-4)/(-6))/((-1)/(-3)). Suppose -s + 6 = 8, -5*s - 13 = -w. Solve d + r = w*d for d.
1
Let f be (-16)/(-88) - 1228/(-22). Let i be (0 + -1)/((-8)/f). Solve 2*l = 1 + i for l.
4
Let q be (-2)/((-15)/(-6) + -3). Suppose -5*g - 1 = -21, -4*l = -q*g + 12. Solve -l = -2*v + 3 for v.
2
Let u(p) = 2*p**2 - 3*p - 3. Let z be u(-3). Let v = z + -14. Suppose 23 = 5*o - 4*a + 2, -2*o + 8 = -2*a. Solve -o*f - v + 0 = 0 for f.
-2
Let l(k) = -2 - k + 2*k - 5. Suppose -2*b - 5*i - 43 = -6*b, -5*b + 20 = 5*i. Let w be l(b). Solve w*s - 5*s = 0 for s.
0
Let o = -15 + 6. Let d be o/(-12)*4/1. Solve -7 = 5*k + d for k.
-2
Let k = 6 - 3. Let r be (-3)/9 - (-25)/k. Suppose r = 4*q - 4. Solve -q*h = -0*h - 12 for h.
4
Suppose 15 = 4*q + q. Let g(u) = -3*u. Let r be g(-1). Suppose b + 4*w - 9 = 0, -2*w + 2 + r = b. Solve -q*z + 13 = b for z.
4
Let a(y) = y**3 + 3*y**2 + 1. Let m be a(-2). Suppose -m*o = -4*u + 51, 2*u - 5*o - 24 = u. Solve 0 = 4*x + u - 1 for x.
-2
Let y = -1 + 4. Suppose -r - 7 = -2*f, 0 = 4*r + y*f - 5*f - 2. Let u be 34/4 + (-3)/6. Solve -x - r*x = u for x.
-2
Let m(c) = c**3 + 5*c**2 - c. Let g be m(-5). Suppose -g*v + 6*v - 12 = 0. Solve v = 2*i + i for i.
4
Suppose -3*q = -4*y + 31, 5*y - 9 = -q + 6. Solve y*t = -t for t.
0
Suppose -3*m + 0*s - 5*s - 9 = 0, -3 = s. Solve m = -v + 5 for v.
3
Let q = 20 + -14. Suppose 0 = l + q. Let x be (-1 - l) + (-4)/4. Solve 0 = 4*z - 0 + x for z.
-1
Suppose -2*c + 0*c - 10 = 0. Let f(h) = h**3 + 6*h**2 + 2*h + 5. Let d be f(c). Solve 2*o = -2*o + d for o.
5
Let o(v) = v**2 + 3*v - 6. Let t be o(-5). Suppose -4*d = t*f, 3*f - 3 - 5 = -d. Suppose 2*w + 0*w = 0. Solve 8 = f*l - w for l.
2
Let u(r) = r**2 + 15*r + 12. Let d be u(-15). Suppose -4*s - d = -2*l, 0*l + 15 = 5*l - 5*s. Solve l*i = 3*i - 3 for i.
1
Suppose 7 - 22 = 5*r. Let o = 6 + r. Solve -o*s - 5 = 7 for s.
-4
Let i = 14 - -14. Suppose -6*t = -2*t - 24. Suppose 2*a + k = 11, 3*a + 3*k - 12 = t*k. Solve a*x + i = 8 for x.
-4
Let l(t) = t**2 - t - 6. Let p be l(4). Solve -y - 4 = -p for y.
2
Suppose 4*y = 5 + 15. Solve 3*a + y = -2*a for a.
-1
Suppose 6*n = n + 40. Solve 3*f - 15 = n*f for f.
-3
Let o(b) be the third derivative of -b**6/120 + b**5/5 + 7*b**4/12 - 7*b**3/6 - 4*b**2. Let t be o(13). Solve -n + t*n - 10 = 0 for n.
2
Let k = -51 - -72. Suppose s + a - 11 = -s, 0 = -2*s - 3*a + k. Suppose s*d = 7*d - 12. Solve 0*q - d = q for q.
-3
Let y = 25 - 10. Let d = 21 - y. Solve 0*u - d = 2*u for u.
-3
Let x(q) = -q**2 - 8*q - 1. Let n be x(-8). Let c be (-5 + 0 - -2)*n. Let m be 249/51 + 4/34. Solve -c*u - 8 = -m*u for u.
4
Let t(m) = -m**2 - 8*m + 3. Suppose 5*l - 3*l = -12. Let b be t(l). Let k be -15*(0 - b/9). Solve -8*j + k = -3*j for j.
5
Let p be 5/(-1)*(-3 + 0). Suppose p = 4*x - x. Solve -2*b + x = -b for b.
5
Let q(t) = t**3 + 11*t**2 - 16*t - 28. Let s be q(-12). Solve 5 = -3*o + s for o.
5
Suppose 6 = 4*c - 10. Let b be 3/9 + 16/6. Solve -b*t + c - 10 = 0 for t.
-2
Suppose 3*q - 5 = -4*n - 118, -5*n = 5*q + 140. Let h = -11 - n. Suppose -2*f - 5 = c - h, 3*c + 15 = 3*f. Solve -b = -f*b for b.
0
Suppose 3*r - 27 = -0*r. Solve w - r = -4 for w.
5
Suppose 0*v = -5*v + 5*o - 20, v - 3*o + 12 = 0. Solve -5*k + 4*k + 1 = v for k.
1
Let l(a) = -a**2 + 8*a - 2. Let i be 2/(1/((-51)/(-2))). Let z be i/7 + 4/(-14). Let n be l(z). Solve v = -0 - n for v.
-5
Let n = 11 + -5. Let z be 8 - n*(-3)/(-6). Solve -3*p - 8 = -z*p for p.
4
Let k(b) = 7*b + 26. Let q be k(-3). Solve 0*i - q*i = -15 for i.
3
Let f(y) = y**3 + 4*y**2 - 2*y - 5. Let u be (-48)/18*(-9)/(-6). Let p be f(u). Solve -p*c = 2*c - 25 for c.
5
Let y = -2 + 4. Let h(p) = p**2 + 13*p + 10. Let i be h(-12). Let j be i*(-1 + (0 - 0)). Solve y*s + j*s = 12 for s.
3
Let o(k) = -k + 18. Let t be o(3). Solve t = -10*b + 5*b for b.
-3
Let o(y) be the second derivative of 11/2*y**2 + 0 + 1/6*y**3 - y. Let j be o(9). Solve 0*n = 4*n + j for n.
-5
Suppose -b = -2*b + 8. Suppose 2*h = 4*h - b. Let k be (-1)/(2/h) + 2. Solve -4*o + k*o - 8 = 0 for o.
-2
Let h(v) = -v**3 - 6*v**2 + 6*v + 1. Let r be h(-7). Let y = r - -4. Let c = y - 3. Solve x = -2*x - c for x.
-3
Let r be ((-5)/3)/5*0. Solve r = -i + 2 - 1 for i.
1
Let x = -4 - -4. Suppose 4*c + 18 - 50 = x. Solve -4 = -4*m - c for m.
-1
Suppose -o - 5*k + 25 = 2*o, 3*k = -4*o + 15. Suppose -h - m + 7 = 0, -5*h + 3*m + 3 = -0*h. Let i be 5 - ((-3)/(-1))/1. Solve -h*t - i + 5 = o for t.
1
Let z be (4/(-20) + 6/30)/(-2). Suppose 2 + 7 = 3*n. Solve z*q = -q + n for q.