t k = -1490 - -1497. Solve 13 - 13 = -k*s for s.
0
Let i be (-366)/(-12)*(-2 - 0/1). Let o = 66 + i. Solve -10 = o*z - 3*z for z.
-5
Suppose -4*z + 124 = 4*t - 8*z, -4*t = z - 109. Suppose 3*x - 17*x = -t. Solve -5 = -x*g - 3*g for g.
1
Let r = 240 + -235. Solve r*b + 8 = 3*b for b.
-4
Suppose -3*f = 2*f - f. Suppose -8*z + 11*z - 51 = f. Solve 5*g + z = -3 for g.
-4
Let f = 1704 - 1702. Let i = -4 - -8. Solve -i*w - f = -6*w for w.
1
Let j(m) = m + 22. Let k be j(-17). Suppose -2*l + 4*b + 4 - 16 = 0, -2*l + k*b - 17 = 0. Solve -l*f = 5 + 3 for f.
-2
Let f = 585 + -558. Solve 0 = 26*q - f*q - 2 for q.
-2
Suppose 11 = -6*p + 71. Solve 0 - p = -2*y for y.
5
Let a(k) = -k**3 + 8*k**2 - 7*k + 5. Let g be a(7). Let f = 16 - 8. Suppose f*i - g*i - 9 = 0. Solve 1 = i*h - 11 for h.
4
Suppose 3*k - j - 13 = 4*j, -2*j - 4 = 0. Solve o = 4 + k for o.
5
Suppose -q = -0*q - 3. Suppose 0 = -3*m - 4*u + 72 - 20, 0 = q*m + 5*u - 47. Suppose -m = g - 5*l, -3*l + 2 = -g - 12. Solve 7 = -3*d + g for d.
-2
Suppose -2*q + 12 = 2*q. Let c = 80 - 146. Let z be (-13)/(-6) - (-11)/c. Solve -z*m - q = -5 for m.
1
Let h(c) = c**2 + c - 27. Let n be h(-9). Solve -36*i + 21*i - n = 0 for i.
-3
Let j(p) = p**2 - 9*p - 1 - 2 + 0. Let u be j(9). Let w be (-21)/(-28) + u/4. Solve 3*x - 2 + 8 = w for x.
-2
Suppose -3*b = 9, 3*r - 5*b - 17 + 2 = 0. Let s be r/(2*(-2)/4). Solve s*t = -2*t - 4 for t.
-2
Let h = 8 + -3. Let c be (0 + -8)*h/(-10). Suppose 0 = 2*r - 3*u - 8, -3*u + 8 = 2*r - c*u. Solve -r*l = -l for l.
0
Let h be 9/(1 + 2) + 16/(-16). Solve -6*q = h*q + 8 for q.
-1
Let b(j) be the second derivative of j**5/5 - j**3/3 + j**2/2 + 2*j. Suppose -3*t + h + 1 = 0, 0*t - 9 = -5*t - 2*h. Let w be b(t). Solve 2*s = -w - 3 for s.
-3
Let c(r) = -r + 1. Let q be c(1). Suppose 2*x = x. Suppose x = 2*j - 2*u + 2 - 12, -2*u + 6 = 2*j. Solve -j*p + q*p = -8 for p.
2
Let w(u) = u**2 + 2*u + 10. Let q be w(-2). Suppose 5*b - 2*i - 52 = 0, 5*b - 4*i + 19 = 73. Solve -q*s = -12*s + b for s.
5
Let m be 1 + (-2)/2 + 0. Suppose -r - 3 = 4*n, m = -3*n - 7*r + 2*r - 15. Solve s + n = -5 for s.
-5
Let i(b) = b - 13. Let l be i(19). Suppose t + 93 = 3*x, 0 = t - 3 - 0. Let y = x + -16. Solve -l*w + 2*w = y for w.
-4
Let y(j) = -6*j**2 - 4*j. Let h be y(-3). Let k = -38 - h. Solve -9 = -z + k*z for z.
-3
Suppose -43*z + 24 = -40*z. Solve -z*v = -0*v - 8 for v.
1
Let d = 22 + -9. Suppose -9*j = -d*j. Suppose j = -m - 2*z + 21, 0*m - z - 12 = -m. Solve -4*p - p - m = 0 for p.
-3
Let z = -35 - -17. Let l = -22 - z. Let j(d) = 2*d**2 + 4*d + 2. Let b be j(l). Solve 0 = -3*o - b + 6 for o.
-4
Suppose 595 = -10*f + 45*f. Solve -f + 7 = -5*g for g.
2
Let w(v) = 76*v - 64. Let p be w(1). Solve 0 = 46*x - 42*x + p for x.
-3
Let q(i) = -i. Let n(f) = 2*f - 1. Let j(d) = -2*n(d) - 7*q(d). Let o be j(0). Solve -20 = o*s + 2*s for s.
-5
Suppose -k = -5*k - 16, -3*d = k - 5. Suppose 5*i - 8*c - 10 = -3*c, -2*c = -d*i + 7. Suppose 7*b = 6*b + 4. Solve i*g = 4*g + b for g.
-4
Suppose -g = 3*y - 308, y - 5*g = -0*y + 76. Let q = -101 + y. Solve -4*j + 6 + 2 = q for j.
2
Let j(d) = 85*d - 589. Let h be j(7). Solve -3*l = -0*l - h for l.
2
Suppose 25 = -3*x - 11. Let m be (21/x*-2)/((-5)/(-10)). Solve 0 = -2*o + m + 3 for o.
5
Let t = -4 - -4. Let y = t + 1. Suppose 0 = 3*s - y - 8. Solve -2*x + s = x for x.
1
Let v be (-6 - -4)*((-65)/2 - -2). Suppose -d + 76 = v. Solve 0*b - 3*b + d = 0 for b.
5
Let r(v) = v**3 + 3*v**2 + 3. Let k be r(-3). Let l(h) = -h + 6. Let o be l(k). Solve -o*j = -j - 2 for j.
1
Let t = 5 - 3. Suppose -5*w - 3 = -3*b, -4*b - 7*w = -3*w - 36. Let x be b/45 + (129/45 - -2). Solve -x*h = -t*h for h.
0
Suppose 2*a - 8*a + 18 = 0. Suppose -2*k = 2*k - 3*o - 14, 3*k - a*o - 9 = 0. Solve -t - k = -0 for t.
-5
Let g be 8/(-6)*(-7 + (-460)/8). Solve g = l + 82 for l.
4
Let x be (4/(-3))/(50/(-225)). Let z(g) = g**3 - 2*g**2 - 2*g + 3. Let j be z(3). Solve -3*v + x*v - j = 0 for v.
2
Let q = -624 - -633. Solve 0 = -y + 11 - q for y.
2
Let l(w) = -8*w - 54. Let b be l(-18). Suppose -11*p + b = -2*p. Solve -5*z - p = -3*z for z.
-5
Let j = 1319 - 1311. Solve j*q + 14 = -6*q for q.
-1
Let h(w) = -2*w**3 - 7*w**2 - 2*w + 5. Let b be h(-3). Solve -b*r - 5 = 3*r for r.
-1
Let t(v) = -v**3 - 3*v**2 + 3*v + 2. Let l be t(-4). Let f = -4 + l. Solve -2*s + f = 4 for s.
-1
Suppose -3*h - 4 = -8*h + x, 0 = 5*h + 2*x + 8. Let u be (-11 - -11)/(h + 2). Solve u = 3*s - 0*s + 15 for s.
-5
Let d = -220 - -220. Solve -5*s - 10 - 15 = d for s.
-5
Let j(u) = u - 22. Let k = -79 - -104. Let g be j(k). Solve -y - g = -0 for y.
-3
Suppose c + 1 = -1. Suppose b = 69 + 99. Let n be ((-1)/c)/(12/b). Solve -n - 1 = 2*m for m.
-4
Let t(n) = n - 23. Let z be t(25). Suppose z*d - 4 = -r - 3*r, 5*r + 4*d = 2. Solve 3 = r*l - 3 for l.
3
Suppose 0 = 2*s - 2 - 6. Let a be (s + -2)/(-2) + -26. Let g = -5 - a. Solve g = -5*b + 2 for b.
-4
Let k be (-42 + 19)/((-1)/(-1)). Let z = k - -29. Solve -2*d = -z*d + 20 for d.
5
Let r(f) = 9*f**2 - f - 1. Let b be -1 - (-8)/(-12)*-3. Suppose -5*i - b = 4. Let w be r(i). Solve 2*j + w = -j for j.
-3
Suppose -94*g + 3*o = -89*g - 2, -2*o + 2 = 0. Let s be 0 + 1/(2/4). Solve -g + 9 = s*v for v.
4
Let n = -18 + 18. Solve 4*c + 4 + 4 = n for c.
-2
Let j(m) = -m**3 - 15*m**2 + 16*m. Let t be j(-16). Suppose t = -6*x + x. Solve 4*q + q = x for q.
0
Let u = 15 - 10. Suppose 5 = -5*i + 105. Let p = 23 - i. Solve -u = 2*c - p for c.
-1
Let i = -2 + 6. Suppose 3*k + 2*m = -2*m + 11, 5*m = 4*k - 25. Suppose z = -h + 7, h + 5*z - 24 + k = 0. Solve i*s + h = -12 for s.
-4
Let b(n) = 2*n**2 + 3. Let v(f) = f**2 + f + 2. Let z(h) = 2*b(h) - 3*v(h). Let j be 2/9 - (-102)/27. Let u be z(j). Solve 0 = -q + 3*q + u for q.
-2
Let a be (-1)/(45/(-36)) - (-92)/10. Solve 0 = -3*h + h - a for h.
-5
Let g(d) = d**2 + d. Let f be g(-3). Let k be (-5 - 0) + 3 + f. Solve k*u - u = 15 for u.
5
Suppose -7*d = -6*d + 24. Let h = 24 + d. Solve h*u = -3*u for u.
0
Let k(u) = 4*u + 2. Let p be k(4). Let c be (-159)/p + 1/(-6). Let j(o) = -4*o - 21. Let a be j(c). Solve -3 = 3*z - a for z.
4
Suppose 8*p = 7*p + 13. Let x = 15 - p. Solve 4*n - x*n = 4 for n.
2
Let o be 60/14 + (-2)/7. Suppose 2*y + 6 = -s, -2*y + 4*s - 8 = 18. Let f(i) = -2*i**3 - 9*i**2 + 7*i + 11. Let q be f(y). Solve t = q - o for t.
-3
Let m(r) = r**3 - 5*r**2 - 4*r + 3. Let l be m(6). Let z = -6 + l. Suppose 3*x = -0*x + 6. Solve -o + z = x*o for o.
3
Let o = -52 + 52. Let c be 0 + (0/(-4) - o). Solve c = -4*l + 5*l + 4 for l.
-4
Let p be 2/(10/200*10). Solve d + p = 7 for d.
3
Let w = -5 - -9. Suppose -m + 5 = 0, 3*h - w*h + 9 = 3*m. Let r(s) = s**2 + 5*s - 5. Let o be r(h). Solve 0 = -f - 0*f - o for f.
-1
Let o(n) = -33*n**2 - n + 2. Let u be o(1). Let d = -20 - u. Solve -4*v + d = -v for v.
4
Let j be (-1)/(-1*(-1)/10). Let n = j - -12. Suppose -20 = -3*q + n*m, -2*m = 2*q - 0*m. Solve -q*o = -3*o for o.
0
Let r = -164 - -174. Suppose l = 4*a + 32, -5*a = 2*l - r*a - 52. Solve 5*h + l = -9 for h.
-5
Suppose -2*h + 4*j + 57 = -j, 99 = 5*h + 2*j. Suppose 2*w = -3*a + 28, 2*w = -2*a + h + 1. Solve -25 = v - a*v for v.
5
Let j(o) = o**2 - 9*o + 16. Suppose -2*v + 5*v - 21 = 0. Let w be j(v). Solve 3*d + 25 = -w*d for d.
-5
Suppose 0 = -3*r - m + 27, 0 = -5*m + 1 - 16. Let y be 85/r + 1/2. Let d = y - 9. Solve -s + 0 + 3 = d for s.
3
Let u = 2604 + -2596. Let r(p) = p**2 + 3*p + 4. Let n be r(-3). Suppose -3*y - y = 2*q - 34, q = y - n. Solve u = 5*c - y for c.
3
Let u(w) = -w**3 + 5*w**2 + 13*w + 7. Let v be u(7). Solve -5 = -5*c - v*c for c.
1
Let t(o) = o**3 - 4*o**2 - 4*o - 3. Let n be t(5). Solve -5*l - 12 = -n*l for l.
-4
Let d be (1/(-1) - -1)/(-2). Suppose 4*l - 19 - 57 = d. Solve -4*h - l = 1 for h.
-5
Let w(q) = q**2 - 3. Let n be w(3). Suppose 4*f - n = -3*y, f + y = -y + 4. Suppose 4*r + f*r = 16. Solve 0*t = -2*t - r for t.
-2
Let t(y) = y**3 - 49*y**2 + 95*y + 28. Let b be t(47). Solve 25*h = 10*h - b for h.
-5
Let v be -5 - 9*((-160)/(-12))/(-8). Solve 10*s - 5*s - v = 0 for s.
2
Let c = 42 + -39. Solve c*n = -5 + 2 for n.
-1
Suppose 0 = -8*k + 10*k - 4. Suppose 5*d + 0*d = 5*u + 30, u + 8 = k*d. Solve 0 = -d*l + 3*l + 2 for l.
-2
Let o(q) = -q**3 - 2*q**2 + 2*q + 3. Let r be (2 - 3)/((-5)/(-10)). Let s be o(r). Let x(l) = -l**3 - l**2 