-12 - -9. Let z be 2 + 0 + 11 - l. Let d = z - 12. Solve 2*p - 10 = d*p for p.
-5
Suppose -10*g + 36 = -4*g. Suppose 0*f = -f - o + g, 12 = 4*o. Suppose f*w = 6*w. Solve -k + 2 + w = 0 for k.
2
Let v(o) = 7*o**3 + 1. Let z be v(1). Suppose -2 = 3*s + 4*t, -3*s + 2*s + z = -3*t. Suppose s*j = 4*j - 4. Solve j = q + q for q.
1
Let i(a) be the third derivative of a**4/24 + 4*a**3 + 40*a**2. Let k be i(-8). Solve y = -3*y + k for y.
4
Let s = 7 + -1. Let t = s - 4. Suppose -4*j - q + 16 = 0, 0 = -j + 6*j - t*q - 33. Solve 2*l - j = l for l.
5
Suppose 0 = 12*c + 8*c - 6*c. Solve c - 6 = -3*t for t.
2
Suppose -2*x + 72 = 6*x. Solve -x = -2*d - 3 for d.
3
Let p be (-10)/(2 + 3) - 2. Let u be (-1 + p/(-6))*-12. Suppose -2*t - 3*i + 57 = t, u*t - 46 = 2*i. Solve t = -4*g + 6 for g.
-2
Let b(t) = -1 - 2 - 509*t**2 + 3*t + 511*t**2. Let z be b(1). Solve -z*o + 2 = 6 for o.
-2
Let t be ((-4)/18 + 12/54)/(-3). Suppose t*f = -3*f + 5*k + 10, 4*k + 8 = -2*f. Solve v + v = f for v.
0
Suppose -4*v - 2*x + 10 = 0, 3*v - 8 = 5*x + 6. Solve 3 = 2*u - v*u for u.
-3
Suppose 27*w = -9 + 63. Solve -w*p = 4*p - 6 for p.
1
Let z = 752 - 743. Solve 4*r = z*r for r.
0
Let n = 82 - 56. Let b = 28 - n. Solve 3 - b = m for m.
1
Let a(c) = c**3 - 3*c**2 - 61*c + 5. Let y be a(-6). Solve 4*p - y + 35 = 0 for p.
3
Let c = 0 - -5. Suppose -3*q + 0*q + 53 = -2*s, 5*s = -c. Let m = 20 - q. Solve 5*v = m*v for v.
0
Let w = 3 - -3. Let m(g) = -g**2 - 2*g. Let p(u) = -u**3 - u**2 - 2. Let t be p(0). Let q be m(t). Solve q*i = -2*i - w for i.
-3
Suppose -98 = 13*m - 293. Let v be (-1)/((-1 + 0)/2). Solve -v*k - k + m = 0 for k.
5
Suppose 11*u - 261 = 69. Solve u = 4*l + 18 for l.
3
Let m = -4 - -6. Suppose -5*p + 6 = -m*c, 3*p - p - 14 = -5*c. Let u(j) = j**3 - 6*j**2 - j + 6. Let t be u(6). Solve t = -p*s + 2 + 2 for s.
2
Let p(j) = -2*j - 57. Let x be p(-33). Solve 5*k - 4 = -x for k.
-1
Let d(k) = -2*k + 16. Let b be d(5). Let h be 154/33 - (-1)/b*-4. Let f = 4 - 2. Solve -f*j - h + 0 = 0 for j.
-2
Let d be -4*(2/8)/((-1)/1). Let o be 30/(-45) + (d - 1/3). Solve -n + 2 - 3 = o for n.
-1
Let g be (-77)/(-11) - 10/(-35)*-7. Solve 0 = -40*u + 41*u - g for u.
5
Let n = -265 + 274. Solve -6*c - n*c - 15 = 0 for c.
-1
Let y be (6/(-4))/(1/(-26)). Let z = y + -35. Solve z = v + v for v.
2
Let v(w) = 6 + 0*w + 8*w - 3*w. Let c be v(5). Let r = 3279 - 3279. Solve r = 5*p + c - 6 for p.
-5
Let q(n) = n**2 - n - 4. Let x(t) = t**3 - t**2 + t. Let a be x(0). Let s be q(a). Let p = s + 8. Solve k = -p*k + 5 for k.
1
Suppose 5*c = 24 + 21. Suppose 0 = 3*p - 3*o - c, o = -2*o. Solve -p*n = -7*n + 20 for n.
5
Suppose -3*c + 5*m + 1 = -4, 0 = 3*c + 3*m + 3. Let x = 3 - 2. Suppose 2*y + 0 = h + x, 5*y - h - 7 = 0. Solve -3*u + 17 - y = c for u.
5
Suppose 0 = -36*s + 20*s + 96. Solve -10 = s*f - f for f.
-2
Let q = 23 - 33. Let p = q + 20. Let r(v) = -111*v + 666. Let l be r(6). Solve l*y + p = -5*y for y.
-2
Let p = 50 + -45. Suppose 2*b = -p*w + 21, 0 = 2*b - 5*w + 10 - 1. Solve -2*z - b + 1 = 0 for z.
-1
Let b = -35 - -53. Suppose -b = r - 3*r. Solve 5*q - r - 16 = 0 for q.
5
Suppose -5*t + 4*o + 7 = 1, 4*o + 20 = -2*t. Let l be 9/((-9)/t) + 2/1. Solve 0*x - 2*x - l = 0 for x.
-2
Let d be (-228)/171*(-3)/2. Solve -b = d + 2 for b.
-4
Let i(t) = -t**2 - 8*t + 14. Let c be i(-9). Suppose 36 = c*m + 16. Solve 0 = -m*o - 3 + 19 for o.
4
Suppose 0 = -k - k - 2*f + 48, 0 = -5*f - 25. Let z = 39 - k. Suppose -5*d - 2*c = -4, 5*d + 0*c = 5*c - z. Solve d = -4*g + g for g.
0
Let j = -36 - -36. Suppose j = 9*n - 4*n. Solve -v + 0*v = n for v.
0
Let q(l) = l**3 - 4*l**2 + 2*l - 7. Let c be q(4). Let d = 4 - 1. Suppose 5*u + 4*f - 7 = f, 0 = -3*u + 3*f + 9. Solve c - d = u*n for n.
-1
Let f be 10/65 - 52/338. Solve -5*h + 54 - 29 = f for h.
5
Suppose 22*o + 69 - 399 = 0. Suppose 4*r + r = -75. Let x = o + r. Solve x*w = -5*w for w.
0
Let t be -1*1/((-2)/4). Solve r + 3 = -t for r.
-5
Let j = 32 + -30. Suppose -5*v = -3*v - 8. Solve j*f - v*f = 10 for f.
-5
Suppose -3*a + 5 = -1. Let n = 11835 + -11833. Solve -n*m = a*m for m.
0
Suppose -18*a + 14*a + 48 = 0. Suppose 5*t - 9*t = 0. Solve t = -4*k - 0*k + a for k.
3
Let z = 17 - 10. Let q = -33 - -29. Let b be (-2)/(q/(-40)*-4). Solve b*o = -z - 8 for o.
-3
Suppose -16*u + 393 + 407 = 0. Solve -46*i = -u*i for i.
0
Let y be ((-20)/(-8))/(2/4). Let k(h) = h - 3. Let z be k(y). Let x be ((-3)/z)/(4/(-8)). Solve 15 = -0*a + x*a for a.
5
Suppose 0*z = z - 2. Suppose -z*b = -4*b + 24. Suppose -2*f + 14 - 2 = 2*d, 26 = 5*f + 3*d. Solve -4 - b = -f*x for x.
4
Suppose 25 = 2*l + 5*w, 5*l + 3*w = l + 29. Solve -l = 3*c - 17 for c.
4
Let v be (4 + -4)/2 - -21. Let h = v - 16. Suppose 71 = h*g + 4*f, f + 44 = 3*g + 2*f. Solve 0 = -4*z - 5 - g for z.
-5
Suppose 2*s = -2*f - 8, 7 = -2*f + 2*s - 21. Let t = 15 + f. Suppose 5*m - 2*w = 136, 5*m - 50 = 5*w + 95. Solve t - m = -4*b for b.
5
Suppose -4*d - 5*m + 1 = -2, 3*m = -3*d + 3. Let r be (3/d)/((-3)/(-4)). Suppose -5 = -r*i + 5. Solve -l + i - 1 = 0 for l.
4
Suppose 4*w + 4 = 5*w. Suppose -3*l = 64*t - 69*t + 1, -2*t + 10 = 2*l. Solve -t*q = -w*q for q.
0
Let f be 1 + -15 + 4*(-2 - -3). Let b be (-4 - 55/f)/(6/16). Solve 0 = -b*t + t - 6 for t.
-2
Let t(q) = -5*q**2 + 36*q + 26. Suppose 6 = 5*d - 49. Let i(h) = -h**2 + 7*h + 5. Let m(s) = d*i(s) - 2*t(s). Let c be m(4). Solve -a - c + 4 = 0 for a.
-3
Let x be (4 - 1) + (3 - 7) - -5. Solve 0 = 3*m + 8 + x for m.
-4
Suppose 5*y - 2*i = i + 25, 2*y = 5*i + 10. Suppose -4*q - 2*r = 5 - 23, 0 = 5*q + y*r - 30. Let s = 3 + 3. Solve -q*m = 6 + s for m.
-4
Let v(u) be the first derivative of u**4/4 - u**3/3 - 4*u - 10. Let k be v(2). Solve k*w + 2 = -w for w.
-2
Suppose -6786 = -8*r - 6786. Solve r = o + 19 - 18 for o.
-1
Let o(i) = i**3 - 3*i**2 - 4*i + 2. Let w be o(4). Let v be ((-21)/49)/(w/(-14)). Solve v*h + 20 = -2*h for h.
-4
Suppose 6*q = 3*q - 5*t + 30, -t - 18 = -q. Suppose -151*b = -150*b. Solve b*y = 3*y + q for y.
-5
Suppose 10*f - 35 - 45 = 0. Solve l = 3*l - f for l.
4
Let n(s) = -s**2 - 5*s + 4. Let l be n(-5). Suppose -i - 4*h = -16, 0*i + l*h + 16 = i. Let c = -164 + 164. Solve c = -6*f + 2*f + i for f.
4
Let a(z) = -3*z**2 - 31*z - 105. Let t be a(-7). Suppose -3*k = -2*f + 127, -5*k - f - 266 = -37. Let g = t - k. Solve -s = s + g for s.
-5
Let c(o) = 2*o**3 - o**2 - 4*o + 1. Let b be c(3). Suppose 0 = -23*a + 328 - 236. Solve b - 14 = a*z for z.
5
Suppose -3*p - 4*f = 107, 3*p + 123 - 11 = f. Let t = -37 - p. Solve t = 5*j - 0*j - 20 for j.
4
Let q = 166 + -103. Solve -64*o - 5 = -q*o for o.
-5
Suppose 5*s + n - 3 = 25, -3*n = 2*s - 19. Solve -s*i = 7 - 12 for i.
1
Suppose 0 = -3*l - r - 3*r + 56, r = -5*l + 82. Solve l = h + 13 for h.
3
Suppose 2*w + 3*j + 2 = 0, 4*w + j = 2*j + 24. Suppose 0 = -5*k + 8 + 2. Let z be w + (0 - k) + 2. Solve d = z*d - 8 for d.
2
Suppose 6*z = -96 + 114. Solve -2*t + 5 = z*t for t.
1
Suppose -4*s + 3*z - 8*z = -264, -3*z - 232 = -4*s. Solve 23*q = -s - 54 for q.
-5
Suppose -69*y - 4*y + 584 = 0. Solve 0 = -y*g + 11*g - 15 for g.
5
Let k(p) = 4*p**2 + 2*p - 1. Let g be k(1). Suppose -a - g = -3. Let u be 6 - 3 - 1 - a. Solve 20 = u*w + w for w.
4
Suppose 35 = 6*v - 55. Let h = v - 11. Let z = 2 + h. Solve 4*d - 10 - z = 0 for d.
4
Let r(v) = -v**3 - 11*v**2 + 15*v - 8. Suppose -64 = 4*s - 4*p, -51 = 3*s + 2*p - 6*p. Let y be r(s). Let m be (y/(-18))/((-2)/4). Solve -m = a + 4*a for a.
-3
Let r(y) = -y**2 + 13*y + 34. Let c be r(15). Suppose -2*w = 5*s + 1, c*w + 5*s - 5 = -w. Solve 4*h = 5*h - w for h.
2
Suppose 2 = 3*m + 11. Let g be -4 + (0 + m - -14). Solve -18 = 5*f + g for f.
-5
Let y(o) = -2*o**2 - 11*o + 6. Let a be y(-5). Suppose 0 = 3*t - 4 - a. Solve -t*q + 8 + 7 = 0 for q.
3
Suppose -76 = -4*r - 68. Suppose 12 - r = 5*f. Solve -6 = h + f*h for h.
-2
Let n be (-5)/(-10)*-2 + 65. Solve 0 = -n*c + 62*c - 8 for c.
-4
Suppose -10*i - 39 = -39. Solve 54*v - 57*v + 6 = i for v.
2
Suppose 7*c - 4*c = 15. Suppose 2*y = 4*k + 41 + 35, 0 = -c*k + y - 89. Let r = k - -20. Solve r = 3*p - 2*p for p.
3
Let w(v) = -14*v**2 + 2*v - 1. Let b be w(1). Let o = b + 19. Suppose -o*m + 3*m = 0. Solve -4*j + m*j + 16 = 0 for j.
4
Let t(s) = s - 4. Let k be t(4). Let w be -4 - -13 - (k + 1). Suppose 4*l + w = 24. Solve -l = -2*v - 2*v