20 = v, 5*v + 15 = 5*c. Let l(m) = m**3 + m + 5. Let h be l(0). Solve w = c*q - 1 + h for q.
-1
Suppose p - 2*d = 40, -3*d - 173 = -5*p + 48. Suppose -41*w = -p*w + 15. Solve 0 = -w*k + 10 - 4 for k.
2
Suppose -5*x + 4*l = -109, 5*l - 24 - 13 = -2*x. Let a = x + -17. Solve a*j = j for j.
0
Let i be ((-8)/6)/(2 - (-60)/(-27)). Suppose -i*t + 16 = -2*t. Solve -t*h + 7 = -9 for h.
4
Suppose 0 = -9*f - 18 + 90. Solve 6*v - 16 = f for v.
4
Let f = -521 + 296. Let n be f/(-63) - (-3)/7. Solve 4*x + n = 8 for x.
1
Suppose 3*k - 8*k - 33 = -3*j, j + 2*k = 0. Let w be 17*1 - (3 - j). Solve -4*z - z = -w for z.
4
Let m be (5 - (7 + -1)) + (2 - -17). Solve m - 38 = -5*j for j.
4
Suppose 2*z = 10, -y = 4*y - 3*z - 5. Suppose 3*h - 2 = q - 1, y*h = q + 2. Solve 0*x + q*x - 8 = 0 for x.
4
Suppose 0 = 3*d - 122 + 101. Solve 1 = -2*n - d for n.
-4
Suppose -2*h - 4 = -h. Let p = -22 - h. Let d = p - -22. Solve -16 = -d*a - 0*a for a.
4
Let n = 11 - 4. Let l = n - 2. Suppose l*a - 2 = 3. Solve -a + 6 = -q for q.
-5
Let s(d) = -3*d**2 - 11*d - 4. Suppose -18 = 2*t + 3*c, 4*t + 1 = 4*c + 5. Let w be s(t). Solve 3*i - w - 4 = 0 for i.
2
Let p = 575 + -569. Solve -5*b = -8*b - p*b for b.
0
Let k be (-12)/9*(-18)/(-12)*-6. Solve 20*w - k = 16*w for w.
3
Let g = 982 + -963. Solve 9*t = g + 26 for t.
5
Let q(u) = -9*u - 85. Let g be q(-11). Solve 16 + g = 6*c for c.
5
Let j = -149 + 142. Let a(z) = -z**2 - 11*z - 28. Let q be a(j). Solve r = -2 - q for r.
-2
Suppose -z = -5*z + 12. Suppose -3 - 7 = -2*p. Solve 2*a - z = -p for a.
-1
Suppose -4*n = -15 - 1. Suppose -4*x = -3*x - n. Suppose x*y = y. Solve -2*u - 2 - 2 = y for u.
-2
Let n(t) = -5*t - 19. Let h(m) = m. Let g(a) = -2*h(a) - n(a). Let w be g(-5). Solve 17 + 3 = -w*p for p.
-5
Let f be (-50)/60 + (-202)/(-12). Solve 0 = 19*n - f*n for n.
0
Suppose -3*w - 54 = -9*w. Let u be (6/w)/((-6)/(-225)). Solve -5*x - u = -0*x for x.
-5
Suppose 0 = 4*q + 3*m - 6 + 2, -3*m - 20 = -2*q. Solve -3*f + 5*f = -q for f.
-2
Let f be (3 - (0 - -3 - 0))/(-2). Suppose -c + 25 = 5*x, f*c - 7 = 2*x - 3*c. Let q(g) = 15*g**2 - 2*g - 1. Let p be q(-1). Solve 0*l = x*l + p for l.
-4
Let p(h) = -9*h**2 + 55*h + 2. Let j be p(6). Solve 0*d + 4*d - j = 0 for d.
2
Let n(h) = -h**2 - 15*h + 555. Let z be n(17). Solve -z*f = 2*f - 39 for f.
3
Let x(t) = -5*t**3 - 3*t**2 - 8*t - 6. Let k be x(-1). Solve c = -7 + k for c.
-3
Suppose -20*b - 20 = -140. Solve 31 = b*j + 1 for j.
5
Suppose 0 = -10*x - 47*x + 2850. Solve -8*f + 50 = x for f.
0
Let h = -3122 - -3130. Solve 10*i - h + 48 = 0 for i.
-4
Suppose 0 = -4*n + 2*n - 128. Let i = n + 93. Solve 0 = 5*q + 9 - i for q.
4
Suppose -18*v = -19*v + 4. Suppose v*k + 5 = 21. Suppose 0 = -5*t - 5*o + 65, -5*t + 0*t + o + 71 = 0. Solve -2 = k*p + t for p.
-4
Suppose 4*v = z + 9 - 36, -z + 27 = 5*v. Solve -9*s + z = -18*s for s.
-3
Suppose 35*d + 15*d = 0. Solve d = 8*g + 9*g - 7*g for g.
0
Let y = 22 + -22. Suppose y*d = -d + 34. Solve 4*q - 14 = -d for q.
-5
Let y = -2 + 3. Let t be (-69)/(-21) + (-2)/7. Suppose -5*h = 0, t*i - 4*h - 12 = -8*h. Solve -y = -i*m + 3 for m.
1
Let k(j) = 3*j**3 + 64*j**2 + 18*j - 60. Let r be k(-21). Suppose -3*o - 3*x = 2*x - 37, -o - 3*x + 19 = 0. Solve 5*g = o*g - r for g.
-3
Suppose -4*b = 4*h - 20, -b = -2*h + 18 - 5. Solve 4*g - h = -2*g for g.
1
Let i(k) = -2*k - 5. Let z be i(-6). Suppose 4*b - 9 = z. Let y = -2 + b. Solve 0*r + y*r = 0 for r.
0
Suppose -29*p = -16*p - 208. Solve -p*u + 5 = -21*u for u.
-1
Let z be ((3 - 1)/(-1))/((-27)/(-108)). Let i = -6 - z. Solve -i*t + 9 - 3 = 0 for t.
3
Suppose -13 = -7*v + 36. Let m be (3/(-3) + 8)*v/7. Solve 0 = -2*f + m*f for f.
0
Suppose 5*l - c = 3*c + 160, 0 = -5*c. Solve -5*q + l = 7 for q.
5
Let v(g) = 4*g**3 + g**2 + g + 1. Let d be v(2). Let j = d + -19. Solve j = -4*z - z for z.
-4
Suppose -5*n + 124 = -3*l, -2*n + 5*n + 2*l - 82 = 0. Suppose -5*k - 5*y + 30 = 0, -n + 0 = -5*k - y. Solve -k*p = -p for p.
0
Suppose m = 2*z - 7, z - 40 = -4*z - 5*m. Let o(u) = -7*u - 6. Let x be o(-3). Suppose 2*y + x + 2 = 5*c, 0 = z*y - 4*c. Solve 10 = -2*i + y for i.
-3
Let q = 122 - 120. Solve 5*m + 2 = q for m.
0
Let h = -79 - -84. Solve -y - 20 = -h*y for y.
5
Let p = -11 + 15. Let l(t) = t**2 + 8*t + 4. Let s be l(-6). Let d = s + 15. Solve -d = p*x + 5 for x.
-3
Let p(k) = -40*k + 1123. Let m be p(28). Let l(t) = -4*t**3 - 1. Let b be l(-1). Suppose 0 = 3*d - b - 3. Solve -m*y = -2*y - d for y.
2
Let d = 14 - 7. Suppose -4*a + d + 17 = 0. Suppose a*l - 3*l - 12 = 0. Solve 4 = l*z - 3*z for z.
4
Let k(s) = 4*s + 1. Let r be k(0). Let l be ((9 - r) + 2)/2 - 0. Solve -30 = -l*f - 10 for f.
4
Let b(g) = 25*g + 2651. Let x be b(-106). Suppose 0 + 5 = r. Solve -2*k + r = -x for k.
3
Suppose -b - 6 = -16. Let x = 15 - b. Solve -2*t = -x*t for t.
0
Let a(n) = -n**2 - 15*n + 7. Let t be a(-15). Let k = -6 + t. Solve 4*q + k = 5 for q.
1
Suppose 24 = -18*d + 24*d. Suppose 4*y - 151 = -5*s, 0 = -y - 3*s + 2*s + 38. Suppose -i + d*i = y. Solve -5*t = -i - 7 for t.
4
Let f(i) = i**3 - 30*i**2 + 28*i + 34. Let m be f(29). Solve -2*a = -m + 5 for a.
0
Let r = 310 + -310. Solve r = -u + 3*u for u.
0
Suppose -11*x + 5*x + 450 = 0. Suppose -3*v = -8*v + x. Solve -4*q - q = -v for q.
3
Let z = 145 - 130. Suppose -2*c + 7 + 11 = 4*u, -4*u = -2*c - 14. Solve b + z = u*b for b.
5
Suppose 0*d - 2*d = -3*f + 19, f - d = 8. Let t(k) = k**3 - 2*k**2 + k. Let q be t(f). Solve 2*b = -2 + q for b.
5
Let x be 0 - (-8 - (2 + -8 - 0)). Solve -x = 2*n + 2 for n.
-2
Let u = -911 + 920. Solve 5*z - 4 = u*z for z.
-1
Let z = 21 + -16. Suppose 0 = 2*o + z*g - 29, -o = -2*o + 5*g - 23. Solve 0 = o*q + 2 for q.
-1
Suppose d + 1414 = 5*v, 568 = -12*v + 14*v - d. Solve -5 = 283*k - v*k for k.
-5
Let r(w) = w**3 - 7*w**2 - 8*w + 7. Let a be r(8). Suppose f = 6 + a. Let m = f + -10. Solve -m*v + 0 = -3 for v.
1
Let c be (3 - 1)/4*0. Suppose c = -f + 3. Suppose 0 = 4*a - 3*w - 14, 8 = f*a + w - 2*w. Solve a*t = 3*t + 4 for t.
-4
Suppose 0*d = -d. Suppose m + 3*m = d. Let u(v) = v**3 - 12*v**2 + 12*v - 8. Let p be u(11). Solve m = 4*a + 13 + p for a.
-4
Let c(i) be the first derivative of i - 4*i**2 - 8/3*i**3 - 1/4*i**4 + 3. Let j be c(-7). Solve -j = -5*w - 33 for w.
-5
Suppose 0*x = -4*a + 3*x + 8, 2*x = 2*a - 2. Suppose v = 3*k + 2*v - 4, 0 = 3*k + a*v - 20. Let s = 16 - 6. Solve 6*h - h + s = k for h.
-2
Suppose -i + 170 = 4*i. Let n = i - 29. Solve n*f = -0*f + 10 for f.
2
Let r = 212 + -211. Solve -3*h + 2*h = -r for h.
1
Let y(q) = -2*q + q**3 + 2*q**2 + 2 + 5*q**2 - 5*q**2. Let o be y(2). Let t = o + -13. Solve t + 2 = 3*l for l.
1
Suppose 8*q - 4*q - 64 = 0. Suppose -4*f + 0 = -q. Solve f*s = -3 - 1 for s.
-1
Suppose -5*u = 4*l - 41, -2*l - 4*u + 40 = 2*l. Suppose 2*r - l = -r. Solve r = 2*m + m for m.
1
Let u(f) = -2*f - 6. Let n(y) = 1. Let b(o) = -6*n(o) - u(o). Let d be b(-3). Let i = 10 + d. Solve -2*z - 12 = -i for z.
-4
Suppose v - 70 = 6*v. Let o(r) = r**3 + 15*r**2 + 14*r. Let l be o(v). Solve 3*u - 6 = -l*u for u.
2
Suppose 5*l = -5, -5*h = -4*l - 3 - 1. Solve 3*t - 4 - 2 = h for t.
2
Let w(q) = q + 9. Let m be w(-8). Suppose -5*x - 5*d + 7 = -2*x, -m = -x - 3*d. Solve x*r + 2 + 2 = 0 for r.
-1
Suppose -5*m = -25, 3*m - 263 = -3*j + 8*m. Let g = -76 + j. Solve -g = y + 3*y for y.
-5
Let f be (-5)/(6 - 1)*(-1 - 11). Solve 15*m - 63 = f for m.
5
Let f(b) = 2*b**3 + 11*b**2 - 11*b - 26. Let t be f(-6). Solve 0 = -t*u - 34 + 18 for u.
-4
Let y(j) = j**3 + 5*j**2 - 9*j - 22. Let b be y(-6). Let c be -2*b/(-24)*(-1 + -2). Let p be (-6 + 1 + 0)*-1. Solve h + p = c for h.
-4
Let r be 2 + (0 - 2)/(-1). Suppose -38 = -r*h - 14. Let t = -3 + h. Solve 1 = -2*x + t*x for x.
1
Let p(k) = 2*k**2 - 16*k + 3. Let d be p(0). Solve 6*x - 3*x + d = 0 for x.
-1
Let s = 657 - 622. Solve 41*t + 18 = s*t for t.
-3
Let y be 2*((-52)/(-8) - 5). Suppose 0 = c - 3*v - 6, y*c + 2*v + 2 = 9. Solve c - 6 = -g for g.
3
Suppose -617*o + 616*o = -7. Solve -4*y = -13 - o for y.
5
Let h = 12 + 12. Let l = 31 - h. Solve -1 = 2*r - l for r.
3
Let c be 1/(-2 - (-18)/8). Let u(m) = -m - 12. Let w be u(-8). Let r be w + c + -4 - -11. Solve -r - 2 = -3*f for f.
3
Let k be (156/(-104))/((-7)/4 + 1). Solve 0 = 8*u - 22 - k for u.
3
Let v = -316 - -327. Solve 1 = -12*d - v for d.
-1
Sup