 = o*b for b.
0
Let c(n) = 2*n - 2. Let h be c(2). Suppose -3*a + 2*r + 6 = 0, h*a - 13 + 2 = -r. Solve 0 = a*s - s + 3 for s.
-1
Suppose 4*y + h - 23 = 0, 5*y - 13 = 4*h - 0*h. Solve 6 = -y*j - 4 for j.
-2
Let v(w) = -w**3 + 7*w**2 - 6*w + 4. Let i be v(6). Let p(r) = -5*r - 2. Let s be p(-2). Suppose 3*o + q - 24 = 29, -i*q + s = 0. Solve -5*a = -8 - o for a.
5
Let t be 7*(4 + (-64)/28). Solve -a - 2*a + t = 0 for a.
4
Let t(q) = -5*q + 2 - q**2 - 3 - 8 + 10. Let y be t(-4). Solve 0 = y*x - 10*x for x.
0
Let o = -15 + 9. Let j = 0 + o. Let c be (-122)/j + 1/(-3). Solve 6*d - d = -c for d.
-4
Suppose 0*a + 2*a = -5*b - 4, 4*b - 24 = -5*a. Solve -3*q + 4 = -a for q.
4
Suppose w + 2 = 2*b, 2*w + 2 - 8 = -b. Let x(o) = -o**3 - 8*o**2 - 8*o - 2. Let l be x(-7). Suppose -2*i - l = -25. Solve -4*m + w*m = i for m.
-5
Suppose 0 = 2*q - 5 - 3. Let b(t) = t**2 - t + 4. Let h be b(q). Suppose -5 = -2*f + 1. Solve -j + h = f*j for j.
4
Let k(f) = f**2 + 7*f + 6. Let s be k(-6). Solve -4*j = 12 - s for j.
-3
Let t(u) = u**2 - 12*u + 2. Let l be t(12). Solve 3*p - 4 = l*p for p.
4
Let d be (8/(-6))/((-1)/3). Let u(m) = -2*m + 3. Let t be u(-7). Suppose -5*o = 4*a + 7, -a + 5*o + t = -0*a. Solve -2*i - d + a = 0 for i.
-1
Let h(k) = 3*k**3 + k**2 + k - 1. Let j be h(1). Let u = j - 2. Solve 5*a - u*a = 9 for a.
3
Let o be 4/24 - 1/6. Suppose -4*r = -5*u + 18, -u = -2 - o. Let d be 0/(r - (-9)/3). Solve -c + 0*c + 3 = d for c.
3
Suppose -3*o = 4 - 16. Let v(k) = -k + 6. Let r be v(4). Solve -o*z + r*z = 4 for z.
-2
Let y = 13 - 5. Let w = y + -5. Solve -3 = -w*s - 12 for s.
-3
Let a = -50 - -70. Solve 0 = -4*r - r - a for r.
-4
Let b(t) = -t**2 + 3. Let l be b(0). Let d be -1*(-2 - -2)/(-4). Let z = l + d. Solve z*i = -2*i + 5 for i.
1
Suppose 3*x = -l - 0 + 15, l = 3*x - 9. Let y = 2 + 0. Suppose l*g = y*s + 8, -3*g - s + 2 = -3. Solve 7 + 1 = g*n for n.
4
Let k be ((-4)/5)/(16/80) - -5. Solve -3*g - 4 = -k for g.
-1
Suppose 4*l = -0*l + 16, 2*n + 6 = 3*l. Suppose -21*v = -25*v. Solve v = -3*s - 0 + n for s.
1
Suppose 0 = 14*n + 18 - 18. Let y(b) = -24*b**3 + b**2 + 2*b + 1. Let l be y(-1). Solve 4*k - 4 + l = n for k.
-5
Let m be 2/(-4 + (-6)/(-2)). Let y be ((-10)/m)/(3 - 2). Suppose -y*n + 11 = 1. Solve -i = -n + 3 for i.
-1
Suppose 12 + 328 = 4*q. Suppose -4*a = 5*u - 89, -4*a - u + q = -0*u. Let x be (-18)/(-14) - 6/a. Solve -2*b + 3 + x = 0 for b.
2
Suppose -3*j = -1 - 5. Solve 6 = -j*n - 4 for n.
-5
Let n be (-6)/(-21) - (-4)/(-14). Suppose -5*v + 0*v + 15 = 0. Let y be 3 - v - (2 - 10). Solve n = -y*u + 3*u + 20 for u.
4
Let q = 2 - 1. Suppose 2*y - f - q = y, 0 = y + 3*f + 7. Let u = 1 + y. Solve -5 = -l - u*l for l.
5
Suppose 2*x + 7 = 9. Solve 0 = 3*t - 4 + x for t.
1
Suppose 9*r = 10*r - 2. Solve p = r*p - 4 for p.
4
Let w = 6 - 6. Suppose w*l = 2*l. Let t be 2 - (l - -4) - -4. Solve n - t*n = 3 for n.
-3
Let t(z) = z + 1. Let x be t(-1). Suppose 3*f + x*f + 59 = 5*j, -21 = -3*j - 3*f. Solve j*d - 5 = 5*d for d.
1
Let m = 63 - 49. Solve -5*g - m - 6 = 0 for g.
-4
Suppose -4*k - m = -43, 3*m - 59 = -2*k - 3*k. Solve -g + k = g for g.
5
Let v(c) be the first derivative of -c**4/12 + c**3 - 2*c**2 + 2*c - 1. Let b(x) be the first derivative of v(x). Let i be b(4). Solve 0*s = i*s - 20 for s.
5
Let g be 1/((-10)/(-15) + 21/(-45)). Solve -g*j - 5 = -10 for j.
1
Let v be 432/9*1/3. Suppose -2*d + v = 2*d. Solve -d = -2*o + 6*o for o.
-1
Let d be (-4)/2 + 8/2. Solve -5*t - 8 = d for t.
-2
Suppose 5*l + 2*i + 0*i = -35, -l = -4*i + 29. Let d be (-6)/l + (-21)/(-9). Solve -12 = d*x - 3 for x.
-3
Suppose 3*t + 3*x + 16 = 49, -4*t + x = -49. Let s = -24 + 16. Let h = -3 - s. Solve t = h*c - 13 for c.
5
Suppose -3*y + y = -4. Solve -b = -1 + y for b.
-1
Suppose 5*x - 6 = 5*n - 1, -2*n = -6. Suppose 3*v - x = v. Let h be (-24)/(-6) - (0 - 1). Solve v*y - h - 3 = 0 for y.
4
Let l(h) = -h + 3. Let t be l(0). Suppose q = 5*s + 3*q - 22, -2*s - q + 8 = 0. Let u = s + t. Solve -2*z + u = 3 for z.
3
Let x be (-6)/24 - (-17)/4. Solve -u - 3*u + x = 0 for u.
1
Let v = 10 - 16. Let q(w) be the second derivative of -w**4/12 - w**3 + 2*w**2 - w. Let p be q(v). Solve p*o + 7 = -9 for o.
-4
Let d(w) = 5*w**2 + 2*w + 1. Let f be d(-1). Let l(g) = 0*g**2 - g**3 - 3 + 0*g**2 + 2*g**3 + g - 4*g**2. Let z be l(4). Solve 5*q - f*q = -z for q.
-1
Let k = -11 - -25. Let n = 12 + k. Let u = n - 18. Solve 0 = 4*p - 8 - u for p.
4
Let l(o) = -o**2 + o. Let p(y) = 4*y**2 - 9*y - 1. Let x(c) = 5*l(c) + p(c). Let s be x(-3). Solve w = -w - s for w.
-1
Let g = 55 + -52. Solve -g*b = -7 - 5 for b.
4
Let a be (-57)/2*2/(-3)*1. Solve -3*r + a = 16 for r.
1
Let a(p) = -2*p - 16. Let d be a(-8). Solve 3*x - 2*x - 3 = d for x.
3
Let h = -14 - -20. Suppose -3*j + 0 + h = 0. Let t be (0 - 0) + 2 + j. Solve -w - 10 = t*w for w.
-2
Let k be (-2)/(1*(-8)/12). Let q be ((-6)/8)/(1/(-12)). Solve -q - 6 = k*a for a.
-5
Let z be 9 + (-4)/((-8)/(-6)). Solve 6 = 3*s - z for s.
4
Let l = -1 + 2. Let k = -12 + 13. Let i = k + l. Solve 4 = -y + i*y for y.
4
Let z be (-30)/(-18) + 1/3. Let j be 7 + (2 - 1*4). Suppose -m + 6 = 4*m - w, -j*m - w + 4 = 0. Solve z = -c - m for c.
-3
Suppose 3*k - 7*k + 16 = 0. Let l(m) = m + 2. Let i be (4/(-10))/1*-15. Let v be l(i). Solve k*a - v = -0*a for a.
2
Let g = 47 - 23. Solve -4 = -5*h - g for h.
-4
Let a = -13 + 15. Solve -18 = -4*z - a for z.
4
Let w(f) = -2*f + 13. Let u be w(3). Solve 2*y = u*y - 10 for y.
2
Suppose 0 = 3*i - 2*i - 8. Suppose -3*p + 7 = -i. Suppose 5*d = p*r + 10, -3*r = -d - 0*r + 4. Solve -3 - d = -4*c for c.
1
Let f be -18*3/9*-1. Solve j - f*j - 25 = 0 for j.
-5
Let l(k) = k + 3. Let s(p) = -p. Let g(h) = -l(h) - 2*s(h). Let b be g(3). Solve 0*v + v = b for v.
0
Suppose 2*m - 6*m = -40. Solve -2*o + 0*o = -m for o.
5
Let w = -9 - -8. Let c be w*((1 - 4) + 0). Solve -c*r = -2*r for r.
0
Let q(j) = j**3 + 8*j**2 + 2*j - 6. Let r be q(-8). Let p be 10/(-15) - r/6. Let d(i) = i - 1. Let g be d(p). Solve 2 = g*h - 2 for h.
2
Let m(y) = -y**3 + 5*y**2 + y - 5. Let s be m(5). Solve 2*q - 2 + 12 = s for q.
-5
Suppose 0 = 3*g - 4*h - 7 - 5, 2*g + 3*h = -9. Suppose 5*q + g*i = -i + 10, 5*i = 25. Let r be q + 12 - (6 + -4). Solve 1 - r = -2*n for n.
5
Let y(f) = 2*f - 7. Let u be y(6). Let n = u - 8. Let k = -3 - n. Solve 6*j - 2*j - 20 = k for j.
5
Let u(r) = -r**2 - 3*r - 4. Let o be u(-3). Let a = 0 - o. Let k(c) = -3*c**3 - c**2 + 1. Let z be k(-1). Solve z*n = a + 5 for n.
3
Let h(b) = b**2 + 9*b - 12. Let f(k) = -k - 7. Let z be f(4). Let n be h(z). Solve 0 = -4*v + n + 2 for v.
3
Let z(p) = -p**3 + 4*p**2 + p - 3. Let m be z(3). Let f = 11 - m. Solve -4*o + f + 18 = 0 for o.
5
Suppose h + 3*p - 17 = 0, -3*h + 12 - 1 = -p. Suppose -h*l + 9 = x - 1, 0 = 4*x - 5*l - 15. Solve -1 = -x*m - 11 for m.
-2
Let w = -13 - -22. Suppose -5*a + w = -2*h - 0, -3*h - 6 = 0. Let d be a/(-2)*(1 + -11). Solve -q = -2*q - d for q.
-5
Let g(a) = a**2 - 10*a + 5. Let d be g(9). Let o = d - -8. Suppose -o*u + 15 = -u. Solve -4*v = v - u for v.
1
Let u be (-584)/(-12) - (-1)/3. Suppose 3*v = u - 7. Suppose -w - 3*t = 1, -32 = -5*w + 2*t + v. Solve -3*q - w = 1 for q.
-3
Suppose -3*h + 5*o = -10, 0 = 4*h - 7*o + 2*o - 15. Let g be (-2)/h - 8/(-20). Suppose -3*f + f + 6 = g. Solve 8*q - f*q = 0 for q.
0
Let q(a) = a - 5. Let d be q(6). Let v(x) = x + 1. Let p be v(d). Suppose -10 = -4*l + o, -p*l - 3*o - o + 14 = 0. Solve -l*z = -0*z + 15 for z.
-5
Suppose -m = m. Suppose -4*j + 5 = -11. Suppose j = x + 3. Solve m = w + x + 4 for w.
-5
Suppose -14 = -2*a - d, -6*a + 24 = -a - 3*d. Suppose i = 1 + 2. Suppose 8 + 8 = 5*b - 3*w, a = -i*w. Solve -7*o + 5 = -b*o for o.
1
Let p = 28 + -28. Solve s + 2 + p = 0 for s.
-2
Let i be (-6)/(5/((-20)/6)). Let r = 54 - i. Suppose 0*p + 5*p - d - r = 0, p = -d + 4. Solve 4*s = p + 11 for s.
5
Suppose t - 3*t = -b - 48, 0 = 3*b + 2*t + 112. Let k be 2/(-9) - b/18. Suppose k*u = w - 14, -3*u - 40 = -3*w + 2*u. Solve w*g - 15 = 5*g for g.
3
Let l be (14/(-7))/((-2)/5). Let g be 75/(-9) - (-4)/(-6). Let t = 13 + g. Solve 1 = l*f - t for f.
1
Let v(y) = -y**2 + 5*y + 8. Let i be v(6). Solve -2*t - i*t = -20 for t.
5
Suppose x - 4*x = 0. Let k be (-1)/(-1)*(-4 - -11). Suppose 0 = c + 5*y + 3, y + 2 = 4*c - k. Solve -u - c*u = x for u.
0