1
Suppose 0 = -27*m + 39*m - 24. Solve m*t + 0*t + 8 = 0 for t.
-4
Let h be 54/7 + (-14)/(-49). Solve -5*v - 2 - h = 0 for v.
-2
Let s be 34/10 + (-10)/25. Suppose s*i + 13 = -4*l, 8 = 5*i - l - 1. Suppose 0 = -3*h - 4*a + 31, 0 = -3*h + 3*a + 1 + 2. Solve -h*u - i = -11 for u.
2
Let b = 59 - 34. Solve b - 5 = -5*k for k.
-4
Suppose y - 5*d - 17 = -0*y, 4*d = -12. Suppose -y*l = -4*l. Let a be (-20)/((-10)/(-2)) + 7. Solve a*g + l*g = 12 for g.
4
Let s(z) = -z**3 - 12*z**2 - 12*z - 8. Let n be s(-11). Suppose 11 = n*g - 4. Solve 0*t = g*t - 5 for t.
1
Suppose -4*s + 5*s = -2*y + 12, -y + 6 = 4*s. Let r = -4 + y. Suppose -1 = -r*a + 9. Solve -3*v = 20 - a for v.
-5
Let s(t) = -t**3 + 10*t**2 - 9*t. Let x be (18/(-4))/(2/(-4)). Let r be s(x). Solve r*p + 4 = p for p.
4
Let c(t) = -3*t**3 + 4*t**3 - 5*t**3. Let v be c(-1). Let a be 2 - (2 + v*-1). Solve a = -m + 1 for m.
-3
Suppose -3*k + 6 = 3*j, 6 + 2 = -4*k. Suppose -3*w - f + 11 = 0, -2*w + 9 = -4*f - 3. Suppose w*c - 2*c - 24 = 0. Solve -c = -j*p - 4 for p.
2
Suppose -2*v - 21 = t - 0*t, -3*t = -v - 7. Let q be (24/(-10))/(4/v). Let n = -6 + q. Solve n = 3*j + j + 12 for j.
-3
Let z(y) = y. Let j be z(2). Solve -1 = -g + j for g.
3
Let j = -16 - -31. Solve 4*z = z - j for z.
-5
Let h(x) = x**2 + 4*x + 1. Let l be h(-8). Suppose -67 = -4*p - n, -p - 8 = 3*n - l. Solve 5*d + p = 1 for d.
-3
Suppose 5*q + 3*z = -3 - 0, -5*q + z + 1 = 0. Solve q*x + 4*x = -8 for x.
-2
Let l(w) = -10*w - 1. Let z be l(-2). Suppose 28 = 4*f + n, -4*n + 21 + z = 4*f. Let s be (2/(-2))/((-2)/f). Solve 2 = 5*o - s for o.
1
Suppose -18 - 54 = -3*p. Let k(w) = w + 4. Let j be k(-2). Suppose j*n + n = p. Solve -4*l + n + 0 = 0 for l.
2
Let j(p) = -p**3 + 8*p**2 - 6*p - 4. Let v be j(7). Suppose v = i + 1. Solve 0*f = i*f for f.
0
Suppose -6*c - 42 = -0*c. Let o = 9 + c. Solve 0 = -7*b + o*b - 20 for b.
-4
Let b = 15 + 3. Suppose -2*h = 4*l - 3*l - 15, -b = -2*l + 2*h. Let j = l + -7. Solve 4*a + j = -16 for a.
-5
Let a = -6 - -8. Suppose -24*z + 29*z = 20. Solve a*d = 4*d + z for d.
-2
Let z(c) = 9*c**3 - 13*c**2 + 4*c + 17. Let p(g) = -5*g**3 + 7*g**2 - 2*g - 9. Let j(m) = 11*p(m) + 6*z(m). Let f be j(-2). Solve 8 = -d + f*d for d.
4
Suppose -2*f + 0*c = -c - 2, 0 = -5*f + c + 2. Solve f = -0*r - 3*r for r.
0
Let m(f) = -2*f - 7. Let v be m(5). Let o be 1 + -1 + (-1 - v). Solve -x + o = 3*x for x.
4
Let k(x) = -3*x - 12. Let b(c) = 13*c + 47. Let j(w) = -2*b(w) - 9*k(w). Let g be j(-6). Solve 3*p - p = -g for p.
-4
Suppose 6 = -0*r + r. Suppose x - 11 = -3*m, 2*m - x + r = 4*m. Suppose -2*j = m*s - s - 6, 2*s + 3*j = 1. Solve 3*z = s*z - 2 for z.
-2
Let k(z) = z**2 + 2*z + 1. Let b be k(-2). Suppose -4*l + b = -7. Let x = l - 0. Solve 0 = 5*v - x*v + 6 for v.
-2
Suppose 2*x + 1 = 5*o - 4, 4*x - 5*o = -5. Suppose -l - 12 + 13 = x. Solve -i = -2 + l for i.
1
Let y(i) = 0 - 1 + i + 0*i. Let o be y(3). Solve o*d = -d for d.
0
Let r be (-2)/4 - (-455)/26. Let i be r + 7/(28/(-8)). Solve -i = -6*w + 3*w for w.
5
Let o be 8 - 4 - (-2 + 1 + 1). Suppose 0 = -2*g - 2*v + 30, -3*v + 8*v = 5*g - 125. Solve 0 = o*l + g - 4 for l.
-4
Let d = 22 - 40. Let v = d + 26. Solve v*s - 3*s - 15 = 0 for s.
3
Let q be 3/12 + (-78)/(-8). Solve -10 - q = -5*w for w.
4
Let a = 15 + -10. Suppose 0 = 4*y - a + 13. Let m be 3 - (0 - 5 - y). Solve v = -v + m for v.
3
Let j(b) = -b + 6. Let l be j(5). Let a be 6/(-3) + (l - -2). Solve a + 2 = 3*h for h.
1
Let p(j) = -j**3 + 11*j**2 + j - 8. Let b be p(11). Suppose b*l = -4 - 38. Let r = l - -25. Solve 4*m - r + 31 = 0 for m.
-5
Suppose 3*q - 5*a + 66 = 0, -4*q + 44 = -6*q + a. Let x = q + 23. Solve 4*i - 3*i = -x for i.
-1
Let f = 14 + -10. Solve -f + 0 = 4*g for g.
-1
Let g(r) = 3*r - 17. Suppose 6 = -o + 20. Let u be g(o). Suppose 0 = l + 2*l. Solve -u = -5*p - l*p for p.
5
Suppose -5*k - 15 = -5*r, -2*r + 6 = -3*r - 2*k. Suppose 5*i = 4*z - 13, -2*z + i + 5 = -r*i. Solve z*q = q + 1 for q.
1
Let b be 86/18 - 8/(-36). Suppose 4*d = -3*s + 41, -d = -5*s + b + 2. Let k = 0 + d. Solve 0 = -y + 3*y - k for y.
4
Let q(f) be the third derivative of f**5/30 + f**4/4 + f**3 + 3*f**2. Let l be q(-4). Solve -2*v = 4 - l for v.
5
Suppose -2*j - o = 2*o - 1, -3*j + 2*o + 34 = 0. Let l be 45/3*j/6. Solve l = a + 3*a for a.
5
Let d = 88 - 88. Solve d + 4 = -4*j for j.
-1
Let g be 18/(-27) + 1/(-3). Let j be 3*1 - (g + 1). Solve -2*r = j*r for r.
0
Suppose 0 = 2*n + 12 - 0. Let v(u) = u + 8. Let r be v(n). Solve 0 = r*c - 2 for c.
1
Suppose -3*l + 10 = 2*l. Solve -1 = c - l*c for c.
1
Let z(r) = -2*r - 2. Let d be ((-6)/(-2))/((-6)/4). Let t be d + (-5)/((-10)/(-4)). Let i be z(t). Solve 0*g - i = 2*g for g.
-3
Let d(m) be the second derivative of m**4/12 + m. Let l be d(-3). Solve 0*w = -3*w + l for w.
3
Let j be (-1)/2*1*-10. Suppose -2*z - 5*p = -j, -z + 4*p + 11 = 2. Suppose 0 = s + m - 3, z*m + 6 = 3*s - s. Solve -15 = -0*u + s*u for u.
-5
Suppose g = -3*f + 7, 0*f + 4*g - 19 = -3*f. Let q = 4 + f. Suppose 0 = 2*p + 1 - q. Solve 0*k = p*k - 6 for k.
3
Suppose 3*c - a - 2 = 0, -3*c = 3*a - 16 - 2. Suppose -c*o + w = -11, -3*w = 3*o + 5 + 1. Suppose 0*z - o*z = -6. Solve -t - z + 1 = 0 for t.
-1
Let k be -2 + (-12)/(-3) - 0. Suppose j + 4*j - 5 = 0. Suppose -k*z - j = -3*z. Solve -3*t - 4 + z = 0 for t.
-1
Suppose h = -4*h. Suppose 4*a + c = 23, 2*c - 21 = -3*a - h*c. Let o be (-4)/16 + a/4. Solve -2 - o = x for x.
-3
Suppose -10 = 5*s - 20. Solve s = 5*a - 18 for a.
4
Let c = -2 - -1. Let v = 2 - c. Suppose 0 = 3*s - 4*s + v*f + 12, 0 = 5*f + 15. Solve -22 = 5*k + s for k.
-5
Suppose 3*m = 58 - 7. Let f = -9 + m. Let d be (-2)/4 - 7/(-2). Solve -f = -d*t + 7*t for t.
-2
Let o be -1 + 4 + 4/(-1). Let d = o - -13. Solve 4*u + d = u for u.
-4
Let a = 27 + -7. Let y be 10/a*(-1 + 15). Let p be (-47)/(-9) - 4/18. Solve 4*z - y = p for z.
3
Suppose 0 = -6*m + 2*m - 12. Let i be m*((-2)/(-3))/(-1). Solve -2*o + 3*o = i for o.
2
Suppose 4*w + 4*n = -8, -16 = -2*w + 5*n - 2*n. Solve 0 = -0*b - 2*b + w for b.
1
Suppose 2*c - 4 = -4*d, 0 = -2*c + d + 2*d + 18. Let i be 14/c - (-1)/(-3). Suppose i*m - 3*u + 1 + 1 = 0, 0 = m + 5*u - 12. Solve 4*p - 6 = -m for p.
1
Let o(c) = -c**2 + 11*c - 9. Let p be o(10). Let v(b) = 7 + 5*b**2 - 4*b**2 + 1 + 7*b - p. Let q be v(-6). Solve 0 = 4*s - 11 - q for s.
3
Let r(b) = b**2 - 8*b + 12. Let d be r(8). Let i be 3*(d/9)/1. Solve 5 = i*k + 21 for k.
-4
Let t(x) = x**2 + 5*x - 1. Let h(a) be the first derivative of -a**3 - a**2 + 2*a - 4. Let w be h(-2). Let y be t(w). Solve 3*r + 8 = y*r for r.
4
Let u(f) = 2*f**2 - 9*f - 1. Let o be u(7). Let x be (-6)/4 - o/(-4). Let j(v) = v - 7. Let h be j(x). Solve -4*a + 20 = -h*a for a.
5
Let j(i) = i**3 - 7*i**2 + 7*i - 6. Let b be j(6). Suppose b*y + 4*y = 0. Solve y = -h + 4*h - 15 for h.
5
Let b(a) = a**2 + 6*a + 1. Let m(r) = 2*r**3 + 4*r**2 + 2*r. Let d be m(-2). Let j be b(d). Let k(y) = -y - 3. Let i be k(j). Solve -l = i*l for l.
0
Let y be (-104)/(-6) + (-2)/(-3). Let c be (-4)/y + (-152)/(-36). Solve 2*o + 10 = c for o.
-3
Suppose 4*c - 27 = 2*k + 13, -5*c = -5*k - 60. Let y be 14/2 - 24/c. Suppose -y*v = -3*v. Solve -6 = -3*l - v*l for l.
2
Suppose 0 = 3*d + g - 2 - 1, d + 13 = -5*g. Solve -m + 0 = -d for m.
2
Suppose 0 = 5*t - 4*t. Solve -12*h + 13*h + 4 = t for h.
-4
Let v = 82 - 76. Solve 5*q - v - 4 = 0 for q.
2
Suppose -5*c - 55 = -3*r, -5*r + 2*c = c - 77. Let v(t) = t + 10. Let h be v(-7). Let w = r - h. Solve 2*p = -p - w for p.
-4
Let g = 76 + -72. Solve h = g*h for h.
0
Let z(o) = -1 - 2 + 6*o - 3*o + 7*o**2. Let g be z(2). Solve -g + 6 = -5*a for a.
5
Let f be 4/(-2)*8/(-4). Let b = f - 2. Let v be 3 + (-7 - -3) + 4. Solve -b = v*h + 7 for h.
-3
Suppose 4*c = -0*c. Let b(l) be the second derivative of -l**5/20 + l**3/2 + l**2 - 2*l. Let m be b(-2). Solve 0*s + m*s = c for s.
0
Let n(k) = -k**2 - 3*k. Let y be n(-5). Let m = -8 - y. Solve -2 = -m*o - 12 for o.
-5
Suppose 3 = -o + 12. Suppose -4*n = u + 8, -u + 7 + o = -4*n. Solve -w - u = -0*w for w.
-4
Suppose 5*g + 11 = 31. Suppose -3*n - 3*q = 9, -3*n - g*q - 6 = 7. Solve -4*f + 5 - n = 0 for f.
1
Suppose 0 = 5*w + 5*y, 3*y + 4 = 5*w - 12. Solve -c = -1 - w for c.
3
Let l(i) = -2*i**3 + 5*i - 1. Let d be l(-2). Solve -d*r - 8 = -r for r.
-2
Let c be (-1 + 3 - 4)/(