.
2
Let n(f) = f**2 + 9*f - 22. Let z be n(-11). Solve 0 = 3*q - z*q for q.
0
Suppose -4*c + d = -7, -2*c - 9 = -4*c - 5*d. Let k(r) = 2*r**3 - r**2 - 2*r - 1. Let b be k(c). Solve -3*f - b = 2 for f.
-3
Let d(t) be the second derivative of -t**3/6 - t**2/2 - t. Let o be d(-4). Suppose z + o*v - 17 = 8, 28 = z + 4*v. Solve 3*a - z = -a for a.
4
Let b = -6 - -5. Let o(c) be the second derivative of c**3/6 + c**2/2 + 2*c. Let t be o(b). Solve -2*s = -t*s + 8 for s.
-4
Suppose 6*f = 4*f - 4, 2 = 4*x - f. Suppose -2*j + x*j = -2*g - 10, -5*j - 2*g - 10 = 0. Solve -s + 2 - 1 = j for s.
1
Let v(r) = 20*r - 2. Let m be v(1). Solve 3 = -5*n + m for n.
3
Let m(b) = b**2 - 5*b - 4. Suppose -3*t + 10 = 2*t. Suppose s - 2*k + 10 = t*s, 3*s = 5*k + 8. Let j be m(s). Solve -j*q - q = 3 for q.
-1
Suppose -2 = 4*x + a - 10, 0 = 2*x + 4*a + 10. Suppose x*p - 5*z - 27 = p, z + 10 = 5*p. Let h be (p - (-1 + 3))*0. Solve -b + 0*b = h for b.
0
Suppose 5*y - 21 = 3*j, 3*y + 0*j - 17 = 4*j. Solve -2*s + 13 = y for s.
5
Suppose 0 = -5*v + 9*v. Let s = 7 - 5. Let h = s - -1. Solve 3*o + h = -v for o.
-1
Let q = 0 + 20. Let s = -17 + q. Solve n - s*n = 0 for n.
0
Suppose r = -2*r + 9. Let p be (5/(-2))/((-35)/28). Solve -p*i + 10 = r*i for i.
2
Suppose -3*m - 2*k = -k - 14, -m - 2*k = -13. Suppose 0 = -f + 1 + m. Solve 21 = -5*g - f for g.
-5
Let k be 6/30 - (-78)/10. Suppose 2*q = k, -3*h - 2*q = 1 - 9. Solve 0 = -3*i - h - 3 for i.
-1
Let s be 0 - (3/(-3) + 4). Let f be 0 - -2 - s/3. Let y = -1 + 1. Solve y = -f*t - 2*t for t.
0
Suppose 0 = -9*c + 12*c. Solve 8 = 2*a - c for a.
4
Let v(f) = -f**3 + 7*f**2 - 5*f - 4. Let a be v(6). Let u be (0/6)/(-1*a). Solve 3*z + 2 + 1 = u for z.
-1
Suppose 11*x - 4 = 7*x. Solve g = 2*g - x for g.
1
Let f be ((-16)/(-20))/(2/15). Suppose 5*y - f = -3*d + 10, 3*y = -5*d + 16. Suppose l + 6 = t + 2, 0 = -d*l. Solve 5*k = t + 21 for k.
5
Let r be 1/(-1)*(8 + -8). Suppose r = -i + 4 + 1. Suppose -2*l + l = -i. Solve -l*k + 0*k - 5 = 0 for k.
-1
Let b(i) = 4*i**3 + i**2 - i + 1. Let p be b(1). Let s(l) = -l**2 + 8*l - 7. Let c be s(p). Solve 0*t + c = 2*t for t.
4
Suppose -4*l = -l. Solve l*f + 5*f = 0 for f.
0
Suppose 25 = -2*y + 4*y + k, -2*k = 2*y - 26. Solve -2*o - o = -y for o.
4
Suppose 0 = -a - 2*a + 48. Let t(i) = -4*i + 21. Let v be t(4). Solve a = o - v*o for o.
-4
Suppose k - 8 = 11. Suppose -i - 3*b + 20 = 0, -5*i + 2*b + k = 4. Solve -i*c + c = -16 for c.
4
Let b(r) = -r**2 - 1. Let k be b(1). Let v = k + 5. Let g = v - 1. Solve -t + g*t + 3 = 0 for t.
-3
Let r(p) = -p**3 - 10*p**2 - 8*p + 12. Let b be r(-9). Solve -b*y + 8*y = 0 for y.
0
Suppose 3*o + 4 = 4*u + 17, 0 = 5*u + 2*o + 22. Let m = 3 + u. Let h be (0 + 0 + -1)*m. Solve -3 = s + h for s.
-4
Let m(y) = 5*y**2 + 1. Let l be m(-1). Suppose -3*d + l*d = 60. Let o be 5/d + 30/8. Solve -3*z - o = 2 for z.
-2
Let o = 8 + -15. Let h = 19 + o. Solve d - h = -2*d for d.
4
Let a(f) = f - 1. Let t be a(4). Solve 0*y = t*y + 15 for y.
-5
Let w = 22 + -16. Let a be ((-3)/w)/(1/(-10)). Solve a = -4*h - h for h.
-1
Suppose 4*t - 9 = 3. Suppose t*n = 3*m - 45, 0 = 4*m - 2*n + 10 - 72. Let j be 14/(-21)*(-7 - -1). Solve j*c = -0 - m for c.
-4
Let u(y) = 2*y**2 - 12*y + 17. Let h be u(5). Suppose -3*i = 0, -g + 54 = g - 2*i. Solve -h = -4*m - g for m.
-5
Let z = 55 - 53. Suppose 0*k - 4*k + 3*c = -30, -k + 2*c + 10 = 0. Suppose 2*a - 3*a = 5*m - 5, 0 = 5*a + 3*m - 3. Solve 0 = z*u - a - k for u.
3
Let b(s) be the first derivative of s**4/4 - 7*s**3/3 + 13*s**2/2 - 6*s - 6. Let f be b(5). Let m be 0/(-1 + (1 - 2)). Solve m = 4*q - f*q for q.
0
Suppose 0 = n - 4*n. Let z be ((n/2)/(-3))/(-2). Suppose 5*d - 93 + 33 = z. Solve -2*y - d = -2 for y.
-5
Let n(u) = 2*u - 7 - 12*u + 2*u**2 - 5 - 3*u**2. Let z be n(-9). Let p = z - -7. Solve p = -q - q for q.
-2
Suppose -2*c = 3*c - 10. Solve c*n = -0*n + 10 for n.
5
Let u = 15 - 13. Suppose 0*v = u*v - 6. Solve v*g = 2*g for g.
0
Let r be 6/21 - (-2)/(-7) - -15. Solve -u - 4*u + r = 0 for u.
3
Let y = 10 - 6. Suppose 5*c + 1 = -y*w - 0, -5 = 5*c. Let i = 1 + w. Solve 0 = h - i + 5 for h.
-3
Let y be (-172)/(-36) + 8/36. Solve y*i - 2*i = 0 for i.
0
Let q = -6 + 2. Let h(p) = -p**3 - 5*p**2 - 6*p - 5. Let u be h(q). Let d = 2 + -2. Solve -6 = u*o - d*o for o.
-2
Let u be (-2 - -3)*(6 + 3). Let j(c) = c**2 - 6*c - 12. Let m be j(u). Solve 4*f = f + m for f.
5
Let p(y) = y**3 + 6*y**2 + 4*y - 1. Let u be p(-5). Let n = 3 - 3. Let o be (-3)/(-3 - n) + -1. Solve h + 0*h + u = o for h.
-4
Let d(f) = f + 6. Let m be d(-11). Let i be (m + 14)*2/6. Solve -2*r + i = 5 for r.
-1
Suppose 0 = -z + 4*z + 2*i, -z + 8 = -2*i. Solve z*h + 4 = -0*h for h.
-2
Let l be 2 + -1 + 0 + -8. Let z be 2/l + 158/14. Suppose -z - 4 = -5*p. Solve -8*h = -p*h for h.
0
Suppose 0 = 3*s - q - 58, 3*s - 18 = -4*q + 20. Suppose -4*f + f = -3*h + s, 5*h + 2*f = 23. Solve 0*m = -h*m for m.
0
Let m = 13 - 11. Solve 5*r = -3 - m for r.
-1
Let h be -8*((-11)/4 - -2). Solve 0 = q + q + h for q.
-3
Let a = -6 - -36. Suppose 9*t - a = 4*t. Let s = 8 - t. Solve 5*d - s*d = -9 for d.
-3
Let w(p) = -10*p**3 - 2*p**2 - 3*p - 2. Let a be w(-1). Solve a = 4*l - 3 for l.
3
Let m(d) = d + 16. Let g be m(9). Solve -7*s = -2*s + g for s.
-5
Let v(c) = 4*c - 3. Let m be v(2). Let i be 15/(-2)*64/(-24). Solve m*g + i = g for g.
-5
Let h(x) = x**3 - 3*x**2 + 2. Let n be h(3). Suppose -5 = -n*v + 1. Suppose -l = -0 - v. Solve 0*k + 15 = -l*k for k.
-5
Let d(i) = i**2 - 5*i - 3. Let o be d(6). Suppose -o*c = -0*c - 6. Solve x + x = c for x.
1
Let v(g) be the second derivative of -g**3/6 + 6*g**2 + 2*g. Let u be v(10). Let l(j) = -j**3 + 6*j**2 - 4*j - 3. Let i be l(5). Solve -u*y = i + 4 for y.
-3
Let u(v) = -1 + v + 0 - 3. Suppose -4*o - 15 = 3*q - 49, -2*o + 8 = 0. Let d be u(q). Solve 4*p - d = 14 for p.
4
Suppose m - 4*m = -2*t - 9, -5*m + 15 = -4*t. Solve 0*n + m*n = 0 for n.
0
Let s(y) = -7*y**2 - 4*y - 2. Let f be s(-2). Let v = 72 + f. Suppose -3*b - 5*a + 16 = -v, -5*b - 4*a = -97. Solve -3*d + b = 2 for d.
5
Let m = 65 + -64. Solve 3*n = -m - 5 for n.
-2
Let i be (-4)/10 - (-132)/55. Solve 2*a = -i*a + 12 for a.
3
Let o be (-2 - -6 - 3)/((-2)/(-12)). Solve -2*a - a + o = 0 for a.
2
Let h(q) be the second derivative of q**4/12 - 2*q**3/3 + q**2 - 2*q. Let x be h(3). Let b be (-2)/x + 1 + 1. Solve 5*v - b = 1 for v.
1
Let h(p) = p**3 - 11*p**2 - 12*p. Let u be h(12). Suppose 4*i - 8 - 4 = u. Solve -15 = i*z - 0*z for z.
-5
Suppose -2*r = -4*g - 14, 0*r - 2 = -r - 3*g. Let p = r + -1. Solve p = -3*v + 16 for v.
4
Let t(d) = -d**3 + 10*d**2 - 18*d - 15. Let p be t(7). Solve 0 = -p*l + 2*l for l.
0
Let w(r) = -r**3 + 8*r**2 - r + 8. Let t be w(8). Solve t*j = j for j.
0
Let w be 4/(-6) - 32/(-48). Suppose w = 2*v + 2*v - 12. Solve -4 = -c + v*c for c.
-2
Suppose 2*a = 5*a - 4*l - 38, -2*a + l + 17 = 0. Let p = a + -6. Solve p*n = -5*n + 15 for n.
3
Let s = 39 - 37. Let n(m) = 2*m + 4. Let i be n(4). Solve -s*q - i = q for q.
-4
Let t = -2 - -8. Let c = 7 - t. Solve c + 0 = -o for o.
-1
Suppose m - 8 = -2. Solve -9 = -5*o + m for o.
3
Suppose -10 = -0*g - 2*g. Suppose -5*x - 4*d = -9*d, -g*x = 2*d - 28. Solve -x*j + 15 = -j for j.
5
Let b = 18 + -15. Suppose 9 = m - 4*y + 2*y, 26 = 4*m - b*y. Solve 3*c - m*c = -10 for c.
5
Let n(l) = -l**2 + 8*l - 7. Let m be n(7). Let q = 1 + 5. Solve -q*f + f - 5 = m for f.
-1
Let i be (-8)/3*3/(-2). Let b(t) = -4*t + 2. Let s(k) = k - 1. Let l(m) = 2*b(m) + 10*s(m). Let q be l(i). Solve q*p = -p + 3 for p.
1
Suppose -c + 3 + 2 = 0. Suppose -n + 4*k = c - 19, 4*n - 5*k = 45. Let t = n - 7. Solve -2*i + t*i = 2 for i.
2
Let a = 29 + -28. Let x be (8 - a) + -3 + 0. Solve x*n + 1 = -3 for n.
-1
Let y = 23 + -21. Suppose y*w - 3*w = 0. Solve w = -5*i + 2*i + 9 for i.
3
Suppose -51 + 71 = -5*r. Let l(u) = -7*u**2 - u - 2. Let a(x) = -3*x**2 - 1. Let h(c) = -9*a(c) + 4*l(c). Let i be h(r). Solve 19 = -4*n - i for n.
-5
Let j = -100 - -108. Solve -j*k = -7*k - 4 for k.
4
Let b be 16/6 + 6/(-9). Suppose 0 = -b*a - 3*a + 35. Solve -3*i = -a*i for i.
0
Suppose 6*y + 0*y - 36 = 0. Solve 10 = -4*x + y*x for x.
5
Suppose 4*i - 6 = -2*f, -4 = i + 3*i. Suppose 3*j + a - 21 = -2*a, -j + f*a - 23 = 0. Solve -j*s + 1 = -1 for s.
1
Suppose 5*z = 20, -4*r + 4*z + 52 = 8*z. 