2 + r. Let m be q(-1). Suppose 4*p + 4 = m, -13 = -4*a - a + 3*p. Solve a*c + 4 = c for c.
-4
Let u(f) = f**3 - 5*f**2 + f - 5. Let y(v) = -2*v - 5. Let a be y(-5). Let r be u(a). Let m = -3 - -4. Solve r = g + m - 3 for g.
2
Let a(q) = q**2 - 7*q - 5. Let p be a(7). Let k(o) = -o**3 - 5*o**2 - o. Let i be k(p). Solve -3 + 8 = -i*c for c.
-1
Suppose -2*g = 3*o - 32, 0*g - g + 11 = o. Let i be (-5 + 0)*(-1 - 0). Suppose i*p = -2*l - 0*l - 2, 4*p + 3*l = -3. Solve p*f + o = 2*f for f.
5
Let a(c) = -c**3 - 3*c**2 - 3*c - 3. Let g be a(-3). Let j(x) = x**3 - 6*x**2 + 3*x - 9. Let z be j(g). Solve -2*k = k + z for k.
-3
Let q = -3 + 7. Let g be (48/15)/(8/40). Solve 0 = q*h - 4 + g for h.
-3
Suppose -1 - 8 = -3*s. Suppose -t - s*r + 8 = 0, 4*r = -3*t - 2*t + 29. Suppose -g + 2 = 2*i, 1 = 4*i + 3*g - 5. Solve i = t*h - 5 for h.
1
Suppose -8 = 4*f - d - 3, 25 = f + 5*d. Let a = 7 - f. Suppose 2*u + 1 - a = 0. Solve 5*h = u*h for h.
0
Let s = 73 + -63. Solve 2*t = -3*t - s for t.
-2
Let l = -21 - -27. Solve 0 = 3*d + l for d.
-2
Let v(j) = -3*j**2 + 9*j + 7. Let t(u) = u**2. Let o(m) = 2*t(m) + v(m). Let q be o(8). Solve 0 = -2*c + 5*c - q for c.
5
Let r be -9*(2 + (-24)/9). Suppose 3*k = r, -34 = -6*l + 3*l - 5*k. Solve -2*z - l = -4*z for z.
4
Let f = 7 + -7. Suppose 3*j - 6 = f, m + 3 = 3*j - 0. Solve -8 = m*r + r for r.
-2
Let c be (-8)/(-28) - (-12)/7. Suppose -c*n - 3*n = -10. Solve n*y + y + 3 = 0 for y.
-1
Suppose -4*k = -8 - 16. Solve 4*j - 18 = -k for j.
3
Let y = -12 - -14. Solve -y = -l + 2 for l.
4
Let y(a) = -a**3 - 7*a**2 + 5*a - 2. Let s be y(-8). Suppose -2*m - s = -4*h, -h - 20 = -3*h - 2*m. Let g = -3 + h. Solve g*w + 18 = 6 for w.
-3
Let s = -1 + 7. Let d = s - 4. Solve -3 = d*b + 1 for b.
-2
Let n(f) = 2*f - 1. Let s be n(6). Let v be (s/(-2))/(1/(-2)). Let i = -4 + v. Solve -i*k = -2*k - 15 for k.
3
Suppose 2*j + 1 = -1. Let m be -1 + ((-9)/j - 0). Let y = 12 - m. Solve n - y + 0 = 0 for n.
4
Let g be (16/(-2))/4 - -7. Solve -g*x = -9*x + 20 for x.
5
Let x = 7 + -4. Let q(t) = t**2 - 2*t - 1. Let n be q(x). Let i(f) = 7*f + 1. Let z be i(n). Solve d - z = -2*d for d.
5
Let c = -12 + 7. Let n be ((-12)/(-10))/((-1)/c). Let k = -3 + n. Solve -l + 4 = -k*l for l.
-2
Suppose 0*z - 7*z + 35 = 0. Solve -z*r - 1 = 4 for r.
-1
Suppose 5*t = -5*v + 20, 0 = v + 4*t + 1 - 5. Solve -6*o = -v*o + 2 for o.
-1
Let c(z) = 2*z**2 + 10*z - 8. Let h be c(-6). Solve a = h*a for a.
0
Let z(w) = 0*w - 6*w + 3 - 8. Let q be z(-5). Solve 2*n = -3*n - q for n.
-5
Suppose 10*f - 16 = 6*f. Suppose -l - 4*l = 0. Suppose 0*a + 2 = a. Solve 2*x - a + f = l for x.
-1
Let a = -26 - -33. Suppose 3*n - 2 = a. Solve b = -n*b + 4 for b.
1
Let t(g) = -g**2 + 2*g + 9. Let o be t(3). Solve -o*w + 3*w = -9 for w.
3
Suppose 2*h + 3*h - 10 = -5*s, s = -5*h - 14. Solve -s*x = -3*x - 9 for x.
3
Suppose 5 + 10 = 3*o. Solve -14 = o*a + 11 for a.
-5
Suppose -r + 0 = -2. Suppose k = -r*k. Solve -c + k = -1 for c.
1
Let a = 4 + -2. Suppose -4*o = a*i - 14, 3*o - i + 0*i - 18 = 0. Let v = o + 20. Solve -v = l - 6*l for l.
5
Let i = 7 + -7. Suppose -3*g + 49 + 11 = i. Solve v + g = -3*v for v.
-5
Let q be 0/(-5 + (9 - 5)). Solve y + q = 1 for y.
1
Let v be -1*1*39/(-1). Let o be 8/44 + (-62)/(-22). Suppose -u - u - 5*n = -v, 33 = o*u - n. Solve 0 = -4*b + b - u for b.
-4
Suppose 3*f - 7 = -2*s - 1, -s - 3*f = 0. Suppose 2*d + 10 = 4*v - 8, 2*d + 2*v = s. Let a be (-1)/(d + 9/12). Solve -a*b + 7*b = 12 for b.
4
Let c be (-328)/(-28) + 4/14. Solve 0 = 3*y - c - 3 for y.
5
Let w be 4 - (-3 + 5) - 0. Solve 5*h + 22 - w = 0 for h.
-4
Let b(x) = -x**2 + 2*x**2 + 1 - 3 + 2*x. Let y be b(2). Solve -y*p - 4 = -2*p for p.
-1
Suppose -2*k + k + 2 = 0. Suppose -n + x + 7 = 0, -39 = -3*n + x - 4*x. Let j = n + k. Solve 4*a + 0*a + j = 0 for a.
-3
Let r(g) be the third derivative of g**6/120 - 2*g**5/15 + g**4/4 + 5*g**3/3 - 3*g**2. Let z be r(7). Solve -4*i + 9 + z = 0 for i.
3
Let w(s) = -3*s - 3. Let r be w(-1). Solve 0 = -2*g - r*g for g.
0
Let d = 2 - 0. Solve d = -2*k + 4 for k.
1
Let c = -20 - -24. Solve 3*f - c*f + 4 = 0 for f.
4
Suppose u + 2 - 5 = 0. Solve u*a + 11 = -1 for a.
-4
Suppose 13*z - 108 = 4*z. Solve z = 5*p - 8 for p.
4
Let b(p) be the first derivative of -1/2*p**2 - 4 + 1/3*p**3 + 5*p. Let y be b(0). Solve s + 2 - y = 0 for s.
3
Suppose 0 = -4*q + 2*q. Suppose q = t + t. Let o(k) = -k**3 - 6*k**2 + k + 6. Let y be o(-6). Solve y = -3*p + 12 - t for p.
4
Suppose -40 = -3*p - 4*q, 5*q - 11 = 9. Suppose i = 16 + p. Suppose -9 + i = 3*w. Solve 0 = x - w*x - 4 for x.
-1
Let z be (-2 - 0 - -2) + 0. Solve z*l = -3*l for l.
0
Let p(q) = q**3 + q**2 - 7*q**2 + 5 + 0*q**2. Let r be p(6). Suppose 4*b - 17 = -r. Solve -9 = -b*g + 6 for g.
5
Suppose 0 = -4*i - 8 + 16. Let z be 0/(1 - (1 + -1)). Suppose k - 3*k = z. Solve i*y = 4 - k for y.
2
Suppose -17 = 2*m - 3*w, 0 = 2*w - 3 - 3. Let r = m - -10. Solve -r = -5*s + 4 for s.
2
Let o be 3/6*-3*-2. Suppose o*c + d - 9 + 4 = 0, 2*c - 9 = 5*d. Suppose 0*j = -j + c. Solve k + 5 = j for k.
-3
Suppose -11 = -3*o - 2. Solve o*t + 5 = -7 for t.
-4
Suppose -3*s - 18 = -4*v - 2*s, v - 5*s + 5 = 0. Solve -25 + v = -5*w for w.
4
Suppose 7 + 13 = 4*v, -4*v = x - 36. Let m = x - 8. Solve -3*c + 1 = -m for c.
3
Let s(b) = 2*b + 1. Let m be s(1). Suppose 3*i + 3*v - 42 = 0, 5*i + 0*i + m*v = 66. Solve -2*g + 6*g + i = 0 for g.
-3
Suppose 2 = 2*p + 26. Let v = p - -19. Solve -12 = 3*x - v*x for x.
3
Let t = -10 + 14. Suppose 5*c - 4 = 41. Suppose 0*v - 3*v + c = 0. Solve -2 = v*r + t for r.
-2
Let b be (0/(2/1))/(-2). Suppose -4*c = -q - b*q - 16, 5*q - 5 = 3*c. Solve 0 = q*g + 10 - 30 for g.
5
Suppose 12 = 5*s - 3*l - 5, 0 = 2*l - 2. Solve -s*j - j = 5 for j.
-1
Let v = -8 + 4. Let c(k) = -k - 4. Let g be c(v). Solve g = -b - b for b.
0
Let s = 25 - 43. Let k = -17 - s. Solve 4*p - 3*p = k for p.
1
Suppose -4 = 2*d - 8. Suppose -5*i = d*w - 11, -3*i = -2*i + 1. Suppose 4*r = -4*k + 29 - 9, -2*r = -4. Solve -k*b = -b - w for b.
4
Let p(y) be the second derivative of y**6/360 - y**4/6 - y**3/6 - y. Let n(s) be the second derivative of p(s). Let v be n(3). Solve 0 = 6*z - z + v for z.
-1
Let d(z) = 2*z**3 - 11*z**2 - 5*z - 6. Let n be d(6). Solve r + n*r = 3 for r.
3
Let p be ((-5)/2)/(70/(-56)). Solve 3*z + p*z - 10 = 0 for z.
2
Suppose -4*w - 23 = -3, -5*q = -5*w - 150. Solve 0*i - q = -5*i for i.
5
Let a be 56/20 + 4/(-5). Solve -a*l + 8 = -2 for l.
5
Let u be -12*(-1 + (-2)/(-4)). Let g = u - 3. Solve -g*l = 2*l for l.
0
Let r(p) = -4*p - 11. Let b be r(-11). Let v = b + -14. Suppose 5*g - 4*y + 7 = 0, -2*g + v = 5*y + 2. Solve 0 = h + g + 4 for h.
-5
Let q be 2/8 - ((-35)/7)/(-20). Let w be 10/(-5) + (7 - 2). Solve 2*k - 1 + w = q for k.
-1
Suppose l - 5*s = 0, 0*l + 3*s - 8 = -l. Solve -2*f + l*f - 15 = 0 for f.
5
Let f = 3 + 0. Let i be (-1)/f*(-1 + -2). Solve -4*o + 21 = i for o.
5
Let p(i) = 3*i + 6. Let o be p(-4). Let j = o + 11. Solve -j*m + 2*m = 15 for m.
-5
Let d = -1 + 4. Let y(r) = r**3 - r**2 - 2*r + 1. Let x be y(d). Solve 5 = -4*s + x for s.
2
Suppose 0*a = 5*a. Solve a*c = -4*c - 20 for c.
-5
Let s = -9 + 11. Suppose 9 - 4 = c. Solve z = -c + s for z.
-3
Suppose -20 = -4*j - z, 5 = j + 7*z - 3*z. Solve 0 = -j*w - 10 for w.
-2
Suppose 0 = 10*d - 11*d + 3. Solve 2 = 2*o - d*o for o.
-2
Suppose 218 = 5*n - 3*r, -4*r = -4*n - 2*r + 176. Let q be n/12 - 5/(-30). Suppose -q*b + 0*b = -8. Solve -b*j = 2*j + 4 for j.
-1
Let s = 3 + -1. Let i be 100*3*(-3)/6. Let l be (2/(-5))/(6/i). Solve 0 = s*g + l for g.
-5
Suppose 5 - 1 = z. Suppose -x = -z*q - 8, 0*x + 4*x = -5*q + 11. Solve -o + x = -5*o for o.
-1
Let h(d) = -d**3 - 12*d**2 - d - 12. Suppose -t = 2*b - 1 + 17, 4*t + b = -50. Let g be h(t). Suppose -9 = -3*m + 3. Solve g = 2*s - m*s for s.
0
Let t(d) = d - 4. Let x be t(4). Solve 2*s - 1 + 5 = x for s.
-2
Suppose -3*a - 5*j = 3, a = -0*j + 4*j + 16. Solve 0 = a*p - p - 9 for p.
3
Let m(r) = -r**2 + 5*r + 7. Let g(t) = -2*t - 8. Let l be g(-7). Let h be m(l). Suppose -4*z - 2*o + 2 = 0, -5*o + h + 4 = 0. Solve -3*k + z = -6 for k.
2
Let r(o) = -o**2 + 9*o - 10. Let g = -9 - -16. Let z be r(g). Solve z*t = 3*t + 1 for t.
1
Let c = 9 - 3. Let y be 2/(-6) + 44/c. Let l(h) = -h**3 - 7*h**2 - 5*h + 6. Let z be l(-6). Solve z = -2*w + 3