10 = 30. Suppose 3*b = 2*b + 5*u + 5, b - u - 1 = 0. Let v = p + b. Solve -5*t - v = -t for t.
-1
Let u(m) = -3*m**2 - 10*m - 1. Let x be u(-3). Solve 0 = x*t + 2 + 4 for t.
-3
Let b(g) = -6 + 19 + 18 - 3*g. Let d be b(7). Solve 3*a = a + d for a.
5
Let d(t) = -t**2 + 9*t - 4. Let u be d(8). Suppose 2*j = -2*j + p + 11, -u*j = 5*p + 7. Solve -2*k = -4*k + j for k.
1
Suppose -2*j - 125 + 111 = 0. Let l = j - -10. Solve 0 = -8*o + l*o for o.
0
Let m be -1*-10*11/22. Solve 8 = m*k + 3 for k.
1
Let z(t) = 30 - 52 - t - 5*t + 0*t. Let x be z(-4). Solve -l = -x*l for l.
0
Let j(t) = -17*t + 13. Let h be j(-16). Let y = -111 + h. Let p be y/21 - 6/21. Solve -2*s = 2*s + p for s.
-2
Let g be 2 + 2*-2 + 2. Let q = 2354 + -2354. Solve q = 3*n - g*n + 12 for n.
-4
Let j(u) = u**3 + 8*u**2 + 5*u - 10. Let a be j(-7). Solve a*w = 7*w for w.
0
Suppose -231*o + 239*o = 80. Solve o = -0*q + 2*q for q.
5
Let b(i) = -140*i + 284. Let f be b(2). Solve f = 9*k + 13 for k.
-1
Suppose 0 = 123*m - 101*m - 44. Let k be (-3)/9 - 3/(-9). Solve k = t - m + 1 for t.
1
Suppose h + 5*f = 6 - 21, -2*h = 2*f - 2. Let s be (-3 - -4) + 5/h. Solve -s = r - 1 for r.
-1
Let g(p) = p**2 - 4*p + 4. Let a be g(4). Suppose -5*b + a*b = -8*b. Solve b = -4*y + 5*y + 2 for y.
-2
Let n(a) = -a**2 + 5*a - 2. Let m be n(2). Suppose 2*s + 10 = 0, -q + 31 = -2*s + m. Solve 3 = 4*o - q for o.
5
Suppose -x + 0*x - t + 90 = 0, -4*x + 348 = -2*t. Let k = x + -82. Solve -w = w - k for w.
3
Suppose -52*n - 136 = -1124. Solve n*s = 16*s - 9 for s.
-3
Let h(t) = -7*t**3 + 5*t**2 + 8*t + 4. Let o(m) = -13*m**3 + 9*m**2 + 15*m + 7. Let l(a) = -11*h(a) + 6*o(a). Let p be l(-3). Solve -5 - p = 5*v for v.
-3
Let s be (49 - -3)*(-2)/(-8). Let p = -11 + s. Suppose 2*u = 3*u + 4*r - 11, -2*r = p. Solve 2*o + u = -o for o.
-5
Suppose -n - 4 = -2*a + 7, 3*a - n - 14 = 0. Let o be 1*(-1 + 18/a). Suppose -2*c - o = -17. Solve -l + 20 = -c*l for l.
-4
Let c = 5 - -2. Suppose -2*m = -11 + c. Solve 1 = q - m*q for q.
-1
Suppose 879 - 39 = 8*y. Suppose -19*f = -y + 10. Solve f*o - 14 = 1 for o.
3
Let d = 17 - 17. Suppose -3*r + 3 = d, 3*z + 4 = -5*r + 21. Solve -4*q = -8*q - z for q.
-1
Let s be ((-220)/(-77))/(2/21). Suppose -26*i - 20 = -s*i. Solve i*w = 2 + 3 for w.
1
Suppose 12*r = -6*r + 10*r. Solve 2*w + 10 - 12 = r for w.
1
Let r(x) = -2*x**3 - 8*x**2 - 5*x - 1. Let z be r(-4). Suppose 0 = 5*n - 64 + z. Solve -4*y = -y + n for y.
-3
Let m(z) = 2*z**3 - 42*z**2 + 42*z. Let o be m(20). Solve 0 = 2*n - 10*n - o for n.
-5
Let m be 1/(-4) - (-49)/4. Let v(i) = -i**3 + 4*i**2 + 9*i - 32. Let k be v(3). Solve -k*g = -g - m for g.
4
Let f be (-10)/(0 - (-8)/(-12)). Suppose 2*u + f = 21. Let c(b) = -3*b - 2. Let a be c(-2). Solve -u*d = -a*d + 2 for d.
2
Suppose -5*y + 184 + 16 = 0. Suppose 0 = 3*h + 7 - y. Let c = h + -9. Solve c = -q - 2 for q.
-4
Let x(f) = 2 + 164*f + f**2 - 1 - 166*f. Let m be x(2). Solve 2*l - 9 = -m for l.
4
Let n be ((-8)/6)/((12/9)/(-4)). Solve 0 = -6*l - n - 14 for l.
-3
Suppose 0 = -2*q + 4*o + 16, -5*o = 4*q - 2*q + 20. Let i be q/(-6)*-2*3/(-12). Solve i = 4*t - 5 + 13 for t.
-2
Let x be -2 + 6/1 + 4. Suppose a - x = 5*w, -4*w - 2 = a - 1. Suppose -2*v + 33 = 5*z, a*v + 2*v - 5 = 3*z. Solve -5*c = -0*c + z for c.
-1
Suppose 7*p - 3*p = -3*l - 85, -4*p = l + 15. Suppose 4*b - 3*a + 131 = 0, 3*b + 2*b = -4*a - 187. Let u = b - l. Solve u*t + 5 = 5*t for t.
1
Let b(y) = y**2 - 3*y + 3. Let v be b(3). Suppose v*g = -0*g - 9. Let l be (-2)/((6/19)/g). Solve 6 + l = 5*x for x.
5
Let m(d) = -17*d**2 - 186*d + 16. Let t be m(-11). Let q(z) be the third derivative of z**4/8 + z**3/2 - z**2. Let w be q(t). Solve 4*l = -2 + w for l.
4
Let o = 7 + 33. Let d(u) = -40 + o + u. Let w be d(6). Solve -w*k + 15 = -k for k.
3
Let h(y) = -y**2 - 10*y - 4. Let x be h(-8). Suppose 16 = m + 3*q + 7, -3*m + 27 = -4*q. Let r = x - m. Solve -4 = -5*l + r*l for l.
2
Let j(y) = -2*y - 2. Let z be j(-1). Suppose 3*u - 8*u + 25 = z. Solve -2*a = -7*a + u for a.
1
Let c be (5*-1)/(-26 + 25). Solve -23 = -c*r - 13 for r.
2
Suppose -3*b - k = -41, -2*b + 2*k + 0*k = -22. Let f = b + -8. Suppose 0 = -4*j - 17 + 29. Solve -2*u = -j*u + f for u.
5
Suppose 46 = 4*c - 6. Let v = 17 - c. Solve v*f = -f - 25 for f.
-5
Suppose -5*r + k + 21 = 0, -2*r - 2*r + k + 16 = 0. Solve 0 = -i - 4 + r for i.
1
Suppose 5*d + 5*m = 10, -13 = -5*d - 3*m + 3. Let t(h) = h**2 - 7*h + 6. Let c be t(7). Suppose -c*b = -d*b. Solve -5*w = -b + 10 for w.
-2
Let i be (-27)/(-9) - (-1 + 4). Suppose 51 = 5*y - k, 3*y + 2*k + 12 - 40 = i. Let x be (-1)/(-5) + 58/y. Solve -19 = -5*r + x for r.
5
Suppose -2*m + 100 = 3*v, 5 = v - 0*v - 5*m. Suppose 4*g - 3*w - 52 = 0, 3*g - 14 - v = w. Solve 0*k = 4*k + g for k.
-4
Let h(y) = -4*y + 1 - 7 - 2. Let x be h(-6). Let k = -1226 + 1229. Solve -k*u - u - x = 0 for u.
-4
Suppose 3*d + 3*p - 12 = 0, 0*p + 4*p - 16 = 0. Solve d = 6*h - 38 + 20 for h.
3
Let l = 8 - -31. Let u = -36 + l. Solve -4 + u = -w for w.
1
Let f(b) = b - 3. Let j be f(5). Let r be (96/36)/(1/15). Let t be r - 34 - (0 + 1). Solve 0 = 3*q - j*q - t for q.
5
Let q = -11 + 15. Suppose -137*l = -199*l + 124. Solve l = -2*f - q for f.
-3
Let x = 2156 - 2156. Solve x = -5*j - 0*j - 20 for j.
-4
Suppose 45*p - 27*p - 90 = 0. Let s be (-1 - 0)*1 + 42. Solve -s = p*g - 16 for g.
-5
Let d(l) = -6*l + 7. Let c be d(-3). Solve c*r - 28*r + 12 = 0 for r.
4
Let x(t) = -4*t**3 - t**2 - 14*t - 26. Let i be x(-2). Solve 10*c - i = 16*c for c.
-5
Let u = 53 - 44. Suppose 6*s = 2*s - 24. Let x = -2 - s. Solve f - u = x*f for f.
-3
Let m(i) = 2*i**3 + 82*i**2 + 80*i + 16. Let u be m(-40). Solve -2*q + u = 2*q for q.
4
Let r = 533 - 507. Solve -4*y - 6 = -r for y.
5
Suppose 52*v - 176 = 41*v. Solve -l - v = 3*l for l.
-4
Let h be 0 - (2/(-6))/(7/84). Solve -7*q + 3 = -h*q for q.
1
Let n = 157 - 154. Solve n*m - 4 = -m for m.
1
Suppose 35 = 2*w + 15. Suppose m + 2*m = 5*k - w, -3*k = -5*m - 6. Solve k*a = a for a.
0
Let v(i) = -70*i + 52. Let o be v(-1). Solve -o + 125 = 3*n for n.
1
Let m(v) = 14*v + 112. Let h be m(-7). Solve -1 = 5*t + h for t.
-3
Let h(v) = v + 6. Suppose 0 = -5*t - 46 + 16. Let r be h(t). Let u = -16 + 21. Solve r*w = u*w - 20 for w.
4
Suppose 4 = 2*p - 0*p. Suppose -9 = -p*j + 13. Suppose -j = -3*o + 1. Solve 0 = 3*r + o + 11 for r.
-5
Suppose -4*w = -4*x - 4, -4*x + w + 4 + 1 = 0. Solve x*t = -6*t for t.
0
Let j = -16 - -20. Suppose j*o = -0*o. Solve i + 0 + 1 = o for i.
-1
Let h(m) = m + 6. Suppose -8 = -3*a - 20. Let v be h(a). Let c be (-1)/(-3) - v/6. Solve 0 = -c*i + 2*i for i.
0
Suppose 0 = -11*a + 104 - 60. Let g = -31 + 83. Suppose p + p - g = 0. Solve a*z - 6 = -p for z.
-5
Suppose 34*j = 233 + 39. Solve j*v + 2 = 6*v for v.
-1
Suppose -8*n - 23*n = 0. Solve n = 5*q - 0*q for q.
0
Let i(h) = 8*h**2 - 5*h + 8. Let b be i(2). Suppose 0 = -47*t + 52*t - b. Solve -k = k - t for k.
3
Let f(k) = -3*k**3 - 24*k**2 + 41*k - 7. Let l(i) = i**3 + 8*i**2 - 14*i + 2. Let t(s) = 6*f(s) + 17*l(s). Let m be t(-9). Solve -m = -x - 4 for x.
-3
Let y(u) = 4*u**2 - 58*u - 20. Let j be y(15). Solve 9*m - j*m + 5 = 0 for m.
5
Suppose -n + 6*p = 3*p - 2, 3*n + 5*p + 8 = 0. Let q(c) = c**3 + 5*c**2 - 8*c - 7. Let h be q(-6). Let l be 2/2*n + h. Solve l = -5*s - 1 for s.
-1
Let u(w) = w**2 + 4*w + 10. Let t be u(-4). Let m be -1 + -1 + -12 + 1. Let s = -7 - m. Solve -s*c - t = -c for c.
-2
Let d(b) = b**3 + 3*b**2 + 5. Let i be d(-3). Suppose i*h - 16 = 4*h. Solve 14*r = 10*r - h for r.
-4
Let c be (-64)/(-24)*12/8. Solve -6*x = -c*x + 10 for x.
-5
Let p be (-2784)/(-60) - (-4)/(-10). Let i = -37 + p. Solve 11 = -5*f - i for f.
-4
Let p(j) = j**2 + 5*j + 6. Let u be p(-4). Suppose u*b - 1 - 5 = 0. Suppose 0 + 8 = 4*l. Solve b*c - 5 = -l*c for c.
1
Let c(z) = -z**3 + 8*z**2 + 7*z - 2. Let a be c(9). Let g be 50/a*(-16)/10. Let n(b) = -b**3 + 8*b**2 + 8*b + 12. Let s be n(9). Solve s = g*j - 1 for j.
1
Let g be 1 + (1 + 1 - 22/(-11)). Let l(v) = -v + 10. Let b be l(g). Solve 26 = -b*m + 1 for m.
-5
Let a(c) = 3*c + 5. Let j be 23/4 - (-6)/(-8). Let g be a(j). Suppose -x = 3*x - g. Solve -6*i + i - x = 0 for i.
-1
Suppose -12 + 4 = -2*r. Suppose -t + 6 = 4*q - 5*q, -2*q - 42 = -5*t. Solve 0 = -r*g - t - 2 for g.
-3
Suppose o + x = 4*x + 4, 3*o - 8 = 5*x