 + 8 = 0 for t.
2
Let i = 6 - 6. Solve i = -5*r + 5 for r.
1
Suppose 0*w = 2*w - 6. Suppose -3*p = -2*n - w - 0, 4*p - 5*n + 3 = 0. Solve 1 = 4*h - p for h.
1
Let z(c) = -c**2 - 4*c + 3. Let k be z(-4). Suppose k*a = 4*a - 3. Solve -a*o + 8 - 23 = 0 for o.
-5
Let d be 5/((-10)/4) + 21. Let w be (-6)/(-21) + d/7. Solve y - w = 4*y for y.
-1
Let i = 27 + -27. Solve i = 7*x - 3*x for x.
0
Suppose 3*d + 3*k - 33 = 0, k + 19 = 3*d - 3*k. Suppose d + 11 = 5*g. Solve 6 = g*l - 2*l for l.
3
Let v be -4*((-5)/2 - -2). Let c be 4*(2 - 1) - 0. Solve v*f = c*f + 2 for f.
-1
Suppose -4*b = 3*d - d - 10, -2*b - 3*d + 15 = 0. Solve 5*h - 15 = -b*h for h.
3
Let u(b) = 3*b - 2. Let k be u(1). Solve 0 = -5*p - 6 + k for p.
-1
Let v be (2/4)/((-1)/(-8)). Solve -v - 8 = -3*x for x.
4
Suppose -5*t = -2*t - 3. Suppose 5*y = 15, 9 = -4*c + 4*y + t. Solve -2*v + c + 3 = 0 for v.
2
Suppose 3*q + 2*q = 0. Let w(j) = -j**2 + j + 2. Let h be w(q). Suppose 5*n - f - 15 = 0, -f = -n - 6*f + 3. Solve -h = -n*d + 13 for d.
5
Let m be (0/1)/(30/10). Let v = -5 + 8. Suppose -5*h - 2*s + 19 = 0, 4*h - 2 = v*h - s. Solve m = o - 0*o - h for o.
5
Let r be (15/(-45))/(((-4)/18)/2). Solve 0 = -5*l + r*l for l.
0
Let t(u) be the first derivative of u**3/3 - 3*u**2/2 + 3*u - 2. Suppose -x - 2 = 3*d - 11, -4*d = -2*x - 12. Let l be t(d). Solve -l*g + 0 = -3 for g.
1
Let h be -1*10*(-6)/12. Solve -h*l + 8 = -9*l for l.
-2
Let j be 4/1 - (-2 + 1). Let f be (9*-7)/(-3) + 0. Suppose -2*y = -1 - f. Solve y + 14 = -j*u for u.
-5
Suppose 10 = 3*o - 2*v, 0 = 3*o + v - 14 + 1. Solve o*i - i - 15 = 0 for i.
5
Suppose -3*l + 5*a - 112 = 18, -4*l - 181 = a. Let p be (2/3)/((-3)/l). Solve 0 = -3*j - p - 5 for j.
-5
Suppose 0*j - 20 = 4*j, -j = 3*w - 10. Suppose -3*m + 3*g = -27, m - 1 = w*g + 20. Solve 2*d - m + 4 = 0 for d.
1
Let s = -126 + 131. Solve -3*j = 2*j + s for j.
-1
Let l(g) = -g**2 - g - 2. Let i be l(2). Let m = -6 - i. Solve -5*u + 27 - m = 0 for u.
5
Let q(o) = -o**2 - 10*o - 9. Let b be q(-9). Suppose 0 = -2*h + 6 - b. Solve 2 = -5*i - h for i.
-1
Suppose 0 = 4*z + z + 50. Let s be (z/(-4))/((-2)/(-4)). Solve 1 - 11 = -s*y for y.
2
Let a(r) = -r**3 + 7*r**2 + 5. Let x be a(7). Suppose c + 2*c - 29 = -4*l, l = x. Suppose -c = 2*p + z, -4*p + z + 0*z = -3. Solve p*j + 20 = 4*j for j.
5
Suppose -9 = i - 27. Let n = i + -18. Solve n = 3*x + 7 + 8 for x.
-5
Let o = -9 - 11. Let q = -15 - o. Solve -5*j - q = -4*j for j.
-5
Let t(o) = -4*o - 64. Let m be t(-16). Solve 2*y + m*y + 4 = 0 for y.
-2
Suppose 3*v = -3 - 0. Let j be (-63)/(-35) - v/5. Solve j + 2 = 2*b for b.
2
Suppose 3*v + 4*k = -0*k + 55, 2*k - 115 = -5*v. Solve 0 = 4*n + n - v for n.
5
Let r be 2*(-1*2 + 3). Let j(x) = x**2 + 4*x + 6. Let t be j(-8). Suppose -t = -5*q - r*g, -2*g = -5*q - 11 + 33. Solve -4*o + q + 6 = 0 for o.
3
Let i be 2*((-1)/2 + 3). Solve -2*k + i = -1 for k.
3
Let w be 5/(-15)*(-150)/2. Suppose x + 5 = 2*x, 5*k + w = 5*x. Solve r + k + 1 = 0 for r.
-1
Let d(q) = 4*q**2 - 2*q + 1. Let g be d(1). Solve -2*m + m = g for m.
-3
Let j(p) = p**3 - 2*p**2. Let s(g) = -4*g**3 + 7*g**2. Let n(w) = -9*j(w) - 2*s(w). Let u be n(2). Solve -2*y + u = 2*y for y.
2
Let b(q) = q - 3. Let f be b(7). Solve z - f*z = 0 for z.
0
Let r be 1*(3/1)/1. Solve 0 = -r*l - 2*l - 5 for l.
-1
Let c(t) = -t. Let a be c(-2). Solve -a*j = 3*j - 5 for j.
1
Let c be (-4)/(-10) - 2/5. Solve -2*u + 2 = -c for u.
1
Let m(y) = 3*y - 14. Let n be m(7). Solve -5*d - n - 3 = 0 for d.
-2
Let j be (9/4)/((-3)/(-8)). Solve z + j = 3*z for z.
3
Let s = -60 + 64. Solve 25 = -s*t + 9*t for t.
5
Let r(x) = -7*x**3 - x**2 + 2*x + 2. Let u be r(-1). Solve -u*l = -2*l - 16 for l.
4
Let c be (-4)/(-1)*(-3)/(-3). Suppose 2*p - 38 = -4*j - 6, 2*p = 0. Suppose -3*x + c = -j. Solve -x*g = -2*g - 4 for g.
2
Let w(p) = -p**3 + 4*p**2 + 6*p - 3. Let o be w(5). Suppose -o*j = 3*j - 15. Solve 0 = j*c + 2 - 17 for c.
5
Let l = 52 - 17. Suppose 4*o = -0*o - 5*z + 85, -2*o + 5*z = -5. Let g = l - o. Solve 0 = -q + 6*q - g for q.
4
Let k = 2 - 5. Let g be k/(-1) - 9/9. Let i be (-20)/(6/(-2) + g). Solve -q = -6*q + i for q.
4
Suppose -b + 32 = 4*x - 4*b, 6 = 2*x + b. Solve -6 = x*a + 14 for a.
-4
Let k = 20 - 5. Solve 4*w - k + 3 = 0 for w.
3
Suppose 10*v - 11 = -1. Solve -2*m + v - 9 = 0 for m.
-4
Let c be 5/(-10 + 0)*(0 - 0). Solve 0 = -c*i + 5*i for i.
0
Suppose 3*o - 14 + 8 = 0. Let u = 1 + -1. Suppose u = 2*r - r. Solve b + o = -r*b for b.
-2
Let l(k) = -9 - 5*k + 2*k + 5*k**2 + k**3 - 6*k. Let n be (0 + -2)/((-2)/(-6)). Let p be l(n). Solve -5*q - 16 = p for q.
-5
Let z(s) = s + 3. Let p be z(4). Suppose -2*c + p*c - 110 = 0. Let i = c + -10. Solve 6*a = 2*a - i for a.
-3
Suppose 4*h - 36 = -3*f, h + f = -1 + 11. Solve h*p = 7*p + 5 for p.
-5
Let b be (-1)/2 - (-15)/10. Solve -k - 3 = b for k.
-4
Let y = -16 + 16. Solve y*s + 3*s + 15 = 0 for s.
-5
Suppose 0 = k - f - 33, -5*f - 21 - 4 = 0. Suppose 62 = 4*j + 2. Suppose 5*i + 2*w - 4*w = 23, j = i - 3*w. Solve -5*q + i = k for q.
-5
Suppose -5*c + 5*w - 2 - 3 = 0, -41 = -4*c - 5*w. Solve -c*o + 2*o - 10 = 0 for o.
-5
Let o be (-1 - (-1 + 0))/1. Let t be (-2 + 1 - -27)*1. Suppose -5*a = -5*h - 0*a + 50, -t = -2*h - 4*a. Solve 3*k - h - 4 = o for k.
5
Let u(p) = 7*p + 12. Let f be u(1). Solve -3*v = f - 7 for v.
-4
Suppose 0 = d - q - 7, -2*d - q = q - 30. Suppose 0 = z - 4*t - d, 0 = z - 2*t - 5 + 2. Let k = 9 + z. Solve -k*n = -3*n for n.
0
Let p(t) = t - 3. Let k be p(-3). Suppose -7 - 13 = -4*m. Let q be (k/m)/((-4)/10). Solve -9 + 0 = q*v for v.
-3
Suppose 4*o + 4*s - 8 = 0, -4*o + 13 = -2*s + s. Let c(k) = -k + 2. Let r be c(1). Solve -2*d = -o + r for d.
1
Suppose o - 25 = -4*o. Let x = -5 - -8. Suppose -x - 2 = -o*d. Solve -2 = a - d for a.
-1
Let s = -13 + 19. Let w(b) be the third derivative of -b**4/24 + b**3 + 4*b**2. Let i be w(s). Solve -2*n + 3*n - 2 = i for n.
2
Let c = 14 - 2. Solve -4*w = -w + c for w.
-4
Let z = 7 - 3. Solve -z*d = -d + 3 for d.
-1
Let r be (-1 - 1 - -8) + 1. Solve l + r = 2 for l.
-5
Suppose -4*z = 2*f - 12, -2*z = 3*f - 2 - 4. Suppose 9 = -4*c + 6*c - z*q, 0 = 2*c + q - 13. Solve -4*t = -t + c for t.
-2
Let z(c) = c**3 + c + 2. Let p be z(0). Solve -x + p = -1 for x.
3
Let m(a) = -a**2 + 14*a. Let s be m(14). Solve s*r + 3*r = -9 for r.
-3
Suppose s + 44 = -4*k, 0 = 4*k + 3*s + 78 - 26. Let v = 14 + k. Solve -v*n = -n - 15 for n.
5
Suppose 0 = -3*w - 8 + 2. Let m = w - -4. Solve 4 = 3*t - m*t for t.
4
Suppose 4*s - 18 + 10 = 0. Solve b - s = 2*b for b.
-2
Suppose 2*j = 3*i - 0*i - 17, 2*j = i - 7. Solve -5*w - i = 5 for w.
-2
Let n = -9 - 1. Let l be (-2)/5 - 4/n. Let r be (l/(-2))/(4 - 5). Solve 5*s = -r*s - 20 for s.
-4
Suppose 2*s + c - 9 = 0, -3 - 4 = -s - 3*c. Suppose -4*a + 20 = 2*z, 4*z - s*a = -a - 4. Suppose -4*f + 10 = -z. Solve -f*d - 4 = d for d.
-1
Let d(r) = 4*r - 14. Let q be d(6). Solve 0 = 2*z - 0*z - q for z.
5
Suppose 5 + 10 = 5*f. Suppose 2*u - 4*r = -4, 6*r = -f*u + 3*r + 3. Solve -3*n - 14 - 1 = u for n.
-5
Let u = 139 - 134. Solve 5 + u = 2*j for j.
5
Let p = 11 - 7. Let w be 1 + (1 - p) - -5. Solve -2 - w = -s for s.
5
Let i = -21 + 14. Let g = -20 + 29. Let r = g + i. Solve 0*t - r = t for t.
-2
Let o = 0 + 2. Let h be (9/4)/((-6)/(-16)). Solve 0 = -o*c + h*c - 12 for c.
3
Let c(u) = -6*u - 42. Let f be c(-7). Solve f = -2*h - 0 - 2 for h.
-1
Suppose 3*y - 4 = -y. Suppose 6*v - 3*v = -21. Let p = -7 - v. Solve 0 = -j - p*j - y for j.
-1
Let s(n) = n + 1. Let k be s(-6). Let m(a) be the second derivative of a**5/20 + 5*a**4/12 - a**3/6 + a**2/2 + 7*a. Let p be m(k). Solve 2*v + p = 2 for v.
-2
Let y be 0/(-1) - 2 - -6. Solve 20 - y = -4*x for x.
-4
Suppose -2*r - 5*a + 6 = 0, 2*a + 0 = -4*r + 44. Suppose -r = -4*i - 5*u, 2*i - 3*u + 16 = -5. Let s = 5 - i. Solve s = -3*c - c for c.
-2
Suppose 0 = -4*q - 16, 2*m + 2 = 3*q - 8. Let l = m + 14. Solve l*k + 0*k = 0 for k.
0
Suppose 5 - 32 = -3*u - 4*h, -3*h = 5*u - 34. Let v be 1*-4 - (2 - -1). Let y = -3 - v. Solve -y*x = -u*x + 1 for x.
1
Let f(o) = -o**3 + 5*o**2 + 4. Let c be f(5). Solve -12 = -c*g - 0 for g.
3
Let y = 6 + -4. Let r(i) = 3*i - 3. Let v be r(y). Solve -5 - 10 = v*c for c.
-5
Let t be -4 - (24/(-2))/((-27)/(-18)). Solve -t*z - 16 = -0*z for z.
-4
Let w be 2/(0 - -2)*1. Let d = -10 + 1