2
Let s(v) = -78*v - 843. Let a be s(-11). Solve -44*c = a*c + 295 for c.
-5
Suppose 170*d = 171*d - 1. Let x be -5*((-48)/(-15))/2. Let i be (-5 - x)*(12/(-9))/(-4). Solve -d - i = -t for t.
2
Let m be 315/42*432/20. Solve -m*y + 20 = -167*y for y.
-4
Let o be 2/1 + (4 - 3). Suppose 4*u - 9*u - 2*l + 11 = 0, -o*u + 1 = 4*l. Suppose -4*t = -5*n - 24, 8 = u*t - n - 10. Solve -3*y + 0 = -t for y.
2
Let h(y) = y**2 - 449*y + 48. Let i be h(0). Solve 26 = i*g - 22*g for g.
1
Let q = 5 - 2. Suppose 3*v + 1 - 12 = -5*w, 0 = 2*v - 4*w. Let m(r) = 4*r**3 - 34*r + 5. Let a be m(0). Solve a*t = q*t + v for t.
1
Let b(o) = 2*o**2 + 14*o - 237. Let r be b(-15). Let k(v) = -2*v - 4. Let z be k(-4). Let l be z/18 + 88/9. Solve l = r*p - p for p.
5
Suppose 54 = -20*v + 154. Suppose 0 = v*p - 12*p + 63. Solve -3*l + p - 3 = 0 for l.
2
Let c = 38 + -168. Suppose 3*q + 11*q + 4*q - 2376 = 0. Let i = q + c. Solve 4 = i*t - t for t.
4
Suppose 43*s - 38*s - 135 = 0. Suppose -5*t + s = -2*t - 3*o, -5*t = o - 15. Let l be 3 + (-1 - t) + 4. Solve 0*p = 2*p - l for p.
1
Suppose -7*n = -4*r - 6*n - 51, 2*r = 3*n - 33. Let q be (r/3)/(-4) - (-2)/(-2). Let k be (q - -4) + -3*16/(-12). Solve o + k = -o for o.
-4
Let s(p) = -6*p + 25. Let a be s(-13). Let r = 105 - a. Solve -5*v = r + 3 for v.
-1
Let k(c) = -c**3 - 2*c**2 - 3*c - 1. Let m be k(-2). Let v(j) = -j**2 + 7*j - 7. Let s be v(5). Let b be ((-6)/s)/(30/(-105)). Solve -b = m*p + 8 for p.
-3
Let h(k) = -k**3 + 3*k**2 + 10*k + 3. Suppose -11*j + 3 = -52. Let z be h(j). Solve -z*x - 9 = -0 for x.
-3
Suppose 16*u - 13*u = 0. Suppose -12 = 2*l + 2*k + k, -3*k = 5*l + 12. Suppose v - 1 = l, 4*x = -0*x + 5*v - 5. Solve x = -u*g - 4*g - 12 for g.
-3
Let g = -10209 - -10209. Solve g = -6*a - 15*a - 42 for a.
-2
Let n(k) = -2*k - 3. Let y be n(-2). Let l be y/(18/(-42)*(-1)/3). Suppose 13*f - 16 = 5*f. Solve f*p - l = 1 for p.
4
Suppose -56 = -2*c - 12*c. Let t be 6*(1*c - 98/28). Solve -9 = t*x - 0 for x.
-3
Let s = -2412 + 2433. Suppose 1 - s = -5*w, -2*o - 3*w = -18. Let t(m) = -m**2 - 7*m - 2. Let b be t(-6). Solve -b*k - 19 = -o for k.
-4
Let n be (2 - -10)/((-22)/(-99)). Let o = n + -34. Let d(r) = -2*r**2 + 17*r + 12. Let h be d(9). Solve -h*k = -7*k + o for k.
5
Let u = -5 + 0. Let s be (u/(-4))/(((-9)/(-8))/9). Let r(g) = -2*g + 22. Let w be r(s). Solve -w*k - 1 - 1 = 0 for k.
-1
Let q(t) = -t**3 - 13*t**2 - 13*t - 4. Let s be (23 + -21)/((-1)/(-13)). Suppose -s - 10 = 3*k. Let w be q(k). Solve -12 - w = -4*a for a.
5
Let v(h) = -10*h**2 - 19*h - 5. Let x(k) = 7*k**2 + 13*k + 3. Let j(f) = 5*v(f) + 7*x(f). Let b be j(-2). Suppose b = -2*t + 8 - 2. Solve -t*w - 1 = 8 for w.
-3
Suppose 3*h + 2*o = 9, 3*o - 6 = -19*h + 17*h. Suppose -2*i - h = -9. Solve 0 = b - i*b - 8 for b.
-4
Let d be 4*(13/4 + -2). Suppose 0 = -2*f + 2*t + 12, d*t + 20 = 3*f + 4. Solve -9 = -4*k + f for k.
4
Let a = 1 + 3. Let q = -10 + 11. Suppose -4*u - 4*d + 9 = -19, q = -u - 5*d. Solve -n + u = -a*n for n.
-3
Let p be (-104)/(-3) + 1 + 22/(-33). Suppose -2*b + 4*t + 2 = 0, 5*b + 6*t = t + p. Suppose 10 + 2 = -3*n + 4*q, -5*n - 5*q = -15. Solve -b*i + 0*i = n for i.
0
Let u be (-266)/63 - -4 - (-296)/36. Let x(y) = -y + 2. Let p be x(0). Suppose u = 6*w + p*w. Solve -l - 1 = w for l.
-2
Let f(h) = h + 1. Let w(p) = -7*p**3 + p - 2. Let x be w(1). Let s be f(x). Let q be 1*2/s + 32/14. Solve 0*a = -q*a - 10 for a.
-5
Suppose -2*a = 4*a - 72. Let m be 20/a*2*6/4. Suppose t = g - 8, -t = -m*g + 22 - 2. Solve -1 = g*i - 7 for i.
2
Let k(v) = -v**3 - 3*v**2 + 4*v + 6. Let h be k(-4). Let u be (-12175)/(-175) - (-4)/(-7). Suppose -6*n + u = 57. Solve -h = -n*t + 4 for t.
5
Suppose -4*q + 263 = m, -9*m = -2*q - 5*m + 100. Solve 18*k = -62 - q for k.
-7
Let i = 19777 - 19757. Solve -62 = i*n - 82 for n.
1
Let p = -8302 + 8873. Solve 564*h - p*h = 0 for h.
0
Suppose k - z = 243 - 230, 0 = 4*k + 3*z - 24. Solve -q + k = 8 for q.
1
Let l(j) be the second derivative of 23*j**4/12 + 2*j**3/3 + j**2/2 - 7*j. Let b be l(-2). Suppose 6*t = 4*s + t - b, -s + 40 = 5*t. Solve 0*n = -5*n + s for n.
5
Let u(y) = -7*y**2 + 41*y - 42. Let a(d) = -6*d**2 + 40*d - 45. Let s(r) = 5*a(r) - 4*u(r). Let j be s(16). Solve 27 = -5*w + j for w.
-4
Let r be 4 + (-68)/16 + (-13)/(-4). Suppose -l + 63 = -4*c, -r*c + 5 + 1 = 0. Let i = l + -68. Solve -3*g + i = -0*g for g.
1
Suppose 30*g = -59*g + 89. Let b(a) = a**3 - 7*a**2 + 7*a + 3. Let y be b(6). Solve -y = 2*x - g for x.
-4
Let r be (0/(-3))/(-4 + 5 + -3). Suppose -2 = j, 4*t + j + j = r. Let i(o) = 4*o**3 - 3*o**2 + o. Let p be i(t). Solve -5 = p*f - f for f.
-5
Let n be 1*-4*(-1749)/636. Solve -4*q - n = 1 for q.
-3
Let f = -24280 + 24328. Solve -13 = -35*o - f for o.
-1
Let j = 169 - 167. Suppose -2*z - 2*i - 14 = -50, 0 = -j*i + 4. Solve 0 = 8*h - 4*h - z for h.
4
Suppose -31 + 27 = 2*y, 4 = o - 2*y. Solve o = 33*w + 37 + 128 for w.
-5
Suppose -126*g + 5*t - 214 = -129*g, 4*g = 5*t + 332. Solve 4*v + 35*v + g = 0 for v.
-2
Let z(m) = -m**3 + 14*m**2 - 37*m + 46. Let s be z(11). Let h = 1 + 1. Suppose -r + 2*y = -5, 3*y + 25 = h*r + s*y. Solve 0 = -0*a + 3*a - r for a.
5
Let t be 0/((-6)/(-1) - 4)*1. Let y(h) = -19*h + 3. Let u be y(t). Solve j - u*j = -2 for j.
1
Let o(d) = d**2 - 15*d - 6. Let k be o(14). Let b be (-25)/(-20) - 95/k. Solve -b*u = -7*u for u.
0
Suppose -8*x = 136 - 16. Let w be (36/x - -1)*(-5)/1. Suppose -o = -w*o. Solve o = -2*v + 2 + 8 for v.
5
Let w = 62888 + -62880. Suppose 2*j - 6*j + 36 = 0. Suppose -2*i = i - j. Solve -u = -i*u + w for u.
4
Let j(u) = 13*u + 1039. Let o be j(-71). Solve -37*b = -8*b + o for b.
-4
Let n be (-18984)/(-1243)*11/2. Solve -60 - n = 18*l for l.
-8
Let t be (25 - 33) + 8 + 5. Solve t*p - 9*p = 12 for p.
-3
Let o(q) = -2*q**3 + q + 5. Let b(n) = -n**3 + n + 3. Let s(k) = 5*b(k) - 3*o(k). Let c be s(-4). Let l be (-1 + (-5)/(-2))/((-18)/c). Solve -l = 3*r - 0 for r.
-2
Let q be 5/(-3) - (-126)/27. Suppose -3*j = i - 9, 0 = -5*j + 6*j + 5*i - q. Solve -j*c - 4 = c for c.
-1
Suppose -y - 278 = -10*y - 2*m, 3*m + 108 = 4*y. Solve -34*t = -y*t + 20 for t.
-5
Let r(m) = m - 8. Suppose -5*t + 66 - 21 = 0. Let o be 18/(t*4/24). Let q be r(o). Solve q*n - n = 9 for n.
3
Let q(b) be the second derivative of b**3 + 21*b**2 + 92*b. Let t be q(-6). Solve 2*w = t*w + 8 for w.
-2
Let l be 10/(-4)*638/55. Let i = l - -51. Solve i*o - 20 = 17*o for o.
4
Let w be (-1 - (-16)/24) + (32/(-6))/(-4). Let i be 3/(-15) - (-16)/5. Solve q = i + w for q.
4
Let j(l) = l**2 + l + 8. Let d be j(-4). Let n(c) = c**2 - 22*c + 47. Let b be n(d). Solve -3*a = -b*a + 20 for a.
5
Suppose 3*j + 21 = 3*m, 12 = 5*m - j - 35. Suppose 0 = 2*g - k - 2, -7*g - m = -2*g + 5*k. Solve -10 = -g*h - 2*h for h.
5
Suppose 3*f + 16 = -53. Let b(g) = g**2 + 26*g + 22. Let o be b(f). Let r = -43 - o. Solve 3*v = 5*v + r for v.
-2
Suppose 0 = -2*t - l + 48 + 1, -5*l - 25 = 0. Let x be (22/(-5))/(2/10). Let d = t + x. Solve -2*k - d = -13 for k.
4
Let c be (0 - -2)*(-201)/(-6). Suppose -p + 17 = -5*q, 68*p - c*p - 5 = q. Solve -p + 1 = m for m.
-1
Suppose -14*q + 10*q = 0. Let r be -2*(-1 + (-4)/8). Suppose q = -r*w + 18 - 6. Solve -w*g = -5*g - 2 for g.
-2
Let n = 5207 - 4034. Solve -n*c + 24 = -1167*c for c.
4
Let q = -1541 - -1648. Solve 107 = 11*o + q for o.
0
Suppose -436 = -12*j + 104. Suppose -5*z = -14*z + j. Solve -2*i + 3 = -z for i.
4
Suppose -2*k + k - 32 = 5*f, -4*f - 37 = -3*k. Let a(p) = -3*p**3 - 21*p**2 + 2*p + 16. Let y be a(f). Solve -5 = -y*q + 1 for q.
3
Suppose -v - 817 = 4*s - 858, 32 = 3*s + 2*v. Solve s = -15*f + 5*f for f.
-1
Let b = -97 + 3. Let q = -90 - b. Suppose 2*y + 24 = y - 5*x, 3*y + 7 = -2*x. Solve -q = d - y for d.
-3
Let g(t) = 84*t**2 - 4*t + 2. Let z be g(1). Suppose z*d - 16 = 78*d. Solve 4*x + 0 - d = 0 for x.
1
Let u(k) = -7*k**2 + 171*k + 88. Let m be u(24). Solve 175 - m = 5*b for b.
3
Let j = 7167 - 7114. Solve -188 = -6*f + j*f for f.
-4
Suppose -5*f + 6 = 1. Let n be -2 + 9/(2 + f) + 3. Let m be (3/6)/(2/n). Solve 0 = -3*j + 5 + m for j.
2
Let l be (-20)/(-15) + (-44)/(-12) + 83. Solve l*m - 80*m + 32 = 0 for m.
-4
Suppose -2*w + 158*s + 542 = 156*s, 0 = -3*w + s + 821. Solve -35*r = 20*r + w for r.
-5
Let a(d) be the third derivative of d**6/120 + d**5/3 - d**4/6 + d**3