3, -3*d - 2*f - 3*f = 17. Solve 1 = a - d for a.
2
Suppose -3*i = 2*i. Let g(r) = -r + 7. Let z be g(5). Solve -z*y = -i + 4 for y.
-2
Suppose 4*y + 18 = -18. Suppose 2*j + r = -0*j - 28, -2*r + 48 = -4*j. Let m = y - j. Solve 25 = m*g + g for g.
5
Let t = 5 - 6. Let g = 3 + t. Solve 4 + 4 = -g*s for s.
-4
Suppose -c = -3*c + 30. Suppose -5*x = -4*m + c, -6*m + x = -2*m - 35. Suppose -m - 2 = -3*j. Solve -j = -4*z - 24 for z.
-5
Suppose -5*q = o + 39, -3*q - o = 3*o + 37. Let d be (-222)/(-27) - 2/9. Let y = q + d. Solve -t = -0*t - y for t.
1
Let j = -18 + 23. Let p be 0 - 6/((-6)/j). Solve -o + p*o = 12 for o.
3
Let i(q) be the second derivative of -q**4/12 + 7*q**3/6 - 3*q. Let o be i(7). Suppose 4*g + 3 = 5*y, 0*y + 3*y + 2*g - 15 = o. Solve y*r = -0*r - 15 for r.
-5
Let t be (-6 + 3)/(6/(-4)). Suppose -3*l = 2*l + 80. Let a = 25 + l. Solve r + t*r = a for r.
3
Let r(g) be the second derivative of -g**4/12 + 4*g**3/3 + 9*g**2/2 - 2*g. Let j be r(9). Solve -4*l + 0*l - 12 = j for l.
-3
Let a be (9/6)/((-1)/(-2)). Suppose 35 = 5*x - a*o, -2*x - o = 4*o + 17. Let m(c) = 3*c**2 + c + 1. Let k be m(2). Solve d + x*d = -k for d.
-3
Suppose -g - 2*g + 23 = 2*k, k = -4*g + 24. Suppose -k*t - 4 = 0, 0 = 5*s + 5*t - 16 + 6. Let p(a) = -a - 4. Let n be p(-6). Solve s*i = n*i for i.
0
Let x be -1 - 1/((4/(-3))/4). Solve 3 = -5*n + x*n for n.
-1
Suppose -12 = -f - 0*f. Suppose -x + f = 2*x. Suppose 6 = 4*r + r + 2*d, -r + x*d = 12. Solve q - 3*q = r for q.
0
Let t be (-1*2)/((-1)/2). Suppose -15 = -t*p + 1. Solve 4*v + 0*v - p = 0 for v.
1
Let h(m) = -m - 1. Let z be h(-3). Suppose -9 = -z*u - 3. Suppose 0*g = u*g. Solve g = 2*s - 0*s + 10 for s.
-5
Suppose f = -0*t - 3*t + 13, 5*t - 3*f = 3. Let r = 0 + t. Solve -r*v - 22 = -7 for v.
-5
Let d(r) = -2*r - 22. Let p be d(-11). Solve p*k = -3*k for k.
0
Suppose 2*r - f = -0*r + 9, -5*r - 4*f = -16. Suppose -14 = m - 4*s, 0*s = 2*m - r*s + 12. Solve 0 = 5*u + 7 - m for u.
-1
Let y(x) = -2*x**2 + 3*x. Let i be y(2). Let r be (5*6)/((-3)/i). Suppose r = 5*b - 5*s, 3*b - 3*s = 5*b - 18. Solve 3*n + b = 18 for n.
4
Let g(b) = -b. Let s be g(-3). Solve s = 2*u + 1 for u.
1
Let x be (0/(-3))/(3 + -2). Let p be (16/6 - 3)*0. Solve p = -z - x*z for z.
0
Let o = 7 + -5. Suppose -2*l + 40 = o*l. Suppose 3 = -5*z + 13, 4*x = 3*z + l. Solve 2*c + 2*c = -x for c.
-1
Let o = 13 + 1. Solve -4*m - o = 6 for m.
-5
Let t(r) = 9*r + 3. Let p be t(-4). Let v be (-4)/(-22) + 6/p. Solve 0 = -a - v*a for a.
0
Let x(t) = -t + 5. Let p be x(6). Let u = 1 + p. Let n be (u - 0)*(-3)/6. Solve n = 2*s - 6*s - 16 for s.
-4
Let i(g) = -g + 1. Let r(w) = -w + 8. Let s(q) = -2*i(q) + r(q). Let o be s(-6). Let d be (-22)/(-6) + 11/33. Solve -d*z = -o*z + 16 for z.
-4
Let m(v) = 2*v**2 - 5*v + 3. Let q(d) = -d**2 - d + 1. Let c(s) = -m(s) - q(s). Let j be c(4). Solve -3 + j = -x for x.
-1
Let d(l) be the first derivative of l**3/3 - 2*l**2 + 4*l + 4. Let j be d(3). Solve 0*f = -f + j for f.
1
Suppose 20 = -5*n, 4*q - 5*n - 7 - 13 = 0. Solve q = 4*x - 19 - 1 for x.
5
Suppose 0 = c + 4*f + 100, 232 = -2*c - c + 5*f. Let y be (c/(-49))/(2/7). Solve 2*g = y*g + 20 for g.
-5
Let z(r) = -r**3 - 13*r**2 + 14*r. Let n be z(-14). Solve 15 = 5*j - n*j for j.
3
Suppose -33 = -5*k + 7. Solve -k = 3*o - 5*o for o.
4
Let j be (-1 - -5) + (-13)/13. Solve x = j*x + 4 for x.
-2
Suppose -5*z - 32 = 3*m + m, 10 = -z - 2*m. Let b = 0 - z. Solve -2 = -b*k + 2*k for k.
1
Let m(f) = -f + 4. Let u be m(7). Let n be 7 - (u - (-6)/1). Solve i - n*i - 12 = 0 for i.
-4
Let k(l) = 18*l**3 + 2*l**2 - l. Let d be k(1). Solve 0 = 4*a - 1 - d for a.
5
Let y = 14 - 10. Suppose 3*v = a + 5 - 17, v = y*a - 15. Solve -4 = a*x - x for x.
-2
Let o = -7 - -1. Let c be (o/(-6))/((-1)/(-3)). Solve -2 - 1 = c*m for m.
-1
Suppose 0 = -j + 3, 5*j - 18 - 5 = -4*s. Suppose 0 = s*x + x - 6. Solve v + x*v - 3 = 0 for v.
1
Suppose 3*t - 4*q = 20, -5*t + 4*q + 25 = -3. Let y be 1 - (-2 - 0/t). Solve -4*c + 3*c - y = 0 for c.
-3
Let n = 6 + -6. Let f = n - -2. Solve 6*u = f*u - 12 for u.
-3
Let d be (11 + -11)/(-3 - 0). Let v be d/1*11/(-11). Solve w - 5 = -v for w.
5
Suppose -20 + 4 = 4*h. Let i(z) = z**3 - 5*z**2 + 7*z - 6. Let b be i(4). Let r be h/(-14) + b/(-21). Solve r = 2*n - n for n.
0
Let h be 55/22 - 2/4. Solve -h = 2*s + 6 for s.
-4
Let h = -2 - 4. Let c = 9 + h. Let p be 60/(-110) - 34/(-22). Solve -c*z - 2 = p for z.
-1
Let t(f) = -4*f - 7. Let l(m) = -m**2 + 4*m + 5. Let n be l(6). Let s be t(n). Let q = s + -1. Solve -3*a + 7*a - q = 0 for a.
5
Suppose -10*y = -7*y. Solve -2*x + x + 1 = y for x.
1
Let z(f) = -f - 1. Let j(a) = -5*a - 4. Let x(p) = -j(p) + 6*z(p). Suppose 0 = 4*g + g + 35. Let n be x(g). Solve 14 = n*m - 11 for m.
5
Let g = -3 + -6. Let c = 11 - g. Solve -2*x + c = 2*x for x.
5
Suppose 0 = 3*b - 3 - 6. Suppose b*j = 5*d - 6, -2*j = -3*d + 3*j + 10. Solve d = -3*a - 2*a for a.
0
Suppose -5*l + 4*i = -35, -i + 4*i = -2*l - 9. Suppose 2*h = -12 + 2. Let u = -3 - h. Solve -u = l*m - 8 for m.
2
Let f = 12 - 7. Suppose -m - 4*o + 4 = 0, -4*o + 8*o - 4 = f*m. Solve r + 3*r + 12 = m for r.
-3
Let m(k) = k**2 + 15*k + 18. Let y be m(-14). Solve 2 + y = 2*u for u.
3
Suppose -2 = -2*c + 12. Let h(q) = 12*q - q + 4 - q**2 - 4*q. Let s be h(c). Solve 0*r + s*r = 8 for r.
2
Let t be (18/15)/(6/20). Let z = -15 + 17. Let a = t + z. Solve 4*g - a*g = 0 for g.
0
Let i(x) = x**3 - x**2 + x - 6. Let g be i(0). Let f = -4 - g. Solve -4 = j - f for j.
-2
Suppose 0 = 3*k + 2*d - 5, -k = 2*d - 3. Let l(j) = j + 10. Let p be l(-15). Let f be (-2 - p)/k + 1. Solve -t + f = 3*t for t.
1
Let a(v) = v**2 + 5*v - 6. Let y be a(-6). Suppose -b - 4*b + 15 = y. Solve 2*p + p = -b for p.
-1
Let y = 0 - 2. Let a be (-2 - -3) + 1 - y. Suppose -2*u = -3*u + 5. Solve 0 = a*n - u - 15 for n.
5
Let g = -18 + 12. Let h = g + 10. Suppose -3*p = 2*p. Solve -2*z + 2 - h = p for z.
-1
Let s(o) = 6*o**3 - o**2 - o + 1. Let g be s(1). Let k be 50*(g/(-2))/(-5). Solve -2*b = 3*b + k for b.
-5
Let c = 17 - 18. Let s = c + 2. Let o(i) = i**3 - 2*i**2 - i - 4. Let y be o(3). Solve -3*w - y = s for w.
-1
Suppose 5*n - 43 = 3*t, -t = -4*n + 4*t + 24. Let k = -2 - -5. Let q = n - k. Solve 2*f = -2*f - q for f.
-2
Suppose -5*m = 2*i - 29 + 2, -29 = -4*i - 5*m. Solve -r + 4 + i = 0 for r.
5
Suppose 1 + 3 = 2*b. Suppose -b + 1 = -r. Solve -k - r = 3 for k.
-4
Let h(p) = -p**2 + 4*p + 23. Let v be h(0). Solve -4*n - 3 + v = 0 for n.
5
Let r(y) = -y + 1. Let l be r(-1). Solve 0 = l*a - 4 for a.
2
Suppose 2*n = 2*m - m - 14, 5*m + 2*n - 94 = 0. Let s be (-6)/m + 20/6. Suppose -12 + 32 = -4*o, s*a + 3*o - 21 = 0. Solve 3*x = -x - a for x.
-3
Suppose -5*p = -p - 8. Solve -p*q - 5 = 3*q for q.
-1
Suppose 0 = 3*x - 4 - 2. Suppose -y - 5 = 3*r, y + 0*r = -x*r - 5. Let l = -5 - y. Solve l*i - 2*i = 4 for i.
-2
Let c = -10 + 23. Solve c - 3 = 5*p for p.
2
Let j(k) = k**3 - k - 1. Let a(q) = 3*q**3 + 9*q**2 - 4*q - 12. Let y(h) = a(h) - 2*j(h). Let r be 4/16 + 74/(-8). Let g be y(r). Solve 0 = -m + 5*m + g for m.
-2
Suppose -15 = -3*p + 3. Suppose -v + 20 = 4*s, -3*s = -0*s - 12. Solve -2*g - p = v for g.
-5
Let c be ((-2)/(-7))/(-2*(-4)/56). Solve -c*y = -5*y + 3 for y.
1
Suppose -z = -5*z. Let u = z - 28. Let g be u/2*(-1 + 0). Solve 0 = 5*c - 11 - g for c.
5
Let b(j) = -j**2 + 13*j - 6. Let l(u) = u. Let n(q) = b(q) - 6*l(q). Let p be n(6). Solve p*a = a for a.
0
Let a = 129 + -129. Solve a = 3*h - h - 6 for h.
3
Let u = -212 + 228. Solve -u + 8 = -2*g for g.
4
Let x = -47 - -49. Solve 0 = -x*c + 5*c + 12 for c.
-4
Suppose 2*c = -2*f - 0*c + 4, -1 = -2*f - 5*c. Suppose 14 = 2*a + i, 5*a + 4*i = 15 + 26. Suppose m + 2*n = -f, -a*m - 4*n = -m - 4. Solve -m*z - 6 = 14 for z.
-4
Let k = 3 + -3. Suppose k*r - 2*r = -12. Solve r = f + 3 for f.
3
Suppose -3*t + 7 = -8. Suppose -2*n = -2*c - 3*c + 12, t*c = -5*n + 5. Solve 3*a - c = 13 for a.
5
Let u be (-4)/16 + 18/8. Suppose 4*h = n + 23 - 6, u*h + 2*n = 16. Solve -4*l + h*l - 2 = 0 for l.
2
Suppose -3*n - i + 1 = 0, -2*n - i + 0*i - 1 = 0. Solve 1 = -n*a - 1 for a.
-1
Let q(v) = -v**2 - 9*v + 2. Let d be q(-9). Solve -d*j = -5*j + 3 for j.
1
Let n = -21 + 22. Solve -n + 21 = -5*f for f.
-4
Let c(r) = -r**3 + 7*r**2 + 9*r - 2. Let t be c(8). Let b = t - 3. Solve -b + 0 = -