 2 + u + 2. Let r be l(2). Solve r*t + 3*t = -15 for t.
-5
Let b(i) = 2*i**3 - 3*i**2. Let m(y) = y + 7. Let w be m(-5). Let u be b(w). Solve 9 = u*a - 7*a for a.
-3
Let t be (25/2)/((-2)/4). Let f be 5/t + (-9)/5. Let i = f - -6. Solve i*h + 3 = -9 for h.
-3
Let q = 25 + -25. Solve z = -q*z - 5 for z.
-5
Let q(z) = z**2 - z - 7. Let v be q(0). Let o = v + 11. Solve -o*j = -0*j for j.
0
Suppose 52*f = 56*f. Suppose -b + 8*m = 3*m - 30, 3*b - 5*m - 50 = 0. Solve f = -t - t + b for t.
5
Let h(j) = j**2 - 4*j + 3. Let i be h(6). Suppose 0 = 4*s - 5 - i. Solve -s*x - 10 = 10 for x.
-4
Let z be -2 + (1 - (2 - 0)). Let b be -4*(3/2)/z. Let p be 3/(12/b)*4. Solve p*i + 9 = -i for i.
-3
Let v = 40 + -36. Solve 2*i = -2*i + v for i.
1
Let r be (4 + -4)/(-3 - -1). Suppose -g + 12 - 4 = r. Let y be (0 - g/(-5))*5. Solve -t - t + y = 0 for t.
4
Let v be (-44)/11 + 1 + 3. Let r be -1*1 + 4/(-1). Let d = 9 + r. Solve v = -d*h - 4 for h.
-1
Suppose -19 = o + 2*o + 5*y, -3*o + 11 = -y. Suppose -5*z + 90 = 2*d, z + 2*d - 31 = -5. Solve -2*g - z = o*g for g.
-4
Suppose 6 = 2*x, 5*j + 2*x = -0*x + 31. Solve j*g = -5 - 5 for g.
-2
Let p(g) = -g**2 + 8*g - 12. Let y be p(6). Solve 5*b = -y*b for b.
0
Suppose 0*m = -2*m - 12. Let j(d) = d + 11. Let a be j(m). Suppose 3*z = a + 10. Solve 5*n + z = -0*n for n.
-1
Let y(s) = -2*s - 10. Let m be y(-8). Suppose 0 = m*o - o - 20. Solve r = -o + 9 for r.
5
Suppose -4 = -2*r + 2. Suppose h + r*h = -3*x + 22, 3*h = -3*x + 18. Solve -6 = 4*p - x*p for p.
-3
Let l(n) = n**3 + 12*n**2 - 14*n - 17. Let u be l(-13). Let p be (-1)/(-4) - (-1)/u. Solve -b + 1 + 1 = p for b.
2
Let y(a) = a**3 - 7*a**2 - 3*a + 9. Let k be y(7). Let c = 11 + -15. Let r be c/k + (-5)/(-3). Solve -4*p = -r + 6 for p.
-1
Suppose -2*c - 5 = -c + 2*i, i = 5*c - 19. Suppose -2*s = 2*z - 8, c*z + 2*s - 13 = -0*s. Suppose 2*h + 2*b = 22, 16 = 2*b + 2*b. Solve -h*x + z = -2*x for x.
1
Let u be (-84)/(-2) + (-10)/5. Let l be 16/88 + u/22. Solve -l*w + 6*w + 16 = 0 for w.
-4
Let b be (-31)/2 + (-2)/4. Let g = b + 22. Solve -n + 25 = -g*n for n.
-5
Let t(f) = -f**2 + 11*f - 13. Let i be t(9). Solve -k + 6*k = -i for k.
-1
Let c be (0 + 1)*(-270)/(-3). Suppose -2*r + c = -0*r. Suppose 5*t - 120 = -5*k, 31 = 4*k - t - r. Solve u + k = 6*u for u.
4
Suppose -3*p - 18 = -3*q, 3*p - 2 = -3*q - 8. Solve -q*j - 3 = -j for j.
-3
Let a(u) be the second derivative of -u**4/12 - u**3/3 - u. Let i be a(-2). Solve -5*c + i*c + 5 = 0 for c.
1
Let v = -36 - -38. Suppose 0 = -4*k + 5*y - 4*y + 19, -9 = 3*y. Solve -v*g - 2*g = k for g.
-1
Suppose 3*c = -c - 2*k + 32, 2*k = 0. Let s = c - 5. Solve 0 = -6*w + 3*w - s for w.
-1
Suppose 4*l + 32 = 4*g, -3*g + 0*l + 20 = -2*l. Let o = g + -2. Suppose -o*i + 4 = -8. Solve 0 = -h - h + i for h.
3
Let h(b) = 2 + 2 - 10*b + b**2 - 3 + 2. Let c be h(10). Solve w = -c*w for w.
0
Suppose 4*l = -l + 10. Let n be 1/((-15)/(-6) - l). Solve -6 = -f - n for f.
4
Let k be (-4)/10 + 484/110. Solve 11 = 5*j - k for j.
3
Let k = 16 + -26. Let b be ((-4)/k)/((-2)/(-20)). Suppose 5*m = 2*z + 22, -16 = -3*m - m + 2*z. Solve a = b*a - m for a.
2
Suppose 6 = 2*n, -2*s + 16 = 3*s - 3*n. Suppose -2*b = -b - 5. Solve 0 = -5*t + s + b for t.
2
Let h(d) = -d**2 - 3*d + 2. Let r = -99 + 54. Let k be 153/r - (-4)/10. Let q be h(k). Solve 0*s = -q*s + 4 for s.
2
Let f(s) = -70*s**3 - s**2. Let x be f(-1). Suppose -g + 3*a - 49 = -3*g, x = 3*g + 3*a. Suppose 4 - g = -4*t. Solve -t*d = -d for d.
0
Let i(r) be the second derivative of 1/12*r**4 - 4*r + 0 + 1/3*r**3 - 3/2*r**2. Let j be i(-4). Solve g + j = -0*g for g.
-5
Let z(b) = -b**2 - 8*b - 2. Let f be z(-6). Let v(q) = -4*q**3 - 9*q + 3*q**3 + 7 + 2 - f*q**2. Let i be v(-9). Solve -y + i = 2*y for y.
3
Suppose 0 = 3*g + 2*g - 4*m + 6, -4*g + 12 = m. Suppose 0*j - g*j + 6 = 0. Suppose -5*u + 4*u + j = 0. Solve -s - 8 = -u for s.
-5
Let m = 12 - 8. Let p be (-40)/4*m/(-10). Solve 0 = -4*f + p - 16 for f.
-3
Suppose -5*k - 2*w + 40 = 0, -4*k + w + 5 = -14. Let n be k*(-1 + (-3)/(-9)). Let m = 1 - n. Solve m = 3*j + 2 for j.
1
Let y(q) = q**2 - 3*q - 11. Let j be y(6). Solve -3*g = -j*g for g.
0
Let p(k) = -k**2 + 11*k - 13. Let x(b) = -4*b - 3. Let o be x(-3). Let l be p(o). Solve r = -4*r - l for r.
-1
Let o(n) = 0*n**3 + 0*n**2 + 4 + n**3 - 8*n**2 + 7*n. Let v be o(7). Let c = 8 + -8. Solve c = -x - v - 1 for x.
-5
Let w(t) = -5*t**3 - t**2 - t - 1. Let b be w(-1). Suppose 3*q + b*n - 46 = 0, 0 = 5*q + n - 2*n - 69. Let c be 8/10 + 7/35. Solve -5*h = -c - q for h.
3
Let b = 33 + -28. Solve -b + 15 = 2*s for s.
5
Let m(s) = s**3 + 5*s**2 - 6*s + 2. Let f be m(-6). Solve -f*g - 15 = g for g.
-5
Let h(v) = v + 2. Let y be h(7). Suppose 4*g + 1 - y = 0. Solve g*j + j = 0 for j.
0
Let v(b) = 7*b + 1. Let t be v(1). Suppose -2*g + 4 = -5*g + 5*z, -12 = -2*g - 4*z. Solve 0 = -0*n - g*n - t for n.
-4
Suppose -4*x + 17 = -3*u, -5*x + 6 = -4*u - 3*x. Solve -3 = 4*c + u for c.
-1
Let f = -2 + 4. Suppose 3*j - 2*r = f, -r + 0*r = -4*j + 11. Suppose -c - 2 = 5*u, 0*u + 5 = 3*c + j*u. Solve i = -c*i for i.
0
Let p(j) be the third derivative of j**6/10 - j**3/6 - 4*j**2. Let i be p(1). Solve -3*m + 2 = i for m.
-3
Suppose -3*k - 39 = 2*i, -58 = 4*i + 2*k + 32. Let j be (i/(-9))/(2/3). Suppose y = -j*y + 5. Solve y = x - 1 for x.
2
Suppose -2*g + 3*m = -53, g + 2*m = -g + 58. Let i be 38/14 - (-8)/g. Solve -5*o = -i*o for o.
0
Suppose -28 = -2*f + 4*k, -5*f = k - 4*k - 35. Suppose 16 = f*j - 0. Let t = 10 - j. Solve -10 = -d + t*d for d.
-2
Let p(l) = l**2 - 4*l + 2. Let n be p(3). Let u be 0*n/3 - 0. Solve 0*m + 2*m + 6 = u for m.
-3
Let q(f) = 6*f**2 + 3*f - 3. Let z be q(2). Let v = -17 + z. Let n = -36 + 36. Solve 5*m + n*m + v = 0 for m.
-2
Let d(h) = h**3 - 6*h**2 - 7*h + 2. Let u be d(7). Suppose -2*n - u*m = 2*n + 42, n - m + 9 = 0. Let r be n*(0 + (-3)/6). Solve 3*b = r + 1 for b.
2
Let j(t) = t**2 - 11*t + 12. Let p be j(10). Let x = p - -2. Solve -k - x*k = 15 for k.
-3
Let y be (-18)/(-6) - 0/2. Suppose -y*r = -20 + 8. Solve -o + r = -0*o for o.
4
Suppose 0 = -3*h + h + 12. Let r = -17 - -21. Suppose -r*g = -h*g + 2. Solve 4*p = -g + 5 for p.
1
Let u(v) = -4*v - 8. Let p be u(-3). Solve 5*a + 3 = p*a for a.
-3
Let g be (15/25)/((-2)/(-10)). Solve 5*v - g = 4*v for v.
3
Suppose 0 = -3*n + 34 - 4. Let m(w) = -1 - 6 + w**3 + 3 - w**2 - 3*w. Let g be m(3). Solve -g*q - n = 5 for q.
-3
Let b be 3 - (3 + 3)/2. Suppose 5*f - 6 - 4 = b. Solve -3*l = -f*l - 2 for l.
2
Let h = 10 - 10. Solve h = -w - 3*w + 12 for w.
3
Let u(r) = 2*r**2 - 5*r + 3. Let c(d) = 4*d**2 - d. Let k be c(1). Let y be u(k). Solve y*j + 10 = j for j.
-2
Let s = -3 + 3. Let d = 5 - s. Solve 3*f - d*f - 6 = 0 for f.
-3
Let s be -4*1 + (-1 - 0). Let q(x) = x**2 + 5*x + 3. Let o be q(s). Suppose -3*m + 14 = g - 0*m, -5*g - o*m = -22. Solve -b = g*b for b.
0
Let c = 14 - 9. Let t(g) = -g**2 + 3*g + 10. Let q be t(c). Solve q + 2 = -2*b for b.
-1
Suppose 0 = 4*z + 16, -3*h + 2*z = -z + 36. Let k be (2/(-4))/(4/h). Let m be (-8)/k*(2 + -4). Solve -2*o + m = 2 for o.
3
Let h(a) = -a + 12. Let u be h(9). Solve 3*i + 0 - u = 0 for i.
1
Let n be (48/20 - 1) + 6/(-15). Solve -3 = s - n for s.
-2
Suppose k - 9 = 4. Let j be (k - 9)*(1 + 0). Let t be (2/(-5))/((-2)/10). Solve -j*a = -6*a - t for a.
-1
Let x = 84 + -76. Solve h = -x + 10 for h.
2
Let n(b) = 2*b + 50. Let w be n(-24). Solve -w*p = 4*p for p.
0
Let h be (-20)/6*-3*-2. Let b be ((-24)/h)/((-3)/(-10)). Solve y + b = -y for y.
-2
Let g be (-6)/18 + 13/3. Suppose 37 = 5*l - 18. Let n = 21 - l. Solve -n = g*m - 2*m for m.
-5
Suppose -4*f = u - 0*f + 111, 3*u + 253 = 4*f. Let c = -231 - u. Let s be (c/(-49))/((-4)/(-14)). Solve r = -4*r + s for r.
2
Let o(h) be the first derivative of -h**7/840 + h**4/8 - h**3/3 + 2. Let w(j) be the third derivative of o(j). Let m be w(0). Solve -b = -4*b + m for b.
1
Let u(f) be the second derivative of -f**5/10 - f**2/2 - f. Let x be u(-1). Solve 10 = 3*j + x for j.
3
Suppose -4*b - 10 = b. Let n be ((-4)/(-5))/(b/(-10)). Solve n*d + 0*d = -20 for d.
-5
Suppose 0 = 2*p + 9 - 13. Let c(d) = -d**3 + 10*d**2 + 13*d - 15. Let f be c(11). Solve -f*o + 10 = -p*o for o.
2
Let d(k) = 2*k. Suppose 5*h - 7 = -2. Let p be d(h). Solve q - 12 = -p*q for q.
4
Let r(n) = n**2 + 6*n