n = 7 + f. Solve -4*k = n + 1 for k.
-1
Let t be ((-2)/6)/(1/3). Let g(i) = -3*i**3 + i**2 - 1. Let j be g(t). Let z be (1 - j)/(1 + -2). Solve 0 = -5*d + z*d - 15 for d.
-5
Suppose 3*h + 5*m - 2 = 2*h, -5*h - 4*m - 11 = 0. Let k be ((-4)/h)/(1/3). Let u = k - 2. Solve -w = u*w - 9 for w.
3
Let n be (-1)/2*(-3 - -1). Let c(y) = -15*y**3 - y**2 + 2*y - 1. Let m be c(n). Let x be (8/20)/((-1)/m). Solve -x*t + 3*t = -3 for t.
1
Let r be 4 + (-2)/(3 + -2). Suppose -2*j - r = 4*w - 0*w, -2*w + j - 3 = 0. Let n be (4 - 2)/(w + 2). Solve -n*u + 1 = 7 for u.
-3
Suppose -w + 4*w = 9. Suppose 21 = w*a + 3*d, -3*a + a + 5*d - 7 = 0. Solve -2*f + f + a = 0 for f.
4
Let q = 0 + 3. Solve -1 = -x + q for x.
4
Let a be 54/10 - 8/20. Let r = 8 - a. Solve 2*w + r*w = 5 for w.
1
Suppose 20 = -a - 3*a + 3*k, a + 5*k = 18. Let p be (1 + a)*1*-11. Solve -1 = 4*j + p for j.
-3
Let k = -11 + 11. Suppose f + 4*f - 5 = k. Suppose 5*u - 4*u = -4*w + 11, 15 = 3*u + 3*w. Solve 4*o + f = -u for o.
-1
Let u = 41 + -13. Let f = u - 13. Solve 3*x = -2*x + f for x.
3
Let y be (-18)/4*10/15. Let d be (0 - 1/y)*3. Let k be (-8 - -1)/(-1)*d. Solve -15 = -2*q + k*q for q.
-3
Suppose c + 2*g = g, -5*g - 10 = 3*c. Suppose -39 = -3*i - 2*z - 2*z, c*i - 2*z = 39. Let q(y) = -y**2 + 9*y + 1. Let f be q(i). Solve j + 0 - f = 0 for j.
1
Let g(t) = -t + 1. Let s be g(-2). Suppose 0 = -s*m + m. Solve k - 4*k = m for k.
0
Suppose 20 = t + 4*t. Let p = 7 - t. Solve -2 = -p*x + 4 for x.
2
Suppose -2*r = -5*r + 18. Solve r = 4*z - 14 for z.
5
Let m(q) = q**2 - 5*q + 1. Let f be m(6). Let d = f - 1. Solve -d = -2*p - 2 for p.
2
Suppose 5*b = 190 - 5. Let h = b - 31. Let s be (-2)/(-2) + 1 + 1. Solve 0*o = -s*o - h for o.
-2
Let q = 8 - 8. Suppose 3*c + 11 + q = 5*m, -m + 1 = -c. Solve 7*t = 4*t - c for t.
-1
Suppose 4*a = 3*d - 32, 7*d - 2*d = a + 25. Let t(p) = p**3 + 4*p**2 - 7*p - 6. Let s be t(a). Solve -s = 3*z - 1 for z.
-1
Suppose -4*w = -i + 2, 2*i - 2*w + 10 = -w. Suppose -2 = b - 2*n + 1, 2*n = -b + 9. Let k be ((i - -3) + b)*1. Solve -u + 4 + 1 = k for u.
5
Let i = -187 - -187. Let q(g) = -g**3 + 6*g**2 - 4*g - 3. Let k be q(5). Solve k = -r - i for r.
-2
Let j be (-11)/(-9) + 12/(-54). Solve j = -r + 3 for r.
2
Suppose 4*h = l - 4*l + 9, 4*l = 3*h + 37. Suppose -5*y + 0*y = -n + l, 3*n + 5*y - 1 = 0. Solve 0 + n = -o for o.
-2
Suppose 0 = -6*i + 25 - 7. Solve -i*f + 3 - 6 = 0 for f.
-1
Let w(x) = -2*x**3 - 5*x**2 - 4*x - 3. Suppose 2*u - 4 = 5*s + 7, -4*s = 3*u + 18. Let i be w(s). Suppose -3*f + 42 = -i. Solve -g = 3*g + f for g.
-5
Let n be ((-1 - -5)/4 - 1)/2. Solve h - 6 + 3 = n for h.
3
Let f be (-15)/(-25) - (-3)/(-5). Let z be f/(-6) - -3*1. Solve r - z = -5 for r.
-2
Let m(y) = -y**3 + 2*y**2 + y + 1. Let t be m(2). Suppose -p = -0 + 1, -t*c = -3*p - 48. Let q(k) = -2*k - 6. Let z be q(-5). Solve -z*w + c = -w for w.
5
Let g(q) = q**3 + 4*q**2 + 3*q + 2. Let w be g(-3). Solve -2*d = -4 + w for d.
1
Suppose -2*z + 2 = -0*z. Suppose z = -2*j + 5. Let b(r) = r + 2. Let c be b(-2). Solve c = -2*a + j for a.
1
Let v(s) = s**3 + s. Let i be v(1). Let d(o) = -o**3 - 7*o**2 - 2*o - 11. Let t be d(-7). Solve -t - 1 = -i*f for f.
2
Let p(k) = -2*k + 17. Let w be p(0). Let a = w + -11. Solve 0 = -7*c + 5*c - a for c.
-3
Suppose -3*m + 2*m = -3. Suppose -2 - m = -v. Let x = 29 - 20. Solve 0 = v*b - x - 1 for b.
2
Suppose 0 = -5*g + 14 - 4. Solve 1 - 5 = -g*k for k.
2
Let p(v) = 6*v + 4. Let z(b) = -5*b - 4. Let x(l) = 4*p(l) + 5*z(l). Let n be x(-5). Suppose -4*t = -9*t + 15. Solve t*h - 7 = -n for h.
2
Let l be (-2)/(-1) + 0 + -2. Suppose -13 = -3*t - 1. Suppose -t*k = -l*k - 16. Solve j + 10 = -k*j for j.
-2
Let o be (-3)/6*-1*0. Suppose 2*x = x + 4*b + 3, o = -x + 5*b + 3. Suppose -2*k + 0*k + 10 = 0. Solve -2*l - x*l + k = 0 for l.
1
Suppose -23*u + 21*u = 0. Solve u = 3*g + g - 20 for g.
5
Suppose 2*s + 12 = 3*k, -4*k = -7*k - 5*s + 12. Suppose -5 = 5*r + 5*z, 2*r = 3*z - 4*z + 3. Solve r*j - 3*j = -k for j.
-4
Suppose -2*f + 1 + 5 = 0. Solve -f*g = -2*g for g.
0
Suppose 5*f - 5*r = 15, 7 = -f - 3*r - 2. Let n(v) = 3*v - 4. Let c be (12/14)/((-20)/(-70)). Let j be n(c). Solve -2*x + 7*x - j = f for x.
1
Let f be 24/13 + (-4)/(-26). Suppose -m + 3*m + 2 = 0, -8 = -3*s + f*m. Solve -s = 3*k - k for k.
-1
Let q be 2 + -1 - (-17 - -3). Solve 0 = 3*i + 2*i - q for i.
3
Let q be (-91)/(-104) + (-2)/(-16). Solve 8*n + q = 9*n for n.
1
Suppose 5*b = 10, 0*n = -3*n + b - 86. Let a(l) = l**2 + 3*l + 1. Let m be a(-2). Let p be n/(-4) + (m - 0). Solve -9 = 3*q + p for q.
-5
Let g be (4 - (1 + 1)) + 1. Suppose -v = -3*u + 6, -2*u = 4*v + 7 + g. Suppose 0 = -4*h - 3*h. Solve -q + u + 2 = h for q.
3
Suppose -2*c = -0*c - 10. Solve 7*g - 2 = c*g for g.
1
Let c(q) = -q - 5. Let b(l) = 4*l + 19. Let z(i) = -2*b(i) - 9*c(i). Let r be z(-5). Solve -25 = 3*x + r*x for x.
-5
Let c be -1 + 69/6*-2. Let j = 27 + c. Solve -j*l + l = 0 for l.
0
Let k be 122/14 + (-4)/(-14). Let s = 0 - 0. Solve s*d + 3*d = -k for d.
-3
Let b(g) = -g**3 - 7*g**2 - 6*g + 6. Let s be b(-6). Suppose v + 0 = 4. Suppose 10 = s*h - v*h. Solve 11 + 9 = h*f for f.
4
Let b be (-2 - 0 - 7)*-1. Let d = b + -7. Solve 5*z = d + 3 for z.
1
Suppose 0 = -5*j + 4*h + 19, 36 = 5*j + 4*h - 15. Solve -4*c = -13 - j for c.
5
Suppose 0 = -s + 2*j, 2*s - 5*j = s. Let x be (-1)/2 - 1/2. Let k be 18 - 2/(s + x). Solve -m = 4*m - k for m.
4
Let t be 743/13 + 2/(-13). Suppose 5*d - t + 7 = 0. Solve -d = -j - j for j.
5
Let l = 13 - 8. Let s = 0 - -6. Suppose -4*u + u + s = 0. Solve u*q = 3 - l for q.
-1
Suppose -2*i - y - 2*y = 21, 50 = -5*i - 5*y. Let v be 2/i - (-504)/81. Solve 0 = 3*r - 3 - v for r.
3
Suppose -30 = -0*o + 5*o. Let a = o - -6. Solve 8 = -2*k - a for k.
-4
Let n = -17 - -14. Let l be n/2*240/(-18). Solve -4*x + l = x for x.
4
Let f = -52 + 59. Solve 0 = -f*x + 3*x - 4 for x.
-1
Let x be 2/9 - (-87)/(-27). Let z = -3 - x. Solve -4*i + z*i + 4 = 0 for i.
1
Suppose 4*r - 9 = 7. Solve -r*x = -x for x.
0
Let u be ((-8)/(-24)*-1)/(1/(-15)). Suppose 4*f - 4*w - 17 = f, -4*f = -2*w - 16. Solve u = -f*g - 1 for g.
-2
Let g(o) = -o - 2. Let v be g(-2). Suppose 3*x - 3*k + 9 = -0, -2*x - 6 = 3*k. Let b = 5 + x. Solve 2*i + b*i = v for i.
0
Let f(j) = -j**3 - j**2 + 25. Let l = -3 + 3. Let y be f(l). Let h = y + -15. Solve -2*r - h = -0*r for r.
-5
Suppose -5*w + 39 = 9. Let q = w - 2. Suppose q*n + 20 = 4*i, -5 = 2*i - 6*i + n. Solve -y + 5 = -i for y.
5
Let h be (-4)/26 + (-1904)/(-208). Solve 0 = -5*t - 29 + h for t.
-4
Let j = 60 - 56. Solve j*i + 8 = -0*i for i.
-2
Let z(b) be the third derivative of -b**6/40 + b**4/24 - 7*b**2. Let h be z(-1). Solve -h*g = -4*g + 8 for g.
4
Let n be (-7)/((-14)/4) - 4. Let k(p) = p**2 + 3*p + 5. Let o be k(n). Solve o*l = 2*l for l.
0
Let c(l) = -l + 10. Suppose -16 = -6*o + 4*o. Let m be c(o). Suppose 2*a - 6 + m = 0. Solve -3*z = a*z for z.
0
Let a(n) = -n**2 + 8*n + 57. Let y be a(12). Solve 0*z = -3*z + y for z.
3
Let i be (-9)/(-2) + (-2)/(-4). Suppose -18 = -i*c + 7. Solve 0 = -c*v + 3*v - 6 for v.
-3
Let p be (-4)/16 + (-9)/(-4). Solve -p*m = m - 3 for m.
1
Let r(l) = -l + 30. Let h be r(24). Solve 3*q = q + h for q.
3
Let j = 112 + -104. Solve 3*a = a - j for a.
-4
Let p = -5 + 8. Suppose -4*m = -p*m - 5*o + 15, m - 3 = -4*o. Let g = m - -9. Solve -a - g = -0*a for a.
-4
Suppose -a + d + 16 = -3*d, -23 = -5*a + d. Let w be (a - 5) + (-11)/(-1). Solve w = 3*c + 4 for c.
2
Suppose -3*q - 8 = 3*w - w, 5*w = 3*q + 1. Let x be 1 + q + (12 - 11). Solve 2*m - m = x for m.
0
Let g(o) = 2*o**2 + 4*o + 5. Let l be g(-2). Suppose -l*u + w + 21 = -7, -20 = -u + 5*w. Solve 2*z = -3*z - u for z.
-1
Suppose 2*o + 3*o - 225 = 0. Suppose -3*q = 2*q + o. Let w = q + 15. Solve -4*m + w = -7*m for m.
-2
Let m = 1 + 2. Suppose 20 = m*o + r - 3*r, -2*r = -10. Let q = -4 + o. Solve -25 = x - q*x for x.
5
Let o(j) = -j**2 - 9*j - 9. Let p be o(-7). Solve 2 = p*w - 3*w for w.
1
Suppose 2*z + 1 = 7. Solve 0*w = z*w + 15 for w.
-5
Let p(d) = d**3 - 4*d**2 + 3*d + 3. Let t be p(3). Suppose -z - t*f = 4, -f = 3*z - 5*f - 27. Solve 0*l + z = l for l.
5
Suppose 4*i + 4 = 0, -25 - 31 = -5*u - 4*i. Let b be -1*7/(-1) - 2. Solve -b*f - u - 13 = 0 for f.
-5
Let h = -17 - -20. Solve -4*p + 3*p = -h for p.
3
Let c be (11 + -1)/(