= -1 for d.
2
Suppose 4*d = 5*r - 7, 19 = 4*r + 7. Solve -t - d = 2*k - 1, -5*k - 5 = 5*t for t.
-1
Suppose 22 - 22 = -20*m. Solve m = -l + 5*a - 2 + 31, l - 2*a = 14 for l.
4
Let d be 6/(-15) + 66/15. Let w be (-1 - -7)/3 + 1. Solve -d*x + x + a - 2 = 0, -4*x + 6 = w*a for x.
0
Let f be 5/1 - ((-5 - -9) + -12). Solve 2*m + 2 + 10 = -4*o, o = -3*m - f for o.
-1
Let n(y) = -y**2 + 28*y - 113. Let d be n(5). Solve 4*j = -4*l + 8, -d*l = 3*j - 1 - 1 for j.
-2
Let p = -349 + 351. Solve i + 4*i + y - p = 0, -i - y = 2 for i.
1
Suppose -4*b + 13 = 5*s, -2*b + 0*s = -4*s. Let t be (-3)/b - ((-220)/(-8))/(-5). Solve -2*o + 0*f = 4*f - 24, t*f - 32 = -4*o for o.
4
Let v be (-3942)/306 + 4/(-34). Let z(j) be the second derivative of j**3/6 + 17*j**2/2 - 2*j. Let r be z(v). Solve r*a - 5*t = -6, 4 = -3*a + 5*t + 2 for a.
-4
Let a(k) = 6*k**2 + 2*k + 1. Suppose -i - 2 = -1. Let r be a(i). Let g be 0*(-5 + 10 - 6). Solve -5*w - r*m + 2*m + 5 = g, -3*w = -m - 3 for w.
1
Suppose -2*i + 3*m + 87 = 0, i - 3*i + m + 85 = 0. Suppose n - i = -2*n. Solve 0 = -4*z - 3*t - t - 8, -2*z + 4*t = -n for z.
1
Let z be 0*(-7 + 10 + -4). Solve -n + 3*g + 2 = z, -4*n - 2 + 10 = -5*g for n.
2
Suppose -2*p - 7 = -3*p. Suppose 2*l = -15 + 5. Let k = l + p. Solve -7*q + 12 = -g - k*q, -8 = 2*g - 2*q for g.
-2
Let w = -406 - -446. Solve -3*v = -r - 2*v, 0 = 5*r + 3*v - w for r.
5
Suppose 3*t = 22 - 7. Solve -b + 4*z + 0*z = -8, 0 = t*b + 2*z - 18 for b.
4
Suppose x - 5*x = 0. Suppose x*n - 24 = -6*n. Solve 2*w = -n*h + 1 + 9, 4*w = -3*h + 15 for h.
1
Let w = -158 + 161. Solve -2*c + 6 = -u, -w*c + 10 = 4*u + 1 for c.
3
Let h be 1 + 10/(-14) - (-12)/7. Suppose h*o + 20 = 6*o. Suppose 4*g - 6 - 14 = 4*i, -3*g - 5*i = -15. Solve -v - 5 = 4*v + 4*z, 3*z + o = -g*v for v.
-1
Let y be (-1)/8 - ((-700)/224 - -1). Suppose -3*l - 2*l - 5*i = -85, -l + 2*i = -11. Solve y*g - l = -4*f + g, -2*f + 3*g + 11 = 0 for f.
4
Let f(t) = 3*t**2 + 10*t - 2. Let y(n) = -2*n**2 - 11*n + 2. Let x(z) = 3*f(z) + 4*y(z). Let w be x(14). Solve -w*v - 6 = -v - 5*q, 2*v + 4*q = 2 for v.
-1
Suppose -11 - 5 = -4*x. Suppose x*o = -o. Suppose -9 = -3*s, -c + 7 = 3*s - 5. Solve -1 = 3*g - 5*l - 6, -g + c*l + 3 = o for g.
0
Let j(c) = c**3 + 46*c**2 - 45*c + 109. Let z be j(-47). Solve -a = 5*o - z, 0 = -a - a + 5*o for a.
5
Let w(s) = -13*s + 30. Let r be w(2). Solve -y + 3*y = r*d - 8, -7 = -3*d + y for d.
3
Suppose -13*j = -25 - 1. Solve b - j*u + 14 = 2*u, u + 5 = -4*b for b.
-2
Let c be (-4)/12*(-24)/(9 + -5). Solve -17 = -3*f - 3*u - 47, -10 = c*u for f.
-5
Let x = -2219 + 2222. Solve -a + 4 = 5*h, -x*a = h + 1 - 13 for h.
0
Let h = 25 + -21. Suppose h*s - 4*o - 27 - 17 = 0, -5*o = 2*s - 43. Solve 0 = -3*j + 5*l - s, 0*j - j + 22 = 5*l for j.
2
Let b be ((-11)/(-33))/((-5)/6 + 1). Suppose 3*u - 39 = -5*c, 4*u + 26 = -b*c + 4*c. Solve -3*m = c, -l + m - 1 + 4 = 0 for l.
0
Let n(u) = 2*u - 3. Suppose 8*t = 10*t + 4. Let c be n(t). Let q be c + 10 - (1 + 1). Solve x = 4*z - 4, x + 5 = q for z.
0
Let v = -12 + 17. Let r be 7 + v - 12/(-4). Solve 0 = 2*u + 3*u + 3*a - r, 2*a = 2*u + 10 for u.
0
Suppose -6*b + 7*b = 4. Suppose -4*y = b*c - 24, -40 = -4*c - 0*c + 4*y. Let z = -3 + c. Solve z = -4*l + f, -5*l + 3*f = -2*f + 10 for l.
-1
Let p(s) = s**3 - 29*s**2 - 66*s + 129. Let g be p(31). Solve -1 = 13*a - 9*a + 5*q, g*a + 3*q = 2 for a.
1
Let n(t) = 3*t + 24. Let o be n(-5). Let d(q) = -22 + 5 + 4*q - 5. Let v be d(o). Solve -5*u - 3*l + 19 = 0, 0*l - 2*l - v = -2*u for u.
5
Let s(c) = c**3 - 3*c**2 + 4*c + 1. Let d be (12/(-8))/(9/(-12)). Let w be s(d). Solve -3 = -0*r - r, w*r = -5*p + 40 for p.
5
Suppose -4*k - 4 = 0, -5*i - k + 17 = -3*k. Solve -l - 13 = 4*y, -l = i*l + 4*y + 4 for l.
3
Suppose 4*i = a + 2, -5*i = -2*a - 5 + 4. Suppose -a*t = 3*t - 45. Suppose 4*s - t = s. Solve -4*x - 1 = q + 2*q, 5*x - 1 = -s*q for q.
-3
Let b be (78/12)/(1/(-12)). Let g be b/(-5) - ((-24)/20)/3. Solve -4*n + d + 0 = 6, -3*n - 5*d = g for n.
-2
Suppose -3*y - y = -40. Suppose -y*k + 7*k + 27 = 0. Let f(b) = -b**2 + 9*b + 10. Let a be f(k). Solve 0 = v + 3*h - a, 30 = 2*v - 3*v + 5*h for v.
-5
Suppose 5*b = b - 3*r - 6, -5*b - 8 = 4*r. Suppose b = 2*t + 9 - 19. Solve -5*u - 4*a = -20, -t*u + 6*a = 3*a - 20 for u.
4
Let n = 67 + -62. Suppose 5*d + n*q = 95, 0 = -2*d + 3*q + q + 20. Solve -2*b + d = 2*r, b + 4 = 3*r - b for r.
4
Let o be ((-108)/9)/((-1)/(8/12)). Solve -m = 4*r - 4, o*m + 4*r - 4 = 6*m for m.
0
Let h be 1 - ((18 - 23) + -3*2). Solve 0 = 3*l - 4*m + 4, -2*l - 2*l + h = -m for l.
4
Let j(y) = 4*y + 13. Let b be j(-4). Let d = b + 3. Solve -5*l - 8*c - 5 = -3*c, d = -2*l - 3*c + 2 for l.
-5
Suppose 5*u + 3*c = 7 + 28, 3*u = -c + 17. Solve -3*r - 2*s + 7 = 10, -u*r - 5*s = 11 for r.
1
Suppose -3*d + p - 5 = d, d + 25 = 5*p. Suppose 4*k = -d + 8. Suppose -2*m - 4 = -j, 0*m - 4*j + 16 = k*m. Solve -3*h - 5*y + 32 = m, 0 = 2*h - y - 1 - 3 for h.
4
Let o(n) = 75*n. Let z be o(0). Solve -5*k + z = 2*a + 3, -2*k - 2 = 0 for a.
1
Let t(c) = c**3 + 6*c**2 - 7*c - 37. Let w be t(-6). Solve 4*y = -3*z - 5, -w*y + 5*z = 4*z - 8 for y.
1
Let w(g) = g**3 - g**2 + g - 1. Let b be w(2). Suppose 1 + 4 = -h, 0 = 5*p + b*h - 25. Solve 0 = 4*l + 2*u + 12, p = -5*l + u - 5 for l.
-3
Let b = -130 - -130. Solve b*o = -2*o + 6, t + 5 = 2*o for t.
1
Suppose 3*b - 288 = -3*b. Suppose -5*d = -2*d - b. Solve v - 6 = 2*n, n - 4*v = 3*n + d for n.
-4
Let n = 1447 + -1442. Solve -20 = 4*d + 4*l - 8*l, -n*d - 19 = l for d.
-4
Suppose 5*l + 0*l - 28 = -4*t, 0 = -5*l + 4*t + 12. Solve 0 = l*f + 5*q - 12, 6 = 2*f + 6*q - 11*q for f.
3
Let c(b) = 34*b**3 + 3*b**2 - 3*b + 1. Let d be c(1). Let o = d - 32. Solve 2*r + 3*r - 4*p = 31, 7 = -o*r - 4*p for r.
3
Suppose 34*k = 39*k - 200. Let t = -28 + k. Suppose 5*i - 25 = 2*w, w = -2*i + 6 + 4. Solve y = -4*a + 6, -i*a + t - 1 = 3*y for y.
2
Let b = -24 + 28. Suppose -7*l - 15 = b*v - 2*l, -3 = 4*v + l. Solve 0 = 9*u - 4*u - 4*q + 23, v = 2*u + 5*q - 4 for u.
-3
Let h be (0 + 1)/((-29)/(-116)). Solve 0 = -2*u + 5*u + 2*m - 14, -20 = -4*u - h*m for u.
4
Suppose 5*v + 44 = a, 6*v - 146 = -3*a + 7*v. Let d = a - 49. Solve d = -5*w + 5*s + 45, w = 2*w + 3*s + 11 for w.
4
Let w(g) = g**2 - 27*g + 96. Let d be w(23). Solve -4*v - 3*f = -16, d*v - 6*f + 3*f = -8 for v.
1
Let g be (-1221)/(-11) + (-2)/(-6)*3. Suppose -g*a + 20 = -107*a. Solve -4*j + j + 2 = -5*z, -a*j = 4*z + 8 for j.
-1
Let f be (-2)/(-8) + (-23)/(-4). Let p = 56 + -61. Let d(r) = r**3 + 5*r**2 + r + 9. Let t be d(p). Solve 9 = -5*g + u, t*g + 2*u - f = 2*g for g.
-1
Let g(w) = -w**3 - 31*w**2 - 31*w - 22. Let h be g(-30). Solve 2*u = 4*v - 22 - h, -u = v for v.
5
Suppose o + z = 7, 3*o - 4*z + 6 = -1. Let s = -385 + 400. Solve 4*p + o*m = -15, 0 = -2*m + 5*m + s for p.
0
Let n(q) = -q**3 - q**2 + 2. Let d be n(-2). Let z be (-88)/(-12) - 2/d. Let a = 10 - z. Solve -a*v - 3*h - 2*h + 2 = 0, 2*v - 6 = -h for v.
4
Suppose 0 = -5*q + 15. Suppose -q*h = 2*z - 22, h + 5*z = -0*h + 3. Solve 2*t = -s - t - 1, -3*s - h = 4*t for s.
-4
Let n be (-3 - -5)*(-2 + 3). Let m(q) = 2 - 2*q**3 - 5*q**2 + n*q - 3*q**3 + 2*q**2 + 6*q**3. Let j be m(3). Solve -4*d + 4 = v, 3*d + 16 = 4*v + j*d for v.
4
Suppose 5 = -p - 4*t, -2*p = -0*p + 5*t + 4. Suppose 0*s - p*s + 4*x + 29 = 0, 2*x = -2*s - 4. Solve s*n + 3*u - 2*u - 4 = 0, 0 = -2*n - 5*u + 20 for n.
0
Let y = 164 + -164. Solve -3*w - 14 = -2*s + 6*s, -2*w - s - 6 = y for w.
-2
Suppose -2*q + 17 = -5. Let s(g) = g. Let a be s(-2). Let t = q + a. Solve -h = 3*k - t, k = -3*k - 3*h + 17 for k.
2
Suppose -3*s = -205 + 181. Solve -4*i + s = -4*j, j + 2*j - 22 = -4*i for j.
2
Suppose 0 = -6*o + 4*o + 8. Suppose -j + 6 = 2*m + 2*j, -4*j + 12 = o*m. Suppose -4*n - 2 = -a, -3 = -m*a + 3*n + 3. Solve 5*d + 5*f = f - 12, a = -d - f for d.
-4
Let l = -10 + 18. Suppose -v = -3*v - l, 5*u + 4*v = -46. Let f = u + 18. Solve -3*m - 1 = -r, 4*r - 2*r + f = -m for m.
-2
Let q be (-80)/(-25) - -2 - (-2)/(-10). Solve 3*p + 4*a = 16, 4*p = -a + 9 - q for p.
0
Let r = -4 - -39. Let o be (20 - -2) + 62 + -51. Let h = r - o. Solve -7*z = -4*d - 2*z - 15, -z = -h*d - 9 for d.
-5
Suppose -88*h + 616 = -60*h. Solve -5*c + 2*f = -h, -15*f - 11 = -2*c - 12*f for c.
4
Let h(z) = 6*z + 31. Let d be h(-5). Let r(l) = 17*l**2 - 4*l + 2.