et t be ((-9)/(-6))/(9/s). Solve 21 = t*f + 5 for f.
4
Let h = -17 + 19. Let x be (-8 - -6)/(h/(-11)). Solve 0 = -4*y + 3 - x for y.
-2
Let j = 26 + -62. Let o be (j/(-8))/((-15)/(-10)). Solve -2*x + o*x - 4 = 0 for x.
4
Suppose 10 = -3*y + 2*y. Let c(a) = -3*a - 10. Let m be c(y). Solve -6*r = -r - m for r.
4
Let b(h) = 23*h + 1. Suppose 3*v - 8 = 2*z, -5*v + 7 = -z - 2*v. Let l be b(z). Let j = l + 25. Solve -j*p + 6*p - 3 = 0 for p.
1
Suppose 6*m + 68 - 74 = 0. Solve 3 = -d - m for d.
-4
Suppose -9*g - 16 + 43 = 0. Solve g*b + 4 - 13 = 0 for b.
3
Let k(i) = 3*i + 3. Let f be k(-9). Let x = -23 - f. Solve -3*n - x = 8 for n.
-3
Suppose -14*v + 10*v = -44. Suppose v*a = 10*a + 1. Let d(w) = -w**2 + 9*w - 9. Let j be d(7). Solve 4*i + a = j for i.
1
Let t(x) = x**3 + 3*x**2 - 6*x + 5. Let p be t(1). Solve p*b = 16 - 10 for b.
2
Let r(k) = k**2 - 7*k + 10. Let a be r(6). Solve -2*n - 10 + a = 0 for n.
-3
Suppose -4*y = -2*y - 2*p - 10, -2*p = -5*y + 19. Let o = y + -1. Solve -l = o*l for l.
0
Suppose -9 + 0 = -3*z. Suppose 0 = 7*o - z*o - 48. Solve 2*m = -m + o for m.
4
Suppose 0 = 3*u + 18*u - 63. Solve 0*p + u = p for p.
3
Let f(d) = -45*d + 202. Let u be f(4). Solve 4*m = u - 26 for m.
-1
Let g = 1915 + -1907. Solve -9*m = -g*m + 4 for m.
-4
Let t = 753 + -749. Let z(v) = v**2 - 4*v + 8. Let m be z(6). Solve t*u + m = -u for u.
-4
Let n be (25/100)/((-2)/(-48)). Suppose -12*j - 11*j = -n*j. Solve -4 + j = x for x.
-4
Suppose 4*l - 20 = 2*d - 3*d, 5*l - 25 = -4*d. Suppose -3*y + 17 - 41 = -3*h, -y - l = 0. Solve h*i - 10 = 5 for i.
5
Let k(i) = -i**2 - 4*i + 1. Suppose -19*a = -16*a + 9. Let w be k(a). Solve 9 = w*c + 1 for c.
2
Let h(f) = f**3 + f**2 - 6*f - 5. Let t be h(-2). Solve -t*v + 1 + 2 = 0 for v.
1
Suppose 106 + 50 = 6*c. Solve c*o - 125 = o for o.
5
Let r = 0 - -2. Suppose -5*l = -11*l. Let v = l - -2. Solve -4*a = -v - r for a.
1
Suppose -7*m + 72 = -m. Let d be 16 - (5 - m/4). Solve -3*k - d + 2 = 0 for k.
-4
Let y(o) = -3*o - 109. Let k be y(-40). Solve 35 = -6*w + k for w.
-4
Let k = -33 + 39. Let u(x) = x**2 - 6*x + 5. Let q be u(6). Suppose -6*p = -q*p - 3. Solve -p*m + 0 = -k for m.
2
Suppose 7*g = 4*g + 2*b + 4, 0 = 3*g + 4*b - 28. Solve 16 - 12 = -g*y for y.
-1
Suppose 2*u = 102 - 74. Let d be (1 - 0)/(2/u). Solve 2*f - d = -1 for f.
3
Let v = 338 + -330. Solve -7*n = v + 6 for n.
-2
Suppose 0 = -4*b - 5*g + 99, 3*b - 2*g - 45 - 12 = 0. Let i = 29 - b. Solve r + i = 3 for r.
-5
Let h = -3 + 4. Let c be (-1 + (h - 1))*1. Let i = 4 + c. Solve -2*a - i*a = -10 for a.
2
Let k(w) = -w + 8. Let d be k(5). Suppose -u = d*n + 10, -4*u + 6*u + 2*n = 0. Solve 4*v + u = 5*v for v.
5
Let g(z) = -2*z**3 + z**2 + z. Let v be g(-1). Let q = v + 8. Let k be (24/(-30))/((-4)/q). Solve -k*h - 2 = -10 for h.
4
Suppose -3*g - 4*c = -42, -5*g + 5*c + 7 = -28. Let r(f) = 3*f**2 - 3*f + 2. Let y be r(0). Solve y*k + 0*k = -g for k.
-5
Suppose 11*r = 92 + 84. Solve -r*w + 2 = 66 for w.
-4
Suppose 48 = t + 44. Solve k + t = 7 for k.
3
Let r be -1*((4 - 19) + -4). Let b = -19 + r. Let x be (-2)/4*(-2 - b). Solve x = -h - 2 for h.
-3
Suppose 3*i + 4 = 5*i. Suppose 3 + 3 = i*f. Solve -f*u = -6*u - 9 for u.
-3
Suppose 0 = -5*y - 3*w + 57, -5*y - 11*w + 65 = -6*w. Solve 0*f - 3*f - y = 0 for f.
-3
Suppose 10 = -11*p + 6*p, 0 = 5*c + 3*p - 29. Solve -c*l = 23 + 5 for l.
-4
Let q = -23 - -14. Let u be 1/((1/(-3))/(12/q)). Solve -6*k = -u*k - 6 for k.
3
Let n be (22/11)/((-57)/(-51) - 1). Let j = 20 - n. Solve -j*c = -5 - 7 for c.
4
Let v(d) = -85*d + 1321. Let h be v(15). Solve -h = -19*q + 11 for q.
3
Suppose z = 4*z - 12. Suppose z*b = 12*b. Solve -2*v - 3*v + 20 = b for v.
4
Let o(i) be the third derivative of -i**5/60 + i**4/8 + 5*i**3/6 + 10*i**2. Let u be o(4). Solve -s - u = -0 for s.
-1
Suppose 0*b - 3*d = 3*b - 27, 0 = -2*b + d + 18. Let y be 5 - 50 - -4 - (0 + 1). Let h = 46 + y. Solve -h*i + i = -b for i.
3
Let d be 107/7 + ((-357)/49 - -7). Solve u = -4*u + d for u.
3
Let y be 102/15 - 16/20. Let o be (0 - y/4)*-2. Solve -o*v - v = 8 for v.
-2
Suppose -12*d - 15 = -9*d. Let u be d/(-1)*2/(-2). Let s = 8 + u. Solve -s*i - 2*i = -10 for i.
2
Let f(n) = 6 - n**3 + 10 + 14*n**2 - 28 + 16*n. Let v be f(15). Solve 4*w - v = 9 for w.
3
Let q = -1007 - -1016. Solve 8*r = 4*r + q*r for r.
0
Let a = -12 - -50. Let l = -38 + a. Solve l = 6*o - 3*o - 12 for o.
4
Let c be 2/(-8) - (-7)/28. Solve c = -v - 3*v - 20 for v.
-5
Let n(j) = -3*j - 49. Let h be n(-20). Let c = -9 + h. Solve c*b + 9 = 1 for b.
-4
Let m be (36/30)/2*(0 + 10). Solve -27*d + 30*d = m for d.
2
Let b(r) = r**3 - 3*r**2 - 4*r. Let v be b(4). Suppose -5*d = -2*p + 15, v = 5*d - 8 + 3. Suppose -4*z - 5 = 4*g - 3*z, p = -2*z. Solve q - 4 = -g for q.
4
Suppose 7*v - v - 84 = 0. Solve -7*k - v = -35 for k.
3
Suppose 1 + 3 = 2*n. Suppose 0 = -0*b - n*b. Let c(z) = 2*z**2 + 42*z + 49. Let d be c(-20). Solve -5*p - 1 - d = b for p.
-2
Suppose u = -4 - 24. Let r = -26 - u. Solve 6*j - 8 = r*j for j.
2
Let z = 3 + -3. Suppose -20 = -8*i - 2*i. Suppose 3*h - i*m - 53 = -z*h, -m - 79 = -5*h. Solve h = 3*f - 0 for f.
5
Suppose -10*z = -21*z + 55. Let r be (495/6)/z + (-12)/8. Solve 2*s = -3*s - r for s.
-3
Suppose k - 3 = -0*k. Suppose 2*j = -3*i + 2, 4*j + i - 1 = 3. Let l = 2 + j. Solve l*h + 12 = -k for h.
-5
Let y(k) = k - 23. Let c be y(33). Solve 0 = 8*l - c - 30 for l.
5
Let c = 26 - 11. Suppose o - c + 7 = 0. Suppose -o = -h - h. Solve h*b = 9*b - 10 for b.
2
Let p be -6*(44/(-8) + 5). Solve 2*m + 5 = p*m for m.
5
Let j be (-2)/(-6) + (-8)/(-3). Let s be -3 + 1/(-3)*j. Let g(o) = o + 11. Let a be g(s). Solve -20 = -a*i + 2*i for i.
4
Suppose 0*q + 6*q = 12. Suppose -t + 8 = w + 2*w, 10 = q*t + 3*w. Solve 0 = -t*c - 10 - 0 for c.
-5
Let f = 18 + -15. Let c be 12 + (-12)/(-4)*(f + -2). Solve 6*i - c = i for i.
3
Let y = -837 - -844. Solve -y*x - 8 = -3*x for x.
-2
Suppose 96 = 70*o - 58*o. Solve -2*w + 4*w = o for w.
4
Let g be (-92)/6 - (-6)/18. Let f be 7 + g + 1 + -1. Let h be (0/(f/(-4)))/1. Solve t + h = 1 for t.
1
Suppose 0 = -10*t + 7 + 33. Solve -2*m + t = -0*m for m.
2
Suppose -10*o + 5*o = -40. Solve 0 = o*l - 3*l for l.
0
Let p(b) = -b**2 - 18*b + 117. Let x be p(-23). Solve -h + x = -0 for h.
2
Let x = -768 - -768. Solve x = -3*t - t + 8 for t.
2
Suppose 4*f = 4*w + 8, -5*w + 3*f + 5 = f. Suppose 0 = 5*p - 3*n - 8, 2*p - 24*n - 4 = -23*n. Solve 0 = p*g - w*g for g.
0
Let h = 5 - 3. Let l(g) = -g**2 + 7*g + 9. Let u be l(8). Let k = 0 + u. Solve -p = h + k for p.
-3
Suppose 2*j = r - 5 + 11, j - 5*r = 3. Suppose -3*n + 18 = 3. Solve -n*z = -j*z for z.
0
Let c(u) = u**2 - 4*u + 5. Let q be c(2). Suppose -4*d - q + 5 = 0. Solve -2*a - 5 + d = 0 for a.
-2
Let u(j) = 30*j + 1209. Let h be u(-23). Solve h = -3*y + 522 for y.
1
Let p(w) be the third derivative of w**5/60 + 13*w**4/24 + 16*w**3/3 + 5*w**2. Let f be p(-11). Solve -f + 0 = 2*x for x.
-5
Let x = 18 - 15. Suppose 8 - 53 = -x*i. Let s be (-8)/(-20) + (-28)/(-5). Solve -d = -s*d + i for d.
3
Suppose 0 = -2*i + 5*b, -b + 0*b = -i. Suppose -4 = -4*u - h + 3, 0 = -3*u + 4*h + 29. Solve 15 + i = u*m for m.
5
Suppose 8*c = -20 + 148. Let x = -10 + c. Solve -d = -x*d - 25 for d.
-5
Let w be (-38)/8 + 6/8. Let x be (0 + -6)/(6/w). Suppose 3*a + 4 = x*a. Solve -25 = b + a*b for b.
-5
Suppose 5*p + 45 = -d, d + 2*d = -5*p - 105. Let m be (d/18)/(2/(-12)). Solve -r + 6*r - m = 0 for r.
2
Let m(r) = -24*r + 148. Let l be m(6). Solve -3*z + 5*z = -l for z.
-2
Suppose 0 = 153*i - 183*i + 30. Let j be ((-8)/3)/(3/(-18)). Solve -5*t = i - j for t.
3
Suppose 6 = -o + 10. Let m = -9 - -3. Let j be o + m + -2 + 4. Solve j = -2*t + 2 + 2 for t.
2
Let x = 565 + -558. Solve -x*a = -0*a - 3*a for a.
0
Suppose 28*o - 28 = 21*o. Solve o*v - v = 3 for v.
1
Let h be (16 - -10) + ((-10)/(-2) - 2). Let o = h + -28. Solve 2*i = -5 + o for i.
-2
Suppose 5*y + 4 = 6*y. Suppose 0 = -y*s + 27 + 85. Let n = 34 - s. Solve -3*i = -5*i + n for i.
3
Suppose -5*y = 5*m - 20, 2*m + 6 = 5*m. Solve 3*x = -y*x for x.
0
Let z = 1046 - 1001. Solve -10 = -7*f - z for f.
-5
Let i(y) = -y**2 + 6*y - 4. Let x be (-6)/42 + (-44)/(-14). Let n be i(x). Suppose 5*z = -4*g + 33 - n, z - 8 = -2*g. Solve -z*m + m = 0 for m.
0
Let d(n) = 10*n**2 - 28 - 8*n**2 + 0*n + 7*n. Let k 