 - 6 for f.
-2
Let s(c) = -2*c**3 + 47*c**2 - 23*c + 17. Let t be s(23). Solve 0 = -t*x + 12*x + 25 for x.
5
Suppose 4*c + 5*d - 13 = 0, -4*d + 7*d = c + 1. Solve c*w - 4 = -10 for w.
-3
Let t = 210 - 205. Solve -t = -7*j - 5 for j.
0
Suppose 4*s = -10 - 42. Let a = 15 + s. Suppose -5*g + 23 = -f + 3, -a*g + 5 = -f. Solve 0 = -2*r + r + g for r.
5
Let r = 11 + -13. Let b = -2 - r. Suppose 5*s - 4*s = b. Solve 1 = -g - s for g.
-1
Let s(h) = h**3 + 6*h**2 - 13*h - 2. Let y be s(-7). Suppose -w + 24 = 4*c, -w - 4*w - 4*c = -y. Solve -w - 5 = 3*d for d.
-3
Suppose -2*c - 5*m + 13 = -32, -5 = -5*m. Suppose 5*k = 5*r + 15, 5*r + 8*k - c = 6*k. Let q(j) = j**2 + 5*j + 6. Let i be q(-4). Solve -i - r = -2*b for b.
2
Suppose -3*f + 6 = -3. Let h(y) = -9*y - 1. Let s be h(-1). Suppose 10*c = s*c + 6. Solve 0*n - c*n - f = 0 for n.
-1
Let k = -14 + 16. Suppose 0 = -5*b - 204 + 224. Solve k*t = t - b for t.
-4
Let q(o) = -o**3 - o**2 + o + 167. Let m be q(0). Suppose -n = 5*j - 506, 3*j = 3*n + m + 133. Let x be (-10)/55 - j/(-11). Solve 0 = -2*d + x + 1 for d.
5
Let d = 184 + -23. Let v be (-1)/(14/2) + 506/d. Solve v*a = -2*a - 5 for a.
-1
Let o(f) = 3*f**3 + 2*f**2. Let i be o(2). Let m = 35 - i. Solve m + 0 = -3*j for j.
-1
Suppose 19 = -5*p + 4*a + 9, -a = 4*p - 13. Solve -p*q - 9 = q for q.
-3
Let w(t) = t + 10 - 2*t - 4 - t. Let x be w(3). Suppose -4 = 2*y - 6, x = -u + 4*y + 16. Solve m + 4*m = -u for m.
-4
Let i be (-78)/(-8) + 2/8. Let v be 58/10 - (-2)/i. Let p be (3 - 1)/(v/24). Solve l + l - p = 0 for l.
4
Let p(x) = -2*x + 63. Let t be p(29). Solve -2*d - t = -1 for d.
-2
Suppose 5*o - 21*o = 3*o. Solve o*h = 4*h - 4 for h.
1
Suppose 3*c + 4*x = -6, 2*x - 11 = -c + 5*x. Solve -11*z - c = -12*z for z.
2
Let m = -251 - -96. Let b = 159 + m. Solve -b*v + 4 = 24 for v.
-5
Suppose -6*a + 92 = 8. Solve -a*x + 17*x = -6 for x.
-2
Suppose 156*b - 166*b = -60. Solve b*h + 27 = 15 for h.
-2
Let h(f) = 5*f**2 - 2*f + 3. Let j(n) = n**2. Let q(r) = h(r) - 3*j(r). Let a be q(3). Suppose v + a = 6*v. Solve -v*l - 3 = -12 for l.
3
Let o(y) = 2*y + 15. Let t be o(-4). Solve 0 = -r + t - 11 for r.
-4
Suppose n - n = -n. Solve n = 3*b - 5 - 1 for b.
2
Let r be -6*7/14 + 11. Solve 104*t = 102*t - r for t.
-4
Suppose -4*f = -5*l - 1 - 0, -2*f + 2*l + 2 = 0. Solve 3*w = -w + f for w.
1
Let i be ((-4)/6 - 94/12)*2. Let j = i - -23. Solve 5*z = -1 + j for z.
1
Let y be -3 - 10/(30/(-9)). Solve y = 11*j + 18 + 26 for j.
-4
Let d be (-10)/((-3 - -6) + -2). Let l be d/(0 + 3 + -5). Solve 3 = 4*k - l for k.
2
Suppose 3*n = -12, 0 = 5*s - n - n - 18. Let g(h) = -3*h**3 + 1. Let b be g(-1). Suppose -3*q + b*q - 4 = 0. Solve -s*z + q = -4*z for z.
-2
Let t be (-74)/(-24) + 2 - 67/804. Solve 0*h = t*h + 10 for h.
-2
Let s(v) = 2*v**2 - 32*v + 32. Let z be s(15). Suppose 0*w - 33 = -4*g - 3*w, -w - 9 = -z*g. Solve -g*j = -2*j - 8 for j.
2
Let s = -604 + 607. Solve 2*m - s*m = 2 for m.
-2
Let a = 527 + -527. Solve a = -w - 5 for w.
-5
Let n be 6*(-6 + 5)*2/(-1). Solve 9*s = 13*s - n for s.
3
Let m(s) = 14*s - 630. Let p be m(45). Solve 2*l + l = p for l.
0
Let f(s) be the third derivative of -s**4/12 - 4*s**3/3 - 5*s**2. Let c be f(-4). Suppose y = -3*g - 6, -4*y + c*g = g + 2. Solve d = -y - 1 for d.
-1
Let t(m) = -2*m + 11. Let c(y) = y - 1. Let b(r) = -4*c(r) - t(r). Let a be b(-5). Solve -a + 1 = -2*z for z.
1
Let u = 190 - 177. Solve -2*g - 3 = -u for g.
5
Let g(p) = 3*p**3. Let l(i) = -i**3 + 3*i**2 + 1. Let f be l(3). Let n be g(f). Suppose -5*t + 25 = 48*w - 43*w, 0 = w - 5. Solve t*j = -n*j for j.
0
Suppose 0 = -2*j - 122 + 114. Let d be (20/4)/(j/(-4)). Solve 4 + 1 = d*y for y.
1
Suppose -51 = -3*n - 3. Suppose n*f = 15*f + 3. Solve 4*j = f*j - 3 for j.
-3
Suppose 2*l - 47*z + 48*z - 16 = 0, -l + 5*z - 25 = 0. Suppose 5*b - 5 = 0, 3*w = 5*b - 4 - 4. Let x be (-1 - 0)*(w + 1). Solve x*r = -l*r - 20 for r.
-4
Let r(o) = o**3 + 4*o**2 + 4*o + 3. Let q be -2 + (0 - 2 - -2). Let x be ((-2)/q)/(9/(-18)). Let b be r(x). Solve b*i = -2*i - 10 for i.
-2
Let b(q) = -q**3 - 8*q**2 + 32*q - 7. Let j be b(-11). Solve -15 = -o - j*o for o.
3
Let r be ((-6)/(-4))/((-1)/(-2)). Suppose -221*z + 217*z = -16. Solve -r*p = -z*p for p.
0
Let g(w) = 5*w**2 + 1. Let d be g(1). Let a(k) = 2*k - 2. Let j be a(-1). Let y = d + j. Solve q - y = -q for q.
1
Let r = 1 + -1. Let j(s) = s**3 + 2*s**2 + s + 4. Let h be j(-2). Solve h*o - 8 = -r*o for o.
4
Suppose -47*o + 39*o = 0. Solve -h - 2*h + 6 = o for h.
2
Let f(w) = -3*w. Let m be f(3). Let d = m - -11. Suppose d + 8 = 2*x. Solve 0 = 5*t + x for t.
-1
Let p be (18/(-24))/((-1)/4). Suppose -y = -3*u - 3, 5*u + 1 + 4 = -4*y. Let m(c) = -c**3 - 3*c**2 - c. Let q be m(y). Solve q = -8*r + p*r for r.
0
Suppose 5*a - a = -356. Let m = a - -91. Solve -s - 6 + m = 0 for s.
-4
Let u(j) = j**2 + 5*j - 2. Let q be u(-6). Suppose 3*x = 76 + 35. Suppose 0 = -q*l + x - 5. Solve -3*f + 25 = -l*f for f.
-5
Suppose 111 - 91 = 2*x. Solve 0 = -6*r - x + 4 for r.
-1
Suppose 0 = -12*a - 126 + 162. Solve -24 = -15*l + a*l for l.
2
Let y(g) = g**2 + 2*g - 1. Let u be y(1). Suppose q = k + 5, -4*q + 7 = -2*k - 21. Let b = 75 + -70. Solve b*v = u*v + q for v.
3
Suppose 2*m + 0*m = 2*j + 140, -m = -5*j - 62. Suppose -9*h = -h - m. Solve 4*s - h + 25 = 0 for s.
-4
Suppose 4*u = -4*u + 40. Suppose -a - u + 8 = 0. Solve c + 4 - a = 0 for c.
-1
Suppose 1 = 5*i - 2*u, -2*i = 5*u + 102 - 114. Solve 25 = -6*h + i for h.
-4
Suppose -4*n + c + 32 = 3*c, 2*n - 2*c = 16. Suppose -18*r + 61 = -11. Let d = r + n. Solve d + 0 = 4*m for m.
3
Let g be (-1*1)/(10*(-23)/920). Suppose 2*x - 6 = 2*u, -4*u + 3*x - 9 = -3*u. Solve 8 = -u*y + g*y for y.
2
Suppose 5*u - v - 254 = 0, -4*u = -5*v + 10*v - 209. Solve -5*w - u = -66 for w.
3
Let b(k) = -3*k**3 - k**2 - 8*k - 21. Let m be b(-2). Solve 3*g + m = 6*g for g.
5
Suppose -3*o + 28 = 2*o + 3*h, -2*o + 4*h + 6 = 0. Suppose b = 5*v + 5, o = 3*v + 5*b - 20. Solve v*q + 15 = 3*q for q.
5
Suppose -4*m = 4*k + 6 - 110, k + 66 = 3*m. Suppose -4*q = -a + m, -a - 2*a = -4*q - 45. Solve -4 = 3*t + a for t.
-5
Let u be 61/4 - -4*(-2)/32. Suppose -19*s = -u*s - 20. Suppose -3*q + c = -q - 11, -q + 4*c + 23 = 0. Solve -q*k - s = 4 for k.
-3
Let h(b) = -b**3 - 12*b**2 - 13*b + 11. Let y be h(-11). Solve -38*c - 5 = -y*c for c.
-1
Let q(d) be the third derivative of -d**6/120 + 7*d**5/60 + d**4/3 + d**3/3 + 4*d**2. Let l be q(8). Suppose 1 = -l*k + 5. Solve -k = -f - 0 for f.
2
Let b(l) = 5 - 4 + 0 + 0 - 8*l. Let a be b(-1). Let i = a + -7. Solve -s + i*s - 1 = 0 for s.
1
Let i be 4/(48/(-28))*6. Suppose 5*q + 70 = q - 2*l, -l + 29 = -2*q. Let y = i - q. Solve -5 = y*a - 7*a for a.
1
Let g be (-6)/(-9) + 4/(-6). Let o(q) = -5*q + 21. Let i be o(6). Let k be -6 - -2 - (i - -5). Solve c + 5 + g = k for c.
-5
Suppose 5*p - 5 = 20. Let c be 3 + (2 - 1 - 0). Suppose -14 = -p*y - c. Solve 3*s - 2*s = -y for s.
-2
Let u be (-92)/(-9) - (-4)/(-18). Let m(f) = f**2 - 3*f + 2. Suppose -8 = -11*k + 3*k. Let b be m(k). Solve -7*g + 2*g + u = b for g.
2
Let g(y) = -2*y**2 - 12*y + 18. Suppose -4*k + 0 + 20 = 0, -k = -3*j - 26. Let q be g(j). Solve 0 = a - q + 1 for a.
3
Suppose -720 - 266 = -17*l. Solve 3*v = -l + 67 for v.
3
Suppose 990 = 191*b - 161*b. Solve -i = -12*i - b for i.
-3
Let q = -3 - -3. Let m = q - 8. Let y = 12 + m. Solve y + 1 = -5*u for u.
-1
Let u(j) = -j**2 - 4*j + 14. Let f be u(-6). Suppose 4*d - 8 = 5*y, -f*d = 3*y + 2*y - 4. Suppose -d*k + 4 = -0*k. Solve k*h = -3*h + 10 for h.
2
Suppose 5*i + h = 188 + 420, 2*i = h + 246. Solve 117 - i = 5*r for r.
-1
Let m(l) = -l**3 - 1 - 6*l**2 + 2*l**2 + l - 4*l. Let j be m(-3). Let b(y) = -5*y**3 - y**2 - 3*y - 3. Let f be b(j). Solve -f*i + 6 = 2 for i.
1
Suppose -70 = -11*q - 3*q. Solve -15 = -10*w + q*w for w.
3
Let u be 105/45 + 1/(-3). Suppose 133 = u*h - 6*h + k, 0 = h - 3*k + 25. Let b be 3/(-12) + h/(-8). Solve 0 = -b*p - 0*p + 4 for p.
1
Suppose 8 = -4*n, f + 2*f + 5*n = -31. Let u be -1*(f - (-3)/(-3)). Suppose -r + 15 = -j, -5*j + 21 = -4. Solve r = -4*k + u*k for k.
5
Let f(t) be the third derivative of -t**5/60 + 5*t**3/6 + 125*t**2. Let v be -2*(-2)/8*0. Let n be f(v). Solve -n = -w + 2*w for w.
-5
Suppose 121 + 119 = 8*h. Suppose -g = 5*g - h. Let b = 3 - -1. Solve 11 + b = g*