= 3*t + j*t for t.
5
Suppose 0 = t - 4 + 1. Suppose 34 = t*v + v + 5*o, -4*v = -o - 22. Solve z - 2 = -v for z.
-4
Let b = 15 + -10. Solve 2*l + 1 - b = 0 for l.
2
Suppose p - 63 + 60 = 0. Solve 0 = o + p + 2 for o.
-5
Suppose -3*f - 2*s + 1 = -1, 2*f = -4*s + 4. Solve 0 = -f*q - q - 5 for q.
-5
Suppose -4*f - 4 = -2*f - l, 5*l = -2*f - 4. Let b be (f/6)/((-3)/9). Solve -2*d + b = -5 for d.
3
Let h be (11/(-2))/((-4)/8). Let u(b) = 2*b + h - 4 - b. Let p be u(0). Solve 3*r = p*r for r.
0
Let w(b) = b**2 - 3*b - 6. Let c be w(5). Let n = c - 2. Solve n*d = -0 + 2 for d.
1
Let t(i) = -i + 6. Let n be t(5). Let u be n - -2*3/6. Solve c - u*c = 2 for c.
-2
Let n = 5 - 1. Let l be 4*n/(16/(-21)). Let a be l/(-3) + (2 - 1). Solve a = -5*p + p for p.
-2
Let c be ((-1)/2)/(5/(-120)). Solve w + c = -3*w for w.
-3
Suppose -8 = 4*a - 0. Suppose 337 = 4*y - 5*g - 0*g, 0 = y + 4*g - 100. Let n be y/40 - a/(-10). Solve w = -n*w for w.
0
Suppose 44 = -3*p + 2*p. Let d be p/(-4) + -1 + 3. Solve -d - 2 = 5*j for j.
-3
Let z be -1 - 7/(14/(-10)). Solve z*r + 9 = r for r.
-3
Let k be (-7)/4 + 3/(-12). Let u be 23 + (-5 + 1)/k. Let n(b) = b + 9. Let c be n(-6). Solve -u = 2*y + c*y for y.
-5
Let d be 6*2/((-2)/(-1)). Let c = -7 - 8. Let a = -11 - c. Solve -a*u + 14 = d for u.
2
Let g = -4 - -4. Let p = -4 - g. Let m = p + 8. Solve -5 + 1 = -m*t for t.
1
Let f(y) = 3*y + 41. Let t be f(-11). Solve 0 = 4*h + t + 12 for h.
-5
Let i = -35 + 35. Solve -3 + i = -3*m for m.
1
Suppose -4*j + 4 = 0, 3*d - 5 - 3 = -2*j. Suppose 0 = i - 3*i + 8. Suppose 4*l - 9 = w, -2*w - d*l + i*l = 0. Solve -r + 2 = -w*r for r.
-1
Suppose 3*q + 3*k + 2*k + 20 = 0, -20 = -3*q + 5*k. Solve 2*z + q*z = 0 for z.
0
Let x be -1*1*(-2 - -2). Let g = -143 - -149. Solve x = 3*m - g*m + 15 for m.
5
Suppose -4*g = -3*g - 3. Let h = 8 - g. Solve 0*m - 15 = -h*m for m.
3
Let z(l) = -l**3 - 7*l**2 + 8*l + 2. Let m = 11 + -19. Let j be z(m). Solve h = -j*h for h.
0
Let d(z) be the second derivative of z**4/3 - z**3/6 - 2*z. Let w be d(1). Let y = w - 1. Solve -3 + 1 = y*r for r.
-1
Let x be (4/(-14))/((-3)/21). Solve 0*p + p + x = 0 for p.
-2
Let h(l) = l**2 + 2*l + 1. Let d be h(-3). Suppose -7 = -d*o + 17. Solve -3*v = -v - o for v.
3
Suppose 7*g = 4*g + 36. Let w = g - 6. Let j be (-15)/6*w/(-15). Solve j = 3*d - 2 for d.
1
Suppose -6*d = -4*q - 2*d + 220, 254 = 5*q + 2*d. Let c = q - 32. Solve 5*z = z - c for z.
-5
Let n = 5 - 4. Let b be n*((3 - 3) + 0). Solve 5*h - 10 = -b for h.
2
Let i = -64 + 65. Suppose 2*n = 3*n - 2. Let y be (2/(-2))/(n/(-6)). Solve -y*a = i - 4 for a.
1
Let d = -11 + 36. Solve 0 = -3*u - 13 + d for u.
4
Let v(z) = z**2 - 3*z + 2. Let r(d) = -6*d**2 + 14*d - 10. Let l(w) = -2*r(w) - 11*v(w). Let c be l(-6). Solve 0 = -2*j + c*j for j.
0
Suppose 3*j = -5*j + 7*j. Solve d = -j - 3 for d.
-3
Let j = 3 + 0. Suppose 4*y = 3*y + j. Solve -y*u + 6*u = -15 for u.
-5
Let i(k) = -k**3 - 4*k**2 - 3*k + 2. Let q(c) = -c**3 - 4*c**2 - 3. Let z be q(-4). Let m be i(z). Solve 6*x = m*x for x.
0
Suppose -a = 5, -4*u + 4*a = u - 235. Let f = -30 + u. Solve -5*w + f = -2 for w.
3
Let a(g) = -g**2 + 10*g - 9. Let d be a(9). Let p = 3 - d. Solve 0 = p*s + 12 for s.
-4
Let z(g) = g**3 + 5*g**2 - 6*g + 5. Suppose 4*o = l - 19, -23 = 2*o + 5*l + 14. Let i be z(o). Solve -s = -0*s - i for s.
5
Suppose 5*k - 2*d = 2*d + 5, -5*k - 3*d + 40 = 0. Let f = -11 - -19. Let u = f - k. Solve j = -2 + u for j.
1
Let u be (-1 - -2 - 0)*10. Let j = u + -5. Suppose -j*i + 15 = -2*y - 10*i, 0 = -3*y + 5*i + 40. Solve -3*k = -4 - y for k.
3
Let l = -9 + 12. Let t(x) = 2*x - 6. Let z be t(l). Solve 5*n = -z*n for n.
0
Let x = -11 + 40. Let k = -15 + x. Suppose -16 - k = -2*b. Solve 8*i = 5*i + b for i.
5
Let t(k) be the third derivative of -k**4/24 - 5*k**3/6 - k**2. Let d be t(-5). Suppose d = -m - 2*m. Solve m = 3*s - 3 + 6 for s.
-1
Let v(x) = -2*x + 13. Let f be v(10). Let g(q) = -q**3 - 6*q**2 + 9*q + 8. Let h be g(f). Let r be (-32)/h*18/8. Solve 4*b - r = -0 for b.
3
Let a = 0 + 0. Let y be 1/2 + (-6)/(-4). Suppose 0 = -y*o + 1 + 9. Solve -o*s + s + 12 = a for s.
3
Suppose -4 = -9*g + 7*g. Suppose 2 = 4*f - 2*l - 0, 5*f + 4*l = -4. Solve -n - g*n - 6 = f for n.
-2
Let n = 5 + -2. Suppose -4*s + 10 = -2*t, -n*s + 6*s + 3 = 5*t. Solve 0*c = -s*c - 8 for c.
-2
Let i(a) = -6*a - 54. Let z be i(-10). Solve 4*v - 2 = z for v.
2
Suppose -3*v = -16 + 1. Solve -v = c - 2 for c.
-3
Let o be (8/24)/((-2)/6). Let m be o/((-4)/(-6) + -1). Solve -4*r + m = 19 for r.
-4
Let x(c) = 6*c + 6. Let t(k) = -7*k - 6. Let h(r) = 5*t(r) + 6*x(r). Let o be h(-6). Let p be (20/(-8))/((-2)/12). Solve 0 = -o*n - 5*n + p for n.
3
Let x(p) = p**2 + 1. Let w(v) = -6*v**2 + 4*v + 1. Let d(z) = w(z) + 5*x(z). Let n be d(5). Suppose -2*i + 7 + n = 0. Solve -i*b + 3 = -1 for b.
1
Let o = 2 + 6. Let m be (-12)/210*-10*21/2. Let r = o - m. Solve 0 = -r*n + 2 for n.
1
Let p = -80 + 92. Solve 3 = -3*k + p for k.
3
Let q be (-96)/(-36) + (-2)/(-6). Solve -q*t - 3 = -2*t for t.
-3
Let y(w) = w**3 + w**2 + 1. Let m(h) = -8*h**3 + 3*h**2 + 2. Suppose 3*t - 7*t = -8. Let a(r) = t*y(r) - m(r). Let f be a(1). Solve 3*c = -0*c + f for c.
3
Let w be (-2)/9 + (-64)/36. Let i be (3 + (-39)/6)*w. Solve 3*l - 12 = i*l for l.
-3
Let j(m) = 2*m**3 - 4*m**2 + 2*m. Let w be j(2). Suppose -w*p + 24 = -0. Solve 0 = q - 2 + p for q.
-4
Let p(l) be the second derivative of -l**4/12 + l**3 + 3*l**2/2 + l. Let n be p(6). Suppose -2*d + u = -2 + 4, 2*d = n*u - 6. Solve d*o = -5*o + 20 for o.
4
Let f be ((-6)/(-4))/((-2)/(-4)). Suppose f*b + 23 = n, 3*b = -6 - 9. Let j = 8 - n. Solve 5*i - 5 + 0 = j for i.
1
Let b(v) = 9*v. Let z(i) = -8*i. Let h(f) = 3*b(f) + 4*z(f). Let m(j) = -4*j**3 + j**2. Let r be m(1). Let a be h(r). Solve -4*w - a + 7 = 0 for w.
-2
Let p = 8 + -5. Let z = p + -1. Solve z*o = 3*o for o.
0
Let f(z) = -z**2 + 6*z - 2. Let u be f(5). Suppose -6*n + 2*r = -2*n - 10, -10 = n - 3*r. Suppose 4*p - 14 - 38 = 0. Solve p = -n*o + u for o.
-2
Suppose -w = -7 - 3. Let s(g) = 3*g - 1. Let i be (-8 - -2)*5/(-15). Let p be s(i). Solve -p*m + w = -15 for m.
5
Let c be (6/2)/(((-36)/30)/(-2)). Solve c*b - 8*b = -12 for b.
4
Suppose -5*f - 42 = 4*c, 5*f + 0 = c - 2. Let g = c - -10. Solve 0 = -2*h + g for h.
1
Suppose 5*w = 7 + 3. Suppose 0 = 4*u + 2*l + 8, -w*l - 16 = -u + 2*l. Solve u*y = -y for y.
0
Suppose 5*b + 0*i + i = 0, 5*b - 4*i = 0. Let l be (8/(-14))/2 - (-148)/28. Solve -3*w + l - 2 = b for w.
1
Let r(p) = p - 2. Let m be r(5). Suppose 2*v = 3*v. Suppose 3*h - 2*j + 4 = v, -4*j + 21 = -3*h + 7. Solve -m + h = b for b.
-1
Suppose 0 = -0*d - d + 8. Solve 3*i - i = -d for i.
-4
Suppose 0 = h - 2, -5*y - 5*h + 18 + 17 = 0. Solve y*d = d - 20 for d.
-5
Suppose -a - 58 = -2*a - 4*s, 0 = 2*s - 8. Suppose 5*n = -4*z + 7*z + a, 5*z = 2*n - 13. Solve -4*y = n + 3 for y.
-3
Let c(y) be the second derivative of y**6/60 + y**3/6 + 2*y**2 - 3*y. Let t(w) be the first derivative of c(w). Let a be t(1). Solve 10 = -a*x + 5*x for x.
5
Let x(g) = -6*g - 1. Let c be x(-1). Let m = 7 - c. Solve -m*f + 2 = -2 for f.
2
Let s be 3/((-6)/10)*1. Let l = 7 + s. Solve -l*q - 5 = -13 for q.
4
Suppose -h - 5*y = -23, 4*h + 4*y = 9 + 19. Suppose -h*o = -n - 4, n = -2*o - 4*n + 31. Suppose -8 = -2*b + 5*t + 23, 5*t + 15 = 0. Solve o*k = 5*k - b for k.
4
Suppose 4*v + 2*t = -0*t + 56, 4*t - 76 = -5*v. Suppose -v = -c - 5. Solve 4*n + c + 9 = 0 for n.
-4
Let b be (-136)/6 + (-6)/(-9). Let x = b - -16. Let q be 2/3*(x + 33). Solve 3*w - 3 = -q for w.
-5
Let p = -2 - -5. Suppose u = 3*u - 6. Suppose -u*c = 2*c. Solve r - 7 + p = c for r.
4
Suppose 2*j + v = 3*v, v = -j. Suppose 0 = -5*u - a + 103, 6 = 2*a - j*a. Solve 2*k = -3*k + u for k.
4
Let z(f) = 4*f**3 + f**2 - 2*f + 1. Let a be z(1). Let n(t) = 2*t - 6. Let g be n(4). Solve -g*c - 6 = -a*c for c.
3
Suppose 4*x - 8*x - 5*y = -17, x = -y + 4. Solve -4*k + 13 = -x for k.
4
Let b = -33 + 55. Suppose -j = -3*p + 11, -2*j + b = 2*p + j. Solve -4 + 19 = -p*o for o.
-3
Let d = 11 - 6. Let l = 8 - d. Solve -l*h = 2*h - 10 for h.
2
Let t(a) = -a**2 + 3*a + 7. Let b be t(4). Suppose 9 = -0*f + b*f. Solve 0 = -3*k - 0*k - f for k.
-1
Let c(j) = -j - 4. Let w be c(-6). Let m(n) = n - 4. Let u be m(3). Let k(y) = -2*y**3 - y**2 - y. Let