Solve y - 9 = -3*m + 3, -5*m = 2*y - v for m.
4
Let u = 10 - 4. Suppose 34*a = 24*a. Suppose 0*x + 3*x - u = a. Solve 0*h + x*h = -4*k + 14, 5*k - 5*h - 10 = 0 for k.
3
Let n(x) = x**3 + 14*x**2 + 11*x + 5. Let j be n(-13). Let h = j - 60. Let q = h + 32. Solve 2*l + 20 = 5*r, 2*r + 2*l = -q*r for r.
2
Let t = 114 - 44. Let w be (-10)/t - (-2)/14. Solve -4*l + 4*d + 28 = w, 0 = -2*l + 5*d - 0*d + 26 for l.
3
Let h = -41 - -70. Let c = h + -10. Solve 3*z = 5*m - c, -5*z + 2 - 7 = 5*m for m.
2
Suppose -4 + 0 = -2*m. Let x be (-27755)/610*2/(-7). Solve 6 = -m*h + 2*j + 2, x = -5*h + 2*j for h.
-3
Suppose 3*j - 6 = 0, 5*a = 6*j - 2*j - 18. Let d be (2/a)/((-1)/2). Solve 5*f + 2 - 17 = 0, d = -2*c + 4*f for c.
5
Let i(y) = 9*y**2 - 4*y - 1. Let j be i(2). Let l be (-4)/6 - (-72)/j. Solve -2*n - 6 = 3*t, 11 = -l*t + n - 0*n for t.
-4
Suppose 4*q = d + 109, 4*q - 3*d = 110 - 7. Suppose -18 + q = g. Solve 0 = 3*w - 6, -2*n = -2*w + 3*w - g for n.
4
Let a = 30 + -30. Let j be 0 + 8 + (a - 0). Solve u = -0*u + 3, 2*u = q + j for q.
-2
Suppose -5*r - f = -1, -r + 0*f = 4*f - 4. Let p = -139 + 152. Solve i + r*t = 3*t + 6, 5*i + 2*t = p for i.
3
Let f = 242 - 231. Let z(w) = -3*w - 9. Let g be z(-6). Suppose 4*b = g*b. Solve -c + f = -2*n, -3*n - 16 = -c - b*c for n.
-5
Let v be 7 + -20*(-5)/10. Solve -2*o + 3*c - 15 = 0, -3 = 3*o - 4*c + v for o.
0
Suppose -21*b = -168 - 168. Let v(c) = -c**3 - 5*c**2 + 6*c + 5. Let j be v(-6). Solve 14 = 3*y - o, j*o = 5*y - 14 - b for y.
4
Let g = -278 + 281. Solve n = -3*n + 2*c - 4, -g*n = -3*c + 9 for n.
1
Suppose 2*w = -2*w. Let n be (-3)/(15/(-16))*245/98. Solve w = -3*c + 4*g - 7, 3*g = 5*c + n*g - 35 for c.
3
Suppose -3*z + 20 = 23. Let m be (-2)/1 - 5/z. Solve 2*v - 3 = -i, 5*v - 4 - 2 = -m*i for v.
3
Suppose -3*o + 4*r + 40 = 0, -4*o + 28 = -5*r - 25. Solve 5*h = 5*v - 5 - 10, v + 2*h + o = 0 for v.
-2
Let p(w) = w**3 - 7*w**2 - 10*w + 20. Let o be p(8). Solve -o*m - 21 = q, 3*q + 22 = -2*m - 1 for q.
-5
Let b = 163 + -156. Solve -5*m + 15 = l, 5*l - 16 = m + b for m.
2
Suppose -3*p + 5*g + 117 = 0, g = -p - 15 + 54. Let t = p - 38. Solve -3*w = -0*w, -3*w = f - t for f.
1
Suppose -8*a = -4*a + 264. Let v = a + 71. Solve 3*x - v*x = -10, u - x = -7 for u.
-2
Let n = 9 - 5. Suppose -18 - 2 = -n*t. Solve -3*k + 4*g + 4 = 3*g, 0 = 5*k + t*g - 20 for k.
2
Suppose -157*h + 155*h = -30. Solve 5*n = -3*v - 15, 5*v - 3*n + 8*n = -h for v.
0
Let p(k) = 2*k + 6. Let x be p(0). Suppose -2*c = x*c. Solve c = -5*b - 5*t, -2*t - t = 4*b for b.
0
Suppose 11 = 2*n + 5. Suppose 2*i + n*i = -5*p, i - p = 6. Solve -12 = i*y - 4*v, -4*y + 16 = -8*y + 3*v for y.
-4
Let f be ((-50)/20)/((-1)/6). Let s = f - 24. Let h be 2/s + 2367/81. Solve 4*d - 22 = -l, 0 = 5*d + 4 - h for l.
2
Suppose -c + 5 = -l, -1 + 6 = -5*l. Let s be (138/42 + -1)*7. Solve 0 = 5*a - 2*i - 3, 3*i = -s + c for a.
-1
Let n be (2 - (-14)/(-4)) + (-91)/(-14). Suppose -s - 3*s = -5*g + 19, -2*g + n = s. Solve 0 = 3*k + 4*w - 6, -4*w = k + g*k - 8 for k.
2
Let b = 889 + -887. Solve -2*s - 2 = r, 3*r = b*s - 3*s - 6 for r.
-2
Suppose 3*u - 122 = 4*x, u = 2*u - 2*x - 40. Let y = -25 + u. Solve -2*c - 2*r - 8 = -0*r, -y = 5*c + 4*r for c.
-1
Suppose 0 = -5*q - 2 + 7. Suppose -6*v + 2*v - u + q = 0, v - 4*u = -4. Suppose w = -3*w + 12. Solve 5*s - 1 = d + 3, -3*s + w = v for d.
1
Suppose 135 = -3*c - 2*c. Let h be 6/c - 119/(-9). Let n = 14 - h. Solve 2*p + 7 = m, -4*p - n = p + 3*m for p.
-2
Suppose 4*c + u = 8, 2*u + 2 = -2*c - 0*u. Suppose -6*w + c*w = -3. Solve 4*o - 2*f = -11 - w, 5*o = -f - 8 for o.
-2
Let v(t) = -7*t + 85. Let d be v(12). Solve 6 = 5*n + o + d, -2*o = 0 for n.
1
Let h be (-28 + 26)/((-2)/3). Solve h*o = 3*x + 6, -x + 2*x + 5*o + 8 = 0 for x.
-3
Let w be 5 + (-1)/(-1*3/6). Suppose w - 7 = -2*n. Solve -5*t + 4*y + 0*y + 13 = n, 3*t + 2*y + 1 = 0 for t.
1
Suppose -3*m = -2*h - 78, -2*h + 8 = 2. Solve 0 = -5*x - 3*l - m, 3 = x - 2*x + 2*l for x.
-5
Let d(n) = n**3 - 11*n**2 - 11*n - 8. Let t be (-1 + (-10)/4)*-4. Let r = t - 2. Let q be d(r). Solve q*a = 4*j, 0*j + 5 = 5*j for a.
1
Let d = 2407 - 2398. Solve d*w = 2*r + 10*w + 12, r - w = 0 for r.
-4
Let r be -4 + 2 + -5 - -12. Solve -2*f - 2*b + 5*b = 9, -r*f + 15 = 5*b for f.
0
Let x be (-6)/1*-1*1. Suppose 5*f - 3*n - 5 = x*f, 0 = -5*n - 20. Solve -3*a - f*g = -2*g + 7, -4*g = 5*a + 3 for a.
1
Suppose -508 = -4*w + 3*y, 3*w - 3*y - 254 = w. Let h = w - 124. Solve -g = -5, -3*a + 9 = -5*a + h*g for a.
3
Suppose 5*x - 5 = 0, 2*a + 2*x = -2*a - 6. Let o be (-1 - a)/(4/8). Suppose -4*p = -o*r - 4, 0*p - 5*r = p - 12. Solve 5*n - 35 = 5*i, 3*n + 1 + p = -3*i for i.
-4
Let z(w) = -w - 18. Let v be z(6). Let y = v + 24. Solve t + y*t - 4*c = 15, 10 = -5*t + 3*c for t.
-5
Let u be 75/21 - (-21)/49. Suppose -u*q - v + 69 = 0, 4*v = q - 0*q + 4. Solve -j + 5*x = -q, -3*j = -4*j - x - 8 for j.
-4
Let h be 2/(-4)*(29 + -35). Solve -o - h*u + 27 = -4*o, 4*o = 5*u - 41 for o.
-4
Let v = -247 + 251. Solve 2*d + 4*b = -2 - 0, 4*b = -v*d - 4 for d.
-1
Let v(h) = -6*h - 4. Let c(p) = -17*p - 11. Let g(q) = 4*c(q) - 11*v(q). Suppose 4*x + 23 - 3 = 0. Let w be g(x). Solve -2*d - 20 = 4*s, -d - w + 3 = s for d.
-4
Let d(w) = -3*w**2 - w + 30. Let b be d(3). Suppose -2*i + 10 = 0, 2*u - 2*i + 1 = -i. Let a = 3 + u. Solve 6 = -4*x + x - a*n, b = n + 3 for x.
3
Let p be (-2 + 11)/3*1. Let c(h) = h**2 - 2*h - 1. Let n(y) = y. Let l(m) = -c(m) + 2*n(m). Let b be l(p). Solve -2 = -2*i + 2*r, -b*r = -5*i - 5*r + 11 for i.
2
Let o be (1 - 1)*(-4 + 35/10). Suppose 0*a + 1 = -a - m, o = 4*a - 2*m - 2. Solve -5*z + 10 = 0, 4*z - 24 = -4*x - a*x for x.
4
Suppose 4*g + 31 = -2*f - 69, 3*g - 4*f = -64. Let c = g + 51. Let o = c + -13. Solve 4*x + 3*t = 29, -o = -2*x - 3*t + 5 for x.
5
Let v = -664 + 664. Solve 2*m = v, -s - 2*m + 0*m - 5 = 0 for s.
-5
Suppose 211 - 455 = -13*v - 218. Let q be 2/(-6) + 6/(-9). Let z be -1*(-2 - q) - -2. Solve z*l = -v*f + 2, -f = 4*f + 3*l + 13 for f.
-5
Let y(d) = 5*d**2 + d + 1. Let l be y(-1). Let v(o) = -9*o - 20. Let c be v(5). Let j be (-1 - c/20 - 1)*4. Solve j*f - 25 = -l*u, -4*f - u + 4 = -4 for f.
1
Let d = 359 - 354. Solve -5*j = -4*m + 26, -4*m + 5 = d*j - 1 for m.
4
Let l = -67 + 72. Let c be l + (-4)/((-12)/(-9)). Solve -4*w + 5 = -3*u, u - 4*w - c = w for u.
-3
Suppose 121 = -8*k + 289. Suppose 10*o - 17*o = -k. Solve -3*w = -o*q - 9, -q - 5 = -0*w + w for q.
-4
Suppose d + 2*n = 0, 71*d = 72*d + 5*n + 3. Solve 0 = 4*a - 3*q - 11, 3*q = -4*a + d*q - 9 for a.
-1
Let t(o) = o**2 - 15*o + 8. Let y be t(12). Let j be 5 - 3 - y/2. Let h = j - 12. Solve 5*q = 4*l + 23, -2*l = -5*q - h + 23 for q.
3
Let d = -232 - -235. Solve 5*o + d*i + 3 = 0, -4*o - 4*i + 0*i - 4 = 0 for o.
0
Let v = 0 - -4. Let o(r) = 2*r**3 - 4*r**2 + 5. Let d be o(2). Solve -6*z + 6 = -z + 2*f, d*z - 12 = -v*f for z.
0
Let z = 3 - -7. Let g(p) = -2*p - 4*p - p**2 + 2*p**2 - 2*p - 17. Let l be g(z). Solve -6 = 4*s - 5*n, -4*s + l*n - 5 = -3 for s.
1
Let m = 457 + -448. Solve 7*d + 15 = 2*d, 3*g - m = -d for g.
4
Let s = 194 + -191. Let o = 1 - 6. Let m = o + 5. Solve 0 = -2*i - 0*f - s*f + 9, f - 3 = m for i.
0
Let c = -66 - -86. Suppose 4*i = 4*h - 39 - 13, -2*h + c = i. Solve -3*l + 5*n + 5 = 0, 2*l + 2*n + h = 5*l for l.
5
Let v = 12 - 8. Suppose 0 = -v*f - 5*m - 50, 0*f + 3*m = -2*f - 26. Let b be f*(4 - (-44)/(-10)). Solve 2*x + 4 = 0, b*n + 22 = -0*n - 3*x for n.
-4
Let s be 9/(-12) - (-15)/4. Let p be (2 - 0)/((-2)/s). Let a = p + 8. Solve 5*f - 3*x + 26 = 6, a*f + 2*x = -20 for f.
-4
Suppose 0 = 5*n + 3*j - 16, -n + 5*j = -4*n. Solve 0 = -0*z - n*z + y - 28, 3*z = 2*y - 21 for z.
-5
Let r be (-143)/(-26) - 2/4. Solve -2*k + 3*a - 1 = 0, -2*k + r = -a + 4*a for k.
1
Let h(p) = -p**3 - p**2 + 3*p + 1. Suppose 4 = -k, -2*b - 1 = 4*k + 21. Let c be h(b). Let v = 13 - c. Solve v*l - 2*r = r - 12, 4*l = 3*r - 11 for l.
1
Suppose -107 = -3*u - 98. Solve -5*o = -2*z, u*o = -o - 3*z for o.
0
Suppose p + 0 = 5*n - 26, 25 = 4*n - 5*p. Solve 5*v + 14 = -3*o + 1, -o - n*v - 21 = 0 for o.
4
Let a be 146/16 - (-3)/(-24). Suppose -a*j + 14*j = 20. Let k = 8 - 2. Solve o + 6 = j*v, -o - o + 2*v - k = 0 for o.
-2
Let f be 0 + ((-1)/(-5) - (-624)/130). Solve -5*c - 15 = 0, -f*o = -0*c - 3*c + 1 for o.
-2
Let b(u) = -u + 0 + 1