 for j.
-2
Suppose -y - 29 = -5*k, -4*y - 15 = -2*k - 7*y. Suppose -189 = -k*r - r. Solve 5*w + r = 2 for w.
-5
Let k be (-17)/(-7) - 24/(-42). Solve 4 = -5*f + k*f for f.
-2
Let r be 9/4 - (65/20 - 3). Solve r*g - 5 = 3*g for g.
-5
Suppose 4*n - 2*s - 38 = 0, -13 = n - 11*s + 15*s. Let p(w) = -3 + 7 + w**2 + 4*w + 0. Let q be p(-4). Solve q*i + n = -13 for i.
-5
Let u(v) = -v**2 - 16*v - 38. Let l be u(-13). Let o = 58 - 55. Solve -o*d + 2 = -l for d.
1
Suppose -4*a - 20 = 0, -2*t - 4*a + 0*a - 14 = 0. Solve j - t = -0 for j.
3
Suppose -5*m - s + 13 = -4*s, 0 = -5*m + 2*s + 12. Let t be m - (-4)/(0 + 4). Solve 0 = t*v - v + 4 for v.
-2
Let d be (4/10)/(2/(-10)). Let k be (d + 2)/(2 + -3). Let v = 55 - 47. Solve k = -4*w - 8 - v for w.
-4
Let h(g) = g**3 - 3*g**2 + 6*g - 2. Let j be h(3). Solve -9 = -5*n + j for n.
5
Suppose -19*o + 10*o + 2 - 2 = 0. Let l(p) = -6*p - 1. Let y be l(-1). Solve -f - y = -o for f.
-5
Suppose -y - 7 = -u, 5*u = -y + 17 - 0. Let s be (1/2 + 0)*2. Let n = u - s. Solve -7 - 8 = -n*k for k.
5
Suppose -12*b + 7*b = 20. Let p be (-156)/273*14/b. Solve -3*u - 25 = p*u for u.
-5
Let t = -26 - -44. Suppose -29 = -11*x - t. Solve x = -c - 1 for c.
-2
Let x be (-11)/(132/(-8))*6. Solve 33 = x*n - 15*n for n.
-3
Let z(n) = 5*n - 3. Let h be z(5). Let g(k) = -k**2 - 10*k - 12. Let l be g(-8). Suppose w = l, 2*q + 3*w = -2*w + h. Solve -d + q = -2 for d.
3
Let b(i) = -8*i**2 - 8*i - 3. Let a(f) = -17*f**2 - 17*f - 6. Let x(z) = 4*a(z) - 9*b(z). Let m be x(-1). Solve -m*v + v = 0 for v.
0
Let h = 34 - 63. Let p = 39 + h. Solve -5*d + 3*d - p = 0 for d.
-5
Let m(y) = -2*y**2 - 60*y - 56. Let x be m(-29). Solve 5*r + 3 = x*r for r.
-1
Let o(h) = h**2 + 2*h - 7. Let q be (-20)/5 + (1 - 1). Let w be o(q). Solve s - 6 + w = 0 for s.
5
Let r be -2 - 4/8*-2. Let b = r + 5. Suppose -b*k = 0, 4*k + 30 = 5*x + 5*k. Solve -3*l + l + x = 0 for l.
3
Suppose -5 = i - 2*y, -3*i - 2*i = y - 30. Let x be (16/(-10))/((-2)/i). Solve -29 = -x*w - 9 for w.
5
Let d(h) be the second derivative of 2*h**3/3 - 10*h**2 + 11*h. Let o be d(6). Let f be (2 - 1) + (-2 - -8). Solve -5 = -o*y + f for y.
3
Suppose c + 62 = 5*k, -7*c + 2*c = 3*k - 54. Let a = k + -13. Solve -2*n - 2 + a = 0 for n.
-1
Let g be (-33)/(15/(-3) + 4). Suppose -f + 6*f - g = 3*s, 3*s - 30 = -2*f. Solve f = 4*z - z for z.
3
Let l(n) = -5*n + 40. Let o be l(5). Solve o - 16 = -w for w.
1
Suppose -38 = -70*z + 1012. Solve -2*n + z = 7 for n.
4
Let o = -215 - -233. Suppose -2*h + 7 + 9 = 2*c, -3*c - h = -o. Let k be (-4)/(-2) - (-1 - -1). Solve -k*i + 6 = -c*i for i.
-2
Let v = 45 + -43. Suppose -v = -z - k, z = -3*k + 1 + 5. Solve -2*i + z*i - 10 = 0 for i.
-5
Let m be 1*-9*(2 - 3). Let g = 12 - m. Suppose 2*v - 5*z - 1 = g, 3*z - 8 = -4*v. Solve -8 = -v*c + 2 for c.
5
Let d(g) be the third derivative of g**6/180 - g**5/30 + g**4/24 + 6*g**2. Let t(q) be the second derivative of d(q). Let x be t(6). Solve -x = -4*w - 0 for w.
5
Let j(y) = -26*y - 246. Let s be j(-10). Solve 0 = 6*m + s - 20 for m.
1
Let m be -1 + 1 - (15 + -23). Solve -m*h - 10 = 6 for h.
-2
Let u be 1 + 19 + -3*(-20)/(-15). Solve -u = -3*o - 7 for o.
3
Let z = -2705 - -2725. Solve 0 = -z*b + 8*b - 36 for b.
-3
Let s(k) = -k + 10. Let m be s(5). Suppose 0*y - 20 = m*y, -y - 4 = 4*b. Suppose b = 3*r - 2*r. Solve r = -3*l + 4 - 1 for l.
1
Let b(o) be the third derivative of o**6/60 + o**5/15 - 5*o**4/24 + o**3/3 - 20*o**2. Let j be b(1). Solve -j = -5*d + 12 for d.
3
Suppose -1 = -r + 1. Let o be ((-3)/5)/((-93)/465). Solve -r*t + o*t = 5 for t.
5
Let y be (6 - 288/45)*-50. Solve -19*d = -24*d - y for d.
-4
Let o(a) = 4*a - 2. Let t(d) = -2*d + 1. Let w(r) = 6*o(r) + 13*t(r). Let y be w(-1). Solve -y*g = -4*g for g.
0
Let w be 2/(-20)*(-470)/47. Solve -4*i + w = -15 for i.
4
Let q = 2355 - 2281. Solve 21*v + q = -31 for v.
-5
Suppose 54 = -8*z + 14*z. Suppose 4*l - m - 23 = 0, 5*l + m = 13 + z. Solve 14 = l*u + 4 for u.
2
Let i be (4/(-6))/((-357)/117 + 3). Suppose 1 = -4*m + i. Solve 0 = -0*l + m*l + 3 for l.
-1
Let i be -5 + 3*117/27. Solve 0 = -3*m + i - 11 for m.
-1
Suppose 280 = 29*g - 15*g. Suppose 4*i = -5 + 21. Solve i*c + c = g for c.
4
Let b be 66 + -67 - (-1 + 0). Solve b = -5*j + 7*j + 4 for j.
-2
Let x(o) = -o**3 - 9*o**2 + 5*o + 56. Let k be x(-9). Solve -k + 10 = -n for n.
1
Suppose 3 = t - 4*t. Let f(x) = -2*x + 1. Let s be f(t). Solve -3 + 0 = s*b for b.
-1
Let x = 3 + 0. Suppose 0 = -x*i + 5*k + 9, 6*i - 4*i + 4*k = -16. Let l be (10 + -5)*i/(-5). Solve l*a - 3 = 3 for a.
3
Let y = 362 - 350. Solve -3*s - y = -15 for s.
1
Let u(b) = b**3 + 8*b**2 + 10*b + 3. Let z be u(-7). Let c = z - -24. Solve c*k - 10 = k for k.
2
Let p be 14/4 + 1/(-2). Let y be 6*(4 - 198/48)*-4. Solve 0 = -p*c - y for c.
-1
Let h(d) = d**2 + 16*d**2 + 0*d**3 + 8 - d**3 + 2*d**3. Let p be h(-17). Suppose 4*j - 6*j = -p. Solve -j*n = -n + 3 for n.
-1
Let h(w) = -w**3 + 6*w**2 - 4*w + 27. Let d be h(6). Suppose 4*y + 16 + 20 = 0. Let l(k) = -k**3 - 9*k**2 + k + 10. Let a be l(y). Solve a = -i - d for i.
-4
Let j(p) = p**3 - 5*p**2 + 10*p - 40. Let y be j(5). Solve -2*u + y = 2 for u.
4
Suppose 4 = 2*s - 2. Let z = s + -1. Let d(g) = 34*g - 371. Let k be d(11). Solve k*l + 15 = -z*l for l.
-3
Let i = -897 + 900. Solve 0 = -41*m + 44*m + i for m.
-1
Let v be (-2)/(-40)*-4 - 51/(-5). Solve d + d = v for d.
5
Let k(i) = -5*i - 27. Let t be k(-6). Solve 0*g - 9 = t*g for g.
-3
Let v be (-2)/8 + 37/4. Let u be v*4/(-20)*-5. Let g = -7 + u. Solve 6 = -t - g*t for t.
-2
Suppose 4*w + 5*a = -20, 2*w + 2*a = -3*w - 8. Let h = 0 - -9. Let z = 13 - h. Solve w*n = n + z for n.
-4
Suppose -5*r - 8 = -33, -3*o + 5*r = 22. Solve -s - 4 = o for s.
-5
Let i be 0*(6 - (-10)/(-2)). Solve d + 18 - 16 = i for d.
-2
Let u be (-1)/2 + (804/24 - 0). Solve -u = -3*f - 45 for f.
-4
Suppose -3*b + 12 = -r, 2*r + 4*b - 16 = -0*b. Let z = 43 + -31. Suppose 2*h = -2*l + z, 0 = 5*l - h + 13 - 67. Solve 2*x - l + r = 0 for x.
5
Let o = -60 + 100. Suppose 0 = -i - 4*p - 12, -5*i = -6*p + p - o. Suppose -i*y + 0 = -12. Solve -2*l + y = 7 for l.
-2
Suppose -t - 3*h = -0*h + 4, 0 = t - 5*h - 12. Suppose 4*l - 24 = -4*w, 4*l - 3*w - 4 = -t*w. Solve 0 = l*i - 3*i + 3 for i.
3
Let a = -195 - -214. Solve a*k = 15*k - 12 for k.
-3
Let x be 15 + 2/2 + 1. Suppose 2*q = 3*c - 23, -6*c = -5*c - 3*q - 17. Solve c - x = -4*v for v.
3
Suppose 90 + 70 = 4*s - 4*o, -2*s + 78 = -4*o. Suppose -s*g = -39*g - 8. Solve g = i - 1 for i.
5
Let h(a) = a**2 - 2*a + 2. Let i(d) = d - 2. Let u be i(4). Let v be h(u). Solve -4*b - 22 + v = 0 for b.
-5
Let c(g) = 3*g**2 - 5*g - 4. Let n(p) = p**2 - 3*p - 2. Let k(f) = -2*c(f) + 5*n(f). Let r be k(-4). Solve 4*b - r*b = -10 for b.
-5
Suppose -26*m = -38*m - 852. Let q = -66 - m. Solve -3 = q*r - 13 for r.
2
Let p = -45 + 37. Let x(o) = -o**2 - 7*o + 9. Let f be x(p). Solve 4*c + f = 9 for c.
2
Let a = 7 - 3. Suppose 3*y + 3*v - 6 = 0, -171*y + 169*y + 1 = -v. Solve -m - a = y for m.
-5
Let v be ((-2 - 8)/(-20))/((-1)/(-2)). Solve -r + 4 = v for r.
3
Let w = -255 - -261. Solve -w*g + 2*g = -16 for g.
4
Let s(t) = t**3 - 3*t**2 + 2*t. Let h(k) = -7*k**2 - 1. Let l be h(-1). Let z(o) = -o - 6. Let p be z(l). Let v be s(p). Solve v*a = a for a.
0
Let j = -163 + 165. Solve -j*z + 4*z - 8 = 0 for z.
4
Let h(w) = w**2 + 14*w + 30. Let u be h(-12). Suppose -u*s + 7 = -29. Solve -5 = -s*c + c for c.
1
Suppose 5*s + h = 15, -s - h - 6 = h. Suppose -19 - s = -5*j + t, -4*j + 5*t + 31 = 0. Solve 19 + 1 = j*l for l.
5
Let g(b) = 6*b - 25. Let i be g(-16). Let f be i/(-99) + (-2)/9 - -2. Solve -8 = -f*r + r for r.
4
Let k(o) = o**2 + o - 1. Let m(g) = 2*g**3 - 21*g**2 + g + 14. Let h(c) = 3*k(c) - m(c). Let x be h(12). Solve -x*w + 2*w = -10 for w.
2
Let j(b) = b + 5. Let w be j(10). Suppose 0 = -q + 4*q. Suppose -4*g = 5*n - 3*g - w, g = q. Solve 0 = -7*c + n*c + 12 for c.
3
Let d be (-3)/(-42) - (-135)/70. Solve d = -h - 0*h for h.
-2
Suppose 95*d - 60 = 80*d. Solve -12 - d = -4*t for t.
4
Let h = 26 - 8. Let n = h - 13. Solve 0 = n*f - 2*f for f.
0
Let m = 1 - 1. Suppose m = -h - 2*h + 6. Let c be 27/(567/70)*54/15. Solve a = -h*a + c for a.
4
Suppose 1 = a - 5. Suppose -a = 5*z + o - 18, 3*z - 5*o = -4. Let v be ((-1 - 0)*-2)/1. Solve z = 2*r - v for r.
