k + s = 3*k for k.
5
Suppose 3*a + 0*a = -5*i + 45, 0 = 3*a - 5*i - 75. Let g be (75/a)/((-6)/(-8)). Solve -g*b + 4 = -6 for b.
2
Suppose 0 = 3*d + 2 - 17. Let o = d + -2. Suppose -o*x = -20 + 5. Solve x*s - 3*s = -10 for s.
-5
Let o be (0/(-3))/(-1 + (-1)/1). Let a = 0 + 0. Solve o = -v - 2 - a for v.
-2
Let g be ((-6)/15)/((-4)/(-20)). Let t be g*(-4 + 0 + 0). Suppose h - 4*y = -16, 2*h - 2*y = -0 - t. Solve 0*r - 3*r - 15 = h for r.
-5
Suppose -2*a + 2*y = -6, 4*y - 9*y - 6 = -2*a. Solve 14*z + a = -67 for z.
-5
Let s be (2/4)/(5/20). Suppose -3*p + s*b + 15 = -3*b, 5 = p - b. Solve -10 = 5*q + p for q.
-3
Let n be (-13 - -4) + (-114)/(-6). Solve -6*y + 8*y = -n for y.
-5
Let y be (1 + -4 - -2)/(19/(-95)). Solve -205 + 205 = y*k for k.
0
Let i(o) = o**3 + 4*o**2 + 3*o + 4. Let l be i(-3). Suppose 36 = -l*q + 4*s, 4*s = q + 4 + 5. Let u = -5 - q. Solve 10 = r + u*r for r.
2
Suppose 62*q + 0*q = 496. Solve -4*p - 12 = q*p for p.
-1
Let o be (2 - 2)*(0 - -1). Let v be (189/(-42))/((-58)/(-32) - 2). Solve 4*j + v - 8 = o for j.
-4
Suppose -o + 4*i = 3*o - 32, -2*o - i = -10. Solve 0 = -o*u + 4 + 2 for u.
1
Suppose -3*x = u + u - 114, 5*x + 3*u = 191. Suppose 0 = 38*j - x*j + 4. Solve -j*w = -6*w for w.
0
Let c be 1/(-2)*-8*2. Let w = 396 + -392. Solve -c = -l - w for l.
4
Suppose -10*z + 15*z - 95 = 0. Solve z - 15 = -4*b for b.
-1
Let x = 141 + -137. Solve 23 = -9*f - x for f.
-3
Let o(k) = k**3 - 15*k + 17. Let b be o(0). Solve -46 = b*c + 5 for c.
-3
Let u = 10 - 5. Suppose 5 = 5*s - u. Suppose b + s*b = 15. Solve 0 = 4*q + q + b for q.
-1
Suppose 0 = -2*l - d + 4 + 1, 12 = -4*d. Suppose -l*f - 30 = -10*f. Solve f = 2*z - 3 for z.
4
Let b(k) be the third derivative of 0*k + 0 - 5/8*k**4 + 1/2*k**3 - 1/120*k**6 - 4/15*k**5 + 5*k**2. Let l be b(-15). Solve 0 = f - l for f.
3
Let o be (-2 + 1)/(3/(-12)). Let d be 134/17 - (-12)/102. Suppose d = -5*a + 6*a. Solve -4*y - a = o for y.
-3
Let p(s) be the third derivative of s**5/30 + s**4/6 + s**3/2 + 3*s**2. Let w be p(-2). Suppose 5*n = -25, -3*f + 5*n = -f - 29. Solve w*c = -f*c - 15 for c.
-3
Let q(k) = k**2 - 15*k + 14. Let o be q(1). Solve 12 = 4*t - o*t for t.
3
Let r = -27 + 35. Suppose -5*l = -4*i + i - r, 3*l = -4*i + 28. Solve -t + 0*t = -i for t.
4
Suppose -29 = -17*h + 56. Solve h*j + 10*j + 45 = 0 for j.
-3
Let j(q) = q**3 + 4*q**2 + q + 5. Suppose 0 = -2*o, 6*n = n - 5*o - 20. Let k be j(n). Solve -2*v - 7 = -k for v.
-3
Let a = -292 + 297. Solve l + 1 = a for l.
4
Let w be (-2)/(-6)*18/2. Solve 7*r = -w*r + 10 for r.
1
Let h be (66 - 72) + (-26)/(-1). Solve 9*a = 16 + h for a.
4
Suppose 2*a - 57 = -5*f - 15, -3*f + 5*a + 19 = 0. Solve -5*l = -l - f for l.
2
Let u be 1/((-3)/(-2))*6. Suppose 2*o - 36 = -u. Suppose -2*f + o = -0*f. Solve 4 = 4*c - f for c.
3
Suppose -5 = -36*x + 35*x. Solve -10 - 5 = -x*v for v.
3
Let y = -37 + 41. Suppose 3*n + 6 = -2*i, -y*n - 10 = -3*i - 2. Solve i*q = 3*q for q.
0
Suppose 0 = 2*s + 2187 - 2197. Solve g + 4 = s*g for g.
1
Let t be (-12)/18 - (-11)/3. Solve -18*h + t = -15*h for h.
1
Let x be (-2 + 3/2)*(61 - 1). Let q = x + 35. Solve -4*o + 13 = q for o.
2
Let q(n) = -n**2 + 3*n + 72. Let k be q(10). Solve 5*f + 12 = k*f for f.
-4
Let n be (-1)/2*2 - (-7 - -118). Let s = 114 + n. Solve s*o = -2*o for o.
0
Let r be (18/(-12))/((-3)/4). Let p be r/(0 + 6)*3. Solve 2*u = -p - 1 for u.
-1
Let v(j) = -j**3 - 5*j**2 - j + 1. Let i be v(-4). Let w = -9 - i. Suppose -w + 6 = 2*x. Solve x*a = a - 4 for a.
-4
Let k be 3/2 - (-7)/(-14). Let f be k/(8/(-3) + 3). Suppose f*r = -r. Solve 4*y - y - 12 = r for y.
4
Let a(h) = h**2 + 6*h - 12. Let w be a(-9). Let q be (-1)/(25/w + -2). Solve 0 = -u + q for u.
3
Let i be 0/(0/(-1) - -3) - -5. Solve 2 = -3*r + i for r.
1
Let d = -31 + 27. Let k be 0*(-2)/(-2)*d/8. Solve k = 3*g - 4*g for g.
0
Suppose 48 = 4*k + 4*m, -5*m = k - 0 - 20. Solve 0 = 3*y + k - 7 for y.
-1
Suppose 0 = 13*p - 11*p - 10. Suppose -8*m + p*m = 0. Solve 5*o - 3*o + 8 = m for o.
-4
Let d(j) = -j**3 + 16*j**2 - 2. Let t be d(16). Let a be 3/((-6 - t)/(-4)). Solve -a*y = 2*y for y.
0
Let w = -11 + 16. Suppose -2*x - 4 = -3*s, 0 = x + w*s - s + 13. Let l(t) = t + 6. Let g be l(x). Solve g = c - 1 for c.
2
Let q be (28/35)/(177/(-60) - -3). Solve 11*k - 15*k - q = 0 for k.
-4
Let y(r) = -r**2 - 9*r - 4. Suppose 0 = -3*a - 3*j + 39, 10*j + 7 = 3*a + 5*j. Suppose 0 = -13*d + a*d - 32. Let k be y(d). Solve 0 = -0*g + 2*g - k for g.
2
Suppose -21*u = 8*u - 87. Solve u - 4 = -v for v.
1
Let p(o) = -o**3 + 3*o**2 - 4. Let a be p(2). Let m(w) = -w - 7. Let c be m(-7). Let r(x) = -x**3 - x**2 - x + 6. Let j be r(c). Solve -2*f = -a*f - j for f.
3
Let n = 27 - 22. Suppose 3*q = 2*r + 18, 3*q - 2*q = n*r + 19. Solve q*p = 9 + 11 for p.
5
Let r(t) = t**2 + t. Let n be r(4). Suppose n = 4*h + 3*b, -2*b + 5 = -2*h + 1. Solve h = -s - 1 for s.
-3
Let d(o) = o**2 - 7*o - 42. Let g be d(11). Let j be 9 + -4 + (0 - (5 - g)). Solve j = -3*h - 4 for h.
-2
Suppose 3*c - 13 = -2*x, -4*x + 3*c - 3 + 2 = 0. Suppose -5*l + 3*a = -24, 0*l + l + a - 8 = 0. Solve x*z = l - 2 for z.
2
Let l = -5 + 14. Let y be (-25)/(-3) - (-35)/(-105). Suppose y*j + 2 = l*j. Solve 11 - 3 = -j*m for m.
-4
Suppose 94 = 29*s + 7. Suppose 2*b + r - 4 = 0, -3*b - 2*r + 10 = 2*b. Solve -s - 1 = -b*f for f.
2
Let g(o) = -o**3 + 11*o**2 + o - 7. Let x be g(11). Let p be x/4*(2 + -1). Suppose -15 = -7*j - p. Solve -j*b + 9 - 3 = 0 for b.
3
Suppose -u - 70 = -3*o, -5*u + 2*o - 435 = 4*o. Let y = u + 90. Solve 0*f + f = -y for f.
-5
Let m = 6 - 24. Let d = m - -20. Suppose 0 = -4*l + d*l. Solve l = -3*q + 6*q + 6 for q.
-2
Let f be (42/35)/((-3)/(-200)). Suppose 13*k + f = 340. Solve -t + 6*t = k for t.
4
Let m(a) = a**2 - 7*a + 6. Let d be m(1). Let x be (-24)/(-4)*3/9. Solve d*k - x = -k for k.
2
Let j be 5704/403 + (-7)/((-364)/(-8)). Solve 13*w - j*w - 2 = 0 for w.
-2
Let a(o) = o**2 + 13*o + 22. Let q be a(-11). Solve 5*y + 2 - 12 = q for y.
2
Let o(w) = -w**2 - 11*w - 10. Let n be o(-6). Solve -7*i = -3*i + n for i.
-5
Let z = -53 - -58. Suppose 0*x - 55 = -z*x. Solve x*u - 10 = 13*u for u.
-5
Suppose -8*q - 24 = -5*q. Let s = 12 + q. Suppose -s*k - 12 = -2*k + 4*o, 0 = -3*k - o + 7. Solve -5*b + b = k for b.
-1
Let b = -621 - -644. Solve -3 = -5*z - b for z.
-4
Let y = -19 + 23. Solve -8 = y*h - 2*h for h.
-4
Let p = 0 + 0. Solve 5*t - 4*t - 5 = p for t.
5
Let s be -7*-4*6/56. Let b(z) = z + 4. Let d be b(-2). Solve s - 5 = -d*g for g.
1
Suppose 41 = 4*j - 3*a, -j + 3*a + 3 = -5. Solve j*v + 5*v = -32 for v.
-2
Let o(n) be the second derivative of -n**5/20 - 7*n**4/6 - 13*n**3/6 + 3*n**2 + 6*n. Let t be o(-13). Suppose -c - t = -3*c. Solve 0 = c*f - 4*f - 4 for f.
-4
Let i(s) = 2 + s - 4 - 2 + 3. Let y be i(2). Let j be 0 + (7 - -4) + y. Solve -j = -4*q - 0*q for q.
3
Let x(p) = -p + 3. Suppose 3*m = -4*m. Let w be x(m). Solve -w*k + k = 0 for k.
0
Suppose 13*b - 2*u = 9*b + 40, 4*u = -4*b + 40. Solve -9*o = -8 - b for o.
2
Let m = -1408 + 1420. Solve 5*u + 3 = -m for u.
-3
Let n(w) = w**3 - 6*w**2 - 8*w + 8. Let z be n(7). Let l be (3/(-9))/(z/(-3)). Solve -2*c - 7 + l = 0 for c.
-3
Let q be -2 - 84/12*(-6)/7. Solve 2*z = -q + 2 for z.
-1
Let o(j) = j**2 + 3*j - 5. Let n be o(-5). Let p(c) = -2 + 58*c - n + c**2 - 66*c. Let f be p(9). Solve 3 = -f*l + 11 for l.
4
Let z be -1 + ((-10)/(-15))/(4/66). Solve 0 = z*s - 9*s for s.
0
Let y = -205 + 217. Solve -y*m + 15*m = 15 for m.
5
Suppose 2*b - 26 = -b + w, -b = -w - 6. Let m(g) = -g + 1. Let u be m(-5). Suppose -r + b = u. Solve 3*s + 5 = r*s for s.
5
Suppose 0 = 5*m + 2*l - 312, -m + 0*l + 60 = -2*l. Let s = -59 + m. Solve s*q - 12 = -0 for q.
4
Let b = -442 + 220. Let l be 6/16 + b/(-48) + -5. Solve l = -m - 3*m for m.
0
Let i(r) = -2*r - 1. Let m be i(-4). Let t be (1*(2 + -10))/(-1 + 2). Let l be t/10 - (-70)/25. Solve j - l + m = 0 for j.
-5
Let l = -2 + -53. Let b = l - -57. Solve 0 = -b*h - 0*h - 8 for h.
-4
Let m be 6/(-33) - (-84)/(-22). Let b(n) = n**2 + 4*n - 3. Let f be b(m). Let y be 4*(f - -3 - -2). Solve y*o + 25 = 3*o for o.
-5
Let z(y) = -97*y + 1070. Let u be z(11). Solve u = 3*d + 9 for d.
-2
Let y = -81 + 87. Suppose -f - 3 = -z, -2*z = -f + 2*f - 15. Let n = -3 + z. Solve y + 3 = -n*q for q.
-3
Suppose -3*h - 8 - 1 = 0. Le