= -0*q for q.
-1
Suppose 4*l + 21 = 7*l. Let m = 9 - l. Solve -m*h = -7*h + 20 for h.
4
Suppose 5*f - 17 = 8. Let z(c) = c**2 + 3*c - 20. Let n be z(-7). Solve f*w - n = -3 for w.
1
Suppose -4*j + 19 + 13 = 0. Let t = j + -5. Solve p + t*p = -16 for p.
-4
Suppose -2 = -2*o - 5*i - 1, 80 = -5*o + 4*i. Let a be (-8)/o + 6/(-9). Solve a = 3*v + v for v.
0
Suppose 12*v - 5*v = 0. Solve v = -3*s - 3 - 3 for s.
-2
Suppose 4*i - 3 - 17 = 0. Solve i*c + 13 = 18 for c.
1
Let o = -14 - -8. Let y be o/(-27) - (-4)/(-18). Suppose -j + y*j + 4 = v, -3*j - 36 = -5*v. Solve -3*x + v + 3 = 0 for x.
3
Let s(k) = k**2 + k**3 + k**2 - 4*k - 5*k**2. Let m be s(4). Suppose -2*p + 1 + 1 = m. Solve 0 = -3*a + 2*a - p for a.
-1
Suppose 34*p = 24*p + 40. Solve 0 = -p*k - 0*k for k.
0
Suppose 4 - 3 = p. Let q = -1 + 16. Let k be (5/q)/((-2)/(-12)). Solve p + 9 = -k*n for n.
-5
Let z(q) be the third derivative of -q**4/24 - q**3/2 + 4*q**2. Let s be z(-4). Suppose 5*r - 4*u = 32, -3*r + 0*u - u + 9 = 0. Solve -5 = -r*k - s for k.
1
Let p(j) = -j - 6. Let y be p(-6). Suppose 2*v + t - 3*t - 2 = y, -3*t - 7 = -4*v. Let r = -2 + v. Solve 0*z = -r*z for z.
0
Let y(x) = -5*x**2 - x - 6. Let m(h) = -h**2 - h - 1. Let o(n) = 4*m(n) - y(n). Let f be o(2). Solve 0 = -f*k - k - 2 for k.
-2
Suppose -3*l - 3*o = -18, 2*o + o - 24 = -5*l. Let k be ((-1)/2)/(l/(-12)). Solve -k*w = -w for w.
0
Let b(k) = k**3 - 12*k**2 + 11*k - 6. Let a be b(11). Let t(q) = -q - 6. Let u be t(a). Solve -h + 0*h + 1 = u for h.
1
Let o(u) = 4*u + 8. Let i(y) = 17*y + 32. Let k(f) = 2*i(f) - 9*o(f). Let x be k(-4). Solve 3*p - 2*p + 2 = x for p.
-2
Suppose 2*q + 5*u - 6 = -q, -5*u = 4*q - 8. Suppose 5 = q*g + 1. Solve 4*n = g*n for n.
0
Let b(l) = l + 4. Let h be b(-4). Let q = 27 + -11. Suppose -z = -3*z + q. Solve j - 5*j + z = h for j.
2
Suppose 0 = -2*v - 5*d + 15, 0 = -3*d - 0 + 3. Suppose -n - v = -6. Solve -8 - n = 3*h for h.
-3
Let s = 22 - 20. Solve -2*x = s*x for x.
0
Let u(n) = -2*n + 3. Let q be u(3). Let s be (-6)/(-9)*1*q. Let x be 0*(-3 + (-4)/s). Solve 0 = -2*j - x*j for j.
0
Let u(h) = -1 + 2*h + 6 + 5. Let l be u(-7). Let c(v) = v**2 + 4*v. Let p be c(l). Solve p*i - i = 0 for i.
0
Let c = -12 + 37. Suppose 4*h = k - 0*k + 20, c = 5*h - k. Solve -20 = -5*j - h for j.
3
Let m be (2/3)/((-2)/18). Let l = 7 + m. Solve -4*v + l = -3 for v.
1
Let s be (-3 - (1 + (-4 - -3)))*-2. Solve s - 15 = 3*u for u.
-3
Suppose j + 5*j - 24 = 0. Solve 2 = 2*p + j for p.
-1
Let i(t) = -t**2 + 10*t - 4. Let k be i(10). Let q(v) = -v**3 - 5*v**2 - 3*v + 4. Let h be q(k). Solve 0 = -h*c - c - 2 for c.
-2
Let j(z) = -z**2 + 6*z + 1. Let p be j(7). Let l = -4 - p. Solve -7 = -5*r - l for r.
1
Let q = -3 + 6. Suppose 0 = -3*l + 5*i + 16, -2 = -2*l + q*l + 2*i. Solve -g = -l*g + 1 for g.
1
Let x(t) = -t**3 + 3*t**2 + 9*t + 7. Let n be x(5). Let a(c) = -c**2 - 6*c + 2. Let o be a(-5). Solve o*h = n*h - 5 for h.
-1
Let r be 0/(3/(-6)*4). Solve 5*x - 20 + 5 = r for x.
3
Let r be 3/1*(-3)/(-9). Let y be r/((-12)/8 + 2). Solve c = -y - 2 for c.
-4
Suppose 0*k - 3*k - 47 = -5*l, -k - 32 = -4*l. Let u = 13 - l. Solve u = -p + 2 for p.
-4
Suppose -2*t + 3*t = 0. Suppose 5 = 5*k - 10. Let i be (0*(2 - k))/(-2). Solve -5*o + i*o + 25 = t for o.
5
Let y(r) = 0*r + 0*r - r - 6 + 0. Let h be y(-12). Solve 0 = 3*i - h - 3 for i.
3
Suppose l - 2*l = 5*o + 23, 0 = 2*o + 10. Solve l = t - 1 for t.
3
Let c(m) = -m**2 + 6*m + 10. Let q = 39 + -16. Suppose 4*f - q = 5. Let a be c(f). Solve -a*k - 14 = -2 for k.
-4
Let m = 68 + -63. Solve -6*s = -s + m for s.
-1
Let c(b) = -b**3 + b - 12. Let f be c(0). Let t = f + 22. Let d = t - 5. Solve -5*y - d = 10 for y.
-3
Let d(h) = -h**3 + 4*h**2 + h - 1. Let k be d(2). Solve 2*j = -j + k for j.
3
Let g be (-3)/18 + (-2)/(-12). Solve 2*c + 0*c = g for c.
0
Suppose 5*h - 28 = -8. Suppose h*x + 2*z = 7*z + 16, z - 20 = -5*x. Solve 0 = q + x*q + 10 for q.
-2
Suppose 2 = n - 3*n. Let l be n*1/(3/(-6)). Solve o + l = -o for o.
-1
Suppose 0 = -4*b + 113 - 109. Solve b = 3*y + 7 for y.
-2
Suppose 0 = -5*g - 20, -26 = f - 4*f + 2*g. Suppose -2*o + f*o = 40. Solve 0*u + o = 5*u for u.
2
Suppose 0 = 5*l + 3*v + 2, 4*l - 9 - 11 = 3*v. Solve l*y - 8 = 2 for y.
5
Let p(s) = 6*s**2 - 11*s. Let z(m) = -5*m**2 + 10*m - 1. Let x(t) = 6*p(t) + 7*z(t). Let n be x(-8). Solve -3*l + n = 2*l for l.
5
Let f(b) = -1. Let j(h) = h**2 - 6*h + 6. Let t(i) = f(i) + j(i). Let s be t(5). Solve s = 2*v + 6 - 0 for v.
-3
Suppose -6*s = -2*s. Let a = s - 0. Suppose y + 0 - 4 = a. Solve y*l = -6 + 2 for l.
-1
Let d(y) = y**2 + 5*y + 3. Let k be d(-5). Suppose -t = -k*t. Solve t = 3*l - 2 - 1 for l.
1
Suppose -l - 6 = -2*l. Solve -3*n + 15 = -l*n for n.
-5
Let m(d) = -d + 6. Let w be m(11). Let y = w + 7. Solve -2*a + 0*a = y for a.
-1
Let g be 1 - 1/1*-2. Solve 7 = -g*b + 1 for b.
-2
Suppose -4*h + 3*g = 7*g - 4, -5*h - 4*g + 5 = 0. Suppose -3*x = y - 0*y - h, 0 = 4*x. Solve -i = 3 + y for i.
-4
Let w = -76 + 50. Let c = -11 - w. Solve 2*a - c = 5*a for a.
-5
Suppose 0 = 2*h - 8 - 12. Solve 3*c - h = c for c.
5
Let q = 83 - 75. Solve 11*f = 9*f - q for f.
-4
Let q = -1 + 1. Suppose 2*l = l + 3*y - 12, -5*l + 3*y = q. Solve 5 = l*t + 2*t for t.
1
Suppose -3*w - 2*m = -5, -5*w = 3*m - m - 11. Suppose w*j = -j. Solve -3 = -j*z - z for z.
3
Let j(m) = -m**2 - 8*m - 4. Let y be j(-2). Solve -y = d - 3 for d.
-5
Let d = -26 + 26. Solve 0 = -d*o + 3*o - 3 for o.
1
Let p(g) = g**3 - 5*g**2 + 3*g. Let x be p(3). Let o be (-43)/x - 6/(-27). Solve -2*b - 3 = -o for b.
1
Let s = -19 + 21. Let b(p) = p**3 - 4*p**2 - p + 4. Let q be b(4). Suppose -21 = -4*k + 3. Solve q = -s*z - z + k for z.
2
Let y be ((-10)/(-4))/(1/2). Suppose 26 = 5*g + s + 3*s, y*g - s - 6 = 0. Solve g*u = -0*u for u.
0
Suppose 5*n = -4*l + 147, -l + n - 5 = -44. Suppose 17 = 5*j - l. Solve j*i - 6*i + 25 = 0 for i.
-5
Let i(w) = -3*w**3 + 2*w**2 - 1. Suppose g + 2 = -g. Let m be i(g). Suppose z - 6 = -0*z - 2*k, -m*k = -8. Solve -12 = z*y + y for y.
-4
Let j(k) = -k**3 - k**2 + k. Let c be j(-2). Let d be (4/6)/(8/36). Suppose 5*u - 28 = -c*m, d*u - 4 = 4*m - 2*m. Solve f + m = 3*f for f.
2
Suppose 5*u = -3*i + u + 3, -3*u + 18 = -3*i. Let p be -4 - -1 - 0/(-3). Let j = p - i. Solve -4*h - h = j for h.
0
Let g(n) = n**3 + 5*n**2 - 2. Let l(d) = -2*d + 12. Let c be l(8). Let s be g(c). Solve 5*m = -6 - s for m.
-4
Let k = 4 + -2. Suppose 0 = -k*x - 5 + 19. Suppose -x + 1 = -2*r. Solve r*i + i = 8 for i.
2
Let u(h) = h**2 - 5*h - 4. Let f be u(5). Let i = f + 7. Solve 6 = i*p - p for p.
3
Suppose -4*p - p - 77 = -3*w, 4*p = -4*w + 60. Let x = w + -16. Solve -6*i - 12 = -x*i for i.
-4
Suppose 3*v = -2*o - 6, -2*o + 5*v = 2*o - 32. Let a be (0/2)/((-6)/o). Solve a = -6*q + 3*q - 3 for q.
-1
Let g = -19 - -26. Solve 1 = 2*c - g for c.
4
Suppose a + 4*k = -2*a + 41, -4*k - 3 = -a. Let i(r) = r**2 - 11*r. Let z be i(a). Solve z = 2*g - 0*g - 6 for g.
3
Let z(j) = 2*j - 4. Let s be z(5). Let y be -2*(-1 + 1 + -1). Suppose -s = -y*i - 5*o, -4*i = -5*o - 17 + 5. Solve i*n + 6 = n for n.
-3
Let m(a) = -a**2 + 6*a + 9. Let z be m(7). Let j be -1 + ((-6)/(-3))/z. Solve -3 = -j*b + b for b.
-3
Let i = 35 - 28. Solve 0 = 2*r - 1 - i for r.
4
Let x be ((-6)/4)/(6/(-12)). Let u = 43 + -41. Solve -u*d = x*d + 25 for d.
-5
Let m be 4 + (15/(-15))/(1 - 0). Solve 11*w - 8*w + m = 0 for w.
-1
Suppose t = 5*c - 8, -4*t + 4 = -c - 2. Suppose 0 = -5*k + 57 - 17. Let p be k/(-2)*(-24)/16. Solve -2 = -c*o + p for o.
4
Let p = -3 + 5. Suppose -p - 1 = -m. Suppose 2*f + 0*f = -j + 5, f = -j + 3. Solve m + 1 = -f*u for u.
-2
Let n(q) = -q**2 - 10*q - 10. Let f be n(-9). Suppose 3*d = -4*r + 24, 5*d + 0*d - 24 = -4*r. Let u be (r - f)*(-150)/(-35). Solve -5*w = 5 - u for w.
5
Let o = 76 - 76. Solve q + 3 = -o for q.
-3
Let k(a) = 2*a**2 + 20*a + 26. Let t be k(-9). Solve 4*f = -0*f + t for f.
2
Suppose 0 = 5*d - 2*c - 10, -1 = -5*d - c + 9. Let y be 3/6 - (-11)/d. Let v be 10/y - (-3)/9. Solve -v*t = -3*t for t.
0
Let l be (3 - 25/10)*6. Solve 2*b - 1 = l for b.
2
Suppose -5*v = 3*k - 12, 11 = v + v - 5*k. Solve -h = v - 6 for h.
3
Suppose 3*f - 3*z - 9 = 0, 0*z + z = -5*f + 39. Suppose 5*i - 28 = 4*o - 5, 0 = -3*i - o + f. Solve -j - i*j = 0 for j.
0
Let z(k) = 6*k**2 + 4*k + 1. Let p be z(