Solve -10*k + 4 = t for k.
-3
Let s = 47 + -43. Suppose -2*h + 2*i - 4 + 2 = 0, 20 = s*i. Solve -2*t - 6 + h = 0 for t.
-1
Suppose -8709*a - 156 = -8712*a + 21. Solve -a*t = -44*t - 45 for t.
3
Let m = 73 + -70. Suppose 5*a - 4*o = 0, -5*a + m*o = -0*o. Suppose a*l + 7 = 7*l. Solve l = -p - 2 for p.
-3
Let i(s) = -346*s + 1778. Let o be i(5). Solve -o = -18*w + 34*w for w.
-3
Suppose 5*m = 10*f - 7*f + 43, m = -5*f + 3. Suppose m*v - 11*v + 19 = -y, -2*v + y = -11. Solve -4*s = v + 8 for s.
-4
Let y(c) be the second derivative of -c**5/20 + 5*c**4/6 - 11*c**3/6 + 12*c**2 - 6*c. Let o be y(9). Solve -o*t - 11 = 19 for t.
-5
Let f be 27729/(-3555)*(-20)/3. Solve 25*d = 12*d + f for d.
4
Let w(m) = m**3 - 130*m**2 + 502*m + 252. Let x be w(126). Solve -30 + x = -10*h for h.
3
Let s(d) = 377*d - 396*d - 8 + d**3 - 52 - 10*d**2. Let u be s(12). Solve 0 = -u*v + 5*v - 10 for v.
2
Let h be 2/(70/(-15) - -4)*-1. Suppose 2*m = -r + 23, h*m - 7 = 3*r + 23. Solve -m = -5*b - 6 for b.
1
Suppose -268*z - 936 = -272*z. Suppose -z = 28*c - 34*c. Solve 9*r - 6 = c for r.
5
Let j be 3/((((-8)/(-16))/1)/((-6)/(-4))). Solve j*s - 3 + 21 = 0 for s.
-2
Suppose 3*h = -5*l + 6*h + 589, 0 = -l + 2*h + 122. Solve -3*m = -119 + l for m.
1
Let m be 43 - (-8*(-8 - -6) + -9). Solve 0 = -2*u - 26 + m for u.
5
Let d = 7313 - 7309. Let y(m) = m**2 + m. Let j be y(2). Suppose -j*h + 13 = -h - x, -x - 10 = -d*h. Solve 2*a + 5 = -h for a.
-4
Let z be (5 - (-66)/(-18))*6/1. Suppose 0 = -27*o + 28*o - z. Solve -4 = -4*h - o for h.
-1
Let m(f) = 2*f**3 - 120*f**2 + 24. Let x be m(60). Solve 434*j + x = 426*j for j.
-3
Let o be (27/(-7) - -3)/((-3)/63). Suppose o = 8*r - 6. Solve 0 = r*k + 12 for k.
-4
Let x = 281 - 140. Suppose -4*t - 129 = -x. Solve -c = 2 - t for c.
1
Let i be (17/(-68))/(1/(-16)). Suppose i*n - 16 = -8*o + 5*o, 4*o = -2*n + 18. Suppose -z - 3 = -7. Solve z*h + 7 = -n for h.
-2
Suppose 0 = -7*h + 14*h + 119. Let z = -31 + h. Let d = z + 58. Solve -r - r = -d for r.
5
Suppose 14 = 2*m + 2*z, 4 = 3*m - 4*z - 3. Suppose -617*j = -620*j. Solve j*i + m = i for i.
5
Let i = 15 + -1. Let h(k) = -125*k**3 + 13*k**2 + 61*k**3 - 17*k + 63*k**3 + 2*k**2 + 31 + k. Let c be h(i). Solve c*v = 16 - 4 for v.
4
Let v be (-3)/15 - (-2 - 2/10). Let m be (v - 18/8) + (-98)/(-8). Suppose 0 = x - 1 - m. Solve -x = 5*z - 38 for z.
5
Let n(r) = -r**3 + 10*r**2 - 62*r + 280. Let o be n(5). Solve 10 = 15*t - o for t.
7
Let v be (-1)/(-5 + 78/16). Suppose 6 = 2148*a - 2146*a. Solve -a*c = 5*c + v for c.
-1
Let s(t) = t**3 + 8*t**2 + 5*t + 11. Let f be s(-8). Let d = f - -27. Let h be d/(-6)*9 + 1. Solve h*b = 8*b - 8 for b.
2
Let o(v) = v**3 + 20*v**2 - v - 10. Let s be (-161)/8 + (7/8)/7. Let w be o(s). Solve 0 = 14*u - w*u + 20 for u.
-5
Let c be ((-2)/(-4))/(1/6). Suppose -2*s + 30 = c*s - w, 0 = 3*s + 3*w. Suppose s*a = -k + 48, 3*a - a - 22 = k. Solve -i - a = -3*i for i.
5
Let i be (-18)/(((-2)/2)/((-20)/(-30))). Solve 13 - 25 = -i*v for v.
1
Let d(q) = q**3 + q**2 - 6*q - 14. Let b be d(6). Suppose 172 = -3*u + b. Solve -i - i = -u for i.
5
Suppose 2*v + 22 = 6*v + 2*r, -4*v + 19 = -r. Let n be (-210)/(-700) + 43/(-10). Let z(p) = -2*p**2 - 6*p + 9. Let y be z(n). Solve 2*a + v = y for a.
-2
Let w be 1*((5 - 0) + -3). Suppose -n - 8 = 6*r - 2*r, w*n = r - 7. Let o be (-1 - 3)/(1/r). Solve 15 = -o*l - 1 for l.
-4
Let n(f) = -f**3 + 15*f**2 + 15*f + 37. Let j be n(16). Suppose -5 + j = 4*r. Suppose 24 = 6*l - r*l - 4*c, -c - 4 = 0. Solve 3*k = l*k - 2 for k.
2
Let u(k) = 4*k - 67. Let c be u(20). Suppose -5*y + 65 = 13*i - 10*i, -y + 4*i = -c. Solve -9*d + y*d - 16 = 0 for d.
4
Let z = 2386 - 2385. Solve -7 + z = 3*y for y.
-2
Let w be ((-1 - -1) + -1)*-10. Suppose -w*s = 13*s - 69. Solve -4*d - 1 = s for d.
-1
Suppose 112*s - 230*s - 60 = -128*s. Solve 5 = s*n + 11 for n.
-1
Let b(r) = -r**2 + 7*r - 4. Let m be b(5). Suppose 0 = -i - 19 + 16. Let h = i + m. Solve -4 - 8 = h*q for q.
-4
Let w(y) = -8*y**2 - 42*y - 8. Let l be (9 - 9/6)*(-2)/3. Let x be w(l). Solve -x = -2*s + 4 for s.
3
Let p = 7721 - 6530. Solve p = 9*f + 1137 for f.
6
Suppose 2940 = 147*w - 89*w + 89*w. Solve -w*m + 70 = -10 for m.
4
Suppose 14*x - 486 + 332 = 0. Solve 58 = -x*n + 3 for n.
-5
Let t = -15657 - -15662. Solve t - 19 = -14*a for a.
1
Let l = -748 - -773. Solve 0 = -l*f - 21 + 96 for f.
3
Suppose 115 = -2*l + 2*h - 1, -4*l = -2*h + 226. Let t be (0 - 5)*704/l. Let i = t + -64. Solve i*j + 3 = -3*j for j.
-1
Suppose 0 = 3*u + 6, -u - 22 = -2*i. Let s = -7474 - -7470. Let w be -21*s/15 + 4/i. Solve 2*j - w*j = 16 for j.
-4
Suppose -25*i + 248 = 48. Let q be -5*1/(-1 - 0). Solve -13*v = -i*v - q for v.
1
Let n = 11 + -8. Suppose 0 = 5*q + n - 43. Suppose 5*h = -4*f - 7 - 10, h = -3*f + 1. Solve 2*v - q = -f*v for v.
2
Let n = 233 - 229. Suppose -3*h - 12 = 9*j - 14*j, -4*j + h + n = 0. Solve j = 5*l - 2 - 3 for l.
1
Let u(o) = -o**2 + 11*o - 29. Let w be u(5). Let k(n) = n**2 - 3*n - 8. Let m be k(4). Let f be (m/6)/(12/(-54)). Solve -f*g + w - 13 = 0 for g.
-4
Let n(y) = -y**2 + 5*y + 11. Let j be n(8). Let h = 18 - j. Let c = -31 + h. Solve c = -5*s + 2*s + 9 for s.
3
Let x = 1319 - 354. Suppose -962*z - 75 = -x*z. Solve 0 = 10*p - 15*p + z for p.
5
Let j(k) be the third derivative of -k**5/60 - 11*k**4/8 + 17*k**3/6 - 32*k**2. Let z be j(-33). Solve -5*y = -8 - z for y.
5
Let a = 702 - 698. Solve 0 = 22*v - a*v - 36 for v.
2
Suppose -5*h - 27 = -2*w, -5*w - 2*h = -2 - 22. Let y be 11/((2/14)/((-40)/(-280))). Solve -5 = w*s - y*s for s.
1
Let w = -52 + 52. Let m be (w/1 - -12)*2/(-3). Let y be (-680)/(-30) - (m/(-6))/2. Solve 0 = -5*t + 3 + y for t.
5
Let r be ((-20)/6)/(((-4)/150)/2). Let w = 258 - r. Solve 4*h - 4 = w for h.
3
Let k(w) = -2*w**3 - 19*w**2 + 15*w + 50. Let m be k(-10). Suppose 2*c = -2*c + 32. Solve m = -9*o + c*o + 3 for o.
3
Let s be (0 - (1 + -1))*14/140*-2. Solve 16*p - 3 - 77 = s for p.
5
Suppose -62 = -5*q + 38. Suppose q = -2*k + 7*k. Suppose -2*c + 0*c + 14 = k*s, 5*c + 4*s = 23. Solve 0 = -0*y + c*y - 12 for y.
4
Suppose -4 - 2 = -2*f. Suppose 40*r - 105 = 33*r. Suppose 10*g - 6*g - y - r = 0, -y = -3*g + 11. Solve -d = -f*d - g for d.
-2
Let i(s) = -7*s - 22. Let g(u) = 2*u**2 - 8*u + 2. Let x be g(3). Let j be i(x). Let h be 1*3/j*0. Solve -5 = -h*m + m for m.
-5
Suppose 64*x - 616 = 50*x. Let k = 44 - x. Solve k*r = 3*r for r.
0
Let p = 10 + -8. Let m = 196 + -196. Suppose -112*c + 110*c + 12 = m. Solve -2*d = -p + c for d.
-2
Let m(t) = -t**2 - 22*t - 9. Let s be m(-11). Let d = -103 + s. Suppose -5*z + d + 11 = 0. Solve z*h + 0 = -4 for h.
-1
Suppose 5*o + 24 = h, -3*o + 6 = 18. Suppose 12*z = -3*x + 17*z + 33, 3*z - 15 = -h*x. Solve 5*i - x*i + 4 = 0 for i.
4
Let l = -181 - -192. Let o(x) = -2*x**3 + 21*x**2 + 11*x. Let m be o(l). Solve m*r - 2*r + 8 = 0 for r.
4
Let z be (-25)/(-4) - 3/(-4). Let q = -44 + 43. Let a(w) = 9*w**2 + w. Let h be a(q). Solve -z*f - h = -3*f for f.
-2
Suppose 0 = d - 2*d + 13*d. Solve -23*k + 33 + 13 = d for k.
2
Suppose 0*b - b + 4 = 0. Let l = -5542 - -5560. Suppose -2*w = -l + b. Solve 5*n - w = 3 for n.
2
Let j(i) = 175*i + 700. Let h be j(-4). Solve -9*k - 9 - 36 = h for k.
-5
Let l = 4 - 0. Let x(o) be the third derivative of -o**6/120 + 7*o**5/60 - o**4/6 + 2*o**3/3 + 47*o**2 - 1. Let s be x(6). Solve -l*f - s = -4 for f.
-3
Let b = -64 + 29. Let v be 148/14 + 5 + 195/b. Solve 5*s + 0 = -v for s.
-2
Let i be (-8)/(77/(-84) + (-12)/(-18)). Solve 0 = 2*t + 14*t - i for t.
2
Let g = -25 - -28. Suppose 5*w = -g*x + 12, 3*w + 2*w = 3*x - 12. Suppose w*k - 5*k = 20, 3*a + 11 = -5*k. Solve 0 = -a*s - 2 - 4 for s.
-2
Let w(q) = q**3 + 12*q**2 - 286*q + 74. Let d be w(-24). Solve 33*b = d - 224 for b.
-6
Suppose -c - 5*z = -28, 2*c - z + 2 = 3. Let s be 3 - (9 - -1 - c)*-1. Solve -5*i + 5 = s for i.
-1
Suppose 3*p + 6*x - 4*x + 84 = 0, 2*x = 3*p + 84. Let o be p/(-4) + (-21)/3. Solve o = -s - s for s.
0
Let u(b) = 47*b + 287. Let m be u(-5). Solve -39*s = -13*s - m for s.
2
Let s = 131 + -34. Let h = s + -78. Suppose h*i - 12 = 15*i. Solve 0 = -4*q + i*q + 4 for q.
4
Let d be (495/(-220))/((-1)/64). Suppose 67 - d = -11*p. Solve 35 - 7 = -p*w for w.
-4
Let l be (-12)/5 - -2 - (-8252)/(-20). Let k = l - -413. Suppose 2*d - 15 = -3*d. Solve d*