= l*g - 12, -g + 5 - 2 = -n for n.
0
Let v be -5*((-78)/30 + 2). Let u(a) = 2*a + 6. Let x be u(5). Suppose 4*b - x = -0*b. Solve s = -v*m + 2*m + 8, b*m - 4*s + 8 = 0 for m.
3
Suppose 2*t + 3 = -t. Let p be 0 - (t + -1) - 0. Let q = -64 - -69. Solve o - q = m, p*o + 3*m + 15 = 4*o for o.
0
Suppose k - 7 = -h, 73*k = -5*h + 77*k - 1. Solve 8 - h = 2*x - 5*q, -4*x - 4*q - 4 = 0 for x.
0
Let t = -49 - -20. Let l = -179 - -213. Let a = l + t. Solve -4*r = -2*z - 10, 0 = -5*z - a*r - 10 - 0 for z.
-3
Suppose k - 4*k = -5*w + 84, 3*k = -4*w + 78. Suppose w = u - 3*t, -11 = -2*u + 3*t + 13. Solve -f = 4*r - u - 1, 7 = -5*r + 4*f for r.
1
Let b(t) = -38*t**2 - 229*t - 1. Let m be b(-6). Solve f + 20 = 5*h, -5*h + m*f - 2*f = -10 for h.
5
Let a(o) = -2*o**2 + 8*o + 45. Let j be a(7). Solve 2*k + 2*h = 4, 4*k - 7*k + j*h = -6 for k.
2
Let d be (-5)/2*(-132)/30. Suppose -5*r - 3*s + 9 = 0, -5*r - s + d = s. Solve -r*x - 11 = -m, 5*x = m + m - 20 for x.
-2
Suppose -j = 3*q - 22 - 11, 0 = 5*q - 5*j - 75. Suppose -2*s = -20 + q. Solve -2*c = -4*m - 2, -8 = s*m + 5*c - c for m.
-1
Let b be (60/(-8))/(3/64). Let q be ((-1)/2)/(5/b). Solve 5*a + g + 13 = 2*g, q = -2*a - 5*g for a.
-3
Suppose -2*o + 7 - 33 = 0. Let b be (-86)/10 - (-6)/(-15). Let h = b - o. Solve c = 4*l - 14, 5*c + 0*l + h = -2*l for c.
-2
Suppose 35 = -3*n + 10*n. Solve c + 7 = -c + v, 0 = -c - v - n for c.
-4
Let i(p) = -3*p**2 + 61*p - 17. Let g be i(20). Suppose 16 = 5*n + 1. Solve 20 = -3*u - 2*v - g*v, -n*v = 3 for u.
-5
Let l(p) = -p**3 + 0 + 0 - 5*p**2 - 5*p. Suppose -6*z + 2*v - 2 = -3*z, -3*z - 22 = 2*v. Let b be l(z). Solve 3*c = h + 3 - 0, -b*c + h + 4 = 0 for c.
1
Suppose 0 = 4*t + 3*i - 53, t - 7 + 0 = -2*i. Solve 4*k = 4*u + 16, t*k = -u + 15*k + 11 for u.
1
Suppose -5*a + 12 = 2. Suppose h - 5*o = -7, a*h - 2*o = -o + 4. Solve 5*m - 4*g - 21 = 0, h*m + m = -5*g - 16 for m.
1
Let h(i) = -7*i - 22. Let y be h(-4). Let q be (-16)/(-20)*15/y. Solve 0 = -4*n - 12, -3*s + 6 = -q*s - 2*n for s.
0
Suppose 6*u = 4*u + 4*g + 6, u + 5 = -2*g. Let a be u + 4 - 4/(4 - 8). Solve i = 5*p - 9, -a = p - 5*p + 4*i for p.
2
Suppose 0 = -0*c - 5*c - 40. Let y be (-20)/c*8/5. Let x(j) = j**3 + 6*j**2 + 4*j. Let u be x(-5). Solve -10 = 4*z + a, u = -3*z + y*z + 4*a for z.
-3
Suppose 10*y - 132 = 6*y. Let p be 3/(y/2) + (-279)/(-99). Solve 3*z + 1 = 4*o - 4, p*o + 5 = 4*z for z.
5
Let b be 7 + -2 + -3 - 0/3. Solve x + y = -2, 0 = -4*x + b*y - 5*y - 10 for x.
-4
Let r be (-1)/(-7) - ((-81)/21 - 0). Solve r*b = -4*j, -12*b = -10*b + 4*j for b.
0
Let z = 305 - 301. Solve 0 = -w + 4*j + 17 - 2, -15 = -z*w + j for w.
3
Let v be (-22)/(-8) + (-63)/84. Suppose v*z - 9 = 3. Let i be 3 - 0 - 2/2. Solve 5*t = -i*d - 2, -4*d + 3*d = -t - z for t.
-2
Let q be (1 + 1)/((-2)/(-5)). Let v = 7 + q. Let s be 4*2/8*v. Solve -4 = 4*r + 2*g + s, -3*g = 0 for r.
-4
Let c(v) = -2*v**2 - 11*v + 3. Let h be c(0). Solve -5*n - 18 = h*t, n + n + 4 = 2*t for n.
-3
Suppose 0 = 10*d - 98 - 72. Solve -p - 15 = 5*k, 2*k - d = -0*k - 5*p for k.
-4
Suppose -3*h + 4 = 5*j - 1, j = -4*h + 1. Let i be 0 - -8 - (-2 - h). Let y = i - 6. Solve -5*x - 2*q - 25 = 0, -3 + 1 = y*x - 2*q for x.
-3
Let o(n) = -n**3 + 8*n**2 - 17*n + 32. Let w be o(6). Solve w = 3*t - 7*t + k, 4*k = 5*t - 3 for t.
-1
Let w be (68/(-4) - -2)*-1. Suppose -5*v + w = 2*h, 2*v - 7 = -5*h - 1. Solve -5*f - 2*o + 4*o = 10, 15 = -5*f + v*o for f.
0
Let w = -65 + 66. Solve -q - 2*q + 2 = 2*y, 0 = q + y + w for q.
4
Suppose 0 = -x + 3*u + 11, x - 2*u + 6 = 15. Solve x*d - 3 = -3*r + 8, 2*d - 3*r = -4 for d.
1
Suppose -19 = -2*n - 19. Solve -2*w - v - 9 = 0, -v - 4*v - 15 = n for w.
-3
Let h be (-24)/12 + -20 + 0. Let b be 1 + 0 + h/(-2). Suppose c - 4*c = -b. Solve -8*m + 20 = -4*m - 4*q, 5*m = -2*q + c for m.
2
Let d be ((-4)/(-3))/((-4)/(-6)). Suppose d*o + 3 = 7. Let a = 863 + -855. Solve 3*u - 4*i + 2*i + a = 0, o*i + 4 = -3*u for u.
-2
Let c be 8/1 + -2 + -6 + 4. Suppose -15 - 14 = -2*h + 5*z, 3*h = 2*z + 38. Suppose -2*q = 2*q - h. Solve -q = 4*k - 3*y - 2, c*k = -4*y - 36 for k.
-4
Let m be 15/18 - 2/(-12). Let g = m - -4. Solve u = -4*c - 6 - 9, 4*c + 27 = -g*u for u.
-3
Let x = 229 + -229. Solve 2*o + 0 = 3*l + 7, -4*o - l + 21 = x for o.
5
Let x be -12*8/(-54) + 8/36. Solve -3*m + x = 4*h, -13*h + 8 = -9*h for m.
-2
Let q(y) be the first derivative of 2*y**3/3 + 6*y**2 - 11*y - 4. Let d be q(-8). Solve 0*i - d = 3*g - 5*i, 5*g - 4*i = -22 for g.
-2
Suppose 629 = 31*p - 84. Solve 4*h = -3*r + p, 5 = 4*h + 4*r - 19 for h.
5
Suppose -5*g - 6*u + 28 = -5*u, -6 = -2*u. Solve c - g = -2*p - 0, p - 13 = -4*c for p.
1
Let c(z) = -z**3 + 21*z**2 - 18*z - 25. Let q be c(20). Suppose -q = -p + 4*j, -p - 2*j - 12 = 3*j. Solve -3*x = p*d - 8*x + 16, -2*x = -4 for d.
-2
Suppose 29*w - 3*s = 28*w + 21, 1 = w + s. Solve -8 + 23 = -l - 4*x, l + w = -x for l.
-3
Let i = -49 + 53. Suppose -5*s + h = -i*h - 15, h = 1. Solve -5*t - s*d + 1 = 0, -4*t + 4*d + 5 = 3*d for t.
1
Suppose 5*q - 20 = 4*h - 79, 4*h + 2*q = 66. Solve -3*k + h = 5*u, 5*k = -6*u + u + 10 for u.
5
Suppose -10 = -3*t - 2*p - 6, -t = 5*p + 16. Solve -3*x = 5*f + 7, 2*f + t*x = 6*f + 12 for f.
-2
Let c be ((-2)/(-8))/((-13)/(-676)). Suppose -4*d - 1 + 14 = r, 3*r = d + c. Solve 5*l = 2*b, -r*b + 25 = -10*b for l.
-2
Let p be 4/(-7) + (4 - (-1280)/35). Solve -5*z + 20 = 0, 3*k + 5*z = p - 8 for k.
4
Suppose -8*k - 12 = -11*k. Let t be 1/k - (-141)/12*1. Solve -4*y - 5*s = 16, 4*s + t = s for y.
1
Let y = 50 + -43. Let s(o) = -6*o**2 + 42*o + 4. Let w be s(y). Solve -5*d + 3*c = 26, 5*c + w = 5*d + 34 for d.
-4
Let u(o) = o**3 + 6*o**2 + 8*o + 2. Suppose 5*p + 1 = 3*y, y + 2*p + 3*p + 13 = 0. Let z be u(y). Solve 11 = 5*w + a - 0, -z = -2*w - a for w.
2
Let i = 1278 + -1267. Solve 5*x - i = 4*c, 3*x - 4 = 4*c + c for x.
3
Let r = 234 + -231. Solve -5*p = 4*x - r*x - 15, -4*p + 36 = -4*x for p.
4
Suppose a - 3 = 2*v, 7*v - 3*v - 15 = 5*a. Let f = a - -29. Let t be (-55)/f*4/(-5). Solve -4*s + 5 = -5*h, s + t = 5*s - 2*h for s.
0
Let y = 1 + 19. Suppose -8*d = -12*d + y. Solve 0 = z - 5*v + 4, 0 = d*z + 2*v + 20 for z.
-4
Let s = 200 - 196. Solve 0*o = s*o + 5*j + 35, 5*j = -15 for o.
-5
Let t(m) = m**3 - 6*m**2 + 6*m + 8. Suppose 4*k - 4*r + 4 = 0, -r = 1 - 6. Let c be t(k). Suppose -3*j + 5 + 7 = c. Solve -2*d + 2 = j*f - 0*d, -3*d = -3 for f.
0
Let a(b) = 2*b + 15. Let i be a(-7). Suppose 2*c = -c - 3*m + 15, -2*m + 15 = 3*c. Solve -4*u + c*s = i, -s + 0*s = -4*u + 3 for u.
1
Let f be (-1620)/(-102) + (-2)/(-68)*4. Let q(g) = 2*g**2 - 1. Let p be q(2). Suppose 3*c - 34 = 38. Solve 4*r - f + p = t, -r = 5*t + c for t.
-5
Let k be 4/6 - (-28)/12. Let n(z) = -2*z**3 - 59*z**2 + 26*z - 118. Let r be n(-30). Let h = 1 - 1. Solve a + y = k, y + h = r for a.
1
Let b(z) = 4*z + 3. Let y be b(-10). Let o = y - -41. Solve 6 = -x + 7, 5*j = -o*x + 14 for j.
2
Let o = 85 + -71. Suppose 0 = -o*p + 33 + 9. Solve -5*z + 2*q + 2*q - 33 = 0, 25 = -p*z + 5*q for z.
-5
Let p be (-12 - -8)*(-3)/4. Suppose 7 = 2*b - p. Solve 2*c - 5 = -x, -x + 2*c + c - b = 0 for x.
1
Suppose -6*d = -d + 10, f - 4 = 2*d. Suppose f = 5*u - u - 88. Let w = u + -3. Solve 0 = -g - 5, -1 - w = -4*a + 4*g for a.
0
Let w(r) = 12*r - 1. Let i be w(1). Suppose 3*g = -3*u - 12, 5*u = -g - 33 + 13. Suppose -v + i - 8 = g. Solve -2*y - v*p + 10 = -4*p, -p - 4 = 0 for y.
3
Let y(k) = 3*k**2 - 4*k + 3. Let h be y(0). Let p(n) = n**2 - n + 6. Let j be p(0). Let f be (-8)/j*4*-3. Solve 5*l - r + f = 0, -5*l - 28 = h*r + 4 for l.
-4
Let w = -181 - -184. Solve 5*g + 4*t = 0, 0 = -5*g + 2*g + w*t + 27 for g.
4
Let x(d) = -6*d**2 + 5 + 6*d + 1 - 5 + d**3 + 0. Let y be x(5). Solve 5*g - 3*o + 15 = o, -2*g - o - y = 0 for g.
-3
Let s(x) = -x**2 - 3*x - 7. Let v be s(-5). Let j = 20 + v. Solve -3*p - 6*b + j*b = -3, -4*p + 5*b = -40 for p.
5
Suppose -2*j = -4*l - 14, 0 = -5*j - 4*l + 8*l + 23. Let z be 2 - (-3 + j) - -13. Let b be (6/z)/(4/60). Solve -b = -4*a + 2*o, 3*o - o = 2*a - 6 for a.
0
Let m be (5*(-3)/(-3))/((-1)/(-2)). Suppose 0 = 5*l - 13 + 3. Solve l*v - 3*x = -7*x - m, -2*v + x = -10 for v.
3
Suppose -8 = -4*f + 4*t, -5*t = f - t + 18. Let c be (f/4)/(-2 + (-21)/(-12)). Solve 0 = c*m - g + 2*g, 0 = -3*m + 5*g for m.
0
Suppose h = 15 - 6. Solve -h = c - 2*x,