7 - 3. Suppose 2 + 2 = h*c. Let g be (1/c)/((-2)/(-4)). Solve 0 = 2*q + g*q for q.
0
Suppose 4 = -2*a, -5 = -5*y + 3*a + 21. Suppose 18 = y*v - v. Let s = v - 1. Solve -s = b - 3 for b.
-2
Suppose -243 = -9*t - 18*t. Let i(r) = r**3 + r + 6. Let w be i(0). Solve 5*p + t = -w for p.
-3
Let y = -14 + 20. Suppose -4*v - y = -7*v. Solve -3 = -v*z + 7 for z.
5
Let a be (-2)/(-9) - (-25)/9. Let b = a + -2. Let v be 3 - b - (-1 - -2). Solve 9 = -2*z - v for z.
-5
Let t be (8/(-2))/4 - -6. Suppose -j - 3*j = 3*g + 9, 0 = g + 2*j + t. Let s(h) = -h**3 + h. Let w be s(-2). Solve -m = -w + g for m.
5
Let h(p) = 2*p + 9. Let q(n) = n + 4. Let g(k) = 2*h(k) - 5*q(k). Let m be g(-5). Suppose 2*w = 3*y - 16, 2 = m*y + 5*w - 0. Solve y*d = -d for d.
0
Let h = -74 + 79. Solve z = 2 - h for z.
-3
Let f = 8 + 26. Solve 4*i - f = -14 for i.
5
Let a(p) = -3*p + p**2 + 4*p + 0*p**2 - 2*p**2. Let q be a(-1). Let z be q/9 + (-60)/(-27). Solve z*v = v + 4 for v.
4
Suppose -3*n - 4*j + 31 = 0, 3*n = 2*n - 3*j + 7. Let y be n/3 - (-2)/(-6). Let v be (-2)/y*(2 - 2). Solve -3*t + 0 + 3 = v for t.
1
Suppose 0 = 6*x - 10 - 14. Solve -5*c - 19 = -x for c.
-3
Let w(q) = -q**3 - 8*q**2 - 8*q + 8. Let u be w(-7). Suppose 2*x + x = u. Solve -2*s + x - 13 = 0 for s.
-4
Let s be 3*(25/3 + -3 + -4). Solve -2*c + s = 6 for c.
-1
Let z be -4*1 + (-108)/(-12). Solve 0*m + 5 = -z*m for m.
-1
Let b(t) = -t**2 - 2*t + 3. Let i be b(-3). Suppose -4*v + f + i*f + 20 = 0, v = f + 8. Solve -10 = -v*c + 10 for c.
5
Let a = 22 + -12. Solve -4*t + a = t for t.
2
Let l(k) be the third derivative of k**6/120 + 7*k**5/60 - 7*k**4/24 + 5*k**3/3 - k**2. Let u be l(-8). Solve -y = u*y for y.
0
Suppose -204 = -2*u - 2*q, 2*u = -0*u + 3*q + 189. Let w be u/15 + 4/10. Let k be ((-1)/3)/(w/(-63)). Solve -k*r = -6 + 3 for r.
1
Let c = 18 - 14. Solve c = 2*x - 2 for x.
3
Let k be (-51)/9*-3 + 1. Suppose -14*h = -k*h. Solve h = -0*i + 3*i for i.
0
Let t = -147 - -79. Let r be t/(-16) - 2/8. Solve -r*c + 12 = 32 for c.
-5
Let v be 13 + (4/1)/2. Suppose 0 = 5*w + 4 + 26. Let g be 7/4 + w/(-24). Solve -g*c - c = -v for c.
5
Let g(c) = c**3 - 3*c**2 - 3*c - 4. Let h be g(4). Let f = 1 - -3. Let m = f + 2. Solve h = z - m*z + 5 for z.
1
Suppose b = -b + 3*b. Solve b = -3*m + 2 - 17 for m.
-5
Suppose -3*v + q + 6 = -9, -4*v - 3*q + 7 = 0. Solve -v*s + 8 = 4 for s.
1
Let m(a) = a**3 + 7*a**2 + 12*a + 12. Let w be m(-5). Solve -h + w = -3 for h.
5
Let z(t) = t. Suppose -16 = -3*n - 4. Let w be z(n). Suppose -5*o - 3*q + 11 = 0, w*o + o - 3*q - 29 = 0. Solve d + o*d - 10 = 0 for d.
2
Suppose 0 = 4*w - 4*m, w - 4*w = -m + 4. Let g = 0 - w. Solve -g*f - 3 - 3 = 0 for f.
-3
Suppose 5*f + 9 = -6. Let g(i) = i**3 + 4*i**2 + 2*i - 1. Let d be g(f). Let w(h) = -h**3 - h**2 + h + 1. Let m be w(-2). Solve -d*o = -m*o for o.
0
Suppose 2*t = 3*v + 9 + 2, -4*v = -5*t + 24. Suppose m + 2 = 6. Suppose 0 = m*d + d - 40. Solve -8 = -t*c + d for c.
4
Let k(d) = -d**2 + 2*d + 15. Let n be k(-3). Solve -3*x - 6 + 0 = n for x.
-2
Let j(b) = -b**2 - b + 12. Let m be j(-4). Solve x + m*x = -3 for x.
-3
Let h(n) = -n + 9. Let j be h(6). Suppose -j = d - 2*d. Suppose -5*l - 4*w - d = 5, l - 4*w = 8. Solve -q + l + 3 = 0 for q.
3
Let d be -1 - -1 - -5*1. Solve d = 2*f - f for f.
5
Let a(i) = -i - 9. Let f be a(-10). Solve 2*x = x + f for x.
1
Let z(y) = y**3 + y**2 - 4*y + 4. Let u be z(2). Solve 2*f + u = -2*f for f.
-2
Let g(q) = -q**3 + 8*q**2 + q + 3. Let v be g(8). Let m = v - 11. Solve m = 5*t - 0 - 20 for t.
4
Let n(c) = -c**2 - c + 4. Let j = 0 - 0. Let l be n(j). Solve -5*k - l - 1 = 0 for k.
-1
Let l be (-1 - -23)*3/(-6). Suppose -o = -3 + 10. Let b = o - l. Solve -4 = -0*u - b*u for u.
1
Let b(z) = z + 5. Let a be b(-4). Let i be (a/(-2))/((-7)/28). Solve -w = -0 - i for w.
2
Let t(y) = -y**3 + 2*y**2 + 4*y - 3. Let w be t(3). Solve w*o = -4*o - 8 for o.
-2
Let i = -7 + 3. Let g = -4 - i. Solve 2*j - 4*j - 10 = g for j.
-5
Suppose -16 = 17*r - 25*r. Solve -x + 0 = -r for x.
2
Suppose 2*t - 20 = 8*j - 10*j, 5*j - 10 = -t. Solve -t = -p - p for p.
5
Suppose -3*m = 3*b - 99, -b - 2*m + 33 = -0*b. Let g be 2/(-3)*b/(-2). Let t = -7 + g. Solve 0*a = t*a + 4 for a.
-1
Let r(c) = c**2 - 6*c - 3. Let x be r(5). Let v = -14 - x. Let n = v - -14. Solve -5*z + n = -2 for z.
2
Let d(o) = o**2 + 2*o - 3. Suppose -2*l = 5*c - 20, -2*l + 8 = -c - 0*c. Let f be d(l). Suppose 0 = -y - y + f. Solve 0 = 6*n - 2*n + y for n.
-4
Suppose -4*v = -5*z - 21, 0 = -5*v - 2*z - 0*z + 18. Solve 0 = -o - v for o.
-4
Let m be 3 + 0 + -2 + 2. Suppose 0 = p - 18 + m. Solve 3*j - 8*j = p for j.
-3
Suppose -5*m + 11 = j, j - m - 2 + 3 = 0. Suppose d - j - 6 = 0. Suppose 0 = -4*u + 5*q + 90, 0 = -u + q + 7 + 16. Solve 0 = -d*g + 2*g + u for g.
5
Let b be 24/14 + (-6)/(-21). Solve -l = -b*l for l.
0
Let u be -12*1 - (-2)/(-2). Let f = -8 - u. Solve -f*g + 1 = -4 for g.
1
Let h = 0 + 3. Suppose 2*l - 15 - h = 0. Suppose -i = 2*i - 6. Solve -j + l = i*j for j.
3
Suppose c + 29 = 8*n - 3*n, 4*c = -16. Let k(s) = s**2 - 5*s + 5. Let b be k(n). Solve 0 = b*d - 2*d for d.
0
Let i = 14 + -12. Solve 5 = -3*l - i*l for l.
-1
Let a(p) = p - 6. Let j be a(8). Suppose -j*y + 6 = z, 2*z - y = -2*z + 15. Solve 12 = -z*v + v for v.
-4
Suppose 28*w - 24*w - 20 = 0. Solve 0 = -i + w for i.
5
Suppose -n + 3*g = 14, 0*n - n + 5*g = 24. Solve f - n - 1 = 0 for f.
2
Let r be 4/(-10) - (-66)/(-10). Let l = r + 11. Suppose 4*y = 4*h - l, -3*h + 5 - 2 = 2*y. Solve k - 1 = -y*k for k.
1
Suppose 2*x - 2*y = -4 - 6, 3*y = -5*x + 15. Suppose 3*i + 4 - 16 = x. Solve 3*a + 1 = i*a for a.
1
Let o be ((-14)/4 - -2)*-52. Suppose 4*n = -0 - 8, -611 = -3*k + n. Suppose -5*p + k = o. Solve 5*d - p = -0*d for d.
5
Suppose 4*p = -28 + 28. Solve p = -4*l + 7 + 13 for l.
5
Let b be 2/(-2) + 1 - 0. Let n = 2 - 3. Let c be 2 + -1 + (b - n). Solve c*f = f for f.
0
Let y be ((-1)/2)/((-6)/12). Suppose 5 + y = 2*d. Solve z = d*z + 4 for z.
-2
Suppose -4*y = -2*z - 6, -y = 2*y - 2*z - 2. Solve -y = 3*w - w for w.
-2
Let x be 3/1 + 4/(-4). Suppose -x*y + 8 + 12 = 0. Solve n - y = 3*n for n.
-5
Let l be 17/((-14)/(-4) - 3). Suppose o = -4*o - 3*b + l, -b = -5*o + 22. Solve -4 = -a - o for a.
-1
Let i(k) = k**3 + 7*k**2 + 7*k + 9. Let g be i(-6). Solve 0 = g*v - 3 - 6 for v.
3
Let s be (18/(-4))/((-6)/(-16)). Let y be (1 + 2)*(-20)/s. Suppose 2*g = l - y*l + 40, 4*g = -l + 10. Solve -3*n = 2*n + l for n.
-2
Let i = -149 - -157. Solve i = -0*f - 2*f for f.
-4
Let d be (1/(4 + -5))/((-1)/5). Solve -2*j - 1 = d for j.
-3
Let r(d) = -d**3 + 20*d**2 - d + 20. Let n be r(20). Solve n = 5*g - 3*g - 8 for g.
4
Let i be 306/126 - 6/14. Solve -c = i*c - 9 for c.
3
Let m be (-4)/10 + 9/(45/2). Solve m = -2*n - 3*n for n.
0
Suppose -6*l + 7*l = -2. Let w be (-1 + l + 2)*-5. Solve -4*x + w*x = -2 for x.
-2
Let q(l) = -7*l - 1. Let p be q(-1). Let k(r) = -r + 6. Let a be k(6). Suppose 0 = -o - a + p. Solve 3*z = -0*z + o for z.
2
Suppose y = 5 - 0, -k - 5*y = -25. Suppose 0 = 2*q - k*q. Let z be -2 - -1*27 - q. Solve -3*t + z = 2*t for t.
5
Let z(s) be the first derivative of s**3/3 + 13*s**2/2 + 2*s + 3. Let t be z(-13). Suppose -t*k + 5 = 1. Solve k*w - 6 = 2 for w.
4
Let l(j) = 2 + 2*j - 9*j**3 + 3*j - j**2 + 8*j**3. Let r be l(-3). Let b = 55 - 35. Solve b = m - r*m for m.
-5
Let q = -26 - -26. Solve q = 5*l + 8 - 23 for l.
3
Suppose -m = -4*m. Solve m*t = t for t.
0
Suppose -4*s = 3*t + 44, 55 = -5*s + 2*t + 3*t. Let f = -7 - s. Solve -12 = -0*c - f*c for c.
3
Let c = -4 + 5. Let t(k) = 17*k + 1. Let p be t(c). Solve -2 = 5*s + p for s.
-4
Let u(m) = m**3 - 5*m**2 - 5*m - 5. Let i be u(6). Let p be -9*2/(-6)*i. Solve 0 = -2*l - 3 - p for l.
-3
Let i be 90/20 + (-2)/(-4). Let v = 3 + -3. Solve -25 = i*r - v*r for r.
-5
Let j = -7 - -9. Suppose -j*z + 2*h = -2, 4*z - 1 = 2*z + 3*h. Suppose -2 = -l - 1. Solve -z - l = -3*f for f.
1
Let o be (-121)/(-66) - 1/(-6). Suppose 3*j - o = 10. Solve n + j*n = -15 for n.
-3
Let h(z) = -z**2 - 6*z - 1. Let r be h(-5). Suppose 4 = 4*a - r. Solve a*j = 7 - 17 for j.
-5
Let u(o) = -o**3 + 2*o**2 + 5*o - 3. Let p be u(3). Solve -p*t + 11 + 1 = 0 for t.
4
Let k(t) be the third derivative of -t**5/60 + t**4/2 - 7*t**3/6 - 3*t**2. Let s be k(11). Solve -s*o = -5 - 3 for o.
2
Let p be (9/1