be (-6)/4*12/9. Let q be h(a). Solve -3*x + 5 + q = 0 for x.
2
Let t(v) = 5*v**2 + 3*v - 4. Let g be t(-3). Suppose 5*y = y + g. Let s(x) = x**2 - 9*x + 8. Let c be s(y). Solve c = 3*j + 6 - 0 for j.
-2
Let k(b) = -9*b - 1. Let o(t) = t - 1. Let u(n) = -k(n) + 2*o(n). Let j be u(1). Suppose 0*w - 5*w + 10 = 0. Solve -3*l = w*l + j for l.
-2
Suppose -11 = 4*s - 31. Solve -s*c - 3 = -8 for c.
1
Suppose -4*v + b - 1 = 113, -3*b = -v - 34. Let l = -15 - v. Solve -l = 2*g - 3 for g.
-5
Suppose 0 = -0*j + 3*j, 2*j = -5*v + 10. Solve v*q + 3*q = 20 for q.
4
Suppose -k - 11 = -0. Let c = k - -11. Solve c*g = g + 3 for g.
-3
Suppose -4*k + 18 = 5*k. Solve -25 = -k*o - 3*o for o.
5
Suppose 0 = 3*h - 18 + 6. Solve -t = -h*t - 3 for t.
-1
Suppose -2 - 2 = 2*v. Let h be (-4 - v) + 1*3. Suppose a - 11 = -4*k + h, -2 = -5*k + 2*a. Solve -k = q - 4 for q.
2
Suppose 10*z = 7*z. Suppose x - 4*b - 4 = -1, 2*x - 6 = -b. Suppose -x*g + z*g = -6. Solve 3*l = -g*l - 25 for l.
-5
Suppose 0 = 2*v - 4*p, -3*v = -v - p - 3. Solve 12 = v*g + g for g.
4
Let x = -2 - -5. Solve 0 = -x*v + 12 - 0 for v.
4
Let h(j) = 7*j**3 - j**2 + 3. Let r(t) = t**3 - t**2. Let f(n) = h(n) - 6*r(n). Let o(w) = -w**2 - 2*w + 3. Let l be o(2). Let y be f(l). Solve y*s = -s for s.
0
Let n be (-2 - 9/(-6))*-2. Suppose b + n = 3. Let v(o) = o**3 - o**2 - 2*o + 1. Let u be v(b). Solve 3*y = 2*y - u for y.
-1
Let z be (20/12 + -2)*-6. Solve u = 2 + z for u.
4
Suppose 3*g = -1 + 10. Solve 5*c = -7 - g for c.
-2
Suppose -5*n + 4*g + 1 = 0, 4*n + 2*g = 3*n + 3. Let h be (n - -1)*1*-2. Let t be -3*2*h/12. Solve t*o - 2 = -0*o for o.
1
Let r be (-3)/(-18) - (-94)/12. Suppose -r = -a - 5*i + 4, 8 = 4*i. Solve -4*n + a*n = 6 for n.
-3
Let b be 4/10 - 258/(-30). Suppose 3*v - 9 = -5*i, b = -3*v + 6*v - 3*i. Solve 20 = -2*g - v*g for g.
-4
Let y(u) = 2*u**2 - 6 + 8*u + 14 - 3*u**2. Let b be y(6). Solve 0 = k - 5*k + b for k.
5
Let i(n) = -2*n. Let j be i(-1). Let b(y) = 3 + 4*y**2 - 4*y**2 - 5*y + j*y**2. Let f be b(3). Solve 3*o - f*o - 3 = 0 for o.
-1
Suppose -19 = -3*d - 4. Suppose 2*i = i - d*p - 20, -4 = 4*i + p. Solve i = -5*l + 10 for l.
2
Suppose -r = 16 + 34. Let u be (4/5)/((-5)/r). Solve -u*j + 5 = -3*j for j.
1
Let v = -18 + 21. Let l(o) = o**2 - 2*o + 4. Let d be l(v). Suppose 3*q + 6 = 15. Solve d*n = 4*n + q for n.
1
Let c(t) = t**2 - 7*t + 5. Let j be c(7). Suppose 10 + j = -5*q, 0 = -5*s + 5*q - 5. Let z = 1 - s. Solve 0 = -z*o + 2 - 7 for o.
-1
Suppose 0 = -4*a - 2*p + 2, 7*a - 4*a - 24 = 3*p. Solve 7*n + a = 4*n for n.
-1
Let o be 2/(-3)*12/8. Let j = -2 - o. Let x be (6/(-10))/(j/5). Solve -x*q = -0*q - 6 for q.
2
Let p be (48/(-18))/((-4)/6). Let z(c) = c**3 + c**2 - 2*c + 1. Let r be z(2). Solve p*o = -r + 5 for o.
-1
Let d(f) = -2*f**2 - 18*f - 7. Let g be 5 - 7 - 12/2. Let o be d(g). Solve -4*h + o = -h for h.
3
Let h(o) = -o**2 - 2*o. Let a be h(-1). Suppose a = 3*v - 2. Solve n + 3 = -v for n.
-4
Let s = -76 - -76. Solve 3*v + 2*v + 20 = s for v.
-4
Suppose 7*h = 3*h. Solve -5 = c - h for c.
-5
Suppose 3*n + 951 = 2*a, 1 = 3*n - 4*n. Let j be ((-8)/12)/((-4)/a). Let k be j/5 + (-3)/(-15). Solve 1 = 5*f + k for f.
-3
Suppose -5*j = -3*j + 5*z - 19, z + 1 = 2*j. Solve 1 + j = d for d.
3
Let j be 7/1*1/1. Suppose 4*i - 2*i = 10. Suppose -m = -5*m + 52. Solve 0 = -i*q + j + m for q.
4
Suppose 1 = n - 3. Let d(t) = n - 2 + t**2 - 6 + 0*t**2. Let q be d(3). Solve -h + q = 8 for h.
-3
Let d = -5 - -16. Suppose 0 = -3*j + 38 - d. Solve 0 = -3*s - j for s.
-3
Suppose -1 = -3*k + 2*m, -3*k - 2*m + 1 = -4*k. Solve 5 = -3*h - k for h.
-2
Let v be -2 + (4 - (2 + -2)). Solve -4*r = -v*r + 2 for r.
-1
Let q(y) = 7*y**3 + y**2 - 2*y. Let o be q(1). Solve -4*h + 6 + o = 0 for h.
3
Let p = -4 + 10. Solve -h + 25 = -p*h for h.
-5
Let v be ((-8)/(-16))/((-1)/(-2))*0. Solve v*w = 5*w + 5 for w.
-1
Suppose 4*w - 3*j = 36, 3*w - 4*j + 1 = 35. Suppose 0 = 3*h - w - 6. Solve 1 = h*u + 13 for u.
-3
Let i = -6 - -2. Let a be -1 - (i - 0)*1. Suppose -a*g + 3 = -9. Solve 4*w + g = -0 for w.
-1
Suppose -13*x = -17*x. Solve x*a = 2*a - 8 for a.
4
Suppose 0 = d - 2*d + 3. Suppose 0*a = 3*y + 2*a + 4, 0 = -3*y - 3*a - 9. Suppose k - y = d. Solve -n + k = -2*n for n.
-5
Let c be (1/2*6)/((-12)/(-32)). Solve -5*a + 12 = -c for a.
4
Let j(p) = 4*p**2 + p**3 + 8*p**2 + 0*p**2 - 5*p**2. Let g be j(-7). Suppose 0 = -2*u - g*u + 8. Solve u = v - 0 for v.
4
Let f(s) = s - 9. Let a be f(6). Let n be -1 + (-1 - 0)*a. Suppose -2 = -h + n. Solve 0 = -h*l + 12 + 4 for l.
4
Let k be 14/((-3)/(-18)*-4). Let s = k + 37. Solve j + s = 5*j for j.
4
Let k(z) = z**3 + 11*z**2 - 13*z - 7. Let p be k(-12). Solve p = -2*m + 3 for m.
-1
Let h(j) = -4*j**2 - 2*j. Let k(x) = 4*x**2 + 3*x. Let z(l) = -3*h(l) - 2*k(l). Let o be z(-1). Solve -2*r = 2*r - o for r.
1
Suppose n + 3 - 1 = 0. Let c = n + 8. Let l be (-14)/(-6) + 4/c. Solve -l*v + 0 = -3 for v.
1
Let u(p) = 20*p**2 - 2*p - 1. Let t be u(-1). Suppose -z = -5*w - t, 5*z - 5*w + 2*w = 61. Solve 4*a - 9 = z for a.
5
Suppose 0 = -y + 2*y - 3. Suppose -y*g = -g + 14. Let b = g + 13. Solve 0 = 2*n - b*n + 16 for n.
4
Suppose -6 - 9 = -3*j. Solve 0 = -4*h + 3 + j for h.
2
Suppose 0 = 2*t - 0*t - 22. Solve -6*f = -t*f + 10 for f.
2
Suppose 3*m = 13*m - 10. Solve -4*o = -7 - m for o.
2
Let y be 2/(-2) + (3 - 6)/(-3). Solve y*g - g - 1 = 0 for g.
-1
Let w be (-42)/(-49) - (-2)/14. Solve -x - w = -6 for x.
5
Let b = -1 - 0. Let h = 6 + b. Suppose -y = -3 - h. Solve 0 = 4*t - 2*t + y for t.
-4
Let d be (3 + -2)/((-1)/9). Let i = d + 9. Suppose -f - 2*k + 9 = 0, 2*f - 13 = -k - 4. Solve f*v = 9 - i for v.
3
Suppose 5*j + 14 - 1 = -4*u, 5*u + 15 = -5*j. Let h be (-1)/((-10)/4 - u). Let p be h - (2 + -3 + 0). Solve -p*f + 9 = -0 for f.
3
Let y be (-2)/15 + 6/45. Solve y*l = 4*l for l.
0
Suppose 4*z - 4*v - 52 = 0, 0 = 2*z - z - 3*v - 11. Let m be (-1)/((-4)/12) + -1. Solve z = 4*b - m for b.
4
Let i = 8 + -4. Let f(d) = 3*d**2 - 5*d + 2. Let g be f(i). Suppose 0 = -c - c + g. Solve -3*m + 0*m = -c for m.
5
Let s = -3 + 7. Let m(c) = -c**3 + 2*c**2 - c + 2. Let k be 2/(-7)*(-5 + -2). Let w be m(k). Solve w = -h - 0*h + s for h.
4
Suppose 2*i + 0*i = -2*t, -4*t = 3*i. Suppose i = 5*q - 3*q - 4. Suppose 4*d - 4*k = 20, d - q*k = -3*k - 1. Solve -d*n - n = 6 for n.
-2
Let n be (-1 - (-3)/2)*12. Solve 0 = -n*f + 3*f + 6 for f.
2
Let p be ((-8)/12)/((-1)/21). Suppose 5*j - p = 2*u, -4*j + 3*u + 16 = j. Solve -j = c + c for c.
-1
Let i be 0/(-3 + 4 + 1). Solve 3*q = -i*q for q.
0
Suppose -2*x - 18 = -4*p, 4*p - 3*x - 21 = -0*p. Solve 0 = -p*z - z + 12 for z.
3
Let o(r) = 3*r**3 - r**2. Let m be o(1). Solve 0 = 3*x + m*x - 20 for x.
4
Suppose -5*n + 12 = -3*z, -3*n - n + 17 = 5*z. Suppose 2*j + 5 = -z. Let l be 13 + j/(-1 - 0). Solve 0 = -4*a + l for a.
4
Suppose 4 = 4*q + 2*c + 2, 0 = -5*c + 5. Let s = 4 + 14. Suppose -3*g = -2*l + s, -3*l - g = g - 40. Solve 4*b + l = -q*b for b.
-3
Suppose 4 = -4*r + 16. Let x = 1 + 4. Suppose x*v = 4*v + 2. Solve -r*d - 5 = -v*d for d.
-5
Let a(c) be the third derivative of -c**4/24 + c**2. Suppose 3 = -x + 1. Let f be a(x). Solve 0 = -f*z - 4 - 4 for z.
-4
Let u(f) = f + 14. Let p be u(-11). Solve -p*v = -5*v for v.
0
Let q(f) = -6 + 7*f - f + 3 + f**2. Let n be q(-7). Let l = -1 - -1. Solve l = -n*z - 0*z + 20 for z.
5
Suppose 0 = -3*k + 188 - 56. Let w = -9 + 25. Suppose -4*b - w = -k. Solve 4*f = -b - 5 for f.
-3
Suppose -2*f - 12 = -0*f - 4*z, 3*f = -z + 10. Suppose 4 = 2*a + 4*t, t + 3*t = 5*a - 24. Suppose k = 13 - a. Solve o - k = -f*o for o.
3
Let o = 62 - 53. Solve 4*s + o + 3 = 0 for s.
-3
Suppose -5*p + 36 = 5*c - 4, -3*p = -c - 20. Suppose -p*w + 4*w - 3*u - 12 = 0, w - 16 = 3*u. Let i be w/(42/(-15) - -3). Solve 2 = i*d + 27 for d.
-5
Let c(b) = b + 2. Let y = 5 - 7. Let v be c(y). Suppose 3*a - 4*u - 16 = v, 2*a - 8 = 3*a + 2*u. Solve a = -3*d + d for d.
0
Let i(h) = 2*h**3 - 5*h**2 + 4*h - 3. Let t be i(3). Let g(w) = w**3 + 7*w**2 + 7*w + 9. Let l be g(-6). Suppose 0 = -l*j + 7 + 8. Solve -7 - t = -j*b for b.
5
Let b(x) = -x**3 + 15*x**2 + 15*x + 18. Let a be b(16). Solve 8*d = a*d + 18 for d.
3
Let l(c) = -c**3 + 6*c**2 - 4*c - 5. Suppose 4*x = -4*i - 12, 3*i + 5*x + 12 + 7 = 0. Suppose -i + 22 = 5*u. Let q be l(u). Solve -q + 31 = -5*z for z.
