.
-1
Let c(b) = b**2 + 27*b - 28. Let v be c(-28). Solve v = 5*u + 9 - 4 for u.
-1
Let n = 7 + -5. Suppose -3*y + 3 = -19*o + 21*o, 4*o - 2 = -2*y. Solve o*g = -n*g + 4 for g.
2
Suppose -35 = -5*x - 2*d + 3*d, x + 4 = -2*d. Let i be (-5 + (2052/(-45))/(-12))*(-20)/12. Solve i = -k + x for k.
4
Suppose -z + u = 2*z + 11, 5*z + 4*u = -41. Let y be 8/(-5) + 6/10. Let i = y - z. Solve -i*f - 10 = -9*f for f.
2
Let n(w) = -w**3 + 16*w**2 - 12*w - 5. Let x be n(15). Suppose 0 = 10*r - 2*r - x. Solve 11*d = r*d + 12 for d.
2
Suppose -361 + 61 = -4*i. Suppose 5*k - 2*k = i. Suppose -7 = 3*v + 5*l, -3*l = 2*l + k. Solve 2*r + v = -2 for r.
-4
Let u(t) = t**2 - 16*t + 48. Let n be u(12). Let j be (-2)/3 - (-53)/3. Suppose 3*r - j + 2 = 0. Solve n = r*o - 4*o for o.
0
Let k(w) = -2*w**2 + 7*w - 4. Let v be k(4). Let g be (1 + 3/(-1))*4. Let z = v - g. Solve -d - 1 - 1 = z for d.
-2
Let t(a) = -a**3 + 9*a**2 + 2*a - 16. Suppose -2*l + 13 = -5. Let h be t(l). Suppose 5*f - 28 = -3, -5*y = -f - 15. Solve -h*w = -w - y for w.
4
Let h(k) = k + 15. Let x be h(-6). Suppose -10*f + 10 + 30 = 0. Solve f*u + 11 = -x for u.
-5
Let j(g) = 18*g - 3. Let u = -27 + 28. Let r be j(u). Solve -2*k - r = -5*k for k.
5
Let k = -10 + 34. Solve 0 = 7*l - l - k for l.
4
Let m be (-2 - -20)/(20/(-30)). Let n = m + 34. Solve 0 = 5*l + n - 22 for l.
3
Suppose v + 15 = i + 4*v, 4*i = -4*v + 36. Solve -i*f = -2*f for f.
0
Let t(i) = 13*i - 143. Let f be t(11). Let l = 6 + -2. Solve f = -5*b + 9 - l for b.
1
Suppose -31*a + 35*a - 24 = 0. Suppose 0 = 5*j + i - 2*i - 6, 0 = -3*j + 3*i - a. Solve j = d + 6 for d.
-4
Let o = 5 - -1. Suppose -4 = -2*i + 4*p, o*p = 4*i + p - 8. Suppose -i*q = q + 4*j + 2, -3*q - 3*j = 0. Solve 0 = -q*k + 3*k - 5 for k.
5
Let h(j) = j**3 - 7*j**2 - 18*j + 18. Let a be h(9). Solve -a*x + 15*x - 9 = 0 for x.
-3
Let z be (261/(-232))/(3/(-24)). Solve -11*u = -14*u + z for u.
3
Let s = -28 - -83. Let q = 81 - s. Suppose -5*g + 3*y = -37, 2*g - q = 3*y + y. Solve -3 - g = -4*j for j.
2
Suppose 69*y - 118*y = -58*y. Solve 15*r - 41*r + 26 = y for r.
1
Let f = 20 - 32. Let i be 1 - (0 + f/4). Suppose -4 - 4 = -i*z. Solve 0 = -r + z - 0 for r.
2
Let t = -47 + 59. Suppose 5 = 3*g - 1. Suppose 0 = v - g. Solve -o + t = v*o for o.
4
Let z(g) = g**2 + 12*g - 154. Let w be z(-27). Solve -o = w - 255 for o.
4
Suppose 0*u - 8*u = 0. Solve 5*g - 25 + 0 = u for g.
5
Suppose 3*y = v + 7, -2*y - 3*y = 2*v - 8. Let w = v - -5. Solve 0 = w*d - 4 + 20 for d.
-4
Let k(l) = l + 14. Let s be k(-10). Suppose 2*i - s*i = -12. Solve -i*b - 5 = -b for b.
-1
Let w be 6*1/3*(-27)/6. Let q be (-108)/w + 6 + -2. Solve 4*b - 4 = q for b.
5
Let t be ((-148)/(-8) + -16)*16/10. Solve 3*j - 2 = t*j for j.
-2
Suppose -1 - 3 = -n. Suppose n*f - 50 = -6*f. Let z be 4/(-10) + (-110)/(-25). Solve f*o + z = 3*o for o.
-2
Let p(b) = -b**2 - 7*b + 116. Let g be p(-14). Solve -g = 15*f - 6*f for f.
-2
Suppose -18 = l - 24. Solve -10 = 8*u - l*u for u.
-5
Suppose -4*i = 79 - 31. Let r be -2 + (16/((-4)/1) - i). Solve -3*v + 6 + r = 0 for v.
4
Let a(y) = 0*y - 3*y + 3 + 21. Let u be a(3). Solve 0 = 5*m - 2*m + u for m.
-5
Let w(y) = y**2 + 5*y. Let z be w(4). Suppose 5*q - z = -4*q. Let m = 48 + -28. Solve -v - m = q*v for v.
-4
Let h be 4/26 - (-72)/39. Suppose -h*p - 6 = 0, -3*p + p + 134 = -4*k. Let c be (-182)/k - 8/(-10). Solve 3*q + 3 = -c for q.
-3
Suppose 0*w + 12 = -3*w. Suppose -10 + 30 = g. Let v be (w/10 - -1)*g. Solve v = -3*b + 7*b for b.
3
Suppose 0 = 4*x - 15 - 5. Suppose -6 = 3*q, -c + 2*c - x*q - 14 = 0. Let b be (-48)/40*(-10)/c. Solve -2 = -b*z + 7 for z.
3
Let k = 131 + -127. Solve 3 - 11 = -k*s for s.
2
Suppose -24 = -4*a + 36. Suppose -r - 50 = -5*y, 0 = 2*r + r + a. Let o be (y - 6)/((-6)/(-4)). Solve 3 = 5*n - o*n for n.
1
Suppose -24 = -4*j - 2*i, -3*j + i + 46 = 18. Solve 0 = -6*h + j - 32 for h.
-4
Let v be -1 + (-2)/2 + (-1150 - -1154). Solve -v*d - 63 = -69 for d.
3
Let f(l) = -l**3 + 7*l**2 + 2*l - 10. Let x be f(7). Suppose 0 = -6*o - 4*o + 70. Let v be 3 - (4 + -2) - -2. Solve -o*j = -x*j + v for j.
-1
Let j(y) = y**3 - 16*y**2 - 33*y - 42. Let z be j(18). Solve 12*f + z = -24 for f.
-3
Let o(q) be the second derivative of q**3/6 + 5*q**2 - 6*q. Let z be o(-5). Solve -z*a + 5 = 30 for a.
-5
Let c(z) = 10*z**2 - 21*z - 22. Let d be c(-1). Solve d = -14*v + 17*v for v.
3
Let c be (2 + 0)/(-2)*-4. Suppose -6*i = -13*i - 735. Let m = i + 109. Solve -16 = m*a - c for a.
-3
Let q = -41 + 43. Suppose r + 2*r = 0. Suppose -2*u - 4*j - 2 = r, -q*u = j - 2*j - 8. Solve u = -2*w + 7 for w.
2
Let n(c) = -2*c + 3. Let g be n(-2). Let w = -42 + 42. Solve g*v - 3*v = w for v.
0
Let j(o) = 2*o - 3. Let m be j(10). Let k(a) = -42*a - 797. Let f be k(-19). Solve -4*n - m = -f for n.
-4
Suppose -34 = -4*f - 3*k, -3*f + 2*k - 16 = -33. Solve -f*x - 25 = -53 for x.
4
Suppose -i + 2*q + 0*q + 7 = 0, 3*i + q = -14. Let v be 1*11 - 3/i. Solve s = 5*s + v for s.
-3
Let s be (-86)/42*-2 + 4/(-42). Solve 14 + s = 6*p for p.
3
Suppose -6 = 447*x - 449*x. Solve -x*b - 15 = -12 for b.
-1
Let m(t) = 7*t + 261. Let v be m(-37). Solve -v*s = s - 9 for s.
3
Let m(q) = -21*q**3 - q**2 + q + 1. Let y be m(-1). Suppose 0 = -14*r + 9*r + y. Solve 0 = -4*o + r for o.
1
Suppose 234 = -4*p - 278. Let r = p - -133. Solve r*v = -2 - 3 for v.
-1
Let o(u) = u - 4. Let s be o(8). Solve -4*p = -3*p - s for p.
4
Suppose 0 = 2*f - f + 3, 2*f - 92 = -2*b. Suppose -4 + b = 5*w. Solve w = 2*o - 5*o for o.
-3
Let u be (-6)/((0 + -1)/((-41)/(-82))). Solve 9*c = -u*c - c for c.
0
Let i = 8 + -2. Let l(a) = -2*a**2 + 1. Let y be l(-1). Let v = 3 + y. Solve -i = v*h + h for h.
-2
Suppose -30*c - 277 = -6817. Solve c*a = 217*a + 3 for a.
3
Suppose -48*g + 50*g - 34 = 0. Let u be 81/4 - 1/4. Suppose -z = -5*z + u. Solve -4*l + z = g for l.
-3
Let g be (((-1 - -2) + -1)/3)/(-3). Let t be -3 - -1 - 12/(-2). Suppose -2*o = -t - 2. Solve -5*q + o*q = g for q.
0
Let g(j) = -10*j - 33. Let k be g(-6). Solve -i + k - 23 = 0 for i.
4
Suppose -5*z = 2*c - 0*z + 17, 4*z + 20 = 0. Let w(v) be the first derivative of -v**4/4 - v**2 + 16*v - 1. Let x be w(0). Solve -4*i = c - x for i.
3
Suppose 4*r - t = 3*t + 20, 0 = r - 2*t. Suppose -4*w = -r - 10. Solve -w*f = -10 - 5 for f.
3
Suppose 2*m - 4*j - 6 = -j, -26 = -4*m - j. Solve -4 = -m*s + 2*s for s.
1
Suppose -2*z - 5*f + 19 = 0, -3*z - 7*f + 4*f = -15. Solve -15 = z*r - 23 for r.
4
Suppose 6*y = 19 + 11. Solve 2*s = y + 5 for s.
5
Let k = 1 - -2. Let g be 3 + 0/(-3) - 4. Let v = k + g. Solve -x - v*x = 0 for x.
0
Let d(w) = -19*w + 59. Let t be d(2). Solve 7*l - t = 14 for l.
5
Let d(p) = p**3 + 3*p**2 - 3*p + 3. Let u be d(-4). Let o be -4 - u - -5*1. Solve -4*q + o*q + 8 = 0 for q.
4
Let s = -1036 - -1052. Solve 29 = -s*h - 35 for h.
-4
Let j = -57 + 57. Suppose j = 2*l + 4*v - 8, 4*l = l + 3*v - 6. Solve 3*a + 0*a - 9 = l for a.
3
Suppose 4*c - 29 = 3*c. Suppose -c = 5*m + 46. Let z = m + 18. Solve -8 = 7*g - z*g for g.
-2
Let m be (2 + 28/(-8))/(6/(-56)). Let r = m + -10. Solve -16 = -3*c - r for c.
4
Let v = 77 + -52. Suppose -2*p - w + v = 0, -w = -4*w + 15. Solve -6*c - p = -c for c.
-2
Suppose -o - 4*o - 169 = -3*j, 3*o + 108 = 4*j. Let x be o/(-18) - 6/(-27). Suppose 0 = 6*i - x*i. Solve i*w + 15 = -5*w for w.
-3
Suppose -m - 9 = -3*y, 25*m - 28*m + 2*y - 6 = 0. Solve m = -11*v + 8*v - 6 for v.
-2
Let r(f) = f**3 + 7*f**2 + 3*f + 17. Let m be r(-7). Let h be 0/(m + 7)*1. Solve -2*i + h*i = 6 for i.
-3
Let n(c) = -7*c - 17. Let h be n(-4). Suppose 9*l = h*l - 28. Solve 0 = 5*m - 4 + l for m.
-2
Suppose -4*f = p - 2*f, 6 = -p - 5*f. Solve 0 = -p*r - 11 + 3 for r.
-2
Let v(h) = 2*h**2 + 5*h - 7. Let u be v(-5). Let f = -3 + u. Suppose 4*r - 7 - 17 = 0. Solve -f = -r*w + w for w.
3
Suppose 5*c + 3156 = 3176. Suppose 4*v - 35 = -3*k + 11, -3*v - 4*k + 38 = 0. Let i be (16/v + 0)*5. Solve -4*n + c = -i for n.
3
Suppose -l + 2*l + 5 = 0. Let a(g) = g**3 + 4*g**2 - 7*g - 6. Let m be a(l). Solve -2*i + m*i = -6 for i.
-3
Let h(u) be the second derivative of -u**3/6 - u**2 - u. Let p be h(-4). Let o(t) = 2*t - 2. Let s be o(p). Solve 4 = -s*f + 2 for f.
-1
Let i(k) = k**3 + 10*k**2 + 23*k + 16. Let m be i(-7). Solve 2*b = -m*b + 4 for b.
1
Let t be (2 - (-40)/2)*-1. Let y = -14 - t. S