f - 3*n for f.
2
Suppose 3*l = -10 - 17. Let a = l + 11. Suppose 15 = -4*o + 9*o, 9 = m + o. Solve -3*u - 4*v + v - m = 0, 4*u = -a*v for u.
2
Let g be (-88)/3*(-1080)/(-48). Let y = g - -665. Solve w + 5*s - 2 = 0, -3*s - 12 = y*w - 0*w for w.
-3
Let d be (-5 - 2/(3 + -1)) + (-96 - -111). Solve 0 = -3*p + d, -4*r - p + 12 = -11 for r.
5
Let f(b) = b**3 + 23*b**2 + 68*b - 27. Let m be f(-19). Suppose 121*v = m*v - 20. Let x = -1 + 4. Solve -o - v*n - 18 = 0, -x*o - n = -5*n - 3 for o.
-3
Let w be ((-1)/(1/26))/(-1). Suppose s = -w*s. Solve -2*v - 2*v - 32 = 5*q, s = v + 4*q + 19 for v.
-3
Suppose -34*h - 53 = -427. Solve -4*l + f - h + 10 = 0, -1 = -2*l - f for l.
0
Suppose -46*c = -7*c + 15*c - 216. Solve -a - c*h + 16 = 0, -381*a + h = -379*a - 5 for a.
4
Let b = -70 + 74. Suppose b*z + 8 = 0, 8*z - 3*z + 240 = 2*o. Let q be 4/(-10) - (-161)/o. Solve 2*j + q + 5 = -3*m, 0 = 3*m - j - 3 for m.
0
Suppose -5*u - 24*v + 27*v = -56, 5*u - 62 = v. Let l be u - 10 - (5 + -2). Solve 0 = -2*s - 4*p - 18 + 4, l = -5*s + 3*p + 30 for s.
3
Let v(t) = t**2 + 3*t - 15. Let q = 9 - 15. Let u be v(q). Suppose u = 3*r - 2*r. Solve -r*n - l = -13, -4*l = -2*n + 6*n - 20 for n.
4
Let y = 44 - 27. Let h = 19 - y. Let g(k) = k + 3. Let a be g(h). Solve 3*m + a = -7, -4*m = 4*u for u.
4
Suppose g + 23 = 4*a, 2*g = 5*g - 15. Suppose 13 = 3*h + a. Suppose m - 3*k = 17, -5*m - h*k = -0*k. Solve 3*y = -p - 6, 0 = m*y - 5*p - 0 + 4 for y.
-2
Let a(u) = -2*u. Let c(p) = -17*p - 5. Let m(x) = 18*a(x) - 2*c(x). Let n be m(5). Solve -2*g + 8 = -f - n*f, 5*f = -g - 18 for g.
2
Let o(y) = y**2 - 1. Let i be o(1). Suppose -g + 61 = -10. Suppose 0 = g*s - 57*s - 28. Solve -1 = 5*t + j - i*j, s*t + 3*j = 10 for t.
-1
Let y be (-1)/((-7)/((-21)/(-6)))*(14 + -8). Solve 0 = w + y*w + 5*s - 25, 10 = -w + 2*s for w.
0
Let a(g) = 4*g**2 + 25*g - 28. Let i be a(-7). Let k be ((-1)/(i/2))/((-11)/(-154)). Solve 0 = h - 6*u + k*u - 5, -4*h + 7 = 5*u for h.
3
Suppose -7*n + 32 = -178. Let m be 162/n - 4/10. Suppose -6*l = -11*l + 20. Solve -5*v - m*f - 12 = -f, -l*f = 2*v for v.
-4
Suppose -3*j + 5 = -2*j. Let m(d) = 5*d**2 + 50*d + 1. Let u be m(-10). Suppose -u - 4 = -j*z. Solve -2*l = 5*s + 3, -4*l + z = -3*s - 6*l for s.
-1
Suppose 1332*y + r = 1327*y + 17, -y + 3*r = -13. Solve -y*t - 4*l - 130 = -166, 4*l = 16 for t.
5
Suppose 1403*z - 1393*z - 30 = 0. Solve z = 3*f, -3*c - f = -15 - 1 for c.
5
Let q be (5 - 1110/60)/(3/(-112)). Solve 0 = -5*f + q - 509, -3*h + 10 = 2*f for h.
4
Let m be (-2 - 1)/(27/(-18)). Let d(n) = -3*n - 12. Let z be d(-5). Suppose 0 = -0*h - 4*h + 4*j - 4, -3*j = -z. Solve h = -4*y - m*k, y + k = -2*k for y.
0
Suppose 0 = 6*v - 10*v - 168. Let n = v + 46. Solve -4*f + 8 = -3*z + 5*z, 0 = -3*f + n*z + 6 for f.
2
Suppose -b - 7 = -h, 26 = -8*h + 13*h - 2*b. Solve -y = 5*m - 19, -7*y + h*m - 20 = -3*y for y.
-1
Let v = 67 + -43. Let z = -110 + 115. Suppose -3*w = -6*w + 6. Solve -3*m - 17 = 4*p, -m + z*p = -w*m - v for m.
1
Let p(d) be the first derivative of -3*d**2 - 68*d + 16. Let x be p(-13). Solve i - 3*o - x = 0, 5*i - 2 + 12 = 3*o for i.
-5
Let c(r) be the first derivative of r**2/2 + 20*r + 66. Let w(o) = -o**2 + 6*o - 4. Let g be w(7). Let m be c(g). Solve -5*t = -15, -5*y + t + m = 4*t for y.
0
Let c = -496 - -510. Suppose -c*g = 42 - 154. Solve 3*t + 3*k = 0, 6*k + g = 4*k for t.
4
Let x = 336 + -337. Let s be 5 - (-1 - (x - 0)). Solve 3*y + 40 = -2*y - 5*m, s*y = 5*m for y.
-4
Let n(o) = 11*o - 7*o + 17 + 7. Let u(m) = 9*m + 48. Let y(a) = 7*n(a) - 3*u(a). Let k be y(-10). Solve r + 4*s = -k, -2*r + 5 = -5*s - 19 for r.
2
Let o(f) = f**2 - 7*f + 3. Let r be o(0). Suppose -l - r*l + 12 = -3*x, -x + 3 = l. Solve v + 2*v + 3 = -l*s, 0 = -2*v + 6 for s.
-4
Suppose -2*i - 6 = 0, 2*g - 4*i = 43 + 9. Let c be (g/(-50))/(1/90). Let l = c - -40. Solve 5*k - 2*s - 29 = 0, -l = -4*k - 2*s + 12 for k.
5
Let g(o) = -2*o**2 - 13*o - 3. Suppose 22 + 13 = 5*f. Suppose 43 = -6*a + f. Let m be g(a). Solve -2*q + 3*t = -m*q - 4, -2*q = -5*t - 3 for q.
-1
Suppose d - 5*z = 14, 4*d + z = 6 + 8. Let c be -2*(-4)/d + 3. Solve -2*g + c*i = 15, 5 = -2*g + 3*i - 8 for g.
-5
Suppose o = -2*o + 24. Let l be 117 + -129 - (-13 - -1). Solve -4*z - o = l, -2*z = -c + z + 1 for c.
-5
Let y(l) = -7*l + 19. Let b(j) = -10 + 0 + 9. Let n(u) = -4*b(u) - y(u). Let c be n(5). Solve 5*d = -z + c, d - 2 - 6 = -z for z.
5
Let r = -2860 + 2880. Solve -2*q + 229*b = 226*b - 8, -b - r = -5*q for q.
4
Suppose 0 = 266*z - 85*z. Solve -3*o + 11 = -2*i, z = 5*o - 25*i + 21*i - 21 for o.
1
Let p = 55 - 46. Let z be 3/p*3*31. Suppose 14*s = 25 + z. Solve s*h + 9 = -w - 0, 0 = 2*h + 5*w + 27 for h.
-1
Let a = 7532 - 7527. Solve -5*k + 5*s - 19 = s, -a*k = -s + 16 for k.
-3
Let m = 114 - 113. Suppose -j = -4 - m. Suppose 4*y + 5*d = -4, 3*d = -5*y + 14 - 6. Solve -y*v - 3*f = 9, j*v + 4 + 7 = -4*f for v.
-3
Suppose 2*b + 3*h = 25 - 9, 4*h = -4*b + 24. Solve b*u - 5*y = 5*u, 3*u = -y - 12 for u.
-5
Suppose 0 = -20*n + 23*n + 453. Let s = n - -153. Solve 0 = -2*j - 5*d - 7, 4*d + 2 = -s*j - 2 for j.
4
Let x be 6*5/15 + 308. Let c = 335 - x. Solve 4*p = -p - 25, -4*o + p = -c for o.
5
Let h be (5 - 3) + -1 - 2. Let m = 381 + -389. Let o be (-7)/h + (m - -5). Solve -4*c - 10 = -2*f, o*c = 2*c for f.
5
Let d = -31 - -39. Suppose -2*l - d = 2*a, 5*l + 10 = -0*l. Let x be 3/(((-8)/(-32))/(a/(-12))). Solve 0*c + x*q = -c + 5, 0 = -3*q for c.
5
Suppose 4*s + s - 20 = 0. Let w(n) = 2*n + 10. Let t be w(-5). Let o(a) = 2*a**2 + 102*a + 199. Let u be o(-2). Solve t = 2*g - p + 1 - s, 2*g + u = -p for g.
0
Let y(g) = -568*g - 7377. Let w be y(-13). Solve w = -x - 3*f + 5*f, -2*x - 4*f = -18 for x.
1
Let v(d) = -d - 78. Let q be v(-17). Let z = q + 70. Solve 6 = -3*l + 2*c + c, 4*l + z = 3*c for l.
-3
Suppose 0 = -46*g + 39 + 191. Solve -g*q - n + 0 = 10, -n = -q + 4 for q.
-1
Suppose 84*o - 166 - 263 = -9. Solve -o*i - 20 = 4*g, 4 = 5*i - 6*i - 4*g for i.
-4
Let u be (10/30 - -1)*(-90)/(-12). Solve -2*k - 10 = 6*g - 2*g, u = -2*k + 3*g for k.
-5
Let i(y) = 2155*y + 515050. Let w be i(-239). Let j = 13 + -8. Solve 7*g + 9 = 3*g - z, j = w*g - 2*z for g.
-1
Suppose 5*h = -f + 33, -3*f = 37*h - 42*h - 19. Solve -4 = 3*j - 7, -2*j - f = 3*u for u.
-5
Suppose -270*s + 286*s = 80. Solve 0 = 3*k + 3*q + 6, 0*q + s*q - 8 = 4*k for k.
-2
Suppose 3*u + 9*i - 18 = 0, 3*u + 8*i - 5*i - 12 = 0. Let g be 17/4 - 1/4. Solve -3*v = g*w + 24, -3*w + 2*v = u - 2 for w.
-3
Suppose -4*f - 29 = -3*o, -8*o - 22*f = -24*f - 34. Solve 8 = -2*i - o*l, 2*l = 2*i - 6 + 14 for i.
-4
Let a = 10579 + -10557. Solve 0 = -4*y + m - 43 + 63, -5*y + 2*m = -a for y.
6
Let u = 24 + -19. Suppose -11 + 1 = -u*g. Solve 0 = 3*o - g*a + 3, a = 5*o - 3*o + 3 for o.
-3
Suppose -5*x = -l + 35 - 203, 2*l = -5*x + 159. Solve 4*m = -16, x*m - 36*m - 15 = p for p.
-3
Let y = -10 - -23. Let r = -116 + 119. Suppose -12*j + 9*j = -6, -2*m - 4*j = -12. Solve -r*a = 2*n + y, -a + 1 = -m*a + n for a.
-3
Suppose -21*x = -28 - 56. Let i = -443 + 452. Solve i = -4*g + m - 4*m, 0 = -2*g - x*m - 12 for g.
0
Let w = 16 - 6. Let d be 158/18 + w/45. Let k(g) = 60*g - 300. Let f be k(5). Solve -5*p + 2*h - d = 0, 4*h = -f*p - 3*p - 21 for p.
-3
Let y(f) = -7*f - 13. Let t be y(-2). Let j be (300/9 - 0) + 6/9. Let b be 5/30 - j/(-12). Solve 0 = 3*a - t - 2, 7 = 4*g + b*a for g.
1
Suppose m + 1 - 5 = v, 4*m - 16 = 5*v. Suppose v = -9*q + 7*q. Suppose g + 4 = 3*g + 3*d, 4*g - 3*d - 44 = q. Solve x + n - g = 0, 4*x - 5*n = 11 - 6 for x.
5
Suppose 260*v - 294*v = -102. Solve 0 = 14*h - 9*h - v*n - 14, 3*n = -9 for h.
1
Let c be 1/4 - (-14)/8. Let w(n) = -8*n**2 + 78 + 2*n**2 + 0*n - 15*n - 81 + 58*n. Let m be w(7). Solve 3*p + 2 = c*j, m*p - 2 = j + p for j.
4
Suppose 0 = -3*q - 2*z + 26, -15*q + 5*z = -16*q + 39. Solve -3*g + 2 = -2*x, 3*x + q*g + 29 = 9 for x.
-4
Let j be 57/12 - (0 - 6/24). Suppose 25 = 2*p - 4*d - d, -j*p - 5*d = -10. Solve m + p = -3*y, -3*m + 3*y = y - 18 for m.
4
Let h be (3 + (-28)/7)*(-2 - -4). Let t be ((-24)/16)/(h + 117/60). Solve 5*u + 2*f + 17 = 52, -5*f = u - t for u.
5
Let s(q) = 10*q - 4. Let o be s(4). Let h = o + -14. Let c(v) = -v**2 + 7*v + 3. Let u be c(7). Solve 3*y = -y - 3*m - h, 0 = -u*m - 6 for y.
-4
Suppose 0 = n - 5*u - 30, 7*n = 4*n