 1 for m.
1
Suppose 5*q - 20 = -5*s, 2*q - 3*s + 9 = 4*q. Suppose -y + 2*a = 6, 9 = -2*y + 5*y + q*a. Let g be (6 - 13)*(2 + (-17)/7). Solve g*o - 4*o = y for o.
0
Suppose 13 = -s + 15. Solve 3*n - s*n = -5 for n.
-5
Suppose -2*p = 2*p. Let d = -1 - -4. Suppose 0*v = d*v - 15. Solve -b - v = -p*b for b.
-5
Suppose -c + 4 = c. Let y = 2 - c. Solve 4*l - 3 + 11 = y for l.
-2
Suppose -p + 3 = -2. Solve -7 = p*q - 17 for q.
2
Let j = -13 - -3. Let m = 16 + j. Suppose 2*h = m*h - 8. Solve h = -f - f for f.
-1
Let a be (-2)/9 + (-2)/(-9). Let t(k) = -k**2 + k + 7. Let v be t(a). Let o be 1*v - (3 - 1). Solve q = o*q - 16 for q.
4
Let m = 22 + -17. Solve t + m = 2*t for t.
5
Let b = 24 + -18. Solve -b*r = -2*r + 8 for r.
-2
Let q = 2 - -3. Suppose 21 = 2*g - 3*t, -3*t = -q*g - 6*t. Let s be (15/(-6) - -2)*0. Solve -g*o + s*o = 3 for o.
-1
Let g = 7 - 4. Let v(l) = -l**3 + 1. Let k be v(1). Suppose 0 = -k*b + b. Solve -g*t + 6 = -b for t.
2
Let v be 0/(4/2*1/(-2)). Solve v = b - 0*b + 5 for b.
-5
Suppose -13 = -3*a - 1. Suppose 5 = -a*t + 5*t. Solve -5*o - t = 5 for o.
-2
Suppose 0 = -15*n + 19*n. Solve n = -2*t - 0 + 6 for t.
3
Let d = 12 + -7. Suppose -5 = -n - o, -d*n = -4*o - 0 + 11. Solve n - 3 = -2*k for k.
1
Let d be -1 + 3 - (0 - 3). Let x(m) = m**3 + 2*m**2 + m + 2. Let r(k) = k**3 - 4*k**2 - 4*k - 7. Let f be r(5). Let t be x(f). Solve -d*z + t = -20 for z.
4
Suppose 3*j = 2*v - v + 21, 0 = 5*j - 4*v - 28. Solve z - j = -z for z.
4
Let i be (0 - 0/(-2))/2. Suppose 5*c = 5, -3*w + 5 = -4*c - 0. Suppose 0*f + w = -2*f - 3*d, 0 = -f + d + 1. Solve f = u - i*u + 1 for u.
-1
Suppose -8 = 2*z, 4*z - z + 3 = -3*h. Suppose h*b + 45 = 8*b. Let n = -7 + b. Solve 5 + 1 = n*v for v.
3
Suppose 2 = -p + 7. Solve -4*m = -p*m + 1 for m.
1
Let p(o) = o**3 + 3*o**2 - 11*o - 4. Let i be p(-5). Solve 0 = m - i + 6 for m.
-5
Let q = -57 - -60. Solve -q + 2 = p for p.
-1
Let x(v) = 9*v - 2. Let l be x(2). Let q be ((-4)/l)/(1/(-8)). Solve -6 = -4*j - q for j.
1
Let a(d) = 6*d + 5. Let c be a(5). Suppose 3*w - 6 = w. Suppose w*b = -5 + c. Solve -4*g - b = g for g.
-2
Let a = 5 + 0. Suppose 10 = 5*k - a. Solve 6 = -0*b + k*b for b.
2
Let w(t) = -4*t**3 + 16*t**2 - 11*t - 11. Let r(o) = o**3 - 5*o**2 + 4*o + 4. Let d(l) = -7*r(l) - 2*w(l). Let g be d(-4). Solve 0 = g*b + 7 + 1 for b.
-4
Suppose -i + 7 = 3. Solve 0*z + i*z = 0 for z.
0
Let i be (4/(-6))/(6/(-63)). Let x(r) = -r + 5. Let h be x(i). Let t = h - -5. Solve t*m = -0*m + 9 for m.
3
Let r = -6 + 13. Let f(d) be the second derivative of d**5/20 - 7*d**4/12 + d**3/3 + d**2/2 + 2*d. Let w be f(r). Solve 4*y + 3 = w for y.
3
Suppose 0 = -3*z + 4*g + g + 34, 4*g + 32 = 4*z. Solve -p - z*p = 0 for p.
0
Let u = -2 + 2. Suppose 16*w - 8 = 14*w. Suppose 0 = -w*n + 16, -n + 16 = -m + 4*m. Solve -m*y = -u*y - 4 for y.
1
Suppose 4*n = -0*n + 48. Suppose b + 3*j + 6 = 0, 3*j + 12 = 3. Solve b*l - n = -l for l.
3
Let l be (-2 + 77)/(3/2). Suppose -5*t + l = -0*t. Solve 4*z = 6 + t for z.
4
Let w be (-20)/6 + 2/6. Let i(a) = a**2 + 3*a + 4. Let n be i(w). Suppose n*v = -g + 24, -3*g + 0 = -v - 7. Solve -2*m = -3*m - g for m.
-4
Suppose b - 6*b = -5. Let o = 96 + -93. Solve j - b = o for j.
4
Suppose 0 = -5*p + 4*p. Let v = 2 + p. Suppose -v*z = -5*y - 6*z - 4, -3*z = -2*y + 3. Solve 0 = -l - y - 2 for l.
-2
Let z = 7 + -5. Suppose 0*t + 2*t - 5*a = 9, z*t + 3*a - 33 = 0. Solve t = 5*x - 8 for x.
4
Let h be (2/4)/((-18)/(-72)). Solve 4*j - 14 = h for j.
4
Let g be (-48)/(-28)*(-42)/(-4). Let w(k) = 5*k - 3. Let q be w(2). Suppose -2 = n - q. Solve n*i = -3 + g for i.
3
Suppose l = 40 - 32. Let w = -3 + 6. Solve l = j - w*j for j.
-4
Let z(r) = r**2 - 11*r + 2. Let n be z(11). Solve j + 15 = -n*j for j.
-5
Suppose 4*z - m - 447 = 0, 2*z = 5*m + 240 - 21. Let y be (-14)/z - (-34)/16. Solve 0 = -p + 3 - y for p.
1
Suppose 2*n + 3 = 7. Solve -6*g = -4*g - n for g.
1
Let f = 61 + -59. Solve t = -t + f for t.
1
Let l be ((-16)/6)/(14/(-21)). Suppose 2*i = -2*h + 7 - 3, 0 = 3*i + 3. Solve -h*t - l = -t for t.
-2
Suppose 10 = 5*p, a - 4*p + 14 = 2*a. Suppose -a*r = -3*r + 27. Let y = -4 - r. Solve y*i - 4 = -29 for i.
-5
Let s = 4 + -3. Let m be (-2 - -1)/(s/3). Let w be 2 + m + 2 + 5. Solve 2*c = w*c + 16 for c.
-4
Suppose 3*o + 2*v = 6, v + 3*v - 12 = 4*o. Let r(t) = -t - 1. Let z be r(-1). Let m = z - -3. Solve -2*h + m - 1 = o for h.
1
Let g(y) = -2 + 1 + y - 1. Let t be g(5). Let u be 5 + (-2 - (2 - t)). Solve 4*a - u + 8 = 0 for a.
-1
Let f be 2/((-1)/6 - (-24)/36). Solve 0 = -f*l + 3*l for l.
0
Let r(h) = -h**3 + 9*h**2 + 8*h + 24. Let a be r(10). Solve -a*t = -8*t + 8 for t.
2
Let o = -5 - -10. Let k(m) = -m**2 + 5*m + 2. Let d be k(o). Solve 2*z + 20 = -d*z for z.
-5
Let l be 8 + -11 + (-12)/(-2). Solve 8 = -q - l*q for q.
-2
Suppose 2*d = 2*c + 8, 5*c + 12 = 2*c. Suppose 5*w + 0*w = d. Solve 5 = -w*g - g for g.
-5
Let c(u) = u**3 + 6*u**2 - 6*u + 9. Let a be c(-7). Solve a*t - 15 = -5 for t.
5
Let p = 32 - 28. Solve -2*g - 6 = p for g.
-5
Let z(g) = 3*g - 9. Let f(w) = -2*w + 4. Let r(q) = -5*f(q) - 3*z(q). Let d be r(-5). Solve -a + 1 = -d for a.
3
Let d = -7 + 10. Suppose -3*n - d*u + 6 = 0, 2*u - 4 = -0*u. Solve n = -3*g + 6*g - 9 for g.
3
Let r(t) = t**3 - 4*t**2 - 2*t - 10. Let s be r(5). Solve -s*u = -3*u + 4 for u.
-2
Let r(s) = s**3 + 6*s**2 + s + 1. Let x be r(-5). Let w be (-42)/(-12)*12/x. Solve 7*p = w*p + 5 for p.
1
Suppose 0 = 4*o + 3*z - 20, 0 = o + 3*z - z - 5. Solve o*l = -6 + 1 for l.
-1
Let i(g) = -3*g. Let q(h) = 7*h**3 - 2*h - 1. Let v be q(-1). Let c be i(v). Suppose -2*n + c = 2*t, 39 = 5*n + 3*t - 0*t. Solve n*y + 5 = y for y.
-1
Suppose 4*h = 5*h - u - 5, 5 = 3*h + 2*u. Let r be (-3)/h - 8/(-2). Solve r*j - 8 = 7*j for j.
-2
Let o(f) be the second derivative of f**3/6 + 7*f**2/2 + 2*f. Suppose 4*c = -20 - 8. Let z be o(c). Solve -4*w + 0*w = z for w.
0
Suppose -5*b + b + 12 = 0. Suppose 5*h = -b*k + 16, -k - 5*h + 18 = 3*k. Let i = 1 + k. Solve 2*q = 3*q + i for q.
-3
Let q(s) = -s**3 + 3*s**2 + s + 1. Let m be q(3). Suppose 3*z + 5*g = 4*g - 6, -3*z + 2*g = 6. Let d be z/4 - (-20)/8. Solve m = -d*o - 4 for o.
-4
Let o(i) = -16 + i - i**2 + i**3 - 4*i - 7*i + 7*i**2. Let u be o(-7). Solve 3*x = u*x for x.
0
Let a(y) = y**3 + 7*y**2 + 5*y - 6. Let b be a(-6). Suppose 22*h - 17*h - 5 = 0. Solve b*c - c = h for c.
-1
Let x be 12/(-42) + 60/14. Suppose x*y + y = 10. Solve c + y*c = 0 for c.
0
Let b(l) = -l**3 - 8*l**2 - 8*l - 3. Let o be b(-7). Suppose -3*x = -2*g - 12, -16 = -4*x + 2*g - o*g. Solve -n = -x*n for n.
0
Suppose 0 = -3*z - s + 17, 3*z - 2*s - 7 - 13 = 0. Solve 0 = 5*i + z + 9 for i.
-3
Suppose 4*f - 4 = 0, 2 = -a + f + 9. Solve -2*h = a + 2 for h.
-5
Let x be 1/(-4 + 1)*-12. Suppose 3*n = -5*s + 9, -s + 20 = 3*s - x*n. Suppose 5*h - 5*z + 15 = 0, 4*h - s*z + 3 = -2*z. Solve h = -0*i + i + 5 for i.
-5
Suppose 5*o + k = 21, -2*o + 5 = -2*k - 1. Let d = 4 + 1. Solve -d = o*y + 11 for y.
-4
Let v(x) = x**3 - 7*x**2 - x + 10. Let u be v(7). Suppose u*g + 12 = 7*g. Solve 0 = g*j + 12 + 3 for j.
-5
Suppose 0*z = -2*z + 12. Let s be (-4)/6*(-27)/z. Solve o = -s*o + 12 for o.
3
Let q be -3 - (9 - -1)/(-2). Solve q*m - 7 = -1 for m.
3
Suppose 2*h + h + 5*g - 14 = 0, -5*h + 3*g + 12 = 0. Let p be -18*(h/2)/(-3). Let y = p + -6. Solve 20 = y*i + i for i.
5
Let h be 2/(1/(-1)*2). Let w be -2 - (-4 - -1) - h. Suppose 3*o + g - 16 + 6 = 0, -3*o = -2*g - 7. Solve 1 = w*c + o for c.
-1
Let h = 13 - 9. Suppose 0 = -h*g + 5 + 15. Solve -g*u + 3 + 17 = 0 for u.
4
Suppose 9 - 34 = -5*x. Suppose 4*w - 5*u = 10, x*u = -2*w + 4*w. Solve 0*z + w = -z for z.
-5
Let n(z) = z**3 - 4*z**2 + 3*z. Let r be n(3). Solve -1 = c - r for c.
-1
Suppose 4*h - 3*p = 16, -2*h + 3*h - p = 4. Solve h*w - 7 = -3 for w.
1
Suppose -2*q - 20 = -7*q, 4*q = h + 25. Let c = 21 + h. Suppose -c = -2*n - 4. Solve -n = -b - 0*b for b.
4
Suppose -19 = -5*y + c, 0*y - 2*y + 7 = -c. Solve 0 = -y*q - 4 + 16 for q.
3
Suppose -6 = -9*g + 30. Solve -3*o - o = g for o.
-1
Suppose -3*x + 4*v + 19 = 0, -3*v = 4*x - 28 - 14. Let t be 2/((-12)/x - -2). Solve t*y = -2*y + 25 for y.
5
Let m = 33 - 23. Solve 2*h - 7*h = m for h.
-2
Let k be ((-3)/2)/(5/(-30)). Let b(v) = -v**3 + 10*v**2 - 8*v - 6. Let q be b(k). Solve -4*t = -3*t + q for t.
-3
Let 