v = 0 for j.
-2
Let h(f) = f**2 - 5*f + 3. Let d be ((-68)/(-5))/((-6)/30). Let c be (d/12 + 4)*-3. Let r be h(c). Solve r*g - 9 = 6 for g.
5
Let p(t) = 2*t**2 - 34*t + 5. Let a be p(17). Solve a*j + 30 = 11*j for j.
5
Let h(b) = b**2 - 6*b - 5. Let o be h(7). Suppose o*y - 10 = -82. Let u be y/(-15) + 6/10. Solve u*l - 5 = -2 for l.
1
Suppose 0 = -10*f - 7*f + 51. Suppose 0*w + 2*w - r = -32, -w - 9 = 3*r. Let v = -10 - w. Solve -2*n + f = -v*n for n.
-1
Let w = -74 + 77. Suppose -j - 4 = 0, 4*j - 19 = -w*r - 2*r. Solve 2*t = r*t - 15 for t.
3
Let g be (2/(-3))/(4*1/(-6)). Suppose -15 = -4*f + g. Solve -4*c = -f - 12 for c.
4
Let z be 5*7/(-35)*0. Solve 5*g + z*g = -25 for g.
-5
Let z = 6 - 10. Let k be (z/6)/(8/(-24)). Let u(y) = y**3 - 12*y**2 + 14*y - 31. Let v be u(11). Solve v = -4*x - k for x.
-1
Let x = -1 - -3. Let r be (-10)/x - (-1 + 4). Let o be 0 - r/12*6. Solve -2*p = -4*p + o for p.
2
Let j(u) = u**3 + 12*u**2 + 31*u - 16. Let m be j(-7). Solve 2*b - m = 14*b for b.
-1
Suppose -243 = -3*y - 33. Suppose 0 = r - 28 + 23. Let a be (-2)/r - (-1148)/y. Solve 4*b = -0*b + a for b.
4
Suppose 0 = 5*q + 4*r - 8*r - 8, 4*r = -5*q + 32. Solve -4*n = q*n - 4*n for n.
0
Suppose 76 = 2*d + j - 6*j, 5*d = -2*j + 248. Suppose d = -q + 7*q. Solve 2*l = -0*l - q for l.
-4
Let j = 1699 + -1699. Solve -5*r + 27 - 32 = j for r.
-1
Suppose -4*s + 11 = w - 25, 0 = 5*w - s - 117. Let c(u) = u**3 - 4*u**2 + 2*u - 4. Let q be c(4). Suppose -w = -q*a - 8. Solve -t = -a*t - 9 for t.
-3
Let d(t) = t**2 - 8*t - 14. Let k = 20 - 10. Let c be d(k). Let u = -1 - -5. Solve g + c = u*g for g.
2
Let t = 8 - 3. Suppose -5*f = -i - 2*i + 15, t*f + 25 = 5*i. Suppose 0*b = i*b. Solve a = -b*a - 3 for a.
-3
Let z be ((-33)/(-11))/(-12) + (-34)/(-8). Solve z*y = -13 + 5 for y.
-2
Let z(o) = -o**2 + 1. Let n(h) = -6*h**2 + 8*h + 14. Let g be -4 + 2 - 3/(-3). Let b(k) = g*n(k) + 5*z(k). Let l be b(9). Solve l = -3*f + 9 for f.
3
Let b = 2 - 0. Suppose 2*q + 9 = 3*a, 2*a = 4*q - 3*a + 13. Solve b = q*s + 11 for s.
-3
Suppose -25 = -15*a + 35. Solve -a*z + 25 = -9*z for z.
-5
Let y(q) = -3*q + 117. Let o be y(38). Solve 30 = -9*p + o for p.
-3
Let o = -223 - -230. Solve -l + o*l = 24 for l.
4
Suppose -4*j + 16 = 0, 0 = -2*h - 9*j + 5*j + 222. Suppose 5*i - h = -73. Solve -i*y + 2*y = 16 for y.
-4
Let n(q) = q**3 + 2*q**2 - 1. Suppose 0 = -5*v + v + 4. Let p be n(v). Suppose 2*o + 4*w = 18, -6*o - 2*w = -p*o - 18. Solve -a - o*a = 0 for a.
0
Let b(m) = m**2 + m. Let w be b(-2). Let o(f) = -6*f**w + 11 + 5*f + f**3 + 4 - 13. Let r be o(5). Solve 2 = -r*q + q for q.
-2
Let d = 2 - -12. Let r = d - 12. Suppose 0 = -2*k - 4*c - 10, -5*c = 4*k + 6 + r. Solve -2*g = k*g - 15 for g.
3
Suppose -4*i = -5*i + 4*s - 12, 4*i + 2*s = 24. Solve -i*p - 21 = -29 for p.
2
Suppose -2*m - 4 = -3*b, 0 = -3*m + b + 4*b - 7. Suppose -4*l + 22 = 3*i, 3*i = -2*l + 13 + m. Suppose -l*w + 0*w + 12 = 0. Solve 2 = -u + w*u for u.
1
Let w be 1/3 - 53/(-3). Let g be 2/(w/(-22) + 1). Let o = g - 9. Solve 6 = -2*m + o for m.
-2
Let i(x) be the first derivative of x**4/4 - x**3 + 2*x**2 - x - 18. Let l be i(2). Solve 0 = -n - l*n - 4 for n.
-1
Suppose -5*f + 67 = 5*b - 28, -3*b + 82 = -2*f. Let z = 63 - 39. Let c = b - z. Solve 6*d - d + 25 = c for d.
-5
Suppose 23 = -5*d - 3*b - 37, 0 = 5*d + 5*b + 70. Suppose -8 = 2*h + 20. Let c = d - h. Solve -3 = -4*t + c*t for t.
-3
Let t = 0 + 2. Let s(r) = 2*r**3 - 3*r**2 + r. Let j be s(t). Suppose 4*o - 46 = -j. Solve 3*b = b + o for b.
5
Suppose -j = -2*h + 1 - 13, -19 = -2*j + 3*h. Suppose -k = -3*u + j, 0*u - 3*k = -u + 6. Solve 5*o - 4*o - 3 = u for o.
3
Suppose -4*q + 16 - 14 = -w, -6 = 4*q + 3*w. Let s be (2 + 0)/((-4)/(-6)). Solve q = -i - 0 + s for i.
3
Suppose 5*i - 2 + 7 = -5*y, -y - 2*i - 6 = 0. Let m(r) = -r**2 - 4*r + 2. Let n be m(-4). Solve n*t - y = 4 for t.
4
Let j(c) = -2*c + 198 + 4*c - 211. Let o(f) = -f**2 + 8*f - 7. Let y be o(5). Let x be j(y). Solve x*h = -h for h.
0
Let z(a) = -a**3 + 10*a**2 - 3*a - 49. Let g be z(9). Let u be -6*(-1 + 2/6). Solve -g*v = -v + u for v.
-1
Suppose 2*l = -2*l + 36. Suppose -2*c = -6*w + w + l, 48 = -4*c + 4*w. Let g be (-3 - c/5)*5. Solve -z = z - g for z.
1
Let o(r) = 4*r**2 + 2*r + 8. Let w(v) = 5*v**2 + 2*v + 8. Let u(j) = -6*o(j) + 5*w(j). Let g be u(-4). Solve 6*y = 2*y - g for y.
-4
Suppose 2*f + 2*f = 24. Suppose f = 4*i - 6. Suppose -15 = -3*n + 12. Solve -i*v + 6 + n = 0 for v.
5
Let q be (-1)/5 - 208/(-65). Suppose 0 = -o - 4*a + 3, -o = q*o - 2*a - 12. Solve 2*f + o*f = 0 for f.
0
Suppose j + 56 = 4*f + 3*j, -4*j = 4*f - 52. Solve -3 = f*z - 16*z for z.
3
Let o be (-7)/2*8*12/(-56). Let d be (-20)/o*(12/(-5))/1. Solve 23 - d = 3*x for x.
5
Let z(h) = 5*h**2 + 1. Let w = 1 - 0. Let c be z(w). Let r = c - -9. Solve 7*l + r = 4*l for l.
-5
Suppose 2*k + 0*k - 47 = 3*t, -2*t - 90 = -5*k. Suppose 3*j = -2*a + k, 5*a - 1 = 3*j + 18. Solve 0 = 2*c + j for c.
-1
Suppose 2*y = -3*y + 25. Let i be (-2)/(-2) + (y - 2). Let d(l) = -4*l**2 + 37*l + 134. Let t be d(12). Solve 3*g - i = t for g.
2
Suppose j = -j + 2*h - 4, 5*h = -2*j + 31. Suppose -j*s = -s - 4. Suppose t - 4*f - 13 = -3*f, -s*t = -5*f - 29. Solve 5*k - t = 3 for k.
3
Suppose 3*i + 8 + 79 = 4*u, -i = 5*u - 104. Solve 0 = 19*w - u*w + 6 for w.
3
Let x(t) = t**3 - 15*t**2 + 17*t - 10. Let z be x(14). Let a = 35 - z. Solve -a*l - 20 = 2*l for l.
-4
Suppose 11*p - 2 = -46. Let x be (p*(-2)/12)/((-2)/(-12)). Solve 19 = -x*g + 3 for g.
-4
Suppose -5*r - 20 = -x, -3*r - 29 = -38*x + 34*x. Solve -x*s + 8 - 8 = 0 for s.
0
Suppose 5*d = 2*d - 69. Let q = -18 - d. Solve q*x = x for x.
0
Suppose -w - 5*w = 192. Let d = 36 + w. Solve 5 = d*h - 15 for h.
5
Let q = 48 - 46. Let d be ((-10)/(-6))/(80/96). Let n(y) = -y - 1. Let j be n(-1). Solve -q*p + 4 - d = j for p.
1
Let d = 1 + 4. Suppose -d*f = 10 + 5. Let t be (2/f)/(1/(-12)). Solve 2*m + 2*m = -t for m.
-2
Let s be ((22 - -2) + -3)/(15/25). Solve 5*h = -s + 10 for h.
-5
Let d = -39 - -47. Suppose -8*h + 4*h = -d. Solve -4 = 3*p - h*p for p.
-4
Suppose -4*b + 44 + 4 = 0. Let x = b + -15. Let s = 5 + x. Solve -g - s = -6 for g.
4
Let c(t) = -t**2 + 9*t - 18. Let i be c(6). Suppose i = -8*f + 2*f + 18. Solve 7*x - f*x = 12 for x.
3
Let c(a) = -27*a**2 - a + 1. Let b be c(1). Let s = -27 - b. Solve s = -h - h - 10 for h.
-5
Suppose -2*b - y - 1 = 0, -5*b + 2*y + 11 = -0*b. Let l be (-8 + 3)/(b/(-2)). Let z be ((-12)/l)/(2/(-5)). Solve -z*u + u = 0 for u.
0
Let q be 11/4 - 15/(-12). Solve 0 = 4*a + q*a - 32 for a.
4
Let s = -220 - -230. Solve -s*c = -7*c - 12 for c.
4
Let o(a) = -4*a - 26. Let j be o(-12). Solve -j*g = -25*g for g.
0
Let u be (2/4)/((-10)/20). Let f(q) be the third derivative of -q**6/60 + q**5/60 - q**3/6 - 2*q**2. Let v be f(u). Solve -v = -c - 6 for c.
-4
Let u(f) = -f**2 - 53*f - 588. Let v be u(-16). Solve -91 = v*r - 111 for r.
5
Suppose 231 = 5*g - 2*k + 4*k, 4*g - 192 = 2*k. Let x = g - 32. Solve 3*d = -2*d - x for d.
-3
Let u be (24/(-30))/((-4)/(-10)). Let t be (-13)/(-2) - (-3)/u. Solve t + 5 = 2*f for f.
5
Let g = 404 - 362. Solve -5*z = 9*z + g for z.
-3
Let s = -346 - -349. Solve s*k = -2 - 7 for k.
-3
Let u be ((-75)/(-10))/(1/(-2)). Suppose -3 = -x - 2. Let m be x*3*u/(-9). Solve -1 - m = 3*t for t.
-2
Suppose 0 = -3*s + 3*t + 3, 7*s = 3*s + 3*t + 3. Suppose z = -2 - 2, 3*r + 247 = 5*z. Let m = r + 94. Solve -q + m*q = s for q.
0
Let q be (6 + -4)*10/4. Suppose -y = 4*y + q*m - 10, 5*y = 3*m + 26. Solve -y = z - 1 for z.
-3
Let h(f) = -4*f**2 - 8*f + 5*f + 15 + 2*f + f**3 - 8*f**2. Let l be h(12). Solve -l*t + 3 = 9 for t.
-2
Let c(u) = 8*u**3 + 3*u**2 - 1. Let i be c(2). Suppose 17 = -4*f - i. Let h = f + 43. Solve 0*w - 5*w + h = 0 for w.
4
Suppose 0 - 4 = -s. Let g be 38*1*1/2. Let p be (-6)/4 + (-39)/(-6). Solve -s = -p*r - g for r.
-3
Suppose 30 = 3*v - 99. Suppose 4*z = -4*x + 72, -3*z + z + v = -5*x. Suppose -139 = -5*r - z. Solve -5*f + r = -1 for f.
5
Let p be 45 - 44 - (0 + -1 - 0). Let n be (-2)/((-24)/36 + p/(-6)). Solve -n*v - 9 = v for v.
-3
Let s(t) = -t**2 + 27*t - 86. Let g be s(23). Solve 6 = 9*j - g*j for j.
2
Let d be (100/70)/(1 + 10/(-14)). Solve 0 = -61*h + 56*h - d for h.
-1
Let j be 0 - (0 - (-2 - -4)). Suppose -43*k - 3 + 3 = 0. Solve k = -4*p +