 16 = 0, -r = -3*r - 4*l + 14 for r.
1
Let w be (-18)/(-18)*(2 + (70 - -2)). Suppose -5*v + 6 = -w. Solve -2*a = 3*r + r - 16, 3*a = -2*r + v for r.
2
Let h(z) = z + z + 10 - 4*z + 0. Let r be h(3). Solve -2*a - 4*p = 12 + 18, 4*a = r*p for a.
-5
Let k = -998 - -1002. Solve -k*d - 5*q + 13 + 8 = 0, 0 = d + 5*q - 9 for d.
4
Let z be (3/2)/(-9*(-7)/126). Solve -4*a - 29 = -z*l, -3*a - 27 = -4*l - 0*l for a.
-5
Let b be (-3)/(1/((-15)/9)). Let w = -52 - -34. Let t = 18 + w. Solve 2*f - b*x - 5 = t, -f + 4*x = -3*f + 14 for f.
5
Let w be (-34)/(-6) + 3/9. Let p(j) = -25 + 33 + 2*j + 0*j + 30. Let n be p(-17). Solve -2*k = -3*x - w*k - 8, n*k = -4*x - 4 for x.
4
Let f = -63 - -63. Suppose f*m - 4*m = -6*m. Solve -h - h + 3*j + 10 = m, -12 = -5*h + j for h.
2
Suppose 3*h + 5*h + 32 = 0. Let k = h + 9. Solve 3*z - 5 - 16 = -3*m, -4*m + 33 = k*z for z.
5
Let q be 1/1 - (-3 - 2). Let t be 37/4 + ((-36)/(-16))/3. Suppose -2*y - t = -5*c, -q - 2 = -4*c - y. Solve n = 2*f - 5, -c*f + 3*n + 14 = 3*f for f.
1
Suppose 1 = -u, -3*q - 4*u + 6 = 2*q. Solve 4*h - 20 = -r - q*r, 2*r - 25 = -5*h for h.
5
Suppose 4*s = 5*h + 11, 3*h = -5*s - 33 + 56. Solve -n = -4*k - 1, 0 = -3*k + 3*n - s - 8 for k.
1
Let k = -231 - -250. Solve 3*r - k = 5*o + 5*r, 3*o = -5*r - 19 for o.
-3
Suppose -139 + 148 = 3*q. Solve -4*h + 4*n = -36, n = -4*h + q*h + 1 for h.
5
Let m be 1*1*7*1. Suppose -18*c - 84 = -14*c. Let n = 35 + c. Solve b + 4*b + m = 3*i, 0 = 3*i + 2*b - n for i.
4
Let h = -649 - -651. Solve -3*j + 7 = -v, -h*j = 4*v + 2*j - 20 for v.
2
Let t be (0*(-1)/4)/(-1). Suppose 2*o - 13*o + 22 = 0. Solve -2*r + t - 4 = -o*w, -5*r + 20 = 5*w for w.
3
Let n = 192 - 189. Solve 5*y = n*r + 7*y - 9, -5*r + 3*y + 34 = 0 for r.
5
Let p be (-125)/10*34/(-85). Solve -3*x + x + 6 = k, -p*k + 20 = 5*x for k.
2
Let x be (-1)/(-1) + 3 + -2 + 2. Let f(g) = -3*g - 14. Let l be f(-6). Solve -l*j - x*y = 0, -2*j - y + 10 = 3*y for j.
-5
Let h = 144 - 141. Solve 4*b = -16, h = -3*f + 2*f - 2*b for f.
5
Let w = -24 + 28. Suppose w = -n + 8. Solve -18 = -4*z + 2*c, -4*z - n*c = 4 + 8 for z.
2
Let v = 3 + 9. Let k = -10 + v. Solve -k*m - 2*z = 3*m + 9, 5*m = z - 18 for m.
-3
Let n be (-11 + 15)*(-1)/(-2). Solve 0 = -5*c - 2*w - 10, -2*c + n*w = c + 22 for c.
-4
Suppose -r + 24 = o, -4*o + 13 - 1 = 0. Suppose 0 = -9*y + r*y - 12. Solve s - 2*a = -4*a + y, -5*s - 4*a = -5 for s.
1
Let c = 66 + -19. Suppose 4*y - 3*l = 8*y - c, -4*y = 4*l - 52. Solve 0 = -4*f - 4*k + 3 + 17, 2*f = 4*k - y for f.
2
Let t(p) = -p**3 - 7*p**2 + 7*p - 5. Let m(n) = 7*n - 3 + 0 - 1 - 2*n**2. Let d be m(4). Let q be t(d). Solve -15 = 6*g - g, -3*r + 3*g - q = 0 for r.
-4
Suppose 7*v = -2 - 89. Let q be -1 - -4 - (-13 - v). Let k be 1/(-1 - 3/(-2)). Solve -q*j - 9 = 0, 3*j = k*p - j - 20 for p.
4
Suppose 11*l = 36 + 19. Suppose -l*k - 10 = -4*t, 0 + 6 = 5*t - 3*k. Solve 5*q + 4*f - 8 = t, 0 = 3*q + 4*f - 8 for q.
0
Suppose -2*r - 3*k + 36 = 0, 0 = 4*r - k - k - 88. Suppose -58 = -q - 55. Solve 0*a = 4*c + q*a - 6, -r = -5*c + 3*a for c.
3
Let n(l) = -l**3 + 0*l**3 - l**2 + 7*l**2 + 2*l**3. Suppose -2*s - 5*j + 0*j = -8, 5*s + 42 = 3*j. Let d be n(s). Solve -3 + d = -x - 2*w, 0 = x - w for x.
1
Let b be 0*(10/(-3) - -3). Suppose b = 4*t - t. Let y(r) = -r**3 + 8*r**2 + 4. Let q be y(8). Solve -j = q, -2*j = p - t*j + 11 for p.
-3
Suppose 2*z + 2*u = -0*z - 10, 6 = 3*z - 4*u. Let b be (-26)/(-6) - z/(-6). Suppose 13*g + 5*g = 6*g. Solve -5*y - x - 25 = g, y = 2*y - b*x + 5 for y.
-5
Let w(x) = x**3 - 50*x**2 + 401*x - 35. Let y be w(40). Solve -d - 3*o + 2 = 0, -4*d + o - y*o = -16 for d.
5
Let a = -116 + 119. Let l be (5 + -22)*(a - 4). Let p = -10 - -15. Solve 3*h - p*m = -l, m = h + 2 + 3 for h.
-4
Let z be ((-1)/(-4))/(16*(-9)/(-2304)). Solve m + 12 = z*a, 5*a - 31 = -5*m + 9 for a.
4
Suppose -z + 0*z = 2. Let k(w) be the first derivative of w**3/3 - 26. Let x be k(z). Solve 3*s + x*j + 2 + 6 = 0, 0 = -s + 5*j + 10 for s.
0
Suppose 0 = 2*y - 5*b + 15, 4*y = y + 2*b - 6. Suppose -58*x = -43*x - 375. Solve -5*z = -5*v + x, y*z + 4*v = -z + 10 for z.
-2
Suppose 6*b = -11 + 23. Solve i = -4*a - 0 + 12, 0 = b*a - 8 for i.
-4
Let i = -364 + 366. Solve 4*f = -i*w - 12, -2*w + 4*f + 32 = w for w.
4
Let k be 21*(4 + 33/(-9)). Suppose 43 = 9*h + k. Solve -h*i = 5*c - i - 9, 4*c = 5*i - 15 for c.
0
Suppose -5*y + 16 = 5*n + 6, -5*y - n - 2 = 0. Let r = 10 + y. Suppose -5*z + q = -r, 2*z - q - 3*q = 18. Solve 2*w + 4 = 3*x, w - 5*x + 1 + z = 0 for w.
-2
Let v be (1 + 6)*36/(-9). Let z = v + 33. Solve -2 = z*f + 3*k, 0*f - 4*k - 24 = -4*f for f.
2
Suppose -2*h - 12 = 4*i, 0 = -5*h - 7*i + 3*i - 12. Suppose 0 = -3*m - 3*b + 9, -3 + h = -m - 3*b. Solve -5*f + 15 = -3*t + m, 0 = f - 5*t + 2 for f.
3
Let w = 10 - 6. Suppose 4*n - 5*p = -9, -5*p + 5 = w*n - 36. Solve -3*k = -n*v + 2*k - 17, -2*k = 2*v - 14 for v.
2
Suppose -u - 360 = -7*u. Suppose 0*b + 4*b = u. Solve 0 = -2*w - w - 3*z - 15, 2*w - b = 3*z for w.
0
Let l = -1044 + 1047. Solve a + r - l = 0, 4*a - 11 + 5 = -2*r for a.
0
Suppose -16 = -4*h - s, -35 + 19 = -4*s. Suppose -q + 1 = 0, -p + 2 + 0 = 2*q. Solve -4*u - h*r - 14 = p, 0 = -u - 3*u - 5*r - 10 for u.
-5
Suppose -7*k - 67 = -81. Solve -2*s = -5*g - 12, -k*g = -3 + 7 for s.
1
Suppose 1797*d = 1796*d. Solve d = 2*q - w + 2, -2*q - 2*w = -0*q + 14 for q.
-3
Let c be -6 + -4*12/(-8). Solve 4*x + x - 4*p - 17 = c, -3*x = -2*p - 9 for x.
1
Let c be 12/((-144)/132) - -11. Solve 2*b + 3*f - 16 = 0, -2*f = -c*b + 4*b - 16 for b.
2
Let g be (-1)/(3/144*-2*1). Let m = g - 22. Solve -3*p + 32 = 2*p - 4*k, -2*k - m = p for p.
4
Let p(x) = x**3 + 6*x**2 - x - 6. Let t be p(-6). Suppose t = 4*o + o. Suppose -k - k = o. Solve -d + 5*y + 18 = k, 2 = -4*d - 2*y + 8 for d.
3
Suppose -20 = -413*g + 408*g. Solve -4*p = p - g*n - 23, 0 = 4*p + 2*n - 8 for p.
3
Let m(a) = 2*a**3 + 27*a**2 + 15*a + 26. Let x be m(-13). Solve -5*h - 2*f + 15 = -x*f, -3*h - 2*f = -13 for h.
1
Suppose -5*q + 4 = s, q = -2*s - 0*q + 17. Solve 2*g = -4*i + 24, 4*i + 2*g - s = 3*i for i.
5
Let p(t) = -t**3 + 14*t**2 - 14*t - 8. Let n be p(13). Suppose 0 = 5*x - 0*x - 130. Let a = x + n. Solve -y = -3*v - 14, -a*y + 4 = -2*v - 1 for y.
-1
Let n be (1 - (-24)/(-18))*-9 + -1. Solve -f + 4*c - 7 = 0, 16*c = 2*f + 12*c + n for f.
5
Suppose -9*n - n + 50 = 0. Solve b + 4*a + 7 = -2*b, 27 = -n*b + a for b.
-5
Suppose -6*o = -o + 5*x - 210, 120 = 3*o - 3*x. Let n = o + -37. Solve 0 = 3*a - m - 12, -n*m = 4*a - 0*m - 16 for a.
4
Let m(l) = -l**2 - 6*l - 3. Let t be m(-4). Suppose -3*y = 4*d - 15, 6*d - d + 4*y = 18. Suppose 0 = -r + d*r. Solve 5*z + 5*g = -10, t*g + r = 2*z - 3 for z.
-1
Let m(b) = -b**3 - 5*b**2 + b + 7. Let d be m(-5). Let c be 40/(-100)*-5*1. Solve -5*h = 3*r - 23, -d*h + 7 = -c*r + r for r.
1
Suppose -2*r = -2*a + 21 - 37, 4*r + 4*a - 16 = 0. Solve 0 = -z + r*z + 2*x - 19, -z - 2*x = -7 for z.
3
Suppose 2*d + 31 = 55. Solve 18 = -3*b - 3*w, -b - 5*w - d = 6 for b.
-3
Let r be 3 + (-11 - -1) - -11. Solve 5*c = -4*g + 11, 13 = r*c + 2*g - 3*g for c.
3
Suppose -c - 3 + 3 = 0. Suppose 0 = -c*b + b + 4*b. Solve 5*n - 15 = b, 2*n - 3 = h - 0 for h.
3
Suppose 25*i - 24*i + 12 = 0. Let n be (-102)/(-8) - (-2 + (-21)/i). Solve n = -5*j + 4*c, -2*j + 0*c - 3*c + 4 = 0 for j.
-1
Suppose 3*b = -1 + 1. Let a be 0/(b - 8/(-2 + -2)). Solve -4*o = f + 17, -21 = 4*o - a*o + 5*f for o.
-4
Let o = -359 + 364. Solve 2*m + 2 = -o*w - 0, 4*w = -4*m - 4 for m.
-1
Suppose -4*k - 10 - 17 = -5*t, 0 = -t - 4*k - 9. Solve -2*u - 2*o + 2 = 0, -2*u - 3 = t*u + o for u.
-1
Suppose -20 = 2*y + 60. Let n be (y/15)/((-1)/3). Suppose 4*q - 41 = 5*g, 0 = 2*q + g + 1 - 4. Solve 3*p - q*z = 27, -4*p - z - 3*z = -n for p.
5
Let m = 5 - 2. Let z(h) = 9*h. Let f be z(m). Suppose -5*w + 44 = -2*v - 1, 5*v = -3*w - 4. Solve 3*l + 0*b - f = -3*b, 2*l = 3*b - w for l.
4
Let x(u) = -u**3 + 10*u**2 - 22*u + 51. Let l be x(8). Solve -z + 4*g = -4*z - 27, -l*g = -z + 4 for z.
-5
Let v(i) = i**3 + 3*i**2 - 5*i - 6. Let t be v(-2). Solve -3*y - t*b - 18 = -5*b, 4*b + 15 = 5*y for y.
-1
Let q(a) = -2*a**3 - a**2 + 6*a. Let k be 10/(-65) + 37/(-13). Let j be q(k). Solve 5*w = -2*r + 29, -5*w = r - 0*r - j for r.
2
Let v(f) = 27*f + 89. Let y be v(-3). Solve -4*x = -5*o + y, -5*x + 3*o - 5*o = 10 for 