 = -0*n + 2*n + 4 for n.
-2
Suppose 13 = -2*t + t. Let j = 15 + t. Solve -4*b = -j*b for b.
0
Let v(q) = 5*q + 2. Let w be v(1). Solve -2*d - 3 = -w for d.
2
Let o(m) = -3*m + 9. Let z be o(0). Suppose -4*x = -x + z, 5*p + 4*x - 3 = 0. Solve p*k = -2*k for k.
0
Let v = 18 + 4. Suppose -30 = -2*c - 4*o, c + 27 = -0*c + 5*o. Solve 5*p = -c - v for p.
-5
Let y(z) = 373*z**2 + 3*z + 3*z - 3 - 374*z**2. Let x be y(4). Let i = 2 + -2. Solve x*n + i*n = 0 for n.
0
Let q = 377 - 375. Let p be (2/(-4))/1*-6. Suppose 0 = -2*s + 3*k - 12, 0 = -3*s - q*k + p + 5. Solve s = 2*u - 0 - 4 for u.
2
Let u = 9 - -3. Suppose 0 = -5*j + v + 17 + 6, -v = 2*j - u. Solve 2*c = c + j for c.
5
Let y = 108 - 107. Let k be 7 + (18/3 - 3). Suppose z + z = k. Solve z*o - y = -21 for o.
-4
Suppose 2*o = -2*o + 16. Suppose -91*g = -2*j - 86*g - 6, -2*g = -2*j. Let n be (2 - -1) + 2 + 1. Solve -j*q + n*q = o for q.
1
Let v(t) = -t - t + t - 3 + 15. Let l be v(10). Suppose 14 = l*u + 6. Solve i - u = -0*i for i.
4
Let r(y) be the second derivative of y**3/6 + 11*y**2/2 - 79*y. Suppose -o = 3 + 4. Let w be r(o). Solve w*d - 15 = 5 for d.
5
Suppose 16 + 8 = -3*a. Let r be 2 + -1 - a/2. Suppose 0 = 5*p - 3*i - 20, 4*p + 21 = r*p - 4*i. Solve -p = 5*m + 4 for m.
-1
Suppose 11*m - 3*m = 352. Let o = m + -42. Solve -o*s - 2 = -0 for s.
-1
Let l = -62 + 27. Let c = -49 - l. Let z = 27 + c. Solve z = 4*y - 7 for y.
5
Let i(t) = -t**3 - 16*t**2 + 18*t + 32. Let x be i(-17). Suppose x*m = 2*m + 52. Solve -r - 9 + m = 0 for r.
-5
Let g(m) be the first derivative of m**4/4 - 4*m**3/3 + 3*m**2/2 + 2*m - 6. Let t be g(3). Solve t*d - 3*d = 3 for d.
-3
Let u be 8/(-8) + -2 - -9. Solve -6*x + 6 = -u for x.
2
Suppose t - 23 = n - 2*t, 20 = -5*n - 4*t. Let x(i) = -9*i**2 - i**3 + 3*i + 11 - i - 9*i. Let w be x(n). Solve -8 + w = 5*m for m.
-1
Suppose 4*u = 112 + 8. Let x = -26 + u. Suppose x*b + 7 = 3*n, 0 = 4*n + b - 2*b - 5. Solve -n + 3 = 2*z for z.
1
Suppose 0 = -5*o + 23 - 3. Solve -q = -o*q - 3 for q.
-1
Let o = -17 + 13. Let v(s) = -2*s - 6. Let n be v(o). Solve -n = -0*d - d for d.
2
Suppose -12*c = 8*c - 900. Solve 0 = c*t - 41*t + 16 for t.
-4
Suppose 4*n + 34 = 2*m, n = -0*m - m + 2. Suppose 3*k + h = 7, 3*k + 4*h - m + 15 = 0. Solve k*t + 8 = -4 for t.
-3
Suppose -3*m - 56 = -11*m. Solve -2*q + m + 1 = 0 for q.
4
Suppose v = -v - 18. Let z = v + 10. Suppose 0 = 3*i - 5*b - z, -3*i - 5*b + 11 = -0*b. Solve -12 = i*n + 2*n for n.
-3
Let q(n) = 3*n**2 + 22*n + 10. Let i be q(-7). Solve -9*u = -i*u + 24 for u.
-4
Let j(v) = -46*v**2 - v + 23*v**2 + 25*v**2 + 1. Let k be j(1). Suppose -k*s = 3*p - 21, -2*s + 51 = -0*s - 3*p. Solve -5*a = -s + 3 for a.
3
Suppose 7*x = 2*x - 20. Let w = x - -7. Solve 0 = -l + w for l.
3
Let y be 4/16 + 1/(-4). Suppose y = -33*t + 28*t + 25. Solve 0 = 5*x + t for x.
-1
Let a = 2 + -2. Suppose -f + 3*p + 3 = a, -27 = -3*f + 3*p - 12. Let z = -8 - -10. Solve h + z - f = 0 for h.
4
Suppose -5*r + 87 = 4*f, 4 = -4*f + 16. Let t = -7 - -9. Suppose -5*n = t*v - 22, -2 + 36 = 4*v + 5*n. Solve -v*l = -3*l - r for l.
5
Suppose -5*r + 4*q - 15 = 0, -r - r - 6 = -2*q. Let y be 3/(r*(-3)/9). Suppose 3*l - 55 = -s, 4*s + 6 + 2 = 0. Solve 0 = y*v - l + 4 for v.
5
Let w = 660 - 659. Solve 6*j + w = 7 for j.
1
Suppose -558 = -5*d - 3*w - w, 5*d - 5*w = 540. Solve -d*c + 109*c = 2 for c.
-2
Suppose -182*o = -177*o - 15. Solve 5 + o = -4*r for r.
-2
Suppose 18*d - 475 = -151. Solve g = -5*g - d for g.
-3
Suppose -33 = 7*w + 65. Let r = w + 7. Let o be 561/77 - (-2)/r. Solve -3*j = 1 - o for j.
2
Suppose 0 = -397*n + 396*n + 3. Solve -n*m = -2*m for m.
0
Suppose 2 + 1 = t. Suppose -17 = -2*q - t. Suppose -3*b + 11 = -2*l, -b + 2*l - q*l - 2 = 0. Solve b*k = -2*k - 20 for k.
-4
Suppose 4*r + 3*w - 2*w = -1, 4*r = -4*w - 4. Solve r = s + s - 4 for s.
2
Let j be 1*(-2)/2*0. Suppose -2*s = -3*n, j = 2*s + 2*s + 2*n. Let f be s + -7 + 3 - -9. Solve r + f = -0*r for r.
-5
Let a(y) = y**2 - 16*y + 62. Let x be a(6). Solve -3*c - x = 4 for c.
-2
Let w = -129 + 129. Solve w = -p - 3*p - 20 for p.
-5
Suppose 3 - 11 = -c. Suppose 10 = -2*y - c. Let v = y + 9. Solve v = -2*x - 11 + 5 for x.
-3
Let z be (15/(-12) + 2)/((-1)/(-4)). Let w be ((-6)/3 + z)/1 - -4. Solve w*l + 25 = -0 for l.
-5
Suppose 29*v + 18 = 35*v. Suppose -4 = -2*k - 20. Let x be (-2 + 0)/(2/k). Solve v*c + x = c for c.
-4
Suppose 8 = 3*o + o. Let x = 2 - o. Let z be (-1*x/(-3))/3. Solve 0*f + 2*f - 4 = z for f.
2
Suppose 4*p + 30 = 86. Let h = p + 1. Solve -h = 2*o + o for o.
-5
Let r be (6 + -6)*-1*(-1 + 2). Let h(x) = x**3 - x**2 - 2. Let y be h(2). Solve t + 3 + y = r for t.
-5
Suppose 4*t = -3*w + 23 - 8, 0 = 2*w - 2*t + 4. Let l be w/(-2) + 1 + 105/6. Solve 5*f + l = -2 for f.
-4
Let t be 0*(-2 + 1 + 2). Let y be t/1 + 36/12. Let p(k) = k**2 - 4*k + 3. Let j be p(y). Solve j*q = 4*q for q.
0
Let q = -7 - -10. Suppose 61*d = 12*d + 98. Solve d*l = -q*l + 10 for l.
2
Let j(w) = w**2 + 3*w. Let g be (-10)/2*16/20. Let u be j(g). Suppose p - 11 = -1. Solve -u*h + p = -6 for h.
4
Let v = -26 + 73. Let n = -43 + v. Solve n*x + 4 = -4 for x.
-2
Suppose 3*s - 26 + 8 = 0. Suppose s*t = -2*t. Suppose -4*h - 3*n = -16, n + 12 = 3*h + 3*n. Solve t = y - 0*y + h for y.
-4
Let v = -84 + 152. Suppose -s + 5*s - v = 0. Solve s = 3*b + 5 for b.
4
Let q = -255 - -258. Solve 8*f = q*f + 10 for f.
2
Let x(d) = d**3 - 10*d**2 + d - 5. Let f be x(10). Suppose -a + f = 3. Solve -2*t - a = -3*t for t.
2
Suppose -9*r + 53 = -91. Suppose r*z = 19*z - 6. Solve 4 = 4*a - z*a for a.
2
Let i(s) = -s**3 - 3*s**2 + 4*s + 3. Suppose 3*o + 2 = 5*l, 3*o + 5*l = -1 - 21. Let v be i(o). Solve 0 = -v*n + 1 - 4 for n.
-1
Let c(n) = n**3 + 17*n**2 + 30*n - 5. Let d be c(-15). Let l = 10 + d. Solve 15 = -2*z + l*z for z.
5
Suppose 9*v + 17 = -37. Let a be 0 + (0 - -2) - 5. Let m be 4 + (v - 6/a). Solve m = 5*o - 19 - 6 for o.
5
Suppose -r - 36 = -2*r. Let y = 38 - r. Solve -y*k + 4 = 2*k for k.
1
Suppose 0 = -0*i + i - 1. Suppose -5*n + 8 = 5*j - n, 0 = -j - 4*n - 8. Let o = j - i. Solve o*z = 2*z for z.
0
Suppose -5*o = -2*o - 6. Solve s + s = -o for s.
-1
Let r be 1/4 - 76/(-16). Suppose -3*z = 11*z - 8*z. Solve z = 2*d - 7 + r for d.
1
Let p = -89 - -124. Let h = -35 + p. Solve -2*y + h - 2 = 0 for y.
-1
Let c = 330 - 328. Solve 6 = -c*l - 2 for l.
-4
Let c = 24 - 19. Let g be (0/(-3))/((-5)/(c/2)). Solve 0 = -g*w + w for w.
0
Let p(x) = -x**3 - 5*x**2 - 6*x + 4. Let j be p(-3). Suppose -j*k - t + 14 = 0, -6*k + 12 = -2*k + 2*t. Solve 5*b - 14 + k = 0 for b.
2
Let o(b) = -2*b - 8. Let j be ((-4)/12*-2)/((-2)/15). Let l be o(j). Solve a - l = -4 for a.
-2
Let r be (6/14)/((-4)/14)*-2. Solve 5*j = -13 + r for j.
-2
Let r = 4 - 1. Suppose -30*j + 41*j - 22 = 0. Solve j = -r*y + 17 for y.
5
Suppose 39 = -6*w + 9. Let g be (-2)/(-3)*(1 - w). Solve -10 + 2 = -g*y for y.
2
Let i(z) = z**3 - 11*z**2 + 12*z - 11. Let f be i(10). Let c be f/(-6)*-2 + 2. Let s(d) = -2*d**2 - 53*d - 275. Let u be s(-19). Solve c + u = 5*x for x.
3
Let u(t) = -t + 5*t + 2 - 2*t - t. Let q be u(-2). Solve q = -c - 0*c - 4 for c.
-4
Suppose -k + 13 = -4*h - 10, -4*h = 5*k - 43. Suppose c - 5*v - 3 = -12, -3*c - 4*v + k = 0. Let n be c*5*8/20. Solve -n*s - 3*s + 10 = 0 for s.
2
Let l(x) = -6*x**3 + x**2 - 2*x + 1. Let g be l(1). Let v = g + 15. Let t be ((-8)/(-6))/(3/v). Solve t*b = -0*b + 8 for b.
2
Let s = -15 + 7. Let a = -6 - s. Suppose 0 = a*r + 10, 4*r = y - 20. Solve 2*j - 4*j = y for j.
0
Suppose -28 = -4*g - 4*u, -5*u + 3*u = -3*g - 4. Let w be ((g + 3/(-2))*0)/(-3). Solve 5*i + 10 = -w*i for i.
-2
Let t be ((-15 - -3)/(-3))/2 - 2. Solve 15 = 5*g - t for g.
3
Let g be (-32)/(-3) - (-111)/333. Solve -g*r = -17*r + 6 for r.
1
Suppose -4*a = -57 + 9. Let w = a + -20. Let f be 72/(-16)*w/3. Solve 5*n - 32 + f = 0 for n.
4
Let i = 47 - 30. Let z = -3 + 13. Suppose 2*k + 4*p = -20, 2*k - 7*k + z = -2*p. Solve 3*v - 5 + i = k for v.
-4
Let r(x) = -x**2 - 11*x - 6. Let k be r(-9). Let z be -3 - (-5)/(20/k). Let f = -20 - -20. Solve f = 2*p + 8 - z for p.
-4
Suppose -25 = 5*h, -4*q + 21 = -0*h + 3*h. Let i = -5 + q. Suppose 3*o + v = -2*v + 24, i*v = 5*o - 13. Solve 8 = m - o*m for m.
-2
Let k(u) = -2*u**3 - 14*u**2 + 32*u - 30. Let a be k(-9). Let i = 3 + 0. Solve a*s + i = 7*s