-0 - 4 for x.
-2
Suppose 8*s - 308 = -3*s. Let u = 30 - s. Solve u*b - 20 = -4*l, -4 = 4*l - 5*l for b.
2
Let v = -133 + 136. Let h = -22 - -38. Solve -2*n = -v*u - h, -5*u - 3*n = -2 - 3 for u.
-2
Let a(t) = 53*t**2 - 3*t + 1. Let v be a(1). Let n be (170/v)/(2/3). Solve 2*m = -5*b - 35, -b + 10 = 2*m - n*m for b.
-5
Suppose -t = 33*v - 32*v - 3, 4*t - v = 17. Solve -11 = t*g + b, 7*b = -4*g + 2*b - 7 for g.
-3
Suppose 5*d - z - 29 = 0, 4*d - 3*z = 2*z + 19. Suppose d*f + 186 = 42. Let g = f - -29. Solve g*o + 2 = 2*y + 9*o, 0 = -5*o + 10 for y.
-3
Let l = 41 - 37. Let r be 1*(8 + (l - 1)). Solve 2*q + r = 3*a, 3*a = -2*q + 2*a - 7 for q.
-4
Suppose -45 = 5*d + 60. Let q = -13 - d. Let j be 4 - (8/6)/((-24)/(-36)). Solve j*y = f - 2*f + q, -30 = -5*y - 5*f for y.
2
Let s = 102 + -72. Suppose s = -2*g + 34. Solve 2*w - 7 = -g*h - 3, -5*h = -3*w - 26 for w.
-2
Let g(f) = -f**2 + 14*f - 4. Let z be g(12). Solve 3*l - 3*n = -15, 0 = l + 3*l + 3*n + z for l.
-5
Let z(h) = -h**2 + 2*h. Let w be z(3). Let g = 5 + w. Solve -3*p + 5*t = 2*p - 30, 24 = 5*p - g*t for p.
4
Suppose 8*d = 9*d + 2. Let r(i) = i**3 + i**2 - 3*i. Let q be r(d). Solve 2*v - 8 = q*j - 2*v, 0 = -4*j + 3*v - 6 for j.
0
Suppose -w = 2*g - 16 + 3, -2 = -g. Suppose 0 = 5*d - w*d + 36. Solve 0 = -4*s - 0*s + 3*r - 31, -4*s - 5*r = -d for s.
-4
Let m = -17 + 8. Let r be 1148/63 - (-2)/m. Suppose -n = 5*h - 3 - 3, 0 = h - 4*n - r. Solve -5*l + 19 - h = -a, 5*a - 3*l - 3 = 0 for a.
3
Let b = 8 + 11. Suppose 4 - b = -3*f. Solve -3*x - f*q + 25 = 0, -4*x - q + 5 = x for x.
0
Suppose 2*x - x - 3*m = -13, 2*x = m - 21. Suppose 2*g - g - 12 = -2*a, -a = -5*g + 60. Let i = x + g. Solve 3*b + 0*q = -4*q - 31, -5*b - i*q - 33 = 0 for b.
-5
Let n(k) = 0*k**3 + 2*k**2 + 8 - 7*k**2 - k**3 + 7*k + 3*k**2. Let s be n(-4). Solve 4*d - s = 0, -2*d = 4*f + 3*d - 7 for f.
-2
Let o(p) = -p**2 - 59*p - 778. Let s be o(-20). Solve -c + 9 = -3*u + 26, -4*u = s*c - 16 for c.
-2
Suppose 3*x - 15*x = -48. Solve -v - 7 = -x*q - 0, -q - 4*v = 11 for q.
1
Let t = 28 + -6. Let g = 24 - t. Solve -a - 27 = 4*a - g*j, -j + 16 = -3*a for a.
-5
Suppose -1076*q + 1078*q = 4. Let o(v) = -4*v**3 - v**2 + 1. Let w be o(-1). Solve 0 = 4*z + q*a + 2 - 4, -w = -4*z - 4*a for z.
0
Let r be 295/30 + 6/36. Solve 0 = 5*u - r*u - 3*m + 32, 2*u - 16 = -2*m for u.
4
Let t = -1 + -2. Let n = -27 - -18. Let d be (n/t)/(12/16). Solve 2*l = -4*p + p - 4, 16 = d*l for p.
-4
Let v(l) = 31*l - 330. Let q be v(11). Solve -2*f + 5*z = q, -3*z - 8 = 3*f - 2 for f.
-3
Let t = 1049 - 1034. Solve 0 = -4*w + 2*c - 22, 4*w + t = 2*w + 5*c for w.
-5
Let x be (1*2/(-8))/(57/(-228)). Solve -4*b - 5 = -3*q, x + 0 = -b + q for b.
-2
Suppose -t - 5*a + 33 = t, -4*t + 4*a = -52. Let c be 20/(-70) + 74/t. Solve -b = c*f - 22, 4*f - 1 = b + 13 for f.
4
Let c be (-8)/(-10)*(-40)/(-16). Suppose 3*o = -c*o. Solve 6 - 1 = -r, 4*a - 4*r - 24 = o for a.
1
Let w = 4 - 2. Let d(o) = o**3 - 9*o**2 + 7*o + 3. Let m be d(8). Let f = m - -5. Solve -5*q = -f*s - w*s - 10, q + 16 = 4*s for q.
4
Let g(h) = -2*h - 4. Let s be g(-4). Let r(b) = -2*b**2 - 58*b - 56. Let f be r(-28). Solve f = s*z + 2*l - 21 + 1, z = 3*l - 9 for z.
3
Suppose 2*l = -t - 6, -5 = 5*t + 4*l + 7. Let f be (-24)/18*(-3)/2 + t. Solve -f*b + v + 9 = 1, 0 = -4*b + 5*v + 16 for b.
4
Let x(b) = -4*b - 57. Let m be x(-18). Let s = 32 - m. Solve 0 = 2*g - 7*g - 2*p + s, 4*p = -4*g + 4 for g.
5
Let k = 6 - 6. Suppose 7*u + 3 - 10 = k. Solve 0*y = y - 3*m - 2, 0 = 5*y - 4*m + u for y.
-1
Let l(h) = 2*h**3 - 43*h**2 + 22*h - 19. Let g be l(21). Suppose 3*n + 9 = -2*j, -j + g*n = -7 + 1. Solve t - 10 = -2*s - t, j = -s - 2*t + 9 for s.
1
Suppose -2*v = -0*v - 18. Let o be (0 + (-6)/v)*-3. Let u be -4 - 7*(-3 - -2). Solve -o*l = -5*f - 9, f + 4*f + 6 = u*l for l.
-3
Let l = 35 + -26. Let y be 2*(l/2)/3. Solve 2*w + y*i = 4*w - 23, 2*w + 17 = -5*i for w.
4
Suppose -2*g = -f - 4, 106*g + 2*f - 2 = 108*g. Let z = -16 + 29. Solve -z = -3*t - 4*x, g*t - 7 = 3*t - x for t.
3
Suppose -4 = -2*j - 0. Suppose -3*f - 2*x = 3*x + 22, -12 = -j*f + 2*x. Solve 0 = k + f, 4*g + 3 - 15 = 4*k for g.
2
Let f be ((24/(-9))/4)/((-10)/(-75)). Let w(n) = n + 10. Let s be w(f). Solve -4*d + 4*r + 21 = -3*d, -40 = -4*d + s*r for d.
5
Suppose -2 = q - 2*q. Suppose -4 = k - q*k. Solve -k*n = -n + 9, -3*n - 9 = -4*d for d.
0
Let x be (-14)/(-4) - (-1)/(-2). Suppose -x*q - 24 = -q. Let z = -10 - q. Solve 0*r = z*r + 6, -5*b - 15 = 5*r for b.
0
Let d be -4 - -2*(-3 + 5). Let l(n) = -6*n**3 + 2*n + 1. Let j be l(-1). Solve -j*b + 3*a = -d*a + 19, 5*b - 2*a = -16 for b.
-2
Suppose 10 = 2*y - 4*g, 5*y - 2*g = 11 + 6. Solve -2*j + 5 = 4*a - 9, 13 = 2*j + y*a for j.
5
Let s be (0/3)/((-4)/(-2)). Suppose -y = -x - 5, 3*y - 2*y + 3*x - 17 = s. Solve -5*l = -5*w + 3 - y, 2 = -2*w - 3*l for w.
-1
Let n be (-46)/(-7) + (-3)/(-7). Suppose -16 = -n*r + 3*r. Let s be 6*(4/(-2) - 14/(-6)). Solve -22 = -s*m + 4*m - r*q, 4*q - 27 = 3*m for m.
-5
Let o be 8 + (1 - -3 - 7). Suppose 3*d + 5 = -j, 12 = -2*d + o*d. Let z = j - -19. Solve 3*q + 11 = t, -4*t = -z*t - 2*q - 10 for t.
2
Suppose 11*n - u = 10*n + 3, -5 = 5*u. Solve -n*o + 3*f - 14 + 0 = 0, 3*f - 17 = 5*o for o.
-1
Let p(m) = 7*m - 1. Let d be p(2). Suppose -6*w - 14 = -d*w. Solve 0 = 2*o, 5*r - 3*o + w*o = -20 for r.
-4
Suppose -4*s + 0*s = -5*c + 22, -5*c = -2*s - 26. Solve -10 = -5*i, -2*i + c = 5*k - 4*k for k.
2
Suppose 3*n + 0*z + z = 5, -4*n + z = -9. Solve 19 = 4*v + 3*s, -v - 3*s + 9 = n*s for v.
4
Suppose z - 4*z = -54. Suppose -5*l + 10 = 4*y, -z = -5*l + 2*y - 8. Solve -p + l = 5*j + 31, 0 = 4*j + p + 24 for j.
-5
Suppose -2*u = 6, -5*q + 9*u + 85 = 14*u. Solve 4*x - q = -5*s + s, -2*x - 8 = -4*s for x.
2
Let n = 6 + 30. Let a = 40 - n. Let f = -5 - -8. Solve 2*l - 10 = 0, -f*x + 5*l - 11 = a*l for x.
-2
Let f(j) be the second derivative of -j**4/12 - 19*j**3/6 + j**2 + 2*j. Let p be f(-19). Solve -i + 2*v + 14 = -6*i, 0 = p*i + 2*v + 8 for i.
-2
Suppose 4*p - c - 13 = 0, -2*p + 0*c + 5*c + 11 = 0. Suppose 31 = p*m + 19. Solve -m*w + 0*w - 3*t = 8, 3*t + 13 = w for w.
1
Let m be (-4)/10 + (-36)/10. Let i be m*(-2)/(16/18). Let x(c) = -9*c**3 + 4*c**2 + 4*c + 1. Let u be x(-1). Solve -l + v + v = i, -u = -5*l - v for l.
1
Suppose -2*w + 5*d + 45 = 3*w, -2*d = 10. Let m be 6/w*(7 - 5). Solve -2*q + v + 4 = m*v, v - 4 = -3*q for q.
1
Suppose -h = -0*h - 13. Let z be (-17)/(-4) - h/52. Solve 4*j + 6 = 5*d, 4*d + z*j + 9 = -15 for d.
-2
Let s = -825 - -825. Solve 2*i = -5*n + n - 6, s = 2*i + 2*n + 2 for i.
1
Let t(m) be the third derivative of m**5/60 - m**4/3 - m**3 + 13*m**2. Let x be t(9). Solve -x = -b + 4*r, 2 = 2*b - 5*r + r for b.
-1
Suppose 0 = -4*r + 4, 6*r - 4*r + 10 = 4*k. Suppose 20 - 14 = k*x. Solve -u - 3*u + 2*n + 4 = 0, -4 = -2*u + x*n for u.
0
Suppose 0*s + 4*s = 104. Suppose 0 = 3*h - 4 - s. Let d be (3*2)/(-6*1/(-4)). Solve -d*n = 4*o + 20, -2*n - h = -0*n - 2*o for n.
-5
Let a = -27 + 47. Suppose 5*h = 9*h - a. Solve -2*b = -5*m - 0*b + 7, -4*b = -m + h for m.
1
Let b = -27 + 27. Suppose -2*r - 5 + 15 = b. Solve 0 = -5*l + 4*g + 30, r*l = 3*g - 4*g + 5 for l.
2
Let w = -352 + 357. Solve -19 = -3*s + p - w*p, -15 = -3*s - 3*p for s.
1
Let y(q) = 2*q - 1. Let m be y(2). Suppose 0 = 6*l - l - 70. Suppose -2*r + l = -0*r + 2*n, -m*r + 6 = -2*n. Solve 4 = -r*s - 4*w, -s + 2*w + 11 = -0*s for s.
3
Suppose f - 62 = 5*l - 37, -4*f - 5*l = 0. Solve -2*j - f*h + 17 = 1, 5*j - 2*h = -18 for j.
-2
Let b = -6 - -9. Suppose -b*l + 4 + 2 = 0. Let o(d) = d**3 - 10*d**2 - 15*d + 47. Let p be o(11). Solve -s + 2 = -l*s, 0 = p*j - 2*s + 8 for j.
-4
Let d = 244 - 238. Solve 0 = -4*y - 20, -3*y = 2*n - d*n + 19 for n.
1
Suppose -112*h + 114*h = 8. Solve -3*u + y + 5 = -9, 0 = 2*u + h*y + 14 for u.
3
Suppose 5*j - 9 = -4. Suppose -7*s + 23 = 100. Let c be (2/4)/(s/(-88)). Solve -4*v = -0*v + c, -v = 5*g + j for g.
0
Let k be (-2 - (-24)/16)*(0 - 10). Solve 3*q + z + 1 = 0, -q + 2*z + 5 = k*z for q.
-1
Let j = 156 + -154. Solve j*h = 3*p - 19, -3*h - 4 = -h for p.
5
Let r = 6717 - 6717. Let c be 0 + 1 + 2 + 1. Solve c*v + 4*f - 20 = r, 0 = -7*v + 3*v - 3*f + 17 for v.
2
Let h(l) = 8 - 1 + 13*l**2 - 5 + l**3 + 23*l + 13. Let w be h(-11). Solve 3*z + 15 = s, s = -w*z + 2*s - 19 for z.
-4
Su