Let p = 9 + i. Solve 2*j = p + 1 for j.
1
Suppose 0 = -0*b + 4*b - 80. Suppose 0*n = -2*n + b. Solve -5*c = -0*c - n for c.
2
Let p(t) = t**2 + 11*t + 3. Let s be p(-11). Solve -1 = -z - s for z.
-2
Suppose -j = 8 - 12. Solve l - j*l - 3 = 0 for l.
-1
Suppose 3*m = -3*r + 3, -2*r + 3*m = m - 6. Suppose b = -r*b. Let z = 4 - 2. Solve -5*a - 17 + z = b for a.
-3
Let k = -3 + 3. Let b = k - -2. Solve -x = x + b for x.
-1
Let u = -6 + 11. Suppose -u*i - 5 = 5*k, 3*i - i = -k + 3. Let q be (-34)/(-3) - (-2)/3. Solve i*v + 0*v = -q for v.
-3
Let p(i) = i - 3. Let n be p(3). Suppose -3*d + 8*d = n. Suppose k = -d + 2. Solve -2*c = k*c for c.
0
Suppose 2*h + 4 = -3*r - 13, -3*r = 3*h + 18. Let m = h - -6. Suppose -3*y = -m*y + 8. Solve y*s = -14 - 2 for s.
-4
Let x be 5 + -3 + (2 - 4). Suppose z = -x*z. Solve z = -6*m + 2*m for m.
0
Let t(j) = 2*j**3 + 2*j**2 - j - 1. Let p be t(1). Solve 3*o = -p*o + 20 for o.
4
Let q be 0 - (1 + -1 + 72). Let r be (4/6)/((-16)/q). Suppose -4*n - c - 2*c = -16, -n + c - r = 0. Solve 1 + n = -2*t for t.
-1
Let c be (-2)/((-4)/(-14))*-1. Let n(w) = w**2 + 11*w + 21. Let b be n(-9). Solve c = -5*k - b for k.
-2
Let w(x) = x**2 - x + 1. Let l be w(2). Solve -3 = -0*o - l*o for o.
1
Suppose 22 = -2*l + 30. Solve l*d - 16 = 4 for d.
5
Suppose 4*b = 37 + 43. Solve 3*h = -2*h - b for h.
-4
Let l be ((-9)/(-15))/(2/(-10)) + 7. Solve -12 = -7*q + l*q for q.
4
Let r(u) = -u**3 - 8*u**2 - 9*u - 9. Let s be r(-7). Solve s*k - 2*k = 0 for k.
0
Let j be ((-11)/2)/(7/28). Let y = -22 - j. Suppose 3*z - 4*q = 8 + 33, 3*z - 2*q = 37. Solve -6*v + z*v + 10 = y for v.
-2
Suppose 0 = 3*l - 2*l. Let g(v) = 3*v**2 - 3*v**2 + 4*v + 4*v**2 + 1 - 5*v. Let w be g(1). Solve 8 = -w*k - l for k.
-2
Let k = 23 - 19. Solve 2*o = -0*o + k for o.
2
Suppose 5 = -2*l + 9. Solve 2*k - 8 = -l*k for k.
2
Suppose -9*n + 30 = -3*n. Solve -n*m + 10 = -0*m for m.
2
Let t = 1 + 0. Suppose -7 + t = -2*m. Solve m*w = -0*w - 3 for w.
-1
Suppose -5*t + 21 = -4. Solve -6*b = -b - t for b.
1
Suppose -4*j = -0*j - 4*y, -5*y + 4 = -3*j. Solve 0 = -j*p + 3*p for p.
0
Let a(v) = -v - 1. Let k(y) = 2*y**2 + y + 2. Let h be k(-2). Suppose 3*u + h = u. Let q be a(u). Solve -3*l + 0 = -q for l.
1
Let v = 5 - 3. Let w be 2/4*(-2 + v). Solve w = -7*p + 3*p for p.
0
Let l(c) = 5 + 3 + c + 6. Let k be l(-10). Solve -a = k*a - 10 for a.
2
Suppose 2*f - 8 = -k, 0 = k - 5*f - 6 - 9. Suppose -5*h - k = -5*z, 7*h + 4 = 2*h + 3*z. Solve -3*j + 8 = -h for j.
3
Let b be (2 - -2) + (0 - 2). Solve 5*s - 3*s = -b for s.
-1
Suppose 2*u + 18 = 3*l, 2*u = u. Suppose -l*i + 2*i + 12 = 0. Let r = i - 3. Solve r = t - 1 - 2 for t.
3
Let o(z) = z**3 - z**2 - 6*z + 2. Let c be o(4). Let t = c + -23. Solve -2 = t*n + 4 for n.
-2
Let m be (-51)/9*-2*3. Let p be (2 + -14)/1 + 0. Let y be m/8 - (-3)/p. Solve g = y*g for g.
0
Let l be (-6)/(3*(-2)/3). Let d be (-7 - 2)/l - -5. Solve 0*o = -o - d for o.
-2
Suppose -8 = -3*z + 16. Let v = 12 - z. Solve 13 + 3 = v*g for g.
4
Let t(j) = 3*j - 12. Let g be t(5). Solve f + 8 = g*f for f.
4
Suppose -3*d + 6 = -0*d. Suppose -8 = d*q - 4*q. Solve -q*b = -1 - 7 for b.
2
Let a(o) = 8*o + 2*o**2 + 0*o + 7*o + 0*o - 4. Let x be a(-8). Solve -4 = x*r + 4 for r.
-2
Let y(a) = 2*a + 1. Let p be y(-1). Let s be (-1 - p)*(4 + -3). Solve s = -0*k + 2*k + 4 for k.
-2
Suppose -o = -4*p + 3*o + 4, -p = 5*o - 13. Suppose 0 = 3*u + p*i - 15, 14 + 1 = 5*u - 5*i. Solve -f = u*f - 25 for f.
5
Let g be 135/18*2/3. Suppose g = l - 11. Solve -q = 3*q - l for q.
4
Let w = 23 - 23. Solve 4*o + w*o - 20 = 0 for o.
5
Let s(v) = v**2 + 2*v. Let u be s(-2). Solve u = w - 5*w + 16 for w.
4
Let i = 113 + -108. Solve 0*m = i*m for m.
0
Suppose -5*a + 7 - 97 = 0. Let h = a + 21. Solve 0*r = -r + h for r.
3
Let f be (2 - 4)*14/(-4). Let p = -4 + f. Solve c = p*c - 2 for c.
1
Let x = 11 - 11. Let r(d) = -d**3 + d**2 + d + 13. Let p be r(x). Solve -5*h + 2 = -p for h.
3
Suppose -l - 2*v + 5 = v, v + 5 = 3*l. Let t = -9 + 9. Suppose -5*b + b = t. Solve b = n + l*n - 9 for n.
3
Suppose 3*w - 3*n - 42 = 0, 2*w - 7*w + 82 = -2*n. Let z be w/5 + 4/10. Solve 0 = -z*i + 16 + 4 for i.
5
Let t(k) = -k**3 + 5*k**2. Let l be t(5). Solve l*i = 5*i for i.
0
Let t(z) = 3*z**2 + 6 - 5 - 4*z + 1 - 3. Let i be t(2). Solve -2*u - 10 = i*u for u.
-2
Suppose -2*d + 5 = -3. Solve 0 = -d*w + 13 + 7 for w.
5
Let o be 0/(-3 - 0 - -2). Solve -4*y + y - 12 = o for y.
-4
Let r(y) = -y**2 + y - 2. Let a be r(-2). Let s = a - -8. Solve s*j = -j + 5 for j.
5
Suppose -3*g = -5*g + 4. Let q(v) = v**3 - 10*v**2 + 25*v. Let j be q(5). Solve -4*d + g*d = j for d.
0
Let m be (-5)/((3 - 2)/(-1)). Let w be (m + 3)/(1 - 0). Solve -4*l = w + 4 for l.
-3
Let x(u) = 4*u**3 + u**2 - 1. Let c be x(1). Solve -4*g + c = -3*g for g.
4
Let v = 6 - -5. Solve -3*f - v = -2 for f.
-3
Let h = 1 - -1. Suppose -w + 12 = h*w. Solve t = 2*t - w for t.
4
Let b = 8 + -6. Suppose -4*k = 5*w - 31, -b*w + 2*k + 2 - 4 = 0. Suppose -4*a = -2*n - 5 + 13, -n + 10 = -5*a. Solve 4*p - w*p = n for p.
0
Let f = 4 + -2. Suppose v = 2*q + 2, 0*v - q = -v + f. Suppose -4*u + 5*n + 7 = 0, 3*n = v*u - 2*n - 1. Solve -2*t + u*t = -2 for t.
-2
Suppose -5*h = -9*h. Suppose h = -5*o + 3*o. Solve -8 = -o*j + 4*j for j.
-2
Let d = 146 + -134. Solve -8 = f - d for f.
4
Let n = 53 - 47. Solve j - n = 3*j for j.
-3
Let h(d) = -d**2 + 6*d. Let p = 0 + 6. Let z be h(p). Solve z = 4*u - 5*u for u.
0
Let j be -4 + (-2 + 1 - -31). Solve -j = -5*w - 1 for w.
5
Suppose -2*a + 5*m + 18 = 0, -3*a + 0*a = m - 10. Solve a*v - v - 12 = 0 for v.
4
Let n = 1 + -1. Suppose -2*f - 4*h + 4 = -0, f - 2 = -5*h. Solve -2 + n = -f*g for g.
1
Let o(p) = -p**3 + p**2 - p + 5. Let u be o(0). Suppose q + 5*b + u = 0, 2*b - 47 = -5*q - 3. Solve -5*y + 5 + q = 0 for y.
3
Let u(n) be the first derivative of -n**2/2 - 6*n - 2. Let y be u(-8). Suppose 3*i = -y*i. Solve i = 2*a + 2*a + 20 for a.
-5
Let w = -1 - -5. Let a = 7 - w. Let t = a - 0. Solve 15 = t*g - 0*g for g.
5
Let w be 3/(-9)*-3 + 2. Suppose w*d - 4*d + 3 = 0, -5 = 2*c - 3*d. Solve -3*z = -5*z - c for z.
-1
Suppose 5*z - 4*d = 25, d = -2*z - 2*d + 10. Solve 9 = -z*a - 16 for a.
-5
Suppose -2*m + t + 34 = 0, -m + t = -t - 11. Suppose -c = 3*c - 184. Suppose 3*q - 5*z - c + 12 = 0, -z - 17 = -4*q. Solve -q = 4*u - m for u.
4
Let k(o) = o - 5. Let h be k(5). Let u(b) = b**3 + 5*b**2 - b - 2. Let r be u(-5). Solve h = -0*q + r*q + 12 for q.
-4
Suppose -a = 4*o - 37, o = 4*a - a - 46. Let z = -14 + a. Solve 0*s = -z*s - 15 for s.
-5
Let g = -8 - -15. Let a = -2 + g. Solve l + 4*l - a = 0 for l.
1
Let z(h) = h**2 - 5*h + 4. Let c be z(6). Suppose 0*u + 2*u = -4*b + c, 3*u = -b + 10. Solve 0*a + a = -u for a.
-3
Let a(s) = s + 4. Let f be a(-4). Solve -2*u = -f + 2 for u.
-1
Suppose 5*i - 7 = 13. Solve 5 = i*p + 17 for p.
-3
Suppose 19 = 2*o - 13. Solve d + 3*d - o = 0 for d.
4
Let b(c) = -c**2 - 6*c - 4. Let t be (-18)/5 + (-2)/5. Let m be b(t). Solve 2*u - m = -10 for u.
-3
Let v(s) = s**2 + s - 11. Let z be v(-5). Solve -4*u + u = z for u.
-3
Suppose 3 = -2*q + q. Let b(t) be the second derivative of -t**3/2 - t**2 + t. Let i be b(q). Solve -20 = -i*g + 2*g for g.
4
Let p(l) = l**3 + 6*l**2 + 5*l + 5. Let v = 42 + -30. Suppose b = 3*o + 7, -4*b - o - v = -3*o. Let k be p(b). Solve -19 = -k*r - 4 for r.
3
Let n = -1 + -3. Let x be 11/2 + 2/n. Let d(t) = -t**2 - 10*t - 10. Let q be d(-8). Solve 0 = -q*w + w + x for w.
1
Suppose -3*g = -17 - 13. Let x(n) = n - 6. Let c be x(g). Solve -2*v + 2 + c = 0 for v.
3
Let n = 2 - 0. Suppose -q - 5*h = -7, -h - n*h = 5*q - 13. Suppose -5*y = -15, q*j + 5*y = -3*j + 40. Solve -j*r + 3 = -17 for r.
4
Let v be (0/1)/((-1)/1). Let y be -2 + 1 - (v + -5). Suppose 2*n + 11 = -5*r + 2*r, 0 = n - y*r - 22. Solve n*h + 8 - 2 = 0 for h.
-3
Let d = 3 - 0. Let n(r) = -5 - 2*r + 5*r**2 + 4*r**3 - 5*r**3 + 0*r**3. Let o be n(4). Solve -d*m + 0 = o for m.
-1
Let t be 2 + -1 - 5/5*-1. Solve 3*v = t*v - 1 for v.
-1
Let w = 2 + -1. Let p = 288 + -288. Solve -2*t + 3*t - w = p for t.
1
Suppose 2*q = -5*c + 49, -2*c - 2 = -3*c - 3*q. Solve 3*f = 2 - c for f.
-3
Let c = 22 + -15. Let n(i) = -i + 7. Let r be n(c). Solve r = 4*f - 6 + 26 for f.
-5
Let r(h) = -h**2 + 6*h - 6. Let p be -2 + -1 + 2 + 5. Let t be r(p). Let a = t 