j*b - 3*b for b.
0
Let p be ((-6)/9)/(1/(-18)). Suppose 6*i - p = 3*i. Solve 0 = -m - i*m + 25 for m.
5
Suppose 5*o - 4*j + 62 = 0, 5*j + 2 = -2*o - 3. Let r = 10 + o. Solve r = -2*q - 0*q - 6 for q.
-3
Let x = -5 + 12. Solve -x = -5*n + 13 for n.
4
Let b(p) = -p**2 + 6*p + 4. Let h be b(0). Solve h = 2*t + 2 for t.
1
Let o(m) = -m**2 + 2. Let b be o(0). Suppose j - 9 = -2*j. Let i = j + 2. Solve b*y = i*y - 3 for y.
1
Let u(p) = 6*p - 1. Let w be u(1). Suppose 8*y - 32 = 4*y. Solve w*h - y = 7 for h.
3
Let t be (-4)/6 - (-55)/15. Solve 0 = -t*y - 9 + 3 for y.
-2
Let q(p) = -3*p**3 + 7*p**2 + p + 7. Let x(o) = -o**3 + 1. Let t(h) = q(h) - 4*x(h). Let k be t(-7). Let z be (k - 1)*24/(-20). Solve -z*f = -2*f - 12 for f.
3
Let j(r) = -2*r**3 + 15*r**2 - 7*r + 4. Let y be j(7). Solve y*d = -0*d for d.
0
Let v = 6 - 5. Let f = v - -1. Solve f*x - 3*x = -1 for x.
1
Suppose -2*f = -7*f. Solve x - 2 = -f for x.
2
Suppose 17 = d + 2*f, 48 = 4*d - 0*f + 4*f. Suppose -1 = -3*p + 5*u, d = 5*p - 2*u - u. Solve 3 = -w + p for w.
-1
Suppose 7*h + 5 = 2*h. Let y = 3 + h. Solve -z - y*z = 0 for z.
0
Suppose -2*o + o + 2 = 0. Solve -3*q = o*q + 20 for q.
-4
Suppose 3*m = -4*v - v + 38, -4 = m. Solve -v - 2 = 4*y for y.
-3
Let r(b) = -b**3 + 5*b**2 - 4. Let y be r(5). Let v be (-2 + 1)*y - 3. Solve -s + v - 5 = 0 for s.
-4
Let n(v) = v**3 + 7*v**2 - 8*v + 3. Let m be n(-8). Suppose -12 = -3*f - m. Solve -a - 16 = f*a for a.
-4
Let f = -2 - -3. Suppose -2*s + f = -3. Suppose -2*b + 0 = -14. Solve -b = 5*j - s for j.
-1
Let m(w) be the third derivative of -w**6/720 + w**5/40 - w**4/24 + w**2. Let u(i) be the second derivative of m(i). Let b be u(0). Solve b = -4*k - 9 for k.
-3
Let p = 1 - -2. Let g(z) = 2*z + 2. Suppose -2*v + v - 2 = -2*o, 5*o = v + 8. Let y be g(v). Solve -y = -p*t + t for t.
3
Suppose -4*f - 16 = -80. Let d(q) = q**2 + 1. Suppose -2*l + 6 = -5*s, 0 = 3*s - l - l + 6. Let t be d(s). Solve 3*b = t - f for b.
-5
Let q = 9 + -1. Solve -3*s - q = -s for s.
-4
Let b be 8/(-12)*((-5 - -3) + -4). Solve 0 = -3*z + 2 + b for z.
2
Let f be (44/(-6))/((-4)/6). Suppose s + 4 = f. Solve 2*q = 3 - s for q.
-2
Suppose 5*h - s = -2*s + 28, -3*h + 5*s = 0. Let j = -5 + h. Suppose -4*a + 58 = 2*b, 2*b - 10 + j = 0. Solve 4*u - 8 = a for u.
5
Let j be 3/(-15)*4*5. Let y = j - -6. Solve 2*c + y = 10 for c.
4
Let z = -16 + 37. Let s = -21 + z. Solve w + s + 4 = 0 for w.
-4
Let z be (-2)/(-6) + (-10)/(-6). Let q be (0/(-3))/(0 - -1). Let o be ((q/(-1))/2)/1. Solve o = -3*u - z - 4 for u.
-2
Let a = -9 + 12. Solve a = 5*j - 7 for j.
2
Let u be 4/18 + 110/(-90). Let o be (-78)/(-24) + u/4. Solve -3*l - o = -6*l for l.
1
Let s be (1 - (-1)/(-2))*(-318)/(-53). Solve -s*r = -r - 8 for r.
4
Suppose 0 = -p + 3 - 2. Suppose p + 2 = n. Solve -5 = -n*x - 17 for x.
-4
Let x = 4 + -2. Suppose -3*s = 2*h - 23, 0*s + x*h - 18 = -2*s. Solve -s*p + 0*p = 25 for p.
-5
Suppose 0 = -5*r - 62 - 18. Let u = -16 - r. Solve u*v + 12 = 3*v for v.
4
Suppose 13 = v - 5*x, 5 + 5 = -5*x. Suppose 5*g - v = 2*g. Solve -g = 4*z + 3 for z.
-1
Suppose -2*o - 3*o + 5 = 0. Let p(k) = 2*k**3 + k - 1. Let t be p(o). Suppose -d - t*f = 2, -4 = -d + f + 9. Solve -3*h + d*h = -25 for h.
-5
Let h = -7 - -9. Suppose 2*r = h*z + 8, -5*z + 3*r - 16 = -4. Solve z = -2*j - 0*j + 10 for j.
5
Let i be (-1 + 3)/((-2)/(-3)). Suppose 3 + 6 = -i*w. Let g be ((-1)/w)/((-2)/(-18)). Solve -g*y = 9 - 0 for y.
-3
Suppose -4 = -c - 1. Solve z = -c*z for z.
0
Let u = -114 - -114. Solve 4*s = -u*s for s.
0
Let i = 8 + -6. Suppose 0 = f - i - 2. Let t(j) = -3*j - 9. Let k be t(-3). Solve k = -h - 0 + f for h.
4
Let m(a) = -a - 2. Let z be m(-5). Suppose 4*s + u = 1 + 2, 0 = -3*s + 5*u + 31. Solve z = -s*x - x for x.
-1
Let u(f) = -1 + f**2 + 3 - 2 + 1. Let o be u(3). Solve 5*x + 0*x - o = 0 for x.
2
Suppose -69*j = -67*j - 20. Let n(a) = -a**3 - 2*a**2 - a - 2. Let o be n(-3). Solve 5*k - j = o for k.
4
Suppose 0 = -4*n + 2*j + 20, n - 2*j - 23 = -4*n. Suppose 5*k = 27 - 2. Solve k*g = 2*g + n for g.
1
Let f be (1 + 0 - 0) + 1. Solve -4 + f = 2*b for b.
-1
Let a(w) = w**2 + 3*w + 4. Let m = 2 - 5. Let t be a(m). Solve 5*c - t*c + 2 = 0 for c.
-2
Let d = 3 - 0. Let i = -5 + 9. Solve d*g = i*g for g.
0
Let c be (-3)/((-9)/24) - 3. Suppose -3*w + c = 2*w. Solve 4*d = w + 7 for d.
2
Let w(k) = -2 + 7*k - 4 - 2*k + k**2. Let o(y) = -y**3 + 3*y**2 + 2*y + 2. Let q be o(4). Let c be w(q). Solve c*h - 4*h = 20 for h.
-5
Let k = 10 + -9. Let v be k/5 - 27/(-15). Solve -5*i + 9 = -v*i for i.
3
Let c(p) = p - 7. Let x be c(6). Let k(j) = -5*j**2 - 8*j. Let h(q) = -q**2 - q + 1. Let s(d) = x*k(d) + 4*h(d). Let t be s(-6). Solve 0*v - 4*v = -t for v.
4
Let p be (15/12)/(3/60). Solve -4*c + p = c for c.
5
Suppose -36 = 9*m - 12*m. Solve -2*f = f + m for f.
-4
Suppose 3*a - 5*a + 2*c = -4, 5*c = -5*a - 10. Solve 4*m + 11 - 31 = a for m.
5
Suppose 0 = -4*c - 20, -15 = -5*h + 3*c - 0*c. Suppose -a - 3*a = h. Solve n = -a + 3 for n.
3
Suppose -12*f + 3*f + 90 = 0. Solve -i = i + f for i.
-5
Let d be (-2)/(-6)*0/3. Solve d = -8*s + 3*s for s.
0
Suppose s + 5 = g, 0 = -4*s + 5*s + 5. Solve -k - 4*k = g for k.
0
Let r(o) = o - 5. Let t be r(4). Let m be 0/((-1 - 0) + t). Suppose m = -2*j + j + 10. Solve 0 = 6*f - f + j for f.
-2
Suppose 0 = 2*d - 9 + 3. Let t(n) = d - 9 + 13*n**2 + n**3 + 8*n - 3*n**2. Let g be t(-9). Solve -j + 2*j + g = 0 for j.
-3
Suppose 3*b + 11 - 17 = 0. Solve b*w - 7*w = -5 for w.
1
Suppose 14 - 2 = c. Let k be (-2)/((4/(-2))/(-2)). Let n be (k - -3)/1*2. Solve -4 = n*g - c for g.
4
Suppose 0 = h + 4*h + 30. Let o be (1/(-2))/((-1)/4). Let b be 1/o*(-48)/h. Solve b*l = -6 + 2 for l.
-1
Let y(p) = -p**2 + 7*p - 1. Let t be y(6). Let a be (16/(-20))/(2/10). Let o be a/6*(-1 + -5). Solve c + o = t*c for c.
1
Suppose 5*w = 3*z + 2*w - 33, 0 = 2*z + w - 19. Suppose 4*r - 2*r = z. Solve -5 = r*q - 0*q for q.
-1
Let y(o) = -3*o - 3. Let k be y(-5). Solve 0*j + k = 3*j for j.
4
Let f = -6 - -9. Solve f*s + 2 = -4 for s.
-2
Suppose -5*c - 2*i = 2*i - 36, c = -4*i + 20. Suppose 21 = -w + c*w. Solve 5*x - w = 3 for x.
2
Let o(p) = 3*p - 12. Let t be o(5). Solve 20 - 8 = t*r for r.
4
Suppose -5*c - 3*b = -10 + 3, 2*c + 2*b = 2. Solve -c*w - 12 = -5*w for w.
4
Suppose 4*a + 2*h = 54, 2*a = 2*h + 8 + 28. Suppose a = 5*x, 2*i = -3*x + 5*x - 2. Solve 0 = 5*j - i*j + 15 for j.
-5
Suppose -7*m + 4 = -10. Solve m*t = 6*t for t.
0
Let m(l) = l**3 + 5*l**2 + 6*l + 5. Let w be m(-4). Let v be 3 + -1 + w - 5. Let c = -3 - v. Solve 2*q - c - 3 = 0 for q.
3
Suppose -f - 11 = -2*h + 4*h, 5*f = 4*h - 27. Let b be 1*1/(-1) - f. Let i be 60/16 - b/8. Solve i*m - m = -6 for m.
-3
Let l be (-2)/1 - (-2 - 4). Suppose 2*s = s + 4*v + 8, 4*s + l*v - 52 = 0. Solve 5*z + 8 = -s for z.
-4
Suppose 5*z + 2*y + 3*y - 10 = 0, 5*z = 3*y + 18. Let c = 7 - 7. Solve c = g + 6 - z for g.
-3
Let n = 3 - 5. Let w be 4*(1 - (n - -2)). Solve -6 = -p + w*p for p.
-2
Suppose 0 = -s + 2. Solve 2*d = -s*d for d.
0
Let a(u) = u**3 - u**2 - 2*u + 7. Let s be a(0). Suppose 0 = 4*q - 4*d - 36, 12 = -0*d - 3*d. Suppose 0 = q*x + s - 42. Solve -20 = 3*p - x*p for p.
5
Let a be 3*-1*(-1)/1. Let u = 3 - a. Solve u*p = 4*p for p.
0
Let g(x) = -x**2 + 5*x. Let j be g(5). Suppose -y + 2*y = j. Solve 5 = -y*s + s for s.
5
Suppose 5*z + 2*h = 3, 3*h - 1 - 1 = -5*z. Solve 2*u + z + 9 = 0 for u.
-5
Let t(l) = -l**3 - 3 + 5*l**2 + 7*l - 4*l**3 + 4*l**3. Let i be t(6). Suppose 5*m - i*m - 10 = 0. Solve 1 = 6*x - m*x for x.
1
Let m(d) = -d - 17. Let x be m(-26). Solve -4*o = -1 + x for o.
-2
Suppose 10 = -0*x + 5*x. Suppose -4*q + 9 = -7. Let j = -10 - -10. Solve j = -w + x*w - q for w.
4
Let c(n) = n**3 + 4*n**2 + 3*n - 1. Let h = 2 - 5. Let y be c(h). Let u be y*2*(-15)/6. Solve r - 2*r = u for r.
-5
Let v be ((-1)/4)/((-3)/12). Let d be (-328)/12 - v/(-3). Let p be ((-4)/6)/(6/d). Solve 0*z = -p*z + 6 for z.
2
Let p = -2 - -2. Solve p = -3*j - j + 8 for j.
2
Let o(m) = m**3 + m + 18. Let z be 1/(-2)*(-5 + 5). Let b be o(z). Let f be 356/18 - (-4)/b. Solve 2*x + 2*x = -f for x.
-5
Suppose -12 = -2*u - u. Solve -13 = -u*f + 3 for f.
4
Suppose -8 = 6*m - 8*m. Solve 2*f + 4 = m*f for f.
2
Suppose -5*s + 5*y = 10, 0*y + 11 = -4*s + 5*y. Solve -5*z = -4 - s for z.
1
Suppose 5*y = 5*d - 35, 9