p + p**2 - 8 + 0 + 4 - p. Let r be b(6). Solve -3 = -r*i + 5*i for i.
-1
Let x(b) = 2*b**3 + 18*b**2 - 2*b - 5. Let g be x(-9). Solve 7 + g = 4*i for i.
5
Let i = -138 - -140. Solve -w = -i + 1 for w.
1
Let g be 0 + (-3 - -2) - -1. Suppose 0 = -g*i + 4*i - 8. Suppose 4*y - 4 = 4. Solve y*p = -i - 4 for p.
-3
Let o(r) = -2*r**3 - 4*r**2 - 3*r - 2. Let a = 6 + -8. Let s be o(a). Let v(p) = p**2 - 1. Let m be v(s). Solve m = 4*q + q for q.
3
Let s(y) = -2*y. Let p be 2/(-5) + 16/(-10). Let k be s(p). Let z(q) = 2*q + 14. Let j be z(-7). Solve 7*u - k*u = j for u.
0
Suppose 7*a + 0*a = -5*a. Solve a = -4*n + 3 + 1 for n.
1
Suppose 5*r - 16 = -2*d + 4, 4*r = 5*d - 116. Solve -2*c - 2*c = -d for c.
5
Suppose 3*k - 11 = -g, -5*g + 4 + 17 = -2*k. Solve -2*d + g*d = 0 for d.
0
Let u(y) be the second derivative of y**4/12 - y**3/6 - 2*y. Let r be u(-1). Solve -r*w + 0*w = 0 for w.
0
Suppose r = -r + 10. Let x be (0 + 1)*r - 2. Solve -x*s + 0 = -9 for s.
3
Suppose v = 7 - 3. Suppose 2*i - 26 = 14. Suppose 0 = -f - 4*f - i, 2*c - 4*f - 36 = 0. Solve -v*y + c = -6 for y.
4
Suppose p = -0 + 11. Let d(s) = -11*s + s**3 + 0*s**3 - 3*s**2 + 3 - 7*s**2. Let x be d(p). Solve 3*o - x = 2*o for o.
3
Let z = -17 - -86. Suppose -2*d - 3*d + 4*w + 63 = 0, 5*d - 2*w - z = 0. Solve -d + 5 = 2*s for s.
-5
Suppose 3*q - 12 = 0, 0 = 4*j + 5*q + 5 - 53. Suppose -5*d = -3*r - 16, 3*d - 2*d = -5*r + 20. Solve 2*t = j*t + d for t.
-1
Suppose 7*o = -0*o + 7. Suppose -4 + 12 = 2*y. Solve o = -h - y for h.
-5
Let a = -142 - -155. Solve -2*r + 3 = a for r.
-5
Suppose -4*u + 11 = 4*m + u, -3*m - 4*u = -7. Suppose -2*q = x + m - 4, -4*q - x = 5. Suppose -4*l + 2*l = -0*l. Solve q = -l*g - 2*g for g.
0
Let d be (-36)/(-10) + (-2)/(-5). Let c(o) = o**2 - 18*o - 35. Let j be c(-2). Let v be 0/((3 - 2)/(-1)). Solve j*r - r + d = v for r.
-1
Let h(g) = g**2 + 3*g. Let l be h(-3). Let o be -2 - 7*(2 - 3). Suppose m = 4*k, 0 = k - o - l. Solve -c - 3*c + m = 0 for c.
5
Let y(g) = -g**3 + 2*g**2 + 8*g - 15. Let t be y(3). Suppose 0*v + 10 = 5*v. Solve -v*p + 10 = -t*p for p.
5
Suppose -k = -4*x + 2, -k + 2*x = 2*k + 6. Let i be (k/3)/((-4)/42). Suppose -3*u - 2*u = -2*q - i, 11 = 5*q - 3*u. Solve -q*o + 13 = -3 for o.
4
Suppose 5*s + 0*h = 3*h + 135, 4*s - 4*h = 116. Let y = s - 12. Solve 3*u - y = 7*u for u.
-3
Suppose -45 = -j + 8. Let z = -28 + j. Solve 5*w = -0*w - z for w.
-5
Suppose 5*y - o = -2, 3*y + 3*o = -2*y + 6. Let t = -6 - -10. Suppose d + 0*d - t = y. Solve 12 = d*g - 0*g for g.
3
Let x(b) = -6*b + 4. Let w be x(-6). Suppose -4*n - 4 = -w. Solve 4*i = 7*i + n for i.
-3
Let z(w) = 8*w - 84. Let n be z(11). Solve n*x = 8*x for x.
0
Suppose -11 - 1 = -o. Let s be (6/o)/(1/10). Solve 0 = 4*t + t - s for t.
1
Suppose 4*y + 10 = -5*o + 51, -o = -y - 1. Solve -o*p = 5 - 25 for p.
4
Suppose 8*s + 6 - 38 = 0. Solve -s - 4 = -2*i for i.
4
Suppose 0 = -2*v - 3 - 1. Let n = 2 + v. Solve n = j - 2*j + 1 for j.
1
Let f = 11 - 5. Let w = -4 + f. Suppose 4*o - w*o - 8 = 0. Solve o*r = -r for r.
0
Suppose -2*h = -7*h - 20. Let t be (-1 - 1)/(h/8). Suppose -4*n + 2*i + 22 = -2, 2*i = -3*n + t. Solve n*s - 5 = -1 for s.
1
Let x be 7/4 + (-1)/(-4). Suppose 0 = 4*k - w + 13, 0 = -5*k - 3*w - 29. Let v be -1 + ((-20)/k - 0). Solve v*z + 10 = -x for z.
-3
Suppose -5*a = -0*a. Let w be a/1*1/1. Solve -q - 4 = -w for q.
-4
Let u(y) = 3*y - 7. Let n be u(8). Suppose -b = -3*i + 5, 5*i - 8 - n = 0. Solve -6*x + b = -x for x.
2
Let s = 16 - 13. Let i be -1 + (-2)/(-2) + -4. Let h(c) = c**2 + 5*c + 4. Let v be h(i). Solve s*d = -v*d for d.
0
Suppose -2*c = -c - 5. Solve c*p + 6 = 1 for p.
-1
Suppose 4*q + 44 = -2*v, 35 = -2*v + 3*q - 4*q. Suppose 7*r - 66 = 4*r. Let y = r + v. Solve 15 = -h + y*h for h.
3
Suppose 0 = 5*b - i + 13, -8*i + 15 = -3*i. Let g be 2*(0 - b) - 2. Solve g*h = h for h.
0
Let o be -1 - (0 - 1)*1. Solve o = -y - y for y.
0
Let x be (22/33)/((-4)/(-42)). Solve 3*v + x = 1 for v.
-2
Suppose 2*y - 11 - 5 = 0. Solve v - y = 3*v for v.
-4
Let k(v) = v**2 + 1. Let h be k(1). Solve -4*q + 2 = -h for q.
1
Let j(l) be the second derivative of l**4/12 - 4*l**3/3 - 4*l**2 - 7*l. Let f be j(9). Solve 0 = 2*q - 3*q + f for q.
1
Suppose 5 = 3*s - 4. Solve 0 = s*n - 6*n for n.
0
Let j(x) = 2*x + 34. Let n be j(-16). Suppose -20 = -7*q + 2*q. Solve n*o = q*o for o.
0
Suppose -3*t + 9 - 3 = 0. Suppose -t*q + q = -1. Let s = 0 + 0. Solve s = -2*j - q - 9 for j.
-5
Suppose 2*m + 0*m - 2*a = 12, 0 = m - 5*a + 6. Solve 5*c = 6 + m for c.
3
Suppose -40 = w - 5*w. Suppose -3*m + 17 = -w. Solve -3*o + 6 = -m for o.
5
Let f(w) = -w + 5. Let r be f(5). Let y(c) = -2*c - 3. Let h be y(-3). Let o be ((r - -2) + -1)*h. Solve 12 = 3*x - o for x.
5
Let g(o) = o + 8. Let u = -16 - -29. Suppose u = -2*t + 3. Let x be g(t). Solve 2*n - x = -9 for n.
-3
Let x be (-1)/(-2) + 1/2. Let k(i) = -2*i**2 - 63*i - 31. Let n be k(-31). Solve n = -q - x + 5 for q.
4
Let o(g) = -g**3 - 5*g**2 + 2. Let y be o(-5). Solve j + 0*j = y for j.
2
Suppose 4 = -0*x + 2*x. Solve x*i = -3*i - 25 for i.
-5
Suppose 2*f - x - 13 = 0, f - 17 = 7*x - 3*x. Solve -3*q = f + 4 for q.
-3
Let p(g) = 4*g**3 - g**2 - 3*g + 3. Let f be p(1). Let t be 10/14 - (-2)/7. Solve f - t = s for s.
2
Let y = 9 + -7. Suppose 4*b - s - 40 = 4*s, -y*s = -5*b + 67. Solve o + 4*o = -b for o.
-3
Let k(o) = -2*o. Let v(w) = w + 2. Let p be v(0). Let x = -3 + p. Let d be k(x). Solve -d*a = -0*a + 2 for a.
-1
Let z = 364 - 364. Let t = -2 - -7. Solve t + z = -d for d.
-5
Let r(d) = -d**3 - 13*d**2 - 11*d + 16. Let f be r(-12). Solve 0 = f*m - 3*m - 5 for m.
5
Let u(n) = -n**2 - 5*n + 3 - 3 + 3. Let h be u(-5). Suppose 8 = h*i - 4. Solve i*d - 2 = 14 for d.
4
Suppose -2*f = -8*f + 12. Solve -c = f - 1 for c.
-1
Let a = 113 - 105. Solve -4*k + 4 - a = 0 for k.
-1
Suppose -3*v + v + 3*t + 12 = 0, v - 20 = 5*t. Solve v = -2*q + 3 - 13 for q.
-5
Suppose 5*y + 0*s - 26 = -s, -2*s = -3*y + 13. Let o = y + -5. Solve o*n - 3*n = 9 for n.
-3
Let a(d) = -d**3 + 5*d**2 + d - 3. Let m be a(5). Let z(g) = -m*g + 9 + 5*g + 3*g + g**2. Let y be z(-6). Solve y = -4*n + n for n.
-3
Let o = 20 + -17. Solve a - o*a + 2 = 0 for a.
1
Suppose 4*g - 57 = 3*s, g + 57 = -4*s - 0*g. Let v = s + 23. Solve -x - x = v for x.
-4
Let r be (-11 - -12) + (1 - 0). Solve 0*z - 2*z = r for z.
-1
Let m = -3 + 3. Solve m*p = -4*p - 8 for p.
-2
Suppose -60 = -2*r - 3*r. Suppose 0*o - 5*o - 5 = 0. Let k be (30/(-20))/(o/2). Solve -u - k*u = -r for u.
3
Suppose -y - 7 = -8. Solve -6 + y = -u for u.
5
Suppose -k - 3 = -3*h, -3*k - 6*h + h + 5 = 0. Suppose 0 = 4*i + 5*o - 7, -5*i + k*o - 4*o = -11. Solve 0*s + i = -3*s for s.
-1
Suppose 0 = 3*k + 2*w - 8, -2*k + 3*k + 5*w + 6 = 0. Let z = 9 - k. Solve -z*q + 5 = -0*q for q.
1
Let t = -8 + 13. Suppose 6 + 19 = t*s. Suppose 2*q + 5 = x, q + 0*q = x - s. Solve q = 5*j + 5 + 15 for j.
-4
Suppose 2*r + 6 = 2*k + 2, -4*k = -3*r - 8. Let j(g) = -g**2 - 7*g - 7. Let c be j(-5). Suppose -c*a + 6 + 6 = 0. Solve r = 4*q + a - 0 for q.
-1
Suppose 0 = 5*k + 2*y - 62, 5*y = 4*k - 10 - 33. Suppose -x - 12 = -3*d - 3*x, 0 = -5*d - 5*x + 20. Let a = 7 - d. Solve -a*z = z - k for z.
3
Let l be (8/6)/((-12)/(-27)). Solve x + 2 = -l for x.
-5
Let m(c) = c**2 - 3*c. Let p be m(4). Suppose 0*x + 3*x = 6. Solve -p = -2*q - x*q for q.
1
Let f(l) = -l**3 + 3*l**2 + 3. Let m be f(3). Suppose 10 = -5*o, -4*t + 8 = o + m*o. Suppose -g = 5*a - 2*a + 13, -3*a = 4*g + 7. Solve -g*z + t = -4*z for z.
-2
Suppose -3 = -4*v + 117. Suppose f - v = -4*f. Suppose -3*w + 4 = -56. Solve -f*a + w = -a for a.
4
Suppose 4*j + 55 = -j. Let a = 16 + j. Solve -a*x + 20 = -x for x.
5
Suppose -2*n + 8 = 2*u, 0 = n - 2*u + 4 + 1. Let v be -1*(1 + 1 - 3). Suppose -c + v = -n. Solve -3 = c*a + 5 for a.
-4
Suppose -4*o + j + 7 = 3, -o + 3*j = 10. Suppose d = -5*n + 7, -2*n - 4 = 2*d - o. Solve n*t - 6*t = 0 for t.
0
Suppose -2*r - 3*r + 5 = -5*n, 0 = 2*r - 2. Solve n = 3*x - 0*x for x.
0
Suppose 3*k = 10 + 2. Let g = 7 - 2. Let n(a) = -3*a**3 + a**2 + 2*a + 1. Let r be n(-1). Solve -r*l + k = -g for l.
3
Suppose -3*t - 1 + 7 = 0. Suppose 5*d - 2*n = 2*d + 6, 0 = 3*d + t*n - 6. Solve -2*s = d*s - 12 for s.
3
Let u be (-1)/(1*2/(-2)). Let d be -1 - (2 + (-4 - u)). Solve -4 - 2 = d*n for n.
-3
Suppose 0*t = 5*t