ve 3 = -3*d - 2*n - u, -q*n = -4*d + 16 for d.
1
Suppose b - 3*g = 0, 2*b - g - 1 - 14 = 0. Solve -2*y + b = z, 4*y - 2*z + 0*z - 22 = 0 for y.
5
Let j be 2 + 57/(-3) - -3. Let c = 16 + j. Solve -4*v - 20 = o + o, c*v = -3*o - 18 for v.
-3
Let a(j) = -2*j**2 - 2*j + 3. Let v be a(3). Let y be (-2)/5 - v/15. Let o be y*4 - (-3 - -5). Solve 0*k - d = -o*k + 9, 0 = -k + 2*d + 3 for k.
5
Let b(l) = 3*l - 8. Let g be b(4). Solve -4 = -2*w + 2*t + g, w - 16 = 4*t for w.
0
Suppose -15 = 3*h - p, -7 = -3*h - 5*p - 22. Let z(o) = -o**3 - 5*o**2 + o + 5. Let t be z(h). Solve -2*w = -c - 6, -3*w + t*c = -5*c - 16 for w.
2
Let r = 18 - 18. Solve 3*s = 3*j + 3, 3*j + 4*s + 1 + 2 = r for j.
-1
Let s(a) = -a**2 + 5*a. Let c be s(4). Solve -3*g = -5*b - 2, -3*b + c*g = 2*b + 6 for b.
2
Suppose 4*g = o - 8, g + 9 = 2*o - 0*g. Suppose -o*r - 4 = -5*r. Suppose -5*c = -29 - 26. Solve b - c = r*f, -4*b + 0*b = -3*f - 5 for b.
-1
Suppose -4*a + 12 = -8. Let n = a - 1. Solve n*c + 2*d + 0*d + 2 = 0, -7 = -4*c + d for c.
1
Let l be (6/(-6))/(2/(-10)). Suppose 23 = 4*z + 3. Suppose -z*b + 25 + 0 = 0. Solve b - 1 = w + i, 0 = -5*w + l*i for w.
2
Let r be 6/(-10) + (-48)/(-80). Solve -4*d - 5*h = -33, r*d - 8 = d - 2*h for d.
2
Suppose 5*m = m. Let q = 2 + -1. Let g be (m + -2)*(-1)/q. Solve -g*f - 2 = 0, x + 0*x - 5*f = 0 for x.
-5
Suppose -36 = -0*v - 3*v. Let y be 9/v + (-9)/(-4). Solve -y*i - 4 - 5 = 0, -2*r - i = 1 for r.
1
Suppose 0*p - 3*p = -24. Let l(r) = -r - 2. Let v be (-69)/15 + 4/(-10). Let x be l(v). Solve -5*b - p*y + x*y = 50, -y = 3*b + 20 for b.
-5
Let y(n) = -n**3 + 6*n**2 + 2*n + 8. Let d be y(6). Suppose d = 5*z - 0. Solve 2*j = 3*o + 13, -z*o - j = -o + 16 for o.
-5
Suppose 0*m + 3*m = 9. Solve -2*k = -6, 3*o + m*k = 5*k - 15 for o.
-3
Let q(j) = j**2 + 7*j + 3. Let i be q(-6). Let z be i/(-2) - 5/(-10). Let x be (-4)/2*-1 - -9. Solve 0 = 2*t + o + 4, 4*t - z*o + 3 = x for t.
0
Suppose o = -o. Let p(h) = -h + 12. Let t be p(8). Suppose 2*g + x - 73 = -3*g, -t*g - x + 58 = 0. Solve -l + 7 = 3*y, -g = -o*y + 5*y - 5*l for y.
1
Let c be -5*1/(0 + -1). Suppose -3*s = -3, 5*s - 2 + 13 = 2*u. Suppose u = 4*n - 4. Solve 10 = 5*o, -n*m = -c*o + o + 8 for m.
0
Suppose -5*h = 15, 0 = -3*z + 2*h - 3*h + 15. Let w = z - 3. Solve q + 0 = -4*t - 3, 2*t + w = -q for q.
-3
Let j be 3332/170 + (-4)/(-10). Solve 5*z + f + f = -28, -3*f = 2*z + j for z.
-4
Suppose -7*p = 31 - 31. Solve -3*r - 3 = -3*d - 6, 2*d + 8 = p for r.
-3
Let a(m) = -m**3 + 4*m**2 + 4*m + 7. Suppose d + 5 - 10 = 0. Let g be a(d). Let v be 64/12 + g/(-6). Solve 2*b + 0*b - 10 = -2*h, b + v = 4*h for h.
2
Let w = 14 + -12. Solve 4*m = 8, 0*c - w*c - 10 = -m for c.
-4
Let h be 2/(-4) + (-14)/(-4). Solve -3*j = 4*w - 13 - 0, 0 = h*w - 4*j + 9 for w.
1
Let m be 9*((-4)/(-12) - 0). Solve -2*y - 10 = n, 16 = -m*y - 3*n + n for y.
-4
Let d = -24 - -27. Solve 0 = 2*h - 5*h - 3*m - d, m + 10 = -4*h for h.
-3
Let o be (-1)/(-2) - (4440/(-16))/15. Let y = 17 - 12. Suppose 2*b = 7*m - 2*m + 10, y*b - 25 = 2*m. Solve -s + 4 = 4*v + 3*s, -2*s - o = -b*v for v.
3
Let t = -39 - -22. Let n = -12 - t. Suppose m - 5*m - 2*c + 16 = 0, 5*c = -2*m + 8. Solve 0 = -3*x + n*i, x + i + 28 = -m*x for x.
-5
Suppose -2*g = -6*g + 128. Let d be g/6 + (-2)/6. Solve 0 = 4*q + 3*x + 16, 0*x = -d*q + 2*x + 3 for q.
-1
Let z = -4 + 7. Solve -3*d - 3*r = -2 + 5, -z*d = -2*r + 18 for d.
-4
Let j be (-21 + -1)/(-4 - (2 - 4)). Solve 3*n + 0*n + j = -4*d, 5*d = 2*n + 15 for n.
-5
Suppose w - 117 = 4*w. Let g be (-1)/4 - w/12. Suppose -16 = -v - 7*v. Solve 2*x = -2*i + 12, -2*i - g*x + 12 = -v for i.
4
Suppose -84 = -4*g - 3*r, -3*g - 4*r + 13 = -43. Suppose -20*v + 12*v = -64. Solve -2*u - 4 - v = -4*k, 4*k = -u + g for k.
5
Let f = 6 - 4. Suppose v - 15 = -f*v. Suppose -4*s = -3*s. Solve s = t - 3*b + 2*b + 5, v*b - 5 = 0 for t.
-4
Suppose 4*x - 14*u - 12 = -10*u, 0 = 3*x - u - 13. Solve -h - 12 = 2*h, 5*h + 30 = -x*z for z.
-2
Suppose 0 = -4*y - 6 + 22. Suppose 8 = 3*f + d, 1 - 9 = -y*d. Solve b + 3*b - 2*v = -8, 0 = f*b + 4*v + 24 for b.
-4
Suppose 4*m + 11 = -1. Let x be (-4)/(-6) - 112/m. Suppose -3*g + 8*f + x = 3*f, -4*g - f + 20 = 0. Solve g = 2*v - 2*q, -5*v - 4*q + 25 = q for v.
4
Let p(q) = 2*q + 5. Let j be p(-4). Let t = j - -4. Suppose 12 = 4*n - 8. Solve -5*f + n*a + t - 6 = 0, -a = 0 for f.
-1
Let l = -22 + 24. Solve 14 = 3*z - 5*o, l*o = 4*z - 4 - 10 for z.
3
Suppose -v + 0*v = 3*c + 5, -v = c + 7. Let x be v/(-14) - 366/(-21). Solve x - 6 = 5*t + 3*f, -2*f - 2 = 0 for t.
3
Suppose w = 3*k + 8, 10 = 5*k - 10*k. Suppose -4*u = -5*c + 80, u + 29 = -2*c + 4*c. Solve x - w*y = y + 14, -2*x - c = 4*y for x.
2
Let w = -5 - -9. Solve 4*b = 3*m - 0*m - 13, 16 = -4*b + w*m for b.
-1
Let w = 17 + -8. Solve -2*h = -7*q + 4*q + 7, 5*h + w = -q for h.
-2
Suppose 4*v + 7 - 27 = 0. Solve -g + 5*z = 0, z = v*g - 4 - 20 for g.
5
Let k = -5 + 8. Let a = -19 - -41. Solve -k*i - 5 = -4*i + c, -5*i + 2*c = -a for i.
4
Suppose 4*w - 14 = 3*c, 3*w + 2*c - 11 = 4*c. Suppose -10 = -l - 0. Let r = -6 + l. Solve 2*m - k = 6*m - 2, 0 = -3*m - r*k - w for m.
1
Let c(n) = n**2 - 6*n. Let a be c(7). Let g = 12 - a. Solve 2*m = 2*y - 6, 2*y + 4*m = g + 7 for y.
4
Suppose -w + 4*q + 1 = 0, -5*w + 4*w - 3*q + 8 = 0. Suppose -o - 2*o = -15. Let v = o - 3. Solve 12 = c - 5*g, 4*c - v*g - 2 = w*c for c.
2
Suppose -p = 3*p - 2*h, 20 = 5*h. Solve 0 = -p*f - 6, 3*f = 4*u - 0*u - 21 for u.
3
Let o(h) = -h**2 - 6*h - 6. Let b be o(-4). Suppose b*q + 3 = 9. Solve -6*j - 5*r = -j - 5, -q*j - r = 5 for j.
-3
Suppose -14*p = -20*p + 60. Solve -4*h = -5*u + 13, -2*h = -7*h - p for u.
1
Let f = 84 - 74. Solve w + 4*r = f, 7*r = 2*r + 15 for w.
-2
Let n = 33 - 54. Let i be 5/(-3)*n/7. Solve 0 = 5*k + 5*a - 30, 13 = 4*k + 2*a - i for k.
3
Suppose -67 = -5*i + 33. Suppose 0 = 3*b + 2*b - i. Solve -f + b*y - 12 = -2*f, 0 = 2*f + 3*y - 4 for f.
-4
Let v be 1/4 - (-60)/16. Suppose -i + 8 = 3*i. Let o be (i/(-1))/2*0. Solve 2*w - 12 = -o*f - v*f, -2*f - 2*w = -4 for f.
4
Let o(m) = 4*m**2 - 6*m**2 + 4*m**2 + 3 - 1 + m**3. Let c be o(-2). Let b be (5 - (4 - 2)) + c. Solve -2*l = 6*i - i + 13, -b*l - 15 = -5*i for l.
-4
Let b = 57 - 52. Solve 5*j + 5 = -6*q + q, 4*q + b*j = -5 for q.
0
Suppose -8*d = -5*d - 9. Solve 1 = -z + 4, -z + 9 = d*f for f.
2
Let f(d) = -d**2 - 2*d. Let r be f(-2). Let m be ((r - -3) + 2)*1. Solve 5*p - m*t + 35 = 0, 25 = -0*p - 3*p + 5*t for p.
-5
Suppose -5*r = -3*z + 2, -4 = 2*r - 4*z + 8. Solve 3*d = -9, 6 = r*k - 3*d - 1 for k.
-1
Suppose 0*s + 3*s - 9 = 0. Solve s*h = -2*h + 4*m, 2*h - m = 0 for h.
0
Let l(x) = 6*x + 18. Let k be l(-3). Solve 4*r + 3*j - 13 = k, -3*r + 5*j + 0 = -17 for r.
4
Let r(u) = -3*u + 7. Let y(b) = 5*b - 13. Let x(c) = 11*r(c) + 6*y(c). Let j be x(-1). Solve -3 = -j*p - 3*o, -p = -0*o + 2*o - 2 for p.
0
Let x = 4 + 7. Solve -5*n + 4*k = 24, -2*k + 5*k = 2*n + x for n.
-4
Let a(z) = -4*z**3 - z**2 - z - 1. Let b be a(-1). Suppose b*i - 95 = -2*i. Solve 2*p = 2*d - 0*p + 2, -2*d + i = 5*p for d.
2
Suppose 2*r = -3*u + 14, 39*u + 16 = 5*r + 37*u. Let t(k) = -2*k**3 - 2*k**2 + k - 1. Let m be t(-2). Solve -r*z + m + 0 = -b, 0 = -3*z + 3 for b.
-1
Let a = 23 - 12. Suppose 0 = i - a + 9. Solve 2*y + i = -h, 13 + 0 = -2*h + 5*y for h.
-4
Suppose 3*z = -3*s + 12, 4*s = s + 3. Let r be (10/15)/(2/18). Suppose -z*j + 0 = -r. Solve -a + j*d + d = -10, 0 = 4*a + 4*d + 24 for a.
-2
Let o = -8 + 11. Let y(i) = -7*i + 3. Let a(u) = 112*u - 49. Let m(l) = 3*a(l) + 49*y(l). Let j be m(-1). Solve o*b - z = -j, b + 0*b = -z + 3 for b.
-1
Suppose 3*j - 9 = -0*j. Solve j*k + 27 = -i + 4*i, -10 = -2*i for k.
-4
Let l be (-3 + 4)/(2/8). Suppose -o - o - 14 = -3*g, 14 = g + l*o. Solve -33 = 5*z - 4*x, -2*x = -3*z - g*x - 7 for z.
-5
Let r be 0/(-1 + 3) + -2. Let z(d) = d**2 - 6*d + 6. Let p be z(4). Let b = r - p. Solve b = -2*l - 5*t, -3*l - 5 = -2*l + 5*t for l.
5
Let o be ((24/10)/2)/((-3)/(-10)). Let b be (3 - 1) + 3/(-1). Let j = b + 1. Solve f - 4*l = -j*f - 9, o*l - 12 = 0 for f.
3
Suppose -2*y = -35 - 13. Let k = 27 - y. Solve -f = -2*b + 3*f + 12, -b - k = f for b.
0
Suppose -4*f + 0*f = 0. Solve y = f, -5 = 6*n - n - 5*y for n.
-1
Suppose g + 6 = -2*u + 4*g, -8 = -4*u - 4*g. Solve v - 3*v - 2*s - 6 = u, 0 = -3*v - 2*s - 5 for v