j for l.
4
Suppose 5*q = 2*x + 1 + 168, 134 = 4*q - x. Solve -q = 5*d + 4*s, -3*s - 3 = 3 for d.
-5
Let j = -324 + 327. Solve 0 + 9 = 3*z, j*z = 5*w + 24 for w.
-3
Let b(c) = c**2 - 16*c + 16. Let q be b(16). Solve -3*l + 7 = m - 0*m, 4*l = 5*m - q for l.
1
Suppose 0 = 2*k - 6, 5*k = t - 6*t + 25. Suppose 0*f - 16 = -t*f. Suppose -l + f - 5 = 0. Solve -l*x + 5*n - 22 = 0, -2*n = n - 15 for x.
1
Let q = -66 - -56. Let g be (-324)/(-45) + 2/q - 3. Solve -30 = 5*f - g*d, 4*f + 4*d = 2*d + 2 for f.
-2
Suppose -y - 2 = -4. Solve -u + 4*s = 8, -s + 7 + 2 = -y*u for u.
-4
Let h = 26 + -21. Let s(m) = -7*m + 35. Let t be s(h). Solve 5*d = 3*b - 5*b - 5, t = -4*b for d.
-1
Suppose -6*q + 96 = -2*q. Suppose 5*n = -3*t, -4*t - 21 + 56 = -5*n. Let z = 3 - -5. Solve t*y - z = -3*a + y, a = 4*y - q for a.
-4
Suppose -2*p = p - 12. Suppose 5*z = 2*n + 16, 3*n = -z + 2*n + 6. Solve z*q = p*j + 24, 27 = -2*j + 6*q - q for j.
-1
Suppose -4*x = -2*c, 4*c + c = -3*x. Suppose x = -3*j + 52 - 4. Suppose 0*s + 3*t - 9 = -s, 2*s = -5*t + j. Solve -5*v + 21 = -3*r, s*r - r - 2 = -2*v for v.
3
Let p(k) = -5*k - 1. Let z be p(-5). Suppose -2*o + 8 = z. Let j = -8 - o. Solve 2*u + 2*h - 14 = j, 4*u - 3*h + h = 4 for u.
3
Let v be 14/4*(-2752)/(-112). Let a = v + -85. Solve 2*p = -d + 3, 2*p + a = p - 3*d for p.
2
Let k(m) = m**2 + 6*m + 7. Let t be k(-5). Suppose 4*z = -8 + 4. Let q be 3 + -1*(2 + z). Solve -l = w + t, -4*l + q*w = -w + 29 for l.
-5
Let d = -30 + 35. Solve o = -u, 2*u = -d*o + 2 + 1 for u.
-1
Let a(u) = u**3 + 11*u**2 + 13*u + 32. Let y be a(-10). Suppose 5*x = -4*c + 11, -4*c = -y*x - 3*c + 7. Solve -4 = -2*g - 3*h, x*g - 4 = 5*g + h for g.
-4
Let u = 221 - 212. Solve -6*k + r + 21 = -2*k, -r - u = -k for k.
4
Let r = 5 - 3. Let k(q) = 101*q + 1214. Let x be k(-12). Solve 11 = a + r*b + 2*b, -x*b + 3 = 3*a for a.
-1
Suppose -5 = -15*d + 25. Suppose -v = -l + 2, 3 = d*l - 6*v + 5*v. Solve -3*t = 3*p + l + 8, t - 3*p = 13 for t.
1
Suppose -6*s + 4 = -8. Suppose -51 = -f - 3*j + 39, -s*f - 4*j + 172 = 0. Let d = -55 + f. Solve 5*h + 0*h = -2*g - 11, -5*h = -4*g + d for g.
2
Let r(a) = 9 + 0 - 384*a + a**3 + 394*a + 7*a**2. Let y be r(-4). Solve c - y = 4*v, -3*c - 1 = -v + 3 for c.
-3
Let w = 378 + -378. Solve 2*d + 4*k = 18, w = -d + 4*k - 7 - 8 for d.
1
Let z(g) = -g + 0 + 4*g - 4*g + 6. Let o be z(4). Let r be (-1 - 0) + 7 + -2. Solve r*p = -q - 15, o*p + 5*q = 4*p - 9 for p.
-3
Let n(m) = -3*m**3 - 2*m**2 + 8*m + 9. Let f be n(-1). Solve -o = 2*j + f, -2*o + 2*j - 8 = 2 for o.
-4
Suppose 4*x - 401 = -o, 3*o - 193 = -2*x - 0*x. Let h = -105 - -33. Let n = h + x. Solve 5*b - n = -4*a - 0*a, -2 = -b + 3*a for b.
5
Let k = 28 - -60. Suppose 2*d = -2*d + k. Solve m + 4 = 3*m + 4*p, 0 = 4*m - 2*p + d for m.
-4
Suppose 13*z - 272 + 25 = 0. Solve -5*d - 22 = -d + 5*v, 0 = -5*d - 2*v - z for d.
-3
Suppose t = 6 - 7. Let z be (7/2 + t)*24/15. Solve 0 = z*k + 5*n + 2, 5*k + 2 = 3*k - 3*n for k.
2
Suppose 3*f = 2*f + 2. Let n be (-21 + 1)*(-1)/f. Solve -5*j + 3 + 7 = -4*b, 5*j = -n for b.
-5
Let u(y) = y**3 - 24*y**2 - 588*y + 120. Let a be u(39). Let b = -7 + 10. Solve -b*j = 4*r - 32, -j + 26 = a*r + 7 for j.
4
Suppose -3181 = 4*q - 3197. Solve -10*u + 10 = -5*y - 5*u, -q*y + 2*u - 8 = 0 for y.
-2
Let f be ((-3)/(-9))/(3/18). Solve 2*b - 7*b = 15, f*b = 4*i - 10 for i.
1
Let y = -1306 - -1308. Solve 0 = t + 3*f + 2, -y*t = -4*f + 2 + 2 for t.
-2
Let u(c) = c**3 + 8. Let m be u(0). Let o(f) = f - 9. Let a be o(m). Let x = 2 + a. Solve -3*i = 3*v - x + 7, 4*i = -16 for v.
2
Let q be -3 - (-9)/(9/16). Suppose -2*y = -5*n - 16 - q, 3*y - 3*n - 21 = 0. Let o be (2 - y)/(-5 + 4). Solve -k + 3*j - 9 = o, k - 14 = -k - 2*j for k.
3
Suppose 3*z - 2*a = -1, 0 = z + 2*a + a - 18. Solve 4*v + b = 11, -3*v - z*b - 2*b = -4 for v.
3
Let t be 2/7 - (-10)/(-35). Suppose -2*u + 4*w - 6 = t, 0*w + 41 = 5*u + 4*w. Solve -u*l - 4*z + 18 = -6*l, 0 = 5*l - 4*z + 26 for l.
-2
Let n(c) be the first derivative of -c**4 + c**3/3 + 3*c**2/2 + 2*c + 18. Let p be n(-1). Solve -7 = -g - 4*d, p*g - 6*d + d = 7 for g.
3
Let s(o) = 2*o + 34. Let t be s(-15). Suppose 5*z + 8 = t*a + 23, -2*z = -4*a - 6. Solve -q = d + 1, a = -d + 3*q + 5 - 18 for d.
-4
Let j = -27 - -30. Let b be 180/5*2/j. Solve 7*h + 2*s = 3*h - b, -5*s = 2*h + 28 for h.
-4
Suppose 80 - 4 = -4*h. Let l = 7 + h. Let f be 0 + 3 + 11 + l. Solve -6*p - 11 = -f*p + 5*d, 4*p - 2*d = -18 for p.
-4
Let u be 2*(9 - (1 + 6)). Solve 3*c = z + 16, u*c - 2*c - 5 = -5*z for c.
5
Let l = -4 - -9. Suppose 0 = -l*o - 0*o + 20. Suppose o = t - 26. Solve 0 = -3*x + 3*c - t, -3 - 2 = -c for x.
-5
Let o = 55 - 71. Let p be 1*(o/4 - -6). Solve -z = 2*b - 11, -20 = -p*b - 2*b for z.
1
Suppose -2*m - 9 = -5*m. Suppose 0 = -26*q - 1167 + 1219. Solve m*z = -12, z = -q*x - z for x.
4
Let f(r) be the first derivative of r**4/4 + 13*r**3/3 - 13*r**2/2 + 17*r + 3. Let n be f(-14). Solve 0 = -2*z + n*y, -4*z + y = -2*y for z.
0
Let f be (-2)/2 - (1 - 5 - 15). Let g be (-80)/(-36) - 4/f. Suppose -6 = -w + 11. Solve -4*q - 14 = -0*p + g*p, -4*p + w = -q for q.
-5
Suppose 9*y - 6*y - 5 = -u, -u + 3 = 5*y. Solve 3*a = 5*o + 28, o + a - 4*a = -u for o.
-5
Let n be ((-33)/(-22))/((-6)/(-160)). Let k = 44 - n. Solve -4*w - 11 + 1 = -2*r, k = -w + 2*r for w.
-2
Suppose -3*u - 28 = 2*h, 3*h - u + 3*u + 32 = 0. Let x = 9 + h. Let n(l) = 6*l - 1. Let j be n(x). Solve q - 16 = -3*q - s, -j*s = -4*q + 16 for q.
4
Let h(f) = -20*f + 176. Let n be h(8). Solve q - y + 4 = 3*y, -y = -4*q - n for q.
-4
Let f = -77 - -88. Solve -2*y - n + 12 = -2, y + f = 4*n for y.
5
Let z = 234 - 229. Solve -4*q - s + 11 = 0, -2*q + z*q - 2*s = 22 for q.
4
Let v(t) = -t**3 - 15*t**2 - 14*t + 18. Suppose -s + 28 = -2*j, 3*j - 2*s + 12 + 30 = 0. Let q be v(j). Solve -15 = -4*k - x, 5*x - q = -5*k + 4*x for k.
3
Let g(y) = 5*y - 2. Let n be g(5). Let s(j) = -j**3 - j**2 - j - 5. Let c be (5 - 3) + 1*-5. Let u be s(c). Solve -2*f + 6*f - u = t, -3*f = 2*t - n for t.
4
Let m(n) = 12*n + 76. Let d be m(-6). Solve -2*u - 12 = 3*v, 0 = -3*u + u + d*v + 2 for u.
-3
Let m be 2/4*(-4 - -1 - -7). Let y be m*1/2*4. Solve -5*c - 1 = y*z - 3, 4 = -z + c for z.
-2
Let n(m) = -m**2 + 3*m + 20. Let t be n(5). Solve 3*o + 3*q - 2*q = -4, 0 = -3*o + 2*q - t for o.
-2
Suppose 7*l - 36 = 4*l. Let z be (l/(-8))/(3/(-8)). Suppose -3*y = -5 - z. Solve 0 = -v + y*w - w, 5*v + 2*w = 0 for v.
0
Suppose 0 = -29*s + 316 + 322. Solve t = -2 - 2, 4*t + s = -2*u for u.
-3
Suppose 0 = -r - 5*h + 27 + 28, -3*r - 4*h = -165. Let u = 59 - r. Solve m - 6 = -2*m + 3*s, u*s = -5*m + 10 for m.
2
Suppose -3*n - 15 = n + 3*q, 0 = 5*n - q - 5. Solve -3*z - 6 = 3*y - n*z, 5*y + 3*z + 6 = 0 for y.
0
Let m = -87 - -146. Suppose -19 = -13*g + m. Solve 4*z = 2*u - g, u + 6 = -2*z - 3 for u.
-3
Let m(l) = l**2 - 4*l. Let k = 17 - 21. Let f be 2 - (-4)/(k/(-3)). Let b be m(f). Solve -5*j + 9 = 3*x, -4*x + 0*j + b*j - 23 = 0 for x.
-2
Let d be (5 - 1) + (6 - 10/1). Solve -f + 5*n - 5 = d, f - 3*f + 12 = n for f.
5
Let b(d) = d**2 - 6*d + 9. Let m be b(5). Suppose -m*c = -r + 6, 0*c = -5*c - 5. Solve -24 = 4*o - 4*p, 3*o + r*p = -0*o - 3 for o.
-3
Let b = 101 + -93. Solve -16 = b*k - 4*k, 4*p = 4*k + 36 for p.
5
Let p = -108 + 108. Solve p = 4*q + 3*k + 25, -q - 4 = -3*q + 4*k for q.
-4
Let v(r) = 5*r + 1 + r**3 + 5 + 2 + 4*r**2 - 1. Let h be v(-3). Solve 2*u + h = 2*l + 3, u = 4*l - 5 for u.
3
Let h = 172 - 167. Solve h*q = -4*b + 30, -2*q - 4*b + b + 19 = 0 for q.
2
Suppose 0 = 2*c - 3*p, -12*c - 2 = -16*c + 5*p. Solve 2*b + 0*b + 4*f = -10, -c*b = f - 10 for b.
5
Let k(y) = -6*y + 2. Let m be k(-2). Let t = m + -11. Solve -x + 15 = 4*d, -t*x + 5 = 5*d + x for d.
5
Let j be (-37 - (-13 + 6))/(-2). Solve -3*d + 10 = v, v + 2*d = 2*v + j for v.
-5
Suppose 15*y = -y. Solve 2*b = -5*a - 7, -a + 2*b - 7 - 4 = y for a.
-3
Suppose 5*t + k + 394 = 0, 89 = -2*t + k - 63. Let f = t + 80. Solve -4*o + f*y - 11 = 1, 0 = -o + 2*y for o.
-4
Let h(n) be the third derivative of n**4/12 - 14*n**3/3 + 4*n**2. Let f be h(15). Solve 4*d + f*l = 0, 0 = -3*d - 2*d + 3*l for d.
0
Let r = 46 - 3. Let y = r + -22. Solve -t + 25 = 5*g, t + 0 - y = -4*g for t.
5
Let z be 1/(-1*(-5)/15). Suppose z*x - 5 = 3*i - i, 4*i + 5*x = 23. Solve i*k + 18 = -2*l + 5*l, 5*k 