 f*v = 0 for v.
0
Suppose 3 = -j + d, -5*d = j - 20 + 5. Suppose 2*n + 3*n = j. Let y be 2*((-1)/4)/(7/(-42)). Solve -y*l = -n*l for l.
0
Let s(r) = r - 7. Let m be s(7). Suppose 3*k - 6*k = 3, m = -4*i + 2*k + 18. Solve v = -i*v for v.
0
Suppose 9*c = 4*c - 75. Let r = -12 - c. Solve 5*h + 2 + r = 0 for h.
-1
Suppose 5*j + j = 36. Let c be 100/j*(-3)/(-2). Suppose 0 = -y + 4 - 2. Solve 7*s - c = y*s for s.
5
Let o = -2 + 5. Suppose -3 = 2*q - 65. Suppose 29*y + 32 = q*y. Solve -y = f + o*f for f.
-4
Let m be ((-9)/(-15))/((-129)/(-2150)). Let b(s) = -s**3 + 2*s**2 + 5*s - 3. Let p be b(3). Solve p*x - 8*x + m = 0 for x.
2
Suppose 0 = 5*w - 17 - 28. Suppose 0 = 2*p - w - 3. Solve -p = 2*t - 2 for t.
-2
Suppose 4*k + 7 = -3*g, 0*g + 9 = 2*k - g. Suppose -14*s = -12*s - k. Suppose 0 = -4*q - 3*p + 21, -2*q - 5*p = -6*q + 61. Solve -2*f = -q - s for f.
5
Let l be (2 + -1)*(11 - 4 - 7). Solve -6*x + 7 + 5 = l for x.
2
Suppose -2*p + 8 = 4. Let y be p*(-2)/((-8)/6). Solve -y*z = -z for z.
0
Suppose 0 = o - 1 + 3. Let l be (66/12)/((-1)/o). Suppose -r = -4*g + 29, 5*g + 5*r - l = 19. Solve -2 = v - g for v.
5
Let j = -62 - -65. Suppose 0 = d - 2*d - 5*g + 30, 0 = -j*d + g + 10. Solve -1 = -4*o - d for o.
-1
Let s be 10/(-15) + (-34)/(-6). Suppose 2*l + 4*v = 92, -5*l + v = -0*l - 175. Suppose -n + 5*n = l. Solve -s*x + n + 16 = 0 for x.
5
Let j(c) be the first derivative of c**4/4 - 2*c**3/3 - 3*c**2/2 + 4*c - 25. Let y be j(3). Let k be (21/12)/((-2)/(-8)). Solve -1 = y*a + k for a.
-2
Let o(j) = 3*j**3 - 3*j**2 + 3. Let q be o(1). Solve x = q - 4 for x.
-1
Suppose 0 = -5*z - 11 + 36. Let u be (-1)/(((-10)/4)/z). Solve -2*i = u*i for i.
0
Let t(c) = -2*c**3 - 4*c**2 - 3*c - 1. Let w(g) = -g**3 + 8*g**2 + 11*g - 20. Let n be w(9). Let l be t(n). Solve l*h + 10 = -0*h for h.
-2
Suppose 10*z = -31*z + 287. Solve -4*l - z = 1 for l.
-2
Let s(p) = 5*p**2 + 2*p + 1. Let b be s(-1). Suppose 5*j - 2*j = -b*o + 52, 0 = 5*o - 20. Solve -j = 4*a - a for a.
-4
Suppose -5*m + m = y + 11, 3*y - 3*m = 27. Suppose 3*g = 2*g + y. Let z(l) = l**2 - l + 6. Let i be z(3). Solve g*b = i - 2 for b.
2
Let r(z) = -z**3 - 49*z**2 + 100*z - 90. Let y be r(-51). Solve 0*s + 3*s = y for s.
4
Let a = -89 + 219. Let b = -123 + a. Solve 3*q = b*q for q.
0
Suppose 2*s - 2*g - 4 = 0, 4*g + 4 = -s + 11. Suppose -13 = -2*p + s*p. Let x(q) = q**3 + 12*q**2 - 14*q - 10. Let n be x(p). Solve -n*o = -6*o for o.
0
Let u be (1/3)/(23/138) - 0. Solve -u*m + 5 = -7*m for m.
-1
Let q(y) = -y + 2. Let m be q(2). Suppose -2*k - 22 = -5*a, -k - 1 = -m*k. Solve 8*d - a*d = -12 for d.
-3
Let r be (-3)/(-4) + (-8 - 1458/(-72)). Solve -6*o + 17 = -r for o.
5
Let q(o) be the third derivative of -5*o**4/24 - o**3/6 - 2*o**2. Let u be q(-1). Solve -6 + 2 = -u*g for g.
1
Let b = -37 - -54. Let a(g) = g**2 + 4*g - 16. Let z be a(-7). Let o(j) = -2*j + 13. Let f be o(z). Solve 5*k + f = -b for k.
-4
Suppose 0 = -17*b - 17*b + 272. Solve -b*t + 7*t = -3 for t.
3
Suppose -p + 3*a = -44, -4*p - a = -77 - 47. Solve 32 - p = -u for u.
0
Let t be 49/4 + 27/(-108). Solve 8 - t = -2*k for k.
2
Suppose 3*k + 2*r - 32 = -10, 7*k - 33 = -r. Solve -k*q = 98 - 106 for q.
2
Suppose 4*h - 5*m - 41 = -0*m, 0 = 3*h + 3*m + 3. Solve -n - h*n = 20 for n.
-4
Let s(t) = t**3 - 10*t**2 + 10*t - 9. Let b be s(9). Let z be 6/(-1) + 11/1. Solve b*w - 10 = -z*w for w.
2
Let i be 25/(-3)*126/(-42). Solve i = -4*w - w for w.
-5
Let n = 45 + -47. Let z(w) = -2*w - 2. Let s be z(n). Solve 5 = 3*r - s*r for r.
5
Suppose 3803 - 3823 = -10*t. Suppose a - 2 = -l, -5*l + 6*a + 3 = 4*a. Solve -s + l = -t for s.
3
Suppose 5*n - 70 = -5*y, 0*y - 3*y - 5*n = -52. Suppose -4*p + y*p = 15. Solve 0 = -3*o - 0*o + p for o.
1
Suppose 3*s + 3*v - 27 = -12, 5*s - 49 = 3*v. Suppose 0 = -p + 5*p - s. Suppose -29 = -p*t + 5*f, -t - 2*t + f = -37. Solve t = 5*j - j for j.
3
Let f(c) = 2*c**2 + 5*c + 4. Let x be f(-3). Suppose 5*n - 27 + x = 0. Let d be n/22 - (-84)/22. Solve -s - d*s = 10 for s.
-2
Suppose -4*b = -5*c + 5, 5*b = 3*c + 2*b. Solve -5 - c = 10*o for o.
-1
Let v = 5 + -2. Suppose -3*x = -4*g - 71, 3*x + 4*g = 3*g + 46. Let t(w) = 2*w - 33. Let l be t(x). Solve 2 + l = -v*d for d.
-1
Suppose -13*t + 5*t = -16. Solve -2 = 4*z + t for z.
-1
Let q(o) = o**2 - 9*o - 18. Let f be q(11). Suppose 0*r - 21 = -k + 5*r, 0 = -4*r - 12. Solve 0 = 2*c - f + k for c.
-1
Suppose -5*c - 4*g = -20, 0 = 2*c - 6*g + 4*g - 8. Solve -c*a - 2*a = 2*a for a.
0
Let r be ((-21)/(-14) - 0)/(((-21)/8)/(-7)). Suppose -9 = -3*i + 6*i. Let m = 4 + i. Solve -l - m + r = 0 for l.
3
Suppose -8 = -4*f + 2*f. Suppose -2*o + 6 = 4*p, 7*o - 25 = -5*p + 8*o. Solve -f*x = -0*x - p for x.
1
Let l be (21/(-7))/(6/(-4)). Let y be 2*2*(-40)/(-32) - l. Solve -3 = -6*x + y*x for x.
1
Let q be 2 + (-56)/98 + 4/7. Solve -q*y + 88 - 90 = 0 for y.
-1
Let o(j) = j**2 + 3*j - 28. Let a be o(-7). Solve n = -a*n - 2*n for n.
0
Let o(v) = 1 + 1 + 7*v**2 - v**3 - 6*v - 5. Let d be o(6). Let a be ((-10)/(-4))/(d/(-6)). Solve -a*x = -16 - 4 for x.
4
Let j be (-7 - -9)/((-2)/17). Let w = j + 26. Solve -w = -3*u - 24 for u.
-5
Suppose 2*l - 5*d + 8 = l, -5*d = -2*l - 31. Let r be l/(-3) - (-6)/18. Let x = 0 + 2. Solve 3*h + x = r for h.
2
Let q(k) = k**2 + 24*k - 175. Let x be q(6). Solve -x = -16*v + 17*v for v.
-5
Suppose -10*u + 6*u = -16. Let m be -6*(u + 33/(-6)). Solve -3*f - m = -0*f for f.
-3
Let q be 3/2*16/6. Let t = -2 + 4. Suppose 5*y + 5*f = -0*y + 10, -q = 3*y - t*f. Solve 0 = j - y*j for j.
0
Let v be (-2)/(-15)*9*5/(-2). Let y be 5/(15/(-6)) - v. Solve y = u - 1 for u.
2
Let g be 10 - (-3 - (4 - 13)). Solve 2*c + 2 = g*c for c.
1
Let b(h) = -h**2 + 10*h - 11. Let x be b(8). Let j(k) = 3*k. Let s be j(x). Let f be 192/s - (-2)/10. Solve 5*d - f = 12 for d.
5
Suppose 5*h - 23 = 172. Suppose 6*v - h = v + 3*f, 0 = -v + 4*f + 1. Solve 3*i + v = 3 for i.
-2
Suppose -p + 15 = 5*q - 28, -p - 11 = -q. Suppose -q*x + 36 + 9 = 0. Solve -15 = -2*n - x for n.
5
Suppose 746*s = 760*s - 392. Solve 23*v - 10 = s*v for v.
-2
Suppose -r - 4 = -5*n + 6, 5*n = 0. Let a be (r + -2)*(21/(-12) - -1). Solve 0*i + 3*i + a = 0 for i.
-3
Let v be -5*3*(-1)/5. Let q = 280 + -280. Suppose -7*l + 2*l = -20, -3*l = -o - 12. Solve -m + o*m + v = q for m.
3
Let i(h) = -h**2 - h - 1. Let s be i(-6). Let q = -26 - s. Suppose -2*w = 3*w. Solve -5*o + 0 - q = w for o.
-1
Let o(l) be the third derivative of 0 + 13/6*l**3 + 0*l + 1/24*l**4 + 6*l**2 - 1/120*l**6 - 3/20*l**5. Let n be o(-9). Solve 0*c + n = -c for c.
-4
Let s(w) = -24*w + 12*w + 4 + 3*w. Let c be s(-3). Let y = -19 + c. Solve -g = 2*g - y for g.
4
Suppose 37*s - 36 = 34*s. Solve -s*y = -7*y for y.
0
Let b(h) = 28*h - 6. Suppose -4*z = -4*p - 16, -z - 4*p = 2*z + 9. Let j be b(z). Solve 5*m - 2 = -j for m.
-4
Let h(u) = u**3 - 8*u**2 - 9*u + 6. Let w be h(9). Let c = w - 2. Solve -5*n + c + 21 = 0 for n.
5
Suppose 0 = -4*u + 3*u + 28. Suppose -5*b = 37 + u. Let k = -13 - b. Solve -5 = c - k*c for c.
-5
Let i = -508 + 517. Solve 3 = 3*q + i for q.
-2
Suppose 19*l + l - 40 = 0. Solve 7 = 5*v + l for v.
1
Suppose x + j + 101 = 0, 40 + 165 = -2*x - 3*j. Let m be x/(-14) - 2*1. Solve -3*u - 4 = -m*u for u.
2
Suppose -2*x + 7*x - 4*d = 20, -4*d = -3*x + 20. Solve x = 7*c + 28 - 7 for c.
-3
Suppose -4*m - 2*c + 8 = -6*c, -4*m - 3*c + 15 = 0. Let k = 0 + 14. Let i = -9 + k. Solve i*w - 10 = m*w for w.
5
Suppose -6*a = -18*a + 36. Solve -a*q + 1 = -14 for q.
5
Let g = -124 - -126. Suppose 0 = g*a - 4*s - 20, a = 3*s + 1 + 8. Solve -a = -2*h - h for h.
4
Let d(u) = u**3 + 4*u**2 - 7. Let z be d(-3). Solve 4*s = -z*s - 12 for s.
-2
Suppose -3*q = -4*u - 8*q + 29, -5 = 5*u - 2*q. Suppose 5*l - 18 = 3*s + u, 2*s = -6. Solve 0 = -2*n + 8 + l for n.
5
Suppose -2*h + 10 = 3*h. Solve h*u + 17 = 25 for u.
4
Let o(g) = -4*g - 1. Let i be o(1). Let f = 3 - i. Let r(c) = -c + 10. Let p be r(f). Solve k = -k - p for k.
-1
Let n(o) = o + 9. Let x be n(-5). Let k be -7 + (-714)/(-78) - x/26. Solve k*a - 1 = -11 for a.
-5
Let k be 0/1*-10*3/(-30). Solve k = -2*j + 4 for j.
2
Let a = -175 + 187. Solve 5*r - a = 8*r for r.
-4
Let r = -205 - -231. Solve -r*a + 22*a = -20 for a.
5
Suppose -4*i - 6 = -3*h, -5*i = -2*h - 10*i + 4. Solve -h*z = z - 12 for z.
4
Let v = -15 - 1. Let a 