3
Let t be (-2)/(-4) - (-38)/(-4). Suppose -20 = -5*v, -4*a - 16 = 2*v + 4. Let g be (t - -2)*2/a. Solve 0 = 4*o + g + 2 for o.
-1
Suppose 0 = h - 5 + 2. Solve h*l = l + 4 for l.
2
Suppose 2*d = -3*y + 116, 3*y = -d + 129 - 11. Let u be 16/y - 73/(-5). Solve -6*b = -3*b - u for b.
5
Let r(v) = v + 7. Let a be r(-5). Solve -a*u = -3*u - 2 for u.
-2
Suppose -4*l - 5*u + 2 = -l, -l - 3*u = 2. Let s(b) = b**2 - 9*b + 6. Let y be s(9). Suppose 2*k = y*k. Solve l*w - 3*w = k for w.
0
Suppose 0 = m + 3*m - 8. Let j = 4 - m. Let x be 1/j + 14/4. Solve -x*d + 2*d = 0 for d.
0
Suppose 4*q - 2 - 6 = 0. Suppose -v = -o, -v + 2*o = -o + 10. Solve v*t + q + 8 = 0 for t.
-2
Let t be (-6)/(-8) + -1 - (-205)/20. Solve t - 1 = -3*m for m.
-3
Suppose n + 3*b = 24, -n + 5*b - 4 - 4 = 0. Let m = 3 + -1. Solve -m*c = c - n for c.
4
Suppose 6*u - 44 = 2*u. Let l(v) = v**2 - 11*v - 4. Let y be l(u). Let p(n) = n**2 - 1. Let m be p(y). Solve 4*z = -5 - m for z.
-5
Suppose 0 = 5*a - q + 3*q - 92, 0 = -4*a + 5*q + 100. Solve 0*u + 4*u = a for u.
5
Let s = -88 + 90. Solve -11 = -s*f - 1 for f.
5
Let b be 0 + 2 + 4 + -6. Suppose b*k = -4*k - 16. Let c = -3 - k. Solve 0 = -5*a - c - 9 for a.
-2
Suppose -2 = 4*v - 2*q, 4*v + 4*q = 5*v + 18. Solve 25 = 3*f + v*f for f.
5
Let n = -2 - -4. Suppose -n*y + 6*y - 2 = -3*t, -5 = -t + 3*y. Let j = t + -1. Solve 0 = m - j - 3 for m.
4
Let t = -3 - -7. Suppose -1 + 7 = 3*o. Suppose 4*w - 36 = -4*u, -o*u - w + 33 = t*w. Solve 0 = -u*z - 23 + 3 for z.
-5
Suppose -2*c + 5*i - 4 = 0, 4*c + c - 4*i = 7. Solve 5*z - 18 = -c for z.
3
Let g be 2*(5 - (0 + 3)). Suppose -f + 0*f = -g. Solve 3*k = f*k - 2 for k.
2
Let x = 1 + -6. Let j = -3 - x. Solve -j*l + 0*l = -10 for l.
5
Suppose 3*p + 57 + 12 = 0. Let z be -2 - 2/(4/6). Let q be 2/5 + p/z. Solve 15 = -2*w + q for w.
-5
Let d(x) = -x**3 - 4*x**2 - x - 4. Let v be d(-4). Solve 4*w + 3 + 5 = v for w.
-2
Suppose -8*b = -6*b - 4. Solve -g = -b*g for g.
0
Let c be 10 + -1 + 1 - 2. Suppose 6*t - c = 2*t. Solve t*s + 0*s = 2 for s.
1
Suppose 0 = -3*k - 4 + 13. Solve 6 = -k*z - 0*z for z.
-2
Let w(n) = -8*n**3 + 3*n**2 + 8*n + 4. Let g(j) = -7*j**3 + 3*j**2 + 7*j + 3. Let h(k) = 7*g(k) - 6*w(k). Let m be h(3). Solve 0 = -m*i + 2*i for i.
0
Let a(q) = -q**2 + 6*q. Let c be a(6). Suppose 2*k - 4 = -c*k. Solve u + k*u - 15 = 0 for u.
5
Let r = -47 + 50. Solve -r*x + x + 2 = 0 for x.
1
Let d(c) = 0 + 9*c**2 + 0*c**3 - 3*c**3 - 7*c - 5 + 2*c**3. Let s be d(8). Solve -s*a + 8*a - 20 = 0 for a.
4
Suppose -3*d - 4*u + 0 + 13 = 0, 4 = 2*d - 2*u. Suppose -2*s = 5*f - 3, -2*s + 2*f - d = -3*s. Let p be 2*2/4*s. Solve h = -2*h - p for h.
-3
Let s be 2/(1/6*2). Let b = -3 + 5. Suppose 2*o + 9 = 5*q, -b*q - o - 9 = -s*q. Solve u = -q*u for u.
0
Let x be 1*(0 + 7 - 3). Solve -x*c + 3 = -c for c.
1
Let t(v) = -24*v + 1. Let h be t(-1). Let q = -11 + h. Solve 4 = 2*z + q for z.
-5
Let l = 0 + 2. Let u = 4 - l. Suppose -5*f + 65 = 4*h, -17 - 12 = -u*h + f. Solve 3*i + 0*i = h for i.
5
Suppose -145 = -3*k - 367. Let t be 2/6 - k/3. Suppose y + 12 = -3*h + 6, -5*h - 10 = -y. Solve 0 = -5*m - y*m - t for m.
-5
Let t be (-2)/(-2 - (-6)/4). Let x be (t + -3)/((-1)/(-5)). Suppose -5*b = -5*i, x*i = 2*i - 2*b + 15. Solve 4*g = 9 + i for g.
3
Suppose 3*k = 2*k + 10. Let t be (-34)/(-10) - k/25. Solve -2*r + t*r = 3 for r.
3
Let m(o) = o**3 + 6*o**2 - o + 2. Let w be m(-6). Suppose -4 = -3*f + w. Solve 0 = -f*d - 1 - 7 for d.
-2
Suppose -4*h + h + b = -14, -3*h + 4*b = -29. Solve -h*y + y - 8 = 0 for y.
-4
Let p = 5 - -7. Solve -c = 2*c - p for c.
4
Suppose 10 + 6 = -4*v. Let d = 7 + v. Suppose 0 = -c - 2 + d, 0 = 5*q + 2*c - 22. Solve 2*s + 6 + q = 0 for s.
-5
Suppose 4*b - 12 = 3*b - s, 4*s + 3 = -b. Solve -4*o - b + 5 = 0 for o.
-3
Suppose -u - 5*v + 27 = 0, v = 2*u - 2*v - 15. Solve -3*s - u + 0 = 0 for s.
-4
Let r(i) = 6*i**2 + i - 1. Let f be r(1). Let h = f + -3. Let q be (4 + -1)*8/6. Solve -q*y - 5 = -h*y for y.
-5
Suppose 3*c + 9 = 0, 4*b + 5*c + 1 = -2. Solve b*u + 5 = -1 for u.
-2
Let p = 4 - 3. Let j = p + 1. Suppose -3*b + j = -6*m + 5*m, 4*m + b - 18 = 0. Solve -m*t + 5 - 13 = 0 for t.
-2
Suppose -z + 6*z - 5 = 0. Let y(p) = p**3 + 4*p**2 - 6*p - 4. Let d be y(-5). Let c = z - d. Solve c*g = -5*g for g.
0
Suppose 0 = -5*p - i + 4, 2*p + 8 = -0*p + 2*i. Solve -o + 5 = -p for o.
5
Let i = 10 - 19. Let t = i + 11. Solve -2*g + 0 + t = 0 for g.
1
Let p be (18/(-1 - 2))/(-1). Solve 0 = -2*c + p*c - 20 for c.
5
Suppose 3*v + 0*v + 15 = 0. Let h be (v/(-10))/((-1)/(-10)). Suppose 2*b = -3*a + 2*a - 6, -a + 15 = -h*b. Solve a = -x + 2*x + 2 for x.
-2
Let k be (0 - 22)/(-1 - -2). Let z be 3/6 + k/(-4). Solve -18 + z = 4*q for q.
-3
Let f(i) = -2*i + 2 + 2*i + i - i**2 + 4*i**2 - i**3. Let d be f(3). Solve 3*w - d*w - 4 = 0 for w.
-2
Suppose g - 6*g + 30 = c, c - 3*g + 10 = 0. Solve -c*s + 0*s = -15 for s.
3
Let s(p) = -p**3 + 5*p**2 + 3*p - 12. Let r be s(5). Solve r*u = -2*u - 20 for u.
-4
Let t = 7 + -2. Solve -t*u = 15 + 5 for u.
-4
Let r = -65 + 65. Solve r = -z - 0*z for z.
0
Let q = -1 - -10. Let g be -1 + (-3)/(q/(-12)). Suppose g*s - 2*s - 1 = 0. Solve 0 = -4*w - s - 7 for w.
-2
Let u be (4/(-4) + -2)*-1. Suppose 0*y + 5*t - 1 = -y, 2*y + u*t - 2 = 0. Solve 4*f - 5 = -y for f.
1
Let f = -3 + 6. Let h = f + 5. Solve h = -2*v + 4*v for v.
4
Let n = -21 + 30. Suppose -n = -2*j + 23. Solve d + 3*d - j = 0 for d.
4
Let x = -21 - -25. Solve f - 15 = -x*f for f.
3
Let q = 78 - 77. Suppose 0 = -w + 5*a - 3, -2*w - 4 = -5*a - 3. Solve -w*s = -q - 3 for s.
2
Let g(o) = o**3 - 7*o**2 + o - 5. Let r be g(7). Suppose -4*k = i - 13, 4*k - 3*i - 4 = 21. Solve r*q = k*q for q.
0
Suppose 0*h = 2*h - 2. Let q be -3 + h*(1 - -10). Let x = q + -5. Solve -x*c = c for c.
0
Suppose 0 = -22*p + 24*p. Solve p*r + r + 5 = 0 for r.
-5
Suppose -10*y - 1 = -11. Solve -r = y + 1 for r.
-2
Suppose 0*m - 4*m + 56 = 0. Let s be 6/(-15) - (-27)/5. Solve 11 + m = s*y for y.
5
Suppose -d = 5*a - 8, -3*d = -0*a - a - 8. Solve -2*j + 3 = a for j.
1
Suppose 0 = -7*l + 5*l + 10. Solve -10 = l*p - 5 for p.
-1
Let c = -22 + 29. Suppose -30 = n - c*n. Solve n*g - 2*g = 3 for g.
1
Suppose 2 = -o + 3. Suppose 5*v - 30 = h - 2*h, 5*v = 5*h + 30. Suppose c = -b - o + 4, 0 = 4*c - 2*b - v. Solve 0 = -n - c + 7 for n.
5
Let f(g) = -5*g - 90. Let n be f(-19). Solve n*s = 4*s + 1 for s.
1
Suppose -30 - 6 = -4*b. Let q be 1/(-4) - (-50)/8. Let x be 8/q + (-3)/b. Solve -4*y + x + 15 = 0 for y.
4
Let g(c) = -c**2 + c + 14. Suppose -4*m - 4*d - 25 = d, 2*d + 10 = -3*m. Let r be g(m). Let w = -10 + r. Solve 6 + 2 = w*v for v.
2
Let j be 1 - -7 - (1 + 1). Let m(a) be the second derivative of a**5/20 + 5*a**4/12 - a**3/3 - 7*a**2/2 + a. Let h be m(-5). Solve 0 = 3*w - j*w + h for w.
1
Let i be 1*4/(1 + 1). Solve h = -i*h for h.
0
Let m be (-32)/(-3) + (-2)/(-6). Let k = m + -8. Let w(h) = h**3 - 3*h**2 + 2. Let d be w(k). Solve -d*b + b = 0 for b.
0
Let j be ((-4)/(-10))/((-1)/(-10)). Suppose -16 = -5*l + i + 27, 0 = -5*l + 3*i + 39. Solve -l = s - j for s.
-5
Suppose 3*t - 4*i - 18 = 0, 8 + 9 = t - 5*i. Solve t*s = -3*s - 20 for s.
-4
Let o(h) = 6*h - 20. Let l be o(4). Solve 0*p - l*p - 8 = 0 for p.
-2
Let x = 40 - 37. Solve 0*r - x*r + 6 = 0 for r.
2
Let f be (-5 + 8)*7/3. Suppose 8 = f*u - 3*u. Solve d + 4 = u for d.
-2
Let h(i) = -i + 7. Let a be h(7). Suppose a = s - 2*c - 8, -2*c = 4*s - 4*c - 26. Solve g + 2*g + s = 0 for g.
-2
Suppose -60*j + 1 = -59*j. Solve -2*x + 3 = j for x.
1
Suppose 4*l - 72 = 16. Let s = 37 - l. Let k = -10 + s. Solve -g + 20 = -k*g for g.
-5
Suppose 0 = -4*z + 5*x - 62, -z - 4*x = 2*z + 62. Let k be 1 + 0 + z/(-9). Suppose -5 = -5*r - 0. Solve r = k*f + 10 for f.
-3
Suppose 0 = b - 4 + 2. Solve -b*h = -4*h + 10 for h.
5
Suppose 3*p + 6 = 4*p. Let v be 32/p - (-2)/3. Let c = 21 + -16. Solve 3*o - v = c*o for o.
-3
Let o = 60 - 57. Solve 2 = k + o for k.
-1
Let o(q) = -2*q - 19. Let z be o(-13). Let p = -9 - -13. Let s = 6 - p. Solve s*v = z*v for v.
0
Let m = 3 + 1. Let u be 302/m + 3/6. Suppose -3*t - t + u = 0. Solve 6 = 5*a - t for a.
5
Let l be 1/(-7) + 6/42. Solve -4*n + 16 = -l*n for n.
4
Let w be (-9 - -9) + (0 - -1). Let a be (1 - 5) + 3/3. Let u = a - -6. Solve -w = k - u for k.
2
Suppose d + 0*d - 11 = -3*u, 5*d = 2*u +