lve h - c*h = m for h.
-1
Suppose -6*a + 3*a - 6*a = 0. Suppose 0*i = 4*i. Suppose -3*x + 0*x = i. Solve h + a*h = x for h.
0
Let k(h) = h**2 + 3*h - 5. Let m be k(-5). Suppose 3*f = -x + m*x - 21, -29 = -x - 4*f. Solve r - 4*r = x for r.
-3
Let t be (-1)/((-56)/296) - 4/14. Solve 0 = t*l - 0 + 15 for l.
-3
Let r(q) = -4*q**3 + 1. Suppose -i - 4 = -3. Let v be r(i). Solve 5*w + 0 = v for w.
1
Suppose -2*z - y - 1 = -z, -5*z = -2*y - 2. Suppose 3*v + 2 + 1 = z. Let t be (-3 + 2 - v)/1. Solve -b = -t*b for b.
0
Let g be 6/9*-4*(-33)/4. Solve -4*b = 14 - g for b.
2
Let t = -6 + 6. Let r be 0/(t + 1/1). Solve -s + r*s = 5 for s.
-5
Suppose 2*y + 15 = 5*y. Solve -y = 5*h - 4*h for h.
-5
Let k(b) = 5*b - 4. Let w be k(2). Solve 2 + w = -4*a for a.
-2
Let k = 13 + -9. Solve -p + k*p = 0 for p.
0
Suppose -13 = -5*o - 2*r + 2, -2*o = r - 5. Suppose 29 = 5*m + 2*w - 0*w, o*w = 2*m. Solve 3*g = -2*g - m for g.
-1
Let u(i) = 2*i + 26. Let g be u(-13). Solve -b + 3 - 1 = g for b.
2
Suppose 3*x - 3 = 6. Let f(s) = -s**3 - s**2. Let u be f(0). Solve t + x*t - 8 = u for t.
2
Suppose 3*k - 4*k = 0. Let x = 37 - 32. Solve x*q + 15 = -k for q.
-3
Suppose -2 = -j + 1. Solve 0 = j*t - 2*t + 3 for t.
-3
Let u(n) = -n**2 - 1. Let x(d) = d + 1. Let b(s) = -u(s) + x(s). Let k be b(4). Solve -3 = -5*g + k for g.
5
Let x be 0 - (-1 + 1) - 1. Let o = 3 - x. Let d(p) = 2*p - 3. Let q be d(o). Solve -4*j = -q - 3 for j.
2
Let c(a) = -a**3 + 3*a**2 + a + 3. Let p be c(3). Let k = 13 - p. Solve 2*s - k = -1 for s.
3
Let u be -2*((-36)/8)/(-9) + 7. Solve -u = r - 3*r for r.
3
Let v(r) = 8*r**2 - r. Let f(y) = -y**2 + 8*y - 1. Let s be f(8). Let l be v(s). Let k be (12/(-10))/((-4)/10). Solve -k*c + 0 = -l for c.
3
Suppose 17*d = 9*d + 32. Solve 2*x = -0*x + d for x.
2
Let n(m) = -m**3 - 10*m**2 + 11*m + 3. Let k be n(-11). Let u = 2 - 0. Solve -u*z = -k*z for z.
0
Let p = 4 + 0. Suppose 1 = -d + p. Solve -2*s = -s + d for s.
-3
Let p(t) = t**2 + 12*t - 1. Let m be p(-13). Solve -m = 4*j - 0*j for j.
-3
Let z(y) = y**3 - 14*y**2 - 14*y - 16. Let n be z(15). Let k be (-8)/(-32)*(-12)/n. Solve k*f = 9 - 3 for f.
2
Let c(z) = 5*z + z**2 + 1 - 3 - 5*z. Let r be c(2). Solve 3*j - 5 = -r for j.
1
Let c(i) = -9*i - 24. Let o be c(-3). Solve 10 = o*f + 4 for f.
2
Suppose 0*j - 2*j + 14 = 0. Let d = j - 6. Solve d - 2 = n for n.
-1
Suppose 0 = -2*v + 3*v. Let a be v/((6/(-3))/2). Solve 3*z + 0*z = a for z.
0
Let r(o) = 3*o**2 + 3*o. Let l be r(-2). Solve 4 = l*d - 2*d for d.
1
Suppose -9 = 2*i - 1. Let t be (-2)/(-3)*(-24)/i. Solve -t*h - 10 = 10 for h.
-5
Suppose f + f = -12. Let r = f + 11. Solve -r = -0*h - h for h.
5
Let h = -91 - -92. Solve -g + 6 = h for g.
5
Let f = -3 + 7. Let y be (-80)/6 + 6/(-9). Let l be y/(2*(-2)/4). Solve l = f*w + 2 for w.
3
Let t(c) = c**3 - 6*c**2 + 3. Let r be t(6). Suppose -r*w + 3 = -12. Suppose v + 0*v = 2*b - 5, 32 = 4*v + w*b. Solve -v*p + 2*p = -3 for p.
3
Let p(i) = -8*i**3 + i**2 + 2*i + 1. Let k be p(-1). Let u be (k/(-4) - -2)/(-3). Solve -o + 5*o = u for o.
0
Let i be (-1)/(6/(-27))*2. Suppose -y + i = -1. Solve -3*v - 2*v + y = 0 for v.
2
Let a be (-1 + -14)*1/(-3). Suppose -u = -a*u. Solve z + u - 4 = 0 for z.
4
Suppose -47 - 48 = -5*p. Solve -p = -5*z + 1 for z.
4
Let h be -3*1 - (1 + -5). Let d be 6 - h*(3 + -4). Suppose 30 = -2*r + 5*r. Solve r = d*s - 2*s for s.
2
Let d(p) = p**2 - 7*p. Let y be d(7). Suppose y*r = 3*r. Solve -3*s + r*s - 6 = 0 for s.
-2
Let x = 10 + -6. Solve -o + 3*o = x for o.
2
Let g(s) = s**3 - 5*s**2 - 6*s - 1. Let b be g(6). Let d be (-2)/6 - b/3. Solve i + i = d for i.
0
Let n(o) = -2*o**3 - 2*o**2 + 3*o + 2. Suppose 3*z = 2 - 8. Let f be n(z). Solve -2*k + f*k - 4 = 0 for k.
2
Let c be 1 - (1 - (0 + 2)). Let u(o) = o**2 - o + 1. Let k be u(0). Suppose -5*n + 7 = a, 5 + k = 2*a + c*n. Solve -4*r = -a*r for r.
0
Let o be 0/((18/3)/3). Suppose -2*m + 0*m + 8 = o. Solve 0 = -f - m + 5 for f.
1
Let o(k) = 40*k**3 + k**2 - k. Let n be o(1). Let i be 3/(-2)*n/(-12). Suppose i*v - 15 = 5. Solve -6*j + 4 = -v*j for j.
2
Suppose 5*x - 3*i + 28 = -16, -i - 22 = 2*x. Let f(k) = -k**2 - 9*k + 13. Let v be f(x). Solve b = -v*b for b.
0
Let m = -15 - -27. Let y be m/(-15)*(-30)/(-4). Let t be y/(-4) - (-1)/2. Solve -i - t*i = 0 for i.
0
Let s(n) = n**2 + 3*n - 2. Let g(y) = -y**2 + 6*y + 3. Let h be g(7). Let j be s(h). Suppose -a = -j - 0. Solve -16 = a*z + 2*z for z.
-4
Suppose 18*m - 18 = 15*m. Solve 3 = -y + m for y.
3
Let o be -1 - 1136/(-3 + 1). Let v be 3/(-5) - o/(-45). Solve 4*d = d - v for d.
-4
Let x(j) = 2*j**3 - 2*j**2 - 5*j - 7. Let t be x(3). Solve -5*d - t - 6 = 0 for d.
-4
Let w(g) = -g - 8. Let j = -15 + 6. Let m be w(j). Solve -11 = -4*v + m for v.
3
Let d be (-75)/(-12) + (-2)/8. Suppose -6 = -3*y + 3. Solve o - d = -y for o.
3
Let i = 11 + -6. Let d be 2/4*1*14. Suppose -32 + d = -i*u. Solve -u*z = -2*z for z.
0
Suppose -20 = 5*q - 5*a, -q = -3*a - a + 13. Let u be (-120)/(-18) + q/(-3). Solve -4*c = -u*c + 6 for c.
2
Let z(y) = -y - 2. Let f be z(-2). Let o(i) = i**3 - i**2 + 5. Let c be o(f). Let j be 8/1 - 10/c. Solve -2*h = -0 + j for h.
-3
Let i be 0 + -2 + 2 + 19. Solve 3 = 4*f + i for f.
-4
Let g(n) = -2*n + 2. Let t be g(-2). Solve -b = -t*b for b.
0
Let n = 1 + 2. Let u be n*(12/9 - 0). Solve -u*k + 5 = k for k.
1
Let y be 10/4 - (-3)/(-6). Solve -y*b = 3*b + 25 for b.
-5
Let q be (-6)/(-1 + 3)*1. Let b be 4 - 5 - (-1 + q). Suppose 2*y - 3 = b. Solve -y*d = -0*d - 6 for d.
2
Let r be 1 + 0/(-1) - -8. Let t = r - 8. Solve -t + 5 = 4*s for s.
1
Let d(n) = n - 7. Let g(w) = 6*w - 34. Let l(i) = -11*d(i) + 2*g(i). Let v be l(-7). Let h(r) = -r**2 - 6*r + 8. Let t be h(-7). Solve -7 - t = -v*p for p.
4
Let j be 4 + (-2)/(-5) + (-9)/(-15). Solve 3 = -2*i + j*i for i.
1
Suppose -p + 5*p = 20. Solve 0*g = -p*g + 20 for g.
4
Let h = -20 - -20. Solve 5*p + h*p = 10 for p.
2
Suppose -9 = -5*s + 11. Suppose -8*c + 7*c + s = 0. Solve 3*g - c*g - 1 = 0 for g.
-1
Let y = 6 - 2. Solve 0 = y*l - 2*l + 8 for l.
-4
Suppose 3*c = -2*w - 3*w - 25, 5*c - 25 = 5*w. Solve c = -0*s + s for s.
0
Suppose 4*f + 2*i - 44 = -3*i, -3*f - i = -22. Solve 0 = 5*o - 19 - f for o.
5
Let m = 35 - 25. Suppose 4*y + 21 = 3*i + 2*i, 0 = -5*y + 3*i - m. Solve 3*q - 10 + y = 0 for q.
3
Let l be -2*((-3)/(-6))/1. Let d be (4 + l)*(-16)/(-12). Let a be -15*(4/(-3))/d. Solve 10*v + a = 5*v for v.
-1
Let c be (-4)/(-20) + (-18)/(-10). Suppose -3*f + 80 = c*f. Solve -5*n = -n + f for n.
-4
Suppose 2*n - 42 = 4*b, 2*b = -4*n + 4*b + 78. Suppose -4*s + c + 7 = -4, -n = -5*s + 3*c. Suppose 0 = 5*r - r. Solve r = -2*v + s for v.
1
Suppose 6*o = 2*o + 12. Solve -o*i + 0*i + 3 = 0 for i.
1
Let u = -4 + 6. Suppose i + 13 = 2*l, 7*l + 3*i - 49 = u*l. Solve 0 = 4*w - 0*w - l for w.
2
Suppose -40 = 4*p + 3*t + t, 0 = -4*p + 2*t - 10. Let v be 20/(-2)*p/2. Suppose v = 5*i + 3*w, -3*i + w + 15 = -w. Solve -i*b + b = 0 for b.
0
Suppose -3*v + 2*v + 5 = 0. Let c(b) = -b + 5. Let n be c(v). Suppose 0 = -4*o - n*i - 2*i + 32, -2*i = o - 14. Solve 4 = 2*l - o for l.
5
Suppose -2*g - i - 8 = -6*g, -4*g - 8 = -5*i. Solve 2*t - g = -11 for t.
-4
Let q = 22 - 13. Let d be 8 - q/3 - 0. Solve 4*c + d = 1 for c.
-1
Suppose -8*i + 38 = -2. Solve 12 + 3 = i*z for z.
3
Let o be 8/(-12)*(-1 + -26). Let j = o - 8. Suppose 2 = 2*k - j. Solve 0 = 2*i + i - k for i.
2
Let f = 47 - 41. Solve v + v = f for v.
3
Let z be (0 - 6)/((-2)/1). Solve 0 = 2*u + z*u - 25 for u.
5
Suppose s - 12 = -z - 3*s, 2*z = 2*s + 44. Let d(l) = 2*l**2 - 5*l + 2. Let c be d(3). Suppose -o + 4*g - 1 = 12, c*g = z. Solve 1 + o = -i for i.
-4
Suppose 5*q - 40 = -0*q. Solve f + q = -f for f.
-4
Let t be 364/63 - (-4)/18. Let r be (-2 - t/(-4))*-6. Solve 0*u + 9 = -r*u for u.
-3
Let a(k) = k**2 - k + 2. Let n be a(5). Let z = n - 12. Suppose 6*j - j = 0. Solve 2*y + z = -j for y.
-5
Suppose 5*m = 100 - 5. Let b = m + 20. Let v = b + -19. Solve y = -3*y + v for y.
5
Let t be -5 - -19 - (-2 - -6). Suppose -3*u = -2*u - 5. Solve u = -5*n - t for n.
-3
Let y = -13 - -8. Let n(z) = -z**2 - 7*z - 8. Let u be n(y). Solve -u*b - 6 = -5*b for b.
2
Suppose 0 = 3*g + 4*p + 11, -2*g - 5*p - 7 = 12. Solve 0 = g*s - 0 + 3 for s.
-1
Let m = 3 + -1. Let b be 14/10 + m/(-5). Let w = 2 + -2. Solve w = -2*r + 3*r 