 0, g*u + 5*i + 16 = 1 for u.
1
Let f(s) = -2*s**3 - 30*s**2 - 3*s - 40. Let j = -26 + 11. Let v be f(j). Solve 4*n = 2*n - v*m + 1, 0 = 2*m - 2 for n.
-2
Let b be (13 + -4)*(15/9)/5. Suppose 3*a - r - 6 = 0, b*a + 4*r = 24 - 3. Solve a*w + w + j = -4, -2*w + 4*j = -16 for w.
0
Let b = -29 + 31. Suppose b*t = -11 + 15. Suppose -4*o - 5*p - 9 = 0, 3*o + 2*p - 5 = -3. Solve 3*r + o*u = -35, -2*r - t*u = -4*r for r.
-5
Let s(f) = f**3 - f**2 - 2*f + 3. Let y be s(3). Suppose -101 = y*p + 199. Let j be p/(-12)*3 - (-2)/(-1). Solve -4*z - 4*c + 9 = -j, -z + 6 = -2*c for z.
4
Suppose 134 = 84*u - 155 + 37. Solve -3*o = -u, 28*o + 2 = -3*m + 33*o for m.
1
Let l(g) = -g**3 - 4*g**2 + 46*g + 23. Let a be l(-9). Solve 4*o - 2*r - r - a = 0, -4*o - r = -6 for o.
2
Suppose 19*k - 3045 = 223. Let u = 174 - k. Solve -6 = -x - s, -2*x - 2*s + 18 = u*s for x.
3
Let j(w) = w**3 - 22*w**2 + 4. Let z be (4 - (-150)/8) + 12/(-16). Let r be j(z). Solve -1 = -o + 5*k + 2, -o = r*k + 6 for o.
-2
Let t(g) = -5*g + 105. Let p be t(18). Suppose -4*l + p = l + d, 0 = -2*d. Let j(y) = -4*y - 3. Let m be j(-3). Solve -3*r - m = 0, 0*f + l*r = -f - 13 for f.
-4
Let m(g) = 45*g + 48. Let j be m(-1). Solve -1 = -z - q, z + j*z - 5 = -3*q for z.
2
Suppose 13*n = 14*n - 3. Let l be 56/12*n - 5. Suppose l = 3*g - 3*v, g - 4*v = 5*g - 28. Solve -o + 8 = -3*d - 0*o, -2*d - 14 = -g*o for d.
-2
Suppose 10*r = -4*r + 28. Let x be r + (12 - 2)/((-3)/(-3)). Solve y = f, 0*y = 3*f + y + x for f.
-3
Let v = -37 + 37. Let n be (2 - v)*14*(-3)/(-12). Suppose -s - n*s + 16 = 0. Solve -3*c = -5*m - 2*c - 6, -s*m + 2*c - 4 = 0 for m.
-1
Let c be (-3)/(-2)*(-1254)/171. Let k(w) = 12*w + 134. Let d be k(c). Solve d*q - 12 = -q + 5*l, -5 = -4*q + 3*l for q.
-1
Let t be -4 + 4 - ((-30)/5 + -5). Suppose 4*u - t = n, u - 3*n = 6 + 5. Solve d + u*c = 7, -6*d + 2*c = -d - 23 for d.
5
Suppose -5*k + 226 = 4*g, -3*g + 2*k - 6*k = -169. Let q = -43 + g. Solve 3*i - q = -t - 3*t, t - 4 = 3*i for i.
0
Let g = -31581 - -31583. Solve 3*d = -3*m - g*d - 18, 38 = 5*m - 3*d for m.
4
Suppose 0 = 10*j - j - 126. Suppose 2*n = -2, n = z - 2*n - 7. Solve 0 = 4*k - 3*k + 5*v - j, z*v = 12 for k.
-1
Let s = -97 - -147. Suppose 0 = -s*c + 45*c + 20. Suppose 4*m = 2*q + 14, -q = -c*q - 3. Solve m*w - 11 = 4*j, w = 3 + 2 for j.
1
Let m(n) = -n**2 + 10*n + 24. Suppose 2*h - 44 = 5*y, 5*h + y = -6 + 62. Let j be m(h). Solve j = 5*t - 5*w, -w + 5 = -3*t + w for t.
-5
Let q = -66 + 77. Suppose 10*s - q = -1. Solve 2 = 4*i - u, 4*i + s = 4*u - 3 for i.
1
Suppose 2*m + 19 = 3*b, 3*b - 10 - 1 = 4*m. Let w = 11 + -5. Let p = b - w. Solve -3*i - p*f = -6*f - 15, 4*i + f - 20 = 0 for i.
5
Let c(l) = -248*l + 2745. Let d be c(11). Solve 19*s - 2*h = d*s - 8, -6 = -h for s.
2
Let c(n) = -2*n - 2. Let t(l) = -l**2 - 3*l + 2. Let x be t(1). Let m be c(x). Solve -5*h = -2*r - 3, r - m*r - 2*h - 6 = 0 for r.
-4
Suppose 147*s - 884 - 289 = 96*s. Solve -x = 2*c - 1, s = 3*x + 3*c - 7*c for x.
5
Let q(f) = 27*f - 783. Let r be q(30). Solve 7 = -4*o - c + r, -c = -o for o.
4
Let g be 2/(20/(-105))*-2. Suppose -14*k = -g*k + 7. Let b(s) = 6*s**2 - 6*s + 2. Let a be b(k). Solve -4*u - 4*f = 32, 2*f = -a*f - 20 for u.
-3
Let p(o) = 17*o + 108. Let b be p(-6). Let z be 16/9 - (-2)/9. Let y be z*-1 - (b - 20). Solve 4 = -f + s, 5*s = 3*f - 0*s + y for f.
-4
Let m = 11267 - 11260. Solve 3*k = i + m, -k + 9 = -i + 2*i for k.
4
Suppose -4*q = -150*m + 151*m - 53, 0 = q - 3*m - 36. Let d(l) = l**2 + 3*l - 3. Let i be d(-4). Solve -q = -f - 4*w, -f + 2*w = i + 2 for f.
3
Let w = -15549 - -15566. Solve -3*s - 3*g - w = -8, 0 = 5*s + 4*g + 16 for s.
-4
Let s be 17 - (832/(-96))/(2/(-3)). Suppose -4*l = 28 - 4. Let o = -4 - l. Solve -20 = 2*r + o*h, -44 = 5*r + 3*h - s for r.
-5
Suppose -2*b = -1 - 5. Suppose 4*n - b*s = -111, -6*n - 2*s - 62 = -3*n. Let x be 9/n + (-15)/(-40). Solve 0*w + 3*w + q - 5 = x, 0 = -5*w - 2*q + 8 for w.
2
Let m(d) = -d**2 - 22*d + 11. Let w = 94 - 117. Let t be m(w). Let s = t + 17. Solve -2*k = -s*c + k + 18, -5*c = -k - 16 for c.
3
Let o = 175 - 170. Let n be 4 + (9 - 3) + -3 + o. Solve -2*c + 4*c + 4*i = 6, -n = -4*c + i for c.
3
Suppose 2*s - 12 = -3*l, 0*s + 4*s - 6 = 3*l. Suppose 7*y = 3*y, -j - 4 = -l*y. Let x be j/(-3)*(0 + 5 + -2). Solve x*n = 3*q + 17, -2*q - 3 = -2*n + n for n.
5
Suppose 4*r - 3*g = 29, -5*g + 8*g + 24 = 3*r. Solve 24 = r*h + 3*f, -h + 5*f = -0*h + 12 for h.
3
Suppose p - 4 = -3*h + 29, -69 = -5*h + 3*p. Suppose -16*v = -h*v. Suppose v = -2*t + 14 - 4. Solve -3*d - 5*z - 11 = 0, z - 1 + 12 = -t*d for d.
-2
Suppose -380*a = -382*a + 44. Suppose a = 5*s - 24*v + 21*v, -30 = -5*s + 5*v. Solve -g + 0*g = 2*z - 9, 2*z + s*g - 10 = 0 for z.
4
Suppose 2*l - 5*j - 3 = l, 2*l + 3*j = -33. Let s be (-42)/l + (-6)/(-4). Solve -5*v - s = 2*w, -5*v - 6 = -w - 1 for v.
-1
Let p = -35483 - -35514. Solve -32*o + p*o + 9 = 3*t, 0 = -5*t + 3*o + 1 for t.
2
Let x = 3038 + -3031. Solve -u + x - 12 = -3*h, -5*u + h + 3 = 0 for u.
1
Suppose r + 4*w - 326 = 0, 4*w + 1924 = 4*r + 580. Suppose -2*n + 346 = r. Solve 0 = -2*j - 4*l - n, 7*l - 2*l = -2*j - 5 for j.
-5
Let z = -2510 + 2517. Solve -5*q + 4*y + 20 = -z*q, 0 = -3*q - 5*y - 28 for q.
-6
Let r be (-295)/10*((-5)/1 + 1). Let g be (3 - 0)/3 - 114. Let o = r + g. Solve 3*c + o*a - 4 = 0, -c + 0*a - 3*a = -4 for c.
-2
Let g = -571 - -573. Suppose 3*l + 2*l = g*k + 22, 5*l = 3*k + 23. Solve l*v = -3*p + 3, 5*v + 2*p - 6 = -p for v.
3
Let w(c) = 4*c**2 + 1. Let z(d) = -5*d**2 - 2. Let v(y) = -4*w(y) - 3*z(y). Let k be v(2). Let u = 2 + k. Solve -3*b - 9 = -u*n + n, -n + 2*b + 11 = 0 for n.
3
Suppose -16*c - 36 = -7*c. Let n be -1 - 5 - c - -2. Suppose 0*t - t = n. Solve t = -2*p + 2*u - 8, -3*p - 12 = 3*u - 0*u for p.
-4
Let t(q) = 6*q + q**2 - 2227 + 1118 + 1117. Suppose 4*g + 2*i + 12 = 0, -g - 4*i + 1 = -10. Let j be t(g). Solve 4*v = -4*r + 8, 4*r - 17 = j*v - 2 for r.
3
Suppose -60*a - 96 = -84*a. Solve a*c - u - 26 = 0, -6*u - 18 = -3*u for c.
5
Let n be (12 + -19)*((-180)/42)/5. Solve -2*j + m = -n, 0 = 6*m - 2*m - 8 for j.
4
Suppose -40*x - 19 = -339. Solve -4*w + j + 4 = -x, -4*j = -w + 3 for w.
3
Suppose -j = -10*j + 81. Suppose -2*h = -5 + j. Let g be ((-10)/3)/(h/18). Solve 24 = i - 4*f, 3*i = -2*i + 2*f + g for i.
4
Let n be (-6)/(1 + -4) - -1. Let q = -68 - -110. Let z = 44 - q. Solve 0 = -z*h + 3*a - 15, -n*h = h + a + 9 for h.
-3
Let d = 441 - 439. Let f be d/(-17) + (-261)/(-51). Solve -r + f = q, -3*q + 7 = -r - 0*q for r.
2
Let a(d) = -d**3 + 11*d**2 - 3. Let v be a(11). Let x be 218/(((-10)/15)/(v/(-9))). Let c = x - -114. Solve -c*q - 15 = 3*r - 4*r, 29 = -5*r - q for r.
-5
Let s be 6/(-9)*9/(-6)*5. Suppose 2*f + 46 = -3*j, 2*j - 7*j + 165 = -s*f. Let w = f - -34. Solve -w*o - 5*t - 35 = 0, 4*o - 2*t + 4*t = -24 for o.
-5
Let o(q) be the first derivative of q**4/4 - 4*q**3 + 5*q**2 + 16*q + 197. Let j be o(11). Solve 2*n - j*y + y = -6, -3*y = 2*n + 13 for n.
-5
Let d(a) = -a**3 + 3*a**2 + 12*a - 4. Suppose 5*j = 4*y, 3*j = -2*y + 9 + 13. Let b be d(y). Solve -f - n - b = 0, 9 - 36 = 2*f + 5*n for f.
-1
Let w be -3 + 13/(26/4). Let h(j) = j + 5. Let o be h(w). Solve 10*u - 5*u = -o*z + 7, 3*u - 3 = -2*z for u.
-1
Suppose 2*q = 28 - 20. Let k be (-5)/(-1) - (-2 - -14)/q. Solve 3*n - 6*m - 14 = -5*m, -5*m = -k*n + 5 for n.
5
Suppose -115 = 7483*a - 7506*a. Solve -a*l = 3*g - 4 + 32, -5*g = -4*l - 15 for g.
-1
Let n = -35 + 49. Suppose 4*d - 8 - 6 = -3*g, 3*d - n = -4*g. Suppose -3*s + 4 = -2. Solve 10 = q + 5*y, y - d = -0*q + s*q for q.
0
Let t be (4 + -7 - -3)/2. Suppose 0 = d - 3*d - r + 10, -d + 2*r = t. Let x be ((-5)/10*2)/(2/(-8)). Solve -5*l + 6 = -d*a, -l + x*l - a = 5 for l.
2
Let b = -3225 - -3228. Solve 2*n = -b*y - 3, -n = -11*y + 14*y for y.
1
Let m(o) = -o**3 - 88*o**2 + 178*o - 180. Let z be m(-90). Solve z = -3*y - 4*s, 0 = y - 36*s + 40*s + 8 for y.
4
Let x = 19728 - 19419. Solve 20 = 4*w - 4*o, -5 = -w - x*o + 306*o for w.
5
Suppose 60 = 6*q - q + 4*v, -v = -5. Let b be 5/20 + 38/q. Solve 2*a - 5*a + 1 = h, 5*a = -b for h.
4
Let f = 15056 + -15056. Solve 2*u - 4*d + 6 = f, 6*d + 2 = 8*d for u.
-1
Let l(y) = -y + 10. Let w be l(7). Suppose 3*m + r - 8 = 0, 5*r - 4 - 6 = -5*m. Suppose m*u - 6 = -w. Solve j - 24 = 4*c, -2*j + 1