 = i*x - 3*p + 15. Let d(o) = o**2 - 8*o - 2. Let n be d(10). Solve 3*q - 3 + n = x for q.
-5
Suppose -257*n + 260*n = 27. Solve 13*u - 12 = n*u for u.
3
Suppose 0 = -10*n + 3*n - 5*n. Solve -2*b - 6 = -n for b.
-3
Let d be 2/(-1)*258/(-12). Let o = d + -39. Solve -o*y - 16 = -0*y for y.
-4
Let v(g) = g + 6. Let a be v(-3). Suppose 2*w + a*m - 20 = 0, -3*w - 2*m - 6 = -26. Solve w*i - 24 = -4 for i.
5
Suppose -3*v - v + 12 = k, 4*k + 4*v = 0. Let x = k + 6. Solve 10 = 3*t + x*t for t.
2
Suppose 5*t - 44*u = -43*u + 21, t + u = 9. Solve t*n + 2 = -3 for n.
-1
Let a(c) = -c**3 - 3*c**2 + 2*c - 6. Let b be a(-5). Let y be 3/5 - (-1024)/(-40). Let i = 34 + y. Solve i = 5*m + b for m.
-5
Suppose -20*j + 26*j - 12 = 0. Solve 8*v - j = 6*v for v.
1
Suppose y + y = 2. Suppose -85*i - 20 = -2*x - 81*i, 2*x = -5*i + 11. Solve 3*n + y = -x for n.
-3
Suppose -12*f = -13*f + 3. Suppose 0 = f*s, -2*s + 4*s = -5*z. Solve 2*h + z*h - 6 = 0 for h.
3
Suppose -5 = 2*a - 2*v - 1, 0 = -a - 4*v + 8. Let y(m) = -5*m - 3. Let b be y(-3). Suppose -2*q + 4*p - 2*p + 12 = a, -2*q = 4*p + b. Solve -2*n + q = -6 for n.
4
Let l be ((-52)/(-6))/(-2 - 80/(-36)). Solve 50 = -49*k + l*k for k.
-5
Suppose 46*s = -j + 51*s + 9, -3*s = 0. Solve -18*i + j = -15*i for i.
3
Let f be -2 - (-3)/(6/8). Suppose 0 = -4*d - 2*d + 30. Suppose -d*t + 3*r + 2*r + 5 = 0, 4*t - r - 10 = 0. Solve -t*c = -c + f for c.
-1
Let w be -4 - 6/(-1 + 4). Let c be 4/(8/w) + 3. Solve c = 2*o + 16 - 6 for o.
-5
Let m(w) = w**2 - 10*w - 6. Let y be m(11). Suppose -y*f - f = 0. Solve f = 4*z - 0*z - 16 for z.
4
Let x(j) = 9*j**2 - 13*j + 1. Let w be x(2). Solve w*l - 12*l = 3 for l.
-3
Suppose 11*p + 1445 - 4 = 0. Let s = 137 + p. Solve 0*q + s = -3*q for q.
-2
Suppose -4*x = -z + 8, -4*z - z - x = 23. Let i be (40/(-16))/(2/z). Solve -i = s - 3 for s.
-2
Suppose -4*u + 27 = -u. Let j = 20 + -29. Let b = u + j. Solve b*y = -3*y for y.
0
Suppose -3*y + 37 = -38. Let h be (1 - 0)*7/((-1)/(-1)). Let a(m) = 2*m**3 - 16*m**2 - m + 10. Let f be a(8). Solve f*z - h*z = -y for z.
5
Suppose 683*u - 9 = 680*u. Let n = 3 + -2. Solve -2*p - n = -u for p.
1
Let z be (5/2)/(((-48)/4)/(-72)). Solve 2*k = 11 - z for k.
-2
Let q = -39 + 43. Suppose q*f = f + 27. Solve -f = 3*m - 0*m for m.
-3
Suppose 0 = 4*r - i + 5*i - 68, -r + 3*i = -5. Solve -6*u - u = -r for u.
2
Let u be ((-2)/(-4)*22)/((-7)/21). Let m = 37 + u. Solve -3*h = 5 + m for h.
-3
Suppose 5*h = -5*v + 45, -4*h + 3*v + 29 = h. Solve -6*u = h*u + 39 for u.
-3
Suppose -5*r + r - 156 = 4*a, -2*r + 3*a - 68 = 0. Let t = -30 - r. Solve t = 5*q - 18 for q.
5
Suppose -a + 0*a = -2*r - 4, 0 = 3*r + 3. Solve 0 = a*g + 3 + 3 for g.
-3
Let b be (-3)/(-2 + 3) - (0 + -5). Suppose 1 = -3*x + 2*i + 5, 17 = -x - 3*i. Let s be (-27)/(-15)*(x + 7). Solve b*g + s = -1 for g.
-5
Let r(l) be the first derivative of l**3/3 - 5*l**2/2 - 4*l - 5. Let o be r(-3). Suppose -3*a + 3*a - 2*a = 0. Solve -z + 5*z + o = a for z.
-5
Let c(n) = -n**2 + 4*n + 6. Let h be c(6). Let l(x) = 2*x**2 + 13*x + 14. Let b be l(h). Solve 8 = -4*v - b for v.
-4
Let s(c) = c**3 + 4*c**2 - 2*c. Let h be s(-5). Let x = -5 - h. Let f(j) = j**2 - 3*j - 1. Let o be f(4). Solve -o*u = 2*u - x for u.
2
Let q = 22 - 20. Suppose q*s = -4*j + 2, -3*j - 4*s = 1 + 5. Solve 0 = -j*x + x + 3 for x.
3
Suppose d = 5*u - 43, u = 4*d + 4 - 3. Solve 2*a + 15 - u = 0 for a.
-3
Let a(x) = -x + 19. Let q be a(8). Suppose 9 = 5*s - q. Suppose -3*w - 17 = -k + 16, 2*k - s*w = 56. Solve 4*o = 2 + k for o.
5
Let v = -427 + 437. Solve v = -4*w + 2 for w.
-2
Let x(w) = -w**3 - 4*w**2 - 2*w - 5. Let n be x(-4). Suppose n*l - l = -l. Solve l = -4*c + c + 9 for c.
3
Suppose -2*a + 18 = -5*y, -11 = 5*y - a + 3. Let g be (4 + (-36)/8)*y. Suppose -2*h + 13 = -5*f, -2*f + 13 = 4*h - g. Solve 0 = h*o - 5*o + 2 for o.
2
Suppose 0 = 2*u + 33*u - 875. Solve 2*g = 7*g + u for g.
-5
Let d(t) = -t**3 + 9*t**2 + 10*t + 3. Let v = 7 + 3. Let o be d(v). Let r = -126 - -128. Solve 5 = -o*g + r for g.
-1
Let h = 0 - -3. Suppose 0 = -4*x - 3*m + 15, -41 = -5*x - 10*m + 9. Solve x*b = h*b - 15 for b.
5
Suppose 29 = -4*y + 9. Let m(n) = -n + 2. Let l be m(y). Let r = 1111 + -1106. Solve -r*k + l = 2 for k.
1
Let l(d) = d**3 - 3*d**2 - 2*d - 7. Let p = -12 - -16. Let u be l(p). Solve 3*b - u + 16 = 0 for b.
-5
Suppose -4*l = -21 - 39. Solve l*q - 20 = -5 for q.
1
Suppose 2 + 3 = n. Suppose -6*f + 7 + n = 0. Solve -1 - f = 3*p for p.
-1
Let w(g) be the second derivative of 5*g**3/6 + 17*g**2/2 - 8*g. Let a be w(-3). Solve 2*s + a*s = -8 for s.
-2
Let p = -798 + 807. Solve p*u = -12 + 39 for u.
3
Let z(l) = 2*l**3 + 21*l**2 + 14*l + 42. Let w be z(-10). Solve -w = -6*s - 26 for s.
-4
Let n be (2 + 0)/(-2) + 5. Suppose -4*j + 0 + 26 = -2*w, n*j - 3*w - 29 = 0. Let b(h) = -h**2 + 8*h + 2. Let q be b(8). Solve -s + j = -q*s for s.
-5
Suppose 5*y + 4*y = 72. Suppose -o = 4*f - 0*o - y, 0 = o. Solve -6*t + f*t = -16 for t.
4
Let m be (-22)/(-11)*45/2. Let b = -43 + m. Solve b*z = -z for z.
0
Let r = 9 - 9. Suppose 4*o + r*a - a - 49 = 0, -23 = -2*o - a. Suppose -2*k = -v + 8, -2*k = 2*v + 2*v - o. Solve 6*w - v = 2*w for w.
1
Let w(o) = 22*o + 355. Let g be w(-16). Solve 0 = -7*s + g*s - 20 for s.
-5
Let r = 43 - 31. Solve -9*g + r + 33 = 0 for g.
5
Let t = 59 - 20. Let p = -32 + t. Solve 3*u + 1 = p for u.
2
Let p(h) = h**3 + 3*h**2 - 13*h - 13. Let s be p(-1). Let x = 3 - 0. Solve x*k = s*k for k.
0
Suppose -6*z + z = -2*d - 15, 0 = -4*z + 4*d. Suppose 2 - 1 = b. Let s be (12 + (-6)/1)*7/14. Solve s*j - b = z for j.
2
Suppose 3*j - j - 6 = 0, 2*j + 429 = -5*g. Let v = 87 + g. Solve v = 5*x - 3 + 8 for x.
-1
Suppose 6*c = 4*c + 4. Let m(x) = 10 - 4 + c*x - 20. Let q be m(9). Solve -q*g = g + 15 for g.
-3
Let b be 1 - (-2)/(2 - 0). Suppose 8 = 2*a + b. Let f = 46 - 46. Solve f = a*q + q for q.
0
Let i = 28 + -29. Let b be (-6)/(-4)*(1 - i). Suppose -6*q + 6 = -b*q. Solve -1 = q*o - 11 for o.
5
Suppose 0 = -5*t + 5. Suppose 0 + 3 = 3*o. Let h be (o + -7)/((4 + 8)/(-6)). Solve t = -p + h for p.
2
Suppose 13*p - 4*p - 27 = 0. Solve -4*v = -p*v for v.
0
Let a(s) = -13*s + 85. Let h be a(6). Solve -9*l + 6 = -h*l for l.
3
Suppose -2*c + 3 = -3. Suppose 2*s = c*f - 2*s - 4, 0 = -4*f + 3*s + 10. Solve 5*a + f = 3*a for a.
-2
Let k(u) = u**3 + 6*u**2 + 9*u + 7. Let c be k(-4). Solve 17 = -4*y - c for y.
-5
Let k(p) = 22*p + 132. Let u be k(-6). Solve u = 5*m + 14 + 6 for m.
-4
Suppose 7*u - 85 = 2*u. Solve -27 = u*v - 112 for v.
5
Let w(y) = -2*y**2 - 6*y - 2. Let x be w(-2). Solve x*a = 5*a + 3 for a.
-1
Let w = -36 - -13. Let z = -19 - w. Suppose -10 = 3*l - 28. Solve -z*u + l = -2 for u.
2
Suppose 0 = s - 2*s + 2. Let c = 0 + s. Let z be c/3 + (-1)/(-3). Solve -2 = m + z for m.
-3
Suppose -p = -d + 33, -3*p + 132 = 4*d + p. Let u = d + -26. Solve 2*k - 10 = u*k for k.
-2
Suppose -20*k = -9*k - 627. Let o = k - 56. Solve -1 - o = 2*i for i.
-1
Let u(i) = i**3 - 7*i**2 - 5*i - 11. Let b be u(8). Let w(x) = x - 9. Let h be w(b). Suppose -h*v + 9 + 3 = 0. Solve 1 = v*o - 11 for o.
4
Suppose -b - 3*b = -4. Suppose -g + 7 = b. Let f = 19 - 16. Solve -g = -c + f*c for c.
-3
Suppose -2*d + 13*d + 22 = 0. Let y be (-736)/(-345) - d/(-15). Solve -3*p = -y*p + 1 for p.
-1
Suppose 0 = -3*n + 6, -3*n - 1 = -b - 3. Solve 9 - 5 = -b*q for q.
-1
Suppose 5 = -3*w - p, 0 = 5*w - w + p + 6. Let l(g) = g**2 + g + 2. Let o be l(w). Solve 4*n - 2 = o*n for n.
1
Let u = -26 + 30. Let v be (-8)/(-20)*(1 + u). Solve -3*r - v*r + 5 = 0 for r.
1
Suppose 4*g + 22 = 70. Solve o = -7 + g for o.
5
Let o be (-2)/(((-24)/(-9))/(-4)). Let i be (8/(-32))/(2/(-40)). Suppose -4*h + 24 = 3*k, 3*h - 10 = i*k + 8. Solve -3*v - o = h for v.
-3
Let i(o) = -o**3 + 24*o**2 - 2*o + 61. Let b be i(24). Solve 16*s - b*s = -12 for s.
-4
Let u(k) be the second derivative of k**4/12 - 13*k**3/6 - 11*k**2 + 9*k. Let m be u(15). Suppose -3*q - m = -3*b - 2, -3 = -3*q. Solve 0 = -b*h - h for h.
0
Let u be (-7 - (-96)/15) + (-156)/(-10). Solve 2*w + 11 = u for w.
2
Let u(s) = -s - 11. Let w be u(-6). Let z(v) = -7*v - 2. Let x be z(w). Let y = x + -30. Solve y*f - 6 = 3 for f.
3
Suppose -2*w - 3*w = -25. Suppose 4*l = -x - 1, -4*l - w*x = 5 - 0. Solve -3*o + 5 - 20 = l for o.
-5
Let m = 41 + -38. Suppose -2*n + m*c +