+ 5*c = 11 + 3 for z.
4
Let l(a) = 2*a**3 + 10*a**2 + 18*a + 42. Let k be l(-4). Solve -2*r = -k*y + 8 - 2, 0 = 4*y - 3*r - 14 for y.
5
Let i(y) = y**3 + 8*y**2 + 7*y + 7. Let s be i(-6). Suppose -31*o - 180 = -s*o. Suppose -4*q + o - 10 = 0. Solve 3*c + q = h, 2*c + 0*c + 4*h + 22 = 0 for c.
-3
Let u(t) be the first derivative of t**4/4 + 2*t**3/3 - 4*t**2 - 13*t + 4. Let p be u(-2). Solve 4*c - 40 = 4*k, 0 = -4*c - 0*c + p*k + 35 for c.
5
Suppose -4*u = -3 - 9. Let j(f) = -8*f**3 + 5*f**2 - 2. Let i be j(-2). Suppose 5*g - i*g + 308 = 0. Solve o + 2*p = -1, -g*p - 8 = -2*o - u*p for o.
3
Let m(z) = -z**2 - 15*z - 39. Let s be m(-10). Solve -w + s = -40*q + 42*q, 3*w = -q + 13 for q.
4
Let v = 0 - 0. Suppose -25*l = -12*l - 1703. Let u = -128 + l. Solve v = u*c + 3*h + 27, -2*c + c = 2*h + 13 for c.
-5
Suppose -8*w = -46 - 114. Suppose -4*n + 28 = 3*f - f, -w = -f - 5*n. Solve 0 = 4*l + 2*h + 12, 2*l + 3*h = -2*l - f for l.
-4
Let r(n) = 4*n + 140. Let m be ((-64)/(-16))/(4/(-34)). Let x be r(m). Solve -5*v + 8 = 33, -5*a + x*v + 35 = 0 for a.
3
Let h be -6 + (-4 - -6 - -24). Solve -w = 3*s - s + 11, 4*s + h = -4*w for s.
-6
Suppose h - 48 = -4*k, -3*h + 15 + 87 = -2*k. Solve h*f - 39*f + 2*o = 1, -4*f + 4*o = 0 for f.
-1
Suppose 3*h + 3*l - 135 = 0, 1 = -2*l + 3*l. Let b = -36 + h. Suppose -4*j + 0*j = -b. Solve -x - j*x - 4*t - 12 = 0, -3*t = -x - 4 for x.
-4
Let q be (6 + (-10 - -4))/(4 - 5). Solve n = 5*o + 3, q = -2*n + 7*o - 8*o - 5 for n.
-2
Let t be (-108)/(-26) + (-10)/65. Let h be 0 + (24/1)/3 + -4. Suppose -3*b + h = 4*g, -b - 8*g + 2 = -7*g. Solve 4*i + 4 = -t*y + 3*y, -5*y - b = 4*i for y.
0
Suppose 13 + 3 = 2*k. Suppose 4*v - k*v = -8. Solve 2 = -6*m + 3*m + v*z, 3*z - 2 = 4*m for m.
-2
Let h be 26/(-2340)*-36 + (6/10 - -1). Solve 5*k + o = -16, h*o = -2*k + 27 - 35 for k.
-3
Let z(p) = p + 3. Let m be z(3). Let b = -3859 + 3865. Suppose -m - b = 4*t, -5*s + t = -18. Solve -n + 4*v = -2, -s*n + 6*n = 2*v - 4 for n.
-2
Suppose -3*l = q - 0*q - 6, -3*l + q = 0. Let c = -7 - l. Let f be (0 - 3)/12*c. Solve -f*m - 12 - 6 = -3*a, 0 = 2*m + 4*a - 10 for m.
-3
Suppose 7 = -7*f + 63. Let v be (f + -6)*4 - -1. Solve -9*q - 19 = -5*q - 5*b, -v = -3*b for q.
-1
Suppose 5*x - 15 = -0*x. Suppose -110*r = -87*r - 69. Solve n + 5*i + x + 8 = 0, -5*n + 1 = -r*i for n.
-1
Let g = -11 + 17. Suppose j = 0, f + 25 = g*f - 5*j. Suppose o - 3 + 2 = 2*w, -5*w + f = 0. Solve -3*b = -o*i - 2*b - 10, -i + 4*b - 18 = 0 for i.
-2
Suppose -2*x = 3*v - 20, -5*x - 4*v + 32 = -4. Let f be (-2)/(-4) + (-2)/4. Suppose 5*p - 25 = -0. Solve f = x*r, -g + 3*r - p = 4*g for g.
-1
Let g be (85/15 - 5)*-27. Let z be 8/g*(3 - 45/6). Solve -4 = -2*j + 4*u, 4*j = 5*u - 2*u - z for j.
-2
Let l be 17 + -13 + 16/40*-5. Solve -7*i = -12*i - 2*y + 25, l*i - 4*y + 14 = 0 for i.
3
Let a = -5725 - -5729. Let h be (-4)/(-18) + (-160)/(-9). Solve -b = -0*b + 3, 3*s + a*b = -h for s.
-2
Let i = -354 + 359. Suppose -c - 4 - 16 = -5*u, -i*u = 3*c. Solve 8*z = 3*z - r + 3, -u = 4*z - r for z.
0
Suppose 169*p - 204*p = -140. Solve -16 = -5*o + p*q, -5*o - 18 = 4*q - 42 for o.
4
Suppose 4*b + 5*u = u + 8, 12 = -4*u. Suppose 9*g + b = 4*g, -5*z = 5*g - 60. Solve 3*p = 3*n - n - 8, 5*n - 4*p = z for n.
1
Suppose 5*r = r. Suppose 6*u - 8 - 16 = r. Suppose -47*k = -50*k. Solve -7 = u*w - v + 6, k = 5*w + 5*v + 35 for w.
-4
Let n(p) = -6*p**3 + 3*p**2 - 4*p + 4. Let q be 10/30 - (-10)/6. Let c be n(q). Let b = 53 + c. Solve 2*i + 3*h = -4 + 1, b = -5*i - 2*h for i.
-3
Let k be 16 - (-14)/(-28)*28. Solve 25 = k*f + 4*f - 5*v, -2*f + 20 = -4*v for f.
0
Let f(k) = 416*k - 828. Let g be f(2). Solve 2*m + 24 = -g*n, 0 = -42*n + 40*n - 8 for m.
-4
Let c(z) = -z**2 + 8*z - 5. Let j be c(7). Suppose -3*p - 3 = -j*n - 8, -2*p + 5*n + 7 = 0. Solve -3*d + l - 5*l = p, 5*l = 3*d - 35 for d.
5
Let u be (-2466)/(-270) + (-30)/225. Solve 0*t + t - i = 7, 3*i - u = -3*t for t.
5
Suppose 0 = -37*k + 2*k. Solve -13*b - 15 = 2*r - 12*b, k = 4*r + 4*b + 40 for r.
-5
Let m be 9/(-54) + (-13)/(-6). Suppose -6*u + 12*u - 1296 = 0. Suppose u = 28*j - 120. Solve m*x + 5*f - j = -2*x, f = 0 for x.
3
Let j be ((-627)/1089 + 3/(-33))/(2/(-6)). Solve 0 = b + 3*g + 11, -8 + 0 = j*g for b.
1
Let o = -53 + 91. Suppose 4*h - o = 3*f + 2*f, 20 = 2*h - 2*f. Suppose -10 = 4*z + 3*s - 29, 3 = 2*z - 5*s. Solve -t - 2*p + 3 = -0*p, -5*p = z*t - h for t.
3
Suppose 2*z = z + 4. Let s be 21/7 - -6*19. Suppose 3*h + 117 = s. Solve 3*j - 20 = -2*g, z*g + h*g - 36 = -5*j for j.
4
Let m be 4/(5/(-5)) + 3 + 1. Suppose 5*o + 20 = 4*z - 21, m = -o - 5. Solve 0 = 5*i - 5*v - 15, -z*i - 3*v + 15 + 4 = 0 for i.
4
Let d(j) = -j**2 - 38*j - 342. Let z be d(-20). Solve 2*r + z - 26 = 3*l, 0 = -l - 4 for r.
-2
Suppose -3*g = -5*u + 141, -5*u + 147 = 2*g - 3*g. Solve 3*y = -u*f + 35*f + 8, 5 = -2*f + 3*y for f.
-1
Suppose -7 - 5 = -4*z. Suppose 2*h = z*p + 3 + 1, 0 = p + 5*h - 27. Suppose 6*u - 78 = -18*r + 15*r, 55 = 5*u. Solve -3*y - t = -r, -p*y + t = -2*t - 10 for y.
2
Let p = 6492 - 6467. Solve 4*j - 3*c = 23, -3*c - 18 = -p*j + 22*j for j.
5
Suppose 5*t - 112 = 4*a, 0*a + 4*a = -5*t + 88. Suppose 2 = 2*h + 4*p - t, 3*h + 11 = 5*p. Solve -5*w = -h*n, -3*w + n + 7 = w for w.
3
Let p(z) = -4*z + 75. Let u be p(20). Let o be u/(-90)*94 + (-2)/9. Solve c - 8 = -o*a, -c = 2*a - 6*c - 14 for a.
2
Suppose -3*f + f - 10 = 0, f + 25 = -b. Let p = b - -24. Suppose -2*q + 4*h = -p*q + 12, 12 = 5*q + 4*h. Solve 0 = c - q*c + 3*x - 13, 0 = -c - 5*x + 23 for c.
-2
Suppose 220 = 2*m + 20*m. Suppose 31 = 3*l - 5*q, m*l - 15*l + q + 15 = 0. Solve -5*w = -v - 3 - 7, -5*v = w - l for v.
0
Let d(o) = 14*o - 22. Let x be d(2). Suppose 5*s = 3*b - b + 21, 0 = 3*s + 4*b + 3. Suppose 0 = -0*r + s*r - 45. Solve x*v + r = v - 2*l, 5*l = 2*v + 6 for v.
-3
Let m = -33057 + 33079. Solve -5*b + 3*t - m = 0, -29 + 45 = -4*b + 2*t for b.
-2
Let o(h) = -h**2 - 2*h + 10. Let c be o(3). Let w be ((-1224)/c)/3 + (-30)/(-75). Let d = -78 + w. Solve 0 = 5*y + 3*q - q + 17, 0 = d*q - 16 for y.
-5
Let r(s) = -s**2 - 210*s + 10. Let w be r(0). Solve 2*o = -2*m + w, 5*o - 3*m + 8 = 33 for o.
5
Suppose 20*f = f - 133. Let w be ((-9)/f)/((-45)/(-210)) + -1. Solve 0 = 2*j - y + 1, y - 30 = -w*j - 3*y for j.
2
Let m = 88 + -78. Let p = 250 + m. Let y be (-40)/p + (-82)/(-26) + 1. Solve -3*f = 3*o - y*o - 7, 4*o - 5 = f for o.
2
Suppose -17 + 23 = 2*a. Let y be a/12*(-4 + 2)*-8. Suppose -21 = y*b - 11*b. Solve b = -4*j + 2*v + v, -4*v = -4*j for j.
-3
Suppose -18*c - 69 = 12*c - 219. Solve 2*n + 0 = c*t - 9, -n + 15 = 4*t for t.
3
Let u = 17 - 17. Let i(a) = a**3 + 2*a + 6. Let r be i(u). Suppose 10*j = r*j + 20. Solve -2 = h - g, 4*g - 6 = j*h + 3*g for h.
-1
Let v be (8/(-42))/((-1324)/97314). Solve 3*s = -a - v, 6*a - s = 7*a + 8 for a.
-5
Suppose -7 = -2*m - d, 653*m - d - 9 = 651*m. Solve 3*a - m*q + 2*q = 9, -5*q = -2*a + 17 for a.
1
Suppose -3*b - b = -5*v + 87, 0 = -v - 4*b + 3. Let q be (5*34/v)/((-2)/(-3)). Solve -4*m + 2 = -3*m - 2*w, -4*m - w + q = 0 for m.
4
Let i be 7 - (105/30 + -6)/((-5)/8). Solve -5*j + i*s = -27 - 8, 3*j - 2 = -2*s for j.
4
Suppose 0 = -16*g + 8*g - 56. Let u(x) = x**3 + 5*x**2 - 11*x + 24. Let f be u(g). Solve h - f*c + 3 = -c, -5*h - 7 = -2*c for h.
-1
Let r(p) = -9*p + 45. Let a be r(5). Let h be a + 4 + 19/(-19). Solve 6 = 5*l - 4*g, -l + h*g + 1 = -9 for l.
-2
Let c be (-27)/(-12) + 4/16 - (-33)/22. Suppose -2*r - 3*r = -15. Solve -c*u + a = -r, -3*u = 5*a - a - 7 for u.
1
Let v(q) = -2*q**3 - 7*q**2 - 8*q - 11. Let o be (-2)/4*12 + 1*3. Let r be v(o). Solve 0*a = -a + i + r, a + 5*i + 20 = 0 for a.
0
Suppose -252 = -3*v - 5*x, 3*v - 358 = 2*x - 106. Let l be v/60 + 16/10. Suppose 3*g - 4 = 11. Solve 0*f - l*f = -4*m + 8, 0 = -5*m - g for f.
-4
Let x be (-8)/6*3/(-1). Let g = 44 + 83. Suppose -128*w = -g*w - 2. Solve 0 = x*q - w*q + 3*c + 5, -4*q + 14 = -2*c for q.
2
Let u = 156 - 108. Suppose 3*g = 4*m - u, m = -g + 28 - 9. Solve -7*d + 2*d = 5*t + m, 0 = 5*t - 4*d - 21 for t.
1
Let z(x) = -x**3 - 9*x**2 + 202*x + 2047. Let q be z(-11). Solve 24 = -t - q*o + 72*o, -5*o + 22 = -3*t for t.
1
Let n(m) be the first derivative of 4*m**3/3 - 12*m**2 - 6*m - 26. Let p be n(7). Solve b + 4*a = 3*b - p, -5*b + 22 = a for b.
5
Let y = -535 - -537. Let d