 + 2*g. Suppose -5*q + g = -3. Solve q*b - 10 = -3*b for b.
2
Let s(t) = -t**2 + 5. Let m be s(0). Suppose -5*d + 5*k = -10, 0*k - 4*k = -m*d + 10. Let f be -2 + 9 - (3 - 0). Solve 2 = d*q - f*q for q.
-1
Suppose 2*b = -d + 2, 0 = -3*b + b + d + 6. Suppose -2*j - 2 = 0, g + 7 = b*g - 5*j. Solve -3*n - 2 = -g*n for n.
-2
Let k = -11 - -31. Suppose 8 = -3*o + k. Let v = 6 - o. Solve -2*t = -4*t - v for t.
-1
Let h = 14 + -7. Let m(j) = j**2 - 7*j + 6. Let k be m(h). Solve k = l + 2 for l.
4
Let t(c) = -c**3 + 2*c**2 + 2*c - 2. Let o be 14/6 + (-2)/6. Suppose -3*w = -2*w + 3*a + 4, -o*w - 5*a - 6 = 0. Let z be t(w). Solve z*n = n + 3 for n.
3
Suppose -h - 3*f = -3*h + 6, 10 = -2*h - 5*f. Let o be (1 - (h - -2))*-4. Solve -o*c + 20 = -9*c for c.
-4
Let i be (1 - 1) + 72/18. Solve i*r - 1 = -5 for r.
-1
Let u(m) = m - 4. Let d be u(10). Solve -d = -5*j + 9 for j.
3
Let l be (5 - -6) + (0 - 1). Let t(y) = 2*y - 15. Let w be t(l). Suppose b = 3*u - 11 - 2, 0 = -b + 4*u - 18. Solve -f - w + b = 0 for f.
-3
Let a(j) be the first derivative of 11*j**3/3 + j**2/2 - 2*j + 5. Let q be a(1). Solve -2*f + 7*f - q = 0 for f.
2
Let g(p) = -2*p**2 - p + 1. Let v be g(-1). Solve 0*a - 4*a = v for a.
0
Suppose -50 = -f - 4*f. Let x be (-2)/(-4) - (-15)/f. Solve -x = -4*z + 2 for z.
1
Let f(h) = -7*h - 5. Let o be f(-3). Suppose o - 40 = -3*t. Solve 12 = -4*b - t for b.
-5
Let l = -29 - -35. Solve -t = -l*t - 5 for t.
-1
Let p(s) be the first derivative of s**5/20 - s**4/12 - 4*s + 1. Let d(c) be the first derivative of p(c). Let g be d(1). Solve g*u - 4*u = 0 for u.
0
Suppose -4*j + 8*j + 28 = 0. Let m(r) = -r**2 - 7*r. Let y be m(j). Solve -4 = 2*u - y*u for u.
-2
Suppose -2*k + 10 = 2*x + x, 5*x = 2*k + 6. Suppose 0 = -3*o, -2*v = o - 7 + 43. Let c be ((-1)/x)/(3/v). Solve c*p - 20 = -p for p.
5
Suppose 11*x = 7*x. Suppose 3*i + 0 - 6 = x. Solve i*q = -3*q for q.
0
Suppose 8*k = -9*k + 85. Solve -k*o + 2 - 7 = 0 for o.
-1
Let m(b) = -b**3 - 9*b**2 - 13*b + 10. Let s be m(-7). Solve 2*o + s - 1 = 0 for o.
-1
Let d = 7 + -3. Solve d*g - 5*g - 1 = 0 for g.
-1
Let v = 7 - 5. Solve v*s = s - 4 for s.
-4
Let c(x) be the third derivative of x**5/60 - x**4/24 - x**3/6 + x**2. Let r be c(-1). Let o be 1*(r + -2)*0. Solve -k + 4 - 2 = o for k.
2
Let j(q) be the first derivative of -q**4/4 + 3*q**3 - 2. Let g be j(9). Let n be (6/(-9) + g)*-6. Solve -n*d - d = -5 for d.
1
Let h be 24/(-9)*(27/6)/(-3). Solve -h*t - 16 = -4 for t.
-3
Let d be 1 + 0 + 0 - -14. Suppose -6*n + 4 = -4*n. Suppose t - 4 = 1, 5*u - 10 = -n*t. Solve -d = 3*l - u*l for l.
-5
Let o(v) = v**2 + 2*v + 2. Let g be o(-2). Let m(u) = u**3 + 7*u**2 + 5*u - 5. Let y be m(-6). Solve g*r + 3 = -y for r.
-2
Let r(u) = -u - 2. Let b be r(-6). Suppose -24 = -2*t + g + g, -3*g = b*t - 34. Let l = t + -5. Solve l*n = 1 - 26 for n.
-5
Let q = 4 - 4. Let a(m) = m + 3. Let t be a(q). Solve -2*f - t = f for f.
-1
Let v(c) = -c + 11. Let h be v(5). Solve h = -4*s - 2 for s.
-2
Let b(q) = -q**3 + 8*q**2 + q + 1. Let w = -3 + 11. Let r be b(w). Solve -3*u - r = -3 for u.
-2
Let a be (-10)/(-4) - (-3)/6. Let y(g) be the first derivative of g**4/4 + 4*g**3/3 + g**2/2 + 4*g + 2. Let i be y(-3). Solve d - i = a*d for d.
-5
Let u = 42 + -42. Solve 0 = -u*w + 4*w - 16 for w.
4
Let f(y) = -y**3 - 11*y**2. Let d be f(-11). Solve d*v = -v + 3 for v.
3
Suppose g = 4 - 0. Suppose l - s = 0, 2*l - 3*l = -5*s + g. Let a be ((-1)/l + 1)/(-3). Solve 2*y + 1 + 1 = a for y.
-1
Suppose -4*c + 25 = -s, 0*c + c = -s. Suppose 0 = -l + 3*l - 2. Suppose -l + c = j - 4*x, 4 = -3*j - 4*x. Solve -n + 2 = -j*n for n.
2
Let u be (-1)/(-1 - (-6)/9). Solve 4*z = u*z for z.
0
Let i be -6 + (4 - 0) - -2. Solve -q = -i*q - 1 for q.
1
Suppose 10 = 3*h - 2. Let t = 6 + -2. Suppose t = -2*y + 12. Solve y = h*w - 0 for w.
1
Suppose 0 = -7*c - 45 + 80. Solve -34 + 9 = c*h for h.
-5
Suppose -3*t - 2 + 11 = 0. Solve 0 = -i - t + 4 for i.
1
Suppose 32 = -4*l - 0*l. Let b = l - -8. Solve b = j - 3*j - 4 for j.
-2
Suppose p + 1 = 5*b, 2 = 2*p + 4. Suppose 2*g = r + 2, 5*g - r = 2*r + 3. Suppose -g*v = -b*v - 6. Solve -2*f = v + 6 for f.
-4
Let v = 11 - 7. Solve -k = 1 + v for k.
-5
Let s = 2 - -1. Suppose -l = s*l - 8. Suppose 9*r = 4*r + 2*o, l*r = o. Solve r*d - d = 0 for d.
0
Suppose 5*p - 16 + 6 = 0. Suppose 5*r - p*m + 7*m = -65, 0 = -3*r + m - 31. Let l = -8 - r. Solve 4*z - 5 = l*z for z.
5
Let j(g) = -g**3 - 7*g**2 + 2*g + 14. Let z be j(-7). Solve z*m + 2 = -2*m for m.
-1
Let d be 2/15 - 20/150. Solve d = 3*u - 0*u - 6 for u.
2
Let w = -10 + 2. Let n = -7 - w. Solve b = 2*b + n for b.
-1
Let x = -15 - -16. Let d(k) be the first derivative of 7*k**3/3 - k**2/2 + k + 1. Let t be d(x). Solve t + 5 = -3*m for m.
-4
Suppose -7*t + 54 = -8*t. Let n be t/(-12) - (-1)/(-2). Solve 0 = -n*q - 4 for q.
-1
Suppose 0*l + 3*l - 12 = 0. Let a be ((-3)/(-4))/((-3)/(-24)). Suppose 0 = -a*h + 3*h. Solve l = o - h for o.
4
Let j(h) = 2*h - 6. Let n be j(5). Let z = n - -2. Solve 0 = 4*u - 2 - z for u.
2
Suppose 0 = -6*q + 14 + 4. Solve -2*b - q = 5 for b.
-4
Suppose -2*c + 7 = -1. Suppose 4*p = 3*p + c. Solve -6*g = -p*g - 4 for g.
2
Let w = -69 + 72. Solve 0 = 5*q - w*q for q.
0
Suppose 2*j - 4*q + 12 = -0*j, -3*q + 16 = 2*j. Suppose f - 6 = -f. Suppose -f = x - j*x. Solve -4*k + x*k = 1 for k.
-1
Let c(w) = -w**2 - 3*w + 3. Let y be c(-3). Let o(k) = -1 + 3 - 3*k - y. Let m be o(-3). Solve 24 = -4*g + m for g.
-4
Let w = 18 - 18. Solve 2*q - 2 = -w for q.
1
Let v(f) = 2*f - 5. Let k be v(5). Let a = 3 + -1. Suppose a*t - t + 5 = 0, 0 = -3*u + k*t + 58. Solve 0 = 5*m + 1 - u for m.
2
Suppose 4*t - 3*g - 103 = -0*g, -3*g + 73 = 4*t. Suppose -n + 3*n = t. Solve 2 = -3*z + n for z.
3
Suppose -2*s + 16 = -0. Suppose -4*c - 4*a = -0*c - s, 0 = 2*c + 3*a - 6. Solve 4*v - v = c for v.
0
Let m(l) = -l**2 + 11*l + 16. Let d be m(12). Solve j - d = -j for j.
2
Suppose 4*i - 10 = 2*g, g - i + 20 = 4*i. Suppose 1 = -g*y + 21. Solve -2*q = -y*q for q.
0
Let t(c) = c**3 - 8*c**2 + 12*c + 9. Let y be t(6). Suppose p - 4*p = 0. Solve p = -2*s - s - y for s.
-3
Let l(v) = v + 1. Let j be l(4). Suppose 0 = -3*q + 2*h - j, 2*h = 2. Let t = q + 1. Solve x - 3 = -t for x.
3
Suppose 29*v + 36 = 32*v. Solve -4*s + s = -v for s.
4
Suppose -10 = -5*c + 3*c. Solve 0 + c = 5*l for l.
1
Suppose 0*i - 4 = -i. Suppose -2*g - 4 = 0, -i*v + g + 22 - 8 = 0. Let q(d) = d + 8. Let w be q(-6). Solve v*o - w = 1 for o.
1
Let r = 14 + -7. Let a(q) = -q**3 + 7*q**2 + 7. Let k be a(r). Solve k = 4*i + 3 for i.
1
Let m = 114 - 110. Solve m*w = 2*w for w.
0
Suppose 5*a - 35 = -3*h, -25 = -2*h + 5*a + 15. Solve -2*i + 5*i + h = 0 for i.
-5
Suppose -990 = -4*v + 7*v. Let j be v/(-77) + (-2)/7. Solve -6 = j*n + 6 for n.
-3
Let b be 1*(-4 - -3) - -15. Solve -2*a - b = -4 for a.
-5
Let q = 49 - 47. Solve -q*w + 5 + 1 = 0 for w.
3
Let m = -2 + 7. Let r be ((-4)/5)/((-4)/(-30)). Let k = 13 + r. Solve -m*o - k - 8 = 0 for o.
-3
Suppose -3*x + 7 + 4 = n, 4*x = -4*n + 4. Solve 0*i - x = -5*i for i.
1
Suppose 7*p - 20 = 3*p, 3*r - 32 = -4*p. Solve o + 3*o = r for o.
1
Suppose -46*k + 36*k = -20. Solve -3 - 1 = -k*o for o.
2
Let r = -24 + 26. Solve -r = 2*z - 0 for z.
-1
Suppose 4*b + 10 - 30 = 0. Solve -b*n - 8 = -n for n.
-2
Let o be 1/3*(-3 - -6). Let b be 2*(o + 1 + -1). Let q be (3/b)/(2/4). Solve q*d + d = -20 for d.
-5
Let r(v) = -v**2 + 7*v - 5. Let t be r(4). Let k(n) = 3*n - 13. Let u be k(t). Solve -p + u = -3*p for p.
-4
Let r = 25 + -20. Solve -r*o = -10*o for o.
0
Suppose 22 = n - 3*n. Let f = -8 - n. Solve h + 8 = -f*h for h.
-2
Suppose -3*h = 4*r + 4, 3*h - 5*r + 0*r = 5. Solve 0 = 3*s - h*s + 15 for s.
-5
Suppose 14 = 15*u - 1. Solve -u = v - 0 for v.
-1
Let j(f) = 7*f**2 + 1. Let n be j(-1). Suppose 5*m - 3*m - n = 0. Solve -2 = -m*u - 6 for u.
-1
Suppose -15 = 2*y + 11. Let j be (y/4)/((-2)/8). Let w be (-3 + 1 - -3) + -1. Solve 4*o - 1 + j = w for o.
-3
Let j(f) = -f**3 + 9*f**2 + 2*f. Let b(m) = -m**3 + 10*m**2 + 3*m. Let g(y) = 2*b(y) - 3*j(y). Let r be g(7). Solve -2*c + 2 = -r*c for c.
1
Suppose 5*x + k - 21 = 3*k, 4*k + 12 = 4*x. Let p(g) = -g**3 + 4*g**2 + 2. Let q be p(3). Solve x*t = q + 14 for t.
5
Suppose 8*j - 10 = 5*c + 3*j, 5*c - 8 = -4*j. Solve c*u - 12 = -4*u for u.
3
Suppose 15*p = 20