Let y be ((-132)/c - 5)*-35. Solve -4*q - y = 3*q for q.
-3
Let o(u) = 5*u - 35. Let a be o(8). Suppose a*l + 64 = 13*l. Suppose 5*w = 3*w - w. Solve 5*i - i - l = w for i.
2
Let s = 3653 + -3648. Let v(f) = 0*f**3 + 0 + 4 + 4*f**2 - f**3 - f. Let i be v(4). Solve i = 2*h - s - 1 for h.
3
Let t(m) = 68*m**3 + 2*m + 1. Let w be t(-1). Let g be 3*6/9 - (w - 1). Let d = -65 + g. Solve -d*j = -4*j - 12 for j.
4
Suppose -3*b = 4*d - 131, 18*b - 23*b = 5*d - 165. Solve 87 = 11*p + d for p.
5
Let q(i) = i**2 + 7*i - 23. Let u be q(-11). Solve u*p = 7*p + 14 for p.
1
Let i be (2 + -2)/((4 - 2)*1). Suppose 13 = -5*b + 33. Let x = -5 + 10. Solve h + b*h + x = i for h.
-1
Suppose 4*y = -4*b + 44, 3*y + 5*b - 39 = -0. Suppose 3*x = 0, 3*z - 24 = -x - 6. Let l = z + -2. Solve l*o - y = -0 for o.
2
Suppose -2*j + 8 = 4*b, 2*j - 5*b + 8 = -b. Solve j = 6*r - 48 + 30 for r.
3
Suppose 0 = 293*f - 322*f + 1160. Solve -6*z - f = 2*z for z.
-5
Let f = 23 + -8. Let n = 59700 + -59692. Solve 13*z = f*z - n for z.
4
Suppose -f + 2*t + 124 = 0, -2*f + 44 = 5*t - 132. Solve f = 7*y + 87 for y.
3
Let o(r) = -32*r**2 - 36*r - 46 - 97 - 9*r**3 + 8*r**3. Let i be o(-31). Solve 6*p - 12*p - i = 0 for p.
-2
Let q be (-16)/(-96)*(-1 - 1)*(-20 - -11). Solve -5*z + q = -7 for z.
2
Suppose 28*z - 23*z - 1060 = 0. Suppose -z = -25*u - 87. Solve 19 = u*y + 9 for y.
2
Suppose 14*t = -1214 + 3118. Solve -8*h - 160 = -t for h.
-3
Let x = 32 + -20. Let d be ((-4)/(-12))/(2/x). Suppose d*c + 24 = 3*o, 0 = -6*o + o + 4*c + 40. Solve 0 = s + o - 4 for s.
-4
Let k be (-2680)/(-50) - (-2)/5. Let q = -49 + k. Suppose -3*v + 4 = 3*w + 10, q*v = 5*w - 10. Solve w = -5*x - 1 - 4 for x.
-1
Suppose 0 = 543*u - 886*u. Solve -10*q - 40 = -u*q for q.
-4
Let t be 228/(-84) + (-2)/7. Let a be (-56)/(-21) + 2/t. Let c(z) = z**3 + 11*z**2 + 9*z - 10. Let b be c(-10). Solve -a*s - 8 + 0 = b for s.
-4
Let u be (-7)/28 - (-1 - (-65)/(-20)). Let z be 0/(8 - (14 - u)). Solve 5*o - o + 16 = z for o.
-4
Suppose u - 4*g + 6 = -4, -3*u - g = -9. Let h be -13 + 24 - 3/1. Solve 0*s - h = -u*s for s.
4
Suppose -132*h = 3*g - 134*h - 30, 5*g - 76 = -h. Solve -106 = g*v - 50 for v.
-4
Suppose -9 = -3*w - j, 6 = -3*w + j + 21. Let s = -7160 - -7169. Suppose -5 = -u - 0. Solve w = u*d + s for d.
-1
Let l = -2589 - -2592. Suppose 0 = 5*s + 4*d - 37, -3*s + 2*d + 22 = -s. Let m(g) = g**2 - 9*g + 4. Let r be m(s). Solve l*y - 1 = r*y for y.
-1
Let s = 18722 + -18672. Solve 90 = 5*r - s*r for r.
-2
Let h = -202 + 211. Let j be (-783)/(-45) + h/15. Solve 0 = -8*u + 2*u - j for u.
-3
Let y(u) = -6*u**3 - 11*u**2 - 8*u + 1. Let b be y(-2). Solve -b*k = -26*k - 30 for k.
-6
Let z = -93 - -97. Let c = 2255 + -2240. Solve 19 = -z*b + c for b.
-1
Let a(s) = s + 28. Let k be a(-9). Suppose -14*l + k*l = 0. Let x be (l/((-2)/(-2)))/(-2). Solve -n - 2 = -x for n.
-2
Let t be -8 - (-1 + 144) - -3. Let p = -108 - t. Solve -p = -5*k - 35 for k.
1
Suppose 14*c = -73 + 353. Solve -19*n + c*n = 1 for n.
1
Let g be (-8)/(-16)*(0 + 16/(-2)). Let q be g/12 + ((-440)/(-6))/4. Let j = 28 - q. Solve -4*c + 2 = -j for c.
3
Let r = -882 - -874. Let t be 91/(-1 - r)*4/4. Solve t = -9*l - 32 for l.
-5
Let h = -389 + 393. Suppose -5 = -d - 4*d. Suppose 0 = h*u + 5*y + d - 4, 2 = -u - 4*y. Solve o = -0*o + u for o.
2
Suppose -4*a = 2*i + 22, -a = i + 2*i + 8. Let t be ((-8)/(-2))/(-3 - a). Suppose 0 = -2*n, t*l = -n + 3*n + 4. Solve 0 = 3*q + 1 + l for q.
-1
Let s = 5 + -1. Let x(q) = -3*q**2 - 39*q + 3. Let w be x(-13). Suppose 6*l - 5*l - 3 = 2*u, -4*u + w = l. Solve -s*m - 6 + 14 = u for m.
2
Let y be (24/16)/((-8)/12 - (-35)/30). Solve y = -14*r - 11 for r.
-1
Suppose 3*q - 14 - 1 = 0. Suppose -619*w + a + 12 = -617*w, -4*w = 2*a - 64. Solve 12*k - q = w*k for k.
5
Suppose 52*k = 43*k + 144. Solve -k = 16*q - 0*q for q.
-1
Let x = 34 - 32. Suppose -z - 13 = -3*q, -3*q - x*z = -22 + 3. Solve 28*t = 23*t + q for t.
1
Let s(c) = 2*c - 2. Suppose -k + 2*a + 4 = -1, -3*k = 3*a + 3. Let i be s(k). Suppose i*n - n + 2 = 0. Solve 5 = -3*j + n*j for j.
-5
Suppose 0 = -3*p + 4*k + 372 - 195, -4*k - 295 = -5*p. Solve p + 17 = -19*z for z.
-4
Let m be (-4)/(-2) - (3 + -1). Let w be 2/(7/(483/6)). Let x(v) = 3*v**2 - 69*v + 9. Let b be x(w). Solve 3*l = -m*l - b for l.
-3
Let n be -1 - 2/7 - (-10)/35. Let f be (n/3)/((28/1212)/(-7)). Suppose -5*t + f = 1. Solve 5*u + t = -0*u for u.
-4
Let s(b) = 7*b**2 - 21*b - 153. Let j be s(7). Solve 286 = j*l + 28 for l.
6
Suppose 0 = 5*i - 3 - 12. Let j be ((-2)/6)/(1/(-9)). Suppose 11*y + 14*y = 26*y. Solve j*n + y + i = 0 for n.
-1
Let l be 64/(-48) + (-10)/(-3). Suppose -2*j - l = -4. Solve -y + 2*y = -j for y.
-1
Suppose -3*o - 4*o - 5*o = -2064. Solve -174*c - 4 = -o*c for c.
-2
Let v(b) = 8*b + 373. Let w be v(-45). Suppose -w*j + 48 = -5*j. Solve -j*p = -5*p for p.
0
Let a(t) = -16*t**2 - 117*t + 19. Let l be a(-7). Solve -63*i + l*i + 18 = 0 for i.
2
Let u(m) = 9*m**3 + m - 1. Let a(y) = -2*y + 3. Let v be a(1). Let n be u(v). Suppose 15 = -4*q + n*q. Solve q*t = t + 6 for t.
3
Suppose -2*k - 2*n = -188, -3*n - n - 16 = 0. Let m = 94 - k. Let c be m/(-10) + (5 - (-7)/(-5)). Solve 2*p + 0 = -c for p.
-2
Let f = 1 + -52. Let k = 52 + f. Suppose v = 1 + k. Solve v*o = -o for o.
0
Suppose -5*r + 200 = -i, -694*r + 689*r - 3*i + 220 = 0. Solve 13*u + 84 = r*u for u.
3
Let m = 3 + -8. Let x be -5 + 13 + -11 + 2. Let n be 2 + x*(5 + m). Solve h = -h + n for h.
1
Suppose -106*d - 12 = -108*d. Let n be 2/((-5)/(2 + 3)) + d. Solve 0 = -n*i + 4 + 12 for i.
4
Suppose -478 = -3*d - 19*d + 688. Solve 23*t + d = -16 for t.
-3
Let p(c) be the second derivative of -c**5/20 - c**4/3 + 5*c**3/3 + 19*c**2 - 97*c. Let m be p(-5). Solve -2*i - 7 = -m for i.
3
Suppose 20*b - 18 = 18*b. Suppose 5*d - 1 - 5 = 2*v, -2*d - b = 3*v. Solve -4*t + 0 + 12 = d for t.
3
Let z = -214 + 233. Suppose -3*k = 2*s + 6, 4*s - 4*k - z = 9. Let y be 17/3 + (-1)/(-3). Solve 3 = -s*d - y for d.
-3
Let c be (-10)/(-25) - (-51849)/315. Solve -c = -6*h - 117 for h.
8
Let q = 3397 - 3356. Solve -q = 7*m + 1 for m.
-6
Let j = -330 - -365. Solve 40*c = j*c - 15 for c.
-3
Suppose 21*a - 19*a = -5*o + 29, -2*o = -2*a + 8. Solve 13 = -o*r + 34 for r.
7
Suppose f - 5*a - 7 = 0, -2*f - 5*a - 19 + 18 = 0. Let k be 24/(-84)*(f - 9). Solve -7 = -o - k for o.
5
Suppose 165 = 2*n - n. Suppose 4*k - 2*b - 158 = 0, k = -4*k - 4*b + n. Let t = 41 - k. Solve t*q - 13 = -1 for q.
3
Suppose 0 = 5*a - 16*c - 227, 4*a - 339*c - 300 = -341*c. Solve 41*m + 52 = -a for m.
-3
Let g(k) = -174*k + 52. Let t be g(4). Let q = t - -649. Solve -3 = q*z - 2*z for z.
-1
Let k be 1 + -1 + 0 - -7. Suppose 3*t - 5*z = 35, t = -2*z - z - k. Solve t*q + 0 = -20 for q.
-4
Let x = 181 + -97. Suppose -267 = -3*u + 4*s, 5*s + 17 + 83 = u. Let t = u - x. Solve 0 = 3*v - 2 - t for v.
1
Let y(l) = 3*l + 33. Let b be y(-8). Let n(c) = b*c**3 - 9 - 8*c**3 - 14*c + 27 + 14*c**2. Let u be n(-15). Solve 2*j + u + 5 = 0 for j.
-4
Let f(g) = -g**3 + 56*g**2 - 47*g - 428. Let m be f(55). Solve 77 - 29 = -m*c for c.
-4
Let i(b) = -b - 3. Let f be i(-9). Suppose 5*s = -10, 2*q - f*q - 32 = -2*s. Let u be 0*3/q + 3. Solve 2*l - l - u = 0 for l.
3
Let u = 1306 - 1299. Solve -6*r - u - 5 = 0 for r.
-2
Let y(s) be the third derivative of s**5/60 + s**4/8 + s**3/6 - 11*s**2. Let n be y(-4). Suppose -n*d - 3*d = 0. Solve d*c = -c - 1 for c.
-1
Let r be (-12)/16 - 11/(-4). Suppose 0 = -r*c - 0 + 20. Let i be (25 - c)*1/3. Solve 0*u - u = i for u.
-5
Let m = 5296 + -5294. Suppose -2*d + 2 = n, -n + 0 = d - 5. Solve -2*j = m + n for j.
-5
Suppose -7 = 7*w - 21. Let f = -31 + 39. Let i be (2/f)/(3*(-7)/(-84)). Solve -w*u = i - 3 for u.
1
Suppose g + 6 = -15. Let o be (g - -1)*((-22)/(-10) + -3). Suppose 16 = -k - 0*k + 4*f, -5*k = 4*f - o. Solve 5*z + 4 + 1 = k for z.
-1
Let o(z) = z + 3. Let h be o(6). Let j(v) be the second derivative of -v**5/20 + 5*v**4/4 - 13*v**3/6 - 6*v**2 + 9*v. Let g be j(14). Solve -g*f + h = f for f.
3
Let h = 3448 + -3448. Solve -26*m + 33*m + 49 = h for m.
-7
Let u = -4509 + 4638. Solve 12 = 125*w - u*w for w.
-3
Let i = 13 + -21. Let l = i - -27. Suppose 0 = 16*m - l*m + 9. Solve m*x + x = -8 for x.
-2
Let f = 24 - 107. Let l = 87 + f. Suppose -5*c + l*c - m = 0, -4*c - 5*m = 4. Solve