.
-4
Let g = 1498 - 1495. Solve -g*a + 20 = h, 2 = 3*a - 2*h - 3 for a.
5
Let a be 7 - ((-3 - 1) + 7). Suppose -2*o = a*h - 20, -o + 3*h - 5 = -0*o. Solve 2*w - 2*p = -2 - 10, o*p - 18 = -2*w for w.
-1
Let r be 25/4 - 3/12. Let n = r - 2. Let d be -14*1/(-6) + (-4)/(-6). Solve 4*v + 4 = 8*m - d*m, n = -2*m + 3*v for m.
4
Let s(d) = 6 - 4 - 5 + 4*d - 12. Let m be s(8). Solve 5*p = 2*x + m, x = -3*p + 3*x + 7 for p.
5
Suppose 2*l = -0*l. Suppose l = 3*b - 7 - 2. Solve b*t + 4*m + 0*m + 17 = 0, 9 = 4*t - m for t.
1
Let x be (-4 - -8)*42/8. Let l = x - -18. Let o = -28 + l. Solve n = 3*f + 10, -41 = 5*n + f - o for n.
-5
Let w be (1 + -2)*(-36 - 25/5). Let m = w - 37. Solve -3*q + 5*t + 17 = 0, -2*q + 0 = m*t - 4 for q.
4
Let k(c) = -c**3 - 2*c**2 - 2*c - 1. Let b be k(-2). Let w = 6499 - 6492. Solve -b*m = -m - 3*a + w, 5*m + 5*a = 20 for m.
1
Suppose 62*w = 40*w + 396. Solve -2*q = -y - 8, -3*y + w = -4*y + 4*q for y.
2
Let i be -2 + 445/10 + (-2)/(-4). Let a = 43 - i. Let o = -1 + 5. Solve a = -5*l + o*q - 12, -2*l + 5*l - 3*q = -6 for l.
-4
Let s be (-1)/(-3 + 1)*(-84)/6. Let a(i) = 2*i + 19. Let v be a(s). Solve m + 3 - 2 = d, -v*m - 25 = 5*d for d.
-2
Let n be 1818/505 - 3/5. Let i = -5 + 10. Solve c = 0, 2*t = n*t + c - i for t.
5
Let l(n) = n + 27. Let k be l(-12). Solve -j + k = -3*u, -25 = -3*j + u + 3*u for j.
3
Suppose 0 = -3*c - 35 + 47. Let q be (1 + c + -1)/4. Solve -5*u - 14 = -3*h, -3*u = h + u + q for h.
3
Let n(g) be the first derivative of g**3/3 - 15*g**2/2 + g - 18. Let p be n(15). Solve 5*y = -4*o + 2, o - 4*y - 12 = -p for o.
3
Suppose -4*v = -t + 38, -2*v = -3*t - 28 + 102. Suppose -3 - t = -5*p. Solve -2*w - 37 = p*z - 6, 0 = 5*z - 5*w + 10 for z.
-5
Let z(y) = -y**3 - 16*y**2 - 38*y + 19. Suppose -35 = 3*v + x, v + x + 14 - 5 = 0. Let s be z(v). Solve s = 3*w + 3*m, 2*m - 6 = -4*w - 3*m for w.
4
Let m be (-276)/(-36) + -7 - 1/(-3). Let q(x) = x**3 + 5*x**2 - 2*x - 4. Let j be q(-5). Solve -4*k + w = -j*k + m, -w + 3 = k for k.
-2
Suppose 0*b - 2*m = -3*b - 58, -3*m = -b - 31. Let r be (196/(-3))/(-7)*(-12)/b. Solve 0 = 5*w - 3*f - r, 5*w - 4 = -5*f + 11 for w.
2
Suppose 2*q + 18 = 4*k, 2*k - 3 = 5*q + 10. Let x be (-12)/k - -6 - 8. Let t be (-16 - -1)*5/x. Solve 5*f + 5*n = -35, 0*f + n + t = -3*f for f.
-4
Let p(h) be the second derivative of 2*h**3/3 + 19*h**2/2 + 10*h. Let b be p(-4). Solve 0 = q - 2, -5*i + 15 = b*q - 16 for i.
5
Let c be 22 + -1*(-1 + 4). Suppose -x - 1 = -d, x = 4*d + 2*x - c. Let r be (-1)/((-2)/36) + -2. Solve -2*n + 2*k + 2 = k, d*n + r = -3*k for n.
-1
Suppose 0 = 95*q - 66*q - 377. Solve 0 = -5*p - 1 - 4, 4*u - 5*p - q = 0 for u.
2
Let t = 70 + 9. Let p = t + -61. Solve -m - p = -4*c, 0*m - 5*m - 5 = -3*c for m.
2
Let s(z) = z**2 + z + 5. Let n be s(0). Let t = n + 12. Let u(q) = -q**3 - 7*q**2 - 13*q - 42. Let a be u(-6). Solve 15 = j - a*i - 3*i, 5*i = -j - t for j.
3
Suppose -4*a + 36 = 5*k, -2*a - 3*k + 20 = -0*a. Suppose a*y = 6*y - 4. Suppose -4*u + 2*u + 30 = 0. Solve -v = -0*v + y*o - 6, 0 = 5*o - u for v.
0
Let i be (20/(-12))/((-7)/21). Solve -5*a + 34 = -3*m, -5*m + i*a - 54 = -14 for m.
-3
Let r = -3 - -15. Let q = r + -10. Solve q*v + 4*d = -3*v - 7, -3*v - 4*d = 1 for v.
-3
Let c(s) = 4*s**2 - 2*s - 2. Let v be c(2). Let w be (-5)/(0 + (-8 - -4) - -3). Suppose -3*r + 7*r = 0. Solve -w*n + b - 3 = 5*b, 5*b + v = r for n.
1
Suppose 5*d + 200 = -3*p - p, 5*p + d = -250. Let v be (p/(-4))/5*2. Let f be (-2)/v - 85/(-25). Solve -f*k + a + 13 + 1 = 0, a = -5 for k.
3
Let k(p) = 6 - p - 12 - 1. Let v be k(-9). Suppose -3 + 1 = -2*z, z + 9 = v*s. Solve 14 = 3*h - h - 2*o, -s*h + o + 19 = 0 for h.
3
Let k = 345 + -335. Solve -2*p - 4*i - i + 22 = 0, -2*p + 3*i = k for p.
1
Suppose 2*t - 25 + 19 = 0. Solve -4*u - 38 = t*a - 16, -u - 8 = 2*a for a.
-2
Let g be ((-6)/9)/(2/(-18)). Solve -5*n + 2*v + 19 = 0, 4*n - 16 = 5*v + g for n.
3
Let w(r) = 55*r - 263. Let o be w(5). Solve -y - o = 3*x - 11, x - 13 = -3*y for x.
-2
Let b = 6 + -1. Suppose 4*v + 15 = 3*v - 5*y, 2*y = 5*v - 33. Suppose v*g - 35 = 4*j - 0, b*j + 19 = 4*g. Solve -p - w - g = 3*p, -3*p - 37 = -5*w for p.
-4
Let z(c) = -c**3 + 11*c**2 - 8*c - 10. Let r be z(9). Suppose 3*u = -b + 49, -2*u + 5*b - r = -6*u. Solve 0 = -2*j - 5*l + u, j + 3*j + 4*l = 12 for j.
0
Suppose 15*p = 32*p - 51. Solve -o = -3*h - h + 7, p*h + 9 = -4*o for o.
-3
Suppose -m - 12 = -5*q, 0 = 5*m + 2*q - 7*q + 20. Let g = m - -7. Let j = 9 - g. Solve 2 = 2*t - 5*t - 5*h, 3*h = j*t - 7 for t.
1
Let d = -80 + 85. Solve 2*u - u = -d*p - 2, p + 3*u + 6 = 0 for p.
0
Let h(w) = w + 12. Let j be h(-8). Suppose -l - j*u + 13 = -1, -2*u = l - 8. Solve -4 = -2*d, 1 + 3 = -v + l*d for v.
0
Let p be 0 - 2 - (-5 - 0). Suppose -3*u + 17 = 2*i, 0*u - 37 = -5*u + i. Let j be (0 - -1)*35/u. Solve 4*c - 5*t + 40 = -t, p*t + j = -4*c for c.
-5
Let k be (48/(-168))/(2/(-14)*1). Suppose 2*r + 3*i = -2*i - 75, -3*r = -2*i + 84. Let g be (3/(-9))/(k/r). Solve -3*w + 2*j = -j - 9, -g*j = -2*w + 6 for w.
3
Suppose 148*v + 2 = 147*v. Let c(k) = k**3 + k**2 - 5*k - 4. Let l be c(v). Solve 3*h + 4*r = -2, 1 = l*h - 3*r + 8 for h.
-2
Let c = 54 + -46. Suppose -4*v = -3*x, 0 = 4*v + 3*x - c*x. Solve 4*g - r + 1 = -v, 4*g + r - 9 = 0 for g.
1
Let k = 8 + 2. Suppose -k*s + 15 = 5*n - 9*s, -2*s + 10 = 5*n. Solve 2*h + 16 = n*o - h, 2*o = -2*h + 8 for o.
4
Let h be 29 - (-1 + 0 + 2). Suppose -y - 11 = -h. Let u = -36 - -36. Solve -5*b - 5 = u, 4*x = -b - 0*b - y for x.
-4
Let x(y) = 2*y**2 + 14*y - 15. Let u be x(-8). Solve -3*r - 9 = -2*v - 0*r, -r - u = 0 for v.
3
Suppose -2 = -4*p + 2. Let r be ((-1)/(-2))/(p/10). Solve 5*l - 9 = r*m - 49, -2*l - 4 = m for l.
-4
Let t(f) = f**2 + 7*f - 28. Let p be t(-10). Solve p*j + 18 = -5*k, 0*j - 12 = 2*k + 2*j for k.
-2
Let i(m) = -4 - 1 + 3 - 8*m + 0*m. Let p be i(-1). Solve -2*n - 3*b = -3*n - 4, n - 4*b = -p for n.
2
Let a be (-10)/(-8) - -2 - 120/96. Solve -2*y - 22 = 5*m, 5*m + 10 = a*y - 8 for m.
-4
Suppose c + 2*z = -0*z + 1, 5*z + 3 = 3*c. Suppose 5*q = -2*j + 82, 3*j + 102 = -q + 6*q. Suppose -22*g = -19*g - q. Solve -a + 3*k = -g + c, 0 = 4*k for a.
5
Let x be (14/12 - (-16)/(-96))*0. Solve -5*m - 5*d - 10 = x, -4*d - 5 - 7 = 2*m for m.
2
Let b be (-16)/(-9) - (-4)/18. Let o be (36*(-26)/416)/((-1)/(4/3)). Solve 0 = -5*m + 2*w, -m - b*w - o*w + 27 = 0 for m.
2
Suppose -9*h - 120 = 303. Let n = h - -55. Solve -15 = -5*d - 2*p, -2*d - n = -3*p + 5 for d.
1
Let o = -5 - -9. Let k be o*((-3)/(-1) - 2). Let j be (-5 + -9)/((-91)/78). Solve -k*h - j = 4*x - 4, 0 = -4*h - 2*x - 4 for h.
0
Suppose 2*c - 21 = -5*c. Suppose 5*v - 70 = -3*h, c*v = h - 0 + 28. Solve 5*d - 15 = a, 4*a = 2*d + v + 1 for d.
4
Let t(h) = -h**3 + h**2 + h - 6. Let m be t(0). Let k be (13 - 1) + (-5)/(20/12). Let u be m*(1 + (-15)/k). Solve -s = -4*o + 15, 4*o - 12 = u for s.
1
Suppose 6*y = 155 - 47. Let h = y + -16. Solve -i = 0, -h*o - 3*i + 8*i - 8 = 0 for o.
-4
Let b(g) = g**3 - 8*g**2 + 2. Let q = -1 + 9. Let m be b(q). Let r = 1943 - 1939. Solve -2*u = r*a + 8 + m, 0 = -5*a - 3*u - 15 for a.
0
Let p = 49 + -32. Suppose p = -4*q + 29. Solve 0 = y - 3, -2*o - 3*o = -y + q for o.
0
Let k = 18 - 18. Suppose -24 = 3*l - 84. Solve -4*p = 4*n - k*p + l, -15 = 3*n - p for n.
-5
Suppose -3*m - 5*n = 10, 2*m + 2 = 4*n + 32. Let r be (27/18)/(2 + (-10)/8). Suppose -6 = -4*k + r. Solve 2*a - 4 = k*d - 0, -5*d = m*a + 40 for d.
-5
Suppose 0 = 5*i + 5*d - 10, 4*d = i - 33 + 21. Solve 0 = i*t + 3*r - 2 + 27, 2*r - 6 = 3*t for t.
-4
Suppose -4*j = d - 12, -j - 2*d + 7*d = 18. Suppose 4*k = 4*c + 4, 0 = -2*k + j*c + c - 1. Solve r - k*i = -2*r + 13, r - 4*i - 7 = 0 for r.
3
Let w be 4/(-1) + 1 + 7. Suppose -4*p + 12 - w = 0. Suppose 5*l - 21 = p*v + 4, -5*l = 3*v. Solve f = -0*o - 4*o - 25, l*o = 3*f for o.
-5
Suppose -6*t + 11*t = 15. Suppose -2*v - 14 = -5*u, 3*v - 25 = t*u - 7*u. Let h be (2 - (-1)/(-2))*2. Solve 4*y - b - 12 = 0, -h*b + v = -9 for y.
4
Let f(x) = x**3 + 4*x**2 - x - 1. Let w be f(-4). Suppose i - 1 = 2*i, 4*s + w*i = -11. Let y = 2 + s. Solve 33 = 4*q - 5*o, -q + 4*o + 5 + 17 = y for q.
2
Let d = 24 - 22. Suppose -3*a = 2*a. Let r = 3 + a. Solve -j = -4*c + 2*j + d, -c + r*j - 4 = 0 for c.
2
Let y(n) = 7*n**2 + 28*n - 31. Let u be y(-5). Let t = 28 - 16. So