b = 2*b. Suppose -5*l = -b*l. Solve -t = -l*t + 2 for t.
-2
Suppose -5*k + 2*q - 10 = 0, 3 = 5*k + 2*q - 7. Solve k = -o + 4*o for o.
0
Let f be -1 - (-1 - -4) - -4. Solve -12 = -f*i + 3*i for i.
-4
Let m(o) = -2*o**2 + 1 + 2*o + 5*o**2 + 0*o**2. Let j be m(-1). Let n(w) = w**3 - w**2 - w - 2. Let x be n(j). Solve x*s - 3*s = 15 for s.
-5
Let d(m) = 3*m - 3. Let n be d(2). Solve -n + 12 = 3*r for r.
3
Suppose 3*d = 10*d - 77. Solve -5*x + 9 = -d for x.
4
Let k = -13 - -13. Solve k = -d + 6*d - 20 for d.
4
Let w = -57 + 61. Solve -w*u + 5*u = 3 for u.
3
Suppose 2*i - 25 = -3*i. Solve 3 + 7 = -i*c for c.
-2
Suppose 0*x + 2 = 4*x + 2*c, 0 = 2*x + 5*c + 11. Solve 0 = -0*d - x*d - 8 for d.
-4
Let q be -1 + 0 + -7 + 10. Solve 0*z = 2*z - q for z.
1
Suppose -3*t - x = -48, 2*x - 10 = -4*t + 52. Suppose 3 + t = 5*u. Suppose 2*z - 44 = -u*r - r, -5*r - 28 = -4*z. Solve -3*n - z = -3 for n.
-3
Let u(s) = -2*s - 7. Let a(t) = -t + 10. Let h be a(6). Suppose -4*r - 22 + 6 = -h*z, 2*z + 4 = 0. Let k be u(r). Solve 0 = -k*g + 2 + 3 for g.
1
Let l be ((-3)/9)/((16/60)/(-4)). Solve i = l*i for i.
0
Let q = 4 + 0. Solve q = -3*n - 8 for n.
-4
Let v = -3 - -13. Let r be (2/v)/((-3)/(-75)). Solve 4*n - 11 = r for n.
4
Suppose 10*g - 8*g = 0. Solve -4 = w - g for w.
-4
Let w = 31 + -21. Let h = w + 1. Let y = h - 8. Solve y*q = 4*q for q.
0
Let k(m) = m**2 - 7*m - 3. Let d be k(8). Suppose d*q = 19 + 16. Solve -4 = -b - q for b.
-3
Suppose 4*a - 20 = 2*l - a, 0 = -l - a + 4. Solve -3*v + 3 + 0 = l for v.
1
Suppose 0 = 4*s, -6*s + s + 4 = c. Solve -3 = -3*w + c*w for w.
-3
Suppose 0*s = -s + 6. Let m be (-2)/(-4)*(s + 0). Let k = 8 - m. Solve 23 + 2 = -k*r for r.
-5
Let k(n) = n**2 + 7*n + 6. Let c be k(-6). Let u(x) = -9*x + 1. Let q be u(-3). Suppose -2*f = h - 6*h + q, 8 = 3*h + f. Solve c = -i + 2*i - h for i.
4
Let v = 23 - 20. Solve v = -4*y + y for y.
-1
Suppose -2*v + 4*p + 16 = -0*v, 5*v - 3*p = 19. Solve y = -1 - v for y.
-3
Let k(w) = w**2 + 2*w - 1. Let b be k(4). Let g = -16 + b. Solve 2*s + g = -1 for s.
-4
Suppose 15 = 3*y, -2*w + 5*y - 23 = -0*y. Solve -w + 0 = -c for c.
1
Let k be ((-2)/(-3))/(1/(-3)) + 7. Solve c - k*c = 0 for c.
0
Let y be 3/15 + (-12)/(-15). Solve -11 = -2*d - y for d.
5
Suppose 8 = -4*p - 4*s, 2*p = -2*p + 5*s + 19. Solve p = -4*i + 5*i for i.
1
Suppose 2*f + 3*x + 3 = 0, f = 3*x - 2*x + 1. Suppose c = z - 1, 2*z + c = 1 + 10. Solve f = -z*l - 3 - 9 for l.
-3
Let h = 1 - 0. Let s be 12 - (1 + -2 + h). Let d be 63/s + (-2)/8. Solve -b + d = -0*b for b.
5
Let l = -4 + 4. Solve r + l = -4 for r.
-4
Let l(m) be the second derivative of 7*m**3/6 + 15*m**2/2 - m. Let a(s) = -20*s - 44. Let d(c) = -6*a(c) - 17*l(c). Let g be d(-9). Solve g = j - 6 + 2 for j.
4
Suppose 0 = 3*p + p - 64. Let j be 4/p + (-45)/4. Let n = 13 + j. Solve n*m = -3*m for m.
0
Let c = -57 - -63. Solve -4*r - 6 = -c*r for r.
3
Suppose 30 = 5*g - 0*g. Suppose 2 = -z, -5*z - 3 = -k + 7. Suppose -4*f + 8 = -k*f. Solve 0 = 4*c + f + g for c.
-2
Let o = 11 - 7. Let x(f) = -4 + 6 - 2 - 5*f. Let m be x(-1). Solve -4*z + m*z = -o for z.
-4
Let r(i) = -i**3 + 8*i**2 - i + 10. Let o be r(8). Suppose 0*f - f = o. Let u = f + 2. Solve u = s + 1 for s.
-1
Let o(h) = -2*h**3 - 12*h**2 - h - 1. Let a be o(-6). Solve -15 = -a*k - 0*k for k.
3
Let k = -1 + 6. Suppose -k*z = -5 - 15. Solve z*m + 2 = -6 for m.
-2
Let u be -3*69/(-9) - 4. Solve 4 - u = -5*l for l.
3
Let y be -2 + 5 + (-2)/2. Suppose 0*l - 10 = -2*l. Suppose l*d - 4*i + 20 = 0, 4 + 6 = -y*d + 2*i. Solve d*c + 3*c = 0 for c.
0
Suppose -51*q + 2 = -50*q. Solve a = -q*a - 3 for a.
-1
Let m(o) = o**2 + 8*o - 9. Let j be m(-9). Let y be 0/(-3)*(1 + j). Solve y = 5*w - 0*w - 10 for w.
2
Let g be (-14)/(-3)*18/21. Solve -6 = -g*b + 6 for b.
3
Let y = -16 + -17. Let j be 1*2 - (y + 9). Solve -5*o - 6 = -j for o.
4
Let j be (11/(165/(-18)))/((-4)/20). Solve 3*w + 3 = j for w.
1
Suppose 5*o - 1 = -11, 0 = v + 2*o - 1. Let y = -100 + 100. Solve 4*i - 7 - v = y for i.
3
Let d = 37 - 33. Solve -d = x - 0*x for x.
-4
Suppose 3*b = -0*b + 12. Suppose -t = b*r - 0*t + 10, -3*r + t = 11. Let h be -7*((-18)/(-7))/r. Solve h*n - 2*n - 16 = 0 for n.
4
Let b = -1 - -2. Let q(g) = -g + 6. Let k = -3 + 9. Let m be q(k). Solve m = 3*s - 5 - b for s.
2
Suppose -3*b + 14 = -b. Suppose -2*z + o + b = 2*z, 0 = 3*z + o. Solve 0 = -2*q + z + 1 for q.
1
Let p(k) = k - 2. Suppose -h = -2*h + 7. Let q be p(h). Let a(b) = -3*b - 5. Let o be a(-4). Solve o + q = -4*s for s.
-3
Suppose 0 = -3*d + x + 3*x + 13, 5*x - 4 = -3*d. Suppose -2*u = d*w - 12, u + 21 = 3*w + 6*u. Solve 0 = 3*y - 1 - w for y.
1
Let l(v) = -12*v**3 - 2*v**2 - 2*v. Let m be l(-1). Let a = m - 10. Solve 2*d - 8 = -a*d for d.
2
Suppose -8 = -2*w - 0*i - i, i = 5*w - 34. Solve 0 = w*g - 2*g - 12 for g.
3
Suppose -5*w + 6 = -3*m, 21 = 5*w + 3*m - 3. Solve 0 = -w*f + 2 - 14 for f.
-4
Suppose 10*y - 15 = 5*y. Solve y*o = 12 - 0 for o.
4
Suppose 4*b - q = 59, 4*q = b + 2*q - 13. Solve -2*k - b = k for k.
-5
Let m(z) = -z**2 + 1. Let n be m(0). Suppose -7 = 4*i - 0*i - 3*d, -1 = 5*i + 4*d. Let g = n + i. Solve -3 + g = w for w.
-3
Let t(s) = s**2 - 5*s. Let m(h) = -h**3 + 7*h**2 + 10*h - 11. Let g be m(8). Let n be t(g). Solve 0*p - p - 2 = n for p.
-2
Let z(j) = 11*j + 24. Let x(h) = 4*h + 8. Let g(f) = -8*x(f) + 3*z(f). Let n be (18/8)/(18/(-48)). Let s be g(n). Solve -o = -s*o - 3 for o.
-3
Let q(m) = -m**3 + 4*m**2 + 6*m. Let f be q(5). Suppose -14 = -f*d - 4. Let s = 136 + -130. Solve d*c = s*c for c.
0
Let p be ((-3)/(-6))/((-3)/(-90)). Solve 4*h + p = h for h.
-5
Let f be 14 - 4/((-4)/3). Solve 1 = 4*r + f for r.
-4
Suppose 6*m = 3*j + 2*m + 5, 3*j - 2*m = -1. Solve -j = -p + 1 for p.
2
Let i(l) = -l + 1. Let r be i(-8). Let b = -5 + r. Solve 2*m = b*m for m.
0
Suppose 5*o + 4 = -4*k, 5*o - k = 5 - 4. Solve o*p - 3*p = 12 for p.
-4
Let l(g) = g**3 - g**2 + 2*g - 1. Let z be l(2). Solve 8 + z = 5*v for v.
3
Let d = 55 - 53. Solve d*i = 4*i - 2 for i.
1
Let f = 30 + -14. Solve -3*a + 1 = f for a.
-5
Let u = 6 - 6. Suppose -6*k + 15 = -2*k - p, u = -2*k - 2*p + 10. Solve -k*z + 0 = -12 for z.
3
Suppose -1 = 3*a - 46. Suppose -2*i = -5*d - 6, -3*d + a = i + 4*i. Solve d = -3*h + h + 4 for h.
2
Let k = -10 - -18. Let c be 106/(-10) + k/(-20). Let y = c + 18. Solve -y*h + 8 = -3*h for h.
2
Let y be 1 - 0 - 2/(-2). Suppose y*k = 8 - 2, o - 4*k = -10. Let x(f) = -3*f**2 - 8*f - 2. Let d be x(-2). Solve d*h - 2 - o = 0 for h.
2
Suppose -2*s - 3*s + 3*x = 34, 3*s = -3*x - 30. Let m = s - -2. Let w be 140/6 + 2/m. Solve w = -5*d - 2 for d.
-5
Suppose -3*g + 8 = g. Solve 0 + g = 2*i for i.
1
Suppose -3*d = -d + 10. Let q be (0 + 9/(-15))*d. Solve -u = 2*u - q for u.
1
Suppose 6*a = -4*z + 2*a + 32, 0 = 2*z + 4*a - 26. Suppose 2*g - u = 9, g = -0*g - u - z. Suppose 3*h + 5 = g*w + 4, -4*h + 44 = 3*w. Solve -q = q - w for q.
4
Let n = 18 - 15. Suppose 4 = n*g - 5. Let d = 0 + 0. Solve 3*h - g = -d for h.
1
Suppose 0*q + q - 3 = w, -4*q + 5*w + 13 = 0. Solve -6 = -2*y + q for y.
4
Suppose 2 = -3*f + 20. Suppose 0 = -2*d + 2*a + 70, -d + 31 = -5*a - 0*a. Suppose 4*k - 2*m = 3*m + d, -8 = 2*m. Solve 6*x + f = k*x for x.
-3
Suppose 4*u = 2*j + 3*u - 3, j + 5*u = 18. Suppose 0 = -5*i - 6*z + 5*z - 15, i - 6 = -2*z. Let h be (-14)/(-6) + i/12. Solve j*o = -7 - h for o.
-3
Suppose f = -5, 5*j = -f + 2*f + 15. Suppose -33 = -5*i + 2*k, 2*k + 6 + j = 0. Solve -i*u + 4 = -1 for u.
1
Suppose -5*i + 160 = -0*i. Suppose 0 = y + 4*c + 16, -4*y + 5*c + i = 12. Solve 0 = 4*o - y*o + 4 for o.
-1
Suppose 0 = -2*c - 0*c + 2. Suppose -x = -2*a + 5, 4*a - 3*a + 14 = -5*x. Suppose -d - a = -12. Solve -2*i + d = c for i.
5
Suppose -7*m = -8*m. Solve m = 4*j - 8*j for j.
0
Let u(q) = -26*q - 11. Let k be u(8). Let j be k/(-15) - 2/(-5). Solve o - 4*o = -j for o.
5
Suppose 2*q - 7*q = 5*v - 35, 4*q - 4*v = -4. Suppose q*m + 0*r - r = -14, 2*r - 22 = 5*m. Let k be (-5)/(15/m)*2. Solve k*a = 2*a + 8 for a.
4
Let t(h) be the first derivative of -1 + 1/2*h**2 + 7*h. Let o be t(-5). Solve u - o - 2 = 0 for u.
4
Suppose r - 23 = -5*s + 2*r, 2*s - 2 = 4*r. Solve -s*w - 9 = -2*w for w.
-3
Let s be 1/(-1 + (-7)/(-6)). Suppose -f = -r + 5, 0 = 3*f - 2*f - 5*r + 25. Solve f = -4*w + w - s for w.
-2
Suppose -4*d - 72 = -7*d. 