4*l = -8, -3*l - 2 = -y*p + p for p.
4
Suppose -2*f + 2 = d - 7, 5*f + d = 21. Solve 4*t = 3*i - 13, 5*i - 2*t + 1 - f = 0 for i.
-1
Suppose -43 - 117 = -40*s. Solve -s*g - 4*o = -0*g - 12, 3*g = -4*o + 13 for g.
-1
Let v(p) = -p**3 - 9*p**2 - 9*p - 5. Let j be v(-8). Suppose 0 = -d + j + 1. Solve 4*q + 2*y - d*y + 16 = 0, 0 = 3*q - 5*y + 26 for q.
-2
Suppose -129 + 45 = -21*q. Solve 3*w - 27 = q*y, -7*w = -y - 5*w - 13 for y.
-3
Let o(k) = 10*k + 85. Let f be o(-21). Let i = -112 - f. Solve -g - 1 = b + 2, 4*b - i = g for b.
2
Suppose 5*f + 16 + 7 = 4*j, 5*j = -5*f - 5. Solve 2*n = -j*o + 4, -5 - 1 = -3*o for n.
0
Let u = 10 + -26. Let i = -13 - u. Solve -3*m - i = 0, -4 = s + 2*m - 6 for s.
4
Suppose 5*n - 2*n - 12 = 0, -30 = -5*p + 5*n. Let k be 2 + 1*24/(-3). Let c be (k - -6)*(0 - -1). Solve -i + 5 = 5*m, c*m + 2*i = m + p for m.
0
Suppose 4*x + 3*j = 166, 32 = x - 42*j + 38*j. Suppose -4*v - w - 3*w = -4, 14 = 2*v - 4*w. Solve v*b - x = 4*c - 11, 31 = 2*b - 5*c for b.
3
Let o be (-30)/(-9) - (-4)/6. Let q be (0 - 0/(-1))/1. Suppose o*f - 8 = -q. Solve f*t + 13 = -y, 0*t = y + t + 9 for y.
-5
Suppose -2*v + 6 + 2 = 0, -2*i = v. Let p(g) = g + 3. Let m be p(i). Let s(t) = -t**2 - 10*t + 16. Let q be s(-11). Solve m = 3*h + h - 3*b, 0 = b - q for h.
4
Let f(d) = -d + 20. Let x be f(0). Let z(l) = l**3 - 6*l**2 + 8*l - 5. Let t be z(5). Suppose 0 = -0*q - 2*q + 8. Solve 2*k + 6*j - t = j, q*k = -5*j + x for k.
5
Let t be -9 - (-2 + -18) - (-3 - -4). Let r be (-4)/2 - (-4 - -2). Solve t = 5*m, r = -4*i + 3*m + 7 - 1 for i.
3
Let f be 2 - (-4)/((5 + -4)*-2). Solve -2 = r - g + 2, f = r + g for r.
-2
Let r = 186 - 167. Suppose r = 5*v + 9. Suppose -5*l + 35 = 10. Solve v*h - 4*m + 14 = 0, -l*m + 3 + 2 = 0 for h.
-5
Let o = -556 + 558. Solve o = 3*u - 10, -2*u = -3*k + 1 for k.
3
Let h(u) be the first derivative of u**2 - 7*u + 11. Let b be h(7). Solve -o + 0*o = 5*i - b, o + 5 = i for o.
-3
Let t be (90/54)/(2/234). Let h be t/52 + (-1)/(-4). Solve -5*m = -3*w, h*m - 3*m - 22 = 5*w for m.
-3
Suppose 38 + 30 = w. Suppose -68 = -8*c + w. Solve 4*y - 2 = 2*y - 2*z, -3*y = -4*z - c for y.
3
Suppose -4*h + 3*h + 2 = 0. Let d = -157 - -159. Solve -4*a - 20 = -h*t, -d*a - 30 = 3*a - 5*t for a.
-4
Let u(k) = k**3 + k**2 - 11. Let t be u(0). Let g be 455/42 + (-2)/(-12). Let p = t + g. Solve 6 = n - 4*v, p*v + 2 = -v for n.
-2
Suppose 2*k + 6 = -0*k. Let h(j) = j**2 + 2*j + 1. Let b be h(k). Let i = -11998 + 12026. Solve 0 = -3*d - 5*s + 13, 2*d = 4*d - b*s + i for d.
-4
Let r(q) = 6*q - 38. Let s be r(9). Solve 3*c + c = 2*u - 14, -2*u = 2*c + s for c.
-5
Let o be 94/18 - 6/27. Suppose 6*r - 388 + 358 = 0. Let u = r - o. Solve -12 = -5*z - b, u = 3*z - 0*z - b - 12 for z.
3
Let a be (-4 - -6) + 2 + -3. Suppose 0 = 3*z + 15, -s + 2*z + 9 = -a. Solve s = -2*i + 3*i + 3, -4*g - i = -17 for g.
5
Let r = -7 + 4. Let m be (1 - r)*76/16. Solve 2*k - 14 = -4*f, -f + 4*k - m = -0*k for f.
1
Let q = 14 + 6. Suppose 0 = -t - t + 5*p - 10, q = 5*p. Suppose t = 2*y + 1. Solve -7*n + 3*n = 4*g, -3*g - 3 = y*n for n.
3
Let u(w) = w**2 - 18 + 8*w + 23 + w**2. Let s be u(-5). Solve -s = -5*c - 5*i, 6*i = 3*i + 9 for c.
0
Suppose -9 + 5 = -2*h. Solve u - h = -2*u - m, m - 6 = u for u.
-1
Let o = -6 - -3. Let y be (1 + o)/((-4)/6). Solve -t + 5*w = -2*t + 8, y*t + 3*w = 12 for t.
3
Suppose -289*h - 105 = -310*h. Solve -3*n + 5 = h*d, -d + 0*n - n = -3 for d.
-2
Let f(h) = h**2 - h - 4. Let x be f(-2). Solve 3*k - x*n = -4, 3*k + k = 4*n for k.
-4
Let q(h) = -2*h**2 + 11*h + 52. Let d be q(8). Solve 3 = p + n - 2*n, 4*n = 3*p - d for p.
0
Let p = 81 + -80. Solve -3*v - 18 = 4*g, -4 = 3*v - g - p for v.
-2
Let t = 1239 + -1234. Solve -4*o + 0*o - t*k = 9, 5*o + 4*k + 9 = 0 for o.
-1
Let d(t) = -t**2 + 3*t + 75. Let b be d(-7). Solve o + 1 = -2*x, 2*x + b*o = -1 - 20 for x.
2
Suppose -b - 64 = -9*b. Let q be 1*(b/4 + -1). Solve 3*g - 2*g + 2*o + q = 0, 0 = g + 3*o for g.
-3
Let v be (10 - 6)/(-1)*(-2 - -1). Solve -2*b + 0*k - 12 = 4*k, -v*b + 4 = k for b.
2
Suppose 5 = -2*y + 2*r + 21, -2*r - 10 = 0. Solve 0 = 3*c - 0*c - y*u, 2*u = 2 for c.
1
Let g be (1/(-3))/(3/63). Let x = 12 + g. Suppose -3*o + 1 = -x. Solve 2*z - 6 = -o*b, 2*z - 5*b = -3*z - 35 for z.
-2
Let a be 2 - (-9)/((-9)/2). Suppose 3*l + 33 - 48 = 0. Solve -4*p + 9*b - 6 = 4*b, -p - 2*b + l = a for p.
1
Let v = -49 + 52. Let k(f) = f - 1. Let g be k(4). Let u be (-1)/3 + 22/g. Solve -v*d = -p - 6, 3 + u = p + 5*d for p.
0
Let d(u) = -9*u + 29. Let v be d(3). Solve -b + v*f + 14 = 0, 12*f + 35 = 5*b + 9*f for b.
4
Let q = -13 + 25. Suppose 4*m + 2*x = q, -2*m - 2*x + 10 = m. Solve 0 = 5*b - 25, -r - 18 = -m*b - 4 for r.
-4
Let y(m) = -9*m**2 + 40*m - 6. Let h be y(4). Solve 0 = -11*u + 6*u - h, -3*i - u = 17 for i.
-5
Suppose 0 = -7*n - 12*n + 57. Solve n*w + 28 = -5*t, -w - 4*t - 7 - 14 = 0 for w.
-1
Let a = 4 - 2. Suppose -a*h = -7 - 17. Let u = -114 + 118. Solve -5*k - 36 - 9 = -5*p, -u*k - 2*p - h = 0 for k.
-5
Let p(x) = x**3 + 7*x**2 + 6*x - 6. Let v be p(-5). Suppose -7 = -5*t + 708. Let j = t - 141. Solve 3*q = 1 + 11, j*u - q = -v for u.
-5
Let r be (1 + 10/(-3))*(4 + -7). Let m be (-7)/(28/8) + r. Solve -13 = -3*d + 2*p - 3, -4*d - m = p for d.
0
Let v(j) = 2*j**2 - 2*j + 4. Let l be v(1). Solve l*f + 13 = 5*o - 4, -4 = -2*f for o.
5
Let x be (3 + (-10)/2)*1. Let n be x/(-1 - (-12)/20). Suppose n*o - 21 = 4. Solve -2*z + o*s + 7 + 3 = 0, -3*s = -4*z - 8 for z.
-5
Let l(x) = x + 7. Let h(s) = s**2 - 11*s - 16. Let n be h(12). Let z(q) = 3*q + 8. Let c be z(n). Let f be l(c). Solve -3*k - 9 = f*u, -5*k = -u - u + 1 for k.
-1
Let y = 36 - 31. Solve x - 2*x + 5*b - 11 = 0, 0 = y*b - 15 for x.
4
Suppose 3 = v - 54. Let u be (v/(-76))/((-2)/8). Solve -2*p - 2 = -6*l + u*l, 5*l = 4*p + 4 for p.
-1
Let s = -26 - -35. Let a(g) = -g**2 + 8*g + 9. Let m be a(s). Solve 3*j - 3 = -m*j + x, -j - x = 3 for j.
0
Let p(k) = 5*k - 12*k - 2 + 6*k. Let u be p(-7). Suppose -25 = -2*c - 3*c, -5*d = -c - 5. Solve d = 3*j - 2*w, -u*j - 12 = -3*j + 2*w for j.
-2
Let n = -3340 + 3343. Solve -n*f + 3*q = 30, f + 4*q - 7 - 8 = 0 for f.
-5
Let a = 21 - 19. Suppose 0 = a*b + 4*b - 6. Solve -2*k - 3*k - 35 = -5*w, w + k = -b for w.
3
Suppose 4*t + 5*v + 5 = 0, -5*t - 15*v = -10*v. Solve t*a = -2*d, 3*d + 23 = 4*a - 0*a for d.
-5
Let m(p) = p + 7. Let q be m(9). Suppose 2*j = -6, 5*b - 49 = 2*j - 18. Solve c - 2*u + 1 = 0, b*c + 2*u + q = u for c.
-3
Suppose 0 = -2*l - 2*l - 4*g + 48, 5*l - 5*g = 50. Suppose -5*a = -9 - l. Solve 2*h - 3*d - 4 = 0, 0 = a*d + 8 for h.
-1
Let n be 4/10 - 23/(-5). Suppose n*s - 4*s - 5 = 0. Let l be (-3 + 2 - -1)/2. Solve -5*i + l*y + 3*y - 1 = 0, 13 = 3*i + s*y for i.
1
Let x = 95 + -65. Let q(b) = 2*b**3 - b**2 + b + 3. Suppose a = -0*a. Let n be q(a). Solve -3*m - x = n*u, -m = 2*m - 3*u for m.
-5
Let q be (-6 + 6)/(0 + -1). Suppose -x + 2*x = -n + 17, 3*n - 2*x - 66 = q. Suppose -2*t = -4*t + 42. Solve -4*h - n = -4*d, 4*h = 3*d - t + 1 for h.
-5
Let h be -2 + 7 + 0 + 0. Suppose -j + 2 + 4 = 0. Let g = j + -6. Solve -4*l - u - 7 = g, h*l + 4*u = -3 - 3 for l.
-2
Let c be (26/39)/((-2)/(-51)). Solve -y + 2 = -2*u + 3, 3*y = -4*u + c for y.
3
Let c = 128 + -128. Suppose 3*i - 5*v = 4*i - 23, -2*v = 3*i - 17. Solve -s + c*s = -4*u - 20, -i*s = -u - 16 for s.
4
Let y(q) = -4*q + 18. Let f be y(-20). Let b = f + -96. Suppose -4 = -4*u + 4. Solve 0 = -u*r + 6, 2*v + 4*r = 4*v + b for v.
5
Let j(n) = -n**3 + 6*n**2 - 5*n + 7. Let c be j(5). Let x = c - 34. Let p be (-4)/14 - x/21. Solve -2*u - 3 = 5*l - p, 2*l + u = -1 for l.
0
Suppose -3*w = 2*q - 188, -6*w = -3*w + 12. Suppose 13*p = q + 4. Solve -12 = h + 3*g, -h = g - 2*g - p for h.
3
Let u = 344 - 339. Solve 3*p + 3*n + 26 = -n, u = -n for p.
-2
Let u(q) = -33*q - 327. Let t be u(-10). Solve -t = -4*v + 5*v + 2*h, 4 = -h for v.
5
Suppose 967 - 820 = 21*s. Solve -15 = 4*f + 5*n, -s + 1 = 2*n for f.
0
Let m be (39 + 4 - 2)/(-1 - -2). Let x = 43 - m. Solve -2*p - 14 = -u, x*u + 3*p = -u - 3 for u.
4
Suppose -4*a - 4*r + 24 = 0, -4*a + r - 1 + 10 = 0. Suppose -y - a = -7. Solve 4*k = 5*i - 4, 0 = k + 3*k + y for i.
0
Suppose 0 = -3*h - 3*c + 12, 5*c = 4*c + 1. Solve -h*p = 3*u, -p - u = -3*u for p.
0
Suppose -5*c + 10 + 10 = 0, -10 = -3*g + 2*c. Supp