4
Suppose 4*s - 6*s = -o - 47, -74 = -3*s - 2*o. Suppose 5*b + s = 8*b. Suppose u + 3*l = b*l + 20, 0 = -5*u - 3*l - 12. Solve 3*a + 4 + 2 = u for a.
-2
Suppose i + 0*u = u + 11, -4*i - 3*u = -16. Suppose -4*v + 12 = -5*n, -i - 8 = -5*v - 3*n. Solve -10 = v*r - r for r.
-5
Let b be (1/((-10)/36))/((-21)/140). Suppose -5*n - 23 = -p, -2*n - n = -4*p + b. Let j = -7 + 7. Solve j = 2*m - p*m + 4 for m.
4
Let f = 89 + -41. Suppose -f*t = -51*t + 24. Solve -2*u = -0*u - t for u.
4
Let s(o) = -3*o. Let z be s(-1). Suppose 0 = -9*a + 18. Let h(n) = 4*n - 8. Let q be h(a). Solve -z = c - q*c for c.
-3
Suppose -46*i = -305 - 201. Solve i*c = 3*c + 16 for c.
2
Let g(m) = m**3 + 12*m**2 + 9*m - 14. Let k be g(-11). Suppose k*h - 3*h = 0. Suppose -v - 5 = 2*c, 0 = -3*c - v - h*v - 5. Solve -2*d + 8 = -c*d for d.
4
Let z = -29 + 37. Suppose -9 = -z*q + 15. Solve -q*l = l for l.
0
Suppose r = 4*r + 5*g - 48, -3*g = 3*r - 48. Suppose -6*l = -2*l - r. Let n be l/(-12) + 20/6. Solve -1 = c + n for c.
-4
Let y = -1 - -1. Suppose 4*k = -7*v + 3*v, 5*v + k = 8. Suppose 0 = 2*x - 2*q - 2 - 4, -v*q - 9 = -3*x. Solve x*p - 5 - 4 = y for p.
3
Let q be ((-18)/14 - -1)*42/(-3). Suppose -g + 6 = -5. Suppose -4*f = -20, -3*f + q + g = 5*j. Solve j = -c + 6*c - 25 for c.
5
Let a be 8/20 + 103/5. Let z = 25 - a. Suppose -z = -5*i + 6. Solve -3 = -i*p + 1 for p.
2
Let r = 202 + -173. Solve -j - 25 = -r for j.
4
Suppose -v - 24 = -2*m, -2*m - 7*v + 34 = -3*v. Let d be (0/2 + 0)/1. Solve d = 5*z - 7 - m for z.
4
Suppose u + 22 = 33. Solve 4*v = u + 5 for v.
4
Suppose -3*x - 79 = -4*x + 5*o, 2*x - 164 = 4*o. Let a = 40 - x. Let r be (-8)/a + (-6)/33. Solve -2*t = -r*t for t.
0
Suppose 15 = -3*v, d - 4*v = -3*d + 320. Suppose 4*y - 9*y = -d. Solve -5*w + 2*w = y for w.
-5
Let q be (-3)/12 + 1/4. Suppose -3*d + 10*d = -70. Let g = q - d. Solve s + s = -g for s.
-5
Let b(x) = -x**2 + 8*x + 22. Let i be b(10). Solve -10 + 4 = -i*d for d.
3
Suppose 3*d + 0 = 2*v + 3, 5*v + d = 1. Suppose 2*n = -3*p + 4 - v, -5*n = -p + 7. Solve -x - p = -0*x for x.
-2
Let j be (8 - -6)*10/4. Let b = j - 31. Solve -3*s + 5 = -b for s.
3
Suppose -4*r - 38 + 54 = 0. Suppose r*n = 5*n - 2. Solve -y = n*y - 9 for y.
3
Let y be 6/(-27) - (-119)/9. Suppose -3*z = n + 4*n + 7, z + 3 = -2*n. Suppose 4*q = -z + y. Solve -q*j = -7*j for j.
0
Suppose -62 + 712 = 5*v. Suppose 6*n = -7*n + v. Solve 3*g + n = -5 for g.
-5
Suppose y - 12 = 4*n, -13*y - 3*n = -9*y - 10. Solve 20 = -y*v + 9*v for v.
4
Let p(h) = -43*h + 314. Let i be p(7). Solve 7*t + 13 = i for t.
0
Let w(t) = t**2 - t + 11. Let i be w(0). Solve -5*c + 4 = -i for c.
3
Suppose -5*t = -3*x - 27, -7*t = -3*t - 4*x - 20. Let w(y) be the first derivative of 2*y**3/3 - 6*y**2 - 216. Let r be w(t). Solve r = s + 2 - 4 for s.
2
Let i be -75*(0 + -1)/(1 - 0). Suppose -r + i = 4*r + 5*t, 0 = -2*r + t + 15. Solve -2*n = -r + 2 for n.
4
Let r be 2/4*4 - 2. Let p(x) be the second derivative of -x**4/12 + 3*x**3/2 + 13*x**2/2 - x. Let n be p(10). Solve 0 = -n*o + 15 - r for o.
5
Let p(i) = 2*i**2 + 15*i - 73. Let k be p(-11). Solve -8 = -k*w + 4 for w.
3
Let s be (-48)/21 + (-2)/(-7). Let c be s/(-5) - (-57)/95. Solve 3 = -2*a + c for a.
-1
Suppose -8*c - 2*f - 2 = -10*c, 0 = -c + 2*f - 3. Solve -20 = -c*w - 0 for w.
4
Suppose 2*g - 58 = -5*v, 5*v - v = -5*g + 60. Suppose -4*a - 24 = -v*a. Solve -5*z = -z + a for z.
-1
Let x(m) = -m + 10. Let g be x(8). Solve g*p = -20 + 24 for p.
2
Let v(y) = -y - 11. Let z be v(5). Let a = z - -29. Suppose 0 = -3*o - 2*d + a, 0 = -2*o + o + 2*d - 1. Solve 8 = -x - o*x for x.
-2
Let r = 794 - 776. Solve r*n - 21 = 11*n for n.
3
Let t(x) = -x**3 + 4*x**2 + x - 4. Let m be t(4). Suppose m = -4*z + 4*j + 20, -z + 4*j + 1 + 4 = 0. Solve -k - 8 = -z*k for k.
2
Let g(p) = 15*p**2 - 3. Let u be g(1). Solve -u + 16 = -2*y for y.
-2
Let s = -979 + 1049. Solve s = -m + 66 for m.
-4
Let b be -11 - (-65 - (-2 - 5)). Solve -50*p - 15 = -b*p for p.
-5
Let b = -183 + 190. Solve -25 = 2*p - b*p for p.
5
Let m(h) = -h**3 + 7*h**2 - 11*h + 5. Let r be m(5). Solve r = -0*a + 4*a - 20 for a.
5
Let h = -6 + 11. Let x(z) = -h*z + 2*z + 4*z**2 + 5*z - 4*z. Let n be x(1). Solve u + n = -u for u.
-1
Suppose 170*v = -8*v + 1958. Let n(x) = x**2 + x + 1. Let c be n(0). Solve -3*u = -v - c for u.
4
Let c be (-2*(2 + -3))/(2/27). Solve -14*f = 43 + c for f.
-5
Suppose -2*p = 3 - 11. Let w = 278 - 263. Solve -w = -9*t + p*t for t.
3
Let k = 26 + -16. Suppose 30 = 2*z - k. Suppose -4*n = -u + z, -4*u + 4*n + 20 = -0*u. Solve 3*b - 2 - 1 = u for b.
1
Suppose h + 5*n = 6*h - 10, -n = h - 8. Let m = -1 + 7. Let r(q) = q**2 - 5*q - 6. Let i be r(m). Solve h*c = -i*c + 20 for c.
4
Let m(f) = f + 1. Let q be m(5). Suppose -10 + 6 = -h. Suppose -h*n = -0*n. Solve r - q*r + 15 = n for r.
3
Let b = -48 - -84. Let m = 41 - b. Solve -m*x + 0 = -5 for x.
1
Suppose 4*n + 248 = 4*s - 0*n, 5*s - 296 = -2*n. Let v = 60 - s. Solve v*k = -k for k.
0
Let r = 68 + -68. Solve 5*v + 7 + 13 = r for v.
-4
Let s(x) = 6*x**2 + 2*x - 2. Let m be s(1). Suppose -6*g + 6 = -4*g. Solve -m = -0*a + g*a for a.
-2
Suppose 14 = 4*g - 14. Suppose -10 = -g*y + 2*y. Suppose 8 = 2*j + y*j. Solve -2 = j*l + 2 for l.
-2
Suppose 5*v = 4*w - 23, -v + 15 = 9*w - 7*w. Solve -q = -w*q + 30 for q.
5
Suppose -16*k - 19 = -163. Solve 3 = -k*o + 10*o for o.
3
Let w(m) = -27*m - 25. Let j be w(-1). Solve x = j*x - 3 for x.
3
Let q(a) = a**3 - 12*a**2 + 14*a - 23. Let w be q(11). Let u = w - 2. Let v be (-1 - (1 + 1))/(-1). Solve 2 - u = -v*k for k.
2
Let k(f) = -2*f**2 - 18*f - 34. Let o be k(-3). Solve -4 + 4 = o*p for p.
0
Suppose 3*k + 12 = -4*p + 14, 3*p + k = 4. Solve -p*h + 10 = 3*h for h.
2
Let s(l) = l**3 + 16*l**2 - l - 12. Let p be (-327)/(-13) + 10/(-65). Suppose 2*r + 5*f - 3 = -p, -40 = 2*r - 4*f. Let q be s(r). Solve 0 = h - q*h + 6 for h.
2
Suppose 48 - 18 = 3*l. Suppose 3 = -9*h + l*h. Solve -h*u = -3 - 3 for u.
2
Let j(o) = o - 9. Let u be j(13). Suppose 0 = -3*h + d + 38, u*h - 2*d + 4*d - 44 = 0. Solve 6 = -2*t + h for t.
3
Let c(o) = -o**3 - 2*o**2 + 4*o. Let w be c(1). Let d(t) = t**2 - 14*t + 28. Let j be d(12). Solve r + j = -w for r.
-5
Let g(q) = q**3 - 3*q**2 + 4*q - 7. Let u be (0 - 3)*(9 - 10). Let z be g(u). Solve 0*h + z = -5*h for h.
-1
Let b = 12 + -11. Suppose n - h = 4, -b + 17 = 4*h. Solve -n = -3*x + 7 for x.
5
Suppose -52*v = -5*v - 611. Solve 21*d = v*d - 8 for d.
-1
Let b(v) = v**3 - 5*v**2 + 3*v + 9. Let o be b(4). Suppose o = 5*m, 2*z = z + 5*m - 3. Let t = 5 - 2. Solve t*s + z*s = 20 for s.
4
Suppose 56 = -10*g + 14*g. Suppose 17*q = g*q. Solve 5*y = -q*y - 5 for y.
-1
Let y be -3*(10 - (-4)/(-2))/(-2). Suppose 2*g + z + 5 = 0, -5*z + z - 20 = -g. Solve -3*b + g*b + y = 0 for b.
4
Let c(b) = b**2 - 16*b - 15. Let g be c(17). Suppose 3*m + 16 = g*t + 4, 4*m = -t - 5. Solve -t*d + 0*d + 15 = 0 for d.
5
Let y(k) = -k**3 - 18*k**2 - 19*k - 34. Let z be y(-17). Let t(d) = d**2 + 2*d - 1. Let s be t(2). Let x be (-2)/s + 16/7. Solve z = x*i - i for i.
0
Let y be (-8 - 0)*(-1)/2. Suppose y*q = -7*u + 5*u - 10, -10 = -u + q. Solve 3 = -2*w - u for w.
-4
Let f be -46*(-2)/4*1. Let w be (-2)/(-3) - 30/(-9). Let h = 4 - w. Solve 3*m - f + 8 = h for m.
5
Let s(c) = -c**3 - 2*c**2 + 6*c - 6. Let h be s(-4). Solve h*p = 3*p - 2 for p.
2
Suppose 3*c + 0 = 4*n - 26, 3*n + 3*c - 30 = 0. Suppose 0 = 3*z - n*z. Suppose z = b + 2*b, -2*b - 2 = -i. Solve -q + i*q = 5 for q.
5
Let u(f) = -f**3 - 5*f**2 - f. Let o be u(-5). Suppose o*a + 3*y = y + 30, 0 = -2*a - 2*y + 12. Suppose -27*i - 16 = -16. Solve i = 2*s - 16 + a for s.
5
Suppose -127 = 3*b + 176. Let c = b - -103. Solve -c = v + 1 for v.
-3
Let s be 20 + 0 + -4 + 7. Solve 0 = -n + 20 - s for n.
-3
Let x be 0 - (0*3/18)/2. Solve -6*b + 11*b - 25 = x for b.
5
Suppose o - 113 + 54 = 0. Suppose o*u - 60*u = -2. Solve 5 = -3*s + u*s for s.
-5
Let f(q) = q**3 - 232*q - 2 + 5*q**2 + 2*q**2 + 236*q. Let s be f(-2). Solve -3*j + s = 2*j for j.
2
Let u = 52 - 48. Suppose -4*r - 4*t = u, 27 = r + 4*r - 3*t. Solve r*j + 5 = 4*j for j.
5
Let c be 0*(6/(-12) - -1). Solve c = 4*y + 17 + 3 for y.
-5
Let v = 51 + -35. Suppose p - v = -p. Solve 0 = k + k - p for k.
4
Let j(h) be the first derivative of h**2/2 - 10*h - 3. Let x be j(8). Let q be