r*p + 5*a, 0 = -a for p.
-2
Let v(x) = -x + 13. Let w be v(8). Solve 3*m = 3*n - 0*m - 12, -3*n + w*m = -20 for n.
0
Suppose -12 = -9*j + 7*j. Let c(p) = -p**3 - 3*p**2 + 2*p - 3. Let k be c(-4). Let x = -6 + 8. Solve k*s = 5*z + 30, -j - 4 = x*z for s.
1
Let h = -23 - -29. Solve -2*i + g = -h, -i + 0*g + 5*g + 21 = 0 for i.
1
Suppose -62 + 67 = o. Solve -2*j - 3*g - 3 = 4, -o*j = g + 24 for j.
-5
Let d be 14/3 - (-5)/15. Let z = 7 - 4. Solve -5*q = -c + 11, q + d = -3*c - z*q for c.
1
Let t be (-7)/((-49)/(-2))*(-18 + 4). Solve t*r = -3*p + p - 26, -r = 2*p + 11 for r.
-5
Suppose 0 = 5*j - 2*u - 201, -4*j + 89 + 73 = -u. Solve n - 4*z = -0*z + 21, j = 5*n - 4*z for n.
5
Let j(t) = -t**2 + 8*t - 7. Let i be j(7). Let f(u) = u**3 + u**2 - u. Let z be f(i). Solve -7 = -3*q + 4*a, z = a + 1 + 3 for q.
-3
Let o be 2/(3/(3 + 3)). Suppose 0 = m - 3*m + o. Solve 0 = f + f + m*j + 12, j = 3*f - 2 for f.
-1
Suppose -3*p + 12 = -p. Let s be ((-10)/6)/(1/(-15)). Let q(j) = 5*j - 70. Let h be q(15). Solve -2*v + p*v - s = -h*a, -a + 5 = 4*v for v.
0
Let b be (3 + -1)/2*3. Solve o + 3 = -2*m, b*m + 3*o - 2*o + 2 = 0 for m.
1
Suppose -s = f - 4, -2*s + 2*f + f + 3 = 0. Solve -s*j = -j, -4*j - 2 = 2*l for l.
-1
Suppose -u - 2*u + 24 = 5*k, -4*u + 27 = 5*k. Solve -2*t + 12 = -u*y - 5*t, -5*t + 1 = -2*y for y.
-3
Let l be (1 + -1)/((-4)/(-4)). Solve -t - 2*p = p + 5, l = 2*p + 6 for t.
4
Let s be (0 - 6)/(-2 + 1). Let n(v) = v**2 - 4*v - 6. Let j be n(s). Let h(y) = y**2. Let o be h(2). Solve -2*x + j = -2*z + x, o = x for z.
3
Let x(b) = b + 4. Suppose 5*l + 3*h + 15 = 0, l = -l + 3*h + 15. Let k be x(l). Let r = k + -2. Solve -r*v = v + 3*g, -g = 3*v - 10 for v.
5
Let c be (-1)/(((-4)/(-3))/(-4)). Let g be -1 + (-9)/c + 27. Solve -3*d + 5*v = g, -d - v - 5 = -2*v for d.
-1
Let w(n) = -n**3 + 8*n**2 - n + 12. Let r be w(8). Solve r = 4*q + 2*z, -4*q + q = z - 1 for q.
-1
Let l be 0/(2/(-1) + 1). Let o(c) = 4*c + 1. Let b(p) = p + 1. Let m(j) = 3*b(j) - o(j). Let t be m(l). Solve -2*a - 14 = 2*h, -a + 21 = -5*h - t for h.
-5
Suppose 0 = 5*b, -3 = 5*q - 2*q + b. Let u(w) = -2*w + 1. Let m be u(q). Let d be 6/9*m/1. Solve -y + 4*n = -4*y - 9, 0 = -d*y - 3*n - 7 for y.
1
Let i = -1 - 3. Let s be (-16)/6*(-6)/i. Let q(u) = -2*u - 4. Let w be q(s). Solve -4*c - 8 = w*z, -4*c + 17 = -4*z + c for z.
-3
Suppose -2*c - 5*c = -c. Solve 2*u = -5*d + 4*u + 22, -u - 1 = c for d.
4
Let n = 9 + -8. Let a be 19/5 + n/5. Solve 5*m = -4*k - 13, -1 = 4*m + a*k + 11 for m.
-1
Let o(m) = -m + 6. Let f be o(7). Let v be f*4/(1/(-1)). Solve 3*y - 28 = v*a, 3*y + 5*a - a = -4 for y.
4
Let h = -27 + 33. Solve 3*j - 9 = -5*i - 0, 2*i - 2*j + h = 0 for i.
0
Suppose 3*u = -7 - 2. Let q = u + 6. Let z = q - 3. Solve z = -3*k + 4*f - 19, -k + 2*f - 2 - 5 = 0 for k.
-5
Let p be 51/1 + 1/1. Let j be p/(-6)*(-9)/6. Suppose 0 = 3*d - 17 - 22. Solve 4*o = -3*b + j, 0 = -4*b - b + 2*o - d for b.
-1
Let y = -3 - -8. Solve -2*m = -y*k + m + 25, 13 = -k - 3*m for k.
2
Let s = 63 + -59. Solve x + r = 2*x - s, -6 = 3*x + 3*r for x.
1
Let u(m) = m**3 - 3*m**2 - 4*m + 4. Let o be u(3). Let z(v) = -v**2 - 7*v + 10. Let h be z(o). Solve -p - d = 5, -p + 1 = -h*d + d for p.
-2
Suppose n = 2*n + 4*o - 11, 24 = 3*n + 3*o. Let r = n - 2. Suppose r = -3*u + 4*u. Solve 5*z + 4*d - 16 = -0*d, 0 = -u*z + 4*d - 16 for z.
0
Let h = -41 - -45. Solve x + 10 = -v + h, 5*v - 5*x = -20 for v.
-5
Suppose -2*t - 14 = -4*z, -z + 4*t = 4*z - 10. Solve -4*w - 18 = -3*u, 3*w - z*w - 15 = -3*u for w.
-3
Suppose d = 3*v, -8*d = -4*v - 4*d. Let j be (5*4)/(v - -2). Let c(i) = -i**2 + 3*i + 2. Let b be c(2). Solve -4*q = -3*x + 2, -b*x = -4*q + 5*q + j for x.
-2
Suppose 19 - 42 = -k. Solve 4*x - 5*w = k, -x - w + 8 = -3*w for x.
2
Let c(x) = -x**2 + 6*x + 4. Let b be c(5). Let v(l) = -l - b + 3 + 0. Let r be v(-6). Solve 5*y + 11 = k, r*y = -3*k - 5*y - 7 for k.
1
Let d = 0 + 3. Solve 0 = 2*o - 2*c + 6, 4*c + d = -3*o - 6 for o.
-3
Suppose -4*n - 46 = -250. Suppose 2*d - n = -d. Suppose -2*j = 5*j - 14. Solve -d = 4*y + 5*g, g + 1 = -y - j for y.
2
Let p be (2 - 96/21)/((-2)/14). Solve -29 = -5*q - 2*a, 2 + p = 2*q + 5*a for q.
5
Let s(u) = 2*u**2 + u. Let f be s(2). Suppose 6 + f = 2*g. Let q = -6 + g. Solve -t + 6 = -q*z, -5*t + 20 = -0*z - 5*z for t.
2
Suppose -2*u + 4 = -0*n + 2*n, 5*n = -20. Let m(o) = 3*o - 2 - 2 - 2*o. Let q be m(u). Solve q*d - j - 1 = 0, -d - 2*j + 5 = 2*d for d.
1
Let d(k) = -2*k - k + 0 - 1. Let t be d(-6). Let q be 6/(-24) - t/(-4). Solve -5 = 2*y - 4*y + 5*s, 0 = -q*y + 5*s - 5 for y.
-5
Let g be (0 - 1 - 0)/((-1)/27). Solve -4*d + 5*z = -g, 4*d + 0*z - 6 = -2*z for d.
3
Suppose s - 7 = -u - 6, -u + 1 = 0. Solve -4*v = 3*a - s*v - 4, 16 = 5*a + 2*v for a.
4
Let f be 15/(-10)*14/(-3). Solve 2*d + 2*o = 5*d + f, o + 19 = -3*d for d.
-5
Let d be 2*-2*(-36)/16. Let f = d + -4. Solve 5*s + 6 + f = -2*x, -3*x = -s - 9 for x.
2
Let k be (2 - 1)/((-1)/(-5)). Suppose -d + 1 = c, d + d = 4*c - 10. Let b = 0 + c. Solve 2*v + 5 = -b*m - v, -2*m + k*v + 35 = 0 for m.
5
Suppose -4*s - 2*i - 7 = -s, -s = 3*i + 14. Solve 12 = 4*n + 4*h, h - 8 = -3*n - s for n.
2
Let x be (-3)/4 + (-57)/(-12). Suppose -2*z + 11 = -0*b + 5*b, -7 = -z - b. Let w = z - x. Solve 0 = -w*l - 5*d, -5*d = -l - 3*l for l.
0
Let y be (-58)/(-5) + 9/(-15). Suppose 14 = -f - f - 2*v, 0 = -3*f + 2*v - 21. Let b = y + f. Solve -b = 2*i - 4*r, 11 + 4 = 5*r for i.
4
Let o(a) = a**3 - a**2 + a + 5. Suppose 0 = -t - t. Let l be o(t). Let x be 18/l - 2/(-5). Solve -x*m = -3*w, -2*w - 2*w + 3*m = -7 for w.
4
Let o be (-1)/(-3) - (-20)/12. Let d be ((-26)/(-78))/(1/15). Suppose -5*y - 140 = -d*m + 80, -o*m = y - 76. Solve 0 = p - 1 + 4, 0 = 5*g - 5*p - m for g.
5
Suppose 5*l + w = -3 + 17, -2*w = -5*l + 2. Suppose -4*q - 3*u + 38 = 0, -2*u = 2*q + 2*u - 24. Solve -3*o + q = -l*x - 12, 4*x = -4*o for o.
4
Let k be (-8)/(-20) - 6/15. Solve 2*h = -0*q - q - 10, k = 3*q for h.
-5
Let j be (5 + (-75)/10)/((-10)/12). Let b be 2/1 + 1/(-1). Solve 0 = 4*k + 4*z, 4*k + j*z - 2 = -b for k.
1
Let s(r) = -13*r - 5. Let b be s(-7). Suppose -4*l - 6 = -b. Solve -q + h - 13 = 3*h, 0 = -5*h - l for q.
-5
Let w(s) = s**2 - 6*s + 4. Let m be w(6). Let i(b) = 11*b**2. Let v be i(1). Let c = v - 9. Solve -m*o = -5*t - 0*t - 35, c*t = -3*o + 9 for o.
5
Let j be -2*-1*9/3. Let h be (-42)/35*10/(-6). Let n be 1 + -1 + (-8)/(-2). Solve m + j = -m - i, 2*m + h*i + n = 0 for m.
-4
Let c(b) = -b + 20. Let j be c(5). Let k(x) = -x**3 + 14*x**2 + 16*x - 12. Let g be k(j). Solve g*i + 3*l + 2*l + 14 = 0, -1 = l for i.
-3
Let b be 7 + ((-8)/2)/2. Suppose 4 - 19 = -b*t. Let i be -1*(2 + -2)/3. Solve 2*r + i*g = -g - 5, -t*g - 12 = 5*r for r.
-3
Let d(a) = a**2 - 11*a + 13. Let g be d(11). Suppose g + 14 = 3*c. Solve -2*w + i - c = 0, -5*w = -2*i + 1 + 20 for w.
-3
Let r = -15 - -20. Solve 0*n = n + 3*z - 10, r*z = 3*n + 26 for n.
-2
Let n = 24 + -14. Let j be (-4)/(-4) - (-2 - -10). Let q = j + 9. Solve 0 = 3*h + q*m - 12, -n = 4*h - 4*m - 26 for h.
4
Suppose -4*u + 3*h = -7 + 35, 5*u + 36 = 4*h. Let o be 5 - (2 + u + 4). Solve f - 11 = 2*v + 2*v, 0 = -2*f - o*v - 11 for f.
-1
Suppose -d = -3*d + 8. Suppose -2*v - d = -3*v. Solve 3*g + g - v*u = -16, -24 = -4*g - 4*u for g.
1
Let u(x) = -x + 6. Let d be u(4). Let q = 1 + d. Solve -2*w + 3*c = -w - 16, -3*c - 24 = -q*w for w.
4
Let y be 4/(-14) - (-96)/42. Let m = -2 + y. Let a = 1 + 3. Solve -12 = -p + 2*s, m = a*p - 3*p - s - 7 for p.
2
Let q be -2 - (4/1)/(-1). Solve 0 = q*c + 2, -2*p = p - 5*c - 11 for p.
2
Let r be ((-6)/15)/((-2)/10). Suppose -5*u = 4*o - 11, r*u = 5*o + 7*u - 15. Let h = -1 - -3. Solve -5*w = -5*v + 45, h*v + 3*w = o*w + 13 for v.
4
Let d = -21 + 29. Let s = d + -5. Suppose v = -s*j + 3 + 3, 5*v - 14 = j. Solve -2*g - j = 3*g + q, -2 = 3*g + 2*q for g.
0
Suppose -3*j = -o - 16, 0*o = 2*j - 2*o - 16. Solve 0 = 3*y - 3*i, 0 = j*y + 2*i + 3 + 3 for y.
-1
Let t(l) = -l**3 - l**2 + l. Let s be t(-2). Let d be -3 + (0/2 - -11). Suppose 4*y - d = -0*y. Solve -4*a - 1 = -s*a + v, -3*v = y*a + 7 for a.
1
Suppose -4*i - 7 = m, -8*m - 11 = -i - 4*m. Let p = -20 + 19. Let f = i - p. Solve j - 4*s = -11, f*j = -4*j + 5*s - 11 for j.
1
Suppose -5*l = -2*l - 9. Suppose -4*k + 10 = 2*x, l*k + 2*x = -x. Solve -k*t + 4*v - 3