*r - n = 3. Solve -2*h = r + 2 for h.
-2
Suppose 3*m - 12 = -m. Let u(o) = o**2 - 3*o + 4. Let b be u(m). Solve 3*y + b = y for y.
-2
Suppose n - 5*a + 4 - 2 = 0, -3*a + 6 = n. Solve n*v - v = 0 for v.
0
Let o = -4 + 7. Let t = 0 + o. Solve w + t = 1 for w.
-2
Let r = -6 + 6. Let i be 0/((-3 - r)/3). Solve i*g - 5*g - 25 = 0 for g.
-5
Let a be -1*2 - 0 - -2. Suppose a = 3*y - 8*y + 60. Solve 0 = -4*j - 0 + y for j.
3
Let a(k) = -k**3 + 7*k**2 - 6*k. Let w be a(6). Suppose -4*o = -2*d - 2, w = 3*o - d - 6 + 3. Solve o*t = -t for t.
0
Suppose 3*f = -2*c, 0*f - f + 13 = 5*c. Let h = 69 - 19. Suppose -j + h = j. Solve 0 = -c*q - 2*q + j for q.
5
Let d(o) = 3*o**2 - o - 2. Let f be d(2). Suppose -5*v + f*v - 6 = 0. Solve 0*c = -v*c + 10 for c.
5
Let s = -10 - -15. Suppose -5*j - k - 2 = -j, 0 = -3*j + s*k + 10. Suppose -2*d = -j*d. Solve d = w - 3*w for w.
0
Suppose 5*x - 2 = -5*p + 8, 7 = 2*p - x. Let k be (1*-4)/((-6)/p). Solve 4*y + k = -14 for y.
-4
Let m(s) = s**3 - 2*s**2 - s - 6. Let t be m(3). Solve t*q = -2*q + 4 for q.
2
Suppose 5*h = -4*o + 11, -5*o + 5 = h - 14. Let c(q) = q**3 - 6*q**2 - 5*q - 10. Let z be c(7). Let x be z/6 - 8/(-6). Solve -x*s + o*s = -2 for s.
-1
Suppose -4*x = x + 3*v + 2, 3*v + 12 = 0. Suppose -x*y = -6*y + 12. Suppose -y*u + 3*w = -5 - 43, 2*w = 5*u - 65. Solve 0 = 5*g - 1 + u for g.
-2
Let i(c) = c - 9. Let y be i(13). Solve 3*o + y = 4*o for o.
4
Suppose 0 = -5*w + 3*s + 10, 0 = 4*w + 4*s + s - 8. Suppose 5*g = w*g + 9. Suppose -l + g*l = 8. Solve j - l = -3*j for j.
1
Suppose 30*w = 28*w. Solve 4*n - 2*n + 8 = w for n.
-4
Let d be (3*(-2)/18)/((-2)/24). Solve d*s + 20 = -0*s for s.
-5
Suppose 8 = -0*p + 2*p. Let v(t) = t**2 - 3*t - 2. Let n be v(p). Suppose b - 1 = n. Solve -b*s + 1 = -2*s for s.
1
Suppose -5*c - l + 22 = 0, c = -4*l + 2*l + 8. Solve -9*o - c = -7*o for o.
-2
Let h be ((-3)/(0 - 3))/(-1). Let c(i) = -5*i - 1. Let u be c(h). Suppose -4*s - 5*q + 17 = -2*q, 4*s + u = 4*q. Solve s*g = 7*g + 25 for g.
-5
Let i(k) = -k + 5. Let n be i(4). Let f be (-1)/(2 - n) - -23. Solve 3*w + 7 - f = 0 for w.
5
Suppose 0 = 3*n - n. Suppose 4*v - 16 = 2*v. Solve v + n = -4*z for z.
-2
Suppose 14 = 4*j + 2*s, 3*s + 7 = -4*j + 24. Solve -j*y + 7*y - 15 = 0 for y.
3
Let x(n) = 4*n - 2 + 2*n**2 - n**3 - 2*n**2 - 4*n**2. Let k be x(-5). Solve -h = -k - 2 for h.
5
Let u be 45/(-6)*16/(-6). Suppose -u = -3*q - q. Solve 0 = w - q + 1 for w.
4
Let f(u) = u**3 + 0 - 6*u**2 - 2*u**3 - 7 - 2*u. Let k be f(-6). Suppose -q = 3*b - k, b + 4 = 4*q - 3. Solve -b = -m - 4 for m.
-3
Let i(p) = -7 + 10*p + 7*p - 5*p**3 + 4*p**3 - 6*p + 9*p**2. Let o be i(10). Solve 16 = -j - o*j for j.
-4
Let j = -3 + 7. Let q = 9 - j. Solve -2 + 7 = q*v for v.
1
Suppose -7 = -3*i + 17. Let a be (-7)/(-3) - 4/12. Solve -a*u + i = -6*u for u.
-2
Let k(b) = b - 7. Let x(g) = -g**3 + 5*g**2 - 4*g - 1. Let i be x(3). Let q be k(i). Let h be (q/(-8))/((-3)/(-12)). Solve 0*w = w - h for w.
1
Let s(m) = 5*m**2 - 7*m + 2. Suppose -5*z - 14 = 6. Let o(i) = i**2 - i - 1. Let a(r) = z*o(r) + s(r). Let u be a(4). Solve -3*b = -b - u for b.
5
Suppose 0 = 3*f - 3*p - 12, 3*p - 4 = -2*f + 4. Solve 3*b = -b + f for b.
1
Suppose 2*c = 6*c. Suppose c - 6 = -2*x. Solve a + x*a = 8 for a.
2
Let t be (-5)/(5/(-12)) + -2. Let w be ((-3)/(-2))/(1/2). Suppose -w*l - 2*l = -t. Solve -z + l = -2*z for z.
-2
Suppose -4*i + 11 = -5. Suppose 5*s = i*s. Solve 0 = -m - s*m - 5 for m.
-5
Let y(t) = t**2 - 6*t - 13. Let c be y(9). Solve 3*v - c = -2 for v.
4
Let z(s) = 3*s - 9. Let u be z(6). Solve -u - 1 = -5*m for m.
2
Suppose j - 3*d = -j - 3, -2*d + 18 = 4*j. Suppose 3*b - 2*b + 5 = 0, 0 = -c + j*b + 17. Solve 9 = -i - c*i for i.
-3
Let a be ((-24)/(-20))/(8/20). Suppose -a*y + 5*y = 0. Solve y = q + 4*q + 5 for q.
-1
Let c(p) = 2*p**2 + 1. Suppose -3*x + 4*x = 2*y - 7, 0 = -5*y + 2*x + 15. Let f be c(y). Let n(k) = k**2 + 4*k + 4. Let l be n(-4). Solve l*h + f = 5*h for h.
3
Suppose 2*r = -2*u, 0 = -5*r + 3*u + 4 + 4. Let s = r + 1. Let q = 3 - 2. Solve q = -s*p - 3 for p.
-2
Suppose 3*z = 0, -3*z = 5*i - 2*i - 12. Let j(x) = -x**2 + 9*x + 9. Let p be j(9). Solve -t + i = p for t.
-5
Suppose -45 = -3*m - 3*l - 3, 0 = -2*m + 5*l + 14. Suppose -5*p + m = -p, -5*p + 27 = 4*i. Suppose 10*q - 20 = 5*q. Solve -q*x - i = -7 for x.
1
Suppose 3*f + 4*w - 9*w - 3 = 0, f - 3*w - 1 = 0. Let v be (2 - f)/(2/4). Solve 5*a = -v + 12 for a.
2
Let i(w) = w**2 - 6*w - 4. Suppose 4*u - 20 = 8. Let m be i(u). Suppose 0 = -7*o + 21 + 28. Solve 0 = m*c - o + 22 for c.
-5
Suppose 5*n - 32 = -3*n. Solve -v + 3 = -n*v for v.
-1
Let a(i) = -5*i - 16. Let y be a(-4). Solve -6*u + 2*u + y = 0 for u.
1
Let y(d) = -d**2 - 7*d - 4. Let v be ((-12)/4)/6*6. Let s be y(v). Solve -4*u + 24 = s for u.
4
Let g = -8 + 11. Solve x - g*x = 8 for x.
-4
Let z be -3*(-28)/6*3/6. Solve 3*m + 12 = z*m for m.
3
Suppose 6*q + 3 - 15 = 0. Solve q*h - 12 = -h for h.
4
Let x be 3/(-1)*(-20)/(-6). Let z = x + 15. Solve -5*a - 15 - z = 0 for a.
-4
Let y(v) = 7*v + v**3 + 0*v - 8*v**2 - 4 + 0. Let w be y(7). Let j = w - -9. Solve j = -n + 2 for n.
-3
Let r = 25 + -12. Let c = r + -6. Solve -k - 2 + c = 0 for k.
5
Let k be ((-9)/12)/((-2)/8). Let r(x) be the first derivative of -x**3/3 - 13*x**2/2 + 2*x - 6. Let p be r(-13). Solve -k - 3 = p*q for q.
-3
Let i(p) = -p**3 + 7*p**2 - 10*p. Let m be i(5). Solve m*j = 2*j - 8 for j.
4
Let q be 11*1/(-3)*-3. Suppose -7 = 2*g + q. Let t = g + 17. Solve -n = n + t for n.
-4
Let t(f) = 2*f - 2. Let n be t(3). Suppose 5*m = -n*k + 10, -3*m = -3*k + 5*k - 6. Solve k = -5*j - 19 - 6 for j.
-5
Let j = -6 - -6. Let w be 1*3 - (3 + 0). Solve w = -j*i - 2*i - 8 for i.
-4
Let q be (-18)/(-8) - 1/4. Let a(n) = 5*n - 4. Let k(g) = g. Let c(j) = a(j) - 3*k(j). Let f be c(7). Solve -2*u - f = -q for u.
-4
Let y(a) = a + 12. Let w be y(-7). Suppose 0 = -w*x - 3 - 2. Let f be (x + (-10)/(-4))*4. Solve -21 + f = -3*j for j.
5
Let a be 16/3 + (-4)/12. Suppose d - 3*d = 4*b - 40, 3*b + a*d = 37. Let z = b - 5. Solve -z*h = h for h.
0
Suppose 0*h = 5*h. Let y(p) = p + 4. Let g be y(h). Solve 5*r = r - g for r.
-1
Let i be 1 + 0 + -1 + 2. Suppose -3*o + 40 = i*o. Solve 0*a = 4*a - o for a.
2
Let t = 1 - 1. Solve t = 3*i - 0*i + 15 for i.
-5
Suppose -22 = -5*k + 3. Let v = -7 - -15. Let q = v - k. Solve q*m - 16 = -m for m.
4
Suppose 5*r + 0 = -b + 6, -4*r + 20 = -3*b. Let o be b + 2 + (5 - -2). Solve o - 15 = 5*i for i.
-2
Suppose -17*d = -15*d - 6. Solve d*c - 5*c = 0 for c.
0
Suppose -o = o. Suppose o = y + 4*y - 25. Solve 5*n = -0*n - y for n.
-1
Suppose 3*n - 2 = n. Let c be 3 - n*(-6)/2. Solve -5*r + 9 = -c for r.
3
Suppose 0*n - 15 = -2*a - 3*n, 0 = -5*n + 25. Let o be 1 - (a + (-2 - 1)). Solve y = -o*y for y.
0
Suppose 0 = 6*g + 2 - 14. Suppose 2*d + 1 = -t - g, -3*t - 9 = 3*d. Solve 2*o + 2 = -d for o.
-1
Let g = -19 + 19. Suppose -3*q + 3 - 12 = 0, -3*f - 4*q = 9. Solve -p - f - 3 = g for p.
-4
Let x = -1 - -2. Suppose -f + 5 = 3. Let g be f*(4/4 + 0). Solve -g*t + x = -3 for t.
2
Let x(i) = 2*i - 3. Let g be x(2). Solve -g = 2*n + 1 for n.
-1
Suppose v - 6 = 2*s + 6, 0 = v + 2*s + 4. Solve v*r - 2*r = 4 for r.
2
Let u be (-8)/(-10)*10/4. Let j(l) = 3*l - 3. Let v be j(3). Solve v = 4*s - u for s.
2
Suppose -1 = -5*z + 9. Solve z*h - h = 0 for h.
0
Suppose 12*u - 7*u = g + 12, -2*u + 3 = -g. Solve -u*j = -j for j.
0
Suppose -5*s + 3*a - 7 = -28, 0 = 3*s - 3*a - 15. Solve 0 = -w + 1 - s for w.
-2
Let a = -50 - -23. Let g be a*(1 - 8/6). Suppose -h + 3 = r, -h = -3*r - g - 2. Solve -b + h = 4*b for b.
1
Let y be (-3)/(2*3/4). Let g = -4 - y. Let s be g/2 + -2 + 3. Solve s = -m - 1 + 2 for m.
1
Let y be -12*(-8)/4 - 4. Solve 5 = -5*h + y for h.
3
Let x = 8 - 6. Suppose 0*y + 2*y = -x*m + 8, -y - 5*m = -12. Let z = 34 + -27. Solve y*q = z*q + 25 for q.
-5
Let l(t) = -t**2 - 8*t - 3. Let v be l(-5). Suppose 0 = v*z - 7*z. Solve -2*c + 0*c + 6 = z for c.
3
Let y = 15 + -15. Let n be (-1)/3*1*y. Solve 5*c - 2*c + 15 = n for c.
-5
Let r = -10 - -12. Solve r*h - 3 = 3*h for h.
-3
Suppose -2*g = -0*g - 12. Solve -j + g*j = 15 for j.
3
Suppose -5*r - 18 = -3*v, -5*v + 4*r + 11 = -19. Solve y - 3*y = v for y.
-3
Let c(v) = -3*v - 4. Let p be c(-3). Let q = p + -4. Solve 21 = -4*i + q for i.
-5
Let j be -1