et k = 35 + -31. Suppose 5*f + q*v - 6 = -v, -3*v - 4 = k*f. Solve 0 = -f*y - 0*y - 6 for y.
-3
Let w(a) = -a**3 + 3*a**2 - 2*a + 16. Let x be w(3). Solve -x*s + 14 = 4 for s.
1
Suppose -3*m + 15 = -3*y, 3*m = -5*y + 3 + 4. Suppose -m*d + 8 = 4. Solve 0 = 4*x + d + 3 for x.
-1
Let p = 2717 + -2702. Solve 3*d + 0 = -p for d.
-5
Suppose -w = -0*w + 2*j - 80, -5*j = -3*w + 218. Solve 69*i - w*i - 21 = 0 for i.
-3
Let g = 39 + -55. Let j = g - -19. Suppose -13 = 2*y + 3*x, j*y + 0*x - 13 = 2*x. Solve 5*t + 26 = y for t.
-5
Let z = -482 - -495. Solve -4*p - z*p = 68 for p.
-4
Let x be (-150)/(-10)*13/39. Solve 17 = -x*h + 12 for h.
-1
Let u(x) = -11*x - 2. Let m be u(-18). Suppose 0 = f + 13*f - m. Solve f*c = 9*c - 25 for c.
-5
Let c = -13 + 18. Suppose 15 = 4*v - 2*v + m, c*v + 4*m - 42 = 0. Let a(q) = q**3 - 5*q**2 - 5*q - 6. Let b be a(v). Solve b = -2*o + 5 - 1 for o.
2
Let q be (0 - (-32)/24) + (-60)/(-9). Solve -q*s + 15*s = 28 for s.
4
Let d = 49 + -43. Solve d*j - 3*j + 6 = 0 for j.
-2
Suppose t + 2*t = 9. Let d = -6 - -9. Suppose -2 - 1 = -d*x. Solve -t*w + x = 4 for w.
-1
Let d = -234 + 240. Solve -3*c = -c + d for c.
-3
Let m(k) = -2*k**2 - 5*k + 18. Let v be m(-4). Suppose -7 = -5*i + 2*a, 0 = i + 4*a - 12 - 7. Suppose -3*g + 6*g = 0. Solve -x + v - i = g for x.
3
Let k(z) = -z**3 - 6*z**2 - 30*z - 125. Let g be k(-5). Solve g*s + 20 = 4*s for s.
5
Let v(r) = -r**3 - 7*r**2 + r + 5. Let o(z) = 5*z**3 + 34*z**2 - 6*z - 26. Let t(a) = 2*o(a) + 11*v(a). Let l be t(-9). Solve -8 = 4*f + l for f.
-5
Suppose -2*j = -13 - 17. Let n = -5 - -7. Suppose -3*g + 16 = 4*w, 3*w - n*w + j = 4*g. Solve 0 = -g*y - y - 10 for y.
-2
Let h(v) = -6*v**2 - 20*v + 14. Let y(t) = t**2 + 4*t - 3. Let l(k) = -2*h(k) - 11*y(k). Let c = -670 + 672. Let m be l(c). Solve 2*p + 3 - m = 0 for p.
-1
Suppose 0 = 4*o + 1 - 61. Solve 11*a - o = 6*a for a.
3
Let n = -994 - -1036. Solve -k + n = 46 for k.
-4
Suppose 6*l - 25 = 11*l. Let a be l/(-2)*108/(-90). Let o(w) = w**3 + 4*w**2 - 4. Let j be o(a). Solve 0 + j = 5*t for t.
1
Suppose 44*c - 16 = 43*c. Suppose 0 = 2*z + 3*v - v - 2, -2*v - 16 = -4*z. Suppose z*f = 11 + c. Solve -1 = -2*o - f for o.
-4
Let t(o) = 29 - 9*o - 9 + 7*o. Let r be t(0). Solve 2*j + 3*j + r = 0 for j.
-4
Suppose -3*j = 2*j + 105. Let a = j - -29. Let v = 11 - a. Solve v*u = 4*u - 4 for u.
4
Let f(i) = 9 - 3 - 3 - 5 - 2*i. Let l be f(-11). Solve x + 3*x = -l for x.
-5
Let g = 1402 + -1402. Solve -i - 14 + 19 = g for i.
5
Let n = 37 - 18. Suppose n*m - 18*m = 42. Suppose -5*g - 17 + m = 0. Solve -5*l - g + 0 = 0 for l.
-1
Suppose 8 = y + 3*y. Suppose 3*u = -y*u + 20. Suppose 21 = u*l + 5. Solve -l = -3*s + 5*s for s.
-2
Let o(c) = -46*c - 42. Let d be o(-1). Solve -4*a + d = 8 for a.
-1
Let f(y) = -y**3 + y**2 + y. Let c(i) = -5*i**3 - 2*i + 11*i**2 + 4*i + 8 + 10*i. Let w(l) = -c(l) + 6*f(l). Let h be w(-4). Solve h*r - 5*r = 10 for r.
-2
Let v(f) = -f**3 - 2*f**2 + 6*f + 14. Let m be v(-3). Solve -m + 7 = -w for w.
-2
Let r(p) = -p - 6. Let i be r(-10). Let k = i + 2. Let m be ((-4)/k)/(6/(-27)). Solve 2 = -m*a - 10 for a.
-4
Let m(o) = -o**3 + 6*o**2 + 6*o - 3. Let x be m(6). Let u be 3 - 2/(x/(-9) + 3). Solve 3*l - u = -3 for l.
1
Let v(z) = 11*z**2 - 11 + 40*z**3 + 34*z**3 - 73*z**3 - 27*z. Let m be v(-13). Solve -2*j + m = -j for j.
2
Let m = -51 - -59. Suppose 2*q = q. Suppose v + 12 = 2*s, m = -q*s - 3*s - 5*v. Solve 20 = -u - s*u for u.
-4
Let c = -73 + 70. Let d be ((-3)/(-3) + -1)*c/(-6). Let f(o) = o**3 + 5*o**2 + 2*o - 5. Let h be f(-4). Solve d = 3*x - h for x.
1
Suppose -2*g - 4*f = g - 65, 3*f + 30 = 3*g. Let h be (510/(-595))/(((-9)/(-14))/(-3)). Solve -h*c - g = c for c.
-3
Let u(a) = 66*a - 1238. Let t be u(19). Suppose 4 = -4*f - 0, 0 = z + 3*f - 2. Solve -t = z*l - l for l.
-4
Suppose -69 + 67 = -g. Solve 4*a - 6*a = -g for a.
1
Suppose 0 = -2*q + 3 + 1. Suppose q*u = -u. Solve j + 2 - 1 = u for j.
-1
Let m(d) = -21*d - 3. Let p be m(-1). Let a = p - 14. Let b(s) = 2*s. Let f be b(1). Solve -a = f*g - g for g.
-4
Suppose 6*m - 5*m - 3 = 0. Suppose -3*j = 2*j - 20. Suppose -j*v = -9*v + 40. Solve x + m*x + v = 0 for x.
-2
Let c(x) = -x**2 - 15*x - 17. Let u be c(-13). Suppose 2*g - u = -3*b, b - 8 - 2 = -3*g. Solve -3*z = -g + 12 for z.
-3
Suppose 5*k - 42 = 128. Solve 0 = 4*w - k + 14 for w.
5
Suppose 5*a = 10, 3*c - 2*a = -0*a + 170. Suppose -2*q = g - 23, 0*g + 2*g - c = -5*q. Let u = q - 9. Solve -u*d - 1 = -13 for d.
4
Let u be (5 - 0) + 4 - 5. Suppose -12*b + u - 4 = 0. Solve b + 5 = -p for p.
-5
Let q = -554 + 573. Solve -7 + q = 6*x for x.
2
Let t(a) = 4*a**2 + 46*a - 16. Let u be t(-12). Solve 4*b - u = 8*b for b.
-2
Let c be 2/(-12) + (3 - (-488)/48). Solve 0 = c*o - 15 - 11 for o.
2
Suppose 115 = -11*m + 126. Solve u + m = -3 for u.
-4
Let w be (-3)/1*28/(-42). Let a be (w/(-3) - -2)*(-6)/(-4). Solve 4*o = a - 6 for o.
-1
Let i be (0 + (-33)/(-4))*(8 + -4). Suppose -1 = 4*l - i. Suppose -3*c + 3 = -2*c. Solve s + l = -c*s for s.
-2
Suppose 14*i = 7*i + 595. Let o = 110 - i. Solve f - o = -4*f for f.
5
Let v = 1073 - 1031. Solve -2*x = 12*x - v for x.
3
Let d(v) = -9*v - 95. Let a be d(-9). Let q(k) = 2*k - 6. Let h be q(6). Let w = h - a. Solve -4*m - 8 = -w for m.
3
Suppose -19*x + 171 = -0*x. Solve a - x*a = 24 for a.
-3
Suppose 4*l = 2*l + 10. Suppose 3*x = -5*j + 11, -3*x + 5*x + 10 = j. Let u be (-8)/36 + j/18. Solve u = l*h - 0 + 5 for h.
-1
Let c = 232 - 208. Solve 13*a = 5*a - c for a.
-3
Let d(n) = n**2 + 9*n + 7. Let x be d(-8). Let p be (x - 18/(-2))/(-1). Let a = 15 + p. Solve u + 2 = a for u.
5
Suppose -5*w + 4*x - 16 = 0, -5*w - 3*x + 8 = -x. Suppose -b + 2*p + 7 = w, 0 = -5*b + p + 3 + 23. Solve b - 25 = -4*l for l.
5
Suppose -5*g + 36 = 13*g. Solve -7*a = -37 + g for a.
5
Let m = 30 - 26. Suppose m*r - 15 = i - 2, -2*r + 11 = i. Solve 0 = 5*k - 2 - i for k.
1
Suppose 0 = -c - 4, 4*c - 3*c = -3*f + 17. Suppose -f*n + 3*n + 17 = 5*k, 4*n + 2*k = 14. Suppose -5*h + n*h = 0. Solve -x = -h*x for x.
0
Let u be (11 + -7)*(-4 - (4 - 9)). Solve -3*g = -11 - u for g.
5
Suppose p - 3 = -6. Let y be -1 - (-8)/(-12)*p. Solve 0 = 5*l + y + 19 for l.
-4
Let x be (-22)/4 + 5/(-10). Let p(g) = -g**3 - 7*g**2 - 7*g - 2. Let j be p(x). Suppose -j*f + 17 = -3*r, -2*r + 1 = -f - 1. Solve f = 2*h - 0*h for h.
4
Let i(m) = -m**2 + 7*m + 9. Let p be i(6). Solve -17*d = -20*d - p for d.
-5
Let z = -3 - -15. Let l be (-85 + -1)/(4/2). Let a = 47 + l. Solve -a*b + z = -0*b for b.
3
Let v = 148 + -145. Solve -v*f = -10*f - 7 for f.
-1
Suppose -3*v + 34 = -4*a, v + 0*v = 2*a + 10. Let w = 19 - v. Solve 4*n = w*n for n.
0
Let r be 10*1/2 + -1. Suppose 2*a - 4*a = 3*s - 13, 0 = -r*s - 2*a + 16. Suppose -6*h = -20 - 28. Solve h = s*l - l for l.
4
Let d(z) = -7*z + 243. Let a be d(34). Solve a*c = 6*c - 2 for c.
2
Let d(h) = 4*h**3 + h**2 - 2*h + 1. Let v(g) = -g**3 + g**2 - 1. Let z(q) = -d(q) - 5*v(q). Let o be z(6). Solve 0 = 2*s + o - 6 for s.
-5
Let y(k) = k**3 + 7*k**2 - 28*k + 24. Let w be y(-10). Solve 9 + 11 = w*v for v.
5
Suppose -6*i = 83 + 7. Let d = -14 - i. Solve c + 0*c = -d for c.
-1
Let y = 607 - 491. Solve y = 3*o + 122 for o.
-2
Suppose -39*t = -10*t - 116. Let a(j) = -9*j**3 + j**2. Let u be a(1). Let m = -5 - u. Solve -2 - t = -m*y for y.
2
Suppose -156*x - 27 = -159*x. Solve 5*q - x = -4 for q.
1
Suppose 5*s - 233 = -2*m, 2*s - 95 = -0*s + m. Let x = s + -47. Solve -u = -x*u for u.
0
Suppose -80 = 83*v - 88*v. Solve -5*u - 1 + v = 0 for u.
3
Let j be (0/1)/(-4 - -2). Let m be 3/(1 - 8/(-4)). Let l be 2 + -5 - (-4 - m). Solve j*o + 10 = l*o for o.
5
Let d be (-6)/(-39) - (-100)/26. Let o be (-3)/(-9) + (-2)/6. Suppose g - 3*r + 5*r - 10 = o, -d*g + 5*r - 12 = 0. Solve 0 + g = i for i.
2
Let m(q) = 11 + q**3 - 421*q + 6*q**2 + 4*q**2 + 411*q. Let t be m(-11). Solve 0 = -t*u + 2*u + 8 for u.
-4
Suppose 4*q - 20 = 0, 12*t - 14 = 11*t - q. Suppose -19 = -t*x + 26. Solve -25 = x*y - 0*y for y.
-5
Suppose 1 = 5*k + 2*a, 3*k + 2*a = 4*a - 9. Let m(s) = -s**3 + 2*s**2 + 2*s + 1. Let j be m(k). Solve -1 = j*i + 9 for i.
-5
Suppose 0 = -2*k - 2*k, -4*k = -w. Let n = 0 + w. Solve n = -p - 6 + 1 for p.
-5
Suppose -34*r = -13*r - 315. Solve 2 = -r*q + 13*q for q.
-1
Let d(h) = 2*h**3 - 10*h**2 + h - 2. Let m be d(5). So