 - 11 + 0*r - 2*r. Let c be m(-13). Solve -12 = -p*i - c for i.
2
Let c(x) = -x**3 - 7*x**2 - 6*x + 3. Let k be c(-6). Let h(d) = -d + 5. Let p be h(k). Solve p*b - 3*b + 1 = 0 for b.
1
Let n(a) = -2 + 1 + 2 + 3 + a. Let y be n(-3). Solve 3*j - 2 - y = 0 for j.
1
Let q(l) = l**2 + 12*l. Let o be q(-12). Suppose -2*d = -8*d + 12. Solve d*i + 2 + o = 0 for i.
-1
Suppose 5*l - 6*l + 3 = 0. Suppose -4*z + 5 = -3. Suppose 2*o + 4*x = -16, -o + 2*x + z = -6. Solve l*w - 3 = -o for w.
1
Let o(b) = -b - 3. Let v be o(-6). Let c = -2 + 2. Suppose c = -l - v*l. Solve 0 = -l*g - 5*g for g.
0
Let t(b) = 2 + 12 + 8*b**2 - 2 - 7*b**2 + 9*b. Let l be t(-8). Suppose 9*h = 4*h. Solve 0 = f - l - h for f.
4
Suppose 2*o = 4*y, -2 = -3*o + 2*y + 3*y. Let r be (-1 - 3) + (8 - (2 - -2)). Suppose -2*u + 13 + 11 = 0. Solve o*g + u = -r for g.
-3
Let s(o) = -o**3 - 12*o**2 + o + 13. Let g be s(-12). Let f = 3 - g. Solve 0 = -0*x - f*x - 8 for x.
-4
Suppose 4*b + b - 40 = 0. Suppose 5*f - 17 = o, -4*f - o + 2*o = -14. Solve -f*q - b = 4 for q.
-4
Suppose 0 = -10*s + 3*s + 14. Solve -2*x = 6 - s for x.
-2
Let w be 196/10 + 10/25. Solve -8*o - w = -3*o for o.
-4
Suppose 2*t - 3*t = -2. Suppose t - 12 = -2*m. Solve -15 = m*k - 5 for k.
-2
Let v(p) = p + 1. Let c be v(-6). Let o = c + 7. Solve 7 - o = -5*h for h.
-1
Suppose -3*m + 4*m - 4 = 0. Let t = -15 + 19. Solve m*x + t = 2*x for x.
-2
Let d = -5 + 24. Suppose 36*z - 23*z - 13 = 0. Solve 5*v = z + d for v.
4
Let d be 33*(2/(-6) - 0). Let z = -20 - d. Let v = z - -9. Solve 2 = -v*w - w for w.
-2
Let f = -7 + 17. Solve 4*n + 10 = -f for n.
-5
Let d = -4 - -7. Suppose -a + d*a = 2. Solve -a + 0 = -y for y.
1
Let f be ((-5)/2 + 2)*0. Let i = -4 + 6. Suppose y - i = -f. Solve w - y = 3*w for w.
-1
Suppose 9*g = 5*g. Solve g = -3*a - 2*a + 5 for a.
1
Let a be (-3 + 8)/((-1)/(-1)). Suppose -a = -2*u + 5. Let f(n) = n**3 - 4*n**2 - 4*n. Let v be f(u). Solve 0 = v*g - 6*g - 2 for g.
-2
Let y = -19 + 23. Solve 3*l - 2 = y for l.
2
Let r(x) = -x**2 + 5*x + 2. Let l(a) = 7*a. Let o be l(1). Let j = -2 + o. Let v be r(j). Solve h = -v*h for h.
0
Suppose -3*o - 2*o = -10. Solve 3*a = o*a for a.
0
Let w(q) be the first derivative of q**4/4 + 5*q**3/3 - 3*q**2/2 - 7*q - 4. Let s be w(-5). Let d be s/(-2)*(-2)/2. Solve i - d = -3 for i.
1
Let d = -22 + 25. Suppose 38 = 5*v + 8. Solve 0 = -i + v - d for i.
3
Let u(t) = 4*t - 13. Let v be u(4). Suppose 0 = -4*z + 20, 0*z = 5*k - 2*z + 10. Solve -3*f + v = -k*f for f.
1
Let s be 5/(-10) + 334/4. Suppose w - s = -4*g, g = -4*g - 2*w + 106. Suppose v = 6*v - g. Solve v*d - 16 = -0*d for d.
4
Let o(i) = 2*i**2 - 10. Let u be o(-3). Solve u*y - 4*y = 8 for y.
2
Let n be 0/3 + 4 + -1. Solve 5*x - 4*x - n = 0 for x.
3
Let x = -103 - -103. Solve -6*s + s + 5 = x for s.
1
Let g = 23 + -6. Let r = g + -10. Let v(o) = o - 7. Let w be v(r). Solve w*f + 3 = -f for f.
-3
Suppose 0 = -x - 3*x + 5*x. Solve x*r = r + 3 for r.
-3
Suppose 4*j = 4*d - 24, -5*d - 12 = 2*j - 0*d. Let h be 12*((-2)/j + 0). Solve 5*z + h = 14 for z.
2
Let f be 9/(-18) - 7/(-2). Solve -x = -f*x for x.
0
Let z = -1 - -4. Suppose -5*m + 7*u = 2*u - 35, -u = 2*m - 2. Suppose z - 24 = -m*p. Solve 3*g = p*g - 20 for g.
5
Suppose 8 = 5*n + 3*a - 4, 3*a - 12 = 2*n. Suppose 3*w - 4*w = n. Solve c - 4 + 0 = w for c.
4
Let h = 5 + -3. Suppose 5*q + 25 = m - 4, 3*m = 4*q + 21. Let f be 2/(-6) - h/q. Solve b + f*b = 3 for b.
3
Let l be 1/((-8)/10 - -1). Let z = l + 1. Solve -q = 2*q - z for q.
2
Suppose m + 0*r - 11 = 4*r, 5*m - 9 = -3*r. Solve -11 + m = 2*o for o.
-4
Suppose 3*z - v + 5 = 0, 10*z - 3*v = 11*z - 15. Solve z = f - 3 + 1 for f.
2
Suppose 0*j + 24 = 3*j. Let v = 4 + -4. Solve v*n + 2*n = j for n.
4
Let g = 17 + -11. Suppose 0 = -x + 2*r + g, 3*x - 3*r = -0*x + 12. Solve -x - 3 = u for u.
-5
Let n(i) = i - 10. Let a be n(8). Let x be a - (-8)/(16/4). Solve x*u = u for u.
0
Let x(a) = -a**3 - 7*a**2 - 4*a + 6. Let c be x(-6). Let m = -6 - c. Solve 3 = -m*t - t for t.
-3
Let s(n) = n**3 - 2*n**2 + 4*n - 2. Let i be s(2). Suppose 0*a = -2*a + 3*q - 19, 2*q = -a - i. Let g be ((-2)/2)/(a/80). Solve 0 = 6*o - o + g for o.
-2
Let u(b) = -2*b. Let i(y) = 2*y - 1. Let v(s) = 4*i(s) + 5*u(s). Let x be (-1 - 1) + (-4 - -3). Let a be v(x). Solve -3 - 5 = a*h for h.
-4
Let x = 13 + -11. Solve -t = 1 + x for t.
-3
Let p be (-1)/(-3)*-2*-3. Let d = p - -1. Solve -4*v = -19 + d for v.
4
Suppose 4*r + 2*x - x = -12, 0 = -3*r + 4*x - 9. Let s(v) = -4*v - 4. Let y be s(r). Solve y*j = 3*j - 20 for j.
-4
Suppose 0 = 3*t + i - 1, t - 6*i - 22 = -2*i. Let w = 5 - 11. Let s(a) = a + 9. Let x be s(w). Solve h = x*h - t for h.
1
Let r(w) = -4*w**3 + w**2 + w. Let t = -7 - -6. Let y be r(t). Solve -6 = y*p + 6 for p.
-3
Suppose 21 = -s + 5*h, 2*h - 28 = -2*s - 2*h. Solve -s*j - 5 = j for j.
-1
Suppose -2 = -l + 4*b, l = b - 4*b + 2. Suppose 0 = -0*d - l*d. Solve s + d = -5 for s.
-5
Let q be (6 - 0)*(-5)/(-10). Solve c + 0*c = -q for c.
-3
Let p(y) = y + 5. Let f be p(-3). Let s = -2 + 5. Solve -f*i + 3*i = s for i.
3
Let n = -48 + 56. Solve 2*u + 2*u - n = 0 for u.
2
Let y be (3 - -3)/(3/2). Solve 3 + 13 = -y*b for b.
-4
Suppose 4 = 2*c - 4. Suppose 3*b + 0*b - c*w = 79, -2*b - w = -71. Suppose -3*u = -p - 13, 6 = 3*u - u - 2*p. Solve b = u*v + 13 for v.
4
Let m(g) = -g**3 + 8*g**2 + g - 5. Let y be m(8). Solve -j = y - 1 for j.
-2
Let b(i) = -2*i - 6. Let n be b(-9). Solve -4*k + n = -k for k.
4
Suppose -7 = 4*g - 5*g + z, 2*z = -3*g + 11. Solve g*x + 11 = -9 for x.
-4
Suppose 5*j + 157 = -2*c, -2*j = 3*c - 4*c + 70. Suppose -3*i - 210 + 63 = 0. Let d = j - i. Solve -4*z + d = -4 for z.
5
Let s be ((-14)/(-4))/((-2)/4). Let d = s - -13. Let j be (2/d)/((-1)/(-12)). Solve 0 = b + j*b - 5 for b.
1
Let a(g) = g**2 + g - 1. Let h be a(2). Suppose 33 = h*i - 57. Let x(q) = q + 1. Let s be x(1). Solve -s - i = 4*y for y.
-5
Suppose 2*q = 5*f - 25, -3*f = -0*q + 3*q - 15. Suppose 3*i - 6 = 39. Suppose -x - c - 12 = 3*c, 9 = 5*x - 3*c. Solve f*s + x = i for s.
3
Suppose -4*t + 2 = w + 12, -15 = 5*t. Solve 0 = w*r + 1 + 1 for r.
-1
Let l(z) = 4*z - 2*z - 5 + 3*z + 2*z - z**2. Let d be l(5). Suppose -u - d*m + 0 - 3 = 0, -2*m = -4*u + 10. Solve 5*j - 7 + u = 0 for j.
1
Suppose -67*z + 81*z - 70 = 0. Let c(d) = -2*d**3 - 2*d**2 + 3*d + 2. Let r be c(-2). Solve -z*g + r = -g for g.
1
Let l = 6 + -3. Solve l*q - 5*q = -6 for q.
3
Let k(y) = -y - 2*y**2 + 0 + y**2 - 1. Let w be k(0). Let f be (-4)/(-1*2) + w. Solve -f = -2*g + 3 for g.
2
Let p be (1/(-2)*2)/(-1). Suppose 0 = -5*l + 2*s + 2, -s = 4*l - 11 - p. Solve -10 = -0*h + l*h for h.
-5
Suppose 4*q - 8 = 8. Solve -4*u = -3*u - q for u.
4
Let d = -53 - 97. Let b be (-2)/4 + d/(-12). Solve 2*r - b = 5*r for r.
-4
Let p be 0/(3 - 1 - 3). Solve 0 = -p*x + 3*x - 6 for x.
2
Let l(m) = m**2 - 3*m - 7. Suppose 0 = -2*k - 5*j, k = 5*j + 7 + 8. Let o be l(k). Solve 9 - o = -2*h for h.
-3
Suppose 0 = -z - 1, 2*z + 16 = 3*b + 101. Let n be b/(-3) - (-5)/15. Let q = -4 + 7. Solve -q*w + n = -8*w for w.
-2
Suppose p - 3*p = 0. Solve p = -k - 3 for k.
-3
Let b = 135 + -129. Solve -3*f + b*f = -15 for f.
-5
Let d(k) = 4*k - 1. Suppose -3*p - 1 = -4*p. Let i be d(p). Solve m - i*m + 6 = 0 for m.
3
Suppose 0*a - 2*a + 6 = 0. Let c = 8 + -3. Suppose 2*n - 19 = -5*b, -c*b + 0*n = -4*n - 37. Solve 8*t - a*t = b for t.
1
Suppose -2*r + 0*r = -6. Solve 2*h - 5 + r = 0 for h.
1
Let b(d) = 3*d + 18. Let c(z) = -4*z - 27. Let o(x) = -7*b(x) - 5*c(x). Let i be o(4). Solve 0*h + i*h = 5 for h.
1
Let z be (-1 + -1 - 0)*1. Let m be 3*z/(-6) + 2. Let x = 4 - m. Solve -5*s = -x - 9 for s.
2
Let p(g) = -g + 11. Let r be p(10). Let y be r + (-3 - (-3 - 0)). Solve 4 = -c - y for c.
-5
Let c(f) = f**2 - f + 5. Let x = 3 - 3. Let j be c(x). Let h = -6 + 20. Solve -j*b = -1 - h for b.
3
Suppose -2*d - d = 0. Solve d = -0*p - 2*p - 8 for p.
-4
Let m be 8 - 1 - (3 - 1). Solve -m*a - 12 - 8 = 0 for a.
-4
Let m = -7 + 9. Let o be 1 + (m - 3) + 15. Let v(l) = 2*l - 6. Let w be v(6). Solve x - w*x - o = 0 for x.
-3
Let o(r) = -r**2 + 4*r + 1. Let k be o(4). Solve -3*p = k + 5 for p.
-2
Suppose -10*n + 5*n = 0. Solve -25 = -n*b + 5*b for b.
-5
Suppose 3*m + 9 = 24. Suppose -2*a + z + 3 = 0, 2*a + a - 37 = -m*z. Suppose a*f - 3 = 13. Solve d - 10 =