8 = 5*i, -a*i - 3*p + 2 = 0 for i.
-2
Let a(m) = 3*m**2 - 37*m + 16. Let o be a(12). Let x be (-28)/(-5) + (-2)/(-5). Suppose 6*k = o*k + x. Solve k*s + 2*j - 2 = 4, 2*s - 4 = -2*j for s.
2
Suppose -9*u - 9 = -10*u - 3*d, -5*u + 4*d + 45 = 0. Solve -5*v - 4*c = 32, 3*v + 18 = 7*c - u*c for v.
-4
Suppose -12 = 2*m + 10*m. Let u = 3 - 1. Let i = u + m. Solve 3*c + 4 = -s, -i = 5*s - 2*c - 2*c for s.
-1
Let a(x) = x - 11*x - 3*x - 9 + x**2. Suppose -56 = -33*u + 29*u. Let c be a(u). Solve c*y - 3*o = 0, 0*o = 3*y + 2*o for y.
0
Let l be (42/(-70))/(2*(-3)/30). Solve -9 = 4*v - 4*c - 33, 0 = l*v + 5*c - 2 for v.
4
Suppose h - 20*h = -304. Let v(t) = t**3 - 17*t**2 + 16*t + 1. Let p be v(h). Solve 4*x + 2*u - 3 = -u, 3*x = u - p for x.
0
Let q(h) = 6*h**3 + h - 1. Let k be q(1). Suppose -5*n = -k - 4. Suppose 14*i + 20*i - 170 = 0. Solve -i*r = -n*a + 8, r = -6*a + 3*a + 12 for r.
0
Suppose 49*p - 44*p = 10. Solve 2*g + p = -4*y, 2*y + 0*g + 7 = 5*g for y.
-1
Let a = 146 - 77. Let j(t) = t**3 - t - 2 - 40*t**2 - 19*t**2 + a*t**2. Let i be j(-10). Solve 4*l - i = d + 1, -3*d = 3 for l.
2
Let v(a) = a**3 + 5*a**2 + 4. Suppose 2*t + 9 = 2*o - 11, -t = 2*o - 5. Let l be v(t). Solve l*q + 22 = -0*q + 2*u, 5*q + 5*u = -5 for q.
-4
Suppose s + 7*s = 2*s. Solve 5*a + 1 + 17 = -y, -3*y + 2*a + 14 = s for y.
2
Suppose 9*i = i + 16. Let l be (-41 + 1)/(-2) + i. Let n be ((-26)/(-2))/(2 + -1). Solve -4*m + 3*s = -l, -4*m - 3*s - 3 = -n for m.
4
Let u(v) = -v**3 + 3*v**2 + 2*v - 1. Let w be u(2). Suppose w = 3*n - 8. Solve -y - 13 + 2 = n*q, 4*q = y - 16 for q.
-3
Suppose -5*b + 13 = -47. Suppose 3 = -2*n - 5*r - b, n = 5*r + 30. Solve -3 = 4*d - 5*z + 5, -5*d = -n*z + 5 for d.
3
Suppose -3*r + 1 = -2*z, -2*r - z - 18 = -28. Solve -2*v + 10 = -4*o, 3*v - r = -4*o + 2 for v.
3
Let q be (-100)/(-12) - (-2)/(-6). Suppose z - 20 = q. Suppose 4*l + h - z = 3*h, -5*l - h = -21. Solve 5*u - 19 + 6 = 3*b, l*u = 5*b + 5 for b.
4
Let a(r) = -r**2 - 12*r - 8. Let p be a(-11). Solve 4*v - 28 = p*y, -5*v - 4*y + 0*y + 4 = 0 for v.
4
Let j(l) = l**2 + 29*l + 79. Let n be j(-26). Solve -3*k = 2*a - 2 - n, -4*k + 4*a + 24 = 0 for k.
3
Let a be (-21)/(-3)*(-10)/(-35). Solve a*z = 5*t - 18, 4*z + 1 = 5 for t.
4
Let c(w) = w**3 + 4*w - 3 + 8*w**2 - w**2 + 11 + 0*w**2. Let p(d) = 6*d. Let j be p(-1). Let a be c(j). Solve 4*t + 4*x = -12, -x + 5*x + a = 0 for t.
2
Let l(q) = q**3 + 2. Let w be l(0). Suppose 3*n + 0*i = -w*i + 25, 4*n + 2*i - 34 = 0. Suppose -n = -5*t + 6. Solve 5*d + 2*j + 25 = 7*j, 9 = t*d + 5*j for d.
-2
Let h = -468 - -471. Let c = -6 + 11. Solve d + c*p + 17 = h*d, p + 3 = 0 for d.
1
Suppose 0 = -3*s + 2 + 7. Suppose s*h = h + 6. Let z(d) = d - 2. Let q be z(2). Solve 4*l + 3*y - 8 = q, -5*y + 19 = 4*l - h*l for l.
-1
Let f = -41 - -36. Let d = 30 - f. Solve -5*b = 5*p + d, 0 = -4*p + 2*b - 0*b + 2 for p.
-2
Suppose 3*m - 25 = -4*h, -2*h + 24 = h - 3*m. Suppose h*z = 9*z. Suppose z*c + 20 = 4*c. Solve -2 - 8 = 5*k + c*o, 0 = -3*o for k.
-2
Let g be (-2*(-4)/(-32))/(3/(-60)). Solve g*f = 2*b + 13, -19 = f - 0*f + 5*b for f.
1
Let d(v) = -7*v + 2. Let u(x) = -11*x + 3. Let h(m) = 8*d(m) - 5*u(m). Let b be 14/(-28) - 5/2. Let a be h(b). Solve -a*q - 17 = n, -2*q - 2*q - 2*n = 14 for q.
-5
Let s(r) = r**3 + 24*r**2 - 47*r + 135. Let j be s(-26). Solve -10 = 5*m - j*l, 0 = 2*l - 7*l for m.
-2
Let t = -152 - -157. Solve -2*q + q = 4*c - 15, -t = -3*q - 4*c for q.
-5
Let h = -393 + 402. Solve 9 = -3*l + 12, -3*l - h = -3*p for p.
4
Suppose -b + q + 4 = 0, 0*q - 5*q = 15. Let i be (-1 - b)/(5 + -9 + 3). Solve -4*f - 18 = -i*z, 0*z + 7 = z - f for z.
5
Suppose 12*q = 12*q + 3*q. Solve q = -g + 3*g - 5*l + 10, -5*l = 0 for g.
-5
Let j = 5 + 2. Suppose 0 = -5*i + j*i. Suppose -5*u = -i - 25. Solve -3*z - 1 = 3*c + 20, 4*c = u*z - 10 for c.
-5
Suppose 24*n = 51*n - 54. Solve 2*d = 4, n*o - 4 = d - 2 for o.
2
Suppose 52*h = 60*h - 96. Solve 2*p + 4*l = 8, 13*l = 4*p + h*l + 20 for p.
-4
Let t be 4/8*(6 + -6). Solve -o + 5*l + 0*l + 3 = t, -l - 1 = 0 for o.
-2
Suppose -z - 5*d + 30 = -10*d, -d = 5*z - 20. Solve -8 = -4*b - z*k, -2*b - 2*k = 2*k - 4 for b.
2
Let m be -1*(0 - -1)*-25. Let y(w) = -2*w. Let u be y(-3). Suppose 0 = -r + u*r - m. Solve -h + 22 = -r*o, 0*h - 3*o - 18 = h for h.
-3
Suppose 8*p - 30*p + 66 = 0. Solve 4*d + 17 - 3 = -3*r, 5*r = -p*d - 5 for r.
2
Let p(g) = g**2 + 17*g + 15. Let x be p(-7). Let t = -146 - x. Let h = -60 - t. Solve -5*b - 4*l = h, 3*b = -5*l + 2*l - 21 for b.
-3
Let h be -4 + -1*(1 + -5). Suppose h*l + 4*l - 38 = i, 2*i - 24 = -2*l. Solve l = -5*x - 5*r, 5*x - 5 = r + 3 for x.
1
Let h be (-4)/(20/25) - (-28)/4. Solve -4*p = -3*b + 4, -14*p + h*b + 12 = -15*p for p.
-4
Let s(x) = 3*x + 12. Let g be s(-3). Solve g*a = -z + 2, -4*z - 5*a = -2*a + 1 for z.
-1
Let g be -10 + 6/(7/((-21)/(-6))). Let d be 2/g - (-132)/(-77) - -4. Solve -3*i - 11 = d*p, -p + 8 = 2*i - 5*i for p.
-1
Let t(m) be the third derivative of -m**4/8 + 11*m**3 - 8*m**2. Let z be t(21). Solve 12 = -z*v - 3*u, v - 8*u + 3*u = 20 for v.
0
Let l be 12/(-120) + 11/10. Solve -a - l = 4*n + 2, n = 2*a - 3 for a.
1
Let b(d) = -d - 11. Let p be 1/2*(-520)/20. Let x be b(p). Solve -3*u + 3*m + 12 = -x*u, 2*u - m + 1 = 0 for u.
-3
Let f = -22 + 30. Solve -k + 4 = 0, -4*z = -f*z - 2*k + 8 for z.
0
Suppose -v - 175 - 136 = -4*n, 4*n - 341 = -5*v. Let o = n + -75. Solve -d = o*d - 4*m - 13, 4*m + 3 = 3*d for d.
5
Let y be 8/16 - (-6)/4. Let x = 3 - y. Let z be -1 + 120/(2 + x). Solve 7 - z = -3*n + 4*b, 2*n + 3*b = -7 for n.
4
Let d be 5/(15/(-6)) - 54. Let r be (1/(-1))/(2/d). Solve -4*k = 2*b + 12 + 2, -3*k - 5*b - r = 0 for k.
-1
Suppose 3*a + 3*h - 3 = 0, 0 = 5*a + 22*h - 26*h + 4. Solve -5*d + 22 = -5*o + 62, a = -4*d - 12 for o.
5
Suppose 0 = 9*i - 19 + 1. Solve -23 = 5*b + 3*s, b + 10 = -b - i*s for b.
-4
Suppose 3 = 2*i - 1. Suppose -1 - 3 = -j + 2*k, 5*j + i*k = 20. Suppose -7*d + j*d = -12. Solve -d = c, 3 = 2*u + c - 1 for u.
4
Let z be (-4 + 1)*(-16)/(-6). Let v be z/(-16) - 7/(-2). Solve v*h = 3*c + 3, 4*h = -4*c - 1 + 25 for c.
3
Suppose -b + 38 = 5*m, 3*b - 2 + 0 = -m. Suppose -4*h = -4*r + 20, -m = 5*r + h - 3. Solve 32 = -3*d + 4*u, r*d + 2*d - 4*u + 28 = 0 for d.
-4
Suppose -7*y + 9*y = 4*y. Solve -b - 9 = -3*d - y*d, 4*b + 3*d = 24 for b.
3
Let k be 0/(40/(-5) - -6). Solve 2*r + 5*t - 16 = -0, 5*t - 10 = k for r.
3
Suppose -11*m + 3 = -10*m. Solve -c = b - 3*c + 13, -18 = b - m*c for b.
-3
Let n = -16 + 20. Suppose -2*m + n = -4. Suppose -r - 10 = -4*x, -x = m*r + 6 - 0. Solve -3*o + o - 2 = x*w, w - 2*o = 11 for w.
3
Let s(l) = l**2 + 8*l - 7. Let r be s(1). Solve 0 = -2*a + r*u - 10, -4*a + 3*u - 11 = 8*u for a.
-4
Let b = -125 + 175. Let d = 60 - b. Solve -2*k = 5*f + 13, -d + 1 = 3*k + 4*f for k.
1
Suppose 0 = 5*q - 4 - 6. Let r(m) = 3*m**2 - m**q + 3 + 2*m - m - 3*m**2. Let k be r(0). Solve 5*f = k*j - 9, 4*j - 4*f - 16 = 6*j for j.
-2
Let b be 1 + 11 + (-26)/182*14. Let m = 15 + -26. Let c = m + 17. Solve 2*o = 4*l - 18, -c*o + 4*o - 3*l + b = 0 for o.
-1
Suppose -3*x = -18*x + 30. Solve 2*q - 19 = -3*a, 0*q - 21 = -5*a + x*q for a.
5
Suppose 0 = 5*w - 2*d - 5, 2*w + 0*w - 4*d - 2 = 0. Solve 5*y = 2*y - 3, 3*y - w = 2*o for o.
-2
Let m be 2 + (-5)/2 - (-11)/2. Suppose -3*z - 13 = -1. Let q be 0/(-1)*2/z. Solve 0 = -5*i + 5, m*w + q*w - 3*i = -28 for w.
-5
Let y = 66 + -11. Let u be 120/y + (-2)/11. Suppose -u*x + 5*p - 2 = p, 3*x = p + 7. Solve 4*j + 35 = x*g, 0 = -g - 0*g - j for g.
5
Let x be 3 + (-10)/(-12) - (-3)/18. Solve -4 = -k - o, -k + 0*o = x*o - 4 for k.
4
Let f(j) = -j**3 - 7*j**2 - 26*j - 270. Let u be f(-8). Solve -u*g = -3*q - 3 + 2, -4*g = -4*q for g.
-1
Let q be (-1)/(-4) + 507/52. Suppose 0 = 8*h - q*h + 20. Solve -2*k + 39 = 5*r + h, -5*k = -r - 5 for k.
2
Suppose 2*l + 6 = 2*a + 18, -a = 5*l - 12. Suppose -3*x = -2*m + 129, -l*x + 2*m = -5*x - 96. Let f = 63 + x. Solve 0 = -4*p + 3*b - 16 + 43, p = 3*b + f for p.
3
Let v = 5 + 8. Let a be (12/(-5))/(v/(-390)). Suppose -5*u + a = -u. Solve 5*m - 10 = 3*b + u, -6 = -m + b for m.
5
Let n = 10 + -10. Suppose 4*t + 3*p - 14 = n, -2 = -2*t + 3*p - 2*p. Let c be 21/9 + t/3. Solve 0 = c*z + 4*f + 5 + 26, -5*z = -3*f + 13 for z.
-5
Suppose 0 = -138*q + 136*q + 4. Suppose -2*c = 5*m - m - 2, q*