d - 5*y + 6 = 0 for d.
2
Let q(s) = 13*s**2 - 5*s + 1. Let x be q(2). Suppose 51 - x = 4*n. Solve n*z - 3*m = 9, 4*z = 2*m - 5*m + 9 for z.
3
Let s(j) = -j + 19. Let r be s(9). Let w be 20*r/15*(-3)/4. Let v be (1 - 1 - 5)*(w + 9). Solve b + v = 5*c + 6*b, -3*b = -5*c + 21 for c.
3
Let r(y) = y**2 - 15*y**3 + 13*y**3 + 3*y**3 - 4*y - 3. Let m be r(-2). Solve 6 = 4*a - 5*i, 2*a + 3*i + m = 7*a for a.
-1
Let v(f) = f**2 - 15*f + 38. Let p be v(13). Suppose -11*b - 2*a = -p*b, 4*b - 22 = -3*a. Solve b*y = y - 5*g - 24, 2*y - 3*g - 3 = 0 for y.
-3
Let z = -604 - -606. Let h be (-4 - 160/(-56))/(z/(-7)). Solve -25 = 5*k - 0*r + 2*r, -14 = -2*k + h*r for k.
-3
Let q be 3*(-5)/(30/(-26)). Let v(p) = 32 + q*p - 62 + 32 + p**2. Let b be v(-13). Solve -5*u = -b*w - 23, 5*u = 2*w - w + 19 for w.
-4
Suppose -62*k - 40*k - 11*k = -1921. Let h = -2 + 4. Solve h*c = -3*j + k, -c - 4*j = -5*c - 16 for c.
1
Suppose 2*l - o = 44, 3*l = -o + 35 + 31. Solve 61*a - 62*a = 3, 5*r + a - l = 0 for r.
5
Suppose 46*i - 5*i = 205. Let y(f) = -5*f + 42. Let q be y(8). Solve -2*n = -q*x, 3*n = 5*n - i*x + 6 for n.
2
Let n(k) = k**3 + 43*k**2 - 16*k + 44. Let g be n(-43). Let l = g + -726. Solve -l = -3*o + t, 2 = 5*o + t - 0 for o.
1
Suppose 7*u - 4*u - 2*z = 4, -3*z + 16 = u. Solve p - 8 = 4*j, 0*p - u*p - 6 = 3*j for p.
0
Suppose -181*n = -427*n + 246. Solve 39 = -b - c + 34, 2*b - c = -n for b.
-2
Let w be (3/9)/((-5)/(-75)). Suppose 3*n - 20 = 7. Suppose 31*t - 3 - 87 = 65. Solve 2*k = w*k - n, t*k = -z + 19 for z.
4
Suppose -3276 = 10*d + 2*d. Let p = -270 - d. Solve -p*g + 3*s = -2 - 1, s = -4*g - 6 for g.
-1
Suppose -2*r - 70 = -3*p, 3*p = -2*r + r + 55. Suppose 2*s - 2*j - 2 = 0, 0 = -149*s + 153*s - j - 13. Solve 3*g + p = -g, s*q + 25 = -g for q.
-5
Let j be ((-45)/30)/((-2)/4). Suppose j*w = 3*k, 40*w - 5*k + 16 = 43*w. Solve -4*n + 12 = -m, -w*m = n - 3*m - 3 for n.
3
Let w = 135 - 43. Suppose 7*m + 16*m = w. Solve -9 = 3*g, -11 = 2*u + m*g + 11 for u.
-5
Let x = -212 + 215. Solve 2*c + 2 = -s, 6*c - 6 = x*s + c for s.
-2
Let p be (-2)/(-4) + 9/6. Let l = -9676 + 9678. Solve -4*m - 10 = l*j, 10 = -0*m - m + p*j for m.
-4
Let l be 2*(3 + -8 + 6)*2. Let f be ((-4)/(-4))/((-45)/12 + l). Solve 0 = -5*b - 3*c + 2, 0 = -2*b - c + f - 3 for b.
1
Let d be (-4 + 1)/3 - 247. Let t = d - -251. Solve -t*n - 4*s = 3, 4*n = 6*s - s - 4 for n.
-1
Suppose -5 + 7 = 3*h - y, -2*h = 4*y - 20. Solve -4*o + h*o + 4 = -2*j, 0 = 3*o - 4*j - 6 for o.
2
Let i = 125 + -81. Suppose -29 + i = a. Let h(p) = 2*p - 27. Let c be h(a). Solve -2*r + 0*r - 6 = 2*o, 0 = 3*r + c for o.
-2
Let w be 16/(-12)*-2*3. Suppose 3*g - 4*k = g, -5*g + 4*k = 0. Suppose g*y = 6*y - 24. Solve y*o = q - 12, q + 0*o + o = -w for q.
-4
Let u(s) = -4*s**3 - 26*s**2 - 21*s - 48. Let f be u(-6). Let i = 14 - 11. Solve -c = h + c + i, -f = 3*c for h.
1
Let p(f) = 7*f + 87. Let c be p(-13). Let j be 1 - c/8*8. Solve 0 = 2*x + x, a + j*x = -3 for a.
-3
Suppose 5*u = 8*u - 9. Suppose u*f + 5*f = 360. Suppose -2*j + f = 7*j. Solve 14 = -w + j*q, 0 = 2*w + 3*w + q - 8 for w.
1
Suppose -11 = -l - 5. Suppose -15 = 3*p - l*p. Solve -3*r - p*y + 12 = 0, 6*y = -r + 2*y + 4 for r.
4
Suppose 13*c - 23 = 3. Let f be (-6)/(-8)*(6 - c). Solve 6*a - f*a - 5*s - 4 = 0, 16 = 5*a + s for a.
3
Let k(u) = 7*u + 36. Let h = -28 - -24. Let n be k(h). Suppose 3*j - 5*q - 13 = 0, j + 8 = 3*j - 4*q. Solve 7*x = -g + 2*x + n, -5*g - 2*x = j for g.
-2
Let h(c) = -c**3 - 10*c**2 + 148*c - 28. Let i be h(8). Solve -2*a - 4*r - 10 = 6, 0 = 2*a - 2*r + i for a.
-4
Let d be (1/(-3))/((-4)/(-12)). Let x = -85 - -81. Let i be (d + x/6)*-3. Solve -3*z - u - 3 = 0, 5*z + i = 3*u - 0 for z.
-1
Let a = 55 + -51. Suppose d - p = a*p - 13, 7 = -d + 3*p. Let v be 39/(-13) + 1/d*6. Solve v = 2*j - 3*x + 23, 4*j + 11 = -x - 0*x for j.
-4
Suppose -20319*i + 625 = -20194*i. Let r be -2*4/(-2)*1. Let t(k) = 3*k + 2. Let p be t(r). Solve -i*x + 4*c = 28, -3*c = 3*x - 5*x - p for x.
-4
Let k = 17850 - 17687. Solve 4*y = 2*g - 22, 2*y = -4*g + k - 149 for g.
5
Suppose -f - 138 = -2*u + 2*f, 4*f = -2*u + 124. Let g be ((-248)/12 + -2)*63/(-28). Suppose 48*y + u = g*y. Solve 5*j = i - y, 0 = j + 3*i + 13 + 1 for j.
-5
Let q = 12102 - 12098. Solve 2*o + 3*h = 7, q*o - 7*o + 3*h + 3 = 0 for o.
2
Let m = -25239 + 25244. Solve -2*z = -3*v, m*v + 28*z + 16 = 26*z for v.
-2
Let q(d) = d**3 - 7*d + 4. Let n be q(3). Suppose -n = 2*g + 38. Let s = g - -26. Solve s*a = -3*w - 19, a + a = -4*w - 24 for a.
-2
Let f(y) = -2*y - 12 - 1 - 2*y + 7*y. Let r be f(7). Suppose 0 = -4*g - r, 3*p - 3*g - 14 = -2*g. Solve 3*w + 5*d - d = 26, 5*w = p*d - 10 for w.
2
Let h(z) = -z**3 - 28*z**2 + 428*z - 36. Let t be h(-39). Solve 5*j = -4*l + t, 4*l - j = -17 + 26 for l.
2
Let w be ((-12)/(-9) + -1)*27. Suppose f = 2*f - 2*t - 10, 5*f - t = 68. Let n = f - w. Solve 0*o - 10 = -n*o, d + 4*o - 4 = 0 for d.
-4
Let i(o) = 2*o**3 + 12*o**2 - 4*o + 78. Let m be i(-7). Solve v - m = -g, v + 3*v = 20 for g.
3
Let n(p) = 4*p + 1. Let f(k) = 11*k + 2. Let m(o) = -3*f(o) + 8*n(o). Let r be m(-3). Let a = 11825 - 11823. Solve -3*t + r + 0 = -4*l, 0 = -a*t + 2*l for t.
-5
Let m(d) = 9*d - 28. Let v be m(4). Suppose -3*k = v*k - 198. Solve 3*n - 14 = -4*r + 2*r, -k = -5*r + n for r.
4
Suppose 5*h - 36 = 4*q - 58, 3*q = 2*h + 20. Solve 5*u - 3*x = h*u + 3, u = 3*x + 9 for u.
-3
Suppose 0 = -3*u + 3*w + 27, 61*u - 29 = 58*u + 5*w. Solve -3*z = -g + 1, 2*z = 2*g - 2 + u for z.
-2
Let g be -8*(3 - 0 - 4). Let z = -5 + g. Let l be (5 - (-162)/(-42))*14/4. Solve -9 = z*u - l*h + 8, 5*h = u + 13 for u.
-3
Let w be (-8)/(-3)*(-9)/(-4). Suppose 5*k + 4 = -5*s + 14, 10 = 5*s - 2*k. Solve -m - 5*y = 3*m - 10, 2*y - w = -s*m for m.
5
Let x(w) = 43*w - 1151. Let v be x(27). Solve -5*o + 4*y - 5 = -0, 4*y + v = 2*o for o.
-5
Let k = 15 - 10. Suppose 2*x - k = 5. Solve 0 = -x*a, 8 = -4*t + 2*a + a for t.
-2
Let j(x) = 5*x**3 + x. Let b be j(1). Suppose -2*i = -i - 16. Suppose 8747*r - 9429*r = -16368. Solve -2*u - 2*c = r - b, -c = -4*u - i for u.
-5
Let b(g) = 5*g**3 - 4*g**3 + 8*g**2 - 11 - 27*g - 20*g**2. Let i be b(14). Solve -2*l - l = -5*p - 37, -2*l - 7 = i*p for p.
-5
Suppose g = -6*o + o + 152, 638 = 4*g + 5*o. Suppose -173*c + g*c = -11. Solve 3 = -4*h + 5*k + c, h + 5*k = -13 for h.
-3
Let h = 8963 + -8960. Solve l - h*l - 2*o = -2, -2 = -2*o for l.
0
Let s be (-858)/(-312)*(5 - 1). Solve -z + 20 = 5*a, z + s*a - 9*a - 11 = 0 for z.
5
Suppose -3*c + 3*k = -21, -3*c - 2*k + 7 = 2*c. Let u be (0/(10 + -18))/2*1. Solve p + 1 = -u*p - z, -c*p = z + 3 for p.
-1
Let t be 4/(-2) + (6 - 3). Suppose -9*y = 143 + 3457. Let l = y - -424. Solve -d + 0*d + j - t = 0, 0 = 4*d + j + l for d.
-5
Let j(l) = 5*l + 137. Let t be j(-25). Solve -2*k = 3*k - m + t, k = -5*m + 8 for k.
-2
Let l be (-5296)/(-14) - ((-24)/28)/(-3). Let a = l - 374. Solve -4*r - 16 = 2*g, 1 = r + 2*g - a*g for r.
-3
Let d(k) = -2*k. Let p be d(-1). Let b = 115470 - 115470. Solve -p*c + 2*q - 12 = -b*q, -5*q + 5 = 0 for c.
-5
Let y(o) = 27*o**2 + 135*o + 3. Let a be y(-5). Solve 3*q + 30 = a*x, q - 6*q - 15 = 2*x for q.
-5
Suppose 4*i + 18 = 10, -o + i = 0. Let k be (o/(-2))/(-2 + 36/16). Let z be 70/15 + (-2)/3. Solve -5 = -7*h + z*h - k*b, -b + 2 = 0 for h.
-1
Let b = 29 - 26. Let m(v) = 2*v**3 + 42*v**2 - v - 8. Suppose -4 = -d + 5*j, 4*j - 1 = -21. Let w be m(d). Solve 5*q + b*t = w, 4*q - 4 = -0*t - 4*t for q.
5
Let q = -2161 - -2166. Solve -3*a + 2 + 2 = 4*u, -5*u - q*a = -5 for u.
1
Let f be 4/(-7) + 1/(42/276). Let b be (3 - 2)/((f/10)/3). Solve 0 = -2*h - b*s + 26, -3*h - 2*s + 25 = 2*s for h.
3
Let u = 518 + -502. Let o be 23/3 + (-7)/(-21). Suppose 0 = -3*m + 7 + o. Solve 20 + 6 = m*f + 2*d, -4*d = f - u for f.
4
Let a be (-1)/(-7 - 0) + 333/21. Suppose 7*k + 9 = a*k. Solve -b = 3*n - k, b = 5*n - b - 20 for n.
2
Let t be 0 + 22/8 - (420/80)/7. Solve -3 = -3*o - 3*c - 6, t*o - c = 13 for o.
4
Let u = 43 + -12. Suppose -4*c = u - 119. Suppose 4*o + 0*o = 5*j, 5*o = 4*j + 9. Solve 0 = -3*m + o*y + c, -6*m - y = -m - 18 for m.
4
Suppose 12 + 27 = 13*k. Suppose -2 = k*o - 17. Suppose 0 = o*b - 2*t - 8, 2*t - 6 + 14 = b. Solve 4*u - m = m - 20, 4*m = b for u.
-5
Let w(k) = -57*k + 171. Let p be w(3). Solve -4*g = 5*q - 20, p = -g + 3*g + 2*