 Solve q + 15 = -b*q for q.
-5
Suppose 5*p - 5*a - 15 = -0*a, 3*p - 9 = -2*a. Suppose 3*b + 15 = -2*i, -p*b - 14 - 1 = 0. Let l = -259 - -263. Solve -u - l*u = i for u.
0
Suppose 0 = y - 3, -4*i - 3*y + 8 = -13. Suppose -i*f + 4 + 5 = 0. Let t = -3 - -11. Solve f*o - t*o = -20 for o.
4
Let h(b) = 3*b + 2. Let k be 56/12 + 4/(-6). Let u be (3 + k)*1 - 1. Let v be h(u). Solve 2*i + v = 7*i for i.
4
Let q(o) = 62*o - 434. Let h be q(7). Solve h = -5*v - 2 + 27 for v.
5
Let w(r) = r**2 - r - 4. Let o be w(-2). Suppose o*g = -0*g + 10. Suppose -2*x + 7 = -g. Solve -3*v - x = -0*v for v.
-2
Suppose 5*s + 151 = -49. Let n = 40 + s. Suppose -t - 33 = -3*t + 5*o, -4*t + 3*o + 31 = n. Solve u = 2*u - t for u.
4
Suppose 6 = 6*d - 3*d - 4*k, 5*d - 10 = 4*k. Let r = d - 2. Let t be -4*(44/16 - 2) - -3. Solve -2*x + t*x + 6 = r for x.
3
Let k(n) = -4*n**3 + 3. Let g be k(-2). Let a = 38 - g. Solve a = -4*c + 19 for c.
4
Let g = -12 - -16. Suppose -4*b - 28 = -g. Let p be (-1 + (-3)/b)*0. Solve p*w + 3*w - 15 = 0 for w.
5
Let x(m) be the first derivative of m**2/2 + 9*m + 5. Let r be x(-9). Solve -z + 0*z = r for z.
0
Suppose 0 = 4*v + 4, l - 3 - 1 = 2*v. Solve 7*s = -l*s + 45 for s.
5
Suppose -5*y + 1269 = 44. Suppose 0 = -8*j + 3*j - y. Let s be (4/14)/((-7)/j). Solve -3*u - s*u - 20 = 0 for u.
-4
Let a = -947 - -951. Solve -2*f - 2*f + a = 0 for f.
1
Suppose 4 = 3*g + 10. Let h be (0/16)/(1 + 2 + g). Solve 5 = -5*l - h*l for l.
-1
Let q = -256 + 136. Let k = -106 - q. Solve -k = -5*f - 4 for f.
2
Suppose -4*v - 16 = -4*i, 4*v - 3*v + 16 = 3*i. Suppose r - 37 = -3*c, 0 = -3*r + 4*r - 1. Let w be -6*5/((-40)/c). Solve -6 = i*b - w*b for b.
2
Let k = -4 + 8. Suppose 24*s = 20*s - 4*m + 12, 2*s + m = 8. Solve -i - k = -s*i for i.
1
Let g(d) = d**2 - 7*d - 28. Let j be g(9). Let l(x) = -4*x - 24. Let p be l(j). Solve 11*y = 7*y - p for y.
-4
Suppose 4*l - h + 2 = 1, -l + h = 1. Solve m + 1 + l = 0 for m.
-1
Suppose -4*d = -v + 10, 2*v + 3*d = -1 - 1. Suppose -5*o + 82 = -v*p, -5*o + 0*p + 81 = -p. Solve 0 = -3*r - r + o for r.
4
Suppose -64 = 10*t - 6*t. Let v be (-8 + t)*(-2)/3. Let q be v/(-3)*9/(-12). Solve -g = g + q for g.
-2
Suppose j + 2*d + 2 = -d, 2*d = -2. Let u be j - (6 + -3)/(-3). Suppose 14*z = 11*z + 24. Solve 2*n - z = -u*n for n.
2
Let q be (-6)/(-2)*-1 + 39. Let w be (-120)/(-16)*q/10. Let l be (18/10)/(w/90). Solve -l*o + 8 = -4*o for o.
4
Suppose -4*r = x - 7, 4*x + 4*r + 19 = x. Let z(f) = 2*f + 27. Let d be z(x). Solve d + 9 = -2*n for n.
-5
Suppose 2*l - 12 + 2 = 0. Suppose -2*h - 1 = -l, -4*n - h = -18. Let j = 24 - 24. Solve j = v + n*v for v.
0
Let g = 19 - 17. Suppose 0 = -2*i + 5*q - 5, 19 = 2*i + q + g*q. Suppose 2*p + i*z + 16 = 6*p, 5*p - 61 = -4*z. Solve 1 = 5*y - p for y.
2
Let j = 6 + -2. Suppose b = -2 + j. Solve -b*n - 3 - 3 = 0 for n.
-3
Let p(x) = -x**3 + 11*x**2 + 9*x + 15. Let z be p(12). Let a = z + 36. Solve -3*w + 0 + a = 0 for w.
5
Suppose 2*b + 57 = s + 51, 14 = s + 2*b. Solve -s*z - 2*z = -12 for z.
1
Let d(q) be the first derivative of q**4/4 + q**3/3 - 2*q**2 - 3*q - 2. Let i be d(-2). Solve t + i = -1 for t.
-2
Suppose 8*a - 4*o - 226 = 6*a, 5*o - 535 = -5*a. Let z = 111 - a. Solve -z*v = -1 + 5 for v.
-2
Suppose 0 = -o + 4*o. Suppose -3*g = 2*r - 5, 4*g + 3*r - 5 + o = 0. Solve -5*n + g = -5 for n.
2
Let j be -6 + (-2 - -3) - -15. Let l be (140/(-8))/(-5) + 2/(-4). Solve -n + l*n + j = 0 for n.
-5
Suppose 4*g + 4 = 2*t - 10, 0 = -5*g + 4*t - 22. Let b(c) be the first derivative of -c**2 - 2*c + 125. Let y be b(g). Solve -9 = y*m + m for m.
-3
Let f = 174 - 166. Solve f*a = a for a.
0
Let t(v) = -v**3 - 1. Let i(z) = -2*z**3 + 4*z**2 + 3*z + 5. Let j(q) = -i(q) + 3*t(q). Let r be j(-4). Solve 4 = r*n - 3*n for n.
4
Let v(w) = -2*w + 17. Let m be v(12). Let p be ((-6)/8)/(m/28). Solve -p*c + 2 = -c for c.
1
Suppose 14*s - 36 = 6. Solve 0 = -3*a - 3 - s for a.
-2
Let d(g) = -g**2 + 43. Suppose -4*h - 18 = -2*b - b, 2*b - 12 = -4*h. Let f be d(b). Solve f = -3*o + 1 for o.
-2
Let f be (-6)/4*48/18. Let u = f + 4. Solve 0*c + 2*c - 4 = u for c.
2
Let k(a) = 2*a + 5. Let w be k(-4). Let b(n) = -2*n - 5. Let f be b(w). Solve -q = -4 + f for q.
3
Let q(v) = 6*v**3 - 3*v - 9*v**2 - 5*v**3 + 3*v. Let z be q(9). Let t be 21/28 - 10/(-8). Solve -t*m - m = z for m.
0
Let z = 317 + -315. Solve -z = f + 3 for f.
-5
Let k(t) = -t**2 + 29*t + 45. Let a be k(29). Solve -4*g - 5*g + a = 0 for g.
5
Suppose -q - 3*i + 33 = 0, 11*i - 7*i - 20 = 0. Solve -q = 5*l - 3 for l.
-3
Let p(k) = 2*k**2 + 23*k - 47. Let w be p(-14). Solve -27*o + 20 = -w*o for o.
5
Suppose 2*t = 50 - 34. Solve -h = 9 - t for h.
-1
Suppose -4*s = -s - 9. Suppose -s*v = -2*f - 16, 2*v + f = -f - 6. Solve -v*u - 2 - 4 = 0 for u.
-3
Suppose 0 = -5*j - 187 + 517. Solve -5*l + 56 - j = 0 for l.
-2
Let f = 342 + -322. Solve 4*m + 0*m = f for m.
5
Suppose -1518 = -0*v - 22*v. Solve 71 - v = -2*j for j.
-1
Let o(a) = 13*a. Let d be o(1). Suppose -d*x = -12*x - 3. Solve 0*k - 15 = x*k for k.
-5
Let f = -14 - -26. Solve f*v + 5 = 7*v for v.
-1
Let n(t) = -t**2 - t. Let c(h) = -2*h**3 + 5*h**2 + 4*h - 2. Let q(l) = c(l) + 3*n(l). Let j be q(-2). Let d = -387 + 392. Solve j = -d*u - 0 for u.
-4
Let y(l) = -5*l + 79. Let u be y(11). Solve -u = -7*s + s for s.
4
Suppose 0 = -3*k - 4*x + 32, -2*k + 0*x + 5*x = 17. Suppose 5*g - 129 = -k*z - 14, 5*z + g = 149. Solve 0 = 5*m - z + 5 for m.
5
Let v be 274/18 - (-22)/(-99). Suppose -3*z = 5*k - v, 0 = -4*k - 5*z - 3 + 2. Solve -3*s + k + 3 = 0 for s.
3
Let c = 67 + -95. Let x = 32 + c. Solve 2 = 5*k - x*k for k.
2
Suppose -4*v + 6*v + 33 = -5*h, -4*h - 20 = 0. Suppose -5*j - 5 = 0, 2*u = j - 15 - 28. Let b be v/u - (-371)/77. Solve 20 = b*r + 5 for r.
3
Suppose -5*l - 5 = 0, -7*u - 357 = -11*u + 5*l. Solve 89*q - u*q = -2 for q.
-2
Let l be 123/(-12)*2*(3 + -1). Let c = 46 + l. Solve -c*z - 6 = -21 for z.
3
Suppose -5*p = 4*z + 21 - 0, 2*p + 11 = z. Suppose 0 = i - 0*i - z, -35 = -3*b + i. Suppose 0 = -0*d + 4*d - 2*x + 8, -b = -3*x. Solve -9 = -d*l + 3*l for l.
-3
Let p(t) = t - 3. Let z be p(1). Let b be (-2)/(z/(-4)*(-2 + 0)). Solve b*k + 2 = -0 for k.
-1
Suppose 16*b - 3*q + 15 = 15*b, 4*b - 15 = -3*q. Solve b = -10*j + 11 + 9 for j.
2
Let i(c) = -21*c - 396. Let q be i(-19). Solve 10*n - q = -3 for n.
0
Let u be (15/(-6))/(25/(-60)). Let a be ((-4)/5)/(u/(-30)). Solve a*z - 6 = 6*z for z.
-3
Let b(y) = 7*y + 4. Let d(l) = -10*l - 6. Let i(u) = -7*b(u) - 5*d(u). Let h be i(-6). Let m be (h/(-6))/((-7)/(-21)). Solve 0 = -m*q - 8 for q.
-4
Suppose 0 = -0*b - 2*b + 10. Suppose 3 = -4*t - m, 2*m + 9 = -b*t - m. Solve 3*i + 3 + 6 = t for i.
-3
Let o(t) = 3*t + 13. Let l be o(-3). Suppose -5*s + 39 = -2*c, 0*c + 34 = l*s - 3*c. Solve s*p - 3*p + 4 = 0 for p.
-1
Let h = -7 - -10. Suppose -3*r = 4*r - 14. Solve r*l = 7 + h for l.
5
Let i be (-150)/(-18) - 1/3. Let u = 27 + -7. Solve -i*d + 3*d = u for d.
-4
Let r be (-30)/135 - 1/(36/(-3968)). Solve -10*d - 12*d - r = 0 for d.
-5
Let o(t) = 6*t + 10. Let x(a) = -1. Let n(d) = -o(d) - 8*x(d). Suppose 8*c + 4 = 4*c. Let f be n(c). Solve f*p - 15 = p for p.
5
Suppose 0 = -2*l - 4*q + 6, -5*q = -5*l + 2*l - 2. Suppose 0 = -3*a - l + 10. Let j be (-5)/((-5)/a) - -2. Solve j = 4*y - 7 for y.
3
Let a(o) = o**3 - 5*o**2 - 7*o + 4. Let j be a(6). Suppose -4*v = 2*y + 28, y - 20 = 5*y - 4*v. Let b be (-5)/j*y/(-5). Solve b*d - 2 = 18 for d.
5
Let f(o) be the second derivative of 5*o**3/6 - 4*o**2 + 9*o. Let i be f(4). Solve 2*n - i = -2*n for n.
3
Suppose 0 = 276*s - 259*s - 68. Solve s*x = -106 + 86 for x.
-5
Suppose 3*x = -3*f - 3, -2*f = -0*f + 3*x + 3. Let u be (-7)/(-21)*((3 - f) + -3). Solve u = -5*n + 6*n + 1 for n.
-1
Suppose -180 = -26*q + 28. Solve 11 = -19*v - q for v.
-1
Suppose 83*b = 109*b. Solve 0*u + 7*u + 35 = b for u.
-5
Let x(i) = -3*i**3 + i**2 + i + 1. Let b(u) = -u**3 - u**2 + 3*u - 2. Let j be b(1). Let h be x(j). Solve 2*n + h = 6*n for n.
1
Let h be (12/(-1) - 0)*-1. Let s be (2 - 5)/((-6)/4). Suppose -v = s*v - h. Solve o = v*o for o.
0
Let m be ((-24)/(-4))/(((-16)/3)/(-8)). Solve 0 = m*g - 4*g - 25 for g.
5
Let p(z) = -z**3 + 16*z**2 - 2*z + 12. Let h be p(16). Let o be (-132)/h - 2/(-5). Solve b + o = 9 for b.
2
Suppose 16*x - 13*x - 36 = 3*u, -2*x + 4*u + 24