ve j + 4*k - 15 = 3, -g*k = -2*j - 12 for j.
2
Let l(f) = f**2 - 3*f - 4. Let d be l(5). Solve 0 = -2*n + n - 2*h - d, -3*n + 2*h - 2 = 0 for n.
-2
Let s be (1 + 9)/(2/5). Let j be 3 - (60/(-80) + (-1)/4). Solve -4*u = 4*v + 28, 0 = -v - j*v - s for u.
-2
Let t(h) = -h**3 - 12*h**2 + 24*h - 46. Let d be t(-14). Solve 0*i - y - 27 = -5*i, -d = 5*y for i.
5
Let c(l) = l**2 - 8*l - 64. Let r be c(-15). Suppose -r*u + 285*u - 16 = 0. Solve u*p - 10 = 2*g, -5 = 2*p + g - 0 for p.
0
Let i(j) be the first derivative of j**2 - 3*j + 16. Let h be i(3). Solve -h*c = -p + 2*p + 11, -4*c - 4*p - 4 = 0 for c.
-5
Let d be -3 + 6 + 1 + -2. Suppose -d*c + 3*c + 7 = 0. Let m = c + 7. Solve -5*q - 1 = -4*t + 3, m = -q for t.
1
Let t be -3 - ((-12)/1)/3. Let c be 4/10 + (-4)/10. Let v be 7 + 7*4/28. Solve -2*l - t = 3*o + 12, 2*l - 2*o + v = c for l.
-5
Let s = 159 - 59. Suppose 0 = 4*v + 4*x - s, x = -3*v + 93 - 28. Suppose 3*h = -o + v, o + 2 = -2. Solve 2 = m + 2*f, h = m - 2*f + 2 for m.
4
Let f = 2 + 2. Suppose -2*g + 0*g - 5*l = -4, 0 = -4*g - l + 8. Solve 6*h - 2*h - g*b = 10, 0 = 4*b + f for h.
2
Suppose -2*m + 9 = 4*g - 11, -20 = -4*g - m. Let x = 15 - -27. Suppose 0 = -13*k + x + 101. Solve 1 = a - 2*t, -g*a = -0*a - 2*t + k for a.
-3
Let k = -11 - -11. Suppose -t + 2 + k = 0. Suppose t*d + 12 = 6*d. Solve 3*y + d*m = -21, 2*y - m = -6*m - 23 for y.
-4
Suppose 4*k = -8, 6 = -r + 6*r + 2*k. Solve -2*w = 3*v + r, v - 4*w + 3*w - 6 = 0 for v.
2
Let j = -12 + 20. Suppose 0 = 5*i - j - 7. Let g(m) = -m**2 - 31*m + 104. Let u be g(-34). Solve x + x - i*d - 2 = 0, 4*x = 3*d - u for x.
-2
Suppose -25*a + 4*o = -21*a - 12, 12 = 5*a - 2*o. Solve 3*b - 2*i = 11, 0*b - i = -a*b + 8 for b.
5
Suppose 18 = 1429*a - 1423*a. Solve -2*k + 5*f + 12 = -a, 3*k + 2*f - 13 = 0 for k.
5
Let t be (-2)/21 - 65/(-21). Solve 5*o = t*w + 2 + 7, 2*o + 12 = -4*w for w.
-3
Suppose 3*o + 3 = -5*a, -2*o - 2*a = 3*a - 3. Let r be ((2 - -1) + o)/(-2 - -1). Solve r*k + 11 = 4*c, -4*c - 3 = -k - 12 for c.
2
Let x = 18 - 10. Suppose x = 17*g - 9. Solve -o + 2*b + g = 9, 3*b - 17 = 4*o for o.
-2
Let a(g) = -g**2 - 10*g + 10. Suppose -29 - 21 = 5*m. Let s be a(m). Solve 3*j - 4*t + 18 + 2 = 0, 0 = j - 3*t + s for j.
-4
Suppose 12 + 14 = 3*j - 5*l, -4*l = -2*j + 20. Solve -5*y = -5*i - 15, -y - 2*i - 11 = -j for y.
-1
Suppose b + 2 - 3 = -3*z, 3*z + 3*b + 9 = 0. Solve z*i = 5*o + 25, -2*i + 5 = i - o for i.
0
Let s be ((-6)/(-8))/(24/160). Solve -8 = 4*h + 4*o, s*h - 6*o = -o + 30 for h.
2
Let a(x) = x**3 - x**2 - x - 2. Let p be a(2). Suppose 2*g + q + 85 = 0, 1 = -3*q + 16. Let n = 49 + g. Solve 5*w - 22 = n*v + 7, 3*w - 4*v - 19 = p for w.
5
Let j(o) = -o**3 - 5*o**2 - 9*o - 16. Let t be j(-4). Solve -m = -a - t*a + 17, 0 = 2*a - 6 for m.
-2
Let a = 1410 - 1395. Solve 3*g = 2*g - q - 3, -g - a = -5*q for g.
-5
Let f(x) = 72*x + 3. Let y be f(-1). Let r = y + 73. Let p be 2/3 + 8/6. Solve p*a - 10 = 0, r*a - 6*a = -2*v for v.
5
Suppose l - 4*s = 17, -2*l - 28 = 4*s - 2. Let b be 2/l*(-8 - -2). Suppose 4*w - 12 = 3*w. Solve -m + 5*c + w = 0, 0*m = b*m + c + 15 for m.
-3
Let u be 18/12 - (-3)/(-6). Suppose 2*i + u = 5. Solve i*d - 3*a + 5 = 0, -a + 13 = -2*d - 6*a for d.
-4
Suppose 7*r = 3*r + 12. Suppose r*p + 2*p - 65 = 3*d, 4*p = -5*d + 89. Solve -l + 5*l = 5*c + 16, 4*c - p = -4*l for l.
4
Suppose 5*a - 57 = -3*l, 4*a - 4*l - 23 - 29 = 0. Let h = a + -10. Solve 0*i + 8 = -h*x - i, 0 = 3*i for x.
-4
Let c be -2*(13/(-2) - (-30)/6). Solve -a = 2*a + 4*k, 3*a = -c*k for a.
0
Suppose -67 + 355 = 3*m + 2*y, -m + 103 = 3*y. Let z = m - 92. Solve -3*d = z*j - 20, j - 6*j = -2*d - 12 for j.
4
Let p = 195 - 175. Solve -5*l = 4*g - p, 2*l = 4*g + 4*l - 20 for g.
5
Let b = -7 + 10. Suppose -b*d - d = -16. Suppose -5*v = -4*q - q + 10, -7 = -d*v + q. Solve 0 = -2*p + f + 9, 0 = 2*p + 3*p + v*f - 28 for p.
5
Let a = -98 + 102. Let r(p) = 2*p**2 - 2. Let o be r(3). Solve 0 = -m - 3*z - o, a*m + 2*z = -0 - 24 for m.
-4
Suppose -v - 3*d + 12 = 0, 0 = -23*v + 25*v + d - 9. Solve 2*a = -v*r + 2, r + 10 = -4*a - 6 for r.
4
Let d(i) = i**2 + i + 5. Suppose 2*s = 3 - 13. Let o(f) = -f**2 - 5. Let l(x) = s*o(x) - 4*d(x). Let p be l(4). Solve c + t = -5, -5*c + 2*t - t + p = 0 for c.
0
Suppose 338 = 45*l - 337. Solve i + 2*f - l = -2*f, -i = f - 3 for i.
-1
Let d = 27 - 27. Suppose 14 = 5*x + 4*c - d*c, 0 = 3*x + 3*c - 9. Solve -x*s + y = -y + 10, 0 = -4*s - y - 20 for s.
-5
Suppose 12 = -5*j + 7*j. Let s = 8 + j. Solve -4*u + s = 2*n, -5*n + 27 = -u + 3*u for u.
1
Suppose -4*a + 12 = 2*g - 6*g, -3*a + 7 = -4*g. Suppose -a*o + 3*o + 18 = 4*t, t - 2*o = -3. Solve -4*d = 2*z - 6, t*d + 0*z = 5*z - 15 for d.
0
Suppose 0 = -3*b + 3*a, 5*a = -3*b - 2*b + 20. Solve j = -u, -3*j - 2*u + b = j for j.
1
Let c(q) = q**3 + 3*q**2 - 2*q - 2. Let h be c(-3). Let r = 4 - h. Suppose r*t = t. Solve t = k - 4*l, -l + 0*l = -2*k - 7 for k.
-4
Let h(w) = w**3 - w**2 - 35*w - 23. Let m be h(-5). Solve 0*s = 2*o + 3*s + m, 3*s = -3*o - 6 for o.
-4
Suppose 0 = -2*a - 2*a. Let w be (-2 - -10)*(-6 + 3 + 2). Let j be w/(-3) + (-15)/(-45). Solve -j*s + 12 = a, 0*z + 2*z + s = 0 for z.
-2
Let r(m) = -71 + 146 + m - 76. Let p be r(3). Solve 0 = 4*s - p*q - 2*q, -3*q + 1 = -2*s for s.
1
Let g = -3 - -5. Let v(u) = 577*u + 3465. Let s be v(-6). Solve 16 = s*l - f - 0*f, 4*l - g*f = 22 for l.
5
Suppose z = -19 + 22. Solve 2*o - z*t = 7, 4*o + 5*t + 34 + 7 = 0 for o.
-4
Let n = 59 - 25. Let h(z) = -z**3 + 9*z**2 - 3*z - 10. Let c be h(8). Let s = n - c. Solve -26 = -s*k - 3*d, 23 = 5*k - 2*k + 4*d for k.
5
Suppose -47 = 3*n + 5*s, -6*n + 2*n + 5*s = 86. Let q = 24 + n. Suppose -t - 2*w - 1 = 2, -3*w = -3*t + 27. Solve -t*c - q = -3*g, -c = 2*g + g + 1 for c.
-1
Suppose 0 = 126*y - 117*y - 27. Solve 3*l - 2*l = w - 8, y*l + 4*w = 11 for l.
-3
Let i(z) = -z**3 + 15*z**2 - 15*z + 16. Let m be i(14). Solve 0 = -w - m*h - 0 + 8, 4*w = 2*h - 8 for w.
0
Let g(x) = -x**3 - 3*x**2 + 4*x - 30. Let i be g(-5). Solve 5*v + 5*f + 30 = 0, -4*v + f + i*f - 19 = 0 for v.
-5
Let g = 262 - 184. Let q = g + -76. Solve -2*w = -b + 4, q*b + 0*b = -4*w - 8 for b.
0
Let u be -4 + 1/(2/12). Suppose 2*j = -3*j + 60. Suppose u*i + 4*h = -12, -2*i + 2*h + j = -2*h. Solve 5*r - 2*z = 19, -2*r + i*z + 3*z + 12 = 0 for r.
3
Let x be 2 + 1 + (-4)/(4/3). Let a = 23 + -20. Solve 5*t - a = -2*o - 13, x = -3*o - 2*t - 15 for o.
-5
Let d be (35 - 2)/(-11) - -5. Suppose -5*t + 24 = -4*x, -5*x = -7*t + 2*t + 25. Solve -t*a - a + 7 = -3*z, -d*a - 1 = -5*z for z.
1
Let m = -1615 + 1618. Solve 2*i + 11 = -2*i - m*w, -i - 2*w = -1 for i.
-5
Let b = 4064 - 4054. Suppose -9 = -0*p - 3*p. Solve 4*y - 5*v + 3 = 9, 4*y = -p*v - b for y.
-1
Let u = 219 + -217. Solve -y = 5*w - 19, 0 = 2*w + 5*y - 28 + u for w.
3
Let a = 171 + -165. Solve -2*c - 5*g + 7 = -7, -2*c + 5*g = a for c.
2
Suppose -3*q + 4*y = 3, -2*q + 3 + 12 = 3*y. Solve 12 = -q*c, 4*c + 4 = 2*a + c for a.
-4
Suppose 2*l = -4 + 10. Let t be -1*1*(16 - -22). Let c = 41 + t. Solve c*g = -k, 3*g - l*k = -8*k for g.
0
Let p(a) = a**2 + 21*a - 41. Let s be p(-23). Suppose -4*b = -2*o - 6, 9*o - 5*b = s*o. Solve 4*l - 20 = 5*u, -u = u + l - o for u.
0
Let a be 9/(-21) + (-9)/(-21). Suppose a = 4*p + 9 + 7. Let f be ((3 - -3) + p)*2. Solve -4*m - 5*q + 20 = 0, 3*m - q + f = 2*m for m.
0
Let d = 62 - 17. Let y be ((-87)/(-6)*-2)/(-1). Let m = y - 20. Solve -m*c + 4*c - 5*n - d = 0, 8 = -4*c + 3*n for c.
-5
Let u be 2/((-13)/((-39)/2)). Let g(s) = -1 - 4*s - 3 - 4. Let i be g(-7). Solve -3*q + 4*z = i - 2, -3 = -3*q - u*z for q.
-2
Let l = -16 - -11. Let r be (1 + l + 0)*-1. Solve i = 3*q + 20, q + i - r*i + 20 = 0 for q.
-5
Let l(c) = c**3 + 7*c**2 + 2*c - 35. Let u be l(-5). Solve -u*h - 4 = 4*v, 4 + 20 = -5*h + v for h.
-4
Let j be (0/(2/(-1)))/1. Suppose o = 2*d - o, 2*d = o. Suppose f = s - d*s + 4, -4*s = 0. Solve -5*a + j*a + 10 = -5*i, -i + f = -4*a for a.
-2
Suppose -5*d - 3*y + 19 = 3, -d - 2*y + 6 = 0. Suppose 0 = 2*i + 22*i. Suppose i = d*o + 2*o. Solve u + o*u + 3*p = 14, -p + 2 = -u for u.
2
Let c = -78 + 82. Suppose 0 = 4*l - 4*i + 34 + 18, 95 = -5*l - i. Let k = 32 + l. Solve 3*a = -4*z + c*a + k, -z = a - 1 for z.
3
Suppose -26*x = 5*n - 29*x + 2, -4*n + 12 = x. Solve -3*a + 4 = d, -n*a = 5*d + 8 + 11 for d.
-5
Let x