 m. Suppose 0 = -4*u - 5*k + 21, 4*u - 2*u = h*k + 4. Solve -u*v + 3 = -v for v.
1
Let l(t) = -4*t - 32. Let f be l(-8). Solve f = 5*y + 2*y - 14 for y.
2
Let q = 136 - 73. Let v be ((-8)/6)/((-6)/q). Suppose -v = -f + 9. Solve 5*h - f - 2 = 0 for h.
5
Let b be (8/6)/((-8)/48*4). Let f be (-1)/4*b*(7 - 7). Solve 5*y - 4*y = f for y.
0
Let b(s) = s**2 - 10*s + 19. Let u be b(8). Suppose 3*f - 3 = -u*g + f, g = -5*f - 12. Solve 0 = -g*l + 4*l + 5 for l.
-5
Let p be (-1 - (9 - 43)) + -2 + 1. Solve -p*y + 31*y + 2 = 0 for y.
2
Let b(n) = -n**2 + 6*n - 3. Let v be b(2). Suppose v*f = -34 - 66. Let w = f - -22. Solve -w*r - 3*r = 0 for r.
0
Let r(t) = t**3 + 10*t**2 + 2*t + 20. Let c be r(-10). Solve -4*p + 21 - 5 = c for p.
4
Suppose 5*i = 5*s + 4 + 21, 4*s + 23 = 5*i. Suppose 0 = -4*p - 0*p + 8. Suppose 2*l = -2*u + 8, -i*l + p = -1. Solve -3 - 6 = -u*x for x.
3
Let c be ((-5)/(-10) + (-38)/4)*-1. Solve -c*s = -27 - 9 for s.
4
Suppose 167 = 2*q - q. Let n be q/11 - (-8)/(-44). Solve -4*c + 1 = -n for c.
4
Let p be 0 - (-1*12)/3. Let m(v) = v**3 - 3*v**2 - 2*v - 5. Suppose 0*b - 8 = -2*b. Let a be m(b). Solve p*c = -a - 1 for c.
-1
Let r = 61 + -55. Solve r*v - v = 15 for v.
3
Suppose 7*c - 9*c = -16. Let r(t) = -t. Let l be r(c). Let q = -3 - l. Solve 0*b + q = b for b.
5
Let f = 18 + -27. Let m(b) = -2*b + 1. Let a be m(0). Let z be (6/f)/(a/(-6)). Solve z*i - 3 = i for i.
1
Let j(v) = 10*v - 33. Let h be j(4). Solve -h = 7*q + 14 for q.
-3
Let w(g) = 2*g**3 - 3*g**2 - 9*g + 12. Let h be w(3). Solve 3*t + h = 7*t for t.
3
Let i = -1155 + 1169. Solve 3*o - i = -26 for o.
-4
Let k(m) = 3*m + 21. Let y(r) = 4*r + 20. Let w(o) = 5*k(o) - 4*y(o). Let d be w(23). Solve d*f = 2 - 10 for f.
-4
Let l(f) = 14*f + 255. Let u be l(-18). Solve u*z = -7*z - 8*z for z.
0
Suppose 0 = p - 5 - 1. Let s(x) be the second derivative of -x**4/12 + 7*x**3/6 + 4*x**2 - 8*x. Let m be s(p). Solve -3*u - 2 = -m for u.
4
Suppose 314*s - 306*s = 24. Let h be 4/(-10) + (-67)/(-5). Solve s*k + 1 = h for k.
4
Let h be (3/(-3) - 10)/(-1). Solve r + h = 8 for r.
-3
Let s = 201 - 198. Solve 2*v = s*v + 4 for v.
-4
Let u(j) = 2*j**2 - 2*j - 2. Let f be u(2). Let v be (2 + 18)*-10*(-4)/10. Suppose 3*k = f*k + 4, -3*c - 5*k = -v. Solve 0*i = 5*i - c for i.
4
Let a(d) = -7*d - 12. Let h(n) = -20*n - 36. Let w(u) = -17*a(u) + 6*h(u). Let s be w(-12). Solve 0 = x - s + 1 for x.
-1
Suppose 3*n + 2 = l + 2*n, 14 = 4*l + 2*n. Solve 5*x + 17 + l = 0 for x.
-4
Let w(s) = s**2 - 6*s + 4. Let j be w(6). Suppose 3*o + j*v + 25 = 0, -4*o + 2*v - 15 - 11 = 0. Let b be 3 - o - (3 - 5). Solve c - 5*c = -b for c.
3
Let x = -76 - -79. Solve 0 = -x*v + 8*v for v.
0
Let r = 4 + 1. Suppose -9 - r = -v. Suppose -5*h = -6 - v. Solve 0 = y - h + 2 for y.
2
Let h be 2 - (-2 + 1 - -3 - 0). Suppose -3*w - w = h. Solve 20 = -w*t - 5*t for t.
-4
Let w(s) = -s**3 - 6*s**3 - 2*s - 9 + 7 - s**3. Let j be w(-1). Let v be j/(-24) + (-32)/(-6). Solve -v*t + 2 + 23 = 0 for t.
5
Let v = -1 + 1. Let r(t) = -3*t + 8 + 2 + v - 8 - t**2. Let l be r(-3). Solve 0*k + k - l = 0 for k.
2
Let t = -30 - -30. Solve -y = -t*y - 3 for y.
3
Let n = -11 - -11. Suppose 16*u - 14*u - 10 = n. Solve 4 = u*i - i for i.
1
Let d(x) = -7*x**2 + 20*x + 6. Let g be d(3). Solve g*m + 6 = -9 for m.
-5
Suppose -2106 = 10*u - 36*u. Solve 79*x - u*x + 8 = 0 for x.
4
Let a = 7 + -6. Let l be (12 - 12)/(3*a). Solve l*w = -3*w + 6 for w.
2
Let i be (2 + 2/(-2))*-1. Let w be 13 - (-2 - -3)/i. Suppose 2*f - 20 = -w. Solve 5 = -2*n - f*n for n.
-1
Let s be (-101)/(-7) + 138/21 + -6. Solve 5*z = 2*z + s for z.
5
Let p(h) = -h**3 + 2*h**2 - 2*h + 4. Suppose 2*s = -2*k - 4, 2*k = -k + s + 10. Let q be p(k). Solve -2*x + x - 4 = q for x.
-4
Suppose 4*y - 1 = 2*x + 69, -3*y + 51 = -3*x. Let z = y + -22. Let v be (-14)/z + (-10)/(-20). Solve 0 = w - v*w - 9 for w.
-3
Suppose -5*x + 3*l = -75, 3*l + 2*l = 0. Solve n + 18 - x = 0 for n.
-3
Suppose 4*n - 1 = q + 2*n, 4*n = 3*q - 1. Solve q*w = 4*w + 2 for w.
-2
Suppose -43*j + 4 = -42*j. Solve 24 = -5*d + j for d.
-4
Let j(q) = q. Let o be j(2). Let v(h) = -3 - 10 - o*h + 8 - h. Let n be v(-3). Solve -a + 2*a = -n for a.
-4
Let l = 13 + -5. Let q = 30 - 18. Suppose s = 4*s + 3*o - 18, -q = -4*o. Solve -l + 2 = s*r for r.
-2
Let r(a) = -45*a - 177. Let k be r(-4). Solve k*g = -40 + 40 for g.
0
Let w = -21 - -24. Suppose -4*z + w = -2*z - y, 2*z = -y + 9. Solve -6*q = -z*q + 6 for q.
-2
Let b(n) be the second derivative of n**5/20 - n**4/12 - n**3/6 + n**2/2 - 28*n. Let r be b(3). Solve 0 = 2*t + r - 6 for t.
-5
Let p(q) = q**2 - 25. Let t be p(-5). Solve t*y = y - 5 for y.
5
Let s be (-20)/16*(-8)/10. Solve -5 = x - s for x.
-4
Suppose 454 = 5*m + 394. Let a = -6 + 8. Solve -x - a*x = m for x.
-4
Let a = 3 + 2. Let y = 9 - a. Let f(j) = j**2 - 2*j - 5. Let s be f(y). Solve -2*n = n - s for n.
1
Let s be (-2 + -2*(-6)/4)*2. Solve s = 10*i - 9*i for i.
2
Suppose o = -p - 5, 4*p - 10 = o + o. Solve -5*i - 5 = -p for i.
-1
Let x = 12 - -8. Let y be x + (-3 - -5)/2. Let n be 16/6 + (-14)/y. Solve -2*t - n = -3*t for t.
2
Suppose 5*y - 2*y = -6. Let k be 10*(2/6 + y/(-12)). Solve k*p = 3 + 2 for p.
1
Let z be (2 - -1) + 1 + 46/(-23). Solve 2*u = -z*u + 8 for u.
2
Let q(x) be the second derivative of x**5/20 - x**4/12 - 5*x**3/6 - 9*x. Let y be q(3). Solve -m + 0*m = -y for m.
3
Let r = -104 + 104. Solve r = 12*i - 7*i + 15 for i.
-3
Let s = 108 + -98. Suppose -12*a + 34 = s. Solve -a + 8 = 2*u for u.
3
Let y = -15 - -18. Suppose -5 = -f, 0 = -3*k + 2*f - 10 + 30. Let n = k + -7. Solve -n = y*x + 9 for x.
-4
Let n = -10 + -50. Let v be n/25 - (-4)/10 - -6. Let i = 6 + -3. Solve i*y - v = -1 for y.
1
Suppose -k - 6 = -4*d + k, 0 = 3*d - 3*k. Suppose -15 = -d*q + 5*x, 4*q + 0*x + 15 = -5*x. Suppose 0*v + v - 4 = q. Solve -y + v = -1 for y.
5
Suppose 4*l + 2*n + 0*n = 36, -3*l = 3*n - 21. Let o = l - 9. Let q be (o - 2)/((-2)/2). Solve m + q*m = -1 for m.
-1
Let b be ((-14)/(-4) - 2)/((-3)/(-6)). Let w be (-3 - (-11)/b)*9/6. Solve -3 = 2*h + w for h.
-2
Suppose -13*f = -7*f - 36. Solve 2*r = 2 + f for r.
4
Suppose -33 = -2*s + 5*t, 0 = 6*s - 9*s - 3*t - 3. Solve 2*w + s = 2 for w.
-1
Let g = -863 + 871. Solve g*p + 14 = p for p.
-2
Suppose -11*o = -6*o - 30. Let b = o + -3. Solve 0 = 4*y - b*y - 2 for y.
2
Let u(t) = t**2 + 3*t. Let k be u(-4). Suppose 0 - 12 = -k*b. Suppose 16 = -v + b*v. Solve -3*q + v*q = -25 for q.
-5
Let b(l) = l**2 - 34*l - 103. Let x be b(37). Solve -x*z + 10*z + 2 = 0 for z.
-1
Let b = 48 + -46. Suppose 0 = r + 6*r - 35. Suppose -7*f + 2*f + r = 0. Solve -b*d + d = -f for d.
1
Let d = 61 + -56. Suppose 7 = 4*r - d. Solve -8*c = -r*c - 20 for c.
4
Let h(j) = -2*j**3 + 15*j**2 - 3*j - 28. Let r be h(7). Solve r = -13*l + 15*l - 8 for l.
4
Suppose -25 - 8 = -3*k. Suppose w - 20 = 2*y - 0, -y - k = -w. Let u be (0 - 2)/(6/y). Solve -15 = -0*j - u*j for j.
5
Let y be -1 + 9 - (-10)/5. Suppose 0 = -4*k - 16, -3*o + 2*k + y = -4. Suppose 0 = 7*r - o*r - 15. Solve -4*v = r + 9 for v.
-3
Suppose -c + 9 = 2*c. Let i be 10 - 8/2 - c. Solve i = -4*n - 1 for n.
-1
Let y = -2534 - -2537. Suppose -g - 5*o = 13, 2*g - 3*g + 14 = -4*o. Suppose g*t = 3*t. Solve t*j + y*j = 6 for j.
2
Let k(y) = -y - 2. Let c be k(-2). Suppose c = -2*w + 3*b + 14, -3*w - 40 = -6*w - 5*b. Let l = 10 - w. Solve l*m + 4*m + 4 = 0 for m.
-1
Let z(m) = -m**3 + 7*m**2 + 4*m - 19. Let y be z(5). Solve y*s = 54*s - 9 for s.
3
Let l = -1234 + 1242. Solve l = 13*v - 15*v for v.
-4
Suppose -3*c - 5*q + 9 = -0, 0 = -4*c - q + 12. Let z be 4 - 2/c*3. Let y(u) = 2*u - 6. Let g be y(4). Solve z*d + 4 = g for d.
-1
Suppose -c - 5 = -t, -4 + 19 = -t + 5*c. Let p be (t/7 + 2)/((-8)/(-28)). Solve p = -4*s - 8 for s.
-5
Let i be -4 + 0 - -3*(0 + 3). Solve -3*h = i - 5 for h.
0
Let k = -203 - -203. Solve k*b = -2*b - 6 for b.
-3
Let t(b) = b**3 - 6*b**2 - 29*b + 22. Let d be t(9). Solve -5 = d*v + 11 for v.
-4
Let h = 68 - 66. Let c be 0*h/(-4) - (-6 + 5). Solve -c + 10 = -3*a for a.
-3
Let s(m) be the second derivative of -m**3/2 - 16*m**2 - 17*m. Let j be s(-13). Solve -j*z = -2*z for z.
0
Let f(q) be the first derivative of -q**4/4 + 7*q**3/3 - 5*q**2/2 - 6*q + 11. Let h be f(6). Let n be (-7)/(-2) - (-2)/(-4). Solve h = p - n for p.
3
Let o(n) = 