 -0*x. Suppose -5*m + 10*m + 40 = x. Let c = 12 + m. Solve -4*a = c*i + 6 - 14, 0 = -3*i + 3*a + 6 for i.
2
Let m(l) = -2*l + 19. Let z be m(7). Solve 12 = y + z*c, 2 = 5*y - 6*c + 2*c for y.
2
Let v = -15 + 16. Solve c + 2*a + 10 = 0, -v - 24 = c + 5*a for c.
0
Let a(x) = -12*x - 33. Let c be a(-3). Solve 5*n + 3*u = -9, -2*u - 8 = c*n + n for n.
-3
Suppose -2*l - l = -a - 10, a = 5*l - 16. Suppose 0 = 5*t + 2*p - p - 58, -3*t = l*p - 30. Let x = -12 + 12. Solve 3*i = -3*b - x*b + t, 3*b + i - 6 = 0 for b.
1
Let g = -1247 + 1253. Let b(s) = s**2 - s + 1. Let f be b(2). Solve -4*h = 4*r + 10 + g, -5*h - 20 = -f*r for h.
-4
Suppose 4*t + 3*m = -2*m + 23, 0 = 4*t + 2*m - 14. Suppose 0*l = -l + 2. Suppose l*h = -h + 9. Solve 0 = 2*u - u - h*k - 6, -k = 3*u + t for u.
0
Let z = 0 - -2. Suppose 5*q + 0*q - 4 = -2*k, 7 = -4*q - 5*k. Let h be 3*2/q - 1. Solve 0 = -h*a + 4*a + z*u - 8, -5*u = -a - 8 for a.
2
Let g be 2/(4 + -2) + -1. Solve -c - c + 1 = 3*q, 2*c - 2*q - 16 = g for c.
5
Let s = 9 - 16. Let b = 10 + s. Let x = 17 + -15. Solve -13 = -b*p - 2*t + x, 20 = 4*p - 4*t for p.
5
Suppose 5*y - 15 = 10*y, 0 = 4*k - 4*y - 44. Solve -20 = 4*s - 3*d, 5*d - 18 - k = 3*s for s.
-2
Suppose 3 = -b + q + 4*q, b - 3 = -q. Solve 3*c - b = -2*t, 10 = -t + 3*t - c for t.
4
Let c = -1 + 3. Suppose -4 = -o - 4*q, c*o - q - 3*q = 44. Solve 2*d + 3*d = -4*n + 16, 4*d + 4*n - o = 0 for d.
0
Let y = -12 + 21. Let i = y - 9. Suppose -36 = -2*o - i*o. Solve 5*p - 21 = 4*v, -5*v - 5*p = -3*p + o for v.
-4
Let z(b) = -b**3 + 4. Let w be z(0). Suppose 0*y + 16 = 3*y - d, -5*y = -w*d - 36. Solve -3*j + y*f = 2*f + 4, -4 = j + 2*f for j.
-2
Let r(j) = -j**2 + 4*j + 7. Let k be r(6). Let a = k - -9. Solve -3*v = 0, 3*o - v = -a*v - 6 for o.
-2
Let y = -9 + 9. Solve -5*x + y*p = -2*p - 10, 2*x - p - 4 = 0 for x.
2
Suppose 3*v + 10 = 28. Let c = 8 - 5. Let k = 6 - c. Solve v*o - 3 = 3*o - k*q, o = 4*q - 19 for o.
-3
Suppose -k - 4*a = 0, 2*k = a + 2*a. Let h = k - -2. Solve -8*v + 3*v = 2*u - 35, -5*u - h*v = -35 for u.
5
Let c be 5*(4 - (-3)/(-1)). Solve -j + c*i = -24, j + 4*i = i - 16 for j.
-1
Let r(q) = -q**2 - 10*q - 11. Let v be r(-8). Solve s - 5 = -2*o, 14 + v = 5*s + 4*o for s.
3
Let b = 106 - 86. Solve -4*z + b = 0, -3*r + 15 = 3*z - 0*z for r.
0
Let y be ((-21)/6 - -3)*-10. Suppose -y*h + 0 + 7 = j, 5*j - 7 = 3*h. Solve -w + 3*w = -4*n - 28, -3 = -n + j*w for n.
-5
Let t(y) = -y**2 - 7*y + 10. Let s be t(-7). Let l be (12/s)/(16/40). Suppose -b = -3*b + 4. Solve 3*c = -b*d + 16, -l*c + d - 1 = -c for c.
2
Suppose -3*r = -r - 24. Let t be (-8)/r*(0 - 3). Solve 5*g - 2*b + 31 = 0, 0*g - t*b + 1 = g for g.
-5
Let j be (1/(2/4))/1. Suppose g - 7 = j. Solve 0 = -4*q - 4*p - 28, p + 2*p + g = 0 for q.
-4
Let b be (2/(-4))/((-8)/64). Solve 6*p = 3*p + q - 13, 0 = -p + b*q - 8 for p.
-4
Let d be 0/(-2) - (2 + -5). Solve 0*v = -d*v, -3*v + 12 = -3*j for j.
-4
Let p(s) = s**3 + 8*s**2 + s + 10. Suppose -2*t - 15 = i, 5*t - 6*t = 2*i + 6. Let z be p(t). Solve -f - 5 = -z*h, -4*h + 4 = -5*f + 3 for f.
3
Let n be (-7)/14 + (-6)/(-4). Solve -8 = 5*r + m - 3, -4*m = -r - n for r.
-1
Let u be 3/(-2)*(-8)/6. Suppose 0 = -u*b + 2*p + 20, -3*b - 4*p + 42 = -p. Solve -9 = -2*w - c, -5*w + 9 + b = c for w.
4
Let r be (-5)/(-15) + (-4)/(-6). Let n be r*(13 + (-4)/2). Solve -2*u + n = u - l, 3*l - 2 = 2*u for u.
5
Suppose 0*c - 4*c = 0. Solve c = 3*p, -14 = -5*k - 5*p + 11 for k.
5
Let f = -28 - -45. Let i(s) = s**2 + 5*s + 6. Let t be i(-4). Solve -3*c = -2*u + t*c + 17, -5*u + 4*c = -f for u.
1
Suppose -14*s = -9*s - 20. Solve 3*y + s*v + 9 + 2 = 0, 2*y = -5*v - 12 for y.
-1
Let t(j) = 2*j + j - 2 - 2*j. Let b be t(5). Solve 4*h - 2*p - 3*p = -4, 5*p - 32 = -b*h for h.
4
Suppose 2*l + 2*l = 20. Suppose 40 = 2*n + 18. Suppose -2*z = -z - n. Solve 0 = -l*r - h - z, 4*r - 14 = 2*r - 5*h for r.
-3
Let x(u) = u**2 + 4*u - 4. Let q be x(-4). Let d = 15 - q. Solve 2*o - o + 1 = -2*m, 0 = -2*m + 5*o - d for m.
-2
Suppose -4*n + 8 = -2*g + 4, 5*n - 20 = 0. Solve 3*y - 3*z = g, -2*y = -0*z - 3*z - 5 for y.
1
Let v be (-464)/(-26) + (-4)/(-26). Suppose -h = l - v, -2*l = -0*l + h - 33. Solve -5*q = 5*c - l, 0*c = 3*c + q - 3 for c.
0
Let j = 168 - 165. Solve -k = j*u - 4, -5*u = 5*k - 0*u for k.
-2
Let l(z) = -3*z + 5. Let n be l(0). Solve 3*x - 2*o = -x + 12, 3*x - 23 = n*o for x.
1
Suppose 2*q - 16 - 4 = 0. Solve 5*o + 6*h - 25 = 3*h, -2*o - 3*h = -q for o.
5
Let c be -2*(0 - 132/8). Solve 10 = 2*k, -c = -2*t - 5*k - 0*k for t.
4
Suppose n = -2*n - 6, 0 = -5*b - 2*n + 96. Solve 0 = 2*x - 3*p + 25, 9*x + p = 4*x - b for x.
-5
Let m be 22/1*6/(-12)*-1. Solve -4*c - 2*w = c - m, -5*c + 5*w = -25 for c.
3
Let y(h) = h**2 + 5*h + 3. Let t be y(-5). Suppose -2*c = t*c - 115. Let p be (-2)/3 - c/(-3). Solve 3*a = -2*n + p - 28, 5*n = a - 10 for a.
-5
Let c(f) = -4*f**2 - f + 1. Let m be c(1). Let k = m - -9. Let v be (2/5)/(1/5). Solve -x - 4 = 2*g - 10, 22 = v*g + k*x for g.
1
Let g(z) = -z - 9. Let r be g(-8). Let n(a) = -12*a - 1. Let x be n(r). Suppose -x = 3*b - 56. Solve s - 4*s = 2*h - b, 3*h - 15 = -3*s for s.
5
Suppose 2*h + 2*b - 26 = 0, -2*h + 5 = b - 18. Let d = h + -7. Solve -r - 2 = -d*s, 4*s - 6 = -3*r + 1 for r.
1
Let w(r) = 2*r**2 - 2*r + 2. Let c be w(2). Let x be (2/(-2) - -2)/1. Let l be (x - 0)/((-2)/(-4)). Solve 5*v = -m - 3, 0*v + l*m + c = -5*v for v.
0
Let n(a) = -3*a**3 + 7*a**3 - 3*a**3 + 3 + 0*a**3 - 8*a**2. Let k be n(8). Suppose k*w - 6 = -0*w. Solve -5*c - m - w - 4 = 0, -5*c = 4*m + 9 for c.
-1
Let x(u) = -u**2 - 8*u - 7. Let v be (4/(-5))/(2/15). Let n be x(v). Solve -f + 6*f + n*i = -10, 5*f - 18 = 2*i for f.
2
Let p(u) = u**2 + u - 18. Let z be p(6). Let g be 18/4 + (-2)/(-4). Suppose j - g = -3. Solve z = 4*w + 3*r + r, -4*r + 18 = j*w for w.
3
Let b be (2 + -8)/((-3)/2). Suppose -2*t + b = -0. Suppose -5*z - t = -27. Solve -z*s - 10 = 3*d, 13 - 4 = -d + 4*s for d.
-5
Suppose 2*c = -3*x + 11, -4*c - 4*x + 9 + 11 = 0. Solve u + 3*w - 13 = -0*w, c*u = -5*w + 24 for u.
1
Let d be 8/3 - (-16)/(-24). Suppose d*j + 3*j = 2*w, 0 = -3*j + 4*w. Solve 2*f - 3*i - 2*i = 25, -f - 5*i - 10 = j for f.
5
Suppose -k + 2*v = 6, k + 4 = v + 3. Suppose h + 0*u + 2*u - 35 = 0, -k*u + 37 = h. Solve 2*b = -2*q - 20 + 2, 2*b = -5*q - h for b.
-4
Let d = -1 - 4. Let n = d - -9. Solve -4 = -s + 2*i, n*s = i + i + 4 for s.
0
Let n(k) = k**2 + 6*k - 2. Let w be n(-7). Let c(z) = -2 + 2*z**2 - z**2 - 2*z**2 + 6*z. Let t be c(w). Solve -r + 0*r + 27 = -5*s, -t*r + 6 = 0 for s.
-5
Let b(h) = h**3 - 3*h**2 + 2*h - 3. Let r be b(2). Let i be (-5)/2*(-5 - r). Solve -5*f - 4 = 4*y + 2, -15 = i*f - 5*y for f.
-2
Let f be (-2)/(-1 - 1) - -2. Let a(p) = p**2 + 7*p + 8. Let s be a(-7). Suppose -s + 93 = 5*l. Solve -f*v + 5*q - 16 = -3, -q = 3*v - l for v.
4
Let i(g) = -g**3 + 12*g**2 + 2*g - 9. Let x be i(12). Solve 2*p + 5*b - x = 1, 2*p - 2*b - 2 = 0 for p.
3
Suppose -4*q - 11 = j, -3*q = -3*j - 8 + 35. Let r = q + 7. Solve r*t - l = 4*l + 10, -4*l = -2*t + 8 for t.
0
Let z(j) = j**2 + j - 2. Let x be z(-3). Let c be x/(-6) + (-76)/(-6). Solve -2*b = r - 11, 3*b - c = -4*r + 12 for r.
3
Let o = 3 + -2. Let k = o + 38. Let q = k + -23. Solve 0 = 3*y + 4*s + 24 - 4, -2*y - 4*s = q for y.
-4
Let a be (-4 - 104/(-20))/((-12)/(-30)). Solve -a*h = 2*h + 3*l + 6, 5*h - 4*l = 8 for h.
0
Let a be 1/(1 - 2)*16/(-4). Solve n + 20 = i + a*i, 0 = 3*n - 5*i + 20 for n.
0
Suppose 4*c = 4*v - 44, -4*v + c = -0*v - 35. Solve 3*t + v = -t, 2*b - 4 = 2*t for b.
0
Let v(x) = 21*x - 1. Let t be v(1). Let g be (0 + 1)*6/2. Suppose h = -g*h. Solve 0 = 4*w - w + 15, z - 4*w - t = h for z.
0
Suppose 0 = -2*j - 1 - 33. Let t = 19 + j. Solve o + 3*o = u - 5, 5*o + t*u = -16 for o.
-2
Let q(a) = a**2 - 6*a. Let v = 0 - -6. Let p be q(v). Solve 2*c = 2, p*c - 3*c - 12 = -5*y for y.
3
Let v be (-279)/(-72) - 2/(-16). Suppose 0 = 4*q + 3*j + 12, -4 = -0*q - q + j. Suppose 2*b - 4 = -q*b. Solve 14 + 11 = -2*r + 5*t, b*r = -v*t + 20 for r.
0
Let y(a) = a**2 - 18*a + 21. Let b be y(17). Solve -b*t - 5*n = -16, -n - 20 = -6*t + t for t.
4
Suppose 2*p - 5*m + 29 = 4*p, 0 = -p - 3*m + 17. Solve p*k + 12 = -a + 4*k, 2*k + 8 = -4*a for a.
-4
Suppose -10 = -4*n + 2. Suppose -2 = -n*x + 10. Suppose -4*u - 12 = -2*o, 4*o - x*u = -o + 2