*k + 0*k = v for k.
-5
Suppose -8 = 4*v - 2*v - 4*c, v + 5*c = 24. Solve -3*h = -v*h - 1 for h.
-1
Suppose 38*p + 120 = 35*p. Let c be 30/p - 11/(-4). Let i be 11/1 - (-3 + 4). Solve 7*y + i = c*y for y.
-2
Suppose 0 = -2*o + 7*o + 3*r - 56, 0 = -4*o + 2*r + 36. Solve 15*j - o*j = -5 for j.
-1
Let h(u) = u - 1. Let p be h(2). Let s be (p + 0 - -3) + 1. Suppose q - o + s*o = 22, -4*q + 2*o = 2. Solve t + q*t + 3 = 0 for t.
-1
Let k be 5*(-2 + (-56)/(-20)). Suppose y = -3*y - 2*q + 16, k = -q. Suppose 2*f = 5*f - y. Solve c - f*c = 5 for c.
-5
Let v(h) be the second derivative of h**6/720 - h**5/15 + h**4/2 + 2*h. Let g(k) be the third derivative of v(k). Let f be g(10). Solve f*u + 25 = -3*u for u.
-5
Let p(r) = -4*r**3 - r**2 - 3. Let z be p(-2). Let n = z - 21. Let c be 13 + -5 - -1*2. Solve 2*h = n*h + c for h.
-5
Let a(i) = i**3 - 5*i**2 + i + 12. Let s be a(5). Let q = s + -12. Solve 0 = -9*g + 4*g - q for g.
-1
Let k = -1118 - -1183. Solve -28 = -72*c + k*c for c.
4
Let c(r) = -r**2 + 3*r + 2. Let j be c(3). Let f = -389 - -383. Let u be (1 + f)/(-3 + j). Solve 0 = u*o + 3 + 12 for o.
-3
Let g be (-4)/14 + 424*5/70. Let t(a) = a**3 - 8*a**2 + 5*a - 10. Let o be t(8). Let v = g - o. Solve v*k = k + 1 for k.
-1
Let p = 234 + -231. Solve p*y = 2*y - 1 for y.
-1
Let r = -66 + 68. Suppose 3*g - z - 1 = 3, 10 = r*g + 3*z. Solve g*m + 4 = 10 for m.
3
Suppose -s + 2*m = -9, 18*s - 19*s + 12 = -5*m. Solve -2*c + 9*c = -s for c.
-1
Suppose -12*k - 48 = -2*o - 9*k, 3*k + 18 = o. Solve 2*y + 40 - o = 0 for y.
-5
Let o(y) = -y**3 + 23*y**2 - 22*y + 1. Let m be o(22). Suppose 0 = -3*a + f + 19, -3*a + 3*f + 28 = m. Solve 3*h - 2*h = a for h.
5
Suppose -80 = -527*h + 517*h. Solve h*o - 9 - 23 = 0 for o.
4
Let n = -26 - -36. Let d be 1 - ((-16)/(-4) - n). Solve -2 + d = -w for w.
-5
Let c(p) = 2*p**2 - 4*p + 4. Let l be c(0). Solve -2 = -l*h - 14 for h.
-3
Let l(n) = 2*n + 12. Let s be l(-5). Suppose -s*o - 69 = o. Let f = o - -27. Solve 1 - f = -m for m.
3
Suppose 6 = 2*a - 4. Suppose 5*i - 15 = 2*c, -a*c = -3*i - 2*i. Let r be (0 + -4)*-1 + 7. Solve c + r = 4*o for o.
4
Let f be (-6)/(-8) - 11/4. Let k be f/(-4) + 3/2. Let j be (2 - k)/(-1 + 3). Solve j*y - 4 = -2*y for y.
2
Let j(m) = 2*m + 2. Let g be j(-1). Suppose 4*x - 20 = -g. Solve -20 = -0*w + x*w for w.
-4
Suppose -23 = -4*r + 3*r + 2*b, -5*r = -5*b - 95. Solve 0 = r*d - 57 + 12 for d.
3
Let u(f) = -f**3 + f**2 + 3*f - 2. Let p be u(2). Suppose -15*j + 14*j - 4 = p. Let l = -2 - j. Solve 0 = l*i - i for i.
0
Let w = 33 - 32. Let j be (w + -1)/(2 + -1). Solve j = -5*v + 3 - 23 for v.
-4
Let c be (-5)/(-10) - (-33)/6. Let b = -14 - c. Let o be 4/b*-5*5. Solve i + 20 = o*i for i.
5
Let l be (9/(-15))/((-36)/360). Solve l*b = 13*b for b.
0
Let k(r) = -r**2 + 7*r + 46. Let g be k(9). Let p = -8 + g. Solve -3*s + 5 = p for s.
-5
Let f(i) = -i**2 - 8*i - 9. Let t be f(-6). Suppose -3*k - 6 = 2*b, -3*k - 2*k + 3*b = -28. Solve k*y = -t - 3 for y.
-3
Suppose 3*y = y + 24. Suppose -5*x - 3 - 13 = 4*b, 3*x = 3*b + y. Solve -k - 3*k + 8 = x for k.
2
Let w be ((-3)/(-5))/(1/5). Suppose -7*v + 40 = -8*v. Let a = 40 + v. Solve a = -g - w*g - 16 for g.
-4
Suppose -9*r + 24 + 57 = 0. Let k = 4 + 2. Suppose k*q = 3*q + 9. Solve -q = 4*t + r for t.
-3
Let r = -471 - -477. Solve r*i = 9*i + 9 for i.
-3
Let v be (488/(-32) - -5)/(2/(-8)). Solve -44*m = -v*m - 3 for m.
1
Let d be ((-2)/(-1))/((-4 + -1)/(-5)). Suppose 0 = b + d*b - 18. Solve -2*l = -b*l for l.
0
Let a be 39/(-9) + 2 - (-6)/18. Let t(r) = r**3 + 2*r**2 - r + 3. Let m be t(a). Solve -10 - m = -3*y for y.
5
Suppose -2*h = h + 21. Let r(y) be the third derivative of -y**5/60 - 5*y**4/24 + 17*y**3/6 + 16*y**2. Let q be r(h). Solve 0 = -v - 1 - q for v.
-4
Let u(d) = d**3 + 7*d**2 - 10*d - 11. Let v be u(-8). Let m(p) = -10 - 9*p - v*p - 4*p + 15*p. Let l be m(-4). Solve -l*h = -3 - 3 for h.
3
Let b = 321 + -313. Solve 0 = -0*j + b*j + 40 for j.
-5
Suppose -f = -x - 3, 3*f - x + 5*x + 12 = 0. Suppose 13 = 4*y - 3. Suppose 0 = 4*n - y. Solve -h = -f*h - n for h.
1
Let o(z) = -12*z - 162. Let l be o(-14). Solve 6*f - 18 - l = 0 for f.
4
Let m = 6 + -1. Suppose 1 = f + 3*j - m, -3*j = 0. Let n = f - 2. Solve 2*u - n*u = 6 for u.
-3
Suppose 0 = 5*h - 31 - 19. Let v(m) = m**3 - 4*m**2 - m + 7. Let w be v(4). Suppose -4 = -5*u - w*s, -5*u + 10*u = -2*s + 6. Solve 3*t = -u*t + h for t.
2
Let f be 270/65 - 4/26. Let l be (f - 3)/((-1)/(-2)). Suppose -l*q + 5 = 3*q. Solve -2 + q = p for p.
-1
Let d(j) = 2*j + 1. Let k be d(3). Let n = 46 + -30. Let t = n - 14. Solve t = c + k for c.
-5
Suppose t = -5*t + 186. Suppose -b + t = 23. Solve 0 = 3*j - b - 1 for j.
3
Let j = 652 - 652. Solve j = -3*y + 53 - 56 for y.
-1
Let g = 458 - 409. Solve -7*p - g = -21 for p.
-4
Let w = -9 - -11. Let x be (-231)/(-49) + 2/7. Suppose 4*i = 4*g + x + 95, 0 = 5*g. Solve i = w*o - 7*o for o.
-5
Suppose -7*f - 8 = -3*f. Let p(o) = -4*o + 2. Let y be p(f). Suppose t - y = -t. Solve t*m = m + 8 for m.
2
Let a(c) = -c**3 + 16*c**2 - 13*c - 21. Let p be a(15). Solve -4*w + 7*w = p for w.
3
Let f(k) = k**3 - 2*k**2 + 3*k - 1. Suppose 0*h + h = 2. Let t be f(h). Suppose 5*r = 51 - 1. Solve -5*i - r = t for i.
-3
Let i = -28 - -30. Suppose -3*j - n + 3 = 2*n, -16 = -j + i*n. Solve 25 = j*y - y for y.
5
Let j(y) = 2*y**2 + 29*y + 31. Let i be j(-14). Suppose 19*s = i*s + 4. Solve 4*t = 5*t + s for t.
-2
Let f = 30 + -44. Let l be ((-4)/(-10))/(f/(-70)). Solve -l = -2*s + 4 for s.
3
Let h(q) = 2*q**3 + 4*q**2 - 2*q - 1. Let v be h(-2). Let m(i) = i**2 - 4*i - 3. Let w be m(-2). Solve 0 = -v*d + w for d.
3
Suppose -7*f + 6*f - 2 = -2*u, -4*u + 16 = 4*f. Solve -u + 0 = -2*d for d.
1
Let j be 6/(-3) + (7 - 61). Let p be 2/(j/(-108)) + (-2)/(-14). Solve 4 = 2*a - p for a.
4
Let l = 0 + 2. Let a be 3 - 2*1/(-2). Suppose -w = -3*v - 5, -2*w + v - 18 + 23 = 0. Solve -w*p = -a*p + l for p.
1
Let t = 5 - 5. Let b(x) = 9*x**3 + x**2. Suppose 2*j + 10 = -3*y, -5*y = 5*j + 9 + 6. Let o be b(j). Solve o = -t*f - 2*f for f.
-5
Suppose -4*q = 7*q - 220. Solve -q = 4*v - 4 for v.
-4
Suppose -33 - 77 = -22*g. Solve -12 = g*s + s for s.
-2
Let t = -4 - -9. Let u = 469 + -465. Solve t*q - q = u for q.
1
Let x(d) = 5*d**3 - 7*d**2 + 6. Let l be x(2). Solve l + 0 = -18*g for g.
-1
Let m be (8/10)/((-2)/(-5)). Let d be 62/4*(3 - -1). Let l = d - 61. Solve m*x + 9 = l for x.
-4
Let l = -63 - -63. Let p = -13 + 18. Suppose 8 + 12 = p*i. Solve l = -2*o + i*o - 10 for o.
5
Let b be (-13)/(-4) + 6/(-24). Suppose 3*k - 5*u - b = 3, -4*k = -4*u - 8. Solve 0 = -k*a + 4 - 6 for a.
-1
Suppose -2*r - 4 = 2*y - 4*r, -2*y = 3*r + 9. Let j be 1 - (4 - (10 + y)). Suppose j*n - 10 = -2. Solve n*w - 10 + 0 = 0 for w.
5
Suppose 3*h + h = 0. Let b = -58 + 63. Solve 0*x - b*x = h for x.
0
Let z = 33 - 29. Suppose -3*l - 3*q - 1 = -2*l, -2*l + 8 = -z*q. Solve l + 10 = -4*w for w.
-3
Let q be (26/(-1) + 3)*2. Let f = 77 + q. Suppose 11 = -5*t + f. Solve -g = -0*g + t for g.
-4
Let z(j) = -j**3 - 4*j**2 + 9*j - 11. Let g be z(-6). Suppose 4*d + 8 + 12 = 0. Let u = g + d. Solve -2*p + 4 = u for p.
1
Let g(v) = 2*v + 16. Let l be g(-8). Solve -h - 3*h - 8 = l for h.
-2
Let a be 2/4 + 10/4. Suppose -165*n + 552 = -54*n + 27*n. Solve -a*p = -4*p - n for p.
-4
Let o(v) = -101 + 5*v + 43 + 70 + 35. Let u be o(-9). Solve 4 + 4 = -u*p for p.
-4
Let v(w) = 9*w**2 - 12*w + 4. Let c be v(5). Let t(u) = -9 + c*u**3 + 0 + 11*u**2 - 168*u**3 - u. Let a be t(-11). Solve -a*z = -6 + 4 for z.
1
Let l be (-3 + 5 - (-10)/(-4))*0. Suppose -2*p = 5*h - 4*p + 3, -3*h - p = -7. Let d be 2/h - l/(-2). Solve -d*i = 2 + 2 for i.
-2
Let a = -116 + 119. Let z = 0 - 0. Solve -3*q - 9 - a = z for q.
-4
Let s = 1288 + -1258. Solve 0 = 3*v + 18 - s for v.
4
Let i be -10 + 6 - (68 + 4)/(-6). Solve i*k - 12*k = -20 for k.
5
Let h = -18 - -11. Let b = 7 + h. Suppose b*u = -u. Solve 2*g + u = -2 for g.
-1
Suppose -374 = -61*j + 602. Let t be 4/(-14) - 90/(-21). Solve 0 = -t*f + 8*f - j for f.
4
Let r = -63 + 83. Solve 5 = 3*q + r for q.
-5
Suppose -32 = -2*f + 2*l, 4*l - 2*l - 82 = -4*f. Solve 0 = f*k - 7*k + 36 for k.
-3
Suppose -2*i - 2*i - 3 = k, -12 = -2*k + i. Solve -k*p - 2*p - 14 = 0 for p.
-2
Let k(z) = -2*z**2 - 14*z + 17. Let b be k(-7). Suppose -3*a + b = -y