t be w(u). Solve -t = 2*a - 6*a for a.
5
Let j be 0 + 3 - (0 + -2). Suppose -j*u + 20 = 5*n, 0 = 2*u + u + 3. Let i(f) = -2*f - 2. Let g be i(-7). Solve n*l = l - g for l.
-3
Let v = -4 - -6. Suppose 0 = v*d + 3*r - 7 - 2, -d = 3*r - 3. Suppose -d + 26 = 2*t. Solve 0 = 4*l + l + t for l.
-2
Let j = 14 + -13. Let z be j - -15 - (6 + -3). Let i = z - 11. Solve 0 = i*r - 2 - 2 for r.
2
Let a = -24 - -14. Let v = 22 + a. Let o be -4 - 3*v/(-9). Solve o = 3*m - 5*m + 6 for m.
3
Suppose -d + 5 - 9 = 0. Let m = d + 9. Solve -2*z + m*z + 15 = 0 for z.
-5
Let i be (-45)/(-20) - 1/4. Suppose 4 = 3*y - i. Suppose 0 = -y*k - 7 + 31. Solve 2*j + k = -j for j.
-4
Suppose -3 = -b - 1. Suppose t = 6 - b. Solve d = t*d - 6 for d.
2
Suppose 2*l - 56 = -4*o, -o + 16 = 2*o - 5*l. Solve -o = -8*y + 28 for y.
5
Let f = 24 - 14. Suppose -f = -2*l + 4. Suppose 3*y = l + 8. Solve y*g + 5 = -0*g for g.
-1
Suppose 3*z = -2*d + 46, 3*z + 15 = d + 1. Solve c - d = -17 for c.
3
Let f(v) = -v**3 + 5*v**2 + 14*v + 3. Let d be f(7). Suppose 3*m + 6 = d*z, 2*m = -z - 0*m - 4. Solve z*a = 4*a for a.
0
Suppose b = 4 - 3, 0 = -4*y + 4*b + 4. Solve y*f + 15 = 7*f for f.
3
Suppose 1 = -2*p - n - 0, 5*n = -25. Suppose 19 = -b + 5*t, 5*b = p*b + 2*t - 5. Solve 5*v - b + 21 = 0 for v.
-4
Let l(h) = 3*h - 4. Let c be l(3). Suppose -v = -c*v. Let w = v - -14. Solve 0 = -4*k + w + 2 for k.
4
Suppose 112 = -18*f + 25*f. Solve -6 = 2*w - f for w.
5
Let f be (17 - 18)/((-1)/53). Let w = f - 48. Solve 15 + 5 = w*v for v.
4
Suppose -8*c + 3*c + 35 = 0. Solve -4*n + c + 5 = 0 for n.
3
Let x be (-12)/20*(-10)/2. Suppose 0 = 5*t + 3*n - 8, 2*t - t + 2 = x*n. Solve -t = z - 6 for z.
5
Let d be (40/6)/((-4)/(-6)). Let b be 2/5 - (-256)/d. Suppose a + 4*x = 15, -1 - b = -5*a - 4*x. Solve 2*v = -v + a for v.
1
Let s = 1722 + -1706. Solve 0 = 20*a - s*a + 8 for a.
-2
Let s be (5 - (2 - -2)) + 3. Suppose 3*n + 3 = -3*b + 12, 0 = s*b - 4. Solve 2*v - 4 = -n for v.
1
Let o = 7 + -13. Let s(w) = -w**2 - 8*w - 1. Let a be s(o). Solve 3*x = a - 2 for x.
3
Let j be 2 + (14 - 1 - 10). Solve -j*w + 10 = -0*w for w.
2
Let g(t) = t**3 - 6*t**2 - 17*t + 2. Let x be g(8). Let d(s) = -s**2 - 5*s + 6. Let o be d(x). Solve o = 3*f - f for f.
0
Suppose 0 = 12*t + 27 - 27. Solve 0 = 2*g - t*g for g.
0
Let c = -8 + 4. Let j be 4 + 1 - c/(-1). Suppose 5*g = -2*b - 20, g = b - j - 3. Solve 1 + b = p for p.
1
Let m = -11 - -19. Suppose 0 = -0*l + l - m. Solve -l = -u + 3*u for u.
-4
Let j be ((-4)/12)/(3/(-72)*-4). Let d(a) = -2*a**2 - 2*a + 4. Let z be d(j). Solve z*l = 4*l for l.
0
Suppose -d + 2 = -0*q - 2*q, -q + 5*d + 8 = 0. Suppose 0 = -5*g + 5*m, m - 1 = 4*g - 4. Let c be (q/(-4) - g)*-2. Solve 0 = 5*z + 24 + c for z.
-5
Let f be 2/(0 + (4 + 0)/8). Suppose 0 = -4*j + 4 + f. Solve -x + 2*x + j = 0 for x.
-2
Let o(z) = -26*z + 264. Let c be o(10). Solve -c*x = -0*x + 16 for x.
-4
Suppose 3*w - 5*w - 10 = -2*c, w + c - 5 = 0. Let a be -2 + (3 - 4) + 7. Solve a*z + z = w for z.
0
Let o = -55 + 49. Let b be ((-4)/10 + o/(-15))/(-1). Solve -r = -b*r + 3 for r.
-3
Suppose -5*k - 16 = -l, 2*l - 24 = 5*k - 3*k. Suppose 0 = 32*q + 33*q - 74*q. Solve q = -14*u + l*u for u.
0
Let x = 27 + 33. Let y = -40 + x. Solve 5*g + y = g for g.
-5
Let t = 10 - 7. Let x(f) = f**3 + 7*f**2 + 9*f - 3. Let m be x(-4). Let d be (-5 - -20)*t/m. Solve 6*c - 5*c = d for c.
5
Suppose -5 = -2*d - 2*m - 1, m = 0. Let z = 3 + d. Let v(u) = -11*u**3 + 2*u**2 - 2. Let w be v(-1). Solve -w = -z*t + 9 for t.
4
Suppose -11*i - 4 = -13*i. Let j be i*(-1 + 0)*-1. Solve j = r - 3*r for r.
-1
Let o(a) = -6*a + 63. Let d be o(5). Solve -d*v - 8 = -31*v for v.
-4
Let y be (4/(-6))/((-6)/45). Suppose -b = -4*b. Let l = 33 - 23. Solve y*i = -b*i - l for i.
-2
Let t be 10/4 + 1/(-2). Suppose 5*y - 2*f + 4*f - 92 = 0, 41 = t*y + 5*f. Let u be (-4)/y + 376/72. Solve 0 = -u*s - 16 + 1 for s.
-3
Suppose 10*f + 423 = f. Let b = f + 48. Solve 5*n = -b - 4 for n.
-1
Let l = 52 + -53. Let h = l - -4. Solve k - 2 - h = 0 for k.
5
Let r be 0/(-7) - -34 - 9. Solve 0 = -4*y + 9*y + r for y.
-5
Let a(h) = -4*h**2 + 13*h + 7. Let m(l) = 5*l**2 - 14*l - 7. Let d(f) = -6*a(f) - 5*m(f). Let u be d(-7). Solve u = -g - 0 - 5 for g.
-5
Let c be (5/(-10))/((-2)/(-32)). Let v(s) = s**2 + 5*s. Let t be v(c). Suppose 2*f + t = 6*f. Solve -n = n - f for n.
3
Let j be (-23)/5 + 2/(-5). Let h = -3 - j. Solve -3*c = -h*c for c.
0
Let r be 110/40 - 2/(-8). Suppose r*o - 44 = -5*y, -3*y - y + 30 = 5*o. Solve 5*x = -5 + y for x.
1
Let y be (-1)/4 - (-114)/8. Let m be (-14)/(-6) + 4/6. Suppose -50 = -5*b, 12*g + 4*b = 14*g + 36. Solve g = m*u + y for u.
-4
Suppose 16*m = -5*f + 20*m + 57, 0 = 4*f + 3*m - 27. Solve 12 = f*h + 48 for h.
-4
Let n be (-10)/(-7) + -2 - 32448/(-728). Solve -5*o - 49 = -n for o.
-1
Suppose -h + 2*h = -5*o + 4, -3*h + 4*o + 12 = 0. Suppose -3*w + 4*t + 18 + h = 0, 2*t + 12 = 2*w. Solve m - w = -m for m.
1
Suppose 2*g - 2 = 2. Let z be 5/1 + (-12 - 158). Let r = z - -177. Solve -g*o - r = 2*o for o.
-3
Let r be (-35*(-36)/168)/((-6)/(-20)). Solve 27*k = 2 + r for k.
1
Let u be 7/((-7)/(-4)) + -1. Let x be -2*(u - 2/4). Let y be (-16)/x - 1/5. Solve -1 = -y*q - 10 for q.
-3
Let l(v) be the third derivative of -7*v**4/12 - 4*v**3/3 - 23*v**2. Let x be l(-1). Solve -2*r = -0*r + x for r.
-3
Suppose -3*q + 9*q = 0. Suppose 4*c = -j, 2*c - 4*j = -q*c. Suppose -22 = -t - 0*f + f, 0 = 5*t + 2*f - 96. Solve 5*a - a + t = c for a.
-5
Suppose 31 + 105 = 2*i. Suppose 0 = -5*l - 13 + i. Solve 0 = -3*y - 4 - l for y.
-5
Suppose -4*d - 10 = -a, 6*a = 3*a - 4*d - 2. Solve 5 = -a*f + 7 for f.
1
Let h = 3 - 3. Let d(b) = b - 2. Let t be d(h). Let k be 0/(-10)*t/6. Solve -p - p - 10 = k for p.
-5
Let q(n) = -2*n - 35. Let j be q(-20). Suppose -j*u + 17 = -2*y + 2, 3 = y + u. Solve z + y = 2 for z.
2
Let a = -565 - -639. Solve -12*k - a = -14 for k.
-5
Let h(c) = -170*c**3 - 6 + 11*c - 18*c**2 + 169*c**3 + 7*c**2. Let v be h(-12). Solve 3*f = v*f for f.
0
Suppose 2*a - 4*s + 220 = 0, 4*a + 5*s = -a - 625. Let h = a - -125. Solve -15 = -2*f + h*f for f.
-5
Suppose 0 = 4*s + s. Let o be 111/2*(-14)/(-21). Let g = -31 + o. Solve s*z + g = -2*z for z.
-3
Suppose -4*d = -16, -2*h + 22 = -h + 3*d. Solve -2*o = -h*o - 32 for o.
-4
Let k be (-3)/(-4)*(-17 - 214/(-6)). Solve 8 = 10*v - k*v for v.
-2
Let v = 7 + -5. Suppose v*p = -1 + 9. Suppose -p*x = -2*g + g - 10, -x = 4*g - 11. Solve 12 = -2*u - g*u for u.
-3
Suppose -q - q + 6 = 0. Suppose 0 = -q*b - 3*u + u + 3, -5*b + 3*u = -24. Suppose 1306 = -9*c + 1342. Solve -c = -b*m - 16 for m.
-4
Let q(v) = -v**3 - 20*v**2 - v + 1. Let g be q(-20). Suppose 15*p + 12 = g*p. Solve -b = -4 + p for b.
2
Let l be ((-6)/3 - -3)/(-1). Let z be l*(4/(-1) + 16). Let f = z + 17. Solve -f - 3 = 4*v for v.
-2
Let l be (4/(-3))/(-2) - 132/9. Let o(x) = -x**3 - 13*x**2 + 13*x - 11. Let c be o(l). Solve 2*q = c*q + 2 for q.
-2
Let x = -35 - -38. Suppose -5*c - x*s = -30, 4*s - 16 = 3*c - 5. Let o = 3 + -1. Solve -c*z - o = 7 for z.
-3
Let d = -40 - -43. Suppose 2*g + 1 = -4*w + 9, -4*g - 2*w = -4. Solve g = -j - 2*j + d for j.
1
Let s(f) = -7*f**3 + 2*f**2 + 5. Let z(h) = 4*h**3 - h**2 - 3. Let o(k) = -3*s(k) - 5*z(k). Let y be o(0). Solve y*j - 5*j = 0 for j.
0
Suppose 4*i + 0*i + 4*l - 56 = 0, -i + 4*l = -9. Solve 17 + 35 = i*g for g.
4
Let d(q) = -q**3 - q**2 + 5*q + 2. Let j be d(-3). Solve -6*g = -7*g + j for g.
5
Let z(s) = -s + 2. Let t be z(7). Let u(j) = -j**2 - 5*j + 6. Let h be u(t). Suppose 3*q = h*q - 6. Solve -f - q*f = 12 for f.
-4
Suppose -4*l = -l + 12. Let r be 2*(5 - (l + 8)). Solve g + 5 = r*g for g.
5
Let l = 73 + -80. Let z(h) = -h**2 - 5*h + 18. Let k be z(l). Solve 0 = k*t - 3*t for t.
0
Let l be -7 + 14 - (-4 - -1). Let b = 22 - l. Solve 0 = 3*i + b - 3 for i.
-3
Suppose 4*s - 12 = 4. Suppose 6*f - s*f = 8. Solve 0 = -8*u + f*u for u.
0
Suppose 5*t + 5*s = 51 - 1, 3*s + 50 = 5*t. Let z(p) = -p**2 + 11*p - 6. Let h be z(t). Solve 8*x = h*x - 16 for x.
-4
Let m be (15 - 5)*(-5)/(-10). Solve -6 + m = -n for n.
1
Suppose 0 = -u - n + 1, 2*n + 2 - 10 = -5*u. Solve 8 - 12 = -u*f for f.
2
Suppose -3*r - 3*w + 138 = 2*r, -2*w + 82 = 3*r. Let a be ((-6)/1 - 0)*(-10)/r. Let d be (-1 + 0)*(-2 + 2). Solve 4*u + a - 22 = d for u.
5
Suppose -r - 35 =