 -4 + a for h.
-4
Let d = -139460 - -139463. Let c(k) = -2*k - 1. Let u be c(-1). Let n be 7 + (-2*u - -1). Solve -d*l + l = n for l.
-3
Suppose 0 = -4*w - r + 198, 5*w + 20*r - 19*r = 247. Suppose -21*a = -154 + w. Solve -a*j - 22 - 3 = 0 for j.
-5
Suppose 5*u = -30, 3*y - 15 - 9 = u. Solve 7*k + y = 9*k for k.
3
Let y(v) = -v**3 + 8*v**2 + v - 8. Let k be y(8). Let j(w) = w - 6*w + 2*w - 11 + k*w. Let m be j(-5). Solve m*z = 3*z for z.
0
Suppose 0*h + g = -2*h + 16, 0 = h + 5*g - 8. Let n(b) = -6*b + b**2 - 12 + 13*b - 11*b. Let k be n(6). Solve 0 = 4*f - k*f + h for f.
-2
Let b = 5313 - 5275. Solve -b*o + 13*o - 200 = 0 for o.
-8
Let f(z) = -13*z - 44. Let u be f(-4). Suppose 2*g - 2 + u = -5*l, -4 = l. Solve 0 = 2*m + g - 3 for m.
-2
Let m(s) = -4*s**2 - 193*s - 145. Let r be m(-47). Solve 10*y + r = -20*y for y.
-3
Suppose -6*w = 2 - 62. Let u be (-12)/((-9)/(-6) - 0). Let h = u + w. Solve h*d = -d for d.
0
Suppose 2*q - 10 = -3*q, 23 = 3*h + q. Let y be (-127)/h - 1/(-7). Let p = y + 21. Solve 0 = -5*k - p - 7 for k.
-2
Suppose 0 = 7*j - 12*j + 5*l + 35, -5*j - 2*l = -42. Solve -j*b = -21 - 3 for b.
3
Suppose -2*a + 5*v - 6 = 3, -4*v + 6 = -2*a. Suppose 1 = -j + y, 10 = -y + a*y. Let p be (j/1)/(6 - 4). Solve -4*x - 2 = p for x.
-1
Suppose -1350 = -83*f - 7*f. Solve 13 = 4*o - f for o.
7
Suppose 2*k = 6 - 2. Let s be (56 + -56)/(3*8). Solve -k*u = -s*u for u.
0
Let m be (-100)/3*(-12)/5. Suppose 17*w - m = -3*w. Solve -3*k + w - 1 = 0 for k.
1
Suppose 26*b - 22*b = -15*b + 1064. Solve -b*a = -2 - 166 for a.
3
Suppose -5*t + 20 = 0, 4*k - 4*t = k + 77. Suppose -21 + k = 5*p. Suppose -4*w - 8 = -0*w + 2*s, 3*w - 4*s = 16. Solve p*z - 10 = -w*z for z.
5
Let a(z) = -z**3 - z**2 + 2*z + 3. Let v be a(-2). Suppose 5*t - 1840 = 5*r, 0*r + 2*t = r + 372. Let f = r - -366. Solve 0 = -v*o + o + f for o.
1
Let c be 38 + -40 + 9*3. Solve -3*x + 37 = c for x.
4
Suppose 5*p = -2*m - 0*m - 13, -3*p + 5*m = -17. Let o be (-6 - -16)*(0 + p). Let v = 13 + o. Solve 5 = b + v for b.
2
Suppose 3*r = -102*r. Solve 3*w + 138 - 129 = r for w.
-3
Suppose -84*i + 9*i + 2025 = 0. Solve -i*x = -24*x + 18 for x.
-6
Let f(g) = g**3 + 11*g**2 + 12*g + 23. Let c be f(-10). Suppose -199 - 68 = c*h. Let b = h + 91. Solve -b*d = -4*d - 2 for d.
-1
Let o be 4/(-6)*(7 + 747/(-18)). Suppose 4*m + 18 = -q + 14, -5*m - o = -q. Solve 5*k = q*k + 15 for k.
-5
Let i be 3/6*12/(-3). Let z be (i/(-4))/(12/1728). Let m = -69 + z. Solve -k + 10 = -m*k for k.
-5
Suppose -8*z = -12*z + 68. Suppose 0 = -10*u + z*u - 98. Solve u*r - 2 = 15*r for r.
-2
Suppose 0 = -2*u - 5*w + 213, 2*u + 217 = 4*u + w. Suppose -u = -21*m + 206. Suppose 5*j + 5*k = 10, -j - 2 = 2*k + k. Solve j*o - 7*o = m for o.
-5
Let y = -1368 + 1361. Suppose -5*t = -4*b + 51, 3*b - 4*b = -5*t - 54. Let m = y - t. Solve v + 25 = -m*v for v.
-5
Suppose 0 = -0*l + l - 6. Let o = 478 + -280. Let m be (-44)/o*18/(-1). Solve -c + l = -m*c for c.
-2
Suppose -50 = -59*f + 54*f. Suppose -2*s + 4*j + 8 = 0, s + 7*j = f*j + 6. Solve 7*p - 12*p = s for p.
0
Let u be (5 - 2) + -1 - 1. Suppose -4 = 3*c + 3*i - 31, -i = -2. Suppose 0 = 11*z - c*z. Solve -m - u + 2 = z for m.
1
Suppose -v = -2*w - 2, -19*v - 4*w - 8 = -22*v. Suppose 4*f + 52 = 4*h, -13 = -0*h - h - f. Solve -v*q + 18 = -h*q for q.
-2
Let x be (-4 + -2)*(-2)/4. Suppose -3 = -3*b + x. Suppose -2*w + 5*w - b*l = 36, -4*l = 0. Solve -q = 2*q + w for q.
-4
Let o = 10802 + -10795. Solve 14*x = o*x - 35 for x.
-5
Let a = -272 + 155. Let s = a - -117. Solve 8*z - 4*z = s for z.
0
Suppose 241*k = -878*k - 295*k + 1414. Suppose 5*u = -2*s + 35, -3*u - s + 24 = 2. Solve -k = u*l - 19 for l.
2
Let z = 12228 - 12204. Solve -71*o = -65*o + z for o.
-4
Suppose 2*g = g + 4*z + 16, 0 = -z + 1. Suppose 0 = 5*i - g. Suppose 9*d - 5*d = 8. Solve -i*j - 4 = -d*j for j.
-2
Let v = -2 + 10. Suppose -92 + 48 = -10*o - o. Solve o = 6*w - v for w.
2
Let c(r) = 792*r**2 - 9*r + 6. Let t be c(1). Let u = t + -782. Solve u*j - 25 = 2*j for j.
5
Let s(i) = 3*i - 21. Let g be s(7). Let r be 4 + (-3 - g - -4)*-1. Suppose -l - 17 = -2*j, 6*l + 8 = -2*j + 2*l. Solve -r*t + 12 = -j*t for t.
-4
Suppose 0 = 2*f + 3*h - 27, -3*f + 4*f - 12 = -h. Let y = f + 15. Solve -y = -5*r - 4 for r.
4
Let v = -13119 + 13539. Solve -385 = -7*b - v for b.
-5
Suppose -4*v - 4*g - g = -19, 4*g + 10 = v. Suppose v = -3*c + 6*c. Solve m = 2*m + c for m.
-2
Let h be 14/(-4)*2/(-7). Let b(y) = -3*y**2 + 4*y**2 - 8*y - h + 12 + 14*y. Let c be b(-5). Solve -l - 2*l = -c for l.
2
Suppose 4*y + 20 = -2*l, 4*l = 20*y - 19*y + 5. Suppose u = -4*u + 700. Let c be ((-3)/(-2))/(21/u). Solve 5*b = -l*b - c for b.
-2
Let o(k) be the first derivative of -k**3/3 + 10*k**2 + 26*k + 152. Let m be o(21). Solve 0*w = w + m for w.
-5
Let r be 268/(-4) - (30 - 35). Let t = 3 + -59. Let o = t - r. Solve 7*a - 2 = o*a for a.
2
Let f(y) = -y**3 + 17*y**2 + 52*y - 596. Let l be f(18). Solve -2 = -l*v + 46 for v.
3
Let g(n) = n**3 - 6*n**2 - 78*n - 36. Let v be g(-6). Solve -14*m + 10 + 4 = v for m.
1
Suppose 201 = 5*p - 3*l, 4*l + 6 = 18. Solve 2*c - p = 16*c for c.
-3
Let r be ((-2064)/(-10))/6 - 2/5. Let p(h) = h - r + 53 - 34. Let x be p(18). Solve 0 = -2*z + z + x for z.
3
Suppose -31*m + 418 - 46 = 0. Solve m = 75*k - 72*k for k.
4
Let k = -112 + 112. Suppose k*d = -20*d + 120. Solve -13 - 11 = -d*p for p.
4
Let l(w) = -w**3 - 16*w**2 - 182*w - 2465. Let d be l(-15). Suppose 0 = -5*t - 3*z + z + 44, -26 = -3*t - z. Solve 0 = t*i - d + 8 for i.
4
Suppose 65*r - 70*r = -50. Solve -7 = r*n + 43 for n.
-5
Let m be (-603)/(-21) + 3 - 6/(-21). Let i(j) = j**3 + 2*j - 16. Let h be i(0). Let g = m + h. Solve -y = -5*y + g for y.
4
Suppose -m + 9*i - 6*i + 5 = 0, 2*m - 2 = -2*i. Suppose -l + 0*l = 5*g - 20, m*g = 8. Solve -c - 3 + l = 0 for c.
-3
Let y be 860/(-3)*(-12)/10. Suppose -y*a = -341*a. Solve -4*k - 4 = -a for k.
-1
Let p be ((90/5)/(-9))/((-2)/3). Let b be p/(2 + 4 + -3). Solve b - 13 = 3*q for q.
-4
Let q(i) = i**3 + 66*i**2 - 78*i - 728. Let j be q(-67). Solve -j*y + 53*y + 264 = 0 for y.
-6
Let j be ((-6)/(-3) + -5)*(-6)/9. Let g(v) = 10 + j*v - 11 + 33. Let d be g(-16). Solve -t + d*t - 5 = 0 for t.
-5
Let q(p) = -5*p**3 - 4*p**2 + 9*p - 27. Let l be q(-5). Let u = -428 + l. Solve u = -3*v + 13 for v.
-4
Let y be (-76)/(-14) - (-20)/35. Suppose -l - 104 = 4*w, -y*w + w = 4*l + 141. Let g = w - -26. Solve v = g - 0 for v.
1
Suppose -12*u - 4*r = -10*u + 102, u = 2*r - 35. Suppose -2*a = 2*a - 16, 4*a + 42 = -v. Let t = u - v. Solve 12*k = t*k for k.
0
Suppose 0 = -2*n - 2, -5 - 6 = -o + 5*n. Suppose 84 = 18*w - o. Solve w*d = -0*d - 25 for d.
-5
Let i = -16322 + 16370. Solve i*f = 33*f - 15*f for f.
0
Let o(r) = 5*r + 112. Let c = -716 - -694. Let q be o(c). Solve 0 = -3*k + q*k - 2 for k.
-2
Suppose -g - 2 = -8. Suppose -3*q = a - 9, q - 1 = -a + g*q. Let h = a - 6. Solve 4*p - 16 - 4 = h for p.
5
Suppose 820 + 1688 = 33*v. Solve -67*s + 18 = -v*s for s.
-2
Let l be (-258)/(-54) - 8/(-36). Suppose m + 3 = 0, 34 = l*c - 4*m + 12. Solve -2 = -c*x + 3*x for x.
-2
Let f = -229 + -400. Let u = f - -638. Solve -7 + u = -2*x for x.
-1
Let f(a) be the first derivative of 12*a**2 - 165*a + 30. Let y be f(7). Solve -4*p - 1 - y = 0 for p.
-1
Let x(g) = 103*g + 55. Let f be x(-6). Let i = f - -567. Solve -9*t + 10*t - i = 0 for t.
4
Suppose 0*m - 4*m + 4*c + 28 = 0, -4*c - 19 = -3*m. Let i be 27/m*4/3. Suppose 0 = u - 5*u + i. Solve -u = -3*y - 7 for y.
-2
Suppose 0 = 2*o - 4*y - 132, 3*o = 4*y - 11 + 201. Solve o*q - 20 = 63*q for q.
-4
Let u be (-5 + 41)*(24/(-96) + 31/12). Solve 5*l - 19*l + u = 0 for l.
6
Let f(o) = -3*o**3 + 10*o**2 + 19*o - 3. Let u be f(-2). Solve 28*r = u*r - 30 for r.
-6
Let k be (-39)/(-12) + ((-5)/4 - -1). Suppose -k*g - 4*y + 340 = 0, g + 2*y = -3*y + 128. Suppose 128 - g = 4*v. Solve -2*o + v*o + 12 = 0 for o.
-4
Suppose 0 = -2*c - 4*r - 332, -10*c + 12*c - 3*r + 318 = 0. Let z be -2 - (c/6)/3. Solve 0 = -z*y + 10*y + 12 for y.
-4
Suppose -5*d + 2*m - 828 = 0, 472 = -2*d - d - 5*m. Let a be (6/4)/((-123)/d). Solve a = -3*l + 14 for l.
4
Let w(v) be the second derivative of 15*v + 14*v**2 - 7/6*v**3 + 0. Let a be w(4). Solve a = 2*c - 3 - 7 for c.
5
Let k be 2/(-4) - 35/(-10). Suppose -99 = -3*s - 2*n, -k*n + 0*n 