 n + n for n.
-4
Let d(q) = q + 13. Let l be d(-9). Suppose -r + 4*r + b = 3, -14 = -r + l*b. Solve 1 = -r*g + 5 for g.
2
Suppose 0 = n - 2 - 6. Suppose n + 0 = 4*a. Suppose -3*m = c - 3 - a, 5*c = 4*m + 25. Solve 5*z + 25 = -m*z for z.
-5
Let x(o) = -o**2 + 2*o - 3. Let q be x(2). Let c be q/(-2) + 21/6. Solve -3*k - 2 = -c*k for k.
1
Let f be (2/(-4))/((-2)/16). Suppose 5*b = 2*n + 3, 0 = -3*b - 0*b - 3*n + 6. Solve f + b = 5*o for o.
1
Let l = -18 + 53. Let g = l + -9. Suppose -g = -2*x - 4*c + 2*c, -5*x + 4*c = -20. Solve k + x = -k for k.
-4
Let b(i) = -3*i + 41. Let k be b(13). Solve -3 = -c - k for c.
1
Let m be (0 + -3)*(-3)/9. Let y be m - (-2)/4*-2. Solve 6*q - 2*q = y for q.
0
Let h be 7/2 + (-1)/2. Let t = 6 - 12. Let u be (4/t)/(8/(-24)). Solve s = h - u for s.
1
Let g = -37 + 41. Solve -g*x = 10 + 2 for x.
-3
Let z = 15 - 11. Let y = -3 + 7. Suppose -2*o - 27 = -5*v, -v + o + 2 + y = 0. Solve -3*l + z*l + v = 0 for l.
-5
Let u = -5 - -7. Suppose u*a - 6*a = -20. Solve -a*q - 25 = -0 for q.
-5
Suppose 0 = 8*g + 20 - 52. Solve g*l - 3 - 5 = 0 for l.
2
Let l = 8 + -5. Let x = l + -2. Suppose -3*y = -4*s + 11, -3 = -s + y - x. Solve s*z = 2*z + 6 for z.
2
Let c be (-6)/(-5)*(-1 - 19). Let o be ((-1)/1)/(6/c). Solve 9*t + 25 = o*t for t.
-5
Suppose 26 = 4*r + 10. Solve 0 = 4*f + r + 4 for f.
-2
Let j(s) = -s - 4. Let q be j(-3). Let f(p) = -19*p + 1. Let x be f(q). Suppose -6*k + k = -x. Solve u = 2*u - k for u.
4
Suppose 0*c + 4 = 2*c. Suppose 5 = 2*v + 3*v. Solve y + v = -c for y.
-3
Suppose 6*b = 3*b - 4*d, 0 = b + 3*d. Solve -10 = -b*m + 5*m for m.
-2
Let m be 5 - (-2)/1*-1. Suppose 2 = -x - m*i - 2, -2*x - i + 12 = 0. Solve x = 3*p - 4 for p.
4
Suppose y + 12 = 4*y, -4*y = 2*w - 18. Solve 0*i - w = -i for i.
1
Suppose -2*g = 2*b, 5*g + 0*b = b. Solve 2*h + 3*h + 15 = g for h.
-3
Let c be 100/(-30)*6/(-5). Solve -c = 2*f - 0 for f.
-2
Suppose 5*s + 3*y = -y + 1, -3*s - 1 = 2*y. Let c be (-3)/6*6 - s. Solve -3*h - 1 - 14 = c for h.
-5
Let g(m) = m + 2. Let t be g(-2). Suppose 3*c = -11*h + 12*h + 12, 2*h = -3*c + 12. Solve -d - c = -t for d.
-4
Let w = 15 + 1. Solve 2*b - 6*b - w = 0 for b.
-4
Suppose 10 = 2*m + 2*m - 5*l, 2*m - 6 = 2*l. Solve -m*z + 4*z + 3 = 0 for z.
3
Let x = 27 - 16. Let m = -8 + x. Solve 6*s + 9 = m*s for s.
-3
Let y be 23/5 + 10/25. Solve 2*z - 1 = -y for z.
-2
Suppose -5*x = 34 - 44. Solve -3*p + x*p - 3 = 0 for p.
-3
Let t = 14 - 14. Solve t*v = -v for v.
0
Let v be -2 - (-1 - 13 - 3). Suppose -v = -2*f + 45. Suppose -4*r = r - f. Solve r*u - 15 = 3*u for u.
5
Let d(r) = 12*r + 1. Let v = 7 + 1. Let o = 10 - v. Let z be d(o). Solve -z = -4*a - a for a.
5
Let o be (4/3)/4*6. Suppose o*n - 18 = -n. Let x = -3 - -5. Solve x*b + n = -4 for b.
-5
Suppose 4*i + 15 = 47. Let p = 7 - 4. Solve -p*h - i = -h for h.
-4
Suppose 0 = 2*x + k - 3, 0*k - 9 = 3*k. Solve x*d = -d - 8 for d.
-2
Let m be (-3)/(-2)*(-12)/(-9). Suppose 3*g - 1 = -k - k, 3*g = -4*k - 1. Solve -c + m = -g for c.
3
Let j(v) = -v + 4. Let n be j(2). Let d be (4/6)/(n/3). Solve 0 = -4*u - d + 5 for u.
1
Suppose 3*j - 4 = j, 3*x + 2*j + 8 = 0. Let d be -2*(-2)/(x/(-1)). Solve -f + d = -2*f for f.
-1
Suppose 5*q - 15 + 5 = 0. Solve 0 = -3*u + q + 7 for u.
3
Suppose w = -0*w. Suppose 3*d - 15 = -w*d. Solve -2*n = -d - 5 for n.
5
Suppose -8 = -3*h + 7. Let g = 9 - h. Suppose -4*a + g*z + 24 = 0, 6*a = a + 4*z + 27. Solve -8 = b - a for b.
-5
Suppose 3*n = 4*q - 28 + 1, 5*n + 25 = 0. Let k be -1*(3 - (6 + q)). Solve -x - k = x for x.
-3
Let w(n) = -n + 9. Let s be w(6). Let l be (-10)/(2*(-3)/(-6)). Let k be (-104)/l + 6/(-15). Solve -k = s*q - 1 for q.
-3
Let a(x) = x**2 - 7*x + 8. Let g be 1*(4 - (1 + -3)). Let i be a(g). Solve i*v + 3*v = 10 for v.
2
Suppose -2*n - 90 = -7*n. Suppose -4*p - n = 42. Let s be (p/(-9))/(3/9). Solve 0 = s*d - 30 + 5 for d.
5
Suppose 0 = -7*y + 2*y. Solve y*f - 20 = -5*f for f.
4
Let f(p) = -p + 3. Suppose 4*k - 5*k = -y + 1, -k = -2*y + 1. Let o be f(y). Solve 0 = i + o*i + 20 for i.
-5
Let z(g) = -g**2 + 7*g - 2. Let j be z(8). Let d be (-265)/(-25) + (-4)/j. Solve -3*s = -d - 1 for s.
4
Let o(i) = 2*i + 13. Let c(j) = j + 14. Let g(r) = 3*c(r) - 4*o(r). Let n be g(-5). Solve 2*f - n = -3*f for f.
3
Let d = 151 + -151. Let b(i) = 7*i**2 + 2*i + 1. Let m be b(-2). Let n = -1 - -7. Solve d = -w + n*w + m for w.
-5
Suppose -n - 9 = -0*n. Let u = 6 - n. Solve -u = 2*c + c for c.
-5
Suppose 0 = 4*v + 12, -5*k + k + 5*v + 23 = 0. Solve k*s - 6 = -s for s.
2
Suppose -7 = 3*v + y, -2*y + 23 = -3*v + 1. Let k be 2/8 - v/(-16). Solve d - 8 + 3 = k for d.
5
Suppose -2*v = -10 - 2. Let o(r) = r**2 + 5*r + 2. Let u be o(-5). Suppose 3*s + 1 = 7. Solve -u*z - v = -s for z.
-2
Let z be 22/33 - (-92)/6. Let v = z - 14. Solve -1 = -v*l - 3 for l.
-1
Let z be -4*(6/(-8))/(-1). Let n = 5 + z. Let c(o) = -o**2 + 5*o - 3. Let h be c(n). Solve h*m = -1 - 5 for m.
-2
Let h = 5 + -2. Let q(t) be the second derivative of -t**4/12 + 3*t**3/2 + 5*t**2/2 + t. Let r be q(9). Solve -r*j + 8 = -h*j for j.
4
Suppose -3*n + 20 = n. Suppose 0 = 2*j - n*j + 27. Let o be (3/j)/((-2)/(-30)). Solve -o*i + 7 = 2 for i.
1
Let a = 28 + -18. Let q(i) = i + 2. Let o be q(3). Solve 5*j - o - a = 0 for j.
3
Suppose -22 = -5*i - 3*y + 104, -3*y - 117 = -4*i. Suppose -4*g + 37 = 5*k - 8, -5 = 2*k - 3*g. Suppose k*s - 3 = i. Solve -5*c + s = -3*c for c.
3
Let l(h) = 2*h**2 + 5 - 2 - 3*h + 2*h - h**2. Let u be l(0). Suppose u*t + 4 = 4*t. Solve 0*z + 4*z - t = 0 for z.
1
Let p be 4/(-64)*-2 + 63/8. Solve -2*a - p + 18 = 0 for a.
5
Let r = -50 - -61. Solve 2*q + r - 1 = 0 for q.
-5
Let i be ((-4)/(-5))/(2/5). Let h = 5 - i. Solve -r = -h*r + 10 for r.
5
Let d be -1*(4 + -10) + -3. Solve 1 = g + d for g.
-2
Suppose 4*c + 5 = 4*q - 7, -2*q + 6 = -3*c. Suppose c*b + b = 3*n - 7, -2*b = -5*n + 11. Suppose 3*o = -b*o. Solve -2*g - 5 - 1 = o for g.
-3
Let a = 4 - 0. Solve -k - a = -0*k for k.
-4
Let g = 0 + -3. Let m be (-31)/(-2) + g/6. Solve -3*y - 3 = -m for y.
4
Suppose f = q + 5, -5*f + q - 10 = 3*q. Solve -8 = 4*g - f for g.
-2
Let h(y) = -y**2 - 3*y - 1. Let q be h(-1). Suppose c + 5 = 6. Let m = q - c. Solve -2*v + v - 5 = m for v.
-5
Suppose -j - 2*u = 1, 3*j + 2*u + 1 + 2 = 0. Let p = j + 2. Let q be (-22)/(-2) + p/1. Solve r = -2*r + q for r.
4
Let m(l) = l - 5. Let z be m(4). Let c be 18/(z + 1 - -1). Suppose -3*k + 2*k = -2. Solve k = -4*s + c for s.
4
Let g(i) = i**3 + 2*i**2 - 4*i + 1. Let f be g(-3). Solve f*s - 10 = 2*s for s.
5
Suppose 2*g + 1 = 3, 0 = 4*w - 4*g - 12. Let n = 0 + w. Suppose 0 = 5*o - n*o - 12. Solve -4*h + o = -h for h.
4
Let d(k) = 2*k**2 - 4*k - 6. Let x be d(3). Suppose 0 = -3*p + 6 - 0. Solve x*g - p*g = -8 for g.
4
Let m = -6 - -9. Solve 4*j - m = 3*j for j.
3
Suppose 5*q + 11 = -2*d, 5*d + 0*q + 4*q + 2 = 0. Suppose o - d*o + 2 = 0. Solve 2*y = -o - 2 for y.
-2
Suppose 0*s = s + 15. Let m = -10 - s. Suppose -5*i + m = 0, 3*x + 0*i - 6 = -3*i. Solve -o - x + 2 = 0 for o.
1
Suppose -4*s + 10*s - 18 = 0. Let p be (-3 - (0 - s)) + 3. Let x(a) = 2*a**3 - a**2 + 1. Let d be x(1). Solve -p - 5 = -d*k for k.
4
Let u(b) = -b**2 + 9*b - 2. Let g(p) = -p**2 + 8*p - 2. Let t(v) = -4*g(v) + 3*u(v). Let s be t(6). Solve s = -0*a - 2*a for a.
-4
Let p(u) = 6*u**2 - u + 8. Let b(m) = 5*m**2 - 2*m + 7. Let s(x) = -5*b(x) + 4*p(x). Let q be s(5). Solve -q*h - 6 - 2 = 0 for h.
-4
Let f(k) = k + 8. Let v be f(-3). Solve -v*p + 2 = -18 for p.
4
Let q be 10/4*(-6)/(-5). Suppose -q*c = 2*c. Let r be c/(-1) + 0 - -3. Solve -x + r*x + 6 = 0 for x.
-3
Let j = -2 + 6. Solve 0 = j*x + x + 15 for x.
-3
Suppose 0 = -5*r + 4*y - 20, 4*r - 7 = -y - 2. Solve -v = -r + 1 for v.
-1
Let w be (0 - 2/(-2))*3. Solve 8 + 1 = -w*z for z.
-3
Suppose 8 = a + 3. Suppose -5*t + 6 + 4 = -a*x, t = -3*x + 6. Solve 0 = -t*g + 2*g + 3 for g.
3
Let s(p) = -2*p - 13. Let u be s(-9). Suppose 4*a + j = 17, -u = -2*a - 2*j + 11. Solve 2 = -a*w + 2*w for w.
-2
Suppose -2*x + 8 = -m, -4*x + 0*x = 4*m - 16. Let a(g) = 2*g**2 - g + 1. Let h be a(3). Solve -4*t + h = -m for t.
4
Suppose 0 = 3*x - x - 4. Let f = 0 + x. Solve -f = -0*a + a for a.
-2
Let l(m) be the third derivative of 1/6*m**3 + 0 + 0*m + 0*m**5 + 1/12*m**4 - 2*m**2 - 1/24*m**6. Let o be l(-1). Solve -3*a = -a + o for a.
-2
S