. Let y = 363 - 351. Solve 2 = -x*q + y for q.
2
Let k = 3 + -1. Suppose 3*r = 2*f + 9, 4*r - 2 - 10 = -5*f. Let c = f + k. Solve o + c = -o for o.
-1
Suppose 4*y - 5 = 11. Let k be -85*9/((-90)/(-4)). Let b = k - -54. Solve -s - y*s = -b for s.
4
Suppose 2*t - 50 = 4*b, 0*t = -2*b - t - 23. Let r be 3/12 + (-141)/b. Suppose -5*p - 3*w = -1, 7*w = 3*w - r. Solve -p*j = -8 - 2 for j.
5
Let c(s) be the first derivative of s**2/2 + 18*s - 9. Let j = 15 + -31. Let t be c(j). Solve t*y = 4 + 6 for y.
5
Suppose 0 = 5*v + 7 - 22. Suppose y = -v*y + 16. Solve -y*t + 9*t = 20 for t.
4
Suppose 0 = -4*j - 35 - 1. Let d be 0 + 9 + 1 + 1. Let c = d + j. Solve -c = -b - 0*b for b.
2
Suppose 3*i = -4*v - 180 - 4, -5*i = 2*v + 288. Let l = i - -76. Solve y - 5*y = l for y.
-5
Let f(k) = 7*k - 106. Let w be f(24). Solve -67*y = -w*y - 10 for y.
2
Suppose -7*r + 4*r + 4*r = 0. Solve -8*t + r = 8 for t.
-1
Let u(p) = 14*p + 218. Let c be u(-14). Solve 0 = c*v + 63 + 25 for v.
-4
Suppose 8*m = 3*m + 65. Let w(b) = 2*b**2 - 12*b + 18. Let z be w(4). Solve 0 = z*a + m - 5 for a.
-4
Suppose 0 = -18*f + 12*f + 18. Suppose -4*k + 27 = -1. Solve -s - k = -f for s.
-4
Let i = 9 - 0. Let l be 17/3 + (-6)/i. Solve l + 10 = 5*g for g.
3
Suppose -4*q = -3*q + 2, 0 = u - 4*q - 13. Let d(i) = u*i - 6*i + 2*i - 2. Let h be d(12). Solve 0*l = 2*l + h for l.
-5
Let i(u) = u + 28. Let y be i(2). Solve 0 = -5*b - y + 45 for b.
3
Let b = -134 - -138. Solve -5*k + 3*k = -b for k.
2
Suppose 4*x = 2*v + 28, 4*x + 4 - 26 = -v. Suppose 4*c + 3*d = x*d + 23, 0 = 3*c - d - 16. Solve -c*q = -q + 4 for q.
-1
Suppose 47*c + 50 = 52*c. Solve 4*h + 12 = c*h for h.
2
Let x(d) = d**2 - 4*d + 2. Let y be x(6). Let b be (-7)/(y/8) + 9. Let a(w) = 4*w - 16. Let u be a(b). Solve u*z + z = -10 for z.
-2
Suppose -76*u + 122*u - 2576 = 0. Solve -57*m = -u*m - 3 for m.
3
Let p = -27 - -111. Let y = -78 + p. Solve m - 2 = -y for m.
-4
Let z(v) = -v - 1. Suppose -6*w - 40 = -2*w. Let s be z(w). Suppose -3*c - 15 = -2*q - 8*c, 3*q + s = 3*c. Solve q = -4*m - 0 - 8 for m.
-2
Let z be (-1 + (-26)/8)*-44. Let t be (2*11)/((-51)/6 + 9). Let d be z/t + (-1)/4. Solve -8*c + d*c = 0 for c.
0
Let y be (-3 - (3 + -7)) + 0. Suppose 0 = -j + 5 + y. Suppose 8*i = 2*i - 0*i. Solve -l - l - j = i for l.
-3
Let d = 680 + -674. Solve -36 = -d*v - 3*v for v.
4
Let m(a) = -3*a**3 - 3*a**2 + 5*a + 7. Let c be m(-2). Suppose 3*k = 2*y - 5 - 1, -3*y = 3*k - c. Solve j = y*j for j.
0
Suppose 45 = 4*f + f. Let o = 28 - 25. Suppose 0 = -h - k - o, 15 = h + 4*h - k. Solve -h*y + f = -1 for y.
5
Let h(c) = 3*c**2 + 2*c + 1. Let v be h(-1). Suppose 3*r + v = -1. Let n = 6 + r. Solve -n*b + 16 - 1 = 0 for b.
3
Let t(a) be the second derivative of a**4/12 + 4*a**3/3 - 7*a**2/2 - 27*a. Let k be t(-9). Solve -i = -k*i + 1 for i.
1
Let g be (-6)/9 + (-94)/(-6). Solve -10*x + g*x = 0 for x.
0
Let w(u) = u**2 - 8*u + 3*u - 4*u - 27. Let q be w(12). Solve -2*h - q - 1 = 0 for h.
-5
Suppose -3*h = -3*b + 12, 2*b + 9 = -5*h - 4. Solve 2*d - b = 3*d for d.
-1
Let q = 403 - 403. Solve q = m + 3*m - 4 for m.
1
Let g(h) = -4*h - 7. Let r(t) = -t**2 - 7*t + 13. Let n be r(-9). Let o be g(n). Solve 0 = -4*f + o + 3 for f.
4
Suppose 0 = -114*g + 126*g - 144. Solve -g*u + 8*u = 12 for u.
-3
Suppose w - 4 = -5*z + 27, 3 = z. Solve -40 = 8*y - w for y.
-3
Suppose -5*o = -6*o - 12. Let b(p) = 2*p**2 + 23*p + 1. Let m be b(o). Solve -3*d - m = -1 for d.
-4
Let c be -1*(3/(-6))/(3/114). Let b = 19 - c. Solve 3*j + b = 3 for j.
1
Let x(r) = -2*r**2 + 3*r + 12. Let b be x(3). Suppose d + d + 4 = 3*v, -2*d = v - 4. Suppose k = v*p - 5 + 10, 0 = -b*k + 2*p + 11. Solve j = k*j + 8 for j.
-4
Let q be (-84)/588 - 1/(-7). Solve q*a + a + 5*a = 0 for a.
0
Suppose 2*a - 3*a + 2*j = 14, 0 = -a + 3*j - 14. Let c = a + 26. Let v(y) = y**3 - y**2 - 4*y - 2. Let k be v(-1). Solve k = -4*n + c for n.
3
Suppose -2 = -4*z + 3*a + 6, -2*z + 4*a + 4 = 0. Solve z*k - 35 = 9*k for k.
-5
Let l be (-1)/(-11)*339 - 26/(-143). Solve -l*p = -36*p + 10 for p.
2
Suppose -281 = -21*x + 97. Solve 0 = -3*w - 3 + x for w.
5
Let g(x) be the first derivative of -x**2 + 7/3*x**3 - 4 - 2*x. Let b be g(2). Solve -10 + b = -3*c for c.
-4
Suppose 0 = v + 3*v - 244. Let j = -61 + v. Solve -h + 3*h + 6 = j for h.
-3
Let p = -912 + 933. Solve -p + 33 = -3*k for k.
-4
Let l = 25 + -23. Suppose 46 - 171 = -3*c - 5*f, l*c + 5*f - 85 = 0. Suppose -z - z = -c. Solve z = -5*p + p for p.
-5
Suppose -6*i = -8*i + 4. Let n(k) = -k**2 + 6*k - 4. Let m be n(5). Let r = 3 - m. Solve i*v = v + r for v.
2
Let d(i) be the first derivative of i**2/2 - 2*i + 11. Let c be d(-10). Let h be (c/(-36))/(2/42). Solve -2*r = -h - 3 for r.
5
Suppose 0 = -5*p + 70. Let f = p - 7. Suppose -3*w + 4*w = f. Solve -4*u = -w*u for u.
0
Let r = -132 + 290. Let b = -154 + r. Solve -1 = u + b for u.
-5
Suppose -i + 12 = -5*r, -4 = -i + 2*r + 2. Let h be i + 0 + (-2 + 1)*-1. Solve 3 + 6 = h*a for a.
3
Suppose -t + 3 - 2 = 0, 0 = -2*n - 4*t + 4. Suppose -o + n - 4 = 0. Let l be -8*(o + 3/2). Solve -l = h - 6*h for h.
4
Let v = 9 - 6. Suppose -11*i = -14 - 30. Solve b = -v*b + i for b.
1
Let w = 311 - 309. Solve 0 = -w*g + 22 - 16 for g.
3
Let u be ((-4)/(-5))/((-8)/(-20)). Let x be 3 - -23 - (0 + 1). Suppose 0 = 5*a - 4*l - x, l + 2*l = 0. Solve u = -a*f + 22 for f.
4
Let c(f) = f + 4. Let u be c(-9). Let q be -1 - (u + 0 + 2). Solve 0*t = q*t for t.
0
Suppose -2*s - 23 + 9 = -5*x, -3*x = 2*s - 2. Suppose 3*d = z, -2*z - x*d = -d - 7. Let v = 20 + -12. Solve 0 = z*w - w + v for w.
-4
Let j = 192 - 186. Solve -j*p + 2*p - 12 = 0 for p.
-3
Suppose -9 = -5*n + 3*l, -n = 3*l - 4 - 5. Let k be (-10)/(-15) + 50/6. Suppose k*z = 4*z + 20. Solve x = -n*x + z for x.
1
Let q be 4/(-3) - 312/(-72). Solve -q*y - 2 = -y for y.
-1
Suppose 5*p - 4 = 3*i, 15 = 2*p + p. Let u(t) = 3*t**2 - 2*t**2 + 215 - 219 - 6*t. Let a be u(i). Solve -a*y - 8 = 4 for y.
-4
Suppose -63 = 5*y - 83. Suppose 2*k - 6*k = 0. Suppose k*g = -5*g + 80. Solve -g - 4 = -y*s for s.
5
Suppose -148 = -j - 19. Solve -6 = 126*z - j*z for z.
2
Let n(f) = 4*f + 3*f - f**2 + 2*f**2 - 5. Let c be n(-8). Solve b = c*b for b.
0
Let c be (0 + 3)*58/87. Solve c*f + 16 = 8 for f.
-4
Suppose -5*o = -15 - 0. Suppose o - 1 = z. Suppose -1 = -k + z. Solve 3*i - k + 0 = 0 for i.
1
Let f = 25 - 23. Suppose 4*h = 2*g + 20, -5*g = -f*g + 5*h - 25. Solve g = -w - w - 6 for w.
-3
Let v(t) = -t**3 + 14*t**2 + 15*t + 2. Let l be v(15). Suppose 0 = -0*a - 2*a + 3*c + 20, 0 = l*a + 5*c + 12. Solve -2*j + a = -0 for j.
2
Suppose 16 = 4*b, 7*d + 4*b = 4*d + 52. Suppose 0 = 5*z - y - 27, -3*y + d = 18. Suppose 0*u = -2*u + 4. Solve -u - 8 = -z*w for w.
2
Suppose 6 - 2 = 3*c - 2*w, c = 5*w - 3. Solve 6*s - c*s = 16 for s.
4
Let k = 50 + -44. Suppose k*q = 8*q. Suppose -2*p - 9 = -4*s - 29, 0 = 4*p + 2*s. Solve q*z = z - p for z.
2
Suppose -189 + 54 = -193*f + 166*f. Let o(p) = -5*p - 3. Let l be -6*1/(-4)*-2. Let q be o(l). Solve -q - 8 = f*d for d.
-4
Let c = -51 - -65. Solve 6*u - 44 = -c for u.
5
Let y(z) = -z**3 - 2. Let u be 0 + -3 + 0 + 1. Let a be y(u). Solve -20 = -p + a*p for p.
-4
Suppose 6*p + 1 - 55 = 0. Solve -p*u - 15 = -4*u for u.
-3
Suppose 12 = -2*h - h + 3*i, 5*h = -3*i + 12. Suppose k - 7 = -h. Let f = k - 3. Solve -1 + f = -a for a.
-3
Let i(h) = -h**3 - 24*h**2 - 138*h - 21. Let g be i(-15). Solve -12 = 12*u + g for u.
-3
Let d(y) = -y**2 - 14*y - 33. Let o be d(-14). Let z = -25 - o. Solve -2*x = 2*x + z for x.
-2
Let i be 1 - (4 - (-8)/(-2)). Suppose 2*v - 9 = -i. Solve v*r + 7 = -13 for r.
-5
Let y(n) = n**2 - 5*n - 6. Let a be y(6). Suppose a = -c + 2*c - 4. Suppose -7 + 51 = c*z + 4*j, -19 = -4*z + j. Solve -i - z + 1 = 0 for i.
-5
Let g be (-7)/(21/5)*-3 + 1. Let x(k) = k**3 + k**2 - k + 2. Let l be x(0). Solve g = 2*i + l for i.
2
Suppose 6*u = -17 + 41. Suppose -3 = -2*n + q - 1, -u = 4*n + 2*q. Let w = n + 5. Solve -2*b - 13 + w = 0 for b.
-4
Let u(d) = 2 - 43*d**2 - 48*d**2 + 92*d**2 - 5*d. Let y be u(6). Solve -3*p = y + 7 for p.
-5
Suppose 81*n = 83*n - 10. Solve 5*m = 6*m - n for m.
5
Let k be -18 - -23 - 1*2. Solve 0 = -k*s - 2*s - 25 for s.
-5
Suppose 7*m - 16 = 5. Let s be (1/m)/((-14)/(-294)). Solve s*k - 15 = 2*k for k.
3
Suppose 2*t + 6*t = 160. Let o = t + -17. 