 -s*d - 2 = -0*d - 2*x for d.
-1
Suppose 0*o + 3 = -o. Let q = 5 + o. Let f(h) = h - 10. Let z be f(13). Solve -5*s = -z*s + 4*x + q, 0 = -2*x + 2 for s.
-3
Suppose 0*k = n + 4*k - 13, 16 = 4*n + 4*k. Suppose 10 = -4*u + 5*w, 5*u - 3*w - n = -7. Solve 2*a + 2*a - 12 = 0, -5*r + 4*a + 13 = u for r.
5
Suppose o + 40 = 5*o. Let y = -8 + o. Suppose -y = -3*b - 0*b + r, 4*b - 10 = 5*r. Solve b*z - 12 = 2*h - 3*z, 16 = -5*h + 4*z for h.
0
Suppose -17 + 57 = 8*u. Solve u*a = g - 5, 0*g + 15 = -3*a + 3*g for a.
0
Let y be ((-2)/4)/((-6)/(-12)). Let u be ((-4)/(-2) + y)*17. Suppose -f + 2*o = 3*f - 8, 0 = 3*f + 5*o - 6. Solve -5*h + u = -4*p, -3*h + 4*p = f*p - 9 for h.
1
Let j be (-11)/(-4) + 1/4. Suppose -2*o = 4*z - 22, z = -3*z - 3*o + 21. Suppose -q - z + 16 = -5*n, 0 = 5*n + 10. Solve -l - 1 = q, j*l = -3*u - 2*l + 7 for u.
4
Let w(t) = t**2 - 4*t - 3. Let u be w(4). Suppose 0 = -5*z + 31 + 4. Let m = u + z. Solve 3*x + 0 = 4*r + 2, 5*x = -m*r + 14 for r.
1
Let i be (16/(-10))/((-4)/40). Suppose m = -m + i. Solve 0 = -3*q + 3*u - m + 2, 2*q = -4*u - 4 for q.
-2
Suppose 4 = -4*t + 8. Let m be 148/10 + t/5. Suppose 0 = 6*v - v - m. Solve -5 = -3*b + g + 2, -3*b = -v*g + 3 for b.
4
Let c be ((48/(-15))/4)/((-2)/5). Solve 0*v - 2*v - 8 = -2*o, c*v = 3*o - 12 for o.
4
Suppose 8*z - 3*z = -2*m - 130, 4*z = -2*m - 130. Let j be (-2)/6 + m/(-15). Solve 5*f + 3*w - 16 = 0, -2*w - j = f + w for f.
5
Suppose 4*o - 40 = -o. Let k = 4 - o. Let l = k + 8. Solve 0*y + 3*y = -4*x - l, y + 4*x = -4 for y.
0
Suppose -5*d = 2*n - 23, 1 = 4*d - d - 2*n. Solve d*v - 31 + 8 = 4*j, 0 = -2*j + 2*v - 14 for j.
-2
Suppose -5*x - y = -25, x - 12 = -4*y + 12. Solve 2*i - 4 = -2, -x*s = 2*i + 6 for s.
-2
Let c = -11 - -20. Suppose -6 - c = -5*t. Solve -a + 0*u - 4*u - 19 = 0, t*a - 3*u = 18 for a.
1
Let j = -2 - -17. Suppose 4*q = q - 30. Let t = j + q. Solve 0 = -4*l - 4*u - u - t, 0 = -3*l - 4*u - 5 for l.
5
Suppose -7*c = -c - 30. Solve 7*t - c = 5*j + 3*t, -t - 30 = 5*j for j.
-5
Let j(s) = s**2 + 4*s - 2. Let n be j(-4). Let v = n + 11. Let i(l) = l**2 + 12*l - 30. Let c be i(-15). Solve -3*m - c = 4*w, -2*m = -4*w + m - v for w.
-3
Let b(i) = -4*i - 4. Let y be b(-7). Let d be 16/y - (-92)/6. Solve 0 = -u - 4*w + d, 2*u - 4*u + 4*w = 4 for u.
4
Suppose 0 = 5*n + 3*y - 159, 0*n + 4*y = -3*n + 102. Suppose 0 = 14*q - 19*q + n. Solve 2*c - 4*t - 10 - q = 0, 5*c - 4*t - 22 = 0 for c.
2
Let i be ((-3)/2)/(15/(-90)). Solve 3*u + i = 2*a, -2*u + 10 = -4*u for a.
-3
Let v = -53 - -65. Solve 5*m + v = -4*d, 3*d + 7*m - 4*m + 6 = 0 for d.
2
Let y(f) = -f**2 + 5*f + 2. Let k be y(4). Let b = -1 - -4. Suppose -b*v = -27 + k. Solve 2*z + 18 = v*z - 2*g, 0 = -z + 2*g + 10 for z.
2
Let i(h) = -2*h**2 - 13*h - 2. Let l be i(-6). Solve l*m = -4, 0*o + 2*m - 2 = -2*o for o.
2
Let a be (1 + -1)/1 - -41. Let f be 1/((1/27)/(-1)). Let w = a + f. Solve 3*z - 4*z = 5*g + w, 0 = -g - 2 for z.
-4
Suppose 0 = 5*s - 13 - 2. Suppose -m - 6 = 8. Let c = 0 - m. Solve -5*f + c = -s*o, 0*f = o + f + 2 for o.
-3
Let j = 52 + -49. Let d(p) = p**3 + 9*p**2 + 8*p + 4. Let w be d(-8). Solve -w*o = -4*g - 36, -j*g - 4 = 2*o - 2 for o.
5
Let q be (-112)/(-40)*(6 + -1). Solve -q = 5*d + 3*a, -3*a - 3 - 2 = -4*d for d.
-1
Let a be 6*4/6 - 1. Solve -3*o + a = -y - o, 4*o = 4*y for y.
3
Let l be ((-3 + 3)/(-2))/(-1). Suppose 13 = -2*p + 21. Solve -3*f = -5*o - l*o - 29, -p*o + 3*f = 25 for o.
-4
Suppose 4*v - 4 + 0 = 0. Suppose 2*o = 11 - v. Let m = -3 + o. Solve 2*p + h = -12, -3*h = -p - m*p for p.
-4
Suppose 7 = 5*x - g + 2, -3*x + g + 1 = 0. Solve 5*u - 10 = -s, -s - x*u = -0*u - 4 for s.
0
Let y(n) = -n**3 + 5*n**2 - 4*n + 6. Let v be y(4). Suppose -5*z + 21 = v. Suppose z*p - 6 = 3. Solve -s = 0, 0 = -3*w - 4*s - 0 + p for w.
1
Let s be 0/1*4/8. Let p = s - -7. Solve 0*f - 7 = f - j, p = -4*f - 3*j for f.
-4
Let b be 3 - (0 + -2 + 2). Suppose b*v - 22 = -3*o + 7*v, -2*o = 5*v + 16. Solve -2*q + q + 13 = -2*s, -25 = -5*q + o*s for q.
3
Suppose -4*h + 28 = -2*y, 2*h - 3*y - 10 = 12. Solve -o - u = -h, -5*o = -3*o + 5*u - 19 for o.
2
Let y be 11/(-22) + (-2)/(-4). Solve 0 = 4*i - d + 4, -5*i + 2*i - 4*d - 22 = y for i.
-2
Let k = -2 - -7. Solve -i - i = 5*q + k, q = -3 for i.
5
Let u = -16 + 28. Solve 5*r + 27 = -i, 2*r + 4*i + 6 = -u for r.
-5
Suppose -3*w - 3*w + 180 = 0. Solve 0*a - 3*a - 5*r = -w, 0 = 2*a + r - 13 for a.
5
Let n be (3 + -2)*1*-4. Let p be (-2 + (1 - n))/1. Suppose 0 = p*u - 7*u + 172. Solve -5*r + 3*i = -8, -u + 11 = -3*r - 5*i for r.
4
Let f = 6 - 3. Suppose 0 = -2*n - n. Solve -2 = -h, n = -r - 0*r + f*h - 10 for r.
-4
Let a = 1 + 1. Let w(z) = -7*z**2 + 4 - z**3 - 1 + 3*z**a. Let t be w(-4). Solve 3*d + 5*q + 10 = 29, -4*d = q + t for d.
-2
Let w = -2 - -3. Suppose 8 + w = 3*f. Solve 3*g = -0*z - f*z + 18, -4*g + 3*z - 11 = 0 for g.
1
Suppose -3*d = -d - 10. Let z be (8/3)/(2/3). Suppose -b = -4*t - z*b + 14, -20 = -5*t - d*b. Solve -3*a + 14 = 5*c, -2*a = t*c - 0*a - 4 for c.
4
Suppose -2*k - 4 = -4*k. Solve 0 = 2*l + k, -q - 2*l = -2*q for q.
-2
Let s = 5 + 10. Let u = -4 + s. Solve 6*x + r = x + 22, -x + 2*r = -u for x.
5
Let y = 36 + -33. Let r be ((-9)/2)/(21/(-56)). Solve -4*w + y*w - 3*j + 10 = 0, -r = -w - 4*j for w.
4
Suppose 3*b - 10 = -3*a + a, 3*a = -b + 8. Solve 4*g - 12 = 5*y, y = g + a - 4 for y.
-4
Let t be (-2)/3 + 3/(-9). Let c(l) = 4*l**2 - l. Let g be c(t). Suppose -31 = -g*p - 4*h, 3*h - 10 = 2. Solve -5*q = -p*a - 0 + 1, 0 = -5*q - 3*a - 19 for q.
-2
Let o = 8 - 5. Let v(r) = 2*r**2 - 3*r - 4. Let j be v(o). Suppose -h + j = -0*h. Solve -2*m + 3*t - 8 = 0, -2*t + h = -4*m - 3 for m.
-1
Suppose 2*k = -33 - 27. Let x be 2/(-12) - 185/k. Solve 10 = r - x*r - j, 0 = -3*r - 2*j + 1 for r.
-3
Let h be ((-8)/6)/(3/(-27)). Suppose 2*w - j + 12 = -5*j, -h = 3*j. Suppose w*g + 3 = -0*g - m, 5*g - 2*m = 6. Solve 4*s - 5*f = -g*s - 45, f - 5 = 0 for s.
-5
Let r = 27 - 23. Solve 3*f + 4*g - 4 - 2 = 0, -g = r*f - 8 for f.
2
Suppose 4 = 2*r - 0. Solve r*l + a + 4*a = 6, -6 = -2*l - 4*a for l.
3
Let w = 2 + -18. Let f be (1 + 0)/((-1)/w). Let y be ((-8)/6)/((-8)/36). Solve 3*l = y*b - 4*b + f, 5*l = 10 for b.
-5
Suppose -8*m = -13*m + 10. Solve a + 4*h - 12 = 0, -m = a + 3*h - 10 for a.
-4
Let s = 7 - 3. Solve 3*b - 8 = -r + 10, -8 = s*r - 4*b for r.
3
Suppose 21 = 5*a + 6. Solve a*h + 3 = 2*h + g, -h - g = 3 for h.
-3
Let v be -1 + 1 + 1 - (-3 + 4). Solve x - 1 = 2*b - v*x, 0 = -3*b + 2*x - 1 for b.
-1
Suppose -3*z + 9*m + 36 = 4*m, 4*z - 34 = 2*m. Solve i - 17 = z*d - 2*d, -5*i + 4*d + 1 = 0 for i.
-3
Let o = 17 + -14. Solve -11 = 2*u + o*n - 2, -3*u + 12 = -4*n for u.
0
Suppose -4*g + 5*j - 4*j + 31 = 0, g = -2*j + 1. Solve 5*o = -r + 22, g - 1 = 4*o - 5*r for o.
4
Let d = 20 - 8. Suppose -4*c = 3*t + t + d, 0 = 2*t + 6. Solve -4*q - 12 + c = -w, -2*q = -5*w + 24 for q.
-2
Suppose 0*f = 3*f + 12. Let d = f + 7. Solve -c - 18 = -d*c + 4*m, 0 = 3*c - 5*m - 25 for c.
5
Suppose 26 + 0 = 2*o. Let h = o - 11. Solve 4*d = -3*x + h*d - 8, d + 2 = -x for x.
-4
Let r = 5 + -1. Let w = r - -1. Solve 0 = 2*s - 7*x + 2*x - 12, w*x = s - 11 for s.
1
Let y be -2 + 1 - (-2 - 4). Let k be (3 - y) + 8 + -1. Solve 4*n + 2*t - 6 = -2, -2*n + k*t + 26 = 0 for n.
3
Suppose i + 2 = 0, -3*p + 3*i - 2*i + 8 = 0. Solve -2*d + 7*d + 2*t + 25 = 0, 0 = p*t for d.
-5
Let w(n) = -n**3 + 7*n**2 - 5*n - 5. Let b be 2 - (-2*1 + 2). Let g be 4 - b/(-1*2). Let x be w(g). Solve 4*c - 5*f = c - 28, 5*c - x = -5*f for c.
-1
Let q(g) = -g**3 - 12*g**2 - 12*g - 8. Let i be q(-11). Suppose -8 + i = -f. Solve -j - 1 = -2*s, 2*s + 3 = -f*j - 2 for s.
0
Let v = 8 - 5. Suppose -17 = -4*l + v*a, -5*l - 4*a - 2 = -31. Solve 5 = j - l*m, -5*j - 31 = 2*m + m for j.
-5
Let r = -4 - -7. Suppose 0 = r*o - 4*o. Let v(q) = 2*q + 18. Let g be v(-6). Solve 5*p - 15 + 5 = 5*f, o = -4*f - 3*p + g for f.
0
Suppose -z - 4 = -5*z. Let n be z - -1 - (-6 + 4). Solve -3*y + 2*y + n*c + 10 = 0, c + 3 = 0 for y.
-2
Let t = -3 - -2. Let q be (1/t)/(4/(-44)). Solve -k - q = -5*i, 3*k - 3*i + 4 = 7 for k.
4
Let c = 3 - 1. Suppose v = -2*y - 2, -4*y - 2 = c*v + v. Solve -v*d - 4 = -3*a, 2*d + 16 = 3*a - 6*a for a.
-2
Suppose -4*h = -3*n + 31, 8*n - 4*h = 3*n + 49. Suppose -n*j = -10*j. Solve 4*o + 20 = j, -o + 13 + 2 = -4*u for u.
-5
Let x 