/(-12). Suppose 5*r = 2*r + 15. Solve 2*c - r + 3 = y for c.
1
Let w be 2/((-1)/((-5)/10)). Solve -3*x + w = -2 for x.
1
Let s(k) = -k**2 + k + 7. Let f be s(0). Let w = f + -8. Let j = w + 5. Solve 0 = -t + j*t for t.
0
Let m = 5 + -3. Suppose i + 3*i + 3 = -3*j, 0 = -m*j - 5*i - 2. Let c be 3/(-9)*0*j. Solve t - 3*t + 8 = c for t.
4
Suppose b - 4*j = -26, -2*b - 3*j = 2*j. Let t = b - -11. Solve 3*x = 8 + t for x.
3
Suppose 5*j + 49 = -2*u, j + 0*u + 11 = -u. Let r be (-6)/j - 2/3. Suppose r = -2*y + 6, 2*y = 3*s - 2 - 1. Solve p = -s*p - 4 for p.
-1
Let m(r) = 2*r**2 - 15*r + 9. Let h be m(7). Solve -q + 2*q = h for q.
2
Let f = 13 + -3. Let n be (-4)/f - (-12)/5. Let m(u) = -4*u**3 - 2*u**2 - 3*u - 1. Let l be m(-1). Solve l = -2*j - n*j for j.
-1
Suppose 5*p - 16 = m + 6, -5*p - 2*m = -31. Solve -p - 3 = 2*c for c.
-4
Let u = 16 - 14. Suppose -5*t = -3*p + 5*p - 29, 9 = u*p + t. Solve m = p - 0 for m.
2
Let a(s) = -s + 4. Suppose 4*j = -t - 30 + 8, -t = -4*j - 26. Let n be a(j). Solve n = k - 3*k for k.
-5
Let q = -9 + 21. Let r = q + 3. Let l = -6 + r. Solve -l = -2*d + 5*d for d.
-3
Let r be (-2)/(-7) - 16/7. Let o be (-4)/r + (2 - -6). Suppose -3*d - o = -8*d. Solve 0*i = -d*i for i.
0
Let c = -13 + 8. Let n(k) = -k**3 - 4*k**2 - 1. Let q be n(c). Suppose 0 = 4*y + 3*m + 4, -4*m + 0*m = -4*y + q. Solve 3 = 5*b - y for b.
1
Let t = -54 + 63. Solve -4*p + 5 = -t*p for p.
-1
Suppose -3*b - x + 9 = 50, x = 5*b + 55. Let r(o) = -o**3 - 4*o**2 - 4*o + 1. Let f be r(-4). Let v = f + b. Solve 0 = -4*k - v - 3 for k.
-2
Let v(f) = -6*f + 38. Let k be v(6). Solve -4*l + 2*l + k = 0 for l.
1
Let g = 44 - 41. Solve -g + 4 = r for r.
1
Let k be (-4)/10 - (-22)/5. Let z = -6 - -3. Let w be (-1)/z + 30/18. Solve -k = -w*f + 6 for f.
5
Suppose 5*p - 34 = -2*c - 7, -c + 5*p + 6 = 0. Suppose -6 = -b + c. Solve -8 - b = -5*r for r.
5
Let u(f) = f**2 + 6*f - 5. Let b be u(-7). Solve b*w - 11 = -5 for w.
3
Suppose 2*u = -9*u + 22. Solve -1 = u*q - 5 for q.
2
Suppose 5*b = -l - 18, -5*l - 4 - 5 = -2*b. Let x be (15/10)/(b/4). Let n = x - -2. Solve -m = -n*m for m.
0
Suppose -3*o = -12 - 3. Solve -1 = 6*j - o*j for j.
-1
Suppose -2*k - 2 = -3*k - x, -3*k = 4*x - 6. Suppose 4*t - 14 = -2*s, -t + 4*t = 2*s - 7. Suppose f = s*f - 20. Solve 0 = -k*m - 3*m - f for m.
-1
Let i(q) = q**3 + 2*q**2 + q + 2. Let d be i(-2). Suppose 2*m - 2*o = 14, 4*o - 2 = 3*m - 27. Solve d = m*b + 6 + 9 for b.
-5
Let h(z) = z**3 - 3*z**2 + 3*z - 4. Let k be h(3). Solve 5*v + k = -5 for v.
-2
Let f be ((-36)/3)/(-4) - -1. Suppose 2*a - 20 = -a - f*l, 0 = 3*l - 6. Solve 17 = -a*b + 5 for b.
-3
Let q = 14 + -10. Suppose 4*u + 24 = 68. Solve -q*d + 5 = -u for d.
4
Let w(g) = -g**3 - 4*g**2 - 3*g + 1. Let p be w(-4). Solve 3*y + p + 2 = 0 for y.
-5
Suppose -5*k - 6 = 4*c - 42, 2*c + 4*k - 24 = 0. Solve -c*t - t + 15 = 0 for t.
3
Let n = 3 + -1. Let y = 0 - n. Let d = y + 3. Solve -d = -u - 0 for u.
1
Let m = -5 - -15. Suppose -9*j = -m*j + 3. Solve -2*z = -j*z + 4 for z.
4
Suppose 4*d + 14 - 34 = 0. Solve 6*s - d*s = 3 for s.
3
Suppose 12*a - 8*a = 2*a. Solve 3*m + 2*m = a for m.
0
Suppose -2*c = 3*c. Let m be 6*(-6)/4 + -2. Let h = 16 + m. Solve -h*u + 29 - 4 = c for u.
5
Let d be -4 - -1 - -6 - 0. Solve -d*c - 1 - 2 = 0 for c.
-1
Let p(y) be the first derivative of y**4/4 - y**3 + y**2 + 1. Let l be p(2). Suppose l*a - a + 3 = 0. Solve 3 = -a*m + 12 for m.
3
Suppose 0 = -n - 1, 3*f - 6 = 3*n + 6. Solve 20 = x + f*x for x.
5
Let w = -30 + 50. Let d = -4 + 7. Let a = d + -3. Solve -w = -4*r - a for r.
5
Let h be (1 - 7)/(-1*3). Solve n = h*n + 2 for n.
-2
Let w = 7 - -1. Let b be w/(-3*2/15). Let m be 56/b*(-5)/2. Solve 4*f + m = -1 for f.
-2
Suppose 0 = -5*s + 5 + 155. Suppose 0 = -3*h + s - 11. Solve 2*g + 3 + h = 0 for g.
-5
Let i(v) = v - 7. Let s be i(9). Suppose 0 = -3*h, 3*b - s*b = h. Suppose 4*j + 12 = -2*z, -4*z + 4*j + 12 = -0*z. Solve k + b - 1 = z for k.
1
Let t = 15 - 9. Solve -5*q + 14 = -t for q.
4
Let t(n) = -5*n + 1 - n**3 + 5*n**2 - 4 + 3*n. Let y be t(4). Let h = 313 - 307. Solve y*i - 2*i + h = 0 for i.
-2
Let j = 99 + -96. Solve 1 = -d + j for d.
2
Let y(o) = -o**3 + o**2 + o - 8. Let w be y(0). Let c = -4 - w. Suppose c*v = -0*v + 3*q + 53, v = -2*q + 5. Solve 5*i = -1 + v for i.
2
Suppose 0*g + 2 = g. Solve -g*x = -4*x for x.
0
Suppose -2*q + q = -3*f - 5, f = 5*q - 25. Solve f = -g - 2 - 3 for g.
-5
Let d(b) = -2*b - 12. Let c be d(-8). Solve -k - c*k - 10 = 0 for k.
-2
Suppose -4*r - 34 = -2*n, 3*r = -2*n + 2 + 18. Suppose -g - x = 3, -2*x - 4 = 3*g + 1. Solve 4*h = n - g for h.
3
Let b be -4 - (-1 - (0 - -6)). Solve -b*d = -d + 10 for d.
-5
Let g = -12 - -6. Let m be (-4)/6 - 10/g. Let t be (-1 - -2)*1 + m. Solve -t*x + 5 = 1 for x.
2
Suppose 5*a + 49 - 8 = 3*o, 33 = 3*o + 3*a. Suppose 13*g - 2 = o*g. Let n be (-4)/(-6) + 8/6. Solve -n = -4*k + g for k.
1
Let d(v) be the first derivative of 0*v + 1/2*v**2 - 1 + 1/4*v**4 - 1/3*v**3. Let z be d(2). Solve -o = -2 + z for o.
-4
Let c = 13 + 12. Let z = -20 + c. Solve -20 + z = 3*w for w.
-5
Let x be 70/22 + 2/(-11). Solve b - x*b - 10 = 0 for b.
-5
Suppose i - 4 = -22. Let j be (5/(-2))/(3/i). Solve 2*y = -y + j for y.
5
Let g be 0/((-1)/2*-2). Suppose -5*r = -4*q + 24, 20 = 5*q - 5*r - 10. Suppose 4*u = 0, 2*u + 3*u - q = -2*p. Solve g = -0*a + 3*a - p for a.
1
Let n(v) = -v**3 + 5*v**2 - 3*v - 1. Let a be n(4). Let l = 5 - a. Suppose 0 = j - 5*y - 4 - 1, 5*j - 2*y = l. Solve j*k = 3*k for k.
0
Let p be 18/(-2)*(4 + -7). Let t be ((-28)/(-6))/(2/3). Solve -4*z = p - t for z.
-5
Suppose -7*h + 10 = -5*h. Solve -h*q = 3 + 2 for q.
-1
Let m = 13 - 9. Solve 7*z - m*z = -6 for z.
-2
Let d = 0 - 2. Let m = 2 - d. Suppose -5*x + 26 + 24 = 0. Solve 6*k = m*k - x for k.
-5
Let r = 0 + 4. Let v be 1/r + 2/(-8). Solve v*x + 3*x = 0 for x.
0
Suppose -8 = 2*n + 8. Let w = -5 - n. Solve -w*u + u = -10 for u.
5
Let k(x) = -x**3 - 4*x**2 + 4*x. Suppose 5*a = -p + a - 1, -2*a = 3*p + 13. Let l be k(p). Let b = l + -2. Solve 5*u - 18 + b = 0 for u.
3
Let t(m) be the third derivative of m**5/20 + m**4/24 + 2*m**2. Let y be t(-1). Let i be 5*-1*(-2 - -1). Solve -12 = i*h - y for h.
-2
Let a(k) = k + 10. Let c(t) = t. Let j(q) = -a(q) + 2*c(q). Let v be j(12). Suppose m - 13 = v*g, m - 7 = 3*g + 10. Solve 2*s = m*s + 9 for s.
-3
Let f be (-2)/(-2 + (-18)/(-10)). Solve 0*c = 2*c + f for c.
-5
Let n = -6 - -8. Suppose -3*q + 6 = -n*q. Let c be (-6)/21 + q/21. Solve c = -v + 2 - 3 for v.
-1
Let b = -7 + 10. Suppose -b*w = -6*w + 6. Solve 15 = -w*g + 5*g for g.
5
Let g = -14 + 10. Let p(b) = -4*b**3 + b**2 - 1. Let q be p(1). Let o = g - q. Solve o = -c + 5*c for c.
0
Let k = -9 - -12. Let s be 10 + (-6)/k - 4. Solve -s = 3*u - 5*u for u.
2
Suppose 7*y = -2*i + 3*y - 2, -3*i = -3*y - 33. Suppose 4*w = i*w. Solve w = 2*d - 0*d - 8 for d.
4
Suppose -3*w + 3 = -33. Solve 4*j - w = -0*j for j.
3
Let u(d) = -d**3 - 4*d**2 + 5*d. Let t be u(-5). Let a = t - -2. Let c be -1 - -5*(-2)/(-2). Solve -j - a = -c for j.
2
Let b(h) = h - 1. Let o be b(-4). Let c = o + 7. Suppose 0*t + 2 = 4*a - 2*t, 3*a + c*t = 12. Solve -5*u + a + 3 = 0 for u.
1
Suppose -m - 1 = -7. Let q(a) = a**2 - 13*a + 30. Let j be q(10). Solve j = m*c - c for c.
0
Let u(i) = -i - 3. Let v be u(-5). Let g be (-1)/((5 - v)/(-6)). Suppose g*x + x = 0. Solve -c - c + 4 = x for c.
2
Let d = 8 - 2. Solve 3*i + 9 + d = 0 for i.
-5
Let i be 1 - (46/(-10) + (-14)/35). Solve v = i*v - 15 for v.
3
Let g be 8/6*(2 + 1). Let s(h) = -h + 4. Let u be s(-6). Suppose -g*y + 3 + 13 = -2*k, u = 5*k. Solve y*j - j = 0 for j.
0
Let d be (32/4)/(4/6). Suppose -9*w = -3*w - d. Solve w*m - 5 = m for m.
5
Let s be (6 + 1)*(-12)/14. Let i = s + 10. Solve 0 = -i*n + 4 + 4 for n.
2
Suppose 3*u - t = 0, 0 = 4*t - 5*t. Solve j + 1 + 0 = u for j.
-1
Suppose -2*x - 3*q - 4 = 0, -3*q - 28 = -7*x + 3*x. Solve 9 + 3 = x*p for p.
3
Suppose -h = -2, 3*l + 0*h + h = 17. Suppose v = l - 0. Let q be ((-13)/(-1))/(2/2). Solve v*o - 12 = q for o.
5
Let s(x) = 12*x - 72. Let i be s(6). Let b be (0 + 1)*(2 + -2). Solve -2*y + b - 2 = i for y.
-1
Let m = -2 + 7. Let k(t) = t - 4. Let z be k(m). Solve z = -5*r - 9 for r.
-2
Let j(c) = 12*c - 79. Let z be j(7). Solve v - z = 2*v for v.
-5
Let o = 19 + -13. Suppose 3*l -