 = -9 for d.
3
Let r(x) = x**2 + 2. Let v be r(-3). Suppose o + 0*o - v = 0. Suppose -3*n + 8*n = q - 27, 3*n + o = -2*q. Solve h - q = 2 for h.
4
Let m = 10 + 2. Solve -m = 2*u + u for u.
-4
Let w(p) = -p + 4. Let d be w(4). Let s be -10*(d + (-12)/15). Solve 4*h = -0 + s for h.
2
Suppose 0 = 5*u - 10*u + 5. Let m(b) = -b + 10. Let k be m(9). Suppose 0 = -4*s - u + 5, x + k = 4*s. Solve 2 + x = -w for w.
-5
Let y be 1 - -3 - -1 - 2. Let d be ((-5)/15)/(1/(-12)). Solve -9 - y = -d*p for p.
3
Suppose -1 = -4*y - 3*t + 8, y + 1 = -4*t. Solve 5*u + y + 2 = 0 for u.
-1
Suppose 4*f - 2 = 10. Solve -f*t = t for t.
0
Suppose 3*b = b. Solve -2*n = 4 - b for n.
-2
Suppose 10*u = 7*u. Solve u = 4*v - v - 9 for v.
3
Let h(n) be the third derivative of -n**6/120 + n**4/12 + 2*n**3/3 + 2*n**2. Let y be h(-3). Solve -2*b - y = -7*b for b.
5
Let g = 20 - 17. Solve -6*b - 6 = -g*b for b.
-2
Let q be (-4)/(-10) + 16/10. Suppose 0 = 3*t - q*h + 8, -5*t + 0*h - 5*h + 20 = 0. Let d = 2 - t. Solve 5 = -k + d for k.
-3
Suppose 0*k = 3*t + k - 17, -4*t = 2*k - 20. Suppose -4*a + 5 = -t. Solve a*i + 5 = -4 for i.
-3
Let l = 9 - 5. Solve x + 1 = l for x.
3
Suppose 5*y - o - 7 = 8, 4*y - 4*o = 28. Solve 2*k = -y*k + 4 for k.
1
Suppose -12*i - 4*a + 21 = -7*i, 0 = -i - 5*a. Solve v = -i + 2 for v.
-3
Let o = 43 + -28. Solve -12*l + 6 = -o*l for l.
-2
Let y be (-85)/(-51)*(1 + 2). Solve 3*q - y = 1 for q.
2
Suppose -17*n = -5*n - 96. Solve 2*b + 2*b = -n for b.
-2
Suppose -4*f + 26 = 6. Suppose f*h - h - 36 = 0. Solve 3*o + 0 = -h for o.
-3
Let q be -20*((-36)/15)/3. Let p = 18 - q. Solve -5*u - p = -12 for u.
2
Let f be -10 + 9 + -2*1. Let i = 3 + f. Solve i = 4*u - u + 3 for u.
-1
Let k(u) = -u - 4. Let g be (-138)/36 - (-2)/(-12). Let c be k(g). Solve 2*x + c*x = 4 for x.
2
Suppose q = -3*m + 16, 0 = -3*m - 4*q + 6*q + 13. Solve -m = 2*f + 3*f for f.
-1
Let t = -16 - -26. Suppose -6*o + q + t = -o, -3*o + 4*q - 11 = 0. Solve -5 - o = 4*i for i.
-2
Suppose 3*b = b + 6. Solve 0 = 2*z - b*z + 1 for z.
1
Let x = 23 - 15. Solve -x - 12 = -5*v for v.
4
Let r be (-8)/(-3)*(-3)/2. Let w = r + 6. Solve 0 - 8 = -w*c for c.
4
Let u(a) = 7*a - 4. Let d be u(5). Suppose 5*h - 17 = 38. Solve 4*t = -d + h for t.
-5
Let t(r) = r**3 - 2*r**2 - 4*r + 4. Suppose -5*a = h - 18, 3*a = -h + 6 + 6. Let j be t(a). Suppose j = -4*f + 21. Solve 1 = -f*v + 4*v for v.
-1
Let a be (-2 - -2) + 29 + 1. Let t = a - 20. Solve 0*z + t = 5*z for z.
2
Suppose 2*n = -2*n - 16, 5*g = -3*n + 3. Solve g*z + z - 4 = 0 for z.
1
Let w be 10/(-15)*-6 + (-4)/1. Solve -4*q + 3*q = w for q.
0
Let v(d) = -d - 3. Let a be v(-8). Suppose a*y + 0 - 15 = 0. Suppose 4*i = i + y. Solve i = 3*l + 10 for l.
-3
Let i(m) = m**2 + 8*m + 9. Let k(l) = -l - 5. Let g be k(9). Let z be 4/g + (-94)/14. Let p be i(z). Solve 0 = -p*h + 5*h + 6 for h.
-2
Suppose 0 = 7*w - 2*w - 275. Suppose -m + 2*p - 1 = 0, 3*m + p - 11 = 7. Suppose 4*s - 67 = -m*c, -3*c = -3*s - 2*s - w. Solve z = 4*z - c for z.
5
Let h be ((-24)/(-2))/3 - 0. Suppose 3*j + j + 4 = -i, 0 = 5*j + i + h. Let q(y) = y**3 + y**2 + y + 4. Let p be q(0). Solve 4*x + 24 - p = j for x.
-5
Let z = 1 - -9. Let f(p) = p**2 - 10*p + 1. Let g be f(z). Solve -2*t = -5 - g for t.
3
Let v be -6*(-3)/(-6) + 3. Suppose -t + 4*t - 6 = v. Let c = 33 + -17. Solve 2*o - c = -t*o for o.
4
Let u(h) = -h**2 + 9*h - 3. Let c = 33 - 23. Let m be u(c). Let y be (1 + m)*(-4)/6. Solve n - 3*n = -y for n.
4
Let b = 16 + -11. Suppose s - b = -2. Suppose -t - s*t = -8. Solve -3 = -p - t for p.
1
Let j(x) = -x**2 - 4*x - 1. Let s be j(-3). Suppose -2*p = -5*h + 18, -s*p + 4*p = 3*h - 14. Solve 7*y = h*y for y.
0
Let m(i) = -i + 7. Let g be m(7). Let c = g + -2. Let k be -3 + 2 - (-3 - c). Solve k = -r - 0 - 4 for r.
-4
Let m be 4*-1 + (-143)/(-13). Solve -2*o - 15 = -m*o for o.
3
Suppose 3*y - 12 = y. Solve 5*x = 3*x + y for x.
3
Let w(k) = -6*k - 3. Let q be w(-3). Let n(i) = -2*i + 2. Let y be n(-2). Suppose 0 = -3*z + 3 + y. Solve -6 = -z*b - q for b.
-3
Suppose 4*b = b. Let t be (2 - 3/1)*b. Solve t = 4*u - 4 for u.
1
Let n(f) = 4*f - 3 - f - f. Let h be n(3). Suppose -2*x - 5 - h = 5*t, -4*x = -2*t - 32. Solve -2*g + 8 = -x*g for g.
-2
Let c be 0/(-4)*2/4. Let b be c/(1/(-1) + 2). Solve 0*y + 2*y - 8 = b for y.
4
Let b = -1 - -5. Let f be (3/b)/(3/12). Solve 0 = 6*h - f*h - 12 for h.
4
Let n = -118 - -122. Solve -n*i + 11 = -9 for i.
5
Let z = 6 + -4. Suppose a - 4 = -0*a - 4*l, -2*l + 6 = a. Suppose a*j - 2*j = 0. Solve w - z*w = j for w.
0
Suppose -5*h - 2*l + 17 = 0, 18 = 2*h + l - 3*l. Let w be (-1)/(1 + 1*-2). Solve h*p = w + 4 for p.
1
Let v = 12 + -6. Let n(a) = a**2 - 7*a + 9. Let h be n(v). Solve h*t - 4 = -t for t.
1
Let u(q) = -q - 1. Let w be u(-1). Let p = -19 - -32. Suppose -v - v = s - 12, -p = s - 3*v. Solve w*f - s = f for f.
-2
Let j be (1 - 0)/(3/12). Suppose j = 5*a - 1. Suppose h - 3 = 5*c, -h + 3*c + 4 = a. Solve h = -5*n + 18 for n.
3
Let b(k) = 2*k - 13. Let o(r) = -r + 6. Let j = 10 - 5. Let m(y) = j*o(y) + 2*b(y). Let c be m(0). Solve -c = t - 5*t for t.
1
Suppose -2 = 2*m - 4. Let d(b) = 3*b + 2. Let o be d(m). Solve -2*z = 1 - o for z.
2
Suppose -j = 3 - 0. Let c be (j/(-2))/((-15)/(-40)). Solve -n = -c*n - 6 for n.
-2
Suppose 11*v - 50 = 5. Solve 4*w = v*w - 5 for w.
5
Suppose 0 = 5*z + 5*c - 1 - 44, -4*c + 40 = 5*z. Let l be z/(-6) - 11/(-3). Solve -1 = -2*n - l for n.
-1
Let g(d) = d**3 + 4*d**2 - 3*d. Let p be g(-5). Let w = p + 15. Solve -w*s - 21 = -6 for s.
-3
Let h(u) = -u**3 + 8*u**2 - 3*u + 1. Let i be h(8). Suppose 3*x = 109 - 4. Let a = x + i. Solve a = -m - 3*m for m.
-3
Suppose -4*i + 8 + 5 = 3*r, -3*i = -r. Solve -r*j = j + 20 for j.
-5
Let c = -29 - -29. Let j(z) = -2*z**3 - 5*z**2 - 3*z - 1. Let m be j(-3). Solve 3*s - m + 5 = c for s.
4
Suppose 5*d + 105 = 8*m - 3*m, -10 = 5*d. Let j = 32 - m. Solve 4*i + j - 5 = 0 for i.
-2
Let a(x) = x**2 - 10*x - 9. Let z(k) = -k**2 - 6*k + 6. Let s be z(-5). Let q be a(s). Solve -6 = -h - q*h for h.
2
Let s(w) = -w**2 + 23*w + 31. Let d be s(24). Solve 4*i = d*i + 6 for i.
-2
Suppose 2*h + 3*k = 31 + 1, 2*h = -k + 40. Suppose 5*o - h = -3*t, t = 2*o + 4*t - 7. Solve 0 = -o*i - 3 - 7 for i.
-2
Let h = -22 + 27. Solve -2*u = 3*u - h for u.
1
Let n(i) = i**2 - 9*i + 6. Let y be n(7). Let d be (3/4)/((-2)/y). Solve 6 + 6 = -d*g for g.
-4
Let c(x) = x**3 - 6*x**2 - 6*x - 8. Let m be c(7). Let n = 1 + m. Solve n = -5*q + 9 - 24 for q.
-3
Let l be (-18)/27*(-2 + 1 + -2). Solve 2*w = -l*w for w.
0
Let w be (3/2)/((-1)/(-2)). Let t = 4 - w. Suppose -3*y = -4*y + t. Solve -r - y = -6 for r.
5
Let h = -11 + 10. Let u(l) = l**3 - 3*l**2 - l - 5. Let v be u(4). Let x = v + h. Solve -4*k - x = 6 for k.
-3
Let m be (-48)/(-15) - (-1)/(-5). Suppose 15 = 5*a + 3*i - i, -4*i + 20 = 0. Let t be (m - a)*(-6)/(-4). Solve -t = -2*k - 1 for k.
1
Suppose 2*v - 5 - 5 = 0. Suppose 5*m - 12 = -3*l, v*l + 12 = 4*m - 5. Solve 0 = -0*h - m*h + 6 for h.
2
Suppose 0 = r - 2*a + a, -a - 12 = -5*r. Suppose 3*v - 6 = 6. Suppose 4 = v*z - r*z. Solve 5 = -z*k - 3 for k.
-2
Let v(b) be the second derivative of -b**3/6 - 7*b**2/2 - 4*b. Let z be v(-10). Solve -8 - 1 = z*h for h.
-3
Let y(i) be the third derivative of i**4/24 + i**3/3 + i**2. Let v = -4 + 18. Let c be y(v). Solve -c = 2*s + 2*s for s.
-4
Let b be (-20)/(-50) + (-123)/(-5). Suppose 2*v = -3*v + b. Solve 0 = k - v*k + 20 for k.
5
Suppose 5 = 4*x - 19. Suppose 0 = 3*b + 4*q - 8, q - 5 = -3*b + x. Let l = 25 + -15. Solve -b*i + l = -6 for i.
4
Let t(h) = 0*h**2 + 11*h**2 - 3*h + 2*h - 2*h**2. Let k be t(1). Solve 6*f = 2*f + k for f.
2
Suppose 0 = 16*p - p - 45. Solve -4 - 5 = -p*v for v.
3
Suppose 10 = 4*z + z. Solve -4 + 2 = -z*r for r.
1
Let g(y) = 3*y - 1. Let s(j) = -j + 3. Let a be s(0). Let n be g(a). Let u be (-7 - 1)*39/(-26). Solve 5*x - u = n for x.
4
Suppose 0 = -5*s - 0*l - 2*l - 290, 3*l = -5*s - 285. Let a be -4*5/(s/9). Let n be (a/9)/((-1)/(-6)). Solve i = n + 1 for i.
3
Let w = 5 + -3. Let f be 0*2*(-2)/(-8). Let m be (0 - -3) + f + -2. Solve w*t - t = m for t.
1
Let k = -90 - -92. Solve -k*a - 2 + 0 = 0 for a.
-1
Suppose -19*h + 5*h = -140. Solve -h = 5*k - 0*k for k.
-2
Suppose 0 = -3*r + 2*r + q + 1, 0 = -3*r + 4*q + 8. Let b be 220/(-18) - r/18. Let u be (-117)/