h + 1 = 2*n for n.
-1
Suppose 0 = -2*g + 74 - 48. Let p(w) = -w**2 + 9*w + 55. Let f be p(g). Solve -r + o - 2*o = 0, -f*r + o = -12 for r.
3
Suppose -109 + 56 = -g - 4*m, 2*g + 5*m = 109. Suppose -47*k + g*k = 320. Solve -3*w + 16 = f, k = f + 3*f + 4*w for f.
4
Suppose 11 = 3*t + 5*w, -9*t = w - 27 + 8. Solve 5*u = 2*b + t, -3*b + 0*b - u + 14 = 0 for b.
4
Let r(y) = -2*y**2 + 17*y + 33. Let h be r(10). Let q be 6 + h/3*-1. Solve -s + 2*a = -7, 5 = q*s - 7*a + 3*a for s.
-3
Suppose 0 = 7*k - 17 + 3. Suppose -2*u + 29 = 5*h, 3*u + 4*h = k*h + 16. Solve u*b + b + p - 5 = 0, -2*b + 5 = p for b.
0
Let p = -225 + -80. Let w = -300 - p. Solve -4*z - 12 = -3*m, 2*m - 8 = -w*z + z for m.
4
Suppose -432 = -919*i + 4163. Let d(p) = p**3 + 4*p**2 + 2*p - 1. Let m be d(-3). Solve 0 = 5*v - m*a + 14, 4*v - 2*a + 2 = -i*a for v.
-2
Suppose 53 = -3*u + 5*u - 3*h, 2*u = 2*h + 52. Solve -5*o = -4*t - 36, 0 = -4*o - u*t + 23*t + 8 for o.
4
Let a = -137 + 254. Let v(f) = 4*f**2 - f + 4*f - a*f**3 + 116*f**3. Let z be v(-1). Solve -m - 4*x + 2 - 1 = 0, -x - 11 = -z*m for m.
5
Let r = -10 + 10. Let d be ((-1)/(-1) + -7)*-1. Suppose -7*g + d*g + 4 = 0. Solve -h + 4*p + 7 = r, 8 = -g*h - 4*p + 2*p for h.
-1
Let l be 2/(-9) + (-40)/(-18). Let b be (-12 - -15)/((-135)/60 - -3). Solve -5*v + l*i + i = -15, b*v = -i - 5 for v.
0
Let k be (64/40)/(2/10). Solve 0 = 4*x + 2*r + 12, -x - 2*r - 5 = -k for x.
-5
Let q be (-8)/10 + ((-21)/3)/35. Let l be 6 - ((1 - q) + 1). Solve -4*c + 0*b - b = 0, 5*c = -l*b for c.
0
Let m(t) = -11*t - 622. Let v be m(-58). Solve -4*s = -2*l + v, 4*s = -4*l - 26 - 2 for l.
-2
Suppose 416 = 63*x - 1159. Solve 2*d - 2*c + 9 = -7, x = -5*d + 2*c for d.
-3
Suppose 5*f - 4*f - 6 = 0. Suppose 0 = -f*i - 118 + 142. Solve 3*k + 1 = 2*d, k + i*d - 5 = 4*k for k.
1
Let n = -447 + 437. Let p be n/6 + 14/3. Solve p*v - 25 = 5*k - 3, 0 = -2*v + 8 for k.
-2
Let w = -14606 + 14613. Solve -3*v - i = -8, -4*v = -i - w - 6 for v.
3
Suppose -516 = 13*p - 17*p. Let u = 132 - p. Solve -u*d - 24 = -4*z, -5*z - 3*d + 0 + 3 = 0 for z.
3
Let y(v) be the first derivative of v**3/3 + 7*v**2 + 35*v + 31. Let x be y(-3). Solve -4*a - 5 = 5*r, x*r + 4*a + 4 = -2*r for r.
-1
Let l = -37 + 27. Let c be 12/l*(49/(-7) + 2). Solve 0 = 5*g - 2*b + 2, -5*g - 12 = 2*b + c for g.
-2
Let m(j) = -3*j**2 + 65*j + 24. Let s be m(22). Solve -5*n + 0*i = -i - 21, 2*n - s*i = 2 for n.
5
Let x be 140/(-6)*27/(-6). Suppose 2*c - 133 + x = 0. Solve 5*n + v + 7 = n, 2*n - c = -4*v for n.
-3
Let o be (-285)/(-76) - (-1 - (-49)/28). Solve 5*g - q = 9 - 1, 2*g + 2 = o*q for g.
2
Suppose 142 - 47 = 5*y. Suppose -y*z + 21 = -12*z. Solve -z*h = f - 7, -8*h = f - 3*h - 11 for f.
1
Suppose -45 = -h - 27. Suppose h = 10*b + 8. Solve -a - 2*y = -2, -2*y = 4*a + 3 + b for a.
-2
Suppose 6*z = 113 + 49. Suppose -z*s - 10*s = -222. Solve -4*g - 8 + 0 = 3*k, k - 3*g - s = 0 for k.
0
Let r be (-114)/(-30) - 1/(-5). Suppose 0 = -3*b - 0*f - 2*f + 6, -2*b + f + 11 = 0. Suppose -2*o = -0*o - b. Solve -z - 13 = -5*a, -o*z - r + 2 = -2*a for z.
2
Suppose -90*r + 524 = 212*r - 40*r. Solve -21 = -r*g - 15, 2*g + 19 = -5*m for m.
-5
Let a(h) = h**2 + 13*h + 11. Let l be a(-11). Let g = -7 - l. Suppose g*y + 3 = 3*r + 3*y, 4*r + 2*y = -6. Solve 3*d + 0*c + c + 1 = 0, r = 2*d - c - 6 for d.
1
Let g be 1/(1 - (-16)/(-17)). Let p(t) = -194*t + 1554. Let m be p(8). Suppose g = 3*q - 5*r + m, -4*r = 4*q - 52. Solve -14 = z - 5*i, q = -z + 2*i + i for z.
-4
Suppose 192 = -5*t - 138. Let z = t - -115. Let d = -49 + z. Solve 0 = -4*x + 2*h - d*h - 6, -3*x + 2*h = 5 for x.
-1
Suppose -102 = 7*o - 389. Suppose o = 4*n - 195. Suppose 19 = -8*g + n. Solve -g*s + 6 = -3*s, 3*s = -4*h + 29 for h.
5
Let p(c) = c**3 + c**2 + 34*c + 120. Let n be p(-3). Solve n*q - q = -9*a + 6, -4*a + 19 = 5*q for q.
3
Let i = 111 + -111. Suppose i = -4*h + 3*n + 12, 3*h - 5*n = -13 + 33. Solve -4*l - 7 = -r, h = 6*r - 2*r - 2*l for r.
-1
Let s be (44 - 44)/(2 - 4). Solve s = -2*r + 2*i + i + 8, 2*r = -5*i - 8 for r.
1
Let f be 5*(1 - (2/(-45) - (-68)/153)). Solve 8*l - 6 = 12*l - g, 0 = f*l - 3*g for l.
-2
Suppose 2*z + 25 = -2*k - 3*k, 0 = 4*z - k - 5. Let j be 2/(28/(-12) + 3) + z. Suppose -j - 3 = -2*d. Solve -d*i + 10 = -m, 4 = 3*m + 2*m + 3*i for m.
-1
Let b = -440 + 445. Suppose b*a = 2*w + 4, 0*a + 17 = a + 5*w. Solve -2*j + a*c = -3*j + 6, 2*j + 5*c = 16 for j.
-2
Let j(t) = -18*t + 657. Let z be j(35). Solve 4*m = 2*b + 2, 0 = -m - 5*b + z - 21 for m.
1
Suppose 285 = 31*m - 128 - 52. Solve -r - 26*k + 31*k = -27, 5*r = k + m for r.
2
Let x(b) = -268*b - 2135. Let f be x(-8). Solve 4*s = 3*g + f, 4*s - 12 = -5*g + 5 for s.
3
Let u = -41 - -93. Suppose 5 - u = -3*b + 4*s, -s = 3*b - 37. Solve -2*d + b - 1 = -3*z, -z + 5*d = 4 for z.
-4
Suppose -k = 5*z - 212, 4*z - 86 = 2*z - k. Let a be z/(-9)*24/(-56). Solve 0 = -a*j + 2*g + 4, 3*j = -g + 3*g + 9 for j.
5
Suppose -m = 3*p - 37, 26*p + 4*m - 22 = 23*p. Solve -f + p*u = 16*u + 4, 3*f + 3*u + 3 = 0 for f.
2
Let l = 1820 - 1815. Solve -l*a = -k - 8, -5*k + 12*a + 18 = 16*a for k.
2
Suppose -5*k + 20*k = 300. Suppose 5*r = -q + 28, 3*q - k*r + 16 = -15*r. Solve 4*n = -q*v - 11, -5*v - 3 = 4*n + 2 for n.
-5
Let n = 9106 + -9104. Solve -4*q = -19*d + 15*d, 5*q - 3*d + n = 0 for q.
-1
Let m be (12/(-20))/(43/(-215)). Solve 4*n - 9 - m = -5*j, 0 = n - 5*j + 22 for n.
-2
Suppose o - 3*s - 246 = -4*o, 5*o = -4*s + 267. Suppose 5*a - a = -m + 22, -3*a = -3*m + o. Solve -5*p - 15 = 0, 0*p = -3*j + p + m for j.
5
Let p = 1702 + -1658. Suppose -4*s + 228 = 5*z, s = -3*z + 4 + 137. Let h = z - p. Solve 4*q - 3 = -g, -h*g - 13 = -3*q + 13 for q.
2
Let x = -436 - -613. Let z be 59/x*(-15)/(-1). Solve -2 = 2*v + d, -5 = z*v - 3*d - 0*d for v.
-1
Let p = 123 + -87. Let w = p - 68. Let n = 36 + w. Solve -5*s + 22 = 5*i + 2, n*s + 14 = 2*i for i.
5
Let d = -957 - -961. Solve -9 = -2*b + d*q - 3, q = 2*b + 6 for b.
-5
Let u be (-2)/(-5) + (-1166)/(-110). Suppose -u*y + 27 = -17. Solve -a = 2*n + a - 4, -a + 14 = y*n for n.
4
Let j(k) = -4*k**3 - k**2 - 7*k - 6. Let i be j(-1). Solve 4*a = -3*c - 22, 3*a = 2*c + a - i for c.
-2
Suppose -4*i = -9 + 1. Suppose 0 = -k - k - 50. Let f be -35*((-30)/k)/(-3). Solve 3*j - i*g + f = -6*g, -g = 2 for j.
-2
Suppose 23*m - 49 + 34 + 15 = 0. Suppose g - 5*g = 0. Solve m = n - 2*t - 2 + 6, g = 3*n + 2*t - 12 for n.
2
Let a = 372 + -357. Suppose -5*i + 23 = -3*f, 2*i + 3*i - 5*f = a. Solve -4*j - 4 = 4*v, -v - 11 = i*j - 4*j for v.
4
Suppose -26 = 11*t - 279. Suppose 16 + t = 13*b. Suppose 0*i - 15 = -3*i. Solve -z = b*j + 9, -i*z = j - 6 + 23 for j.
-2
Let u be 6/4*(-7)/(105/(-40)). Suppose 0 = -u*i + 2*h - 3*h - 118, 3*h = 5*i + 156. Let x be 8/((-9)/(81/i))*5. Solve -14 = d + 3*v, -d = 5*v - x + 36 for d.
1
Let l be 45/6*(24/(-30))/(36/(-30)). Solve 2*m + 216 - 223 = l*x, -5*m = 2*x - 3 for x.
-1
Let h = 28 + -9. Suppose 10*g + 20 = 14*g. Let i(s) = 24*s - 141. Let v be i(6). Solve k - h = g*c, -c - 8 = v*k + k for c.
-4
Suppose -6*w = 6*w - 360. Let l be (-1*(-18)/(-30))/((-9)/w). Solve l*p - 8 = -x, 11 = -3*x + 5*p - 9 for x.
0
Let z be (-1092)/(-286) - (-6)/33. Solve 9*k - 4*s = 5*k + z, 3*k + 22 = -2*s for k.
-4
Let k(c) = -117*c - 459. Let p(h) = 23*h + 92. Let n(t) = 4*k(t) + 21*p(t). Let f be n(-6). Solve f = 2*y, -3*x = -2*x + 2*y - 9 for x.
3
Let y = 200 - 197. Suppose -y*x - 26 = -5*r, 5*x = -16*r + 12*r + 43. Solve 4*u + 5 = -r, p + u = -4 for p.
-1
Suppose -s - 3 = 0, -2*j + 15 = 3*j - 5*s. Suppose 5*q = -j*q + 65. Let k(t) = t - 11. Let v be k(q). Solve 3*d + 5 + v = 5*o, d = -4 for o.
-1
Let y = -370 - -400. Solve 0 = -4*s + 4*d + 20, 2*d - y = -4*s - 10 for s.
5
Suppose 2*n - 2 = -4*d + 5*d, n - 1 = d. Let a(y) = y**3 - y**2 + 7*y + 10. Let g be a(d). Solve 2*b - g = v + 5*b, 4*v - 5*b - 45 = 0 for v.
5
Let f be (-2)/(-3) + (-2)/3. Suppose -4*l = 2*o - 4 - 24, 4*l - 48 = 3*o. Let z be l*-2*8/((-144)/6). Solve 5*p = 20, f = z*r - r + p + 11 for r.
-3
Let z(c) = c**2 - 36*c + 71. Let s be z(2). Let a be -4 - -7 - (-1 - -1). Solve 0*u - 27 = -s*y + a*u, 0 = 3*y + u - 7 for y.
4
Suppose -5*h - 2 = f, -40*f + 3*h + 15 = -36*f. Solve 0 = -4*u - p - 12, -u + 8 = u - f*p for u.
-2
Let q be 382 + (0 - 6) + 10. Let s = -363 + q. Solve -t - v = 3*v + s, -v + 1 =