 - c for q.
1
Let m(f) = f**3 - 2*f**2 - 5*f + 6. Let c be m(3). Suppose 150*q - 158 - 118 = 12*q. Solve 10*b - q - 8 = c for b.
1
Suppose -5*o = 2*u - 24, -4*u + 0 + 22 = -3*o. Let n(z) = z + 7. Let j be n(u). Let p be 7/j + 1 + (-3)/2. Solve 0 = -3*m - p + 9 for m.
3
Let q = 9 + 3. Let h(c) = 703*c**3 - 355*c**3 + 12*c**2 + 2 - 346*c**3 - 9*c + 36 - 3. Let a be h(-7). Solve a = -5*f + q - 2 for f.
2
Let l be (70 + -1)*(-15)/9. Let y be (-6)/8 - l/20. Suppose 0 = 2*b + 3*b + 25, y*s = 4*b + 85. Solve 0 = -4*a - s - 7 for a.
-5
Let a = -72 - -76. Suppose 5*f = -l + 10, -a*f = -2*l - f + 46. Suppose 6*m = m + l. Solve s + s = -m for s.
-2
Let b = -14 + 266. Let w = b + -247. Solve -w*q - 24 = q for q.
-4
Let w(g) be the third derivative of 7/2*g**3 + 0 - 4/15*g**5 + 7/12*g**4 + 2*g**2 + 1/120*g**6 + 0*g. Let j be w(15). Solve j*f = 5*f + 2 for f.
2
Suppose -323 = -4*d - 5*f + 4*f, 3*d - 239 = -4*f. Solve -87*x + d*x - 18 = 0 for x.
-3
Suppose 4*m + 2*o = 24, 0 = -5*o - 8 - 12. Solve 33*n = -25 - m for n.
-1
Let r(i) = 19*i**3 - 5*i**2 + i - 1. Let u be r(2). Let m = -119 + u. Solve -3*c - m = -5 for c.
-3
Let w(x) = -5*x - 8. Let o be w(-2). Suppose 3*h + 7 = -5*c - 8, -o*h + c + 3 = 0. Let j be (h + 1/3)/((-12)/(-36)). Solve -i - j = -4 for i.
3
Let m be 1 + 1 + 23 + -25. Suppose -1 = w + 3*k, w + m*w + 2*k = 0. Let o be (-15)/w*(-25 - -23). Solve q = 6*q + o for q.
-3
Let b be -2 - (6/(-2) - 2). Suppose -m + b*i + 5 = -0*i, 4*i + 20 = 4*m. Suppose m*u - 3*y = -5*y - 2, -2*u + 5*y + 5 = 0. Solve u = r - 0*r + 4 for r.
-4
Let i be 2 + 5 + (-24)/6. Suppose -i*f - f - 8 = -2*s, -5*s + 20 = 5*f. Suppose f = -5*a - 2*a. Solve a*k - 15 = -5*k for k.
3
Suppose 4*a - 72 = 4*d, -155*d + 157*d - 9 = -3*a. Solve 93 = 12*n + a for n.
7
Suppose 0 = 5*j + 4*d - 47 - 22, -2*j - 4*d + 30 = 0. Suppose j*i = -8*i. Solve -5*w + i*w + 25 = 0 for w.
5
Let t = -2044 - -2043. Let y be 4*6*t/(-6). Suppose 3*c = -5*x + 12, -4*c + 26 - 10 = -3*x. Solve x*i = -y*i + 16 for i.
4
Let w(s) = -s + 11. Let h be w(6). Suppose 6*f = -178 + 226. Suppose -4*z - 8 = -2*o, 0*o + 4*z = -o - f. Solve -20 = -h*m - o for m.
4
Let a(p) = 2*p**2 - 3*p + 3. Suppose 0 = 36*h - 31*h - 75. Suppose h*v = 5*v + 20. Let q be a(v). Solve 5 + 5 = q*o for o.
2
Let h be (-428)/535*(-4 - 1). Suppose 2*u + 24 = 6*u. Solve -h*p + 2*p + u = 0 for p.
3
Let z be 1/(-2) - -1 - 2977/26. Let w be 4/(-12) - (-6 + z/18). Solve 0 = 9*a - w*a + 6 for a.
2
Let l(o) = 10 + 24*o + o**2 - 44*o + 17*o. Let s be l(0). Suppose -z + 3 = -2*z - k, 3*k = -2*z - s. Solve -z = 2*m - 3 for m.
1
Let f(g) be the third derivative of -g**6/120 + 11*g**5/20 + g**4/8 - 29*g**3/2 + 138*g**2. Let b be f(33). Solve b*u = 2*u + 50 for u.
5
Let z(g) = -62*g + 23. Let x be (-10)/45 + 8/36. Let a be z(x). Solve a = -5*s + 8 for s.
-3
Suppose -2*s - 3 = -5*v, 4*s = -5*v + 9*s. Let b(i) = 1 - 4*i**2 - 3*i + 0 + 7*i**2 + i**2 + 3*i**3. Let z be b(v). Solve 1 + z = -3*w for w.
-2
Suppose 0*n - 11 = -n + q, 5*q = 2*n - 37. Suppose 0 = -216*l + 218*l - n. Solve -l*w - 4 = -19 for w.
5
Let n = 29 - -91. Solve 18*s - n = -30 for s.
5
Suppose 7*k = 9*k - 4. Suppose -7*a + 75 = -k*a. Suppose -a = -3*h - 0*h. Solve h - 3 = d for d.
2
Let a(h) be the second derivative of h**3/2 - 14*h**2 + h. Let l be a(10). Solve 8 = -l*o + 6*o for o.
2
Let x(q) = 3*q + 23. Suppose 2*f + 2*t - 136 = -0*t, 5*t + 263 = 4*f. Let v = f - 73. Let c be x(v). Solve -z + 2*z = -c for z.
-5
Let p(k) = 4*k - 27. Let s be p(7). Let v be 122/(-8) + -1*s/(-4). Let t = v - -19. Solve -2*u + t = -0*u for u.
2
Let c be (2 - 1 - -1)*2. Suppose -8*u = -57*u + 63 + 35. Suppose 5*n + u*z = 110, c*z = -4*n + 49 + 51. Solve l - n = -4*l for l.
4
Let z(o) = o**2 - 2*o - 4. Let j = -189 + 193. Let q be z(j). Solve -11 + 27 = -q*h for h.
-4
Suppose 501*s = 453*s + 144. Solve -439 = -s*y - 424 for y.
5
Let l(m) = -m**3 - 13*m**2 - 21*m + 11. Let d be l(-11). Let w(f) = 2*f**3 + f**2 + f + 6. Let x be w(d). Solve 8*s = x*s + 8 for s.
4
Let f be (1 + (-1)/2)*(-1 - -1). Let y be ((-3)/6*f)/(24/12). Solve y = 4*d + 14 - 30 for d.
4
Let d(y) = 8 + 3 + 16*y**3 + 3*y - 4 - 15*y**3 - 3 + 5*y**2. Let l be -3 - (-1 + 1) - 1. Let m be d(l). Solve 0 = m*x - 6*x + 4 for x.
-2
Suppose 4*b + 3*d - 2*d - 23 = 0, -5*b - d = -30. Let c(z) = z**2 - 8*z + 15. Let w be c(9). Solve y - w = b*y for y.
-4
Suppose 7 = a - 9. Let v(f) be the third derivative of -f**5/60 + 5*f**4/8 + 8*f**3/3 + 24*f**2. Let o be v(a). Solve 3 + o = -3*k for k.
-1
Suppose -3*m = -u + 2 + 1, -m - 29 = -5*u. Let s be (u/10)/((-12)/(-180)). Solve s = 4*c + 25 for c.
-4
Let w(u) = -8 - u**2 - 1 - 26*u - 11 + 38*u. Let o be w(8). Solve 5*s = 9*s + o for s.
-3
Suppose 0 = 4*d - 3*a - 76 - 112, -2*a = -3*d + 142. Solve 6 = 47*g - d*g for g.
-2
Suppose -48*f = -39*f + 1539. Let h = f - -181. Let k be (-6)/(-27) + (-129)/(-27). Solve h + 10 = k*s for s.
4
Suppose -4*o + 219 = -5*f, -7*f + 25 = -2*f. Solve 10*d + o - 41 = 0 for d.
-2
Let u(t) = -t**2 + 8*t - 7. Let q = 11 + -9. Suppose -f + 5*f + 5*o - 8 = 0, 0 = -5*f + q*o + 43. Let m be u(f). Solve 2*g + 4 + 0 = m for g.
-2
Let f = -156 - -219. Let d = f + -61. Suppose -5*v + 14 = 2*u, -v = -5*v + u + 19. Solve g + v = d*g for g.
4
Let w(z) = 131*z - 8775. Let d be w(67). Solve -6 = -4*c + d for c.
2
Suppose -1859*b + 1913*b = 1578 - 174. Solve -b*f + 184 = -49*f for f.
-8
Let y = 1498 + -1482. Solve -63*o + 67*o + y = 0 for o.
-4
Let h = -20797 - -20816. Solve -h*l = -83*l for l.
0
Let f be ((-15)/6)/((-7)/14). Suppose i - a - 242 = 0, 125 = -4*i + 2*a + 1089. Suppose 23*c = 8*c + i. Solve -v + f*v = c for v.
4
Let y(t) = -4*t - 32. Let i be y(-12). Suppose -i*q = -9*q - 21. Solve q*s + 3 = 4*s for s.
3
Let v = -1525 + 1525. Solve v = 14*h + 55 - 13 for h.
-3
Let j be 41*272/32 - (-21)/(-14). Solve 0 = -346*f + j*f + 2 for f.
-2
Let n = 201 - 199. Suppose 3*s - 3*u - 76 = -n*u, 3*u - 15 = 0. Solve m + s = 28 for m.
1
Let o = -29 - -38. Suppose 2*k - 5*g - 22 = -o*g, -2*g = -4. Solve k*r + 3*r - 40 = 0 for r.
4
Let t(h) be the second derivative of 5*h**4/6 - h**3/3 + h**2/2 - 20*h. Let f be t(1). Suppose 0 = -2*p + f - 3. Solve p*q + 1 = -2 for q.
-1
Suppose c = -4*j + 49, -4*c - 57 = -5*j - c. Solve -46*b + 44*b = j for b.
-6
Suppose 5*l + 3*a + 336 = 6*a, -56 = l + 5*a. Let t = l + 88. Suppose -5 = -9*o + t. Solve -f = 2 - o for f.
1
Suppose 2*p + 2*n - 164 = 0, -3*n - 53 = -p + 37. Let j be 0 - (12/(-66) - p/22). Suppose -r + 4 + 0 = l, j*r - 5*l - 7 = 0. Solve r*w = -2*w for w.
0
Let a be (((-500)/15)/(-5))/((-2)/(-12)). Suppose 4*k = 8*k - a. Suppose 0 = -5*l + 25, 3*n + k = 7*n + 2*l. Solve -3*v + n = 9 for v.
-3
Let j be ((-5)/((-50)/8))/(6/(-15)). Let c be (-6 - j - -2) + 10. Solve 10 = 3*y - c*y for y.
-2
Let z be ((-1)/2)/((-55)/990). Suppose 0*k + 2*k - 6 = -3*j, -3*k + 3*j = -z. Solve 0 = k*n - 0*n + 6 for n.
-2
Suppose -q - 2*q + 2*p = -166, -3*q + 5*p = -172. Solve q - 186 = -33*t for t.
4
Let n(g) = -g**3 - 2*g**2 + 3*g + 5. Let l be n(0). Suppose 10 = -l*u + 2*w, -6*w + 3*w = -2*u - 15. Solve u = -4*d + 25 - 5 for d.
5
Let n be -1 - (1 - (0 + -2)) - -3. Let f be 3*((-12)/(-24))/(n/(-2)). Solve -2*b = f*b for b.
0
Let x = 10860 + -10703. Solve x = 35*q + 17 for q.
4
Let s = 4926 - 4920. Solve 8*l - 4 = s*l for l.
2
Suppose 5*x + 5*s = -30, -2*x + 3*s + 10 = 3*x. Let b(t) = -4*t**3 - 2*t**2 - t. Let k be b(x). Let q(w) = 4*w. Let y be q(k). Solve -3*o = o + y for o.
-3
Suppose 3*j = -15, -4*y = -8*y - 4*j + 1100. Let i = 281 - y. Let r(m) = m**3 - 10*m**2 + 10*m - 4. Let d be r(9). Solve q + i = d for q.
4
Let x(a) = -a**3 + 7*a**2 - 4*a + 14. Let g be x(6). Suppose d = g*d. Solve m + d = 3 for m.
3
Let r = -2024 - -2066. Solve r = -8*o + 82 for o.
5
Let r be (6/(252/(-30)))/(2/(-14)). Let j(c) = c**3 - 2*c**2 - 16*c + 11. Let h be j(r). Solve -z = h*z + 28 for z.
-4
Let p(k) = 121*k - 531. Let s be p(6). Solve -203*f + s*f + 40 = 0 for f.
5
Suppose 12*z = -17193 + 17277. Solve 0 = 6*n - 13*n - z for n.
-1
Let v be (0/(14/7))/1. Let n(d) = -10*d - 12. Let w be n(-3). Solve v*p + w = -6*p for p.
-3
Let z = 318 + -314. Let b(j) = j**2 - 30*j + 5. Let v be b(30). Solve -v = 3*r - z*r for r.
5
Suppose d + 147 = -z + 3*z, -z + 4*d = -84. Suppose -2*p - 173 = -4*p - 5*c, 2*p + 