n + a for n.
4
Let l(j) = 0*j + j - 3 + 2. Let g(i) = -i. Let w be g(-5). Let r be l(w). Solve o = -r*o for o.
0
Let z = 9 + -5. Let f = z + 0. Solve r + 10 = -f*r for r.
-2
Let v(x) = -3*x + 1. Let j be v(-2). Solve -q - j = -4 for q.
-3
Suppose 0 = 2*s + 4*f - f, f = -3*s. Suppose s = 2*x - 2 - 2. Solve -4*g + x*g = 0 for g.
0
Let c be (-2)/5 + (-46)/10. Let s(t) = -t + 2. Let f be s(c). Suppose 2*o = 2*n + 16, 2*n + 3 = -f. Solve o = i + 2*i for i.
1
Let x(p) = -p**2 + p + 2. Let t be x(-4). Let z = -9 - t. Solve 1 + z = -2*v for v.
-5
Let i = -26 + 30. Solve f = -f + i for f.
2
Let x(r) = r - 11. Let v be x(12). Let t(q) = q**3 - 7*q**2 - 9*q + 3. Let l be t(8). Let i = l - -7. Solve n + i = v for n.
-1
Suppose 0 = -10*k + 35 + 115. Let c be (-2)/5 + (-96)/(-15). Solve u = c*u + k for u.
-3
Let l(n) = 5*n - 4. Suppose 0 - 10 = -5*h, -u = 5*h - 12. Let a be l(u). Solve -j = -a*j + 20 for j.
4
Let z(i) = -i**3 + 9*i**2 + i - 7. Let j be z(9). Let r be 5/5*(0 + j). Solve -u + 6 = r*u for u.
2
Let w(p) = 2*p**2 - 9*p + 9. Let m be w(4). Solve -6 = -m*x - 31 for x.
-5
Suppose 3*y - 6*y - 4*r + 4 = 0, -r = -3*y + 14. Suppose t + 2 = -y. Let l be (t/8)/(1/(-4)). Solve l*s - 5*s = 0 for s.
0
Suppose -5*o = 12 - 32. Suppose -p = l - 0 - o, 5*p - 2*l + 1 = 0. Solve -5*k = -p - 9 for k.
2
Let o(q) = q**3 - 25*q**2 + 22*q + 51. Let v be o(24). Solve -4*d - 5 - v = 0 for d.
-2
Let r be (3 - 0) + 94 + -12. Suppose -r = -6*i + i. Solve -3*f + 5 = i for f.
-4
Let g(p) = 4*p**2 + 8*p - 9. Let k = -6 + 5. Let w(m) = -m**2 - m + 1. Let v(z) = k*g(z) - 5*w(z). Let j be v(4). Solve -c = 3*c + j for c.
-2
Let y = 30 - 27. Solve y*z + 2 = 5 for z.
1
Suppose -2*n - t + 4 = -6*n, -5*n - t + 4 = 0. Solve n = -0*i + 3*i for i.
0
Suppose 3*s - 4*s - 8 = -2*i, -s - 13 = -3*i. Suppose 4 = x + 2*u - 4, -i*x = -3*u + 25. Let r = x + 2. Solve 4*n + 4 + 8 = r for n.
-3
Let d(l) = l**3 - 5*l**2 - 5*l - 1. Let j be d(6). Let m = -5 - -10. Suppose -20 = -m*s - 5. Solve s*i = j*i - 6 for i.
3
Let h(y) be the first derivative of y**4/2 + y**3/3 - y**2 + y + 2. Let n be h(1). Suppose 5*f + 5 = 2*w, -4*f + 10 + 4 = n*w. Solve 1 = o - f for o.
2
Suppose -6 = p - 4*p. Let u = -1 + 5. Suppose -r - u*r + 85 = 0. Solve r = p*s + 7 for s.
5
Let f(u) = 4*u**2 - u + 9. Let t be f(-5). Let x be 6/(-33) - t/(-22). Solve 0 = -x*p + 7 + 18 for p.
5
Suppose 14 = 3*a - 1. Suppose -a*l = -7*l + 2. Solve 0 = 5*f - l + 6 for f.
-1
Let v(t) = -t - 6. Let a be v(-5). Let y = 9 + -4. Let r = a + y. Solve r*k = -k for k.
0
Suppose -5*t + 19 = -4*b + 44, 5 = 2*b - t. Suppose -2*m + 4 = 2. Suppose 0 = l - 4 - m. Solve b = -f - l - 0 for f.
-5
Suppose -j + 5*f = 10, 3*j = f - 2 - 0. Solve g = 1 - j for g.
1
Let u be (0 - -1)/((-2)/(-6)). Let k(p) = -p**3 - p**2 - p. Let m be k(-2). Solve 0 = -u*i + m*i - 12 for i.
4
Let h(n) be the second derivative of n**4/2 - n**3/3 - 2*n. Let d(o) = -7*o**2 + 3*o. Let r(z) = 3*d(z) + 4*h(z). Let m be r(1). Solve -3*k + m*k - 4 = 0 for k.
4
Let r be (2 - (-3)/(-3))*3. Solve r = 2*j + 13 for j.
-5
Let s = 48 + -33. Solve 0*t - s = 5*t for t.
-3
Suppose 3*p + 4 - 10 = -s, p = 4*s + 2. Solve p*j + 0 = -2 for j.
-1
Let k be (-90)/27*6/(-4). Solve k + 0 = 5*h for h.
1
Let o = -4 - -13. Suppose 0 = 3*z - 2*i + 4, -5*z + 26 + o = 5*i. Solve -3*n + 4*n = z for n.
2
Suppose 0*c + 10 = -2*c. Let d(l) = -2*l**2 + 7*l - 5. Let m be d(4). Let i = c - m. Solve 1 = i*k - 11 for k.
3
Let h = 9 + -3. Solve 0 = 3*l + 3 + h for l.
-3
Suppose 1 = -5*c + 6. Let v be c - 3/(-3) - 2. Suppose -4*w + 3 + 5 = v. Solve 0*o - o = w for o.
-2
Let r = 15 - 14. Solve -r = -n + 2 for n.
3
Let o = -27 - -25. Let u be (8/(-6) - o)*6. Let a(l) = -l**3 + 3*l**2 + 2*l - 4. Let m be a(3). Solve m*p = -0 - u for p.
-2
Let b(t) = t. Let s(a) = 3*a - 6. Let k(y) = 4*b(y) - s(y). Let f be k(10). Solve -6*o - f = -2*o for o.
-4
Let s = -35 - -35. Solve z + z = s for z.
0
Let f(z) = -z**3 - 12*z**2 - 16*z - 15. Let v be f(-11). Suppose 2*g + c - v = 5*c, -3*g + 5*c = -62. Let i = -17 + g. Solve -3*u - i = 8 for u.
-5
Let v(g) = g + 6. Let u be -1 + 1 + 9/(-3). Let q be v(u). Solve -q*l + 2 = -1 for l.
1
Suppose 3*d = -4*m + 62, -3*m = d - 0*m - 29. Let f be (-12)/42 - 10/d. Let w be 7*(-2)/(f - 1). Solve w + 3 = -2*v for v.
-5
Suppose n - 3 - 1 = 0. Solve n*c = -5 + 25 for c.
5
Suppose -5*u + 3*u = -10. Solve u*j - 6 = 9 for j.
3
Let c(y) = -y**3 - 3*y**2 - y - 1. Let s be c(-3). Let k = 6 - 0. Suppose -k*h = -3*h. Solve s*p - 2 = -h for p.
1
Let h be 5 - (1 - (-2 + 2)). Let d(k) = 3*k**2 + k. Let p be d(1). Solve h = 3*r - p*r for r.
-4
Let j = -12 - -14. Suppose -3*q = j*q. Solve q = -5*m - 0 + 15 for m.
3
Suppose 0 = 4*q - 5*u + u + 8, 3*u - 6 = -3*q. Suppose -2*o = -5*o + 48. Suppose -3*t = -b - 12, q*b - b = -4*t + o. Solve 3*c - 6*c = b for c.
0
Suppose -1 - 15 = -4*o. Solve o*f - 7*f - 9 = 0 for f.
-3
Suppose 3*o = o - 28. Let r = 23 + o. Let k = r + -6. Solve g = -0 - k for g.
-3
Suppose -4*x + 14 = -2*x. Let z(t) = -t**2 + 6*t + 8. Let k be z(x). Solve 2*m + k = 9 for m.
4
Suppose -5*r - 75 = 2*q, -1 = -r + 2*q - 4. Let a = -10 - r. Solve -h = a*h for h.
0
Let r(w) be the third derivative of -w**4/12 + 2*w**2. Let t be r(-2). Solve -l = t*l - 15 for l.
3
Suppose -13 - 12 = -5*f. Suppose f*l = -6 + 26. Solve 0 = 4*p - 0*p + l for p.
-1
Suppose 3*j = j + 26. Let o be 6 + 9/((-6)/(-2)). Let g = o - 4. Solve j = -g*h - 7 for h.
-4
Suppose 19 - 20 = -j. Solve -2 = 3*z + j for z.
-1
Let v(c) = -10*c + 4 + 11*c + 1. Let u be v(0). Solve 3*w = u*w + 6 for w.
-3
Let f be (-2)/8 - ((-115)/(-20) + -6). Suppose -1 = 3*l - 4, 0 = 3*w - 2*l + 26. Let n be (2 - (-6)/w)*4. Solve a - n = -f*a for a.
5
Suppose 5*q = 5*a + 20, 13*q - 3*a = 11*q + 10. Solve -q*j - 25 = 3*j for j.
-5
Suppose -3*z + 5*b - 15 = -5, 0 = z - 3*b + 10. Let q(x) = -4*x + 3. Let d be q(-6). Solve -d = z*a - 2 for a.
-5
Let n be -4 - -1 - 35/(-7). Suppose x = -2*x + 24. Solve 3*y - x = -n for y.
2
Let d(s) = s**2 - s - 4. Let i be d(-3). Let x = i - 2. Solve 2*v = 5*v + x for v.
-2
Let h(m) = 4*m**2 - 2*m + 1. Let l be h(1). Let f be 0 + (2*l)/3. Suppose d + 2*d = 3*u, 5*d - 21 = -2*u. Solve -f = -d*v + 4*v for v.
-2
Let b(p) = -p - 7. Let r be b(-7). Solve 2 = 2*t - r for t.
1
Let i(h) = h**2 + 15*h + 18. Let m be i(-14). Solve 2*d + 0 = m for d.
2
Suppose 5*t - 2*t = 12. Let h = 23 + 10. Suppose -5*y + c = -42, 5*c - 7 = 2*y - h. Solve 3*k = -y - t for k.
-4
Let q = 12 - 6. Suppose 0 = -2*v + 7*v - 10. Solve q*p + 12 = v*p for p.
-3
Let z = -16 - -18. Suppose 0*i - z*i = 10, -b + 18 = -3*i. Solve 4 = -b*j + 1 for j.
-1
Suppose 3*q - 2*f - 2*f = -3, -5*q + 3*f = 16. Let p = q - -10. Solve 10 + 5 = p*d for d.
3
Let b = 3 - 1. Let z be -5 - -7 - (1 - 1). Suppose 0 = -z*a - 1 + 5. Solve a*i = 8 - b for i.
3
Let w(i) = -i**2 - i + 56. Let y be w(0). Suppose -5*s - y = 14. Let a be 4/s + 16/7. Solve -7 = a*x + 1 for x.
-4
Let h = -2 + 4. Let n be 3 + 2*(-1)/h. Solve -3 - 5 = -n*d for d.
4
Let j(b) = -b**3 + 7*b**2 - 5*b - 1. Let t be j(6). Let o = t - 2. Suppose 3*p + o = 4*p. Solve -8*h - 20 = -p*h for h.
-4
Let n be (-2)/(-2) + (-2)/(-1). Let q(p) = -p**2 + 3*p - 4. Let a be q(n). Let x be (1/(-1))/(2/a). Solve -4*u - x = 18 for u.
-5
Let v = 18 + -11. Suppose c = 1 + 2. Suppose -3 = -2*s + c. Solve -s*u = v + 2 for u.
-3
Suppose 0 = -d - 2*d. Let m = 0 + d. Suppose m*t = -t + 5. Solve -5*v + t = -15 for v.
4
Let j = 24 + -19. Solve 22 = j*c + 7 for c.
3
Suppose -3*v = s - 2265, -2*v + 522 = 2*s - 984. Let a be v/98 + (-4)/(-14). Solve 0*w - 4*w - a = 0 for w.
-2
Suppose 2*n = -4 + 14. Solve 3*z + 2*z = n for z.
1
Suppose 19 = 3*i + 4. Suppose i*z = z + 20. Suppose -3*g = -2*t - 18, 0*g - 2*g + 3*t = -7. Solve 0 = -z*d + d - g for d.
-2
Let t = 6 + -19. Let y = 18 + t. Solve y = -3*i - 7 for i.
-4
Let b = 36 - 16. Solve x + 3*x + b = 0 for x.
-5
Let v be (2/5)/((-3)/30). Let j be 1/v + (-2)/(-8). Suppose -11*r + 8*r + 15 = 0. Solve -4*c - 7 - r = j for c.
-3
Let y(q) = 2*q**2 - 13*q - 5. Let x be y(7). Solve 3*v + x + 10 = 0 for v.
-4
Let m(h) = -h**2 - 5*h + 3. Let j be m(-5). Solve -4*x = -j*x for x.
0
Let i be 38/5 - 6/(-15). Let d(k) = 5*k + 9. Let z(s) = -4*s - 9. Let x(o) = 2*d(o) + 3*z(o). Let l be x(-6). Solve l*n - i = 1 for n.
3
Let k