 + -3)/(2 + 0). Suppose -2*c + 3*p - 8*p + 37 = m, -3*p + 31 = 2*c. Suppose 4*s = -5*a + 26, -4*s - 3 = -4*a - c. Solve a*j = j + 1 for j.
1
Let y = 107 - 97. Solve 3*c - 5*c = -y for c.
5
Let g be (-2 - (1 + -2))*-1. Solve j + g - 5 = 0 for j.
4
Let n = -13 + 22. Let l = 19 + -16. Let i = 11 - -10. Solve -l*y - n = -i for y.
4
Let b = 1 + -1. Let i be 1*b*(-2 + 3). Let z(j) = -2*j - 44. Let o be z(-22). Solve 2*h - 2 + i = o for h.
1
Suppose s = 2*s - 4. Suppose 1 + 4 = -m. Let o = m - -8. Solve 0 = -z - s + o for z.
-1
Let n = 1 + 5. Let d(b) = b**3 + 9*b**2 + 8*b + 5. Let x be d(-8). Suppose x*k + 24 = 4*t, 4*t - 3*t + 2*k - n = 0. Solve 0*h - t = -3*h for h.
2
Suppose 2*w = -1 + 3. Let q be (4 - -1)*w*1. Solve q*c = 7 + 3 for c.
2
Let a(q) be the first derivative of -1/4*q**4 + 3*q**3 - 4*q**2 + 4 + 4*q. Let h be a(8). Solve h*l = l - 9 for l.
-3
Let c be 9/12 + (-12)/16. Solve c*b = b + 1 for b.
-1
Let a be (104/16 - 6) + 3/2. Solve -a*i + 3*i + 3 = 0 for i.
-3
Let o = 0 - -1. Let u be (-1 - -2) + 7/o. Let z be u/(-20) - (-12)/5. Solve 7*l = z*l + 10 for l.
2
Let u be 16/(-6)*27/(-18). Solve -u*z - 16 = -0 for z.
-4
Let h be 100/(-50) - (1 - 12 - 0). Solve 4*z = 7 + h for z.
4
Suppose -5*c + 42 = -2*c - 3*m, 3*c - 52 = -2*m. Suppose -3*x = 3*g + 2*x - 20, 4*x - 16 = 0. Suppose -5*b = 0, 3*b = 5*u - g*b - 25. Solve f - c = u*f for f.
-4
Suppose 0 = -2*m - 3*m + 5*v - 15, m + 5*v = -21. Let j be (-4)/20 + m/(-5). Solve -j = y + 1 for y.
-2
Let i be 2/4*(-5 + 5). Let k(d) = d**2 - 4*d + 3. Let y be k(2). Let u = 1 + y. Solve t + i*t + 4 = u for t.
-4
Let i = 5 + -5. Suppose -5*u + 3*d - 8 = -i, -4*u + d - 12 = 0. Let l = u - -4. Solve 0 = -l*v + 5*v - 20 for v.
4
Suppose 4*j = 5*u + 12, -j = -2*u + 3 - 6. Suppose 0 = j*h - h - 40. Suppose -d + 4 = 2*y, y + 0*d + 12 = -4*d. Solve f + y*f - h = 0 for f.
4
Suppose 3*g - 3*q - 6 = 0, 0*q + 2*q = -g + 2. Solve 0 = z + g*z + 6 for z.
-2
Suppose 3*k + 1 = 3*n - 2, 4*n - 24 = -k. Suppose 2*c - 7*c - 6 = k*v, 4*v = c - 18. Solve -2*w + 2 = -c for w.
2
Let c = 8 - 1. Let k = c + -5. Suppose y = 2*y + 2, h + k*y = 12. Solve 2*j - 6*j + h = 0 for j.
4
Let v(i) = -i**3 + 16*i**2 - 25*i - 32. Let o be v(14). Solve o = -t - t for t.
-5
Let w = -38 + 46. Solve -w = i - 4 for i.
-4
Let n(a) = 5*a**2 - a - 1. Let f be n(-1). Suppose 0 = b - u - 2 - 4, u = -f*b + 24. Let h be 30/b + (0 - 2). Solve 3*x - 2*x + h = 0 for x.
-4
Let m = -13 - -14. Solve -4*b + m + 3 = 0 for b.
1
Suppose -5 = -4*u + 35. Let j(l) = l**2 + l + 4. Let v be j(-3). Let y be ((-6)/u)/((-2)/v). Solve -y*d + 4 = d for d.
1
Suppose 53*o - 15 = 48*o. Solve 1 - 4 = o*g for g.
-1
Suppose 3*z - y = y - 2, 5*y = -3*z - 16. Let c(t) = t**3 + 2*t**2 - 2*t. Let k be c(z). Let j be 0/1*(-2)/(-4). Solve -k*v + 9 - 1 = j for v.
2
Suppose 0 = 4*g - 12, 2*g + 21 = -3*m + 5*g. Let a be m*12/(-16) + -1. Solve -v + a*v = 0 for v.
0
Let u(h) = h**3 - 4*h**2 - 10*h + 42. Let v be u(4). Let x = 26 - 16. Solve 0 = v*z - 4*z + x for z.
5
Suppose h = 3*h - 6. Suppose 0 = 4*p - h*p - 2. Let y = 4 - -11. Solve 7*n = p*n - y for n.
-3
Let j(b) = -18*b**3 + b. Let x be j(1). Let t = -14 - x. Solve -t = p + 1 for p.
-4
Let r = -4 + 6. Let d(p) = -2*p - 7. Let i be d(-6). Solve -3*w = -i + r for w.
1
Suppose 68*v = 65*v + 18. Solve -12 = 2*t - v*t for t.
3
Let w(p) = -2*p - 7. Let h = -9 + 4. Let b be w(h). Suppose 4*o = v + 20, 5*o - o = 3*v + 20. Solve v = -b*r - r for r.
0
Let f(k) = -k**3 - 9*k**2 - 9*k. Let d be f(-8). Solve d = -0*m - 4*m for m.
-2
Let u = 170 - 166. Solve -u*j + 1 = 5 for j.
-1
Let k(p) = -p**3 + p**2 + 2. Let t be k(0). Let g be t + 2 - (-6)/(-2). Solve n + g = -3 for n.
-4
Let r = 16 - 7. Suppose 3*m - r = -5*u + m, 2*m + 6 = 0. Suppose -4*l = 2*d - 10, -u = 2*d + 5*l - 14. Solve d*c - 3 + 6 = 0 for c.
-1
Suppose 2*t = 4*b - 20, -5*t - 2 = 2*b - 0. Solve 1 = z - b for z.
5
Suppose u - 2*w + 3 + 1 = 0, 0 = -5*u + 5*w. Solve u*o + 8 = 2*o for o.
-4
Let a(f) = 6 + 18*f**3 + f - 8*f**3 - 9*f**3. Let m be 6/(-9) + (-2)/(-3). Let u be a(m). Solve 1 - u = l for l.
-5
Suppose 4 = r - 0. Solve r*b + b = 0 for b.
0
Suppose -10 = x - 0*x - 5*o, -4*x + o + 36 = 0. Suppose 0 = -3*p - 21 - 3. Let w = x + p. Solve -w - 3 = l for l.
-5
Let g be 3 + -2 + (-4 - -5). Solve g*p + 0 = 4 for p.
2
Let s be (-4 - (-4 + 2))*-1. Suppose 0 = -0*k + s*k - 4. Solve b - 6 = -k*b for b.
2
Let h(v) be the first derivative of v**2 + 1. Let x(r) = r + 4. Let z be x(-3). Let i be h(z). Solve 5 = 3*w + i*w for w.
1
Suppose 24 = -3*z - r - 3, 2*z = 5*r - 1. Let s = -12 - z. Let y be 4/8 - 22/s. Solve y = 2*n - 4 for n.
5
Let n(p) = -10*p + 68. Let g be n(6). Solve 4*b + 28 = g for b.
-5
Let z = 0 - -6. Let h be (-16)/z*18/(-24). Solve h*s = -0*s + 8 for s.
4
Let o be 0 + (-1 - -26) + (-14)/(-7). Suppose 0 = t - 4*f - 6, -2*f + 2 = -3*t + 2*t. Let v = -6 - t. Solve v*h + o = 7 for h.
-5
Let n = 12 + 8. Let v = -15 + n. Solve -v*z - 9 = -2*z for z.
-3
Let k = 12 - 14. Let f be 2/k + 63/7. Solve 0*t = 2*t + f for t.
-4
Let g be 5/2*4/1. Let k(h) = -2*h - 3*h**2 + 6*h**2 + 0*h**2 - 1. Let p be k(2). Solve p*d - g = 2*d for d.
2
Suppose x = -2*x - 4*s - 46, 3*x + 41 = -5*s. Let q = -14 - x. Solve 0 = 3*h - q*h + 15 for h.
3
Suppose 0 = -t + 6 - 3. Suppose -20 = 4*m, 7 = -2*k - t*m - 8. Solve k = 3*g + 2*g + 20 for g.
-4
Let u(a) = -2*a**2 - 3*a - 3. Let i be u(-3). Let o = -3 - i. Suppose 2*h - 4*h - j + 11 = 0, 4*j - o = -h. Solve h = 3*d - 7 for d.
4
Suppose 2*h - 20 = -0. Let s = 12 - h. Solve 3 = j + s for j.
1
Let u be (-3 - -3)/(2 + -3). Solve u = 4*b - 3*b for b.
0
Let j(n) = n**2 - 1. Let y be j(1). Let l be -1 + 2 - 5 - -1. Let i be 30/(-3)*l/6. Solve 15 = i*g - y for g.
3
Suppose n + 27 = 6*n - s, -3*s = n + 1. Solve -7 = o - n for o.
-2
Let j be 4/(3*(-2)/(-12)). Suppose 0 = m - 5*h + 31, -2*m = 2*h + 1 + 1. Let x = m + j. Solve 4*f - 3*f + x = 0 for f.
-2
Suppose 2*d - 6 = -0*d. Suppose t = -d*l - 10, -5*t + 14 = -0*l - l. Solve p - t = -1 for p.
1
Let y(v) = -v + 5. Let o be (-2 - (-10)/4)*0. Let d be y(o). Solve -w = -d*w for w.
0
Suppose -t + 5*t - 12 = 0. Suppose 22 = 2*l - 2*g, 2*l + 3*g + 1 + 2 = 0. Suppose 6*x = x + 4*v + 12, -3*x - 2*v - l = 0. Solve 0*m + t*m = x for m.
0
Suppose -j = -4*c + 52, -6*j = -j. Suppose 0 = 2*d - c + 3. Solve -9 = -d*f + 11 for f.
4
Let y(t) = -4*t + 9. Let l be y(4). Let b be -12*(l/3 + 2). Solve b*q + 1 = -3 for q.
-1
Let c(b) = -b**3 - b**2 + b + 2. Let q be c(-2). Suppose -o = -q*o. Suppose -2*z + h - 1 = 0, h + 1 = 3*z - 0*h. Solve 0 = -2*f - z - o for f.
-1
Let x = -2 + 2. Let v(j) = j + 0 + x*j - 1. Let c be v(3). Solve c*y = -1 + 3 for y.
1
Let i be 3/6 - 235/(-10). Let d = i + -24. Solve d = 2*h - 1 + 3 for h.
-1
Let g(v) = -4*v + 0*v**2 + 3 + v + 7*v**2. Let r be g(-3). Suppose 4*n - r = -4*u - 3, 4*u = n - 3. Solve -3*m + n = -6*m for m.
-5
Let d be (-3*(-2)/12)/((-5)/30). Suppose -c + 4 = -2. Let m = d + c. Solve v + m*v - 8 = 0 for v.
2
Let l = 48 + -45. Solve l*i + 2 = i for i.
-1
Suppose 27 = 3*n - 5*u, 5*u + 23 = 2*n - 0*u. Solve n = -5*t + t for t.
-1
Let u(z) = -z**3 + 6*z**2 + 2*z - 9. Let n be 2 + (-3)/(9/(-12)). Let m be u(n). Suppose 2*a - 21 = m*x, x + 2 = -a - 0*x. Solve -3*q + 6 = -a for q.
3
Suppose l = 3*l - 8. Suppose -l*g = -0*g. Solve -p = -2 - g for p.
2
Suppose 3*o - 17 - 10 = 0. Let u be 3/(o/(-6)) - -4. Solve u*i + 1 = i for i.
-1
Let w be (-5)/(-10) + 6/4. Let g = 20 + -8. Solve -w*i = i + g for i.
-4
Let t(f) = f**3 + 5*f**2 + 4*f. Let u be (-1 + -5)*2/4. Let j be t(u). Solve 0 = 3*w + j + 6 for w.
-4
Let y = -3 - -12. Solve 7*d + y = 4*d for d.
-3
Let r = 89 + -86. Solve -6 = -0*g - r*g for g.
2
Suppose 4*r - 4*n + 4 = 0, -r + 0*n + 4 = 4*n. Let m = 3 + r. Let f be -4*m/(-12)*3. Solve 7*c = 4*c + f for c.
1
Let a(n) = -n**2 - 7*n - 8. Let g be 2*5*(-4)/8. Let f be a(g). Solve f*d + 5 - 13 = 0 for d.
4
Let u(h) be the first derivative of h**4/4 + h**3 + h**2 + 3*h - 1. Let w be u(-2). Suppose -2*k - l = 4*l - 19, -9 = -w*l. Solve v = -k*v for v.
0
Suppose -3*b + 4 + 8 = 0. Let w(o) = -o**3 + 15*o**2 - 14*o. Let m be w(14). Let s(p) = -p**3 - p + 6. Let u be s(m). Solve u = -h + b*h for h.
2
Let j(b) = b**3 + 4*b**2 + b - 4. Let a be j(-3). Suppose -u + 0*u = -a. Solve 0 = -u*r - 4 + 14 for r.
5
