
1
Let b(u) be the second derivative of u**3/2 + 10*u**2 - 17*u. Let g be b(-4). Solve 6*w = 4*w + g for w.
4
Let q = -94 + 96. Suppose -q*l + 3*i - 5 = 4*i, i = -5. Solve l = -b + 4 - 3 for b.
1
Let o(w) = w**2 + 12*w + 17. Let i be o(-5). Let m = -12 + 34. Let f = m + i. Solve 5*v + 5 = f*v for v.
-5
Let b be -9 + 4 - 22*(-1)/2. Solve b*q = 1 - 1 for q.
0
Let b be 137/3 + 10/(-15). Let u be 308/60 + (-6)/b. Solve 4*v + u = 13 for v.
2
Suppose 20 = i - 2*n, -3*n - 144 + 44 = -4*i. Let p be (3 + i/(-20))*5. Solve -4*j + 4 - p = 0 for j.
-1
Let x = -77 + 82. Suppose 0*w = x*w - 35. Solve 0 = -2*k + w*k for k.
0
Suppose 5*m = -5*n - 5, n = -8 + 3. Solve 10 = m*y + 6 for y.
1
Let s be (-6)/(-8)*(-208)/(-39). Solve -11 = -s*v + 5 for v.
4
Let b be 42/(-189) + (-400)/(-18). Solve 0 = b*t - 21*t - 4 for t.
4
Suppose 5*p + 5*n = -140, -4*n + 5*n = -3. Let l = -64 + 52. Let h be 4/l + p/(-3). Solve -3*j = -j - h for j.
4
Suppose -5*y + y - 456 = 0. Let a = y + 124. Solve -6*q - a = -11*q for q.
2
Let k be 163/7 + (-320)/(-448). Solve k*z - 20*z + 4 = 0 for z.
-1
Suppose 5*s + 3*j = 122, -3*s + 82 = 5*j - 4. Solve -s*d + 8 - 52 = 0 for d.
-2
Suppose 3*a - 10 = -1. Let l be 2/((-46)/(-14) - a). Let b = 8 - l. Solve r = 2*r + b for r.
-1
Let x(u) = u**3 - 11*u**2 + 3*u - 25. Let r be x(11). Solve 5*s = -r - 2 for s.
-2
Let d(o) = -2*o + 60. Let j be d(22). Solve 15*f = j*f + 4 for f.
-4
Let g(n) = 2*n + 31. Let p be g(-10). Solve 8 = 9*t - p*t for t.
-4
Let c(o) = 18*o + 10. Let m be c(3). Suppose -3*t + 6 + m = 5*j, -3*t - j = -62. Solve 5*h = -0*h + t for h.
4
Let j be (-110)/(-4) + (-1)/2. Suppose -2*s + 6*s + 4*m - 36 = 0, s = 5*m + j. Let x = s + -8. Solve x*c + 6 = c for c.
-2
Let h(z) = z**3 + 7*z**2 - 13*z - 40. Let k be h(-8). Suppose 5*p + t + 4*t = 65, 25 = 5*p - 5*t. Solve -3*u = -k*u - p for u.
3
Let h be (1/(9/(-6)))/(116/(-870)). Solve h*r - 12 = -r for r.
2
Let x(w) = w**2 + 4*w - 12. Let n be x(-6). Solve n*u = 4*u - 16 for u.
4
Let c = 62 - 62. Solve c = p - 11 + 8 for p.
3
Let b(d) = -6*d - 19. Let y be b(-5). Solve -y*z + 8*z + 6 = 0 for z.
2
Suppose 6 = -5*y - 2*u + 4*u, 0 = y - u. Let q be (y/5)/(17/(-255)). Let h = -4 + q. Solve h*k = -0*k + 6 for k.
3
Suppose 3*c = 0, 3*c = -4*z - 0*c. Suppose -3*r + 2*d - 27 + 6 = 0, -2*d + 1 = r. Let a(w) = -w**3 - 5*w**2 + 5. Let j be a(r). Solve -j*g = -z*g - 25 for g.
5
Suppose 0 = -5*x + 3*o + 1 + 24, 0 = 3*x + o - 1. Solve -x = -y + 2*y for y.
-2
Let f = 81 + -16. Suppose -4*c + c + 4*k = -f, -5*c = -k - 97. Let q be 3/(-4)*(-32)/8. Solve -4*p = q - c for p.
4
Suppose -2*h + h - 4 = 0. Let b(s) = -s**3 - 4*s**2 - 7*s - 10. Let n be b(h). Let g = n - 18. Solve 0*a - 4*a - 8 = g for a.
-2
Let h(n) = -22*n - 322. Let a be h(-16). Solve 0 = 3*i + a - 30 for i.
0
Suppose 0*i - 4*i = -16. Suppose 0*h = -i*h. Let u(l) = 13*l + 173. Let j be u(-13). Solve a - j = -h*a for a.
4
Let i be (-4)/(-2) + -1 + 8. Let t(g) = g**2 + 24*g + 64. Let o be t(-3). Let c be 8 - i - (-10 + o). Solve -3*f - c = -f for f.
-4
Let n(q) = 2*q + 129. Let l be n(-4). Solve -120*r + 4 = -l*r for r.
-4
Let j be (-7)/(-2) + 1/(-2). Suppose -j*d - 1 + 13 = 0. Solve -y + 0 = d for y.
-4
Let l(n) = n**3 - 33*n**2 + 69*n - 208. Let x be l(31). Solve x = 32*m - 23 for m.
1
Suppose -5*g - 3*r = -3, 6*r = 2*g + 4*r - 14. Suppose -4*m = 3*o + 1, -m - g*o + 1 = 4*m. Solve 2 = -m*l + l for l.
-2
Let j(z) be the first derivative of -z**4/4 - z**3/3 - z**2/2 + 4*z + 6. Let a be j(0). Suppose a*v = 5*v - 1. Solve -v = q - 4 for q.
3
Let j = 16 - 12. Let m = j - 4. Solve x + m*x = -2 for x.
-2
Suppose -2*a = 5*o - 66, 2*o - 4*a = a + 38. Suppose -10*f = -o*f. Solve -12 = 4*l - f*l for l.
-3
Suppose 4*i = 2*i - 16. Let x = -18 + 30. Let v = i + x. Solve v*o = 5*o for o.
0
Suppose -o = 32 + 95. Let p = o - -130. Solve -6 = -p*w - 0 for w.
2
Let j = -10 + 22. Suppose 5*m = 20, -v - 3*m + j = -3*v. Solve v*w - 4 = -2*w for w.
2
Let y = 101 - 103. Suppose 2*i - 2 = i. Let c be y/(5/(-2) + i). Solve -c*m + 15 = m for m.
3
Suppose 0 = 2*t + x - 4*x - 58, 0 = -4*t + 3*x + 128. Solve -34*n + t*n = -5 for n.
-5
Let a be ((-12)/(-10))/(21/245). Solve -10 = -6*v + a for v.
4
Let m(u) = -u + 9. Let y be m(7). Suppose 4*r - x = -r + 17, -3*r = 3*x - 3. Let o = r - y. Solve o = -j - 2 for j.
-3
Suppose 0 = 4*o + 5*d - 5, -2*d - 32 = -5*o - 1. Solve 0 = -5*m - o - 10 for m.
-3
Suppose 22*j - 14*j - 120 = 0. Solve 14*k = j*k for k.
0
Suppose 5*v = -4*s - 357, -5*v + s = -v + 294. Let m = v - -73. Solve 2*d + m = -4 for d.
-2
Let r = -7 + 10. Let m be (-915)/(-10)*2/r. Suppose -5*f + m = 3*i, -2*i = 2*i + 4*f - 68. Solve -3*o + 6*o - i = 0 for o.
4
Suppose 0 = -3*y + 3 + 3. Suppose 0 = -3*h + 9, -2*o + 1 = -3*h + y. Solve 0 = 6*g - o*g for g.
0
Let h(t) = -19 + 2*t + 8*t - 13 - 9*t**2 - t**3 + 40. Let x be h(-10). Solve 0*i = -2*i - x for i.
-4
Let f = 182 - 177. Solve -f*i = -i for i.
0
Let u(j) = 22*j - 497. Let q be u(23). Solve q*n - 109 = -64 for n.
5
Let k be ((-5)/(-3))/((-2)/(-6)). Let g = 44 - 200. Let t = g + 157. Solve -t + 26 = -k*p for p.
-5
Let z be -2 + 27/15 - 16020/(-100). Solve 156*y - z*y = -20 for y.
5
Let a = 2 - 0. Let q(g) = -2*g + 3*g - g + 39 + 2*g. Let d be q(-18). Solve d = -5*c - a for c.
-1
Suppose -12*o + 2*o = -100. Let n be o/(-3)*3/(-2). Solve n*p - 5 = 4*p for p.
5
Let z be 33/9 + (-1)/(-3). Let s = 161 - 132. Let p = s - 27. Solve -z = 3*y + p for y.
-2
Let i = -121 - -124. Suppose 0 = 5*y + 2*c - 9, -4*y + 5 + 1 = c. Solve i = z + y for z.
2
Let q(i) = 4*i - 3. Let n(k) = k**3 + 2*k**2 - 3*k + 3. Let z be n(-3). Let m be q(z). Let l be (4/6)/(2/m). Solve g = l*g + 4 for g.
-2
Suppose -605 = -15*d + 40. Solve -s + 44 - d = 0 for s.
1
Suppose 31*m - 323 - 235 = 0. Solve 9*w + 54 = m for w.
-4
Let p(j) = j**2 - 7*j - 50. Let w be p(15). Solve 62 = -4*m + w for m.
2
Let t(m) = m**3 + 5*m**2 + 31*m + 60. Let y be t(-2). Solve 3*g - 21 = y*g for g.
-3
Let u(h) = -h**3 + 23*h**2 + 25*h - 14. Let t be u(24). Let a = 21 - t. Solve -a + 1 = -2*k for k.
5
Suppose -2*s = -h + 3*s - 15, -s - 21 = h. Let b = -12 - h. Let x be (3/4)/(b/32). Solve -x*a + 4*a - 5 = 0 for a.
5
Suppose -z + 5*a - 10 = 0, -2*a - 4 = 3*z - 4*a. Solve z = s + 2*s - 15 for s.
5
Let s be 6*(-4)/(-3)*1. Let w be (-6)/s - 63/(-84). Solve -2*h + 4*h + 10 = w for h.
-5
Suppose 0 = 2*z - u - 4, -5*z - 2*u + 10 = 3*u. Let b = 8 + 7. Solve -v + b = z*v for v.
5
Suppose -5*a + 52 = 37. Let j(g) = g**3 - 3*g**2 + 2*g - 1. Let x be j(a). Solve x*y = 10*y for y.
0
Let n(m) = 4*m - 14. Let q be n(4). Let f be 0*(4/(-4) + 2). Let g be 2 + f/2 + 1. Solve 0 = 5*u + q + g for u.
-1
Let j(u) = 3 - u + 0*u - 4. Let q = -202 + 201. Let b be j(q). Solve -4*x + 3 + 9 = b for x.
3
Suppose 59*j + 14 = 66*j. Solve 4*m - 14 + j = 0 for m.
3
Let m(a) = -2*a**2 + 39*a + 72. Let i be m(21). Solve -2*c = c + i for c.
-3
Suppose 2*z + 4*w = 122, -236 = -2*z - 2*z - 4*w. Solve -z*u - 10 = -67*u for u.
1
Let g(n) be the first derivative of -n**2/2 + 2*n - 1. Suppose 5*k + 3*h - 4*h - 12 = 0, -8 = 4*h. Let l be g(k). Solve -2*u + l*u = 10 for u.
-5
Suppose -141*v + 10 = -139*v. Solve -v*w - w = 12 for w.
-2
Let m(n) = 5*n**2 + 2*n - 2. Let t be m(1). Suppose -12 = -t*h + 48. Solve -2*w + 5*w - h = 0 for w.
4
Suppose 3*i - 40 = -2*i. Suppose -6 = -5*h + 14. Suppose 5*s - h*o - 7 = 7, 5*o + 11 = 3*s. Solve -i = -s*g - 0 for g.
4
Let x(w) = -2*w - 5. Let d be x(-4). Let a = 202 + -201. Solve d - a = -2*o for o.
-1
Let y = -41 - -45. Let z(r) = 3*r - 12. Let f be z(y). Solve f = -0*s - 3*s - 6 for s.
-2
Let a = 85 + -82. Solve 0*x - 3*x - a = 0 for x.
-1
Suppose 4*b = -3*f + 102, 4*b = -f + 88 + 10. Solve 18*c - b = 26*c for c.
-3
Suppose 60 = -3*n - 2*y, 0*n + 2*n - 4*y + 24 = 0. Suppose 149 = -4*w + m, m + 100 = -4*w - 55. Let i = n - w. Solve -3*s + i = s for s.
5
Let d be 18 + 1 + 2 + 0/4. Let u = d + -19. Solve -2*x + 8 = u*x for x.
2
Let r be (-9)/(-2)*(-4)/(-6). Suppose -r = -p - 0*p. Let o = -25 + 41. Solve -p*h + o = h for h.
4
Let s(i) = -4*i**3 + 53*i**2 - 13*i + 20. Let x be s(13). Solve -6 = -x*m + 14 for m.
1
Suppose 3*x + 2 + 1 = -4*y, 0 = -x - 5*y - 12. Let l be 5 - 2 - x/3. Suppose s - 5 = 2. Solve 5*d + s = l for d.
-1
Let l = -497 - -509. Solve 0 = 5*p - l*p + 21 for p.
3
L