 = 7*c + 1. Let k be w(1). Suppose -3*b + k = -b. Solve 6*f - 4*f = -b for f.
-2
Let c be 4 - (1 - (3 + 1)). Suppose -c*v + 24 + 4 = 0. Solve 6*r = v*r + 6 for r.
3
Suppose 0 = -2*k + 3 - 3. Solve k = 3*v - v + 4 for v.
-2
Let s(k) = 27*k + 254. Let n be s(-8). Solve n*a - 33*a = 25 for a.
5
Let z be 20*(-4)/(140/(-21)). Solve 0 = 2*j - 12 + z for j.
0
Let i(o) = -18*o + 11*o - 12 + 10*o. Let l be i(5). Solve -l*x + 1 = 4 for x.
-1
Suppose 0 = 5*j + 1 - 11. Suppose 0 = j*f - f. Suppose -g - g + 8 = f. Solve -g*o - 2 = 6 for o.
-2
Suppose -4*o - 23 + 43 = -5*v, -5*v - o = -5. Solve v = -3*p - 3*p - 12 for p.
-2
Suppose 2*y - 19 = o, 5*y = -2*o + 31 + 21. Solve -25 + y = 15*r for r.
-1
Let m(o) = 2*o**2 + 33*o - 5. Let s be m(-17). Solve 17*p = s*p + 15 for p.
3
Let n(x) = -x**2 - 6*x - 2. Let p be n(-5). Suppose 3*t - 4*r = -11, 0*r = 4*t - 3*r + p. Suppose -9 - 6 = -t*d. Solve 0*w - d = -w for w.
5
Let h(d) = -d**3 - 7*d**2 + 3*d + 1. Let x be h(-7). Let w = -16 - x. Suppose -w = -t - 2*b + b, 0 = -t + b. Solve -t*y + 3 + 5 = 0 for y.
4
Let s(c) = c. Suppose 2*b + x - 1 = 0, 0*x + 5 = 5*b + 2*x. Suppose 16 = -5*r - 4*z, 2*z + 3 = b*r - 5. Let j be s(r). Solve -l + 5*l - 12 = j for l.
3
Let a(f) = f**2 - 8*f - 5. Let r be a(9). Let z = -38 - -38. Solve -2*j + 3*j + r = z for j.
-4
Suppose 2 = 2*n, 3*n + 92 = 3*w + 2*w. Suppose t - 26 = -w. Solve 5 = 4*x - t for x.
3
Let b(c) = c + 1. Let u be b(-10). Let h = u + 11. Let d(l) = l**2 - 7*l + 2. Let a be d(7). Solve a = h*n - 6 for n.
4
Let u be ((-2)/(-7) - (-1098)/(-21))/(-2). Let t = 26 - u. Solve -i + t + 2 = 0 for i.
2
Let z(y) = y**3 - 6*y**2 - y + 7. Let g be (-3)/(-5) + (-27)/(-5). Let h be z(g). Let p be h/2 - (-304)/32. Solve 0 = -t - t - p for t.
-5
Let z = 1067 + -1039. Solve -6*b - z + 10 = 0 for b.
-3
Let q = -2 + 2. Let r = -3039 - -3044. Solve q = r*m - 5 for m.
1
Let p = 523 - 512. Solve p*o = -0*o - 44 for o.
-4
Suppose 3*v + 4*s + 10 = 0, 0*v - 5*s = -4*v + 28. Let r = -25 - -25. Suppose r = u - v. Solve u*i = i + 3 for i.
3
Let n(i) = -5*i - 10. Suppose a = -5*g - 3*a, 10 = 2*a. Let z be n(g). Suppose z*r - 28 = 6*r. Solve -4*f + r*f = -6 for f.
-2
Let b(q) = 4*q + 1. Let o = 24 - 23. Let c be b(o). Solve 4*d + d + c = 0 for d.
-1
Let y = 284 - 279. Solve -y*b = 18 + 2 for b.
-4
Let a(y) = 3 + 2*y**2 - 12*y + y - y**2. Let s = -456 + 467. Let o be a(s). Solve -o*l - 12 = l for l.
-3
Let y = 6 + -6. Let v(n) = n**2 + n - 1. Let d(l) = 6*l**2 + 4*l - 5. Let i(o) = d(o) - 5*v(o). Let p be i(y). Solve 0 = -p*q - 4*q + 16 for q.
4
Let o(c) = c**3 + 7*c**2 + 15*c + 25. Let t be o(-2). Solve -t*u + 58 + 17 = 0 for u.
5
Suppose -2*m = -4*f + 18, 3*f - 4*m - 6 = -5*m. Let h be (9/f)/((-3)/12*-6). Solve -a = -h*a + 4 for a.
4
Let l be 15/(-4)*(-52)/39. Suppose -l*z = 3*j - 8, 0 = j + j + z - 10. Solve 0 = 4*p + j - 14 for p.
2
Suppose 0 = 17*c - 16437 + 2735. Solve 0 = 2*g + 814 - c for g.
-4
Let s = -6 - -10. Let n = -8 + 10. Suppose 19 - 11 = n*t. Solve -3*l = -t*l + s for l.
4
Let r(u) = -11*u - 206. Let j be r(-19). Solve -j = -0*g - 3*g for g.
1
Let h = 1 - -1. Let x be (-28)/(-42) + h/(-3). Let r(q) = -q**3 + q**2 - q + 3. Let a be r(x). Solve 9 = -0*o - a*o for o.
-3
Suppose -4*k = 3*b - 60, b - 45 = -2*k - 25. Solve -b = 11*v - 15*v for v.
5
Suppose 16*r + 12 = 13*r, k - 3*r - 23 = 0. Solve 29 = -k*i - 26 for i.
-5
Let u = 1 - -2. Let y = -18 + 24. Suppose -u*c = -c - y. Solve m + 16 = -c*m for m.
-4
Let h = -72 + -4. Let w = 79 + h. Solve w*a + 0*a = 0 for a.
0
Let q = -123 + 123. Suppose -2*g + 3 + 5 = 5*i, 0 = 2*i. Suppose -m + g - 3 = 4*u, -5*m + 2*u + 5 = 0. Solve 0 = -k - m - q for k.
-1
Let c = -32 - -37. Solve c = 5*t - 10 for t.
3
Let r = -433 + 433. Solve r = l + 6*l - 21 for l.
3
Let g be (4/6)/(10*8/3720). Solve -g*c + 32*c = 5 for c.
5
Suppose 0 = -3*h - 0*g + 3*g, 6 = -3*g. Let u(j) = -j**3 - 3*j**2 - 4*j - 3. Let n be u(h). Let c be 1/(-4) - (-54)/24. Solve -n = c*l + 5 for l.
-3
Let m be (-27)/(-12) - 5/20. Suppose 0 = m*p - 2*s - 9 - 1, 2*s - 25 = -5*p. Solve p*y - 6 = -26 for y.
-4
Let i = -1346 + 1384. Solve 0 = -r - 43 + i for r.
-5
Let y(q) = -q**2 + 5*q + 3. Let l(f) = -2*f - 4. Let i be l(0). Let p be i/2 + (-63)/(-9). Let s be y(p). Solve -x = -s*x for x.
0
Let o = 1570 + -1539. Solve -o*i + 32*i + 2 = 0 for i.
-2
Suppose -2 = -d + 3. Solve -8*n - 6 = -d*n for n.
-2
Let k(j) = -j**3 - 6*j**2 + j - 3. Let s be k(-6). Let p = 0 + s. Let y be (-4)/18 - 20/p. Solve 2*l - 4*l - y = 0 for l.
-1
Let z = 26 - 24. Solve z*y - 2 = 3*y for y.
-2
Let j(k) = -k**2 - 2*k + 2. Let i = -14 - -10. Let a be j(i). Let y be (-88)/a + 3/9. Solve 0*r = -3*r - y for r.
-5
Let w = -11 + -5. Let z be (1 - w/(-2)) + 4. Let t = z - -3. Solve -5*o + t*o = 0 for o.
0
Let t(v) = -v + 1. Let a(c) = 10*c - 12. Let u(m) = -2*a(m) - 18*t(m). Let h be u(3). Suppose 4*p + 4 - 16 = h. Solve 0 = g + 2 + p for g.
-5
Let m(x) = x**2 + 15*x + 9. Let k(z) = -z. Let a(b) = -k(b) - m(b). Let n be a(-13). Suppose 0*s = -n*s + 48. Solve 0*t + s = 3*t for t.
4
Suppose -9*c + 36 - 18 = 0. Solve c = -9*y - 43 for y.
-5
Suppose -5*n + 10 = -0*n, 3*m + 6 = 3*n. Solve m*y - 15 = -5*y for y.
3
Let c = 1 - -1. Suppose 4*u = c*t + 30, 0*u + 3*u = -3*t. Suppose p - 5 = -u*g, 4*g + 4 - 29 = -5*p. Solve p = 4*l - 3 for l.
2
Suppose -1 = -2*r + 3*r. Let s be 10*-1*r/2. Suppose 2 = 2*k - k + 2*l, 4*k - s*l = 47. Solve -k = 2*p - 0*p for p.
-4
Let x be 1505/(-40) + 3/(-8). Let b = x - -65. Suppose 4*t + f = -0*f + b, 0 = t + f - 9. Solve z + 4 = t for z.
2
Suppose -3*v + 3*d = 0, -5*v + d = 2*d. Solve 10*z - 13*z + 15 = v for z.
5
Let d be -1 + 3 + 1*3. Let s(o) = -2*o**2 + 13*o + 3. Let z be s(6). Suppose -3*p - z = 3*m, -2*p - 7*m = -3*m + 12. Solve p = d*k - 14 + 4 for k.
2
Suppose -112 = 8*v - 160. Solve 6 - v = -4*q for q.
0
Suppose -j = -2*j + 4*s + 35, 5*s + 129 = 4*j. Solve 11*a + 24 = -j for a.
-5
Let d(l) = -2*l**2 - 33*l - 81. Let z be d(-13). Solve -z = -3*y + 2 for y.
4
Let d be (276/8)/(30/40). Solve d*u + 9 = 49*u for u.
3
Suppose -q = -2*h - 13, 0 = -5*q - h + 6*h + 70. Let n be (12/q)/(153/75 - 2). Solve 0*u + n = -5*u for u.
-4
Suppose -i + 5*n + 14 = 6, -1 = n. Let h(t) = t**3 - 2*t**2 - 3*t + 2. Suppose -5*o + 3 = -3*m, o + 5*m - 17 = 2*o. Let j be h(o). Solve -j = -i*s + s for s.
1
Let i(g) = 0*g - 2*g + 3 + g. Let a be i(3). Suppose 4*r - 2 - 78 = 0. Solve -5*d + d - r = a for d.
-5
Suppose 3*a = -3*o + 15, 2*o - 4*a = -9*a + 16. Solve 2 = o*i - 4 for i.
2
Let q = 131 - 109. Let c(r) = -7*r - 1. Let l be c(-1). Let w be q/18 + l/(-27). Solve -m = w + 2 for m.
-3
Suppose -3 + 11 = -2*n. Let y be 128/20 - n/(-10). Solve 3*q - y*q = -6 for q.
2
Let l(d) = -d**2 + 11*d + 4. Let f be l(10). Suppose 0 = -4*m + 2*s + f, -s = s + 2. Suppose 2*t - 1 = 1. Solve -m = n - t for n.
-2
Suppose -560*g + 78 = -271*g - 263*g. Let f(u) = u**3 + 2*u**2 - 4*u - 3. Let q be f(-3). Solve q = g*w + 3 - 0 for w.
-1
Let a = -86 - 3. Let c = a - -91. Solve o + 3 = -c*o for o.
-1
Let r be 1*(3 - 1)/2. Let u be 2/2 - (r + -10). Solve -5*n = -u - 10 for n.
4
Suppose -5*g + 42 = 32. Solve -g*h = 3*h + 10 for h.
-2
Let l(j) = 8*j + 7 - 3*j + 5*j - 13*j. Let x be l(-3). Solve 4*i + 0*i = x for i.
4
Let j = -2 - 1. Let t be 5 - (4 + j + 0). Solve t = -2*a + 4*a for a.
2
Suppose 13*f - 2*f = -363. Let c = -25 + -8. Let k = f - c. Solve -3*t - t = k for t.
0
Let s be (1 - 3)*(-5 - 3 - -5). Solve 3 = s*x - 5*x for x.
3
Suppose 48*f - 47*f = t + 74, -2*t - 224 = -3*f. Solve -6*w - 64 = -f for w.
2
Suppose -9*m - 13 = -238. Solve 23 = m*h - 102 for h.
5
Suppose -5 = -0*r + 5*r. Let y(g) = -4*g**3 - 2*g**2 - 2*g - 1. Let f be y(r). Suppose 0*t + 3*t - 3*z = -f, 1 = 5*t - 2*z. Solve k = -0 + t for k.
1
Let z(b) be the third derivative of -b**5/60 + b**4/4 + b**2. Let u be z(5). Solve 25 = -5*k + u for k.
-4
Suppose 3*x = x - 34. Let p = -17 - x. Solve i - 2*i + 1 = p for i.
1
Let o(d) = -2*d - 12. Let x be 3/6*(-4 + -14). Let a be o(x). Suppose 0 = -q + a*q - 5. Solve -q = r - 4 for r.
3
Let v = -12 - -32. Let f = -18 + v. Solve -f*q = -0 + 4 for q.
-2
Let v be -2*((-63)/(-6))/(-7). Suppose -4*a + 6*a = 0. Solve v*h = 3 - a for h.
1
Let i = -521 - -526. Solve -3*s + 2*s = i for s.
-5
Suppose -4*t + 8 = -0*t + 3*n, -n + 5 = -t. L