4
Suppose -3*f + 13 = -5. Let y be ((-10)/f)/((-2)/6). Solve 3 + 2 = y*k for k.
1
Let y = -2 - -3. Let b = y + -3. Let d = 0 - b. Solve -d = 3*s + 1 for s.
-1
Let y be ((-27)/(-6) - 4)*0. Solve -f = -y*f + 4 for f.
-4
Let o(f) = -f**2 + 3*f - 1. Let g be o(2). Let u = 3 + g. Suppose -j = -4*k - 2*j + 48, -3*k - u*j = -36. Solve 0*y - k = 4*y for y.
-3
Let d = -28 - -30. Solve -d = -u + 2 for u.
4
Let u be (3 + -3)/(-4 + 3). Solve u = b + 1 for b.
-1
Suppose 0 = -k - 0*k. Suppose 2*r = -k + 2. Solve -r + 5 = g for g.
4
Let r be (-222)/(-18) - 1/3. Let b = r - 10. Solve 0 = b*p + 3*p - 5 for p.
1
Let q be 16/10*5/2. Solve -q = f + 3*f for f.
-1
Let f = 63 + -55. Solve 0 = -0*u - 4*u + f for u.
2
Let r(f) = -f**2 - 7*f + 2. Let l be r(-6). Suppose 4*a = -3*z + 19 - l, -3*z - 9 = 0. Solve 0*v - a*v = 25 for v.
-5
Suppose -4*b + 4*o - o + 55 = 0, -9 = -3*o. Suppose -5*y + 13 = -12. Solve -y*t + t + b = 0 for t.
4
Suppose 4*u = 5*i + 7, 12 = -2*i - u - 2*u. Let o be 4*i/(-6) - -3. Let b be (4/10)/(o/75). Solve 4*d - 2 + b = 0 for d.
-1
Suppose c - 5 = r - 0, -c + 1 = 3*r. Solve -8 = -c*s + 8 for s.
4
Let i = 7 + -14. Let h = i - -11. Solve -3*m + h = m for m.
1
Suppose -12*x = -4*x - 56. Solve 2*u - x = -3 for u.
2
Let a be -3*3*(-4)/18. Suppose 3*s - 12 = 3*t, 3*t - 2 = -5*s + a*t. Solve 0 = -j - s - 1 for j.
-2
Let g = 8 - 4. Suppose 0 = g*a - 2 - 18. Suppose 11 = a*m - 14. Solve 4*p - m = 3*p for p.
5
Let z(x) = -x**3 + 1. Let t(n) be the first derivative of -n**2/2 + 7*n - 2. Let u be t(8). Let g be z(u). Solve -3 = g*v + 1 for v.
-2
Suppose p + 5*y = -2*p + 26, p + 6 = 2*y. Solve -p*s - 9 = s for s.
-3
Let d(z) = z**3 - 3*z**2 - 4*z. Let n = 10 + -6. Let x be d(n). Let q be (1 - -2) + x - 1. Solve v = -q*v for v.
0
Let d be 2/(2*1/12). Suppose 0 = 6*j - 2*j - d. Solve -3*t - j = -0*t for t.
-1
Let x be ((-64)/12)/(2/(-3)). Suppose f - x = 3*n, -4*f + 5*n + 32 = -0*f. Solve -3*p + f*p = 0 for p.
0
Let m be 96/10 + (-4)/(-10). Let v be ((-54)/(-45))/((-6)/(-20)). Suppose -v*u = -9*u + m. Solve u = 5*r - 3 for r.
1
Let b(j) = j**2 + 8*j - 8. Let v be b(-10). Suppose v = 4*l - 0*l. Solve 4*s = 5*s - l for s.
3
Let r(o) = -9*o + 1 + 0*o - 3. Let h = 0 + -3. Let f be r(h). Solve -3*x - f = 2*x for x.
-5
Let d be 28/154 + 62/22. Solve 6 = -6*v + d*v for v.
-2
Suppose 5*t - 4*o = 22, -5*o + 3*o = 5*t - 34. Solve -5*w - 4 = t for w.
-2
Let i = 37 + -33. Solve 4*f = -20 + i for f.
-4
Let i(v) = 17*v**2 + 1. Let u be i(-1). Suppose 4*s + m - u = 0, 0*m - 4*m = 3*s - 20. Solve c - 20 = -s*c for c.
4
Suppose -5*k = 17 + 8. Let i = 8 + k. Solve i = 5*h - 12 for h.
3
Let y = -2 + 5. Suppose -a = 5*g + 25, y*a + 3*g = -17 + 2. Solve -12 = -3*h - a for h.
4
Let s(t) = 6*t**2 - 3*t - 1. Let i(p) = p**2 + 1. Let z(u) = -5*i(u) + s(u). Let k be z(5). Let h be (k + -1)*(3 - 2). Solve -f - 10 = -h*f for f.
5
Let s = -25 + 27. Solve s = -c + 4 for c.
2
Suppose 14*g - 5*g = 45. Let v be 4/14 + 2/(-7). Suppose -h - 10 = -g*w + h, 5*h + 25 = v. Solve w = 5*s - s for s.
0
Let h(w) = 2*w**2 - w - 1. Let b be h(-1). Suppose 0*u = -b*u + 12. Suppose -d - 5*m = 8, 0*d - 2*d + 5*m = -14. Solve u = 2*a + d for a.
2
Let s(z) = 3*z**2 - 5*z - 10. Let g(b) = -b**2 - b. Let w(y) = -4*g(y) - s(y). Let t be w(-8). Let c = 64 - 44. Solve 2*o + c = -t*o for o.
-5
Suppose o + 20 = -5*h + 6*o, 0 = 2*o - 8. Suppose 2*z = 6, 10 = y - 2*z + 5*z. Solve h = -2*s + 1 + y for s.
1
Suppose 9 = t + 5. Solve 0 = c - 0*c - t for c.
4
Let n(c) be the first derivative of -c**3/3 - 6*c**2 - 8*c + 11. Let d be n(-11). Solve -1 = -d*l + 8 for l.
3
Let c be 9 + -3 + 1 + -2. Suppose -x - k = -4*x + 4, 2*x + k = 11. Solve x - 28 = -c*d for d.
5
Let j be (5/(-2))/((-14)/28). Solve -3*i - j = -2 for i.
-1
Let p = 3 + 1. Solve -p*k - k = -25 for k.
5
Let r be 2/2 - (7 - 6). Solve r = -p + 4*p + 3 for p.
-1
Suppose -v + u + 3 = 2*u, u = v + 3. Solve -2 = -2*a - v for a.
1
Suppose n - 4*q - 2 = q, 0 = 2*n + 3*q - 4. Suppose -3*m + 15 = 0, -3*y + 1 = -n*y + 2*m. Let l = 9 + y. Solve l = t - 3*t for t.
0
Let k(m) = m**2 + m + 1. Let w be k(-2). Solve -7*a = -w*a + 8 for a.
-2
Let t(b) = b**2 + 7*b - 5. Let f be t(-8). Solve f*w = -2*w for w.
0
Let b(c) = -c**2 + 4*c - 2. Let t be b(2). Solve t*y = y + 5 for y.
5
Let r(v) = 3*v**3 - 5*v**2 + v - 2. Let y(x) = -10*x**3 + 16*x**2 - 2*x + 6. Let h(m) = -7*r(m) - 2*y(m). Let i be h(2). Solve -4*o + 3*o + 2 = i for o.
2
Let x = -37 - -37. Solve -5*d + x*d = 10 for d.
-2
Let a be -2 + 4/(-6)*6. Let q = 1 - a. Let k(n) = n - 4. Let f be k(q). Solve -i = f*i + 20 for i.
-5
Let g(d) = -4*d - 26. Let a be g(-8). Solve -y = y + a for y.
-3
Let g be 60/(-14) + 12/42. Let o = -3 - g. Let l(x) = -x**3 + 1. Let y be l(o). Solve y*n + 3*n = 15 for n.
5
Let r = 4 + -2. Let o(i) = -i**3 + 5*i**2 + i + 6. Let a be o(5). Let w = -4 - -7. Solve -w*c = -r + a for c.
-3
Let j be 7/(-3) - 4/(-12). Let u(p) = -3*p - 2 + 0*p + 2*p. Let o be u(j). Solve 3*t = -o*t for t.
0
Suppose 0*l - 6 = -3*l. Let d(u) = -4*u**2 + 2*u - 1. Let m be d(2). Let f = m + 25. Solve l*r + 4 = f for r.
4
Suppose 4*w = -4*c - 20, -w = -c - 3 - 2. Let o = 4 - w. Suppose 0 = -0*a + o*a - 12. Solve 0 = 2*t + a*t + 5 for t.
-1
Let n = 0 - 1. Let k(a) = -2*a**3. Let x be k(n). Suppose 0 = -x*z - 0*z. Solve z = -4*f + f + 6 for f.
2
Let z(c) = c + 8. Let h be z(-4). Suppose 0*v - 56 = -4*v. Suppose 4*b + v - 74 = 0. Solve -h*a - 5 - b = 0 for a.
-5
Let n = 28 + -42. Let z be 4/n + 9/7. Let o be (20/(-4))/(z*-1). Solve o*q + 8 = q for q.
-2
Suppose -3*r + 11 + 28 = 0. Let q = r + -11. Solve -14 = -3*u - q for u.
4
Let k(z) be the first derivative of 2 - 1/2*z**2 + 1/3*z**3 - 5*z. Let t be k(-5). Solve 0*s = 5*s - t for s.
5
Suppose -i = -f - 3*i - 3, 0 = -f - 4*i - 9. Solve g = f*g for g.
0
Suppose -3*i = -i - 2. Let p(j) = -j**2 - 3*j + 5. Let h be p(2). Let g(c) = -c**2 - 6*c - 1. Let v be g(h). Solve -v = -y + i for y.
5
Let h = -1 + 3. Let f(y) = y**3 + 8*y**2 + 5*y + 9. Let m be f(-7). Suppose 4*k = -5*p + m, -4*p = 4*k - 6*p - 2. Solve 4 = -h*v + k for v.
-1
Suppose 30*g - 29*g = 0. Solve g = m - 1 - 3 for m.
4
Let j = 4 - -9. Let m = j + -7. Let p(o) = o**2 - 5*o - 6. Let h be p(m). Solve 0*g - 2*g + 4 = h for g.
2
Let r(s) = 3*s - 6. Let n be r(4). Suppose 5*v - 25 = -4*y, 0 = -5*y - n*v + 3*v + 28. Solve -y*c = 17 - 7 for c.
-2
Suppose -4*y + 90 = 2*n, 6*n = 5*y + 4*n - 90. Solve y*q - 17*q = -6 for q.
-2
Let p(m) = -m**3 + 7*m**2 - 4*m - 10. Let x be p(6). Solve x = -2*r - 6 for r.
-4
Let f be ((-20)/(-4) + -4)*9. Solve 0 = 3*r + 6 + f for r.
-5
Let c be 8/5 - (-8)/20. Suppose -c*s = -s. Solve s*o = o for o.
0
Let v be (3 - 2) + 4/4. Suppose 7 = v*j + 1. Solve -j*r = -r for r.
0
Suppose -d = d - 12. Suppose -5 = -g - 5*n, -4*g + 20 = -n + d*n. Solve 8 = -g*a + a for a.
-2
Let u(w) = -3*w - 1. Let x be u(-1). Let k = 8 + -5. Suppose -k*h = -4 - x. Solve -2 - h = 4*r for r.
-1
Suppose 6*g = g + 55. Let n = 16 - g. Solve 5*t = n + 10 for t.
3
Let n = -28 + 40. Let z(c) = -c**2 + 7*c - 4. Let s be z(5). Suppose -4*l + 44 = -2*b, 5*b = 4*l - 2*l - s. Solve 0 = 5*i - l - n for i.
5
Let k(a) = -a + 3. Let f be k(5). Let j be 9 - f/(-4)*4. Solve j = -5*h + 2 for h.
-1
Suppose -3*p - 95 = -5*g, 4*g - 4*p - 100 = -g. Solve 4*r = -0*r - g for r.
-4
Let v(y) = y**2 - y + 1. Let u be v(2). Suppose -4*g - 5 = 5*a, g - u*a - 2*a - 5 = 0. Let p be 2/(-4)*-1*g. Solve -h - 4 + 2 = p for h.
-2
Let z(f) be the second derivative of f**4/12 + f**3/6 - f**2 - f. Let t be z(-5). Suppose -4*d - 6 + t = 0. Solve d = y + 2*y for y.
1
Let k = 6 + 1. Suppose l + 0*f - k = -2*f, -f - 4 = -2*l. Solve -l*u = -5*u - 2 for u.
-1
Let a = 6 + -4. Solve a = r - 0 for r.
2
Let w be 52/8 + (-1)/2. Solve -w*x - 5 = -x for x.
-1
Let b(r) = r**2 + r + 7. Let l be b(0). Solve 0 = l*q - 2*q + 20 for q.
-4
Suppose 2*w = -3*w + 20. Suppose 0 = -h + w*h. Solve 0 = l - h*l - 4 for l.
4
Let c = 5 - 3. Suppose 0 = c*i - 6*i. Suppose -3*u + 4 = -u. Solve u*x - 7 - 1 = i for x.
4
Let p(x) = -4*x - 12. Let u be p(-4). Suppose 3*k = 5*k. Solve -u*r + 0*r = k for r.
0
Let p(v) = v**3 - 2*v**2 + 2*v - 3. Let g be p(2). Suppose 8 = 5*q - 4*f, -q - q + 3*f = g. Solve 5 + 3 = q*h for h.
2
Suppose 2*v - 2*f = 6*v - 16, f + 16 = 4*v. Let a = 10 + -5. Solve v*c + a