
-2
Suppose -7*i + 2*i + 4 = -v, 4*v + 16 = 5*i. Solve -20 = -m - 5*q, -q - 12 = -i*m - 3*m for m.
5
Suppose -4*c = 4*v - 44, 19 = v + 45*c - 42*c. Solve -2*r = y - 3, -3*r - y + 0 = -v for r.
4
Suppose 7*s - 11*s + 23 = -b, 5*b + 15 = 0. Solve 5*h = 4*c - 33, -2*c = 4*h + 11 + s for c.
2
Suppose 8 = 3*r - 157. Suppose -5*z + r = -110. Solve -4*u = 2*v + u + z, -3*u = 3*v + 27 for v.
-4
Suppose -10*c = 4*d - 6*c, 0 = -3*d + 3*c + 30. Solve -4*a - 3*u = -8*u - 3, -d*a = -2*u + 9 for a.
-3
Let p = 1032 - 1017. Solve 3*l - 10*c + p*c = -17, 5*l + 3*c + 23 = 0 for l.
-4
Suppose 13*l + 13*l = 0. Solve 0 = -5*i + 10, l = -0*g + g + 2*i - 8 for g.
4
Let n(m) = -m - 1. Let k(y) = -66. Let f(d) = -k(d) - 3*n(d). Let b be f(-21). Solve 5*g - 25 = 5*w, 2*g - b*w = -5*w + 8 for g.
3
Let p(g) = g**3 - 16*g**2 + g - 12. Let v be p(16). Suppose v*h = -4 + 12. Solve -4*q - 9 = 5*s, 3 = -4*s - q + h*q for s.
-1
Suppose 29*k - 1534 = -30*k. Solve -2*x - 4*p + 4 = 0, -4*p + k = -2*x + 6 for x.
-4
Let h be -2 - (-77)/(5 + 6). Solve 3*s - s + 17 = -3*m, 4*s = h*m + 21 for m.
-5
Suppose -2*v = 0, 2*l = 2*v + 3*v + 6. Suppose -9*c + 4*c - 15 = 5*f, 2*f + 4*c + 16 = 0. Solve 4*n + f*p + 0*p = -8, 4*p - 28 = l*n for n.
-4
Suppose 4*z + a = -1, z - 2 - 3 = 5*a. Suppose -80*l + 82*l - 34 = z. Solve -r = -4*b - 14, 0 = 4*r - 0*r - 3*b - l for r.
2
Suppose -j - 9*d = -5*d - 9, -11 = -3*j + 4*d. Solve 0 = 2*a - 8, -j*a + 2 = 3*u - 9 for u.
-3
Let j(m) = -m - 10. Let x be j(-13). Suppose 0 = x*q - 75 - 3. Solve -5*n + q = 3*s - 4, n - 2*s + 7 = 0 for n.
3
Let n = -14 - 12. Let y = -2 + n. Let g = -8 - y. Solve 5*v = 3*s - s - g, 16 = -3*s - 4*v for s.
0
Let j(o) = o**3 - 2*o**2 - 6. Let a be j(3). Suppose 4*v = a*v + 13. Solve -h + v = -4*i, i + i + 2*h = 6 for i.
-2
Let s be (-368)/12 - 2 - 2/(-3). Let j = s - -37. Solve -4*m = w + j + 6, -w - 3 = 2*m for m.
-4
Suppose -378 = -4*f + 2*w, 3*f - 136 = 3*w + 149. Suppose -7*k + f = 10. Solve -2*n - 3*n + k = -s, 0 = -3*n + 6 for s.
-2
Let w be (12/4 - 2) + 2. Let h = w - 0. Solve 13 = -3*r - r - h*v, 5*r = -v - 8 for r.
-1
Let v = 13 + -7. Suppose 0 = 4*w + v - 26. Solve w*h - 34 = -3*s, 4*s - 4*h = -6 - 2 for s.
3
Let h be -3*2/(-18)*12. Suppose 3*n = 3, -72*m + 2*n = -71*m - 14. Solve 0*k = -l - 3*k + m, -h*k = -20 for l.
1
Suppose r = -r + 4. Let q be -4 - (-7 + -2) - r. Solve -3*f - q*w = -12, 2*f + 5*w = 13 + 7 for f.
0
Let n(r) = -r**3 + r**2 - r + 1. Let j be n(1). Solve -25 = 5*z + 5*u, -2*z + 3*u - u + 10 = j for z.
0
Let v = -15 - -27. Let t(p) = 2*p. Let o be t(2). Suppose -2*x = k + 4, 34 = 4*k - 5*x - 2. Solve b - o*s + 12 = 0, -s + v = -k*b + 3*s for b.
0
Let n be 18 + (3/1 - (-10 + 9)). Suppose -3*h + 15 = 0, 3*h - 5*h = 3*q - n. Solve 2*l + q*m - 4 = 0, 4*m - 5*m + 4 = -l for l.
-2
Let x be (-22)/(-88) - (-46)/8. Suppose -2*b = 2, -4*g + 3*b + x = -21. Solve -6 = 2*s + 4*f, g*s - 4*f - 21 = 3*s for s.
3
Suppose -p - p = -2*r + 22, 3*r + 4*p - 68 = 0. Let d = -18 - -25. Let v = d + -4. Solve 2*b - z = 7, -1 + r = 4*b - v*z for b.
3
Let m = 262 - 257. Solve -4*r - 2*j = -3*r - 7, -m*r = 3*j for r.
-3
Let s = -7 - -21. Let m = 7 - 11. Let v = s - m. Solve 2*f = 2*z, 4*f - 6 - v = -2*z for z.
4
Suppose 0 = -4*r + r + 36. Suppose -12 = r*h - 9*h. Let w(j) = -j**3 - 4*j**2 - j - 4. Let q be w(h). Solve -l - 2*b + b + 3 = q, 5*b = 2*l + 8 for l.
1
Suppose -15*r - 198 - 372 = 0. Let t = -33 - r. Solve -t*u = -5*k + 25, 5*u + 3*k = -2*k - 15 for u.
-4
Suppose -3*k - 55 = 5*t + 279, 0 = 2*k - 3*t + 210. Let d = -105 - k. Solve -8 = -4*o - y, -d*o + 0*y - 3*y - 3 = 0 for o.
3
Let k = 17 - 15. Solve -h = k*r + 8 - 3, 2*r + 6 = 0 for h.
1
Let v(h) = h**3 + 9*h**2 + 7*h - 11. Let k be v(-8). Let l = k - -7. Suppose 5*p - 6 - l = 0. Solve 7*z = -4*b + 3*z - 20, z = 2*b - p for b.
-1
Let m = -561 - -561. Solve m = -5*k - 4*v + 14, -6*k = -k + 3*v - 13 for k.
2
Let j(y) = y + 1. Let d be j(1). Let c(a) = 3*a + 211. Let v be c(-62). Solve -5*t = p + 4*p + v, 5*p + 19 = -d*t for p.
-3
Let l(i) = 12*i**3 + i**2 - i. Let u be l(1). Let g be -4 + -1 + 8 + -3. Suppose -5*v + 7 + 8 = g. Solve 0 = -4*z + u, z = -5*w - v*z + 32 for w.
4
Suppose -2*s + 4*a - 1 = -a, 2*s = a + 19. Solve -3*v - c + 2 = 6, 0 = -4*v + 3*c + s for v.
0
Suppose -5*q + 129 + 1 = 0. Let z = 26 - q. Solve 13 = -3*x - u, 3*x - 5*u - 8 + 33 = z for x.
-5
Suppose -a = -3 + 8, 0 = 3*t + 5*a + 19. Solve -5*b = -3*k - 13, -2*k = t*b - 3*b + 4 for b.
2
Suppose 0 = 4*j + u - 4*u + 30, 4*u + 35 = -3*j. Let f = -20 + 34. Let n = j + f. Solve 5*w + 4*s = -4 - 0, n = 2*w - 5*s for w.
0
Let w(g) = 3*g - 1. Let c be w(2). Let r(y) = y**2 - 3*y + 12. Let m be r(6). Suppose -m = -9*s + 24. Solve -5 = -3*n + 4*h, 3*h = 2*n + c*h + s for n.
-1
Let q = -1182 - -1185. Solve 5*v + z - 5 = 0, -v + 11 = -3*v - q*z for v.
2
Let y(s) = -s. Let v = 10 - 13. Let o be y(v). Suppose o*q = 11 - 2. Solve -2*i - 2*i + q = t, 0 = -4*i + 8 for t.
-5
Let c(f) = -f**3 + 13*f**2 + f + 13. Let x be c(13). Solve -5*p + 0*p = -5*k + 30, -5*k + 3*p + x = 0 for k.
4
Suppose 10 + 3 = 2*m + o, -4*m + 29 = 3*o. Suppose -2*j + 0*a - 5*a + 30 = 0, 2*a + 17 = m*j. Let l be 9*(-3)/(27/(-6)). Solve 3*v = v - 4, n + j*v = -l for n.
4
Let j = -25 - -25. Suppose j = 3*l - 8*l. Suppose -3*v - 3*t = -0*v, -v + 5*t + 18 = l. Solve 2*k - 3*w - 15 = 0, 2*k + w = -0*w + v for k.
3
Suppose 4*x - 12 = -5*r, 4*x - 6*x + 3*r + 6 = 0. Solve -m = -4*w + 12, 2*m + x - 5 = -5*w for w.
2
Suppose 5*y - 5*m = -30, 3*y + 5*m = -y - 60. Let l = y - -12. Suppose 4*q - 28 = l*c, 3 = 2*q - 3*c - 3. Solve -z - 7 = 2*t, -4 = 3*z - 2*t + q for z.
-5
Let c(x) = 4*x - 3 - x - 8 + x. Let p be c(11). Let w = p + 4. Solve -5*m - 3*g = -w, 4*m = 2*m + g + 6 for m.
5
Suppose 0 = 6*z - 2*z + a + 49, -3*z + 5*a - 8 = 0. Let j = 13 + z. Solve -q - d = -0*d - j, 5*q - 4*d = -17 for q.
-1
Let i be 7/(7/19) - 3. Solve y + 2*j = -6, -2*y - 3*y = 3*j + i for y.
-2
Suppose 0*u - 2 = 2*u, 2*v + 2 = 4*u. Let x be 15*v/(45/(-6)). Suppose 0 = 5*i - 7*i + x. Solve y - 2*m + 21 = -4*y, -m = -i*y - 12 for y.
-3
Suppose 5*z + 1 = 5*c + 31, -2*z + 4*c = -20. Solve 5*h + 27 = z*k, -6*h + 3*h = -5*k + 20 for k.
1
Let k(h) = -h**3 + 8*h**2 + 8*h + 10. Let r be k(9). Let b be (-1*(-1)/(-1))/(-1). Let t = r - b. Solve -5 - 22 = 2*z + 5*x, t = 5*z + x + 10 for z.
-1
Let d = 8 + -2. Let l = d - 13. Let z = 4 - l. Solve 4*n + 35 = -3*o + 6, -3*o = -4*n - z for o.
-3
Suppose -z - 4*p - 278 = -4*z, -3*z - 2*p = -266. Suppose 16*i = 7*i + z. Solve 5*w - 2*w - 4*s - i = 0, 0 = -5*w + 5*s + 15 for w.
2
Let w be (14/(-4) - -3) + 5/2. Let j be (5/10)/((-1)/(-58)). Let x = j + -29. Solve -2*y = -5*y + 5*l - 17, x = -w*y - 3*l + 14 for y.
1
Let u(c) = -c**3 + 20*c**2 - 20*c + 19. Let v be u(19). Suppose 3*h - 51 = -v*h. Solve -2*m + m - 3*r + h = 0, -4*r = -5*m - 10 for m.
2
Suppose 15 - 40 = -5*l. Suppose 5 = l*b - 4*b. Solve 3*a + 3*v = -9 - 12, 4*a + b*v + 30 = 0 for a.
-5
Let w = 68 + -64. Solve -o + 1 = -w*f - 7, 5*f + 7 = 2*o for f.
-3
Let r be 2/(-2*(-4)/(-12)). Let l be r*(31/(-3) + 3). Suppose 3 = 5*p - l. Solve -5*n = p*q, -2*n + 4*n = -3*q + 5 for n.
-5
Let r be ((-16)/28)/((-4)/14). Suppose o + r = -3. Let a be -1 - 12/(o + 3). Solve 5*x - 2*x = -3*k - 3, -3*x + 21 = -a*k for k.
-3
Suppose 4*s + 3*g - 7 = 0, -g - 4 = -1. Solve 7*c = -v + 2*c - 10, 0 = s*v - c - 23 for v.
5
Let v = -203 + 207. Solve v*x + 5*c = 3*c - 6, 5*c = 3*x - 2 for x.
-1
Suppose g + g - 3*a - 6 = 0, -2*g + 20 = 4*a. Suppose 5*n + g = 31. Suppose 0 = n*k - 4 - 6. Solve 5*x = -5*b - 30, 0*x - k*x + 5*b + 2 = 0 for x.
-4
Suppose 22 = -5*t - 8. Suppose -z + 4 = -d, -2*d = 2*z - 0*z + 4. Let f = d - t. Solve -j = -f*n - 1, 5*j - 4 = -4*n + 1 for n.
0
Let b(w) = 2*w**2 - 10*w + 20. Let z be b(3). Solve -4*h + 2*h = -2*a + z, -2*h + 4*a = 14 for h.
-1
Suppose -t - 60 = t. Let z = -18 - t. Let c(k) = k**3 - 7*k**2 + 8*k - 8. Let i be c(6). Solve -5*h = 3*w + i + 16, 5*w = -3*h - z for w.
0
Let k(l) = -l**3 - 5*l**2 - 4*l + 2. Let t be k(-4). Suppose -5 = -3*b + 8*b. Let s be (1/(-1))/b*4. Solve 2*x = s*r + 14, -4*r - 6 = -t*r for x.
1
Suppose 5*o = -5*x + 40, -5*x + 20 + 15 = 4*o. Solve -2*f + 15 - 7 = 0, -2*u + o*f - 10 = 0 for u.
5
Suppose -40*k = -39*k - 5. Solve -3*p = 4*j - 18, -k*j - 1 + 6 = -