 = h for h.
0
Let m = -10 - -14. Suppose 0 = o - 10 + 5. Solve -m*s - o = s for s.
-1
Let v be (-3)/15 - (-16)/5. Suppose v*s - 6 = 2*q - 0*q, 3*q - 4 = -2*s. Suppose 4*j + z + 1 = 8*j, s*z + 2 = 0. Solve j*g - 3*g = 0 for g.
0
Suppose -2*d = -4 - 0. Suppose 3*i - d*i = 2. Solve i*c + 15 = -3*c for c.
-3
Let v(j) = j**3 + 11*j**2 + 9*j - 12. Let w be v(-10). Let q be -14 - (4 + w + 0). Let m = q + 25. Solve -4*f - 11 - m = 0 for f.
-5
Let h = 4 - 5. Suppose 0 = 4*a - a - 6. Let t be (h/a)/(-1)*10. Solve 0 = -p + t - 0 for p.
5
Let q = 5 - -2. Let y be 0 - (1 - -5 - 8). Solve -5*j - y = -q for j.
1
Suppose i + 1 = 3*j, 2*j - 8 = -3*i - 0*j. Suppose 5*b - 5 = 25. Suppose b = -i*q + 4*q. Solve -u = q*u for u.
0
Suppose 0 = -2*w - 2*w + 48. Solve p - 5*p = w for p.
-3
Suppose 4*j - 5*t - 37 = 0, 2*t + 0*t + 10 = 0. Suppose 4 = -k + j*k. Solve -2*n = k - 4 for n.
1
Let n be (4 + -2)/((-2)/(-9)). Let m(s) = 3*s**2 - s**3 - n*s**2 + 8*s - 7 - 2*s. Let a be m(-7). Solve -c - 8 + 3 = a for c.
-5
Suppose -3 - 5 = -4*k. Suppose 17 = k*q - 5. Let y = -7 + q. Solve 3*p = y*p for p.
0
Let x be (-70)/(-4)*(-4)/(-5). Let l = x - 2. Solve -2*b = 2*b - l for b.
3
Suppose -7*z + 48 = 6. Solve -2*n + z = -4*n for n.
-3
Let x be 18/(-15)*50/(-6). Solve 4*z + z = -x for z.
-2
Let d(h) = -h**3 + 4*h**2 + 4. Let a be d(4). Suppose -p + a = -2*r + 3*p, -2*r + p = -8. Solve 14 = -5*l - r for l.
-4
Let l = 101 + -101. Solve 5 + l = -5*t for t.
-1
Let a(w) = 2*w + 23. Let f be a(-10). Solve -5*c + 12 + f = 0 for c.
3
Let i(o) = 2*o - 12. Let d be i(6). Solve 3*f = -d + 15 for f.
5
Let i be ((-1)/2*0)/1. Solve i - 2 = -2*g for g.
1
Suppose 4*j + 4 = 5*j. Solve 3*w = j*w + 2 for w.
-2
Suppose 11*m - 9*m - 8 = 0. Let k be m/3 - 6/(-9). Solve 5*n - 3*n = -k for n.
-1
Let c be 1/5 - (-27)/15. Solve -g = -c*g - 3 for g.
-3
Let s be 8*(6/(-4) + 2). Solve 5*c - 1 - s = 0 for c.
1
Let y = 8 - 8. Solve z = -y*z + 5 for z.
5
Let o(v) = v**3 + 6*v**2 + 6*v + 1. Let s be o(-4). Let d = -4 + s. Solve 0*g + d = -g for g.
-5
Suppose 0 = 2*h - 2*a - 14, -4*h - h = 2*a - 7. Solve -h*m - 12 = -6*m for m.
4
Let v = -32 - -33. Let i = -3 - -3. Solve i = d + 2 + v for d.
-3
Suppose b = -b + 6. Suppose -t = 2*t. Suppose t = 5*c + y - 2*y - 31, -5*y + 55 = 5*c. Solve -4*z = c - b for z.
-1
Let r(p) = -9*p - 42. Let s be r(-5). Solve -z = -s*z + 2 for z.
1
Suppose 3*m = 5*y + 2*m - 37, 14 = y + 2*m. Solve y*s - 3*s = 25 for s.
5
Let h(l) = -3*l**3 + 0*l**3 - 5 + 0*l**3 - 5*l**2 + 4*l**3 - 3*l. Let k be h(6). Solve 5*f - k + 3 = 0 for f.
2
Let s = 0 + 1. Let x(g) = g**3 - 2*g**2 + 1. Let h be x(s). Solve 7*j - 3*j = h for j.
0
Let k be (-1 - 1)/(1 - 2). Let o(m) = -m + 29. Let w be o(14). Solve w = -u - k*u for u.
-5
Let c be (-1)/(-2)*0/(-5). Solve -4*k + 0 - 4 = c for k.
-1
Let c be (24*(-3 - -1))/(-1). Suppose -s + 21 = 4*d, -4*d + c = -3*s + 7*s. Solve s = 4*r + 25 for r.
-4
Let r(h) = -h**2 - 2*h - 16. Let p be r(0). Let s be (-4)/p + 1/(-4). Solve -3*a + 6*a - 3 = s for a.
1
Let m = 11 + -4. Let h = m - 15. Let a = -3 - h. Solve -4*z + a = 25 for z.
-5
Suppose 3*j - 6 + 0 = 0. Let n(f) be the first derivative of -f**3/3 + 3*f**2 + 6. Let s be n(6). Solve -y - 1 + j = s for y.
1
Let y = -6 + 4. Let x be y + 1 + 7 + 3. Let m = -8 + x. Solve -4*f - 15 = m for f.
-4
Let h = -8 - -11. Let z be ((-4)/(-1))/(8/14). Solve -2*g + h = -z for g.
5
Suppose -5*k = 5*r - 80, 0 = 3*k + k - 3*r - 36. Solve o + k = 4*o for o.
4
Let w(h) = h**2 - h. Let s be w(0). Suppose f = s, 8 = 5*d - d - f. Solve -d*i = -i + 2 for i.
-2
Suppose c - 4*c = w + 3, 25 = 5*w - 5*c. Suppose 4*p - 1 = -q, 5*p + 0*q - 11 = 2*q. Solve w*m + p = -2 for m.
-1
Let a = 9 + -4. Let s(r) be the first derivative of r**4/4 - 2*r**3 + 2*r**2 + 5*r - 3. Let f be s(a). Solve f = 2*g - 0 - 10 for g.
5
Suppose 10*q - 13 = -3*q. Solve 0 = h + q - 6 for h.
5
Suppose 0 = q + 4*j + 12, -q + 36 = 3*q - 5*j. Let w = 13 + -17. Let k be 11 + 3/(w/4). Solve -q*y - k = -0*y for y.
-2
Suppose 0 = 8*t - 14 - 2. Solve 0 = t*s - 0*s for s.
0
Let i be (1 - (-1 - -1))*2. Solve 0 = -i*t - 6 for t.
-3
Let u(s) = -s**2 + 0 + 0 - 1 + 5*s. Let r be u(3). Solve -r*v - 8 = -3 for v.
-1
Let h be (-10)/(-10)*3/(-6)*0. Solve q - 6*q - 20 = h for q.
-4
Let s(m) = 4*m - 48. Let t be s(13). Solve 4*r - 3*r = -t for r.
-4
Suppose -4*w + 7*w = 6. Suppose -w*v = 2*v. Let i = 4 + v. Solve 2 = l + i for l.
-2
Let a be (0 - -8)*3/8. Solve y + 1 = -a for y.
-4
Let m = -48 - -23. Let s = -11 - m. Solve 3*o = -5 + s for o.
3
Let f = 200 + -199. Solve 5*i + f = -4 for i.
-1
Let r be (0/(-3))/(1 + -3). Suppose r*a = -2*a + 4. Let p be 0 - (1 + (-4)/4). Solve x + a*x = p for x.
0
Suppose 0 = -2*r + 5*z + 17, 3*r + 3*z + 5 = 20. Suppose 4*i = 5*i - 3*c - 16, r = 3*c. Let t = -16 + i. Solve t = -3*d - 0 for d.
-2
Suppose -r + 4*x = 2*r + 8, -8 = -4*x. Solve r = 2*l - 0*l + 4 for l.
-2
Let b be 45/25*(-30)/(-9). Solve o = -o - b for o.
-3
Suppose 3*g = 12 + 15. Suppose u = 3*v - 0*u - 1, -2*u = 5*v - g. Solve 4*c - v + 9 = 0 for c.
-2
Let r = 29 - 28. Let f be (-20)/(-6) + (-2)/(-3). Solve 3 = -f*m - r for m.
-1
Suppose 5*w = -4 - 1, 5*c - w = 21. Suppose 2 + 6 = 2*y. Solve c*m - y = -0*m for m.
1
Let r(f) = f - 2. Let z be r(2). Solve z = -5*o + 16 - 1 for o.
3
Let i be ((-6)/12)/(2/(-8)). Suppose 5*d = 4*p - 3*p, 3*d = 5*p. Solve 5*o + 13 + i = d for o.
-3
Let x = -17 + 23. Solve -5*m = -3*m - x for m.
3
Suppose 0 = c - 5*c + 12. Suppose 0*j - 3*j = c. Let s be (-3 - j)/((-2)/5). Solve -s = -2*k + k for k.
5
Let g(z) = z**2 - z + 2. Let b = 1 - 1. Let x be g(b). Suppose 0 = -5*o + 22 - x. Solve 5*y - y + o = 0 for y.
-1
Let g(d) = -d**2 + 11*d + 3. Let c be g(11). Solve -19 = -c*q - 4 for q.
5
Let w(s) = s**3 - 8*s**2 + s - 8. Let u be w(8). Solve -5*g + u = -10 for g.
2
Let f(h) = -h**3 + 8*h**2 + 2*h - 8. Let l be f(8). Suppose 2*m - l = -0*m. Solve m = 3*u - 2*u for u.
4
Suppose -3*t - 2 - 1 = -h, 5*h + 17 = -t. Let s be (-2)/h - (-30)/9. Suppose 5*b = u + 5 + 7, s*b - 48 = -4*u. Solve u = n + 4 for n.
4
Suppose 7*u - 5*d = 12*u, -d + 3 = 2*u. Solve 7*s = u*s for s.
0
Let b(m) = -m - 4. Let c(n) be the third derivative of n**6/120 - n**5/10 + 5*n**4/24 + 2*n**3/3 + n**2. Let h be c(4). Let y be b(h). Solve -4*f - 4 = y for f.
-2
Let v = -107 - -115. Solve 4*o - 4 = v for o.
3
Let s be ((-3)/(-4)*2)/(6/16). Solve s*k = -0*k for k.
0
Let a = -37 - -45. Solve -5*i + a = -17 for i.
5
Let o be (-400)/(-18) + 10/(-45). Let b = o - 17. Solve -3*v - b = 4 for v.
-3
Suppose -2*b - 6 = b. Let l be b*((-3 - -3) + -1). Suppose l*w - 3 = 1. Solve -u + w = 5 for u.
-3
Suppose 12*p + 15 = 9*p, 0 = 3*t + 5*p + 4. Suppose -18 = -4*s - 6. Solve -s*g = -t*g + 12 for g.
3
Let g(o) be the third derivative of -o**6/120 + 3*o**5/20 + o**4/24 - 5*o**3/6 - 3*o**2. Let w be g(9). Solve -3*d - d = w for d.
-1
Let s = -26 + 55. Suppose -4*y = 5*i - 6, 0 = 5*y + i + 4*i - 10. Suppose y - s = -5*o. Solve -12 - 8 = -o*d for d.
4
Let a = -24 + 49. Suppose 4*v + 6*t - 35 = 3*t, -5*t + a = 0. Suppose 8*d = 3*d + v*h + 10, 31 = 5*d + 2*h. Solve 4*u = -d - 3 for u.
-2
Let w(z) = -z**2 + 9*z - 10. Let v be w(8). Let x be 14/3 - v/(-3). Let k be (-4 + 7)*2/3. Solve 2*q - k - x = 0 for q.
3
Suppose i + 2*s = -0*s + 17, 3*i - 2*s = 19. Solve 0*z + 3*z = i for z.
3
Suppose 7*l = 4*l + 30. Solve -z + l = 4*z for z.
2
Let d(g) = g**3 - 4*g**2 - 5*g. Let q be d(5). Solve -r = -q*r for r.
0
Suppose -4*s - 45 = -65. Solve 2 = s*f + 22 for f.
-4
Let w(q) = -3*q - 12. Let a be w(-5). Solve a*p - 17 = -2 for p.
5
Suppose 0*r - 5 = p - r, 25 = 4*p + 5*r. Solve p = 3*s - s for s.
0
Suppose -6 = -6*p + 4*p. Suppose 3*y - p*h = y + 7, -y - 2*h = -7. Solve 2 = -3*j + y*j for j.
1
Let j be 0/(-2) - (-3 + 1). Let h = -2 + j. Suppose h*f = -f + 4. Solve f*t - 3*t = 5 for t.
5
Let y be 40/(-4) - (-3 - -2). Let m = 12 + y. Solve -m*g - 2 - 1 = 0 for g.
-1
Suppose 6 + 4 = 2*y. Let c be ((-72)/(-54))/((-1)/(-3)). Solve -c*l = l + y for l.
-1
Suppose -3*f + 1 - 22 = 0. Let d be 1/(-2) + f/(-2). Suppose -7 = -4*x + d*z + 11, -2*x + 12 = -3*z. Solve 0 = 2*w + x*w for w.
0
Suppose 3 = -0*g + g. Suppose -q = -2*q + g. Solve 4 = -i - q*i for i.
-1
Let l(i) = -i**3 + 7*i**2 + 8*i + 4. Let m be l(8). Solve 0 = x + m for x.
-4
Suppose -3*q - 5