g/3)/((-10)/(-45)). Solve 0 = -d - a*d + 4 for d.
1
Suppose 7 = -3*v + 22. Suppose -v*c + c = -20. Solve 5*d - c = -0*d for d.
1
Let m = 722 + -506. Let n = m - 121. Suppose 2*z - 3 = -5*h + 7, -5*h - n = -5*z. Solve s + 2*s + z = 0 for s.
-5
Let a be 90/(-4)*6/(-5). Solve a = 5*n + 7 for n.
4
Let q(u) be the first derivative of u**3/3 - u**2/2 + u + 2. Let y be q(0). Solve -4*i - y = 7 for i.
-2
Let u be 6/(21/(-30) - -1). Suppose -y = 3*y - u. Let g = -4 + y. Solve 16 = 3*v + g for v.
5
Let s(y) = 4*y - 1. Let o be s(1). Solve 0 = o*c - 13 - 2 for c.
5
Let q be (-1 - 1) + -18 + 0. Let n = q - -20. Solve 6 = 2*i - n for i.
3
Let k(h) = -h**2 + 12*h - 8. Let f be k(11). Solve 0 = -m - 0 + f for m.
3
Suppose n - 3*l = 6, 2*n + n + l = -2. Let i = -26 - -30. Suppose -s = 2*s. Solve d + n + i = s for d.
-4
Let b(m) = m**3 - 7*m**2 - 8*m + 2. Let n be b(8). Suppose 2*w = -w + n*p + 12, 2*w - p - 7 = 0. Solve 4*v - w*v = -10 for v.
-5
Suppose 0*a = -a + 5*m + 5, 0 = -2*a - 5*m - 5. Let r(s) = s + 4. Let n be r(-2). Solve 0 = -n*d - a + 6 for d.
3
Suppose -2*t = -3*d + 7 + 2, 3*t + 7 = -2*d. Suppose -w = 2*w. Solve -h + d + 2 = w for h.
3
Let q be 0/(-2 + 3 + -3). Solve q = m + 1 - 6 for m.
5
Let l be (0 + 0)*(-2 + 1) - -3. Solve -2*g - l - 7 = 0 for g.
-5
Let m = -4 - -6. Let b(q) = -4 - m*q + q - 3*q. Let d be b(-3). Solve 0 = -3*s - d - 7 for s.
-5
Let x = -5 - -7. Solve x + 18 = 5*t for t.
4
Suppose 5 - 8 = -y. Solve 12 = -5*z - y for z.
-3
Suppose -3*h - 1 = -4. Suppose -h = s - 2. Let g(f) = 3*f. Let b be g(s). Solve -c = -b - 1 for c.
4
Let s(n) = -n**3 - 2 + 4 - 8*n + 10*n**2 - n. Let c be s(9). Suppose 0*j = 5*j - 100. Solve 0 = c*g - 7*g + j for g.
4
Suppose -3*j + 12 = 5*k, -9 + 0 = -3*k. Let z be 0 + (-6)/(-1 + j). Solve 4*x - z*x = 0 for x.
0
Let p = 14 + -8. Let y be ((-6)/(-9))/(2/p). Solve y*j = -2*j + 4 for j.
1
Suppose -4*x - 4*v + 16 = -3*x, 2*v = 2. Let z be 8/3 - 2/(-6). Suppose 2*m = 2*w + 12, -x = -z*w + 6*w. Solve m*j - 8 = -2*j for j.
2
Let m be -1 - (-3)/(-6)*-14. Let h(v) = v - 3. Let j be h(m). Solve -j*t = -2*t - 3 for t.
3
Suppose -28 = 2*c - 3*x, -2*c = 3*x - 9 + 25. Let b = 1 - c. Suppose 0 = v - 5*a - 6, 0*v - a + b = 2*v. Solve -4*l + v - 18 = 0 for l.
-3
Let z(o) be the first derivative of -3*o**2/2 - 3*o + 2. Let d be z(5). Let f be d/4*(-20)/6. Solve a = 4*a + f for a.
-5
Suppose j = -4*j - 5*d - 15, 0 = -2*j - 5*d - 21. Let c(n) = -2*n**3 - 2*n**2 + 3*n + 2. Let p be c(-2). Solve -p = -g - j for g.
2
Let c be 20/(-25) - 24/(-5). Solve -c*v - 3 - 9 = 0 for v.
-3
Let d = 9 - 7. Solve 0 = 4*f - d*f for f.
0
Suppose -3*u + 14 = -0*u - 2*k, 3*k = u - 7. Solve u*l = 2*l - 10 for l.
-5
Let d = 6 + -3. Suppose 8*k = d*k + 10. Let l be k/(-8) + (-68)/(-16). Solve l*a = 10 + 2 for a.
3
Let r(h) = -5*h + 3*h + h - 2. Let a be r(-3). Let c(n) = 2*n + 24. Let x be c(-10). Solve -9 = -x*q - a for q.
2
Let w be -6 - -8 - (-4)/2. Suppose w*d = 2*d + 24. Solve -5*p + 2*p = d for p.
-4
Let m(x) = 2*x + 2 + 3*x**2 - 2*x**2 + 0*x**2. Let d be m(-3). Solve 2*o + 1 + d = 0 for o.
-3
Let j be 2/3 - 10/15. Solve j = -0*v - v for v.
0
Let a be 2*(23/2 + -3). Suppose -2*t - 3*v - 4 = -a, 3*t = -3*v + 21. Solve 0 = 3*f + f + t for f.
-2
Suppose 2*n = 5*m - 4*m - 20, 2*m - 45 = -n. Suppose 4*g = -g - b + 22, -3*g - 5*b = -m. Solve -15 = -g*r + r for r.
5
Suppose -p + 8 = p. Suppose 4*j = p*r - 20, r + 3*j = -0*j + 1. Solve 0*d + d + r = 0 for d.
-4
Let f(s) = -3*s - 2 + s - 7. Let o be f(-6). Let p be 1/(10/(-6) + 2). Solve o + 0 = -p*h for h.
-1
Let b(y) = y**3 + 4*y. Let v be b(0). Solve v + 2 = -s for s.
-2
Let g = -1 + 1. Solve l = -g*l + 4 for l.
4
Suppose 0 = -3*z + y + 10, -4*y = -4*z + y + 28. Solve -6 = -i - z*i for i.
2
Suppose 4*d - 10 = -d. Suppose -7*m + 2*k = -2*m - 13, 0 = -4*m - d*k + 14. Let f(t) = 6*t - 3. Let n be f(3). Solve 2*a = -m*a + n for a.
3
Let k = 49 - 43. Let p(s) = -s**3 - 2*s**2 + s - 2. Let f be p(-3). Solve k = f*c - c for c.
2
Let r(v) = -v**3 + v**2 + 4. Let a be r(0). Let n = 23 + -8. Suppose 4*w = -4*s + 48, a*s - 21 = -3*w + n. Solve 3*i - w + 0 = 0 for i.
4
Let w(c) = c - 1. Let x be w(7). Let l(p) = p**3 - 3*p**2 - 5*p + 4. Let q be l(4). Let u = 2 - q. Solve -x = -u*o + 4 for o.
5
Suppose -3*l + 4*z = -29, -l = 2*z - 0*z - 23. Let b = -11 + l. Solve -p + 10 = b*p for p.
2
Suppose 5*a - 3 = 3*c + 16, 3*c - 1 = a. Suppose 13 - 40 = -f + 5*m, 3*m + 21 = 3*f. Solve -u - f = c for u.
-4
Suppose 32 = 4*h + 5*n, 3*h = -n - 0*n + 13. Suppose 7*v = h*v + 40. Solve l - v = -l for l.
5
Let p be 4/22 + 97/11. Suppose 1 = -4*t + p. Solve 12 = -t*u + 2 for u.
-5
Let k(d) = -d**3 - 5*d**2 + 5*d + 4. Let p be k(-6). Solve p = -3*v + 1 for v.
-3
Let j(u) = u**3 - 6*u**2 - 11*u + 13. Let c be j(7). Suppose -x + 1 = -2*x. Let p be c/(-9) + x/(-3). Solve z - p = -3 for z.
-1
Let f(g) = g**3 - 6*g**2 + 2*g - 9. Let n be f(6). Suppose n*q + 5*z = 34, 3*q - 4*z + 5 = -6. Solve 2*m + 5 = q*m for m.
5
Let c(s) = -s - 2. Let r be c(-3). Suppose 5*i - r = 19. Suppose 3*n - i*n = -2. Solve -1 = n*q + 9 for q.
-5
Suppose -3*c + 52 = 2*d, 4*d - 44 = 5*c + 16. Let y = d + -12. Suppose y - 2 = 2*x, 5*x = -4*t + 27. Solve -8*j = -t*j + 20 for j.
-4
Let j = -47 + 50. Solve 0 - j = 3*y for y.
-1
Let a = -5 - -3. Let v be a/(-2)*12 - 2. Suppose -5*p + v = -0*p. Solve 0 = -p*l - l for l.
0
Let a be (-2)/(-4) + 26/4. Let p = -5 + 7. Suppose -d = 0, p*d = s - 3*d - 4. Solve -s = -3*r + a*r for r.
-1
Let s be (-5 + 6)/(2/(-6)) + 9. Solve 0 = 4*j + s + 10 for j.
-4
Let r = -3 + -2. Suppose j = 2*i - 0 - 1, 4*j - 3*i = 16. Let m = r + j. Solve -m + 22 = 4*t for t.
5
Let r(v) = 5 - 6 - 4*v - 3*v + v**2. Let c be r(6). Let f = -5 - c. Solve b + 12 = -f*b for b.
-4
Suppose -5*y = -2*y + 216. Let i be (y/15)/((-6)/20). Suppose -3*n = -4*o + 17 - 2, 5*n = 5*o - 20. Solve -d = o*d + i for d.
-4
Suppose -2*s = -6 - 0. Let b be ((-6)/(-2) - s)/2. Solve b = 5*p - 11 - 9 for p.
4
Let k be (-3 - -3)/(-2) - -7. Suppose 0 = -3*v + k*v. Solve 0*r + r + 1 = v for r.
-1
Suppose 0*i = 2*i - 54. Suppose 3*w + 5*u = i, 5*u + 4 = 5*w - 1. Suppose 0 = -5*f - 6 + 31. Solve w*r + r = f for r.
1
Suppose -4*a - 5*o - 8 + 2 = 0, -2*a = -4*o + 16. Let p be (6/4)/((-2)/a). Suppose p*m = -0*m + 24. Solve -m = -4*w + 2*w for w.
4
Suppose 0 = q + 14 - 17. Let y(x) = -x**3 + 2*x**2 + 4*x - 3. Let i be y(q). Solve 2*w - 7 - 1 = i for w.
4
Suppose -z = 5*i - 0*z - 18, 3 = -4*i + 5*z. Suppose 0 = 3*o + 9, -i*o = 2*a - o. Solve -2*d + 7 = -a for d.
5
Let m be 5*((-8)/20 + 2). Solve -a = a - m for a.
4
Suppose 3*c = -0*d + 5*d - 24, 0 = 5*d + 5*c - 40. Suppose 11*b = d*b. Solve b = -4*y + 7*y - 12 for y.
4
Let c be -2*1*3/(-6). Let j = c - 1. Let f be j - 0 - (4 - 27). Solve 3 - f = 5*t for t.
-4
Let i(n) = n**3 + 8*n**2 + 5*n - 5. Let d be i(-7). Solve d = -l - 2*l for l.
-3
Let z(r) = 11*r**3 + 21*r**2 + 12*r + 3. Let h(l) = 5*l**3 + 10*l**2 + 6*l + 1. Let o(c) = -13*h(c) + 6*z(c). Let y be o(5). Solve y = -3*p + 11 + 4 for p.
5
Let g be 11 + -11 + -1 + 1. Solve -2*l - 2*l = g for l.
0
Suppose 2*f + 4 + 8 = 0. Let x be 26/10 + f/10. Solve -t + 0*t = -x for t.
2
Let i be 1/(-3) - (-4)/12. Solve -2*m + 0*m + 4 = i for m.
2
Suppose 5 = 5*n - 5. Solve -n*t = 10 - 0 for t.
-5
Let r be (3 + -4)*(-5 + -2). Solve r = -5*w - 3 for w.
-2
Let k = 5 - 6. Let b = 0 - k. Solve -3*n + b = 4 for n.
-1
Suppose 3*j + 13 = v, 4*j = -v - 2*v. Solve -12 = 4*x + v for x.
-4
Let c be 9/(-7) + 4/14. Let s = -1 - c. Let v = s - 0. Solve -x + v*x = -5 for x.
5
Let f(t) = 2*t - 11. Let j be f(7). Suppose n = -j*n + 16. Solve n = a - 1 for a.
5
Suppose -2*y = 4*c + c - 30, -10 = 2*y. Solve 0 = m - 3*m - c for m.
-4
Let p = 2 + 8. Solve k + k + p = 0 for k.
-5
Suppose 0 = 3*p - 2*t - 34, 2*p = 3*p - 2*t - 10. Let m(v) = -v + 14. Let z be m(p). Let j(f) = f**3 - 4*f**2 + 3*f + 3. Let k be j(3). Solve -w + z = -k for w.
5
Let d be (-8)/(-3)*(-19)/((-38)/15). Solve -4*j + d - 4 = 0 for j.
4
Suppose 3*p + 2*c = 11, -c = 2 - 0. Let v = 14 - p. Let r = v - 3. Solve -3*x + x - r = 0 for x.
-3
Suppose 5*k + 3*y = -5, -k - 4*k - y + 5 = 0. Let v = 7 - -3. Solve 0*j + k*j + v = 0 for j.
-5
Suppose -4*u - 13 = -2*i - 3, i - 10 = -3*u. Solve i - 3 = 4*l for l.
1
Let t be ((-6)/4)/((-6)/28). Let n = t + -3. Le