13) + 1 + 0. Solve 4*o - 20 = u*a, o = 4*a + 2*o for a.
-1
Suppose -g - 1 = 0, -3*i = -2*g - 2*g + 2. Let r be (2/(-2))/(i/10). Solve r*s = -3*z - 0 - 3, 0 = 4*s for z.
-1
Suppose 4*a - 3*l - 75 = 0, -2*a - 4*l = -3 - 7. Let r be a/(-2)*4/(-6). Suppose 5*o + r - 25 = 0. Solve -o*u - b = -9, -2*u - 3*b = -b for u.
3
Let i = 15 + -11. Let r = -4 + i. Suppose r*d - 2*d = -6. Solve -z - b = -3, d*b - 15 = -z - 2*b for z.
0
Let b(d) = -21*d**3 + 2*d**2 - 1. Let n be b(1). Let z = 28 + n. Suppose m = -2*m + 15. Solve 4*g - 3*l - z = 0, m*g - l = -5*l + 41 for g.
5
Suppose 0*a + z + 124 = 5*a, 84 = 4*a + 3*z. Let w = a - 20. Solve -w*b = 4, 2*l = 6*l - b - 1 for l.
0
Let z = 7 - 5. Suppose -3 + 25 = -5*t - 4*l, -z*t - 2*l = 10. Let r be -1 + -1*t/2. Solve 3*d + 4*b = 15 + 3, r = d + 5*b - 17 for d.
2
Suppose 3*m + 4*t + 10 = 0, -4 = 2*m + 4*t + 8. Solve -m*w - 4 = 3*f, -4*f + w + 10 = -3 for f.
2
Let k(n) = -3*n. Let v be k(-3). Suppose -4*r + v*r = 15. Solve -5*t = y - t - 14, r*y - t = 3 for y.
2
Let b(y) = -3*y + 5. Let g be b(-6). Solve -3*t + g = 4*r, -r + 5*t = -0*r + 23 for r.
2
Let a be ((-52)/(-39))/((-1)/3 + 1). Let k(w) = 4*w. Let i be k(4). Solve -3*j + a*c + i = 0, -4*j + 3*c - c = -20 for j.
4
Suppose 4*u = -2*b - 8, 2*b - b - 5 = u. Let q be (2/u)/((-2)/12). Solve 0 = 2*s + 2, q*p + s - 4 = 3*p for p.
5
Let n be (18/10)/(11/55). Suppose -n = -2*f - 1. Let m be 4/(-14) + (-74)/(-14). Solve -2*a - 5 - 1 = f*r, m*a = 5*r + 30 for r.
-3
Suppose -15*u = -14*u - 2. Solve 2*n - 8 = -4*j - 0*j, 4*j = n + u for j.
1
Let k = 1 - -2. Let m(c) = -c**2 + 4*c - 1. Let h be m(k). Let y = 7 - h. Solve 0*r - 5*r - i + 13 = 0, 4*i - 7 = -y*r for r.
3
Let h be 3/9 + -21*4/(-18). Let y(r) = r**2 + 3. Let d be y(0). Solve 5*g - h = m, -3*g - 2 = m + d for g.
0
Let z(n) = -n - 3. Let a be z(-5). Suppose -8*t + 162 = -a*t. Solve -t = -5*p - k, -4*p + 0*p + 2*k = -16 for p.
5
Let u = -3 - -12. Let l = u - 4. Solve l*t - z + 5 = 0, t = -4*z - 0 - 22 for t.
-2
Suppose -3 = -5*h + 4*h. Let a be (4/3)/1*h. Solve 7*r - a*r = 3*j + 12, 0 = 3*r - 3 for j.
-3
Let z = 2 - -1. Suppose -z*m + 12 = m. Suppose k = 2 + m. Solve f = -4*y + 2 + 7, 0 = k*y + 2*f - 12 for y.
2
Let n(j) = j**2 + 8*j - 1. Let f be n(-7). Let k(y) = -3*y + 5. Let c be k(f). Solve 5*o - 4*h = c, 5*o + 3*h = 8*h + 30 for o.
5
Let u(j) = j**3 + 2*j**2 - 2*j - 1. Let z be u(2). Suppose -3*v + 4*k = -6*v - z, 5 = -5*v - 4*k. Solve 5*n = -10, v*y + 5*n = 3*n - 4 for y.
0
Let m(g) = -2*g - 8. Let u be m(-7). Let y = u + -5. Suppose -y + 9 = 4*w + t, -w + t = -2. Solve 3*l = l - 10, w*z + 18 = -4*l for z.
1
Suppose -4*v + 3*k + 19 = 0, -4*k + 2 = 2*v - 2. Suppose 0 = -a - f - 1, a = 5*f + 19 + 4. Solve -4*j = -2*h - 28, -v*h + 21 = 5*j - a*h for j.
5
Let r = -21 - -25. Suppose k + 33 = -2*k. Let l = -8 - k. Solve 7*h = l*h + f + 6, -3*h + f + r = 0 for h.
2
Suppose i + 3*a - 18 = 0, -7*i + 5*i + 26 = 4*a. Let b be (-85)/(-34)*(-1 + 3). Solve -2*z - 4 = -2*w, -2*z = -i*z - 2*w - b for z.
-3
Let h(s) = s + 9. Let l be h(-9). Suppose -z + 2*g = -11, l*g - 35 = -z - 4*g. Let m be z - -1*(-1 - 0). Solve 5*i = -n, 2*n + 2*i - m = -2*n for n.
5
Let l = 1 - 2. Let d be 6 + (-3*1 - l). Let k = 8 + -5. Solve -k*f + f + 18 = 4*b, b + f = d for b.
5
Let p be 3/6*(1 - 1). Suppose 2*u - 3 - 5 = p. Suppose -3*y = -y - u. Solve y*r + 1 = -a, 0 = r + 3*a - 8 - 4 for r.
-3
Let t(x) = -x**2 - 4*x. Let z be t(-3). Let i be -1 - (-9)/z - -1. Solve -4*a + 2*k - 24 = 4, i*k - 17 = a for a.
-5
Suppose 0 = 4*c - 3 + 19. Let f = c + 7. Solve -f*j + 2*r = 0, 3*j = -9*r + 4*r + 21 for j.
2
Let z be 16/20*(-10)/(-4). Suppose -6*t = -z*t - 8. Solve 5*h - t*l + 25 = 0, -4*l + 29 = -0*h - 3*h for h.
-3
Let g(k) = 12*k**3 + 2*k - 1. Let m be g(1). Suppose 3*l = -a + 59 + m, l = 5*a + 24. Solve 0 = -4*j + 5*n + 21, -6*j - l = -2*j + 4*n for j.
-1
Let v(w) = -w**2 + 5*w - 6. Let h be v(3). Solve 4*q + 3*x = 6, h = 3*q - q + 4*x + 2 for q.
3
Let l be (-2 + 4)*(-15)/(-6). Suppose 6 = -2*w + 5*w. Solve -l*a + 6 = -d, -d + a + w*a = 4 for d.
-1
Let p = 12 + -7. Suppose j = 3*j - 8. Let i be (-4)/(-7) - 85/(-35). Solve -j*l + p*a - 7 - 2 = 0, 2*l = a + i for l.
4
Let k(v) = v**3 + 10*v**2 - 23*v + 16. Let s be k(-12). Solve 3*r - 2*j + 11 = 0, 0 = 2*r - 4*j - s + 22 for r.
-1
Suppose 3*d + 517 + 485 = 0. Let r be (-2)/11 + d/(-22). Solve 5*n = -o + 18, 2*o - n = 6*o - r for o.
3
Let l = 1 - 1. Suppose 6*z - 7*z = -5. Suppose -4*a + z + 7 = l. Solve 3*f + a = c, f + 3*c = 6*c + 7 for f.
-2
Let a = -12 - -5. Let i(y) = -y**3 - 6*y**2 + 8*y + 10. Let j be i(a). Solve -j*l + 8 = -2*z - l, l = 4 for z.
0
Suppose 4*v = 3 + 5. Solve 5*q - 22 = -v*z, z + 4*q - 13 = q for z.
1
Let t = -50 - -32. Let i be 12/t - 76/(-6). Suppose 0 = -x - 3*x + i. Solve -l + 16 = -5*u, -u + 9 = -5*u - x*l for u.
-3
Suppose 4*p - 50 = o - 3*o, -o - 35 = -3*p. Suppose 2*q + 5*u = 13, -2*q - 4*u + 0 = -p. Solve -a + 2 = 4*z + 19, -12 = -q*a for z.
-5
Suppose -2*h = h + 3*f - 6, 4*f - 4 = 0. Solve k + k = -2*a - 10, -k = h for a.
-4
Suppose -s - p + 15 - 4 = 0, 4*s = -2*p + 34. Suppose c - 12 = -3*c. Solve 1 = c*j + 2*b + s, b + 2 = -j for j.
-1
Let t(k) = -2*k - 2. Let y be t(-2). Let z(w) = 2*w - 1. Let d be z(2). Solve -4*q - p + 1 = 0, -5*q + d*p = -y*p + 30 for q.
-1
Suppose s - 3*k + 17 = k, -28 = -s - 5*k. Solve 3 = s*y - 2*r, -y = 4*y + r + 8 for y.
-1
Suppose 0*v - 2*v = 14. Let q = v + 10. Let u(x) = 2*x - 3. Let f be u(4). Solve j - q*j - 7 = 3*w, 3*w - f*j - 28 = 0 for w.
1
Let q be (-2)/(-9) - 416/(-72). Suppose 3*w - 5*a = -0*w + 25, -2*a - 29 = -5*w. Suppose -w*k - 1 = -16. Solve -h - 17 = 3*u, -k*u + 3*h = 3 + q for u.
-5
Let j be (6/(-4))/((-138)/368). Solve 4*n + 12 = -2*b + 3*n, 4*b + j*n = -32 for b.
-4
Let k = -4 + 4. Let u = 2 - k. Suppose -4*q = -u*x - 16, -x + 0 = q + 2. Solve -3*c + c - q = -5*f, 0 = 3*c + f + 3 for c.
-1
Let a(b) = b**2 + 8*b - 15. Let s be a(-10). Solve 4*r - s*w = -3*w + 2, 4*r - w = 1 for r.
0
Let l be 116/36 + (-4)/18. Suppose -o - 4 = -5*o. Suppose -2*x = l*x + 4*b + o, 3*b = -2*x - 6. Solve k + 10 = 2*c, -x*c + 6 = -3 for k.
-4
Suppose 4*l - 18 = -4*b + 30, -3*b = -l + 16. Let c = 15 - l. Solve -4*s = c*f + 22, 2*s + 2*f + 21 = -f for s.
-3
Let s be (2/2 - 0)*9. Let u = -4 + s. Solve 0*l - l + c = 5, 5*l + u*c = 5 for l.
-2
Suppose -12*b = -9*b - 15. Solve y = 3*l + b*y - 29, -4*l = y - 17 for l.
3
Suppose 5*l + 3*y - 44 = 0, 0*l - 5*y = l. Let t = -3 - -6. Solve 5*z - 11 = -3*k + 6, -t*k + l = -2*z for k.
4
Let i = 3 + -4. Let z = 4 - i. Let y be (-44)/(-10) + 2/(-5). Solve -z*b + f + 10 = 0, 0 = y*b + b + 2*f + 5 for b.
1
Suppose 5 = r + 3. Let c = 14 + -12. Suppose -o + 15 = 3*t, c*t - r*o = -0*o + 10. Solve 3*h + 2*h + t*w = 0, -2*h = 4*w for h.
0
Suppose 5*n - 3 - 2 = -3*v, -2*v + 4*n - 4 = 0. Solve 0 = 2*c + 4*g + 10, -c - g - 2 = -v*g for c.
1
Let p(w) = w**2 + 8*w - 4. Let n be p(-9). Suppose 0 = -a + 3*z, n*a - 5*z - 12 = -2*z. Solve -3*m - a*i = 9, 5*m - 1 = 2*i + i for m.
-1
Let z be ((-2)/1)/1 + 5. Let b be (2 - (10 - z))*-2. Let o = -3 + 3. Solve -5*l - f + 5 = o, f = -4*l - f + b for l.
0
Suppose -3*b + i = -18, i - 12 = -3*i. Let r = 18 - b. Let u = 5 - 3. Solve -r = 4*g + u*a - a, 4*g - a + 21 = 0 for g.
-4
Suppose h = -2*h + 12. Suppose 5*d = -h + 9. Suppose -p = -4*y - 4, -2*p + 4*y + d + 7 = 0. Solve -p = -5*f - 3*t, -4*f = 5*t - 2*t - 2 for f.
2
Suppose -3*g = 7 - 58. Suppose 0 = -5*z + 28 - 3. Suppose 2*k - z*k + 15 = 0. Solve g = 5*x + h, -x - k*h + 13 = -0*x for x.
3
Let h be (-2)/(-2) + 5 + -2. Let v = h + -3. Let y = v + 1. Solve 12 = y*i - w, w + 3*w + 33 = 5*i for i.
5
Let s(c) = -c**2 - 14*c - 2. Let w be s(-10). Solve -28 = -4*h + 2*o, -5*o = -4*h + 2 + w for h.
5
Let u = -55 - -57. Solve u*a - 4*o + 14 = 0, 0 = -3*a + 2*o - 1 - 4 for a.
1
Let m be 45/20*16/6. Let l(u) = -u**2 + 6*u + 2. Let w be l(m). Solve 17 = -g + 4*i, -20 + 6 = 4*g + w*i for g.
-5
Let i = 82 - 115. Let z be (-3)/(-18) - i/18. Solve -z = -v + o - 5*o, 0 = 4*o for v.
2
Let d be (6/5)/(32/80). Solve 0 = 2*n - d*u - 2, 2 + 0 = u for n.
4
Suppose i + 31 = 5*n - 0*n, -3*i - 3*n - 21 = 0. Let m(f) = -f**2 - 10*f + 16. Let p be m(i). Solve 2*d - d - 3*q = -11, -5 = -5*d - p*q for d.
-2
Let y be (4 - 6)*(-1 + 0). Let m be y + 1/(3