 6 = -4*t + 25 for s.
-3
Suppose -4*m + 16 = 0, m = -u - 0 + 14. Solve -x = -2*l - 3*l - 23, 0 = -2*l - u for x.
-2
Suppose 3*x = -0*x + 18. Suppose -x*d + 5 = -13. Solve 3*m + 2*f + 7 = 0, 4*m - d*f - 1 - 1 = 0 for m.
-1
Let k = 1 - -2. Suppose -s - s = 3*y + 21, k*s + 3*y = -27. Let t be 25*(1 - s/10). Solve 3*u = 2*f + 3*f + t, -f - 5 = 0 for u.
5
Let d be 32/12 - (-8)/6. Suppose 8*w + w = d*w. Solve 3*s + 2*i + 26 = -3*i, w = -3*s + 3*i + 6 for s.
-2
Let s = 34 + -38. Let p be 3 - ((-1 - s) + -1). Solve -1 = 4*l + 2*y + p, 0 = -y + 3 for l.
-2
Suppose 0 = -z - 4*z + 15. Let x be 13/z + 20/30. Suppose 2*g - 3*g = d - 20, 94 = x*g + 3*d. Solve u + 8 = -3*u, -5*w - u = g for w.
-3
Let g = -73 - -65. Let i be (-34)/g + 0 + (-6)/24. Solve i*k - 13 = -2*h + h, 0 = -5*h - 2*k + 11 for h.
1
Suppose -15*y = 6*y - 105. Solve -y*m - 25 = 0, 4*m + 5 + 11 = -2*a for a.
2
Let v(q) = 2*q**3 - 27*q**2 + 14*q - 13. Let t be v(13). Suppose -4*r + 8*r = b + 6, -3*r + 3*b = t. Solve n + i + 1 = 0, 4*n - 2*i - r*i - 20 = 0 for n.
2
Suppose -2*r + 8 = 0, -2*d + 26 = -0*d + 5*r. Solve d*s + v - 6 = 0, -7*s + 11 = -8*s + 4*v for s.
1
Let c = -30 + 37. Let m(k) = 7*k - c - 3 - 8*k. Let s be m(-12). Solve -4*h + s*z = -5 - 13, 0 = 2*h - 4*z - 12 for h.
4
Let n(z) = z**3 - 36*z + 3. Let f be n(6). Solve -3*l = f*v - 3 + 6, 3*l - 5*v = -3 for l.
-1
Let d be 2/10 - 276/(-20). Let m = d + -10. Suppose g - k = 3, 3*g = -0*k - 4*k + 16. Solve -m*y - 4*u + 28 = -0*y, g*y = u + 13 for y.
4
Let b = 127 - 185. Let a = -53 - b. Solve 4*k + 2 = -a*i + 10, 12 = -4*k for i.
4
Let a = -33 - -34. Let x = 2 + -14. Let u be x + 13 + a + 1. Solve -f - 9 = 4*z - 1, 0 = u*f + 2*z - 6 for f.
4
Let q = -156 + 164. Suppose 5*w + 4 + 3 = 3*b, -12 = -2*b - 4*w. Suppose -2 = 2*r - 6. Solve b*u - 2 = r*x, 3*u + 1 = -2*x - q for u.
-1
Let w = 11 + -10. Let q = w + 3. Let a be 6/4*(0 + q). Solve -5*v = -15, -y + 0*v = 2*v - a for y.
0
Let b(z) = 4*z - 16. Suppose -11*c + 40 = -7*c. Let h be b(c). Solve -m + 0 - 4 = 0, g - 5*m - h = 0 for g.
4
Let q(s) = -s**3 - 6*s**2 - 8*s - 13. Let l be q(-5). Solve 1 = 5*z - l*z - 2*y, -3*y = z + 7 for z.
-1
Suppose -4*k - 17 = h, h + 2*k - 8 = 3*k. Let c(t) = -4*t**h + 4*t**3 - t - 3*t**3. Let p be c(-1). Solve b + u = -7 + 3, p = -4*b - u for b.
0
Let q = -373 + 378. Solve 2*v - 3*s = -10, -5*v + 1 = q*s - 24 for v.
1
Suppose 2*x = 9*w - 6*w - 22, x + 20 = 3*w. Solve -4*z = 3*a + 32, 0 = -5*a + z - w*z - 45 for a.
-4
Let j = -252 - -255. Solve -j*l = -5*s - 7 - 3, 15 = -3*l for s.
-5
Suppose 2*k - 4*k = -70. Let i be (k/14)/((-15)/(-12)). Suppose u = 5*s + 35, -3*u = i*u + 3*s - 35. Solve -5*n - q + u = -0, 10 = 5*n - 5*q for n.
2
Let v = -1 + -11. Let s = 15 + v. Suppose 0 = -s*g + g - y + 7, -4*y + 4 = 0. Solve -4*q - 2*c - c = 14, 0 = 2*q + g*c + 4 for q.
-5
Suppose 3*a + 2*a - 15 = 0. Suppose 0 = -4*c + 3*y + 66, 3*y = 1 - 7. Solve 2*t + 3*f - 15 = 0, a*f = 3*t + t + c for t.
0
Suppose -21 = -21*b + 21. Solve 0*v - 6 = 2*u - b*v, -15 = 4*u - v for u.
-4
Suppose 4*v = 3*w - 0*w - 13, 3*v = -2*w + 3. Suppose -4*r - 10 = -w*x, 4*x + r - 10 = -3. Solve 10 = -k + x*m, -k = -0*k + m + 1 for k.
-4
Let n(r) = r**3 - 4*r**2 - 3*r + 14. Let u be n(4). Solve 5*t = -5*v - 5, -u*t + 2*v = 7 - 17 for t.
2
Let c be (-8)/(-6)*39/26. Suppose -4*a + 6 = c. Solve 3 = -l - 4*t, 5*l = -t - 3*t + a for l.
1
Let f be 2/(-13) - 4/(-26). Suppose -3*z + f = 51. Let j = -15 - z. Solve -j*h = 2*t, -t - h = 3*h - 12 for t.
-4
Let f(j) = j**3 + 9*j**2 + 6*j + 3. Let w be f(-8). Solve 1 = -5*b - i - w, 4*b + 22 = -2*i for b.
-3
Suppose 29*k = 39*k - 80. Solve 3*o - 4*w = 16, 2*o = -o - 2*w - k for o.
0
Let l(c) = -3*c**2 - 49*c + 39. Let d be l(-17). Solve -d*b + 3*h - 3 = -35, -h = -5*b + 24 for b.
4
Suppose z = -3*z + 12. Suppose -2*t - 7 + z = 4*y, -23 = -2*t + 5*y. Solve -4*u - t*c = -8, 5*u = -3*c + 15 - 5 for u.
2
Suppose 5*i + 2*v = 10, -3*v + 7*v + 8 = 4*i. Let s be 33/(5/i + -1). Let f = s - 10. Solve 2*k + 5*z = -0*k - 13, 0 = 3*k + 5*z + f for k.
1
Let j = 0 - -5. Suppose -3*k = -2*k - j*f - 17, -10 = -2*k + 2*f. Suppose k = p - 3. Solve 3*b + 0*b - l - 14 = 0, 2*l = -5*b + p for b.
3
Suppose -332 + 342 = 2*m. Solve m = -0*x + 4*x + 5*c, 0 = -x - 4*c + 15 for x.
-5
Suppose 3*o - 16 = o. Suppose d + 0*d = 4. Suppose -6*v + o = -d*v. Solve z - 4*z + 8 = -2*n, v*z - 6 = 5*n for n.
2
Let w(l) = 9*l**2 + 3*l - 7. Let c be w(-3). Let p = c - 62. Solve -5*x + 1 = -p*z, -2*z - 13 = 2*z + 5*x for z.
-2
Let q be (1 + -18)*(-21 - -16). Let n = q - 81. Solve -3*u + 2*c = n, 5*u = -c + 4*c - 7 for u.
-2
Let c(i) = i**3 - 2*i**2 - i - 1. Let z be c(3). Let y = -27 - -27. Solve -2*d + y = -z*k + 8, 3*k + 5*d - 11 = 0 for k.
2
Let f = 45 - 35. Suppose 6*w = 22 - f. Solve -6 = -4*o + w*u + 4, 0 = 5*o + 4*u - 19 for o.
3
Suppose -9 = -h + 5. Let c = h + -17. Let l be (-8)/84*c*7. Solve l = -2*f + 4*j + 12, j = 4*f + 15 for f.
-5
Let b be ((-200)/75)/((-4)/6). Suppose l - 4*l + 6 = g, 2*l - b = g. Suppose 2*q = -4*d, -2*q + 4*d + 6 = 2*d. Solve g*y + 4*n = 2*y + 2, 10 = -q*y - 4*n for y.
-3
Suppose 10*k + 2 = 11*k. Suppose 3*c + 12 = -4*i + 6*i, 8 = i - k*c. Solve -t + 20 = -i*t - 5*l, 0 = 4*t - 4*l for t.
-5
Suppose -29*n + 28*n - 5*q + 32 = 0, 0 = n + q - 16. Let c = 2 - 0. Let w = 11 - 9. Solve w*h = b - n, -c*b + 3*b - 3*h = 16 for b.
4
Let v = 166 - 163. Solve -j + 16 = v*x, -5*j + 4*x - 3*x = 0 for j.
1
Suppose -45 = -5*l + 5*d, 31*l = 28*l - 3*d + 45. Solve -30 = 5*x + 4*i, 3*x + x = 4*i + l for x.
-2
Let t be 3 - (-2)/(-1)*(-9)/(-18). Suppose 3*m - 3*k = 24, 0*k + 5*k + 12 = -t*m. Solve -2*u + m*w = u + 16, -12 = 4*u + 4*w for u.
-4
Let l(c) = -1. Let w(m) = 3*m**2 + 3. Let q(a) = -5*l(a) - w(a). Let g be q(0). Solve -j + 2*h = -g*h, 0 = -2*j + 3*h for j.
0
Suppose 37 = 4*q - 5*d, -8*q - 27 = -12*q + 3*d. Solve q*x - 2*l - l = 9, -4 = -2*l for x.
5
Let b(p) = p**2 - 10*p - 330. Let a be b(-14). Solve -d + 0*v = -5*v - 11, 0 = 4*d + 5*v + a for d.
1
Suppose 13 = 8*f - 35. Let g(o) = o**2 - 4*o - 12. Let m be g(f). Solve 3*w - v + 4*v + 6 = 0, m = -3*w + 2*v + 4 for w.
0
Let g(c) = -c**2 - 23*c - 91. Let a be g(-15). Solve 5*j - 4*l + 22 = 3*j, -5*l + a = -3*j for j.
-3
Let c be (-2 - -15)*(0 - -1). Suppose 1 - c = -4*s. Solve -5*o - 3*k - 7 = -k, 5*o + 3*k + s = 0 for o.
-3
Let d = 8 - -22. Suppose 6*h = -0*h + d. Solve 1 = -3*p + h*g - 4, 5*p + g - 1 = 0 for p.
0
Suppose 498 + 990 = 93*g. Solve w + 2*u = 5*w - g, -5*u = w - 4 for w.
4
Let o = -8 - -4. Let f be (1 - 2)*(o + 1). Let v be 66/42 - (-3)/42*6. Solve -3*z - 8 = -5*r - f, -4*z = 2*r - v for z.
0
Let y be (-1)/2 + (-153)/(-34). Let w be (-6)/((-1)/y*-4). Let i(k) = k + 11. Let r be i(w). Solve -3 = m + 3*x, -4*m - 2 = r*x + 10 for m.
-3
Suppose -40*i + 336 = -24*i. Solve 5*o - 4*z = i, 0 = 5*z - 9*z + 4 for o.
5
Let n be (5/4)/((39/(-52))/(-3)). Solve 3*x + 3*b = -13 - 8, n*x - 4*b + 8 = 0 for x.
-4
Let t be 2 + 5 - (0 + (1 - -1)). Let g(s) = -2*s - 9. Suppose -4*l + 5 - 15 = a, 2*l + 20 = -3*a. Let h be g(a). Solve -h*y = 3*f - 7 - t, -y - 11 = -4*f for f.
3
Let v(n) = -n**2 - 5*n - 1. Let x be v(-5). Let y be 6/12 + (-3)/2. Let c be (y + 4)/(2 + x). Solve 0 = -2*u - 4, 2*b - c*u - u = 6 for b.
-1
Suppose 131*n - 128*n - 9 = 0. Solve 4*y - 7*y + 2*f + 15 = 0, n*y - 4*f - 15 = 0 for y.
5
Let p(b) = b**2 + 3*b + 3. Let f be p(-3). Let n(w) = -w**3 + 2*w**2 + 3*w + 4. Let a be n(f). Solve -2*q + 0*q - k = -9, -24 = -4*q + a*k for q.
5
Let l be ((-4)/1)/(-1) - 34. Let o = -27 - l. Solve f + 4*t = -o*f - 8, -5*f = 2*t + 7 for f.
-1
Suppose 5*a - 21 = -7*p + 8, -4*p + 3*a = -40. Solve -5*x - 4*o - 1 = -p, 0 = 3*x + 5*o - 14 for x.
-2
Let a be (-56)/(-70) + (-6)/(-5) + -2. Let y be (-1 - -4 - a) + 24 + 3. Solve 2*p = -3*p + f - y, 4*p = -4*f for p.
-5
Suppose 4*k + 4*v - 20 = 0, -2*k + 4*k - 4 = 4*v. Let q be ((-3)/2 + k)*2. Solve 2 = h, 10*n - 5*n + q*h = 5 for n.
-1
Let f = -618 + 620. Solve 5*g + 4*t = -27, 0 = -f*t - 2 - 4 for g.
-3
Let m = 54 - 86. Let h = m + 37. Solve 0 = j - 2*k - 7, h*j - 4*k + 10 = -3*k for j.
-3
Suppose 838 = 4*m + 770. Solve -7*q = 2*w - 2*q + 26, -5*q - m = -w for w.
-3
Suppose 0 = -3*u - 2*u + 60. Solve -v + 2*v - 3*r - 9 = 0, u = -4*r for v.
0
Let s = 2 + -3. Suppose -i = 2*f - 120, 5*f + 210 =