45*p - 6, t*l - 13 = -5*p for l.
1
Let v = -2 - -7. Let b(r) = -r**3 - 41*r**2 - 40*r + 5. Let j = -126 + 86. Let h be b(j). Solve -v*x = -h, -x + 2 = -4*o - 19 for o.
-5
Suppose -28*g = -510 + 62. Suppose 0 = -9*u + g + 83. Solve 12 = -s - 2*n, 3*s - 5*n - u = 8 for s.
-2
Let c be 2/(-1*(-1 + 0)*-1). Let o be (1 + c)/((-16)/(-20) - 1). Suppose u - o + 3 = 0. Solve -4*b = -b - y + 4, -u*y = 2*b for b.
-1
Let y = 316 + -296. Suppose 0 = y*o - 17*o. Solve 5*z + l = -23, o*l + 21 = -3*z + 3*l for z.
-5
Let n(f) = f**2 - 14*f - 117. Let v be n(-18). Let d = 465 - v. Solve -4*t - 2*i + d = -5*i, 4*t = -2*i + 16 for t.
3
Let x be (-31)/((-2356)/475)*4. Solve -5*a + x - 35 = -5*n, -4*a = -2*n + 14 for a.
-5
Let x be (-1)/(-12) + (-32025)/(-180). Let s = -174 + x. Solve 4*i = -12, s*t + 0*t + 1 = i for t.
-1
Suppose 2*v - 2 = 0, -234 = -5*m + v - 15. Let q = m - 42. Solve -5*s + 4 = -5*x - 1, x + q*s = -13 for x.
-5
Suppose -d + 81 = 13*q - 14*q, -174 = -2*d - q. Solve -r + 90*f - d*f + 29 = 0, r + 2*f + 6 = 0 for r.
4
Let c(j) = 2*j**2 + 455*j + 3517. Let h be c(-8). Solve -6*b - 2*s - 11 = -3*b, -3*s + 12 = -h*b for b.
-3
Let i(l) be the first derivative of 3 - 1/2*l**4 - l**3 + l - l**2. Let w be i(-1). Solve 0 = 4*a - 9*a - w*o - 10, -2*o = 0 for a.
-2
Let p be 15*(0 + 2)*(-27)/(-30). Let c be (2/2)/((7/(-7))/(-2)). Solve 3*s - 17 = i, -c*i + 9 = -2*s + p for i.
-5
Let a(j) = -j**3 + 13*j**2 + 13*j + 18. Let b be a(14). Suppose -r - 17 = -v, -b*r = -v - v + 32. Solve -4*q - v = 5*p, -3*p + 2*q - 4 = -2 for p.
-2
Let g = -135 - -155. Suppose 4*h = n + g, -3*n + 3*h - 38 = 2*h. Let r be ((-4)/n)/(((-5)/(-12))/5). Solve -2*t - 4*x + 10 = 0, -1 - r = -t + x for t.
5
Suppose 3*x - 24 = 5*p + 18, 0 = x - 3*p - 22. Solve d - 3 = 0, -3*d = -x*n - 14 - 3 for n.
-2
Let m = 8 + -7. Let c(h) be the first derivative of -h**3/3 - 7*h**2 - 42*h - 11. Let g be c(-8). Solve 4*a = -f + m, -a = -g*a for f.
1
Suppose 3*b + 5*b = -5*b. Suppose b = -4*c - c - 2*w + 5, 3*w + 27 = 4*c. Let u be 2 + (1 - -2*2). Solve -g + u = 3*k, 3*g + 0*g - c = 0 for k.
2
Let z = -7075 + 7079. Solve 3*i - 12 = -3*t, -7*i + 19 = -4*t - z*i for t.
-1
Suppose 5*y - 74*y = -1035. Solve -2*h - 2*c + 5 = -c, -2*h - 5*c = y for h.
5
Let m(n) = -n**3 - 3*n**2 + 3*n + 11. Let y = -77 - -74. Let q be m(y). Solve -h + q*c - 16 = h, -5*c = -4*h - 37 for h.
-3
Let z be ((-138)/23)/(1 - (-11)/(-8)). Suppose -16 = -0*y - 4*y. Suppose -2*n + y = -4*g, 3*n - z = g + 5. Solve 4*r + 4*j = n, 4*j = j for r.
2
Let o(s) = 5774*s - 5774. Let i be o(1). Let m = 10 - 7. Let v = -6 + 10. Solve 3*c - 3*w = m, 3*c - 2*w - v = -i for c.
2
Let g be 4*(-2)/4 - -42. Let u = -314 + 323. Suppose g = b + u*b. Solve -5*x = f + 4*f - 5, 0 = b*x - 3*f + 31 for x.
-4
Let h(a) = 10*a**3 - a**2 + 5*a - 4. Let n be h(1). Suppose 2*s = 4*p + n - 6, -4*p + 20 = 4*s. Solve 2*i + s*o = 7*i - 20, 5*i - 5*o - 20 = 0 for i.
4
Suppose 16*t - 20*t + 2*j = -24, 0 = 5*t + 4*j - 30. Let q be ((-198)/(-6) - t) + -1. Solve -s + 2*s + 3 = -d, -4*d = -3*s + q for s.
2
Suppose -j + 5 = z + 3, -3*j = 4*z - 8. Solve 0 = 7*d - 2*d - k + z, -2*k = -3*d + 3 for d.
-1
Let n(x) = 6*x**2 - 3*x. Let r be (1 + (-7)/2)*(-72)/90. Let q be n(r). Let c = -9 - -12. Solve 3*y + 17 = 4*s, -c*y - 4 = -5*s + q for s.
5
Suppose 2*v + 0*v + 6 = 0. Let a be -4*v/(15/10). Suppose -2 = -2*j + a. Solve -x + 20 = -j*s, 3*x - 16 = 2*s + 5 for s.
-3
Suppose 3*z = -0 + 6. Suppose z = 2*b - 4. Suppose 4*i = 2*i + 2*c + 4, 0 = 5*c - 5. Solve -x + u + b = -4*x, i*u + 9 = -x for x.
0
Let a(h) = h**3 - h**2 + 33*h - 104. Let c be a(3). Solve 0 = -q - 3*j - 18, -4*q + 3*j = -2*j - c for q.
-3
Let v = -11376 - -11394. Solve a - 109*k = -113*k - 17, -v = 3*a + k for a.
-5
Suppose 15*y - 670 = -1870. Let s be (-6 + y/(-12))*6. Solve 2 = -s*l + 5*u - 2, 0 = -2*u for l.
-1
Let w(p) = -p**2 - 28*p - 45. Let q be w(-26). Let d be (12 - q) + 0 + -1. Let o = -4 - -6. Solve -10 = 3*v - d*s - s, 0 = o*v - 2*s for v.
5
Suppose -33*o = -201*o + 840. Let l(k) = k**3 - 7*k**2 + 8*k - 9. Let h be l(6). Let x = 1 + h. Solve 0*a = -3*a + x*q - o, -1 = -a + 4*q for a.
-3
Suppose 10 = -56*p + 58*p, 0 = 3*o - p + 5. Let g = 1 + -10. Let m = g + 24. Solve -17 = -o*j - 5*j + 4*x, 5*j - m = 5*x for j.
5
Suppose 3*i = 2*k + 9, 2 = -k + 5*k - 2*i. Let o = -10 - -16. Let x be 16/o - (-1)/3. Solve 0 = 2*a - j + 1, a + k*j = -x*a - 17 for a.
-2
Let w = -1042 - -1058. Solve 5*p + w = 2*b, 0 = b - 30 + 32 for p.
-4
Suppose -5*r = 232 - 377. Suppose -r*b = -74 - 13. Solve -t - 28 = 5*j - 0*t, 6 = -3*j + b*t for j.
-5
Let r(g) = -6*g - 2. Let y be r(-2). Let v be -8*(-85)/y + -3. Let u = -62 + v. Solve h + 3*h + s - 9 = 0, -s + u = -2*h for h.
1
Let z be 26/(-52)*((-7)/7)/((-2)/(-20)). Solve -5*y = z*s + 40, -24*y + 2*s + 1 = -23*y for y.
-5
Suppose -96*o + 7140 = 261*o. Solve f - 4 = t, -14*f - t = -19*f + o for f.
4
Let k be 4 + -3 + -6 + -4 - -11. Solve -l = 5*a - 18, 4 - 1 = -k*a + 3*l for a.
3
Let m(u) = u**3 - 4*u**2 - 4*u + 50. Let f be m(5). Suppose 47*r = 36*r + f. Solve 14 = 3*b + 4*l, b - 4*b - r*l = -19 for b.
-2
Let n(j) be the first derivative of j**2/2 + 10*j + 6. Let s be n(5). Let a = -3 - -5. Solve -a*t + 4 = -y, 0 = -5*y - 2*t + 1 + s for y.
2
Let x(s) = -2*s + 12. Suppose 1 - 17 = -4*i. Suppose i*n - b = 22, 2*b = -5*n - 3 + 24. Let z be x(n). Solve z*m = 10, m + m + 2 = -3*d for d.
-4
Let j be 7 + (-12)/(-8)*(-4)/(-3). Let p = -7 - -22. Let v = 18 - p. Solve -5*g = -3*n + j, -n - 2*g - 3*g = -v for n.
3
Suppose 4*b = -3*m - 2105, -15*b + 17*b + 2820 = -4*m. Let q = 714 + m. Solve -a - q = -3*h, -1 = 3*a + 4*h - 6 for a.
-1
Let v be 54*1 + -1 - (9 + -6). Suppose 7*c = 9*c - v. Solve 0 = 3*x + 4*p - c, -x - 2*x + 2*p = -1 for x.
3
Suppose 0 = -4*d + 19 - 3. Let a be (6/(-4))/((-2)/d). Let x = -2 - -9. Solve 0 = j - a*c - x, 3*c = -8 - 1 for j.
-2
Let g(k) = -14*k**3 + 293*k**2 + 25*k - 82. Let c be g(21). Solve 0 = 3*x - c*m - 18, 5*m + 0*m + 3 = -3*x for x.
4
Let c be 78285/2149*(1 - 0) - (-6)/(-14). Solve -b - v = 0, c*v = -b + 41*v - 18 for b.
-3
Let i be 80/(-5)*3/(-6). Let p(w) = -w**2 + 21*w - 102. Let r be p(i). Solve -5*t - 1 + r = 4*j, 2*t = -3*j - 1 for t.
1
Let a be (-1 - -2) + 7/(-35)*-5. Suppose -n = -a*n + 1. Solve 5*i = -n + 21, -2*y + 4*i - 20 = 0 for y.
-2
Let b = 75 - 22. Let h = 48 - b. Let q be 12/(-20)*h*1. Solve 0 = -2*k + 3*r + 4, -2*k - 3*r = -q - 1 for k.
2
Suppose -3*k = -4*o + k + 60, 2*k - 45 = -3*o. Suppose -w - o = -6*w. Solve -h - 1 = -g - 2, 0 = -g - h + w for g.
1
Let c(l) be the second derivative of l**3/2 - 27*l**2/2 - 65*l. Let o be c(9). Solve -w + 4 + 1 = b, 3*b + 2*w - 11 = o for b.
1
Let l = -1073 - -1078. Let v = 24 + -21. Solve l*j + 5 = 20, v*h = -3*j + 24 for h.
5
Let z be (374 + -389)/((-3)/4). Solve -16*k - 5*q = -z*k + 3, 0 = -k - 3*q - 12 for k.
-3
Let d be (-100)/25 - (-5 - 0)*1. Let l be (d/6)/(2/84). Solve 4*y - 3*z = l + 3, 0 = 5*y + 4*z + 3 for y.
1
Let x be 9/12 + (-392)/(-32). Solve 0*l - 18 = -3*v + 5*l, -4*v + x = -3*l for v.
1
Let r = 58 + -88. Let o = r - -37. Suppose -w - j + o = -2*j, -19 = -w + 4*j. Solve q - 3 = 5*q - w*z, -q + 3*z = 3 for q.
0
Let l = 0 - -10. Let w(t) = -6*t + 22. Let i be w(-8). Let b = i - 54. Solve 2*d - 5*v + l*v + b = 0, -5*d - 25 = 5*v for d.
-3
Let y(n) = -137*n + 963. Let h be y(7). Solve p = -2, -10 = -4*s + 3*s + h*p for s.
2
Let p be (4/10)/((-642)/(-49755)). Solve -2*n = -5*f - 1, 0 = p*f - 34*f + n for f.
1
Let i(j) = 8*j**2 - 3*j + 3. Let u(f) = -2*f**3 + 33*f**2 - 18*f + 33. Let r be u(16). Let p be i(r). Solve -t - 4*m + 8 = 0, 3*t = t - 4*m + p for t.
0
Let x = 8227 - 8199. Solve -25 = 4*v + b, 2*v + 5*b + 63 = x for v.
-5
Let s(t) = -2*t**3 + 21*t**2 - 3*t - 6. Let p be s(9). Suppose 29*w - 8*w = p. Solve c + 4*x = w, -1 + 11 = 3*c + 2*x for c.
2
Suppose 0 = 5*x + 2*g - 2 - 9, 0 = -g - 2. Solve 0 = 4*q + 4*h - 12, 5*q = x*h + h + 24 for q.
4
Let b(w) = 2*w - 26. Suppose -2*v = 112 + 6. Let f = v - -74. Let g be b(f). Solve 0 = -p + 3*q - 1, g*q - 12 = 3*p - 7*p for p.
2
Suppose -5*w + 5*a + 90 = 0, 475*a = 479*a + 24. Solve -z = 5*n - 30, -2*n - 15*z = -12*z - w for n.
6
Suppose -19 = 2*x - 9. Let i be 87/3 + x/(-4 - 1). Solve -c - 3*c + 10 = 2*d, -i = -c + 5*d for c.
5
Suppose -247 + 575 