 0 = q + 3 + r for q.
-4
Suppose 0 = -4*d + 6*d. Solve d*q = q + 2 for q.
-2
Let j = -9 + 14. Let y = j + -3. Solve y*k - 3 = -k for k.
1
Let b(c) = -1 - 11*c + 6 - 3. Let l be b(-5). Suppose -4*q - 3*m + l = 0, 4*m = -4*q + 70 - 14. Solve -2*j = j - q for j.
5
Suppose -4*o + 20 = -f, 3*o - 15 = -0*f - 2*f. Solve -o*w = -3*w - 8 for w.
4
Let l(g) = g**3 - g**2 + g + 18. Let t be l(0). Suppose 4*a + i = 7 - 3, t = -a - 5*i. Solve -9 = a*p + p for p.
-3
Let y(j) = -j + 6. Let h be y(0). Solve h*i + 10 = i for i.
-2
Let l(o) = -2*o + 18. Let v be l(9). Solve v*t = 2*t - 10 for t.
5
Let h(c) = c**2 - 5*c - 4. Let g be h(-3). Solve 2*u = -2*u + g for u.
5
Let d = -38 + 53. Solve -q + d = 2*q for q.
5
Let v be 17 - 1*-2*-1. Let h(c) = c + 3. Let q be h(3). Suppose 4*b - 10 = q. Solve b*u = v + 5 for u.
5
Let j be (-3 - 1) + (-1 - -2). Let m = j - -5. Solve -3 = -m*i - i for i.
1
Suppose 2*w - 3 = -3. Solve w = -z + 3*z for z.
0
Let l = 22 - 18. Solve -3*j - l = -j for j.
-2
Let u = 11 - 11. Let n be u/(4/(-4) - -3). Solve n = -2*t - 0*t - 4 for t.
-2
Let w = -19 - -22. Solve t = -w*t - 12 for t.
-3
Let z(o) = 5*o + 70. Let m be z(-14). Solve -5*p + 9 + 1 = m for p.
2
Let p = -8 - -8. Suppose p = -16*g + 14*g + 10. Solve -4*t + g = 25 for t.
-5
Let t(k) = k**2 + 3*k + 3. Let w be t(-4). Let l = -5 + w. Solve -l*o = -0*o for o.
0
Suppose 3*p - w = 14, 2*p - 4*w = -w + 21. Solve n - 2 = p for n.
5
Let t(p) = p**2 - 4*p + 2. Suppose 5*m = 6*m - 5. Let s be t(m). Solve s*w = 3*w + 8 for w.
2
Let w = 0 - -3. Solve -v = -2*v - w for v.
-3
Suppose -12 = 3*a, -z - 13 - 8 = 4*a. Let x(u) = -u. Let t be x(z). Solve 0 = t*d - 7 + 2 for d.
1
Suppose -i = -5*m + 26, -1 = m + i - 5. Let v be 32/6 - 1/3. Solve -v*y + m = -20 for y.
5
Let q be 0/(-2)*(-11)/44. Solve 2*g + g = q for g.
0
Suppose 10 = -4*r + 3*f, -3*r = f + f + 16. Let w = 4 - 0. Let i = r + w. Solve i = 2*d - 8 for d.
4
Suppose 0 = -r + 7*r - 36. Solve 0 = -t + r*t for t.
0
Let k(o) = -o**2 - 5*o + 4. Let n be k(-5). Suppose 2*z = 6*q - 2*q - 10, -n*z = 3*q - 13. Let b = z - -1. Solve 0 = -i + b for i.
2
Let y(c) = c**2 + 5*c - 6. Let z be y(-6). Let f(q) = 7*q + 46. Let a be f(-6). Solve -a*t + 5*t = z for t.
0
Let l be (11/4)/(3/24). Solve l = 5*o - 3 for o.
5
Let m(z) = -z**2 + 4*z + 8. Let q be m(5). Suppose q*k = -k. Solve -3*w = -k + 3 for w.
-1
Suppose 2*u - 5 + 0 = -y, 4*u = -4*y + 16. Solve -2*d - u + 11 = 0 for d.
5
Let b = 0 - 0. Suppose -d - 2*d + 12 = b. Let o = d - 4. Solve -6*j + 2*j + 4 = o for j.
1
Let z(r) be the third derivative of r**5/30 - r**4/4 + r**3/6 + 3*r**2. Let x be z(4). Solve -4*t = -t + x for t.
-3
Suppose -37 = -5*t + 3*s, -2*t + 3 = 2*s + 1. Let h be 116/14 - 6/21. Solve t*o - 12 - h = 0 for o.
4
Let z(h) = h**3 - 8*h**2 + 9*h - 2. Let m be z(7). Solve 0*y + 3*y - m = 0 for y.
4
Let i = 4 + -1. Solve s = i + 1 for s.
4
Suppose -5*t + 45 = 5*n, 12 + 6 = n + 4*t. Solve 3*g = -0*g - n for g.
-2
Let m = 14 + -14. Solve f + 0*f = m for f.
0
Suppose -j = -3*j. Let n be (4/3)/((-2)/(-3)). Suppose j = -2*v - n + 8. Solve -v*h - h + 4 = 0 for h.
1
Let j(x) = x - 2. Let a be j(3). Let g be (-1 + 2)*(a - -2). Solve g = 2*t + 5 for t.
-1
Let u be 6/21 - 267/(-21). Suppose f + u = 3*f + 3*w, 2*f + w = 3. Let j(t) = -5*t. Let x be j(f). Solve 0*h - 10 = x*h for h.
-2
Let x = -14 + 14. Solve x = 4*z - 28 + 8 for z.
5
Suppose 0 = 4*i - 4*b, -5*i + 2*i + b = -6. Let n = -12 + 10. Let m be -1*(-1 + 0/n). Solve -i*f - m = -7 for f.
2
Let t be (1 - 6)*(1 + -2). Let q = 1 - -3. Suppose -q*b = b - 10. Solve t*a + 12 = b*a for a.
-4
Let o(t) = -t**3 - 6*t**2 + 5*t - 6. Let g be o(-7). Let b = 14 - g. Suppose b = 4*z - z. Solve z*k - 6 = -0*k for k.
3
Let w be (4/3)/(24/54). Solve 0*v = w*v for v.
0
Suppose 2 = d - 1. Let v be (d - 1) + 1 + 0. Solve -2*f + v - 1 = 0 for f.
1
Suppose 3*c - 7*c + 56 = -5*x, -3*c + 3*x + 39 = 0. Suppose -c*p = -13*p + 4. Solve 4 + p = m for m.
5
Let o(c) = -c**2 + c. Let n be o(2). Let j = -3 + n. Let w = -2 - j. Solve r + w - 2 = 0 for r.
-1
Let k(a) = -a**3 - 10*a**2 - 10*a - 7. Let y be k(-9). Solve f = y*f + 4 for f.
-4
Let y be (-2)/(-12) + 33/18. Solve -3*i = -y*i - 5 for i.
5
Let z be ((-4)/(-6)*15)/2. Suppose 4*l = z + 3. Suppose 0 - 8 = l*q + 4*i, 2*i + 4 = -4*q. Solve 5*g + q*g = -15 for g.
-3
Suppose -y - 5*b = y - 46, 3*b - 134 = -5*y. Suppose t = 5*w - y, 2*t - 24 = -3*w - t. Let v be 1/2 + (-25)/(-10). Solve 0*j = -v*j + w for j.
2
Let s(w) = w**3 + 3*w**2 + 2. Let n be s(-3). Suppose -n = -3*v + 13. Solve -v*f = -6 - 4 for f.
2
Let h(g) be the third derivative of -1/24*g**4 + 2*g**2 + 0*g + 0*g**5 - 1/6*g**3 + 0 - 1/10*g**6. Let b be h(-1). Solve 0 = -3*i - 0*i + b for i.
4
Suppose -2*f + k + 75 = 2*f, -4*f - 2*k + 66 = 0. Suppose 2*v - f = -v. Solve 2*m + 0 - v = 0 for m.
3
Suppose 6 - 2 = 2*j. Suppose 0*d - 2 = -d. Solve 0 = d*x + 8 + j for x.
-5
Let j = 0 - -2. Suppose j*l + 2*t = 0, -5 = t + 4*t. Let r(c) = c**3 + 2*c**2 - 2*c + 1. Let o be r(l). Solve 7*f = o*f + 5 for f.
1
Suppose 2*b = -3*b - 35. Let d be 0 + (0 - -1 - 22). Let n be b/d - 1/3. Solve n*z - 2 = z for z.
-2
Let d be (9/15)/((-1)/(-5)). Let q = 0 + d. Let b = q - 2. Solve 2*r + 1 = -b for r.
-1
Let z be 0 + 0 + -2*4. Let w = -5 - z. Suppose 0 = -4*k + w*k + 2. Solve -1 = k*p + 1 for p.
-1
Let o = -15 + 24. Let d be 6/9 - (-21)/o. Suppose 2*h - 5 = -d. Solve m - h - 3 = 0 for m.
4
Suppose -3*j = -5 - 1. Suppose -j*l - 56 = q, 4*l - 2*q = l - 91. Let i be -2 + (6/(-3) - l). Solve f - i = 6*f for f.
-5
Suppose 0 = -3*w + 3. Let n = 4 - w. Solve 10 = -n*z + z for z.
-5
Suppose -8 = -5*h + h. Let j = -7 + 10. Solve -h*x + 7 = -j for x.
5
Let d = 1 + -8. Let m(l) = 5*l**2 + 6*l + 3. Let c(s) = 9*s**2 + 12*s + 5. Let n(t) = 4*c(t) - 7*m(t). Let o be n(d). Solve 14 + o = -5*p for p.
-4
Let k(c) = -c**3 - 5*c**2 - c + 1. Let f be k(-5). Suppose -b + 74 - 72 = 0. Solve -b*m = -f - 0 for m.
3
Suppose 6*h = 4*h + 6. Solve -3*w + 4*w = h for w.
3
Let v = 0 - -6. Suppose 3*k + v = -0*k - 3*d, 0 = 4*d + 8. Solve -3*b - 4 - 2 = k for b.
-2
Let o = -89 + 89. Suppose 12 = 2*h + 2*h. Solve o = h*l + 2 + 1 for l.
-1
Suppose -3*d + y + 13 = 2*d, 0 = 5*y + 15. Solve -d*n + 12 = 2 for n.
5
Suppose 4*h - z = 31, 3*z = -4*h + 8*z + 11. Solve -5*d = -8*d - h for d.
-3
Suppose h - 100 = -4*h. Suppose 4*c = -4, -2*c = 5*y + 3*c - h. Suppose 0 = 4*x - y*x. Solve x*t = -t + 1 for t.
1
Let z be (-11 + 1)*26/(-65). Let y be 2/z*(-13 - -29). Solve 5*m + y = m for m.
-2
Let k = 41 + -27. Suppose 3*i + 17 = 4*a, -4*a + 3*i + k = i. Solve 5 + 1 = a*m for m.
3
Suppose -2*w = -5*h + 10, -h = -2*h - w + 9. Solve -12 = h*t + 8 for t.
-5
Let g(v) = -9*v - 7. Let q(b) be the first derivative of -b**2/2 - b - 1. Let p(c) = -g(c) + 6*q(c). Let n be p(1). Solve -t = n*t + 15 for t.
-3
Suppose -4 = 4*c - 12. Solve 0 = -c*r - 0*r for r.
0
Let o(g) = -g**2 + 5*g + 4. Let y be o(5). Suppose -i = -y*i + 18. Solve 0 = -2*l + i + 4 for l.
5
Let s(q) = 4*q**3 - 1. Let j be s(1). Let d = 3 - j. Let y be ((-4)/3)/(1/(-3)). Solve -y = -p - d for p.
4
Let y(a) = a**3 - 3*a**2 - 4*a + 4. Let k be y(4). Solve -k*u + 7 + 5 = 0 for u.
3
Suppose 3*j + 4*a = -a + 10, -a + 9 = 2*j. Solve j*t + 12 = 32 for t.
4
Suppose -3*n - 7 = -1, 16 = 3*b - 5*n. Suppose -4*g = b*a - g + 7, 0 = 5*a + 4*g. Suppose 3*v = a*v - 2. Solve 2*i = v + 6 for i.
4
Let x(j) = -4*j**2 + 23*j + 7. Let m be x(6). Solve 11 = -4*u - m for u.
-3
Let o = 148 - 122. Solve 0 = -o*f + 25*f - 1 for f.
-1
Let w = 38 - 35. Solve w*p + 2*p = 15 for p.
3
Let h(c) = c**2 + 5*c - 1. Let r be h(-7). Let w = r - -2. Solve -6*d = -3*d - w for d.
5
Suppose -3*k = -2*s - 2*s - 12, k = -4*s + 4. Suppose -10 = -h - k. Let l = h - 3. Solve -l = o - 4*o for o.
1
Let s(d) = -d**3 - 4*d**2 - d - 4. Let u be s(-4). Solve v - 2 + 0 = u for v.
2
Let u(m) = -m**3 + 9*m**2 + 2*m - 12. Let a = 6 - -3. Let p be u(a). Let g = 6 - p. Solve -3*i + 5 + 1 = g for i.
2
Let f be -3*(-4)/3 - (4 - 2). Solve 6*l - f*l + 4 = 0 for l.
-1
Let h(b) = b**2 - 4*b - 5. Let z be h(4). Let u(x) = -x**3 - 4*x**2 + 3*x - 5. Let r be u(z). Solve -8 = r*g + 7 for g.
-3
Let u(j) = -j**3 - 9*j**2 - 11*j - 1. Let w be u(-9). Let k be 3/(-2)*w/(-21). Solve -3*g - 1 = -k for g.
2
Let c(t) = -t**3 + 7*t**2 - 6*t + 2. Let 