m = 4*h + 17 - 5 for h.
-2
Suppose 0 = -3*p + 4*g, 0 = 4*p + 5*g + 2 - 33. Solve l = -6*v + 2*v + 1, 0 = 4*l - 4*v - p for l.
1
Suppose 5*n + 4 - 9 = 0. Solve -3*p = -p - 5*u - 11, -n = -2*p - 5*u for p.
3
Let f = 97 + -71. Let u = 29 - f. Solve r + 4*l = 1 - 21, 4*r + 15 = -u*l for r.
0
Let i be (15/(-6))/(-3*1/6). Solve -4*y + 4*a = i*a + 3, -3*y = 2*a + 6 for y.
0
Let r(b) = 14*b**3 - b**2 + 2*b - 1. Let j = -8 - -12. Suppose -j*t = -5*t + 1. Let m be r(t). Solve -5*l = p - 4*p + 22, -p + 5*l + m = 0 for p.
4
Let h be (-2)/8 - 26/(-8). Let p(x) = -x**2 - 495*x**3 + 2*x**2 + 2*x**2 + 3*x - 7*x**2 + 496*x**3. Let d be p(h). Solve -4*o + 5*a = -3, d*o + 1 = o - a for o.
2
Suppose 4*y + 2 - 4 = -2*q, -4*q - 18 = -3*y. Let u = 3 + q. Solve 0 = -u*r - 3*r + 5*i + 19, 5*r - 5*i = 25 for r.
3
Suppose -2511*w + 2508*w + 15 = 0. Solve 2*t = -2*u, 5*u + 3 = -3*t + w for t.
-1
Let p(z) be the first derivative of z**2/2 + 13*z + 31. Let g be p(-11). Solve -2*r - 3*k = 2*k + 3, -g*r - 3*k = 1 for r.
1
Let y = 1987 - 1987. Solve -3*p = -2*a - 9, -5*a + 6*a - 3*p + 9 = y for a.
0
Suppose -4*b = 2*p + 3*p - 27, p = -b + 6. Suppose 5*a - p*a = 8. Solve -2*d - a*v + 22 = 0, -2*d - v + 0*v + 13 = 0 for d.
5
Let z = 119 + -115. Solve -3*u = 2*p, u = -4*u + z*p for u.
0
Let c be 4/6 - (-35)/(-45)*-3. Solve -k + 2*g = c, -2 + 12 = 5*g for k.
1
Let a be (3/3)/(3/(-3)). Let v be (1 - a)/(3/48). Suppose u = 4*j - 39 - v, 19 = j + u. Solve 0 = 3*q + 4*y - 17 - 9, 4*q + 2*y = j for q.
2
Suppose h = 3*h. Suppose 0 = -4*w - i + 12, h = -w - 3*i + 2 + 1. Solve 5*o = -2*r - 3, -5*r - 4*o - 2 = -w for r.
1
Suppose 0 = -92*u + 76*u + 32. Solve -u*i - 2*i = -3*t + 23, 4*t = 20 for i.
-2
Suppose 0 = 2*f + 62 - 12. Let a = -22 - f. Solve -k - 2*d + 15 = 0, -4*k + 0*d = -a*d - 5 for k.
5
Let d(g) = g**3 - 8*g**2 - 5*g + 3. Let p be d(9). Suppose 99 = -4*c + p. Let a = c + 24. Solve -5*u - a = -3*j, j + 3 = -2*j + u for j.
-2
Let u be 0 + (-2 - (-21 + -1)). Suppose 0 = 2*a + 5*y + 6, 0 = 3*a + 3*y - 0 - 9. Let m be (6 - 2)*(8 - a). Solve 2*j = -5*z + u, m*z - 6 = z for j.
5
Let x = -283 - -294. Solve 7 = 4*j + f, 0*f + 4*f = j + x for j.
1
Let b = -805 + 809. Solve 0*y = y + 5*t - 16, 0 = -5*y - b*t - 4 for y.
-4
Let x = -6 - -2. Let l = -31 - -31. Let z be l + x/(2*-2). Solve 0 = 2*a + 2*a - i + 11, 4*a - z = -3*i for a.
-2
Suppose 0 = -v + 2*v - 4. Let g be 206/(1 - 3) + (0 - -3). Let c be ((-2)/4)/(25/g). Solve -v*f = 5*m - 24, c*m + 0 = -5*f + 13 for f.
1
Let h be -3*(-2 - -1 - 0). Solve -h*w + 3*o = 1 + 2, w - 4*o = -13 for w.
3
Let z(j) = j**3 - 3*j + 1. Let s be z(2). Let i(r) = -r**2 + 46*r - 151. Let o be i(42). Solve -5*q - f = -4*q - 7, -f + o = s*q for q.
5
Let n be 11/(22/(-6)) + 8. Solve -8 = f - n*i + i, 0 = 2*f + 3*i + 5 for f.
-4
Let g(r) = -r**2 + 13*r - 7. Let l = -10 + 10. Let f be 0 + (l - (-8 + -3)). Let y be g(f). Solve -5*k = -2*k - t + y, 0 = -5*k + 3*t - 29 for k.
-4
Let l be (3/(-12))/((-2)/40). Suppose -2*m = -l*f + 4, m - 3*f + 12 = 3*m. Solve -y = -0*y - 5*t + 22, y = -m*t + 10 for y.
-2
Let s = -22 - -35. Solve -2*z + s = 5*g - 5, -3*g = -5*z - 17 for z.
-1
Let i(b) = 5*b**2 + 6*b - 6. Suppose -7 = -99*n + 92*n. Let c be i(n). Solve u + c - 3 = 3*m, 5*m = -3*u - 6 for m.
0
Let w = 5 + -2. Let b be -1*1/2 - (-1)/(-2). Let k be (3*b)/((-340)/(-88) - 4). Solve -w*f = -r + 6*r + k, 2*r = 4*f + 12 for f.
-4
Suppose -4*y = -y - 15. Suppose -56 = -4*t - 4*x - 8, -t - 4*x = 3. Let a = t - 2. Solve -4*o = p - 12, -4*p + a = y*o - 2*p for o.
3
Suppose 25*k = 32*k + 126. Let f be 1 + k/6 + 2*1. Solve f = 4*c + z + 17, 2*c = z + z - 16 for c.
-5
Suppose 0 = 4*y - 4, -64 = -5*u - 0*y - 4*y. Let a(k) = 3*k - 40. Let s be a(15). Suppose -u = -s*f + 8. Solve t = 2*t - d, f = -d for t.
-4
Suppose -36*l = 14 - 122. Solve -l*f = 2*m + 10, -4*m + 3*m = -4*f - 17 for f.
-4
Suppose -5*g - 11 = 3*m - 2, -m + 3*g = -11. Solve -a - 2*q = m, -4*a + 10 = 2*q - 3*q for a.
2
Let o(x) = -2*x**3 + x**2 - 2*x + 6. Let f be o(-3). Let k = f + -72. Solve 0*c = v + c, 0 = -3*c + k for v.
-1
Let k = 76 - 33. Let u = -40 + k. Solve v - 8 = q, -u*v = 2*v + q - 22 for v.
5
Let x(m) = -2*m - 2. Let j be x(-2). Suppose 4*d + 2*k = -j*k + 24, 2*d - 4*k + 6 = 0. Solve -4*w + 8*n = 3*n + 36, 0 = d*w - 4*n + 28 for w.
-4
Let x be 3/(-9) - (-7)/3. Solve -s = -0*s + 4*i - 16, -17 = -x*s - 5*i for s.
-4
Suppose 11*c = -49*c + 120. Solve c*n + 3*r + 2 = 5, 2*n - 4 = -4*r for n.
0
Suppose 0 = -m + 4*q - 12, 0 - 16 = -m - 3*q. Solve -m*w + 0*w + u = 0, -w = -3*u for w.
0
Let t be ((-7)/14)/(15/(-90)). Solve 6 = -3*y - 3*q, y - q + 9 = t for y.
-4
Suppose -11*r + 9*r = -88. Suppose 3*c = -8*c + r. Suppose 0*t + 6 = t. Solve y = 3*y - c*u + t, 0 = -y + 4*u - 7 for y.
1
Suppose -8*a + 14*a = -6. Let k be 22/8 - a/4. Suppose 0 = 4*r - r. Solve 4*q + r*q - 2 = -5*v, 5*q + 4 = -k*v for v.
2
Let n(l) = -l + 6. Let a be n(-6). Let c be 3/(((-2)/a)/(-1)). Let h be (15/(-2) - (-165)/33)/(5/(-6)). Solve -2*m - c = 2*k, -5 = -2*m - h*k - 27 for m.
-5
Let f(g) = -10 + 7 - 4*g + 40 + 3*g. Let q be f(20). Solve x + q = 3*u + 2*x, -x + 22 = 4*u for u.
5
Let a be ((-3)/(-2))/(24/(-44))*-12. Let l = a - 19. Solve -3*i - 14 = -0*o + 2*o, -l = -i + 4*o for i.
-2
Let x(t) = -4*t - 3. Let h(f) = -9*f - 7. Let g(r) = 3*h(r) - 7*x(r). Let m be g(4). Solve -12 = m*q, w + 4*q - 6 = -20 for w.
-2
Suppose -6*t - 2 = 4*p - t, -2*p + 3*t + 10 = 0. Let g be (-1)/p + 50/4. Suppose -8*v - 2 + 34 = 0. Solve -v*h - r + 13 = 0, -2 = 2*r - g for h.
2
Let n(d) = -d**3 - 7*d**2 + 18*d. Let v be n(-9). Solve -3*x + x + 4*c = v, 3*x - 4*c + 4 = 0 for x.
-4
Let u(l) = l**2 - 3*l - 67. Let x be u(-7). Solve x*k + 0 = -3, 0 = -d - 3*k + 1 for d.
4
Suppose -105 - 51 = -39*j. Solve n + 4*t + 11 = 0, -4*n - 21 = -j*t - 57 for n.
5
Suppose -q - 7*q + 32 = 0. Suppose q*t + 6 - 22 = 0. Solve t*g = -4*w + 2 + 6, 2*w = 2*g for w.
1
Let u = -67 - -115. Suppose -45*p = -u*p. Solve -4*m + 0*m + 2*v - 2 = 0, p = -2*m + 4*v - 16 for m.
2
Let q be 4/(-18) - (-1876)/18. Suppose -m = 3*m - q. Suppose -2*p - 3*c + 7*c = -m, -5*c = p + 22. Solve 0 = -5*r + 4*o - 2, -2*o = p*o - 15 for r.
2
Let k = 1 + 2. Suppose 0 = -5*g, k*y + 0*y + 2*g = 15. Suppose 55 = 5*u + 3*j, y*u - 3*u - 22 = -2*j. Solve -2*f + 4*f = -2*m - 4, -3*f - u = 4*m for m.
-5
Let i(x) = -2*x**3 + 31*x**2 + 18*x - 28. Let f be i(16). Solve 4*q = 5*q - 3*y + 10, 18 = -f*q + y for q.
-4
Suppose -7*j + 66 = -j. Suppose 2*l + g - 5 = 4, 4*l - 2*g - 6 = 0. Solve -4*d = -3*d - l*v + j, -5*d + 30 = 2*v for d.
4
Let h(w) = w**3 - 13*w**2 - 15*w + 12. Let p be h(14). Let s be -54*(4/(-12))/1 + p. Solve -2*n - 5*f = -0*n - s, 2*n - 2*f = 2 for n.
3
Let q = -7 - -7. Suppose 84 = 4*b + 2*o + 2*o, -5*o = -3*b + 95. Solve q*p + 2*u + b = -5*p, 0 = 3*p - 3*u + 15 for p.
-5
Suppose -10 = 5*p - 20. Suppose 3*t - 91 = -3*i + t, 10 = p*t. Solve -5*x = 2*o + i, 5*o - o + 24 = -4*x for o.
-1
Suppose -3*p + 8 + 1 = 0. Suppose -3*z - 509 = -p*g - 89, -4*g + 5*z + 560 = 0. Suppose g = 5*t - 30. Solve 3*r = -2*y - 0*y + 19, 3*r = -5*y + t for r.
3
Let g be (0*(-3)/(-9))/2. Suppose g = -u - 4*m + 11, -3*u - 5*m + 13 + 6 = 0. Solve -2*r = 2*c - 2, -4*c - 11 = -5*r - u*c for r.
2
Suppose -14*n = 2*n. Solve 2*s + 3*f + 17 = n, -s + 3*f + 14 = -0*f for s.
-1
Suppose 8*r - 37 = 3. Let u be ((-36)/r)/(-3) + 6/(-15). Solve 4 = 2*h + x - u*x, h - 4*x - 9 = 0 for h.
1
Let r be (-11)/(-4)*(19 - 7). Let b = r + -28. Let l = -2 + b. Solve -l*k + a + 17 = -a, -a = 1 for k.
5
Let r be 14/(-2)*(-12)/42. Solve 2 = -4*f + r*g, -f - 2*g + 7*g = 5 for f.
0
Let i = 52 - 37. Let x be 15 + -6 + (-6)/(-1). Solve 3*z = -i, 0 = -3*r - 2*r - 2*z - x for r.
-1
Suppose 23 + 2 = 5*u. Suppose 0 = 5*m - 3 - 12. Suppose n - 6 = 6*q - 2*q, -3*q = -m*n + 9. Solve -2*y - 5*o + 18 = 0, -n*y + 3*o = u*o - 12 for y.
4
Suppose -78 = -2*l + 47*j - 45*j, 4*l - 142 = -3*j. Solve 4*c = 5*r - l, -4*r + 17 = -0*c + c for c.
-3
Suppose -2*g + 3*p + 2 = -g, 2*g - 5*p - 5 = 0. Suppose -2 - 7 = -3*f. Solve v + 3*z - 4 = 0, g*v - f = -5*z + 7 for v.
1
Let z = 72 + -39. Suppose 6*w - z = -5*w. Solve 0 = -f + 5*p - w*p, 2*p + 2 = 2*f for f.
2
Suppose -8*y = -3*y. Suppose 4*u + 3*b - 31 = y, -2*u + 3*b = -2*b + 17. Solve u*h - s - 16 = 0, -s - 15 = -h + 2*s for h.
3