n be (7/(-1))/((-2)/20). Let d = -40 + n. Suppose 6*u - u = d. Solve -18 = -4*s - u for s.
3
Let w(c) = -c**3 - 10*c**2 + 10*c - 10. Let a be w(-11). Let q = a - -3. Solve -q*i = -0 + 12 for i.
-3
Suppose 21 = -4*q - 5*l, 0*q - l = -4*q + 9. Let h = q - -4. Solve -h = 5*u + 15 for u.
-4
Let h = -3 + 6. Suppose c + 86 = 3*p - 22, 2*p + 3*c = 83. Suppose 20 = -5*v, p = 3*l - 2*l - 5*v. Solve -4*m = -h - l for m.
5
Suppose -4*s + 44 = -4*m, -m = 8*s - 3*s - 61. Let b be (-2)/7 + s/42. Solve r + b*r = -3 for r.
-3
Let g(b) = -2 - 10 + b - 2*b. Let v be g(-11). Let r be (-12)/(3*v) + -1. Solve d = r*d for d.
0
Let x(c) = -c + 8. Let r be x(0). Suppose a + r = -a. Let j = 4 + a. Solve 4*d + 0 - 4 = j for d.
1
Suppose -3*x + 14 = -n, 0 = -4*x - x + 2*n + 22. Let g be 15/x + 2/(-4). Suppose g*d - 2*w = -4*w + 8, -4 = -2*w. Solve y - 2*y - d = 0 for y.
-2
Let s be 2/6*-3 - -6. Suppose -5*r - 3*q + 52 = -4, 2*q = -6. Solve r - 3 = -s*c for c.
-2
Suppose 2*d - 3*d = -2*w - 5, 0 = 4*w + 4. Let s be d - (14/(-2) + -2). Solve 0 = -5*b - s - 8 for b.
-4
Suppose -5*h + 0 = -80. Solve 1 = -5*y + h for y.
3
Let a(w) = w**3 + 5*w**2 + 3*w - 4. Let t be a(-4). Solve 0*q + q - 4 = t for q.
4
Let d = 2 - -2. Solve -d*o + 2 + 2 = 0 for o.
1
Suppose 5*k + 1 = n + 6*k, 0 = -3*n - k + 11. Suppose -n*p - 12 = -87. Solve -p = 3*o - 0*o for o.
-5
Let h = 20 - 10. Suppose -3*i + i = h, 2*m = 3*i + 23. Solve -2*o = -m*o for o.
0
Let h(d) = d**3 + 7*d**2 + 2*d - 8. Let g be h(-6). Let s = -3 + 6. Suppose -2*n + 4 = -2*p, s = 5*n - p + 1. Solve n - g = -4*o for o.
4
Suppose 13*o - 16*o = -6. Solve 0 = -2*p - o*p + 4 for p.
1
Let h be 2/12 - (-1220)/24. Suppose -h + 180 = 3*l - 3*x, -x = 3*l - 137. Suppose 0*t - 5*t - 5*n + l = 0, -10 = -2*n. Solve -u + t = -1 for u.
5
Let g be 11/3 + 6/(-9). Let t be (-1)/((-5)/2 + 2). Suppose -4*y + 14 = t*m, 5*y = 5*m - 4 - 1. Solve -g*r + r = -y for r.
1
Suppose w - 10 = -w. Suppose 0*c - w*c + 14 = 2*z, -2*z = -4. Suppose 2 = 2*s - c. Solve 0 = 4*v - 6 + s for v.
1
Let y = -66 - -74. Solve -y*t = -3*t for t.
0
Let a(q) = q**2 + 5*q - 6. Let p be a(-6). Let j be (-1)/(-2) + 5/(-10). Let v = p - j. Solve 0 = -w - v*w for w.
0
Let g(d) = -d + 2. Let n be g(6). Let a = n - -8. Let k(w) = w**2 + 4*w + 3. Let i be k(-6). Solve -a*t = -t - i for t.
5
Let o(g) = g**2 - 7*g - 3. Let w(y) = -y**2 + 8*y + 4. Let p(x) = 3*o(x) + 2*w(x). Let i be p(5). Let a be (i/(-1))/((-3)/(-6)). Solve -4*r - a = 10 for r.
-3
Let y be ((-20)/(-45))/(2 - 48/27). Solve -y*p = 2*p - 8 for p.
2
Let r(q) = 2*q. Let j be r(-2). Let v be -70*5/(25/j). Let i be (-2)/(-7)*v/8. Solve f = -f - i for f.
-1
Suppose -3*s - i - 22 = -6*s, 4*i = -16. Suppose 12 = -3*r + s*r. Solve l - r*l = -3 for l.
1
Let c = 31 + -29. Suppose 0 = -3*j + j - 2*f - 6, 4*j - 20 = 4*f. Solve c - j = -u for u.
-1
Suppose -r = 2 - 4. Suppose -4*m + r*p - 2 = -p, 4*m + p = 6. Solve -m = -5*j - 6 for j.
-1
Suppose 5*v = 2*v + 18. Solve -3*m = -0*m - v for m.
2
Let q(g) = 5*g - 10. Let u be q(7). Suppose 4*z + 20 = 3*r, 3*r - 5*z = -0*z + u. Solve 3*w - 6 = -r for w.
2
Let d be -6*(-2)/(-4) - -3. Let w be (-1 - d)/(2/(-10)). Solve 2*k = w*k for k.
0
Suppose -7*m + 3*m = 0. Let l = 3 + m. Solve l*h - 3 + 15 = 0 for h.
-4
Suppose -2*w + 7 = -y, 0 = -w + 3*y - 0*y + 11. Let f(v) = v**2 + 9*v + 12. Let m be f(-8). Suppose 0*c = 2*c - m. Solve c*q + 6 - w = 0 for q.
-2
Suppose -k + 1 = -2. Let a = 0 + k. Suppose i = -a*i. Solve 2*l + i*l = 8 for l.
4
Let g(r) = -r**2 + 1. Let z be ((-3)/12)/(1/(-4)). Let h be g(z). Solve h = 6*j - j + 15 for j.
-3
Let t(a) = -a**3 + 6*a**2 - 5*a + 3. Let f be t(5). Suppose -4*q + 2*q - 5*b - 1 = 0, -2*b + 4 = f*q. Solve 1 = q*k + 5 for k.
-2
Let p be -15*(1 + (-4)/3). Solve 4 = p*l + 9 for l.
-1
Suppose 3*r - 12 = 2*r. Let x be (-3 + 2)/((-2)/12). Suppose -7*n + x*n = 0. Solve n = 3*p + r for p.
-4
Suppose 14 - 12 = -i. Suppose 4*l - 2*j + 22 = 0, 4*j - 2 = -l + 6. Let m = i - l. Solve 2 = m*d + 6 for d.
-2
Suppose -4*u + 17 = -43. Solve u = 4*f - 1 for f.
4
Let x = 32 - 32. Solve 0 = 4*l - x*l - 20 for l.
5
Suppose -3*y + 3*q - 31 = -2*q, 2*y + 3*q - 11 = 0. Let d = 2 + y. Solve 0*n + n = d for n.
0
Let t(d) = d**3 - 3*d**2 + d - 3. Let x be t(3). Solve 0*i + 2*i = x for i.
0
Suppose 50 = 3*h + 2*h. Solve h = w + w for w.
5
Suppose -d + 11 = 3*n, -d = 4*n - 5*d - 20. Suppose -4*v + 3*a + 52 = -0*a, 0 = -n*a. Solve -3*c = -2 - v for c.
5
Let v be 0 + 3 + (-4)/(-2). Let l(d) = d**2 - 3*d - 10. Let q be l(v). Solve 3*b = 3 - q for b.
1
Suppose -5*y = -u + 15, 4*y + 12 + 0 = 3*u. Solve 15 = -u*m - 5*m for m.
-3
Let h(l) = -5*l + 7. Let m be h(-2). Solve -m = -5*j - 7 for j.
2
Let f be ((-3)/(54/(-48)))/(4/6). Solve -y - f = -0 for y.
-4
Let a = 9 + -8. Solve -2*k + 11 = a for k.
5
Let m(a) = 3*a - 34. Let n be m(12). Solve 8 = n*u + 4 for u.
2
Suppose 4*n - 16 = -p, -3*n + 8 = 5*p - 21. Let c(u) = -u**3 - 6*u**2 - 6*u + 1. Let i be c(-5). Suppose -2*k = i - 46. Solve p*j = -0*j + k for j.
5
Let i = 79 + -76. Solve 0 = i*b - 4 + 7 for b.
-1
Let t = 137 + -117. Solve -4*y + 4 - t = 0 for y.
-4
Let x(j) be the second derivative of j**4/12 + 2*j**2 + 2*j. Let z be x(0). Solve v - z - 1 = 0 for v.
5
Let w(c) = c - 7. Let t be w(8). Solve l - 5 = -t for l.
4
Let p(a) = -4*a - 32. Let q be p(-13). Solve 8*h - 3*h = -q for h.
-4
Let t = 39 + -21. Suppose 4*d - t = -c - 7, -c = 2*d - 7. Let o be 13 + -3 + d - 2. Solve g = -g + o for g.
5
Let u(j) = j**2 + j - 6. Let m be u(-4). Let r be 2/(m/9) + -1. Solve r*b = -b for b.
0
Let y(o) = 2*o + 7. Suppose 5*i = -2*r - 19, 0 = -2*i + r - 3 - 1. Let k be y(i). Solve 0 = -2*w + 3 - k for w.
1
Let c be (1/3)/((-2)/(-30)). Suppose 6 = c*n + p, -n - n - 2*p = 4. Suppose -n*s - 8 = -6*s. Solve s*b + 5 = b for b.
-5
Let h(o) = -3*o - 6. Let s be h(-4). Solve -2*t + s*t + 20 = 0 for t.
-5
Suppose -4*n + 55 = 23. Solve n*f = 3*f + 20 for f.
4
Let l be ((-6)/(-5))/(9/30). Suppose 0*d - d = 4, 19 = x - l*d. Solve 2*z - 1 = -x for z.
-1
Let j = -7 - -12. Let m(t) = -2*t**3 + 1. Let q be m(-1). Let g(b) = -b**3 + 2*b**2 + 4*b - 3. Let s be g(q). Solve s = o - j*o - 8 for o.
-2
Suppose 5*l - 4*l = 0. Let i(s) = s**3 + 6*s**2 - 10*s - 10. Let z be i(-7). Let g = 19 - z. Solve -3*f + f - g = l for f.
-4
Let p(f) = -7*f**3 - f - f**2 - 2 - 5*f**3 + 0*f + 1. Let y(m) = m**3 - 2*m**2 - 4*m + 2. Let l be y(3). Let g be p(l). Solve 5*w + g + 14 = 0 for w.
-5
Let a be (4/(-3))/(8/(-24)). Suppose 2*x - a = 8. Solve 3*r - x = 3 for r.
3
Let b = 2 + 3. Let n = b - 1. Solve -2*z = -3*z + n for z.
4
Let r = 6 - 3. Suppose 5*s + 4*x - 7 = 18, -5*x = -5*s + 25. Solve 0 = 2*w + r*w - s for w.
1
Suppose 3*w = -22*w + 275. Solve 4*z + w - 31 = 0 for z.
5
Suppose 2*g + g = -24. Let t(y) = -y - 5. Let m be t(g). Solve -m*u = u for u.
0
Let j be 4/10*(-7 - -12). Solve -j*p + 4*p = -10 for p.
-5
Suppose 3*c = -3*b + 3, 3*c + 2*b = -2*b + 4. Suppose 3*r = 18 - c. Solve n - r*n = 0 for n.
0
Let i(y) = -7*y - 65. Let a be i(-10). Solve 4*n = a*n + 4 for n.
-4
Suppose -3*n - 4*m = -3 - 16, 0 = n - 3*m + 11. Suppose -s + 6 = -n. Solve -s = -2*f - 3 for f.
2
Let w(x) = 2*x - 1 + 4 + 1. Let r be w(4). Solve 3*y = -y + r for y.
3
Suppose -7*n + 91 = -21. Let y be ((-2)/(-2))/((-1)/(-3)). Solve -y*t = t + n for t.
-4
Let i(t) = 3*t**2 + t - 2. Let a be i(-7). Suppose -3*v - 21 = y + 2*v, 0 = -4*y - 2*v - a. Let z be 8/20 + y/(-10). Solve -k + 0 = z for k.
-4
Suppose 8 + 16 = 2*w. Suppose 0 = -g + w - 4. Solve g*v - 3*v + 25 = 0 for v.
-5
Let g(x) = -2*x - 8. Let s be g(-4). Let n be s*(-3 + 10/4). Solve -4*f + n + 4 = 0 for f.
1
Suppose -5*s + 4*s = 5*l + 6, s - 4*l = 12. Suppose 0*c + s = 2*c. Solve -c = 5*z + 8 for z.
-2
Suppose -9 = 6*r - 129. Solve -n = -6*n + r for n.
4
Let g = -52 - -61. Solve -2*f - g = f for f.
-3
Let x = -139 + 139. Solve x*g - 5*g = 0 for g.
0
Let l(r) = -6*r + 2. Let v be l(-3). Let d be (6/(-4))/(3/v). Let f be 3/(-1 - d/4). Solve -3 = -z + f*z for z.
-3
Let j = -38 + 42. Let p = 5 - -14. Solve -j = 3*r - p for r.
5
Let b be -2 - 4*4 - -1. Let v be (-2)/8 - b/4. Solve 3*t = 1 - v for t.
-1
Suppose -2*u + 4*u = 20. Let y(j) = -j + 2. Suppose -5*i - 2*c + 11 = -7, -2*i + 8 = c. Let z be y(i). Solve z = 5*r - u for r.
2
Suppose -14*j + 31 = -25. Solve -2*i