 for d.
1
Let l = -12 + 24. Let q be 2 - 1 - (-16 + 12). Suppose -2*y + 4*z - l = 0, -3*y - 13 = -0*y - q*z. Solve -6*t + 2*t = -5*s - y, 0 = t - 2*s - 4 for t.
-4
Let k(u) = 4*u**2 - 110*u + 250. Let v be k(25). Solve 3*a + 3*t - 18 = v, -14 = -4*a + a + t for a.
5
Let p = -120 + 126. Let h be (-1)/(4 - p - -3). Let i be 1*(h + 0)*0. Solve z + o = -1, 3*z + 7 = -4*o - i*o for z.
3
Let u be (-195)/(-13) - (11 - 0). Let x = 3 - 1. Let d = 5 - x. Solve u*z - 20 = -3*c, 3*c + d = z - 2 for z.
5
Let j(r) = 0*r - 96 - 7*r - 49. Let l be j(-21). Solve x = f + l*x, 3*x + 5 = -4*f for f.
-5
Suppose 794 = 124*w - 17 + 67. Solve 0 = w*s - 4*s + 2*k, -2 = k for s.
2
Let s be -10*((-72)/(-180) + 18/(-20)). Solve -4*n - 3*o + 0 = 5, s*o = -15 for n.
1
Suppose -4*a - 57 = 7. Let n = 20 + a. Suppose -n = -0*m - 2*m - 2*y, 3*m = y + 18. Solve 0 = 5*x + 4*s - 37, -4*x + 44 = m*s + 9 for x.
5
Suppose 4*g = 5*j - 4, -36*g - 40 = -5*j - 41*g. Suppose -3*s - 2 = -5*s - 5*z, -4 = 2*z. Suppose 10 = s*k - 2. Solve i - 7 = 5*f - 2*i, f - j*i = k for f.
-2
Let t(r) = r**3 + r - 255. Let c be t(0). Let g be (-306)/c - 1/5. Solve -2*j + 3*v = 6, -j - 2*j = -2*v - g for j.
3
Let q be (45/(-15))/(-1 - 2 - (-5 + 3)). Solve 0 = 5*b - 5*h, 8*b - 7*b + q*h = -4 for b.
-1
Suppose 113*l = -5*h + 117*l + 45, 10 = -2*l. Solve 2*f + 11 = -h*n, 9 = -2*f - f for n.
-1
Let j = 69 - 75. Let p(i) = i**2 - 2*i - 27. Let r be p(j). Solve 2*z = -3*z - h - r, -4*z + 4*h - 36 = 0 for z.
-5
Let f be -20*(943/(-230) - -4). Solve f*s = -15*t + 13*t, 3*s + 7 = 4*t for s.
-1
Let x(l) = 2*l**2 - 59*l - 265. Let d be x(-4). Solve 2*b - d*c - 1 = -3*b, 5*c + 7 = 3*b for b.
-1
Let o be (15*6/270)/((-1)/(-6)). Solve -s = o*d + 2, d = s + 2*d for s.
2
Suppose -60 = 16*k - 21*k. Solve 2*y = -v + k, -8*y = -v - 5*y - 8 for v.
4
Let s(l) = 201 + 203 + 3*l**3 - 402 - 3*l. Let n be s(1). Solve -4*p + 12 = -n*v, v + 1 = 3*p - 8 for p.
3
Suppose -158 = -8*v - 5*x + 7*x, 0 = -2*v - x + 47. Solve 2*z = -o + 9, -v = 3*o - 7*o - 3*z for o.
3
Suppose -3*j - 29 + 104 = 0. Suppose 4*c - 3*i - 16 = 0, 4*c - 5 = 5*i + 11. Suppose 21*s - j*s = -c. Solve h - s = 0, -3*r - 3*h + 6*h = 12 for r.
-3
Let u = 8955 - 8951. Solve 2*m = -4*m - u*t - 44, 2*t = 4*m + 6 for m.
-4
Suppose h = -5*h + 18. Let o(a) = a**h + 9 - 8 - 2*a - a. Let j be o(2). Solve x + 0*x + 21 = -5*p, -4*x = -j*p - 8 for p.
-4
Let h(n) = -19*n**2 - 3*n + 18. Let u be h(4). Let g = -296 - u. Solve 3*i - 9 = 0, -2*b = -4*i + g*i for b.
3
Suppose k + 4*u = -0*u - 9, 2*u = -10. Suppose -k*r - 13 + 13 = 0. Solve -g - 3*z - 14 = r, 4*z = -0*z - 16 for g.
-2
Suppose -13*a - 2*l = -10*a - 134, 0 = 2*a - 5*l - 121. Solve -44*u + a*u = -v - 3, -2*u - 5 = -3*v for v.
1
Suppose -118*g + 120*g - 22 = -3*y, -16 = -4*y. Solve 0 = 5*f - 4*f - 3*j + 17, -g*f - 29 = -j for f.
-5
Let c be (15/6)/((-10)/(-24)). Suppose 135 = -5*s + 3*l, 0 = -4*l + c*l. Let i = s + 49. Solve 9 = 2*h - 3*m, 10 = -4*h - 4*m - i for h.
-3
Let j = 2530 - 2526. Solve -j*z = 3*l - 8, -62*l = -66*l + 5*z + 21 for l.
4
Suppose g + 0*g + l - 170 = 0, l + 705 = 4*g. Let f = g - 170. Solve 3*y - 8 + 0 = f*q, 0 = y - q - 2 for y.
1
Let m = 7 + -5. Suppose 2*n = -23*b + 19*b + 14, -5*b + 19 = 3*n. Let a = -19 + 26. Solve 6*y = -n*g + 2*y + a, m*g - 4 = -3*y for g.
5
Let p(t) = -15*t + 122. Suppose -10 = 4*d - 4*i - 46, 39 = 5*d + i. Let x be p(d). Solve -x*w + w - 2 = 0, -4*b + 5*w = 2 for b.
-3
Let d = -20 - 11. Let k = -28 - d. Solve 0 = -2*n - 6*o + 3*o + 11, -26 = k*n - 4*o for n.
-2
Let a be ((-2)/3)/((-7)/(-21)). Let y = 4 + a. Suppose -u = -3*n - 7, 4*n + 2 = y*n. Solve 3*q + 13 = 3*o + 4, -u*o + 26 = 3*q for q.
2
Suppose 2*t + 24 = -4*t. Let f be 1 - 8*t/8. Suppose v + 1 = 6. Solve -2*g - 30 = v*o - 1, f*o + 31 = -3*g for g.
-2
Let y(q) = q - 4. Let j(o) = 14*o + 22. Let r(p) = 3*j(p) - 21*y(p). Let u be r(-7). Solve 2*b - u*h = 5*b - 24, b - 5*h = -10 for b.
5
Suppose -4*k + 8 = -0*k. Suppose -7*j + k*j + 45 = 5*b, 5*b = j - 3. Solve 0*v + 21 = -l - 5*v, v + j = -4*l for l.
-1
Let d(l) = l + 23. Let f be d(-14). Let t be f/27 - 4/(-6). Let g be (4/(-6) + t)/((-10)/(-150)). Solve -2*n - 5 = -3*z, 5*n - n - z - g = 0 for n.
2
Suppose 26 = -3*q - 4*w + 77, w + 68 = 4*q. Let j = 7 - 3. Suppose 0 = -j*u - 4*x + 3 + q, -15 = -3*u - 4*x. Solve 0 = -h + l + u, l + 0 = -2*h - 5 for h.
0
Let b(a) = 8*a - 40. Let d be b(-20). Let w = d - -205. Solve -w*j = -h - j, -j = -5*h for h.
0
Let a = 381 - 376. Let r(g) = 3*g - 12. Let i be r(6). Let h(f) = 2*f - 10. Let q be h(i). Solve 4*c - 7 = 3*j, -3*j - 27 + q = a*c for c.
-2
Let i = -33 - -199. Suppose i*o = 164*o. Solve o = -5*w, -c + 15 = 2*c + 2*w for c.
5
Let s be (6 + -15 + 1)*-16. Let m = s + -123. Solve -3*h = 4*a + 9, -4*h + 5 = -2*a - m for a.
-3
Suppose -5*y = -4*m - 5, 0*m = -m + y. Let r(c) = -11*c + 68. Let a be r(6). Solve 15 = 5*t + m*l, -l + 5 = 3*t + a for t.
0
Suppose 3*s = g - 372 + 374, 0 = 2*g - 2. Solve 11*r - 10*r - i = s, i = -2 for r.
-1
Let w = -188 - 65. Let u be (-2)/(-12) + w/(-66). Solve -2*a - 3*f = 2 - u, -4*f = 0 for a.
1
Suppose 2*i = 3*o + 7*i, 0 = 4*i. Suppose -5*y + 218 = w - o*w, -y = -w - 46. Let h = 46 - y. Solve 17 = -5*g + l, -5*g + 5*l - 7 + h = 0 for g.
-4
Let k be (-4)/10 - 762/(-5). Let g(u) = u**2 - 156*u + 881. Let c be g(6). Let z be ((-2)/4)/(c/k). Solve -2*r = -4*p + 3*r + 17, 28 = -4*p - z*r for p.
-2
Let m be (-4*2/(-8))/(-1)*0. Let r(l) = 14*l + 16. Let i be r(m). Solve b + 19 = -3*x, 4*x = 2*b - i + 4 for b.
-4
Let a be (-90)/(-108) - 28/(-24). Solve -a*c = -i + 3, 10 = -0*i + 2*i for c.
1
Let q be 1218/45 - (-34)/(-510). Solve 2 = 5*c - j, 4*c + q = 5*j + 37 for c.
0
Suppose -5*q = -0*z - 2*z - 16, q = -z - 1. Let i = -336 + 344. Solve -2*g - b = -i, -b = -0 + q for g.
5
Let p = -3935 - -3938. Let f(y) = 3*y**2 + 2*y**2 + y**3 + 0 + 3*y**2 + 2 + 6*y. Let m be f(-7). Solve -5*o + m = 4*x, 4*o + 2*x - p = 9 for o.
5
Suppose -292*w = -290*w - 4. Solve w*p - 4*u = -6*u, 0 = 2*p + 3*u for p.
0
Let p(l) = 47*l - 1078. Let n be p(23). Solve 0 = -v - h + 1, v = -n*v - h + 7 for v.
2
Let b(g) = -24*g + g**2 + 3 - 24 + 8*g - 9*g. Let z be b(26). Solve 25 = -z*d, f + 1 = 2*d + 6 for f.
-5
Let c = 2363 - 2357. Solve 8*w - c*w = 3*d + 9, -4*d - 4 = 0 for w.
3
Let d(t) = -14*t + 124 + 4*t - 5*t. Let w be d(8). Solve 3*j - 4*z = 9, -j - 3*j = w*z - 12 for j.
3
Let p be 4/(-42) - (-13700)/525. Suppose p*s + 16 = 34*s. Solve s*j + b = 5*j - 10, -j + 5*b = -22 for j.
2
Let w(u) = u**3 + 7*u**2 + 5*u - 12. Let d = -85 + 150. Let r = 60 - d. Let g be w(r). Solve y + 7 = 5*l - 12, -2*l = 5*y - g for l.
4
Suppose -7*m - m + 42 = 6*m. Solve 0 = 15*r - 20*r, -m*s - r + 12 = 0 for s.
4
Let d be ((-200)/(-140))/(38/(-14) + 3). Solve -45*t = -49*t - d*v + 5, -2*v + 2 = -t for t.
0
Let b be -27*(-12 - -13)/(-1 + 0). Suppose -33*s + b*s = -24. Solve s*q + q - 20 = 2*m, 4*q + 5*m - 16 = 0 for q.
4
Let w(u) = -4*u**2 - 27*u - 15. Let r be w(-6). Suppose -3*l = r*o - 1 - 5, -4*o = 12. Solve -2*s + 11 = 2*k - k, l = 5*s - 5*k for s.
4
Let s(y) = 7*y - 57. Let c be s(9). Suppose -c*d + 15 = -147. Solve -f + 6 = f + n, -3*f + 3*n + d = 0 for f.
5
Let g be 6/(-4) + (-1431)/(-18). Let m be (1 + -1)*39/g. Solve 4*p + m*u - u = -7, 3*u + 27 = -4*p for p.
-3
Let g be (-2)/(-5) + (-1436)/(-10) + -8. Let i = g + -132. Solve 0 = x + 2*y + 11, y = -i*x - y - 20 for x.
-3
Suppose 0 = -4*m + 6 + 174. Let w(h) = m - 6*h - 37 - 47. Let a be w(-7). Solve -4*v - 12 = -2*n, -20 = a*n + 2*n for v.
-5
Let x be ((-15)/(-9))/(1/3). Suppose 3*y - 17 = -x. Let c = -5685 + 5687. Solve -5 = -s + 3*g, 2*s + c = y*s + 2*g for s.
2
Suppose -9*a = -2*l - 5*a + 110, 5*l - 2*a = 299. Suppose -64*b = -l*b - 105. Solve -5*d = -5*x - b, 7*x = 2*x + d - 15 for x.
-2
Let s = 634 - 409. Let i be s/6*8/(-10). Let t be (-476)/i - 12/(-90). Solve -4 = 4*f, 3*f + t = -5*b - 7 for b.
-4
Suppose 0 = 2*o - 2*u - 14, 3*u - u = -5*o. Let w(t) = -2*t**2 - 5*t + 8. Let m be w(1). Solve 3*d - m = -o*v - 0*v, -7 = v + 4*d for v.
5
Suppose 10 - 42 = -3*a + 4*x, -3*x = 15. Solve -4*g - a*s = 0, g = -0*g + 3*s for g.
0
Suppose 0*n + 5*t - 26 = n, t = -5*n. Let i be (0 - n)/((-27)/(-81)). Solve -5*m - 5 = i*f + 7, -f = -3*m - 10 for f.
1
Suppose -d + 3 = 0, 3*v + 2*d + 7 = 31. Solve 2*