 = -d for x.
0
Let u(y) = -y - 11. Let b be u(-16). Suppose 0 = 5*x - 3*v, v = -b*x + 29 - 9. Let l be 6/(-16) - (-57)/24. Solve x*t - l = 4*t + g, -4*t + 22 = -2*g for t.
3
Let i(f) = -f**3 + 19*f**2 + f - 15. Let l be i(19). Solve 2*s - 14 = 3*u + 2*u, 0 = -l*u - s - 19 for u.
-4
Let a be -1*(49/(-28) - (-7)/4). Solve a = 2*u - 4*v + 10, u - 3*v = -2*v for u.
5
Let o(n) = 13*n**2 - 103*n - 8. Let b be o(8). Solve -1 = 3*z + f - b*f, -4*z = 3*f - 7 for z.
-2
Let f = 55 + -50. Solve 4*d - 2*p + 5 = -f, 2*p - 2 = 0 for d.
-2
Let s be (93 - 93)/(1 - 0). Solve s*v = 2*v + r - 2, 2*r - 6 = -2*v for v.
-1
Let i = -25 + 26. Suppose 4*c - 12 = 5*z, -c - 4*z - i = -4. Solve -17 = 4*j + t + c, -3*t = 0 for j.
-5
Let f = -307 - -311. Solve -2*h = -f*t - 16, h - 1 + 7 = -5*t for h.
4
Let v = 41 - 35. Suppose -x + 10 = v. Solve 3*m + p + 26 = -4*p, 18 = -m - x*p for m.
-2
Let f be 93/186*(1*3 - -1). Let w = -7 - 1. Let u = 11 + w. Solve t + f*q - 6*q + 8 = 0, -u*t = 5*q - 10 for t.
0
Let i be (0 - 7) + 15 + (-6 - 0). Solve -2*x - x + 4 = -i*k, -2*k = 3*x + 16 for x.
-2
Let a = 0 + -2. Let o(w) = 5*w**2 + 4*w + 3. Let n be o(a). Let k = 974 + -974. Solve v + y + 3*y + 9 = k, 3*y + n = 2*v for v.
3
Let b(w) be the first derivative of -w**3/3 + 4*w**2 + 5*w - 10. Let q be b(8). Solve -3*l = -3*j - 10 - 14, 0 = j + q for l.
3
Let i = 11 + -3. Suppose 5*j = -i + 23. Solve -2*n + 3*w - 13 = 0, -j*w + 28 = -5*n - 0*w for n.
-5
Let n = -24 + 19. Let z be ((-36)/20)/(3/n). Suppose -3*v = -3*s, 3*v + 0*s = -z*s + 12. Solve 0 = 3*w + y - 7, 0*w = -w + v*y for w.
2
Let b = -324 - -326. Let y(i) = i**2 + 1. Let w be y(2). Solve -5*g - 24 = r, -w*g + b*g + 4 = -4*r for r.
-4
Suppose -3*h = -3*j + 105, -4*j + 140 = 10*h - 15*h. Solve y - 4*y - r - 18 = 0, -4*y = 5*r + j for y.
-5
Suppose 0 = -2*k - 2*k + 36. Suppose -5*j - 42 + 62 = 0. Let g = k - j. Solve 3*q + 0*q - 3 = 2*m, 3*q = g*m + 12 for q.
-1
Let z be -39*(-2 - 8/(-3)). Let f = z + 17. Let i be 16/9 + (-2)/f. Solve 2*n + 2*l - i = 0, 4 + 11 = -5*l for n.
4
Suppose -y = -4*t + 35, y + 3*y - t = -95. Let s = y - -28. Suppose 9*a - v - 13 = 4*a, 4 = 4*a - 4*v. Solve 0 = a*g + s*b + 2, -3*g - 2*b - b = 0 for g.
1
Suppose 0 = -18*o + 8*o + 50. Solve 5*p + 3*b = -3, -b - 2 = -o*p + b for p.
0
Let v(c) = -38*c - 61. Let z be v(-5). Let n = z + -126. Solve n*u - 16 = -4*q, u + 16 = 4*q - 3*u for q.
4
Let t = 11 + -7. Let y be (-292)/(-18) - t/18. Let j = y - 12. Solve -2*o + 17 = 5*i - j, i + 3 = 2*o for i.
3
Suppose -264 = -18*l + 7*l. Solve -3*y - 4*j + l = 0, 5 = -y + 7*j - 4*j for y.
4
Suppose 3*a + 3*f = 0, a = -3*a - f + 6. Solve 0 = -i + a*b - 3, i - 5*i = -2*b for i.
1
Let w = -97 - -107. Solve 4*p + 4*q + w - 26 = 0, -q + 12 = 5*p for p.
2
Let q(o) = 7*o**2 - 7*o + 4. Let c be q(1). Solve 4*b + 4*s + 16 = 0, -s - s = c*b + 14 for b.
-3
Let w be 8/(-28) + (-69)/(-21). Suppose -2*z - z = -9. Suppose z = -w*m + 18. Solve m*j = -4*t - 11, 7 = -0*t - t + 3*j for t.
-4
Let l = 16 + -50. Let w = 37 + l. Solve -t = 3*b - 20, w*b = -2*t - 1 + 26 for t.
5
Suppose 0 = -2*c + z + 8, -2*c + 5*z - 33 + 57 = 0. Solve 2*h - a = 5 + 7, -c*h - 3*a + 4 = 0 for h.
5
Suppose 59 = 3*o + f - 41, 4*o - 134 = -f. Let t = o - 31. Solve -15 + 6 = -t*x, p + 5*x = 10 for p.
-5
Suppose 4*c - g + 52 = 0, -3*c - 22 = -g - 4*g. Let l(n) = -n**2 - 14*n. Let j be l(c). Solve -3*i - 3*r = -j*r, 5*i - 5*r + 30 = 0 for i.
-3
Let y = -70 - -75. Let i be ((-2)/8)/(3/(-36)). Solve y*c - a = 4, c = -i*a + 5 - 1 for c.
1
Let k = -77 - -60. Let h be ((-5)/(-2))/(k/(-34)). Solve 3 = -5*t - 4*d, -3*t + d = h*d + 5 for t.
1
Let u be (-56)/(-20) - (-3)/15. Let n be (-12)/u - 8/(-1). Solve 5*h - t - 3 = 1, -n*h + 4 = -t for h.
0
Let d(r) = r - 18. Let x be d(20). Suppose -12*i - x*i = -56. Solve 3*c = i*o + 17, -12 = -2*c - 2*c for o.
-2
Let i(l) = -l**3 - l - l - 13 + 3*l**2 + 16. Let z be i(2). Solve -g = 2*q - 5, z*q + 0*q + 2*g = 6 for q.
4
Let a(n) = -2*n**3 - n**2 + 15*n + 16. Let t be a(-1). Let x(q) = q**3 + 3*q**2 - 4*q + 4. Let r be x(-4). Solve -3*j + 2*j + r = -4*z, -t*j + 5*z = -5 for j.
0
Let j = 1261 + -1256. Solve d - j*v - 23 = -0, -14 = 2*d + 2*v for d.
-2
Suppose -3*t - 665 = 4*t. Let b = t - -120. Solve 0 = -2*f, -5*z + 3*f + b = -10*z for z.
-5
Suppose 0 = j + 5*u + 3, 4*u + 11 = 3*j - u. Let q = -4803 - -4817. Solve -r - 7 = -3*i, j*i + q = -5*r + 47 for i.
4
Suppose 1 = 5*p - x - 54, 4*p - 55 = 3*x. Solve -2*l + 0*l - 11 = -3*u, -2*l + 2*u = p for l.
-4
Let k(z) = -4*z + 3. Let u be k(5). Let p be (5 - (-186)/(-24))/((-3)/24). Let a = p + u. Solve 5*x + 7*c - 3*c + 21 = 0, 3*c = a*x + 28 for x.
-5
Let y(k) = -k**2 - 12*k + 50. Let j be 16/(-4)*1 + (-11 - 0). Let o be y(j). Solve -a = 3*l + 4*a - 14, -30 = 5*l - o*a for l.
-2
Suppose -2*c + 22 = -8*u + 13*u, 0 = -5*c + 2*u - 3. Solve -f - c = -k - 4*f, -4*k + 3*f = 11 for k.
-2
Let d be (-22)/(-4) + (10 - 105/10). Solve d*l + 2*h + 2 = -0*h, -4*h + 26 = -5*l for l.
-2
Let a = -151 + 153. Solve s - 2*s - a = -5*o, 5*s = 15 for o.
1
Let u be (1 + -3)/((-2)/7). Let t be (-1)/(-3) + (-500)/(-30). Suppose 5*v = -4*p + 25, 5*v = -5*p + 13 + t. Solve 5*m - 4 = p*n + 11, 0 = 4*m - 3*n - u for m.
-2
Suppose -3*o - f + 40 = o, o = f + 5. Suppose -15 = 3*z, 10 + o = 2*p - 3*z. Suppose 2*a - 8 = -p. Solve -5*l - 5*y = 25, 0*y - a*y + 1 = -l for l.
-4
Let c(h) = h**3 - 2*h. Let m be c(2). Solve -5*b = -3*x + 19, 4*b = -x - 3*x + m for b.
-2
Suppose -201 = 7*z - 222. Solve -z*n + 5*d = 8, 4*n - n + 3*d = 0 for n.
-1
Suppose 4*o + 60 - 12 = 0. Let k = -12 - o. Suppose k*z + 3*z - 36 = 0. Solve -4*g = -z, 2*c - 11 = -0*g - g for c.
4
Let m(i) = i**3 + 13*i**2 + 12*i + 2. Let j(x) = -5*x - 2. Let c be j(2). Let t be m(c). Solve w + t*w + 2*p = -1, -5*p + 5 = 5*w for w.
-3
Suppose 4*r + 0*c = -2*c + 10, 2*r = 5*c + 23. Let o = -92 + 65. Let f be 5 + (o/6 + 3)*2. Solve -3*l = -2*x - f, 4*l - 4*x + r = 2*l for l.
2
Let w be 40 + -35 + -1 + 3/3. Solve 5*x + 2*m = -5, 11*m - 6*m + w = -5*x for x.
-1
Let y(p) = 3*p**2 + 10*p - 48. Let u be y(-6). Solve -2*q - 2*q - 2*w + 4 = u, -5*q + 4*w = 21 for q.
-1
Let w(r) = -r - 4. Let n be w(-4). Suppose -6*s + 54 = -n*s. Suppose s*t = 4*t. Solve -g + 1 = t, -5*u - 5*g + 10 = -20 for u.
5
Let z = 27 + -24. Suppose -2*f + 7 - z = 0. Solve 2*q + 2 = 4*k, 4*q - k = -f*k - 13 for q.
-3
Let h = -293 - -324. Solve 5*v + h = -4*d, d + 0 = 3*v + 5 for d.
-4
Let q be 12/15 + (-42)/(-35). Solve 5*o - 2*k + 7 = 2*o, -q*k + 3 = o for o.
-1
Let d(a) = 11*a + 71. Let g be d(-6). Solve -2*c + g = 5*i, 2*c - 2*i + 22 = 2*i for c.
-5
Let d(t) = -t**3 + 4*t**2 - 2*t - 1. Let u = 18 + -15. Let v be d(u). Solve v*q = 2*m - 8, -2*q + 2*m - 20 = 3*q for q.
-4
Let m be (-2)/13 + -4*216/(-208). Solve 4*j - 6 = 2*f, -m*f - 6*j = -2*j + 12 for f.
-3
Let w(n) = -n**2 + 7*n - 7. Let u be w(8). Let t = u - -12. Let j be (-2)/(-6) - 5/t. Solve 2*r - 5*m + 6 = 0, 3*r - 4*m = -0*m - j for r.
2
Let d = 90 - 88. Solve -d*o + 2 = -4*x - 4*o, -12 = 3*x - 2*o for x.
-2
Let g(j) = -j**2 + 3*j + 5. Let o be g(6). Let n = o - -16. Solve -5 + n = -w, 6 = v + 3*w for v.
0
Let u be 3/15 - (-63)/35. Suppose 0 + 4 = 2*p, 6 = u*i + p. Solve -i*g = -2*b + 5 + 9, -b + 3*g = -11 for b.
5
Let y(o) = o. Let m be y(4). Suppose 4*x - 4*b + m = 0, x + 2*x + 4*b = 32. Solve 2*l + 1 = 2*i - 5*i, -x*i = -l - 17 for i.
3
Let n(x) be the second derivative of x**5/20 + x**4/2 + x**3 + 7*x**2/2 - 13*x. Let r be n(-5). Solve 3*h + 16 = d, r*d + 4 = -5*h - 2*d for h.
-4
Suppose -i - 12 = -15. Let l = 64 - 29. Let t = -14 + l. Solve 1 = 4*n + 5*j - 16, -i*j = -3*n - t for n.
-2
Let u(g) = -g**3 - 3*g**2 - 2*g. Let z be u(-2). Suppose z = 3*d + d + 12. Let k be ((-26)/d)/(1/3). Solve -2 = y + q + 2*q, 0 = 5*y - q + k for y.
-5
Let o = -40 - -10. Let f be o/36*-3 + 2/4. Solve 2*l = -f*t + 1 - 9, -5*l = -2*t + 20 for l.
-4
Suppose -75*c - 22 + 172 = 0. Solve 3*m - 11 = -2*r, -c*r = -13*m + 11*m + 4 for r.
1
Let d = 15 + 3. Suppose 21*t - 6 = d*t. Solve -a = -2*u - t*u - 14, 2*u = 2*a - 10 for u.
-3
Suppose -2*w + a + 1 = 0, -43*w + 46*w - 5*a = -9. Solve 2*f = -3*i + 8, w*i - f = -i + 5 for i.
2
Let k = 388 + -385. Solve -4*z - o + 8 = -5*o, -k*z = -5*o - 4 for z.
3
Let a = -261 - -266. Solve -2*x = -3*p - 25, -a*p + 0*p = -3*x 