*f - c for n.
0
Suppose 103 = 9*d - 122. Suppose 5*c = w - 0*c - 20, -w = -4*c - 19. Solve -3*p = -p + 3*j + d, w = -3*j for p.
-5
Let b = 0 - 0. Suppose 0 = 4*m + 4*f - 68, -76 - 17 = -5*m - 3*f. Let x = -16 + m. Solve b = 3*u + p - 1, -20 = x*p - p for u.
2
Suppose 0 = -2*d - 5*o - 0*o - 12, -4*d + 5*o + 36 = 0. Solve 3 - 19 = d*t + 2*y, -5*t = 2*y + 19 for t.
-3
Let f = 25 + -24. Let n(a) = 56*a**2 - a + 1. Let d be n(f). Let w = d + -39. Solve 4*s = -s - 3*h + w, 0 = 4*s - h for s.
1
Suppose c - 26 + 11 = -5*n, -3*c - 9 = -3*n. Let w be 8/((c - 1)/(-1)). Let z = 12 - 9. Solve 0 = -2*h + 3*j - w, -z*h + 2*h + j - 3 = 0 for h.
-1
Let i = 57 + -51. Suppose -3*j = -5*g + 2*g + i, 4*g = -5*j + 8. Solve 13 = -g*w - z, -3*w = -3*z + 2 - 5 for w.
-4
Let t be (-49)/14 - 882/(-28). Solve -5*y - 3*j + t = 0, 3*j - 23 = -4*y - 0*j for y.
5
Let d be ((-28)/(-3))/(56/42). Solve 5*l = 5*q - 40, l = -3*q + 5 + d for l.
-3
Let f be 1*26/(-39)*18/(-4). Let b(y) = y - 5. Let k be b(7). Suppose -2*r = k*r - 8. Solve -13 = r*c - 3*w, -f*w = -c - 2*w - 5 for c.
-2
Suppose -4*i + 2 = -2, -9 = -2*d - i. Suppose 2*r + 8 = 2*a - 10, -d*r - 24 = -2*a. Solve 4*v - 5*y = 15, 4*v + 4*y = 2*y - a for v.
0
Let s(x) = 2*x + 19. Let p be s(-8). Let y be 3/9 + 47/p. Solve 0 = -4*w + 4*u - y, w - 1 - 1 = -5*u for w.
-3
Let s = -1234 + 1239. Solve -5*i = -s*m - 40, 4*m + 0*i - 5*i = -37 for m.
-3
Let o(i) = -3*i**2 - 31*i - 74. Let c be o(-6). Solve 3*r + c*l - 3 = 0, 2*r - 1 = l + 1 for r.
1
Suppose 4*t = 2*l + 2, -2*l + 1 + 3 = -2*t. Solve 0 = -t*r - 3*g - g - 4, 0 = 5*r - 2*g - 2 for r.
0
Suppose -6*r - 3 - 15 = 0. Let s = r - -5. Let c(h) = h**3 + 4*h**2 - 5*h + 3. Let j be c(-5). Solve -s*t + 6 = n - j, 0 = -3*t + 9 for n.
3
Let r be 13494/169 - (-2 + (-24)/(-13)). Let z = -77 + r. Solve -2*f = -4*q - 4, q - f - 13 = z*f for q.
-3
Let y be (-16)/(-12) + (-7)/3. Suppose 5 = -5*q, 4*x - q + 2*q - 19 = 0. Let j = x + y. Solve 1 = -2*v + b, 3*v - 4*b - 2 = j for v.
-2
Let k be 1*(-1)/2*-1*0. Let r(t) = -t**2 + 5*t - 2. Let b be r(4). Let a be 3 + (-57)/15 + 324/30. Solve -3*o - m - a = -k*o, -4*m = b*o for o.
-4
Let p(i) = 2*i**3 - i**2 + 12*i - 12. Let g(n) = -n**2 - n + 1. Let r(l) = 4*g(l) + p(l). Let s be r(3). Solve -h = 5*q + s, -3*h - 15 = 2*q - 5 for h.
0
Suppose -61 + 9 = -13*m. Let x be ((-3)/(-2))/3*0. Solve 3*h = -k + m*k + 15, 5*h + 2*k - 25 = x for h.
5
Suppose 4*m + 44 = -5*o, -3*m = -3*o + 17 + 16. Let q(n) = -n**2 - 14*n - 19. Let k be q(m). Solve -4*p = -l - k, -l + 18 = -0*l + 4*p for l.
2
Let b(p) = -17*p - 14. Let g = -7 - -6. Let n be b(g). Solve -n*o = 3*t, -t + 3*o + 2 = 2*o for t.
1
Suppose -6 = -19*v + 51. Solve 4*r + 26 + 2 = 4*s, 2*s - 16 = v*r for r.
-2
Let w be (-2310)/54 - 4/18. Let k = w - -12. Let q = -16 - k. Solve q = d - 5*j - 5, 15 = -3*j for d.
-5
Suppose 4*b + 8 - 12 = 0. Suppose 4*m - 5*w - 2 = 0, -5*w = -5*m + b + 4. Solve i = -4*d - 19, 3*d = -18 + m for i.
1
Suppose -5*f - 47 = -h, -f - 20 - 73 = -4*h. Suppose -h + 18 = -t. Let d(l) = l**2 + 9*l - 12. Let o be d(-11). Solve -t*m = -3*k - 18, -o = 5*k - 0 for m.
3
Suppose 0 = 5*i - 3*b - 10 - 25, 4*i + 5*b = -9. Suppose -j - i*j - 3*j = 0. Solve 0 = 4*a - 2*g + 22, -5*a + j*a - 10 = g for a.
-3
Let x be (-3)/((-147)/(-14)) - 37/(-7). Solve -2*s + 6*s = x*h + 20, -h - 25 = -5*s for h.
0
Let s(d) = -2*d - 29. Let g be s(-15). Suppose g = -i + 2*i - p, -p - 11 = -3*i. Solve -5 = -2*u + z, -25 = u - 4*u + i*z for u.
0
Let h be 54/(-45)*20/(-6). Suppose 0 = h*l - 5*l - 40. Let i be (3/(-2) - -1)*l. Solve 0 = -3*x + 2*x - 2*c + 5, 4*x = -4*c + i for x.
5
Let r = 7 + 2. Suppose 0*s - 3*s = -5*u + r, 2*u - 14 = -4*s. Let q be 4 + ((-24)/(-2))/u. Solve 3*p = 3*t, -2*t + t - 3*p + q = 0 for t.
2
Let a(i) = -i**2 + 5*i - 1. Let v be a(3). Let w be 9/11*517/141. Solve 3*h - w*l + 0 = -3, v*l = 4*h + 9 for h.
4
Suppose a - 2*b - 6 = 0, 9*a - 5*b - 18 = 5*a. Solve -o - 1 = a*s - 2, 5*o = 2*s + 29 for o.
5
Let j(r) = 2*r**2 + 8 - r**2 + 7*r - 15. Let p be j(-7). Let d be (6/21)/((-1)/p). Solve a = -3*i + d*a + 9, -i - a + 7 = 0 for i.
4
Suppose -3*c - 3*b + 3 = 0, c = -0*c + b - 1. Suppose 4*p = -x + 42 + 3, -2*p - 2*x + 18 = c. Solve -4*r + 2*r + p = 2*q, 3*r = q + 14 for r.
5
Let j(f) = -f**3 + 10*f**2 - 11*f + 21. Let u be j(9). Suppose 5*z - 19 = u*y, 0*y + z - 9 = -2*y. Solve -3*m + 2*m - 1 = -2*w, y = -w - 2*m for w.
0
Let c = 36 + -31. Let s(z) = 2*z - 8. Let x be s(c). Solve f + 5*r + 17 = 0, -r = -x*f + 4*r + 26 for f.
3
Let l be (1/3)/((-2)/(-18)). Let s = 35 + -27. Suppose -2*p = -5*q - 2 + 12, 3*q = -3*p + 6. Solve p = l*d + s - 2, i + 4*d = -3 for i.
5
Let f(v) = v**3 - 7*v**2 + 3*v - 15. Let n be f(7). Suppose -n*z = -z - 20. Solve j = -z*l - 5, -4*l - 1 = -2*j - j for l.
-1
Let f = -4 + 2. Let h = 2 + f. Solve -3*r - 3 = -3*g, r - 7*g + 3*g - 2 = h for r.
-2
Let u = 232 - 218. Solve -2*y - 2*a + 10 = 0, -2*y + 2*a - 4 = -u for y.
5
Let z = 153 + -21. Let k = z - 130. Solve k*g = 4*m - 16, -4*m + m = 4*g - 1 for g.
-2
Let k(t) = t**2 + t + 2. Let q = -30 - -30. Let o be k(q). Solve -o*m + 10 = -r - r, 4*r + 8 = m for r.
-1
Let q(v) = 2*v**2 + 10*v - 14. Let f(y) = -y**2 - 10*y + 13. Let k(g) = -3*f(g) - 2*q(g). Let d be k(8). Solve -4*j + d*c - 25 = 0, -c = -j - 3*c - 3 for j.
-5
Let w = 28 + -15. Suppose 5*c - 18 = 2. Let j(s) = -3*s + 24. Let g be j(c). Solve 4*t - 3*r = w, 3*t - r = 2*r + g for t.
1
Let q(b) be the first derivative of -b**4/4 + b**3 + b**2/2 + 3*b + 8. Let d be q(2). Let m = 0 + d. Solve 0*y + 28 = -5*j + 3*y, j - 4*y = -m for j.
-5
Let p be -1 - (42/(-7) - -2). Solve -5*n - 4 = -2*q + 2, 2*q - 6 = -p*n for q.
3
Suppose -186 = -3*h - 28*h. Solve 7 = -3*t + o - h, -5*t + 5*o = 35 for t.
-3
Let o = 216 + -212. Solve 0 = -d - 3*q + 4, -3*d + q - 4 = o for d.
-2
Suppose 2*t = -s - 1, 2*t - 3*t + 1 = s. Suppose s*i - 3 - 3 = 0. Solve c - 5 = -v, 5*v - 17 = -4*c + i*v for c.
2
Let d(y) = -y**2 + 8*y + 1. Let z be d(9). Let u be (-2)/2*z - 1. Suppose 0 = -3*o + 23 + u. Solve 0 = i + l + 1 + 1, 5*l = 5*i + o for i.
-2
Let n(w) = w - 3. Let v be n(10). Solve r - 3*x = -10, -v = -x - 2 for r.
5
Suppose -2 = -3*n - 14. Let y be -3 - -2 - (0 + n). Suppose c = 5*q + y - 1, -c = -3*q - 12. Solve -4*i + 7 = -5*d + c, 4 = d + 5*i for d.
4
Suppose 9*a - 4 = 8*a. Let t be (-12)/3 + a - -3. Solve -t*s + c - 12 = 0, 1 - 5 = s + 4*c for s.
-4
Suppose x = 7*j - 6*j + 20, 62 = 3*x - 4*j. Solve -5*w - 2*f = x + 10, 0 = -5*w + 4*f - 4 for w.
-4
Suppose 5*y = 20, 3*i + 3*y + 3 = 8*i. Suppose i*c = -5*f - 27 - 158, 2*f + c = -73. Let o = 34 + f. Solve d + 2 = z - 2, -d - z = o for d.
-2
Suppose -27*b = -114 - 48. Solve k - 1 = 2*y - 3*y, 3*y - b = 0 for k.
-1
Let q be (-1)/(-2) + (-180)/360. Solve 0 = -3*u - q*u - s + 2, -2*u = -2*s + 12 for u.
-1
Let j = 343 + -340. Solve 9 + 5 = -2*i + 4*u, 3*i - 6 = -j*u for i.
-1
Suppose -102 + 10 = -2*u. Suppose 4*i = -30 + u. Solve -3*y - 4*v - 8 = 0, 5*y + 2*v = y - i for y.
0
Suppose -11*g = -204 - 5. Suppose y - b = -2*y + 11, 0 = 5*y - b - g. Solve 2*k = -2*n - 0*k + 2, y*n + 3*k - 2 = 0 for n.
-1
Let c(k) = k + 3. Let f be c(-3). Solve 5*b - 12 = 3*t, -2*t + 1 + 1 = f for b.
3
Let a(k) = k**3 - 3*k**2 - 2*k + 3. Let y be a(3). Let q be (1/y)/((-7)/42). Solve 5*z = -2*r - 3, -2*r + q*z = -r + 6 for r.
-4
Suppose 0*a = -19*a + 76. Solve -n + 15 = -a*i, i + 2*i = 5*n - 24 for n.
3
Suppose m + 9 = 5*n - 7*n, 5*m - 5*n - 30 = 0. Let o be (-650)/(-39) - m/(-3). Solve 0*h + o = -h - 5*u, -3*u = -2*h + 18 for h.
3
Suppose 0 = -7*i - 12 + 96. Solve -6*h + i = -3*o - 3*h, 3*o + 8 = h for o.
-2
Let y be ((-8)/(-10))/((-2)/30). Suppose 0 = 4*u - 3*t - 116, u - 4*t - 2 = 40. Let q = u + y. Solve 2*s - 4*c = -q, 0 = 2*s - 2*c - c + 12 for s.
-3
Let a be 0/(-2*(-9)/6). Solve 11*p - 6*p = 4*m - 23, a = -4*m - p + 5 for m.
2
Let f be ((-5)/(75/(-54)))/(6/20). Suppose 3*s + 4*k - f = 0, -4*k = -2*s + s + 4. Solve -4*r = -4*d + 24, s*r - 7 = -4*d + 1 for r.
-2
Let j(q) = 12 + q - 2*q - 36 - 3*q. Let a be j(-6). Solve a = 2*d + 2*d - 12, 21 = 2*o + 5*d for o.
3
Suppose 2*z + 15 = 19. Suppose 5*j = 3*j + 14. Suppose j*n = 4*n + 9. Solve n*f + f - 8 = -z*u, -3*u = 5*f - 9 for f.
3
Suppose -t - t - 14 = -2*r, -3*t - 29 = -5*r. Let l(b) = 53*b + 321. Let u be l(-6).