f + a*f for f.
0
Suppose 4*x - 71 = -3*n, 56 = 3*x + 6*n - n. Let q be (x - 31)/(-1*2). Let h be (1*-3)/(q/(-7)). Solve 0 = -i - h for i.
-3
Suppose -60 = 6*n - 330. Let s be 10 - ((-9)/(n/(-20)) - 6). Solve s*o - 3 = 9*o for o.
1
Suppose -494*s + 858 = -65*s. Let f be (-4)/(-3)*3/2. Solve -s*n + 0 = f for n.
-1
Suppose -60 = -5*h - 5*o, -2*h + 16 = -2*o - 28. Solve -m = h - 11 for m.
-6
Let f be -7 - -9 - (-9 - 4). Suppose 4*v + 3*w = -f, -2*v - w - w - 10 = 0. Solve -3*i + 2 - 8 = v for i.
-2
Suppose 3*h - 21 = 3*s, s = 4*s + 3*h - 9. Let o be (s - (-9)/2)/(115/92). Solve o*r - 14 = -12 for r.
1
Suppose 0 = -0*p - 4*p - 4. Let c be (3 + -3 + 0)/p. Suppose -r + 7*r = c. Solve r = 5*h + 36 - 11 for h.
-5
Let h(d) = 5*d**2 + 53*d - 610. Let t be h(-18). Solve -t*n - 4 = -52*n for n.
-1
Let w(c) = -22*c + 77. Let q be w(12). Let s = q + 191. Solve -s = 2*a - 0 for a.
-2
Let t be (((-60)/8)/5)/(-3)*-128. Let x be (-48)/t - 47/4. Let n(v) = v**2 + 13*v + 24. Let d be n(x). Solve -2*o + d = -o for o.
2
Let o be ((-36)/(-189) - (-88)/77)*(-9)/(-1). Solve -9 = -o*c - 57 for c.
-4
Let s(o) = -o**3 + 17*o**2 - 77*o + 53. Let m be s(8). Solve -98 = m*y - 163 for y.
5
Let l be ((-8)/10)/(2/(-45) + 0). Suppose l = -0*v + 9*v. Solve t + v*t = 15 for t.
5
Suppose 0 = 2*f - 0*n + n - 1, 4 = -4*f - 4*n. Suppose -3*r - 2*m - 12 = 0, m = -f*r - 3*m. Let v be 4/r + (-136)/(-24). Solve -4*k = v + 3 for k.
-2
Let j(a) = 5*a - 9. Let i be j(5). Suppose -11*h = -i*h. Let l be ((-8)/(-24))/((-1)/3) + 4. Solve h = l*u - 5*u - 6 for u.
-3
Suppose -2*f + g = -41, 4*f - 58 = 5*g + 3. Solve -f = 2*k + 2*k for k.
-6
Let u(x) = x**3 + 43*x**2 - 45*x - 41. Let i be u(-44). Let v = 8 - 0. Solve 0 = -g - i*g + v for g.
2
Suppose -5*w - 35 = -5*r, -50 = -4*r - 4*w + 2. Suppose 9*c = -c + r. Suppose -5*u + c = 1. Solve 5*f + 20 = -u*f for f.
-4
Let g(d) = -d + 28. Let a be g(28). Suppose -3*h + 5*k - 11 = 8, h + k - 7 = a. Solve -i - h = -6 for i.
4
Let q(z) = 2*z**3 + 4*z**2 - 9*z - 17. Let k(v) = -v**3 - 5*v**2 + 8*v + 16. Let o(u) = -3*k(u) - 2*q(u). Let t be o(5). Solve 8*l - t*l = 0 for l.
0
Let z(y) = -4 + 9 - 2*y**2 + 3*y**2 + 5*y. Let g be z(-5). Suppose 364*n = 543 + 146 + 39. Solve n*h = g*h for h.
0
Let m(v) = 47*v + 168. Let c be m(-7). Let o be (-1196)/c + ((-3)/(-7))/(-1). Solve o*y = 3*y - 4 for y.
-1
Let d(g) = -g**2 - 64*g - 283. Let w be d(-5). Solve 47*m = 45*m + w for m.
6
Let o be 16 + -1 + (-2349)/261. Solve 12*r - o*r = 0 for r.
0
Let l be (-59)/(2950/60)*-30. Solve -31*j - l = -43*j for j.
3
Suppose 0 = 18*a - 15*a + 9. Let l be (-2)/((14/7)/(-6 + a)). Solve 0 = 5*p - 2*p - l for p.
3
Let j(n) = -4 - 18*n + 16*n + 4. Let k be j(0). Suppose k = -h - 23 + 26. Solve h = 3*v - 0 for v.
1
Let o(p) = -p + 1. Let u(h) = 3*h**2 - 3*h - 35. Let k(w) = -2*o(w) - u(w). Let q be k(4). Solve -10 = q*g + 5 for g.
-3
Suppose -11*z - 19*z + 33 = -19*z. Solve z*b = -30 + 42 for b.
4
Let d = -294 - -299. Suppose -d*b - 35 = -100. Solve -b*a + 18*a = -25 for a.
-5
Let x(f) = -f**2 - 5*f + 16. Let u be x(-9). Let l be ((-50)/u)/((-1)/(-2)). Suppose -i + 17 = 4*r, i + 11 = -3*r + l*i. Solve -r*q + 2*q = 0 for q.
0
Let z = -32 + 39. Suppose z = 10*q + 7. Suppose q = 4*p - 18 + 6. Solve k + 4 = p*k for k.
2
Let x = 30641 + -30340. Solve -x = 129*u - 86*u for u.
-7
Let a(y) = -2*y + 6. Suppose -4*p = 16 - 24. Suppose 2 = o - p*o. Let l be a(o). Solve b - l = -5 for b.
5
Let q(u) = u**3 + 6*u**2 - u - 5. Let m be q(-4). Suppose -3*f = -k - m, 4*f + 107 = -4*k - f. Let y = k + 33. Solve y = -0*d + 5*d for d.
1
Let q be (-1 - 77/49)/((-1)/21). Let n be q/12*(-2)/(-9). Solve 4*u - 13 + n = 0 for u.
3
Suppose 4*t + 4 = -5*b, 16 + 8 = 5*t - b. Suppose -2*m = -3*u + 10, 2*u - 20 = u + t*m. Suppose 7*j - 3*j - 8 = u. Solve r + 6 = -j*r for r.
-2
Suppose 0 = -3*d + 4*g + 1091, 5*d + 14*g = 13*g + 1849. Solve d*m = 362*m - 7 for m.
-1
Suppose 3*a + 1290 = 9*a. Suppose 4*v = -v - a. Let t = -38 - v. Solve 3*x - t*x - 10 = 0 for x.
-5
Suppose -4*p = 2*k - 30, 5*k - 15 = -p + 105. Suppose 3*w + 15 = 5*j, j - 5*w - k = -4*j. Solve -6*m + m - 15 = j for m.
-3
Let u be 1 + 1352 - ((-19)/(-11) + 114/418). Solve 1349*z - u*z = 12 for z.
-6
Suppose 721 = 25*p - 1204. Solve -2*x + 87 = p for x.
5
Let o(u) = -2*u**2 - 40*u + 6. Let y be o(-20). Let z(p) = -p**3 + 6*p**2 + 3*p - 7. Let x be z(y). Solve -10*h + 9 = -x for h.
2
Let g = 4 - 2. Suppose 3*y - 8*o + 12*o - 28 = 0, 57 = g*y - 5*o. Solve -4*j + 12 = y for j.
-1
Let t = -4841 + 4869. Solve -3*o - t = -19 for o.
-3
Let u = 58 + -439. Let p = u - -405. Solve p - 26 = w for w.
-2
Let x be 14/(-3)*(4 - 1). Let c(f) = 29*f**2 - 3 - 27*f**2 + 1 + 27*f - 8 - 1. Let a be c(x). Solve a*k = -2*k - 25 for k.
-5
Suppose 14 = 5*h - 1. Let r(c) = -c**3 + 2*c**2 + 2*c + 3. Let u be r(h). Suppose -t + 0*t - 4*g - 4 = u, -5*t + g = -22. Solve t*a + 2 = 6 for a.
1
Suppose 0 = n + 5*p - 30, -544*p + 542*p - 123 = -5*n. Solve -6 = n*o - 22*o for o.
-2
Let f = -1313 - -1320. Solve p = -0*p - f*p for p.
0
Suppose -9 = -n + 3*z, 0 = -n - 4*z + 19 + 18. Suppose 22*y = n*y + 5. Suppose -y*w = 2*w - 63. Solve -7*d + 4*d = -w for d.
3
Let l(s) = s + 23. Let u be l(2). Solve 23*i = u*i + 10 for i.
-5
Suppose -d + 3*d = 16. Let a = -5 + d. Suppose -4*x + 16 + 64 = 5*s, a*s + 5*x = 35. Solve 0 = -6*i + 2*i + s for i.
5
Let w(y) = 68*y + 2178. Let l be w(-32). Solve -1172 + 1178 = l*k for k.
3
Let u(x) = -x**3 + 6*x**2 - 6*x - 1. Let r(z) = -2*z + 30. Let c be r(14). Let p be u(c). Solve -5*m + p*m = -10 for m.
5
Let d be (-2 + 1)/(2/(-8)). Suppose -2*b = 5*i - 44, -4*i + d = b - 33. Solve -i = 4*f + f for f.
-2
Suppose 0 = -7*d + 21*d - 2324. Let o = d - 161. Solve 6*b - o = 7*b for b.
-5
Suppose 50 = 5*k - 2*m + 231, -5*m - 20 = k. Let n = -3 - 32. Let v = k - n. Solve 2*y - 4 = -v*y for y.
2
Suppose -2866 - 2744 = -273*r - 101*r. Solve 32*f + r*f = -423 for f.
-9
Let k = -2294 - -2303. Solve 30 = r + k*r for r.
3
Let f = 6 - 1. Suppose -1771 = -22*d + 1779 - 3506. Solve -3*s - d = -f for s.
1
Suppose 4*o = 2*s - 4, 2*s - 3*o = 7 - 1. Let q = -138 + 141. Let z = 307 - 301. Solve -q*v = -s*v + z for v.
2
Let z be (2 + -3)/1 + 0 - (229 + -246). Let t = -9 - -13. Solve 0 = -z*m + 15*m - t for m.
-4
Suppose -5*j - 42 = -57. Suppose -5*y + 2*m + 398 = 0, -j*y - 4*m = -8*y + 406. Let u = 83 - y. Solve -2*i = -7*i + u for i.
1
Let l be (0 + -1)*(-17 + -2). Suppose 24*s - l - 29 = 0. Solve 0 = 5*b + s + 3 for b.
-1
Let p(r) = 5*r**2 - 8*r - 10. Let u be p(-2). Suppose -6*d = -74 + u. Solve c - d = -7 for c.
1
Suppose -3*p + 2*y + 0 = -4, -5*y = p + 10. Suppose p = -2*o - 15*o + 493. Suppose 0 = o*x - 31*x. Solve 3*j - 8*j - 15 = x for j.
-3
Let l be (-939)/(-21) + 2*6/42. Let m = l + -41. Solve 10 = m*o + o for o.
2
Let s(g) = g**3 - 6*g**2 + 7*g - 5. Let k be s(5). Let j = 1533 + -1530. Suppose 0 = -2*v - 5*u - k, j*v + 2 = u + 3. Solve v*t + 4 = 4*t for t.
1
Let s be (2/(-4))/(2/(-8)). Let t(r) = 9*r**2 + 1 + s*r - 5 - 5*r**2 + 1. Let l be t(1). Solve 0 = l*n - 7 - 2 for n.
3
Suppose -3*g + 0*g + 24 = 0. Suppose 8*v - 133 + 29 = 0. Suppose g*j = v*j. Solve j = 3*n - n for n.
0
Suppose -5*j + f - 3525 = 0, -9*f + 2115 = -3*j - 12*f. Let u = -689 - j. Solve -u = s + 7*s for s.
-2
Let f(j) = j**3 + j**2 + 3*j + 4. Let t = -48 - -53. Suppose -t*a = -a - 8*a. Let n be f(a). Solve n = v + v for v.
2
Let z = 8 + -1. Suppose 1138*a + 640*a - 3052 - 821 = 487*a. Solve f + a = z for f.
4
Let z = -6118 - -6138. Solve 0 = -2*u - 8*u + z for u.
2
Let r(y) = -5*y. Suppose 0 = -c + 59 - 34. Let o = 24 - c. Let b be r(o). Solve -b*w + 1 - 26 = 0 for w.
-5
Let o(r) = 3*r - 13. Let m be o(6). Suppose -p - 1 = -3*p - z, -p = 4*z - 4. Let i be p*(6/3)/(1*-4). Solve m*n - 3*n = i for n.
0
Let c be (-8)/18 - (136/(-119))/((-72)/(-28)). Solve 22*r + 46 + 108 = c for r.
-7
Let b(n) = n**2 - 3*n - 8. Let o be 68/(-12) + 1/(-3). Let g be b(o). Let d = g + -45. Solve -5*f + 21 - d = 0 for f.
4
Suppose -2*b - 10 = -0, -v + b = -71. Solve -24*j - 210 = -v*j for j.
5
Suppose -20 = 5*z, 341*z - 340*z = 10*o - 124. Solve 0 = -291*y + 288*y + o for y.
4
Let f = -339 - -212. Let i = -122 - f. Suppose 0*j - 4*q - 20 = 2*j, -5*j - 20 = 4*q. Solve 0 = -j*k - k - i for k.
-5
Suppose 4*q - 3*p - 5 = 0, -66*q -