 + -114. Let r = 4 - -6. Let k be (-16)/r*(-15)/6. Solve -z*v = -k*v + 8 for v.
4
Let d(i) = -i**2 - 11*i + 1. Let o be d(-11). Let x be 3*(-16)/(-6) + o*-4. Solve -x = -q - 3 for q.
1
Suppose -825 = -37*x - 18*x. Solve -x*i + 14 = 44 for i.
-2
Suppose 35 = 2*v + 5*i, 5*i - 19 = 5*v - 89. Solve 2*s - v + 25 = 0 for s.
-5
Let a be (-16)/(-72) - 48/(-27). Solve a - 12 = 2*x for x.
-5
Let j = -502 - -505. Solve -j*y = 7 - 4 for y.
-1
Let u(v) = 3*v - 2. Let q be u(-2). Let o = -3 - q. Suppose -6*j + 2*j = o*y, 0 = 3*j. Solve 0*m - 3*m = y for m.
0
Let r be (16 - 2) + 1 - 2. Suppose -5 - r = -6*k. Solve 15 = 2*t + k*t for t.
3
Let f(v) = -v**3 - 24*v**2 + v + 44. Let q be f(-24). Suppose -18*p + 16 + q = 0. Solve -p*m = -m for m.
0
Let x be (-3)/(-5) - 8/(-20). Suppose -2*j + 5*r = -4*j + x, 0 = j - 4*r - 7. Let g be j*((-2)/6)/(-1). Solve 0 = -2*m + g - 7 for m.
-3
Let n(z) = -z**2 - z + 1. Let o be n(-3). Let c be 0*(3 + o + 1). Suppose 5*t + 3*l + c*l = 3, -3*l - 12 = 0. Solve -s + 6 = -t*s for s.
-3
Let l be 8/48 + 34/12. Suppose -r + l = 0, -2*w - w + 54 = 5*r. Solve -7 = -4*p + w for p.
5
Suppose 0 = -139*l + 1724 - 612. Let h be (-39)/9 + 2/6. Let g be 1*1*(1 - h). Solve g = -q + l for q.
3
Let c = 526 - 530. Let z = 21 - 13. Let i = z + c. Solve -i*u = -2*u + 4 for u.
-2
Suppose 26 = 22*u + 3*u - 24. Suppose 2*p = -p. Suppose x + y = -0*y, -5*y - 15 = p. Solve g - u*g + x = 0 for g.
3
Suppose 1 = 2*x - 9. Suppose 3*w - 3 = -5*j + 58, -3*j + 33 = 3*w. Solve -6 = -x*r + j for r.
4
Let p be 8/(-20) + (-6)/(-15). Suppose g + p*j - 15 = 3*j, -36 = -4*g + 4*j. Let q be -3*(3 - 22/g). Solve c = -c + q for c.
1
Suppose 0 = 29*v - 25*v - 24. Solve -v*n - 1 = -5*n for n.
-1
Suppose -5 = -3*t + 1. Suppose 3*l - 79 = -2*y, -l = t*l - 3*y - 69. Let q = 25 - l. Solve q*s + 15 = 3*s for s.
5
Let s = -44 + 61. Solve 5*d + 37 = s for d.
-4
Suppose 68*p - 53*p = 465. Solve -2*k = -33 + p for k.
1
Let s = -9 - -21. Suppose q - 10 = -0*t - 3*t, 5*t + 3*q - 22 = 0. Let y(u) = u**3 - 5*u**2 - 7*u + 11. Let b be y(6). Solve b*r = t*r - s for r.
-4
Suppose 0 = 25*q - 36*q + 132. Let x(y) = -y**3 + 2*y**2 + 3*y - 1. Let u be x(2). Suppose 2*l - q = 5*t, t - u = 2*l - 17. Solve l - 26 = 5*v for v.
-4
Suppose 3*q = 4*v - 30, q + 2*v - 9 = -3*v. Let b be (-8)/q + 4/6. Let h be (-2 - 3/(-5)) + (-7)/(-5). Solve h = -c + b*c for c.
0
Suppose -47*n + 56*n = 36. Solve 10 + 2 = -n*s for s.
-3
Let k = -503 + 513. Solve 9*a = 4*a - k for a.
-2
Let b(r) = -20*r + 40. Let w be b(2). Solve w - 2 = 2*p for p.
-1
Suppose 5*b + 2*x = b + 16, x = -4*b + 12. Solve -c + 2*c = b for c.
2
Suppose -3*z - 18 = -2*w + 23, -5*w + 5*z = -110. Solve -16*l + 39 = -w for l.
4
Let f be (-3 - (2 - 2))/((-12)/32). Suppose 2*n - 5*r = -7, n + 5*r - 8 = 11. Suppose 0*t + 4*m = -4*t - n, 4*m + 31 = 5*t. Solve -f = -x - t*x for x.
2
Suppose -7*z + 5*z = -q - 6, -4*z + 3*q + 14 = 0. Let k be (-1495)/(-207) - z/9. Solve 2*y - k*y + 15 = 0 for y.
3
Let p be (57 - 51)/((6/8)/1). Solve -p = -5*g - 3 for g.
1
Let r be 2/(4/(-6)) - -3. Let j(a) = a**2 + 2*a + 5. Let p be ((-8)/(-6))/(3/(-9)). Let k be j(p). Solve -4*x + 1 - k = r for x.
-3
Let j(i) = -i**3 - 3*i**2 - 2*i + 1. Let b be j(-3). Suppose -u = 4*u - 20. Suppose -u*g + 9 = s, 4*g - 3*s = -2*s + 7. Solve -g*d - 1 = b for d.
-4
Let s be (3 - (-4)/(-1)) + -2. Let m(c) = -c**3 - 3*c**2. Let k be m(s). Let u(a) = 5*a - 6. Let i be u(2). Solve k = i*b - 2*b + 4 for b.
-2
Let y be (1 - 5)*(16/4)/(-8). Suppose 20 = 3*u + y*u. Solve 0 = u*b + b - 25 for b.
5
Let y(h) = 2*h**3 + 9*h**2 + 15*h + 48. Let z be y(-4). Solve 0 = f + 2 - z for f.
2
Let f = 87 - 83. Let c(m) be the second derivative of m**3/6 - 2*m**2 + m. Let j be c(f). Solve j*o - 4*o = 0 for o.
0
Let j(c) = -c**2 + 14*c + 4. Let u be j(14). Let a(f) = -f**2 + 8*f + 3. Let d(r) = -r + 14. Let l be d(6). Let y be a(l). Solve -y*b + u = 7 for b.
-1
Suppose -6681*m + 30 = -6675*m. Solve -m*s + 9 + 11 = 0 for s.
4
Suppose -21*z = 18 - 144. Solve 0 = -z*j - 11 - 7 for j.
-3
Let l be 1 + 5 - (-2 - (2 - 2)). Let n = 18 - l. Solve -2 - n = 3*h for h.
-4
Let t = -15 + 19. Suppose 0 = t*x - 3*x - 2. Suppose -l = -2*n - 0*l + 7, 2*l + 6 = 0. Solve 0 = n*p - x - 4 for p.
3
Let i(m) = 2*m**2 - 2*m - 7. Let x be i(3). Let c(y) = y - 1. Let q be c(x). Solve 0 = r - 3*r - q for r.
-2
Let t be 23 + (-4)/5*(-15)/(-6). Solve 16*i = 23*i + t for i.
-3
Suppose 2 = 3*w - 7. Suppose -z = -w*z. Let m be z - 1*(-3)/1. Solve m = -3*r + 6 for r.
1
Suppose 5*v = 6*v. Suppose v*g - 20 = -2*g. Suppose 5*u = g*u. Solve 4*b + u*b = 12 for b.
3
Let n(z) = 2*z**2 - 4*z + 3. Let w be (-15 - -4)*(-1 - 0). Let d be 2*-1*(-12 + w). Let v be n(d). Solve v*j + j - 20 = 0 for j.
5
Let b(d) = d + 7. Let k be b(-3). Suppose -8 = 2*p - k*r, -5*r + 1 + 15 = -p. Let h be (38/(-8) + p)*-4. Solve h*o = 4*o - 2 for o.
2
Let u = -250 - -266. Solve -2*g - u = 2*g for g.
-4
Let x(h) = 183*h + 366. Let s be x(-2). Solve s = 9*q + 6 + 12 for q.
-2
Suppose -2*b + 8 = -8. Let x be (-3)/(-12) + (-17)/4. Let o be (x/(-3))/((-18)/(-27)). Solve -4 + b = -o*y for y.
-2
Let x = -2 - -2. Let m(c) = -162*c + 82*c + 2 + 81*c + 0. Let f be m(x). Solve -4*w - 2 = f for w.
-1
Let y be (-96)/9 - (-1)/(-3). Let j(a) = -a - 7. Let h be j(y). Suppose 7 = 2*u - v, 53 - 18 = 4*u + 5*v. Solve -h*t = 11 + u for t.
-4
Suppose -3*a + 0*a - 31 = -4*d, 5*a = -d - 21. Solve 25 = d*q + q for q.
5
Suppose 0 = -2*d - f + 23, 5*d + 9 - 74 = -5*f. Solve -376*g - d = -374*g for g.
-5
Let v be -61 + (-8)/(16/4 + -2). Let h = v - -69. Solve 0*p - h*p = 8 for p.
-2
Let c(h) be the first derivative of -2*h**2 - 1 - 17*h + 0 + 2 - 4. Let n be c(-5). Solve v = 4*v - n for v.
1
Let c be 4/(-5)*(-25)/10. Let a be (-6)/9 + c/3. Let o = 8 - 2. Solve 4*v - o*v + 10 = a for v.
5
Suppose 3*n - n = -4*c - 8, -2*n = -4*c. Let u(l) = -2*l**3 + l**2 - l - 1. Let j be u(c). Solve 0*x = -j*x - 12 for x.
-4
Let f = 73 + -68. Suppose -f*n + 8*n = 9. Solve n + 1 = -b for b.
-4
Let j be (-1 - -13)*(-21)/(-126). Solve 0 = -o + 2*o + j for o.
-2
Suppose -2*v + 28 = -3*t - 42, 3*v - 98 = t. Solve 25 + v = -19*r for r.
-3
Suppose 0 = 2*u + 8*z - 3*z + 21, -5*z = -4*u + 33. Let g be 6 - (-20)/5*(-12)/8. Suppose -3*i + 4*i - u = g. Solve -2 = i*y - 12 for y.
5
Let k(t) = t**2 + 13*t + 6. Let g be k(-13). Let l = g - 2. Solve l*v - 6 = v for v.
2
Suppose -5*p - 5 = -3*q + 4, 5*p + q - 3 = 0. Suppose p = -v - 2*v + 5*i + 65, 5*i + 5 = -v. Suppose -6*f + 100 - 70 = 0. Solve f*m = -v - 0 for m.
-3
Let g = -341 - -346. Solve -4*t + g*t = -t for t.
0
Let h = 6 + -2. Let z = h + -4. Let i be z - 5/((-10)/16). Solve -i = k + 3*k for k.
-2
Let s be -3 - (0 + -1)/(2/6). Solve s = -0*a - 2*a for a.
0
Let a = 7 + -7. Let n be 4 + -4 - (a + 3). Let h = n - -3. Solve 0 = -4*o - h + 12 for o.
3
Let r = 6 + -3. Suppose r*z + 8 = 23. Let y be 45/18*4/z. Solve y*h - 5 = -1 for h.
2
Suppose 6*y = 26 + 16. Suppose 54 = 2*f + y*f. Solve -2*o + 5*o = f for o.
2
Let q = 29 - 10. Let s = q + -19. Suppose u + u = s. Solve -w = -u - 1 for w.
1
Suppose 0 = 2*x - 8, 0 = -p - 4*p - 3*x + 217. Suppose 55 - p = 7*b. Let d be -1 + (2 - 0) - 1. Solve -j - 1 + b = d for j.
1
Suppose -4*c - 90 = -9*c. Solve 5*z - 2 = c for z.
4
Suppose -5*v - 34 + 94 = 0. Solve -14*i - 8 = -v*i for i.
-4
Let b(o) = -o**2 - 4*o - 2. Let h be b(-2). Let r(y) be the second derivative of y**4/12 + y**3/2 - 8*y**2 + 16*y. Let j be r(-6). Solve -3*x - h = -j*x for x.
-2
Let p(n) = 2*n**2 - 5*n - 6. Let s be p(-5). Let u = -65 + s. Solve -m - 3*m = -u for m.
1
Let z(y) = y**3 - 12*y**2 + 2. Let m be z(12). Let r(x) = 2 + 11*x**2 - x - 2 - 10 + x**3. Let n be r(-11). Solve o + n = -m for o.
-3
Suppose 1 + 3 = z. Suppose -34 + 4 = -2*o - 2*w, -o + z*w = -15. Suppose 21 = 4*a + 4*j - o, -a - 3*j + 17 = 0. Solve 0 = -a*k - 0*k + 15 for k.
3
Let u be (-6 + 3)/(0 - 1). Let q(o) = 2 - o**2 - 4 + 2*o + 2 + u. Let r be q(3). Solve -3*c = -r*c for c.
0
Suppose 0 = r + 2*s - 8, 3*r = s - 0 - 4. Solve r = -t + 7 - 11 for t.
-4
Let m(k) = k**3 + 15*k**2 - k - 15. Let o be m(-15). Suppose 2*l - 4 = -x, 5*l - 3 = -o*x + x. Solve -2*j = x*j + 8 for j.
-2
Suppose -15 = -320*k + 315*k. Suppose -1 = t, -2 = 2*r + t - 1. Solve k*u - 4*u = r for u.
0
Let w = -967 - -985. Solve 12*r 