*f for f.
-3
Let r be (80/(-24))/((-2)/3 - 0). Suppose r*u - 14 = -4. Suppose 0*l = 2*l - u. Solve -l = -k + 1 for k.
2
Let y be (3 - (-2 + 2)) + -7. Let u be (-44)/(((-32)/y)/(-4)). Suppose 5*c + u = 62. Solve 4*q = -0*q + c for q.
2
Let c(n) = 3*n**3 + n**2 + 16*n + 13. Let g be c(0). Solve g*b + 7 = 14*b for b.
7
Let d = 261 + -270. Let u be 25*(d/(-15))/(9/6). Solve -5 = 5*s + u for s.
-3
Let n(a) = a**2 + 8*a - 17. Let q be n(-10). Let y = 58 - 33. Suppose -1 = 3*k - y. Solve -k + 5 = q*d for d.
-1
Let n = -44 + 53. Let y(t) = 2*t**2 + n*t**2 + 12*t + 20 + 0*t**2 + t**3. Let z be y(-10). Solve z*h - h = 1 for h.
-1
Let b = 107 + -21. Solve -b = 7*p - 51 for p.
-5
Let v = -4447 + 4531. Solve -v = 18*s - 12 for s.
-4
Let v be 1/(1440/(-4328) + 5/15). Solve 90 = -1641*p + v*p for p.
-5
Let o be 0*(17 - (9 - -7)). Solve 95*q - 106*q + 66 = o for q.
6
Suppose -3*h - 4*g = g + 8, -2*g = 2*h. Suppose 0 = -s, -4*z = -6*z - h*s. Suppose z = 18*t - 16*t - 8. Solve -t*j + 12 = -0*j for j.
3
Suppose -q = 2*j - 90, -3*j - 12*q + 157 = -16*q. Solve -10 = -j*i + 52*i for i.
-2
Suppose 10*t - 252 = 13*w - 15*w, -5*w = 45. Solve 0 = 33*o - t - 6 for o.
1
Suppose r + 227 = -o, 0 = 4*r - 6*o + 3*o + 908. Let d = 230 + r. Solve 2 = d*j + 8 for j.
-2
Let d be 9/(-1) - (-21 + 16). Let k be (22/5 - -6) + d/10. Let f be k/((-20)/(-6)) - -2*1. Solve f*r - 2*r - 3 = 0 for r.
1
Suppose 4*m + 2*q = -600, 0 = -3*m + m - 6*q - 280. Let r = 156 + m. Solve r*z - 7 = -19 for z.
-3
Let o be (-6)/5*(72/(-16) + 2). Suppose o*y = t + 7, -2*t - 3*t + 13 = y. Solve 0 = -3*q - 9 + y for q.
-2
Let t be (((-16)/(-28))/2)/(604854/(-35581) - -17). Solve 8*c + t - 482 = 0 for c.
5
Suppose 3*h - 6*h = n - 2, 0 = -4*h - 2*n + 4. Suppose 0 = -2*m + 2*j + 20 - 14, 5*m = -2*j + 8. Solve 0 = -h*p - m*p for p.
0
Let w = -36 - -36. Suppose -2*a + w*o - 34 = -2*o, 5*a + 71 = -2*o. Let j = a + 16. Solve 0*g = g + j for g.
-1
Let v = -7408 + 7411. Let k be 3 + 9 - (0 + 0). Solve -k = -5*x + v for x.
3
Let r be 18/14*(-1729)/(-741). Let z be (1 - -2)/((-18)/(-120)). Solve 0 = b + r*b + z for b.
-5
Let y be 12/(-15) - 63531/(-45). Let k be (-83)/1245 + y/15. Solve 2 = k*t - 92*t for t.
1
Let r(i) be the third derivative of -i**6/120 + i**5/30 + i**3/3 - 100*i**2. Let s(v) = v**2 + 7*v. Let a be s(-7). Let h be r(a). Solve d = h - 0 for d.
2
Let x = -3128 + 3128. Solve 13*y + 7 + 19 = x for y.
-2
Suppose 4*v + 10 = 22. Let f(b) = b**2 + 28*b + 117. Suppose 2*x + 48 = m, 6*x - x + 105 = -5*m. Let h be f(x). Solve -h*l + 5 = -v for l.
4
Suppose 728 = -14*h + 6020. Let b = h - 366. Solve 2*a - 8 + b = 0 for a.
-2
Let q(o) = o + 7. Let u be q(-5). Suppose -87 = -j - 9. Suppose 79*h - j*h = 4. Solve -2*k - h = u*k for k.
-1
Let a = 156 + -153. Suppose -a*r = 5*f - 38, -4*f + 6 + 16 = r. Solve 3*j + r = 9 for j.
1
Let j be -1*(0/(-6 + 13))/1. Solve j = -20*o + 23*o + 6 for o.
-2
Suppose -d - 2*d + 4*i + 123 = 0, 2*i = 6. Let g be 1 + (-56)/(-3) + 15/d. Solve -k = 4*k + g for k.
-4
Let n be (18/(-21))/(2 + 15/(-7)). Suppose -10 = -3*s + 2*c - 3, 0 = 3*c + n. Solve -4*y = 5 - s for y.
-1
Suppose -4*t - 5 = 3, -t = 3*n - 13. Let j = 8 - n. Let x be j/((-228)/80 - -3). Solve 3*l - x = -l for l.
5
Let f(o) = -28*o + 89. Suppose -37*d = -27*d - 30. Let b be f(d). Solve -b*n = 4 + 6 for n.
-2
Suppose -g = 2*k - 14, 3*k = 7*k + 5*g - 22. Let y be k + -9*18/(-81). Solve 4*i = y - 14 for i.
-1
Let s = 97 - 95. Suppose -3*x - 9 = -s*t + 1, -5 = -t. Solve -10*g + 13*g - 15 = x for g.
5
Let c(l) = -l**3 + 11*l**2 - 23*l + 47. Suppose 4*f + 4*g = 56, -21*f - 4*g = -20*f - 29. Let d be c(f). Solve 4 = -d*a - 2 for a.
-3
Suppose -360 = -26*i + 8*i. Suppose 24*r = i*r. Solve 2*z + r = 6 for z.
3
Let s = -247 + 255. Let i be ((-16)/(-20) - s/10)/(-2). Solve i = -2*d - 0*d - 6 for d.
-3
Let k(o) = -17*o + 8. Let p be k(18). Let u = 302 + p. Solve -7 = 3*t + u*t for t.
-1
Let n be (1 + 5)*(2 - (3 - 3))*-4. Suppose 241 = -5*g + 3*x, -2*g - x - 106 = x. Let y = n - g. Solve 7 + y = -3*i for i.
-3
Suppose -3*w = -3*g - 192, 5*g = 2*w - 137 - 198. Let v = g + 79. Solve 0*u - v = -2*u for u.
5
Let q(f) = -f**3 + 10*f**2 - 9*f + 3. Let g = 106 - 97. Let o be q(g). Solve 0 = x + o*x - 8 for x.
2
Let r be ((-16)/(-20))/((-7)/(-70)). Suppose 0 = -r*x + 4*x. Solve x = 7*z - 8 + 43 for z.
-5
Suppose 0 = -382*n + 403*n - 147. Solve -12 = -19*g + n*g for g.
1
Let i(a) = 2*a + 97. Suppose 51*x - 138 = 54*x. Let l be i(x). Solve -8 = l*o + 17 for o.
-5
Let g(z) = -19*z + 197. Let w be g(34). Let p = -447 - w. Solve h = p - 1 for h.
1
Let p(w) = -33*w - 3. Let v be p(-1). Suppose -13*k + v = -217. Suppose t - k = -2*f, 0*f + 17 = 4*f - 5*t. Solve -4*c = f + 8 for c.
-4
Let z = -3260 - -3311. Solve z = -21*y - 75 for y.
-6
Suppose u + 4*h - 20 = 0, -5*h + 25 = -8*u + 4*u. Suppose u*i = 4*a - 4*i - 12, -12 = -5*a + 2*i. Solve 4 = 3*r - a*r for r.
4
Suppose -2*f + 714 = -4*m, -3*m = -5*f + 2*f + 1080. Solve f = i + 361 for i.
2
Let h(k) = -k**2 + 11*k - 9. Let p be h(5). Let g be p/15 + 815/25. Solve 0 = -3*x + g - 46 for x.
-4
Let c be (4 + 1 + -3)*(-402)/(-12). Suppose 11*v - 1 = -c. Let p be v*((-34)/66 - (-4)/22). Solve -p*j = j + 15 for j.
-5
Let o be (-4)/6*(-7 - -4). Suppose 0*p + 29*p = 116. Suppose 11 = o*c + 5*z, 18 = 5*c - p*z - 26. Solve w + w = -c for w.
-4
Suppose m + 5*t = 7 - 26, -4*m + t = -29. Suppose 5*o = v + 13, -2*v = 2 - m. Let a(d) = d**2 + 4*d - 93. Let k be a(8). Solve -3*q - o = k for q.
-2
Let b(d) = -187*d - 6345. Let m be b(-35). Solve -34*v - m + 64 = 0 for v.
-4
Let n = -95 + 143. Let p(k) = -10*k**2 + 2*k - 4. Let a be p(-2). Let y = n + a. Solve 0*m - 2*m - 10 = y for m.
-5
Suppose -q + 51 + 45 = 3*d, 2*d - 4 = 0. Suppose -5*v + 430 = 6*x - 7*x, 0 = -x. Solve w + q = v for w.
-4
Suppose 10*g - 22209 = -23*g. Solve -645 + g = -7*n for n.
-4
Suppose -1766 = 14*b - 226. Let n = -107 - b. Solve 0 = -n*i - i - 4 for i.
-1
Suppose 0 = 33*d - 1262 - 5008. Solve 187*a = d*a - 6 for a.
2
Let z be 428*((-144)/(-64) + -2). Solve -43*p + 21 = z for p.
-2
Suppose 2*i + 32 = 128. Suppose -t + i = t. Let f = -2616 + 2621. Solve f*s = -t + 4 for s.
-4
Let d(b) be the third derivative of -11*b**4/24 - b**3 + b**2 + 3. Let a be d(-1). Solve -a = 3*s - 2 for s.
-1
Let w be (5 - 2)*(-20 + -2). Let c = -61 - w. Solve -m + 6*m = c for m.
1
Let o(n) = n**3 - 7*n**2 + 235*n - 1859. Let v be o(8). Solve -35 + v = 10*j for j.
5
Suppose -18*q - 1116 = 7326. Let c = -469 - q. Solve -4*y - 2*y - y = c for y.
0
Let g be (60/10 - -35) + 13. Solve -g*x = -55*x + 3 for x.
3
Suppose 3*v = 4*r + 3, 5*r = -3*v + 13 + 17. Solve 0 = -v*g - 48 + 38 for g.
-2
Let r(t) = t**2 + 8*t + 11. Let f = -85 - -79. Let q be (-9)/f*8/(-12)*7. Let w be r(q). Solve -3*i + w = -7*i for i.
-1
Let d = 14079 + -13968. Solve 2*g - 117 = -d for g.
3
Let a be 112/(-2 + 10)*(-2 - -3). Suppose -a = -2*c - 3*d + d, -2*c - 5*d = -17. Solve -7*z + c = -9*z for z.
-3
Let f be 4/(-54) - (-13120)/2160. Solve 13 = f*t + 19 for t.
-1
Suppose -19*q + 27 = -4 - 7. Let p be (-88)/(-10) - (-6)/30. Solve q*g - p = -1 for g.
4
Suppose v - h + 2 = 2*h, 0 = 5*h - 25. Let b(g) = 2*g**2 - 23*g - 30. Let u be b(v). Solve -j + u - 5 = 0 for j.
4
Suppose -17*v = -19*v + 12. Let m(j) = -v*j + 23 + 0*j - 7 + 5*j. Let f be m(10). Solve k = 4*k - f for k.
2
Suppose -5*x + 99 = 4*m, 2*x - 150 = -5*m + x. Suppose -9*i - 1187 = -1223. Suppose i*s - 4*b - 16 = 0, 17*s - 15*s = -2*b + 8. Solve 0 = -s*l + 11 - m for l.
-5
Suppose -6 - 164 = 17*z. Let w be ((-4)/z)/((-1)/165*-11). Solve 0 = w*i - 44 + 14 for i.
5
Let i = 551 + -549. Solve -9 = -i*q + 11*q for q.
-1
Suppose 4*j = -4*w, w - 7*j + 3*j - 15 = 0. Suppose z - 2*q - 15 = -0*z, -w*q - 35 = -4*z. Let g be (2/(-3))/(16/(-96)). Solve -z*d = -g - 6 for d.
2
Let g be (15/(-6) - -3)*8. Suppose 32*y - 36*y = -8. Suppose -2*q = 4*m - 3*q - 7, -4*q + 35 = 5*m. Solve y = g*f - m*f for f.
2
Suppose 4*d = 5*d. Let r be (d + 0 - (-7 - -7))/2. Suppose r = -3*b + 8*b - 10. Solve -b*c + 6 = c for c.
2
Let z = 4538 + -4498. Solve -453*r + 445*r = -z for r.
5
Let j(t) = -2*t**2 + 48*t - 14. Let x be j(19). Let c = -175 + x. Solve 0 = 4*a - c - 11 for a.
3
Let p(u) = -3*u + 27. Let s(c) = c**2 - 23*c + 30. Let k = -85 - -107. Let m be s(k). Let r be p(m)